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/80e3fda2-9501-11e0-8001-00163e1e087d.cudf.log.runsolver /home/competition/p2cudf-basic-1.15/p2cudf-basic-1.15 /home/competition/data/real/80e3fda2-9501-11e0-8001-00163e1e087d.cudf /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/paranoid-size/real/80e3fda2-9501-11e0-8001-00163e1e087d.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.78 1.36 1.09 2/60 8277
/proc/meminfo: memFree=450268/1022884 swapFree=0/0
[pid=8277] ppid=8276 vsize=3152 CPUtime=0
/proc/8277/stat : 8277 (runsolver) R 8276 32685 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 37258981 3227648 33 18446744073709551615 134512640 134586868 4287243568 4287241616 4151612464 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/8277/statm: 788 33 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.118867 s]
/proc/loadavg: 1.78 1.36 1.09 2/60 8277
/proc/meminfo: memFree=450268/1022884 swapFree=0/0
[pid=8277] ppid=8276 vsize=9172 CPUtime=0
/proc/8277/stat : 8277 (p2cudf-basic-1.) S 8276 8277 32685 0 -1 4202496 462 293 0 0 0 0 0 0 20 0 1 0 37258981 9392128 332 18446744073709551615 4194304 5129932 140736561101168 140736561099312 140317948683358 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8277/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.200255 s]
/proc/loadavg: 1.78 1.36 1.09 2/60 8277
/proc/meminfo: memFree=450268/1022884 swapFree=0/0
[pid=8277] ppid=8276 vsize=9172 CPUtime=0
/proc/8277/stat : 8277 (p2cudf-basic-1.) S 8276 8277 32685 0 -1 4202496 462 293 0 0 0 0 0 0 20 0 1 0 37258981 9392128 332 18446744073709551615 4194304 5129932 140736561101168 140736561099312 140317948683358 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8277/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.300313 s]
/proc/loadavg: 1.78 1.36 1.09 2/60 8277
/proc/meminfo: memFree=450268/1022884 swapFree=0/0
[pid=8277] ppid=8276 vsize=9172 CPUtime=0
/proc/8277/stat : 8277 (p2cudf-basic-1.) S 8276 8277 32685 0 -1 4202496 462 293 0 0 0 0 0 0 20 0 1 0 37258981 9392128 332 18446744073709551615 4194304 5129932 140736561101168 140736561099312 140317948683358 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8277/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.700215 s]
/proc/loadavg: 1.78 1.36 1.09 2/60 8277
/proc/meminfo: memFree=450268/1022884 swapFree=0/0
[pid=8277] ppid=8276 vsize=9172 CPUtime=0
/proc/8277/stat : 8277 (p2cudf-basic-1.) S 8276 8277 32685 0 -1 4202496 462 293 0 0 0 0 0 0 20 0 1 0 37258981 9392128 332 18446744073709551615 4194304 5129932 140736561101168 140736561099312 140317948683358 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8277/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+1.50056 s]
/proc/loadavg: 1.78 1.36 1.09 4/71 8289
/proc/meminfo: memFree=344648/1022884 swapFree=0/0
[pid=8277] ppid=8276 vsize=9172 CPUtime=0
/proc/8277/stat : 8277 (p2cudf-basic-1.) S 8276 8277 32685 0 -1 4202496 462 293 0 0 0 0 0 0 20 0 1 0 37258981 9392128 332 18446744073709551615 4194304 5129932 140736561101168 140736561099312 140317948683358 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8277/statm: 2293 332 280 229 0 53 0
[pid=8280] ppid=8277 vsize=1052044 CPUtime=1.46
/proc/8280/stat : 8280 (java) S 8277 8277 32685 0 -1 4202496 39675 0 0 0 133 13 0 0 20 0 10 0 37258982 1077293056 35789 18446744073709551615 4194304 4228012 140735711961248 140735711952272 140487930011253 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8280/statm: 263011 35789 2348 9 0 250361 0
[pid=8280/tid=8281] ppid=8277 vsize=1052044 CPUtime=0.63
/proc/8280/task/8281/stat : 8281 (java) R 8277 8277 32685 0 -1 4202560 19224 0 0 0 56 7 0 0 20 0 10 0 37258983 1077293056 35789 18446744073709551615 4194304 4228012 140735711961248 140487936537280 140487834449746 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=8280/tid=8282] ppid=8277 vsize=1052044 CPUtime=0
/proc/8280/task/8282/stat : 8282 (java) S 8277 8277 32685 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 10 0 37258984 1077293056 35789 18446744073709551615 4194304 4228012 140735711961248 140487829183616 140487930025547 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8283] ppid=8277 vsize=1052044 CPUtime=0
/proc/8280/task/8283/stat : 8283 (java) S 8277 8277 32685 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 37258985 1077293056 35789 18446744073709551615 4194304 4228012 140735711961248 140487828129808 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8284] ppid=8277 vsize=1052044 CPUtime=0
/proc/8280/task/8284/stat : 8284 (java) S 8277 8277 32685 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 37258985 1077293056 35789 18446744073709551615 4194304 4228012 140735711961248 140487827077024 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8285] ppid=8277 vsize=1052044 CPUtime=0
/proc/8280/task/8285/stat : 8285 (java) S 8277 8277 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 37258987 1077293056 35789 18446744073709551615 4194304 4228012 140735711961248 140487826025456 140487930033184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8286] ppid=8277 vsize=1052044 CPUtime=0.4
/proc/8280/task/8286/stat : 8286 (java) R 8277 8277 32685 0 -1 4202560 10832 0 0 0 37 3 0 0 20 0 10 0 37258987 1077293056 35789 18446744073709551615 4194304 4228012 140735711961248 140487824972560 140487916532806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8287] ppid=8277 vsize=1052044 CPUtime=0.4
/proc/8280/task/8287/stat : 8287 (java) R 8277 8277 32685 0 -1 4202560 8323 0 0 0 38 2 0 0 20 0 10 0 37258987 1077293056 35789 18446744073709551615 4194304 4228012 140735711961248 140487823919888 140487914300989 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8288] ppid=8277 vsize=1052044 CPUtime=0
/proc/8280/task/8288/stat : 8288 (java) S 8277 8277 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37258987 1077293056 35789 18446744073709551615 4194304 4228012 140735711961248 140487822867664 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8289] ppid=8277 vsize=1052044 CPUtime=0
/proc/8280/task/8289/stat : 8289 (java) S 8277 8277 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37258987 1077293056 35789 18446744073709551615 4194304 4228012 140735711961248 140487821815168 140487930025547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 1061216

[startup+3.10056 s]
/proc/loadavg: 1.78 1.36 1.09 2/71 8289
/proc/meminfo: memFree=163236/1022884 swapFree=0/0
[pid=8277] ppid=8276 vsize=9172 CPUtime=0
/proc/8277/stat : 8277 (p2cudf-basic-1.) S 8276 8277 32685 0 -1 4202496 462 293 0 0 0 0 0 0 20 0 1 0 37258981 9392128 332 18446744073709551615 4194304 5129932 140736561101168 140736561099312 140317948683358 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8277/statm: 2293 332 280 229 0 53 0
[pid=8280] ppid=8277 vsize=1052044 CPUtime=2.99
/proc/8280/stat : 8280 (java) S 8277 8277 32685 0 -1 4202496 98323 0 0 0 275 24 0 0 20 0 10 0 37258982 1077293056 94437 18446744073709551615 4194304 4228012 140735711961248 140735711952272 140487930011253 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8280/statm: 263011 94437 2369 9 0 250361 0
[pid=8280/tid=8281] ppid=8277 vsize=1052044 CPUtime=1.5
/proc/8280/task/8281/stat : 8281 (java) R 8277 8277 32685 0 -1 4202560 47412 0 0 0 140 10 0 0 20 0 10 0 37258983 1077293056 94437 18446744073709551615 4194304 4228012 140735711961248 140487936537280 140487834529004 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0
[pid=8280/tid=8282] ppid=8277 vsize=1052044 CPUtime=0.47
/proc/8280/task/8282/stat : 8282 (java) S 8277 8277 32685 0 -1 4202560 30333 0 0 0 40 7 0 0 20 0 10 0 37258984 1077293056 94437 18446744073709551615 4194304 4228012 140735711961248 140487829183616 140487930025547 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8283] ppid=8277 vsize=1052044 CPUtime=0
/proc/8280/task/8283/stat : 8283 (java) S 8277 8277 32685 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 37258985 1077293056 94437 18446744073709551615 4194304 4228012 140735711961248 140487828129808 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8284] ppid=8277 vsize=1052044 CPUtime=0
/proc/8280/task/8284/stat : 8284 (java) S 8277 8277 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 37258985 1077293056 94437 18446744073709551615 4194304 4228012 140735711961248 140487827077024 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8285] ppid=8277 vsize=1052044 CPUtime=0
/proc/8280/task/8285/stat : 8285 (java) S 8277 8277 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 37258987 1077293056 94437 18446744073709551615 4194304 4228012 140735711961248 140487826025456 140487930033184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8286] ppid=8277 vsize=1052044 CPUtime=0.48
/proc/8280/task/8286/stat : 8286 (java) S 8277 8277 32685 0 -1 4202560 10944 0 0 0 45 3 0 0 20 0 10 0 37258987 1077293056 94437 18446744073709551615 4194304 4228012 140735711961248 140487824972816 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8287] ppid=8277 vsize=1052044 CPUtime=0.5
/proc/8280/task/8287/stat : 8287 (java) S 8277 8277 32685 0 -1 4202560 8339 0 0 0 48 2 0 0 20 0 10 0 37258987 1077293056 94437 18446744073709551615 4194304 4228012 140735711961248 140487823920144 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8288] ppid=8277 vsize=1052044 CPUtime=0
/proc/8280/task/8288/stat : 8288 (java) S 8277 8277 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37258987 1077293056 94437 18446744073709551615 4194304 4228012 140735711961248 140487822867664 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8289] ppid=8277 vsize=1052044 CPUtime=0
/proc/8280/task/8289/stat : 8289 (java) S 8277 8277 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37258987 1077293056 94437 18446744073709551615 4194304 4228012 140735711961248 140487821815168 140487930025547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 1061216

[startup+6.30058 s]
/proc/loadavg: 1.72 1.36 1.09 4/71 8289
/proc/meminfo: memFree=26340/1022884 swapFree=0/0
[pid=8277] ppid=8276 vsize=9172 CPUtime=0
/proc/8277/stat : 8277 (p2cudf-basic-1.) S 8276 8277 32685 0 -1 4202496 462 293 0 0 0 0 0 0 20 0 1 0 37258981 9392128 332 18446744073709551615 4194304 5129932 140736561101168 140736561099312 140317948683358 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8277/statm: 2293 332 280 229 0 53 0
[pid=8280] ppid=8277 vsize=1050648 CPUtime=6.14
/proc/8280/stat : 8280 (java) S 8277 8277 32685 0 -1 4202496 108544 0 0 0 586 28 0 0 20 0 11 0 37258982 1075863552 103448 18446744073709551615 4194304 4228012 140735711961248 140735711952272 140487930011253 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8280/statm: 262662 103448 2376 9 0 250012 0
[pid=8280/tid=8281] ppid=8277 vsize=1050648 CPUtime=2.8
/proc/8280/task/8281/stat : 8281 (java) R 8277 8277 32685 0 -1 4202560 47793 0 0 0 268 12 0 0 20 0 11 0 37258983 1075863552 103448 18446744073709551615 4194304 4228012 140735711961248 140487936536480 140487833968273 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0
[pid=8280/tid=8282] ppid=8277 vsize=1050648 CPUtime=0.65
/proc/8280/task/8282/stat : 8282 (java) S 8277 8277 32685 0 -1 4202560 38638 0 0 0 56 9 0 0 20 0 11 0 37258984 1075863552 103448 18446744073709551615 4194304 4228012 140735711961248 140487829183616 140487930025547 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8283] ppid=8277 vsize=1050648 CPUtime=0
/proc/8280/task/8283/stat : 8283 (java) S 8277 8277 32685 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 11 0 37258985 1075863552 103448 18446744073709551615 4194304 4228012 140735711961248 140487828129808 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8284] ppid=8277 vsize=1050648 CPUtime=0
/proc/8280/task/8284/stat : 8284 (java) S 8277 8277 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37258985 1075863552 103448 18446744073709551615 4194304 4228012 140735711961248 140487827077024 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8285] ppid=8277 vsize=1050648 CPUtime=0
/proc/8280/task/8285/stat : 8285 (java) S 8277 8277 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37258987 1075863552 103448 18446744073709551615 4194304 4228012 140735711961248 140487826025456 140487930033184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8286] ppid=8277 vsize=1050648 CPUtime=1.32
/proc/8280/task/8286/stat : 8286 (java) R 8277 8277 32685 0 -1 4202560 11446 0 0 0 128 4 0 0 20 0 11 0 37258987 1075863552 103448 18446744073709551615 4194304 4228012 140735711961248 140487824972560 140487915584498 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8287] ppid=8277 vsize=1050648 CPUtime=1.33
/proc/8280/task/8287/stat : 8287 (java) R 8277 8277 32685 0 -1 4202560 9366 0 0 0 130 3 0 0 20 0 11 0 37258987 1075863552 103448 18446744073709551615 4194304 4228012 140735711961248 140487823919888 140487915679839 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8288] ppid=8277 vsize=1050648 CPUtime=0
/proc/8280/task/8288/stat : 8288 (java) S 8277 8277 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37258987 1075863552 103448 18446744073709551615 4194304 4228012 140735711961248 140487822867664 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8289] ppid=8277 vsize=1050648 CPUtime=0
/proc/8280/task/8289/stat : 8289 (java) S 8277 8277 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37258987 1075863552 103448 18446744073709551615 4194304 4228012 140735711961248 140487821815168 140487930025547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 1059820

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

[startup+6.40073 s]
/proc/loadavg: 1.72 1.36 1.09 4/71 8289
/proc/meminfo: memFree=26340/1022884 swapFree=0/0
[pid=8277] ppid=8276 vsize=9172 CPUtime=0
/proc/8277/stat : 8277 (p2cudf-basic-1.) S 8276 8277 32685 0 -1 4202496 462 293 0 0 0 0 0 0 20 0 1 0 37258981 9392128 332 18446744073709551615 4194304 5129932 140736561101168 140736561099312 140317948683358 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8277/statm: 2293 332 280 229 0 53 0
[pid=8280] ppid=8277 vsize=1050648 CPUtime=6.24
/proc/8280/stat : 8280 (java) S 8277 8277 32685 0 -1 4202496 108556 0 0 0 596 28 0 0 20 0 11 0 37258982 1075863552 103460 18446744073709551615 4194304 4228012 140735711961248 140735711952272 140487930011253 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8280/statm: 262662 103460 2377 9 0 250012 0
[pid=8280/tid=8281] ppid=8277 vsize=1050648 CPUtime=2.84
/proc/8280/task/8281/stat : 8281 (java) R 8277 8277 32685 0 -1 4202560 47794 0 0 0 272 12 0 0 20 0 11 0 37258983 1075863552 103460 18446744073709551615 4194304 4228012 140735711961248 140487936536480 140487913287477 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0
[pid=8280/tid=8282] ppid=8277 vsize=1050648 CPUtime=0.65
/proc/8280/task/8282/stat : 8282 (java) S 8277 8277 32685 0 -1 4202560 38638 0 0 0 56 9 0 0 20 0 11 0 37258984 1075863552 103460 18446744073709551615 4194304 4228012 140735711961248 140487829183616 140487930025547 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8283] ppid=8277 vsize=1050648 CPUtime=0
/proc/8280/task/8283/stat : 8283 (java) S 8277 8277 32685 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 11 0 37258985 1075863552 103460 18446744073709551615 4194304 4228012 140735711961248 140487828129808 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8284] ppid=8277 vsize=1050648 CPUtime=0
/proc/8280/task/8284/stat : 8284 (java) S 8277 8277 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37258985 1075863552 103460 18446744073709551615 4194304 4228012 140735711961248 140487827077024 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8285] ppid=8277 vsize=1050648 CPUtime=0
/proc/8280/task/8285/stat : 8285 (java) S 8277 8277 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37258987 1075863552 103460 18446744073709551615 4194304 4228012 140735711961248 140487826025456 140487930033184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8286] ppid=8277 vsize=1050648 CPUtime=1.36
/proc/8280/task/8286/stat : 8286 (java) R 8277 8277 32685 0 -1 4202560 11454 0 0 0 132 4 0 0 20 0 11 0 37258987 1075863552 103460 18446744073709551615 4194304 4228012 140735711961248 140487824972560 140487913749140 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8287] ppid=8277 vsize=1050648 CPUtime=1.37
/proc/8280/task/8287/stat : 8287 (java) R 8277 8277 32685 0 -1 4202560 9369 0 0 0 134 3 0 0 20 0 11 0 37258987 1075863552 103460 18446744073709551615 4194304 4228012 140735711961248 140487823919888 140487915582458 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8288] ppid=8277 vsize=1050648 CPUtime=0
/proc/8280/task/8288/stat : 8288 (java) S 8277 8277 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37258987 1075863552 103460 18446744073709551615 4194304 4228012 140735711961248 140487822867664 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8289] ppid=8277 vsize=1050648 CPUtime=0
/proc/8280/task/8289/stat : 8289 (java) S 8277 8277 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37258987 1075863552 103460 18446744073709551615 4194304 4228012 140735711961248 140487821815168 140487930025547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 1059820

[startup+7.2007 s]
/proc/loadavg: 1.72 1.36 1.09 4/72 8290
/proc/meminfo: memFree=25960/1022884 swapFree=0/0
[pid=8277] ppid=8276 vsize=9172 CPUtime=0
/proc/8277/stat : 8277 (p2cudf-basic-1.) S 8276 8277 32685 0 -1 4202496 462 293 0 0 0 0 0 0 20 0 1 0 37258981 9392128 332 18446744073709551615 4194304 5129932 140736561101168 140736561099312 140317948683358 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8277/statm: 2293 332 280 229 0 53 0
[pid=8280] ppid=8277 vsize=1051676 CPUtime=6.79
/proc/8280/stat : 8280 (java) S 8277 8277 32685 0 -1 4202496 108616 0 0 0 651 28 0 0 20 0 11 0 37258982 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140735711952272 140487930011253 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8280/statm: 262919 103518 2379 9 0 250269 0
[pid=8280/tid=8281] ppid=8277 vsize=1051676 CPUtime=3
/proc/8280/task/8281/stat : 8281 (java) S 8277 8277 32685 0 -1 4202560 47806 0 0 0 288 12 0 0 20 0 11 0 37258983 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487936545712 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0
[pid=8280/tid=8282] ppid=8277 vsize=1051676 CPUtime=0.65
/proc/8280/task/8282/stat : 8282 (java) S 8277 8277 32685 0 -1 4202560 38638 0 0 0 56 9 0 0 20 0 11 0 37258984 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487829183616 140487930025547 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8283] ppid=8277 vsize=1051676 CPUtime=0
/proc/8280/task/8283/stat : 8283 (java) S 8277 8277 32685 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 11 0 37258985 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487828129808 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8284] ppid=8277 vsize=1051676 CPUtime=0
/proc/8280/task/8284/stat : 8284 (java) S 8277 8277 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37258985 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487827077024 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8285] ppid=8277 vsize=1051676 CPUtime=0
/proc/8280/task/8285/stat : 8285 (java) S 8277 8277 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37258987 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487826025456 140487930033184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8286] ppid=8277 vsize=1051676 CPUtime=1.55
/proc/8280/task/8286/stat : 8286 (java) S 8277 8277 32685 0 -1 4202560 11467 0 0 0 151 4 0 0 20 0 11 0 37258987 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487824972816 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8287] ppid=8277 vsize=1051676 CPUtime=1.56
/proc/8280/task/8287/stat : 8287 (java) S 8277 8277 32685 0 -1 4202560 9398 0 0 0 153 3 0 0 20 0 11 0 37258987 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487823920144 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8288] ppid=8277 vsize=1051676 CPUtime=0
/proc/8280/task/8288/stat : 8288 (java) S 8277 8277 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37258987 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487822867664 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8289] ppid=8277 vsize=1051676 CPUtime=0
/proc/8280/task/8289/stat : 8289 (java) S 8277 8277 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37258987 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487821815168 140487930025547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 1060848

[startup+7.40084 s]
/proc/loadavg: 1.72 1.36 1.09 4/72 8290
/proc/meminfo: memFree=25960/1022884 swapFree=0/0
[pid=8277] ppid=8276 vsize=9172 CPUtime=0
/proc/8277/stat : 8277 (p2cudf-basic-1.) S 8276 8277 32685 0 -1 4202496 462 293 0 0 0 0 0 0 20 0 1 0 37258981 9392128 332 18446744073709551615 4194304 5129932 140736561101168 140736561099312 140317948683358 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8277/statm: 2293 332 280 229 0 53 0
[pid=8280] ppid=8277 vsize=1051676 CPUtime=6.79
/proc/8280/stat : 8280 (java) S 8277 8277 32685 0 -1 4202496 108616 0 0 0 651 28 0 0 20 0 11 0 37258982 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140735711952272 140487930011253 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8280/statm: 262919 103518 2379 9 0 250269 0
[pid=8280/tid=8281] ppid=8277 vsize=1051676 CPUtime=3
/proc/8280/task/8281/stat : 8281 (java) S 8277 8277 32685 0 -1 4202560 47806 0 0 0 288 12 0 0 20 0 11 0 37258983 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487936545712 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0
[pid=8280/tid=8282] ppid=8277 vsize=1051676 CPUtime=0.65
/proc/8280/task/8282/stat : 8282 (java) S 8277 8277 32685 0 -1 4202560 38638 0 0 0 56 9 0 0 20 0 11 0 37258984 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487829183616 140487930025547 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8283] ppid=8277 vsize=1051676 CPUtime=0
/proc/8280/task/8283/stat : 8283 (java) S 8277 8277 32685 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 11 0 37258985 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487828129808 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8284] ppid=8277 vsize=1051676 CPUtime=0
/proc/8280/task/8284/stat : 8284 (java) S 8277 8277 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37258985 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487827077024 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8285] ppid=8277 vsize=1051676 CPUtime=0
/proc/8280/task/8285/stat : 8285 (java) S 8277 8277 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37258987 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487826025456 140487930033184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8286] ppid=8277 vsize=1051676 CPUtime=1.55
/proc/8280/task/8286/stat : 8286 (java) S 8277 8277 32685 0 -1 4202560 11467 0 0 0 151 4 0 0 20 0 11 0 37258987 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487824972816 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8287] ppid=8277 vsize=1051676 CPUtime=1.56
/proc/8280/task/8287/stat : 8287 (java) S 8277 8277 32685 0 -1 4202560 9398 0 0 0 153 3 0 0 20 0 11 0 37258987 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487823920144 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8288] ppid=8277 vsize=1051676 CPUtime=0
/proc/8280/task/8288/stat : 8288 (java) S 8277 8277 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37258987 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487822867664 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8289] ppid=8277 vsize=1051676 CPUtime=0
/proc/8280/task/8289/stat : 8289 (java) S 8277 8277 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37258987 1076916224 103518 18446744073709551615 4194304 4228012 140735711961248 140487821815168 140487930025547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 1060848

[startup+7.50077 s]
/proc/loadavg: 1.72 1.36 1.09 4/72 8290
/proc/meminfo: memFree=25960/1022884 swapFree=0/0
[pid=8277] ppid=8276 vsize=9172 CPUtime=0
/proc/8277/stat : 8277 (p2cudf-basic-1.) S 8276 8277 32685 0 -1 4202496 462 293 0 0 0 0 0 0 20 0 1 0 37258981 9392128 332 18446744073709551615 4194304 5129932 140736561101168 140736561099312 140317948683358 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8277/statm: 2293 332 280 229 0 53 0
[pid=8280] ppid=8277 vsize=1051676 CPUtime=6.88
/proc/8280/stat : 8280 (java) S 8277 8277 32685 0 -1 4202496 108619 0 0 0 658 30 0 0 20 0 11 0 37258982 1076916224 103521 18446744073709551615 4194304 4228012 140735711961248 140735711952272 140487930011253 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8280/statm: 262919 103521 2379 9 0 250269 0
[pid=8280/tid=8281] ppid=8277 vsize=1051676 CPUtime=3
/proc/8280/task/8281/stat : 8281 (java) S 8277 8277 32685 0 -1 4202560 47806 0 0 0 288 12 0 0 20 0 11 0 37258983 1076916224 103521 18446744073709551615 4194304 4228012 140735711961248 140487936545712 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0
[pid=8280/tid=8282] ppid=8277 vsize=1051676 CPUtime=0.65
/proc/8280/task/8282/stat : 8282 (java) S 8277 8277 32685 0 -1 4202560 38638 0 0 0 56 9 0 0 20 0 11 0 37258984 1076916224 103521 18446744073709551615 4194304 4228012 140735711961248 140487829183616 140487930025547 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8283] ppid=8277 vsize=1051676 CPUtime=0
/proc/8280/task/8283/stat : 8283 (java) S 8277 8277 32685 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 11 0 37258985 1076916224 103521 18446744073709551615 4194304 4228012 140735711961248 140487828129808 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8284] ppid=8277 vsize=1051676 CPUtime=0
/proc/8280/task/8284/stat : 8284 (java) S 8277 8277 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37258985 1076916224 103521 18446744073709551615 4194304 4228012 140735711961248 140487827077024 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8285] ppid=8277 vsize=1051676 CPUtime=0
/proc/8280/task/8285/stat : 8285 (java) S 8277 8277 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37258987 1076916224 103521 18446744073709551615 4194304 4228012 140735711961248 140487826025456 140487930033184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8286] ppid=8277 vsize=1051676 CPUtime=1.56
/proc/8280/task/8286/stat : 8286 (java) S 8277 8277 32685 0 -1 4202560 11467 0 0 0 152 4 0 0 20 0 11 0 37258987 1076916224 103521 18446744073709551615 4194304 4228012 140735711961248 140487824972816 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8287] ppid=8277 vsize=1051676 CPUtime=1.57
/proc/8280/task/8287/stat : 8287 (java) S 8277 8277 32685 0 -1 4202560 9398 0 0 0 154 3 0 0 20 0 11 0 37258987 1076916224 103521 18446744073709551615 4194304 4228012 140735711961248 140487823920144 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8288] ppid=8277 vsize=1051676 CPUtime=0
/proc/8280/task/8288/stat : 8288 (java) S 8277 8277 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37258987 1076916224 103521 18446744073709551615 4194304 4228012 140735711961248 140487822867664 140487930024660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8280/tid=8289] ppid=8277 vsize=1051676 CPUtime=0
/proc/8280/task/8289/stat : 8289 (java) S 8277 8277 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37258987 1076916224 103521 18446744073709551615 4194304 4228012 140735711961248 140487821815168 140487930025547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 1060848

Child status: 0
Real time (s): 7.55336
CPU time (s): 6.94043
CPU user time (s): 6.61641
CPU system time (s): 0.32402
CPU usage (%): 91.8854
Max. virtual memory (cumulated for all children) (KiB): 1062364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.61641
system time used= 0.32402
maximum resident set size= 416452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109396
page faults= 0
swaps= 0
block input operations= 37048
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 597
involuntary context switches= 1607

runsolver used 0.012 second user time and 0.052003 second system time

The end