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 300 -d 10 -w /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/trendy-size/real/c2164c84-b015-11df-8b50-00163e46d37a.cudf.log.runsolver /home/competition/p2cudf-full-1.15/p2cudf-full-1.15 /home/competition/data/real/c2164c84-b015-11df-8b50-00163e46d37a.cudf /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/trendy-size/real/c2164c84-b015-11df-8b50-00163e46d37a.cudf.result -count(removed),-sum(solution,installedsize),-notuptodate(solution),-unsat_recommends(solution),-count(new) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 300 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 330 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

[startup+0 s]
/proc/loadavg: 1.77 1.66 1.31 2/59 19034
/proc/meminfo: memFree=447008/1022884 swapFree=0/0
[pid=19034] ppid=19033 vsize=3152 CPUtime=0
/proc/19034/stat : 19034 (runsolver) R 19033 1750 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 119846309 3227648 33 18446744073709551615 134512640 134586868 4286621040 4286619088 4152034352 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/19034/statm: 788 33 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.191912 s]
/proc/loadavg: 1.77 1.66 1.31 2/59 19034
/proc/meminfo: memFree=447008/1022884 swapFree=0/0
[pid=19034] ppid=19033 vsize=9172 CPUtime=0
/proc/19034/stat : 19034 (p2cudf-full-1.1) S 19033 19034 1750 0 -1 4202496 459 294 0 0 0 0 0 0 20 0 1 0 119846309 9392128 332 18446744073709551615 4194304 5129932 140734609181280 140734609179424 140342618600542 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19034/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.200333 s]
/proc/loadavg: 1.77 1.66 1.31 2/59 19034
/proc/meminfo: memFree=447008/1022884 swapFree=0/0
[pid=19034] ppid=19033 vsize=9172 CPUtime=0
/proc/19034/stat : 19034 (p2cudf-full-1.1) S 19033 19034 1750 0 -1 4202496 459 294 0 0 0 0 0 0 20 0 1 0 119846309 9392128 332 18446744073709551615 4194304 5129932 140734609181280 140734609179424 140342618600542 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19034/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.300312 s]
/proc/loadavg: 1.77 1.66 1.31 2/59 19034
/proc/meminfo: memFree=447008/1022884 swapFree=0/0
[pid=19034] ppid=19033 vsize=9172 CPUtime=0
/proc/19034/stat : 19034 (p2cudf-full-1.1) S 19033 19034 1750 0 -1 4202496 459 294 0 0 0 0 0 0 20 0 1 0 119846309 9392128 332 18446744073709551615 4194304 5129932 140734609181280 140734609179424 140342618600542 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19034/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.700265 s]
/proc/loadavg: 1.77 1.66 1.31 2/59 19034
/proc/meminfo: memFree=447008/1022884 swapFree=0/0
[pid=19034] ppid=19033 vsize=9172 CPUtime=0
/proc/19034/stat : 19034 (p2cudf-full-1.1) S 19033 19034 1750 0 -1 4202496 459 294 0 0 0 0 0 0 20 0 1 0 119846309 9392128 332 18446744073709551615 4194304 5129932 140734609181280 140734609179424 140342618600542 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19034/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+1.50081 s]
/proc/loadavg: 1.77 1.66 1.31 4/70 19046
/proc/meminfo: memFree=401652/1022884 swapFree=0/0
[pid=19034] ppid=19033 vsize=9172 CPUtime=0
/proc/19034/stat : 19034 (p2cudf-full-1.1) S 19033 19034 1750 0 -1 4202496 459 294 0 0 0 0 0 0 20 0 1 0 119846309 9392128 332 18446744073709551615 4194304 5129932 140734609181280 140734609179424 140342618600542 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19034/statm: 2293 332 280 229 0 53 0
[pid=19037] ppid=19034 vsize=1054156 CPUtime=1.45
/proc/19037/stat : 19037 (java) S 19034 19034 1750 0 -1 4202496 32347 0 0 0 133 12 0 0 20 0 10 0 119846310 1079455744 29017 18446744073709551615 4194304 4228012 140733822720848 140733822711872 139998420467317 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19037/statm: 263539 29017 2345 9 0 250889 0
[pid=19037/tid=19038] ppid=19034 vsize=1054156 CPUtime=0.67
/proc/19037/task/19038/stat : 19038 (java) R 19034 19034 1750 0 -1 4202560 13423 0 0 0 60 7 0 0 20 0 10 0 119846310 1079455744 29017 18446744073709551615 4194304 4228012 140733822720848 139998426993312 139998324630124 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=19037/tid=19039] ppid=19034 vsize=1054156 CPUtime=0
/proc/19037/task/19039/stat : 19039 (java) S 19034 19034 1750 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 10 0 119846312 1079455744 29017 18446744073709551615 4194304 4228012 140733822720848 139998319639680 139998420481611 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19040] ppid=19034 vsize=1054156 CPUtime=0
/proc/19037/task/19040/stat : 19040 (java) S 19034 19034 1750 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 119846313 1079455744 29017 18446744073709551615 4194304 4228012 140733822720848 139998318585872 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19041] ppid=19034 vsize=1054156 CPUtime=0
/proc/19037/task/19041/stat : 19041 (java) S 19034 19034 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 119846313 1079455744 29017 18446744073709551615 4194304 4228012 140733822720848 139998317533088 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19042] ppid=19034 vsize=1054156 CPUtime=0
/proc/19037/task/19042/stat : 19042 (java) S 19034 19034 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119846315 1079455744 29017 18446744073709551615 4194304 4228012 140733822720848 139998316481520 139998420489248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19043] ppid=19034 vsize=1054156 CPUtime=0.4
/proc/19037/task/19043/stat : 19043 (java) R 19034 19034 1750 0 -1 4202560 9912 0 0 0 38 2 0 0 20 0 10 0 119846315 1079455744 29017 18446744073709551615 4194304 4228012 140733822720848 139998315414200 139998406135758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19044] ppid=19034 vsize=1054156 CPUtime=0.36
/proc/19037/task/19044/stat : 19044 (java) R 19034 19034 1750 0 -1 4202560 7722 0 0 0 34 2 0 0 20 0 10 0 119846315 1079455744 29017 18446744073709551615 4194304 4228012 140733822720848 139998314361416 139998406979602 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19045] ppid=19034 vsize=1054156 CPUtime=0
/proc/19037/task/19045/stat : 19045 (java) S 19034 19034 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119846315 1079455744 29017 18446744073709551615 4194304 4228012 140733822720848 139998313323728 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19046] ppid=19034 vsize=1054156 CPUtime=0
/proc/19037/task/19046/stat : 19046 (java) S 19034 19034 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119846315 1079455744 29017 18446744073709551615 4194304 4228012 140733822720848 139998312271232 139998420481611 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 1063328

[startup+3.10078 s]
/proc/loadavg: 1.77 1.66 1.31 3/70 19046
/proc/meminfo: memFree=291540/1022884 swapFree=0/0
[pid=19034] ppid=19033 vsize=9172 CPUtime=0
/proc/19034/stat : 19034 (p2cudf-full-1.1) S 19033 19034 1750 0 -1 4202496 459 294 0 0 0 0 0 0 20 0 1 0 119846309 9392128 332 18446744073709551615 4194304 5129932 140734609181280 140734609179424 140342618600542 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19034/statm: 2293 332 280 229 0 53 0
[pid=19037] ppid=19034 vsize=1056408 CPUtime=3.01
/proc/19037/stat : 19037 (java) S 19034 19034 1750 0 -1 4202496 80524 0 0 0 272 29 0 0 20 0 10 0 119846310 1081761792 76152 18446744073709551615 4194304 4228012 140733822720848 140733822711872 139998420467317 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19037/statm: 264102 76152 2366 9 0 251452 0
[pid=19037/tid=19038] ppid=19034 vsize=1056408 CPUtime=1.51
/proc/19037/task/19038/stat : 19038 (java) S 19034 19034 1750 0 -1 4202560 47416 0 0 0 132 19 0 0 20 0 10 0 119846310 1081761792 76152 18446744073709551615 4194304 4228012 140733822720848 139998427001264 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0
[pid=19037/tid=19039] ppid=19034 vsize=1056408 CPUtime=0.21
/proc/19037/task/19039/stat : 19039 (java) R 19034 19034 1750 0 -1 4202560 12499 0 0 0 17 4 0 0 20 0 10 0 119846312 1081761792 76152 18446744073709551615 4194304 4228012 140733822720848 139998319639056 139998404778000 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19040] ppid=19034 vsize=1056408 CPUtime=0
/proc/19037/task/19040/stat : 19040 (java) S 19034 19034 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119846313 1081761792 76152 18446744073709551615 4194304 4228012 140733822720848 139998318585872 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19041] ppid=19034 vsize=1056408 CPUtime=0
/proc/19037/task/19041/stat : 19041 (java) S 19034 19034 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 119846313 1081761792 76152 18446744073709551615 4194304 4228012 140733822720848 139998317533088 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19042] ppid=19034 vsize=1056408 CPUtime=0
/proc/19037/task/19042/stat : 19042 (java) S 19034 19034 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119846315 1081761792 76152 18446744073709551615 4194304 4228012 140733822720848 139998316481520 139998420489248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19043] ppid=19034 vsize=1056408 CPUtime=0.64
/proc/19037/task/19043/stat : 19043 (java) S 19034 19034 1750 0 -1 4202560 11051 0 0 0 61 3 0 0 20 0 10 0 119846315 1081761792 76152 18446744073709551615 4194304 4228012 140733822720848 139998315428880 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19044] ppid=19034 vsize=1056408 CPUtime=0.63
/proc/19037/task/19044/stat : 19044 (java) S 19034 19034 1750 0 -1 4202560 8268 0 0 0 61 2 0 0 20 0 10 0 119846315 1081761792 76152 18446744073709551615 4194304 4228012 140733822720848 139998314376208 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19045] ppid=19034 vsize=1056408 CPUtime=0
/proc/19037/task/19045/stat : 19045 (java) S 19034 19034 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119846315 1081761792 76152 18446744073709551615 4194304 4228012 140733822720848 139998313323728 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19046] ppid=19034 vsize=1056408 CPUtime=0
/proc/19037/task/19046/stat : 19046 (java) S 19034 19034 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119846315 1081761792 76152 18446744073709551615 4194304 4228012 140733822720848 139998312271232 139998420481611 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 1065580

[startup+6.30083 s]
/proc/loadavg: 1.79 1.67 1.31 4/70 19046
/proc/meminfo: memFree=65116/1022884 swapFree=0/0
[pid=19034] ppid=19033 vsize=9172 CPUtime=0
/proc/19034/stat : 19034 (p2cudf-full-1.1) S 19033 19034 1750 0 -1 4202496 459 294 0 0 0 0 0 0 20 0 1 0 119846309 9392128 332 18446744073709551615 4194304 5129932 140734609181280 140734609179424 140342618600542 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19034/statm: 2293 332 280 229 0 53 0
[pid=19037] ppid=19034 vsize=1053556 CPUtime=6.15
/proc/19037/stat : 19037 (java) S 19034 19034 1750 0 -1 4202496 99174 0 0 0 581 34 0 0 20 0 10 0 119846310 1078841344 94287 18446744073709551615 4194304 4228012 140733822720848 140733822711872 139998420467317 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19037/statm: 263389 94287 2374 9 0 250739 0
[pid=19037/tid=19038] ppid=19034 vsize=1053556 CPUtime=2.82
/proc/19037/task/19038/stat : 19038 (java) R 19034 19034 1750 0 -1 4202560 47721 0 0 0 262 20 0 0 20 0 10 0 119846310 1078841344 94287 18446744073709551615 4194304 4228012 140733822720848 139998427000072 139998403279585 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0
[pid=19037/tid=19039] ppid=19034 vsize=1053556 CPUtime=0.57
/proc/19037/task/19039/stat : 19039 (java) S 19034 19034 1750 0 -1 4202560 30259 0 0 0 49 8 0 0 20 0 10 0 119846312 1078841344 94287 18446744073709551615 4194304 4228012 140733822720848 139998319639680 139998420481611 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19040] ppid=19034 vsize=1053556 CPUtime=0
/proc/19037/task/19040/stat : 19040 (java) S 19034 19034 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119846313 1078841344 94287 18446744073709551615 4194304 4228012 140733822720848 139998318585872 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19041] ppid=19034 vsize=1053556 CPUtime=0
/proc/19037/task/19041/stat : 19041 (java) S 19034 19034 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 119846313 1078841344 94287 18446744073709551615 4194304 4228012 140733822720848 139998317533088 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19042] ppid=19034 vsize=1053556 CPUtime=0
/proc/19037/task/19042/stat : 19042 (java) S 19034 19034 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119846315 1078841344 94287 18446744073709551615 4194304 4228012 140733822720848 139998316481520 139998420489248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19043] ppid=19034 vsize=1053556 CPUtime=1.34
/proc/19037/task/19043/stat : 19043 (java) R 19034 19034 1750 0 -1 4202560 11169 0 0 0 131 3 0 0 20 0 10 0 119846315 1078841344 94287 18446744073709551615 4194304 4228012 140733822720848 139998315428624 139998404296117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19044] ppid=19034 vsize=1053556 CPUtime=1.4
/proc/19037/task/19044/stat : 19044 (java) R 19034 19034 1750 0 -1 4202560 8734 0 0 0 138 2 0 0 20 0 10 0 119846315 1078841344 94287 18446744073709551615 4194304 4228012 140733822720848 139998314375952 139998403319659 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19045] ppid=19034 vsize=1053556 CPUtime=0
/proc/19037/task/19045/stat : 19045 (java) S 19034 19034 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119846315 1078841344 94287 18446744073709551615 4194304 4228012 140733822720848 139998313323728 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19046] ppid=19034 vsize=1053556 CPUtime=0
/proc/19037/task/19046/stat : 19046 (java) S 19034 19034 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119846315 1078841344 94287 18446744073709551615 4194304 4228012 140733822720848 139998312271232 139998420481611 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 1062728

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

[startup+6.4011 s]
/proc/loadavg: 1.79 1.67 1.31 4/70 19046
/proc/meminfo: memFree=65116/1022884 swapFree=0/0
[pid=19034] ppid=19033 vsize=9172 CPUtime=0
/proc/19034/stat : 19034 (p2cudf-full-1.1) S 19033 19034 1750 0 -1 4202496 459 294 0 0 0 0 0 0 20 0 1 0 119846309 9392128 332 18446744073709551615 4194304 5129932 140734609181280 140734609179424 140342618600542 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19034/statm: 2293 332 280 229 0 53 0
[pid=19037] ppid=19034 vsize=1053556 CPUtime=6.25
/proc/19037/stat : 19037 (java) S 19034 19034 1750 0 -1 4202496 99380 0 0 0 591 34 0 0 20 0 10 0 119846310 1078841344 94341 18446744073709551615 4194304 4228012 140733822720848 140733822711872 139998420467317 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19037/statm: 263389 94341 2374 9 0 250739 0
[pid=19037/tid=19038] ppid=19034 vsize=1053556 CPUtime=2.85
/proc/19037/task/19038/stat : 19038 (java) R 19034 19034 1750 0 -1 4202560 47722 0 0 0 265 20 0 0 20 0 10 0 119846310 1078841344 94341 18446744073709551615 4194304 4228012 140733822720848 139998427000072 139998403635832 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0
[pid=19037/tid=19039] ppid=19034 vsize=1053556 CPUtime=0.57
/proc/19037/task/19039/stat : 19039 (java) S 19034 19034 1750 0 -1 4202560 30259 0 0 0 49 8 0 0 20 0 10 0 119846312 1078841344 94341 18446744073709551615 4194304 4228012 140733822720848 139998319639680 139998420481611 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19040] ppid=19034 vsize=1053556 CPUtime=0
/proc/19037/task/19040/stat : 19040 (java) S 19034 19034 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119846313 1078841344 94341 18446744073709551615 4194304 4228012 140733822720848 139998318585872 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19041] ppid=19034 vsize=1053556 CPUtime=0
/proc/19037/task/19041/stat : 19041 (java) S 19034 19034 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 119846313 1078841344 94341 18446744073709551615 4194304 4228012 140733822720848 139998317533088 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19042] ppid=19034 vsize=1053556 CPUtime=0
/proc/19037/task/19042/stat : 19042 (java) S 19034 19034 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119846315 1078841344 94341 18446744073709551615 4194304 4228012 140733822720848 139998316481520 139998420489248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19043] ppid=19034 vsize=1053556 CPUtime=1.37
/proc/19037/task/19043/stat : 19043 (java) R 19034 19034 1750 0 -1 4202560 11373 0 0 0 134 3 0 0 20 0 10 0 119846315 1078841344 94341 18446744073709551615 4194304 4228012 140733822720848 139998315414248 139998406158830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19044] ppid=19034 vsize=1053556 CPUtime=1.44
/proc/19037/task/19044/stat : 19044 (java) R 19034 19034 1750 0 -1 4202560 8735 0 0 0 142 2 0 0 20 0 10 0 119846315 1078841344 94341 18446744073709551615 4194304 4228012 140733822720848 139998314375952 139998404770306 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19045] ppid=19034 vsize=1053556 CPUtime=0
/proc/19037/task/19045/stat : 19045 (java) S 19034 19034 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119846315 1078841344 94341 18446744073709551615 4194304 4228012 140733822720848 139998313323728 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19046] ppid=19034 vsize=1053556 CPUtime=0
/proc/19037/task/19046/stat : 19046 (java) S 19034 19034 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119846315 1078841344 94341 18446744073709551615 4194304 4228012 140733822720848 139998312271232 139998420481611 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 1062728

[startup+8.00072 s]
/proc/loadavg: 1.79 1.67 1.31 4/70 19046
/proc/meminfo: memFree=63132/1022884 swapFree=0/0
[pid=19034] ppid=19033 vsize=9172 CPUtime=0
/proc/19034/stat : 19034 (p2cudf-full-1.1) S 19033 19034 1750 0 -1 4202496 459 294 0 0 0 0 0 0 20 0 1 0 119846309 9392128 332 18446744073709551615 4194304 5129932 140734609181280 140734609179424 140342618600542 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19034/statm: 2293 332 280 229 0 53 0
[pid=19037] ppid=19034 vsize=1056068 CPUtime=7.83
/proc/19037/stat : 19037 (java) S 19034 19034 1750 0 -1 4202496 100878 0 0 0 748 35 0 0 20 0 11 0 119846310 1081413632 95022 18446744073709551615 4194304 4228012 140733822720848 140733822711872 139998420467317 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19037/statm: 264017 95022 2377 9 0 251367 0
[pid=19037/tid=19038] ppid=19034 vsize=1056068 CPUtime=3.37
/proc/19037/task/19038/stat : 19038 (java) R 19034 19034 1750 0 -1 4202560 47775 0 0 0 317 20 0 0 20 0 11 0 119846310 1081413632 95022 18446744073709551615 4194304 4228012 140733822720848 139998427000832 139998324473552 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0
[pid=19037/tid=19039] ppid=19034 vsize=1056068 CPUtime=0.57
/proc/19037/task/19039/stat : 19039 (java) S 19034 19034 1750 0 -1 4202560 30259 0 0 0 49 8 0 0 20 0 11 0 119846312 1081413632 95022 18446744073709551615 4194304 4228012 140733822720848 139998319639680 139998420481611 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19040] ppid=19034 vsize=1056068 CPUtime=0
/proc/19037/task/19040/stat : 19040 (java) S 19034 19034 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119846313 1081413632 95022 18446744073709551615 4194304 4228012 140733822720848 139998318585872 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19041] ppid=19034 vsize=1056068 CPUtime=0
/proc/19037/task/19041/stat : 19041 (java) S 19034 19034 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119846313 1081413632 95022 18446744073709551615 4194304 4228012 140733822720848 139998317533088 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19042] ppid=19034 vsize=1056068 CPUtime=0
/proc/19037/task/19042/stat : 19042 (java) S 19034 19034 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119846315 1081413632 95022 18446744073709551615 4194304 4228012 140733822720848 139998316481520 139998420489248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19043] ppid=19034 vsize=1056068 CPUtime=1.89
/proc/19037/task/19043/stat : 19043 (java) R 19034 19034 1750 0 -1 4202560 11997 0 0 0 186 3 0 0 20 0 11 0 119846315 1081413632 95022 18446744073709551615 4194304 4228012 140733822720848 139998315428624 139998406299544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19044] ppid=19034 vsize=1056068 CPUtime=1.96
/proc/19037/task/19044/stat : 19044 (java) R 19034 19034 1750 0 -1 4202560 9550 0 0 0 194 2 0 0 20 0 11 0 119846315 1081413632 95022 18446744073709551615 4194304 4228012 140733822720848 139998314361176 139998406158834 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19045] ppid=19034 vsize=1056068 CPUtime=0
/proc/19037/task/19045/stat : 19045 (java) S 19034 19034 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119846315 1081413632 95022 18446744073709551615 4194304 4228012 140733822720848 139998313323728 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19046] ppid=19034 vsize=1056068 CPUtime=0
/proc/19037/task/19046/stat : 19046 (java) S 19034 19034 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119846315 1081413632 95022 18446744073709551615 4194304 4228012 140733822720848 139998312271232 139998420481611 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (KiB) 1065240

[startup+8.80085 s]
/proc/loadavg: 1.79 1.67 1.31 4/71 19047
/proc/meminfo: memFree=60396/1022884 swapFree=0/0
[pid=19034] ppid=19033 vsize=9172 CPUtime=0
/proc/19034/stat : 19034 (p2cudf-full-1.1) S 19033 19034 1750 0 -1 4202496 459 294 0 0 0 0 0 0 20 0 1 0 119846309 9392128 332 18446744073709551615 4194304 5129932 140734609181280 140734609179424 140342618600542 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19034/statm: 2293 332 280 229 0 53 0
[pid=19037] ppid=19034 vsize=1056400 CPUtime=8.64
/proc/19037/stat : 19037 (java) S 19034 19034 1750 0 -1 4202496 101816 0 0 0 828 36 0 0 20 0 11 0 119846310 1081753600 95302 18446744073709551615 4194304 4228012 140733822720848 140733822711872 139998420467317 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19037/statm: 264100 95302 2377 9 0 251450 0
[pid=19037/tid=19038] ppid=19034 vsize=1056400 CPUtime=3.64
/proc/19037/task/19038/stat : 19038 (java) R 19034 19034 1750 0 -1 4202560 47802 0 0 0 344 20 0 0 20 0 11 0 119846310 1081753600 95302 18446744073709551615 4194304 4228012 140733822720848 139998426992544 139998403962307 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0
[pid=19037/tid=19039] ppid=19034 vsize=1056400 CPUtime=0.57
/proc/19037/task/19039/stat : 19039 (java) S 19034 19034 1750 0 -1 4202560 30259 0 0 0 49 8 0 0 20 0 11 0 119846312 1081753600 95302 18446744073709551615 4194304 4228012 140733822720848 139998319639680 139998420481611 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19040] ppid=19034 vsize=1056400 CPUtime=0
/proc/19037/task/19040/stat : 19040 (java) S 19034 19034 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119846313 1081753600 95302 18446744073709551615 4194304 4228012 140733822720848 139998318585872 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19041] ppid=19034 vsize=1056400 CPUtime=0
/proc/19037/task/19041/stat : 19041 (java) S 19034 19034 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119846313 1081753600 95302 18446744073709551615 4194304 4228012 140733822720848 139998317533088 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19042] ppid=19034 vsize=1056400 CPUtime=0
/proc/19037/task/19042/stat : 19042 (java) S 19034 19034 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119846315 1081753600 95302 18446744073709551615 4194304 4228012 140733822720848 139998316481520 139998420489248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19043] ppid=19034 vsize=1056400 CPUtime=2.16
/proc/19037/task/19043/stat : 19043 (java) R 19034 19034 1750 0 -1 4202560 12863 0 0 0 212 4 0 0 20 0 11 0 119846315 1081753600 95302 18446744073709551615 4194304 4228012 140733822720848 139998315414248 139998402694113 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19044] ppid=19034 vsize=1056400 CPUtime=2.22
/proc/19037/task/19044/stat : 19044 (java) R 19034 19034 1750 0 -1 4202560 9595 0 0 0 220 2 0 0 20 0 11 0 119846315 1081753600 95302 18446744073709551615 4194304 4228012 140733822720848 139998314375952 139998403250913 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19045] ppid=19034 vsize=1056400 CPUtime=0
/proc/19037/task/19045/stat : 19045 (java) S 19034 19034 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119846315 1081753600 95302 18446744073709551615 4194304 4228012 140733822720848 139998313323728 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19046] ppid=19034 vsize=1056400 CPUtime=0
/proc/19037/task/19046/stat : 19046 (java) S 19034 19034 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119846315 1081753600 95302 18446744073709551615 4194304 4228012 140733822720848 139998312271232 139998420481611 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19047] ppid=19034 vsize=1056400 CPUtime=0
/proc/19037/task/19047/stat : 19047 (java) S 19034 19034 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119847091 1081753600 95302 18446744073709551615 4194304 4228012 140733822720848 139998311073632 139998420481611 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.64
Current children cumulated vsize (KiB) 1065572

[startup+9.20085 s]
/proc/loadavg: 1.79 1.67 1.31 4/71 19047
/proc/meminfo: memFree=60396/1022884 swapFree=0/0
[pid=19034] ppid=19033 vsize=9172 CPUtime=0
/proc/19034/stat : 19034 (p2cudf-full-1.1) S 19033 19034 1750 0 -1 4202496 459 294 0 0 0 0 0 0 20 0 1 0 119846309 9392128 332 18446744073709551615 4194304 5129932 140734609181280 140734609179424 140342618600542 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19034/statm: 2293 332 280 229 0 53 0
[pid=19037] ppid=19034 vsize=1057428 CPUtime=8.98
/proc/19037/stat : 19037 (java) S 19034 19034 1750 0 -1 4202496 101845 0 0 0 862 36 0 0 20 0 11 0 119846310 1082806272 95121 18446744073709551615 4194304 4228012 140733822720848 140733822711872 139998420467317 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19037/statm: 264357 95121 2378 9 0 251707 0
[pid=19037/tid=19038] ppid=19034 vsize=1057428 CPUtime=3.66
/proc/19037/task/19038/stat : 19038 (java) S 19034 19034 1750 0 -1 4202560 47811 0 0 0 346 20 0 0 20 0 11 0 119846310 1082806272 95121 18446744073709551615 4194304 4228012 140733822720848 139998427001776 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0
[pid=19037/tid=19039] ppid=19034 vsize=1057428 CPUtime=0.58
/proc/19037/task/19039/stat : 19039 (java) S 19034 19034 1750 0 -1 4202560 30259 0 0 0 50 8 0 0 20 0 11 0 119846312 1082806272 95121 18446744073709551615 4194304 4228012 140733822720848 139998319639680 139998420481611 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19040] ppid=19034 vsize=1057428 CPUtime=0
/proc/19037/task/19040/stat : 19040 (java) S 19034 19034 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119846313 1082806272 95121 18446744073709551615 4194304 4228012 140733822720848 139998318585872 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19041] ppid=19034 vsize=1057428 CPUtime=0
/proc/19037/task/19041/stat : 19041 (java) S 19034 19034 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119846313 1082806272 95121 18446744073709551615 4194304 4228012 140733822720848 139998317533088 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19042] ppid=19034 vsize=1057428 CPUtime=0
/proc/19037/task/19042/stat : 19042 (java) S 19034 19034 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119846315 1082806272 95121 18446744073709551615 4194304 4228012 140733822720848 139998316481520 139998420489248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19043] ppid=19034 vsize=1057428 CPUtime=2.32
/proc/19037/task/19043/stat : 19043 (java) S 19034 19034 1750 0 -1 4202560 12876 0 0 0 228 4 0 0 20 0 11 0 119846315 1082806272 95121 18446744073709551615 4194304 4228012 140733822720848 139998315428880 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19044] ppid=19034 vsize=1057428 CPUtime=2.38
/proc/19037/task/19044/stat : 19044 (java) S 19034 19034 1750 0 -1 4202560 9596 0 0 0 236 2 0 0 20 0 11 0 119846315 1082806272 95121 18446744073709551615 4194304 4228012 140733822720848 139998314376208 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19045] ppid=19034 vsize=1057428 CPUtime=0
/proc/19037/task/19045/stat : 19045 (java) S 19034 19034 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119846315 1082806272 95121 18446744073709551615 4194304 4228012 140733822720848 139998313323728 139998420480724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19037/tid=19046] ppid=19034 vsize=1057428 CPUtime=0
/proc/19037/task/19046/stat : 19046 (java) S 19034 19034 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119846315 1082806272 95121 18446744073709551615 4194304 4228012 140733822720848 139998312271232 139998420481611 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.98
Current children cumulated vsize (KiB) 1066600

[startup+9.60062 s]
/proc/loadavg: 1.79 1.67 1.31 4/71 19047
/proc/meminfo: memFree=60396/1022884 swapFree=0/0
[pid=19034] ppid=19033 vsize=9172 CPUtime=0
/proc/19034/stat : 19034 (p2cudf-full-1.1) S 19033 19034 1750 0 -1 4202496 459 294 0 0 0 0 0 0 20 0 1 0 119846309 9392128 332 18446744073709551615 4194304 5129932 140734609181280 140734609179424 140342618600542 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19034/statm: 2293 332 280 229 0 53 0
[pid=19037] ppid=19034 vsize=0 CPUtime=9.16
/proc/19037/stat : 19037 (java) Z 19034 19034 1750 0 -1 4203532 101869 0 0 0 875 41 0 0 20 0 2 0 119846310 0 0 18446744073709551615 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19037/statm: 0 0 0 0 0 0 0
[pid=19037/tid=19043] ppid=19034 vsize=0 CPUtime=2.36
/proc/19037/task/19043/stat : 19043 (java) R 19034 19034 1750 0 -1 4203588 12880 0 0 0 232 4 0 0 20 0 2 0 119846315 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) 9.16
Current children cumulated vsize (KiB) 9172

Child status: 0
Real time (s): 9.61725
CPU time (s): 9.19657
CPU user time (s): 8.76055
CPU system time (s): 0.436027
CPU usage (%): 95.6259
Max. virtual memory (cumulated for all children) (KiB): 1066600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.76055
system time used= 0.436027
maximum resident set size= 381852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102635
page faults= 0
swaps= 0
block input operations= 26576
block output operations= 248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 723
involuntary context switches= 2862

runsolver used 0.004 second user time and 0.100006 second system time

The end