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: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201103021629/p2cudf-paranoid-1.12/rand967.cudf.heavy.log.runsolver ./p2cudf-paranoid-1.12 /home/misc2010/data/misc4/heavy//rand967.cudf /home/misc2010/tmp/201103021629/p2cudf-paranoid-1.12/rand967.cudf.heavy.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 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: 0.78 1.00 1.02 5/35 26332
/proc/meminfo: memFree=339764/1048576 swapFree=0/0
[pid=26330] ppid=26329 vsize=2564 CPUtime=0
/proc/26330/stat : 26330 (p2cudf-paranoid) S 26329 26330 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68851312 2625536 270 1283457024 134512640 135304128 4287736640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26330/statm: 641 270 230 194 0 28 0
[pid=26331] ppid=26330 vsize=2572 CPUtime=0
/proc/26331/stat : 26331 (p2cudf) S 26330 26330 1684 34817 1684 4202496 354 0 0 0 0 0 0 0 25 0 1 0 68851312 2633728 272 1283457024 134512640 135304128 4290881104 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/26331/statm: 643 272 231 194 0 30 0
[pid=26332] ppid=26331 vsize=2572 CPUtime=0
/proc/26332/stat : 26332 (p2cudf) R 26331 26330 1684 34817 1684 4202560 94 0 0 0 0 0 0 0 25 0 1 0 68851312 2633728 119 1283457024 134512640 135304128 4290881104 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/26332/statm: 643 119 77 194 0 30 0
[pid=26333] ppid=26332 vsize=2572 CPUtime=0
/proc/26333/stat : 26333 (p2cudf) R 26332 26330 1684 34817 1684 4202560 0 0 0 0 0 0 0 0 25 0 1 0 68851312 2633728 42 1283457024 134512640 135304128 4290881104 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/26333/statm: 643 42 0 194 0 30 0

[startup+0.215323 s]
/proc/loadavg: 0.78 1.00 1.02 5/35 26332
/proc/meminfo: memFree=339764/1048576 swapFree=0/0
[pid=26330] ppid=26329 vsize=2564 CPUtime=0
/proc/26330/stat : 26330 (p2cudf-paranoid) S 26329 26330 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68851312 2625536 270 1283457024 134512640 135304128 4287736640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26330/statm: 641 270 230 194 0 28 0
[pid=26331] ppid=26330 vsize=2576 CPUtime=0.02
/proc/26331/stat : 26331 (p2cudf) S 26330 26330 1684 34817 1684 4202496 391 3014 0 1 0 0 1 1 25 0 1 0 68851312 2637824 281 1283457024 134512640 135304128 4290881104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26331/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.305343 s]
/proc/loadavg: 0.78 1.00 1.02 5/35 26332
/proc/meminfo: memFree=339764/1048576 swapFree=0/0
[pid=26330] ppid=26329 vsize=2564 CPUtime=0
/proc/26330/stat : 26330 (p2cudf-paranoid) S 26329 26330 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68851312 2625536 270 1283457024 134512640 135304128 4287736640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26330/statm: 641 270 230 194 0 28 0
[pid=26331] ppid=26330 vsize=2576 CPUtime=0.02
/proc/26331/stat : 26331 (p2cudf) S 26330 26330 1684 34817 1684 4202496 391 3014 0 1 0 0 1 1 25 0 1 0 68851312 2637824 281 1283457024 134512640 135304128 4290881104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26331/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.405361 s]
/proc/loadavg: 0.78 1.00 1.02 5/35 26332
/proc/meminfo: memFree=339764/1048576 swapFree=0/0
[pid=26330] ppid=26329 vsize=2564 CPUtime=0
/proc/26330/stat : 26330 (p2cudf-paranoid) S 26329 26330 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68851312 2625536 270 1283457024 134512640 135304128 4287736640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26330/statm: 641 270 230 194 0 28 0
[pid=26331] ppid=26330 vsize=2576 CPUtime=0.02
/proc/26331/stat : 26331 (p2cudf) S 26330 26330 1684 34817 1684 4202496 391 3014 0 1 0 0 1 1 25 0 1 0 68851312 2637824 281 1283457024 134512640 135304128 4290881104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26331/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.70546 s]
/proc/loadavg: 0.78 1.00 1.02 5/35 26332
/proc/meminfo: memFree=339764/1048576 swapFree=0/0
[pid=26330] ppid=26329 vsize=2564 CPUtime=0
/proc/26330/stat : 26330 (p2cudf-paranoid) S 26329 26330 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68851312 2625536 270 1283457024 134512640 135304128 4287736640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26330/statm: 641 270 230 194 0 28 0
[pid=26331] ppid=26330 vsize=2576 CPUtime=0.02
/proc/26331/stat : 26331 (p2cudf) S 26330 26330 1684 34817 1684 4202496 391 3014 0 1 0 0 1 1 25 0 1 0 68851312 2637824 281 1283457024 134512640 135304128 4290881104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26331/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+1.50566 s]
/proc/loadavg: 0.78 1.00 1.02 3/45 26353
/proc/meminfo: memFree=283192/1048576 swapFree=0/0
[pid=26330] ppid=26329 vsize=2564 CPUtime=0
/proc/26330/stat : 26330 (p2cudf-paranoid) S 26329 26330 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68851312 2625536 270 1283457024 134512640 135304128 4287736640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26330/statm: 641 270 230 194 0 28 0
[pid=26331] ppid=26330 vsize=2576 CPUtime=0.02
/proc/26331/stat : 26331 (p2cudf) S 26330 26330 1684 34817 1684 4202496 391 3014 0 1 0 0 1 1 25 0 1 0 68851312 2637824 281 1283457024 134512640 135304128 4290881104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26331/statm: 644 281 239 194 0 31 0
[pid=26344] ppid=26331 vsize=884840 CPUtime=1.46
/proc/26344/stat : 26344 (java) S 26331 26330 1684 34817 1684 4202496 21521 0 1 0 134 12 0 0 25 0 10 0 68851316 906076160 18116 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26344/statm: 221210 18116 1721 10 0 218301 0
[pid=26344/tid=26345] ppid=26331 vsize=884840 CPUtime=0.8
/proc/26344/task/26345/stat : 26345 (java) R 26331 26330 1684 34817 1684 4202560 10092 0 1 0 73 7 0 0 25 0 10 0 68851316 906076160 18116 1283457024 134512640 134550932 4289434512 18446744073709551615 4095323665 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26344/tid=26346] ppid=26331 vsize=884840 CPUtime=0
/proc/26344/task/26346/stat : 26346 (java) S 26331 26330 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 10 0 68851318 906076160 18116 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 0 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26347] ppid=26331 vsize=884840 CPUtime=0
/proc/26344/task/26347/stat : 26347 (java) S 26331 26330 1684 34817 1684 4202560 8 0 0 0 0 0 0 0 25 0 10 0 68851318 906076160 18116 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26348] ppid=26331 vsize=884840 CPUtime=0
/proc/26344/task/26348/stat : 26348 (java) S 26331 26330 1684 34817 1684 4202560 4 0 0 0 0 0 0 0 25 0 10 0 68851318 906076160 18116 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26349] ppid=26331 vsize=884840 CPUtime=0
/proc/26344/task/26349/stat : 26349 (java) S 26331 26330 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68851321 906076160 18116 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26350] ppid=26331 vsize=884840 CPUtime=0.44
/proc/26344/task/26350/stat : 26350 (java) R 26331 26330 1684 34817 1684 4202560 8474 0 0 0 42 2 0 0 25 0 10 0 68851321 906076160 18116 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26344/tid=26351] ppid=26331 vsize=884840 CPUtime=0.21
/proc/26344/task/26351/stat : 26351 (java) R 26331 26330 1684 34817 1684 4202560 1874 0 0 0 19 2 0 0 18 0 10 0 68851321 906076160 18116 1283457024 134512640 134550932 4289434512 18446744073709551615 4151544082 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26344/tid=26352] ppid=26331 vsize=884840 CPUtime=0
/proc/26344/task/26352/stat : 26352 (java) S 26331 26330 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68851321 906076160 18116 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26353] ppid=26331 vsize=884840 CPUtime=0
/proc/26344/task/26353/stat : 26353 (java) S 26331 26330 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 10 0 68851321 906076160 18116 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 889980

[startup+3.10599 s]
/proc/loadavg: 0.78 1.00 1.02 3/45 26353
/proc/meminfo: memFree=175684/1048576 swapFree=0/0
[pid=26330] ppid=26329 vsize=2564 CPUtime=0
/proc/26330/stat : 26330 (p2cudf-paranoid) S 26329 26330 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68851312 2625536 270 1283457024 134512640 135304128 4287736640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26330/statm: 641 270 230 194 0 28 0
[pid=26331] ppid=26330 vsize=2576 CPUtime=0.02
/proc/26331/stat : 26331 (p2cudf) S 26330 26330 1684 34817 1684 4202496 391 3014 0 1 0 0 1 1 25 0 1 0 68851312 2637824 281 1283457024 134512640 135304128 4290881104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26331/statm: 644 281 239 194 0 31 0
[pid=26344] ppid=26331 vsize=882140 CPUtime=3.06
/proc/26344/stat : 26344 (java) S 26331 26330 1684 34817 1684 4202496 67360 0 1 0 275 31 0 0 25 0 10 0 68851316 903311360 63349 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26344/statm: 220535 63349 1745 10 0 217626 0
[pid=26344/tid=26345] ppid=26331 vsize=882140 CPUtime=1.68
/proc/26344/task/26345/stat : 26345 (java) R 26331 26330 1684 34817 1684 4202560 50192 0 1 0 142 26 0 0 25 0 10 0 68851316 903311360 63349 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26344/tid=26346] ppid=26331 vsize=882140 CPUtime=0.12
/proc/26344/task/26346/stat : 26346 (java) R 26331 26330 1684 34817 1684 4202560 5301 0 0 0 12 0 0 0 18 0 10 0 68851318 903311360 63349 1283457024 134512640 134550932 4289434512 18446744073709551615 4149170552 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26344/tid=26347] ppid=26331 vsize=882140 CPUtime=0
/proc/26344/task/26347/stat : 26347 (java) S 26331 26330 1684 34817 1684 4202560 8 0 0 0 0 0 0 0 25 0 10 0 68851318 903311360 63349 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26348] ppid=26331 vsize=882140 CPUtime=0
/proc/26344/task/26348/stat : 26348 (java) S 26331 26330 1684 34817 1684 4202560 4 0 0 0 0 0 0 0 25 0 10 0 68851318 903311360 63349 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26349] ppid=26331 vsize=882140 CPUtime=0
/proc/26344/task/26349/stat : 26349 (java) S 26331 26330 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68851321 903311360 63349 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26350] ppid=26331 vsize=882140 CPUtime=0.82
/proc/26344/task/26350/stat : 26350 (java) R 26331 26330 1684 34817 1684 4202560 8555 0 0 0 80 2 0 0 20 0 10 0 68851321 903311360 63349 1283457024 134512640 134550932 4289434512 18446744073709551615 4151527036 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26344/tid=26351] ppid=26331 vsize=882140 CPUtime=0.42
/proc/26344/task/26351/stat : 26351 (java) S 26331 26330 1684 34817 1684 4202560 2237 0 0 0 40 2 0 0 15 0 10 0 68851321 903311360 63349 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26352] ppid=26331 vsize=882140 CPUtime=0
/proc/26344/task/26352/stat : 26352 (java) S 26331 26330 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68851321 903311360 63349 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26353] ppid=26331 vsize=882140 CPUtime=0
/proc/26344/task/26353/stat : 26353 (java) S 26331 26330 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 10 0 68851321 903311360 63349 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 887280

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

[startup+3.30605 s]
/proc/loadavg: 0.78 1.00 1.02 3/45 26353
/proc/meminfo: memFree=175684/1048576 swapFree=0/0
[pid=26330] ppid=26329 vsize=2564 CPUtime=0
/proc/26330/stat : 26330 (p2cudf-paranoid) S 26329 26330 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68851312 2625536 270 1283457024 134512640 135304128 4287736640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26330/statm: 641 270 230 194 0 28 0
[pid=26331] ppid=26330 vsize=2576 CPUtime=0.02
/proc/26331/stat : 26331 (p2cudf) S 26330 26330 1684 34817 1684 4202496 391 3014 0 1 0 0 1 1 25 0 1 0 68851312 2637824 281 1283457024 134512640 135304128 4290881104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26331/statm: 644 281 239 194 0 31 0
[pid=26344] ppid=26331 vsize=882140 CPUtime=3.26
/proc/26344/stat : 26344 (java) S 26331 26330 1684 34817 1684 4202496 74326 0 1 0 293 33 0 0 25 0 10 0 68851316 903311360 70315 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26344/statm: 220535 70315 1746 10 0 217626 0
[pid=26344/tid=26345] ppid=26331 vsize=882140 CPUtime=1.71
/proc/26344/task/26345/stat : 26345 (java) R 26331 26330 1684 34817 1684 4202560 50193 0 1 0 145 26 0 0 25 0 10 0 68851316 903311360 70315 1283457024 134512640 134550932 4289434512 18446744073709551615 4150077827 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26344/tid=26346] ppid=26331 vsize=882140 CPUtime=0.3
/proc/26344/task/26346/stat : 26346 (java) S 26331 26330 1684 34817 1684 4202560 12263 0 0 0 28 2 0 0 18 0 10 0 68851318 903311360 70315 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 0 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26347] ppid=26331 vsize=882140 CPUtime=0
/proc/26344/task/26347/stat : 26347 (java) S 26331 26330 1684 34817 1684 4202560 9 0 0 0 0 0 0 0 18 0 10 0 68851318 903311360 70315 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26348] ppid=26331 vsize=882140 CPUtime=0
/proc/26344/task/26348/stat : 26348 (java) S 26331 26330 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 10 0 68851318 903311360 70315 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26349] ppid=26331 vsize=882140 CPUtime=0
/proc/26344/task/26349/stat : 26349 (java) S 26331 26330 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68851321 903311360 70315 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26350] ppid=26331 vsize=882140 CPUtime=0.82
/proc/26344/task/26350/stat : 26350 (java) R 26331 26330 1684 34817 1684 4202560 8555 0 0 0 80 2 0 0 20 0 10 0 68851321 903311360 70315 1283457024 134512640 134550932 4289434512 18446744073709551615 4151527036 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26344/tid=26351] ppid=26331 vsize=882140 CPUtime=0.42
/proc/26344/task/26351/stat : 26351 (java) S 26331 26330 1684 34817 1684 4202560 2237 0 0 0 40 2 0 0 15 0 10 0 68851321 903311360 70315 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26352] ppid=26331 vsize=882140 CPUtime=0
/proc/26344/task/26352/stat : 26352 (java) S 26331 26330 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68851321 903311360 70315 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26353] ppid=26331 vsize=882140 CPUtime=0
/proc/26344/task/26353/stat : 26353 (java) S 26331 26330 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 10 0 68851321 903311360 70315 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 887280

[startup+4.90662 s]
/proc/loadavg: 0.78 1.00 1.02 2/46 26354
/proc/meminfo: memFree=63084/1048576 swapFree=0/0
[pid=26330] ppid=26329 vsize=2564 CPUtime=0
/proc/26330/stat : 26330 (p2cudf-paranoid) S 26329 26330 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68851312 2625536 270 1283457024 134512640 135304128 4287736640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26330/statm: 641 270 230 194 0 28 0
[pid=26331] ppid=26330 vsize=2576 CPUtime=0.02
/proc/26331/stat : 26331 (p2cudf) S 26330 26330 1684 34817 1684 4202496 391 3014 0 1 0 0 1 1 25 0 1 0 68851312 2637824 281 1283457024 134512640 135304128 4290881104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26331/statm: 644 281 239 194 0 31 0
[pid=26344] ppid=26331 vsize=882360 CPUtime=4.84
/proc/26344/stat : 26344 (java) S 26331 26330 1684 34817 1684 4202496 76162 0 1 0 450 34 0 0 25 0 11 0 68851316 903536640 70562 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26344/statm: 220590 70562 1770 10 0 217681 0
[pid=26344/tid=26345] ppid=26331 vsize=882360 CPUtime=2.35
/proc/26344/task/26345/stat : 26345 (java) R 26331 26330 1684 34817 1684 4202560 50257 0 1 0 208 27 0 0 25 0 11 0 68851316 903536640 70562 1283457024 134512640 134550932 4289434512 18446744073709551615 4095891604 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26344/tid=26346] ppid=26331 vsize=882360 CPUtime=0.3
/proc/26344/task/26346/stat : 26346 (java) S 26331 26330 1684 34817 1684 4202560 12263 0 0 0 28 2 0 0 16 0 11 0 68851318 903536640 70562 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 0 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26347] ppid=26331 vsize=882360 CPUtime=0
/proc/26344/task/26347/stat : 26347 (java) S 26331 26330 1684 34817 1684 4202560 9 0 0 0 0 0 0 0 18 0 11 0 68851318 903536640 70562 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26348] ppid=26331 vsize=882360 CPUtime=0
/proc/26344/task/26348/stat : 26348 (java) S 26331 26330 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 11 0 68851318 903536640 70562 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26349] ppid=26331 vsize=882360 CPUtime=0
/proc/26344/task/26349/stat : 26349 (java) S 26331 26330 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68851321 903536640 70562 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26350] ppid=26331 vsize=882360 CPUtime=1.32
/proc/26344/task/26350/stat : 26350 (java) S 26331 26330 1684 34817 1684 4202560 10235 0 0 0 130 2 0 0 21 0 11 0 68851321 903536640 70562 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26351] ppid=26331 vsize=882360 CPUtime=0.85
/proc/26344/task/26351/stat : 26351 (java) S 26331 26330 1684 34817 1684 4202560 2324 0 0 0 83 2 0 0 15 0 11 0 68851321 903536640 70562 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26352] ppid=26331 vsize=882360 CPUtime=0
/proc/26344/task/26352/stat : 26352 (java) S 26331 26330 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68851321 903536640 70562 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26353] ppid=26331 vsize=882360 CPUtime=0
/proc/26344/task/26353/stat : 26353 (java) S 26331 26330 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 11 0 68851321 903536640 70562 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26354] ppid=26331 vsize=882360 CPUtime=0
/proc/26344/task/26354/stat : 26354 (java) S 26331 26330 1684 34817 1684 4202560 5 0 0 0 0 0 0 0 25 0 11 0 68851726 903536640 70562 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.86
Current children cumulated vsize (KiB) 887500

[startup+5.70538 s]
/proc/loadavg: 0.80 1.00 1.02 2/47 26355
/proc/meminfo: memFree=63084/1048576 swapFree=0/0
[pid=26330] ppid=26329 vsize=2564 CPUtime=0
/proc/26330/stat : 26330 (p2cudf-paranoid) S 26329 26330 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68851312 2625536 270 1283457024 134512640 135304128 4287736640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26330/statm: 641 270 230 194 0 28 0
[pid=26331] ppid=26330 vsize=2576 CPUtime=0.02
/proc/26331/stat : 26331 (p2cudf) S 26330 26330 1684 34817 1684 4202496 391 3014 0 1 0 0 1 1 25 0 1 0 68851312 2637824 281 1283457024 134512640 135304128 4290881104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26331/statm: 644 281 239 194 0 31 0
[pid=26344] ppid=26331 vsize=882684 CPUtime=5.26
/proc/26344/stat : 26344 (java) S 26331 26330 1684 34817 1684 4202496 76186 0 1 0 491 35 0 0 25 0 12 0 68851316 903868416 70586 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26344/statm: 220671 70586 1772 10 0 217762 0
[pid=26344/tid=26345] ppid=26331 vsize=882684 CPUtime=2.66
/proc/26344/task/26345/stat : 26345 (java) S 26331 26330 1684 34817 1684 4202560 50265 0 1 0 238 28 0 0 25 0 12 0 68851316 903868416 70586 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26346] ppid=26331 vsize=882684 CPUtime=0.3
/proc/26344/task/26346/stat : 26346 (java) S 26331 26330 1684 34817 1684 4202560 12263 0 0 0 28 2 0 0 16 0 12 0 68851318 903868416 70586 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 0 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26347] ppid=26331 vsize=882684 CPUtime=0
/proc/26344/task/26347/stat : 26347 (java) S 26331 26330 1684 34817 1684 4202560 9 0 0 0 0 0 0 0 18 0 12 0 68851318 903868416 70586 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26348] ppid=26331 vsize=882684 CPUtime=0
/proc/26344/task/26348/stat : 26348 (java) S 26331 26330 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 12 0 68851318 903868416 70586 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26349] ppid=26331 vsize=882684 CPUtime=0
/proc/26344/task/26349/stat : 26349 (java) S 26331 26330 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 12 0 68851321 903868416 70586 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26350] ppid=26331 vsize=882684 CPUtime=1.44
/proc/26344/task/26350/stat : 26350 (java) S 26331 26330 1684 34817 1684 4202560 10247 0 0 0 142 2 0 0 17 0 12 0 68851321 903868416 70586 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26351] ppid=26331 vsize=882684 CPUtime=0.85
/proc/26344/task/26351/stat : 26351 (java) S 26331 26330 1684 34817 1684 4202560 2324 0 0 0 83 2 0 0 15 0 12 0 68851321 903868416 70586 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26352] ppid=26331 vsize=882684 CPUtime=0
/proc/26344/task/26352/stat : 26352 (java) S 26331 26330 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 12 0 68851321 903868416 70586 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26353] ppid=26331 vsize=882684 CPUtime=0
/proc/26344/task/26353/stat : 26353 (java) S 26331 26330 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 12 0 68851321 903868416 70586 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26354] ppid=26331 vsize=882684 CPUtime=0
/proc/26344/task/26354/stat : 26354 (java) S 26331 26330 1684 34817 1684 4202560 5 0 0 0 0 0 0 0 25 0 12 0 68851726 903868416 70586 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26355] ppid=26331 vsize=882684 CPUtime=0
/proc/26344/task/26355/stat : 26355 (java) S 26331 26330 1684 34817 1684 4202560 4 0 0 0 0 0 0 0 25 0 12 0 68851845 903868416 70586 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 887824

[startup+5.9122 s]
/proc/loadavg: 0.80 1.00 1.02 2/47 26355
/proc/meminfo: memFree=63084/1048576 swapFree=0/0
[pid=26330] ppid=26329 vsize=2564 CPUtime=0
/proc/26330/stat : 26330 (p2cudf-paranoid) S 26329 26330 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68851312 2625536 270 1283457024 134512640 135304128 4287736640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26330/statm: 641 270 230 194 0 28 0
[pid=26331] ppid=26330 vsize=2576 CPUtime=0.02
/proc/26331/stat : 26331 (p2cudf) S 26330 26330 1684 34817 1684 4202496 391 3014 0 1 0 0 1 1 25 0 1 0 68851312 2637824 281 1283457024 134512640 135304128 4290881104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26331/statm: 644 281 239 194 0 31 0
[pid=26344] ppid=26331 vsize=882684 CPUtime=5.34
/proc/26344/stat : 26344 (java) S 26331 26330 1684 34817 1684 4202496 76190 0 1 0 498 36 0 0 25 0 12 0 68851316 903868416 70590 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26344/statm: 220671 70590 1773 10 0 217762 0
[pid=26344/tid=26345] ppid=26331 vsize=882684 CPUtime=2.66
/proc/26344/task/26345/stat : 26345 (java) S 26331 26330 1684 34817 1684 4202560 50265 0 1 0 238 28 0 0 25 0 12 0 68851316 903868416 70590 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26346] ppid=26331 vsize=882684 CPUtime=0.3
/proc/26344/task/26346/stat : 26346 (java) S 26331 26330 1684 34817 1684 4202560 12263 0 0 0 28 2 0 0 16 0 12 0 68851318 903868416 70590 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 0 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26347] ppid=26331 vsize=882684 CPUtime=0
/proc/26344/task/26347/stat : 26347 (java) S 26331 26330 1684 34817 1684 4202560 9 0 0 0 0 0 0 0 18 0 12 0 68851318 903868416 70590 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26348] ppid=26331 vsize=882684 CPUtime=0
/proc/26344/task/26348/stat : 26348 (java) S 26331 26330 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 12 0 68851318 903868416 70590 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26349] ppid=26331 vsize=882684 CPUtime=0
/proc/26344/task/26349/stat : 26349 (java) S 26331 26330 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 12 0 68851321 903868416 70590 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26350] ppid=26331 vsize=882684 CPUtime=1.45
/proc/26344/task/26350/stat : 26350 (java) S 26331 26330 1684 34817 1684 4202560 10249 0 0 0 143 2 0 0 15 0 12 0 68851321 903868416 70590 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26351] ppid=26331 vsize=882684 CPUtime=0.85
/proc/26344/task/26351/stat : 26351 (java) S 26331 26330 1684 34817 1684 4202560 2324 0 0 0 83 2 0 0 15 0 12 0 68851321 903868416 70590 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26352] ppid=26331 vsize=882684 CPUtime=0
/proc/26344/task/26352/stat : 26352 (java) S 26331 26330 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 12 0 68851321 903868416 70590 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26353] ppid=26331 vsize=882684 CPUtime=0
/proc/26344/task/26353/stat : 26353 (java) S 26331 26330 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 12 0 68851321 903868416 70590 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26354] ppid=26331 vsize=882684 CPUtime=0
/proc/26344/task/26354/stat : 26354 (java) S 26331 26330 1684 34817 1684 4202560 5 0 0 0 0 0 0 0 25 0 12 0 68851726 903868416 70590 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 18446612132629318464 0 0 -1 0 0 0 0
[pid=26344/tid=26355] ppid=26331 vsize=882684 CPUtime=0.05
/proc/26344/task/26355/stat : 26355 (java) R 26331 26330 1684 34817 1684 4202560 6 0 0 0 5 0 0 0 21 0 12 0 68851845 903868416 70590 1283457024 134512640 134550932 4289434512 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 887824

Child status: 0
Real time (s): 5.97837
CPU time (s): 5.42434
CPU user time (s): 5.02031
CPU system time (s): 0.404025
CPU usage (%): 90.7327
Max. virtual memory (cumulated for all children) (KiB): 891256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.02031
system time used= 0.404025
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79997
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 702
involuntary context switches= 700

runsolver used 0 second user time and 0.020001 second system time

The end