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/201103031013/p2cudf-trendy-1.12/218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debian.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/debian//218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debian.result 

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.25 1.09 0.68 5/38 4558
/proc/meminfo: memFree=696908/1048576 swapFree=0/0
[pid=4556] ppid=4555 vsize=2568 CPUtime=0
/proc/4556/stat : 4556 (p2cudf-trendy-1) S 4555 4556 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 18 0 1 0 74717046 2629632 271 1283457024 134512640 135304128 4291266160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4556/statm: 642 271 230 194 0 29 0
[pid=4557] ppid=4556 vsize=2568 CPUtime=0
/proc/4557/stat : 4557 (p2cudf) R 4556 4556 29493 34817 29493 4202496 347 0 0 0 0 0 0 0 25 0 1 0 74717047 2629632 272 1283457024 134512640 135304128 4290016560 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/4557/statm: 642 272 231 194 0 29 0
[pid=4558] ppid=4557 vsize=2568 CPUtime=0
/proc/4558/stat : 4558 (p2cudf) R 4557 4556 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 74717047 2629632 41 1283457024 134512640 135304128 4290016560 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/4558/statm: 642 41 0 194 0 29 0

[startup+0.165663 s]
/proc/loadavg: 1.25 1.09 0.68 5/38 4558
/proc/meminfo: memFree=696908/1048576 swapFree=0/0
[pid=4556] ppid=4555 vsize=2568 CPUtime=0
/proc/4556/stat : 4556 (p2cudf-trendy-1) S 4555 4556 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 18 0 1 0 74717046 2629632 271 1283457024 134512640 135304128 4291266160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4556/statm: 642 271 230 194 0 29 0
[pid=4557] ppid=4556 vsize=2572 CPUtime=0.04
/proc/4557/stat : 4557 (p2cudf) S 4556 4556 29493 34817 29493 4202496 393 3011 0 1 0 0 2 2 25 0 1 0 74717047 2633728 281 1283457024 134512640 135304128 4290016560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4557/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5140

[startup+0.205663 s]
/proc/loadavg: 1.25 1.09 0.68 5/38 4558
/proc/meminfo: memFree=696908/1048576 swapFree=0/0
[pid=4556] ppid=4555 vsize=2568 CPUtime=0
/proc/4556/stat : 4556 (p2cudf-trendy-1) S 4555 4556 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 18 0 1 0 74717046 2629632 271 1283457024 134512640 135304128 4291266160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4556/statm: 642 271 230 194 0 29 0
[pid=4557] ppid=4556 vsize=2572 CPUtime=0.04
/proc/4557/stat : 4557 (p2cudf) S 4556 4556 29493 34817 29493 4202496 393 3011 0 1 0 0 2 2 25 0 1 0 74717047 2633728 281 1283457024 134512640 135304128 4290016560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4557/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5140

[startup+0.305692 s]
/proc/loadavg: 1.25 1.09 0.68 5/38 4558
/proc/meminfo: memFree=696908/1048576 swapFree=0/0
[pid=4556] ppid=4555 vsize=2568 CPUtime=0
/proc/4556/stat : 4556 (p2cudf-trendy-1) S 4555 4556 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 18 0 1 0 74717046 2629632 271 1283457024 134512640 135304128 4291266160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4556/statm: 642 271 230 194 0 29 0
[pid=4557] ppid=4556 vsize=2572 CPUtime=0.04
/proc/4557/stat : 4557 (p2cudf) S 4556 4556 29493 34817 29493 4202496 393 3011 0 1 0 0 2 2 25 0 1 0 74717047 2633728 281 1283457024 134512640 135304128 4290016560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4557/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5140

[startup+0.705777 s]
/proc/loadavg: 1.25 1.09 0.68 5/38 4558
/proc/meminfo: memFree=696908/1048576 swapFree=0/0
[pid=4556] ppid=4555 vsize=2568 CPUtime=0
/proc/4556/stat : 4556 (p2cudf-trendy-1) S 4555 4556 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 18 0 1 0 74717046 2629632 271 1283457024 134512640 135304128 4291266160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4556/statm: 642 271 230 194 0 29 0
[pid=4557] ppid=4556 vsize=2572 CPUtime=0.04
/proc/4557/stat : 4557 (p2cudf) S 4556 4556 29493 34817 29493 4202496 393 3011 0 1 0 0 2 2 25 0 1 0 74717047 2633728 281 1283457024 134512640 135304128 4290016560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4557/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5140

[startup+1.50598 s]
/proc/loadavg: 1.25 1.09 0.68 4/48 4579
/proc/meminfo: memFree=647528/1048576 swapFree=0/0
[pid=4556] ppid=4555 vsize=2568 CPUtime=0
/proc/4556/stat : 4556 (p2cudf-trendy-1) S 4555 4556 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 18 0 1 0 74717046 2629632 271 1283457024 134512640 135304128 4291266160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4556/statm: 642 271 230 194 0 29 0
[pid=4557] ppid=4556 vsize=2572 CPUtime=0.04
/proc/4557/stat : 4557 (p2cudf) S 4556 4556 29493 34817 29493 4202496 393 3011 0 1 0 0 2 2 25 0 1 0 74717047 2633728 281 1283457024 134512640 135304128 4290016560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4557/statm: 643 281 239 194 0 30 0
[pid=4570] ppid=4557 vsize=884592 CPUtime=1.46
/proc/4570/stat : 4570 (java) S 4557 4556 29493 34817 29493 4202496 19759 0 1 0 140 6 0 0 25 0 10 0 74717050 905822208 16363 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4570/statm: 221148 16363 1730 10 0 218239 0
[pid=4570/tid=4571] ppid=4557 vsize=884592 CPUtime=0.8
/proc/4570/task/4571/stat : 4571 (java) R 4557 4556 29493 34817 29493 4202560 8422 0 1 0 76 4 0 0 25 0 10 0 74717051 905822208 16363 1283457024 134512640 134550932 4294856800 18446744073709551615 4094884621 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4570/tid=4572] ppid=4557 vsize=884592 CPUtime=0
/proc/4570/task/4572/stat : 4572 (java) S 4557 4556 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 74717052 905822208 16363 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4573] ppid=4557 vsize=884592 CPUtime=0
/proc/4570/task/4573/stat : 4573 (java) S 4557 4556 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 74717053 905822208 16363 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4574] ppid=4557 vsize=884592 CPUtime=0
/proc/4570/task/4574/stat : 4574 (java) S 4557 4556 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 74717053 905822208 16363 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4575] ppid=4557 vsize=884592 CPUtime=0
/proc/4570/task/4575/stat : 4575 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74717055 905822208 16363 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4576] ppid=4557 vsize=884592 CPUtime=0.45
/proc/4570/task/4576/stat : 4576 (java) R 4557 4556 29493 34817 29493 4202560 8490 0 0 0 43 2 0 0 25 0 10 0 74717055 905822208 16363 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4570/tid=4577] ppid=4557 vsize=884592 CPUtime=0.2
/proc/4570/task/4577/stat : 4577 (java) R 4557 4556 29493 34817 29493 4202560 1765 0 0 0 20 0 0 0 18 0 10 0 74717055 905822208 16363 1283457024 134512640 134550932 4294856800 18446744073709551615 4151391877 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4570/tid=4578] ppid=4557 vsize=884592 CPUtime=0
/proc/4570/task/4578/stat : 4578 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74717055 905822208 16363 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4579] ppid=4557 vsize=884592 CPUtime=0
/proc/4570/task/4579/stat : 4579 (java) S 4557 4556 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 74717055 905822208 16363 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 889732

[startup+3.10631 s]
/proc/loadavg: 1.31 1.10 0.69 3/48 4579
/proc/meminfo: memFree=558744/1048576 swapFree=0/0
[pid=4556] ppid=4555 vsize=2568 CPUtime=0
/proc/4556/stat : 4556 (p2cudf-trendy-1) S 4555 4556 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 18 0 1 0 74717046 2629632 271 1283457024 134512640 135304128 4291266160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4556/statm: 642 271 230 194 0 29 0
[pid=4557] ppid=4556 vsize=2572 CPUtime=0.04
/proc/4557/stat : 4557 (p2cudf) S 4556 4556 29493 34817 29493 4202496 393 3011 0 1 0 0 2 2 25 0 1 0 74717047 2633728 281 1283457024 134512640 135304128 4290016560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4557/statm: 643 281 239 194 0 30 0
[pid=4570] ppid=4557 vsize=882204 CPUtime=3.05
/proc/4570/stat : 4570 (java) S 4557 4556 29493 34817 29493 4202496 74877 0 1 0 280 25 0 0 25 0 10 0 74717050 903376896 70875 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4570/statm: 220551 70875 1738 10 0 217642 0
[pid=4570/tid=4571] ppid=4557 vsize=882204 CPUtime=1.78
/proc/4570/task/4571/stat : 4571 (java) R 4557 4556 29493 34817 29493 4202560 50020 0 1 0 159 19 0 0 25 0 10 0 74717051 903376896 70875 1283457024 134512640 134550932 4294856800 18446744073709551615 4095227888 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4570/tid=4572] ppid=4557 vsize=882204 CPUtime=0.27
/proc/4570/task/4572/stat : 4572 (java) S 4557 4556 29493 34817 29493 4202560 13011 0 0 0 24 3 0 0 16 0 10 0 74717052 903376896 70875 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4573] ppid=4557 vsize=882204 CPUtime=0
/proc/4570/task/4573/stat : 4573 (java) S 4557 4556 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 10 0 74717053 903376896 70875 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4574] ppid=4557 vsize=882204 CPUtime=0
/proc/4570/task/4574/stat : 4574 (java) S 4557 4556 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 18 0 10 0 74717053 903376896 70875 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4575] ppid=4557 vsize=882204 CPUtime=0
/proc/4570/task/4575/stat : 4575 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74717055 903376896 70875 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4576] ppid=4557 vsize=882204 CPUtime=0.57
/proc/4570/task/4576/stat : 4576 (java) S 4557 4556 29493 34817 29493 4202560 8545 0 0 0 55 2 0 0 15 0 10 0 74717055 903376896 70875 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4577] ppid=4557 vsize=882204 CPUtime=0.41
/proc/4570/task/4577/stat : 4577 (java) S 4557 4556 29493 34817 29493 4202560 2223 0 0 0 41 0 0 0 15 0 10 0 74717055 903376896 70875 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4578] ppid=4557 vsize=882204 CPUtime=0
/proc/4570/task/4578/stat : 4578 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74717055 903376896 70875 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4579] ppid=4557 vsize=882204 CPUtime=0
/proc/4570/task/4579/stat : 4579 (java) S 4557 4556 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 74717055 903376896 70875 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 887344

[startup+6.32727 s]
/proc/loadavg: 1.31 1.10 0.69 2/48 4579
/proc/meminfo: memFree=367164/1048576 swapFree=0/0
[pid=4556] ppid=4555 vsize=2568 CPUtime=0
/proc/4556/stat : 4556 (p2cudf-trendy-1) S 4555 4556 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 18 0 1 0 74717046 2629632 271 1283457024 134512640 135304128 4291266160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4556/statm: 642 271 230 194 0 29 0
[pid=4557] ppid=4556 vsize=2572 CPUtime=0.04
/proc/4557/stat : 4557 (p2cudf) S 4556 4556 29493 34817 29493 4202496 393 3011 0 1 0 0 2 2 25 0 1 0 74717047 2633728 281 1283457024 134512640 135304128 4290016560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4557/statm: 643 281 239 194 0 30 0
[pid=4570] ppid=4557 vsize=882100 CPUtime=6.26
/proc/4570/stat : 4570 (java) S 4557 4556 29493 34817 29493 4202496 90244 0 1 0 594 32 0 0 25 0 10 0 74717050 903270400 84256 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4570/statm: 220525 84256 1764 10 0 217616 0
[pid=4570/tid=4571] ppid=4557 vsize=882100 CPUtime=3.02
/proc/4570/task/4571/stat : 4571 (java) R 4557 4556 29493 34817 29493 4202560 50210 0 1 0 282 20 0 0 25 0 10 0 74717051 903270400 84256 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4570/tid=4572] ppid=4557 vsize=882100 CPUtime=0.7
/proc/4570/task/4572/stat : 4572 (java) R 4557 4556 29493 34817 29493 4202560 25982 0 0 0 62 8 0 0 15 0 10 0 74717052 903270400 84256 1283457024 134512640 134550932 4294856800 18446744073709551615 4149035384 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=4570/tid=4573] ppid=4557 vsize=882100 CPUtime=0
/proc/4570/task/4573/stat : 4573 (java) S 4557 4556 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 10 0 74717053 903270400 84256 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4574] ppid=4557 vsize=882100 CPUtime=0
/proc/4570/task/4574/stat : 4574 (java) S 4557 4556 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 18 0 10 0 74717053 903270400 84256 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4575] ppid=4557 vsize=882100 CPUtime=0
/proc/4570/task/4575/stat : 4575 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74717055 903270400 84256 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4576] ppid=4557 vsize=882100 CPUtime=2.11
/proc/4570/task/4576/stat : 4576 (java) S 4557 4556 29493 34817 29493 4202560 10751 0 0 0 209 2 0 0 15 0 10 0 74717055 903270400 84256 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4577] ppid=4557 vsize=882100 CPUtime=0.41
/proc/4570/task/4577/stat : 4577 (java) S 4557 4556 29493 34817 29493 4202560 2223 0 0 0 41 0 0 0 15 0 10 0 74717055 903270400 84256 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4578] ppid=4557 vsize=882100 CPUtime=0
/proc/4570/task/4578/stat : 4578 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74717055 903270400 84256 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4579] ppid=4557 vsize=882100 CPUtime=0
/proc/4570/task/4579/stat : 4579 (java) S 4557 4556 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 74717055 903270400 84256 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 887240

[startup+12.7091 s]
/proc/loadavg: 1.34 1.11 0.70 2/49 4580
/proc/meminfo: memFree=341116/1048576 swapFree=0/0
[pid=4556] ppid=4555 vsize=2568 CPUtime=0
/proc/4556/stat : 4556 (p2cudf-trendy-1) S 4555 4556 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 18 0 1 0 74717046 2629632 271 1283457024 134512640 135304128 4291266160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4556/statm: 642 271 230 194 0 29 0
[pid=4557] ppid=4556 vsize=2572 CPUtime=0.04
/proc/4557/stat : 4557 (p2cudf) S 4556 4556 29493 34817 29493 4202496 393 3011 0 1 0 0 2 2 25 0 1 0 74717047 2633728 281 1283457024 134512640 135304128 4290016560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4557/statm: 643 281 239 194 0 30 0
[pid=4570] ppid=4557 vsize=882424 CPUtime=12.64
/proc/4570/stat : 4570 (java) S 4557 4556 29493 34817 29493 4202496 96382 0 1 0 1228 36 0 0 25 0 11 0 74717050 903602176 90394 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4570/statm: 220606 90394 1780 10 0 217697 0
[pid=4570/tid=4571] ppid=4557 vsize=882424 CPUtime=8.5
/proc/4570/task/4571/stat : 4571 (java) R 4557 4556 29493 34817 29493 4202560 50262 0 1 0 830 20 0 0 25 0 11 0 74717051 903602176 90394 1283457024 134512640 134550932 4294856800 18446744073709551615 4096157951 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4570/tid=4572] ppid=4557 vsize=882424 CPUtime=0.81
/proc/4570/task/4572/stat : 4572 (java) S 4557 4556 29493 34817 29493 4202560 31959 0 0 0 69 12 0 0 15 0 11 0 74717052 903602176 90394 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4573] ppid=4557 vsize=882424 CPUtime=0
/proc/4570/task/4573/stat : 4573 (java) S 4557 4556 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74717053 903602176 90394 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4574] ppid=4557 vsize=882424 CPUtime=0
/proc/4570/task/4574/stat : 4574 (java) S 4557 4556 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 18 0 11 0 74717053 903602176 90394 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4575] ppid=4557 vsize=882424 CPUtime=0
/proc/4570/task/4575/stat : 4575 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74717055 903602176 90394 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4576] ppid=4557 vsize=882424 CPUtime=2.89
/proc/4570/task/4576/stat : 4576 (java) S 4557 4556 29493 34817 29493 4202560 10856 0 0 0 287 2 0 0 15 0 11 0 74717055 903602176 90394 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4577] ppid=4557 vsize=882424 CPUtime=0.41
/proc/4570/task/4577/stat : 4577 (java) S 4557 4556 29493 34817 29493 4202560 2223 0 0 0 41 0 0 0 15 0 11 0 74717055 903602176 90394 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4578] ppid=4557 vsize=882424 CPUtime=0
/proc/4570/task/4578/stat : 4578 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74717055 903602176 90394 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4579] ppid=4557 vsize=882424 CPUtime=0
/proc/4570/task/4579/stat : 4579 (java) R 4557 4556 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74717055 903602176 90394 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4570/tid=4580] ppid=4557 vsize=882424 CPUtime=0
/proc/4570/task/4580/stat : 4580 (java) S 4557 4556 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74717746 903602176 90394 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 887564

[startup+25.5129 s]
/proc/loadavg: 1.29 1.11 0.70 2/51 4582
/proc/meminfo: memFree=306744/1048576 swapFree=0/0
[pid=4556] ppid=4555 vsize=2568 CPUtime=0
/proc/4556/stat : 4556 (p2cudf-trendy-1) S 4555 4556 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 18 0 1 0 74717046 2629632 271 1283457024 134512640 135304128 4291266160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4556/statm: 642 271 230 194 0 29 0
[pid=4557] ppid=4556 vsize=2572 CPUtime=0.04
/proc/4557/stat : 4557 (p2cudf) S 4556 4556 29493 34817 29493 4202496 393 3011 0 1 0 0 2 2 25 0 1 0 74717047 2633728 281 1283457024 134512640 135304128 4290016560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4557/statm: 643 281 239 194 0 30 0
[pid=4570] ppid=4557 vsize=880952 CPUtime=25.42
/proc/4570/stat : 4570 (java) S 4557 4556 29493 34817 29493 4202496 105320 0 1 0 2501 41 0 0 25 0 11 0 74717050 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4570/statm: 220238 98964 1786 10 0 217329 0
[pid=4570/tid=4571] ppid=4557 vsize=880952 CPUtime=20.5
/proc/4570/task/4571/stat : 4571 (java) R 4557 4556 29493 34817 29493 4202560 50263 0 1 0 2029 21 0 0 25 0 11 0 74717051 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4096247664 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4570/tid=4572] ppid=4557 vsize=880952 CPUtime=1.31
/proc/4570/task/4572/stat : 4572 (java) S 4557 4556 29493 34817 29493 4202560 40874 0 0 0 115 16 0 0 15 0 11 0 74717052 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4573] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4573/stat : 4573 (java) S 4557 4556 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74717053 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4574] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4574/stat : 4574 (java) S 4557 4556 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 18 0 11 0 74717053 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4575] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4575/stat : 4575 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74717055 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4576] ppid=4557 vsize=880952 CPUtime=3.17
/proc/4570/task/4576/stat : 4576 (java) S 4557 4556 29493 34817 29493 4202560 10878 0 0 0 315 2 0 0 16 0 11 0 74717055 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4577] ppid=4557 vsize=880952 CPUtime=0.41
/proc/4570/task/4577/stat : 4577 (java) S 4557 4556 29493 34817 29493 4202560 2223 0 0 0 41 0 0 0 15 0 11 0 74717055 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4578] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4578/stat : 4578 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74717055 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4579] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4579/stat : 4579 (java) S 4557 4556 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74717055 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4580] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4580/stat : 4580 (java) S 4557 4556 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74717746 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 886092

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

[startup+31.9051 s]
/proc/loadavg: 1.24 1.11 0.70 2/51 4583
/proc/meminfo: memFree=306620/1048576 swapFree=0/0
[pid=4556] ppid=4555 vsize=2568 CPUtime=0
/proc/4556/stat : 4556 (p2cudf-trendy-1) S 4555 4556 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 18 0 1 0 74717046 2629632 271 1283457024 134512640 135304128 4291266160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4556/statm: 642 271 230 194 0 29 0
[pid=4557] ppid=4556 vsize=2572 CPUtime=0.04
/proc/4557/stat : 4557 (p2cudf) S 4556 4556 29493 34817 29493 4202496 393 3011 0 1 0 0 2 2 25 0 1 0 74717047 2633728 281 1283457024 134512640 135304128 4290016560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4557/statm: 643 281 239 194 0 30 0
[pid=4570] ppid=4557 vsize=880952 CPUtime=31.8
/proc/4570/stat : 4570 (java) S 4557 4556 29493 34817 29493 4202496 105320 0 1 0 3138 42 0 0 25 0 11 0 74717050 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4570/statm: 220238 98964 1786 10 0 217329 0
[pid=4570/tid=4571] ppid=4557 vsize=880952 CPUtime=26.88
/proc/4570/task/4571/stat : 4571 (java) R 4557 4556 29493 34817 29493 4202560 50263 0 1 0 2666 22 0 0 25 0 11 0 74717051 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4096247670 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4570/tid=4572] ppid=4557 vsize=880952 CPUtime=1.31
/proc/4570/task/4572/stat : 4572 (java) S 4557 4556 29493 34817 29493 4202560 40874 0 0 0 115 16 0 0 15 0 11 0 74717052 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4573] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4573/stat : 4573 (java) S 4557 4556 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74717053 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4574] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4574/stat : 4574 (java) S 4557 4556 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 18 0 11 0 74717053 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4575] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4575/stat : 4575 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74717055 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4576] ppid=4557 vsize=880952 CPUtime=3.17
/proc/4570/task/4576/stat : 4576 (java) S 4557 4556 29493 34817 29493 4202560 10878 0 0 0 315 2 0 0 15 0 11 0 74717055 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4577] ppid=4557 vsize=880952 CPUtime=0.41
/proc/4570/task/4577/stat : 4577 (java) S 4557 4556 29493 34817 29493 4202560 2223 0 0 0 41 0 0 0 15 0 11 0 74717055 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4578] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4578/stat : 4578 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74717055 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4579] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4579/stat : 4579 (java) S 4557 4556 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74717055 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4580] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4580/stat : 4580 (java) S 4557 4556 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74717746 902094848 98964 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 31.84
Current children cumulated vsize (KiB) 886092

[startup+38.3068 s]
/proc/loadavg: 1.22 1.10 0.70 2/51 4583
/proc/meminfo: memFree=305752/1048576 swapFree=0/0
[pid=4556] ppid=4555 vsize=2568 CPUtime=0
/proc/4556/stat : 4556 (p2cudf-trendy-1) S 4555 4556 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 18 0 1 0 74717046 2629632 271 1283457024 134512640 135304128 4291266160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4556/statm: 642 271 230 194 0 29 0
[pid=4557] ppid=4556 vsize=2572 CPUtime=0.04
/proc/4557/stat : 4557 (p2cudf) S 4556 4556 29493 34817 29493 4202496 393 3011 0 1 0 0 2 2 25 0 1 0 74717047 2633728 281 1283457024 134512640 135304128 4290016560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4557/statm: 643 281 239 194 0 30 0
[pid=4570] ppid=4557 vsize=880952 CPUtime=38.2
/proc/4570/stat : 4570 (java) S 4557 4556 29493 34817 29493 4202496 105570 0 1 0 3778 42 0 0 25 0 11 0 74717050 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4570/statm: 220238 99214 1786 10 0 217329 0
[pid=4570/tid=4571] ppid=4557 vsize=880952 CPUtime=32.81
/proc/4570/task/4571/stat : 4571 (java) R 4557 4556 29493 34817 29493 4202560 50264 0 1 0 3259 22 0 0 25 0 11 0 74717051 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4096112639 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4570/tid=4572] ppid=4557 vsize=880952 CPUtime=1.74
/proc/4570/task/4572/stat : 4572 (java) S 4557 4556 29493 34817 29493 4202560 41123 0 0 0 158 16 0 0 15 0 11 0 74717052 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4573] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4573/stat : 4573 (java) S 4557 4556 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74717053 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4574] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4574/stat : 4574 (java) S 4557 4556 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 18 0 11 0 74717053 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4575] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4575/stat : 4575 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74717055 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4576] ppid=4557 vsize=880952 CPUtime=3.22
/proc/4570/task/4576/stat : 4576 (java) S 4557 4556 29493 34817 29493 4202560 10878 0 0 0 320 2 0 0 15 0 11 0 74717055 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4577] ppid=4557 vsize=880952 CPUtime=0.41
/proc/4570/task/4577/stat : 4577 (java) S 4557 4556 29493 34817 29493 4202560 2223 0 0 0 41 0 0 0 15 0 11 0 74717055 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4578] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4578/stat : 4578 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74717055 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4579] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4579/stat : 4579 (java) S 4557 4556 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74717055 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4580] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4580/stat : 4580 (java) S 4557 4556 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74717746 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38.24
Current children cumulated vsize (KiB) 886092

[startup+41.5078 s]
/proc/loadavg: 1.22 1.10 0.70 2/51 4584
/proc/meminfo: memFree=305504/1048576 swapFree=0/0
[pid=4556] ppid=4555 vsize=2568 CPUtime=0
/proc/4556/stat : 4556 (p2cudf-trendy-1) S 4555 4556 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 18 0 1 0 74717046 2629632 271 1283457024 134512640 135304128 4291266160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4556/statm: 642 271 230 194 0 29 0
[pid=4557] ppid=4556 vsize=2572 CPUtime=0.04
/proc/4557/stat : 4557 (p2cudf) S 4556 4556 29493 34817 29493 4202496 393 3011 0 1 0 0 2 2 25 0 1 0 74717047 2633728 281 1283457024 134512640 135304128 4290016560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4557/statm: 643 281 239 194 0 30 0
[pid=4570] ppid=4557 vsize=880952 CPUtime=41.39
/proc/4570/stat : 4570 (java) S 4557 4556 29493 34817 29493 4202496 105570 0 1 0 4097 42 0 0 25 0 11 0 74717050 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4570/statm: 220238 99214 1786 10 0 217329 0
[pid=4570/tid=4571] ppid=4557 vsize=880952 CPUtime=36
/proc/4570/task/4571/stat : 4571 (java) R 4557 4556 29493 34817 29493 4202560 50264 0 1 0 3578 22 0 0 25 0 11 0 74717051 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4096164908 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4570/tid=4572] ppid=4557 vsize=880952 CPUtime=1.74
/proc/4570/task/4572/stat : 4572 (java) S 4557 4556 29493 34817 29493 4202560 41123 0 0 0 158 16 0 0 15 0 11 0 74717052 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4573] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4573/stat : 4573 (java) S 4557 4556 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74717053 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4574] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4574/stat : 4574 (java) S 4557 4556 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 18 0 11 0 74717053 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4575] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4575/stat : 4575 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74717055 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4576] ppid=4557 vsize=880952 CPUtime=3.22
/proc/4570/task/4576/stat : 4576 (java) S 4557 4556 29493 34817 29493 4202560 10878 0 0 0 320 2 0 0 15 0 11 0 74717055 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4577] ppid=4557 vsize=880952 CPUtime=0.41
/proc/4570/task/4577/stat : 4577 (java) S 4557 4556 29493 34817 29493 4202560 2223 0 0 0 41 0 0 0 15 0 11 0 74717055 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4578] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4578/stat : 4578 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74717055 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4579] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4579/stat : 4579 (java) S 4557 4556 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74717055 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4580] ppid=4557 vsize=880952 CPUtime=0
/proc/4570/task/4580/stat : 4580 (java) S 4557 4556 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74717746 902094848 99214 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 41.43
Current children cumulated vsize (KiB) 886092

[startup+43.1043 s]
/proc/loadavg: 1.20 1.10 0.70 3/51 4584
/proc/meminfo: memFree=305504/1048576 swapFree=0/0
[pid=4556] ppid=4555 vsize=2568 CPUtime=0
/proc/4556/stat : 4556 (p2cudf-trendy-1) S 4555 4556 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 18 0 1 0 74717046 2629632 271 1283457024 134512640 135304128 4291266160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4556/statm: 642 271 230 194 0 29 0
[pid=4557] ppid=4556 vsize=2572 CPUtime=0.04
/proc/4557/stat : 4557 (p2cudf) S 4556 4556 29493 34817 29493 4202496 393 3011 0 1 0 0 2 2 25 0 1 0 74717047 2633728 281 1283457024 134512640 135304128 4290016560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4557/statm: 643 281 239 194 0 30 0
[pid=4570] ppid=4557 vsize=881276 CPUtime=42.87
/proc/4570/stat : 4570 (java) S 4557 4556 29493 34817 29493 4202496 105583 0 1 0 4245 42 0 0 25 0 12 0 74717050 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4570/statm: 220319 99227 1786 10 0 217410 0
[pid=4570/tid=4571] ppid=4557 vsize=881276 CPUtime=37.41
/proc/4570/task/4571/stat : 4571 (java) S 4557 4556 29493 34817 29493 4202560 50272 0 1 0 3719 22 0 0 25 0 12 0 74717051 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4572] ppid=4557 vsize=881276 CPUtime=1.74
/proc/4570/task/4572/stat : 4572 (java) S 4557 4556 29493 34817 29493 4202560 41123 0 0 0 158 16 0 0 16 0 12 0 74717052 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4573] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4573/stat : 4573 (java) S 4557 4556 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 12 0 74717053 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4574] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4574/stat : 4574 (java) S 4557 4556 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 18 0 12 0 74717053 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4575] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4575/stat : 4575 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74717055 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4576] ppid=4557 vsize=881276 CPUtime=3.28
/proc/4570/task/4576/stat : 4576 (java) S 4557 4556 29493 34817 29493 4202560 10878 0 0 0 326 2 0 0 16 0 12 0 74717055 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4577] ppid=4557 vsize=881276 CPUtime=0.41
/proc/4570/task/4577/stat : 4577 (java) S 4557 4556 29493 34817 29493 4202560 2223 0 0 0 41 0 0 0 15 0 12 0 74717055 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4578] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4578/stat : 4578 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74717055 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4579] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4579/stat : 4579 (java) S 4557 4556 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 12 0 74717055 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4580] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4580/stat : 4580 (java) S 4557 4556 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 12 0 74717746 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 42.91
Current children cumulated vsize (KiB) 886416

[startup+43.5104 s]
/proc/loadavg: 1.20 1.10 0.70 3/51 4584
/proc/meminfo: memFree=305504/1048576 swapFree=0/0
[pid=4556] ppid=4555 vsize=2568 CPUtime=0
/proc/4556/stat : 4556 (p2cudf-trendy-1) S 4555 4556 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 18 0 1 0 74717046 2629632 271 1283457024 134512640 135304128 4291266160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4556/statm: 642 271 230 194 0 29 0
[pid=4557] ppid=4556 vsize=2572 CPUtime=0.04
/proc/4557/stat : 4557 (p2cudf) S 4556 4556 29493 34817 29493 4202496 393 3011 0 1 0 0 2 2 25 0 1 0 74717047 2633728 281 1283457024 134512640 135304128 4290016560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4557/statm: 643 281 239 194 0 30 0
[pid=4570] ppid=4557 vsize=881276 CPUtime=42.89
/proc/4570/stat : 4570 (java) S 4557 4556 29493 34817 29493 4202496 105583 0 1 0 4245 44 0 0 25 0 12 0 74717050 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4570/statm: 220319 99227 1786 10 0 217410 0
[pid=4570/tid=4571] ppid=4557 vsize=881276 CPUtime=37.41
/proc/4570/task/4571/stat : 4571 (java) S 4557 4556 29493 34817 29493 4202560 50272 0 1 0 3719 22 0 0 25 0 12 0 74717051 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4572] ppid=4557 vsize=881276 CPUtime=1.74
/proc/4570/task/4572/stat : 4572 (java) S 4557 4556 29493 34817 29493 4202560 41123 0 0 0 158 16 0 0 16 0 12 0 74717052 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4573] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4573/stat : 4573 (java) S 4557 4556 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 12 0 74717053 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4574] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4574/stat : 4574 (java) S 4557 4556 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 18 0 12 0 74717053 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4575] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4575/stat : 4575 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74717055 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4576] ppid=4557 vsize=881276 CPUtime=3.28
/proc/4570/task/4576/stat : 4576 (java) S 4557 4556 29493 34817 29493 4202560 10878 0 0 0 326 2 0 0 15 0 12 0 74717055 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4577] ppid=4557 vsize=881276 CPUtime=0.41
/proc/4570/task/4577/stat : 4577 (java) S 4557 4556 29493 34817 29493 4202560 2223 0 0 0 41 0 0 0 15 0 12 0 74717055 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4578] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4578/stat : 4578 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74717055 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4579] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4579/stat : 4579 (java) S 4557 4556 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 12 0 74717055 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4580] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4580/stat : 4580 (java) S 4557 4556 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 12 0 74717746 902426624 99227 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 42.93
Current children cumulated vsize (KiB) 886416

[startup+43.7043 s]
/proc/loadavg: 1.20 1.10 0.70 3/51 4584
/proc/meminfo: memFree=305504/1048576 swapFree=0/0
[pid=4556] ppid=4555 vsize=2568 CPUtime=0
/proc/4556/stat : 4556 (p2cudf-trendy-1) S 4555 4556 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 18 0 1 0 74717046 2629632 271 1283457024 134512640 135304128 4291266160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4556/statm: 642 271 230 194 0 29 0
[pid=4557] ppid=4556 vsize=2572 CPUtime=0.04
/proc/4557/stat : 4557 (p2cudf) S 4556 4556 29493 34817 29493 4202496 393 3011 0 1 0 0 2 2 25 0 1 0 74717047 2633728 281 1283457024 134512640 135304128 4290016560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4557/statm: 643 281 239 194 0 30 0
[pid=4570] ppid=4557 vsize=881276 CPUtime=43.05
/proc/4570/stat : 4570 (java) S 4557 4556 29493 34817 29493 4202496 105589 0 1 0 4258 47 0 0 25 0 11 0 74717050 902426624 99233 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4570/statm: 220319 99233 1787 10 0 217410 0
[pid=4570/tid=4571] ppid=4557 vsize=881276 CPUtime=37.41
/proc/4570/task/4571/stat : 4571 (java) S 4557 4556 29493 34817 29493 4202560 50272 0 1 0 3719 22 0 0 19 0 11 0 74717051 902426624 99233 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4572] ppid=4557 vsize=881276 CPUtime=1.74
/proc/4570/task/4572/stat : 4572 (java) S 4557 4556 29493 34817 29493 4202560 41123 0 0 0 158 16 0 0 16 0 11 0 74717052 902426624 99233 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4573] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4573/stat : 4573 (java) S 4557 4556 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74717053 902426624 99233 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4574] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4574/stat : 4574 (java) S 4557 4556 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 18 0 11 0 74717053 902426624 99233 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4575] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4575/stat : 4575 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74717055 902426624 99233 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4576] ppid=4557 vsize=881276 CPUtime=3.32
/proc/4570/task/4576/stat : 4576 (java) S 4557 4556 29493 34817 29493 4202560 10881 0 0 0 330 2 0 0 15 0 11 0 74717055 902426624 99233 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4577] ppid=4557 vsize=881276 CPUtime=0.41
/proc/4570/task/4577/stat : 4577 (java) S 4557 4556 29493 34817 29493 4202560 2223 0 0 0 41 0 0 0 15 0 11 0 74717055 902426624 99233 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4578] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4578/stat : 4578 (java) S 4557 4556 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74717055 902426624 99233 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4579] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4579/stat : 4579 (java) S 4557 4556 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74717055 902426624 99233 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=4570/tid=4580] ppid=4557 vsize=881276 CPUtime=0
/proc/4570/task/4580/stat : 4580 (java) S 4557 4556 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74717746 902426624 99233 1283457024 134512640 134550932 4294856800 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43.09
Current children cumulated vsize (KiB) 886416

Child status: 0
Real time (s): 43.7647
CPU time (s): 43.1427
CPU user time (s): 42.6027
CPU system time (s): 0.540033
CPU usage (%): 98.5788
Max. virtual memory (cumulated for all children) (KiB): 891176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.6027
system time used= 0.540033
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109391
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= 1774
involuntary context switches= 2097

runsolver used 0 second user time and 0 second system time

The end