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/201103031013/p2cudf-trendy-1.12/1194.cudf.caixa.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/caixa//1194.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/1194.cudf.caixa.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.54 1.29 1.15 5/35 15633
/proc/meminfo: memFree=554576/1048576 swapFree=0/0
[pid=15631] ppid=15630 vsize=2564 CPUtime=0
/proc/15631/stat : 15631 (p2cudf-trendy-1) S 15630 15631 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 75789095 2625536 269 1283457024 134512640 135304128 4293337248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15631/statm: 641 269 230 194 0 28 0
[pid=15632] ppid=15631 vsize=2568 CPUtime=0
/proc/15632/stat : 15632 (p2cudf) R 15631 15631 29493 34817 29493 4202496 345 0 0 0 0 0 0 0 25 0 1 0 75789095 2629632 271 1283457024 134512640 135304128 4289383632 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/15632/statm: 642 271 231 194 0 29 0
[pid=15633] ppid=15632 vsize=2568 CPUtime=0
/proc/15633/stat : 15633 (p2cudf) R 15632 15631 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 75789095 2629632 40 1283457024 134512640 135304128 4289383632 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/15633/statm: 642 40 0 194 0 29 0

[startup+0.12584 s]
/proc/loadavg: 1.54 1.29 1.15 5/35 15633
/proc/meminfo: memFree=554576/1048576 swapFree=0/0
[pid=15631] ppid=15630 vsize=2564 CPUtime=0
/proc/15631/stat : 15631 (p2cudf-trendy-1) S 15630 15631 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 75789095 2625536 269 1283457024 134512640 135304128 4293337248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15631/statm: 641 269 230 194 0 28 0
[pid=15632] ppid=15631 vsize=2572 CPUtime=0.03
/proc/15632/stat : 15632 (p2cudf) S 15631 15631 29493 34817 29493 4202496 391 3012 0 1 0 1 2 0 25 0 1 0 75789095 2633728 280 1283457024 134512640 135304128 4289383632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15632/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.205842 s]
/proc/loadavg: 1.54 1.29 1.15 5/35 15633
/proc/meminfo: memFree=554576/1048576 swapFree=0/0
[pid=15631] ppid=15630 vsize=2564 CPUtime=0
/proc/15631/stat : 15631 (p2cudf-trendy-1) S 15630 15631 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 75789095 2625536 269 1283457024 134512640 135304128 4293337248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15631/statm: 641 269 230 194 0 28 0
[pid=15632] ppid=15631 vsize=2572 CPUtime=0.03
/proc/15632/stat : 15632 (p2cudf) S 15631 15631 29493 34817 29493 4202496 391 3012 0 1 0 1 2 0 25 0 1 0 75789095 2633728 280 1283457024 134512640 135304128 4289383632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15632/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.305858 s]
/proc/loadavg: 1.54 1.29 1.15 5/35 15633
/proc/meminfo: memFree=554576/1048576 swapFree=0/0
[pid=15631] ppid=15630 vsize=2564 CPUtime=0
/proc/15631/stat : 15631 (p2cudf-trendy-1) S 15630 15631 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 75789095 2625536 269 1283457024 134512640 135304128 4293337248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15631/statm: 641 269 230 194 0 28 0
[pid=15632] ppid=15631 vsize=2572 CPUtime=0.03
/proc/15632/stat : 15632 (p2cudf) S 15631 15631 29493 34817 29493 4202496 391 3012 0 1 0 1 2 0 25 0 1 0 75789095 2633728 280 1283457024 134512640 135304128 4289383632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15632/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.705969 s]
/proc/loadavg: 1.54 1.29 1.15 5/35 15633
/proc/meminfo: memFree=554576/1048576 swapFree=0/0
[pid=15631] ppid=15630 vsize=2564 CPUtime=0
/proc/15631/stat : 15631 (p2cudf-trendy-1) S 15630 15631 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 75789095 2625536 269 1283457024 134512640 135304128 4293337248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15631/statm: 641 269 230 194 0 28 0
[pid=15632] ppid=15631 vsize=2572 CPUtime=0.03
/proc/15632/stat : 15632 (p2cudf) S 15631 15631 29493 34817 29493 4202496 391 3012 0 1 0 1 2 0 25 0 1 0 75789095 2633728 280 1283457024 134512640 135304128 4289383632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15632/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+1.50624 s]
/proc/loadavg: 1.54 1.29 1.15 5/45 15654
/proc/meminfo: memFree=513380/1048576 swapFree=0/0
[pid=15631] ppid=15630 vsize=2564 CPUtime=0
/proc/15631/stat : 15631 (p2cudf-trendy-1) S 15630 15631 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 75789095 2625536 269 1283457024 134512640 135304128 4293337248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15631/statm: 641 269 230 194 0 28 0
[pid=15632] ppid=15631 vsize=2572 CPUtime=0.03
/proc/15632/stat : 15632 (p2cudf) S 15631 15631 29493 34817 29493 4202496 391 3012 0 1 0 1 2 0 25 0 1 0 75789095 2633728 280 1283457024 134512640 135304128 4289383632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15632/statm: 643 280 239 194 0 30 0
[pid=15645] ppid=15632 vsize=881776 CPUtime=1.46
/proc/15645/stat : 15645 (java) S 15632 15631 29493 34817 29493 4202496 18095 0 1 0 141 5 0 0 25 0 10 0 75789099 902938624 13663 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15645/statm: 220444 13663 1725 10 0 217535 0
[pid=15645/tid=15646] ppid=15632 vsize=881776 CPUtime=0.64
/proc/15645/task/15646/stat : 15646 (java) R 15632 15631 29493 34817 29493 4202560 5899 0 1 0 61 3 0 0 25 0 10 0 75789099 902938624 13663 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15645/tid=15647] ppid=15632 vsize=881776 CPUtime=0
/proc/15645/task/15647/stat : 15647 (java) S 15632 15631 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 15 0 10 0 75789101 902938624 13663 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 0 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15648] ppid=15632 vsize=881776 CPUtime=0
/proc/15645/task/15648/stat : 15648 (java) S 15632 15631 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75789101 902938624 13663 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15649] ppid=15632 vsize=881776 CPUtime=0
/proc/15645/task/15649/stat : 15649 (java) S 15632 15631 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75789101 902938624 13663 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15650] ppid=15632 vsize=881776 CPUtime=0
/proc/15645/task/15650/stat : 15650 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75789104 902938624 13663 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15651] ppid=15632 vsize=881776 CPUtime=0.55
/proc/15645/task/15651/stat : 15651 (java) R 15632 15631 29493 34817 29493 4202560 8794 0 0 0 55 0 0 0 22 0 10 0 75789104 902938624 13663 1283457024 134512640 134550932 4291493232 18446744073709551615 4148578128 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15645/tid=15652] ppid=15632 vsize=881776 CPUtime=0.25
/proc/15645/task/15652/stat : 15652 (java) R 15632 15631 29493 34817 29493 4202560 2324 0 0 0 25 0 0 0 24 0 10 0 75789104 902938624 13663 1283457024 134512640 134550932 4291493232 18446744073709551615 4149294588 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15645/tid=15653] ppid=15632 vsize=881776 CPUtime=0
/proc/15645/task/15653/stat : 15653 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75789104 902938624 13663 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15654] ppid=15632 vsize=881776 CPUtime=0
/proc/15645/task/15654/stat : 15654 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 75789104 902938624 13663 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 886912

[startup+3.10662 s]
/proc/loadavg: 1.65 1.32 1.16 4/45 15654
/proc/meminfo: memFree=471964/1048576 swapFree=0/0
[pid=15631] ppid=15630 vsize=2564 CPUtime=0
/proc/15631/stat : 15631 (p2cudf-trendy-1) S 15630 15631 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 75789095 2625536 269 1283457024 134512640 135304128 4293337248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15631/statm: 641 269 230 194 0 28 0
[pid=15632] ppid=15631 vsize=2572 CPUtime=0.03
/proc/15632/stat : 15632 (p2cudf) S 15631 15631 29493 34817 29493 4202496 391 3012 0 1 0 1 2 0 25 0 1 0 75789095 2633728 280 1283457024 134512640 135304128 4289383632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15632/statm: 643 280 239 194 0 30 0
[pid=15645] ppid=15632 vsize=881412 CPUtime=3.06
/proc/15645/stat : 15645 (java) S 15632 15631 29493 34817 29493 4202496 54916 0 1 0 289 17 0 0 25 0 10 0 75789099 902565888 47512 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15645/statm: 220353 47512 1742 10 0 217444 0
[pid=15645/tid=15646] ppid=15632 vsize=881412 CPUtime=1.57
/proc/15645/task/15646/stat : 15646 (java) R 15632 15631 29493 34817 29493 4202560 39688 0 1 0 145 12 0 0 25 0 10 0 75789099 902565888 47512 1283457024 134512640 134550932 4291493232 18446744073709551615 4095441651 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15645/tid=15647] ppid=15632 vsize=881412 CPUtime=0
/proc/15645/task/15647/stat : 15647 (java) S 15632 15631 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 15 0 10 0 75789101 902565888 47512 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 0 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15648] ppid=15632 vsize=881412 CPUtime=0
/proc/15645/task/15648/stat : 15648 (java) S 15632 15631 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75789101 902565888 47512 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15649] ppid=15632 vsize=881412 CPUtime=0
/proc/15645/task/15649/stat : 15649 (java) S 15632 15631 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75789101 902565888 47512 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15650] ppid=15632 vsize=881412 CPUtime=0
/proc/15645/task/15650/stat : 15650 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75789104 902565888 47512 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15651] ppid=15632 vsize=881412 CPUtime=0.86
/proc/15645/task/15651/stat : 15651 (java) S 15632 15631 29493 34817 29493 4202560 9005 0 0 0 86 0 0 0 18 0 10 0 75789104 902565888 47512 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15652] ppid=15632 vsize=881412 CPUtime=0.61
/proc/15645/task/15652/stat : 15652 (java) S 15632 15631 29493 34817 29493 4202560 5145 0 0 0 57 4 0 0 24 0 10 0 75789104 902565888 47512 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15653] ppid=15632 vsize=881412 CPUtime=0
/proc/15645/task/15653/stat : 15653 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75789104 902565888 47512 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15654] ppid=15632 vsize=881412 CPUtime=0
/proc/15645/task/15654/stat : 15654 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 75789104 902565888 47512 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 886548

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

[startup+3.20666 s]
/proc/loadavg: 1.65 1.32 1.16 4/45 15654
/proc/meminfo: memFree=471964/1048576 swapFree=0/0
[pid=15631] ppid=15630 vsize=2564 CPUtime=0
/proc/15631/stat : 15631 (p2cudf-trendy-1) S 15630 15631 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 75789095 2625536 269 1283457024 134512640 135304128 4293337248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15631/statm: 641 269 230 194 0 28 0
[pid=15632] ppid=15631 vsize=2572 CPUtime=0.03
/proc/15632/stat : 15632 (p2cudf) S 15631 15631 29493 34817 29493 4202496 391 3012 0 1 0 1 2 0 25 0 1 0 75789095 2633728 280 1283457024 134512640 135304128 4289383632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15632/statm: 643 280 239 194 0 30 0
[pid=15645] ppid=15632 vsize=881412 CPUtime=3.16
/proc/15645/stat : 15645 (java) S 15632 15631 29493 34817 29493 4202496 56984 0 1 0 298 18 0 0 25 0 10 0 75789099 902565888 49580 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15645/statm: 220353 49580 1742 10 0 217444 0
[pid=15645/tid=15646] ppid=15632 vsize=881412 CPUtime=1.64
/proc/15645/task/15646/stat : 15646 (java) R 15632 15631 29493 34817 29493 4202560 41753 0 1 0 150 14 0 0 25 0 10 0 75789099 902565888 49580 1283457024 134512640 134550932 4291493232 18446744073709551615 4094859428 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15645/tid=15647] ppid=15632 vsize=881412 CPUtime=0
/proc/15645/task/15647/stat : 15647 (java) S 15632 15631 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 15 0 10 0 75789101 902565888 49580 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 0 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15648] ppid=15632 vsize=881412 CPUtime=0
/proc/15645/task/15648/stat : 15648 (java) S 15632 15631 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75789101 902565888 49580 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15649] ppid=15632 vsize=881412 CPUtime=0
/proc/15645/task/15649/stat : 15649 (java) S 15632 15631 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75789101 902565888 49580 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15650] ppid=15632 vsize=881412 CPUtime=0
/proc/15645/task/15650/stat : 15650 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75789104 902565888 49580 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15651] ppid=15632 vsize=881412 CPUtime=0.86
/proc/15645/task/15651/stat : 15651 (java) S 15632 15631 29493 34817 29493 4202560 9005 0 0 0 86 0 0 0 18 0 10 0 75789104 902565888 49580 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15652] ppid=15632 vsize=881412 CPUtime=0.64
/proc/15645/task/15652/stat : 15652 (java) S 15632 15631 29493 34817 29493 4202560 5148 0 0 0 60 4 0 0 24 0 10 0 75789104 902565888 49580 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15653] ppid=15632 vsize=881412 CPUtime=0
/proc/15645/task/15653/stat : 15653 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75789104 902565888 49580 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15654] ppid=15632 vsize=881412 CPUtime=0
/proc/15645/task/15654/stat : 15654 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 75789104 902565888 49580 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 886548

[startup+4.02679 s]
/proc/loadavg: 1.65 1.32 1.16 3/45 15654
/proc/meminfo: memFree=360240/1048576 swapFree=0/0
[pid=15631] ppid=15630 vsize=2564 CPUtime=0
/proc/15631/stat : 15631 (p2cudf-trendy-1) S 15630 15631 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 75789095 2625536 269 1283457024 134512640 135304128 4293337248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15631/statm: 641 269 230 194 0 28 0
[pid=15632] ppid=15631 vsize=2572 CPUtime=0.03
/proc/15632/stat : 15632 (p2cudf) S 15631 15631 29493 34817 29493 4202496 391 3012 0 1 0 1 2 0 25 0 1 0 75789095 2633728 280 1283457024 134512640 135304128 4289383632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15632/statm: 643 280 239 194 0 30 0
[pid=15645] ppid=15632 vsize=882188 CPUtime=3.98
/proc/15645/stat : 15645 (java) S 15632 15631 29493 34817 29493 4202496 77450 0 1 0 376 22 0 0 25 0 10 0 75789099 903360512 68680 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15645/statm: 220547 68680 1747 10 0 217638 0
[pid=15645/tid=15646] ppid=15632 vsize=882188 CPUtime=1.77
/proc/15645/task/15646/stat : 15646 (java) R 15632 15631 29493 34817 29493 4202560 50159 0 1 0 163 14 0 0 25 0 10 0 75789099 903360512 68680 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15645/tid=15647] ppid=15632 vsize=882188 CPUtime=0.2
/proc/15645/task/15647/stat : 15647 (java) R 15632 15631 29493 34817 29493 4202560 10500 0 0 0 18 2 0 0 15 0 10 0 75789101 903360512 68680 1283457024 134512640 134550932 4291493232 18446744073709551615 4148982136 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=15645/tid=15648] ppid=15632 vsize=882188 CPUtime=0
/proc/15645/task/15648/stat : 15648 (java) S 15632 15631 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75789101 903360512 68680 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15649] ppid=15632 vsize=882188 CPUtime=0
/proc/15645/task/15649/stat : 15649 (java) S 15632 15631 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75789101 903360512 68680 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15650] ppid=15632 vsize=882188 CPUtime=0
/proc/15645/task/15650/stat : 15650 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75789104 903360512 68680 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15651] ppid=15632 vsize=882188 CPUtime=1.21
/proc/15645/task/15651/stat : 15651 (java) S 15632 15631 29493 34817 29493 4202560 10559 0 0 0 120 1 0 0 16 0 10 0 75789104 903360512 68680 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15652] ppid=15632 vsize=882188 CPUtime=0.78
/proc/15645/task/15652/stat : 15652 (java) R 15632 15631 29493 34817 29493 4202560 5160 0 0 0 74 4 0 0 24 0 10 0 75789104 903360512 68680 1283457024 134512640 134550932 4291493232 18446744073709551615 4148739288 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15645/tid=15653] ppid=15632 vsize=882188 CPUtime=0
/proc/15645/task/15653/stat : 15653 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75789104 903360512 68680 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15654] ppid=15632 vsize=882188 CPUtime=0
/proc/15645/task/15654/stat : 15654 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 75789104 903360512 68680 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 887324

[startup+4.80614 s]
/proc/loadavg: 1.65 1.32 1.16 3/45 15654
/proc/meminfo: memFree=264644/1048576 swapFree=0/0
[pid=15631] ppid=15630 vsize=2564 CPUtime=0
/proc/15631/stat : 15631 (p2cudf-trendy-1) S 15630 15631 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 75789095 2625536 269 1283457024 134512640 135304128 4293337248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15631/statm: 641 269 230 194 0 28 0
[pid=15632] ppid=15631 vsize=2572 CPUtime=0.03
/proc/15632/stat : 15632 (p2cudf) S 15631 15631 29493 34817 29493 4202496 391 3012 0 1 0 1 2 0 25 0 1 0 75789095 2633728 280 1283457024 134512640 135304128 4289383632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15632/statm: 643 280 239 194 0 30 0
[pid=15645] ppid=15632 vsize=882512 CPUtime=4.5
/proc/15645/stat : 15645 (java) S 15632 15631 29493 34817 29493 4202496 82800 0 1 0 426 24 0 0 25 0 11 0 75789099 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15645/statm: 220628 74030 1754 10 0 217719 0
[pid=15645/tid=15646] ppid=15632 vsize=882512 CPUtime=1.96
/proc/15645/task/15646/stat : 15646 (java) S 15632 15631 29493 34817 29493 4202560 50190 0 1 0 182 14 0 0 25 0 11 0 75789099 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15647] ppid=15632 vsize=882512 CPUtime=0.34
/proc/15645/task/15647/stat : 15647 (java) S 15632 15631 29493 34817 29493 4202560 15793 0 0 0 30 4 0 0 16 0 11 0 75789101 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 0 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15648] ppid=15632 vsize=882512 CPUtime=0
/proc/15645/task/15648/stat : 15648 (java) S 15632 15631 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 75789101 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15649] ppid=15632 vsize=882512 CPUtime=0
/proc/15645/task/15649/stat : 15649 (java) S 15632 15631 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 75789101 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15650] ppid=15632 vsize=882512 CPUtime=0
/proc/15645/task/15650/stat : 15650 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75789104 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15651] ppid=15632 vsize=882512 CPUtime=1.21
/proc/15645/task/15651/stat : 15651 (java) S 15632 15631 29493 34817 29493 4202560 10559 0 0 0 120 1 0 0 16 0 11 0 75789104 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15652] ppid=15632 vsize=882512 CPUtime=0.97
/proc/15645/task/15652/stat : 15652 (java) S 15632 15631 29493 34817 29493 4202560 5180 0 0 0 93 4 0 0 24 0 11 0 75789104 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15653] ppid=15632 vsize=882512 CPUtime=0
/proc/15645/task/15653/stat : 15653 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75789104 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15654] ppid=15632 vsize=882512 CPUtime=0
/proc/15645/task/15654/stat : 15654 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 75789104 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 887648

[startup+5.00614 s]
/proc/loadavg: 1.65 1.32 1.16 3/45 15654
/proc/meminfo: memFree=264644/1048576 swapFree=0/0
[pid=15631] ppid=15630 vsize=2564 CPUtime=0
/proc/15631/stat : 15631 (p2cudf-trendy-1) S 15630 15631 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 75789095 2625536 269 1283457024 134512640 135304128 4293337248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15631/statm: 641 269 230 194 0 28 0
[pid=15632] ppid=15631 vsize=2572 CPUtime=0.03
/proc/15632/stat : 15632 (p2cudf) S 15631 15631 29493 34817 29493 4202496 391 3012 0 1 0 1 2 0 25 0 1 0 75789095 2633728 280 1283457024 134512640 135304128 4289383632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15632/statm: 643 280 239 194 0 30 0
[pid=15645] ppid=15632 vsize=882512 CPUtime=4.5
/proc/15645/stat : 15645 (java) S 15632 15631 29493 34817 29493 4202496 82800 0 1 0 426 24 0 0 25 0 11 0 75789099 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15645/statm: 220628 74030 1754 10 0 217719 0
[pid=15645/tid=15646] ppid=15632 vsize=882512 CPUtime=1.96
/proc/15645/task/15646/stat : 15646 (java) S 15632 15631 29493 34817 29493 4202560 50190 0 1 0 182 14 0 0 25 0 11 0 75789099 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15647] ppid=15632 vsize=882512 CPUtime=0.34
/proc/15645/task/15647/stat : 15647 (java) S 15632 15631 29493 34817 29493 4202560 15793 0 0 0 30 4 0 0 16 0 11 0 75789101 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 0 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15648] ppid=15632 vsize=882512 CPUtime=0
/proc/15645/task/15648/stat : 15648 (java) S 15632 15631 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 75789101 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15649] ppid=15632 vsize=882512 CPUtime=0
/proc/15645/task/15649/stat : 15649 (java) S 15632 15631 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 75789101 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15650] ppid=15632 vsize=882512 CPUtime=0
/proc/15645/task/15650/stat : 15650 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75789104 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15651] ppid=15632 vsize=882512 CPUtime=1.21
/proc/15645/task/15651/stat : 15651 (java) S 15632 15631 29493 34817 29493 4202560 10559 0 0 0 120 1 0 0 16 0 11 0 75789104 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15652] ppid=15632 vsize=882512 CPUtime=0.97
/proc/15645/task/15652/stat : 15652 (java) S 15632 15631 29493 34817 29493 4202560 5180 0 0 0 93 4 0 0 24 0 11 0 75789104 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15653] ppid=15632 vsize=882512 CPUtime=0
/proc/15645/task/15653/stat : 15653 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75789104 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15654] ppid=15632 vsize=882512 CPUtime=0
/proc/15645/task/15654/stat : 15654 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 75789104 903692288 74030 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 887648

[startup+5.10616 s]
/proc/loadavg: 1.65 1.32 1.16 3/45 15654
/proc/meminfo: memFree=264644/1048576 swapFree=0/0
[pid=15631] ppid=15630 vsize=2564 CPUtime=0
/proc/15631/stat : 15631 (p2cudf-trendy-1) S 15630 15631 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 75789095 2625536 269 1283457024 134512640 135304128 4293337248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15631/statm: 641 269 230 194 0 28 0
[pid=15632] ppid=15631 vsize=2572 CPUtime=0.03
/proc/15632/stat : 15632 (p2cudf) S 15631 15631 29493 34817 29493 4202496 391 3012 0 1 0 1 2 0 25 0 1 0 75789095 2633728 280 1283457024 134512640 135304128 4289383632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15632/statm: 643 280 239 194 0 30 0
[pid=15645] ppid=15632 vsize=882512 CPUtime=4.5
/proc/15645/stat : 15645 (java) S 15632 15631 29493 34817 29493 4202496 82802 0 1 0 426 24 0 0 25 0 10 0 75789099 903692288 74032 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15645/statm: 220628 74032 1756 10 0 217719 0
[pid=15645/tid=15646] ppid=15632 vsize=882512 CPUtime=1.96
/proc/15645/task/15646/stat : 15646 (java) S 15632 15631 29493 34817 29493 4202560 50190 0 1 0 182 14 0 0 20 0 10 0 75789099 903692288 74032 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15647] ppid=15632 vsize=882512 CPUtime=0.34
/proc/15645/task/15647/stat : 15647 (java) S 15632 15631 29493 34817 29493 4202560 15794 0 0 0 30 4 0 0 16 0 10 0 75789101 903692288 74032 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 0 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15648] ppid=15632 vsize=882512 CPUtime=0
/proc/15645/task/15648/stat : 15648 (java) S 15632 15631 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 10 0 75789101 903692288 74032 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15649] ppid=15632 vsize=882512 CPUtime=0
/proc/15645/task/15649/stat : 15649 (java) S 15632 15631 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 75789101 903692288 74032 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15650] ppid=15632 vsize=882512 CPUtime=0
/proc/15645/task/15650/stat : 15650 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75789104 903692288 74032 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15651] ppid=15632 vsize=882512 CPUtime=1.21
/proc/15645/task/15651/stat : 15651 (java) S 15632 15631 29493 34817 29493 4202560 10559 0 0 0 120 1 0 0 16 0 10 0 75789104 903692288 74032 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15652] ppid=15632 vsize=882512 CPUtime=0.97
/proc/15645/task/15652/stat : 15652 (java) S 15632 15631 29493 34817 29493 4202560 5180 0 0 0 93 4 0 0 24 0 10 0 75789104 903692288 74032 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15653] ppid=15632 vsize=882512 CPUtime=0
/proc/15645/task/15653/stat : 15653 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75789104 903692288 74032 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=15645/tid=15654] ppid=15632 vsize=882512 CPUtime=0
/proc/15645/task/15654/stat : 15654 (java) S 15632 15631 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 75789104 903692288 74032 1283457024 134512640 134550932 4291493232 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 887648

Child status: 0
Real time (s): 5.16095
CPU time (s): 4.58829
CPU user time (s): 4.30027
CPU system time (s): 0.288018
CPU usage (%): 88.9039
Max. virtual memory (cumulated for all children) (KiB): 891396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.30027
system time used= 0.288018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86601
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= 354
involuntary context switches= 338

runsolver used 0 second user time and 0 second system time

The end