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/201103031013/p2cudf-paranoid-1.12/4091.cudf.caixa.log.runsolver ./p2cudf-paranoid-1.12 /home/misc2010/data/misc4/caixa//4091.cudf /home/misc2010/tmp/201103031013/p2cudf-paranoid-1.12/4091.cudf.caixa.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: 1.72 1.63 1.63 5/35 11413
/proc/meminfo: memFree=309172/1048576 swapFree=0/0
[pid=11411] ppid=11410 vsize=2568 CPUtime=0
/proc/11411/stat : 11411 (p2cudf-paranoid) S 11410 11411 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76222373 2629632 271 1283457024 134512640 135304128 4289836352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11411/statm: 642 271 230 194 0 29 0
[pid=11412] ppid=11411 vsize=2568 CPUtime=0
/proc/11412/stat : 11412 (p2cudf) R 11411 11411 29493 34817 29493 4202496 346 0 0 0 0 0 0 0 25 0 1 0 76222373 2629632 271 1283457024 134512640 135304128 4292796464 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/11412/statm: 642 271 231 194 0 29 0
[pid=11413] ppid=11412 vsize=2568 CPUtime=0
/proc/11413/stat : 11413 (p2cudf) R 11412 11411 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76222373 2629632 40 1283457024 134512640 135304128 4292796464 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/11413/statm: 642 40 0 194 0 29 0

[startup+0.177543 s]
/proc/loadavg: 1.72 1.63 1.63 5/35 11413
/proc/meminfo: memFree=309172/1048576 swapFree=0/0
[pid=11411] ppid=11410 vsize=2568 CPUtime=0
/proc/11411/stat : 11411 (p2cudf-paranoid) S 11410 11411 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76222373 2629632 271 1283457024 134512640 135304128 4289836352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11411/statm: 642 271 230 194 0 29 0
[pid=11412] ppid=11411 vsize=2576 CPUtime=0.03
/proc/11412/stat : 11412 (p2cudf) S 11411 11411 29493 34817 29493 4202496 393 3012 0 1 0 0 1 2 25 0 1 0 76222373 2637824 281 1283457024 134512640 135304128 4292796464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11412/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.20754 s]
/proc/loadavg: 1.72 1.63 1.63 5/35 11413
/proc/meminfo: memFree=309172/1048576 swapFree=0/0
[pid=11411] ppid=11410 vsize=2568 CPUtime=0
/proc/11411/stat : 11411 (p2cudf-paranoid) S 11410 11411 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76222373 2629632 271 1283457024 134512640 135304128 4289836352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11411/statm: 642 271 230 194 0 29 0
[pid=11412] ppid=11411 vsize=2576 CPUtime=0.03
/proc/11412/stat : 11412 (p2cudf) S 11411 11411 29493 34817 29493 4202496 393 3012 0 1 0 0 1 2 25 0 1 0 76222373 2637824 281 1283457024 134512640 135304128 4292796464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11412/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.307554 s]
/proc/loadavg: 1.72 1.63 1.63 5/35 11413
/proc/meminfo: memFree=309172/1048576 swapFree=0/0
[pid=11411] ppid=11410 vsize=2568 CPUtime=0
/proc/11411/stat : 11411 (p2cudf-paranoid) S 11410 11411 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76222373 2629632 271 1283457024 134512640 135304128 4289836352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11411/statm: 642 271 230 194 0 29 0
[pid=11412] ppid=11411 vsize=2576 CPUtime=0.03
/proc/11412/stat : 11412 (p2cudf) S 11411 11411 29493 34817 29493 4202496 393 3012 0 1 0 0 1 2 25 0 1 0 76222373 2637824 281 1283457024 134512640 135304128 4292796464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11412/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.70765 s]
/proc/loadavg: 1.72 1.63 1.63 5/35 11413
/proc/meminfo: memFree=309172/1048576 swapFree=0/0
[pid=11411] ppid=11410 vsize=2568 CPUtime=0
/proc/11411/stat : 11411 (p2cudf-paranoid) S 11410 11411 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76222373 2629632 271 1283457024 134512640 135304128 4289836352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11411/statm: 642 271 230 194 0 29 0
[pid=11412] ppid=11411 vsize=2576 CPUtime=0.03
/proc/11412/stat : 11412 (p2cudf) S 11411 11411 29493 34817 29493 4202496 393 3012 0 1 0 0 1 2 25 0 1 0 76222373 2637824 281 1283457024 134512640 135304128 4292796464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11412/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+1.5078 s]
/proc/loadavg: 1.72 1.63 1.63 4/45 11434
/proc/meminfo: memFree=251264/1048576 swapFree=0/0
[pid=11411] ppid=11410 vsize=2568 CPUtime=0
/proc/11411/stat : 11411 (p2cudf-paranoid) S 11410 11411 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76222373 2629632 271 1283457024 134512640 135304128 4289836352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11411/statm: 642 271 230 194 0 29 0
[pid=11412] ppid=11411 vsize=2576 CPUtime=0.03
/proc/11412/stat : 11412 (p2cudf) S 11411 11411 29493 34817 29493 4202496 393 3012 0 1 0 0 1 2 25 0 1 0 76222373 2637824 281 1283457024 134512640 135304128 4292796464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11412/statm: 644 281 239 194 0 31 0
[pid=11425] ppid=11412 vsize=889032 CPUtime=1.45
/proc/11425/stat : 11425 (java) S 11412 11411 29493 34817 29493 4202496 24738 0 1 0 136 9 0 0 25 0 10 0 76222376 910368768 21096 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11425/statm: 222258 21096 1730 10 0 219349 0
[pid=11425/tid=11426] ppid=11412 vsize=889032 CPUtime=0.79
/proc/11425/task/11426/stat : 11426 (java) R 11412 11411 29493 34817 29493 4202560 12039 0 1 0 74 5 0 0 25 0 10 0 76222377 910368768 21096 1283457024 134512640 134550932 4289039152 18446744073709551615 4094675987 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11425/tid=11427] ppid=11412 vsize=889032 CPUtime=0
/proc/11425/task/11427/stat : 11427 (java) S 11412 11411 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76222379 910368768 21096 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 0 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11428] ppid=11412 vsize=889032 CPUtime=0
/proc/11425/task/11428/stat : 11428 (java) S 11412 11411 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76222380 910368768 21096 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11429] ppid=11412 vsize=889032 CPUtime=0
/proc/11425/task/11429/stat : 11429 (java) S 11412 11411 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76222380 910368768 21096 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11430] ppid=11412 vsize=889032 CPUtime=0
/proc/11425/task/11430/stat : 11430 (java) S 11412 11411 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76222383 910368768 21096 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11431] ppid=11412 vsize=889032 CPUtime=0.43
/proc/11425/task/11431/stat : 11431 (java) R 11412 11411 29493 34817 29493 4202560 8487 0 0 0 42 1 0 0 24 0 10 0 76222383 910368768 21096 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11425/tid=11432] ppid=11412 vsize=889032 CPUtime=0.22
/proc/11425/task/11432/stat : 11432 (java) R 11412 11411 29493 34817 29493 4202560 3132 0 0 0 20 2 0 0 18 0 10 0 76222383 910368768 21096 1283457024 134512640 134550932 4289039152 18446744073709551615 4149545893 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11425/tid=11433] ppid=11412 vsize=889032 CPUtime=0
/proc/11425/task/11433/stat : 11433 (java) S 11412 11411 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76222383 910368768 21096 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11434] ppid=11412 vsize=889032 CPUtime=0
/proc/11425/task/11434/stat : 11434 (java) S 11412 11411 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76222383 910368768 21096 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 894176

[startup+3.10808 s]
/proc/loadavg: 1.72 1.63 1.63 4/45 11434
/proc/meminfo: memFree=226092/1048576 swapFree=0/0
[pid=11411] ppid=11410 vsize=2568 CPUtime=0
/proc/11411/stat : 11411 (p2cudf-paranoid) S 11410 11411 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76222373 2629632 271 1283457024 134512640 135304128 4289836352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11411/statm: 642 271 230 194 0 29 0
[pid=11412] ppid=11411 vsize=2576 CPUtime=0.03
/proc/11412/stat : 11412 (p2cudf) S 11411 11411 29493 34817 29493 4202496 393 3012 0 1 0 0 1 2 25 0 1 0 76222373 2637824 281 1283457024 134512640 135304128 4292796464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11412/statm: 644 281 239 194 0 31 0
[pid=11425] ppid=11412 vsize=885216 CPUtime=3.04
/proc/11425/stat : 11425 (java) S 11412 11411 29493 34817 29493 4202496 63329 0 1 0 282 22 0 0 25 0 10 0 76222376 906461184 54729 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11425/statm: 221304 54729 1738 10 0 218395 0
[pid=11425/tid=11426] ppid=11412 vsize=885216 CPUtime=1.55
/proc/11425/task/11426/stat : 11426 (java) R 11412 11411 29493 34817 29493 4202560 45965 0 1 0 139 16 0 0 25 0 10 0 76222377 906461184 54729 1283457024 134512640 134550932 4289039152 18446744073709551615 4094675108 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11425/tid=11427] ppid=11412 vsize=885216 CPUtime=0
/proc/11425/task/11427/stat : 11427 (java) S 11412 11411 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76222379 906461184 54729 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 0 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11428] ppid=11412 vsize=885216 CPUtime=0
/proc/11425/task/11428/stat : 11428 (java) S 11412 11411 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76222380 906461184 54729 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11429] ppid=11412 vsize=885216 CPUtime=0
/proc/11425/task/11429/stat : 11429 (java) S 11412 11411 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76222380 906461184 54729 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11430] ppid=11412 vsize=885216 CPUtime=0
/proc/11425/task/11430/stat : 11430 (java) S 11412 11411 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76222383 906461184 54729 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11431] ppid=11412 vsize=885216 CPUtime=0.69
/proc/11425/task/11431/stat : 11431 (java) S 11412 11411 29493 34817 29493 4202560 9285 0 0 0 68 1 0 0 25 0 10 0 76222383 906461184 54729 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11432] ppid=11412 vsize=885216 CPUtime=0.79
/proc/11425/task/11432/stat : 11432 (java) S 11412 11411 29493 34817 29493 4202560 6999 0 0 0 75 4 0 0 16 0 10 0 76222383 906461184 54729 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11433] ppid=11412 vsize=885216 CPUtime=0
/proc/11425/task/11433/stat : 11433 (java) S 11412 11411 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76222383 906461184 54729 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11434] ppid=11412 vsize=885216 CPUtime=0
/proc/11425/task/11434/stat : 11434 (java) S 11412 11411 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76222383 906461184 54729 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 890360

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

[startup+3.2081 s]
/proc/loadavg: 1.72 1.63 1.63 4/45 11434
/proc/meminfo: memFree=226092/1048576 swapFree=0/0
[pid=11411] ppid=11410 vsize=2568 CPUtime=0
/proc/11411/stat : 11411 (p2cudf-paranoid) S 11410 11411 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76222373 2629632 271 1283457024 134512640 135304128 4289836352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11411/statm: 642 271 230 194 0 29 0
[pid=11412] ppid=11411 vsize=2576 CPUtime=0.03
/proc/11412/stat : 11412 (p2cudf) S 11411 11411 29493 34817 29493 4202496 393 3012 0 1 0 0 1 2 25 0 1 0 76222373 2637824 281 1283457024 134512640 135304128 4292796464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11412/statm: 644 281 239 194 0 31 0
[pid=11425] ppid=11412 vsize=885216 CPUtime=3.14
/proc/11425/stat : 11425 (java) S 11412 11411 29493 34817 29493 4202496 65267 0 1 0 292 22 0 0 25 0 10 0 76222376 906461184 56667 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11425/statm: 221304 56667 1744 10 0 218395 0
[pid=11425/tid=11426] ppid=11412 vsize=885216 CPUtime=1.61
/proc/11425/task/11426/stat : 11426 (java) R 11412 11411 29493 34817 29493 4202560 47897 0 1 0 145 16 0 0 25 0 10 0 76222377 906461184 56667 1283457024 134512640 134550932 4289039152 18446744073709551615 4095389888 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11425/tid=11427] ppid=11412 vsize=885216 CPUtime=0
/proc/11425/task/11427/stat : 11427 (java) S 11412 11411 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76222379 906461184 56667 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 0 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11428] ppid=11412 vsize=885216 CPUtime=0
/proc/11425/task/11428/stat : 11428 (java) S 11412 11411 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76222380 906461184 56667 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11429] ppid=11412 vsize=885216 CPUtime=0
/proc/11425/task/11429/stat : 11429 (java) S 11412 11411 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76222380 906461184 56667 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11430] ppid=11412 vsize=885216 CPUtime=0
/proc/11425/task/11430/stat : 11430 (java) S 11412 11411 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76222383 906461184 56667 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11431] ppid=11412 vsize=885216 CPUtime=0.69
/proc/11425/task/11431/stat : 11431 (java) S 11412 11411 29493 34817 29493 4202560 9285 0 0 0 68 1 0 0 25 0 10 0 76222383 906461184 56667 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11432] ppid=11412 vsize=885216 CPUtime=0.83
/proc/11425/task/11432/stat : 11432 (java) S 11412 11411 29493 34817 29493 4202560 7005 0 0 0 79 4 0 0 15 0 10 0 76222383 906461184 56667 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11433] ppid=11412 vsize=885216 CPUtime=0
/proc/11425/task/11433/stat : 11433 (java) S 11412 11411 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76222383 906461184 56667 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11434] ppid=11412 vsize=885216 CPUtime=0
/proc/11425/task/11434/stat : 11434 (java) S 11412 11411 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76222383 906461184 56667 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 890360

[startup+4.00825 s]
/proc/loadavg: 1.72 1.63 1.63 3/45 11434
/proc/meminfo: memFree=71588/1048576 swapFree=0/0
[pid=11411] ppid=11410 vsize=2568 CPUtime=0
/proc/11411/stat : 11411 (p2cudf-paranoid) S 11410 11411 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76222373 2629632 271 1283457024 134512640 135304128 4289836352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11411/statm: 642 271 230 194 0 29 0
[pid=11412] ppid=11411 vsize=2576 CPUtime=0.03
/proc/11412/stat : 11412 (p2cudf) S 11411 11411 29493 34817 29493 4202496 393 3012 0 1 0 0 1 2 25 0 1 0 76222373 2637824 281 1283457024 134512640 135304128 4292796464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11412/statm: 644 281 239 194 0 31 0
[pid=11425] ppid=11412 vsize=885216 CPUtime=3.95
/proc/11425/stat : 11425 (java) S 11412 11411 29493 34817 29493 4202496 85591 0 1 0 368 27 0 0 25 0 10 0 76222376 906461184 76991 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11425/statm: 221304 76991 1752 10 0 218395 0
[pid=11425/tid=11426] ppid=11412 vsize=885216 CPUtime=1.8
/proc/11425/task/11426/stat : 11426 (java) R 11412 11411 29493 34817 29493 4202560 50139 0 1 0 164 16 0 0 25 0 10 0 76222377 906461184 76991 1283457024 134512640 134550932 4289039152 18446744073709551615 4149161513 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11425/tid=11427] ppid=11412 vsize=885216 CPUtime=0.39
/proc/11425/task/11427/stat : 11427 (java) S 11412 11411 29493 34817 29493 4202560 18066 0 0 0 35 4 0 0 17 0 10 0 76222379 906461184 76991 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 0 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11428] ppid=11412 vsize=885216 CPUtime=0
/proc/11425/task/11428/stat : 11428 (java) S 11412 11411 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 10 0 76222380 906461184 76991 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11429] ppid=11412 vsize=885216 CPUtime=0
/proc/11425/task/11429/stat : 11429 (java) S 11412 11411 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76222380 906461184 76991 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11430] ppid=11412 vsize=885216 CPUtime=0
/proc/11425/task/11430/stat : 11430 (java) S 11412 11411 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76222383 906461184 76991 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11431] ppid=11412 vsize=885216 CPUtime=0.69
/proc/11425/task/11431/stat : 11431 (java) S 11412 11411 29493 34817 29493 4202560 9285 0 0 0 68 1 0 0 25 0 10 0 76222383 906461184 76991 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11432] ppid=11412 vsize=885216 CPUtime=1.04
/proc/11425/task/11432/stat : 11432 (java) S 11412 11411 29493 34817 29493 4202560 7024 0 0 0 100 4 0 0 15 0 10 0 76222383 906461184 76991 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11433] ppid=11412 vsize=885216 CPUtime=0
/proc/11425/task/11433/stat : 11433 (java) S 11412 11411 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76222383 906461184 76991 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11434] ppid=11412 vsize=885216 CPUtime=0
/proc/11425/task/11434/stat : 11434 (java) S 11412 11411 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76222383 906461184 76991 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 890360

[startup+4.80108 s]
/proc/loadavg: 1.74 1.64 1.63 2/45 11434
/proc/meminfo: memFree=6240/1048576 swapFree=0/0
[pid=11411] ppid=11410 vsize=2568 CPUtime=0
/proc/11411/stat : 11411 (p2cudf-paranoid) S 11410 11411 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76222373 2629632 271 1283457024 134512640 135304128 4289836352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11411/statm: 642 271 230 194 0 29 0
[pid=11412] ppid=11411 vsize=2576 CPUtime=0.03
/proc/11412/stat : 11412 (p2cudf) S 11411 11411 29493 34817 29493 4202496 393 3012 0 1 0 0 1 2 25 0 1 0 76222373 2637824 281 1283457024 134512640 135304128 4292796464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11412/statm: 644 281 239 194 0 31 0
[pid=11425] ppid=11412 vsize=885936 CPUtime=4.72
/proc/11425/stat : 11425 (java) S 11412 11411 29493 34817 29493 4202496 87186 0 1 0 445 27 0 0 25 0 11 0 76222376 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11425/statm: 221484 77152 1765 10 0 218575 0
[pid=11425/tid=11426] ppid=11412 vsize=885936 CPUtime=2.07
/proc/11425/task/11426/stat : 11426 (java) S 11412 11411 29493 34817 29493 4202560 50178 0 1 0 191 16 0 0 25 0 11 0 76222377 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11427] ppid=11412 vsize=885936 CPUtime=0.39
/proc/11425/task/11427/stat : 11427 (java) S 11412 11411 29493 34817 29493 4202560 18066 0 0 0 35 4 0 0 16 0 11 0 76222379 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 0 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11428] ppid=11412 vsize=885936 CPUtime=0
/proc/11425/task/11428/stat : 11428 (java) S 11412 11411 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 76222380 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11429] ppid=11412 vsize=885936 CPUtime=0
/proc/11425/task/11429/stat : 11429 (java) S 11412 11411 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76222380 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11430] ppid=11412 vsize=885936 CPUtime=0
/proc/11425/task/11430/stat : 11430 (java) S 11412 11411 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76222383 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11431] ppid=11412 vsize=885936 CPUtime=0.69
/proc/11425/task/11431/stat : 11431 (java) S 11412 11411 29493 34817 29493 4202560 9285 0 0 0 68 1 0 0 25 0 11 0 76222383 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11432] ppid=11412 vsize=885936 CPUtime=1.54
/proc/11425/task/11432/stat : 11432 (java) S 11412 11411 29493 34817 29493 4202560 8576 0 0 0 150 4 0 0 15 0 11 0 76222383 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11433] ppid=11412 vsize=885936 CPUtime=0
/proc/11425/task/11433/stat : 11433 (java) S 11412 11411 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76222383 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11434] ppid=11412 vsize=885936 CPUtime=0
/proc/11425/task/11434/stat : 11434 (java) R 11412 11411 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 76222383 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 891080

[startup+5.20507 s]
/proc/loadavg: 1.74 1.64 1.63 2/45 11434
/proc/meminfo: memFree=6240/1048576 swapFree=0/0
[pid=11411] ppid=11410 vsize=2568 CPUtime=0
/proc/11411/stat : 11411 (p2cudf-paranoid) S 11410 11411 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76222373 2629632 271 1283457024 134512640 135304128 4289836352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11411/statm: 642 271 230 194 0 29 0
[pid=11412] ppid=11411 vsize=2576 CPUtime=0.03
/proc/11412/stat : 11412 (p2cudf) S 11411 11411 29493 34817 29493 4202496 393 3012 0 1 0 0 1 2 25 0 1 0 76222373 2637824 281 1283457024 134512640 135304128 4292796464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11412/statm: 644 281 239 194 0 31 0
[pid=11425] ppid=11412 vsize=885936 CPUtime=4.72
/proc/11425/stat : 11425 (java) S 11412 11411 29493 34817 29493 4202496 87186 0 1 0 445 27 0 0 25 0 11 0 76222376 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11425/statm: 221484 77152 1765 10 0 218575 0
[pid=11425/tid=11426] ppid=11412 vsize=885936 CPUtime=2.07
/proc/11425/task/11426/stat : 11426 (java) S 11412 11411 29493 34817 29493 4202560 50178 0 1 0 191 16 0 0 25 0 11 0 76222377 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11427] ppid=11412 vsize=885936 CPUtime=0.39
/proc/11425/task/11427/stat : 11427 (java) S 11412 11411 29493 34817 29493 4202560 18066 0 0 0 35 4 0 0 16 0 11 0 76222379 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 0 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11428] ppid=11412 vsize=885936 CPUtime=0
/proc/11425/task/11428/stat : 11428 (java) S 11412 11411 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 76222380 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11429] ppid=11412 vsize=885936 CPUtime=0
/proc/11425/task/11429/stat : 11429 (java) S 11412 11411 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76222380 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11430] ppid=11412 vsize=885936 CPUtime=0
/proc/11425/task/11430/stat : 11430 (java) S 11412 11411 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76222383 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11431] ppid=11412 vsize=885936 CPUtime=0.69
/proc/11425/task/11431/stat : 11431 (java) S 11412 11411 29493 34817 29493 4202560 9285 0 0 0 68 1 0 0 25 0 11 0 76222383 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11432] ppid=11412 vsize=885936 CPUtime=1.54
/proc/11425/task/11432/stat : 11432 (java) S 11412 11411 29493 34817 29493 4202560 8576 0 0 0 150 4 0 0 15 0 11 0 76222383 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11433] ppid=11412 vsize=885936 CPUtime=0
/proc/11425/task/11433/stat : 11433 (java) S 11412 11411 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76222383 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11434] ppid=11412 vsize=885936 CPUtime=0
/proc/11425/task/11434/stat : 11434 (java) S 11412 11411 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 76222383 907198464 77152 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 891080

[startup+5.30504 s]
/proc/loadavg: 1.74 1.64 1.63 2/45 11434
/proc/meminfo: memFree=6240/1048576 swapFree=0/0
[pid=11411] ppid=11410 vsize=2568 CPUtime=0
/proc/11411/stat : 11411 (p2cudf-paranoid) S 11410 11411 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76222373 2629632 271 1283457024 134512640 135304128 4289836352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11411/statm: 642 271 230 194 0 29 0
[pid=11412] ppid=11411 vsize=2576 CPUtime=0.03
/proc/11412/stat : 11412 (p2cudf) S 11411 11411 29493 34817 29493 4202496 393 3012 0 1 0 0 1 2 25 0 1 0 76222373 2637824 281 1283457024 134512640 135304128 4292796464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11412/statm: 644 281 239 194 0 31 0
[pid=11425] ppid=11412 vsize=885936 CPUtime=4.72
/proc/11425/stat : 11425 (java) S 11412 11411 29493 34817 29493 4202496 87188 0 1 0 445 27 0 0 25 0 10 0 76222376 907198464 77154 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11425/statm: 221484 77154 1767 10 0 218575 0
[pid=11425/tid=11426] ppid=11412 vsize=885936 CPUtime=2.07
/proc/11425/task/11426/stat : 11426 (java) S 11412 11411 29493 34817 29493 4202560 50178 0 1 0 191 16 0 0 20 0 10 0 76222377 907198464 77154 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11427] ppid=11412 vsize=885936 CPUtime=0.39
/proc/11425/task/11427/stat : 11427 (java) S 11412 11411 29493 34817 29493 4202560 18067 0 0 0 35 4 0 0 16 0 10 0 76222379 907198464 77154 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 0 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11428] ppid=11412 vsize=885936 CPUtime=0
/proc/11425/task/11428/stat : 11428 (java) S 11412 11411 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 10 0 76222380 907198464 77154 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11429] ppid=11412 vsize=885936 CPUtime=0
/proc/11425/task/11429/stat : 11429 (java) S 11412 11411 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76222380 907198464 77154 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11430] ppid=11412 vsize=885936 CPUtime=0
/proc/11425/task/11430/stat : 11430 (java) S 11412 11411 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76222383 907198464 77154 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11431] ppid=11412 vsize=885936 CPUtime=0.69
/proc/11425/task/11431/stat : 11431 (java) S 11412 11411 29493 34817 29493 4202560 9285 0 0 0 68 1 0 0 25 0 10 0 76222383 907198464 77154 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11432] ppid=11412 vsize=885936 CPUtime=1.54
/proc/11425/task/11432/stat : 11432 (java) S 11412 11411 29493 34817 29493 4202560 8576 0 0 0 150 4 0 0 15 0 10 0 76222383 907198464 77154 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11433] ppid=11412 vsize=885936 CPUtime=0
/proc/11425/task/11433/stat : 11433 (java) S 11412 11411 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76222383 907198464 77154 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 18446612132758718656 0 0 -1 0 0 0 0
[pid=11425/tid=11434] ppid=11412 vsize=885936 CPUtime=0
/proc/11425/task/11434/stat : 11434 (java) R 11412 11411 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76222383 907198464 77154 1283457024 134512640 134550932 4289039152 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 891080

Child status: 0
Real time (s): 5.33871
CPU time (s): 4.7883
CPU user time (s): 4.46428
CPU system time (s): 0.32402
CPU usage (%): 89.6902
Max. virtual memory (cumulated for all children) (KiB): 895916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.46428
system time used= 0.32402
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90992
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= 433
involuntary context switches= 427

runsolver used 0 second user time and 0 second system time

The end