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/d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.dudf-real.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/dudf-real//d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/d1583bd8-d489-11df-9a24-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.06 1.09 1.08 5/36 32048
/proc/meminfo: memFree=343200/1048576 swapFree=0/0
[pid=32046] ppid=32045 vsize=2568 CPUtime=0
/proc/32046/stat : 32046 (p2cudf-trendy-1) S 32045 32046 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5111697 2629632 270 1283457024 134512640 135304128 4292489104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32046/statm: 642 270 230 194 0 29 0
[pid=32047] ppid=32046 vsize=2564 CPUtime=0
/proc/32047/stat : 32047 (p2cudf) R 32046 32046 1511 34817 1511 4202496 345 0 0 0 0 0 0 0 25 0 1 0 5111697 2625536 271 1283457024 134512640 135304128 4287716080 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/32047/statm: 641 271 231 194 0 28 0
[pid=32048] ppid=32047 vsize=2564 CPUtime=0
/proc/32048/stat : 32048 (p2cudf) R 32047 32046 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 5111697 2625536 40 1283457024 134512640 135304128 4287716080 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/32048/statm: 641 40 0 194 0 28 0

[startup+0.14582 s]
/proc/loadavg: 1.06 1.09 1.08 5/36 32048
/proc/meminfo: memFree=343200/1048576 swapFree=0/0
[pid=32046] ppid=32045 vsize=2568 CPUtime=0
/proc/32046/stat : 32046 (p2cudf-trendy-1) S 32045 32046 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5111697 2629632 270 1283457024 134512640 135304128 4292489104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32046/statm: 642 270 230 194 0 29 0
[pid=32047] ppid=32046 vsize=2568 CPUtime=0.03
/proc/32047/stat : 32047 (p2cudf) S 32046 32046 1511 34817 1511 4202496 391 3018 0 1 0 0 1 2 25 0 1 0 5111697 2629632 280 1283457024 134512640 135304128 4287716080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32047/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.205822 s]
/proc/loadavg: 1.06 1.09 1.08 5/36 32048
/proc/meminfo: memFree=343200/1048576 swapFree=0/0
[pid=32046] ppid=32045 vsize=2568 CPUtime=0
/proc/32046/stat : 32046 (p2cudf-trendy-1) S 32045 32046 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5111697 2629632 270 1283457024 134512640 135304128 4292489104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32046/statm: 642 270 230 194 0 29 0
[pid=32047] ppid=32046 vsize=2568 CPUtime=0.03
/proc/32047/stat : 32047 (p2cudf) S 32046 32046 1511 34817 1511 4202496 391 3018 0 1 0 0 1 2 25 0 1 0 5111697 2629632 280 1283457024 134512640 135304128 4287716080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32047/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.305855 s]
/proc/loadavg: 1.06 1.09 1.08 5/36 32048
/proc/meminfo: memFree=343200/1048576 swapFree=0/0
[pid=32046] ppid=32045 vsize=2568 CPUtime=0
/proc/32046/stat : 32046 (p2cudf-trendy-1) S 32045 32046 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5111697 2629632 270 1283457024 134512640 135304128 4292489104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32046/statm: 642 270 230 194 0 29 0
[pid=32047] ppid=32046 vsize=2568 CPUtime=0.03
/proc/32047/stat : 32047 (p2cudf) S 32046 32046 1511 34817 1511 4202496 391 3018 0 1 0 0 1 2 25 0 1 0 5111697 2629632 280 1283457024 134512640 135304128 4287716080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32047/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.705964 s]
/proc/loadavg: 1.06 1.09 1.08 5/36 32048
/proc/meminfo: memFree=343200/1048576 swapFree=0/0
[pid=32046] ppid=32045 vsize=2568 CPUtime=0
/proc/32046/stat : 32046 (p2cudf-trendy-1) S 32045 32046 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5111697 2629632 270 1283457024 134512640 135304128 4292489104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32046/statm: 642 270 230 194 0 29 0
[pid=32047] ppid=32046 vsize=2568 CPUtime=0.03
/proc/32047/stat : 32047 (p2cudf) S 32046 32046 1511 34817 1511 4202496 391 3018 0 1 0 0 1 2 25 0 1 0 5111697 2629632 280 1283457024 134512640 135304128 4287716080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32047/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+1.50614 s]
/proc/loadavg: 1.06 1.09 1.08 4/46 32069
/proc/meminfo: memFree=293696/1048576 swapFree=0/0
[pid=32046] ppid=32045 vsize=2568 CPUtime=0
/proc/32046/stat : 32046 (p2cudf-trendy-1) S 32045 32046 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5111697 2629632 270 1283457024 134512640 135304128 4292489104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32046/statm: 642 270 230 194 0 29 0
[pid=32047] ppid=32046 vsize=2568 CPUtime=0.03
/proc/32047/stat : 32047 (p2cudf) S 32046 32046 1511 34817 1511 4202496 391 3018 0 1 0 0 1 2 25 0 1 0 5111697 2629632 280 1283457024 134512640 135304128 4287716080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32047/statm: 642 280 239 194 0 29 0
[pid=32060] ppid=32047 vsize=886088 CPUtime=1.47
/proc/32060/stat : 32060 (java) S 32047 32046 1511 34817 1511 4202496 24243 0 1 0 138 9 0 0 25 0 10 0 5111700 907354112 21063 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32060/statm: 221522 21063 1723 10 0 218613 0
[pid=32060/tid=32061] ppid=32047 vsize=886088 CPUtime=0.79
/proc/32060/task/32061/stat : 32061 (java) R 32047 32046 1511 34817 1511 4202560 12925 0 1 0 76 3 0 0 25 0 10 0 5111701 907354112 21063 1283457024 134512640 134550932 4293371632 18446744073709551615 4095314230 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32060/tid=32062] ppid=32047 vsize=886088 CPUtime=0
/proc/32060/task/32062/stat : 32062 (java) S 32047 32046 1511 34817 1511 4202560 7 0 0 0 0 0 0 0 16 0 10 0 5111703 907354112 21063 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32063] ppid=32047 vsize=886088 CPUtime=0
/proc/32060/task/32063/stat : 32063 (java) S 32047 32046 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 5111703 907354112 21063 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32064] ppid=32047 vsize=886088 CPUtime=0
/proc/32060/task/32064/stat : 32064 (java) S 32047 32046 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 5111703 907354112 21063 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32065] ppid=32047 vsize=886088 CPUtime=0
/proc/32060/task/32065/stat : 32065 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5111706 907354112 21063 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32066] ppid=32047 vsize=886088 CPUtime=0.43
/proc/32060/task/32066/stat : 32066 (java) R 32047 32046 1511 34817 1511 4202560 8391 0 0 0 38 5 0 0 25 0 10 0 5111706 907354112 21063 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32060/tid=32067] ppid=32047 vsize=886088 CPUtime=0.23
/proc/32060/task/32067/stat : 32067 (java) R 32047 32046 1511 34817 1511 4202560 1847 0 0 0 23 0 0 0 19 0 10 0 5111706 907354112 21063 1283457024 134512640 134550932 4293371632 18446744073709551615 4149955030 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32060/tid=32068] ppid=32047 vsize=886088 CPUtime=0
/proc/32060/task/32068/stat : 32068 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5111706 907354112 21063 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32069] ppid=32047 vsize=886088 CPUtime=0
/proc/32060/task/32069/stat : 32069 (java) S 32047 32046 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 5111706 907354112 21063 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 891224

[startup+3.11318 s]
/proc/loadavg: 1.13 1.10 1.09 2/46 32069
/proc/meminfo: memFree=166472/1048576 swapFree=0/0
[pid=32046] ppid=32045 vsize=2568 CPUtime=0
/proc/32046/stat : 32046 (p2cudf-trendy-1) S 32045 32046 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5111697 2629632 270 1283457024 134512640 135304128 4292489104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32046/statm: 642 270 230 194 0 29 0
[pid=32047] ppid=32046 vsize=2568 CPUtime=0.03
/proc/32047/stat : 32047 (p2cudf) S 32046 32046 1511 34817 1511 4202496 391 3018 0 1 0 0 1 2 25 0 1 0 5111697 2629632 280 1283457024 134512640 135304128 4287716080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32047/statm: 642 280 239 194 0 29 0
[pid=32060] ppid=32047 vsize=883140 CPUtime=3.07
/proc/32060/stat : 32060 (java) S 32047 32046 1511 34817 1511 4202496 74667 0 1 0 275 32 0 0 25 0 10 0 5111700 904335360 71226 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32060/statm: 220785 71226 1743 10 0 217876 0
[pid=32060/tid=32061] ppid=32047 vsize=883140 CPUtime=1.62
/proc/32060/task/32061/stat : 32061 (java) R 32047 32046 1511 34817 1511 4202560 50090 0 1 0 142 20 0 0 25 0 10 0 5111701 904335360 71226 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32060/tid=32062] ppid=32047 vsize=883140 CPUtime=0.29
/proc/32060/task/32062/stat : 32062 (java) S 32047 32046 1511 34817 1511 4202560 13012 0 0 0 25 4 0 0 16 0 10 0 5111703 904335360 71226 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32063] ppid=32047 vsize=883140 CPUtime=0.01
/proc/32060/task/32063/stat : 32063 (java) S 32047 32046 1511 34817 1511 4202560 8 0 0 0 1 0 0 0 18 0 10 0 5111703 904335360 71226 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32064] ppid=32047 vsize=883140 CPUtime=0
/proc/32060/task/32064/stat : 32064 (java) S 32047 32046 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 5111703 904335360 71226 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32065] ppid=32047 vsize=883140 CPUtime=0
/proc/32060/task/32065/stat : 32065 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5111706 904335360 71226 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32066] ppid=32047 vsize=883140 CPUtime=0.49
/proc/32060/task/32066/stat : 32066 (java) S 32047 32046 1511 34817 1511 4202560 8459 0 0 0 43 6 0 0 25 0 10 0 5111706 904335360 71226 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32067] ppid=32047 vsize=883140 CPUtime=0.62
/proc/32060/task/32067/stat : 32067 (java) S 32047 32046 1511 34817 1511 4202560 2031 0 0 0 62 0 0 0 15 0 10 0 5111706 904335360 71226 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32068] ppid=32047 vsize=883140 CPUtime=0
/proc/32060/task/32068/stat : 32068 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5111706 904335360 71226 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32069] ppid=32047 vsize=883140 CPUtime=0
/proc/32060/task/32069/stat : 32069 (java) S 32047 32046 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 5111706 904335360 71226 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 888276

[startup+6.30734 s]
/proc/loadavg: 1.13 1.10 1.09 2/47 32070
/proc/meminfo: memFree=62940/1048576 swapFree=0/0
[pid=32046] ppid=32045 vsize=2568 CPUtime=0
/proc/32046/stat : 32046 (p2cudf-trendy-1) S 32045 32046 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5111697 2629632 270 1283457024 134512640 135304128 4292489104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32046/statm: 642 270 230 194 0 29 0
[pid=32047] ppid=32046 vsize=2568 CPUtime=0.03
/proc/32047/stat : 32047 (p2cudf) S 32046 32046 1511 34817 1511 4202496 391 3018 0 1 0 0 1 2 25 0 1 0 5111697 2629632 280 1283457024 134512640 135304128 4287716080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32047/statm: 642 280 239 194 0 29 0
[pid=32060] ppid=32047 vsize=883464 CPUtime=6.27
/proc/32060/stat : 32060 (java) S 32047 32046 1511 34817 1511 4202496 76841 0 1 0 592 35 0 0 25 0 11 0 5111700 904667136 71607 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32060/statm: 220866 71607 1780 10 0 217957 0
[pid=32060/tid=32061] ppid=32047 vsize=883464 CPUtime=3.26
/proc/32060/task/32061/stat : 32061 (java) R 32047 32046 1511 34817 1511 4202560 50276 0 1 0 306 20 0 0 25 0 11 0 5111701 904667136 71607 1283457024 134512640 134550932 4293371632 18446744073709551615 4096293105 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32060/tid=32062] ppid=32047 vsize=883464 CPUtime=0.29
/proc/32060/task/32062/stat : 32062 (java) S 32047 32046 1511 34817 1511 4202560 13012 0 0 0 25 4 0 0 16 0 11 0 5111703 904667136 71607 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32063] ppid=32047 vsize=883464 CPUtime=0.01
/proc/32060/task/32063/stat : 32063 (java) S 32047 32046 1511 34817 1511 4202560 8 0 0 0 1 0 0 0 18 0 11 0 5111703 904667136 71607 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32064] ppid=32047 vsize=883464 CPUtime=0
/proc/32060/task/32064/stat : 32064 (java) S 32047 32046 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5111703 904667136 71607 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32065] ppid=32047 vsize=883464 CPUtime=0
/proc/32060/task/32065/stat : 32065 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5111706 904667136 71607 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32066] ppid=32047 vsize=883464 CPUtime=0.49
/proc/32060/task/32066/stat : 32066 (java) S 32047 32046 1511 34817 1511 4202560 8459 0 0 0 43 6 0 0 25 0 11 0 5111706 904667136 71607 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32067] ppid=32047 vsize=883464 CPUtime=2.19
/proc/32060/task/32067/stat : 32067 (java) S 32047 32046 1511 34817 1511 4202560 4015 0 0 0 216 3 0 0 15 0 11 0 5111706 904667136 71607 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32068] ppid=32047 vsize=883464 CPUtime=0
/proc/32060/task/32068/stat : 32068 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5111706 904667136 71607 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32069] ppid=32047 vsize=883464 CPUtime=0
/proc/32060/task/32069/stat : 32069 (java) S 32047 32046 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 5111706 904667136 71607 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32070] ppid=32047 vsize=883464 CPUtime=0
/proc/32060/task/32070/stat : 32070 (java) S 32047 32046 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 5112199 904667136 71607 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 888600

[startup+12.709 s]
/proc/loadavg: 1.19 1.11 1.09 2/47 32070
/proc/meminfo: memFree=19664/1048576 swapFree=0/0
[pid=32046] ppid=32045 vsize=2568 CPUtime=0
/proc/32046/stat : 32046 (p2cudf-trendy-1) S 32045 32046 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5111697 2629632 270 1283457024 134512640 135304128 4292489104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32046/statm: 642 270 230 194 0 29 0
[pid=32047] ppid=32046 vsize=2568 CPUtime=0.03
/proc/32047/stat : 32047 (p2cudf) S 32046 32046 1511 34817 1511 4202496 391 3018 0 1 0 0 1 2 25 0 1 0 5111697 2629632 280 1283457024 134512640 135304128 4287716080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32047/statm: 642 280 239 194 0 29 0
[pid=32060] ppid=32047 vsize=879764 CPUtime=12.67
/proc/32060/stat : 32060 (java) S 32047 32046 1511 34817 1511 4202496 88530 0 1 0 1230 37 0 0 25 0 11 0 5111700 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32060/statm: 219941 82380 1784 10 0 217032 0
[pid=32060/tid=32061] ppid=32047 vsize=879764 CPUtime=9.04
/proc/32060/task/32061/stat : 32061 (java) R 32047 32046 1511 34817 1511 4202560 50284 0 1 0 884 20 0 0 25 0 11 0 5111701 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4096262016 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32060/tid=32062] ppid=32047 vsize=879764 CPUtime=0.59
/proc/32060/task/32062/stat : 32062 (java) S 32047 32046 1511 34817 1511 4202560 24640 0 0 0 52 7 0 0 15 0 11 0 5111703 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32063] ppid=32047 vsize=879764 CPUtime=0.01
/proc/32060/task/32063/stat : 32063 (java) S 32047 32046 1511 34817 1511 4202560 8 0 0 0 1 0 0 0 18 0 11 0 5111703 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32064] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32064/stat : 32064 (java) S 32047 32046 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5111703 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32065] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32065/stat : 32065 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5111706 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32066] ppid=32047 vsize=879764 CPUtime=0.49
/proc/32060/task/32066/stat : 32066 (java) S 32047 32046 1511 34817 1511 4202560 8459 0 0 0 43 6 0 0 25 0 11 0 5111706 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32067] ppid=32047 vsize=879764 CPUtime=2.52
/proc/32060/task/32067/stat : 32067 (java) S 32047 32046 1511 34817 1511 4202560 4068 0 0 0 249 3 0 0 15 0 11 0 5111706 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32068] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32068/stat : 32068 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5111706 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32069] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32069/stat : 32069 (java) S 32047 32046 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 5111706 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32070] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32070/stat : 32070 (java) S 32047 32046 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 5112199 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 884900

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

[startup+12.809 s]
/proc/loadavg: 1.19 1.11 1.09 2/47 32070
/proc/meminfo: memFree=19664/1048576 swapFree=0/0
[pid=32046] ppid=32045 vsize=2568 CPUtime=0
/proc/32046/stat : 32046 (p2cudf-trendy-1) S 32045 32046 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5111697 2629632 270 1283457024 134512640 135304128 4292489104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32046/statm: 642 270 230 194 0 29 0
[pid=32047] ppid=32046 vsize=2568 CPUtime=0.03
/proc/32047/stat : 32047 (p2cudf) S 32046 32046 1511 34817 1511 4202496 391 3018 0 1 0 0 1 2 25 0 1 0 5111697 2629632 280 1283457024 134512640 135304128 4287716080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32047/statm: 642 280 239 194 0 29 0
[pid=32060] ppid=32047 vsize=879764 CPUtime=12.77
/proc/32060/stat : 32060 (java) S 32047 32046 1511 34817 1511 4202496 88530 0 1 0 1240 37 0 0 25 0 11 0 5111700 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32060/statm: 219941 82380 1784 10 0 217032 0
[pid=32060/tid=32061] ppid=32047 vsize=879764 CPUtime=9.14
/proc/32060/task/32061/stat : 32061 (java) R 32047 32046 1511 34817 1511 4202560 50284 0 1 0 894 20 0 0 25 0 11 0 5111701 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4096306743 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32060/tid=32062] ppid=32047 vsize=879764 CPUtime=0.59
/proc/32060/task/32062/stat : 32062 (java) S 32047 32046 1511 34817 1511 4202560 24640 0 0 0 52 7 0 0 15 0 11 0 5111703 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32063] ppid=32047 vsize=879764 CPUtime=0.01
/proc/32060/task/32063/stat : 32063 (java) S 32047 32046 1511 34817 1511 4202560 8 0 0 0 1 0 0 0 18 0 11 0 5111703 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32064] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32064/stat : 32064 (java) S 32047 32046 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5111703 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32065] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32065/stat : 32065 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5111706 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32066] ppid=32047 vsize=879764 CPUtime=0.49
/proc/32060/task/32066/stat : 32066 (java) S 32047 32046 1511 34817 1511 4202560 8459 0 0 0 43 6 0 0 25 0 11 0 5111706 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32067] ppid=32047 vsize=879764 CPUtime=2.52
/proc/32060/task/32067/stat : 32067 (java) S 32047 32046 1511 34817 1511 4202560 4068 0 0 0 249 3 0 0 15 0 11 0 5111706 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32068] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32068/stat : 32068 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5111706 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32069] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32069/stat : 32069 (java) R 32047 32046 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 5111706 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32060/tid=32070] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32070/stat : 32070 (java) S 32047 32046 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 5112199 900878336 82380 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.8
Current children cumulated vsize (KiB) 884900

[startup+16.0096 s]
/proc/loadavg: 1.19 1.11 1.09 2/47 32070
/proc/meminfo: memFree=19664/1048576 swapFree=0/0
[pid=32046] ppid=32045 vsize=2568 CPUtime=0
/proc/32046/stat : 32046 (p2cudf-trendy-1) S 32045 32046 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5111697 2629632 270 1283457024 134512640 135304128 4292489104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32046/statm: 642 270 230 194 0 29 0
[pid=32047] ppid=32046 vsize=2568 CPUtime=0.03
/proc/32047/stat : 32047 (p2cudf) S 32046 32046 1511 34817 1511 4202496 391 3018 0 1 0 0 1 2 25 0 1 0 5111697 2629632 280 1283457024 134512640 135304128 4287716080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32047/statm: 642 280 239 194 0 29 0
[pid=32060] ppid=32047 vsize=879764 CPUtime=15.97
/proc/32060/stat : 32060 (java) S 32047 32046 1511 34817 1511 4202496 88534 0 1 0 1560 37 0 0 25 0 11 0 5111700 900878336 82384 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32060/statm: 219941 82384 1784 10 0 217032 0
[pid=32060/tid=32061] ppid=32047 vsize=879764 CPUtime=12.28
/proc/32060/task/32061/stat : 32061 (java) R 32047 32046 1511 34817 1511 4202560 50285 0 1 0 1208 20 0 0 25 0 11 0 5111701 900878336 82384 1283457024 134512640 134550932 4293371632 18446744073709551615 4096302319 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32060/tid=32062] ppid=32047 vsize=879764 CPUtime=0.59
/proc/32060/task/32062/stat : 32062 (java) S 32047 32046 1511 34817 1511 4202560 24640 0 0 0 52 7 0 0 16 0 11 0 5111703 900878336 82384 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32063] ppid=32047 vsize=879764 CPUtime=0.01
/proc/32060/task/32063/stat : 32063 (java) S 32047 32046 1511 34817 1511 4202560 8 0 0 0 1 0 0 0 18 0 11 0 5111703 900878336 82384 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32064] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32064/stat : 32064 (java) S 32047 32046 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5111703 900878336 82384 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32065] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32065/stat : 32065 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5111706 900878336 82384 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32066] ppid=32047 vsize=879764 CPUtime=0.49
/proc/32060/task/32066/stat : 32066 (java) S 32047 32046 1511 34817 1511 4202560 8459 0 0 0 43 6 0 0 25 0 11 0 5111706 900878336 82384 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32067] ppid=32047 vsize=879764 CPUtime=2.58
/proc/32060/task/32067/stat : 32067 (java) S 32047 32046 1511 34817 1511 4202560 4071 0 0 0 255 3 0 0 15 0 11 0 5111706 900878336 82384 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32068] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32068/stat : 32068 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5111706 900878336 82384 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32069] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32069/stat : 32069 (java) S 32047 32046 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 5111706 900878336 82384 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32070] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32070/stat : 32070 (java) S 32047 32046 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 5112199 900878336 82384 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16
Current children cumulated vsize (KiB) 884900

[startup+16.8098 s]
/proc/loadavg: 1.17 1.11 1.09 2/47 32070
/proc/meminfo: memFree=19664/1048576 swapFree=0/0
[pid=32046] ppid=32045 vsize=2568 CPUtime=0
/proc/32046/stat : 32046 (p2cudf-trendy-1) S 32045 32046 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5111697 2629632 270 1283457024 134512640 135304128 4292489104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32046/statm: 642 270 230 194 0 29 0
[pid=32047] ppid=32046 vsize=2568 CPUtime=0.03
/proc/32047/stat : 32047 (p2cudf) S 32046 32046 1511 34817 1511 4202496 391 3018 0 1 0 0 1 2 25 0 1 0 5111697 2629632 280 1283457024 134512640 135304128 4287716080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32047/statm: 642 280 239 194 0 29 0
[pid=32060] ppid=32047 vsize=879764 CPUtime=16.77
/proc/32060/stat : 32060 (java) S 32047 32046 1511 34817 1511 4202496 88536 0 1 0 1640 37 0 0 25 0 11 0 5111700 900878336 82386 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32060/statm: 219941 82386 1784 10 0 217032 0
[pid=32060/tid=32061] ppid=32047 vsize=879764 CPUtime=13.06
/proc/32060/task/32061/stat : 32061 (java) R 32047 32046 1511 34817 1511 4202560 50285 0 1 0 1286 20 0 0 25 0 11 0 5111701 900878336 82386 1283457024 134512640 134550932 4293371632 18446744073709551615 4096280220 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32060/tid=32062] ppid=32047 vsize=879764 CPUtime=0.59
/proc/32060/task/32062/stat : 32062 (java) S 32047 32046 1511 34817 1511 4202560 24640 0 0 0 52 7 0 0 15 0 11 0 5111703 900878336 82386 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32063] ppid=32047 vsize=879764 CPUtime=0.01
/proc/32060/task/32063/stat : 32063 (java) S 32047 32046 1511 34817 1511 4202560 8 0 0 0 1 0 0 0 18 0 11 0 5111703 900878336 82386 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32064] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32064/stat : 32064 (java) S 32047 32046 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5111703 900878336 82386 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32065] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32065/stat : 32065 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5111706 900878336 82386 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32066] ppid=32047 vsize=879764 CPUtime=0.49
/proc/32060/task/32066/stat : 32066 (java) S 32047 32046 1511 34817 1511 4202560 8459 0 0 0 43 6 0 0 25 0 11 0 5111706 900878336 82386 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32067] ppid=32047 vsize=879764 CPUtime=2.6
/proc/32060/task/32067/stat : 32067 (java) S 32047 32046 1511 34817 1511 4202560 4073 0 0 0 257 3 0 0 15 0 11 0 5111706 900878336 82386 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32068] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32068/stat : 32068 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5111706 900878336 82386 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32069] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32069/stat : 32069 (java) S 32047 32046 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 5111706 900878336 82386 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32070] ppid=32047 vsize=879764 CPUtime=0
/proc/32060/task/32070/stat : 32070 (java) S 32047 32046 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 5112199 900878336 82386 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.8
Current children cumulated vsize (KiB) 884900

[startup+17.6069 s]
/proc/loadavg: 1.17 1.11 1.09 1/47 32071
/proc/meminfo: memFree=19540/1048576 swapFree=0/0
[pid=32046] ppid=32045 vsize=2568 CPUtime=0
/proc/32046/stat : 32046 (p2cudf-trendy-1) S 32045 32046 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5111697 2629632 270 1283457024 134512640 135304128 4292489104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32046/statm: 642 270 230 194 0 29 0
[pid=32047] ppid=32046 vsize=2568 CPUtime=0.03
/proc/32047/stat : 32047 (p2cudf) S 32046 32046 1511 34817 1511 4202496 391 3018 0 1 0 0 1 2 25 0 1 0 5111697 2629632 280 1283457024 134512640 135304128 4287716080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32047/statm: 642 280 239 194 0 29 0
[pid=32060] ppid=32047 vsize=880088 CPUtime=17.23
/proc/32060/stat : 32060 (java) S 32047 32046 1511 34817 1511 4202496 88552 0 1 0 1686 37 0 0 25 0 11 0 5111700 901210112 82402 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32060/statm: 220022 82402 1785 10 0 217113 0
[pid=32060/tid=32061] ppid=32047 vsize=880088 CPUtime=13.48
/proc/32060/task/32061/stat : 32061 (java) S 32047 32046 1511 34817 1511 4202560 50293 0 1 0 1328 20 0 0 25 0 11 0 5111701 901210112 82402 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32062] ppid=32047 vsize=880088 CPUtime=0.59
/proc/32060/task/32062/stat : 32062 (java) S 32047 32046 1511 34817 1511 4202560 24640 0 0 0 52 7 0 0 15 0 11 0 5111703 901210112 82402 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32063] ppid=32047 vsize=880088 CPUtime=0.01
/proc/32060/task/32063/stat : 32063 (java) S 32047 32046 1511 34817 1511 4202560 8 0 0 0 1 0 0 0 18 0 11 0 5111703 901210112 82402 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32064] ppid=32047 vsize=880088 CPUtime=0
/proc/32060/task/32064/stat : 32064 (java) S 32047 32046 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5111703 901210112 82402 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32065] ppid=32047 vsize=880088 CPUtime=0
/proc/32060/task/32065/stat : 32065 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5111706 901210112 82402 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32066] ppid=32047 vsize=880088 CPUtime=0.49
/proc/32060/task/32066/stat : 32066 (java) S 32047 32046 1511 34817 1511 4202560 8459 0 0 0 43 6 0 0 25 0 11 0 5111706 901210112 82402 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32067] ppid=32047 vsize=880088 CPUtime=2.64
/proc/32060/task/32067/stat : 32067 (java) S 32047 32046 1511 34817 1511 4202560 4076 0 0 0 261 3 0 0 15 0 11 0 5111706 901210112 82402 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32068] ppid=32047 vsize=880088 CPUtime=0
/proc/32060/task/32068/stat : 32068 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5111706 901210112 82402 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32069] ppid=32047 vsize=880088 CPUtime=0
/proc/32060/task/32069/stat : 32069 (java) S 32047 32046 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 5111706 901210112 82402 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32071] ppid=32047 vsize=880088 CPUtime=0
/proc/32060/task/32071/stat : 32071 (java) S 32047 32046 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 5113424 901210112 82402 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.26
Current children cumulated vsize (KiB) 885224

[startup+17.8129 s]
/proc/loadavg: 1.17 1.11 1.09 1/47 32071
/proc/meminfo: memFree=19540/1048576 swapFree=0/0
[pid=32046] ppid=32045 vsize=2568 CPUtime=0
/proc/32046/stat : 32046 (p2cudf-trendy-1) S 32045 32046 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5111697 2629632 270 1283457024 134512640 135304128 4292489104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32046/statm: 642 270 230 194 0 29 0
[pid=32047] ppid=32046 vsize=2568 CPUtime=0.03
/proc/32047/stat : 32047 (p2cudf) S 32046 32046 1511 34817 1511 4202496 391 3018 0 1 0 0 1 2 25 0 1 0 5111697 2629632 280 1283457024 134512640 135304128 4287716080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32047/statm: 642 280 239 194 0 29 0
[pid=32060] ppid=32047 vsize=880088 CPUtime=17.25
/proc/32060/stat : 32060 (java) S 32047 32046 1511 34817 1511 4202496 88553 0 1 0 1688 37 0 0 25 0 11 0 5111700 901210112 82403 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32060/statm: 220022 82403 1785 10 0 217113 0
[pid=32060/tid=32061] ppid=32047 vsize=880088 CPUtime=13.48
/proc/32060/task/32061/stat : 32061 (java) S 32047 32046 1511 34817 1511 4202560 50293 0 1 0 1328 20 0 0 25 0 11 0 5111701 901210112 82403 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32062] ppid=32047 vsize=880088 CPUtime=0.59
/proc/32060/task/32062/stat : 32062 (java) S 32047 32046 1511 34817 1511 4202560 24640 0 0 0 52 7 0 0 16 0 11 0 5111703 901210112 82403 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32063] ppid=32047 vsize=880088 CPUtime=0.01
/proc/32060/task/32063/stat : 32063 (java) S 32047 32046 1511 34817 1511 4202560 8 0 0 0 1 0 0 0 18 0 11 0 5111703 901210112 82403 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32064] ppid=32047 vsize=880088 CPUtime=0
/proc/32060/task/32064/stat : 32064 (java) S 32047 32046 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5111703 901210112 82403 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32065] ppid=32047 vsize=880088 CPUtime=0
/proc/32060/task/32065/stat : 32065 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5111706 901210112 82403 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32066] ppid=32047 vsize=880088 CPUtime=0.49
/proc/32060/task/32066/stat : 32066 (java) S 32047 32046 1511 34817 1511 4202560 8459 0 0 0 43 6 0 0 25 0 11 0 5111706 901210112 82403 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32067] ppid=32047 vsize=880088 CPUtime=2.64
/proc/32060/task/32067/stat : 32067 (java) S 32047 32046 1511 34817 1511 4202560 4076 0 0 0 261 3 0 0 15 0 11 0 5111706 901210112 82403 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32068] ppid=32047 vsize=880088 CPUtime=0
/proc/32060/task/32068/stat : 32068 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5111706 901210112 82403 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32069] ppid=32047 vsize=880088 CPUtime=0
/proc/32060/task/32069/stat : 32069 (java) R 32047 32046 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 5111706 901210112 82403 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32060/tid=32071] ppid=32047 vsize=880088 CPUtime=0.02
/proc/32060/task/32071/stat : 32071 (java) R 32047 32046 1511 34817 1511 4202560 5 0 0 0 2 0 0 0 20 0 11 0 5113424 901210112 82403 1283457024 134512640 134550932 4293371632 18446744073709551615 4095316906 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.28
Current children cumulated vsize (KiB) 885224

[startup+17.9029 s]
/proc/loadavg: 1.17 1.11 1.09 1/47 32071
/proc/meminfo: memFree=19540/1048576 swapFree=0/0
[pid=32046] ppid=32045 vsize=2568 CPUtime=0
/proc/32046/stat : 32046 (p2cudf-trendy-1) S 32045 32046 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5111697 2629632 270 1283457024 134512640 135304128 4292489104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32046/statm: 642 270 230 194 0 29 0
[pid=32047] ppid=32046 vsize=2568 CPUtime=0.03
/proc/32047/stat : 32047 (p2cudf) S 32046 32046 1511 34817 1511 4202496 391 3018 0 1 0 0 1 2 25 0 1 0 5111697 2629632 280 1283457024 134512640 135304128 4287716080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32047/statm: 642 280 239 194 0 29 0
[pid=32060] ppid=32047 vsize=880088 CPUtime=17.35
/proc/32060/stat : 32060 (java) S 32047 32046 1511 34817 1511 4202496 88554 0 1 0 1695 40 0 0 25 0 11 0 5111700 901210112 82404 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32060/statm: 220022 82404 1785 10 0 217113 0
[pid=32060/tid=32061] ppid=32047 vsize=880088 CPUtime=13.48
/proc/32060/task/32061/stat : 32061 (java) S 32047 32046 1511 34817 1511 4202560 50293 0 1 0 1328 20 0 0 25 0 11 0 5111701 901210112 82404 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32062] ppid=32047 vsize=880088 CPUtime=0.59
/proc/32060/task/32062/stat : 32062 (java) S 32047 32046 1511 34817 1511 4202560 24640 0 0 0 52 7 0 0 16 0 11 0 5111703 901210112 82404 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32063] ppid=32047 vsize=880088 CPUtime=0.01
/proc/32060/task/32063/stat : 32063 (java) S 32047 32046 1511 34817 1511 4202560 8 0 0 0 1 0 0 0 18 0 11 0 5111703 901210112 82404 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32064] ppid=32047 vsize=880088 CPUtime=0
/proc/32060/task/32064/stat : 32064 (java) S 32047 32046 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5111703 901210112 82404 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32065] ppid=32047 vsize=880088 CPUtime=0
/proc/32060/task/32065/stat : 32065 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5111706 901210112 82404 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32066] ppid=32047 vsize=880088 CPUtime=0.49
/proc/32060/task/32066/stat : 32066 (java) S 32047 32046 1511 34817 1511 4202560 8459 0 0 0 43 6 0 0 25 0 11 0 5111706 901210112 82404 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32067] ppid=32047 vsize=880088 CPUtime=2.69
/proc/32060/task/32067/stat : 32067 (java) R 32047 32046 1511 34817 1511 4202560 4076 0 0 0 266 3 0 0 16 0 11 0 5111706 901210112 82404 1283457024 134512640 134550932 4293371632 18446744073709551615 4151766836 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32060/tid=32068] ppid=32047 vsize=880088 CPUtime=0
/proc/32060/task/32068/stat : 32068 (java) S 32047 32046 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5111706 901210112 82404 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32069] ppid=32047 vsize=880088 CPUtime=0
/proc/32060/task/32069/stat : 32069 (java) S 32047 32046 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 5111706 901210112 82404 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32060/tid=32071] ppid=32047 vsize=880088 CPUtime=0.06
/proc/32060/task/32071/stat : 32071 (java) R 32047 32046 1511 34817 1511 4202560 6 0 0 0 4 2 0 0 20 0 11 0 5113424 901210112 82404 1283457024 134512640 134550932 4293371632 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.38
Current children cumulated vsize (KiB) 885224

Child status: 0
Real time (s): 18.0112
CPU time (s): 17.4851
CPU user time (s): 17.0291
CPU system time (s): 0.456028
CPU usage (%): 97.0788
Max. virtual memory (cumulated for all children) (KiB): 891224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.0291
system time used= 0.456028
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92359
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= 1254
involuntary context switches= 1337

runsolver used 0 second user time and 0 second system time

The end