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/gj-paranoid-solver-0.1/huge1.cudf.cudf_set.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/cudf_set//huge1.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/huge1.cudf.cudf_set.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.09 0.71 0.30 2/48 2347
/proc/meminfo: memFree=59664/1048576 swapFree=2095580/2097144
[pid=2347] ppid=2346 vsize=3028 CPUtime=0
/proc/2347/stat : 2347 (runsolver) R 2346 2347 2059 34821 2220 4202560 73 0 0 0 0 0 0 0 25 0 1 0 874277723 3100672 94 1283457024 134512640 134586868 4290106560 18446744073709551615 4294960130 0 0 0 24578 0 0 0 17 0 0 0 0
/proc/2347/statm: 757 94 62 19 0 55 0

[startup+0.143976 s]
/proc/loadavg: 1.09 0.71 0.30 2/48 2347
/proc/meminfo: memFree=59664/1048576 swapFree=2095580/2097144
[pid=2347] ppid=2346 vsize=2568 CPUtime=0
/proc/2347/stat : 2347 (gj-paranoid-sol) S 2346 2347 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 874277723 2629632 271 1283457024 134512640 135304128 4293415072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2347/statm: 642 271 232 194 0 28 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.207932 s]
/proc/loadavg: 1.09 0.71 0.30 2/48 2347
/proc/meminfo: memFree=59664/1048576 swapFree=2095580/2097144
[pid=2347] ppid=2346 vsize=2568 CPUtime=0
/proc/2347/stat : 2347 (gj-paranoid-sol) S 2346 2347 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 874277723 2629632 271 1283457024 134512640 135304128 4293415072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2347/statm: 642 271 232 194 0 28 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.307968 s]
/proc/loadavg: 1.09 0.71 0.30 2/48 2347
/proc/meminfo: memFree=59664/1048576 swapFree=2095580/2097144
[pid=2347] ppid=2346 vsize=2568 CPUtime=0
/proc/2347/stat : 2347 (gj-paranoid-sol) S 2346 2347 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 874277723 2629632 271 1283457024 134512640 135304128 4293415072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2347/statm: 642 271 232 194 0 28 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.703955 s]
/proc/loadavg: 1.09 0.71 0.30 2/48 2347
/proc/meminfo: memFree=59664/1048576 swapFree=2095580/2097144
[pid=2347] ppid=2346 vsize=2568 CPUtime=0
/proc/2347/stat : 2347 (gj-paranoid-sol) S 2346 2347 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 874277723 2629632 271 1283457024 134512640 135304128 4293415072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2347/statm: 642 271 232 194 0 28 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+1.51215 s]
/proc/loadavg: 1.09 0.71 0.30 2/58 2357
/proc/meminfo: memFree=42544/1048576 swapFree=2095580/2097144
[pid=2347] ppid=2346 vsize=2568 CPUtime=0
/proc/2347/stat : 2347 (gj-paranoid-sol) S 2346 2347 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 874277723 2629632 271 1283457024 134512640 135304128 4293415072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2347/statm: 642 271 232 194 0 28 0
[pid=2349] ppid=2347 vsize=410212 CPUtime=1.28
/proc/2349/stat : 2349 (java) S 2347 2347 2059 34821 2220 4202496 5851 0 35 0 127 1 0 0 25 0 9 0 874277724 420057088 5335 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2349/statm: 102553 5335 1934 10 0 96733 0
[pid=2349/tid=2350] ppid=2347 vsize=410212 CPUtime=1.19
/proc/2349/task/2350/stat : 2350 (java) R 2347 2347 2059 34821 2220 4202560 3470 0 31 0 118 1 0 0 25 0 9 0 874277726 420057088 5335 1283457024 134512640 134550932 4286566768 18446744073709551615 4152940787 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2349/tid=2351] ppid=2347 vsize=410212 CPUtime=0.05
/proc/2349/task/2351/stat : 2351 (java) S 2347 2347 2059 34821 2220 4202560 1091 0 0 0 5 0 0 0 16 0 9 0 874277727 420057088 5335 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2352] ppid=2347 vsize=410212 CPUtime=0
/proc/2349/task/2352/stat : 2352 (java) S 2347 2347 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 23 0 9 0 874277727 420057088 5335 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2353] ppid=2347 vsize=410212 CPUtime=0
/proc/2349/task/2353/stat : 2353 (java) S 2347 2347 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 23 0 9 0 874277727 420057088 5335 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2354] ppid=2347 vsize=410212 CPUtime=0
/proc/2349/task/2354/stat : 2354 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874277728 420057088 5335 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2355] ppid=2347 vsize=410212 CPUtime=0.04
/proc/2349/task/2355/stat : 2355 (java) S 2347 2347 2059 34821 2220 4202560 356 0 4 0 4 0 0 0 16 0 9 0 874277728 420057088 5335 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2356] ppid=2347 vsize=410212 CPUtime=0
/proc/2349/task/2356/stat : 2356 (java) S 2347 2347 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 9 0 874277728 420057088 5335 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2357] ppid=2347 vsize=410212 CPUtime=0
/proc/2349/task/2357/stat : 2357 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 874277728 420057088 5335 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 412780

[startup+3.1041 s]
/proc/loadavg: 1.09 0.71 0.30 2/59 2358
/proc/meminfo: memFree=41800/1048576 swapFree=2095580/2097144
[pid=2347] ppid=2346 vsize=2568 CPUtime=0
/proc/2347/stat : 2347 (gj-paranoid-sol) S 2346 2347 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 874277723 2629632 271 1283457024 134512640 135304128 4293415072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2347/statm: 642 271 232 194 0 28 0
[pid=2349] ppid=2347 vsize=410536 CPUtime=2.67
/proc/2349/stat : 2349 (java) S 2347 2347 2059 34821 2220 4202496 7603 0 67 0 266 1 0 0 25 0 10 0 874277724 420388864 6935 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2349/statm: 102634 6935 2883 10 0 96814 0
[pid=2349/tid=2350] ppid=2347 vsize=410536 CPUtime=2.56
/proc/2349/task/2350/stat : 2350 (java) R 2347 2347 2059 34821 2220 4202560 3493 0 33 0 255 1 0 0 24 0 10 0 874277726 420388864 6935 1283457024 134512640 134550932 4286566768 18446744073709551615 4115992221 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2349/tid=2351] ppid=2347 vsize=410536 CPUtime=0.06
/proc/2349/task/2351/stat : 2351 (java) S 2347 2347 2059 34821 2220 4202560 2788 0 30 0 6 0 0 0 16 0 10 0 874277727 420388864 6935 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2352] ppid=2347 vsize=410536 CPUtime=0
/proc/2349/task/2352/stat : 2352 (java) S 2347 2347 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874277727 420388864 6935 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2353] ppid=2347 vsize=410536 CPUtime=0
/proc/2349/task/2353/stat : 2353 (java) S 2347 2347 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874277727 420388864 6935 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2354] ppid=2347 vsize=410536 CPUtime=0
/proc/2349/task/2354/stat : 2354 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874277728 420388864 6935 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2355] ppid=2347 vsize=410536 CPUtime=0.04
/proc/2349/task/2355/stat : 2355 (java) S 2347 2347 2059 34821 2220 4202560 383 0 4 0 4 0 0 0 16 0 10 0 874277728 420388864 6935 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2356] ppid=2347 vsize=410536 CPUtime=0
/proc/2349/task/2356/stat : 2356 (java) S 2347 2347 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 874277728 420388864 6935 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2357] ppid=2347 vsize=410536 CPUtime=0
/proc/2349/task/2357/stat : 2357 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874277728 420388864 6935 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2358] ppid=2347 vsize=410536 CPUtime=0
/proc/2349/task/2358/stat : 2358 (java) S 2347 2347 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874277876 420388864 6935 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 413104

[startup+6.31045 s]
/proc/loadavg: 1.08 0.71 0.30 2/59 2358
/proc/meminfo: memFree=36584/1048576 swapFree=2095580/2097144
[pid=2347] ppid=2346 vsize=2568 CPUtime=0
/proc/2347/stat : 2347 (gj-paranoid-sol) S 2346 2347 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 874277723 2629632 271 1283457024 134512640 135304128 4293415072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2347/statm: 642 271 232 194 0 28 0
[pid=2349] ppid=2347 vsize=410800 CPUtime=5.87
/proc/2349/stat : 2349 (java) S 2347 2347 2059 34821 2220 4202496 7852 0 67 0 586 1 0 0 25 0 10 0 874277724 420659200 7184 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2349/statm: 102700 7184 2883 10 0 96880 0
[pid=2349/tid=2350] ppid=2347 vsize=410800 CPUtime=5.73
/proc/2349/task/2350/stat : 2350 (java) R 2347 2347 2059 34821 2220 4202560 3493 0 33 0 572 1 0 0 25 0 10 0 874277726 420659200 7184 1283457024 134512640 134550932 4286566768 18446744073709551615 4115968688 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2349/tid=2351] ppid=2347 vsize=410800 CPUtime=0.08
/proc/2349/task/2351/stat : 2351 (java) S 2347 2347 2059 34821 2220 4202560 3035 0 30 0 8 0 0 0 15 0 10 0 874277727 420659200 7184 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2352] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2352/stat : 2352 (java) S 2347 2347 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 7184 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2353] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2353/stat : 2353 (java) S 2347 2347 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 7184 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2354] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2354/stat : 2354 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 7184 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2355] ppid=2347 vsize=410800 CPUtime=0.04
/proc/2349/task/2355/stat : 2355 (java) S 2347 2347 2059 34821 2220 4202560 385 0 4 0 4 0 0 0 15 0 10 0 874277728 420659200 7184 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2356] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2356/stat : 2356 (java) S 2347 2347 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 7184 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2357] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2357/stat : 2357 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874277728 420659200 7184 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2358] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2358/stat : 2358 (java) S 2347 2347 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874277876 420659200 7184 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 413368

[startup+12.712 s]
/proc/loadavg: 1.07 0.72 0.31 2/59 2358
/proc/meminfo: memFree=32004/1048576 swapFree=2095580/2097144
[pid=2347] ppid=2346 vsize=2568 CPUtime=0
/proc/2347/stat : 2347 (gj-paranoid-sol) S 2346 2347 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 874277723 2629632 271 1283457024 134512640 135304128 4293415072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2347/statm: 642 271 232 194 0 28 0
[pid=2349] ppid=2347 vsize=410800 CPUtime=12.26
/proc/2349/stat : 2349 (java) S 2347 2347 2059 34821 2220 4202496 8949 0 67 0 1224 2 0 0 25 0 10 0 874277724 420659200 8281 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2349/statm: 102700 8281 2883 10 0 96880 0
[pid=2349/tid=2350] ppid=2347 vsize=410800 CPUtime=12.03
/proc/2349/task/2350/stat : 2350 (java) R 2347 2347 2059 34821 2220 4202560 3493 0 33 0 1202 1 0 0 25 0 10 0 874277726 420659200 8281 1283457024 134512640 134550932 4286566768 18446744073709551615 4115992778 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2349/tid=2351] ppid=2347 vsize=410800 CPUtime=0.17
/proc/2349/task/2351/stat : 2351 (java) S 2347 2347 2059 34821 2220 4202560 4132 0 30 0 16 1 0 0 16 0 10 0 874277727 420659200 8281 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2352] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2352/stat : 2352 (java) S 2347 2347 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 8281 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2353] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2353/stat : 2353 (java) S 2347 2347 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 8281 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2354] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2354/stat : 2354 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 8281 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2355] ppid=2347 vsize=410800 CPUtime=0.04
/proc/2349/task/2355/stat : 2355 (java) S 2347 2347 2059 34821 2220 4202560 385 0 4 0 4 0 0 0 15 0 10 0 874277728 420659200 8281 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2356] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2356/stat : 2356 (java) S 2347 2347 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 8281 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2357] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2357/stat : 2357 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874277728 420659200 8281 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2358] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2358/stat : 2358 (java) S 2347 2347 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874277876 420659200 8281 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 413368

[startup+25.5152 s]
/proc/loadavg: 1.06 0.73 0.32 2/59 2358
/proc/meminfo: memFree=29896/1048576 swapFree=2095580/2097144
[pid=2347] ppid=2346 vsize=2568 CPUtime=0
/proc/2347/stat : 2347 (gj-paranoid-sol) S 2346 2347 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 874277723 2629632 271 1283457024 134512640 135304128 4293415072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2347/statm: 642 271 232 194 0 28 0
[pid=2349] ppid=2347 vsize=410800 CPUtime=25.02
/proc/2349/stat : 2349 (java) S 2347 2347 2059 34821 2220 4202496 9487 0 67 0 2500 2 0 0 25 0 10 0 874277724 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2349/statm: 102700 8819 2883 10 0 96880 0
[pid=2349/tid=2350] ppid=2347 vsize=410800 CPUtime=24.71
/proc/2349/task/2350/stat : 2350 (java) R 2347 2347 2059 34821 2220 4202560 3493 0 33 0 2470 1 0 0 25 0 10 0 874277726 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4115992788 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2349/tid=2351] ppid=2347 vsize=410800 CPUtime=0.26
/proc/2349/task/2351/stat : 2351 (java) S 2347 2347 2059 34821 2220 4202560 4670 0 30 0 25 1 0 0 16 0 10 0 874277727 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2352] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2352/stat : 2352 (java) S 2347 2347 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2353] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2353/stat : 2353 (java) S 2347 2347 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2354] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2354/stat : 2354 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2355] ppid=2347 vsize=410800 CPUtime=0.04
/proc/2349/task/2355/stat : 2355 (java) S 2347 2347 2059 34821 2220 4202560 385 0 4 0 4 0 0 0 15 0 10 0 874277728 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2356] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2356/stat : 2356 (java) S 2347 2347 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2357] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2357/stat : 2357 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874277728 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2358] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2358/stat : 2358 (java) S 2347 2347 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874277876 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 413368

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

[startup+25.6152 s]
/proc/loadavg: 1.06 0.73 0.32 2/59 2358
/proc/meminfo: memFree=29896/1048576 swapFree=2095580/2097144
[pid=2347] ppid=2346 vsize=2568 CPUtime=0
/proc/2347/stat : 2347 (gj-paranoid-sol) S 2346 2347 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 874277723 2629632 271 1283457024 134512640 135304128 4293415072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2347/statm: 642 271 232 194 0 28 0
[pid=2349] ppid=2347 vsize=410800 CPUtime=25.12
/proc/2349/stat : 2349 (java) S 2347 2347 2059 34821 2220 4202496 9487 0 67 0 2510 2 0 0 25 0 10 0 874277724 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2349/statm: 102700 8819 2883 10 0 96880 0
[pid=2349/tid=2350] ppid=2347 vsize=410800 CPUtime=24.81
/proc/2349/task/2350/stat : 2350 (java) R 2347 2347 2059 34821 2220 4202560 3493 0 33 0 2480 1 0 0 25 0 10 0 874277726 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4115992216 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2349/tid=2351] ppid=2347 vsize=410800 CPUtime=0.26
/proc/2349/task/2351/stat : 2351 (java) S 2347 2347 2059 34821 2220 4202560 4670 0 30 0 25 1 0 0 15 0 10 0 874277727 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2352] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2352/stat : 2352 (java) S 2347 2347 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2353] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2353/stat : 2353 (java) S 2347 2347 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2354] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2354/stat : 2354 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2355] ppid=2347 vsize=410800 CPUtime=0.04
/proc/2349/task/2355/stat : 2355 (java) S 2347 2347 2059 34821 2220 4202560 385 0 4 0 4 0 0 0 15 0 10 0 874277728 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2356] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2356/stat : 2356 (java) S 2347 2347 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2357] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2357/stat : 2357 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874277728 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2358] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2358/stat : 2358 (java) S 2347 2347 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874277876 420659200 8819 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 413368

[startup+28.8059 s]
/proc/loadavg: 1.06 0.73 0.32 2/59 2358
/proc/meminfo: memFree=29896/1048576 swapFree=2095580/2097144
[pid=2347] ppid=2346 vsize=2568 CPUtime=0
/proc/2347/stat : 2347 (gj-paranoid-sol) S 2346 2347 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 874277723 2629632 271 1283457024 134512640 135304128 4293415072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2347/statm: 642 271 232 194 0 28 0
[pid=2349] ppid=2347 vsize=410800 CPUtime=28.31
/proc/2349/stat : 2349 (java) S 2347 2347 2059 34821 2220 4202496 9488 0 67 0 2829 2 0 0 25 0 10 0 874277724 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2349/statm: 102700 8820 2883 10 0 96880 0
[pid=2349/tid=2350] ppid=2347 vsize=410800 CPUtime=27.97
/proc/2349/task/2350/stat : 2350 (java) R 2347 2347 2059 34821 2220 4202560 3493 0 33 0 2796 1 0 0 25 0 10 0 874277726 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4115998996 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2349/tid=2351] ppid=2347 vsize=410800 CPUtime=0.29
/proc/2349/task/2351/stat : 2351 (java) S 2347 2347 2059 34821 2220 4202560 4671 0 30 0 28 1 0 0 15 0 10 0 874277727 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2352] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2352/stat : 2352 (java) S 2347 2347 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2353] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2353/stat : 2353 (java) S 2347 2347 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2354] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2354/stat : 2354 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2355] ppid=2347 vsize=410800 CPUtime=0.04
/proc/2349/task/2355/stat : 2355 (java) S 2347 2347 2059 34821 2220 4202560 385 0 4 0 4 0 0 0 15 0 10 0 874277728 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2356] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2356/stat : 2356 (java) S 2347 2347 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2357] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2357/stat : 2357 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874277728 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2358] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2358/stat : 2358 (java) S 2347 2347 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874277876 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.31
Current children cumulated vsize (KiB) 413368

[startup+30.4063 s]
/proc/loadavg: 1.05 0.73 0.32 2/59 2358
/proc/meminfo: memFree=29896/1048576 swapFree=2095580/2097144
[pid=2347] ppid=2346 vsize=2568 CPUtime=0
/proc/2347/stat : 2347 (gj-paranoid-sol) S 2346 2347 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 874277723 2629632 271 1283457024 134512640 135304128 4293415072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2347/statm: 642 271 232 194 0 28 0
[pid=2349] ppid=2347 vsize=410800 CPUtime=29.91
/proc/2349/stat : 2349 (java) S 2347 2347 2059 34821 2220 4202496 9488 0 67 0 2989 2 0 0 25 0 10 0 874277724 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2349/statm: 102700 8820 2883 10 0 96880 0
[pid=2349/tid=2350] ppid=2347 vsize=410800 CPUtime=29.57
/proc/2349/task/2350/stat : 2350 (java) R 2347 2347 2059 34821 2220 4202560 3493 0 33 0 2956 1 0 0 25 0 10 0 874277726 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4115951445 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2349/tid=2351] ppid=2347 vsize=410800 CPUtime=0.29
/proc/2349/task/2351/stat : 2351 (java) S 2347 2347 2059 34821 2220 4202560 4671 0 30 0 28 1 0 0 15 0 10 0 874277727 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2352] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2352/stat : 2352 (java) S 2347 2347 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2353] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2353/stat : 2353 (java) S 2347 2347 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2354] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2354/stat : 2354 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2355] ppid=2347 vsize=410800 CPUtime=0.04
/proc/2349/task/2355/stat : 2355 (java) S 2347 2347 2059 34821 2220 4202560 385 0 4 0 4 0 0 0 15 0 10 0 874277728 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2356] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2356/stat : 2356 (java) S 2347 2347 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2357] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2357/stat : 2357 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874277728 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2358] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2358/stat : 2358 (java) S 2347 2347 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874277876 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 29.91
Current children cumulated vsize (KiB) 413368

[startup+31.2065 s]
/proc/loadavg: 1.05 0.73 0.32 2/59 2358
/proc/meminfo: memFree=29896/1048576 swapFree=2095580/2097144
[pid=2347] ppid=2346 vsize=2568 CPUtime=0
/proc/2347/stat : 2347 (gj-paranoid-sol) S 2346 2347 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 874277723 2629632 271 1283457024 134512640 135304128 4293415072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2347/statm: 642 271 232 194 0 28 0
[pid=2349] ppid=2347 vsize=410800 CPUtime=30.71
/proc/2349/stat : 2349 (java) S 2347 2347 2059 34821 2220 4202496 9488 0 67 0 3069 2 0 0 25 0 10 0 874277724 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2349/statm: 102700 8820 2883 10 0 96880 0
[pid=2349/tid=2350] ppid=2347 vsize=410800 CPUtime=30.37
/proc/2349/task/2350/stat : 2350 (java) R 2347 2347 2059 34821 2220 4202560 3493 0 33 0 3036 1 0 0 25 0 10 0 874277726 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4115992144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2349/tid=2351] ppid=2347 vsize=410800 CPUtime=0.29
/proc/2349/task/2351/stat : 2351 (java) S 2347 2347 2059 34821 2220 4202560 4671 0 30 0 28 1 0 0 15 0 10 0 874277727 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2352] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2352/stat : 2352 (java) S 2347 2347 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2353] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2353/stat : 2353 (java) S 2347 2347 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2354] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2354/stat : 2354 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2355] ppid=2347 vsize=410800 CPUtime=0.04
/proc/2349/task/2355/stat : 2355 (java) S 2347 2347 2059 34821 2220 4202560 385 0 4 0 4 0 0 0 15 0 10 0 874277728 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2356] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2356/stat : 2356 (java) S 2347 2347 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2357] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2357/stat : 2357 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874277728 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2358] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2358/stat : 2358 (java) S 2347 2347 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874277876 420659200 8820 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.71
Current children cumulated vsize (KiB) 413368

[startup+31.4065 s]
/proc/loadavg: 1.05 0.73 0.32 2/59 2358
/proc/meminfo: memFree=29896/1048576 swapFree=2095580/2097144
[pid=2347] ppid=2346 vsize=2568 CPUtime=0
/proc/2347/stat : 2347 (gj-paranoid-sol) S 2346 2347 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 874277723 2629632 271 1283457024 134512640 135304128 4293415072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2347/statm: 642 271 232 194 0 28 0
[pid=2349] ppid=2347 vsize=410800 CPUtime=30.91
/proc/2349/stat : 2349 (java) S 2347 2347 2059 34821 2220 4202496 9656 0 67 0 3089 2 0 0 25 0 10 0 874277724 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2349/statm: 102700 8988 2883 10 0 96880 0
[pid=2349/tid=2350] ppid=2347 vsize=410800 CPUtime=30.55
/proc/2349/task/2350/stat : 2350 (java) R 2347 2347 2059 34821 2220 4202560 3493 0 33 0 3054 1 0 0 25 0 10 0 874277726 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4115992285 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2349/tid=2351] ppid=2347 vsize=410800 CPUtime=0.3
/proc/2349/task/2351/stat : 2351 (java) S 2347 2347 2059 34821 2220 4202560 4839 0 30 0 29 1 0 0 16 0 10 0 874277727 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2352] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2352/stat : 2352 (java) S 2347 2347 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2353] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2353/stat : 2353 (java) S 2347 2347 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2354] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2354/stat : 2354 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2355] ppid=2347 vsize=410800 CPUtime=0.04
/proc/2349/task/2355/stat : 2355 (java) S 2347 2347 2059 34821 2220 4202560 385 0 4 0 4 0 0 0 15 0 10 0 874277728 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2356] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2356/stat : 2356 (java) S 2347 2347 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2357] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2357/stat : 2357 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874277728 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2358] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2358/stat : 2358 (java) S 2347 2347 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874277876 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.91
Current children cumulated vsize (KiB) 413368

[startup+31.5065 s]
/proc/loadavg: 1.05 0.73 0.32 2/59 2358
/proc/meminfo: memFree=29896/1048576 swapFree=2095580/2097144
[pid=2347] ppid=2346 vsize=2568 CPUtime=0
/proc/2347/stat : 2347 (gj-paranoid-sol) S 2346 2347 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 874277723 2629632 271 1283457024 134512640 135304128 4293415072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2347/statm: 642 271 232 194 0 28 0
[pid=2349] ppid=2347 vsize=410800 CPUtime=31.01
/proc/2349/stat : 2349 (java) S 2347 2347 2059 34821 2220 4202496 9656 0 67 0 3099 2 0 0 25 0 10 0 874277724 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2349/statm: 102700 8988 2883 10 0 96880 0
[pid=2349/tid=2350] ppid=2347 vsize=410800 CPUtime=30.65
/proc/2349/task/2350/stat : 2350 (java) R 2347 2347 2059 34821 2220 4202560 3493 0 33 0 3064 1 0 0 25 0 10 0 874277726 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4115855126 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2349/tid=2351] ppid=2347 vsize=410800 CPUtime=0.3
/proc/2349/task/2351/stat : 2351 (java) S 2347 2347 2059 34821 2220 4202560 4839 0 30 0 29 1 0 0 16 0 10 0 874277727 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 0 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2352] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2352/stat : 2352 (java) S 2347 2347 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2353] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2353/stat : 2353 (java) S 2347 2347 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874277727 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2354] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2354/stat : 2354 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2355] ppid=2347 vsize=410800 CPUtime=0.04
/proc/2349/task/2355/stat : 2355 (java) S 2347 2347 2059 34821 2220 4202560 385 0 4 0 4 0 0 0 15 0 10 0 874277728 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2356] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2356/stat : 2356 (java) S 2347 2347 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 874277728 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2357] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2357/stat : 2357 (java) S 2347 2347 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874277728 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
[pid=2349/tid=2358] ppid=2347 vsize=410800 CPUtime=0
/proc/2349/task/2358/stat : 2358 (java) S 2347 2347 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874277876 420659200 8988 1283457024 134512640 134550932 4286566768 18446744073709551615 4294960130 0 4 0 16800975 18446612133182646336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 31.01
Current children cumulated vsize (KiB) 413368

Child status: 0
Real time (s): 31.5869
CPU time (s): 31.0499
CPU user time (s): 31.0219
CPU system time (s): 0.028001
CPU usage (%): 98.3001
Max. virtual memory (cumulated for all children) (KiB): 413368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.0219
system time used= 0.028001
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10046
page faults= 67
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1585
involuntary context switches= 1818

runsolver used 0 second user time and 0.004 second system time

The end