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/rand815.sarge-etch-lenny.cudf.sarge-etch-lenny.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/icse/sarge-etch-lenny/rand815.sarge-etch-lenny.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand815.sarge-etch-lenny.cudf.sarge-etch-lenny.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.14 1.19 1.18 3/46 21964
/proc/meminfo: memFree=732224/1048576 swapFree=2078744/2097144
[pid=21963] ppid=21962 vsize=2572 CPUtime=0
/proc/21963/stat : 21963 (gj-paranoid-sol) R 21962 21963 2059 34821 2220 4202496 356 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 270 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/21963/statm: 643 270 231 194 0 29 0
[pid=21964] ppid=21963 vsize=2572 CPUtime=0
/proc/21964/stat : 21964 (gj-paranoid-sol) R 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 39 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/21964/statm: 643 39 0 194 0 29 0

[startup+0.13646 s]
/proc/loadavg: 1.14 1.19 1.18 3/46 21964
/proc/meminfo: memFree=732224/1048576 swapFree=2078744/2097144
[pid=21963] ppid=21962 vsize=2572 CPUtime=0
/proc/21963/stat : 21963 (gj-paranoid-sol) S 21962 21963 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 271 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21963/statm: 643 271 232 194 0 29 0
[pid=21964] ppid=21963 vsize=409944 CPUtime=0.13
/proc/21964/stat : 21964 (java) S 21963 21963 2059 34821 2220 4202496 3857 0 1 0 12 1 0 0 25 0 9 0 876061779 419782656 3321 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21964/statm: 102486 3321 1868 10 0 96666 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 412516

[startup+0.206466 s]
/proc/loadavg: 1.14 1.19 1.18 3/46 21964
/proc/meminfo: memFree=732224/1048576 swapFree=2078744/2097144
[pid=21963] ppid=21962 vsize=2572 CPUtime=0
/proc/21963/stat : 21963 (gj-paranoid-sol) S 21962 21963 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 271 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21963/statm: 643 271 232 194 0 29 0
[pid=21964] ppid=21963 vsize=409944 CPUtime=0.2
/proc/21964/stat : 21964 (java) S 21963 21963 2059 34821 2220 4202496 4077 0 1 0 19 1 0 0 25 0 9 0 876061779 419782656 3541 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21964/statm: 102486 3541 1868 10 0 96666 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412516

[startup+0.306486 s]
/proc/loadavg: 1.14 1.19 1.18 3/46 21964
/proc/meminfo: memFree=732224/1048576 swapFree=2078744/2097144
[pid=21963] ppid=21962 vsize=2572 CPUtime=0
/proc/21963/stat : 21963 (gj-paranoid-sol) S 21962 21963 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 271 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21963/statm: 643 271 232 194 0 29 0
[pid=21964] ppid=21963 vsize=410208 CPUtime=0.3
/proc/21964/stat : 21964 (java) S 21963 21963 2059 34821 2220 4202496 4457 0 1 0 29 1 0 0 25 0 9 0 876061779 420052992 3921 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21964/statm: 102552 3921 1882 10 0 96732 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412780

[startup+0.7066 s]
/proc/loadavg: 1.14 1.19 1.18 3/46 21964
/proc/meminfo: memFree=732224/1048576 swapFree=2078744/2097144
[pid=21963] ppid=21962 vsize=2572 CPUtime=0
/proc/21963/stat : 21963 (gj-paranoid-sol) S 21962 21963 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 271 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21963/statm: 643 271 232 194 0 29 0
[pid=21964] ppid=21963 vsize=410676 CPUtime=0.7
/proc/21964/stat : 21964 (java) S 21963 21963 2059 34821 2220 4202496 12922 0 1 0 68 2 0 0 25 0 9 0 876061779 420532224 12207 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21964/statm: 102669 12207 2878 10 0 96849 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413248

[startup+1.50677 s]
/proc/loadavg: 1.14 1.19 1.18 2/55 21973
/proc/meminfo: memFree=671580/1048576 swapFree=2078744/2097144
[pid=21963] ppid=21962 vsize=2572 CPUtime=0
/proc/21963/stat : 21963 (gj-paranoid-sol) S 21962 21963 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 271 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21963/statm: 643 271 232 194 0 29 0
[pid=21964] ppid=21963 vsize=410808 CPUtime=1.49
/proc/21964/stat : 21964 (java) S 21963 21963 2059 34821 2220 4202496 28370 0 1 0 145 4 0 0 25 0 9 0 876061779 420667392 27655 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21964/statm: 102702 27655 2879 10 0 96882 0
[pid=21964/tid=21966] ppid=21963 vsize=410808 CPUtime=0.69
/proc/21964/task/21966/stat : 21966 (java) R 21963 21963 2059 34821 2220 4202560 6743 0 1 0 69 0 0 0 25 0 9 0 876061780 420667392 27655 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21964/tid=21967] ppid=21963 vsize=410808 CPUtime=0.76
/proc/21964/task/21967/stat : 21967 (java) R 21963 21963 2059 34821 2220 4202560 20228 0 0 0 73 3 0 0 20 0 9 0 876061780 420667392 27655 1283457024 134512640 134550932 4287283696 18446744073709551615 4149381100 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=21964/tid=21968] ppid=21963 vsize=410808 CPUtime=0
/proc/21964/task/21968/stat : 21968 (java) S 21963 21963 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 20 0 9 0 876061780 420667392 27655 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21969] ppid=21963 vsize=410808 CPUtime=0
/proc/21964/task/21969/stat : 21969 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 9 0 876061780 420667392 27655 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21970] ppid=21963 vsize=410808 CPUtime=0
/proc/21964/task/21970/stat : 21970 (java) S 21963 21963 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876061782 420667392 27655 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21971] ppid=21963 vsize=410808 CPUtime=0.03
/proc/21964/task/21971/stat : 21971 (java) S 21963 21963 2059 34821 2220 4202560 466 0 0 0 3 0 0 0 16 0 9 0 876061782 420667392 27655 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21972] ppid=21963 vsize=410808 CPUtime=0
/proc/21964/task/21972/stat : 21972 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 9 0 876061782 420667392 27655 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21973] ppid=21963 vsize=410808 CPUtime=0
/proc/21964/task/21973/stat : 21973 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 876061782 420667392 27655 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 413380

[startup+3.10711 s]
/proc/loadavg: 1.14 1.19 1.18 3/55 21973
/proc/meminfo: memFree=588004/1048576 swapFree=2078744/2097144
[pid=21963] ppid=21962 vsize=2572 CPUtime=0
/proc/21963/stat : 21963 (gj-paranoid-sol) S 21962 21963 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 271 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21963/statm: 643 271 232 194 0 29 0
[pid=21964] ppid=21963 vsize=410808 CPUtime=3.1
/proc/21964/stat : 21964 (java) S 21963 21963 2059 34821 2220 4202496 51219 0 1 0 300 10 0 0 25 0 9 0 876061779 420667392 50490 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21964/statm: 102702 50490 2881 10 0 96882 0
[pid=21964/tid=21966] ppid=21963 vsize=410808 CPUtime=1.3
/proc/21964/task/21966/stat : 21966 (java) R 21963 21963 2059 34821 2220 4202560 14110 0 1 0 126 4 0 0 25 0 9 0 876061780 420667392 50490 1283457024 134512640 134550932 4287283696 18446744073709551615 4114487619 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21964/tid=21967] ppid=21963 vsize=410808 CPUtime=1.71
/proc/21964/task/21967/stat : 21967 (java) S 21963 21963 2059 34821 2220 4202560 35680 0 0 0 166 5 0 0 16 0 9 0 876061780 420667392 50490 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21968] ppid=21963 vsize=410808 CPUtime=0
/proc/21964/task/21968/stat : 21968 (java) S 21963 21963 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 15 0 9 0 876061780 420667392 50490 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21969] ppid=21963 vsize=410808 CPUtime=0
/proc/21964/task/21969/stat : 21969 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 9 0 876061780 420667392 50490 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21970] ppid=21963 vsize=410808 CPUtime=0
/proc/21964/task/21970/stat : 21970 (java) S 21963 21963 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876061782 420667392 50490 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21971] ppid=21963 vsize=410808 CPUtime=0.07
/proc/21964/task/21971/stat : 21971 (java) S 21963 21963 2059 34821 2220 4202560 496 0 0 0 7 0 0 0 15 0 9 0 876061782 420667392 50490 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21972] ppid=21963 vsize=410808 CPUtime=0
/proc/21964/task/21972/stat : 21972 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 9 0 876061782 420667392 50490 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21973] ppid=21963 vsize=410808 CPUtime=0
/proc/21964/task/21973/stat : 21973 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 876061782 420667392 50490 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413380

[startup+6.3076 s]
/proc/loadavg: 1.13 1.18 1.18 4/56 21974
/proc/meminfo: memFree=529468/1048576 swapFree=2078744/2097144
[pid=21963] ppid=21962 vsize=2572 CPUtime=0
/proc/21963/stat : 21963 (gj-paranoid-sol) S 21962 21963 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 271 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21963/statm: 643 271 232 194 0 29 0
[pid=21964] ppid=21963 vsize=421692 CPUtime=6.3
/proc/21964/stat : 21964 (java) S 21963 21963 2059 34821 2220 4202496 58181 0 1 0 619 11 0 0 25 0 10 0 876061779 431812608 57444 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21964/statm: 105423 57444 2883 10 0 99603 0
[pid=21964/tid=21966] ppid=21963 vsize=421692 CPUtime=3.84
/proc/21964/task/21966/stat : 21966 (java) R 21963 21963 2059 34821 2220 4202560 14131 0 1 0 380 4 0 0 25 0 10 0 876061780 431812608 57444 1283457024 134512640 134550932 4287283696 18446744073709551615 4115347416 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21964/tid=21967] ppid=21963 vsize=421692 CPUtime=2.33
/proc/21964/task/21967/stat : 21967 (java) S 21963 21963 2059 34821 2220 4202560 42575 0 0 0 227 6 0 0 16 0 10 0 876061780 431812608 57444 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21968] ppid=21963 vsize=421692 CPUtime=0
/proc/21964/task/21968/stat : 21968 (java) S 21963 21963 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 15 0 10 0 876061780 431812608 57444 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21969] ppid=21963 vsize=421692 CPUtime=0
/proc/21964/task/21969/stat : 21969 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876061780 431812608 57444 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21970] ppid=21963 vsize=421692 CPUtime=0
/proc/21964/task/21970/stat : 21970 (java) S 21963 21963 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876061782 431812608 57444 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21971] ppid=21963 vsize=421692 CPUtime=0.11
/proc/21964/task/21971/stat : 21971 (java) S 21963 21963 2059 34821 2220 4202560 537 0 0 0 11 0 0 0 15 0 10 0 876061782 431812608 57444 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21972] ppid=21963 vsize=421692 CPUtime=0
/proc/21964/task/21972/stat : 21972 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 876061782 431812608 57444 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21973] ppid=21963 vsize=421692 CPUtime=0
/proc/21964/task/21973/stat : 21973 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876061782 431812608 57444 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21974] ppid=21963 vsize=421692 CPUtime=0
/proc/21964/task/21974/stat : 21974 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876062092 431812608 57444 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 424264

[startup+12.7095 s]
/proc/loadavg: 1.12 1.18 1.18 3/56 21974
/proc/meminfo: memFree=512728/1048576 swapFree=2078744/2097144
[pid=21963] ppid=21962 vsize=2572 CPUtime=0
/proc/21963/stat : 21963 (gj-paranoid-sol) S 21962 21963 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 271 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21963/statm: 643 271 232 194 0 29 0
[pid=21964] ppid=21963 vsize=420924 CPUtime=12.7
/proc/21964/stat : 21964 (java) S 21963 21963 2059 34821 2220 4202496 63204 0 1 0 1258 12 0 0 25 0 10 0 876061779 431026176 57467 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21964/statm: 105231 57467 2883 10 0 99411 0
[pid=21964/tid=21966] ppid=21963 vsize=420924 CPUtime=9.04
/proc/21964/task/21966/stat : 21966 (java) R 21963 21963 2059 34821 2220 4202560 14131 0 1 0 900 4 0 0 25 0 10 0 876061780 431026176 57467 1283457024 134512640 134550932 4287283696 18446744073709551615 4115220419 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21964/tid=21967] ppid=21963 vsize=420924 CPUtime=3.53
/proc/21964/task/21967/stat : 21967 (java) S 21963 21963 2059 34821 2220 4202560 47597 0 0 0 346 7 0 0 16 0 10 0 876061780 431026176 57467 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21968] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21968/stat : 21968 (java) S 21963 21963 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 15 0 10 0 876061780 431026176 57467 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21969] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21969/stat : 21969 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876061780 431026176 57467 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21970] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21970/stat : 21970 (java) S 21963 21963 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876061782 431026176 57467 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21971] ppid=21963 vsize=420924 CPUtime=0.11
/proc/21964/task/21971/stat : 21971 (java) S 21963 21963 2059 34821 2220 4202560 538 0 0 0 11 0 0 0 15 0 10 0 876061782 431026176 57467 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21972] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21972/stat : 21972 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 876061782 431026176 57467 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21973] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21973/stat : 21973 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876061782 431026176 57467 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21974] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21974/stat : 21974 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876062092 431026176 57467 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 423496

[startup+25.5029 s]
/proc/loadavg: 1.24 1.20 1.18 2/56 21974
/proc/meminfo: memFree=510620/1048576 swapFree=2078744/2097144
[pid=21963] ppid=21962 vsize=2572 CPUtime=0
/proc/21963/stat : 21963 (gj-paranoid-sol) S 21962 21963 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 271 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21963/statm: 643 271 232 194 0 29 0
[pid=21964] ppid=21963 vsize=420924 CPUtime=25.49
/proc/21964/stat : 21964 (java) S 21963 21963 2059 34821 2220 4202496 71019 0 1 0 2535 14 0 0 25 0 10 0 876061779 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21964/statm: 105231 58004 2883 10 0 99411 0
[pid=21964/tid=21966] ppid=21963 vsize=420924 CPUtime=20.12
/proc/21964/task/21966/stat : 21966 (java) R 21963 21963 2059 34821 2220 4202560 14131 0 1 0 2008 4 0 0 25 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4115286457 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21964/tid=21967] ppid=21963 vsize=420924 CPUtime=5.25
/proc/21964/task/21967/stat : 21967 (java) S 21963 21963 2059 34821 2220 4202560 55412 0 0 0 516 9 0 0 15 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21968] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21968/stat : 21968 (java) S 21963 21963 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 15 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21969] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21969/stat : 21969 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21970] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21970/stat : 21970 (java) S 21963 21963 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21971] ppid=21963 vsize=420924 CPUtime=0.11
/proc/21964/task/21971/stat : 21971 (java) S 21963 21963 2059 34821 2220 4202560 538 0 0 0 11 0 0 0 15 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21972] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21972/stat : 21972 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21973] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21973/stat : 21973 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21974] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21974/stat : 21974 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876062092 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 423496

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

[startup+25.6129 s]
/proc/loadavg: 1.24 1.20 1.18 2/56 21974
/proc/meminfo: memFree=510620/1048576 swapFree=2078744/2097144
[pid=21963] ppid=21962 vsize=2572 CPUtime=0
/proc/21963/stat : 21963 (gj-paranoid-sol) S 21962 21963 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 271 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21963/statm: 643 271 232 194 0 29 0
[pid=21964] ppid=21963 vsize=420924 CPUtime=25.6
/proc/21964/stat : 21964 (java) S 21963 21963 2059 34821 2220 4202496 71019 0 1 0 2546 14 0 0 25 0 10 0 876061779 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21964/statm: 105231 58004 2883 10 0 99411 0
[pid=21964/tid=21966] ppid=21963 vsize=420924 CPUtime=20.23
/proc/21964/task/21966/stat : 21966 (java) R 21963 21963 2059 34821 2220 4202560 14131 0 1 0 2019 4 0 0 25 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4115293803 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21964/tid=21967] ppid=21963 vsize=420924 CPUtime=5.25
/proc/21964/task/21967/stat : 21967 (java) S 21963 21963 2059 34821 2220 4202560 55412 0 0 0 516 9 0 0 15 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21968] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21968/stat : 21968 (java) S 21963 21963 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 15 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21969] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21969/stat : 21969 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21970] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21970/stat : 21970 (java) S 21963 21963 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21971] ppid=21963 vsize=420924 CPUtime=0.11
/proc/21964/task/21971/stat : 21971 (java) S 21963 21963 2059 34821 2220 4202560 538 0 0 0 11 0 0 0 15 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21972] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21972/stat : 21972 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21973] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21973/stat : 21973 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21974] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21974/stat : 21974 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876062092 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 423496

[startup+28.8137 s]
/proc/loadavg: 1.24 1.20 1.18 4/56 21974
/proc/meminfo: memFree=510744/1048576 swapFree=2078744/2097144
[pid=21963] ppid=21962 vsize=2572 CPUtime=0
/proc/21963/stat : 21963 (gj-paranoid-sol) S 21962 21963 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 271 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21963/statm: 643 271 232 194 0 29 0
[pid=21964] ppid=21963 vsize=420924 CPUtime=28.8
/proc/21964/stat : 21964 (java) S 21963 21963 2059 34821 2220 4202496 73445 0 1 0 2865 15 0 0 25 0 10 0 876061779 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21964/statm: 105231 58004 2883 10 0 99411 0
[pid=21964/tid=21966] ppid=21963 vsize=420924 CPUtime=22.95
/proc/21964/task/21966/stat : 21966 (java) R 21963 21963 2059 34821 2220 4202560 14131 0 1 0 2291 4 0 0 25 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21964/tid=21967] ppid=21963 vsize=420924 CPUtime=5.72
/proc/21964/task/21967/stat : 21967 (java) R 21963 21963 2059 34821 2220 4202560 57838 0 0 0 562 10 0 0 16 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4152766533 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=21964/tid=21968] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21968/stat : 21968 (java) S 21963 21963 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 15 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21969] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21969/stat : 21969 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21970] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21970/stat : 21970 (java) S 21963 21963 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21971] ppid=21963 vsize=420924 CPUtime=0.11
/proc/21964/task/21971/stat : 21971 (java) S 21963 21963 2059 34821 2220 4202560 538 0 0 0 11 0 0 0 15 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21972] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21972/stat : 21972 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21973] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21973/stat : 21973 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21974] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21974/stat : 21974 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876062092 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.8
Current children cumulated vsize (KiB) 423496

[startup+30.414 s]
/proc/loadavg: 1.24 1.20 1.18 2/56 21974
/proc/meminfo: memFree=510744/1048576 swapFree=2078744/2097144
[pid=21963] ppid=21962 vsize=2572 CPUtime=0
/proc/21963/stat : 21963 (gj-paranoid-sol) S 21962 21963 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 271 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21963/statm: 643 271 232 194 0 29 0
[pid=21964] ppid=21963 vsize=420924 CPUtime=30.4
/proc/21964/stat : 21964 (java) S 21963 21963 2059 34821 2220 4202496 73445 0 1 0 3025 15 0 0 25 0 10 0 876061779 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21964/statm: 105231 58004 2883 10 0 99411 0
[pid=21964/tid=21966] ppid=21963 vsize=420924 CPUtime=24.45
/proc/21964/task/21966/stat : 21966 (java) R 21963 21963 2059 34821 2220 4202560 14131 0 1 0 2441 4 0 0 25 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4115347429 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21964/tid=21967] ppid=21963 vsize=420924 CPUtime=5.82
/proc/21964/task/21967/stat : 21967 (java) S 21963 21963 2059 34821 2220 4202560 57838 0 0 0 572 10 0 0 15 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21968] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21968/stat : 21968 (java) S 21963 21963 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 15 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21969] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21969/stat : 21969 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21970] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21970/stat : 21970 (java) S 21963 21963 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21971] ppid=21963 vsize=420924 CPUtime=0.11
/proc/21964/task/21971/stat : 21971 (java) S 21963 21963 2059 34821 2220 4202560 538 0 0 0 11 0 0 0 15 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21972] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21972/stat : 21972 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21973] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21973/stat : 21973 (java) R 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21964/tid=21974] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21974/stat : 21974 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876062092 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.4
Current children cumulated vsize (KiB) 423496

[startup+32.0043 s]
/proc/loadavg: 1.22 1.20 1.18 2/56 21974
/proc/meminfo: memFree=510744/1048576 swapFree=2078744/2097144
[pid=21963] ppid=21962 vsize=2572 CPUtime=0
/proc/21963/stat : 21963 (gj-paranoid-sol) S 21962 21963 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 271 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21963/statm: 643 271 232 194 0 29 0
[pid=21964] ppid=21963 vsize=420924 CPUtime=31.99
/proc/21964/stat : 21964 (java) S 21963 21963 2059 34821 2220 4202496 73445 0 1 0 3184 15 0 0 25 0 10 0 876061779 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21964/statm: 105231 58004 2883 10 0 99411 0
[pid=21964/tid=21966] ppid=21963 vsize=420924 CPUtime=26.04
/proc/21964/task/21966/stat : 21966 (java) R 21963 21963 2059 34821 2220 4202560 14131 0 1 0 2600 4 0 0 25 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4114479394 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21964/tid=21967] ppid=21963 vsize=420924 CPUtime=5.82
/proc/21964/task/21967/stat : 21967 (java) S 21963 21963 2059 34821 2220 4202560 57838 0 0 0 572 10 0 0 15 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21968] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21968/stat : 21968 (java) S 21963 21963 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 15 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21969] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21969/stat : 21969 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21970] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21970/stat : 21970 (java) S 21963 21963 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21971] ppid=21963 vsize=420924 CPUtime=0.11
/proc/21964/task/21971/stat : 21971 (java) S 21963 21963 2059 34821 2220 4202560 538 0 0 0 11 0 0 0 15 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21972] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21972/stat : 21972 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21973] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21973/stat : 21973 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21974] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21974/stat : 21974 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876062092 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 31.99
Current children cumulated vsize (KiB) 423496

[startup+32.8045 s]
/proc/loadavg: 1.22 1.20 1.18 2/56 21974
/proc/meminfo: memFree=510744/1048576 swapFree=2078744/2097144
[pid=21963] ppid=21962 vsize=2572 CPUtime=0
/proc/21963/stat : 21963 (gj-paranoid-sol) S 21962 21963 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 271 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21963/statm: 643 271 232 194 0 29 0
[pid=21964] ppid=21963 vsize=420924 CPUtime=32.8
/proc/21964/stat : 21964 (java) S 21963 21963 2059 34821 2220 4202496 73445 0 1 0 3265 15 0 0 25 0 10 0 876061779 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21964/statm: 105231 58004 2883 10 0 99411 0
[pid=21964/tid=21966] ppid=21963 vsize=420924 CPUtime=26.84
/proc/21964/task/21966/stat : 21966 (java) R 21963 21963 2059 34821 2220 4202560 14131 0 1 0 2680 4 0 0 25 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4115262212 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21964/tid=21967] ppid=21963 vsize=420924 CPUtime=5.82
/proc/21964/task/21967/stat : 21967 (java) S 21963 21963 2059 34821 2220 4202560 57838 0 0 0 572 10 0 0 15 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21968] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21968/stat : 21968 (java) S 21963 21963 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 15 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21969] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21969/stat : 21969 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21970] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21970/stat : 21970 (java) S 21963 21963 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21971] ppid=21963 vsize=420924 CPUtime=0.11
/proc/21964/task/21971/stat : 21971 (java) S 21963 21963 2059 34821 2220 4202560 538 0 0 0 11 0 0 0 15 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21972] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21972/stat : 21972 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21973] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21973/stat : 21973 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21974] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21974/stat : 21974 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876062092 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.8
Current children cumulated vsize (KiB) 423496

[startup+33.2046 s]
/proc/loadavg: 1.22 1.20 1.18 2/56 21974
/proc/meminfo: memFree=510744/1048576 swapFree=2078744/2097144
[pid=21963] ppid=21962 vsize=2572 CPUtime=0
/proc/21963/stat : 21963 (gj-paranoid-sol) S 21962 21963 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 271 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21963/statm: 643 271 232 194 0 29 0
[pid=21964] ppid=21963 vsize=420924 CPUtime=33.2
/proc/21964/stat : 21964 (java) S 21963 21963 2059 34821 2220 4202496 73445 0 1 0 3305 15 0 0 25 0 10 0 876061779 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21964/statm: 105231 58004 2883 10 0 99411 0
[pid=21964/tid=21966] ppid=21963 vsize=420924 CPUtime=27.24
/proc/21964/task/21966/stat : 21966 (java) R 21963 21963 2059 34821 2220 4202560 14131 0 1 0 2720 4 0 0 25 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4115346532 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21964/tid=21967] ppid=21963 vsize=420924 CPUtime=5.82
/proc/21964/task/21967/stat : 21967 (java) S 21963 21963 2059 34821 2220 4202560 57838 0 0 0 572 10 0 0 15 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21968] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21968/stat : 21968 (java) S 21963 21963 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 15 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21969] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21969/stat : 21969 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876061780 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21970] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21970/stat : 21970 (java) S 21963 21963 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21971] ppid=21963 vsize=420924 CPUtime=0.11
/proc/21964/task/21971/stat : 21971 (java) S 21963 21963 2059 34821 2220 4202560 538 0 0 0 11 0 0 0 15 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21972] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21972/stat : 21972 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21973] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21973/stat : 21973 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876061782 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21974] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21974/stat : 21974 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876062092 431026176 58004 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.2
Current children cumulated vsize (KiB) 423496

[startup+33.3046 s]
/proc/loadavg: 1.22 1.20 1.18 2/56 21974
/proc/meminfo: memFree=510744/1048576 swapFree=2078744/2097144
[pid=21963] ppid=21962 vsize=2572 CPUtime=0
/proc/21963/stat : 21963 (gj-paranoid-sol) S 21962 21963 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876061779 2633728 271 1283457024 134512640 135304128 4290092352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21963/statm: 643 271 232 194 0 29 0
[pid=21964] ppid=21963 vsize=420924 CPUtime=33.3
/proc/21964/stat : 21964 (java) S 21963 21963 2059 34821 2220 4202496 73447 0 1 0 3315 15 0 0 25 0 9 0 876061779 431026176 58006 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21964/statm: 105231 58006 2883 10 0 99411 0
[pid=21964/tid=21966] ppid=21963 vsize=420924 CPUtime=27.34
/proc/21964/task/21966/stat : 21966 (java) R 21963 21963 2059 34821 2220 4202560 14133 0 1 0 2730 4 0 0 25 0 9 0 876061780 431026176 58006 1283457024 134512640 134550932 4287283696 18446744073709551615 4114644624 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21964/tid=21967] ppid=21963 vsize=420924 CPUtime=5.82
/proc/21964/task/21967/stat : 21967 (java) S 21963 21963 2059 34821 2220 4202560 57838 0 0 0 572 10 0 0 15 0 9 0 876061780 431026176 58006 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 0 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21968] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21968/stat : 21968 (java) S 21963 21963 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 15 0 9 0 876061780 431026176 58006 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21969] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21969/stat : 21969 (java) S 21963 21963 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 9 0 876061780 431026176 58006 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21970] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21970/stat : 21970 (java) S 21963 21963 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876061782 431026176 58006 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21971] ppid=21963 vsize=420924 CPUtime=0.11
/proc/21964/task/21971/stat : 21971 (java) S 21963 21963 2059 34821 2220 4202560 538 0 0 0 11 0 0 0 15 0 9 0 876061782 431026176 58006 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21972] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21972/stat : 21972 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 9 0 876061782 431026176 58006 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
[pid=21964/tid=21973] ppid=21963 vsize=420924 CPUtime=0
/proc/21964/task/21973/stat : 21973 (java) S 21963 21963 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 876061782 431026176 58006 1283457024 134512640 134550932 4287283696 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.3
Current children cumulated vsize (KiB) 423496

Child status: 0
Real time (s): 33.3687
CPU time (s): 33.3221
CPU user time (s): 33.1581
CPU system time (s): 0.16401
CPU usage (%): 99.8602
Max. virtual memory (cumulated for all children) (KiB): 424264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.1581
system time used= 0.16401
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73839
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= 1273
involuntary context switches= 1621

runsolver used 0 second user time and 0 second system time

The end