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/adf7b774-9af8-11df-bc37-00163e46d37a.cudf.log.runsolver /home/competition/p2cudf-basic-1.15/p2cudf-basic-1.15 /home/competition/data/real/adf7b774-9af8-11df-bc37-00163e46d37a.cudf /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/paranoid-size/real/adf7b774-9af8-11df-bc37-00163e46d37a.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

[startup+0 s]
/proc/loadavg: 1.13 1.09 1.01 2/59 22361
/proc/meminfo: memFree=475828/1022884 swapFree=0/0
[pid=22361] ppid=22360 vsize=3152 CPUtime=0
/proc/22361/stat : 22361 (runsolver) R 22360 1733 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 115496250 3227648 32 18446744073709551615 134512640 134586868 4292114976 4292113024 4151235632 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/22361/statm: 788 32 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.118043 s]
/proc/loadavg: 1.13 1.09 1.01 2/59 22361
/proc/meminfo: memFree=475828/1022884 swapFree=0/0
[pid=22361] ppid=22360 vsize=9172 CPUtime=0
/proc/22361/stat : 22361 (p2cudf-basic-1.) S 22360 22361 1733 0 -1 4202496 458 292 0 0 0 0 0 0 20 0 1 0 115496250 9392128 331 18446744073709551615 4194304 5129932 140734985945296 140734985943440 140574842037342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22361/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.200373 s]
/proc/loadavg: 1.13 1.09 1.01 2/59 22361
/proc/meminfo: memFree=475828/1022884 swapFree=0/0
[pid=22361] ppid=22360 vsize=9172 CPUtime=0
/proc/22361/stat : 22361 (p2cudf-basic-1.) S 22360 22361 1733 0 -1 4202496 458 292 0 0 0 0 0 0 20 0 1 0 115496250 9392128 331 18446744073709551615 4194304 5129932 140734985945296 140734985943440 140574842037342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22361/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.300268 s]
/proc/loadavg: 1.13 1.09 1.01 2/59 22361
/proc/meminfo: memFree=475828/1022884 swapFree=0/0
[pid=22361] ppid=22360 vsize=9172 CPUtime=0
/proc/22361/stat : 22361 (p2cudf-basic-1.) S 22360 22361 1733 0 -1 4202496 458 292 0 0 0 0 0 0 20 0 1 0 115496250 9392128 331 18446744073709551615 4194304 5129932 140734985945296 140734985943440 140574842037342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22361/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.700237 s]
/proc/loadavg: 1.13 1.09 1.01 2/59 22361
/proc/meminfo: memFree=475828/1022884 swapFree=0/0
[pid=22361] ppid=22360 vsize=9172 CPUtime=0
/proc/22361/stat : 22361 (p2cudf-basic-1.) S 22360 22361 1733 0 -1 4202496 458 292 0 0 0 0 0 0 20 0 1 0 115496250 9392128 331 18446744073709551615 4194304 5129932 140734985945296 140734985943440 140574842037342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22361/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+1.50057 s]
/proc/loadavg: 1.28 1.12 1.02 4/70 22373
/proc/meminfo: memFree=383972/1022884 swapFree=0/0
[pid=22361] ppid=22360 vsize=9172 CPUtime=0
/proc/22361/stat : 22361 (p2cudf-basic-1.) S 22360 22361 1733 0 -1 4202496 458 292 0 0 0 0 0 0 20 0 1 0 115496250 9392128 331 18446744073709551615 4194304 5129932 140734985945296 140734985943440 140574842037342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22361/statm: 2293 331 280 229 0 53 0
[pid=22364] ppid=22361 vsize=1055056 CPUtime=1.45
/proc/22364/stat : 22364 (java) S 22361 22361 1733 0 -1 4202496 38663 0 0 0 131 14 0 0 20 0 10 0 115496251 1080377344 35368 18446744073709551615 4194304 4228012 140733921367184 140733921358208 139703864286837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22364/statm: 263764 35368 2348 9 0 251114 0
[pid=22364/tid=22365] ppid=22361 vsize=1055056 CPUtime=0.65
/proc/22364/task/22365/stat : 22365 (java) R 22361 22361 1733 0 -1 4202560 18560 0 0 0 56 9 0 0 20 0 10 0 115496252 1080377344 35368 18446744073709551615 4194304 4228012 140733921367184 139703870812832 139703768311552 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=22364/tid=22366] ppid=22361 vsize=1055056 CPUtime=0
/proc/22364/task/22366/stat : 22366 (java) S 22361 22361 1733 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 10 0 115496253 1080377344 35368 18446744073709551615 4194304 4228012 140733921367184 139703763459200 139703864301131 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22367] ppid=22361 vsize=1055056 CPUtime=0
/proc/22364/task/22367/stat : 22367 (java) S 22361 22361 1733 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 115496254 1080377344 35368 18446744073709551615 4194304 4228012 140733921367184 139703762405392 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22368] ppid=22361 vsize=1055056 CPUtime=0
/proc/22364/task/22368/stat : 22368 (java) S 22361 22361 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 115496254 1080377344 35368 18446744073709551615 4194304 4228012 140733921367184 139703761352608 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22369] ppid=22361 vsize=1055056 CPUtime=0
/proc/22364/task/22369/stat : 22369 (java) S 22361 22361 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115496256 1080377344 35368 18446744073709551615 4194304 4228012 140733921367184 139703760301040 139703864308768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22370] ppid=22361 vsize=1055056 CPUtime=0.39
/proc/22364/task/22370/stat : 22370 (java) R 22361 22361 1733 0 -1 4202560 9410 0 0 0 38 1 0 0 20 0 10 0 115496256 1080377344 35368 18446744073709551615 4194304 4228012 140733921367184 139703759235928 139703846512328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22371] ppid=22361 vsize=1055056 CPUtime=0.38
/proc/22364/task/22371/stat : 22371 (java) R 22361 22361 1733 0 -1 4202560 9401 0 0 0 36 2 0 0 20 0 10 0 115496256 1080377344 35368 18446744073709551615 4194304 4228012 140733921367184 139703758183304 139703848562740 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22372] ppid=22361 vsize=1055056 CPUtime=0
/proc/22364/task/22372/stat : 22372 (java) S 22361 22361 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115496256 1080377344 35368 18446744073709551615 4194304 4228012 140733921367184 139703757143248 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22373] ppid=22361 vsize=1055056 CPUtime=0
/proc/22364/task/22373/stat : 22373 (java) S 22361 22361 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115496256 1080377344 35368 18446744073709551615 4194304 4228012 140733921367184 139703756090752 139703864301131 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) 1064228

[startup+3.10074 s]
/proc/loadavg: 1.28 1.12 1.02 2/70 22373
/proc/meminfo: memFree=190656/1022884 swapFree=0/0
[pid=22361] ppid=22360 vsize=9172 CPUtime=0
/proc/22361/stat : 22361 (p2cudf-basic-1.) S 22360 22361 1733 0 -1 4202496 458 292 0 0 0 0 0 0 20 0 1 0 115496250 9392128 331 18446744073709551615 4194304 5129932 140734985945296 140734985943440 140574842037342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22361/statm: 2293 331 280 229 0 53 0
[pid=22364] ppid=22361 vsize=1055056 CPUtime=3.02
/proc/22364/stat : 22364 (java) S 22361 22361 1733 0 -1 4202496 98029 0 0 0 269 33 0 0 20 0 10 0 115496251 1080377344 93759 18446744073709551615 4194304 4228012 140733921367184 140733921358208 139703864286837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22364/statm: 263764 93759 2369 9 0 251114 0
[pid=22364/tid=22365] ppid=22361 vsize=1055056 CPUtime=1.49
/proc/22364/task/22365/stat : 22365 (java) R 22361 22361 1733 0 -1 4202560 47412 0 0 0 130 19 0 0 20 0 10 0 115496252 1080377344 93759 18446744073709551615 4194304 4228012 140733921367184 139703870812864 139703768815883 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0
[pid=22364/tid=22366] ppid=22361 vsize=1055056 CPUtime=0.5
/proc/22364/task/22366/stat : 22366 (java) S 22361 22361 1733 0 -1 4202560 30107 0 0 0 41 9 0 0 20 0 10 0 115496253 1080377344 93759 18446744073709551615 4194304 4228012 140733921367184 139703763459200 139703864301131 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22367] ppid=22361 vsize=1055056 CPUtime=0
/proc/22364/task/22367/stat : 22367 (java) S 22361 22361 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115496254 1080377344 93759 18446744073709551615 4194304 4228012 140733921367184 139703762405392 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22368] ppid=22361 vsize=1055056 CPUtime=0
/proc/22364/task/22368/stat : 22368 (java) S 22361 22361 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115496254 1080377344 93759 18446744073709551615 4194304 4228012 140733921367184 139703761352608 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22369] ppid=22361 vsize=1055056 CPUtime=0
/proc/22364/task/22369/stat : 22369 (java) S 22361 22361 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115496256 1080377344 93759 18446744073709551615 4194304 4228012 140733921367184 139703760301040 139703864308768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22370] ppid=22361 vsize=1055056 CPUtime=0.51
/proc/22364/task/22370/stat : 22370 (java) R 22361 22361 1733 0 -1 4202560 9473 0 0 0 50 1 0 0 20 0 10 0 115496256 1080377344 93759 18446744073709551615 4194304 4228012 140733921367184 139703759233176 139703846193251 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22371] ppid=22361 vsize=1055056 CPUtime=0.49
/proc/22364/task/22371/stat : 22371 (java) R 22361 22361 1733 0 -1 4202560 9745 0 0 0 47 2 0 0 20 0 10 0 115496256 1080377344 93759 18446744073709551615 4194304 4228012 140733921367184 139703758180328 139703849955652 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22372] ppid=22361 vsize=1055056 CPUtime=0
/proc/22364/task/22372/stat : 22372 (java) S 22361 22361 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115496256 1080377344 93759 18446744073709551615 4194304 4228012 140733921367184 139703757143248 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22373] ppid=22361 vsize=1055056 CPUtime=0
/proc/22364/task/22373/stat : 22373 (java) S 22361 22361 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115496256 1080377344 93759 18446744073709551615 4194304 4228012 140733921367184 139703756090752 139703864301131 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) 1064228

[startup+6.30061 s]
/proc/loadavg: 1.28 1.12 1.02 4/70 22373
/proc/meminfo: memFree=53760/1022884 swapFree=0/0
[pid=22361] ppid=22360 vsize=9172 CPUtime=0
/proc/22361/stat : 22361 (p2cudf-basic-1.) S 22360 22361 1733 0 -1 4202496 458 292 0 0 0 0 0 0 20 0 1 0 115496250 9392128 331 18446744073709551615 4194304 5129932 140734985945296 140734985943440 140574842037342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22361/statm: 2293 331 280 229 0 53 0
[pid=22364] ppid=22361 vsize=1056084 CPUtime=6.19
/proc/22364/stat : 22364 (java) S 22361 22361 1733 0 -1 4202496 119659 0 0 0 577 42 0 0 20 0 11 0 115496251 1081430016 110876 18446744073709551615 4194304 4228012 140733921367184 140733921358208 139703864286837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22364/statm: 264021 110876 2376 9 0 251371 0
[pid=22364/tid=22365] ppid=22361 vsize=1056084 CPUtime=2.81
/proc/22364/task/22365/stat : 22365 (java) R 22361 22361 1733 0 -1 4202560 47798 0 0 0 260 21 0 0 20 0 11 0 115496252 1081430016 110876 18446744073709551615 4194304 4228012 140733921367184 139703870812064 139703768310823 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0
[pid=22364/tid=22366] ppid=22361 vsize=1056084 CPUtime=0.84
/proc/22364/task/22366/stat : 22366 (java) S 22361 22361 1733 0 -1 4202560 46436 0 0 0 69 15 0 0 20 0 11 0 115496253 1081430016 110876 18446744073709551615 4194304 4228012 140733921367184 139703763459200 139703864301131 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22367] ppid=22361 vsize=1056084 CPUtime=0
/proc/22364/task/22367/stat : 22367 (java) S 22361 22361 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115496254 1081430016 110876 18446744073709551615 4194304 4228012 140733921367184 139703762405392 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22368] ppid=22361 vsize=1056084 CPUtime=0
/proc/22364/task/22368/stat : 22368 (java) S 22361 22361 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115496254 1081430016 110876 18446744073709551615 4194304 4228012 140733921367184 139703761352608 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22369] ppid=22361 vsize=1056084 CPUtime=0
/proc/22364/task/22369/stat : 22369 (java) S 22361 22361 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115496256 1081430016 110876 18446744073709551615 4194304 4228012 140733921367184 139703760301040 139703864308768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22370] ppid=22361 vsize=1056084 CPUtime=1.24
/proc/22364/task/22370/stat : 22370 (java) R 22361 22361 1733 0 -1 4202560 9724 0 0 0 123 1 0 0 20 0 11 0 115496256 1081430016 110876 18446744073709551615 4194304 4228012 140733921367184 139703759248144 139703847187782 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22371] ppid=22361 vsize=1056084 CPUtime=1.26
/proc/22364/task/22371/stat : 22371 (java) R 22361 22361 1733 0 -1 4202560 14403 0 0 0 122 4 0 0 20 0 11 0 115496256 1081430016 110876 18446744073709551615 4194304 4228012 140733921367184 139703758195472 139703847070432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22372] ppid=22361 vsize=1056084 CPUtime=0
/proc/22364/task/22372/stat : 22372 (java) S 22361 22361 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115496256 1081430016 110876 18446744073709551615 4194304 4228012 140733921367184 139703757143248 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22373] ppid=22361 vsize=1056084 CPUtime=0
/proc/22364/task/22373/stat : 22373 (java) S 22361 22361 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115496256 1081430016 110876 18446744073709551615 4194304 4228012 140733921367184 139703756090752 139703864301131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 1065256

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

[startup+6.40081 s]
/proc/loadavg: 1.28 1.12 1.02 4/70 22373
/proc/meminfo: memFree=53760/1022884 swapFree=0/0
[pid=22361] ppid=22360 vsize=9172 CPUtime=0
/proc/22361/stat : 22361 (p2cudf-basic-1.) S 22360 22361 1733 0 -1 4202496 458 292 0 0 0 0 0 0 20 0 1 0 115496250 9392128 331 18446744073709551615 4194304 5129932 140734985945296 140734985943440 140574842037342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22361/statm: 2293 331 280 229 0 53 0
[pid=22364] ppid=22361 vsize=1057112 CPUtime=6.27
/proc/22364/stat : 22364 (java) S 22361 22361 1733 0 -1 4202496 119685 0 0 0 585 42 0 0 20 0 11 0 115496251 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 140733921358208 139703864286837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22364/statm: 264278 110900 2376 9 0 251628 0
[pid=22364/tid=22365] ppid=22361 vsize=1057112 CPUtime=2.83
/proc/22364/task/22365/stat : 22365 (java) S 22361 22361 1733 0 -1 4202560 47808 0 0 0 262 21 0 0 20 0 11 0 115496252 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703870821296 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0
[pid=22364/tid=22366] ppid=22361 vsize=1057112 CPUtime=0.84
/proc/22364/task/22366/stat : 22366 (java) S 22361 22361 1733 0 -1 4202560 46436 0 0 0 69 15 0 0 20 0 11 0 115496253 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703763459200 139703864301131 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22367] ppid=22361 vsize=1057112 CPUtime=0
/proc/22364/task/22367/stat : 22367 (java) S 22361 22361 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115496254 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703762405392 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22368] ppid=22361 vsize=1057112 CPUtime=0
/proc/22364/task/22368/stat : 22368 (java) S 22361 22361 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115496254 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703761352608 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22369] ppid=22361 vsize=1057112 CPUtime=0
/proc/22364/task/22369/stat : 22369 (java) S 22361 22361 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115496256 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703760301040 139703864308768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22370] ppid=22361 vsize=1057112 CPUtime=1.27
/proc/22364/task/22370/stat : 22370 (java) S 22361 22361 1733 0 -1 4202560 9731 0 0 0 126 1 0 0 20 0 11 0 115496256 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703759248400 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22371] ppid=22361 vsize=1057112 CPUtime=1.3
/proc/22364/task/22371/stat : 22371 (java) S 22361 22361 1733 0 -1 4202560 14406 0 0 0 126 4 0 0 20 0 11 0 115496256 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703758195728 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22372] ppid=22361 vsize=1057112 CPUtime=0
/proc/22364/task/22372/stat : 22372 (java) S 22361 22361 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115496256 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703757143248 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22373] ppid=22361 vsize=1057112 CPUtime=0
/proc/22364/task/22373/stat : 22373 (java) S 22361 22361 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115496256 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703756090752 139703864301131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 1066284

[startup+6.8009 s]
/proc/loadavg: 1.42 1.15 1.03 1/71 22375
/proc/meminfo: memFree=21264/1022884 swapFree=0/0
[pid=22361] ppid=22360 vsize=9172 CPUtime=0
/proc/22361/stat : 22361 (p2cudf-basic-1.) S 22360 22361 1733 0 -1 4202496 458 292 0 0 0 0 0 0 20 0 1 0 115496250 9392128 331 18446744073709551615 4194304 5129932 140734985945296 140734985943440 140574842037342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22361/statm: 2293 331 280 229 0 53 0
[pid=22364] ppid=22361 vsize=1057112 CPUtime=6.27
/proc/22364/stat : 22364 (java) S 22361 22361 1733 0 -1 4202496 119685 0 0 0 585 42 0 0 20 0 11 0 115496251 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 140733921358208 139703864286837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22364/statm: 264278 110900 2376 9 0 251628 0
[pid=22364/tid=22365] ppid=22361 vsize=1057112 CPUtime=2.83
/proc/22364/task/22365/stat : 22365 (java) S 22361 22361 1733 0 -1 4202560 47808 0 0 0 262 21 0 0 20 0 11 0 115496252 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703870821296 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0
[pid=22364/tid=22366] ppid=22361 vsize=1057112 CPUtime=0.84
/proc/22364/task/22366/stat : 22366 (java) S 22361 22361 1733 0 -1 4202560 46436 0 0 0 69 15 0 0 20 0 11 0 115496253 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703763459200 139703864301131 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22367] ppid=22361 vsize=1057112 CPUtime=0
/proc/22364/task/22367/stat : 22367 (java) S 22361 22361 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115496254 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703762405392 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22368] ppid=22361 vsize=1057112 CPUtime=0
/proc/22364/task/22368/stat : 22368 (java) S 22361 22361 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115496254 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703761352608 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22369] ppid=22361 vsize=1057112 CPUtime=0
/proc/22364/task/22369/stat : 22369 (java) S 22361 22361 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115496256 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703760301040 139703864308768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22370] ppid=22361 vsize=1057112 CPUtime=1.27
/proc/22364/task/22370/stat : 22370 (java) S 22361 22361 1733 0 -1 4202560 9731 0 0 0 126 1 0 0 20 0 11 0 115496256 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703759248400 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22371] ppid=22361 vsize=1057112 CPUtime=1.3
/proc/22364/task/22371/stat : 22371 (java) S 22361 22361 1733 0 -1 4202560 14406 0 0 0 126 4 0 0 20 0 11 0 115496256 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703758195728 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22372] ppid=22361 vsize=1057112 CPUtime=0
/proc/22364/task/22372/stat : 22372 (java) S 22361 22361 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115496256 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703757143248 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22373] ppid=22361 vsize=1057112 CPUtime=0
/proc/22364/task/22373/stat : 22373 (java) S 22361 22361 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115496256 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703756090752 139703864301131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22375] ppid=22361 vsize=1057112 CPUtime=0
/proc/22364/task/22375/stat : 22375 (java) S 22361 22361 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 115496885 1082482688 110900 18446744073709551615 4194304 4228012 140733921367184 139703753832624 139703864301131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 1066284

[startup+7.00083 s]
/proc/loadavg: 1.42 1.15 1.03 1/71 22375
/proc/meminfo: memFree=21264/1022884 swapFree=0/0
[pid=22361] ppid=22360 vsize=9172 CPUtime=0
/proc/22361/stat : 22361 (p2cudf-basic-1.) S 22360 22361 1733 0 -1 4202496 458 292 0 0 0 0 0 0 20 0 1 0 115496250 9392128 331 18446744073709551615 4194304 5129932 140734985945296 140734985943440 140574842037342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22361/statm: 2293 331 280 229 0 53 0
[pid=22364] ppid=22361 vsize=1057112 CPUtime=6.41
/proc/22364/stat : 22364 (java) S 22361 22361 1733 0 -1 4202496 119688 0 0 0 596 45 0 0 20 0 11 0 115496251 1082482688 110903 18446744073709551615 4194304 4228012 140733921367184 140733921358208 139703864286837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22364/statm: 264278 110903 2376 9 0 251628 0
[pid=22364/tid=22365] ppid=22361 vsize=1057112 CPUtime=2.83
/proc/22364/task/22365/stat : 22365 (java) S 22361 22361 1733 0 -1 4202560 47808 0 0 0 262 21 0 0 20 0 11 0 115496252 1082482688 110903 18446744073709551615 4194304 4228012 140733921367184 139703870821296 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0
[pid=22364/tid=22366] ppid=22361 vsize=1057112 CPUtime=0.84
/proc/22364/task/22366/stat : 22366 (java) S 22361 22361 1733 0 -1 4202560 46436 0 0 0 69 15 0 0 20 0 11 0 115496253 1082482688 110903 18446744073709551615 4194304 4228012 140733921367184 139703763459200 139703864301131 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22367] ppid=22361 vsize=1057112 CPUtime=0
/proc/22364/task/22367/stat : 22367 (java) S 22361 22361 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115496254 1082482688 110903 18446744073709551615 4194304 4228012 140733921367184 139703762405392 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22368] ppid=22361 vsize=1057112 CPUtime=0
/proc/22364/task/22368/stat : 22368 (java) S 22361 22361 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115496254 1082482688 110903 18446744073709551615 4194304 4228012 140733921367184 139703761352608 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22369] ppid=22361 vsize=1057112 CPUtime=0
/proc/22364/task/22369/stat : 22369 (java) S 22361 22361 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115496256 1082482688 110903 18446744073709551615 4194304 4228012 140733921367184 139703760301040 139703864308768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22370] ppid=22361 vsize=1057112 CPUtime=1.3
/proc/22364/task/22370/stat : 22370 (java) S 22361 22361 1733 0 -1 4202560 9731 0 0 0 129 1 0 0 20 0 11 0 115496256 1082482688 110903 18446744073709551615 4194304 4228012 140733921367184 139703759248400 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22371] ppid=22361 vsize=1057112 CPUtime=1.3
/proc/22364/task/22371/stat : 22371 (java) S 22361 22361 1733 0 -1 4202560 14406 0 0 0 126 4 0 0 20 0 11 0 115496256 1082482688 110903 18446744073709551615 4194304 4228012 140733921367184 139703758195728 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22372] ppid=22361 vsize=1057112 CPUtime=0
/proc/22364/task/22372/stat : 22372 (java) S 22361 22361 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115496256 1082482688 110903 18446744073709551615 4194304 4228012 140733921367184 139703757143248 139703864300244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22373] ppid=22361 vsize=1057112 CPUtime=0
/proc/22364/task/22373/stat : 22373 (java) S 22361 22361 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115496256 1082482688 110903 18446744073709551615 4194304 4228012 140733921367184 139703756090752 139703864301131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22364/tid=22375] ppid=22361 vsize=1057112 CPUtime=0.1
/proc/22364/task/22375/stat : 22375 (java) R 22361 22361 1733 0 -1 4202560 9 0 0 0 7 3 0 0 20 0 11 0 115496885 1082482688 110903 18446744073709551615 4194304 4228012 140733921367184 139703753823536 139703768242818 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 1066284

Child status: 0
Real time (s): 7.05431
CPU time (s): 6.4764
CPU user time (s): 5.98037
CPU system time (s): 0.496031
CPU usage (%): 91.8078
Max. virtual memory (cumulated for all children) (KiB): 1066284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.98037
system time used= 0.496031
maximum resident set size= 443648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120461
page faults= 0
swaps= 0
block input operations= 37880
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 694
involuntary context switches= 1926

runsolver used 0.008 second user time and 0.056003 second system time

The end