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/randd8bf6a.cudf.difficult.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/difficult//randd8bf6a.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/randd8bf6a.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.30 1.32 1.26 5/47 1968
/proc/meminfo: memFree=621776/1048576 swapFree=2078696/2097144
[pid=1966] ppid=1965 vsize=2576 CPUtime=0
/proc/1966/stat : 1966 (gj-paranoid-sol) S 1965 1966 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876714159 2637824 273 1283457024 134512640 135304128 4292155232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1966/statm: 644 273 232 194 0 30 0
[pid=1967] ppid=1966 vsize=11244 CPUtime=0
/proc/1967/stat : 1967 (java) R 1966 1966 2059 34821 2220 4202496 909 0 0 0 0 0 0 0 25 0 2 0 876714160 11513856 642 1283457024 134512640 134550932 4292185792 18446744073709551615 4159308024 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/1967/statm: 2811 642 285 10 0 1185 0
[pid=1967/tid=1968] ppid=1966 vsize=11244 CPUtime=0
/proc/1967/task/1968/stat : 1968 (java) R 1966 1966 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 2 0 876714160 11513856 642 1283457024 134512640 134550932 4292185792 18446744073709551615 4159308024 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.205294 s]
/proc/loadavg: 1.30 1.32 1.26 5/47 1968
/proc/meminfo: memFree=621776/1048576 swapFree=2078696/2097144
[pid=1966] ppid=1965 vsize=2576 CPUtime=0
/proc/1966/stat : 1966 (gj-paranoid-sol) S 1965 1966 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876714159 2637824 273 1283457024 134512640 135304128 4292155232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1966/statm: 644 273 232 194 0 30 0
[pid=1967] ppid=1966 vsize=410132 CPUtime=0.2
/proc/1967/stat : 1967 (java) S 1966 1966 2059 34821 2220 4202496 5202 0 1 0 16 4 0 0 25 0 9 0 876714160 419975168 4665 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1967/statm: 102533 4665 1883 10 0 96713 0
[pid=1967/tid=1968] ppid=1966 vsize=410132 CPUtime=0.16
/proc/1967/task/1968/stat : 1968 (java) R 1966 1966 2059 34821 2220 4202560 3376 0 1 0 13 3 0 0 25 0 9 0 876714160 419975168 4665 1283457024 134512640 134550932 4292185792 18446744073709551615 4114770484 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412708

[startup+0.305311 s]
/proc/loadavg: 1.30 1.32 1.26 5/47 1968
/proc/meminfo: memFree=621776/1048576 swapFree=2078696/2097144
[pid=1966] ppid=1965 vsize=2576 CPUtime=0
/proc/1966/stat : 1966 (gj-paranoid-sol) S 1965 1966 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876714159 2637824 273 1283457024 134512640 135304128 4292155232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1966/statm: 644 273 232 194 0 30 0
[pid=1967] ppid=1966 vsize=410132 CPUtime=0.3
/proc/1967/stat : 1967 (java) S 1966 1966 2059 34821 2220 4202496 5203 0 1 0 26 4 0 0 25 0 9 0 876714160 419975168 4666 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1967/statm: 102533 4666 1883 10 0 96713 0
[pid=1967/tid=1968] ppid=1966 vsize=410132 CPUtime=0.26
/proc/1967/task/1968/stat : 1968 (java) R 1966 1966 2059 34821 2220 4202560 3377 0 1 0 23 3 0 0 25 0 9 0 876714160 419975168 4666 1283457024 134512640 134550932 4292185792 18446744073709551615 4114768966 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412708

[startup+0.405334 s]
/proc/loadavg: 1.30 1.32 1.26 5/47 1968
/proc/meminfo: memFree=621776/1048576 swapFree=2078696/2097144
[pid=1966] ppid=1965 vsize=2576 CPUtime=0
/proc/1966/stat : 1966 (gj-paranoid-sol) S 1965 1966 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876714159 2637824 273 1283457024 134512640 135304128 4292155232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1966/statm: 644 273 232 194 0 30 0
[pid=1967] ppid=1966 vsize=410612 CPUtime=0.4
/proc/1967/stat : 1967 (java) S 1966 1966 2059 34821 2220 4202496 6153 0 1 0 35 5 0 0 25 0 9 0 876714160 420466688 5616 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1967/statm: 102653 5616 1890 10 0 96833 0
[pid=1967/tid=1968] ppid=1966 vsize=410612 CPUtime=0.34
/proc/1967/task/1968/stat : 1968 (java) R 1966 1966 2059 34821 2220 4202560 3379 0 1 0 31 3 0 0 25 0 9 0 876714160 420466688 5616 1283457024 134512640 134550932 4292185792 18446744073709551615 4115233865 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 413188

[startup+0.705437 s]
/proc/loadavg: 1.30 1.32 1.26 5/47 1968
/proc/meminfo: memFree=621776/1048576 swapFree=2078696/2097144
[pid=1966] ppid=1965 vsize=2576 CPUtime=0
/proc/1966/stat : 1966 (gj-paranoid-sol) S 1965 1966 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876714159 2637824 273 1283457024 134512640 135304128 4292155232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1966/statm: 644 273 232 194 0 30 0
[pid=1967] ppid=1966 vsize=410744 CPUtime=0.7
/proc/1967/stat : 1967 (java) S 1966 1966 2059 34821 2220 4202496 12936 0 1 0 62 8 0 0 25 0 9 0 876714160 420601856 12221 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1967/statm: 102686 12221 2878 10 0 96866 0
[pid=1967/tid=1968] ppid=1966 vsize=410744 CPUtime=0.42
/proc/1967/task/1968/stat : 1968 (java) R 1966 1966 2059 34821 2220 4202560 4083 0 1 0 39 3 0 0 25 0 9 0 876714160 420601856 12221 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413320

[startup+1.50556 s]
/proc/loadavg: 1.30 1.32 1.26 3/55 1976
/proc/meminfo: memFree=549100/1048576 swapFree=2078696/2097144
[pid=1966] ppid=1965 vsize=2576 CPUtime=0
/proc/1966/stat : 1966 (gj-paranoid-sol) S 1965 1966 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876714159 2637824 273 1283457024 134512640 135304128 4292155232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1966/statm: 644 273 232 194 0 30 0
[pid=1967] ppid=1966 vsize=410744 CPUtime=1.5
/proc/1967/stat : 1967 (java) S 1966 1966 2059 34821 2220 4202496 28562 0 1 0 136 14 0 0 25 0 9 0 876714160 420601856 27847 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1967/statm: 102686 27847 2879 10 0 96866 0
[pid=1967/tid=1968] ppid=1966 vsize=410744 CPUtime=0.69
/proc/1967/task/1968/stat : 1968 (java) S 1966 1966 2059 34821 2220 4202560 6787 0 1 0 64 5 0 0 25 0 9 0 876714160 420601856 27847 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1970] ppid=1966 vsize=410744 CPUtime=0.76
/proc/1967/task/1970/stat : 1970 (java) R 1966 1966 2059 34821 2220 4202560 20388 0 0 0 68 8 0 0 20 0 9 0 876714161 420601856 27847 1283457024 134512640 134550932 4292185792 18446744073709551615 4151353802 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=1967/tid=1971] ppid=1966 vsize=410744 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1966 1966 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 20 0 9 0 876714161 420601856 27847 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1972] ppid=1966 vsize=410744 CPUtime=0
/proc/1967/task/1972/stat : 1972 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 24 0 9 0 876714161 420601856 27847 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1973] ppid=1966 vsize=410744 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876714162 420601856 27847 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1974] ppid=1966 vsize=410744 CPUtime=0.02
/proc/1967/task/1974/stat : 1974 (java) S 1966 1966 2059 34821 2220 4202560 453 0 0 0 2 0 0 0 17 0 9 0 876714162 420601856 27847 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1975] ppid=1966 vsize=410744 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876714162 420601856 27847 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1976] ppid=1966 vsize=410744 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1966 1966 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 876714162 420601856 27847 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413320

[startup+3.1059 s]
/proc/loadavg: 1.35 1.33 1.27 3/55 1976
/proc/meminfo: memFree=461432/1048576 swapFree=2078696/2097144
[pid=1966] ppid=1965 vsize=2576 CPUtime=0
/proc/1966/stat : 1966 (gj-paranoid-sol) S 1965 1966 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876714159 2637824 273 1283457024 134512640 135304128 4292155232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1966/statm: 644 273 232 194 0 30 0
[pid=1967] ppid=1966 vsize=411200 CPUtime=3.1
/proc/1967/stat : 1967 (java) S 1966 1966 2059 34821 2220 4202496 45282 0 1 0 292 18 0 0 25 0 10 0 876714160 421068800 44551 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1967/statm: 102800 44551 2885 10 0 96980 0
[pid=1967/tid=1968] ppid=1966 vsize=411200 CPUtime=1.32
/proc/1967/task/1968/stat : 1968 (java) R 1966 1966 2059 34821 2220 4202560 9743 0 1 0 124 8 0 0 25 0 10 0 876714160 421068800 44551 1283457024 134512640 134550932 4292185792 18446744073709551615 4115625363 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1967/tid=1970] ppid=1966 vsize=411200 CPUtime=1.65
/proc/1967/task/1970/stat : 1970 (java) S 1966 1966 2059 34821 2220 4202560 34087 0 0 0 157 8 0 0 19 0 10 0 876714161 421068800 44551 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1971] ppid=1966 vsize=411200 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1966 1966 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876714161 421068800 44551 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1972] ppid=1966 vsize=411200 CPUtime=0
/proc/1967/task/1972/stat : 1972 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876714161 421068800 44551 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1973] ppid=1966 vsize=411200 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421068800 44551 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1974] ppid=1966 vsize=411200 CPUtime=0.11
/proc/1967/task/1974/stat : 1974 (java) S 1966 1966 2059 34821 2220 4202560 513 0 0 0 10 1 0 0 16 0 10 0 876714162 421068800 44551 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1975] ppid=1966 vsize=411200 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421068800 44551 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1976] ppid=1966 vsize=411200 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1966 1966 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876714162 421068800 44551 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413776

[startup+6.30651 s]
/proc/loadavg: 1.35 1.33 1.27 2/56 1977
/proc/meminfo: memFree=445304/1048576 swapFree=2078696/2097144
[pid=1966] ppid=1965 vsize=2576 CPUtime=0
/proc/1966/stat : 1966 (gj-paranoid-sol) S 1965 1966 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876714159 2637824 273 1283457024 134512640 135304128 4292155232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1966/statm: 644 273 232 194 0 30 0
[pid=1967] ppid=1966 vsize=416612 CPUtime=6.3
/proc/1967/stat : 1967 (java) S 1966 1966 2059 34821 2220 4202496 51398 0 1 0 608 22 0 0 25 0 10 0 876714160 426610688 50661 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1967/statm: 104153 50661 2883 10 0 98333 0
[pid=1967/tid=1968] ppid=1966 vsize=416612 CPUtime=3.52
/proc/1967/task/1968/stat : 1968 (java) R 1966 1966 2059 34821 2220 4202560 10023 0 1 0 344 8 0 0 25 0 10 0 876714160 426610688 50661 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1967/tid=1970] ppid=1966 vsize=416612 CPUtime=2.66
/proc/1967/task/1970/stat : 1970 (java) R 1966 1966 2059 34821 2220 4202560 39918 0 0 0 254 12 0 0 16 0 10 0 876714161 426610688 50661 1283457024 134512640 134550932 4292185792 18446744073709551615 4151353858 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=1967/tid=1971] ppid=1966 vsize=416612 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1966 1966 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876714161 426610688 50661 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1972] ppid=1966 vsize=416612 CPUtime=0
/proc/1967/task/1972/stat : 1972 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876714161 426610688 50661 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1973] ppid=1966 vsize=416612 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 426610688 50661 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1974] ppid=1966 vsize=416612 CPUtime=0.11
/proc/1967/task/1974/stat : 1974 (java) S 1966 1966 2059 34821 2220 4202560 518 0 0 0 10 1 0 0 15 0 10 0 876714162 426610688 50661 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1975] ppid=1966 vsize=416612 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 426610688 50661 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1976] ppid=1966 vsize=416612 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1966 1966 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876714162 426610688 50661 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1977] ppid=1966 vsize=416612 CPUtime=0
/proc/1967/task/1977/stat : 1977 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876714444 426610688 50661 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 419188

[startup+12.7085 s]
/proc/loadavg: 1.45 1.35 1.27 2/56 1977
/proc/meminfo: memFree=433896/1048576 swapFree=2078696/2097144
[pid=1966] ppid=1965 vsize=2576 CPUtime=0
/proc/1966/stat : 1966 (gj-paranoid-sol) S 1965 1966 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876714159 2637824 273 1283457024 134512640 135304128 4292155232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1966/statm: 644 273 232 194 0 30 0
[pid=1967] ppid=1966 vsize=411156 CPUtime=12.7
/proc/1967/stat : 1967 (java) S 1966 1966 2059 34821 2220 4202496 59628 0 1 0 1245 25 0 0 25 0 10 0 876714160 421023744 49851 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1967/statm: 102789 49851 2883 10 0 96969 0
[pid=1967/tid=1968] ppid=1966 vsize=411156 CPUtime=7.79
/proc/1967/task/1968/stat : 1968 (java) R 1966 1966 2059 34821 2220 4202560 10023 0 1 0 771 8 0 0 25 0 10 0 876714160 421023744 49851 1283457024 134512640 134550932 4292185792 18446744073709551615 4115495435 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1967/tid=1970] ppid=1966 vsize=411156 CPUtime=4.79
/proc/1967/task/1970/stat : 1970 (java) S 1966 1966 2059 34821 2220 4202560 48148 0 0 0 464 15 0 0 16 0 10 0 876714161 421023744 49851 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1971] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1966 1966 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876714161 421023744 49851 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1972] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1972/stat : 1972 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876714161 421023744 49851 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1973] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421023744 49851 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1974] ppid=1966 vsize=411156 CPUtime=0.11
/proc/1967/task/1974/stat : 1974 (java) S 1966 1966 2059 34821 2220 4202560 518 0 0 0 10 1 0 0 15 0 10 0 876714162 421023744 49851 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1975] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421023744 49851 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1976] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1966 1966 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876714162 421023744 49851 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1977] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1977/stat : 1977 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876714444 421023744 49851 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 413732

[startup+25.5118 s]
/proc/loadavg: 1.53 1.37 1.28 2/56 1977
/proc/meminfo: memFree=432656/1048576 swapFree=2078696/2097144
[pid=1966] ppid=1965 vsize=2576 CPUtime=0
/proc/1966/stat : 1966 (gj-paranoid-sol) S 1965 1966 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876714159 2637824 273 1283457024 134512640 135304128 4292155232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1966/statm: 644 273 232 194 0 30 0
[pid=1967] ppid=1966 vsize=411156 CPUtime=25.5
/proc/1967/stat : 1967 (java) S 1966 1966 2059 34821 2220 4202496 71322 0 1 0 2516 34 0 0 25 0 10 0 876714160 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1967/statm: 102789 50173 2883 10 0 96969 0
[pid=1967/tid=1968] ppid=1966 vsize=411156 CPUtime=17.76
/proc/1967/task/1968/stat : 1968 (java) R 1966 1966 2059 34821 2220 4202560 10023 0 1 0 1768 8 0 0 25 0 10 0 876714160 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4115494985 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1967/tid=1970] ppid=1966 vsize=411156 CPUtime=7.62
/proc/1967/task/1970/stat : 1970 (java) S 1966 1966 2059 34821 2220 4202560 59842 0 0 0 738 24 0 0 15 0 10 0 876714161 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1971] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1966 1966 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876714161 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1972] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1972/stat : 1972 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876714161 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1973] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1974] ppid=1966 vsize=411156 CPUtime=0.11
/proc/1967/task/1974/stat : 1974 (java) S 1966 1966 2059 34821 2220 4202560 518 0 0 0 10 1 0 0 15 0 10 0 876714162 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1975] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1976] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1966 1966 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876714162 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1977] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1977/stat : 1977 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876714444 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 413732

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

[startup+25.7119 s]
/proc/loadavg: 1.53 1.37 1.28 2/56 1977
/proc/meminfo: memFree=432656/1048576 swapFree=2078696/2097144
[pid=1966] ppid=1965 vsize=2576 CPUtime=0
/proc/1966/stat : 1966 (gj-paranoid-sol) S 1965 1966 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876714159 2637824 273 1283457024 134512640 135304128 4292155232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1966/statm: 644 273 232 194 0 30 0
[pid=1967] ppid=1966 vsize=411156 CPUtime=25.7
/proc/1967/stat : 1967 (java) S 1966 1966 2059 34821 2220 4202496 71322 0 1 0 2536 34 0 0 25 0 10 0 876714160 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1967/statm: 102789 50173 2883 10 0 96969 0
[pid=1967/tid=1968] ppid=1966 vsize=411156 CPUtime=17.96
/proc/1967/task/1968/stat : 1968 (java) R 1966 1966 2059 34821 2220 4202560 10023 0 1 0 1788 8 0 0 25 0 10 0 876714160 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4115638936 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1967/tid=1970] ppid=1966 vsize=411156 CPUtime=7.62
/proc/1967/task/1970/stat : 1970 (java) S 1966 1966 2059 34821 2220 4202560 59842 0 0 0 738 24 0 0 15 0 10 0 876714161 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1971] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1966 1966 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876714161 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1972] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1972/stat : 1972 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876714161 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1973] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1974] ppid=1966 vsize=411156 CPUtime=0.11
/proc/1967/task/1974/stat : 1974 (java) S 1966 1966 2059 34821 2220 4202560 518 0 0 0 10 1 0 0 15 0 10 0 876714162 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1975] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1976] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1966 1966 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876714162 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1977] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1977/stat : 1977 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876714444 421023744 50173 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.7
Current children cumulated vsize (KiB) 413732

[startup+28.9129 s]
/proc/loadavg: 1.65 1.40 1.29 4/56 1977
/proc/meminfo: memFree=429060/1048576 swapFree=2078696/2097144
[pid=1966] ppid=1965 vsize=2576 CPUtime=0
/proc/1966/stat : 1966 (gj-paranoid-sol) S 1965 1966 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876714159 2637824 273 1283457024 134512640 135304128 4292155232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1966/statm: 644 273 232 194 0 30 0
[pid=1967] ppid=1966 vsize=420264 CPUtime=28.89
/proc/1967/stat : 1967 (java) S 1966 1966 2059 34821 2220 4202496 75870 0 1 0 2853 36 0 0 25 0 10 0 876714160 430350336 52447 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1967/statm: 105066 52447 2883 10 0 99246 0
[pid=1967/tid=1968] ppid=1966 vsize=420264 CPUtime=20.22
/proc/1967/task/1968/stat : 1968 (java) R 1966 1966 2059 34821 2220 4202560 10023 0 1 0 2014 8 0 0 25 0 10 0 876714160 430350336 52447 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1967/tid=1970] ppid=1966 vsize=420264 CPUtime=8.54
/proc/1967/task/1970/stat : 1970 (java) R 1966 1966 2059 34821 2220 4202560 64390 0 0 0 828 26 0 0 16 0 10 0 876714161 430350336 52447 1283457024 134512640 134550932 4292185792 18446744073709551615 4151366864 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=1967/tid=1971] ppid=1966 vsize=420264 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1966 1966 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876714161 430350336 52447 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1972] ppid=1966 vsize=420264 CPUtime=0
/proc/1967/task/1972/stat : 1972 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876714161 430350336 52447 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1973] ppid=1966 vsize=420264 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 430350336 52447 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1974] ppid=1966 vsize=420264 CPUtime=0.11
/proc/1967/task/1974/stat : 1974 (java) S 1966 1966 2059 34821 2220 4202560 518 0 0 0 10 1 0 0 15 0 10 0 876714162 430350336 52447 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1975] ppid=1966 vsize=420264 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 430350336 52447 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1976] ppid=1966 vsize=420264 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1966 1966 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876714162 430350336 52447 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1977] ppid=1966 vsize=420264 CPUtime=0
/proc/1967/task/1977/stat : 1977 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876714444 430350336 52447 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.89
Current children cumulated vsize (KiB) 422840

[startup+30.5132 s]
/proc/loadavg: 1.65 1.40 1.29 2/56 1977
/proc/meminfo: memFree=432160/1048576 swapFree=2078696/2097144
[pid=1966] ppid=1965 vsize=2576 CPUtime=0
/proc/1966/stat : 1966 (gj-paranoid-sol) S 1965 1966 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876714159 2637824 273 1283457024 134512640 135304128 4292155232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1966/statm: 644 273 232 194 0 30 0
[pid=1967] ppid=1966 vsize=411156 CPUtime=30.49
/proc/1967/stat : 1967 (java) S 1966 1966 2059 34821 2220 4202496 75991 0 1 0 3013 36 0 0 25 0 10 0 876714160 421023744 50294 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1967/statm: 102789 50294 2883 10 0 96969 0
[pid=1967/tid=1968] ppid=1966 vsize=411156 CPUtime=21.64
/proc/1967/task/1968/stat : 1968 (java) R 1966 1966 2059 34821 2220 4202560 10023 0 1 0 2156 8 0 0 25 0 10 0 876714160 421023744 50294 1283457024 134512640 134550932 4292185792 18446744073709551615 4115608099 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1967/tid=1970] ppid=1966 vsize=411156 CPUtime=8.73
/proc/1967/task/1970/stat : 1970 (java) S 1966 1966 2059 34821 2220 4202560 64511 0 0 0 847 26 0 0 15 0 10 0 876714161 421023744 50294 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1971] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1966 1966 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876714161 421023744 50294 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1972] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1972/stat : 1972 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876714161 421023744 50294 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1973] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421023744 50294 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1974] ppid=1966 vsize=411156 CPUtime=0.11
/proc/1967/task/1974/stat : 1974 (java) S 1966 1966 2059 34821 2220 4202560 518 0 0 0 10 1 0 0 15 0 10 0 876714162 421023744 50294 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1975] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421023744 50294 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1976] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1966 1966 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876714162 421023744 50294 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1977] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1977/stat : 1977 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876714444 421023744 50294 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.49
Current children cumulated vsize (KiB) 413732

[startup+32.1137 s]
/proc/loadavg: 1.68 1.41 1.29 2/56 1977
/proc/meminfo: memFree=431788/1048576 swapFree=2078696/2097144
[pid=1966] ppid=1965 vsize=2576 CPUtime=0
/proc/1966/stat : 1966 (gj-paranoid-sol) S 1965 1966 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876714159 2637824 273 1283457024 134512640 135304128 4292155232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1966/statm: 644 273 232 194 0 30 0
[pid=1967] ppid=1966 vsize=411156 CPUtime=32.09
/proc/1967/stat : 1967 (java) S 1966 1966 2059 34821 2220 4202496 78372 0 1 0 3172 37 0 0 25 0 10 0 876714160 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1967/statm: 102789 50401 2883 10 0 96969 0
[pid=1967/tid=1968] ppid=1966 vsize=411156 CPUtime=22.68
/proc/1967/task/1968/stat : 1968 (java) R 1966 1966 2059 34821 2220 4202560 10023 0 1 0 2260 8 0 0 25 0 10 0 876714160 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4115558740 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1967/tid=1970] ppid=1966 vsize=411156 CPUtime=9.29
/proc/1967/task/1970/stat : 1970 (java) S 1966 1966 2059 34821 2220 4202560 66892 0 0 0 902 27 0 0 16 0 10 0 876714161 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1971] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1966 1966 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876714161 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1972] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1972/stat : 1972 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876714161 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1973] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1974] ppid=1966 vsize=411156 CPUtime=0.11
/proc/1967/task/1974/stat : 1974 (java) S 1966 1966 2059 34821 2220 4202560 518 0 0 0 10 1 0 0 15 0 10 0 876714162 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1975] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1976] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1966 1966 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876714162 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1977] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1977/stat : 1977 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876714444 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.09
Current children cumulated vsize (KiB) 413732

[startup+32.5137 s]
/proc/loadavg: 1.68 1.41 1.29 2/56 1977
/proc/meminfo: memFree=431788/1048576 swapFree=2078696/2097144
[pid=1966] ppid=1965 vsize=2576 CPUtime=0
/proc/1966/stat : 1966 (gj-paranoid-sol) S 1965 1966 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876714159 2637824 273 1283457024 134512640 135304128 4292155232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1966/statm: 644 273 232 194 0 30 0
[pid=1967] ppid=1966 vsize=411156 CPUtime=32.5
/proc/1967/stat : 1967 (java) S 1966 1966 2059 34821 2220 4202496 78372 0 1 0 3213 37 0 0 25 0 10 0 876714160 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1967/statm: 102789 50401 2883 10 0 96969 0
[pid=1967/tid=1968] ppid=1966 vsize=411156 CPUtime=23.08
/proc/1967/task/1968/stat : 1968 (java) R 1966 1966 2059 34821 2220 4202560 10023 0 1 0 2300 8 0 0 25 0 10 0 876714160 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4115608073 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1967/tid=1970] ppid=1966 vsize=411156 CPUtime=9.29
/proc/1967/task/1970/stat : 1970 (java) S 1966 1966 2059 34821 2220 4202560 66892 0 0 0 902 27 0 0 16 0 10 0 876714161 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1971] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1966 1966 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876714161 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1972] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1972/stat : 1972 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876714161 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1973] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1974] ppid=1966 vsize=411156 CPUtime=0.11
/proc/1967/task/1974/stat : 1974 (java) S 1966 1966 2059 34821 2220 4202560 518 0 0 0 10 1 0 0 15 0 10 0 876714162 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1975] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1976] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1966 1966 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876714162 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1977] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1977/stat : 1977 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876714444 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.5
Current children cumulated vsize (KiB) 413732

[startup+32.9139 s]
/proc/loadavg: 1.68 1.41 1.29 2/56 1977
/proc/meminfo: memFree=431788/1048576 swapFree=2078696/2097144
[pid=1966] ppid=1965 vsize=2576 CPUtime=0
/proc/1966/stat : 1966 (gj-paranoid-sol) S 1965 1966 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876714159 2637824 273 1283457024 134512640 135304128 4292155232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1966/statm: 644 273 232 194 0 30 0
[pid=1967] ppid=1966 vsize=411156 CPUtime=32.9
/proc/1967/stat : 1967 (java) S 1966 1966 2059 34821 2220 4202496 78372 0 1 0 3253 37 0 0 25 0 10 0 876714160 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1967/statm: 102789 50401 2883 10 0 96969 0
[pid=1967/tid=1968] ppid=1966 vsize=411156 CPUtime=23.48
/proc/1967/task/1968/stat : 1968 (java) R 1966 1966 2059 34821 2220 4202560 10023 0 1 0 2340 8 0 0 25 0 10 0 876714160 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4115617296 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1967/tid=1970] ppid=1966 vsize=411156 CPUtime=9.29
/proc/1967/task/1970/stat : 1970 (java) S 1966 1966 2059 34821 2220 4202560 66892 0 0 0 902 27 0 0 15 0 10 0 876714161 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1971] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1966 1966 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876714161 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1972] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1972/stat : 1972 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876714161 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1973] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1974] ppid=1966 vsize=411156 CPUtime=0.11
/proc/1967/task/1974/stat : 1974 (java) S 1966 1966 2059 34821 2220 4202560 518 0 0 0 10 1 0 0 15 0 10 0 876714162 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1975] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1976] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1966 1966 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876714162 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1977] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1977/stat : 1977 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876714444 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.9
Current children cumulated vsize (KiB) 413732

[startup+33.0039 s]
/proc/loadavg: 1.68 1.41 1.29 2/56 1977
/proc/meminfo: memFree=431788/1048576 swapFree=2078696/2097144
[pid=1966] ppid=1965 vsize=2576 CPUtime=0
/proc/1966/stat : 1966 (gj-paranoid-sol) S 1965 1966 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876714159 2637824 273 1283457024 134512640 135304128 4292155232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1966/statm: 644 273 232 194 0 30 0
[pid=1967] ppid=1966 vsize=411156 CPUtime=32.99
/proc/1967/stat : 1967 (java) S 1966 1966 2059 34821 2220 4202496 78372 0 1 0 3262 37 0 0 25 0 10 0 876714160 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1967/statm: 102789 50401 2883 10 0 96969 0
[pid=1967/tid=1968] ppid=1966 vsize=411156 CPUtime=23.57
/proc/1967/task/1968/stat : 1968 (java) R 1966 1966 2059 34821 2220 4202560 10023 0 1 0 2349 8 0 0 25 0 10 0 876714160 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4115617260 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1967/tid=1970] ppid=1966 vsize=411156 CPUtime=9.29
/proc/1967/task/1970/stat : 1970 (java) S 1966 1966 2059 34821 2220 4202560 66892 0 0 0 902 27 0 0 15 0 10 0 876714161 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1971] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1971/stat : 1971 (java) S 1966 1966 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876714161 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1972] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1972/stat : 1972 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876714161 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1973] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1973/stat : 1973 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1974] ppid=1966 vsize=411156 CPUtime=0.11
/proc/1967/task/1974/stat : 1974 (java) S 1966 1966 2059 34821 2220 4202560 518 0 0 0 10 1 0 0 15 0 10 0 876714162 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1975] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1975/stat : 1975 (java) S 1966 1966 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876714162 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1976] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1976/stat : 1976 (java) S 1966 1966 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876714162 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=1967/tid=1977] ppid=1966 vsize=411156 CPUtime=0
/proc/1967/task/1977/stat : 1977 (java) S 1966 1966 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876714444 421023744 50401 1283457024 134512640 134550932 4292185792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.99
Current children cumulated vsize (KiB) 413732

Child status: 0
Real time (s): 33.0748
CPU time (s): 33.0261
CPU user time (s): 32.642
CPU system time (s): 0.384024
CPU usage (%): 99.8527
Max. virtual memory (cumulated for all children) (KiB): 422972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.642
system time used= 0.384024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78770
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1238
involuntary context switches= 1582

runsolver used 0 second user time and 0 second system time

The end