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/201012070034/p2cudf-trendy-1.9/randd8bf6a.cudf.difficult.log.runsolver ./p2cudf-trendy-1.9 /home/misc2010/data/2010/difficult//randd8bf6a.cudf /home/misc2010/tmp/201012070034/p2cudf-trendy-1.9/randd8bf6a.cudf.difficult.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.23 1.09 1.02 4/41 5772
/proc/meminfo: memFree=638952/1048576 swapFree=2077620/2097144
[pid=5771] ppid=5770 vsize=2572 CPUtime=0
/proc/5771/stat : 5771 (p2cudf-trendy-1) S 5770 5771 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 273 1283457024 134512640 135304128 4292919344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5771/statm: 643 273 233 194 0 29 0
[pid=5772] ppid=5771 vsize=2572 CPUtime=0
/proc/5772/stat : 5772 (p2cudf) R 5771 5771 4159 34819 4229 4202496 349 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 275 1283457024 134512640 135304128 4290291104 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/5772/statm: 643 275 234 194 0 29 0
[pid=5773] ppid=5772 vsize=2572 CPUtime=0
/proc/5773/stat : 5773 (p2cudf) R 5772 5771 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 41 1283457024 134512640 135304128 4290291104 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/5773/statm: 643 41 0 194 0 29 0

[startup+0.199337 s]
/proc/loadavg: 1.23 1.09 1.02 4/41 5772
/proc/meminfo: memFree=638952/1048576 swapFree=2077620/2097144
[pid=5771] ppid=5770 vsize=2572 CPUtime=0
/proc/5771/stat : 5771 (p2cudf-trendy-1) S 5770 5771 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 273 1283457024 134512640 135304128 4292919344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5771/statm: 643 273 233 194 0 29 0
[pid=5772] ppid=5771 vsize=2576 CPUtime=0.03
/proc/5772/stat : 5772 (p2cudf) S 5771 5771 4159 34819 4229 4202496 395 2911 0 1 0 0 2 1 25 0 1 0 885447050 2637824 283 1283457024 134512640 135304128 4290291104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5772/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.209333 s]
/proc/loadavg: 1.23 1.09 1.02 4/41 5772
/proc/meminfo: memFree=638952/1048576 swapFree=2077620/2097144
[pid=5771] ppid=5770 vsize=2572 CPUtime=0
/proc/5771/stat : 5771 (p2cudf-trendy-1) S 5770 5771 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 273 1283457024 134512640 135304128 4292919344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5771/statm: 643 273 233 194 0 29 0
[pid=5772] ppid=5771 vsize=2576 CPUtime=0.03
/proc/5772/stat : 5772 (p2cudf) S 5771 5771 4159 34819 4229 4202496 395 2911 0 1 0 0 2 1 25 0 1 0 885447050 2637824 283 1283457024 134512640 135304128 4290291104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5772/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.309357 s]
/proc/loadavg: 1.23 1.09 1.02 4/41 5772
/proc/meminfo: memFree=638952/1048576 swapFree=2077620/2097144
[pid=5771] ppid=5770 vsize=2572 CPUtime=0
/proc/5771/stat : 5771 (p2cudf-trendy-1) S 5770 5771 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 273 1283457024 134512640 135304128 4292919344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5771/statm: 643 273 233 194 0 29 0
[pid=5772] ppid=5771 vsize=2576 CPUtime=0.03
/proc/5772/stat : 5772 (p2cudf) S 5771 5771 4159 34819 4229 4202496 395 2911 0 1 0 0 2 1 25 0 1 0 885447050 2637824 283 1283457024 134512640 135304128 4290291104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5772/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.709448 s]
/proc/loadavg: 1.23 1.09 1.02 4/41 5772
/proc/meminfo: memFree=638952/1048576 swapFree=2077620/2097144
[pid=5771] ppid=5770 vsize=2572 CPUtime=0
/proc/5771/stat : 5771 (p2cudf-trendy-1) S 5770 5771 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 273 1283457024 134512640 135304128 4292919344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5771/statm: 643 273 233 194 0 29 0
[pid=5772] ppid=5771 vsize=2576 CPUtime=0.03
/proc/5772/stat : 5772 (p2cudf) S 5771 5771 4159 34819 4229 4202496 395 2911 0 1 0 0 2 1 25 0 1 0 885447050 2637824 283 1283457024 134512640 135304128 4290291104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5772/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+1.50961 s]
/proc/loadavg: 1.23 1.09 1.02 3/52 5794
/proc/meminfo: memFree=599868/1048576 swapFree=2077620/2097144
[pid=5771] ppid=5770 vsize=2572 CPUtime=0
/proc/5771/stat : 5771 (p2cudf-trendy-1) S 5770 5771 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 273 1283457024 134512640 135304128 4292919344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5771/statm: 643 273 233 194 0 29 0
[pid=5772] ppid=5771 vsize=2576 CPUtime=0.03
/proc/5772/stat : 5772 (p2cudf) S 5771 5771 4159 34819 4229 4202496 395 2911 0 1 0 0 2 1 25 0 1 0 885447050 2637824 283 1283457024 134512640 135304128 4290291104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5772/statm: 644 283 241 194 0 30 0
[pid=5785] ppid=5772 vsize=877744 CPUtime=1.45
/proc/5785/stat : 5785 (java) S 5772 5771 4159 34819 4229 4202496 18494 0 1 0 138 7 0 0 25 0 10 0 885447055 898809856 15606 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5785/statm: 219436 15606 1729 10 0 216526 0
[pid=5785/tid=5786] ppid=5772 vsize=877744 CPUtime=0.79
/proc/5785/task/5786/stat : 5786 (java) R 5772 5771 4159 34819 4229 4202560 9305 0 1 0 76 3 0 0 25 0 10 0 885447056 898809856 15606 1283457024 134512640 134550932 4287840752 18446744073709551615 4095209638 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5785/tid=5787] ppid=5772 vsize=877744 CPUtime=0
/proc/5785/task/5787/stat : 5787 (java) S 5772 5771 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 18 0 10 0 885447057 898809856 15606 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5788] ppid=5772 vsize=877744 CPUtime=0
/proc/5785/task/5788/stat : 5788 (java) S 5772 5771 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 10 0 885447058 898809856 15606 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5789] ppid=5772 vsize=877744 CPUtime=0
/proc/5785/task/5789/stat : 5789 (java) S 5772 5771 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 10 0 885447058 898809856 15606 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5790] ppid=5772 vsize=877744 CPUtime=0
/proc/5785/task/5790/stat : 5790 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 885447060 898809856 15606 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5791] ppid=5772 vsize=877744 CPUtime=0.45
/proc/5785/task/5791/stat : 5791 (java) R 5772 5771 4159 34819 4229 4202560 6405 0 0 0 43 2 0 0 25 0 10 0 885447060 898809856 15606 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5785/tid=5792] ppid=5772 vsize=877744 CPUtime=0.19
/proc/5785/task/5792/stat : 5792 (java) R 5772 5771 4159 34819 4229 4202560 1667 0 0 0 19 0 0 0 21 0 10 0 885447060 898809856 15606 1283457024 134512640 134550932 4287840752 18446744073709551615 4149694257 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5785/tid=5793] ppid=5772 vsize=877744 CPUtime=0
/proc/5785/task/5793/stat : 5793 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 885447060 898809856 15606 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5794] ppid=5772 vsize=877744 CPUtime=0
/proc/5785/task/5794/stat : 5794 (java) S 5772 5771 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 10 0 885447060 898809856 15606 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 882892

[startup+3.10993 s]
/proc/loadavg: 1.23 1.09 1.02 4/52 5794
/proc/meminfo: memFree=542456/1048576 swapFree=2077620/2097144
[pid=5771] ppid=5770 vsize=2572 CPUtime=0
/proc/5771/stat : 5771 (p2cudf-trendy-1) S 5770 5771 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 273 1283457024 134512640 135304128 4292919344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5771/statm: 643 273 233 194 0 29 0
[pid=5772] ppid=5771 vsize=2576 CPUtime=0.03
/proc/5772/stat : 5772 (p2cudf) S 5771 5771 4159 34819 4229 4202496 395 2911 0 1 0 0 2 1 25 0 1 0 885447050 2637824 283 1283457024 134512640 135304128 4290291104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5772/statm: 644 283 241 194 0 30 0
[pid=5785] ppid=5772 vsize=878760 CPUtime=3.05
/proc/5785/stat : 5785 (java) S 5772 5771 4159 34819 4229 4202496 58751 0 1 0 284 21 0 0 25 0 10 0 885447055 899850240 53553 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5785/statm: 219690 53553 1743 10 0 216780 0
[pid=5785/tid=5786] ppid=5772 vsize=878760 CPUtime=1.66
/proc/5785/task/5786/stat : 5786 (java) R 5772 5771 4159 34819 4229 4202560 46522 0 1 0 150 16 0 0 25 0 10 0 885447056 899850240 53553 1283457024 134512640 134550932 4287840752 18446744073709551615 4095500913 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5785/tid=5787] ppid=5772 vsize=878760 CPUtime=0
/proc/5785/task/5787/stat : 5787 (java) S 5772 5771 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 18 0 10 0 885447057 899850240 53553 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5788] ppid=5772 vsize=878760 CPUtime=0
/proc/5785/task/5788/stat : 5788 (java) S 5772 5771 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 10 0 885447058 899850240 53553 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5789] ppid=5772 vsize=878760 CPUtime=0
/proc/5785/task/5789/stat : 5789 (java) S 5772 5771 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 10 0 885447058 899850240 53553 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5790] ppid=5772 vsize=878760 CPUtime=0
/proc/5785/task/5790/stat : 5790 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 885447060 899850240 53553 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5791] ppid=5772 vsize=878760 CPUtime=0.95
/proc/5785/task/5791/stat : 5791 (java) S 5772 5771 4159 34819 4229 4202560 8141 0 0 0 91 4 0 0 22 0 10 0 885447060 899850240 53553 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5792] ppid=5772 vsize=878760 CPUtime=0.43
/proc/5785/task/5792/stat : 5792 (java) S 5772 5771 4159 34819 4229 4202560 2971 0 0 0 43 0 0 0 16 0 10 0 885447060 899850240 53553 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5793] ppid=5772 vsize=878760 CPUtime=0
/proc/5785/task/5793/stat : 5793 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 885447060 899850240 53553 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5794] ppid=5772 vsize=878760 CPUtime=0
/proc/5785/task/5794/stat : 5794 (java) R 5772 5771 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 10 0 885447060 899850240 53553 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 883908

[startup+6.31074 s]
/proc/loadavg: 1.21 1.09 1.02 3/53 5795
/proc/meminfo: memFree=358432/1048576 swapFree=2077620/2097144
[pid=5771] ppid=5770 vsize=2572 CPUtime=0
/proc/5771/stat : 5771 (p2cudf-trendy-1) S 5770 5771 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 273 1283457024 134512640 135304128 4292919344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5771/statm: 643 273 233 194 0 29 0
[pid=5772] ppid=5771 vsize=2576 CPUtime=0.03
/proc/5772/stat : 5772 (p2cudf) S 5771 5771 4159 34819 4229 4202496 395 2911 0 1 0 0 2 1 25 0 1 0 885447050 2637824 283 1283457024 134512640 135304128 4290291104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5772/statm: 644 283 241 194 0 30 0
[pid=5785] ppid=5772 vsize=878924 CPUtime=6.25
/proc/5785/stat : 5785 (java) S 5772 5771 4159 34819 4229 4202496 78464 0 1 0 598 27 0 0 25 0 12 0 885447055 900018176 71574 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5785/statm: 219731 71574 1789 10 0 216821 0
[pid=5785/tid=5786] ppid=5772 vsize=878924 CPUtime=2.9
/proc/5785/task/5786/stat : 5786 (java) R 5772 5771 4159 34819 4229 4202560 50473 0 1 0 273 17 0 0 25 0 12 0 885447056 900018176 71574 1283457024 134512640 134550932 4287840752 18446744073709551615 4095938135 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5785/tid=5787] ppid=5772 vsize=878924 CPUtime=0.31
/proc/5785/task/5787/stat : 5787 (java) S 5772 5771 4159 34819 4229 4202560 13967 0 0 0 28 3 0 0 15 0 12 0 885447057 900018176 71574 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5788] ppid=5772 vsize=878924 CPUtime=0
/proc/5785/task/5788/stat : 5788 (java) S 5772 5771 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 18 0 12 0 885447058 900018176 71574 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5789] ppid=5772 vsize=878924 CPUtime=0
/proc/5785/task/5789/stat : 5789 (java) S 5772 5771 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 18 0 12 0 885447058 900018176 71574 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5790] ppid=5772 vsize=878924 CPUtime=0
/proc/5785/task/5790/stat : 5790 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 12 0 885447060 900018176 71574 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5791] ppid=5772 vsize=878924 CPUtime=1.91
/proc/5785/task/5791/stat : 5791 (java) S 5772 5771 4159 34819 4229 4202560 9663 0 0 0 187 4 0 0 16 0 12 0 885447060 900018176 71574 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5792] ppid=5772 vsize=878924 CPUtime=1.11
/proc/5785/task/5792/stat : 5792 (java) S 5772 5771 4159 34819 4229 4202560 3243 0 0 0 109 2 0 0 15 0 12 0 885447060 900018176 71574 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5793] ppid=5772 vsize=878924 CPUtime=0
/proc/5785/task/5793/stat : 5793 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 12 0 885447060 900018176 71574 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5794] ppid=5772 vsize=878924 CPUtime=0
/proc/5785/task/5794/stat : 5794 (java) S 5772 5771 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 12 0 885447060 900018176 71574 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 884072

[startup+12.7324 s]
/proc/loadavg: 1.27 1.10 1.03 3/53 5812
/proc/meminfo: memFree=322116/1048576 swapFree=2077620/2097144
[pid=5771] ppid=5770 vsize=2572 CPUtime=0
/proc/5771/stat : 5771 (p2cudf-trendy-1) S 5770 5771 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 273 1283457024 134512640 135304128 4292919344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5771/statm: 643 273 233 194 0 29 0
[pid=5772] ppid=5771 vsize=2576 CPUtime=0.03
/proc/5772/stat : 5772 (p2cudf) S 5771 5771 4159 34819 4229 4202496 395 2911 0 1 0 0 2 1 25 0 1 0 885447050 2637824 283 1283457024 134512640 135304128 4290291104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5772/statm: 644 283 241 194 0 30 0
[pid=5785] ppid=5772 vsize=879572 CPUtime=12.66
/proc/5785/stat : 5785 (java) S 5772 5771 4159 34819 4229 4202496 87472 0 1 0 1235 31 0 0 25 0 11 0 885447055 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5785/statm: 219893 80582 1793 10 0 216983 0
[pid=5785/tid=5786] ppid=5772 vsize=879572 CPUtime=8.43
/proc/5785/task/5786/stat : 5786 (java) R 5772 5771 4159 34819 4229 4202560 50477 0 1 0 826 17 0 0 25 0 11 0 885447056 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5785/tid=5787] ppid=5772 vsize=879572 CPUtime=0.74
/proc/5785/task/5787/stat : 5787 (java) R 5772 5771 4159 34819 4229 4202560 22927 0 0 0 67 7 0 0 15 0 11 0 885447057 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4151440903 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=5785/tid=5788] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5788/stat : 5788 (java) S 5772 5771 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 18 0 11 0 885447058 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5789] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5789/stat : 5789 (java) S 5772 5771 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 18 0 11 0 885447058 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5790] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5790/stat : 5790 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 885447060 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5791] ppid=5772 vsize=879572 CPUtime=2.35
/proc/5785/task/5791/stat : 5791 (java) S 5772 5771 4159 34819 4229 4202560 9695 0 0 0 231 4 0 0 16 0 11 0 885447060 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5792] ppid=5772 vsize=879572 CPUtime=1.11
/proc/5785/task/5792/stat : 5792 (java) S 5772 5771 4159 34819 4229 4202560 3243 0 0 0 109 2 0 0 15 0 11 0 885447060 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5793] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5793/stat : 5793 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 885447060 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5794] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5794/stat : 5794 (java) R 5772 5771 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 885447060 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5785/tid=5812] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5812/stat : 5812 (java) S 5772 5771 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 25 0 11 0 885448260 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 884720

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

[startup+12.8024 s]
/proc/loadavg: 1.27 1.10 1.03 3/53 5812
/proc/meminfo: memFree=322116/1048576 swapFree=2077620/2097144
[pid=5771] ppid=5770 vsize=2572 CPUtime=0
/proc/5771/stat : 5771 (p2cudf-trendy-1) S 5770 5771 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 273 1283457024 134512640 135304128 4292919344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5771/statm: 643 273 233 194 0 29 0
[pid=5772] ppid=5771 vsize=2576 CPUtime=0.03
/proc/5772/stat : 5772 (p2cudf) S 5771 5771 4159 34819 4229 4202496 395 2911 0 1 0 0 2 1 25 0 1 0 885447050 2637824 283 1283457024 134512640 135304128 4290291104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5772/statm: 644 283 241 194 0 30 0
[pid=5785] ppid=5772 vsize=879572 CPUtime=12.73
/proc/5785/stat : 5785 (java) S 5772 5771 4159 34819 4229 4202496 87472 0 1 0 1242 31 0 0 25 0 11 0 885447055 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5785/statm: 219893 80582 1793 10 0 216983 0
[pid=5785/tid=5786] ppid=5772 vsize=879572 CPUtime=8.43
/proc/5785/task/5786/stat : 5786 (java) R 5772 5771 4159 34819 4229 4202560 50477 0 1 0 826 17 0 0 25 0 11 0 885447056 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5785/tid=5787] ppid=5772 vsize=879572 CPUtime=0.81
/proc/5785/task/5787/stat : 5787 (java) R 5772 5771 4159 34819 4229 4202560 22927 0 0 0 74 7 0 0 16 0 11 0 885447057 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4149708184 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=5785/tid=5788] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5788/stat : 5788 (java) S 5772 5771 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 18 0 11 0 885447058 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5789] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5789/stat : 5789 (java) S 5772 5771 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 18 0 11 0 885447058 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5790] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5790/stat : 5790 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 885447060 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5791] ppid=5772 vsize=879572 CPUtime=2.35
/proc/5785/task/5791/stat : 5791 (java) S 5772 5771 4159 34819 4229 4202560 9695 0 0 0 231 4 0 0 16 0 11 0 885447060 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5792] ppid=5772 vsize=879572 CPUtime=1.11
/proc/5785/task/5792/stat : 5792 (java) S 5772 5771 4159 34819 4229 4202560 3243 0 0 0 109 2 0 0 15 0 11 0 885447060 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5793] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5793/stat : 5793 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 885447060 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5794] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5794/stat : 5794 (java) S 5772 5771 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 885447060 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5812] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5812/stat : 5812 (java) S 5772 5771 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 25 0 11 0 885448260 900681728 80582 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 884720

[startup+19.2134 s]
/proc/loadavg: 1.30 1.11 1.03 2/53 5816
/proc/meminfo: memFree=321000/1048576 swapFree=2077620/2097144
[pid=5771] ppid=5770 vsize=2572 CPUtime=0
/proc/5771/stat : 5771 (p2cudf-trendy-1) S 5770 5771 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 273 1283457024 134512640 135304128 4292919344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5771/statm: 643 273 233 194 0 29 0
[pid=5772] ppid=5771 vsize=2576 CPUtime=0.03
/proc/5772/stat : 5772 (p2cudf) S 5771 5771 4159 34819 4229 4202496 395 2911 0 1 0 0 2 1 25 0 1 0 885447050 2637824 283 1283457024 134512640 135304128 4290291104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5772/statm: 644 283 241 194 0 30 0
[pid=5785] ppid=5772 vsize=879572 CPUtime=19.14
/proc/5785/stat : 5785 (java) S 5772 5771 4159 34819 4229 4202496 87842 0 1 0 1883 31 0 0 25 0 11 0 885447055 900681728 80952 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5785/statm: 219893 80952 1793 10 0 216983 0
[pid=5785/tid=5786] ppid=5772 vsize=879572 CPUtime=14.38
/proc/5785/task/5786/stat : 5786 (java) R 5772 5771 4159 34819 4229 4202560 50477 0 1 0 1421 17 0 0 25 0 11 0 885447056 900681728 80952 1283457024 134512640 134550932 4287840752 18446744073709551615 4096063815 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5785/tid=5787] ppid=5772 vsize=879572 CPUtime=1.24
/proc/5785/task/5787/stat : 5787 (java) S 5772 5771 4159 34819 4229 4202560 23288 0 0 0 117 7 0 0 15 0 11 0 885447057 900681728 80952 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5788] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5788/stat : 5788 (java) S 5772 5771 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 15 0 11 0 885447058 900681728 80952 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5789] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5789/stat : 5789 (java) S 5772 5771 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 15 0 11 0 885447058 900681728 80952 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5790] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5790/stat : 5790 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 885447060 900681728 80952 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5791] ppid=5772 vsize=879572 CPUtime=2.38
/proc/5785/task/5791/stat : 5791 (java) S 5772 5771 4159 34819 4229 4202560 9704 0 0 0 234 4 0 0 15 0 11 0 885447060 900681728 80952 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5792] ppid=5772 vsize=879572 CPUtime=1.11
/proc/5785/task/5792/stat : 5792 (java) S 5772 5771 4159 34819 4229 4202560 3243 0 0 0 109 2 0 0 15 0 11 0 885447060 900681728 80952 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5793] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5793/stat : 5793 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 885447060 900681728 80952 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5794] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5794/stat : 5794 (java) S 5772 5771 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 885447060 900681728 80952 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5816] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5816/stat : 5816 (java) S 5772 5771 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 24 0 11 0 885448617 900681728 80952 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.17
Current children cumulated vsize (KiB) 884720

[startup+22.4138 s]
/proc/loadavg: 1.30 1.11 1.03 2/53 5816
/proc/meminfo: memFree=320876/1048576 swapFree=2077620/2097144
[pid=5771] ppid=5770 vsize=2572 CPUtime=0
/proc/5771/stat : 5771 (p2cudf-trendy-1) S 5770 5771 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 273 1283457024 134512640 135304128 4292919344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5771/statm: 643 273 233 194 0 29 0
[pid=5772] ppid=5771 vsize=2576 CPUtime=0.03
/proc/5772/stat : 5772 (p2cudf) S 5771 5771 4159 34819 4229 4202496 395 2911 0 1 0 0 2 1 25 0 1 0 885447050 2637824 283 1283457024 134512640 135304128 4290291104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5772/statm: 644 283 241 194 0 30 0
[pid=5785] ppid=5772 vsize=879572 CPUtime=22.34
/proc/5785/stat : 5785 (java) S 5772 5771 4159 34819 4229 4202496 87856 0 1 0 2203 31 0 0 25 0 11 0 885447055 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5785/statm: 219893 80966 1793 10 0 216983 0
[pid=5785/tid=5786] ppid=5772 vsize=879572 CPUtime=17.22
/proc/5785/task/5786/stat : 5786 (java) R 5772 5771 4159 34819 4229 4202560 50477 0 1 0 1705 17 0 0 25 0 11 0 885447056 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4095938287 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5785/tid=5787] ppid=5772 vsize=879572 CPUtime=1.56
/proc/5785/task/5787/stat : 5787 (java) S 5772 5771 4159 34819 4229 4202560 23288 0 0 0 149 7 0 0 15 0 11 0 885447057 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5788] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5788/stat : 5788 (java) S 5772 5771 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 15 0 11 0 885447058 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5789] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5789/stat : 5789 (java) S 5772 5771 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 15 0 11 0 885447058 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5790] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5790/stat : 5790 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 885447060 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5791] ppid=5772 vsize=879572 CPUtime=2.42
/proc/5785/task/5791/stat : 5791 (java) S 5772 5771 4159 34819 4229 4202560 9718 0 0 0 238 4 0 0 16 0 11 0 885447060 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5792] ppid=5772 vsize=879572 CPUtime=1.11
/proc/5785/task/5792/stat : 5792 (java) S 5772 5771 4159 34819 4229 4202560 3243 0 0 0 109 2 0 0 15 0 11 0 885447060 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5793] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5793/stat : 5793 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 885447060 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5794] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5794/stat : 5794 (java) S 5772 5771 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 885447060 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5816] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5816/stat : 5816 (java) S 5772 5771 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 24 0 11 0 885448617 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.37
Current children cumulated vsize (KiB) 884720

[startup+24.0042 s]
/proc/loadavg: 1.28 1.11 1.03 2/53 5816
/proc/meminfo: memFree=320876/1048576 swapFree=2077620/2097144
[pid=5771] ppid=5770 vsize=2572 CPUtime=0
/proc/5771/stat : 5771 (p2cudf-trendy-1) S 5770 5771 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 273 1283457024 134512640 135304128 4292919344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5771/statm: 643 273 233 194 0 29 0
[pid=5772] ppid=5771 vsize=2576 CPUtime=0.03
/proc/5772/stat : 5772 (p2cudf) S 5771 5771 4159 34819 4229 4202496 395 2911 0 1 0 0 2 1 25 0 1 0 885447050 2637824 283 1283457024 134512640 135304128 4290291104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5772/statm: 644 283 241 194 0 30 0
[pid=5785] ppid=5772 vsize=879572 CPUtime=23.93
/proc/5785/stat : 5785 (java) S 5772 5771 4159 34819 4229 4202496 87856 0 1 0 2362 31 0 0 25 0 11 0 885447055 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5785/statm: 219893 80966 1793 10 0 216983 0
[pid=5785/tid=5786] ppid=5772 vsize=879572 CPUtime=18.81
/proc/5785/task/5786/stat : 5786 (java) R 5772 5771 4159 34819 4229 4202560 50477 0 1 0 1864 17 0 0 25 0 11 0 885447056 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4095938287 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5785/tid=5787] ppid=5772 vsize=879572 CPUtime=1.56
/proc/5785/task/5787/stat : 5787 (java) S 5772 5771 4159 34819 4229 4202560 23288 0 0 0 149 7 0 0 15 0 11 0 885447057 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5788] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5788/stat : 5788 (java) S 5772 5771 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 15 0 11 0 885447058 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5789] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5789/stat : 5789 (java) S 5772 5771 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 15 0 11 0 885447058 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5790] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5790/stat : 5790 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 885447060 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5791] ppid=5772 vsize=879572 CPUtime=2.42
/proc/5785/task/5791/stat : 5791 (java) S 5772 5771 4159 34819 4229 4202560 9718 0 0 0 238 4 0 0 16 0 11 0 885447060 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5792] ppid=5772 vsize=879572 CPUtime=1.11
/proc/5785/task/5792/stat : 5792 (java) S 5772 5771 4159 34819 4229 4202560 3243 0 0 0 109 2 0 0 15 0 11 0 885447060 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5793] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5793/stat : 5793 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 885447060 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5794] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5794/stat : 5794 (java) S 5772 5771 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 885447060 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5816] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5816/stat : 5816 (java) S 5772 5771 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 24 0 11 0 885448617 900681728 80966 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.96
Current children cumulated vsize (KiB) 884720

[startup+24.4068 s]
/proc/loadavg: 1.28 1.11 1.03 1/53 5817
/proc/meminfo: memFree=320876/1048576 swapFree=2077620/2097144
[pid=5771] ppid=5770 vsize=2572 CPUtime=0
/proc/5771/stat : 5771 (p2cudf-trendy-1) S 5770 5771 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 273 1283457024 134512640 135304128 4292919344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5771/statm: 643 273 233 194 0 29 0
[pid=5772] ppid=5771 vsize=2576 CPUtime=0.03
/proc/5772/stat : 5772 (p2cudf) S 5771 5771 4159 34819 4229 4202496 395 2911 0 1 0 0 2 1 25 0 1 0 885447050 2637824 283 1283457024 134512640 135304128 4290291104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5772/statm: 644 283 241 194 0 30 0
[pid=5785] ppid=5772 vsize=879572 CPUtime=24
/proc/5785/stat : 5785 (java) S 5772 5771 4159 34819 4229 4202496 87864 0 1 0 2369 31 0 0 25 0 11 0 885447055 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5785/statm: 219893 80974 1793 10 0 216983 0
[pid=5785/tid=5786] ppid=5772 vsize=879572 CPUtime=18.85
/proc/5785/task/5786/stat : 5786 (java) S 5772 5771 4159 34819 4229 4202560 50483 0 1 0 1868 17 0 0 25 0 11 0 885447056 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5787] ppid=5772 vsize=879572 CPUtime=1.56
/proc/5785/task/5787/stat : 5787 (java) S 5772 5771 4159 34819 4229 4202560 23288 0 0 0 149 7 0 0 15 0 11 0 885447057 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5788] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5788/stat : 5788 (java) S 5772 5771 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 15 0 11 0 885447058 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5789] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5789/stat : 5789 (java) S 5772 5771 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 15 0 11 0 885447058 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5790] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5790/stat : 5790 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 885447060 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5791] ppid=5772 vsize=879572 CPUtime=2.45
/proc/5785/task/5791/stat : 5791 (java) S 5772 5771 4159 34819 4229 4202560 9720 0 0 0 241 4 0 0 15 0 11 0 885447060 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5792] ppid=5772 vsize=879572 CPUtime=1.11
/proc/5785/task/5792/stat : 5792 (java) S 5772 5771 4159 34819 4229 4202560 3243 0 0 0 109 2 0 0 15 0 11 0 885447060 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5793] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5793/stat : 5793 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 885447060 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5794] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5794/stat : 5794 (java) S 5772 5771 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 885447060 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5817] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5817/stat : 5817 (java) S 5772 5771 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 25 0 11 0 885449458 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.03
Current children cumulated vsize (KiB) 884720

[startup+24.6068 s]
/proc/loadavg: 1.28 1.11 1.03 1/53 5817
/proc/meminfo: memFree=320876/1048576 swapFree=2077620/2097144
[pid=5771] ppid=5770 vsize=2572 CPUtime=0
/proc/5771/stat : 5771 (p2cudf-trendy-1) S 5770 5771 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 273 1283457024 134512640 135304128 4292919344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5771/statm: 643 273 233 194 0 29 0
[pid=5772] ppid=5771 vsize=2576 CPUtime=0.03
/proc/5772/stat : 5772 (p2cudf) S 5771 5771 4159 34819 4229 4202496 395 2911 0 1 0 0 2 1 25 0 1 0 885447050 2637824 283 1283457024 134512640 135304128 4290291104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5772/statm: 644 283 241 194 0 30 0
[pid=5785] ppid=5772 vsize=879572 CPUtime=24.02
/proc/5785/stat : 5785 (java) S 5772 5771 4159 34819 4229 4202496 87864 0 1 0 2369 33 0 0 25 0 11 0 885447055 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5785/statm: 219893 80974 1793 10 0 216983 0
[pid=5785/tid=5786] ppid=5772 vsize=879572 CPUtime=18.85
/proc/5785/task/5786/stat : 5786 (java) S 5772 5771 4159 34819 4229 4202560 50483 0 1 0 1868 17 0 0 25 0 11 0 885447056 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5787] ppid=5772 vsize=879572 CPUtime=1.56
/proc/5785/task/5787/stat : 5787 (java) S 5772 5771 4159 34819 4229 4202560 23288 0 0 0 149 7 0 0 15 0 11 0 885447057 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 0 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5788] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5788/stat : 5788 (java) S 5772 5771 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 15 0 11 0 885447058 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5789] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5789/stat : 5789 (java) S 5772 5771 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 15 0 11 0 885447058 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5790] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5790/stat : 5790 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 885447060 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5791] ppid=5772 vsize=879572 CPUtime=2.45
/proc/5785/task/5791/stat : 5791 (java) S 5772 5771 4159 34819 4229 4202560 9720 0 0 0 241 4 0 0 15 0 11 0 885447060 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5792] ppid=5772 vsize=879572 CPUtime=1.11
/proc/5785/task/5792/stat : 5792 (java) S 5772 5771 4159 34819 4229 4202560 3243 0 0 0 109 2 0 0 15 0 11 0 885447060 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5793] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5793/stat : 5793 (java) S 5772 5771 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 885447060 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5794] ppid=5772 vsize=879572 CPUtime=0
/proc/5785/task/5794/stat : 5794 (java) S 5772 5771 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 885447060 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=5785/tid=5817] ppid=5772 vsize=879572 CPUtime=0.02
/proc/5785/task/5817/stat : 5817 (java) R 5772 5771 4159 34819 4229 4202560 0 0 0 0 0 2 0 0 20 0 11 0 885449458 900681728 80974 1283457024 134512640 134550932 4287840752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.05
Current children cumulated vsize (KiB) 884720

[startup+24.713 s]
/proc/loadavg: 1.28 1.11 1.03 1/53 5817
/proc/meminfo: memFree=320876/1048576 swapFree=2077620/2097144
[pid=5771] ppid=5770 vsize=2572 CPUtime=0
/proc/5771/stat : 5771 (p2cudf-trendy-1) S 5770 5771 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 885447050 2633728 273 1283457024 134512640 135304128 4292919344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5771/statm: 643 273 233 194 0 29 0
[pid=5772] ppid=5771 vsize=2576 CPUtime=0.03
/proc/5772/stat : 5772 (p2cudf) S 5771 5771 4159 34819 4229 4202496 395 2911 0 1 0 0 2 1 25 0 1 0 885447050 2637824 283 1283457024 134512640 135304128 4290291104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5772/statm: 644 283 241 194 0 30 0
[pid=5785] ppid=5772 vsize=0 CPUtime=24.07
/proc/5785/stat : 5785 (java) Z 5772 5771 4159 34819 4229 4203532 87869 0 1 0 2371 36 0 0 18 0 2 0 885447055 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5785/statm: 0 0 0 0 0 0 0
[pid=5785/tid=5786] ppid=5772 vsize=0 CPUtime=18.86
/proc/5785/task/5786/stat : 5786 (java) R 5772 5771 4159 34819 4229 4203588 50484 0 1 0 1868 18 0 0 19 0 2 0 885447056 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.1
Current children cumulated vsize (KiB) 5148

Child status: 0
Real time (s): 24.7262
CPU time (s): 24.1255
CPU user time (s): 23.7415
CPU system time (s): 0.384024
CPU usage (%): 97.5706
Max. virtual memory (cumulated for all children) (KiB): 886316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.7415
system time used= 0.384024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91570
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= 1751
involuntary context switches= 1866

runsolver used 0 second user time and 0.012 second system time

The end