runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108291842/p2cudf-user-1.13/b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf.dudf-real.result -notuptodate,-removed,-changed 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.24 1.10 1.10 5/37 28693
/proc/meminfo: memFree=883976/1048576 swapFree=0/0
[pid=28691] ppid=28690 vsize=2568 CPUtime=0
/proc/28691/stat : 28691 (p2cudf-user-1.1) S 28690 28691 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46586958 2629632 270 1283457024 134512640 135304128 4294476112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28691/statm: 642 270 230 194 0 29 0
[pid=28692] ppid=28691 vsize=2572 CPUtime=0
/proc/28692/stat : 28692 (p2cudf) R 28691 28691 17511 34816 17511 4202496 345 0 0 0 0 0 0 0 25 0 1 0 46586958 2633728 271 1283457024 134512640 135304128 4287439552 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/28692/statm: 643 271 231 194 0 30 0
[pid=28693] ppid=28692 vsize=2572 CPUtime=0
/proc/28693/stat : 28693 (p2cudf) R 28692 28691 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46586958 2633728 40 1283457024 134512640 135304128 4287439552 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/28693/statm: 643 40 0 194 0 30 0

[startup+0.145393 s]
/proc/loadavg: 1.24 1.10 1.10 5/37 28693
/proc/meminfo: memFree=883976/1048576 swapFree=0/0
[pid=28691] ppid=28690 vsize=2568 CPUtime=0
/proc/28691/stat : 28691 (p2cudf-user-1.1) S 28690 28691 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46586958 2629632 270 1283457024 134512640 135304128 4294476112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28691/statm: 642 270 230 194 0 29 0
[pid=28692] ppid=28691 vsize=2576 CPUtime=0.02
/proc/28692/stat : 28692 (p2cudf) S 28691 28691 17511 34816 17511 4202496 391 3013 0 1 0 0 0 2 25 0 1 0 46586958 2637824 280 1283457024 134512640 135304128 4287439552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28692/statm: 644 280 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.205403 s]
/proc/loadavg: 1.24 1.10 1.10 5/37 28693
/proc/meminfo: memFree=883976/1048576 swapFree=0/0
[pid=28691] ppid=28690 vsize=2568 CPUtime=0
/proc/28691/stat : 28691 (p2cudf-user-1.1) S 28690 28691 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46586958 2629632 270 1283457024 134512640 135304128 4294476112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28691/statm: 642 270 230 194 0 29 0
[pid=28692] ppid=28691 vsize=2576 CPUtime=0.02
/proc/28692/stat : 28692 (p2cudf) S 28691 28691 17511 34816 17511 4202496 391 3013 0 1 0 0 0 2 25 0 1 0 46586958 2637824 280 1283457024 134512640 135304128 4287439552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28692/statm: 644 280 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.305431 s]
/proc/loadavg: 1.24 1.10 1.10 5/37 28693
/proc/meminfo: memFree=883976/1048576 swapFree=0/0
[pid=28691] ppid=28690 vsize=2568 CPUtime=0
/proc/28691/stat : 28691 (p2cudf-user-1.1) S 28690 28691 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46586958 2629632 270 1283457024 134512640 135304128 4294476112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28691/statm: 642 270 230 194 0 29 0
[pid=28692] ppid=28691 vsize=2576 CPUtime=0.02
/proc/28692/stat : 28692 (p2cudf) S 28691 28691 17511 34816 17511 4202496 391 3013 0 1 0 0 0 2 25 0 1 0 46586958 2637824 280 1283457024 134512640 135304128 4287439552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28692/statm: 644 280 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.705499 s]
/proc/loadavg: 1.24 1.10 1.10 5/37 28693
/proc/meminfo: memFree=883976/1048576 swapFree=0/0
[pid=28691] ppid=28690 vsize=2568 CPUtime=0
/proc/28691/stat : 28691 (p2cudf-user-1.1) S 28690 28691 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46586958 2629632 270 1283457024 134512640 135304128 4294476112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28691/statm: 642 270 230 194 0 29 0
[pid=28692] ppid=28691 vsize=2576 CPUtime=0.02
/proc/28692/stat : 28692 (p2cudf) S 28691 28691 17511 34816 17511 4202496 391 3013 0 1 0 0 0 2 25 0 1 0 46586958 2637824 280 1283457024 134512640 135304128 4287439552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28692/statm: 644 280 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+1.50567 s]
/proc/loadavg: 1.24 1.10 1.10 3/47 28714
/proc/meminfo: memFree=841912/1048576 swapFree=0/0
[pid=28691] ppid=28690 vsize=2568 CPUtime=0
/proc/28691/stat : 28691 (p2cudf-user-1.1) S 28690 28691 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46586958 2629632 270 1283457024 134512640 135304128 4294476112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28691/statm: 642 270 230 194 0 29 0
[pid=28692] ppid=28691 vsize=2576 CPUtime=0.02
/proc/28692/stat : 28692 (p2cudf) S 28691 28691 17511 34816 17511 4202496 391 3013 0 1 0 0 0 2 25 0 1 0 46586958 2637824 280 1283457024 134512640 135304128 4287439552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28692/statm: 644 280 239 194 0 31 0
[pid=28705] ppid=28692 vsize=885452 CPUtime=1.46
/proc/28705/stat : 28705 (java) S 28692 28691 17511 34816 17511 4202496 25192 0 1 0 137 9 0 0 25 0 10 0 46586961 906702848 22016 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28705/statm: 221363 22016 1724 10 0 218454 0
[pid=28705/tid=28706] ppid=28692 vsize=885452 CPUtime=0.73
/proc/28705/task/28706/stat : 28706 (java) R 28692 28691 17511 34816 17511 4202560 13706 0 1 0 66 7 0 0 25 0 10 0 46586962 906702848 22016 1283457024 134512640 134550932 4290999488 18446744073709551615 4095472072 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28705/tid=28707] ppid=28692 vsize=885452 CPUtime=0
/proc/28705/task/28707/stat : 28707 (java) S 28692 28691 17511 34816 17511 4202560 7 0 0 0 0 0 0 0 18 0 10 0 46586964 906702848 22016 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28708] ppid=28692 vsize=885452 CPUtime=0
/proc/28705/task/28708/stat : 28708 (java) S 28692 28691 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46586964 906702848 22016 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28709] ppid=28692 vsize=885452 CPUtime=0
/proc/28705/task/28709/stat : 28709 (java) S 28692 28691 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46586964 906702848 22016 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28710] ppid=28692 vsize=885452 CPUtime=0
/proc/28705/task/28710/stat : 28710 (java) S 28692 28691 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46586967 906702848 22016 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28711] ppid=28692 vsize=885452 CPUtime=0.54
/proc/28705/task/28711/stat : 28711 (java) R 28692 28691 17511 34816 17511 4202560 9463 0 0 0 53 1 0 0 25 0 10 0 46586967 906702848 22016 1283457024 134512640 134550932 4290999488 18446744073709551615 4152477275 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28705/tid=28712] ppid=28692 vsize=885452 CPUtime=0.17
/proc/28705/task/28712/stat : 28712 (java) S 28692 28691 17511 34816 17511 4202560 942 0 0 0 17 0 0 0 16 0 10 0 46586967 906702848 22016 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28713] ppid=28692 vsize=885452 CPUtime=0
/proc/28705/task/28713/stat : 28713 (java) S 28692 28691 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46586967 906702848 22016 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28714] ppid=28692 vsize=885452 CPUtime=0
/proc/28705/task/28714/stat : 28714 (java) S 28692 28691 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46586967 906702848 22016 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 890596

[startup+3.10602 s]
/proc/loadavg: 1.24 1.10 1.10 3/47 28714
/proc/meminfo: memFree=717788/1048576 swapFree=0/0
[pid=28691] ppid=28690 vsize=2568 CPUtime=0
/proc/28691/stat : 28691 (p2cudf-user-1.1) S 28690 28691 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46586958 2629632 270 1283457024 134512640 135304128 4294476112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28691/statm: 642 270 230 194 0 29 0
[pid=28692] ppid=28691 vsize=2576 CPUtime=0.02
/proc/28692/stat : 28692 (p2cudf) S 28691 28691 17511 34816 17511 4202496 391 3013 0 1 0 0 0 2 25 0 1 0 46586958 2637824 280 1283457024 134512640 135304128 4287439552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28692/statm: 644 280 239 194 0 31 0
[pid=28705] ppid=28692 vsize=884472 CPUtime=3.06
/proc/28705/stat : 28705 (java) S 28692 28691 17511 34816 17511 4202496 73788 0 1 0 276 30 0 0 25 0 10 0 46586961 905699328 69456 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28705/statm: 221118 69456 1742 10 0 218209 0
[pid=28705/tid=28706] ppid=28692 vsize=884472 CPUtime=1.48
/proc/28705/task/28706/stat : 28706 (java) R 28692 28691 17511 34816 17511 4202560 50091 0 1 0 128 20 0 0 25 0 10 0 46586962 905699328 69456 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28705/tid=28707] ppid=28692 vsize=884472 CPUtime=0.24
/proc/28705/task/28707/stat : 28707 (java) R 28692 28691 17511 34816 17511 4202560 10903 0 0 0 16 8 0 0 18 0 10 0 46586964 905699328 69456 1283457024 134512640 134550932 4290999488 18446744073709551615 4149816592 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=28705/tid=28708] ppid=28692 vsize=884472 CPUtime=0
/proc/28705/task/28708/stat : 28708 (java) S 28692 28691 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46586964 905699328 69456 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28709] ppid=28692 vsize=884472 CPUtime=0
/proc/28705/task/28709/stat : 28709 (java) S 28692 28691 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46586964 905699328 69456 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28710] ppid=28692 vsize=884472 CPUtime=0
/proc/28705/task/28710/stat : 28710 (java) S 28692 28691 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46586967 905699328 69456 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28711] ppid=28692 vsize=884472 CPUtime=1.05
/proc/28705/task/28711/stat : 28711 (java) R 28692 28691 17511 34816 17511 4202560 10767 0 0 0 104 1 0 0 22 0 10 0 46586967 905699328 69456 1283457024 134512640 134550932 4290999488 18446744073709551615 4153162640 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28705/tid=28712] ppid=28692 vsize=884472 CPUtime=0.28
/proc/28705/task/28712/stat : 28712 (java) S 28692 28691 17511 34816 17511 4202560 953 0 0 0 28 0 0 0 15 0 10 0 46586967 905699328 69456 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28713] ppid=28692 vsize=884472 CPUtime=0
/proc/28705/task/28713/stat : 28713 (java) S 28692 28691 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46586967 905699328 69456 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28714] ppid=28692 vsize=884472 CPUtime=0
/proc/28705/task/28714/stat : 28714 (java) S 28692 28691 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46586967 905699328 69456 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 889616

[startup+6.30673 s]
/proc/loadavg: 1.30 1.12 1.10 2/48 28715
/proc/meminfo: memFree=609404/1048576 swapFree=0/0
[pid=28691] ppid=28690 vsize=2568 CPUtime=0
/proc/28691/stat : 28691 (p2cudf-user-1.1) S 28690 28691 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46586958 2629632 270 1283457024 134512640 135304128 4294476112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28691/statm: 642 270 230 194 0 29 0
[pid=28692] ppid=28691 vsize=2576 CPUtime=0.02
/proc/28692/stat : 28692 (p2cudf) S 28691 28691 17511 34816 17511 4202496 391 3013 0 1 0 0 0 2 25 0 1 0 46586958 2637824 280 1283457024 134512640 135304128 4287439552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28692/statm: 644 280 239 194 0 31 0
[pid=28705] ppid=28692 vsize=884796 CPUtime=6.26
/proc/28705/stat : 28705 (java) S 28692 28691 17511 34816 17511 4202496 74529 0 1 0 595 31 0 0 25 0 11 0 46586961 906031104 70197 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28705/statm: 221199 70197 1780 10 0 218290 0
[pid=28705/tid=28706] ppid=28692 vsize=884796 CPUtime=3.38
/proc/28705/task/28706/stat : 28706 (java) R 28692 28691 17511 34816 17511 4202560 50276 0 1 0 318 20 0 0 25 0 11 0 46586962 906031104 70197 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28705/tid=28707] ppid=28692 vsize=884796 CPUtime=0.25
/proc/28705/task/28707/stat : 28707 (java) S 28692 28691 17511 34816 17511 4202560 11265 0 0 0 17 8 0 0 16 0 11 0 46586964 906031104 70197 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28708] ppid=28692 vsize=884796 CPUtime=0
/proc/28705/task/28708/stat : 28708 (java) S 28692 28691 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46586964 906031104 70197 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28709] ppid=28692 vsize=884796 CPUtime=0
/proc/28705/task/28709/stat : 28709 (java) S 28692 28691 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46586964 906031104 70197 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28710] ppid=28692 vsize=884796 CPUtime=0
/proc/28705/task/28710/stat : 28710 (java) S 28692 28691 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46586967 906031104 70197 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28711] ppid=28692 vsize=884796 CPUtime=1.85
/proc/28705/task/28711/stat : 28711 (java) R 28692 28691 17511 34816 17511 4202560 10878 0 0 0 184 1 0 0 16 0 11 0 46586967 906031104 70197 1283457024 134512640 134550932 4290999488 18446744073709551615 4149984048 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28705/tid=28712] ppid=28692 vsize=884796 CPUtime=0.75
/proc/28705/task/28712/stat : 28712 (java) S 28692 28691 17511 34816 17511 4202560 1030 0 0 0 74 1 0 0 15 0 11 0 46586967 906031104 70197 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28713] ppid=28692 vsize=884796 CPUtime=0
/proc/28705/task/28713/stat : 28713 (java) S 28692 28691 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46586967 906031104 70197 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28714] ppid=28692 vsize=884796 CPUtime=0
/proc/28705/task/28714/stat : 28714 (java) S 28692 28691 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46586967 906031104 70197 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28715] ppid=28692 vsize=884796 CPUtime=0
/proc/28705/task/28715/stat : 28715 (java) S 28692 28691 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46587396 906031104 70197 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 889940

Solver just ended. Dumping a history of the last processes samples

[startup+6.40676 s]
/proc/loadavg: 1.30 1.12 1.10 2/48 28715
/proc/meminfo: memFree=609404/1048576 swapFree=0/0
[pid=28691] ppid=28690 vsize=2568 CPUtime=0
/proc/28691/stat : 28691 (p2cudf-user-1.1) S 28690 28691 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46586958 2629632 270 1283457024 134512640 135304128 4294476112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28691/statm: 642 270 230 194 0 29 0
[pid=28692] ppid=28691 vsize=2576 CPUtime=0.02
/proc/28692/stat : 28692 (p2cudf) S 28691 28691 17511 34816 17511 4202496 391 3013 0 1 0 0 0 2 25 0 1 0 46586958 2637824 280 1283457024 134512640 135304128 4287439552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28692/statm: 644 280 239 194 0 31 0
[pid=28705] ppid=28692 vsize=882904 CPUtime=6.36
/proc/28705/stat : 28705 (java) S 28692 28691 17511 34816 17511 4202496 74530 0 1 0 605 31 0 0 25 0 11 0 46586961 904093696 69771 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28705/statm: 220726 69771 1780 10 0 217817 0
[pid=28705/tid=28706] ppid=28692 vsize=882904 CPUtime=3.46
/proc/28705/task/28706/stat : 28706 (java) R 28692 28691 17511 34816 17511 4202560 50276 0 1 0 326 20 0 0 25 0 11 0 46586962 904093696 69771 1283457024 134512640 134550932 4290999488 18446744073709551615 4096099932 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28705/tid=28707] ppid=28692 vsize=882904 CPUtime=0.25
/proc/28705/task/28707/stat : 28707 (java) S 28692 28691 17511 34816 17511 4202560 11265 0 0 0 17 8 0 0 16 0 11 0 46586964 904093696 69771 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28708] ppid=28692 vsize=882904 CPUtime=0
/proc/28705/task/28708/stat : 28708 (java) S 28692 28691 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46586964 904093696 69771 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28709] ppid=28692 vsize=882904 CPUtime=0
/proc/28705/task/28709/stat : 28709 (java) S 28692 28691 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46586964 904093696 69771 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28710] ppid=28692 vsize=882904 CPUtime=0
/proc/28705/task/28710/stat : 28710 (java) S 28692 28691 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46586967 904093696 69771 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28711] ppid=28692 vsize=882904 CPUtime=1.87
/proc/28705/task/28711/stat : 28711 (java) S 28692 28691 17511 34816 17511 4202560 10879 0 0 0 186 1 0 0 16 0 11 0 46586967 904093696 69771 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28712] ppid=28692 vsize=882904 CPUtime=0.75
/proc/28705/task/28712/stat : 28712 (java) S 28692 28691 17511 34816 17511 4202560 1030 0 0 0 74 1 0 0 15 0 11 0 46586967 904093696 69771 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28713] ppid=28692 vsize=882904 CPUtime=0
/proc/28705/task/28713/stat : 28713 (java) S 28692 28691 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46586967 904093696 69771 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28714] ppid=28692 vsize=882904 CPUtime=0
/proc/28705/task/28714/stat : 28714 (java) S 28692 28691 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46586967 904093696 69771 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28715] ppid=28692 vsize=882904 CPUtime=0
/proc/28705/task/28715/stat : 28715 (java) S 28692 28691 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46587396 904093696 69771 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 888048

[startup+7.20692 s]
/proc/loadavg: 1.30 1.12 1.10 2/48 28715
/proc/meminfo: memFree=610404/1048576 swapFree=0/0
[pid=28691] ppid=28690 vsize=2568 CPUtime=0
/proc/28691/stat : 28691 (p2cudf-user-1.1) S 28690 28691 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46586958 2629632 270 1283457024 134512640 135304128 4294476112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28691/statm: 642 270 230 194 0 29 0
[pid=28692] ppid=28691 vsize=2576 CPUtime=0.02
/proc/28692/stat : 28692 (p2cudf) S 28691 28691 17511 34816 17511 4202496 391 3013 0 1 0 0 0 2 25 0 1 0 46586958 2637824 280 1283457024 134512640 135304128 4287439552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28692/statm: 644 280 239 194 0 31 0
[pid=28705] ppid=28692 vsize=882904 CPUtime=7.15
/proc/28705/stat : 28705 (java) S 28692 28691 17511 34816 17511 4202496 74556 0 1 0 682 33 0 0 25 0 11 0 46586961 904093696 69797 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28705/statm: 220726 69797 1783 10 0 217817 0
[pid=28705/tid=28706] ppid=28692 vsize=882904 CPUtime=4.09
/proc/28705/task/28706/stat : 28706 (java) R 28692 28691 17511 34816 17511 4202560 50282 0 1 0 389 20 0 0 25 0 11 0 46586962 904093696 69797 1283457024 134512640 134550932 4290999488 18446744073709551615 4096190616 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28705/tid=28707] ppid=28692 vsize=882904 CPUtime=0.25
/proc/28705/task/28707/stat : 28707 (java) S 28692 28691 17511 34816 17511 4202560 11265 0 0 0 17 8 0 0 15 0 11 0 46586964 904093696 69797 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28708] ppid=28692 vsize=882904 CPUtime=0
/proc/28705/task/28708/stat : 28708 (java) S 28692 28691 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46586964 904093696 69797 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28709] ppid=28692 vsize=882904 CPUtime=0
/proc/28705/task/28709/stat : 28709 (java) S 28692 28691 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46586964 904093696 69797 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28710] ppid=28692 vsize=882904 CPUtime=0
/proc/28705/task/28710/stat : 28710 (java) S 28692 28691 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46586967 904093696 69797 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28711] ppid=28692 vsize=882904 CPUtime=2.04
/proc/28705/task/28711/stat : 28711 (java) S 28692 28691 17511 34816 17511 4202560 10899 0 0 0 200 4 0 0 16 0 11 0 46586967 904093696 69797 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28712] ppid=28692 vsize=882904 CPUtime=0.75
/proc/28705/task/28712/stat : 28712 (java) S 28692 28691 17511 34816 17511 4202560 1030 0 0 0 74 1 0 0 15 0 11 0 46586967 904093696 69797 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28713] ppid=28692 vsize=882904 CPUtime=0
/proc/28705/task/28713/stat : 28713 (java) S 28692 28691 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46586967 904093696 69797 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28714] ppid=28692 vsize=882904 CPUtime=0
/proc/28705/task/28714/stat : 28714 (java) S 28692 28691 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46586967 904093696 69797 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28715] ppid=28692 vsize=882904 CPUtime=0
/proc/28705/task/28715/stat : 28715 (java) S 28692 28691 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46587396 904093696 69797 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 888048

[startup+7.90564 s]
/proc/loadavg: 1.30 1.12 1.10 2/48 28715
/proc/meminfo: memFree=610404/1048576 swapFree=0/0
[pid=28691] ppid=28690 vsize=2568 CPUtime=0
/proc/28691/stat : 28691 (p2cudf-user-1.1) S 28690 28691 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46586958 2629632 270 1283457024 134512640 135304128 4294476112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28691/statm: 642 270 230 194 0 29 0
[pid=28692] ppid=28691 vsize=2576 CPUtime=0.02
/proc/28692/stat : 28692 (p2cudf) S 28691 28691 17511 34816 17511 4202496 391 3013 0 1 0 0 0 2 25 0 1 0 46586958 2637824 280 1283457024 134512640 135304128 4287439552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28692/statm: 644 280 239 194 0 31 0
[pid=28705] ppid=28692 vsize=883228 CPUtime=7.7
/proc/28705/stat : 28705 (java) S 28692 28691 17511 34816 17511 4202496 74574 0 1 0 737 33 0 0 25 0 11 0 46586961 904425472 69815 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28705/statm: 220807 69815 1784 10 0 217898 0
[pid=28705/tid=28706] ppid=28692 vsize=883228 CPUtime=4.58
/proc/28705/task/28706/stat : 28706 (java) S 28692 28691 17511 34816 17511 4202560 50290 0 1 0 438 20 0 0 25 0 11 0 46586962 904425472 69815 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28707] ppid=28692 vsize=883228 CPUtime=0.25
/proc/28705/task/28707/stat : 28707 (java) S 28692 28691 17511 34816 17511 4202560 11265 0 0 0 17 8 0 0 16 0 11 0 46586964 904425472 69815 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28708] ppid=28692 vsize=883228 CPUtime=0
/proc/28705/task/28708/stat : 28708 (java) S 28692 28691 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46586964 904425472 69815 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28709] ppid=28692 vsize=883228 CPUtime=0
/proc/28705/task/28709/stat : 28709 (java) S 28692 28691 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46586964 904425472 69815 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28710] ppid=28692 vsize=883228 CPUtime=0
/proc/28705/task/28710/stat : 28710 (java) S 28692 28691 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46586967 904425472 69815 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28711] ppid=28692 vsize=883228 CPUtime=2.11
/proc/28705/task/28711/stat : 28711 (java) S 28692 28691 17511 34816 17511 4202560 10904 0 0 0 207 4 0 0 16 0 11 0 46586967 904425472 69815 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28712] ppid=28692 vsize=883228 CPUtime=0.75
/proc/28705/task/28712/stat : 28712 (java) S 28692 28691 17511 34816 17511 4202560 1030 0 0 0 74 1 0 0 15 0 11 0 46586967 904425472 69815 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28713] ppid=28692 vsize=883228 CPUtime=0
/proc/28705/task/28713/stat : 28713 (java) S 28692 28691 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46586967 904425472 69815 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28714] ppid=28692 vsize=883228 CPUtime=0
/proc/28705/task/28714/stat : 28714 (java) S 28692 28691 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46586967 904425472 69815 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 888372

[startup+8.30968 s]
/proc/loadavg: 1.30 1.12 1.10 2/48 28715
/proc/meminfo: memFree=610404/1048576 swapFree=0/0
[pid=28691] ppid=28690 vsize=2568 CPUtime=0
/proc/28691/stat : 28691 (p2cudf-user-1.1) S 28690 28691 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46586958 2629632 270 1283457024 134512640 135304128 4294476112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28691/statm: 642 270 230 194 0 29 0
[pid=28692] ppid=28691 vsize=2576 CPUtime=0.02
/proc/28692/stat : 28692 (p2cudf) S 28691 28691 17511 34816 17511 4202496 391 3013 0 1 0 0 0 2 25 0 1 0 46586958 2637824 280 1283457024 134512640 135304128 4287439552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28692/statm: 644 280 239 194 0 31 0
[pid=28705] ppid=28692 vsize=883228 CPUtime=7.74
/proc/28705/stat : 28705 (java) S 28692 28691 17511 34816 17511 4202496 74576 0 1 0 741 33 0 0 25 0 11 0 46586961 904425472 69817 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28705/statm: 220807 69817 1784 10 0 217898 0
[pid=28705/tid=28706] ppid=28692 vsize=883228 CPUtime=4.58
/proc/28705/task/28706/stat : 28706 (java) S 28692 28691 17511 34816 17511 4202560 50290 0 1 0 438 20 0 0 25 0 11 0 46586962 904425472 69817 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28707] ppid=28692 vsize=883228 CPUtime=0.25
/proc/28705/task/28707/stat : 28707 (java) S 28692 28691 17511 34816 17511 4202560 11265 0 0 0 17 8 0 0 16 0 11 0 46586964 904425472 69817 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28708] ppid=28692 vsize=883228 CPUtime=0
/proc/28705/task/28708/stat : 28708 (java) S 28692 28691 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46586964 904425472 69817 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28709] ppid=28692 vsize=883228 CPUtime=0
/proc/28705/task/28709/stat : 28709 (java) S 28692 28691 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46586964 904425472 69817 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28710] ppid=28692 vsize=883228 CPUtime=0
/proc/28705/task/28710/stat : 28710 (java) S 28692 28691 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46586967 904425472 69817 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28711] ppid=28692 vsize=883228 CPUtime=2.11
/proc/28705/task/28711/stat : 28711 (java) S 28692 28691 17511 34816 17511 4202560 10904 0 0 0 207 4 0 0 15 0 11 0 46586967 904425472 69817 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28712] ppid=28692 vsize=883228 CPUtime=0.75
/proc/28705/task/28712/stat : 28712 (java) S 28692 28691 17511 34816 17511 4202560 1030 0 0 0 74 1 0 0 15 0 11 0 46586967 904425472 69817 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28713] ppid=28692 vsize=883228 CPUtime=0
/proc/28705/task/28713/stat : 28713 (java) S 28692 28691 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46586967 904425472 69817 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28714] ppid=28692 vsize=883228 CPUtime=0
/proc/28705/task/28714/stat : 28714 (java) S 28692 28691 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46586967 904425472 69817 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 888372

[startup+8.40969 s]
/proc/loadavg: 1.30 1.12 1.10 2/48 28715
/proc/meminfo: memFree=610404/1048576 swapFree=0/0
[pid=28691] ppid=28690 vsize=2568 CPUtime=0
/proc/28691/stat : 28691 (p2cudf-user-1.1) S 28690 28691 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46586958 2629632 270 1283457024 134512640 135304128 4294476112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28691/statm: 642 270 230 194 0 29 0
[pid=28692] ppid=28691 vsize=2576 CPUtime=0.02
/proc/28692/stat : 28692 (p2cudf) S 28691 28691 17511 34816 17511 4202496 391 3013 0 1 0 0 0 2 25 0 1 0 46586958 2637824 280 1283457024 134512640 135304128 4287439552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28692/statm: 644 280 239 194 0 31 0
[pid=28705] ppid=28692 vsize=883228 CPUtime=7.84
/proc/28705/stat : 28705 (java) S 28692 28691 17511 34816 17511 4202496 74583 0 1 0 748 36 0 0 25 0 11 0 46586961 904425472 69824 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28705/statm: 220807 69824 1784 10 0 217898 0
[pid=28705/tid=28706] ppid=28692 vsize=883228 CPUtime=4.58
/proc/28705/task/28706/stat : 28706 (java) S 28692 28691 17511 34816 17511 4202560 50290 0 1 0 438 20 0 0 25 0 11 0 46586962 904425472 69824 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28707] ppid=28692 vsize=883228 CPUtime=0.25
/proc/28705/task/28707/stat : 28707 (java) S 28692 28691 17511 34816 17511 4202560 11265 0 0 0 17 8 0 0 16 0 11 0 46586964 904425472 69824 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28708] ppid=28692 vsize=883228 CPUtime=0
/proc/28705/task/28708/stat : 28708 (java) S 28692 28691 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46586964 904425472 69824 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28709] ppid=28692 vsize=883228 CPUtime=0
/proc/28705/task/28709/stat : 28709 (java) S 28692 28691 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46586964 904425472 69824 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28710] ppid=28692 vsize=883228 CPUtime=0
/proc/28705/task/28710/stat : 28710 (java) S 28692 28691 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46586967 904425472 69824 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28711] ppid=28692 vsize=883228 CPUtime=2.17
/proc/28705/task/28711/stat : 28711 (java) S 28692 28691 17511 34816 17511 4202560 10911 0 0 0 213 4 0 0 16 0 11 0 46586967 904425472 69824 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28712] ppid=28692 vsize=883228 CPUtime=0.75
/proc/28705/task/28712/stat : 28712 (java) S 28692 28691 17511 34816 17511 4202560 1030 0 0 0 74 1 0 0 15 0 11 0 46586967 904425472 69824 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28713] ppid=28692 vsize=883228 CPUtime=0
/proc/28705/task/28713/stat : 28713 (java) S 28692 28691 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46586967 904425472 69824 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=28705/tid=28714] ppid=28692 vsize=883228 CPUtime=0
/proc/28705/task/28714/stat : 28714 (java) S 28692 28691 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46586967 904425472 69824 1283457024 134512640 134550932 4290999488 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 888372

Child status: 0
Real time (s): 8.47101
CPU time (s): 7.91249
CPU user time (s): 7.50447
CPU system time (s): 0.408025
CPU usage (%): 93.4067
Max. virtual memory (cumulated for all children) (KiB): 892164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.50447
system time used= 0.408025
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78386
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 992
involuntary context switches= 1009

runsolver used 0 second user time and 0 second system time

The end