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/rand06f749.cudf.difficult.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/difficult//rand06f749.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand06f749.cudf.difficult.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.31 1.09 0.69 5/52 2896
/proc/meminfo: memFree=383172/1048576 swapFree=2095580/2097144
[pid=2894] ppid=2893 vsize=2568 CPUtime=0
/proc/2894/stat : 2894 (gj-paranoid-sol) S 2893 2894 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 874346498 2629632 272 1283457024 134512640 135304128 4289125504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2894/statm: 642 272 232 194 0 28 0
[pid=2895] ppid=2894 vsize=11244 CPUtime=0
/proc/2895/stat : 2895 (java) R 2894 2894 2059 34821 2220 4202496 910 0 0 0 0 0 0 0 25 0 2 0 874346499 11513856 643 1283457024 134512640 134550932 4293697584 18446744073709551615 4159930616 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/2895/statm: 2811 643 285 10 0 1185 0
[pid=2895/tid=2896] ppid=2894 vsize=11244 CPUtime=0
/proc/2895/task/2896/stat : 2896 (java) R 2894 2894 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 2 0 874346499 11513856 643 1283457024 134512640 134550932 4293697584 18446744073709551615 4159930616 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.127773 s]
/proc/loadavg: 1.31 1.09 0.69 5/52 2896
/proc/meminfo: memFree=383172/1048576 swapFree=2095580/2097144
[pid=2894] ppid=2893 vsize=2568 CPUtime=0
/proc/2894/stat : 2894 (gj-paranoid-sol) S 2893 2894 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 874346498 2629632 272 1283457024 134512640 135304128 4289125504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2894/statm: 642 272 232 194 0 28 0
[pid=2895] ppid=2894 vsize=409676 CPUtime=0.11
/proc/2895/stat : 2895 (java) S 2894 2894 2059 34821 2220 4202496 3599 0 1 0 9 2 0 0 25 0 9 0 874346499 419508224 3063 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2895/statm: 102419 3063 1732 10 0 96599 0
[pid=2895/tid=2896] ppid=2894 vsize=409676 CPUtime=0.11
/proc/2895/task/2896/stat : 2896 (java) R 2894 2894 2059 34821 2220 4202560 2645 0 1 0 9 2 0 0 25 0 9 0 874346499 419508224 3063 1283457024 134512640 134550932 4293697584 18446744073709551615 4115410936 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 412244

[startup+0.207793 s]
/proc/loadavg: 1.31 1.09 0.69 5/52 2896
/proc/meminfo: memFree=383172/1048576 swapFree=2095580/2097144
[pid=2894] ppid=2893 vsize=2568 CPUtime=0
/proc/2894/stat : 2894 (gj-paranoid-sol) S 2893 2894 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 874346498 2629632 272 1283457024 134512640 135304128 4289125504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2894/statm: 642 272 232 194 0 28 0
[pid=2895] ppid=2894 vsize=410104 CPUtime=0.19
/proc/2895/stat : 2895 (java) S 2894 2894 2059 34821 2220 4202496 4389 0 1 0 17 2 0 0 25 0 9 0 874346499 419946496 3853 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2895/statm: 102526 3853 1875 10 0 96706 0
[pid=2895/tid=2896] ppid=2894 vsize=410104 CPUtime=0.18
/proc/2895/task/2896/stat : 2896 (java) R 2894 2894 2059 34821 2220 4202560 3179 0 1 0 16 2 0 0 25 0 9 0 874346499 419946496 3853 1283457024 134512640 134550932 4293697584 18446744073709551615 4115410706 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 412672

[startup+0.307832 s]
/proc/loadavg: 1.31 1.09 0.69 5/52 2896
/proc/meminfo: memFree=383172/1048576 swapFree=2095580/2097144
[pid=2894] ppid=2893 vsize=2568 CPUtime=0
/proc/2894/stat : 2894 (gj-paranoid-sol) S 2893 2894 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 874346498 2629632 272 1283457024 134512640 135304128 4289125504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2894/statm: 642 272 232 194 0 28 0
[pid=2895] ppid=2894 vsize=410240 CPUtime=0.29
/proc/2895/stat : 2895 (java) S 2894 2894 2059 34821 2220 4202496 6022 0 1 0 27 2 0 0 25 0 9 0 874346499 420085760 5485 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2895/statm: 102560 5485 1889 10 0 96740 0
[pid=2895/tid=2896] ppid=2894 vsize=410240 CPUtime=0.24
/proc/2895/task/2896/stat : 2896 (java) R 2894 2894 2059 34821 2220 4202560 3376 0 1 0 22 2 0 0 25 0 9 0 874346499 420085760 5485 1283457024 134512640 134550932 4293697584 18446744073709551615 4115872192 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 412808

[startup+0.707966 s]
/proc/loadavg: 1.31 1.09 0.69 5/52 2896
/proc/meminfo: memFree=383172/1048576 swapFree=2095580/2097144
[pid=2894] ppid=2893 vsize=2568 CPUtime=0
/proc/2894/stat : 2894 (gj-paranoid-sol) S 2893 2894 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 874346498 2629632 272 1283457024 134512640 135304128 4289125504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2894/statm: 642 272 232 194 0 28 0
[pid=2895] ppid=2894 vsize=410700 CPUtime=0.69
/proc/2895/stat : 2895 (java) S 2894 2894 2059 34821 2220 4202496 12965 0 1 0 66 3 0 0 25 0 9 0 874346499 420556800 12250 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2895/statm: 102675 12250 2878 10 0 96855 0
[pid=2895/tid=2896] ppid=2894 vsize=410700 CPUtime=0.4
/proc/2895/task/2896/stat : 2896 (java) R 2894 2894 2059 34821 2220 4202560 4080 0 1 0 38 2 0 0 25 0 9 0 874346499 420556800 12250 1283457024 134512640 134550932 4293697584 18446744073709551615 4115856432 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 413268

[startup+1.50821 s]
/proc/loadavg: 1.31 1.09 0.69 2/60 2904
/proc/meminfo: memFree=318244/1048576 swapFree=2095580/2097144
[pid=2894] ppid=2893 vsize=2568 CPUtime=0
/proc/2894/stat : 2894 (gj-paranoid-sol) S 2893 2894 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 874346498 2629632 272 1283457024 134512640 135304128 4289125504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2894/statm: 642 272 232 194 0 28 0
[pid=2895] ppid=2894 vsize=410832 CPUtime=1.5
/proc/2895/stat : 2895 (java) S 2894 2894 2059 34821 2220 4202496 28561 0 1 0 140 10 0 0 25 0 9 0 874346499 420691968 27846 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2895/statm: 102708 27846 2879 10 0 96888 0
[pid=2895/tid=2896] ppid=2894 vsize=410832 CPUtime=0.65
/proc/2895/task/2896/stat : 2896 (java) S 2894 2894 2059 34821 2220 4202560 6784 0 1 0 62 3 0 0 25 0 9 0 874346499 420691968 27846 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2898] ppid=2894 vsize=410832 CPUtime=0.8
/proc/2895/task/2898/stat : 2898 (java) R 2894 2894 2059 34821 2220 4202560 20399 0 0 0 74 6 0 0 21 0 9 0 874346500 420691968 27846 1283457024 134512640 134550932 4293697584 18446744073709551615 4151976440 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2899] ppid=2894 vsize=410832 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2894 2894 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 21 0 9 0 874346500 420691968 27846 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2900] ppid=2894 vsize=410832 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2894 2894 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 23 0 9 0 874346500 420691968 27846 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2901] ppid=2894 vsize=410832 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874346501 420691968 27846 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2902] ppid=2894 vsize=410832 CPUtime=0.03
/proc/2895/task/2902/stat : 2902 (java) S 2894 2894 2059 34821 2220 4202560 442 0 0 0 3 0 0 0 19 0 9 0 874346501 420691968 27846 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2903] ppid=2894 vsize=410832 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874346501 420691968 27846 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2904] ppid=2894 vsize=410832 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2894 2894 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 874346501 420691968 27846 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413400

[startup+3.108 s]
/proc/loadavg: 1.37 1.10 0.70 3/60 2904
/proc/meminfo: memFree=235288/1048576 swapFree=2095580/2097144
[pid=2894] ppid=2893 vsize=2568 CPUtime=0
/proc/2894/stat : 2894 (gj-paranoid-sol) S 2893 2894 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 874346498 2629632 272 1283457024 134512640 135304128 4289125504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2894/statm: 642 272 232 194 0 28 0
[pid=2895] ppid=2894 vsize=411156 CPUtime=3.01
/proc/2895/stat : 2895 (java) S 2894 2894 2059 34821 2220 4202496 45277 0 4 0 289 12 0 0 25 0 10 0 874346499 421023744 44549 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2895/statm: 102789 44549 2885 10 0 96969 0
[pid=2895/tid=2896] ppid=2894 vsize=411156 CPUtime=1.27
/proc/2895/task/2896/stat : 2896 (java) R 2894 2894 2059 34821 2220 4202560 9737 0 4 0 123 4 0 0 21 0 10 0 874346499 421023744 44549 1283457024 134512640 134550932 4293697584 18446744073709551615 4116116395 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2898] ppid=2894 vsize=411156 CPUtime=1.65
/proc/2895/task/2898/stat : 2898 (java) S 2894 2894 2059 34821 2220 4202560 34100 0 0 0 157 8 0 0 20 0 10 0 874346500 421023744 44549 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2899] ppid=2894 vsize=411156 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2894 2894 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874346500 421023744 44549 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2900] ppid=2894 vsize=411156 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2894 2894 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874346500 421023744 44549 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2901] ppid=2894 vsize=411156 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 421023744 44549 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2902] ppid=2894 vsize=411156 CPUtime=0.08
/proc/2895/task/2902/stat : 2902 (java) S 2894 2894 2059 34821 2220 4202560 500 0 0 0 8 0 0 0 15 0 10 0 874346501 421023744 44549 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2903] ppid=2894 vsize=411156 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 421023744 44549 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2904] ppid=2894 vsize=411156 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2894 2894 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874346501 421023744 44549 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 413724

[startup+6.30919 s]
/proc/loadavg: 1.37 1.10 0.70 2/61 2905
/proc/meminfo: memFree=205540/1048576 swapFree=2095580/2097144
[pid=2894] ppid=2893 vsize=2568 CPUtime=0
/proc/2894/stat : 2894 (gj-paranoid-sol) S 2893 2894 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 874346498 2629632 272 1283457024 134512640 135304128 4289125504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2894/statm: 642 272 232 194 0 28 0
[pid=2895] ppid=2894 vsize=421056 CPUtime=6.21
/proc/2895/stat : 2895 (java) S 2894 2894 2059 34821 2220 4202496 53152 0 4 0 606 15 0 0 25 0 10 0 874346499 431161344 51394 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2895/statm: 105264 51394 2883 10 0 99444 0
[pid=2895/tid=2896] ppid=2894 vsize=421056 CPUtime=3.48
/proc/2895/task/2896/stat : 2896 (java) R 2894 2894 2059 34821 2220 4202560 10177 0 4 0 344 4 0 0 25 0 10 0 874346499 431161344 51394 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2898] ppid=2894 vsize=421056 CPUtime=2.63
/proc/2895/task/2898/stat : 2898 (java) R 2894 2894 2059 34821 2220 4202560 41529 0 0 0 253 10 0 0 16 0 10 0 874346500 431161344 51394 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2899] ppid=2894 vsize=421056 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2894 2894 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874346500 431161344 51394 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2900] ppid=2894 vsize=421056 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2894 2894 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874346500 431161344 51394 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2901] ppid=2894 vsize=421056 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 431161344 51394 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2902] ppid=2894 vsize=421056 CPUtime=0.08
/proc/2895/task/2902/stat : 2902 (java) S 2894 2894 2059 34821 2220 4202560 506 0 0 0 8 0 0 0 15 0 10 0 874346501 431161344 51394 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2903] ppid=2894 vsize=421056 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 431161344 51394 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2904] ppid=2894 vsize=421056 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2894 2894 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874346501 431161344 51394 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2905] ppid=2894 vsize=421056 CPUtime=0
/proc/2895/task/2905/stat : 2905 (java) S 2894 2894 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 22 0 10 0 874346783 431161344 51394 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 423624

[startup+12.7102 s]
/proc/loadavg: 1.31 1.10 0.70 3/61 2905
/proc/meminfo: memFree=193016/1048576 swapFree=2095580/2097144
[pid=2894] ppid=2893 vsize=2568 CPUtime=0
/proc/2894/stat : 2894 (gj-paranoid-sol) S 2893 2894 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 874346498 2629632 272 1283457024 134512640 135304128 4289125504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2894/statm: 642 272 232 194 0 28 0
[pid=2895] ppid=2894 vsize=411152 CPUtime=12.61
/proc/2895/stat : 2895 (java) S 2894 2894 2059 34821 2220 4202496 58027 0 4 0 1246 15 0 0 25 0 10 0 874346499 421019648 50329 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2895/statm: 102788 50329 2883 10 0 96968 0
[pid=2895/tid=2896] ppid=2894 vsize=411152 CPUtime=8.68
/proc/2895/task/2896/stat : 2896 (java) R 2894 2894 2059 34821 2220 4202560 10177 0 4 0 864 4 0 0 25 0 10 0 874346499 421019648 50329 1283457024 134512640 134550932 4293697584 18446744073709551615 4116264357 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2898] ppid=2894 vsize=411152 CPUtime=3.82
/proc/2895/task/2898/stat : 2898 (java) S 2894 2894 2059 34821 2220 4202560 46404 0 0 0 372 10 0 0 15 0 10 0 874346500 421019648 50329 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2899] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2894 2894 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874346500 421019648 50329 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2900] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2894 2894 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874346500 421019648 50329 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2901] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 421019648 50329 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2902] ppid=2894 vsize=411152 CPUtime=0.08
/proc/2895/task/2902/stat : 2902 (java) S 2894 2894 2059 34821 2220 4202560 506 0 0 0 8 0 0 0 15 0 10 0 874346501 421019648 50329 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2903] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 421019648 50329 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2904] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) R 2894 2894 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874346501 421019648 50329 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2905] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2905/stat : 2905 (java) S 2894 2894 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 22 0 10 0 874346783 421019648 50329 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 413720

[startup+25.503 s]
/proc/loadavg: 1.26 1.10 0.71 3/61 2905
/proc/meminfo: memFree=181360/1048576 swapFree=2095580/2097144
[pid=2894] ppid=2893 vsize=2568 CPUtime=0
/proc/2894/stat : 2894 (gj-paranoid-sol) S 2893 2894 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 874346498 2629632 272 1283457024 134512640 135304128 4289125504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2894/statm: 642 272 232 194 0 28 0
[pid=2895] ppid=2894 vsize=420260 CPUtime=25.38
/proc/2895/stat : 2895 (java) S 2894 2894 2059 34821 2220 4202496 70189 0 4 0 2518 20 0 0 25 0 10 0 874346499 430346240 53383 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2895/statm: 105065 53383 2883 10 0 99245 0
[pid=2895/tid=2896] ppid=2894 vsize=420260 CPUtime=18.7
/proc/2895/task/2896/stat : 2896 (java) R 2894 2894 2059 34821 2220 4202560 10177 0 4 0 1866 4 0 0 25 0 10 0 874346499 430346240 53383 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2898] ppid=2894 vsize=420260 CPUtime=6.59
/proc/2895/task/2898/stat : 2898 (java) R 2894 2894 2059 34821 2220 4202560 58566 0 0 0 644 15 0 0 16 0 10 0 874346500 430346240 53383 1283457024 134512640 134550932 4293697584 18446744073709551615 4151405376 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2899] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2894 2894 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874346500 430346240 53383 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2900] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2894 2894 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874346500 430346240 53383 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2901] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 430346240 53383 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2902] ppid=2894 vsize=420260 CPUtime=0.08
/proc/2895/task/2902/stat : 2902 (java) S 2894 2894 2059 34821 2220 4202560 506 0 0 0 8 0 0 0 15 0 10 0 874346501 430346240 53383 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2903] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 430346240 53383 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2904] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2894 2894 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874346501 430346240 53383 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2905] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2905/stat : 2905 (java) S 2894 2894 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 22 0 10 0 874346783 430346240 53383 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 422828

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

[startup+25.6131 s]
/proc/loadavg: 1.26 1.10 0.71 3/61 2905
/proc/meminfo: memFree=181360/1048576 swapFree=2095580/2097144
[pid=2894] ppid=2893 vsize=2568 CPUtime=0
/proc/2894/stat : 2894 (gj-paranoid-sol) S 2893 2894 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 874346498 2629632 272 1283457024 134512640 135304128 4289125504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2894/statm: 642 272 232 194 0 28 0
[pid=2895] ppid=2894 vsize=420260 CPUtime=25.49
/proc/2895/stat : 2895 (java) S 2894 2894 2059 34821 2220 4202496 70804 0 4 0 2528 21 0 0 25 0 10 0 874346499 430346240 53998 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2895/statm: 105065 53998 2883 10 0 99245 0
[pid=2895/tid=2896] ppid=2894 vsize=420260 CPUtime=18.7
/proc/2895/task/2896/stat : 2896 (java) R 2894 2894 2059 34821 2220 4202560 10177 0 4 0 1866 4 0 0 25 0 10 0 874346499 430346240 53998 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2898] ppid=2894 vsize=420260 CPUtime=6.7
/proc/2895/task/2898/stat : 2898 (java) R 2894 2894 2059 34821 2220 4202560 59181 0 0 0 654 16 0 0 16 0 10 0 874346500 430346240 53998 1283457024 134512640 134550932 4293697584 18446744073709551615 4153087637 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2899] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2894 2894 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874346500 430346240 53998 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2900] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2894 2894 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874346500 430346240 53998 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2901] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 430346240 53998 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2902] ppid=2894 vsize=420260 CPUtime=0.08
/proc/2895/task/2902/stat : 2902 (java) S 2894 2894 2059 34821 2220 4202560 506 0 0 0 8 0 0 0 15 0 10 0 874346501 430346240 53998 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2903] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 430346240 53998 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2904] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2894 2894 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874346501 430346240 53998 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2905] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2905/stat : 2905 (java) S 2894 2894 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 22 0 10 0 874346783 430346240 53998 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 422828

[startup+28.8137 s]
/proc/loadavg: 1.32 1.11 0.71 2/61 2905
/proc/meminfo: memFree=187188/1048576 swapFree=2095580/2097144
[pid=2894] ppid=2893 vsize=2568 CPUtime=0
/proc/2894/stat : 2894 (gj-paranoid-sol) S 2893 2894 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 874346498 2629632 272 1283457024 134512640 135304128 4289125504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2894/statm: 642 272 232 194 0 28 0
[pid=2895] ppid=2894 vsize=413528 CPUtime=28.7
/proc/2895/stat : 2895 (java) S 2894 2894 2059 34821 2220 4202496 71381 0 4 0 2849 21 0 0 25 0 10 0 874346499 423452672 52300 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2895/statm: 103382 52300 2883 10 0 97562 0
[pid=2895/tid=2896] ppid=2894 vsize=413528 CPUtime=21.74
/proc/2895/task/2896/stat : 2896 (java) R 2894 2894 2059 34821 2220 4202560 10177 0 4 0 2170 4 0 0 25 0 10 0 874346499 423452672 52300 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2898] ppid=2894 vsize=413528 CPUtime=6.86
/proc/2895/task/2898/stat : 2898 (java) R 2894 2894 2059 34821 2220 4202560 59758 0 0 0 670 16 0 0 16 0 10 0 874346500 423452672 52300 1283457024 134512640 134550932 4293697584 18446744073709551615 4151976440 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2899] ppid=2894 vsize=413528 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2894 2894 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874346500 423452672 52300 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2900] ppid=2894 vsize=413528 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2894 2894 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874346500 423452672 52300 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2901] ppid=2894 vsize=413528 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 423452672 52300 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2902] ppid=2894 vsize=413528 CPUtime=0.08
/proc/2895/task/2902/stat : 2902 (java) S 2894 2894 2059 34821 2220 4202560 506 0 0 0 8 0 0 0 15 0 10 0 874346501 423452672 52300 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2903] ppid=2894 vsize=413528 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 423452672 52300 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2904] ppid=2894 vsize=413528 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) R 2894 2894 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874346501 423452672 52300 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2905] ppid=2894 vsize=413528 CPUtime=0
/proc/2895/task/2905/stat : 2905 (java) S 2894 2894 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 22 0 10 0 874346783 423452672 52300 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.7
Current children cumulated vsize (KiB) 416096

[startup+30.4141 s]
/proc/loadavg: 1.32 1.11 0.71 3/61 2905
/proc/meminfo: memFree=184212/1048576 swapFree=2095580/2097144
[pid=2894] ppid=2893 vsize=2568 CPUtime=0
/proc/2894/stat : 2894 (gj-paranoid-sol) S 2893 2894 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 874346498 2629632 272 1283457024 134512640 135304128 4289125504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2894/statm: 642 272 232 194 0 28 0
[pid=2895] ppid=2894 vsize=411152 CPUtime=30.29
/proc/2895/stat : 2895 (java) S 2894 2894 2059 34821 2220 4202496 73816 0 4 0 3008 21 0 0 25 0 10 0 874346499 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2895/statm: 102788 52460 2883 10 0 96968 0
[pid=2895/tid=2896] ppid=2894 vsize=411152 CPUtime=22.93
/proc/2895/task/2896/stat : 2896 (java) R 2894 2894 2059 34821 2220 4202560 10177 0 4 0 2289 4 0 0 25 0 10 0 874346499 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4116161453 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2898] ppid=2894 vsize=411152 CPUtime=7.26
/proc/2895/task/2898/stat : 2898 (java) S 2894 2894 2059 34821 2220 4202560 62193 0 0 0 710 16 0 0 15 0 10 0 874346500 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2899] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2894 2894 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874346500 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2900] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2894 2894 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874346500 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2901] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2902] ppid=2894 vsize=411152 CPUtime=0.08
/proc/2895/task/2902/stat : 2902 (java) S 2894 2894 2059 34821 2220 4202560 506 0 0 0 8 0 0 0 15 0 10 0 874346501 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2903] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2904] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2894 2894 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874346501 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2905] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2905/stat : 2905 (java) S 2894 2894 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 22 0 10 0 874346783 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.29
Current children cumulated vsize (KiB) 413720

[startup+32.0144 s]
/proc/loadavg: 1.29 1.11 0.72 2/61 2905
/proc/meminfo: memFree=184584/1048576 swapFree=2095580/2097144
[pid=2894] ppid=2893 vsize=2568 CPUtime=0
/proc/2894/stat : 2894 (gj-paranoid-sol) S 2893 2894 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 874346498 2629632 272 1283457024 134512640 135304128 4289125504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2894/statm: 642 272 232 194 0 28 0
[pid=2895] ppid=2894 vsize=411152 CPUtime=31.89
/proc/2895/stat : 2895 (java) S 2894 2894 2059 34821 2220 4202496 73816 0 4 0 3168 21 0 0 25 0 10 0 874346499 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2895/statm: 102788 52460 2883 10 0 96968 0
[pid=2895/tid=2896] ppid=2894 vsize=411152 CPUtime=24.53
/proc/2895/task/2896/stat : 2896 (java) R 2894 2894 2059 34821 2220 4202560 10177 0 4 0 2449 4 0 0 25 0 10 0 874346499 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4116225756 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2898] ppid=2894 vsize=411152 CPUtime=7.26
/proc/2895/task/2898/stat : 2898 (java) S 2894 2894 2059 34821 2220 4202560 62193 0 0 0 710 16 0 0 15 0 10 0 874346500 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2899] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2894 2894 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874346500 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2900] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2894 2894 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874346500 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2901] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2902] ppid=2894 vsize=411152 CPUtime=0.08
/proc/2895/task/2902/stat : 2902 (java) S 2894 2894 2059 34821 2220 4202560 506 0 0 0 8 0 0 0 15 0 10 0 874346501 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2903] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2904] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2894 2894 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874346501 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2905] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2905/stat : 2905 (java) S 2894 2894 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 22 0 10 0 874346783 421019648 52460 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 413720

[startup+32.4345 s]
/proc/loadavg: 1.29 1.11 0.72 2/61 2905
/proc/meminfo: memFree=184584/1048576 swapFree=2095580/2097144
[pid=2894] ppid=2893 vsize=2568 CPUtime=0
/proc/2894/stat : 2894 (gj-paranoid-sol) S 2893 2894 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 874346498 2629632 272 1283457024 134512640 135304128 4289125504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2894/statm: 642 272 232 194 0 28 0
[pid=2895] ppid=2894 vsize=411284 CPUtime=32.32
/proc/2895/stat : 2895 (java) S 2894 2894 2059 34821 2220 4202496 73821 0 4 0 3211 21 0 0 25 0 10 0 874346499 421154816 52465 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2895/statm: 102821 52465 2883 10 0 97001 0
[pid=2895/tid=2896] ppid=2894 vsize=411284 CPUtime=24.82
/proc/2895/task/2896/stat : 2896 (java) R 2894 2894 2059 34821 2220 4202560 10177 0 4 0 2478 4 0 0 25 0 10 0 874346499 421154816 52465 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2898] ppid=2894 vsize=411284 CPUtime=7.39
/proc/2895/task/2898/stat : 2898 (java) R 2894 2894 2059 34821 2220 4202560 62198 0 0 0 723 16 0 0 15 0 10 0 874346500 421154816 52465 1283457024 134512640 134550932 4293697584 18446744073709551615 4151976440 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2899] ppid=2894 vsize=411284 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2894 2894 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874346500 421154816 52465 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2900] ppid=2894 vsize=411284 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2894 2894 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874346500 421154816 52465 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2901] ppid=2894 vsize=411284 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 421154816 52465 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2902] ppid=2894 vsize=411284 CPUtime=0.08
/proc/2895/task/2902/stat : 2902 (java) S 2894 2894 2059 34821 2220 4202560 506 0 0 0 8 0 0 0 15 0 10 0 874346501 421154816 52465 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2903] ppid=2894 vsize=411284 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 421154816 52465 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2904] ppid=2894 vsize=411284 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) R 2894 2894 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874346501 421154816 52465 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2905] ppid=2894 vsize=411284 CPUtime=0
/proc/2895/task/2905/stat : 2905 (java) S 2894 2894 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 22 0 10 0 874346783 421154816 52465 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.32
Current children cumulated vsize (KiB) 413852

[startup+32.8046 s]
/proc/loadavg: 1.29 1.11 0.72 2/61 2905
/proc/meminfo: memFree=184584/1048576 swapFree=2095580/2097144
[pid=2894] ppid=2893 vsize=2568 CPUtime=0
/proc/2894/stat : 2894 (gj-paranoid-sol) S 2893 2894 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 874346498 2629632 272 1283457024 134512640 135304128 4289125504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2894/statm: 642 272 232 194 0 28 0
[pid=2895] ppid=2894 vsize=420260 CPUtime=32.69
/proc/2895/stat : 2895 (java) S 2894 2894 2059 34821 2220 4202496 76091 0 4 0 3247 22 0 0 25 0 10 0 874346499 430346240 54735 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2895/statm: 105065 54735 2883 10 0 99245 0
[pid=2895/tid=2896] ppid=2894 vsize=420260 CPUtime=24.82
/proc/2895/task/2896/stat : 2896 (java) R 2894 2894 2059 34821 2220 4202560 10177 0 4 0 2478 4 0 0 25 0 10 0 874346499 430346240 54735 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2898] ppid=2894 vsize=420260 CPUtime=7.76
/proc/2895/task/2898/stat : 2898 (java) R 2894 2894 2059 34821 2220 4202560 64468 0 0 0 759 17 0 0 16 0 10 0 874346500 430346240 54735 1283457024 134512640 134550932 4293697584 18446744073709551615 4153087608 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2899] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2894 2894 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874346500 430346240 54735 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2900] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2894 2894 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874346500 430346240 54735 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2901] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 430346240 54735 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2902] ppid=2894 vsize=420260 CPUtime=0.08
/proc/2895/task/2902/stat : 2902 (java) S 2894 2894 2059 34821 2220 4202560 506 0 0 0 8 0 0 0 15 0 10 0 874346501 430346240 54735 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2903] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874346501 430346240 54735 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2904] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2894 2894 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874346501 430346240 54735 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2905] ppid=2894 vsize=420260 CPUtime=0
/proc/2895/task/2905/stat : 2905 (java) S 2894 2894 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 22 0 10 0 874346783 430346240 54735 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.69
Current children cumulated vsize (KiB) 422828

[startup+32.9046 s]
/proc/loadavg: 1.29 1.11 0.72 2/61 2905
/proc/meminfo: memFree=184584/1048576 swapFree=2095580/2097144
[pid=2894] ppid=2893 vsize=2568 CPUtime=0
/proc/2894/stat : 2894 (gj-paranoid-sol) S 2893 2894 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 874346498 2629632 272 1283457024 134512640 135304128 4289125504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2894/statm: 642 272 232 194 0 28 0
[pid=2895] ppid=2894 vsize=411152 CPUtime=32.79
/proc/2895/stat : 2895 (java) S 2894 2894 2059 34821 2220 4202496 76095 0 4 0 3257 22 0 0 25 0 9 0 874346499 421019648 52464 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2895/statm: 102788 52464 2883 10 0 96968 0
[pid=2895/tid=2896] ppid=2894 vsize=411152 CPUtime=24.84
/proc/2895/task/2896/stat : 2896 (java) R 2894 2894 2059 34821 2220 4202560 10179 0 4 0 2480 4 0 0 25 0 9 0 874346499 421019648 52464 1283457024 134512640 134550932 4293697584 18446744073709551615 4115409870 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2895/tid=2898] ppid=2894 vsize=411152 CPUtime=7.84
/proc/2895/task/2898/stat : 2898 (java) S 2894 2894 2059 34821 2220 4202560 64468 0 0 0 767 17 0 0 16 0 9 0 874346500 421019648 52464 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 0 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2899] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2894 2894 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 9 0 874346500 421019648 52464 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2900] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2894 2894 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 9 0 874346500 421019648 52464 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2901] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874346501 421019648 52464 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2902] ppid=2894 vsize=411152 CPUtime=0.08
/proc/2895/task/2902/stat : 2902 (java) S 2894 2894 2059 34821 2220 4202560 508 0 0 0 8 0 0 0 15 0 9 0 874346501 421019648 52464 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2903] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2894 2894 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874346501 421019648 52464 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2895/tid=2904] ppid=2894 vsize=411152 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2894 2894 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 874346501 421019648 52464 1283457024 134512640 134550932 4293697584 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.79
Current children cumulated vsize (KiB) 413720

Child status: 0
Real time (s): 32.9604
CPU time (s): 32.8101
CPU user time (s): 32.57
CPU system time (s): 0.240015
CPU usage (%): 99.544
Max. virtual memory (cumulated for all children) (KiB): 423624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.57
system time used= 0.240015
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76487
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1229
involuntary context switches= 1548

runsolver used 0.008 second user time and 0 second system time

The end