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: runsolver -s SIGUSR1 -M 1124 -C 150 -d 10 -w /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/paranoid-size/real/d023d256-3477-11e0-bdb2-00163e3d3b7c.cudf.log.runsolver /home/competition/p2cudf-basic-1.15/p2cudf-basic-1.15 /home/competition/data/real/d023d256-3477-11e0-bdb2-00163e3d3b7c.cudf /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/paranoid-size/real/d023d256-3477-11e0-bdb2-00163e3d3b7c.cudf.result -count(removed),-sum(solution,installedsize),-count(changed) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 150 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 180 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.66 1.41 1.12 2/60 8410
/proc/meminfo: memFree=450524/1022884 swapFree=0/0
[pid=8410] ppid=8409 vsize=3152 CPUtime=0
/proc/8410/stat : 8410 (runsolver) R 8409 32685 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 37266922 3227648 32 18446744073709551615 134512640 134586868 4287601984 4287600032 4151759920 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 788 32 0 19 0 73 0

[startup+0.174968 s]
/proc/loadavg: 1.66 1.41 1.12 2/60 8410
/proc/meminfo: memFree=450524/1022884 swapFree=0/0
[pid=8410] ppid=8409 vsize=9172 CPUtime=0
/proc/8410/stat : 8410 (p2cudf-basic-1.) S 8409 8410 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37266922 9392128 331 18446744073709551615 4194304 5129932 140733502684512 140733502682656 140731159807070 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.200262 s]
/proc/loadavg: 1.66 1.41 1.12 2/60 8410
/proc/meminfo: memFree=450524/1022884 swapFree=0/0
[pid=8410] ppid=8409 vsize=9172 CPUtime=0
/proc/8410/stat : 8410 (p2cudf-basic-1.) S 8409 8410 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37266922 9392128 331 18446744073709551615 4194304 5129932 140733502684512 140733502682656 140731159807070 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.300252 s]
/proc/loadavg: 1.66 1.41 1.12 2/60 8410
/proc/meminfo: memFree=450524/1022884 swapFree=0/0
[pid=8410] ppid=8409 vsize=9172 CPUtime=0
/proc/8410/stat : 8410 (p2cudf-basic-1.) S 8409 8410 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37266922 9392128 331 18446744073709551615 4194304 5129932 140733502684512 140733502682656 140731159807070 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.700196 s]
/proc/loadavg: 1.66 1.41 1.12 2/60 8410
/proc/meminfo: memFree=450524/1022884 swapFree=0/0
[pid=8410] ppid=8409 vsize=9172 CPUtime=0
/proc/8410/stat : 8410 (p2cudf-basic-1.) S 8409 8410 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37266922 9392128 331 18446744073709551615 4194304 5129932 140733502684512 140733502682656 140731159807070 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+1.50056 s]
/proc/loadavg: 1.66 1.41 1.12 4/71 8422
/proc/meminfo: memFree=331264/1022884 swapFree=0/0
[pid=8410] ppid=8409 vsize=9172 CPUtime=0
/proc/8410/stat : 8410 (p2cudf-basic-1.) S 8409 8410 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37266922 9392128 331 18446744073709551615 4194304 5129932 140733502684512 140733502682656 140731159807070 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 2293 331 280 229 0 53 0
[pid=8413] ppid=8410 vsize=1050948 CPUtime=1.47
/proc/8413/stat : 8413 (java) S 8410 8410 32685 0 -1 4202496 45032 0 0 0 133 14 0 0 20 0 10 0 37266922 1076170752 40203 18446744073709551615 4194304 4228012 140734815355824 140734815346848 140701007351413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8413/statm: 262737 40203 2349 9 0 250087 0
[pid=8413/tid=8414] ppid=8410 vsize=1050948 CPUtime=0.62
/proc/8413/task/8414/stat : 8414 (java) R 8410 8410 32685 0 -1 4202560 23830 0 0 0 56 6 0 0 20 0 10 0 37266923 1076170752 40203 18446744073709551615 4194304 4228012 140734815355824 140701013877440 140700911800366 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=8413/tid=8415] ppid=8410 vsize=1050948 CPUtime=0
/proc/8413/task/8415/stat : 8415 (java) S 8410 8410 32685 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 10 0 37266924 1076170752 40203 18446744073709551615 4194304 4228012 140734815355824 140700906523776 140701007365707 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8416] ppid=8410 vsize=1050948 CPUtime=0
/proc/8413/task/8416/stat : 8416 (java) S 8410 8410 32685 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 37266925 1076170752 40203 18446744073709551615 4194304 4228012 140734815355824 140700905469968 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8417] ppid=8410 vsize=1050948 CPUtime=0
/proc/8413/task/8417/stat : 8417 (java) S 8410 8410 32685 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 37266925 1076170752 40203 18446744073709551615 4194304 4228012 140734815355824 140700904417184 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8418] ppid=8410 vsize=1050948 CPUtime=0
/proc/8413/task/8418/stat : 8418 (java) S 8410 8410 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 37266928 1076170752 40203 18446744073709551615 4194304 4228012 140734815355824 140700903365616 140701007373344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8419] ppid=8410 vsize=1050948 CPUtime=0.41
/proc/8413/task/8419/stat : 8419 (java) R 8410 8410 32685 0 -1 4202560 9626 0 0 0 38 3 0 0 20 0 10 0 37266928 1076170752 40203 18446744073709551615 4194304 4228012 140734815355824 140700902298344 140700989088513 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8420] ppid=8410 vsize=1050948 CPUtime=0.41
/proc/8413/task/8420/stat : 8420 (java) R 8410 8410 32685 0 -1 4202560 10283 0 0 0 38 3 0 0 20 0 10 0 37266928 1076170752 40203 18446744073709551615 4194304 4228012 140734815355824 140700901260048 140700911284334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8421] ppid=8410 vsize=1050948 CPUtime=0
/proc/8413/task/8421/stat : 8421 (java) S 8410 8410 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37266928 1076170752 40203 18446744073709551615 4194304 4228012 140734815355824 140700900207824 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8422] ppid=8410 vsize=1050948 CPUtime=0
/proc/8413/task/8422/stat : 8422 (java) S 8410 8410 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37266928 1076170752 40203 18446744073709551615 4194304 4228012 140734815355824 140700899155328 140701007365707 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 1060120

[startup+3.1008 s]
/proc/loadavg: 1.66 1.41 1.12 2/71 8422
/proc/meminfo: memFree=162376/1022884 swapFree=0/0
[pid=8410] ppid=8409 vsize=9172 CPUtime=0
/proc/8410/stat : 8410 (p2cudf-basic-1.) S 8409 8410 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37266922 9392128 331 18446744073709551615 4194304 5129932 140733502684512 140733502682656 140731159807070 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 2293 331 280 229 0 53 0
[pid=8413] ppid=8410 vsize=1050948 CPUtime=3.02
/proc/8413/stat : 8413 (java) S 8410 8410 32685 0 -1 4202496 92542 0 0 0 274 28 0 0 20 0 10 0 37266922 1076170752 87712 18446744073709551615 4194304 4228012 140734815355824 140734815346848 140701007351413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8413/statm: 262737 87712 2370 9 0 250087 0
[pid=8413/tid=8414] ppid=8410 vsize=1050948 CPUtime=1.54
/proc/8413/task/8414/stat : 8414 (java) S 8410 8410 32685 0 -1 4202560 47404 0 0 0 139 15 0 0 20 0 10 0 37266923 1076170752 87712 18446744073709551615 4194304 4228012 140734815355824 140701013885456 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=8413/tid=8415] ppid=8410 vsize=1050948 CPUtime=0.5
/proc/8413/task/8415/stat : 8415 (java) R 8410 8410 32685 0 -1 4202560 23887 0 0 0 44 6 0 0 20 0 10 0 37266924 1076170752 87712 18446744073709551615 4194304 4228012 140734815355824 140700906523152 140700991474958 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8416] ppid=8410 vsize=1050948 CPUtime=0
/proc/8413/task/8416/stat : 8416 (java) S 8410 8410 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 37266925 1076170752 87712 18446744073709551615 4194304 4228012 140734815355824 140700905469968 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8417] ppid=8410 vsize=1050948 CPUtime=0
/proc/8413/task/8417/stat : 8417 (java) S 8410 8410 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 37266925 1076170752 87712 18446744073709551615 4194304 4228012 140734815355824 140700904417184 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8418] ppid=8410 vsize=1050948 CPUtime=0
/proc/8413/task/8418/stat : 8418 (java) S 8410 8410 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 37266928 1076170752 87712 18446744073709551615 4194304 4228012 140734815355824 140700903365616 140701007373344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8419] ppid=8410 vsize=1050948 CPUtime=0.48
/proc/8413/task/8419/stat : 8419 (java) S 8410 8410 32685 0 -1 4202560 9669 0 0 0 45 3 0 0 20 0 10 0 37266928 1076170752 87712 18446744073709551615 4194304 4228012 140734815355824 140700902312976 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8420] ppid=8410 vsize=1050948 CPUtime=0.47
/proc/8413/task/8420/stat : 8420 (java) S 8410 8410 32685 0 -1 4202560 10288 0 0 0 44 3 0 0 20 0 10 0 37266928 1076170752 87712 18446744073709551615 4194304 4228012 140734815355824 140700901260304 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8421] ppid=8410 vsize=1050948 CPUtime=0
/proc/8413/task/8421/stat : 8421 (java) S 8410 8410 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37266928 1076170752 87712 18446744073709551615 4194304 4228012 140734815355824 140700900207824 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8422] ppid=8410 vsize=1050948 CPUtime=0
/proc/8413/task/8422/stat : 8422 (java) S 8410 8410 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37266928 1076170752 87712 18446744073709551615 4194304 4228012 140734815355824 140700899155328 140701007365707 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 1060120

[startup+6.30078 s]
/proc/loadavg: 1.77 1.43 1.13 2/72 8423
/proc/meminfo: memFree=62920/1022884 swapFree=0/0
[pid=8410] ppid=8409 vsize=9172 CPUtime=0
/proc/8410/stat : 8410 (p2cudf-basic-1.) S 8409 8410 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37266922 9392128 331 18446744073709551615 4194304 5129932 140733502684512 140733502682656 140731159807070 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 2293 331 280 229 0 53 0
[pid=8413] ppid=8410 vsize=1053004 CPUtime=5.71
/proc/8413/stat : 8413 (java) S 8410 8410 32685 0 -1 4202496 112107 0 0 0 538 33 0 0 20 0 11 0 37266922 1078276096 102638 18446744073709551615 4194304 4228012 140734815355824 140734815346848 140701007351413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8413/statm: 263251 102638 2378 9 0 250601 0
[pid=8413/tid=8414] ppid=8410 vsize=1053004 CPUtime=2.59
/proc/8413/task/8414/stat : 8414 (java) S 8410 8410 32685 0 -1 4202560 47798 0 0 0 243 16 0 0 20 0 11 0 37266923 1078276096 102638 18446744073709551615 4194304 4228012 140734815355824 140701013885872 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0
[pid=8413/tid=8415] ppid=8410 vsize=1053004 CPUtime=0.77
/proc/8413/task/8415/stat : 8415 (java) S 8410 8410 32685 0 -1 4202560 38077 0 0 0 67 10 0 0 20 0 11 0 37266924 1078276096 102638 18446744073709551615 4194304 4228012 140734815355824 140700906523776 140701007365707 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8416] ppid=8410 vsize=1053004 CPUtime=0
/proc/8413/task/8416/stat : 8416 (java) S 8410 8410 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 37266925 1078276096 102638 18446744073709551615 4194304 4228012 140734815355824 140700905469968 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8417] ppid=8410 vsize=1053004 CPUtime=0
/proc/8413/task/8417/stat : 8417 (java) S 8410 8410 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37266925 1078276096 102638 18446744073709551615 4194304 4228012 140734815355824 140700904417184 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8418] ppid=8410 vsize=1053004 CPUtime=0
/proc/8413/task/8418/stat : 8418 (java) S 8410 8410 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37266928 1078276096 102638 18446744073709551615 4194304 4228012 140734815355824 140700903365616 140701007373344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8419] ppid=8410 vsize=1053004 CPUtime=1.15
/proc/8413/task/8419/stat : 8419 (java) R 8410 8410 32685 0 -1 4202560 9901 0 0 0 112 3 0 0 20 0 11 0 37266928 1078276096 102638 18446744073709551615 4194304 4228012 140734815355824 140700902312720 140700993079026 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8420] ppid=8410 vsize=1053004 CPUtime=1.16
/proc/8413/task/8420/stat : 8420 (java) S 8410 8410 32685 0 -1 4202560 15025 0 0 0 112 4 0 0 20 0 11 0 37266928 1078276096 102638 18446744073709551615 4194304 4228012 140734815355824 140700901260304 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8421] ppid=8410 vsize=1053004 CPUtime=0
/proc/8413/task/8421/stat : 8421 (java) S 8410 8410 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37266928 1078276096 102638 18446744073709551615 4194304 4228012 140734815355824 140700900207824 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8422] ppid=8410 vsize=1053004 CPUtime=0
/proc/8413/task/8422/stat : 8422 (java) S 8410 8410 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37266928 1078276096 102638 18446744073709551615 4194304 4228012 140734815355824 140700899155328 140701007365707 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 1062176

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

[startup+6.401 s]
/proc/loadavg: 1.77 1.43 1.13 2/72 8423
/proc/meminfo: memFree=62920/1022884 swapFree=0/0
[pid=8410] ppid=8409 vsize=9172 CPUtime=0
/proc/8410/stat : 8410 (p2cudf-basic-1.) S 8409 8410 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37266922 9392128 331 18446744073709551615 4194304 5129932 140733502684512 140733502682656 140731159807070 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 2293 331 280 229 0 53 0
[pid=8413] ppid=8410 vsize=1053004 CPUtime=5.82
/proc/8413/stat : 8413 (java) S 8410 8410 32685 0 -1 4202496 112110 0 0 0 546 36 0 0 20 0 11 0 37266922 1078276096 102641 18446744073709551615 4194304 4228012 140734815355824 140734815346848 140701007351413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8413/statm: 263251 102641 2378 9 0 250601 0
[pid=8413/tid=8414] ppid=8410 vsize=1053004 CPUtime=2.59
/proc/8413/task/8414/stat : 8414 (java) S 8410 8410 32685 0 -1 4202560 47798 0 0 0 243 16 0 0 20 0 11 0 37266923 1078276096 102641 18446744073709551615 4194304 4228012 140734815355824 140701013885872 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0
[pid=8413/tid=8415] ppid=8410 vsize=1053004 CPUtime=0.77
/proc/8413/task/8415/stat : 8415 (java) S 8410 8410 32685 0 -1 4202560 38077 0 0 0 67 10 0 0 20 0 11 0 37266924 1078276096 102641 18446744073709551615 4194304 4228012 140734815355824 140700906523776 140701007365707 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8416] ppid=8410 vsize=1053004 CPUtime=0
/proc/8413/task/8416/stat : 8416 (java) S 8410 8410 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 37266925 1078276096 102641 18446744073709551615 4194304 4228012 140734815355824 140700905469968 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8417] ppid=8410 vsize=1053004 CPUtime=0
/proc/8413/task/8417/stat : 8417 (java) S 8410 8410 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37266925 1078276096 102641 18446744073709551615 4194304 4228012 140734815355824 140700904417184 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8418] ppid=8410 vsize=1053004 CPUtime=0
/proc/8413/task/8418/stat : 8418 (java) S 8410 8410 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37266928 1078276096 102641 18446744073709551615 4194304 4228012 140734815355824 140700903365616 140701007373344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8419] ppid=8410 vsize=1053004 CPUtime=1.17
/proc/8413/task/8419/stat : 8419 (java) S 8410 8410 32685 0 -1 4202560 9901 0 0 0 114 3 0 0 20 0 11 0 37266928 1078276096 102641 18446744073709551615 4194304 4228012 140734815355824 140700902312976 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8420] ppid=8410 vsize=1053004 CPUtime=1.16
/proc/8413/task/8420/stat : 8420 (java) S 8410 8410 32685 0 -1 4202560 15025 0 0 0 112 4 0 0 20 0 11 0 37266928 1078276096 102641 18446744073709551615 4194304 4228012 140734815355824 140700901260304 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8421] ppid=8410 vsize=1053004 CPUtime=0
/proc/8413/task/8421/stat : 8421 (java) S 8410 8410 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37266928 1078276096 102641 18446744073709551615 4194304 4228012 140734815355824 140700900207824 140701007364820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8413/tid=8422] ppid=8410 vsize=1053004 CPUtime=0
/proc/8413/task/8422/stat : 8422 (java) S 8410 8410 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37266928 1078276096 102641 18446744073709551615 4194304 4228012 140734815355824 140700899155328 140701007365707 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 1062176

[startup+6.50762 s]
/proc/loadavg: 1.77 1.43 1.13 2/72 8423
/proc/meminfo: memFree=62920/1022884 swapFree=0/0
[pid=8410] ppid=8409 vsize=9172 CPUtime=0
/proc/8410/stat : 8410 (p2cudf-basic-1.) S 8409 8410 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37266922 9392128 331 18446744073709551615 4194304 5129932 140733502684512 140733502682656 140731159807070 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 2293 331 280 229 0 53 0
[pid=8413] ppid=8410 vsize=0 CPUtime=5.91
/proc/8413/stat : 8413 (java) Z 8410 8410 32685 0 -1 4203532 112123 0 0 0 553 38 0 0 20 0 2 0 37266922 0 0 18446744073709551615 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8413/statm: 0 0 0 0 0 0 0
[pid=8413/tid=8420] ppid=8410 vsize=0 CPUtime=1.21
/proc/8413/task/8420/stat : 8420 (java) R 8410 8410 32685 0 -1 4203588 15026 0 0 0 116 5 0 0 20 0 2 0 37266928 0 0 18446744073709551615 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 9172

Child status: 0
Real time (s): 6.51578
CPU time (s): 5.93637
CPU user time (s): 5.54035
CPU system time (s): 0.396024
CPU usage (%): 91.1076
Max. virtual memory (cumulated for all children) (KiB): 1062176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.54035
system time used= 0.396024
maximum resident set size= 410608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112886
page faults= 0
swaps= 0
block input operations= 29472
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 815
involuntary context switches= 1427

runsolver used 0.008 second user time and 0.056003 second system time

The end