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/201108241238/p2cudf-trendy-1.13/978532fa-c730-11df-b070-00163e3d3b7c.cudf.dudf-real.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/dudf-real//978532fa-c730-11df-b070-00163e3d3b7c.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/978532fa-c730-11df-b070-00163e3d3b7c.cudf.dudf-real.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.11 1.09 1.08 5/37 29178
/proc/meminfo: memFree=310228/1048576 swapFree=0/0
[pid=29176] ppid=29175 vsize=2564 CPUtime=0
/proc/29176/stat : 29176 (p2cudf-trendy-1) S 29175 29176 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4945208 2625536 269 1283457024 134512640 135304128 4293759168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29176/statm: 641 269 230 194 0 28 0
[pid=29177] ppid=29176 vsize=2564 CPUtime=0
/proc/29177/stat : 29177 (p2cudf) R 29176 29176 1511 34817 1511 4202496 344 0 0 0 0 0 0 0 25 0 1 0 4945208 2625536 270 1283457024 134512640 135304128 4291419776 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/29177/statm: 641 270 231 194 0 28 0
[pid=29178] ppid=29177 vsize=2564 CPUtime=0
/proc/29178/stat : 29178 (p2cudf) R 29177 29176 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 4945208 2625536 39 1283457024 134512640 135304128 4291419776 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/29178/statm: 641 39 0 194 0 28 0

[startup+0.182317 s]
/proc/loadavg: 1.11 1.09 1.08 5/37 29178
/proc/meminfo: memFree=310228/1048576 swapFree=0/0
[pid=29176] ppid=29175 vsize=2564 CPUtime=0
/proc/29176/stat : 29176 (p2cudf-trendy-1) S 29175 29176 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4945208 2625536 269 1283457024 134512640 135304128 4293759168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29176/statm: 641 269 230 194 0 28 0
[pid=29177] ppid=29176 vsize=2568 CPUtime=0.04
/proc/29177/stat : 29177 (p2cudf) S 29176 29176 1511 34817 1511 4202496 389 3014 0 1 0 0 2 2 25 0 1 0 4945208 2629632 279 1283457024 134512640 135304128 4291419776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29177/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5132

[startup+0.206833 s]
/proc/loadavg: 1.11 1.09 1.08 5/37 29178
/proc/meminfo: memFree=310228/1048576 swapFree=0/0
[pid=29176] ppid=29175 vsize=2564 CPUtime=0
/proc/29176/stat : 29176 (p2cudf-trendy-1) S 29175 29176 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4945208 2625536 269 1283457024 134512640 135304128 4293759168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29176/statm: 641 269 230 194 0 28 0
[pid=29177] ppid=29176 vsize=2568 CPUtime=0.04
/proc/29177/stat : 29177 (p2cudf) S 29176 29176 1511 34817 1511 4202496 389 3014 0 1 0 0 2 2 25 0 1 0 4945208 2629632 279 1283457024 134512640 135304128 4291419776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29177/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5132

[startup+0.306853 s]
/proc/loadavg: 1.11 1.09 1.08 5/37 29178
/proc/meminfo: memFree=310228/1048576 swapFree=0/0
[pid=29176] ppid=29175 vsize=2564 CPUtime=0
/proc/29176/stat : 29176 (p2cudf-trendy-1) S 29175 29176 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4945208 2625536 269 1283457024 134512640 135304128 4293759168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29176/statm: 641 269 230 194 0 28 0
[pid=29177] ppid=29176 vsize=2568 CPUtime=0.04
/proc/29177/stat : 29177 (p2cudf) S 29176 29176 1511 34817 1511 4202496 389 3014 0 1 0 0 2 2 25 0 1 0 4945208 2629632 279 1283457024 134512640 135304128 4291419776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29177/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5132

[startup+0.706948 s]
/proc/loadavg: 1.11 1.09 1.08 5/37 29178
/proc/meminfo: memFree=310228/1048576 swapFree=0/0
[pid=29176] ppid=29175 vsize=2564 CPUtime=0
/proc/29176/stat : 29176 (p2cudf-trendy-1) S 29175 29176 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4945208 2625536 269 1283457024 134512640 135304128 4293759168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29176/statm: 641 269 230 194 0 28 0
[pid=29177] ppid=29176 vsize=2568 CPUtime=0.04
/proc/29177/stat : 29177 (p2cudf) S 29176 29176 1511 34817 1511 4202496 389 3014 0 1 0 0 2 2 25 0 1 0 4945208 2629632 279 1283457024 134512640 135304128 4291419776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29177/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5132

[startup+1.50718 s]
/proc/loadavg: 1.26 1.12 1.09 5/47 29199
/proc/meminfo: memFree=266468/1048576 swapFree=0/0
[pid=29176] ppid=29175 vsize=2564 CPUtime=0
/proc/29176/stat : 29176 (p2cudf-trendy-1) S 29175 29176 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4945208 2625536 269 1283457024 134512640 135304128 4293759168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29176/statm: 641 269 230 194 0 28 0
[pid=29177] ppid=29176 vsize=2568 CPUtime=0.04
/proc/29177/stat : 29177 (p2cudf) S 29176 29176 1511 34817 1511 4202496 389 3014 0 1 0 0 2 2 25 0 1 0 4945208 2629632 279 1283457024 134512640 135304128 4291419776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29177/statm: 642 279 239 194 0 29 0
[pid=29190] ppid=29177 vsize=891696 CPUtime=1.43
/proc/29190/stat : 29190 (java) S 29177 29176 1511 34817 1511 4202496 19585 0 1 0 136 7 0 0 25 0 10 0 4945212 913096704 15614 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29190/statm: 222924 15614 1723 10 0 220015 0
[pid=29190/tid=29191] ppid=29177 vsize=891696 CPUtime=0.6
/proc/29190/task/29191/stat : 29191 (java) R 29177 29176 1511 34817 1511 4202560 6158 0 1 0 56 4 0 0 25 0 10 0 4945212 913096704 15614 1283457024 134512640 134550932 4289190656 18446744073709551615 4151927905 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29190/tid=29192] ppid=29177 vsize=891696 CPUtime=0
/proc/29190/task/29192/stat : 29192 (java) S 29177 29176 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 15 0 10 0 4945214 913096704 15614 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29193] ppid=29177 vsize=891696 CPUtime=0
/proc/29190/task/29193/stat : 29193 (java) S 29177 29176 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 4945216 913096704 15614 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29194] ppid=29177 vsize=891696 CPUtime=0
/proc/29190/task/29194/stat : 29194 (java) S 29177 29176 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4945216 913096704 15614 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29195] ppid=29177 vsize=891696 CPUtime=0
/proc/29190/task/29195/stat : 29195 (java) S 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4945218 913096704 15614 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29196] ppid=29177 vsize=891696 CPUtime=0.55
/proc/29190/task/29196/stat : 29196 (java) R 29177 29176 1511 34817 1511 4202560 10543 0 0 0 52 3 0 0 22 0 10 0 4945218 913096704 15614 1283457024 134512640 134550932 4289190656 18446744073709551615 4151510128 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29190/tid=29197] ppid=29177 vsize=891696 CPUtime=0.28
/proc/29190/task/29197/stat : 29197 (java) R 29177 29176 1511 34817 1511 4202560 1807 0 0 0 28 0 0 0 23 0 10 0 4945218 913096704 15614 1283457024 134512640 134550932 4289190656 18446744073709551615 4149598780 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29190/tid=29198] ppid=29177 vsize=891696 CPUtime=0
/proc/29190/task/29198/stat : 29198 (java) S 29177 29176 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4945218 913096704 15614 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29199] ppid=29177 vsize=891696 CPUtime=0
/proc/29190/task/29199/stat : 29199 (java) S 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4945218 913096704 15614 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 896828

[startup+3.10824 s]
/proc/loadavg: 1.26 1.12 1.09 2/47 29199
/proc/meminfo: memFree=162556/1048576 swapFree=0/0
[pid=29176] ppid=29175 vsize=2564 CPUtime=0
/proc/29176/stat : 29176 (p2cudf-trendy-1) S 29175 29176 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4945208 2625536 269 1283457024 134512640 135304128 4293759168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29176/statm: 641 269 230 194 0 28 0
[pid=29177] ppid=29176 vsize=2568 CPUtime=0.04
/proc/29177/stat : 29177 (p2cudf) S 29176 29176 1511 34817 1511 4202496 389 3014 0 1 0 0 2 2 25 0 1 0 4945208 2629632 279 1283457024 134512640 135304128 4291419776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29177/statm: 642 279 239 194 0 29 0
[pid=29190] ppid=29177 vsize=888336 CPUtime=3.02
/proc/29190/stat : 29190 (java) S 29177 29176 1511 34817 1511 4202496 75957 0 1 0 276 26 0 0 25 0 10 0 4945212 909656064 71779 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29190/statm: 222084 71779 1741 10 0 219175 0
[pid=29190/tid=29191] ppid=29177 vsize=888336 CPUtime=1.66
/proc/29190/task/29191/stat : 29191 (java) R 29177 29176 1511 34817 1511 4202560 50087 0 1 0 143 23 0 0 25 0 10 0 4945212 909656064 71779 1283457024 134512640 134550932 4289190656 18446744073709551615 4095475878 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29190/tid=29192] ppid=29177 vsize=888336 CPUtime=0.28
/proc/29190/task/29192/stat : 29192 (java) S 29177 29176 1511 34817 1511 4202560 12290 0 0 0 28 0 0 0 16 0 10 0 4945214 909656064 71779 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29193] ppid=29177 vsize=888336 CPUtime=0
/proc/29190/task/29193/stat : 29193 (java) S 29177 29176 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 4945216 909656064 71779 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29194] ppid=29177 vsize=888336 CPUtime=0
/proc/29190/task/29194/stat : 29194 (java) S 29177 29176 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 4945216 909656064 71779 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29195] ppid=29177 vsize=888336 CPUtime=0
/proc/29190/task/29195/stat : 29195 (java) S 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4945218 909656064 71779 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29196] ppid=29177 vsize=888336 CPUtime=0.6
/proc/29190/task/29196/stat : 29196 (java) S 29177 29176 1511 34817 1511 4202560 10589 0 0 0 57 3 0 0 22 0 10 0 4945218 909656064 71779 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29197] ppid=29177 vsize=888336 CPUtime=0.47
/proc/29190/task/29197/stat : 29197 (java) S 29177 29176 1511 34817 1511 4202560 1917 0 0 0 47 0 0 0 16 0 10 0 4945218 909656064 71779 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29198] ppid=29177 vsize=888336 CPUtime=0
/proc/29190/task/29198/stat : 29198 (java) S 29177 29176 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4945218 909656064 71779 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29199] ppid=29177 vsize=888336 CPUtime=0
/proc/29190/task/29199/stat : 29199 (java) S 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4945218 909656064 71779 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 893468

[startup+6.3158 s]
/proc/loadavg: 1.26 1.12 1.09 3/47 29200
/proc/meminfo: memFree=6180/1048576 swapFree=0/0
[pid=29176] ppid=29175 vsize=2564 CPUtime=0
/proc/29176/stat : 29176 (p2cudf-trendy-1) S 29175 29176 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4945208 2625536 269 1283457024 134512640 135304128 4293759168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29176/statm: 641 269 230 194 0 28 0
[pid=29177] ppid=29176 vsize=2568 CPUtime=0.04
/proc/29177/stat : 29177 (p2cudf) S 29176 29176 1511 34817 1511 4202496 389 3014 0 1 0 0 2 2 25 0 1 0 4945208 2629632 279 1283457024 134512640 135304128 4291419776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29177/statm: 642 279 239 194 0 29 0
[pid=29190] ppid=29177 vsize=888660 CPUtime=6.2
/proc/29190/stat : 29190 (java) S 29177 29176 1511 34817 1511 4202496 90432 0 1 0 586 34 0 0 25 0 11 0 4945212 909987840 84271 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29190/statm: 222165 84271 1774 10 0 219256 0
[pid=29190/tid=29191] ppid=29177 vsize=888660 CPUtime=2.65
/proc/29190/task/29191/stat : 29191 (java) R 29177 29176 1511 34817 1511 4202560 50269 0 1 0 237 28 0 0 25 0 11 0 4945212 909987840 84271 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29190/tid=29192] ppid=29177 vsize=888660 CPUtime=0.57
/proc/29190/task/29192/stat : 29192 (java) S 29177 29176 1511 34817 1511 4202560 24399 0 0 0 55 2 0 0 16 0 11 0 4945214 909987840 84271 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29193] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29193/stat : 29193 (java) S 29177 29176 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4945216 909987840 84271 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29194] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29194/stat : 29194 (java) S 29177 29176 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4945216 909987840 84271 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29195] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29195/stat : 29195 (java) S 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4945218 909987840 84271 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29196] ppid=29177 vsize=888660 CPUtime=0.6
/proc/29190/task/29196/stat : 29196 (java) S 29177 29176 1511 34817 1511 4202560 10589 0 0 0 57 3 0 0 22 0 11 0 4945218 909987840 84271 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29197] ppid=29177 vsize=888660 CPUtime=2.36
/proc/29190/task/29197/stat : 29197 (java) S 29177 29176 1511 34817 1511 4202560 4097 0 0 0 236 0 0 0 15 0 11 0 4945218 909987840 84271 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29198] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29198/stat : 29198 (java) S 29177 29176 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 4945218 909987840 84271 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29199] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29199/stat : 29199 (java) S 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 4945218 909987840 84271 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 893792

[startup+12.7104 s]
/proc/loadavg: 1.29 1.13 1.09 2/48 29201
/proc/meminfo: memFree=5428/1048576 swapFree=0/0
[pid=29176] ppid=29175 vsize=2564 CPUtime=0
/proc/29176/stat : 29176 (p2cudf-trendy-1) S 29175 29176 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4945208 2625536 269 1283457024 134512640 135304128 4293759168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29176/statm: 641 269 230 194 0 28 0
[pid=29177] ppid=29176 vsize=2568 CPUtime=0.04
/proc/29177/stat : 29177 (p2cudf) S 29176 29176 1511 34817 1511 4202496 389 3014 0 1 0 0 2 2 25 0 1 0 4945208 2629632 279 1283457024 134512640 135304128 4291419776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29177/statm: 642 279 239 194 0 29 0
[pid=29190] ppid=29177 vsize=888660 CPUtime=12.6
/proc/29190/stat : 29190 (java) S 29177 29176 1511 34817 1511 4202496 90494 0 1 0 1226 34 0 0 25 0 11 0 4945212 909987840 84333 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29190/statm: 222165 84333 1782 10 0 219256 0
[pid=29190/tid=29191] ppid=29177 vsize=888660 CPUtime=8.7
/proc/29190/task/29191/stat : 29191 (java) R 29177 29176 1511 34817 1511 4202560 50278 0 1 0 842 28 0 0 25 0 11 0 4945212 909987840 84333 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29190/tid=29192] ppid=29177 vsize=888660 CPUtime=0.57
/proc/29190/task/29192/stat : 29192 (java) S 29177 29176 1511 34817 1511 4202560 24399 0 0 0 55 2 0 0 16 0 11 0 4945214 909987840 84333 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29193] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29193/stat : 29193 (java) S 29177 29176 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4945216 909987840 84333 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29194] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29194/stat : 29194 (java) S 29177 29176 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4945216 909987840 84333 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29195] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29195/stat : 29195 (java) S 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4945218 909987840 84333 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29196] ppid=29177 vsize=888660 CPUtime=0.6
/proc/29190/task/29196/stat : 29196 (java) S 29177 29176 1511 34817 1511 4202560 10589 0 0 0 57 3 0 0 22 0 11 0 4945218 909987840 84333 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29197] ppid=29177 vsize=888660 CPUtime=2.71
/proc/29190/task/29197/stat : 29197 (java) R 29177 29176 1511 34817 1511 4202560 4150 0 0 0 271 0 0 0 16 0 11 0 4945218 909987840 84333 1283457024 134512640 134550932 4289190656 18446744073709551615 4151892686 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29190/tid=29198] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29198/stat : 29198 (java) S 29177 29176 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 4945218 909987840 84333 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29199] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29199/stat : 29199 (java) R 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 4945218 909987840 84333 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29190/tid=29201] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29201/stat : 29201 (java) S 29177 29176 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4945811 909987840 84333 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 893792

[startup+25.5134 s]
/proc/loadavg: 1.25 1.13 1.09 2/48 29203
/proc/meminfo: memFree=5800/1048576 swapFree=0/0
[pid=29176] ppid=29175 vsize=2564 CPUtime=0
/proc/29176/stat : 29176 (p2cudf-trendy-1) S 29175 29176 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4945208 2625536 269 1283457024 134512640 135304128 4293759168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29176/statm: 641 269 230 194 0 28 0
[pid=29177] ppid=29176 vsize=2568 CPUtime=0.04
/proc/29177/stat : 29177 (p2cudf) S 29176 29176 1511 34817 1511 4202496 389 3014 0 1 0 0 2 2 25 0 1 0 4945208 2629632 279 1283457024 134512640 135304128 4291419776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29177/statm: 642 279 239 194 0 29 0
[pid=29190] ppid=29177 vsize=888660 CPUtime=25.38
/proc/29190/stat : 29190 (java) S 29177 29176 1511 34817 1511 4202496 99702 0 1 0 2500 38 0 0 25 0 11 0 4945212 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29190/statm: 222165 93541 1788 10 0 219256 0
[pid=29190/tid=29191] ppid=29177 vsize=888660 CPUtime=20.85
/proc/29190/task/29191/stat : 29191 (java) R 29177 29176 1511 34817 1511 4202560 50283 0 1 0 2056 29 0 0 25 0 11 0 4945212 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4096042024 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29190/tid=29192] ppid=29177 vsize=888660 CPUtime=0.96
/proc/29190/task/29192/stat : 29192 (java) S 29177 29176 1511 34817 1511 4202560 33586 0 0 0 91 5 0 0 16 0 11 0 4945214 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29193] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29193/stat : 29193 (java) S 29177 29176 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4945216 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29194] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29194/stat : 29194 (java) S 29177 29176 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4945216 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29195] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29195/stat : 29195 (java) S 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4945218 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29196] ppid=29177 vsize=888660 CPUtime=0.6
/proc/29190/task/29196/stat : 29196 (java) S 29177 29176 1511 34817 1511 4202560 10589 0 0 0 57 3 0 0 22 0 11 0 4945218 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29197] ppid=29177 vsize=888660 CPUtime=2.95
/proc/29190/task/29197/stat : 29197 (java) S 29177 29176 1511 34817 1511 4202560 4166 0 0 0 295 0 0 0 15 0 11 0 4945218 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29198] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29198/stat : 29198 (java) S 29177 29176 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 4945218 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29199] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29199/stat : 29199 (java) S 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 4945218 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29201] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29201/stat : 29201 (java) S 29177 29176 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4945811 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 893792

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

[startup+27.1139 s]
/proc/loadavg: 1.23 1.12 1.09 2/48 29203
/proc/meminfo: memFree=5800/1048576 swapFree=0/0
[pid=29176] ppid=29175 vsize=2564 CPUtime=0
/proc/29176/stat : 29176 (p2cudf-trendy-1) S 29175 29176 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4945208 2625536 269 1283457024 134512640 135304128 4293759168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29176/statm: 641 269 230 194 0 28 0
[pid=29177] ppid=29176 vsize=2568 CPUtime=0.04
/proc/29177/stat : 29177 (p2cudf) S 29176 29176 1511 34817 1511 4202496 389 3014 0 1 0 0 2 2 25 0 1 0 4945208 2629632 279 1283457024 134512640 135304128 4291419776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29177/statm: 642 279 239 194 0 29 0
[pid=29190] ppid=29177 vsize=888660 CPUtime=26.98
/proc/29190/stat : 29190 (java) S 29177 29176 1511 34817 1511 4202496 99702 0 1 0 2660 38 0 0 25 0 11 0 4945212 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29190/statm: 222165 93541 1788 10 0 219256 0
[pid=29190/tid=29191] ppid=29177 vsize=888660 CPUtime=22.45
/proc/29190/task/29191/stat : 29191 (java) R 29177 29176 1511 34817 1511 4202560 50283 0 1 0 2216 29 0 0 25 0 11 0 4945212 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4096087180 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29190/tid=29192] ppid=29177 vsize=888660 CPUtime=0.96
/proc/29190/task/29192/stat : 29192 (java) S 29177 29176 1511 34817 1511 4202560 33586 0 0 0 91 5 0 0 15 0 11 0 4945214 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29193] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29193/stat : 29193 (java) S 29177 29176 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4945216 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29194] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29194/stat : 29194 (java) S 29177 29176 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4945216 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29195] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29195/stat : 29195 (java) S 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4945218 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29196] ppid=29177 vsize=888660 CPUtime=0.6
/proc/29190/task/29196/stat : 29196 (java) S 29177 29176 1511 34817 1511 4202560 10589 0 0 0 57 3 0 0 22 0 11 0 4945218 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29197] ppid=29177 vsize=888660 CPUtime=2.95
/proc/29190/task/29197/stat : 29197 (java) S 29177 29176 1511 34817 1511 4202560 4166 0 0 0 295 0 0 0 15 0 11 0 4945218 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29198] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29198/stat : 29198 (java) S 29177 29176 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 4945218 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29199] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29199/stat : 29199 (java) R 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 4945218 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29190/tid=29201] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29201/stat : 29201 (java) S 29177 29176 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4945811 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 27.02
Current children cumulated vsize (KiB) 893792

[startup+27.9041 s]
/proc/loadavg: 1.23 1.12 1.09 3/48 29203
/proc/meminfo: memFree=5800/1048576 swapFree=0/0
[pid=29176] ppid=29175 vsize=2564 CPUtime=0
/proc/29176/stat : 29176 (p2cudf-trendy-1) S 29175 29176 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4945208 2625536 269 1283457024 134512640 135304128 4293759168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29176/statm: 641 269 230 194 0 28 0
[pid=29177] ppid=29176 vsize=2568 CPUtime=0.04
/proc/29177/stat : 29177 (p2cudf) S 29176 29176 1511 34817 1511 4202496 389 3014 0 1 0 0 2 2 25 0 1 0 4945208 2629632 279 1283457024 134512640 135304128 4291419776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29177/statm: 642 279 239 194 0 29 0
[pid=29190] ppid=29177 vsize=888660 CPUtime=27.76
/proc/29190/stat : 29190 (java) S 29177 29176 1511 34817 1511 4202496 99702 0 1 0 2738 38 0 0 25 0 11 0 4945212 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29190/statm: 222165 93541 1788 10 0 219256 0
[pid=29190/tid=29191] ppid=29177 vsize=888660 CPUtime=23.23
/proc/29190/task/29191/stat : 29191 (java) R 29177 29176 1511 34817 1511 4202560 50283 0 1 0 2294 29 0 0 25 0 11 0 4945212 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4096052920 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29190/tid=29192] ppid=29177 vsize=888660 CPUtime=0.96
/proc/29190/task/29192/stat : 29192 (java) S 29177 29176 1511 34817 1511 4202560 33586 0 0 0 91 5 0 0 15 0 11 0 4945214 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29193] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29193/stat : 29193 (java) S 29177 29176 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4945216 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29194] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29194/stat : 29194 (java) S 29177 29176 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4945216 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29195] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29195/stat : 29195 (java) S 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4945218 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29196] ppid=29177 vsize=888660 CPUtime=0.6
/proc/29190/task/29196/stat : 29196 (java) S 29177 29176 1511 34817 1511 4202560 10589 0 0 0 57 3 0 0 22 0 11 0 4945218 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29197] ppid=29177 vsize=888660 CPUtime=2.95
/proc/29190/task/29197/stat : 29197 (java) S 29177 29176 1511 34817 1511 4202560 4166 0 0 0 295 0 0 0 15 0 11 0 4945218 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29198] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29198/stat : 29198 (java) S 29177 29176 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 4945218 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29199] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29199/stat : 29199 (java) S 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 4945218 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29201] ppid=29177 vsize=888660 CPUtime=0
/proc/29190/task/29201/stat : 29201 (java) S 29177 29176 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4945811 909987840 93541 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 27.8
Current children cumulated vsize (KiB) 893792

[startup+28.6041 s]
/proc/loadavg: 1.23 1.12 1.09 1/48 29204
/proc/meminfo: memFree=5800/1048576 swapFree=0/0
[pid=29176] ppid=29175 vsize=2564 CPUtime=0
/proc/29176/stat : 29176 (p2cudf-trendy-1) S 29175 29176 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4945208 2625536 269 1283457024 134512640 135304128 4293759168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29176/statm: 641 269 230 194 0 28 0
[pid=29177] ppid=29176 vsize=2568 CPUtime=0.04
/proc/29177/stat : 29177 (p2cudf) S 29176 29176 1511 34817 1511 4202496 389 3014 0 1 0 0 2 2 25 0 1 0 4945208 2629632 279 1283457024 134512640 135304128 4291419776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29177/statm: 642 279 239 194 0 29 0
[pid=29190] ppid=29177 vsize=888984 CPUtime=27.98
/proc/29190/stat : 29190 (java) S 29177 29176 1511 34817 1511 4202496 99717 0 1 0 2760 38 0 0 25 0 11 0 4945212 910319616 93556 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29190/statm: 222246 93556 1789 10 0 219337 0
[pid=29190/tid=29191] ppid=29177 vsize=888984 CPUtime=23.41
/proc/29190/task/29191/stat : 29191 (java) S 29177 29176 1511 34817 1511 4202560 50292 0 1 0 2312 29 0 0 25 0 11 0 4945212 910319616 93556 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29192] ppid=29177 vsize=888984 CPUtime=0.96
/proc/29190/task/29192/stat : 29192 (java) S 29177 29176 1511 34817 1511 4202560 33586 0 0 0 91 5 0 0 16 0 11 0 4945214 910319616 93556 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29193] ppid=29177 vsize=888984 CPUtime=0
/proc/29190/task/29193/stat : 29193 (java) S 29177 29176 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4945216 910319616 93556 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29194] ppid=29177 vsize=888984 CPUtime=0
/proc/29190/task/29194/stat : 29194 (java) S 29177 29176 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4945216 910319616 93556 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29195] ppid=29177 vsize=888984 CPUtime=0
/proc/29190/task/29195/stat : 29195 (java) S 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4945218 910319616 93556 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29196] ppid=29177 vsize=888984 CPUtime=0.6
/proc/29190/task/29196/stat : 29196 (java) S 29177 29176 1511 34817 1511 4202560 10589 0 0 0 57 3 0 0 22 0 11 0 4945218 910319616 93556 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29197] ppid=29177 vsize=888984 CPUtime=2.99
/proc/29190/task/29197/stat : 29197 (java) S 29177 29176 1511 34817 1511 4202560 4166 0 0 0 299 0 0 0 15 0 11 0 4945218 910319616 93556 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29198] ppid=29177 vsize=888984 CPUtime=0
/proc/29190/task/29198/stat : 29198 (java) S 29177 29176 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 4945218 910319616 93556 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29199] ppid=29177 vsize=888984 CPUtime=0
/proc/29190/task/29199/stat : 29199 (java) S 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 4945218 910319616 93556 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29204] ppid=29177 vsize=888984 CPUtime=0
/proc/29190/task/29204/stat : 29204 (java) S 29177 29176 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 4948021 910319616 93556 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.02
Current children cumulated vsize (KiB) 894116

[startup+28.8082 s]
/proc/loadavg: 1.23 1.12 1.09 1/48 29204
/proc/meminfo: memFree=5800/1048576 swapFree=0/0
[pid=29176] ppid=29175 vsize=2564 CPUtime=0
/proc/29176/stat : 29176 (p2cudf-trendy-1) S 29175 29176 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4945208 2625536 269 1283457024 134512640 135304128 4293759168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29176/statm: 641 269 230 194 0 28 0
[pid=29177] ppid=29176 vsize=2568 CPUtime=0.04
/proc/29177/stat : 29177 (p2cudf) S 29176 29176 1511 34817 1511 4202496 389 3014 0 1 0 0 2 2 25 0 1 0 4945208 2629632 279 1283457024 134512640 135304128 4291419776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29177/statm: 642 279 239 194 0 29 0
[pid=29190] ppid=29177 vsize=888984 CPUtime=28.16
/proc/29190/stat : 29190 (java) S 29177 29176 1511 34817 1511 4202496 99718 0 1 0 2774 42 0 0 25 0 11 0 4945212 910319616 93557 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29190/statm: 222246 93557 1789 10 0 219337 0
[pid=29190/tid=29191] ppid=29177 vsize=888984 CPUtime=23.41
/proc/29190/task/29191/stat : 29191 (java) S 29177 29176 1511 34817 1511 4202560 50292 0 1 0 2312 29 0 0 25 0 11 0 4945212 910319616 93557 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29192] ppid=29177 vsize=888984 CPUtime=0.96
/proc/29190/task/29192/stat : 29192 (java) S 29177 29176 1511 34817 1511 4202560 33586 0 0 0 91 5 0 0 16 0 11 0 4945214 910319616 93557 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29193] ppid=29177 vsize=888984 CPUtime=0
/proc/29190/task/29193/stat : 29193 (java) S 29177 29176 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4945216 910319616 93557 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29194] ppid=29177 vsize=888984 CPUtime=0
/proc/29190/task/29194/stat : 29194 (java) S 29177 29176 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4945216 910319616 93557 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29195] ppid=29177 vsize=888984 CPUtime=0
/proc/29190/task/29195/stat : 29195 (java) S 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4945218 910319616 93557 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29196] ppid=29177 vsize=888984 CPUtime=0.6
/proc/29190/task/29196/stat : 29196 (java) S 29177 29176 1511 34817 1511 4202560 10589 0 0 0 57 3 0 0 22 0 11 0 4945218 910319616 93557 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29197] ppid=29177 vsize=888984 CPUtime=3.03
/proc/29190/task/29197/stat : 29197 (java) S 29177 29176 1511 34817 1511 4202560 4166 0 0 0 303 0 0 0 15 0 11 0 4945218 910319616 93557 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29198] ppid=29177 vsize=888984 CPUtime=0
/proc/29190/task/29198/stat : 29198 (java) S 29177 29176 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 4945218 910319616 93557 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29199] ppid=29177 vsize=888984 CPUtime=0
/proc/29190/task/29199/stat : 29199 (java) S 29177 29176 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 4945218 910319616 93557 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=29190/tid=29204] ppid=29177 vsize=888984 CPUtime=0.13
/proc/29190/task/29204/stat : 29204 (java) R 29177 29176 1511 34817 1511 4202560 6 0 0 0 9 4 0 0 21 0 11 0 4948021 910319616 93557 1283457024 134512640 134550932 4289190656 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.2
Current children cumulated vsize (KiB) 894116

Child status: 0
Real time (s): 28.9009
CPU time (s): 28.2458
CPU user time (s): 27.7777
CPU system time (s): 0.468029
CPU usage (%): 97.7332
Max. virtual memory (cumulated for all children) (KiB): 897176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.7777
system time used= 0.468029
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103516
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= 1451
involuntary context switches= 1689

runsolver used 0 second user time and 0.008 second system time

The end