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/4051.cudf.caixa.log.runsolver ./p2cudf-paranoid-1.12 /home/misc2010/data/misc4/caixa//4051.cudf /home/misc2010/tmp/201103031013/p2cudf-paranoid-1.12/4051.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.50 1.63 1.67 6/35 2220
/proc/meminfo: memFree=296328/1048576 swapFree=0/0
[pid=2218] ppid=2217 vsize=2564 CPUtime=0
/proc/2218/stat : 2218 (p2cudf-paranoid) S 2217 2218 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76157705 2625536 269 1283457024 134512640 135304128 4293914928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2218/statm: 641 269 230 194 0 28 0
[pid=2219] ppid=2218 vsize=2568 CPUtime=0
/proc/2219/stat : 2219 (p2cudf) R 2218 2218 29493 34817 29493 4202496 346 0 0 0 0 0 0 0 25 0 1 0 76157705 2629632 272 1283457024 134512640 135304128 4289098912 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/2219/statm: 642 272 231 194 0 29 0
[pid=2220] ppid=2219 vsize=2568 CPUtime=0
/proc/2220/stat : 2220 (p2cudf) R 2219 2218 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76157706 2629632 41 1283457024 134512640 135304128 4289098912 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/2220/statm: 642 41 0 194 0 29 0

[startup+0.165967 s]
/proc/loadavg: 1.50 1.63 1.67 6/35 2220
/proc/meminfo: memFree=296328/1048576 swapFree=0/0
[pid=2218] ppid=2217 vsize=2564 CPUtime=0
/proc/2218/stat : 2218 (p2cudf-paranoid) S 2217 2218 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76157705 2625536 269 1283457024 134512640 135304128 4293914928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2218/statm: 641 269 230 194 0 28 0
[pid=2219] ppid=2218 vsize=2576 CPUtime=0.03
/proc/2219/stat : 2219 (p2cudf) S 2218 2218 29493 34817 29493 4202496 395 3012 0 1 0 1 0 2 25 0 1 0 76157705 2637824 282 1283457024 134512640 135304128 4289098912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2219/statm: 644 282 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.205965 s]
/proc/loadavg: 1.50 1.63 1.67 6/35 2220
/proc/meminfo: memFree=296328/1048576 swapFree=0/0
[pid=2218] ppid=2217 vsize=2564 CPUtime=0
/proc/2218/stat : 2218 (p2cudf-paranoid) S 2217 2218 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76157705 2625536 269 1283457024 134512640 135304128 4293914928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2218/statm: 641 269 230 194 0 28 0
[pid=2219] ppid=2218 vsize=2576 CPUtime=0.03
/proc/2219/stat : 2219 (p2cudf) S 2218 2218 29493 34817 29493 4202496 395 3012 0 1 0 1 0 2 25 0 1 0 76157705 2637824 282 1283457024 134512640 135304128 4289098912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2219/statm: 644 282 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.305991 s]
/proc/loadavg: 1.50 1.63 1.67 6/35 2220
/proc/meminfo: memFree=296328/1048576 swapFree=0/0
[pid=2218] ppid=2217 vsize=2564 CPUtime=0
/proc/2218/stat : 2218 (p2cudf-paranoid) S 2217 2218 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76157705 2625536 269 1283457024 134512640 135304128 4293914928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2218/statm: 641 269 230 194 0 28 0
[pid=2219] ppid=2218 vsize=2576 CPUtime=0.03
/proc/2219/stat : 2219 (p2cudf) S 2218 2218 29493 34817 29493 4202496 395 3012 0 1 0 1 0 2 25 0 1 0 76157705 2637824 282 1283457024 134512640 135304128 4289098912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2219/statm: 644 282 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.706062 s]
/proc/loadavg: 1.50 1.63 1.67 6/35 2220
/proc/meminfo: memFree=296328/1048576 swapFree=0/0
[pid=2218] ppid=2217 vsize=2564 CPUtime=0
/proc/2218/stat : 2218 (p2cudf-paranoid) S 2217 2218 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76157705 2625536 269 1283457024 134512640 135304128 4293914928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2218/statm: 641 269 230 194 0 28 0
[pid=2219] ppid=2218 vsize=2576 CPUtime=0.03
/proc/2219/stat : 2219 (p2cudf) S 2218 2218 29493 34817 29493 4202496 395 3012 0 1 0 1 0 2 25 0 1 0 76157705 2637824 282 1283457024 134512640 135304128 4289098912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2219/statm: 644 282 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.5062 s]
/proc/loadavg: 1.54 1.64 1.67 5/45 2241
/proc/meminfo: memFree=249792/1048576 swapFree=0/0
[pid=2218] ppid=2217 vsize=2564 CPUtime=0
/proc/2218/stat : 2218 (p2cudf-paranoid) S 2217 2218 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76157705 2625536 269 1283457024 134512640 135304128 4293914928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2218/statm: 641 269 230 194 0 28 0
[pid=2219] ppid=2218 vsize=2576 CPUtime=0.03
/proc/2219/stat : 2219 (p2cudf) S 2218 2218 29493 34817 29493 4202496 395 3012 0 1 0 1 0 2 25 0 1 0 76157705 2637824 282 1283457024 134512640 135304128 4289098912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2219/statm: 644 282 239 194 0 31 0
[pid=2232] ppid=2219 vsize=887956 CPUtime=1.46
/proc/2232/stat : 2232 (java) S 2219 2218 29493 34817 29493 4202496 22187 0 1 0 140 6 0 0 25 0 10 0 76157709 909266944 18154 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2232/statm: 221989 18154 1731 10 0 219080 0
[pid=2232/tid=2233] ppid=2219 vsize=887956 CPUtime=0.79
/proc/2232/task/2233/stat : 2233 (java) R 2219 2218 29493 34817 29493 4202560 9211 0 1 0 76 3 0 0 25 0 10 0 76157709 909266944 18154 1283457024 134512640 134550932 4291722688 18446744073709551615 4094828702 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2232/tid=2234] ppid=2219 vsize=887956 CPUtime=0
/proc/2232/task/2234/stat : 2234 (java) S 2219 2218 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 16 0 10 0 76157711 909266944 18154 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 0 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2235] ppid=2219 vsize=887956 CPUtime=0
/proc/2232/task/2235/stat : 2235 (java) S 2219 2218 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76157711 909266944 18154 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2236] ppid=2219 vsize=887956 CPUtime=0
/proc/2232/task/2236/stat : 2236 (java) S 2219 2218 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76157711 909266944 18154 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2237] ppid=2219 vsize=887956 CPUtime=0
/proc/2232/task/2237/stat : 2237 (java) S 2219 2218 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76157714 909266944 18154 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2238] ppid=2219 vsize=887956 CPUtime=0.38
/proc/2232/task/2238/stat : 2238 (java) R 2219 2218 29493 34817 29493 4202560 6994 0 0 0 37 1 0 0 21 0 10 0 76157714 909266944 18154 1283457024 134512640 134550932 4291722688 18446744073709551615 4148711586 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2232/tid=2239] ppid=2219 vsize=887956 CPUtime=0.28
/proc/2232/task/2239/stat : 2239 (java) R 2219 2218 29493 34817 29493 4202560 4903 0 0 0 26 2 0 0 25 0 10 0 76157714 909266944 18154 1283457024 134512640 134550932 4291722688 18446744073709551615 4151245608 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2232/tid=2240] ppid=2219 vsize=887956 CPUtime=0
/proc/2232/task/2240/stat : 2240 (java) S 2219 2218 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76157714 909266944 18154 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2241] ppid=2219 vsize=887956 CPUtime=0
/proc/2232/task/2241/stat : 2241 (java) S 2219 2218 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76157714 909266944 18154 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 893096

[startup+3.1065 s]
/proc/loadavg: 1.54 1.64 1.67 4/45 2241
/proc/meminfo: memFree=188660/1048576 swapFree=0/0
[pid=2218] ppid=2217 vsize=2564 CPUtime=0
/proc/2218/stat : 2218 (p2cudf-paranoid) S 2217 2218 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76157705 2625536 269 1283457024 134512640 135304128 4293914928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2218/statm: 641 269 230 194 0 28 0
[pid=2219] ppid=2218 vsize=2576 CPUtime=0.03
/proc/2219/stat : 2219 (p2cudf) S 2218 2218 29493 34817 29493 4202496 395 3012 0 1 0 1 0 2 25 0 1 0 76157705 2637824 282 1283457024 134512640 135304128 4289098912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2219/statm: 644 282 239 194 0 31 0
[pid=2232] ppid=2219 vsize=886964 CPUtime=3.06
/proc/2232/stat : 2232 (java) S 2219 2218 29493 34817 29493 4202496 62848 0 1 0 289 17 0 0 25 0 10 0 76157709 908251136 56400 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2232/statm: 221741 56400 1744 10 0 218832 0
[pid=2232/tid=2233] ppid=2219 vsize=886964 CPUtime=1.64
/proc/2232/task/2233/stat : 2233 (java) R 2219 2218 29493 34817 29493 4202560 47301 0 1 0 150 14 0 0 25 0 10 0 76157709 908251136 56400 1283457024 134512640 134550932 4291722688 18446744073709551615 4095556625 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2232/tid=2234] ppid=2219 vsize=886964 CPUtime=0
/proc/2232/task/2234/stat : 2234 (java) S 2219 2218 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 15 0 10 0 76157711 908251136 56400 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 0 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2235] ppid=2219 vsize=886964 CPUtime=0
/proc/2232/task/2235/stat : 2235 (java) S 2219 2218 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76157711 908251136 56400 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2236] ppid=2219 vsize=886964 CPUtime=0
/proc/2232/task/2236/stat : 2236 (java) S 2219 2218 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76157711 908251136 56400 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2237] ppid=2219 vsize=886964 CPUtime=0
/proc/2232/task/2237/stat : 2237 (java) S 2219 2218 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76157714 908251136 56400 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2238] ppid=2219 vsize=886964 CPUtime=0.85
/proc/2232/task/2238/stat : 2238 (java) S 2219 2218 29493 34817 29493 4202560 9284 0 0 0 84 1 0 0 21 0 10 0 76157714 908251136 56400 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2239] ppid=2219 vsize=886964 CPUtime=0.57
/proc/2232/task/2239/stat : 2239 (java) S 2219 2218 29493 34817 29493 4202560 5184 0 0 0 55 2 0 0 25 0 10 0 76157714 908251136 56400 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2240] ppid=2219 vsize=886964 CPUtime=0
/proc/2232/task/2240/stat : 2240 (java) S 2219 2218 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76157714 908251136 56400 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2241] ppid=2219 vsize=886964 CPUtime=0
/proc/2232/task/2241/stat : 2241 (java) S 2219 2218 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76157714 908251136 56400 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 892104

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

[startup+3.20655 s]
/proc/loadavg: 1.54 1.64 1.67 4/45 2241
/proc/meminfo: memFree=188660/1048576 swapFree=0/0
[pid=2218] ppid=2217 vsize=2564 CPUtime=0
/proc/2218/stat : 2218 (p2cudf-paranoid) S 2217 2218 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76157705 2625536 269 1283457024 134512640 135304128 4293914928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2218/statm: 641 269 230 194 0 28 0
[pid=2219] ppid=2218 vsize=2576 CPUtime=0.03
/proc/2219/stat : 2219 (p2cudf) S 2218 2218 29493 34817 29493 4202496 395 3012 0 1 0 1 0 2 25 0 1 0 76157705 2637824 282 1283457024 134512640 135304128 4289098912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2219/statm: 644 282 239 194 0 31 0
[pid=2232] ppid=2219 vsize=886964 CPUtime=3.16
/proc/2232/stat : 2232 (java) S 2219 2218 29493 34817 29493 4202496 64010 0 1 0 298 18 0 0 25 0 10 0 76157709 908251136 57562 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2232/statm: 221741 57562 1745 10 0 218832 0
[pid=2232/tid=2233] ppid=2219 vsize=886964 CPUtime=1.7
/proc/2232/task/2233/stat : 2233 (java) R 2219 2218 29493 34817 29493 4202560 48458 0 1 0 156 14 0 0 25 0 10 0 76157709 908251136 57562 1283457024 134512640 134550932 4291722688 18446744073709551615 4149739589 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2232/tid=2234] ppid=2219 vsize=886964 CPUtime=0
/proc/2232/task/2234/stat : 2234 (java) S 2219 2218 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 15 0 10 0 76157711 908251136 57562 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 0 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2235] ppid=2219 vsize=886964 CPUtime=0
/proc/2232/task/2235/stat : 2235 (java) S 2219 2218 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76157711 908251136 57562 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2236] ppid=2219 vsize=886964 CPUtime=0
/proc/2232/task/2236/stat : 2236 (java) S 2219 2218 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76157711 908251136 57562 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2237] ppid=2219 vsize=886964 CPUtime=0
/proc/2232/task/2237/stat : 2237 (java) S 2219 2218 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76157714 908251136 57562 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2238] ppid=2219 vsize=886964 CPUtime=0.87
/proc/2232/task/2238/stat : 2238 (java) S 2219 2218 29493 34817 29493 4202560 9288 0 0 0 86 1 0 0 20 0 10 0 76157714 908251136 57562 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2239] ppid=2219 vsize=886964 CPUtime=0.57
/proc/2232/task/2239/stat : 2239 (java) S 2219 2218 29493 34817 29493 4202560 5184 0 0 0 55 2 0 0 25 0 10 0 76157714 908251136 57562 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2240] ppid=2219 vsize=886964 CPUtime=0
/proc/2232/task/2240/stat : 2240 (java) S 2219 2218 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76157714 908251136 57562 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2241] ppid=2219 vsize=886964 CPUtime=0
/proc/2232/task/2241/stat : 2241 (java) S 2219 2218 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76157714 908251136 57562 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 892104

[startup+4.80713 s]
/proc/loadavg: 1.54 1.64 1.67 3/45 2241
/proc/meminfo: memFree=5704/1048576 swapFree=0/0
[pid=2218] ppid=2217 vsize=2564 CPUtime=0
/proc/2218/stat : 2218 (p2cudf-paranoid) S 2217 2218 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76157705 2625536 269 1283457024 134512640 135304128 4293914928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2218/statm: 641 269 230 194 0 28 0
[pid=2219] ppid=2218 vsize=2576 CPUtime=0.03
/proc/2219/stat : 2219 (p2cudf) S 2218 2218 29493 34817 29493 4202496 395 3012 0 1 0 1 0 2 25 0 1 0 76157705 2637824 282 1283457024 134512640 135304128 4289098912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2219/statm: 644 282 239 194 0 31 0
[pid=2232] ppid=2219 vsize=886964 CPUtime=4.75
/proc/2232/stat : 2232 (java) S 2219 2218 29493 34817 29493 4202496 83938 0 1 0 453 22 0 0 25 0 10 0 76157709 908251136 76806 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2232/statm: 221741 76806 1766 10 0 218832 0
[pid=2232/tid=2233] ppid=2219 vsize=886964 CPUtime=2.1
/proc/2232/task/2233/stat : 2233 (java) R 2219 2218 29493 34817 29493 4202560 50194 0 1 0 196 14 0 0 25 0 10 0 76157709 908251136 76806 1283457024 134512640 134550932 4291722688 18446744073709551615 4095703330 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2232/tid=2234] ppid=2219 vsize=886964 CPUtime=0.39
/proc/2232/task/2234/stat : 2234 (java) R 2219 2218 29493 34817 29493 4202560 17421 0 0 0 35 4 0 0 15 0 10 0 76157711 908251136 76806 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2232/tid=2235] ppid=2219 vsize=886964 CPUtime=0
/proc/2232/task/2235/stat : 2235 (java) S 2219 2218 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 10 0 76157711 908251136 76806 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2236] ppid=2219 vsize=886964 CPUtime=0
/proc/2232/task/2236/stat : 2236 (java) S 2219 2218 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76157711 908251136 76806 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2237] ppid=2219 vsize=886964 CPUtime=0
/proc/2232/task/2237/stat : 2237 (java) S 2219 2218 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76157714 908251136 76806 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2238] ppid=2219 vsize=886964 CPUtime=1.41
/proc/2232/task/2238/stat : 2238 (java) S 2219 2218 29493 34817 29493 4202560 10019 0 0 0 140 1 0 0 20 0 10 0 76157714 908251136 76806 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2239] ppid=2219 vsize=886964 CPUtime=0.83
/proc/2232/task/2239/stat : 2239 (java) S 2219 2218 29493 34817 29493 4202560 5228 0 0 0 81 2 0 0 15 0 10 0 76157714 908251136 76806 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2240] ppid=2219 vsize=886964 CPUtime=0
/proc/2232/task/2240/stat : 2240 (java) S 2219 2218 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76157714 908251136 76806 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2241] ppid=2219 vsize=886964 CPUtime=0
/proc/2232/task/2241/stat : 2241 (java) S 2219 2218 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76157714 908251136 76806 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 892104

[startup+5.60608 s]
/proc/loadavg: 1.54 1.64 1.67 1/47 2243
/proc/meminfo: memFree=5572/1048576 swapFree=0/0
[pid=2218] ppid=2217 vsize=2564 CPUtime=0
/proc/2218/stat : 2218 (p2cudf-paranoid) S 2217 2218 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76157705 2625536 269 1283457024 134512640 135304128 4293914928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2218/statm: 641 269 230 194 0 28 0
[pid=2219] ppid=2218 vsize=2576 CPUtime=0.03
/proc/2219/stat : 2219 (p2cudf) S 2218 2218 29493 34817 29493 4202496 395 3012 0 1 0 1 0 2 25 0 1 0 76157705 2637824 282 1283457024 134512640 135304128 4289098912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2219/statm: 644 282 239 194 0 31 0
[pid=2232] ppid=2219 vsize=887612 CPUtime=5.33
/proc/2232/stat : 2232 (java) S 2219 2218 29493 34817 29493 4202496 84070 0 1 0 511 22 0 0 25 0 12 0 76157709 908914688 76938 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2232/statm: 221903 76938 1773 10 0 218994 0
[pid=2232/tid=2233] ppid=2219 vsize=887612 CPUtime=2.26
/proc/2232/task/2233/stat : 2233 (java) S 2219 2218 29493 34817 29493 4202560 50264 0 1 0 212 14 0 0 25 0 12 0 76157709 908914688 76938 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2234] ppid=2219 vsize=887612 CPUtime=0.39
/proc/2232/task/2234/stat : 2234 (java) S 2219 2218 29493 34817 29493 4202560 17421 0 0 0 35 4 0 0 15 0 12 0 76157711 908914688 76938 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 0 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2235] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2235/stat : 2235 (java) S 2219 2218 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 12 0 76157711 908914688 76938 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2236] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2236/stat : 2236 (java) S 2219 2218 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 76157711 908914688 76938 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2237] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2237/stat : 2237 (java) S 2219 2218 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 76157714 908914688 76938 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2238] ppid=2219 vsize=887612 CPUtime=1.75
/proc/2232/task/2238/stat : 2238 (java) S 2219 2218 29493 34817 29493 4202560 10064 0 0 0 174 1 0 0 19 0 12 0 76157714 908914688 76938 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2239] ppid=2219 vsize=887612 CPUtime=0.91
/proc/2232/task/2239/stat : 2239 (java) S 2219 2218 29493 34817 29493 4202560 5236 0 0 0 89 2 0 0 15 0 12 0 76157714 908914688 76938 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2240] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2240/stat : 2240 (java) S 2219 2218 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 76157714 908914688 76938 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2241] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2241/stat : 2241 (java) S 2219 2218 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 12 0 76157714 908914688 76938 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2242] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2242/stat : 2242 (java) S 2219 2218 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 24 0 12 0 76158207 908914688 76938 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2243] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2243/stat : 2243 (java) S 2219 2218 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 25 0 12 0 76158245 908914688 76938 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 892752

[startup+6.01209 s]
/proc/loadavg: 1.54 1.64 1.67 1/47 2243
/proc/meminfo: memFree=5572/1048576 swapFree=0/0
[pid=2218] ppid=2217 vsize=2564 CPUtime=0
/proc/2218/stat : 2218 (p2cudf-paranoid) S 2217 2218 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76157705 2625536 269 1283457024 134512640 135304128 4293914928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2218/statm: 641 269 230 194 0 28 0
[pid=2219] ppid=2218 vsize=2576 CPUtime=0.03
/proc/2219/stat : 2219 (p2cudf) S 2218 2218 29493 34817 29493 4202496 395 3012 0 1 0 1 0 2 25 0 1 0 76157705 2637824 282 1283457024 134512640 135304128 4289098912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2219/statm: 644 282 239 194 0 31 0
[pid=2232] ppid=2219 vsize=887612 CPUtime=5.44
/proc/2232/stat : 2232 (java) S 2219 2218 29493 34817 29493 4202496 84074 0 1 0 520 24 0 0 25 0 12 0 76157709 908914688 76942 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2232/statm: 221903 76942 1773 10 0 218994 0
[pid=2232/tid=2233] ppid=2219 vsize=887612 CPUtime=2.26
/proc/2232/task/2233/stat : 2233 (java) S 2219 2218 29493 34817 29493 4202560 50264 0 1 0 212 14 0 0 25 0 12 0 76157709 908914688 76942 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2234] ppid=2219 vsize=887612 CPUtime=0.39
/proc/2232/task/2234/stat : 2234 (java) S 2219 2218 29493 34817 29493 4202560 17421 0 0 0 35 4 0 0 16 0 12 0 76157711 908914688 76942 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 0 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2235] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2235/stat : 2235 (java) S 2219 2218 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 12 0 76157711 908914688 76942 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2236] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2236/stat : 2236 (java) S 2219 2218 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 76157711 908914688 76942 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2237] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2237/stat : 2237 (java) S 2219 2218 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 76157714 908914688 76942 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2238] ppid=2219 vsize=887612 CPUtime=1.78
/proc/2232/task/2238/stat : 2238 (java) S 2219 2218 29493 34817 29493 4202560 10066 0 0 0 177 1 0 0 16 0 12 0 76157714 908914688 76942 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2239] ppid=2219 vsize=887612 CPUtime=0.91
/proc/2232/task/2239/stat : 2239 (java) S 2219 2218 29493 34817 29493 4202560 5236 0 0 0 89 2 0 0 15 0 12 0 76157714 908914688 76942 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2240] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2240/stat : 2240 (java) S 2219 2218 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 76157714 908914688 76942 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2241] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2241/stat : 2241 (java) S 2219 2218 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 12 0 76157714 908914688 76942 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2242] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2242/stat : 2242 (java) S 2219 2218 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 24 0 12 0 76158207 908914688 76942 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2243] ppid=2219 vsize=887612 CPUtime=0.07
/proc/2232/task/2243/stat : 2243 (java) R 2219 2218 29493 34817 29493 4202560 7 0 0 0 5 2 0 0 20 0 12 0 76158245 908914688 76942 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 892752

[startup+6.1021 s]
/proc/loadavg: 1.54 1.64 1.67 1/47 2243
/proc/meminfo: memFree=5572/1048576 swapFree=0/0
[pid=2218] ppid=2217 vsize=2564 CPUtime=0
/proc/2218/stat : 2218 (p2cudf-paranoid) S 2217 2218 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76157705 2625536 269 1283457024 134512640 135304128 4293914928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2218/statm: 641 269 230 194 0 28 0
[pid=2219] ppid=2218 vsize=2576 CPUtime=0.03
/proc/2219/stat : 2219 (p2cudf) S 2218 2218 29493 34817 29493 4202496 395 3012 0 1 0 1 0 2 25 0 1 0 76157705 2637824 282 1283457024 134512640 135304128 4289098912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2219/statm: 644 282 239 194 0 31 0
[pid=2232] ppid=2219 vsize=887612 CPUtime=5.53
/proc/2232/stat : 2232 (java) S 2219 2218 29493 34817 29493 4202496 84082 0 1 0 527 26 0 0 25 0 11 0 76157709 908914688 76950 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2232/statm: 221903 76950 1774 10 0 218994 0
[pid=2232/tid=2233] ppid=2219 vsize=887612 CPUtime=2.26
/proc/2232/task/2233/stat : 2233 (java) S 2219 2218 29493 34817 29493 4202560 50264 0 1 0 212 14 0 0 18 0 11 0 76157709 908914688 76950 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2234] ppid=2219 vsize=887612 CPUtime=0.39
/proc/2232/task/2234/stat : 2234 (java) S 2219 2218 29493 34817 29493 4202560 17421 0 0 0 35 4 0 0 16 0 11 0 76157711 908914688 76950 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 0 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2235] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2235/stat : 2235 (java) S 2219 2218 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 76157711 908914688 76950 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2236] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2236/stat : 2236 (java) S 2219 2218 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76157711 908914688 76950 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2237] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2237/stat : 2237 (java) S 2219 2218 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76157714 908914688 76950 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2238] ppid=2219 vsize=887612 CPUtime=1.82
/proc/2232/task/2238/stat : 2238 (java) S 2219 2218 29493 34817 29493 4202560 10073 0 0 0 181 1 0 0 15 0 11 0 76157714 908914688 76950 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2239] ppid=2219 vsize=887612 CPUtime=0.91
/proc/2232/task/2239/stat : 2239 (java) S 2219 2218 29493 34817 29493 4202560 5236 0 0 0 89 2 0 0 15 0 11 0 76157714 908914688 76950 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2240] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2240/stat : 2240 (java) S 2219 2218 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76157714 908914688 76950 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2241] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2241/stat : 2241 (java) S 2219 2218 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 76157714 908914688 76950 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
[pid=2232/tid=2242] ppid=2219 vsize=887612 CPUtime=0
/proc/2232/task/2242/stat : 2242 (java) S 2219 2218 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 24 0 11 0 76158207 908914688 76950 1283457024 134512640 134550932 4291722688 18446744073709551615 4294960130 0 4 0 16800975 18446612133392887872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.56
Current children cumulated vsize (KiB) 892752

Child status: 0
Real time (s): 6.13851
CPU time (s): 5.60035
CPU user time (s): 5.27233
CPU system time (s): 0.32802
CPU usage (%): 91.233
Max. virtual memory (cumulated for all children) (KiB): 896412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.27233
system time used= 0.32802
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87884
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= 660
involuntary context switches= 662

runsolver used 0 second user time and 0 second system time

The end