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/4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.dudf-real.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/dudf-real//4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/4e539b28-d46c-11df-8f4f-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.14 1.22 1.12 5/36 22478
/proc/meminfo: memFree=307300/1048576 swapFree=0/0
[pid=22475] ppid=22474 vsize=2568 CPUtime=0
/proc/22475/stat : 22475 (p2cudf-trendy-1) S 22474 22475 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 4649568 2629632 271 1283457024 134512640 135304128 4288791568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22475/statm: 642 271 230 194 0 29 0
[pid=22476] ppid=22475 vsize=2568 CPUtime=0
/proc/22476/stat : 22476 (p2cudf) S 22475 22475 1511 34817 1511 4202496 352 0 0 0 0 0 0 0 18 0 1 0 4649568 2629632 270 1283457024 134512640 135304128 4290813424 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/22476/statm: 642 270 231 194 0 29 0
[pid=22477] ppid=22476 vsize=2568 CPUtime=0
/proc/22477/stat : 22477 (p2cudf) R 22476 22475 1511 34817 1511 4202560 94 0 0 0 0 0 0 0 25 0 1 0 4649569 2629632 118 1283457024 134512640 135304128 4290813424 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/22477/statm: 642 118 77 194 0 29 0
[pid=22478] ppid=22477 vsize=2568 CPUtime=0
/proc/22478/stat : 22478 (p2cudf) R 22477 22475 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 4649569 2629632 41 1283457024 134512640 135304128 4290813424 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/22478/statm: 642 41 0 194 0 29 0

[startup+0.165773 s]
/proc/loadavg: 1.14 1.22 1.12 5/36 22478
/proc/meminfo: memFree=307300/1048576 swapFree=0/0
[pid=22475] ppid=22474 vsize=2568 CPUtime=0
/proc/22475/stat : 22475 (p2cudf-trendy-1) S 22474 22475 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 4649568 2629632 271 1283457024 134512640 135304128 4288791568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22475/statm: 642 271 230 194 0 29 0
[pid=22476] ppid=22475 vsize=2572 CPUtime=0.03
/proc/22476/stat : 22476 (p2cudf) S 22475 22475 1511 34817 1511 4202496 390 3014 0 1 0 1 2 0 25 0 1 0 4649568 2633728 279 1283457024 134512640 135304128 4290813424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22476/statm: 643 279 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.205774 s]
/proc/loadavg: 1.14 1.22 1.12 5/36 22478
/proc/meminfo: memFree=307300/1048576 swapFree=0/0
[pid=22475] ppid=22474 vsize=2568 CPUtime=0
/proc/22475/stat : 22475 (p2cudf-trendy-1) S 22474 22475 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 4649568 2629632 271 1283457024 134512640 135304128 4288791568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22475/statm: 642 271 230 194 0 29 0
[pid=22476] ppid=22475 vsize=2572 CPUtime=0.03
/proc/22476/stat : 22476 (p2cudf) S 22475 22475 1511 34817 1511 4202496 390 3014 0 1 0 1 2 0 25 0 1 0 4649568 2633728 279 1283457024 134512640 135304128 4290813424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22476/statm: 643 279 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.305859 s]
/proc/loadavg: 1.14 1.22 1.12 5/36 22478
/proc/meminfo: memFree=307300/1048576 swapFree=0/0
[pid=22475] ppid=22474 vsize=2568 CPUtime=0
/proc/22475/stat : 22475 (p2cudf-trendy-1) S 22474 22475 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 4649568 2629632 271 1283457024 134512640 135304128 4288791568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22475/statm: 642 271 230 194 0 29 0
[pid=22476] ppid=22475 vsize=2572 CPUtime=0.03
/proc/22476/stat : 22476 (p2cudf) S 22475 22475 1511 34817 1511 4202496 390 3014 0 1 0 1 2 0 25 0 1 0 4649568 2633728 279 1283457024 134512640 135304128 4290813424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22476/statm: 643 279 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.705889 s]
/proc/loadavg: 1.14 1.22 1.12 5/36 22478
/proc/meminfo: memFree=307300/1048576 swapFree=0/0
[pid=22475] ppid=22474 vsize=2568 CPUtime=0
/proc/22475/stat : 22475 (p2cudf-trendy-1) S 22474 22475 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 4649568 2629632 271 1283457024 134512640 135304128 4288791568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22475/statm: 642 271 230 194 0 29 0
[pid=22476] ppid=22475 vsize=2572 CPUtime=0.03
/proc/22476/stat : 22476 (p2cudf) S 22475 22475 1511 34817 1511 4202496 390 3014 0 1 0 1 2 0 25 0 1 0 4649568 2633728 279 1283457024 134512640 135304128 4290813424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22476/statm: 643 279 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.50606 s]
/proc/loadavg: 1.14 1.22 1.12 4/45 22498
/proc/meminfo: memFree=257812/1048576 swapFree=0/0
[pid=22475] ppid=22474 vsize=2568 CPUtime=0
/proc/22475/stat : 22475 (p2cudf-trendy-1) S 22474 22475 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 4649568 2629632 271 1283457024 134512640 135304128 4288791568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22475/statm: 642 271 230 194 0 29 0
[pid=22476] ppid=22475 vsize=2572 CPUtime=0.03
/proc/22476/stat : 22476 (p2cudf) S 22475 22475 1511 34817 1511 4202496 390 3014 0 1 0 1 2 0 25 0 1 0 4649568 2633728 279 1283457024 134512640 135304128 4290813424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22476/statm: 643 279 239 194 0 30 0
[pid=22489] ppid=22476 vsize=886092 CPUtime=1.46
/proc/22489/stat : 22489 (java) S 22476 22475 1511 34817 1511 4202496 24254 0 1 0 134 12 0 0 25 0 10 0 4649572 907358208 21073 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22489/statm: 221523 21073 1723 10 0 218614 0
[pid=22489/tid=22490] ppid=22476 vsize=886092 CPUtime=0.79
/proc/22489/task/22490/stat : 22490 (java) R 22476 22475 1511 34817 1511 4202560 12935 0 1 0 73 6 0 0 25 0 10 0 4649572 907358208 21073 1283457024 134512640 134550932 4292882048 18446744073709551615 4095939603 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22489/tid=22491] ppid=22476 vsize=886092 CPUtime=0
/proc/22489/task/22491/stat : 22491 (java) S 22476 22475 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 17 0 10 0 4649574 907358208 21073 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22492] ppid=22476 vsize=886092 CPUtime=0
/proc/22489/task/22492/stat : 22492 (java) S 22476 22475 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 25 0 10 0 4649574 907358208 21073 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22493] ppid=22476 vsize=886092 CPUtime=0
/proc/22489/task/22493/stat : 22493 (java) S 22476 22475 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4649574 907358208 21073 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22494] ppid=22476 vsize=886092 CPUtime=0
/proc/22489/task/22494/stat : 22494 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4649577 907358208 21073 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22495] ppid=22476 vsize=886092 CPUtime=0.42
/proc/22489/task/22495/stat : 22495 (java) R 22476 22475 1511 34817 1511 4202560 8391 0 0 0 38 4 0 0 25 0 10 0 4649577 907358208 21073 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22489/tid=22496] ppid=22476 vsize=886092 CPUtime=0.22
/proc/22489/task/22496/stat : 22496 (java) R 22476 22475 1511 34817 1511 4202560 1847 0 0 0 22 0 0 0 19 0 10 0 4649577 907358208 21073 1283457024 134512640 134550932 4292882048 18446744073709551615 4150270653 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22489/tid=22497] ppid=22476 vsize=886092 CPUtime=0
/proc/22489/task/22497/stat : 22497 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4649577 907358208 21073 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22498] ppid=22476 vsize=886092 CPUtime=0
/proc/22489/task/22498/stat : 22498 (java) S 22476 22475 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4649577 907358208 21073 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 891232

[startup+3.11429 s]
/proc/loadavg: 1.14 1.22 1.12 2/45 22498
/proc/meminfo: memFree=130712/1048576 swapFree=0/0
[pid=22475] ppid=22474 vsize=2568 CPUtime=0
/proc/22475/stat : 22475 (p2cudf-trendy-1) S 22474 22475 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 4649568 2629632 271 1283457024 134512640 135304128 4288791568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22475/statm: 642 271 230 194 0 29 0
[pid=22476] ppid=22475 vsize=2572 CPUtime=0.03
/proc/22476/stat : 22476 (p2cudf) S 22475 22475 1511 34817 1511 4202496 390 3014 0 1 0 1 2 0 25 0 1 0 4649568 2633728 279 1283457024 134512640 135304128 4290813424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22476/statm: 643 279 239 194 0 30 0
[pid=22489] ppid=22476 vsize=883144 CPUtime=3.06
/proc/22489/stat : 22489 (java) S 22476 22475 1511 34817 1511 4202496 74667 0 1 0 281 25 0 0 25 0 10 0 4649572 904339456 71225 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22489/statm: 220786 71225 1743 10 0 217877 0
[pid=22489/tid=22490] ppid=22476 vsize=883144 CPUtime=1.65
/proc/22489/task/22490/stat : 22490 (java) R 22476 22475 1511 34817 1511 4202560 50090 0 1 0 148 17 0 0 25 0 10 0 4649572 904339456 71225 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22489/tid=22491] ppid=22476 vsize=883144 CPUtime=0.29
/proc/22489/task/22491/stat : 22491 (java) S 22476 22475 1511 34817 1511 4202560 13010 0 0 0 27 2 0 0 16 0 10 0 4649574 904339456 71225 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22492] ppid=22476 vsize=883144 CPUtime=0
/proc/22489/task/22492/stat : 22492 (java) S 22476 22475 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 4649574 904339456 71225 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22493] ppid=22476 vsize=883144 CPUtime=0
/proc/22489/task/22493/stat : 22493 (java) S 22476 22475 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 4649574 904339456 71225 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22494] ppid=22476 vsize=883144 CPUtime=0
/proc/22489/task/22494/stat : 22494 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4649577 904339456 71225 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22495] ppid=22476 vsize=883144 CPUtime=0.48
/proc/22489/task/22495/stat : 22495 (java) S 22476 22475 1511 34817 1511 4202560 8459 0 0 0 44 4 0 0 25 0 10 0 4649577 904339456 71225 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22496] ppid=22476 vsize=883144 CPUtime=0.6
/proc/22489/task/22496/stat : 22496 (java) S 22476 22475 1511 34817 1511 4202560 2031 0 0 0 60 0 0 0 15 0 10 0 4649577 904339456 71225 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22497] ppid=22476 vsize=883144 CPUtime=0
/proc/22489/task/22497/stat : 22497 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4649577 904339456 71225 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22498] ppid=22476 vsize=883144 CPUtime=0
/proc/22489/task/22498/stat : 22498 (java) S 22476 22475 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4649577 904339456 71225 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 888284

[startup+6.30746 s]
/proc/loadavg: 1.12 1.21 1.12 2/46 22499
/proc/meminfo: memFree=27180/1048576 swapFree=0/0
[pid=22475] ppid=22474 vsize=2568 CPUtime=0
/proc/22475/stat : 22475 (p2cudf-trendy-1) S 22474 22475 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 4649568 2629632 271 1283457024 134512640 135304128 4288791568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22475/statm: 642 271 230 194 0 29 0
[pid=22476] ppid=22475 vsize=2572 CPUtime=0.03
/proc/22476/stat : 22476 (p2cudf) S 22475 22475 1511 34817 1511 4202496 390 3014 0 1 0 1 2 0 25 0 1 0 4649568 2633728 279 1283457024 134512640 135304128 4290813424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22476/statm: 643 279 239 194 0 30 0
[pid=22489] ppid=22476 vsize=883468 CPUtime=6.26
/proc/22489/stat : 22489 (java) S 22476 22475 1511 34817 1511 4202496 76839 0 1 0 598 28 0 0 25 0 11 0 4649572 904671232 71604 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22489/statm: 220867 71604 1780 10 0 217958 0
[pid=22489/tid=22490] ppid=22476 vsize=883468 CPUtime=3.28
/proc/22489/task/22490/stat : 22490 (java) R 22476 22475 1511 34817 1511 4202560 50276 0 1 0 309 19 0 0 25 0 11 0 4649572 904671232 71604 1283457024 134512640 134550932 4292882048 18446744073709551615 4096616918 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22489/tid=22491] ppid=22476 vsize=883468 CPUtime=0.29
/proc/22489/task/22491/stat : 22491 (java) S 22476 22475 1511 34817 1511 4202560 13010 0 0 0 27 2 0 0 16 0 11 0 4649574 904671232 71604 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22492] ppid=22476 vsize=883468 CPUtime=0
/proc/22489/task/22492/stat : 22492 (java) S 22476 22475 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4649574 904671232 71604 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22493] ppid=22476 vsize=883468 CPUtime=0
/proc/22489/task/22493/stat : 22493 (java) S 22476 22475 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4649574 904671232 71604 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22494] ppid=22476 vsize=883468 CPUtime=0
/proc/22489/task/22494/stat : 22494 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4649577 904671232 71604 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22495] ppid=22476 vsize=883468 CPUtime=0.48
/proc/22489/task/22495/stat : 22495 (java) S 22476 22475 1511 34817 1511 4202560 8459 0 0 0 44 4 0 0 25 0 11 0 4649577 904671232 71604 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22496] ppid=22476 vsize=883468 CPUtime=2.17
/proc/22489/task/22496/stat : 22496 (java) S 22476 22475 1511 34817 1511 4202560 4013 0 0 0 217 0 0 0 15 0 11 0 4649577 904671232 71604 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22497] ppid=22476 vsize=883468 CPUtime=0
/proc/22489/task/22497/stat : 22497 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4649577 904671232 71604 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22498] ppid=22476 vsize=883468 CPUtime=0
/proc/22489/task/22498/stat : 22498 (java) S 22476 22475 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4649577 904671232 71604 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22499] ppid=22476 vsize=883468 CPUtime=0
/proc/22489/task/22499/stat : 22499 (java) S 22476 22475 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4650071 904671232 71604 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 888608

[startup+12.7089 s]
/proc/loadavg: 1.11 1.21 1.12 2/46 22499
/proc/meminfo: memFree=5204/1048576 swapFree=0/0
[pid=22475] ppid=22474 vsize=2568 CPUtime=0
/proc/22475/stat : 22475 (p2cudf-trendy-1) S 22474 22475 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 4649568 2629632 271 1283457024 134512640 135304128 4288791568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22475/statm: 642 271 230 194 0 29 0
[pid=22476] ppid=22475 vsize=2572 CPUtime=0.03
/proc/22476/stat : 22476 (p2cudf) S 22475 22475 1511 34817 1511 4202496 390 3014 0 1 0 1 2 0 25 0 1 0 4649568 2633728 279 1283457024 134512640 135304128 4290813424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22476/statm: 643 279 239 194 0 30 0
[pid=22489] ppid=22476 vsize=879872 CPUtime=12.65
/proc/22489/stat : 22489 (java) S 22476 22475 1511 34817 1511 4202496 88523 0 1 0 1233 32 0 0 25 0 11 0 4649572 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22489/statm: 219968 82398 1784 10 0 217059 0
[pid=22489/tid=22490] ppid=22476 vsize=879872 CPUtime=9.06
/proc/22489/task/22490/stat : 22490 (java) R 22476 22475 1511 34817 1511 4202560 50284 0 1 0 887 19 0 0 25 0 11 0 4649572 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4096611321 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22489/tid=22491] ppid=22476 vsize=879872 CPUtime=0.58
/proc/22489/task/22491/stat : 22491 (java) S 22476 22475 1511 34817 1511 4202560 24638 0 0 0 51 7 0 0 15 0 11 0 4649574 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22492] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22492/stat : 22492 (java) S 22476 22475 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4649574 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22493] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22493/stat : 22493 (java) S 22476 22475 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4649574 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22494] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22494/stat : 22494 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4649577 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22495] ppid=22476 vsize=879872 CPUtime=0.48
/proc/22489/task/22495/stat : 22495 (java) S 22476 22475 1511 34817 1511 4202560 8459 0 0 0 44 4 0 0 25 0 11 0 4649577 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22496] ppid=22476 vsize=879872 CPUtime=2.5
/proc/22489/task/22496/stat : 22496 (java) S 22476 22475 1511 34817 1511 4202560 4061 0 0 0 250 0 0 0 15 0 11 0 4649577 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22497] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22497/stat : 22497 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4649577 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22498] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22498/stat : 22498 (java) S 22476 22475 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4649577 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22499] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22499/stat : 22499 (java) S 22476 22475 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4650071 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 885012

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

[startup+12.809 s]
/proc/loadavg: 1.11 1.21 1.12 2/46 22499
/proc/meminfo: memFree=5204/1048576 swapFree=0/0
[pid=22475] ppid=22474 vsize=2568 CPUtime=0
/proc/22475/stat : 22475 (p2cudf-trendy-1) S 22474 22475 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 4649568 2629632 271 1283457024 134512640 135304128 4288791568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22475/statm: 642 271 230 194 0 29 0
[pid=22476] ppid=22475 vsize=2572 CPUtime=0.03
/proc/22476/stat : 22476 (p2cudf) S 22475 22475 1511 34817 1511 4202496 390 3014 0 1 0 1 2 0 25 0 1 0 4649568 2633728 279 1283457024 134512640 135304128 4290813424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22476/statm: 643 279 239 194 0 30 0
[pid=22489] ppid=22476 vsize=879872 CPUtime=12.75
/proc/22489/stat : 22489 (java) S 22476 22475 1511 34817 1511 4202496 88523 0 1 0 1243 32 0 0 25 0 11 0 4649572 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22489/statm: 219968 82398 1784 10 0 217059 0
[pid=22489/tid=22490] ppid=22476 vsize=879872 CPUtime=9.16
/proc/22489/task/22490/stat : 22490 (java) R 22476 22475 1511 34817 1511 4202560 50284 0 1 0 897 19 0 0 25 0 11 0 4649572 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4095633030 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22489/tid=22491] ppid=22476 vsize=879872 CPUtime=0.58
/proc/22489/task/22491/stat : 22491 (java) S 22476 22475 1511 34817 1511 4202560 24638 0 0 0 51 7 0 0 15 0 11 0 4649574 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22492] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22492/stat : 22492 (java) S 22476 22475 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4649574 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22493] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22493/stat : 22493 (java) S 22476 22475 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4649574 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22494] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22494/stat : 22494 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4649577 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22495] ppid=22476 vsize=879872 CPUtime=0.48
/proc/22489/task/22495/stat : 22495 (java) S 22476 22475 1511 34817 1511 4202560 8459 0 0 0 44 4 0 0 25 0 11 0 4649577 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22496] ppid=22476 vsize=879872 CPUtime=2.5
/proc/22489/task/22496/stat : 22496 (java) S 22476 22475 1511 34817 1511 4202560 4061 0 0 0 250 0 0 0 15 0 11 0 4649577 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22497] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22497/stat : 22497 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4649577 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22498] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22498/stat : 22498 (java) R 22476 22475 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4649577 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22489/tid=22499] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22499/stat : 22499 (java) S 22476 22475 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4650071 900988928 82398 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 885012

[startup+16.0098 s]
/proc/loadavg: 1.11 1.21 1.12 2/46 22499
/proc/meminfo: memFree=5204/1048576 swapFree=0/0
[pid=22475] ppid=22474 vsize=2568 CPUtime=0
/proc/22475/stat : 22475 (p2cudf-trendy-1) S 22474 22475 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 4649568 2629632 271 1283457024 134512640 135304128 4288791568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22475/statm: 642 271 230 194 0 29 0
[pid=22476] ppid=22475 vsize=2572 CPUtime=0.03
/proc/22476/stat : 22476 (p2cudf) S 22475 22475 1511 34817 1511 4202496 390 3014 0 1 0 1 2 0 25 0 1 0 4649568 2633728 279 1283457024 134512640 135304128 4290813424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22476/statm: 643 279 239 194 0 30 0
[pid=22489] ppid=22476 vsize=879872 CPUtime=15.95
/proc/22489/stat : 22489 (java) S 22476 22475 1511 34817 1511 4202496 88529 0 1 0 1563 32 0 0 25 0 11 0 4649572 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22489/statm: 219968 82404 1784 10 0 217059 0
[pid=22489/tid=22490] ppid=22476 vsize=879872 CPUtime=12.3
/proc/22489/task/22490/stat : 22490 (java) R 22476 22475 1511 34817 1511 4202560 50285 0 1 0 1211 19 0 0 25 0 11 0 4649572 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4096868472 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22489/tid=22491] ppid=22476 vsize=879872 CPUtime=0.58
/proc/22489/task/22491/stat : 22491 (java) S 22476 22475 1511 34817 1511 4202560 24638 0 0 0 51 7 0 0 16 0 11 0 4649574 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22492] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22492/stat : 22492 (java) S 22476 22475 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4649574 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22493] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22493/stat : 22493 (java) S 22476 22475 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4649574 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22494] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22494/stat : 22494 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4649577 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22495] ppid=22476 vsize=879872 CPUtime=0.48
/proc/22489/task/22495/stat : 22495 (java) S 22476 22475 1511 34817 1511 4202560 8459 0 0 0 44 4 0 0 25 0 11 0 4649577 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22496] ppid=22476 vsize=879872 CPUtime=2.55
/proc/22489/task/22496/stat : 22496 (java) S 22476 22475 1511 34817 1511 4202560 4066 0 0 0 255 0 0 0 15 0 11 0 4649577 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22497] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22497/stat : 22497 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4649577 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22498] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22498/stat : 22498 (java) S 22476 22475 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4649577 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22499] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22499/stat : 22499 (java) S 22476 22475 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4650071 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.98
Current children cumulated vsize (KiB) 885012

[startup+16.81 s]
/proc/loadavg: 1.11 1.21 1.12 2/46 22499
/proc/meminfo: memFree=5204/1048576 swapFree=0/0
[pid=22475] ppid=22474 vsize=2568 CPUtime=0
/proc/22475/stat : 22475 (p2cudf-trendy-1) S 22474 22475 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 4649568 2629632 271 1283457024 134512640 135304128 4288791568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22475/statm: 642 271 230 194 0 29 0
[pid=22476] ppid=22475 vsize=2572 CPUtime=0.03
/proc/22476/stat : 22476 (p2cudf) S 22475 22475 1511 34817 1511 4202496 390 3014 0 1 0 1 2 0 25 0 1 0 4649568 2633728 279 1283457024 134512640 135304128 4290813424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22476/statm: 643 279 239 194 0 30 0
[pid=22489] ppid=22476 vsize=879872 CPUtime=16.75
/proc/22489/stat : 22489 (java) S 22476 22475 1511 34817 1511 4202496 88529 0 1 0 1643 32 0 0 25 0 11 0 4649572 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22489/statm: 219968 82404 1784 10 0 217059 0
[pid=22489/tid=22490] ppid=22476 vsize=879872 CPUtime=13.1
/proc/22489/task/22490/stat : 22490 (java) R 22476 22475 1511 34817 1511 4202560 50285 0 1 0 1291 19 0 0 25 0 11 0 4649572 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4096611398 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22489/tid=22491] ppid=22476 vsize=879872 CPUtime=0.58
/proc/22489/task/22491/stat : 22491 (java) S 22476 22475 1511 34817 1511 4202560 24638 0 0 0 51 7 0 0 15 0 11 0 4649574 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22492] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22492/stat : 22492 (java) S 22476 22475 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4649574 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22493] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22493/stat : 22493 (java) S 22476 22475 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4649574 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22494] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22494/stat : 22494 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4649577 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22495] ppid=22476 vsize=879872 CPUtime=0.48
/proc/22489/task/22495/stat : 22495 (java) S 22476 22475 1511 34817 1511 4202560 8459 0 0 0 44 4 0 0 25 0 11 0 4649577 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22496] ppid=22476 vsize=879872 CPUtime=2.55
/proc/22489/task/22496/stat : 22496 (java) S 22476 22475 1511 34817 1511 4202560 4066 0 0 0 255 0 0 0 15 0 11 0 4649577 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22497] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22497/stat : 22497 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4649577 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22498] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22498/stat : 22498 (java) S 22476 22475 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4649577 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22499] ppid=22476 vsize=879872 CPUtime=0
/proc/22489/task/22499/stat : 22499 (java) S 22476 22475 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4650071 900988928 82404 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.78
Current children cumulated vsize (KiB) 885012

[startup+17.6149 s]
/proc/loadavg: 1.02 1.19 1.11 2/46 22500
/proc/meminfo: memFree=6400/1048576 swapFree=0/0
[pid=22475] ppid=22474 vsize=2568 CPUtime=0
/proc/22475/stat : 22475 (p2cudf-trendy-1) S 22474 22475 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 4649568 2629632 271 1283457024 134512640 135304128 4288791568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22475/statm: 642 271 230 194 0 29 0
[pid=22476] ppid=22475 vsize=2572 CPUtime=0.03
/proc/22476/stat : 22476 (p2cudf) S 22475 22475 1511 34817 1511 4202496 390 3014 0 1 0 1 2 0 25 0 1 0 4649568 2633728 279 1283457024 134512640 135304128 4290813424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22476/statm: 643 279 239 194 0 30 0
[pid=22489] ppid=22476 vsize=880196 CPUtime=17.03
/proc/22489/stat : 22489 (java) S 22476 22475 1511 34817 1511 4202496 88546 0 1 0 1670 33 0 0 25 0 11 0 4649572 901320704 82421 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22489/statm: 220049 82421 1785 10 0 217140 0
[pid=22489/tid=22490] ppid=22476 vsize=880196 CPUtime=13.34
/proc/22489/task/22490/stat : 22490 (java) S 22476 22475 1511 34817 1511 4202560 50293 0 1 0 1315 19 0 0 25 0 11 0 4649572 901320704 82421 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22491] ppid=22476 vsize=880196 CPUtime=0.58
/proc/22489/task/22491/stat : 22491 (java) S 22476 22475 1511 34817 1511 4202560 24638 0 0 0 51 7 0 0 16 0 11 0 4649574 901320704 82421 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22492] ppid=22476 vsize=880196 CPUtime=0
/proc/22489/task/22492/stat : 22492 (java) S 22476 22475 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4649574 901320704 82421 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22493] ppid=22476 vsize=880196 CPUtime=0
/proc/22489/task/22493/stat : 22493 (java) S 22476 22475 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4649574 901320704 82421 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22494] ppid=22476 vsize=880196 CPUtime=0
/proc/22489/task/22494/stat : 22494 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4649577 901320704 82421 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22495] ppid=22476 vsize=880196 CPUtime=0.48
/proc/22489/task/22495/stat : 22495 (java) S 22476 22475 1511 34817 1511 4202560 8459 0 0 0 44 4 0 0 25 0 11 0 4649577 901320704 82421 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22496] ppid=22476 vsize=880196 CPUtime=2.58
/proc/22489/task/22496/stat : 22496 (java) S 22476 22475 1511 34817 1511 4202560 4070 0 0 0 258 0 0 0 15 0 11 0 4649577 901320704 82421 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22497] ppid=22476 vsize=880196 CPUtime=0
/proc/22489/task/22497/stat : 22497 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4649577 901320704 82421 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22498] ppid=22476 vsize=880196 CPUtime=0
/proc/22489/task/22498/stat : 22498 (java) S 22476 22475 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4649577 901320704 82421 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22500] ppid=22476 vsize=880196 CPUtime=0
/proc/22489/task/22500/stat : 22500 (java) R 22476 22475 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 20 0 11 0 4651277 901320704 82421 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.06
Current children cumulated vsize (KiB) 885336

[startup+17.8069 s]
/proc/loadavg: 1.02 1.19 1.11 2/46 22500
/proc/meminfo: memFree=6400/1048576 swapFree=0/0
[pid=22475] ppid=22474 vsize=2568 CPUtime=0
/proc/22475/stat : 22475 (p2cudf-trendy-1) S 22474 22475 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 4649568 2629632 271 1283457024 134512640 135304128 4288791568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22475/statm: 642 271 230 194 0 29 0
[pid=22476] ppid=22475 vsize=2572 CPUtime=0.03
/proc/22476/stat : 22476 (p2cudf) S 22475 22475 1511 34817 1511 4202496 390 3014 0 1 0 1 2 0 25 0 1 0 4649568 2633728 279 1283457024 134512640 135304128 4290813424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22476/statm: 643 279 239 194 0 30 0
[pid=22489] ppid=22476 vsize=880196 CPUtime=17.22
/proc/22489/stat : 22489 (java) S 22476 22475 1511 34817 1511 4202496 88548 0 1 0 1684 38 0 0 25 0 10 0 4649572 901320704 82423 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22489/statm: 220049 82423 1785 10 0 217140 0
[pid=22489/tid=22490] ppid=22476 vsize=880196 CPUtime=13.34
/proc/22489/task/22490/stat : 22490 (java) S 22476 22475 1511 34817 1511 4202560 50293 0 1 0 1315 19 0 0 18 0 10 0 4649572 901320704 82423 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22491] ppid=22476 vsize=880196 CPUtime=0.58
/proc/22489/task/22491/stat : 22491 (java) S 22476 22475 1511 34817 1511 4202560 24638 0 0 0 51 7 0 0 16 0 10 0 4649574 901320704 82423 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22492] ppid=22476 vsize=880196 CPUtime=0
/proc/22489/task/22492/stat : 22492 (java) S 22476 22475 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 4649574 901320704 82423 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22493] ppid=22476 vsize=880196 CPUtime=0
/proc/22489/task/22493/stat : 22493 (java) S 22476 22475 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 4649574 901320704 82423 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22494] ppid=22476 vsize=880196 CPUtime=0
/proc/22489/task/22494/stat : 22494 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4649577 901320704 82423 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22495] ppid=22476 vsize=880196 CPUtime=0.48
/proc/22489/task/22495/stat : 22495 (java) S 22476 22475 1511 34817 1511 4202560 8459 0 0 0 44 4 0 0 25 0 10 0 4649577 901320704 82423 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22496] ppid=22476 vsize=880196 CPUtime=2.63
/proc/22489/task/22496/stat : 22496 (java) S 22476 22475 1511 34817 1511 4202560 4070 0 0 0 263 0 0 0 16 0 10 0 4649577 901320704 82423 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22497] ppid=22476 vsize=880196 CPUtime=0
/proc/22489/task/22497/stat : 22497 (java) S 22476 22475 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4649577 901320704 82423 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22489/tid=22498] ppid=22476 vsize=880196 CPUtime=0
/proc/22489/task/22498/stat : 22498 (java) S 22476 22475 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4649577 901320704 82423 1283457024 134512640 134550932 4292882048 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.25
Current children cumulated vsize (KiB) 885336

Child status: 0
Real time (s): 17.8519
CPU time (s): 17.2811
CPU user time (s): 16.8611
CPU system time (s): 0.420026
CPU usage (%): 96.8024
Max. virtual memory (cumulated for all children) (KiB): 891232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.8611
system time used= 0.420026
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92349
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= 1248
involuntary context switches= 1340

runsolver used 0 second user time and 0 second system time

The end