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/201012061533/p2cudf-paranoid-1.9/randec88d5.cudf.impossible.log.runsolver ./p2cudf-paranoid-1.9 /home/misc2010/data/2010/impossible//randec88d5.cudf /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/randec88d5.cudf.impossible.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.30 1.37 1.27 3/47 31258
/proc/meminfo: memFree=746652/1048576 swapFree=2078760/2097144
[pid=31256] ppid=31255 vsize=2568 CPUtime=0
/proc/31256/stat : 31256 (p2cudf-paranoid) S 31255 31256 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876591972 2629632 272 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31256/statm: 642 272 233 194 0 28 0
[pid=31257] ppid=31256 vsize=2572 CPUtime=0
/proc/31257/stat : 31257 (p2cudf) R 31256 31256 2059 34821 2220 4202496 348 0 0 0 0 0 0 0 25 0 1 0 876591972 2633728 274 1283457024 134512640 135304128 4294064464 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/31257/statm: 643 274 234 194 0 29 0
[pid=31258] ppid=31257 vsize=2572 CPUtime=0
/proc/31258/stat : 31258 (p2cudf) R 31257 31256 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 876591972 2633728 40 1283457024 134512640 135304128 4294064464 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/31258/statm: 643 40 0 194 0 29 0

[startup+0.197524 s]
/proc/loadavg: 1.30 1.37 1.27 3/47 31258
/proc/meminfo: memFree=746652/1048576 swapFree=2078760/2097144
[pid=31256] ppid=31255 vsize=2568 CPUtime=0
/proc/31256/stat : 31256 (p2cudf-paranoid) S 31255 31256 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876591972 2629632 272 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31256/statm: 642 272 233 194 0 28 0
[pid=31257] ppid=31256 vsize=2576 CPUtime=0.02
/proc/31257/stat : 31257 (p2cudf) S 31256 31256 2059 34821 2220 4202496 391 2999 0 1 0 0 0 2 25 0 1 0 876591972 2637824 282 1283457024 134512640 135304128 4294064464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31257/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.207521 s]
/proc/loadavg: 1.30 1.37 1.27 3/47 31258
/proc/meminfo: memFree=746652/1048576 swapFree=2078760/2097144
[pid=31256] ppid=31255 vsize=2568 CPUtime=0
/proc/31256/stat : 31256 (p2cudf-paranoid) S 31255 31256 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876591972 2629632 272 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31256/statm: 642 272 233 194 0 28 0
[pid=31257] ppid=31256 vsize=2576 CPUtime=0.02
/proc/31257/stat : 31257 (p2cudf) S 31256 31256 2059 34821 2220 4202496 391 2999 0 1 0 0 0 2 25 0 1 0 876591972 2637824 282 1283457024 134512640 135304128 4294064464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31257/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.307544 s]
/proc/loadavg: 1.30 1.37 1.27 3/47 31258
/proc/meminfo: memFree=746652/1048576 swapFree=2078760/2097144
[pid=31256] ppid=31255 vsize=2568 CPUtime=0
/proc/31256/stat : 31256 (p2cudf-paranoid) S 31255 31256 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876591972 2629632 272 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31256/statm: 642 272 233 194 0 28 0
[pid=31257] ppid=31256 vsize=2576 CPUtime=0.02
/proc/31257/stat : 31257 (p2cudf) S 31256 31256 2059 34821 2220 4202496 391 2999 0 1 0 0 0 2 25 0 1 0 876591972 2637824 282 1283457024 134512640 135304128 4294064464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31257/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.707651 s]
/proc/loadavg: 1.30 1.37 1.27 3/47 31258
/proc/meminfo: memFree=746652/1048576 swapFree=2078760/2097144
[pid=31256] ppid=31255 vsize=2568 CPUtime=0
/proc/31256/stat : 31256 (p2cudf-paranoid) S 31255 31256 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876591972 2629632 272 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31256/statm: 642 272 233 194 0 28 0
[pid=31257] ppid=31256 vsize=2576 CPUtime=0.02
/proc/31257/stat : 31257 (p2cudf) S 31256 31256 2059 34821 2220 4202496 391 2999 0 1 0 0 0 2 25 0 1 0 876591972 2637824 282 1283457024 134512640 135304128 4294064464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31257/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+1.50777 s]
/proc/loadavg: 1.30 1.37 1.27 5/57 31279
/proc/meminfo: memFree=704820/1048576 swapFree=2078760/2097144
[pid=31256] ppid=31255 vsize=2568 CPUtime=0
/proc/31256/stat : 31256 (p2cudf-paranoid) S 31255 31256 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876591972 2629632 272 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31256/statm: 642 272 233 194 0 28 0
[pid=31257] ppid=31256 vsize=2576 CPUtime=0.02
/proc/31257/stat : 31257 (p2cudf) S 31256 31256 2059 34821 2220 4202496 391 2999 0 1 0 0 0 2 25 0 1 0 876591972 2637824 282 1283457024 134512640 135304128 4294064464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31257/statm: 644 282 241 194 0 30 0
[pid=31270] ppid=31257 vsize=881676 CPUtime=1.47
/proc/31270/stat : 31270 (java) S 31257 31256 2059 34821 2220 4202496 19763 0 1 0 139 8 0 0 25 0 10 0 876591976 902836224 16198 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31270/statm: 220419 16198 1727 10 0 217509 0
[pid=31270/tid=31271] ppid=31257 vsize=881676 CPUtime=0.79
/proc/31270/task/31271/stat : 31271 (java) R 31257 31256 2059 34821 2220 4202560 9189 0 1 0 76 3 0 0 25 0 10 0 876591976 902836224 16198 1283457024 134512640 134550932 4293879744 18446744073709551615 4095126590 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31270/tid=31272] ppid=31257 vsize=881676 CPUtime=0
/proc/31270/task/31272/stat : 31272 (java) S 31257 31256 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876591978 902836224 16198 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31273] ppid=31257 vsize=881676 CPUtime=0
/proc/31270/task/31273/stat : 31273 (java) S 31257 31256 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876591978 902836224 16198 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31274] ppid=31257 vsize=881676 CPUtime=0
/proc/31270/task/31274/stat : 31274 (java) S 31257 31256 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876591978 902836224 16198 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31275] ppid=31257 vsize=881676 CPUtime=0
/proc/31270/task/31275/stat : 31275 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876591981 902836224 16198 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31276] ppid=31257 vsize=881676 CPUtime=0.39
/proc/31270/task/31276/stat : 31276 (java) R 31257 31256 2059 34821 2220 4202560 6852 0 0 0 35 4 0 0 23 0 10 0 876591981 902836224 16198 1283457024 134512640 134550932 4293879744 18446744073709551615 4148873704 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31270/tid=31277] ppid=31257 vsize=881676 CPUtime=0.27
/proc/31270/task/31277/stat : 31277 (java) R 31257 31256 2059 34821 2220 4202560 2610 0 0 0 26 1 0 0 25 0 10 0 876591981 902836224 16198 1283457024 134512640 134550932 4293879744 18446744073709551615 4149939074 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31270/tid=31278] ppid=31257 vsize=881676 CPUtime=0
/proc/31270/task/31278/stat : 31278 (java) S 31257 31256 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 876591981 902836224 16198 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31279] ppid=31257 vsize=881676 CPUtime=0
/proc/31270/task/31279/stat : 31279 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876591981 902836224 16198 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 886820

[startup+3.10827 s]
/proc/loadavg: 1.30 1.37 1.27 4/57 31279
/proc/meminfo: memFree=647744/1048576 swapFree=2078760/2097144
[pid=31256] ppid=31255 vsize=2568 CPUtime=0
/proc/31256/stat : 31256 (p2cudf-paranoid) S 31255 31256 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876591972 2629632 272 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31256/statm: 642 272 233 194 0 28 0
[pid=31257] ppid=31256 vsize=2576 CPUtime=0.02
/proc/31257/stat : 31257 (p2cudf) S 31256 31256 2059 34821 2220 4202496 391 2999 0 1 0 0 0 2 25 0 1 0 876591972 2637824 282 1283457024 134512640 135304128 4294064464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31257/statm: 644 282 241 194 0 30 0
[pid=31270] ppid=31257 vsize=896700 CPUtime=3.06
/proc/31270/stat : 31270 (java) S 31257 31256 2059 34821 2220 4202496 41507 0 1 0 286 20 0 0 25 0 10 0 876591976 918220800 32198 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31270/statm: 224175 32198 1732 10 0 221265 0
[pid=31270/tid=31271] ppid=31257 vsize=896700 CPUtime=1.21
/proc/31270/task/31271/stat : 31271 (java) R 31257 31256 2059 34821 2220 4202560 20810 0 1 0 111 10 0 0 25 0 10 0 876591976 918220800 32198 1283457024 134512640 134550932 4293879744 18446744073709551615 4095498120 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31270/tid=31272] ppid=31257 vsize=896700 CPUtime=0
/proc/31270/task/31272/stat : 31272 (java) S 31257 31256 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876591978 918220800 32198 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31273] ppid=31257 vsize=896700 CPUtime=0
/proc/31270/task/31273/stat : 31273 (java) S 31257 31256 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876591978 918220800 32198 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31274] ppid=31257 vsize=896700 CPUtime=0
/proc/31270/task/31274/stat : 31274 (java) S 31257 31256 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876591978 918220800 32198 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31275] ppid=31257 vsize=896700 CPUtime=0
/proc/31270/task/31275/stat : 31275 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876591981 918220800 32198 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31276] ppid=31257 vsize=896700 CPUtime=0.9
/proc/31270/task/31276/stat : 31276 (java) S 31257 31256 2059 34821 2220 4202560 12183 0 0 0 82 8 0 0 25 0 10 0 876591981 918220800 32198 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31277] ppid=31257 vsize=896700 CPUtime=0.94
/proc/31270/task/31277/stat : 31277 (java) R 31257 31256 2059 34821 2220 4202560 7402 0 0 0 92 2 0 0 25 0 10 0 876591981 918220800 32198 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31270/tid=31278] ppid=31257 vsize=896700 CPUtime=0
/proc/31270/task/31278/stat : 31278 (java) S 31257 31256 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 876591981 918220800 32198 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31279] ppid=31257 vsize=896700 CPUtime=0
/proc/31270/task/31279/stat : 31279 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876591981 918220800 32198 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 901844

[startup+6.30737 s]
/proc/loadavg: 1.35 1.39 1.28 3/57 31279
/proc/meminfo: memFree=412716/1048576 swapFree=2078760/2097144
[pid=31256] ppid=31255 vsize=2568 CPUtime=0
/proc/31256/stat : 31256 (p2cudf-paranoid) S 31255 31256 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876591972 2629632 272 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31256/statm: 642 272 233 194 0 28 0
[pid=31257] ppid=31256 vsize=2576 CPUtime=0.02
/proc/31257/stat : 31257 (p2cudf) S 31256 31256 2059 34821 2220 4202496 391 2999 0 1 0 0 0 2 25 0 1 0 876591972 2637824 282 1283457024 134512640 135304128 4294064464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31257/statm: 644 282 241 194 0 30 0
[pid=31270] ppid=31257 vsize=896700 CPUtime=6.11
/proc/31270/stat : 31270 (java) S 31257 31256 2059 34821 2220 4202496 104127 0 1 0 580 31 0 0 25 0 10 0 876591976 918220800 94818 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31270/statm: 224175 94818 1764 10 0 221265 0
[pid=31270/tid=31271] ppid=31257 vsize=896700 CPUtime=2.67
/proc/31270/task/31271/stat : 31271 (java) R 31257 31256 2059 34821 2220 4202560 50392 0 1 0 253 14 0 0 25 0 10 0 876591976 918220800 94818 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31270/tid=31272] ppid=31257 vsize=896700 CPUtime=0.74
/proc/31270/task/31272/stat : 31272 (java) S 31257 31256 2059 34821 2220 4202560 32860 0 0 0 68 6 0 0 16 0 10 0 876591978 918220800 94818 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31273] ppid=31257 vsize=896700 CPUtime=0
/proc/31270/task/31273/stat : 31273 (java) S 31257 31256 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 10 0 876591978 918220800 94818 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31274] ppid=31257 vsize=896700 CPUtime=0
/proc/31270/task/31274/stat : 31274 (java) S 31257 31256 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 876591978 918220800 94818 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31275] ppid=31257 vsize=896700 CPUtime=0
/proc/31270/task/31275/stat : 31275 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876591981 918220800 94818 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31276] ppid=31257 vsize=896700 CPUtime=0.91
/proc/31270/task/31276/stat : 31276 (java) S 31257 31256 2059 34821 2220 4202560 12183 0 0 0 83 8 0 0 22 0 10 0 876591981 918220800 94818 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31277] ppid=31257 vsize=896700 CPUtime=1.76
/proc/31270/task/31277/stat : 31277 (java) R 31257 31256 2059 34821 2220 4202560 7582 0 0 0 174 2 0 0 16 0 10 0 876591981 918220800 94818 1283457024 134512640 134550932 4293879744 18446744073709551615 4149936893 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31270/tid=31278] ppid=31257 vsize=896700 CPUtime=0
/proc/31270/task/31278/stat : 31278 (java) S 31257 31256 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 876591981 918220800 94818 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31279] ppid=31257 vsize=896700 CPUtime=0
/proc/31270/task/31279/stat : 31279 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876591981 918220800 94818 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 901844

[startup+12.7091 s]
/proc/loadavg: 1.33 1.38 1.28 2/58 31289
/proc/meminfo: memFree=344384/1048576 swapFree=2078760/2097144
[pid=31256] ppid=31255 vsize=2568 CPUtime=0
/proc/31256/stat : 31256 (p2cudf-paranoid) S 31255 31256 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876591972 2629632 272 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31256/statm: 642 272 233 194 0 28 0
[pid=31257] ppid=31256 vsize=2576 CPUtime=0.02
/proc/31257/stat : 31257 (p2cudf) S 31256 31256 2059 34821 2220 4202496 391 2999 0 1 0 0 0 2 25 0 1 0 876591972 2637824 282 1283457024 134512640 135304128 4294064464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31257/statm: 644 282 241 194 0 30 0
[pid=31270] ppid=31257 vsize=897996 CPUtime=12.51
/proc/31270/stat : 31270 (java) S 31257 31256 2059 34821 2220 4202496 104410 0 1 0 1219 32 0 0 25 0 11 0 876591976 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31270/statm: 224499 95101 1792 10 0 221589 0
[pid=31270/tid=31271] ppid=31257 vsize=897996 CPUtime=7.8
/proc/31270/task/31271/stat : 31271 (java) R 31257 31256 2059 34821 2220 4202560 50472 0 1 0 766 14 0 0 25 0 11 0 876591976 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4096445191 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31270/tid=31272] ppid=31257 vsize=897996 CPUtime=0.75
/proc/31270/task/31272/stat : 31272 (java) S 31257 31256 2059 34821 2220 4202560 32860 0 0 0 69 6 0 0 15 0 11 0 876591978 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31273] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31273/stat : 31273 (java) S 31257 31256 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876591978 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31274] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31274/stat : 31274 (java) S 31257 31256 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876591978 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31275] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31275/stat : 31275 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876591981 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31276] ppid=31257 vsize=897996 CPUtime=0.91
/proc/31270/task/31276/stat : 31276 (java) S 31257 31256 2059 34821 2220 4202560 12183 0 0 0 83 8 0 0 22 0 11 0 876591981 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31277] ppid=31257 vsize=897996 CPUtime=3.01
/proc/31270/task/31277/stat : 31277 (java) S 31257 31256 2059 34821 2220 4202560 7769 0 0 0 298 3 0 0 15 0 11 0 876591981 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31278] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31278/stat : 31278 (java) S 31257 31256 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876591981 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31279] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31279/stat : 31279 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876591981 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31289] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31289/stat : 31289 (java) S 31257 31256 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 24 0 11 0 876592864 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 903140

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

[startup+12.8091 s]
/proc/loadavg: 1.33 1.38 1.28 2/58 31289
/proc/meminfo: memFree=344384/1048576 swapFree=2078760/2097144
[pid=31256] ppid=31255 vsize=2568 CPUtime=0
/proc/31256/stat : 31256 (p2cudf-paranoid) S 31255 31256 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876591972 2629632 272 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31256/statm: 642 272 233 194 0 28 0
[pid=31257] ppid=31256 vsize=2576 CPUtime=0.02
/proc/31257/stat : 31257 (p2cudf) S 31256 31256 2059 34821 2220 4202496 391 2999 0 1 0 0 0 2 25 0 1 0 876591972 2637824 282 1283457024 134512640 135304128 4294064464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31257/statm: 644 282 241 194 0 30 0
[pid=31270] ppid=31257 vsize=897996 CPUtime=12.61
/proc/31270/stat : 31270 (java) S 31257 31256 2059 34821 2220 4202496 104410 0 1 0 1229 32 0 0 25 0 11 0 876591976 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31270/statm: 224499 95101 1792 10 0 221589 0
[pid=31270/tid=31271] ppid=31257 vsize=897996 CPUtime=7.9
/proc/31270/task/31271/stat : 31271 (java) R 31257 31256 2059 34821 2220 4202560 50472 0 1 0 776 14 0 0 25 0 11 0 876591976 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4096410187 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31270/tid=31272] ppid=31257 vsize=897996 CPUtime=0.75
/proc/31270/task/31272/stat : 31272 (java) S 31257 31256 2059 34821 2220 4202560 32860 0 0 0 69 6 0 0 15 0 11 0 876591978 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31273] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31273/stat : 31273 (java) S 31257 31256 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876591978 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31274] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31274/stat : 31274 (java) S 31257 31256 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876591978 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31275] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31275/stat : 31275 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876591981 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31276] ppid=31257 vsize=897996 CPUtime=0.91
/proc/31270/task/31276/stat : 31276 (java) S 31257 31256 2059 34821 2220 4202560 12183 0 0 0 83 8 0 0 22 0 11 0 876591981 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31277] ppid=31257 vsize=897996 CPUtime=3.01
/proc/31270/task/31277/stat : 31277 (java) S 31257 31256 2059 34821 2220 4202560 7769 0 0 0 298 3 0 0 15 0 11 0 876591981 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31278] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31278/stat : 31278 (java) S 31257 31256 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876591981 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31279] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31279/stat : 31279 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876591981 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31289] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31289/stat : 31289 (java) S 31257 31256 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 24 0 11 0 876592864 919547904 95101 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 903140

[startup+19.2108 s]
/proc/loadavg: 1.28 1.37 1.27 2/58 31290
/proc/meminfo: memFree=304828/1048576 swapFree=2078760/2097144
[pid=31256] ppid=31255 vsize=2568 CPUtime=0
/proc/31256/stat : 31256 (p2cudf-paranoid) S 31255 31256 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876591972 2629632 272 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31256/statm: 642 272 233 194 0 28 0
[pid=31257] ppid=31256 vsize=2576 CPUtime=0.02
/proc/31257/stat : 31257 (p2cudf) S 31256 31256 2059 34821 2220 4202496 391 2999 0 1 0 0 0 2 25 0 1 0 876591972 2637824 282 1283457024 134512640 135304128 4294064464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31257/statm: 644 282 241 194 0 30 0
[pid=31270] ppid=31257 vsize=897996 CPUtime=19.01
/proc/31270/stat : 31270 (java) S 31257 31256 2059 34821 2220 4202496 114301 0 1 0 1866 35 0 0 25 0 11 0 876591976 919547904 104992 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31270/statm: 224499 104992 1793 10 0 221589 0
[pid=31270/tid=31271] ppid=31257 vsize=897996 CPUtime=13.46
/proc/31270/task/31271/stat : 31271 (java) R 31257 31256 2059 34821 2220 4202560 50473 0 1 0 1332 14 0 0 25 0 11 0 876591976 919547904 104992 1283457024 134512640 134550932 4293879744 18446744073709551615 4095152689 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31270/tid=31272] ppid=31257 vsize=897996 CPUtime=1.39
/proc/31270/task/31272/stat : 31272 (java) S 31257 31256 2059 34821 2220 4202560 42676 0 0 0 131 8 0 0 15 0 11 0 876591978 919547904 104992 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31273] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31273/stat : 31273 (java) S 31257 31256 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876591978 919547904 104992 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31274] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31274/stat : 31274 (java) S 31257 31256 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876591978 919547904 104992 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31275] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31275/stat : 31275 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876591981 919547904 104992 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31276] ppid=31257 vsize=897996 CPUtime=0.91
/proc/31270/task/31276/stat : 31276 (java) S 31257 31256 2059 34821 2220 4202560 12183 0 0 0 83 8 0 0 22 0 11 0 876591981 919547904 104992 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31277] ppid=31257 vsize=897996 CPUtime=3.21
/proc/31270/task/31277/stat : 31277 (java) S 31257 31256 2059 34821 2220 4202560 7843 0 0 0 318 3 0 0 16 0 11 0 876591981 919547904 104992 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31278] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31278/stat : 31278 (java) S 31257 31256 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876591981 919547904 104992 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31279] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31279/stat : 31279 (java) R 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876591981 919547904 104992 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31270/tid=31290] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31290/stat : 31290 (java) S 31257 31256 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876593711 919547904 104992 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.03
Current children cumulated vsize (KiB) 903140

[startup+22.4117 s]
/proc/loadavg: 1.28 1.37 1.27 2/58 31292
/proc/meminfo: memFree=302352/1048576 swapFree=2078852/2097144
[pid=31256] ppid=31255 vsize=2568 CPUtime=0
/proc/31256/stat : 31256 (p2cudf-paranoid) S 31255 31256 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876591972 2629632 272 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31256/statm: 642 272 233 194 0 28 0
[pid=31257] ppid=31256 vsize=2576 CPUtime=0.02
/proc/31257/stat : 31257 (p2cudf) S 31256 31256 2059 34821 2220 4202496 391 2999 0 1 0 0 0 2 25 0 1 0 876591972 2637824 282 1283457024 134512640 135304128 4294064464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31257/statm: 644 282 241 194 0 30 0
[pid=31270] ppid=31257 vsize=897996 CPUtime=22.16
/proc/31270/stat : 31270 (java) S 31257 31256 2059 34821 2220 4202496 114538 0 1 0 2178 38 0 0 25 0 11 0 876591976 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31270/statm: 224499 105229 1793 10 0 221589 0
[pid=31270/tid=31271] ppid=31257 vsize=897996 CPUtime=16.07
/proc/31270/task/31271/stat : 31271 (java) R 31257 31256 2059 34821 2220 4202560 50473 0 1 0 1592 15 0 0 25 0 11 0 876591976 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4095777291 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31270/tid=31272] ppid=31257 vsize=897996 CPUtime=1.88
/proc/31270/task/31272/stat : 31272 (java) S 31257 31256 2059 34821 2220 4202560 42913 0 0 0 178 10 0 0 16 0 11 0 876591978 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31273] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31273/stat : 31273 (java) S 31257 31256 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876591978 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31274] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31274/stat : 31274 (java) S 31257 31256 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 15 0 11 0 876591978 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31275] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31275/stat : 31275 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876591981 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31276] ppid=31257 vsize=897996 CPUtime=0.91
/proc/31270/task/31276/stat : 31276 (java) S 31257 31256 2059 34821 2220 4202560 12183 0 0 0 83 8 0 0 22 0 11 0 876591981 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31277] ppid=31257 vsize=897996 CPUtime=3.25
/proc/31270/task/31277/stat : 31277 (java) S 31257 31256 2059 34821 2220 4202560 7843 0 0 0 322 3 0 0 15 0 11 0 876591981 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31278] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31278/stat : 31278 (java) S 31257 31256 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876591981 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31279] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31279/stat : 31279 (java) R 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876591981 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31270/tid=31290] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31290/stat : 31290 (java) S 31257 31256 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876593711 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.18
Current children cumulated vsize (KiB) 903140

[startup+24.0121 s]
/proc/loadavg: 1.28 1.37 1.27 2/58 31293
/proc/meminfo: memFree=302352/1048576 swapFree=2078852/2097144
[pid=31256] ppid=31255 vsize=2568 CPUtime=0
/proc/31256/stat : 31256 (p2cudf-paranoid) S 31255 31256 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876591972 2629632 272 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31256/statm: 642 272 233 194 0 28 0
[pid=31257] ppid=31256 vsize=2576 CPUtime=0.02
/proc/31257/stat : 31257 (p2cudf) S 31256 31256 2059 34821 2220 4202496 391 2999 0 1 0 0 0 2 25 0 1 0 876591972 2637824 282 1283457024 134512640 135304128 4294064464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31257/statm: 644 282 241 194 0 30 0
[pid=31270] ppid=31257 vsize=897996 CPUtime=23.76
/proc/31270/stat : 31270 (java) S 31257 31256 2059 34821 2220 4202496 114538 0 1 0 2338 38 0 0 25 0 11 0 876591976 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31270/statm: 224499 105229 1793 10 0 221589 0
[pid=31270/tid=31271] ppid=31257 vsize=897996 CPUtime=17.65
/proc/31270/task/31271/stat : 31271 (java) R 31257 31256 2059 34821 2220 4202560 50473 0 1 0 1750 15 0 0 25 0 11 0 876591976 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4096419117 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31270/tid=31272] ppid=31257 vsize=897996 CPUtime=1.88
/proc/31270/task/31272/stat : 31272 (java) S 31257 31256 2059 34821 2220 4202560 42913 0 0 0 178 10 0 0 15 0 11 0 876591978 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31273] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31273/stat : 31273 (java) S 31257 31256 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876591978 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31274] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31274/stat : 31274 (java) S 31257 31256 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 15 0 11 0 876591978 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31275] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31275/stat : 31275 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876591981 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31276] ppid=31257 vsize=897996 CPUtime=0.91
/proc/31270/task/31276/stat : 31276 (java) S 31257 31256 2059 34821 2220 4202560 12183 0 0 0 83 8 0 0 22 0 11 0 876591981 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31277] ppid=31257 vsize=897996 CPUtime=3.27
/proc/31270/task/31277/stat : 31277 (java) S 31257 31256 2059 34821 2220 4202560 7843 0 0 0 324 3 0 0 16 0 11 0 876591981 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31278] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31278/stat : 31278 (java) S 31257 31256 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876591981 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31279] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31279/stat : 31279 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876591981 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31293] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31293/stat : 31293 (java) S 31257 31256 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876594231 919547904 105229 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.78
Current children cumulated vsize (KiB) 903140

[startup+24.407 s]
/proc/loadavg: 1.25 1.36 1.27 3/58 31293
/proc/meminfo: memFree=302352/1048576 swapFree=2078852/2097144
[pid=31256] ppid=31255 vsize=2568 CPUtime=0
/proc/31256/stat : 31256 (p2cudf-paranoid) S 31255 31256 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876591972 2629632 272 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31256/statm: 642 272 233 194 0 28 0
[pid=31257] ppid=31256 vsize=2576 CPUtime=0.02
/proc/31257/stat : 31257 (p2cudf) S 31256 31256 2059 34821 2220 4202496 391 2999 0 1 0 0 0 2 25 0 1 0 876591972 2637824 282 1283457024 134512640 135304128 4294064464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31257/statm: 644 282 241 194 0 30 0
[pid=31270] ppid=31257 vsize=897996 CPUtime=24.04
/proc/31270/stat : 31270 (java) S 31257 31256 2059 34821 2220 4202496 114544 0 1 0 2366 38 0 0 25 0 11 0 876591976 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31270/statm: 224499 105235 1793 10 0 221589 0
[pid=31270/tid=31271] ppid=31257 vsize=897996 CPUtime=17.91
/proc/31270/task/31271/stat : 31271 (java) S 31257 31256 2059 34821 2220 4202560 50479 0 1 0 1776 15 0 0 25 0 11 0 876591976 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31272] ppid=31257 vsize=897996 CPUtime=1.89
/proc/31270/task/31272/stat : 31272 (java) S 31257 31256 2059 34821 2220 4202560 42913 0 0 0 179 10 0 0 16 0 11 0 876591978 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31273] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31273/stat : 31273 (java) S 31257 31256 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876591978 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31274] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31274/stat : 31274 (java) S 31257 31256 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 15 0 11 0 876591978 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31275] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31275/stat : 31275 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876591981 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31276] ppid=31257 vsize=897996 CPUtime=0.91
/proc/31270/task/31276/stat : 31276 (java) S 31257 31256 2059 34821 2220 4202560 12183 0 0 0 83 8 0 0 22 0 11 0 876591981 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31277] ppid=31257 vsize=897996 CPUtime=3.29
/proc/31270/task/31277/stat : 31277 (java) S 31257 31256 2059 34821 2220 4202560 7843 0 0 0 326 3 0 0 15 0 11 0 876591981 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31278] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31278/stat : 31278 (java) S 31257 31256 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876591981 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31279] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31279/stat : 31279 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876591981 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.06
Current children cumulated vsize (KiB) 903140

[startup+24.8151 s]
/proc/loadavg: 1.25 1.36 1.27 3/58 31293
/proc/meminfo: memFree=302352/1048576 swapFree=2078852/2097144
[pid=31256] ppid=31255 vsize=2568 CPUtime=0
/proc/31256/stat : 31256 (p2cudf-paranoid) S 31255 31256 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876591972 2629632 272 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31256/statm: 642 272 233 194 0 28 0
[pid=31257] ppid=31256 vsize=2576 CPUtime=0.02
/proc/31257/stat : 31257 (p2cudf) S 31256 31256 2059 34821 2220 4202496 391 2999 0 1 0 0 0 2 25 0 1 0 876591972 2637824 282 1283457024 134512640 135304128 4294064464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31257/statm: 644 282 241 194 0 30 0
[pid=31270] ppid=31257 vsize=897996 CPUtime=24.05
/proc/31270/stat : 31270 (java) S 31257 31256 2059 34821 2220 4202496 114544 0 1 0 2367 38 0 0 25 0 11 0 876591976 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31270/statm: 224499 105235 1793 10 0 221589 0
[pid=31270/tid=31271] ppid=31257 vsize=897996 CPUtime=17.91
/proc/31270/task/31271/stat : 31271 (java) S 31257 31256 2059 34821 2220 4202560 50479 0 1 0 1776 15 0 0 25 0 11 0 876591976 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31272] ppid=31257 vsize=897996 CPUtime=1.89
/proc/31270/task/31272/stat : 31272 (java) S 31257 31256 2059 34821 2220 4202560 42913 0 0 0 179 10 0 0 16 0 11 0 876591978 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31273] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31273/stat : 31273 (java) S 31257 31256 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876591978 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31274] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31274/stat : 31274 (java) S 31257 31256 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 15 0 11 0 876591978 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31275] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31275/stat : 31275 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876591981 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31276] ppid=31257 vsize=897996 CPUtime=0.91
/proc/31270/task/31276/stat : 31276 (java) S 31257 31256 2059 34821 2220 4202560 12183 0 0 0 83 8 0 0 22 0 11 0 876591981 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31277] ppid=31257 vsize=897996 CPUtime=3.29
/proc/31270/task/31277/stat : 31277 (java) S 31257 31256 2059 34821 2220 4202560 7843 0 0 0 326 3 0 0 15 0 11 0 876591981 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31278] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31278/stat : 31278 (java) S 31257 31256 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876591981 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=31270/tid=31279] ppid=31257 vsize=897996 CPUtime=0
/proc/31270/task/31279/stat : 31279 (java) S 31257 31256 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876591981 919547904 105235 1283457024 134512640 134550932 4293879744 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.07
Current children cumulated vsize (KiB) 903140

[startup+24.9112 s]
/proc/loadavg: 1.25 1.36 1.27 3/58 31293
/proc/meminfo: memFree=302352/1048576 swapFree=2078852/2097144
[pid=31256] ppid=31255 vsize=2568 CPUtime=0
/proc/31256/stat : 31256 (p2cudf-paranoid) S 31255 31256 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876591972 2629632 272 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31256/statm: 642 272 233 194 0 28 0
[pid=31257] ppid=31256 vsize=2576 CPUtime=0.02
/proc/31257/stat : 31257 (p2cudf) S 31256 31256 2059 34821 2220 4202496 391 2999 0 1 0 0 0 2 25 0 1 0 876591972 2637824 282 1283457024 134512640 135304128 4294064464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31257/statm: 644 282 241 194 0 30 0
[pid=31270] ppid=31257 vsize=0 CPUtime=24.1
/proc/31270/stat : 31270 (java) Z 31257 31256 2059 34821 2220 4203532 114549 0 1 0 2368 42 0 0 18 0 2 0 876591976 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31270/statm: 0 0 0 0 0 0 0
[pid=31270/tid=31271] ppid=31257 vsize=0 CPUtime=17.93
/proc/31270/task/31271/stat : 31271 (java) R 31257 31256 2059 34821 2220 4203588 50480 0 1 0 1776 17 0 0 20 0 2 0 876591976 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.12
Current children cumulated vsize (KiB) 5144

Child status: 0
Real time (s): 24.9222
CPU time (s): 24.1455
CPU user time (s): 23.6815
CPU system time (s): 0.464029
CPU usage (%): 96.8837
Max. virtual memory (cumulated for all children) (KiB): 904128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.6815
system time used= 0.464029
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118337
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= 1489
involuntary context switches= 1783

runsolver used 0 second user time and 0.012 second system time

The end