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/201108251442/p2cudf-paranoid-1.13/rand347.cudf.s-e.log.runsolver ./p2cudf-paranoid-1.13 /home/misc2010/data/2011/incremental/s-e/rand347.cudf /home/misc2010/tmp/201108251442/p2cudf-paranoid-1.13/rand347.cudf.s-e.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.36 1.10 1.03 5/37 11545
/proc/meminfo: memFree=348556/1048576 swapFree=0/0
[pid=11543] ppid=11542 vsize=2568 CPUtime=0
/proc/11543/stat : 11543 (p2cudf-paranoid) S 11542 11543 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10565813 2629632 269 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11543/statm: 642 269 230 194 0 29 0
[pid=11544] ppid=11543 vsize=2564 CPUtime=0
/proc/11544/stat : 11544 (p2cudf) R 11543 11543 4778 34817 4778 4202496 344 0 0 0 0 0 0 0 25 0 1 0 10565813 2625536 270 1283457024 134512640 135304128 4293488848 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/11544/statm: 641 270 231 194 0 28 0
[pid=11545] ppid=11544 vsize=2564 CPUtime=0
/proc/11545/stat : 11545 (p2cudf) R 11544 11543 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 10565814 2625536 39 1283457024 134512640 135304128 4293488848 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/11545/statm: 641 39 0 194 0 28 0

[startup+0.125977 s]
/proc/loadavg: 1.36 1.10 1.03 5/37 11545
/proc/meminfo: memFree=348556/1048576 swapFree=0/0
[pid=11543] ppid=11542 vsize=2568 CPUtime=0
/proc/11543/stat : 11543 (p2cudf-paranoid) S 11542 11543 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10565813 2629632 269 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11543/statm: 642 269 230 194 0 29 0
[pid=11544] ppid=11543 vsize=2568 CPUtime=0.03
/proc/11544/stat : 11544 (p2cudf) S 11543 11543 4778 34817 4778 4202496 387 3015 0 1 0 0 0 3 25 0 1 0 10565813 2629632 279 1283457024 134512640 135304128 4293488848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11544/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.205976 s]
/proc/loadavg: 1.36 1.10 1.03 5/37 11545
/proc/meminfo: memFree=348556/1048576 swapFree=0/0
[pid=11543] ppid=11542 vsize=2568 CPUtime=0
/proc/11543/stat : 11543 (p2cudf-paranoid) S 11542 11543 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10565813 2629632 269 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11543/statm: 642 269 230 194 0 29 0
[pid=11544] ppid=11543 vsize=2568 CPUtime=0.03
/proc/11544/stat : 11544 (p2cudf) S 11543 11543 4778 34817 4778 4202496 387 3015 0 1 0 0 0 3 25 0 1 0 10565813 2629632 279 1283457024 134512640 135304128 4293488848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11544/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.305989 s]
/proc/loadavg: 1.36 1.10 1.03 5/37 11545
/proc/meminfo: memFree=348556/1048576 swapFree=0/0
[pid=11543] ppid=11542 vsize=2568 CPUtime=0
/proc/11543/stat : 11543 (p2cudf-paranoid) S 11542 11543 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10565813 2629632 269 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11543/statm: 642 269 230 194 0 29 0
[pid=11544] ppid=11543 vsize=2568 CPUtime=0.03
/proc/11544/stat : 11544 (p2cudf) S 11543 11543 4778 34817 4778 4202496 387 3015 0 1 0 0 0 3 25 0 1 0 10565813 2629632 279 1283457024 134512640 135304128 4293488848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11544/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.706098 s]
/proc/loadavg: 1.36 1.10 1.03 5/37 11545
/proc/meminfo: memFree=348556/1048576 swapFree=0/0
[pid=11543] ppid=11542 vsize=2568 CPUtime=0
/proc/11543/stat : 11543 (p2cudf-paranoid) S 11542 11543 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10565813 2629632 269 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11543/statm: 642 269 230 194 0 29 0
[pid=11544] ppid=11543 vsize=2568 CPUtime=0.03
/proc/11544/stat : 11544 (p2cudf) S 11543 11543 4778 34817 4778 4202496 387 3015 0 1 0 0 0 3 25 0 1 0 10565813 2629632 279 1283457024 134512640 135304128 4293488848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11544/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+1.50623 s]
/proc/loadavg: 1.36 1.10 1.03 4/47 11567
/proc/meminfo: memFree=299672/1048576 swapFree=0/0
[pid=11543] ppid=11542 vsize=2568 CPUtime=0
/proc/11543/stat : 11543 (p2cudf-paranoid) S 11542 11543 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10565813 2629632 269 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11543/statm: 642 269 230 194 0 29 0
[pid=11544] ppid=11543 vsize=2568 CPUtime=0.03
/proc/11544/stat : 11544 (p2cudf) S 11543 11543 4778 34817 4778 4202496 387 3015 0 1 0 0 0 3 25 0 1 0 10565813 2629632 279 1283457024 134512640 135304128 4293488848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11544/statm: 642 279 239 194 0 29 0
[pid=11557] ppid=11544 vsize=894144 CPUtime=1.47
/proc/11557/stat : 11557 (java) S 11544 11543 4778 34817 4778 4202496 24768 0 1 0 140 7 0 0 25 0 10 0 10565817 915603456 20882 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11557/statm: 223536 20882 1724 10 0 220627 0
[pid=11557/tid=11558] ppid=11544 vsize=894144 CPUtime=0.76
/proc/11557/task/11558/stat : 11558 (java) R 11544 11543 4778 34817 4778 4202560 10727 0 1 0 74 2 0 0 25 0 10 0 10565817 915603456 20882 1283457024 134512640 134550932 4292949728 18446744073709551615 4095501295 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11557/tid=11559] ppid=11544 vsize=894144 CPUtime=0
/proc/11557/task/11559/stat : 11559 (java) S 11544 11543 4778 34817 4778 4202560 7 0 0 0 0 0 0 0 17 0 10 0 10565819 915603456 20882 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11560] ppid=11544 vsize=894144 CPUtime=0
/proc/11557/task/11560/stat : 11560 (java) S 11544 11543 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 25 0 10 0 10565819 915603456 20882 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11561] ppid=11544 vsize=894144 CPUtime=0
/proc/11557/task/11561/stat : 11561 (java) S 11544 11543 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10565819 915603456 20882 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11563] ppid=11544 vsize=894144 CPUtime=0
/proc/11557/task/11563/stat : 11563 (java) S 11544 11543 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10565822 915603456 20882 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11564] ppid=11544 vsize=894144 CPUtime=0.43
/proc/11557/task/11564/stat : 11564 (java) R 11544 11543 4778 34817 4778 4202560 9084 0 0 0 40 3 0 0 25 0 10 0 10565822 915603456 20882 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11557/tid=11565] ppid=11544 vsize=894144 CPUtime=0.25
/proc/11557/task/11565/stat : 11565 (java) S 11544 11543 4778 34817 4778 4202560 3878 0 0 0 25 0 0 0 22 0 10 0 10565822 915603456 20882 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11566] ppid=11544 vsize=894144 CPUtime=0
/proc/11557/task/11566/stat : 11566 (java) S 11544 11543 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10565822 915603456 20882 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11567] ppid=11544 vsize=894144 CPUtime=0
/proc/11557/task/11567/stat : 11567 (java) S 11544 11543 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10565822 915603456 20882 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 899280

[startup+3.10658 s]
/proc/loadavg: 1.36 1.10 1.03 2/47 11567
/proc/meminfo: memFree=207292/1048576 swapFree=0/0
[pid=11543] ppid=11542 vsize=2568 CPUtime=0
/proc/11543/stat : 11543 (p2cudf-paranoid) S 11542 11543 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10565813 2629632 269 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11543/statm: 642 269 230 194 0 29 0
[pid=11544] ppid=11543 vsize=2568 CPUtime=0.03
/proc/11544/stat : 11544 (p2cudf) S 11543 11543 4778 34817 4778 4202496 387 3015 0 1 0 0 0 3 25 0 1 0 10565813 2629632 279 1283457024 134512640 135304128 4293488848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11544/statm: 642 279 239 194 0 29 0
[pid=11557] ppid=11544 vsize=892008 CPUtime=3.07
/proc/11557/stat : 11557 (java) S 11544 11543 4778 34817 4778 4202496 52774 0 1 0 289 18 0 0 25 0 10 0 10565817 913416192 46637 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11557/statm: 223002 46637 1744 10 0 220093 0
[pid=11557/tid=11558] ppid=11544 vsize=892008 CPUtime=1.59
/proc/11557/task/11558/stat : 11558 (java) R 11544 11543 4778 34817 4778 4202560 36292 0 1 0 146 13 0 0 25 0 10 0 10565817 913416192 46637 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11557/tid=11559] ppid=11544 vsize=892008 CPUtime=0
/proc/11557/task/11559/stat : 11559 (java) S 11544 11543 4778 34817 4778 4202560 7 0 0 0 0 0 0 0 15 0 10 0 10565819 913416192 46637 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11560] ppid=11544 vsize=892008 CPUtime=0
/proc/11557/task/11560/stat : 11560 (java) S 11544 11543 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 25 0 10 0 10565819 913416192 46637 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11561] ppid=11544 vsize=892008 CPUtime=0
/proc/11557/task/11561/stat : 11561 (java) S 11544 11543 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10565819 913416192 46637 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11563] ppid=11544 vsize=892008 CPUtime=0
/proc/11557/task/11563/stat : 11563 (java) S 11544 11543 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10565822 913416192 46637 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11564] ppid=11544 vsize=892008 CPUtime=0.67
/proc/11557/task/11564/stat : 11564 (java) R 11544 11543 4778 34817 4778 4202560 9656 0 0 0 64 3 0 0 24 0 10 0 10565822 913416192 46637 1283457024 134512640 134550932 4292949728 18446744073709551615 4152459164 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11557/tid=11565] ppid=11544 vsize=892008 CPUtime=0.78
/proc/11557/task/11565/stat : 11565 (java) S 11544 11543 4778 34817 4778 4202560 5747 0 0 0 78 0 0 0 16 0 10 0 10565822 913416192 46637 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11566] ppid=11544 vsize=892008 CPUtime=0
/proc/11557/task/11566/stat : 11566 (java) S 11544 11543 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10565822 913416192 46637 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11567] ppid=11544 vsize=892008 CPUtime=0
/proc/11557/task/11567/stat : 11567 (java) S 11544 11543 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10565822 913416192 46637 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 897144

[startup+6.30636 s]
/proc/loadavg: 1.41 1.12 1.03 2/48 11568
/proc/meminfo: memFree=116524/1048576 swapFree=0/0
[pid=11543] ppid=11542 vsize=2568 CPUtime=0
/proc/11543/stat : 11543 (p2cudf-paranoid) S 11542 11543 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10565813 2629632 269 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11543/statm: 642 269 230 194 0 29 0
[pid=11544] ppid=11543 vsize=2568 CPUtime=0.03
/proc/11544/stat : 11544 (p2cudf) S 11543 11543 4778 34817 4778 4202496 387 3015 0 1 0 0 0 3 25 0 1 0 10565813 2629632 279 1283457024 134512640 135304128 4293488848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11544/statm: 642 279 239 194 0 29 0
[pid=11557] ppid=11544 vsize=893476 CPUtime=5.93
/proc/11557/stat : 11557 (java) S 11544 11543 4778 34817 4778 4202496 66741 0 1 0 568 25 0 0 25 0 11 0 10565817 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11557/statm: 223369 59717 1777 10 0 220460 0
[pid=11557/tid=11558] ppid=11544 vsize=893476 CPUtime=3.11
/proc/11557/task/11558/stat : 11558 (java) S 11544 11543 4778 34817 4778 4202560 49031 0 1 0 292 19 0 0 25 0 11 0 10565817 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11559] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11559/stat : 11559 (java) S 11544 11543 4778 34817 4778 4202560 7 0 0 0 0 0 0 0 16 0 11 0 10565819 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11560] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11560/stat : 11560 (java) S 11544 11543 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 25 0 11 0 10565819 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11561] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11561/stat : 11561 (java) S 11544 11543 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 11 0 10565819 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11563] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11563/stat : 11563 (java) S 11544 11543 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10565822 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11564] ppid=11544 vsize=893476 CPUtime=1.51
/proc/11557/task/11564/stat : 11564 (java) S 11544 11543 4778 34817 4778 4202560 10810 0 0 0 147 4 0 0 15 0 11 0 10565822 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11565] ppid=11544 vsize=893476 CPUtime=1.28
/proc/11557/task/11565/stat : 11565 (java) S 11544 11543 4778 34817 4778 4202560 5812 0 0 0 128 0 0 0 16 0 11 0 10565822 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11566] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11566/stat : 11566 (java) S 11544 11543 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10565822 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11567] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11567/stat : 11567 (java) S 11544 11543 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 11 0 10565822 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 898612

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

[startup+6.40633 s]
/proc/loadavg: 1.41 1.12 1.03 2/48 11568
/proc/meminfo: memFree=116524/1048576 swapFree=0/0
[pid=11543] ppid=11542 vsize=2568 CPUtime=0
/proc/11543/stat : 11543 (p2cudf-paranoid) S 11542 11543 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10565813 2629632 269 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11543/statm: 642 269 230 194 0 29 0
[pid=11544] ppid=11543 vsize=2568 CPUtime=0.03
/proc/11544/stat : 11544 (p2cudf) S 11543 11543 4778 34817 4778 4202496 387 3015 0 1 0 0 0 3 25 0 1 0 10565813 2629632 279 1283457024 134512640 135304128 4293488848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11544/statm: 642 279 239 194 0 29 0
[pid=11557] ppid=11544 vsize=893476 CPUtime=5.93
/proc/11557/stat : 11557 (java) S 11544 11543 4778 34817 4778 4202496 66741 0 1 0 568 25 0 0 25 0 11 0 10565817 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11557/statm: 223369 59717 1777 10 0 220460 0
[pid=11557/tid=11558] ppid=11544 vsize=893476 CPUtime=3.11
/proc/11557/task/11558/stat : 11558 (java) S 11544 11543 4778 34817 4778 4202560 49031 0 1 0 292 19 0 0 25 0 11 0 10565817 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11559] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11559/stat : 11559 (java) S 11544 11543 4778 34817 4778 4202560 7 0 0 0 0 0 0 0 16 0 11 0 10565819 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11560] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11560/stat : 11560 (java) S 11544 11543 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 25 0 11 0 10565819 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11561] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11561/stat : 11561 (java) S 11544 11543 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 11 0 10565819 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11563] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11563/stat : 11563 (java) S 11544 11543 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10565822 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11564] ppid=11544 vsize=893476 CPUtime=1.51
/proc/11557/task/11564/stat : 11564 (java) S 11544 11543 4778 34817 4778 4202560 10810 0 0 0 147 4 0 0 15 0 11 0 10565822 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11565] ppid=11544 vsize=893476 CPUtime=1.28
/proc/11557/task/11565/stat : 11565 (java) S 11544 11543 4778 34817 4778 4202560 5812 0 0 0 128 0 0 0 16 0 11 0 10565822 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11566] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11566/stat : 11566 (java) S 11544 11543 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10565822 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11567] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11567/stat : 11567 (java) S 11544 11543 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 11 0 10565822 914919424 59717 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 898612

[startup+6.51234 s]
/proc/loadavg: 1.41 1.12 1.03 2/48 11568
/proc/meminfo: memFree=116524/1048576 swapFree=0/0
[pid=11543] ppid=11542 vsize=2568 CPUtime=0
/proc/11543/stat : 11543 (p2cudf-paranoid) S 11542 11543 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10565813 2629632 269 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11543/statm: 642 269 230 194 0 29 0
[pid=11544] ppid=11543 vsize=2568 CPUtime=0.03
/proc/11544/stat : 11544 (p2cudf) S 11543 11543 4778 34817 4778 4202496 387 3015 0 1 0 0 0 3 25 0 1 0 10565813 2629632 279 1283457024 134512640 135304128 4293488848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11544/statm: 642 279 239 194 0 29 0
[pid=11557] ppid=11544 vsize=893476 CPUtime=5.95
/proc/11557/stat : 11557 (java) S 11544 11543 4778 34817 4778 4202496 66812 0 1 0 570 25 0 0 25 0 11 0 10565817 914919424 59788 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11557/statm: 223369 59788 1777 10 0 220460 0
[pid=11557/tid=11558] ppid=11544 vsize=893476 CPUtime=3.11
/proc/11557/task/11558/stat : 11558 (java) S 11544 11543 4778 34817 4778 4202560 49031 0 1 0 292 19 0 0 25 0 11 0 10565817 914919424 59788 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11559] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11559/stat : 11559 (java) S 11544 11543 4778 34817 4778 4202560 7 0 0 0 0 0 0 0 15 0 11 0 10565819 914919424 59788 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11560] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11560/stat : 11560 (java) S 11544 11543 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 25 0 11 0 10565819 914919424 59788 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11561] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11561/stat : 11561 (java) S 11544 11543 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 11 0 10565819 914919424 59788 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11563] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11563/stat : 11563 (java) S 11544 11543 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10565822 914919424 59788 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11564] ppid=11544 vsize=893476 CPUtime=1.51
/proc/11557/task/11564/stat : 11564 (java) S 11544 11543 4778 34817 4778 4202560 10810 0 0 0 147 4 0 0 15 0 11 0 10565822 914919424 59788 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11565] ppid=11544 vsize=893476 CPUtime=1.28
/proc/11557/task/11565/stat : 11565 (java) S 11544 11543 4778 34817 4778 4202560 5812 0 0 0 128 0 0 0 16 0 11 0 10565822 914919424 59788 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11566] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11566/stat : 11566 (java) S 11544 11543 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10565822 914919424 59788 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11557/tid=11567] ppid=11544 vsize=893476 CPUtime=0
/proc/11557/task/11567/stat : 11567 (java) R 11544 11543 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 11 0 10565822 914919424 59788 1283457024 134512640 134550932 4292949728 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 898612

Child status: 0
Real time (s): 6.58884
CPU time (s): 6.04838
CPU user time (s): 5.72836
CPU system time (s): 0.32002
CPU usage (%): 91.7974
Max. virtual memory (cumulated for all children) (KiB): 900684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.72836
system time used= 0.32002
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70671
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= 664
involuntary context switches= 652

runsolver used 0 second user time and 0 second system time

The end