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/4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.dudf-real.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/dudf-real//4a69cf16-c731-11df-9182-00163e3d3b7c.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/4a69cf16-c731-11df-9182-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.37 1.30 1.12 5/37 21815
/proc/meminfo: memFree=315584/1048576 swapFree=0/0
[pid=21813] ppid=21812 vsize=2568 CPUtime=0
/proc/21813/stat : 21813 (p2cudf-trendy-1) S 21812 21813 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4622932 2629632 270 1283457024 134512640 135304128 4287681280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21813/statm: 642 270 230 194 0 29 0
[pid=21814] ppid=21813 vsize=2568 CPUtime=0
/proc/21814/stat : 21814 (p2cudf) R 21813 21813 1511 34817 1511 4202496 346 0 0 0 0 0 0 0 25 0 1 0 4622932 2629632 272 1283457024 134512640 135304128 4288779264 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/21814/statm: 642 272 231 194 0 29 0
[pid=21815] ppid=21814 vsize=2568 CPUtime=0
/proc/21815/stat : 21815 (p2cudf) R 21814 21813 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 4622932 2629632 41 1283457024 134512640 135304128 4288779264 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/21815/statm: 642 41 0 194 0 29 0

[startup+0.155837 s]
/proc/loadavg: 1.37 1.30 1.12 5/37 21815
/proc/meminfo: memFree=315584/1048576 swapFree=0/0
[pid=21813] ppid=21812 vsize=2568 CPUtime=0
/proc/21813/stat : 21813 (p2cudf-trendy-1) S 21812 21813 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4622932 2629632 270 1283457024 134512640 135304128 4287681280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21813/statm: 642 270 230 194 0 29 0
[pid=21814] ppid=21813 vsize=2572 CPUtime=0.03
/proc/21814/stat : 21814 (p2cudf) S 21813 21813 1511 34817 1511 4202496 393 3014 0 1 0 0 2 1 25 0 1 0 4622932 2633728 281 1283457024 134512640 135304128 4288779264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21814/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.205841 s]
/proc/loadavg: 1.37 1.30 1.12 5/37 21815
/proc/meminfo: memFree=315584/1048576 swapFree=0/0
[pid=21813] ppid=21812 vsize=2568 CPUtime=0
/proc/21813/stat : 21813 (p2cudf-trendy-1) S 21812 21813 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4622932 2629632 270 1283457024 134512640 135304128 4287681280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21813/statm: 642 270 230 194 0 29 0
[pid=21814] ppid=21813 vsize=2572 CPUtime=0.03
/proc/21814/stat : 21814 (p2cudf) S 21813 21813 1511 34817 1511 4202496 393 3014 0 1 0 0 2 1 25 0 1 0 4622932 2633728 281 1283457024 134512640 135304128 4288779264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21814/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.30586 s]
/proc/loadavg: 1.37 1.30 1.12 5/37 21815
/proc/meminfo: memFree=315584/1048576 swapFree=0/0
[pid=21813] ppid=21812 vsize=2568 CPUtime=0
/proc/21813/stat : 21813 (p2cudf-trendy-1) S 21812 21813 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4622932 2629632 270 1283457024 134512640 135304128 4287681280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21813/statm: 642 270 230 194 0 29 0
[pid=21814] ppid=21813 vsize=2572 CPUtime=0.03
/proc/21814/stat : 21814 (p2cudf) S 21813 21813 1511 34817 1511 4202496 393 3014 0 1 0 0 2 1 25 0 1 0 4622932 2633728 281 1283457024 134512640 135304128 4288779264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21814/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.705979 s]
/proc/loadavg: 1.37 1.30 1.12 5/37 21815
/proc/meminfo: memFree=315584/1048576 swapFree=0/0
[pid=21813] ppid=21812 vsize=2568 CPUtime=0
/proc/21813/stat : 21813 (p2cudf-trendy-1) S 21812 21813 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4622932 2629632 270 1283457024 134512640 135304128 4287681280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21813/statm: 642 270 230 194 0 29 0
[pid=21814] ppid=21813 vsize=2572 CPUtime=0.03
/proc/21814/stat : 21814 (p2cudf) S 21813 21813 1511 34817 1511 4202496 393 3014 0 1 0 0 2 1 25 0 1 0 4622932 2633728 281 1283457024 134512640 135304128 4288779264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21814/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.50616 s]
/proc/loadavg: 1.37 1.30 1.12 4/47 21836
/proc/meminfo: memFree=265708/1048576 swapFree=0/0
[pid=21813] ppid=21812 vsize=2568 CPUtime=0
/proc/21813/stat : 21813 (p2cudf-trendy-1) S 21812 21813 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4622932 2629632 270 1283457024 134512640 135304128 4287681280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21813/statm: 642 270 230 194 0 29 0
[pid=21814] ppid=21813 vsize=2572 CPUtime=0.03
/proc/21814/stat : 21814 (p2cudf) S 21813 21813 1511 34817 1511 4202496 393 3014 0 1 0 0 2 1 25 0 1 0 4622932 2633728 281 1283457024 134512640 135304128 4288779264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21814/statm: 643 281 239 194 0 30 0
[pid=21827] ppid=21814 vsize=881652 CPUtime=1.46
/proc/21827/stat : 21827 (java) S 21814 21813 1511 34817 1511 4202496 20454 0 1 0 136 10 0 0 25 0 10 0 4622935 902811648 16701 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21827/statm: 220413 16701 1723 10 0 217504 0
[pid=21827/tid=21828] ppid=21814 vsize=881652 CPUtime=0.64
/proc/21827/task/21828/stat : 21828 (java) R 21814 21813 1511 34817 1511 4202560 9386 0 1 0 58 6 0 0 25 0 10 0 4622936 902811648 16701 1283457024 134512640 134550932 4293361392 18446744073709551615 4152677827 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21827/tid=21829] ppid=21814 vsize=881652 CPUtime=0
/proc/21827/task/21829/stat : 21829 (java) S 21814 21813 1511 34817 1511 4202560 7 0 0 0 0 0 0 0 17 0 10 0 4622938 902811648 16701 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21830] ppid=21814 vsize=881652 CPUtime=0
/proc/21827/task/21830/stat : 21830 (java) S 21814 21813 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 4622938 902811648 16701 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21831] ppid=21814 vsize=881652 CPUtime=0
/proc/21827/task/21831/stat : 21831 (java) S 21814 21813 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4622938 902811648 16701 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21832] ppid=21814 vsize=881652 CPUtime=0
/proc/21827/task/21832/stat : 21832 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4622941 902811648 16701 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21833] ppid=21814 vsize=881652 CPUtime=0.41
/proc/21827/task/21833/stat : 21833 (java) R 21814 21813 1511 34817 1511 4202560 7630 0 0 0 38 3 0 0 25 0 10 0 4622941 902811648 16701 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21827/tid=21834] ppid=21814 vsize=881652 CPUtime=0.39
/proc/21827/task/21834/stat : 21834 (java) S 21814 21813 1511 34817 1511 4202560 2355 0 0 0 39 0 0 0 23 0 10 0 4622941 902811648 16701 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21835] ppid=21814 vsize=881652 CPUtime=0
/proc/21827/task/21835/stat : 21835 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4622941 902811648 16701 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21836] ppid=21814 vsize=881652 CPUtime=0
/proc/21827/task/21836/stat : 21836 (java) S 21814 21813 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4622941 902811648 16701 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 886792

[startup+3.10658 s]
/proc/loadavg: 1.37 1.30 1.12 2/47 21836
/proc/meminfo: memFree=148032/1048576 swapFree=0/0
[pid=21813] ppid=21812 vsize=2568 CPUtime=0
/proc/21813/stat : 21813 (p2cudf-trendy-1) S 21812 21813 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4622932 2629632 270 1283457024 134512640 135304128 4287681280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21813/statm: 642 270 230 194 0 29 0
[pid=21814] ppid=21813 vsize=2572 CPUtime=0.03
/proc/21814/stat : 21814 (p2cudf) S 21813 21813 1511 34817 1511 4202496 393 3014 0 1 0 0 2 1 25 0 1 0 4622932 2633728 281 1283457024 134512640 135304128 4288779264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21814/statm: 643 281 239 194 0 30 0
[pid=21827] ppid=21814 vsize=879624 CPUtime=3.06
/proc/21827/stat : 21827 (java) S 21814 21813 1511 34817 1511 4202496 73508 0 1 0 280 26 0 0 25 0 10 0 4622935 900734976 69631 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21827/statm: 219906 69631 1743 10 0 216997 0
[pid=21827/tid=21828] ppid=21814 vsize=879624 CPUtime=1.64
/proc/21827/task/21828/stat : 21828 (java) R 21814 21813 1511 34817 1511 4202560 50090 0 1 0 146 18 0 0 25 0 10 0 4622936 900734976 69631 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21827/tid=21829] ppid=21814 vsize=879624 CPUtime=0.27
/proc/21827/task/21829/stat : 21829 (java) S 21814 21813 1511 34817 1511 4202560 12291 0 0 0 24 3 0 0 16 0 10 0 4622938 900734976 69631 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21830] ppid=21814 vsize=879624 CPUtime=0
/proc/21827/task/21830/stat : 21830 (java) S 21814 21813 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 10 0 4622938 900734976 69631 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21831] ppid=21814 vsize=879624 CPUtime=0
/proc/21827/task/21831/stat : 21831 (java) S 21814 21813 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 4622938 900734976 69631 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21832] ppid=21814 vsize=879624 CPUtime=0
/proc/21827/task/21832/stat : 21832 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4622941 900734976 69631 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21833] ppid=21814 vsize=879624 CPUtime=0.72
/proc/21827/task/21833/stat : 21833 (java) R 21814 21813 1511 34817 1511 4202560 7694 0 0 0 69 3 0 0 16 0 10 0 4622941 900734976 69631 1283457024 134512640 134550932 4293361392 18446744073709551615 4148639423 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21827/tid=21834] ppid=21814 vsize=879624 CPUtime=0.4
/proc/21827/task/21834/stat : 21834 (java) S 21814 21813 1511 34817 1511 4202560 2355 0 0 0 40 0 0 0 21 0 10 0 4622941 900734976 69631 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21835] ppid=21814 vsize=879624 CPUtime=0
/proc/21827/task/21835/stat : 21835 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4622941 900734976 69631 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21836] ppid=21814 vsize=879624 CPUtime=0
/proc/21827/task/21836/stat : 21836 (java) S 21814 21813 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4622941 900734976 69631 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 884764

[startup+6.30746 s]
/proc/loadavg: 1.34 1.29 1.12 2/47 21836
/proc/meminfo: memFree=6056/1048576 swapFree=0/0
[pid=21813] ppid=21812 vsize=2568 CPUtime=0
/proc/21813/stat : 21813 (p2cudf-trendy-1) S 21812 21813 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4622932 2629632 270 1283457024 134512640 135304128 4287681280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21813/statm: 642 270 230 194 0 29 0
[pid=21814] ppid=21813 vsize=2572 CPUtime=0.03
/proc/21814/stat : 21814 (p2cudf) S 21813 21813 1511 34817 1511 4202496 393 3014 0 1 0 0 2 1 25 0 1 0 4622932 2633728 281 1283457024 134512640 135304128 4288779264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21814/statm: 643 281 239 194 0 30 0
[pid=21827] ppid=21814 vsize=879948 CPUtime=6.26
/proc/21827/stat : 21827 (java) S 21814 21813 1511 34817 1511 4202496 87905 0 1 0 594 32 0 0 25 0 11 0 4622935 901066752 82186 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21827/statm: 219987 82186 1774 10 0 217078 0
[pid=21827/tid=21828] ppid=21814 vsize=879948 CPUtime=2.82
/proc/21827/task/21828/stat : 21828 (java) R 21814 21813 1511 34817 1511 4202560 50271 0 1 0 262 20 0 0 25 0 11 0 4622936 901066752 82186 1283457024 134512640 134550932 4293361392 18446744073709551615 4096230320 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21827/tid=21829] ppid=21814 vsize=879948 CPUtime=0.57
/proc/21827/task/21829/stat : 21829 (java) S 21814 21813 1511 34817 1511 4202560 24400 0 0 0 50 7 0 0 16 0 11 0 4622938 901066752 82186 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21830] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21830/stat : 21830 (java) S 21814 21813 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4622938 901066752 82186 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21831] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21831/stat : 21831 (java) S 21814 21813 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4622938 901066752 82186 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21832] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21832/stat : 21832 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4622941 901066752 82186 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21833] ppid=21814 vsize=879948 CPUtime=2.43
/proc/21827/task/21833/stat : 21833 (java) S 21814 21813 1511 34817 1511 4202560 9797 0 0 0 240 3 0 0 15 0 11 0 4622941 901066752 82186 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21834] ppid=21814 vsize=879948 CPUtime=0.4
/proc/21827/task/21834/stat : 21834 (java) S 21814 21813 1511 34817 1511 4202560 2355 0 0 0 40 0 0 0 21 0 11 0 4622941 901066752 82186 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21835] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21835/stat : 21835 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4622941 901066752 82186 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21836] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21836/stat : 21836 (java) S 21814 21813 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4622941 901066752 82186 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 885088

[startup+12.7093 s]
/proc/loadavg: 1.32 1.29 1.12 3/48 21838
/proc/meminfo: memFree=5560/1048576 swapFree=0/0
[pid=21813] ppid=21812 vsize=2568 CPUtime=0
/proc/21813/stat : 21813 (p2cudf-trendy-1) S 21812 21813 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4622932 2629632 270 1283457024 134512640 135304128 4287681280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21813/statm: 642 270 230 194 0 29 0
[pid=21814] ppid=21813 vsize=2572 CPUtime=0.03
/proc/21814/stat : 21814 (p2cudf) S 21813 21813 1511 34817 1511 4202496 393 3014 0 1 0 0 2 1 25 0 1 0 4622932 2633728 281 1283457024 134512640 135304128 4288779264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21814/statm: 643 281 239 194 0 30 0
[pid=21827] ppid=21814 vsize=879948 CPUtime=12.66
/proc/21827/stat : 21827 (java) S 21814 21813 1511 34817 1511 4202496 87967 0 1 0 1234 32 0 0 25 0 11 0 4622935 901066752 82248 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21827/statm: 219987 82248 1782 10 0 217078 0
[pid=21827/tid=21828] ppid=21814 vsize=879948 CPUtime=8.73
/proc/21827/task/21828/stat : 21828 (java) R 21814 21813 1511 34817 1511 4202560 50284 0 1 0 853 20 0 0 25 0 11 0 4622936 901066752 82248 1283457024 134512640 134550932 4293361392 18446744073709551615 4096449464 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21827/tid=21829] ppid=21814 vsize=879948 CPUtime=0.57
/proc/21827/task/21829/stat : 21829 (java) S 21814 21813 1511 34817 1511 4202560 24400 0 0 0 50 7 0 0 15 0 11 0 4622938 901066752 82248 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21830] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21830/stat : 21830 (java) S 21814 21813 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4622938 901066752 82248 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21831] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21831/stat : 21831 (java) S 21814 21813 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4622938 901066752 82248 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21832] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21832/stat : 21832 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4622941 901066752 82248 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21833] ppid=21814 vsize=879948 CPUtime=2.93
/proc/21827/task/21833/stat : 21833 (java) S 21814 21813 1511 34817 1511 4202560 9846 0 0 0 290 3 0 0 16 0 11 0 4622941 901066752 82248 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21834] ppid=21814 vsize=879948 CPUtime=0.4
/proc/21827/task/21834/stat : 21834 (java) S 21814 21813 1511 34817 1511 4202560 2355 0 0 0 40 0 0 0 21 0 11 0 4622941 901066752 82248 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21835] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21835/stat : 21835 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4622941 901066752 82248 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21836] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21836/stat : 21836 (java) R 21814 21813 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4622941 901066752 82248 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21827/tid=21837] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21837/stat : 21837 (java) S 21814 21813 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4623508 901066752 82248 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 885088

[startup+25.5125 s]
/proc/loadavg: 1.33 1.29 1.12 2/48 21839
/proc/meminfo: memFree=5688/1048576 swapFree=0/0
[pid=21813] ppid=21812 vsize=2568 CPUtime=0
/proc/21813/stat : 21813 (p2cudf-trendy-1) S 21812 21813 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4622932 2629632 270 1283457024 134512640 135304128 4287681280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21813/statm: 642 270 230 194 0 29 0
[pid=21814] ppid=21813 vsize=2572 CPUtime=0.03
/proc/21814/stat : 21814 (p2cudf) S 21813 21813 1511 34817 1511 4202496 393 3014 0 1 0 0 2 1 25 0 1 0 4622932 2633728 281 1283457024 134512640 135304128 4288779264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21814/statm: 643 281 239 194 0 30 0
[pid=21827] ppid=21814 vsize=879948 CPUtime=25.45
/proc/21827/stat : 21827 (java) S 21814 21813 1511 34817 1511 4202496 97159 0 1 0 2510 35 0 0 25 0 11 0 4622935 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21827/statm: 219987 91440 1788 10 0 217078 0
[pid=21827/tid=21828] ppid=21814 vsize=879948 CPUtime=20.98
/proc/21827/task/21828/stat : 21828 (java) R 21814 21813 1511 34817 1511 4202560 50286 0 1 0 2078 20 0 0 25 0 11 0 4622936 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4096233930 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21827/tid=21829] ppid=21814 vsize=879948 CPUtime=0.98
/proc/21827/task/21829/stat : 21829 (java) S 21814 21813 1511 34817 1511 4202560 33579 0 0 0 88 10 0 0 15 0 11 0 4622938 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21830] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21830/stat : 21830 (java) S 21814 21813 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4622938 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21831] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21831/stat : 21831 (java) S 21814 21813 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4622938 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21832] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21832/stat : 21832 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21833] ppid=21814 vsize=879948 CPUtime=3.05
/proc/21827/task/21833/stat : 21833 (java) S 21814 21813 1511 34817 1511 4202560 9857 0 0 0 302 3 0 0 15 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21834] ppid=21814 vsize=879948 CPUtime=0.4
/proc/21827/task/21834/stat : 21834 (java) S 21814 21813 1511 34817 1511 4202560 2355 0 0 0 40 0 0 0 21 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21835] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21835/stat : 21835 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21836] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21836/stat : 21836 (java) S 21814 21813 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21837] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21837/stat : 21837 (java) S 21814 21813 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4623508 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 885088

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

[startup+25.6125 s]
/proc/loadavg: 1.33 1.29 1.12 2/48 21839
/proc/meminfo: memFree=5688/1048576 swapFree=0/0
[pid=21813] ppid=21812 vsize=2568 CPUtime=0
/proc/21813/stat : 21813 (p2cudf-trendy-1) S 21812 21813 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4622932 2629632 270 1283457024 134512640 135304128 4287681280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21813/statm: 642 270 230 194 0 29 0
[pid=21814] ppid=21813 vsize=2572 CPUtime=0.03
/proc/21814/stat : 21814 (p2cudf) S 21813 21813 1511 34817 1511 4202496 393 3014 0 1 0 0 2 1 25 0 1 0 4622932 2633728 281 1283457024 134512640 135304128 4288779264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21814/statm: 643 281 239 194 0 30 0
[pid=21827] ppid=21814 vsize=879948 CPUtime=25.55
/proc/21827/stat : 21827 (java) S 21814 21813 1511 34817 1511 4202496 97159 0 1 0 2520 35 0 0 25 0 11 0 4622935 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21827/statm: 219987 91440 1788 10 0 217078 0
[pid=21827/tid=21828] ppid=21814 vsize=879948 CPUtime=21.08
/proc/21827/task/21828/stat : 21828 (java) R 21814 21813 1511 34817 1511 4202560 50286 0 1 0 2088 20 0 0 25 0 11 0 4622936 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4096218082 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21827/tid=21829] ppid=21814 vsize=879948 CPUtime=0.98
/proc/21827/task/21829/stat : 21829 (java) S 21814 21813 1511 34817 1511 4202560 33579 0 0 0 88 10 0 0 15 0 11 0 4622938 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21830] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21830/stat : 21830 (java) S 21814 21813 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4622938 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21831] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21831/stat : 21831 (java) S 21814 21813 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4622938 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21832] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21832/stat : 21832 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21833] ppid=21814 vsize=879948 CPUtime=3.05
/proc/21827/task/21833/stat : 21833 (java) S 21814 21813 1511 34817 1511 4202560 9857 0 0 0 302 3 0 0 15 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21834] ppid=21814 vsize=879948 CPUtime=0.4
/proc/21827/task/21834/stat : 21834 (java) S 21814 21813 1511 34817 1511 4202560 2355 0 0 0 40 0 0 0 21 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21835] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21835/stat : 21835 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21836] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21836/stat : 21836 (java) S 21814 21813 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21837] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21837/stat : 21837 (java) S 21814 21813 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4623508 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 885088

[startup+27.2131 s]
/proc/loadavg: 1.33 1.29 1.12 2/48 21839
/proc/meminfo: memFree=5688/1048576 swapFree=0/0
[pid=21813] ppid=21812 vsize=2568 CPUtime=0
/proc/21813/stat : 21813 (p2cudf-trendy-1) S 21812 21813 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4622932 2629632 270 1283457024 134512640 135304128 4287681280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21813/statm: 642 270 230 194 0 29 0
[pid=21814] ppid=21813 vsize=2572 CPUtime=0.03
/proc/21814/stat : 21814 (p2cudf) S 21813 21813 1511 34817 1511 4202496 393 3014 0 1 0 0 2 1 25 0 1 0 4622932 2633728 281 1283457024 134512640 135304128 4288779264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21814/statm: 643 281 239 194 0 30 0
[pid=21827] ppid=21814 vsize=879948 CPUtime=27.15
/proc/21827/stat : 21827 (java) S 21814 21813 1511 34817 1511 4202496 97159 0 1 0 2680 35 0 0 25 0 11 0 4622935 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21827/statm: 219987 91440 1788 10 0 217078 0
[pid=21827/tid=21828] ppid=21814 vsize=879948 CPUtime=22.66
/proc/21827/task/21828/stat : 21828 (java) R 21814 21813 1511 34817 1511 4202560 50286 0 1 0 2246 20 0 0 25 0 11 0 4622936 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4096271319 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21827/tid=21829] ppid=21814 vsize=879948 CPUtime=0.98
/proc/21827/task/21829/stat : 21829 (java) S 21814 21813 1511 34817 1511 4202560 33579 0 0 0 88 10 0 0 16 0 11 0 4622938 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21830] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21830/stat : 21830 (java) S 21814 21813 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4622938 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21831] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21831/stat : 21831 (java) S 21814 21813 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4622938 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21832] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21832/stat : 21832 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21833] ppid=21814 vsize=879948 CPUtime=3.07
/proc/21827/task/21833/stat : 21833 (java) S 21814 21813 1511 34817 1511 4202560 9857 0 0 0 304 3 0 0 16 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21834] ppid=21814 vsize=879948 CPUtime=0.4
/proc/21827/task/21834/stat : 21834 (java) S 21814 21813 1511 34817 1511 4202560 2355 0 0 0 40 0 0 0 21 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21835] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21835/stat : 21835 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21836] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21836/stat : 21836 (java) R 21814 21813 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21827/tid=21837] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21837/stat : 21837 (java) S 21814 21813 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4623508 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 27.18
Current children cumulated vsize (KiB) 885088

[startup+28.8136 s]
/proc/loadavg: 1.30 1.29 1.12 2/48 21840
/proc/meminfo: memFree=5688/1048576 swapFree=0/0
[pid=21813] ppid=21812 vsize=2568 CPUtime=0
/proc/21813/stat : 21813 (p2cudf-trendy-1) S 21812 21813 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4622932 2629632 270 1283457024 134512640 135304128 4287681280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21813/statm: 642 270 230 194 0 29 0
[pid=21814] ppid=21813 vsize=2572 CPUtime=0.03
/proc/21814/stat : 21814 (p2cudf) S 21813 21813 1511 34817 1511 4202496 393 3014 0 1 0 0 2 1 25 0 1 0 4622932 2633728 281 1283457024 134512640 135304128 4288779264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21814/statm: 643 281 239 194 0 30 0
[pid=21827] ppid=21814 vsize=879948 CPUtime=28.75
/proc/21827/stat : 21827 (java) S 21814 21813 1511 34817 1511 4202496 97159 0 1 0 2840 35 0 0 25 0 11 0 4622935 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21827/statm: 219987 91440 1788 10 0 217078 0
[pid=21827/tid=21828] ppid=21814 vsize=879948 CPUtime=24.26
/proc/21827/task/21828/stat : 21828 (java) R 21814 21813 1511 34817 1511 4202560 50286 0 1 0 2406 20 0 0 25 0 11 0 4622936 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4096271244 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21827/tid=21829] ppid=21814 vsize=879948 CPUtime=0.98
/proc/21827/task/21829/stat : 21829 (java) S 21814 21813 1511 34817 1511 4202560 33579 0 0 0 88 10 0 0 16 0 11 0 4622938 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21830] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21830/stat : 21830 (java) S 21814 21813 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4622938 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21831] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21831/stat : 21831 (java) S 21814 21813 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4622938 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21832] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21832/stat : 21832 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21833] ppid=21814 vsize=879948 CPUtime=3.07
/proc/21827/task/21833/stat : 21833 (java) S 21814 21813 1511 34817 1511 4202560 9857 0 0 0 304 3 0 0 16 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21834] ppid=21814 vsize=879948 CPUtime=0.4
/proc/21827/task/21834/stat : 21834 (java) S 21814 21813 1511 34817 1511 4202560 2355 0 0 0 40 0 0 0 21 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21835] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21835/stat : 21835 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21836] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21836/stat : 21836 (java) S 21814 21813 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4622941 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21837] ppid=21814 vsize=879948 CPUtime=0
/proc/21827/task/21837/stat : 21837 (java) S 21814 21813 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4623508 901066752 91440 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.78
Current children cumulated vsize (KiB) 885088

[startup+29.6076 s]
/proc/loadavg: 1.30 1.29 1.12 2/48 21840
/proc/meminfo: memFree=5688/1048576 swapFree=0/0
[pid=21813] ppid=21812 vsize=2568 CPUtime=0
/proc/21813/stat : 21813 (p2cudf-trendy-1) S 21812 21813 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4622932 2629632 270 1283457024 134512640 135304128 4287681280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21813/statm: 642 270 230 194 0 29 0
[pid=21814] ppid=21813 vsize=2572 CPUtime=0.03
/proc/21814/stat : 21814 (p2cudf) S 21813 21813 1511 34817 1511 4202496 393 3014 0 1 0 0 2 1 25 0 1 0 4622932 2633728 281 1283457024 134512640 135304128 4288779264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21814/statm: 643 281 239 194 0 30 0
[pid=21827] ppid=21814 vsize=880272 CPUtime=29.13
/proc/21827/stat : 21827 (java) S 21814 21813 1511 34817 1511 4202496 97172 0 1 0 2878 35 0 0 25 0 11 0 4622935 901398528 91453 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21827/statm: 220068 91453 1789 10 0 217159 0
[pid=21827/tid=21828] ppid=21814 vsize=880272 CPUtime=24.63
/proc/21827/task/21828/stat : 21828 (java) S 21814 21813 1511 34817 1511 4202560 50294 0 1 0 2443 20 0 0 25 0 11 0 4622936 901398528 91453 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21829] ppid=21814 vsize=880272 CPUtime=0.98
/proc/21827/task/21829/stat : 21829 (java) S 21814 21813 1511 34817 1511 4202560 33579 0 0 0 88 10 0 0 16 0 11 0 4622938 901398528 91453 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21830] ppid=21814 vsize=880272 CPUtime=0
/proc/21827/task/21830/stat : 21830 (java) S 21814 21813 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4622938 901398528 91453 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21831] ppid=21814 vsize=880272 CPUtime=0
/proc/21827/task/21831/stat : 21831 (java) S 21814 21813 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4622938 901398528 91453 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21832] ppid=21814 vsize=880272 CPUtime=0
/proc/21827/task/21832/stat : 21832 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4622941 901398528 91453 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21833] ppid=21814 vsize=880272 CPUtime=3.08
/proc/21827/task/21833/stat : 21833 (java) S 21814 21813 1511 34817 1511 4202560 9857 0 0 0 305 3 0 0 15 0 11 0 4622941 901398528 91453 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21834] ppid=21814 vsize=880272 CPUtime=0.4
/proc/21827/task/21834/stat : 21834 (java) S 21814 21813 1511 34817 1511 4202560 2355 0 0 0 40 0 0 0 21 0 11 0 4622941 901398528 91453 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21835] ppid=21814 vsize=880272 CPUtime=0
/proc/21827/task/21835/stat : 21835 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4622941 901398528 91453 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21836] ppid=21814 vsize=880272 CPUtime=0
/proc/21827/task/21836/stat : 21836 (java) S 21814 21813 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4622941 901398528 91453 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 29.16
Current children cumulated vsize (KiB) 885412

[startup+29.8141 s]
/proc/loadavg: 1.30 1.29 1.12 3/48 21841
/proc/meminfo: memFree=5688/1048576 swapFree=0/0
[pid=21813] ppid=21812 vsize=2568 CPUtime=0
/proc/21813/stat : 21813 (p2cudf-trendy-1) S 21812 21813 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4622932 2629632 270 1283457024 134512640 135304128 4287681280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21813/statm: 642 270 230 194 0 29 0
[pid=21814] ppid=21813 vsize=2572 CPUtime=0.03
/proc/21814/stat : 21814 (p2cudf) S 21813 21813 1511 34817 1511 4202496 393 3014 0 1 0 0 2 1 25 0 1 0 4622932 2633728 281 1283457024 134512640 135304128 4288779264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21814/statm: 643 281 239 194 0 30 0
[pid=21827] ppid=21814 vsize=880272 CPUtime=29.24
/proc/21827/stat : 21827 (java) S 21814 21813 1511 34817 1511 4202496 97174 0 1 0 2885 39 0 0 25 0 11 0 4622935 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21827/statm: 220068 91455 1789 10 0 217159 0
[pid=21827/tid=21828] ppid=21814 vsize=880272 CPUtime=24.63
/proc/21827/task/21828/stat : 21828 (java) S 21814 21813 1511 34817 1511 4202560 50294 0 1 0 2443 20 0 0 25 0 11 0 4622936 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21829] ppid=21814 vsize=880272 CPUtime=0.98
/proc/21827/task/21829/stat : 21829 (java) S 21814 21813 1511 34817 1511 4202560 33579 0 0 0 88 10 0 0 16 0 11 0 4622938 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21830] ppid=21814 vsize=880272 CPUtime=0
/proc/21827/task/21830/stat : 21830 (java) S 21814 21813 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4622938 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21831] ppid=21814 vsize=880272 CPUtime=0
/proc/21827/task/21831/stat : 21831 (java) S 21814 21813 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4622938 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21832] ppid=21814 vsize=880272 CPUtime=0
/proc/21827/task/21832/stat : 21832 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4622941 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21833] ppid=21814 vsize=880272 CPUtime=3.11
/proc/21827/task/21833/stat : 21833 (java) S 21814 21813 1511 34817 1511 4202560 9857 0 0 0 308 3 0 0 15 0 11 0 4622941 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21834] ppid=21814 vsize=880272 CPUtime=0.4
/proc/21827/task/21834/stat : 21834 (java) S 21814 21813 1511 34817 1511 4202560 2355 0 0 0 40 0 0 0 21 0 11 0 4622941 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21835] ppid=21814 vsize=880272 CPUtime=0
/proc/21827/task/21835/stat : 21835 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4622941 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21836] ppid=21814 vsize=880272 CPUtime=0
/proc/21827/task/21836/stat : 21836 (java) S 21814 21813 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4622941 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21841] ppid=21814 vsize=880272 CPUtime=0.06
/proc/21827/task/21841/stat : 21841 (java) R 21814 21813 1511 34817 1511 4202560 6 0 0 0 3 3 0 0 21 0 11 0 4625853 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 29.27
Current children cumulated vsize (KiB) 885412

[startup+29.902 s]
/proc/loadavg: 1.30 1.29 1.12 3/48 21841
/proc/meminfo: memFree=5688/1048576 swapFree=0/0
[pid=21813] ppid=21812 vsize=2568 CPUtime=0
/proc/21813/stat : 21813 (p2cudf-trendy-1) S 21812 21813 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4622932 2629632 270 1283457024 134512640 135304128 4287681280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21813/statm: 642 270 230 194 0 29 0
[pid=21814] ppid=21813 vsize=2572 CPUtime=0.03
/proc/21814/stat : 21814 (p2cudf) S 21813 21813 1511 34817 1511 4202496 393 3014 0 1 0 0 2 1 25 0 1 0 4622932 2633728 281 1283457024 134512640 135304128 4288779264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21814/statm: 643 281 239 194 0 30 0
[pid=21827] ppid=21814 vsize=880272 CPUtime=29.33
/proc/21827/stat : 21827 (java) S 21814 21813 1511 34817 1511 4202496 97174 0 1 0 2893 40 0 0 25 0 10 0 4622935 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21827/statm: 220068 91455 1789 10 0 217159 0
[pid=21827/tid=21828] ppid=21814 vsize=880272 CPUtime=24.63
/proc/21827/task/21828/stat : 21828 (java) S 21814 21813 1511 34817 1511 4202560 50294 0 1 0 2443 20 0 0 19 0 10 0 4622936 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21829] ppid=21814 vsize=880272 CPUtime=0.98
/proc/21827/task/21829/stat : 21829 (java) S 21814 21813 1511 34817 1511 4202560 33579 0 0 0 88 10 0 0 16 0 10 0 4622938 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21830] ppid=21814 vsize=880272 CPUtime=0
/proc/21827/task/21830/stat : 21830 (java) S 21814 21813 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 10 0 4622938 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21831] ppid=21814 vsize=880272 CPUtime=0
/proc/21827/task/21831/stat : 21831 (java) S 21814 21813 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 4622938 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21832] ppid=21814 vsize=880272 CPUtime=0
/proc/21827/task/21832/stat : 21832 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4622941 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21833] ppid=21814 vsize=880272 CPUtime=3.15
/proc/21827/task/21833/stat : 21833 (java) S 21814 21813 1511 34817 1511 4202560 9857 0 0 0 312 3 0 0 15 0 10 0 4622941 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21834] ppid=21814 vsize=880272 CPUtime=0.4
/proc/21827/task/21834/stat : 21834 (java) S 21814 21813 1511 34817 1511 4202560 2355 0 0 0 40 0 0 0 21 0 10 0 4622941 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21835] ppid=21814 vsize=880272 CPUtime=0
/proc/21827/task/21835/stat : 21835 (java) S 21814 21813 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4622941 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=21827/tid=21836] ppid=21814 vsize=880272 CPUtime=0
/proc/21827/task/21836/stat : 21836 (java) S 21814 21813 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4622941 901398528 91455 1283457024 134512640 134550932 4293361392 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 29.36
Current children cumulated vsize (KiB) 885412

Child status: 0
Real time (s): 29.9665
CPU time (s): 29.3938
CPU user time (s): 28.9618
CPU system time (s): 0.432027
CPU usage (%): 98.0891
Max. virtual memory (cumulated for all children) (KiB): 888148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.9618
system time used= 0.432027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100977
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= 1524
involuntary context switches= 1750

runsolver used 0 second user time and 0 second system time

The end