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/upgrade/install/rand118.cudf.log.runsolver /home/competition/p2cudf-full-1.15/p2cudf-full-1.15 /home/competition/data/install/rand118.cudf /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/upgrade/install/rand118.cudf.result -count(down),-notuptodate(solution),-aligned(solution,source,sourceversion),-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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.05 1.06 0.91 2/57 15783
/proc/meminfo: memFree=764204/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=1068 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) D 15782 15783 32685 0 -1 4194304 75 0 0 0 0 0 0 0 20 0 1 0 39014328 1093632 1 18446744073709551615 0 0 140734009510826 4292520640 4152198192 0 0 16781316 0 0 0 0 17 0 0 0 0 0 0
/proc/15783/statm: 267 1 0 0 0 28 0

[startup+0.195401 s]
/proc/loadavg: 1.05 1.06 0.91 2/57 15783
/proc/meminfo: memFree=764204/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=9168 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) S 15782 15783 32685 0 -1 4202496 453 291 2 1 0 0 0 0 20 0 1 0 39014328 9388032 330 18446744073709551615 4194304 5129932 140734009502736 140734009500880 140580013569118 0 65536 16781316 65538 0 0 0 17 0 0 0 2 0 0
/proc/15783/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.200333 s]
/proc/loadavg: 1.05 1.06 0.91 2/57 15783
/proc/meminfo: memFree=764204/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=9168 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) S 15782 15783 32685 0 -1 4202496 453 291 2 1 0 0 0 0 20 0 1 0 39014328 9388032 330 18446744073709551615 4194304 5129932 140734009502736 140734009500880 140580013569118 0 65536 16781316 65538 0 0 0 17 0 0 0 2 0 0
/proc/15783/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.30033 s]
/proc/loadavg: 1.05 1.06 0.91 2/57 15783
/proc/meminfo: memFree=764204/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=9168 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) S 15782 15783 32685 0 -1 4202496 453 291 2 1 0 0 0 0 20 0 1 0 39014328 9388032 330 18446744073709551615 4194304 5129932 140734009502736 140734009500880 140580013569118 0 65536 16781316 65538 0 0 0 17 0 0 0 2 0 0
/proc/15783/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.700427 s]
/proc/loadavg: 1.05 1.06 0.91 2/57 15783
/proc/meminfo: memFree=764204/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=9168 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) S 15782 15783 32685 0 -1 4202496 453 291 2 1 0 0 0 0 20 0 1 0 39014328 9388032 330 18446744073709551615 4194304 5129932 140734009502736 140734009500880 140580013569118 0 65536 16781316 65538 0 0 0 17 0 0 0 2 0 0
/proc/15783/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+1.5007 s]
/proc/loadavg: 1.05 1.06 0.91 3/68 15795
/proc/meminfo: memFree=724552/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=9168 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) S 15782 15783 32685 0 -1 4202496 453 291 2 1 0 0 0 0 20 0 1 0 39014328 9388032 330 18446744073709551615 4194304 5129932 140734009502736 140734009500880 140580013569118 0 65536 16781316 65538 0 0 0 17 0 0 0 2 0 0
/proc/15783/statm: 2292 330 280 229 0 52 0
[pid=15786] ppid=15783 vsize=1045120 CPUtime=1.33
/proc/15786/stat : 15786 (java) S 15783 15783 32685 0 -1 4202496 28544 0 20 0 116 17 0 0 20 0 10 0 39014332 1070202880 25646 18446744073709551615 4194304 4228012 140734744063072 140734744054096 139956841782901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5 0 0
/proc/15786/statm: 261280 25646 2344 9 0 248630 0
[pid=15786/tid=15787] ppid=15783 vsize=1045120 CPUtime=0.64
/proc/15786/task/15787/stat : 15787 (java) R 15783 15783 32685 0 -1 4202560 12603 0 8 0 57 7 0 0 20 0 10 0 39014338 1070202880 25646 18446744073709551615 4194304 4228012 140734744063072 139956848308896 139956746127916 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0
[pid=15786/tid=15788] ppid=15783 vsize=1045120 CPUtime=0
/proc/15786/task/15788/stat : 15788 (java) S 15783 15783 32685 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 10 0 39014346 1070202880 25646 18446744073709551615 4194304 4228012 140734744063072 139956740955264 139956841797195 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15789] ppid=15783 vsize=1045120 CPUtime=0
/proc/15786/task/15789/stat : 15789 (java) S 15783 15783 32685 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 39014347 1070202880 25646 18446744073709551615 4194304 4228012 140734744063072 139956739901456 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15790] ppid=15783 vsize=1045120 CPUtime=0
/proc/15786/task/15790/stat : 15790 (java) S 15783 15783 32685 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 39014347 1070202880 25646 18446744073709551615 4194304 4228012 140734744063072 139956738848672 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15791] ppid=15783 vsize=1045120 CPUtime=0
/proc/15786/task/15791/stat : 15791 (java) S 15783 15783 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 39014351 1070202880 25646 18446744073709551615 4194304 4228012 140734744063072 139956737797104 139956841804832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15792] ppid=15783 vsize=1045120 CPUtime=0.33
/proc/15786/task/15792/stat : 15792 (java) R 15783 15783 32685 0 -1 4202560 7077 0 0 0 31 2 0 0 20 0 10 0 39014351 1070202880 25646 18446744073709551615 4194304 4228012 140734744063072 139956736732264 139956829149541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15793] ppid=15783 vsize=1045120 CPUtime=0.32
/proc/15786/task/15793/stat : 15793 (java) R 15783 15783 32685 0 -1 4202560 7586 0 0 0 26 6 0 0 20 0 10 0 39014352 1070202880 25646 18446744073709551615 4194304 4228012 140734744063072 139956735677112 139956841800438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15794] ppid=15783 vsize=1045120 CPUtime=0
/proc/15786/task/15794/stat : 15794 (java) S 15783 15783 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 39014352 1070202880 25646 18446744073709551615 4194304 4228012 140734744063072 139956734639312 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15795] ppid=15783 vsize=1045120 CPUtime=0
/proc/15786/task/15795/stat : 15795 (java) S 15783 15783 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 39014352 1070202880 25646 18446744073709551615 4194304 4228012 140734744063072 139956733586816 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 1054288

[startup+3.10077 s]
/proc/loadavg: 1.05 1.06 0.91 5/68 15795
/proc/meminfo: memFree=624112/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=9168 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) S 15782 15783 32685 0 -1 4202496 453 291 2 1 0 0 0 0 20 0 1 0 39014328 9388032 330 18446744073709551615 4194304 5129932 140734009502736 140734009500880 140580013569118 0 65536 16781316 65538 0 0 0 17 0 0 0 2 0 0
/proc/15783/statm: 2292 330 280 229 0 52 0
[pid=15786] ppid=15783 vsize=1044716 CPUtime=2.91
/proc/15786/stat : 15786 (java) S 15783 15783 32685 0 -1 4202496 74980 0 20 0 259 32 0 0 20 0 10 0 39014332 1069789184 69759 18446744073709551615 4194304 4228012 140734744063072 140734744054096 139956841782901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5 0 0
/proc/15786/statm: 261179 69759 2365 9 0 248529 0
[pid=15786/tid=15787] ppid=15783 vsize=1044716 CPUtime=1.45
/proc/15786/task/15787/stat : 15787 (java) R 15783 15783 32685 0 -1 4202560 47389 0 8 0 125 20 0 0 20 0 10 0 39014338 1069789184 69759 18446744073709551615 4194304 4228012 140734744063072 139956848308928 139956746233792 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0
[pid=15786/tid=15788] ppid=15783 vsize=1044716 CPUtime=0.17
/proc/15786/task/15788/stat : 15788 (java) S 15783 15783 32685 0 -1 4202560 8514 0 0 0 15 2 0 0 20 0 10 0 39014346 1069789184 69759 18446744073709551615 4194304 4228012 140734744063072 139956740955264 139956841797195 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15789] ppid=15783 vsize=1044716 CPUtime=0
/proc/15786/task/15789/stat : 15789 (java) S 15783 15783 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 39014347 1069789184 69759 18446744073709551615 4194304 4228012 140734744063072 139956739901456 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15790] ppid=15783 vsize=1044716 CPUtime=0
/proc/15786/task/15790/stat : 15790 (java) S 15783 15783 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 39014347 1069789184 69759 18446744073709551615 4194304 4228012 140734744063072 139956738848672 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15791] ppid=15783 vsize=1044716 CPUtime=0
/proc/15786/task/15791/stat : 15791 (java) S 15783 15783 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 39014351 1069789184 69759 18446744073709551615 4194304 4228012 140734744063072 139956737797104 139956841804832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15792] ppid=15783 vsize=1044716 CPUtime=0.63
/proc/15786/task/15792/stat : 15792 (java) S 15783 15783 32685 0 -1 4202560 7855 0 0 0 61 2 0 0 20 0 10 0 39014351 1069789184 69759 18446744073709551615 4194304 4228012 140734744063072 139956736744464 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15793] ppid=15783 vsize=1044716 CPUtime=0.61
/proc/15786/task/15793/stat : 15793 (java) S 15783 15783 32685 0 -1 4202560 9943 0 0 0 55 6 0 0 20 0 10 0 39014352 1069789184 69759 18446744073709551615 4194304 4228012 140734744063072 139956735691792 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15794] ppid=15783 vsize=1044716 CPUtime=0
/proc/15786/task/15794/stat : 15794 (java) S 15783 15783 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 39014352 1069789184 69759 18446744073709551615 4194304 4228012 140734744063072 139956734639312 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15795] ppid=15783 vsize=1044716 CPUtime=0
/proc/15786/task/15795/stat : 15795 (java) S 15783 15783 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 39014352 1069789184 69759 18446744073709551615 4194304 4228012 140734744063072 139956733586816 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 1053884

[startup+6.30078 s]
/proc/loadavg: 1.04 1.05 0.91 2/68 15795
/proc/meminfo: memFree=314360/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=9168 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) S 15782 15783 32685 0 -1 4202496 453 291 2 1 0 0 0 0 20 0 1 0 39014328 9388032 330 18446744073709551615 4194304 5129932 140734009502736 140734009500880 140580013569118 0 65536 16781316 65538 0 0 0 17 0 0 0 2 0 0
/proc/15783/statm: 2292 330 280 229 0 52 0
[pid=15786] ppid=15783 vsize=1044716 CPUtime=6.05
/proc/15786/stat : 15786 (java) S 15783 15783 32685 0 -1 4202496 122845 0 20 0 558 47 0 0 20 0 10 0 39014332 1069789184 117568 18446744073709551615 4194304 4228012 140734744063072 140734744054096 139956841782901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5 0 0
/proc/15786/statm: 261179 117568 2368 9 0 248529 0
[pid=15786/tid=15787] ppid=15783 vsize=1044716 CPUtime=3.32
/proc/15786/task/15787/stat : 15787 (java) R 15783 15783 32685 0 -1 4202560 47392 0 8 0 310 22 0 0 20 0 10 0 39014338 1069789184 117568 18446744073709551615 4194304 4228012 140734744063072 139956848308928 139956835030202 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0
[pid=15786/tid=15788] ppid=15783 vsize=1044716 CPUtime=1.36
/proc/15786/task/15788/stat : 15788 (java) S 15783 15783 32685 0 -1 4202560 56369 0 0 0 121 15 0 0 20 0 10 0 39014346 1069789184 117568 18446744073709551615 4194304 4228012 140734744063072 139956740955264 139956841797195 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15789] ppid=15783 vsize=1044716 CPUtime=0
/proc/15786/task/15789/stat : 15789 (java) S 15783 15783 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 39014347 1069789184 117568 18446744073709551615 4194304 4228012 140734744063072 139956739901456 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15790] ppid=15783 vsize=1044716 CPUtime=0
/proc/15786/task/15790/stat : 15790 (java) S 15783 15783 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 39014347 1069789184 117568 18446744073709551615 4194304 4228012 140734744063072 139956738848672 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15791] ppid=15783 vsize=1044716 CPUtime=0
/proc/15786/task/15791/stat : 15791 (java) S 15783 15783 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 39014351 1069789184 117568 18446744073709551615 4194304 4228012 140734744063072 139956737797104 139956841804832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15792] ppid=15783 vsize=1044716 CPUtime=0.67
/proc/15786/task/15792/stat : 15792 (java) S 15783 15783 32685 0 -1 4202560 7861 0 0 0 65 2 0 0 20 0 10 0 39014351 1069789184 117568 18446744073709551615 4194304 4228012 140734744063072 139956736744464 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15793] ppid=15783 vsize=1044716 CPUtime=0.64
/proc/15786/task/15793/stat : 15793 (java) S 15783 15783 32685 0 -1 4202560 9943 0 0 0 58 6 0 0 20 0 10 0 39014352 1069789184 117568 18446744073709551615 4194304 4228012 140734744063072 139956735691792 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15794] ppid=15783 vsize=1044716 CPUtime=0
/proc/15786/task/15794/stat : 15794 (java) S 15783 15783 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 39014352 1069789184 117568 18446744073709551615 4194304 4228012 140734744063072 139956734639312 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15795] ppid=15783 vsize=1044716 CPUtime=0
/proc/15786/task/15795/stat : 15795 (java) S 15783 15783 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 39014352 1069789184 117568 18446744073709551615 4194304 4228012 140734744063072 139956733586816 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 1053884

[startup+12.7008 s]
/proc/loadavg: 1.20 1.09 0.93 5/68 15795
/proc/meminfo: memFree=155392/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=9168 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) S 15782 15783 32685 0 -1 4202496 453 291 2 1 0 0 0 0 20 0 1 0 39014328 9388032 330 18446744073709551615 4194304 5129932 140734009502736 140734009500880 140580013569118 0 65536 16781316 65538 0 0 0 17 0 0 0 2 0 0
/proc/15783/statm: 2292 330 280 229 0 52 0
[pid=15786] ppid=15783 vsize=1048472 CPUtime=12.36
/proc/15786/stat : 15786 (java) S 15783 15783 32685 0 -1 4202496 151731 0 20 0 1178 58 0 0 20 0 10 0 39014332 1073635328 146184 18446744073709551615 4194304 4228012 140734744063072 140734744054096 139956841782901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5 0 0
/proc/15786/statm: 262118 146184 2375 9 0 249468 0
[pid=15786/tid=15787] ppid=15783 vsize=1048472 CPUtime=6.03
/proc/15786/task/15787/stat : 15787 (java) R 15783 15783 32685 0 -1 4202560 47699 0 8 0 579 24 0 0 20 0 10 0 39014338 1073635328 146184 18446744073709551615 4194304 4228012 140734744063072 139956848314888 139956745798560 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0
[pid=15786/tid=15788] ppid=15783 vsize=1048472 CPUtime=2.08
/proc/15786/task/15788/stat : 15788 (java) S 15783 15783 32685 0 -1 4202560 81362 0 0 0 185 23 0 0 20 0 10 0 39014346 1073635328 146184 18446744073709551615 4194304 4228012 140734744063072 139956740955264 139956841797195 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15789] ppid=15783 vsize=1048472 CPUtime=0
/proc/15786/task/15789/stat : 15789 (java) S 15783 15783 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 39014347 1073635328 146184 18446744073709551615 4194304 4228012 140734744063072 139956739901456 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15790] ppid=15783 vsize=1048472 CPUtime=0
/proc/15786/task/15790/stat : 15790 (java) S 15783 15783 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 39014347 1073635328 146184 18446744073709551615 4194304 4228012 140734744063072 139956738848672 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15791] ppid=15783 vsize=1048472 CPUtime=0
/proc/15786/task/15791/stat : 15791 (java) S 15783 15783 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 39014351 1073635328 146184 18446744073709551615 4194304 4228012 140734744063072 139956737797104 139956841804832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15792] ppid=15783 vsize=1048472 CPUtime=2.16
/proc/15786/task/15792/stat : 15792 (java) R 15783 15783 32685 0 -1 4202560 8959 0 0 0 214 2 0 0 20 0 10 0 39014351 1073635328 146184 18446744073709551615 4194304 4228012 140734744063072 139956736731992 139956824630566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15793] ppid=15783 vsize=1048472 CPUtime=2.04
/proc/15786/task/15793/stat : 15793 (java) R 15783 15783 32685 0 -1 4202560 12431 0 0 0 196 8 0 0 20 0 10 0 39014352 1073635328 146184 18446744073709551615 4194304 4228012 140734744063072 139956735691536 139956827938771 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15794] ppid=15783 vsize=1048472 CPUtime=0
/proc/15786/task/15794/stat : 15794 (java) S 15783 15783 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 39014352 1073635328 146184 18446744073709551615 4194304 4228012 140734744063072 139956734639312 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15795] ppid=15783 vsize=1048472 CPUtime=0
/proc/15786/task/15795/stat : 15795 (java) S 15783 15783 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 39014352 1073635328 146184 18446744073709551615 4194304 4228012 140734744063072 139956733586816 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 1057640

[startup+25.5008 s]
/proc/loadavg: 1.29 1.11 0.94 2/69 15796
/proc/meminfo: memFree=81976/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=9168 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) S 15782 15783 32685 0 -1 4202496 453 291 2 1 0 0 0 0 20 0 1 0 39014328 9388032 330 18446744073709551615 4194304 5129932 140734009502736 140734009500880 140580013569118 0 65536 16781316 65538 0 0 0 17 0 0 0 2 0 0
/proc/15783/statm: 2292 330 280 229 0 52 0
[pid=15786] ppid=15783 vsize=1043820 CPUtime=25.02
/proc/15786/stat : 15786 (java) S 15783 15783 32685 0 -1 4202496 170614 0 20 0 2436 66 0 0 20 0 11 0 39014332 1068871680 163453 18446744073709551615 4194304 4228012 140734744063072 140734744054096 139956841782901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5 0 0
/proc/15786/statm: 260955 163453 2393 9 0 248305 0
[pid=15786/tid=15787] ppid=15783 vsize=1043820 CPUtime=15.43
/proc/15786/task/15787/stat : 15787 (java) R 15783 15783 32685 0 -1 4202560 47784 0 8 0 1519 24 0 0 20 0 11 0 39014338 1068871680 163453 18446744073709551615 4194304 4228012 140734744063072 139956848316456 139956747403775 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0
[pid=15786/tid=15788] ppid=15783 vsize=1043820 CPUtime=3.64
/proc/15786/task/15788/stat : 15788 (java) S 15783 15783 32685 0 -1 4202560 100029 0 0 0 334 30 0 0 20 0 11 0 39014346 1068871680 163453 18446744073709551615 4194304 4228012 140734744063072 139956740955264 139956841797195 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15789] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15789/stat : 15789 (java) S 15783 15783 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 39014347 1068871680 163453 18446744073709551615 4194304 4228012 140734744063072 139956739901456 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15790] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15790/stat : 15790 (java) S 15783 15783 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 39014347 1068871680 163453 18446744073709551615 4194304 4228012 140734744063072 139956738848672 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15791] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15791/stat : 15791 (java) S 15783 15783 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 39014351 1068871680 163453 18446744073709551615 4194304 4228012 140734744063072 139956737797104 139956841804832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15792] ppid=15783 vsize=1043820 CPUtime=3.02
/proc/15786/task/15792/stat : 15792 (java) S 15783 15783 32685 0 -1 4202560 9036 0 0 0 299 3 0 0 20 0 11 0 39014351 1068871680 163453 18446744073709551615 4194304 4228012 140734744063072 139956736744464 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15793] ppid=15783 vsize=1043820 CPUtime=2.88
/proc/15786/task/15793/stat : 15793 (java) S 15783 15783 32685 0 -1 4202560 12479 0 0 0 280 8 0 0 20 0 11 0 39014352 1068871680 163453 18446744073709551615 4194304 4228012 140734744063072 139956735691792 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15794] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15794/stat : 15794 (java) S 15783 15783 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 39014352 1068871680 163453 18446744073709551615 4194304 4228012 140734744063072 139956734639312 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15795] ppid=15783 vsize=1043820 CPUtime=0.01
/proc/15786/task/15795/stat : 15795 (java) S 15783 15783 32685 0 -1 4202560 1 0 0 0 1 0 0 0 20 0 11 0 39014352 1068871680 163453 18446744073709551615 4194304 4228012 140734744063072 139956733586816 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15796] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15796/stat : 15796 (java) S 15783 15783 32685 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 39015742 1068871680 163453 18446744073709551615 4194304 4228012 140734744063072 139956732385120 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 1052988

[startup+51.1006 s]
/proc/loadavg: 1.19 1.10 0.94 2/69 15796
/proc/meminfo: memFree=45892/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=9168 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) S 15782 15783 32685 0 -1 4202496 453 291 2 1 0 0 0 0 20 0 1 0 39014328 9388032 330 18446744073709551615 4194304 5129932 140734009502736 140734009500880 140580013569118 0 65536 16781316 65538 0 0 0 17 0 0 0 2 0 0
/proc/15783/statm: 2292 330 280 229 0 52 0
[pid=15786] ppid=15783 vsize=1043820 CPUtime=50.34
/proc/15786/stat : 15786 (java) S 15783 15783 32685 0 -1 4202496 179567 0 20 0 4965 69 0 0 20 0 11 0 39014332 1068871680 172402 18446744073709551615 4194304 4228012 140734744063072 140734744054096 139956841782901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5 0 0
/proc/15786/statm: 260955 172402 2393 9 0 248305 0
[pid=15786/tid=15787] ppid=15783 vsize=1043820 CPUtime=36.27
/proc/15786/task/15787/stat : 15787 (java) S 15783 15783 32685 0 -1 4202560 47785 0 8 0 3603 24 0 0 20 0 11 0 39014338 1068871680 172402 18446744073709551615 4194304 4228012 140734744063072 139956848316192 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0
[pid=15786/tid=15788] ppid=15783 vsize=1043820 CPUtime=7.97
/proc/15786/task/15788/stat : 15788 (java) R 15783 15783 32685 0 -1 4202560 108972 0 0 0 765 32 0 0 20 0 11 0 39014346 1068871680 172402 18446744073709551615 4194304 4228012 140734744063072 139956740954672 139956826144523 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15789] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15789/stat : 15789 (java) S 15783 15783 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 39014347 1068871680 172402 18446744073709551615 4194304 4228012 140734744063072 139956739901456 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15790] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15790/stat : 15790 (java) S 15783 15783 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 39014347 1068871680 172402 18446744073709551615 4194304 4228012 140734744063072 139956738848672 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15791] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15791/stat : 15791 (java) S 15783 15783 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 39014351 1068871680 172402 18446744073709551615 4194304 4228012 140734744063072 139956737797104 139956841804832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15792] ppid=15783 vsize=1043820 CPUtime=3.08
/proc/15786/task/15792/stat : 15792 (java) S 15783 15783 32685 0 -1 4202560 9038 0 0 0 305 3 0 0 20 0 11 0 39014351 1068871680 172402 18446744073709551615 4194304 4228012 140734744063072 139956736744464 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15793] ppid=15783 vsize=1043820 CPUtime=2.95
/proc/15786/task/15793/stat : 15793 (java) S 15783 15783 32685 0 -1 4202560 12483 0 0 0 287 8 0 0 20 0 11 0 39014352 1068871680 172402 18446744073709551615 4194304 4228012 140734744063072 139956735691792 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15794] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15794/stat : 15794 (java) S 15783 15783 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 39014352 1068871680 172402 18446744073709551615 4194304 4228012 140734744063072 139956734639312 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15795] ppid=15783 vsize=1043820 CPUtime=0.02
/proc/15786/task/15795/stat : 15795 (java) S 15783 15783 32685 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 11 0 39014352 1068871680 172402 18446744073709551615 4194304 4228012 140734744063072 139956733586816 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15796] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15796/stat : 15796 (java) S 15783 15783 32685 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 39015742 1068871680 172402 18446744073709551615 4194304 4228012 140734744063072 139956732385120 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.34
Current children cumulated vsize (KiB) 1052988

[startup+102.301 s]
/proc/loadavg: 1.08 1.09 0.94 2/69 15799
/proc/meminfo: memFree=10268/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=9168 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) S 15782 15783 32685 0 -1 4202496 453 291 2 1 0 0 0 0 20 0 1 0 39014328 9388032 330 18446744073709551615 4194304 5129932 140734009502736 140734009500880 140580013569118 0 65536 16781316 65538 0 0 0 17 0 0 0 2 0 0
/proc/15783/statm: 2292 330 280 229 0 52 0
[pid=15786] ppid=15783 vsize=1043820 CPUtime=101.08
/proc/15786/stat : 15786 (java) S 15783 15783 32685 0 -1 4202496 192872 0 20 0 10035 73 0 0 20 0 11 0 39014332 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 140734744054096 139956841782901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5 0 0
/proc/15786/statm: 260955 185703 2393 9 0 248305 0
[pid=15786/tid=15787] ppid=15783 vsize=1043820 CPUtime=81.45
/proc/15786/task/15787/stat : 15787 (java) R 15783 15783 32685 0 -1 4202560 47785 0 8 0 8121 24 0 0 20 0 11 0 39014338 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956848316392 139956747336048 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0
[pid=15786/tid=15788] ppid=15783 vsize=1043820 CPUtime=13.43
/proc/15786/task/15788/stat : 15788 (java) S 15783 15783 32685 0 -1 4202560 122269 0 0 0 1307 36 0 0 20 0 11 0 39014346 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956740955264 139956841797195 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15789] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15789/stat : 15789 (java) S 15783 15783 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 39014347 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956739901456 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15790] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15790/stat : 15790 (java) S 15783 15783 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 39014347 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956738848672 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15791] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15791/stat : 15791 (java) S 15783 15783 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 39014351 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956737797104 139956841804832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15792] ppid=15783 vsize=1043820 CPUtime=3.13
/proc/15786/task/15792/stat : 15792 (java) S 15783 15783 32685 0 -1 4202560 9043 0 0 0 310 3 0 0 20 0 11 0 39014351 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956736744464 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15793] ppid=15783 vsize=1043820 CPUtime=2.98
/proc/15786/task/15793/stat : 15793 (java) S 15783 15783 32685 0 -1 4202560 12483 0 0 0 290 8 0 0 20 0 11 0 39014352 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956735691792 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15794] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15794/stat : 15794 (java) S 15783 15783 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 39014352 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956734639312 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15795] ppid=15783 vsize=1043820 CPUtime=0.05
/proc/15786/task/15795/stat : 15795 (java) S 15783 15783 32685 0 -1 4202560 7 0 0 0 5 0 0 0 20 0 11 0 39014352 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956733586816 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15796] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15796/stat : 15796 (java) S 15783 15783 32685 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 39015742 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956732385120 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 101.08
Current children cumulated vsize (KiB) 1052988

[startup+162.301 s]
/proc/loadavg: 1.03 1.07 0.94 2/69 15799
/proc/meminfo: memFree=10268/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=9168 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) S 15782 15783 32685 0 -1 4202496 453 291 2 1 0 0 0 0 20 0 1 0 39014328 9388032 330 18446744073709551615 4194304 5129932 140734009502736 140734009500880 140580013569118 0 65536 16781316 65538 0 0 0 17 0 0 0 2 0 0
/proc/15783/statm: 2292 330 280 229 0 52 0
[pid=15786] ppid=15783 vsize=1043820 CPUtime=160.59
/proc/15786/stat : 15786 (java) S 15783 15783 32685 0 -1 4202496 192880 0 20 0 15986 73 0 0 20 0 11 0 39014332 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 140734744054096 139956841782901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5 0 0
/proc/15786/statm: 260955 185703 2393 9 0 248305 0
[pid=15786/tid=15787] ppid=15783 vsize=1043820 CPUtime=135.87
/proc/15786/task/15787/stat : 15787 (java) R 15783 15783 32685 0 -1 4202560 47785 0 8 0 13563 24 0 0 20 0 11 0 39014338 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956848316600 139956746541136 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0
[pid=15786/tid=15788] ppid=15783 vsize=1043820 CPUtime=18.48
/proc/15786/task/15788/stat : 15788 (java) S 15783 15783 32685 0 -1 4202560 122271 0 0 0 1812 36 0 0 20 0 11 0 39014346 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956740955264 139956841797195 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15789] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15789/stat : 15789 (java) S 15783 15783 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 39014347 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956739901456 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15790] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15790/stat : 15790 (java) S 15783 15783 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 39014347 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956738848672 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15791] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15791/stat : 15791 (java) S 15783 15783 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 39014351 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956737797104 139956841804832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15792] ppid=15783 vsize=1043820 CPUtime=3.13
/proc/15786/task/15792/stat : 15792 (java) S 15783 15783 32685 0 -1 4202560 9043 0 0 0 310 3 0 0 20 0 11 0 39014351 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956736744464 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15793] ppid=15783 vsize=1043820 CPUtime=2.98
/proc/15786/task/15793/stat : 15793 (java) S 15783 15783 32685 0 -1 4202560 12483 0 0 0 290 8 0 0 20 0 11 0 39014352 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956735691792 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15794] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15794/stat : 15794 (java) S 15783 15783 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 39014352 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956734639312 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15795] ppid=15783 vsize=1043820 CPUtime=0.08
/proc/15786/task/15795/stat : 15795 (java) S 15783 15783 32685 0 -1 4202560 13 0 0 0 8 0 0 0 20 0 11 0 39014352 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956733586816 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15796] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15796/stat : 15796 (java) S 15783 15783 32685 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 39015742 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956732385120 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 160.59
Current children cumulated vsize (KiB) 1052988

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

[startup+163.201 s]
/proc/loadavg: 1.03 1.07 0.94 2/69 15799
/proc/meminfo: memFree=10268/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=9168 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) S 15782 15783 32685 0 -1 4202496 453 291 2 1 0 0 0 0 20 0 1 0 39014328 9388032 330 18446744073709551615 4194304 5129932 140734009502736 140734009500880 140580013569118 0 65536 16781316 65538 0 0 0 17 0 0 0 2 0 0
/proc/15783/statm: 2292 330 280 229 0 52 0
[pid=15786] ppid=15783 vsize=1043820 CPUtime=161.49
/proc/15786/stat : 15786 (java) S 15783 15783 32685 0 -1 4202496 192880 0 20 0 16075 74 0 0 20 0 11 0 39014332 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 140734744054096 139956841782901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5 0 0
/proc/15786/statm: 260955 185703 2393 9 0 248305 0
[pid=15786/tid=15787] ppid=15783 vsize=1043820 CPUtime=136.29
/proc/15786/task/15787/stat : 15787 (java) S 15783 15783 32685 0 -1 4202560 47785 0 8 0 13605 24 0 0 20 0 11 0 39014338 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956848316112 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0
[pid=15786/tid=15788] ppid=15783 vsize=1043820 CPUtime=18.96
/proc/15786/task/15788/stat : 15788 (java) R 15783 15783 32685 0 -1 4202560 122271 0 0 0 1859 37 0 0 20 0 11 0 39014346 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956740954192 139956828653816 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15789] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15789/stat : 15789 (java) S 15783 15783 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 39014347 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956739901456 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15790] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15790/stat : 15790 (java) S 15783 15783 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 39014347 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956738848672 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15791] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15791/stat : 15791 (java) S 15783 15783 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 39014351 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956737797104 139956841804832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15792] ppid=15783 vsize=1043820 CPUtime=3.13
/proc/15786/task/15792/stat : 15792 (java) S 15783 15783 32685 0 -1 4202560 9043 0 0 0 310 3 0 0 20 0 11 0 39014351 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956736744464 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15793] ppid=15783 vsize=1043820 CPUtime=2.98
/proc/15786/task/15793/stat : 15793 (java) S 15783 15783 32685 0 -1 4202560 12483 0 0 0 290 8 0 0 20 0 11 0 39014352 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956735691792 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15794] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15794/stat : 15794 (java) S 15783 15783 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 39014352 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956734639312 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15795] ppid=15783 vsize=1043820 CPUtime=0.08
/proc/15786/task/15795/stat : 15795 (java) S 15783 15783 32685 0 -1 4202560 13 0 0 0 8 0 0 0 20 0 11 0 39014352 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956733586816 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15796] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15796/stat : 15796 (java) S 15783 15783 32685 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 39015742 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956732385120 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 1052988

[startup+166.401 s]
/proc/loadavg: 1.02 1.07 0.94 2/69 15799
/proc/meminfo: memFree=10268/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=9168 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) S 15782 15783 32685 0 -1 4202496 453 291 2 1 0 0 0 0 20 0 1 0 39014328 9388032 330 18446744073709551615 4194304 5129932 140734009502736 140734009500880 140580013569118 0 65536 16781316 65538 0 0 0 17 0 0 0 2 0 0
/proc/15783/statm: 2292 330 280 229 0 52 0
[pid=15786] ppid=15783 vsize=1043820 CPUtime=164.66
/proc/15786/stat : 15786 (java) S 15783 15783 32685 0 -1 4202496 192880 0 20 0 16392 74 0 0 20 0 11 0 39014332 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 140734744054096 139956841782901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5 0 0
/proc/15786/statm: 260955 185703 2393 9 0 248305 0
[pid=15786/tid=15787] ppid=15783 vsize=1043820 CPUtime=136.34
/proc/15786/task/15787/stat : 15787 (java) S 15783 15783 32685 0 -1 4202560 47785 0 8 0 13610 24 0 0 20 0 11 0 39014338 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956848316432 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0
[pid=15786/tid=15788] ppid=15783 vsize=1043820 CPUtime=22.08
/proc/15786/task/15788/stat : 15788 (java) R 15783 15783 32685 0 -1 4202560 122271 0 0 0 2171 37 0 0 20 0 11 0 39014346 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956740954640 139956826144496 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15789] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15789/stat : 15789 (java) S 15783 15783 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 39014347 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956739901456 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15790] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15790/stat : 15790 (java) S 15783 15783 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 39014347 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956738848672 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15791] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15791/stat : 15791 (java) S 15783 15783 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 39014351 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956737797104 139956841804832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15792] ppid=15783 vsize=1043820 CPUtime=3.13
/proc/15786/task/15792/stat : 15792 (java) S 15783 15783 32685 0 -1 4202560 9043 0 0 0 310 3 0 0 20 0 11 0 39014351 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956736744464 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15793] ppid=15783 vsize=1043820 CPUtime=2.98
/proc/15786/task/15793/stat : 15793 (java) S 15783 15783 32685 0 -1 4202560 12483 0 0 0 290 8 0 0 20 0 11 0 39014352 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956735691792 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15794] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15794/stat : 15794 (java) S 15783 15783 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 39014352 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956734639312 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15795] ppid=15783 vsize=1043820 CPUtime=0.08
/proc/15786/task/15795/stat : 15795 (java) S 15783 15783 32685 0 -1 4202560 13 0 0 0 8 0 0 0 20 0 11 0 39014352 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956733586816 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15796] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15796/stat : 15796 (java) S 15783 15783 32685 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 39015742 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956732385120 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 164.66
Current children cumulated vsize (KiB) 1052988

[startup+167.201 s]
/proc/loadavg: 1.02 1.07 0.94 2/69 15799
/proc/meminfo: memFree=10268/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=9168 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) S 15782 15783 32685 0 -1 4202496 453 291 2 1 0 0 0 0 20 0 1 0 39014328 9388032 330 18446744073709551615 4194304 5129932 140734009502736 140734009500880 140580013569118 0 65536 16781316 65538 0 0 0 17 0 0 0 2 0 0
/proc/15783/statm: 2292 330 280 229 0 52 0
[pid=15786] ppid=15783 vsize=1043820 CPUtime=165.45
/proc/15786/stat : 15786 (java) S 15783 15783 32685 0 -1 4202496 192880 0 20 0 16471 74 0 0 20 0 11 0 39014332 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 140734744054096 139956841782901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5 0 0
/proc/15786/statm: 260955 185703 2393 9 0 248305 0
[pid=15786/tid=15787] ppid=15783 vsize=1043820 CPUtime=136.34
/proc/15786/task/15787/stat : 15787 (java) S 15783 15783 32685 0 -1 4202560 47785 0 8 0 13610 24 0 0 20 0 11 0 39014338 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956848316560 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0
[pid=15786/tid=15788] ppid=15783 vsize=1043820 CPUtime=22.87
/proc/15786/task/15788/stat : 15788 (java) R 15783 15783 32685 0 -1 4202560 122271 0 0 0 2250 37 0 0 20 0 11 0 39014346 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956740954640 139956826144511 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15789] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15789/stat : 15789 (java) S 15783 15783 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 39014347 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956739901456 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15790] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15790/stat : 15790 (java) S 15783 15783 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 39014347 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956738848672 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15791] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15791/stat : 15791 (java) S 15783 15783 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 39014351 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956737797104 139956841804832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15792] ppid=15783 vsize=1043820 CPUtime=3.13
/proc/15786/task/15792/stat : 15792 (java) S 15783 15783 32685 0 -1 4202560 9043 0 0 0 310 3 0 0 20 0 11 0 39014351 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956736744464 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15793] ppid=15783 vsize=1043820 CPUtime=2.99
/proc/15786/task/15793/stat : 15793 (java) S 15783 15783 32685 0 -1 4202560 12483 0 0 0 291 8 0 0 20 0 11 0 39014352 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956735676464 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15794] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15794/stat : 15794 (java) S 15783 15783 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 39014352 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956734639312 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15795] ppid=15783 vsize=1043820 CPUtime=0.08
/proc/15786/task/15795/stat : 15795 (java) S 15783 15783 32685 0 -1 4202560 13 0 0 0 8 0 0 0 20 0 11 0 39014352 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956733586816 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15796] ppid=15783 vsize=1043820 CPUtime=0
/proc/15786/task/15796/stat : 15796 (java) S 15783 15783 32685 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 39015742 1068871680 185703 18446744073709551615 4194304 4228012 140734744063072 139956732385120 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 165.45
Current children cumulated vsize (KiB) 1052988

[startup+168.001 s]
/proc/loadavg: 1.02 1.07 0.94 2/69 15799
/proc/meminfo: memFree=10268/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=9168 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) S 15782 15783 32685 0 -1 4202496 453 291 2 1 0 0 0 0 20 0 1 0 39014328 9388032 330 18446744073709551615 4194304 5129932 140734009502736 140734009500880 140580013569118 0 65536 16781316 65538 0 0 0 17 0 0 0 2 0 0
/proc/15783/statm: 2292 330 280 229 0 52 0
[pid=15786] ppid=15783 vsize=1044848 CPUtime=165.93
/proc/15786/stat : 15786 (java) S 15783 15783 32685 0 -1 4202496 192890 0 20 0 16519 74 0 0 20 0 11 0 39014332 1069924352 185711 18446744073709551615 4194304 4228012 140734744063072 140734744054096 139956841782901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5 0 0
/proc/15786/statm: 261212 185711 2393 9 0 248562 0
[pid=15786/tid=15787] ppid=15783 vsize=1044848 CPUtime=136.34
/proc/15786/task/15787/stat : 15787 (java) S 15783 15783 32685 0 -1 4202560 47789 0 8 0 13610 24 0 0 20 0 11 0 39014338 1069924352 185711 18446744073709551615 4194304 4228012 140734744063072 139956848317760 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0
[pid=15786/tid=15788] ppid=15783 vsize=1044848 CPUtime=23.33
/proc/15786/task/15788/stat : 15788 (java) S 15783 15783 32685 0 -1 4202560 122271 0 0 0 2296 37 0 0 20 0 11 0 39014346 1069924352 185711 18446744073709551615 4194304 4228012 140734744063072 139956740955264 139956841797195 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15789] ppid=15783 vsize=1044848 CPUtime=0
/proc/15786/task/15789/stat : 15789 (java) S 15783 15783 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 39014347 1069924352 185711 18446744073709551615 4194304 4228012 140734744063072 139956739901456 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15790] ppid=15783 vsize=1044848 CPUtime=0
/proc/15786/task/15790/stat : 15790 (java) S 15783 15783 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 39014347 1069924352 185711 18446744073709551615 4194304 4228012 140734744063072 139956738848672 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15791] ppid=15783 vsize=1044848 CPUtime=0
/proc/15786/task/15791/stat : 15791 (java) S 15783 15783 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 39014351 1069924352 185711 18446744073709551615 4194304 4228012 140734744063072 139956737797104 139956841804832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15792] ppid=15783 vsize=1044848 CPUtime=3.13
/proc/15786/task/15792/stat : 15792 (java) S 15783 15783 32685 0 -1 4202560 9043 0 0 0 310 3 0 0 20 0 11 0 39014351 1069924352 185711 18446744073709551615 4194304 4228012 140734744063072 139956736744464 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15793] ppid=15783 vsize=1044848 CPUtime=3
/proc/15786/task/15793/stat : 15793 (java) S 15783 15783 32685 0 -1 4202560 12483 0 0 0 292 8 0 0 20 0 11 0 39014352 1069924352 185711 18446744073709551615 4194304 4228012 140734744063072 139956735691792 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15794] ppid=15783 vsize=1044848 CPUtime=0
/proc/15786/task/15794/stat : 15794 (java) S 15783 15783 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 39014352 1069924352 185711 18446744073709551615 4194304 4228012 140734744063072 139956734639312 139956841796308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15786/tid=15795] ppid=15783 vsize=1044848 CPUtime=0.08
/proc/15786/task/15795/stat : 15795 (java) S 15783 15783 32685 0 -1 4202560 13 0 0 0 8 0 0 0 20 0 11 0 39014352 1069924352 185711 18446744073709551615 4194304 4228012 140734744063072 139956733586816 139956841797195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 165.93
Current children cumulated vsize (KiB) 1054016

[startup+168.217 s]
/proc/loadavg: 1.02 1.07 0.94 2/69 15799
/proc/meminfo: memFree=10268/1022884 swapFree=0/0
[pid=15783] ppid=15782 vsize=9168 CPUtime=0
/proc/15783/stat : 15783 (p2cudf-full-1.1) S 15782 15783 32685 0 -1 4202496 453 291 2 1 0 0 0 0 20 0 1 0 39014328 9388032 330 18446744073709551615 4194304 5129932 140734009502736 140734009500880 140580013569118 0 65536 16781316 65538 0 0 0 17 0 0 0 2 0 0
/proc/15783/statm: 2292 330 280 229 0 52 0
[pid=15786] ppid=15783 vsize=0 CPUtime=165.97
/proc/15786/stat : 15786 (java) Z 15783 15783 32685 0 -1 4202508 192900 0 20 0 16521 76 0 0 20 0 2 0 39014332 0 0 18446744073709551615 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5 0 0
/proc/15786/statm: 0 0 0 0 0 0 0
[pid=15786/tid=15793] ppid=15783 vsize=0 CPUtime=3.05
/proc/15786/task/15793/stat : 15793 (java) R 15783 15783 32685 0 -1 4203588 12483 0 0 0 295 10 0 0 20 0 2 0 39014352 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) 165.97
Current children cumulated vsize (KiB) 9168

Child status: 1
Real time (s): 168.243
CPU time (s): 166.01
CPU user time (s): 165.234
CPU system time (s): 0.776048
CPU usage (%): 98.6732
Max. virtual memory (cumulated for all children) (KiB): 1057640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 165.234
system time used= 0.776048
maximum resident set size= 742864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193657
page faults= 23
swaps= 0
block input operations= 70832
block output operations= 248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4592
involuntary context switches= 9089

runsolver used 0.524032 second user time and 1.00006 second system time

The end