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/201108251442/gj-paranoid-solver-1.0/rand50.cudf.s-e-l-s.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/incremental/s-e-l-s/rand50.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand50.cudf.s-e-l-s.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.04 1.03 1.00 3/35 17078
/proc/meminfo: memFree=399928/1048576 swapFree=0/0
[pid=17076] ppid=17075 vsize=2564 CPUtime=0
/proc/17076/stat : 17076 (gj-paranoid-sol) S 17075 17076 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 24 0 1 0 11071962 2625536 269 1283457024 134512640 135304128 4288105360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17076/statm: 641 269 229 194 0 28 0
[pid=17077] ppid=17076 vsize=11356 CPUtime=0.01
/proc/17077/stat : 17077 (java) S 17076 17076 4778 34817 4778 4202496 917 0 0 0 0 1 0 0 24 0 2 0 11071962 11628544 651 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17077/statm: 2839 651 285 10 0 1185 0
[pid=17077/tid=17078] ppid=17076 vsize=11356 CPUtime=0
/proc/17077/task/17078/stat : 17078 (java) R 17076 17076 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 2 0 11071963 11628544 651 1283457024 134512640 134550932 4289346560 18446744073709551615 4159856232 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.125331 s]
/proc/loadavg: 1.04 1.03 1.00 3/35 17078
/proc/meminfo: memFree=399928/1048576 swapFree=0/0
[pid=17076] ppid=17075 vsize=2564 CPUtime=0
/proc/17076/stat : 17076 (gj-paranoid-sol) S 17075 17076 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 24 0 1 0 11071962 2625536 269 1283457024 134512640 135304128 4288105360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17076/statm: 641 269 229 194 0 28 0
[pid=17077] ppid=17076 vsize=409796 CPUtime=0.12
/proc/17077/stat : 17077 (java) S 17076 17076 4778 34817 4778 4202496 3725 0 1 0 10 2 0 0 24 0 9 0 11071962 419631104 3157 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17077/statm: 102449 3157 1787 10 0 96597 0
[pid=17077/tid=17078] ppid=17076 vsize=409796 CPUtime=0.11
/proc/17077/task/17078/stat : 17078 (java) R 17076 17076 4778 34817 4778 4202560 2759 0 1 0 10 1 0 0 25 0 9 0 11071963 419631104 3157 1283457024 134512640 134550932 4289346560 18446744073709551615 4115197269 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 412360

[startup+0.205338 s]
/proc/loadavg: 1.04 1.03 1.00 3/35 17078
/proc/meminfo: memFree=399928/1048576 swapFree=0/0
[pid=17076] ppid=17075 vsize=2564 CPUtime=0
/proc/17076/stat : 17076 (gj-paranoid-sol) S 17075 17076 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 24 0 1 0 11071962 2625536 269 1283457024 134512640 135304128 4288105360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17076/statm: 641 269 229 194 0 28 0
[pid=17077] ppid=17076 vsize=410100 CPUtime=0.2
/proc/17077/stat : 17077 (java) S 17076 17076 4778 34817 4778 4202496 4275 0 1 0 18 2 0 0 24 0 9 0 11071962 419942400 3707 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17077/statm: 102525 3707 1928 10 0 96673 0
[pid=17077/tid=17078] ppid=17076 vsize=410100 CPUtime=0.18
/proc/17077/task/17078/stat : 17078 (java) R 17076 17076 4778 34817 4778 4202560 3082 0 1 0 17 1 0 0 25 0 9 0 11071963 419942400 3707 1283457024 134512640 134550932 4289346560 18446744073709551615 4151244795 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) 412664

[startup+0.305353 s]
/proc/loadavg: 1.04 1.03 1.00 3/35 17078
/proc/meminfo: memFree=399928/1048576 swapFree=0/0
[pid=17076] ppid=17075 vsize=2564 CPUtime=0
/proc/17076/stat : 17076 (gj-paranoid-sol) S 17075 17076 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 24 0 1 0 11071962 2625536 269 1283457024 134512640 135304128 4288105360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17076/statm: 641 269 229 194 0 28 0
[pid=17077] ppid=17076 vsize=410248 CPUtime=0.31
/proc/17077/stat : 17077 (java) S 17076 17076 4778 34817 4778 4202496 5339 0 1 0 27 4 0 0 24 0 9 0 11071962 420093952 4771 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17077/statm: 102562 4771 1933 10 0 96710 0
[pid=17077/tid=17078] ppid=17076 vsize=410248 CPUtime=0.25
/proc/17077/task/17078/stat : 17078 (java) R 17076 17076 4778 34817 4778 4202560 3499 0 1 0 24 1 0 0 25 0 9 0 11071963 420093952 4771 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412812

[startup+0.705429 s]
/proc/loadavg: 1.04 1.03 1.00 3/35 17078
/proc/meminfo: memFree=399928/1048576 swapFree=0/0
[pid=17076] ppid=17075 vsize=2564 CPUtime=0
/proc/17076/stat : 17076 (gj-paranoid-sol) S 17075 17076 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 24 0 1 0 11071962 2625536 269 1283457024 134512640 135304128 4288105360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17076/statm: 641 269 229 194 0 28 0
[pid=17077] ppid=17076 vsize=410684 CPUtime=0.7
/proc/17077/stat : 17077 (java) S 17076 17076 4778 34817 4778 4202496 12896 0 1 0 65 5 0 0 24 0 9 0 11071962 420540416 12143 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17077/statm: 102671 12143 2895 10 0 96819 0
[pid=17077/tid=17078] ppid=17076 vsize=410684 CPUtime=0.45
/proc/17077/task/17078/stat : 17078 (java) R 17076 17076 4778 34817 4778 4202560 4189 0 1 0 44 1 0 0 25 0 9 0 11071963 420540416 12143 1283457024 134512640 134550932 4289346560 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) 413248

[startup+1.50557 s]
/proc/loadavg: 1.04 1.03 1.00 3/43 17086
/proc/meminfo: memFree=341572/1048576 swapFree=0/0
[pid=17076] ppid=17075 vsize=2564 CPUtime=0
/proc/17076/stat : 17076 (gj-paranoid-sol) S 17075 17076 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 24 0 1 0 11071962 2625536 269 1283457024 134512640 135304128 4288105360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17076/statm: 641 269 229 194 0 28 0
[pid=17077] ppid=17076 vsize=410816 CPUtime=1.5
/proc/17077/stat : 17077 (java) S 17076 17076 4778 34817 4778 4202496 27929 0 1 0 140 10 0 0 24 0 9 0 11071962 420675584 27176 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17077/statm: 102704 27176 2896 10 0 96852 0
[pid=17077/tid=17078] ppid=17076 vsize=410816 CPUtime=0.77
/proc/17077/task/17078/stat : 17078 (java) R 17076 17076 4778 34817 4778 4202560 6829 0 1 0 74 3 0 0 25 0 9 0 11071963 420675584 27176 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17077/tid=17080] ppid=17076 vsize=410816 CPUtime=0.68
/proc/17077/task/17080/stat : 17080 (java) R 17076 17076 4778 34817 4778 4202560 19729 0 0 0 62 6 0 0 19 0 9 0 11071964 420675584 27176 1283457024 134512640 134550932 4289346560 18446744073709551615 4151759798 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=17077/tid=17081] ppid=17076 vsize=410816 CPUtime=0
/proc/17077/task/17081/stat : 17081 (java) S 17076 17076 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11071964 420675584 27176 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17082] ppid=17076 vsize=410816 CPUtime=0
/proc/17077/task/17082/stat : 17082 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11071964 420675584 27176 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17083] ppid=17076 vsize=410816 CPUtime=0
/proc/17077/task/17083/stat : 17083 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11071965 420675584 27176 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17084] ppid=17076 vsize=410816 CPUtime=0.02
/proc/17077/task/17084/stat : 17084 (java) S 17076 17076 4778 34817 4778 4202560 432 0 0 0 2 0 0 0 17 0 9 0 11071965 420675584 27176 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17085] ppid=17076 vsize=410816 CPUtime=0
/proc/17077/task/17085/stat : 17085 (java) S 17076 17076 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11071965 420675584 27176 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17086] ppid=17076 vsize=410816 CPUtime=0
/proc/17077/task/17086/stat : 17086 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11071965 420675584 27176 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413380

[startup+3.11575 s]
/proc/loadavg: 1.04 1.03 1.00 2/43 17086
/proc/meminfo: memFree=266428/1048576 swapFree=0/0
[pid=17076] ppid=17075 vsize=2564 CPUtime=0
/proc/17076/stat : 17076 (gj-paranoid-sol) S 17075 17076 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 24 0 1 0 11071962 2625536 269 1283457024 134512640 135304128 4288105360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17076/statm: 641 269 229 194 0 28 0
[pid=17077] ppid=17076 vsize=410816 CPUtime=3.11
/proc/17077/stat : 17077 (java) S 17076 17076 4778 34817 4778 4202496 49340 0 1 0 296 15 0 0 24 0 9 0 11071962 420675584 48587 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17077/statm: 102704 48587 2896 10 0 96852 0
[pid=17077/tid=17078] ppid=17076 vsize=410816 CPUtime=1.42
/proc/17077/task/17078/stat : 17078 (java) R 17076 17076 4778 34817 4778 4202560 14254 0 1 0 134 8 0 0 25 0 9 0 11071963 420675584 48587 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17077/tid=17080] ppid=17076 vsize=410816 CPUtime=1.65
/proc/17077/task/17080/stat : 17080 (java) R 17076 17076 4778 34817 4778 4202560 33712 0 0 0 159 6 0 0 15 0 9 0 11071964 420675584 48587 1283457024 134512640 134550932 4289346560 18446744073709551615 4153569200 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=17077/tid=17081] ppid=17076 vsize=410816 CPUtime=0
/proc/17077/task/17081/stat : 17081 (java) S 17076 17076 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11071964 420675584 48587 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17082] ppid=17076 vsize=410816 CPUtime=0
/proc/17077/task/17082/stat : 17082 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11071964 420675584 48587 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17083] ppid=17076 vsize=410816 CPUtime=0
/proc/17077/task/17083/stat : 17083 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11071965 420675584 48587 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17084] ppid=17076 vsize=410816 CPUtime=0.02
/proc/17077/task/17084/stat : 17084 (java) S 17076 17076 4778 34817 4778 4202560 435 0 0 0 2 0 0 0 16 0 9 0 11071965 420675584 48587 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17085] ppid=17076 vsize=410816 CPUtime=0
/proc/17077/task/17085/stat : 17085 (java) S 17076 17076 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11071965 420675584 48587 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17086] ppid=17076 vsize=410816 CPUtime=0
/proc/17077/task/17086/stat : 17086 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11071965 420675584 48587 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 413380

[startup+6.30675 s]
/proc/loadavg: 1.11 1.05 1.01 3/43 17086
/proc/meminfo: memFree=115900/1048576 swapFree=0/0
[pid=17076] ppid=17075 vsize=2564 CPUtime=0
/proc/17076/stat : 17076 (gj-paranoid-sol) S 17075 17076 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 24 0 1 0 11071962 2625536 269 1283457024 134512640 135304128 4288105360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17076/statm: 641 269 229 194 0 28 0
[pid=17077] ppid=17076 vsize=414064 CPUtime=6.31
/proc/17077/stat : 17077 (java) S 17076 17076 4778 34817 4778 4202496 77157 0 1 0 606 25 0 0 24 0 9 0 11071962 424001536 71155 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17077/statm: 103516 71155 2911 10 0 97661 0
[pid=17077/tid=17078] ppid=17076 vsize=414064 CPUtime=2.44
/proc/17077/task/17078/stat : 17078 (java) R 17076 17076 4778 34817 4778 4202560 14565 0 1 0 236 8 0 0 25 0 9 0 11071963 424001536 71155 1283457024 134512640 134550932 4289346560 18446744073709551615 4115807171 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17077/tid=17080] ppid=17076 vsize=414064 CPUtime=3.81
/proc/17077/task/17080/stat : 17080 (java) S 17076 17076 4778 34817 4778 4202560 61186 0 0 0 366 15 0 0 17 0 9 0 11071964 424001536 71155 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17081] ppid=17076 vsize=414064 CPUtime=0
/proc/17077/task/17081/stat : 17081 (java) S 17076 17076 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 11071964 424001536 71155 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17082] ppid=17076 vsize=414064 CPUtime=0
/proc/17077/task/17082/stat : 17082 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 11071964 424001536 71155 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17083] ppid=17076 vsize=414064 CPUtime=0
/proc/17077/task/17083/stat : 17083 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11071965 424001536 71155 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17084] ppid=17076 vsize=414064 CPUtime=0.02
/proc/17077/task/17084/stat : 17084 (java) S 17076 17076 4778 34817 4778 4202560 467 0 0 0 2 0 0 0 15 0 9 0 11071965 424001536 71155 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17085] ppid=17076 vsize=414064 CPUtime=0
/proc/17077/task/17085/stat : 17085 (java) S 17076 17076 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11071965 424001536 71155 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17086] ppid=17076 vsize=414064 CPUtime=0
/proc/17077/task/17086/stat : 17086 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11071965 424001536 71155 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 416628

[startup+12.7085 s]
/proc/loadavg: 1.18 1.06 1.01 2/44 17087
/proc/meminfo: memFree=127548/1048576 swapFree=0/0
[pid=17076] ppid=17075 vsize=2564 CPUtime=0
/proc/17076/stat : 17076 (gj-paranoid-sol) S 17075 17076 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 24 0 1 0 11071962 2625536 269 1283457024 134512640 135304128 4288105360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17076/statm: 641 269 229 194 0 28 0
[pid=17077] ppid=17076 vsize=413752 CPUtime=12.71
/proc/17077/stat : 17077 (java) S 17076 17076 4778 34817 4778 4202496 82259 0 1 0 1244 27 0 0 24 0 10 0 11071962 423682048 71089 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17077/statm: 103438 71089 2912 10 0 97583 0
[pid=17077/tid=17078] ppid=17076 vsize=413752 CPUtime=7.08
/proc/17077/task/17078/stat : 17078 (java) R 17076 17076 4778 34817 4778 4202560 14594 0 1 0 700 8 0 0 25 0 10 0 11071963 423682048 71089 1283457024 134512640 134550932 4289346560 18446744073709551615 4115188023 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17077/tid=17080] ppid=17076 vsize=413752 CPUtime=5.52
/proc/17077/task/17080/stat : 17080 (java) S 17076 17076 4778 34817 4778 4202560 66191 0 0 0 535 17 0 0 16 0 10 0 11071964 423682048 71089 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17081] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17081/stat : 17081 (java) S 17076 17076 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71089 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17082] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17082/stat : 17082 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71089 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17083] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17083/stat : 17083 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71089 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17084] ppid=17076 vsize=413752 CPUtime=0.08
/proc/17077/task/17084/stat : 17084 (java) S 17076 17076 4778 34817 4778 4202560 530 0 0 0 8 0 0 0 16 0 10 0 11071965 423682048 71089 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17085] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17085/stat : 17085 (java) S 17076 17076 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71089 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17086] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17086/stat : 17086 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11071965 423682048 71089 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17087] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17087/stat : 17087 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11072813 423682048 71089 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 416316

[startup+25.5125 s]
/proc/loadavg: 1.14 1.06 1.01 2/44 17087
/proc/meminfo: memFree=127548/1048576 swapFree=0/0
[pid=17076] ppid=17075 vsize=2564 CPUtime=0
/proc/17076/stat : 17076 (gj-paranoid-sol) S 17075 17076 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 24 0 1 0 11071962 2625536 269 1283457024 134512640 135304128 4288105360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17076/statm: 641 269 229 194 0 28 0
[pid=17077] ppid=17076 vsize=413752 CPUtime=25.5
/proc/17077/stat : 17077 (java) S 17076 17076 4778 34817 4778 4202496 82270 0 1 0 2522 28 0 0 24 0 10 0 11071962 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17077/statm: 103438 71100 2914 10 0 97583 0
[pid=17077/tid=17078] ppid=17076 vsize=413752 CPUtime=19.5
/proc/17077/task/17078/stat : 17078 (java) R 17076 17076 4778 34817 4778 4202560 14595 0 1 0 1940 10 0 0 25 0 10 0 11071963 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4116148549 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17077/tid=17080] ppid=17076 vsize=413752 CPUtime=5.89
/proc/17077/task/17080/stat : 17080 (java) S 17076 17076 4778 34817 4778 4202560 66193 0 0 0 572 17 0 0 16 0 10 0 11071964 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17081] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17081/stat : 17081 (java) S 17076 17076 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17082] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17082/stat : 17082 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17083] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17083/stat : 17083 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17084] ppid=17076 vsize=413752 CPUtime=0.09
/proc/17077/task/17084/stat : 17084 (java) S 17076 17076 4778 34817 4778 4202560 538 0 0 0 9 0 0 0 15 0 10 0 11071965 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17085] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17085/stat : 17085 (java) S 17076 17076 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17086] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17086/stat : 17086 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11071965 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17087] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17087/stat : 17087 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11072813 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 416316

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

[startup+25.6125 s]
/proc/loadavg: 1.14 1.06 1.01 2/44 17087
/proc/meminfo: memFree=127548/1048576 swapFree=0/0
[pid=17076] ppid=17075 vsize=2564 CPUtime=0
/proc/17076/stat : 17076 (gj-paranoid-sol) S 17075 17076 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 24 0 1 0 11071962 2625536 269 1283457024 134512640 135304128 4288105360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17076/statm: 641 269 229 194 0 28 0
[pid=17077] ppid=17076 vsize=413752 CPUtime=25.6
/proc/17077/stat : 17077 (java) S 17076 17076 4778 34817 4778 4202496 82270 0 1 0 2532 28 0 0 24 0 10 0 11071962 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17077/statm: 103438 71100 2914 10 0 97583 0
[pid=17077/tid=17078] ppid=17076 vsize=413752 CPUtime=19.6
/proc/17077/task/17078/stat : 17078 (java) R 17076 17076 4778 34817 4778 4202560 14595 0 1 0 1950 10 0 0 25 0 10 0 11071963 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4116048864 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17077/tid=17080] ppid=17076 vsize=413752 CPUtime=5.89
/proc/17077/task/17080/stat : 17080 (java) S 17076 17076 4778 34817 4778 4202560 66193 0 0 0 572 17 0 0 16 0 10 0 11071964 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17081] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17081/stat : 17081 (java) S 17076 17076 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17082] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17082/stat : 17082 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17083] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17083/stat : 17083 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17084] ppid=17076 vsize=413752 CPUtime=0.09
/proc/17077/task/17084/stat : 17084 (java) S 17076 17076 4778 34817 4778 4202560 538 0 0 0 9 0 0 0 15 0 10 0 11071965 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17085] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17085/stat : 17085 (java) S 17076 17076 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17086] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17086/stat : 17086 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11071965 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17087] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17087/stat : 17087 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11072813 423682048 71100 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 416316

[startup+38.4063 s]
/proc/loadavg: 1.11 1.05 1.01 2/44 17087
/proc/meminfo: memFree=127548/1048576 swapFree=0/0
[pid=17076] ppid=17075 vsize=2564 CPUtime=0
/proc/17076/stat : 17076 (gj-paranoid-sol) S 17075 17076 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 24 0 1 0 11071962 2625536 269 1283457024 134512640 135304128 4288105360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17076/statm: 641 269 229 194 0 28 0
[pid=17077] ppid=17076 vsize=413752 CPUtime=38.38
/proc/17077/stat : 17077 (java) S 17076 17076 4778 34817 4778 4202496 82271 0 1 0 3810 28 0 0 24 0 10 0 11071962 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17077/statm: 103438 71101 2914 10 0 97583 0
[pid=17077/tid=17078] ppid=17076 vsize=413752 CPUtime=32.06
/proc/17077/task/17078/stat : 17078 (java) R 17076 17076 4778 34817 4778 4202560 14595 0 1 0 3196 10 0 0 25 0 10 0 11071963 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4116048336 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17077/tid=17080] ppid=17076 vsize=413752 CPUtime=6.21
/proc/17077/task/17080/stat : 17080 (java) S 17076 17076 4778 34817 4778 4202560 66193 0 0 0 604 17 0 0 15 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17081] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17081/stat : 17081 (java) S 17076 17076 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17082] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17082/stat : 17082 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17083] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17083/stat : 17083 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17084] ppid=17076 vsize=413752 CPUtime=0.09
/proc/17077/task/17084/stat : 17084 (java) S 17076 17076 4778 34817 4778 4202560 539 0 0 0 9 0 0 0 15 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17085] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17085/stat : 17085 (java) S 17076 17076 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17086] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17086/stat : 17086 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17087] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17087/stat : 17087 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11072813 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38.38
Current children cumulated vsize (KiB) 416316

[startup+44.8081 s]
/proc/loadavg: 1.10 1.05 1.01 2/44 17087
/proc/meminfo: memFree=127548/1048576 swapFree=0/0
[pid=17076] ppid=17075 vsize=2564 CPUtime=0
/proc/17076/stat : 17076 (gj-paranoid-sol) S 17075 17076 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 24 0 1 0 11071962 2625536 269 1283457024 134512640 135304128 4288105360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17076/statm: 641 269 229 194 0 28 0
[pid=17077] ppid=17076 vsize=413752 CPUtime=44.77
/proc/17077/stat : 17077 (java) S 17076 17076 4778 34817 4778 4202496 82271 0 1 0 4449 28 0 0 24 0 10 0 11071962 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17077/statm: 103438 71101 2914 10 0 97583 0
[pid=17077/tid=17078] ppid=17076 vsize=413752 CPUtime=38.46
/proc/17077/task/17078/stat : 17078 (java) R 17076 17076 4778 34817 4778 4202560 14595 0 1 0 3836 10 0 0 25 0 10 0 11071963 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4116017697 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17077/tid=17080] ppid=17076 vsize=413752 CPUtime=6.21
/proc/17077/task/17080/stat : 17080 (java) S 17076 17076 4778 34817 4778 4202560 66193 0 0 0 604 17 0 0 15 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17081] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17081/stat : 17081 (java) S 17076 17076 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17082] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17082/stat : 17082 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17083] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17083/stat : 17083 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17084] ppid=17076 vsize=413752 CPUtime=0.09
/proc/17077/task/17084/stat : 17084 (java) S 17076 17076 4778 34817 4778 4202560 539 0 0 0 9 0 0 0 15 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17085] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17085/stat : 17085 (java) S 17076 17076 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17086] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17086/stat : 17086 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17087] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17087/stat : 17087 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11072813 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 44.77
Current children cumulated vsize (KiB) 416316

[startup+46.4086 s]
/proc/loadavg: 1.10 1.05 1.01 2/44 17087
/proc/meminfo: memFree=127548/1048576 swapFree=0/0
[pid=17076] ppid=17075 vsize=2564 CPUtime=0
/proc/17076/stat : 17076 (gj-paranoid-sol) S 17075 17076 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 24 0 1 0 11071962 2625536 269 1283457024 134512640 135304128 4288105360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17076/statm: 641 269 229 194 0 28 0
[pid=17077] ppid=17076 vsize=413752 CPUtime=46.37
/proc/17077/stat : 17077 (java) S 17076 17076 4778 34817 4778 4202496 82271 0 1 0 4609 28 0 0 24 0 10 0 11071962 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17077/statm: 103438 71101 2914 10 0 97583 0
[pid=17077/tid=17078] ppid=17076 vsize=413752 CPUtime=40.03
/proc/17077/task/17078/stat : 17078 (java) R 17076 17076 4778 34817 4778 4202560 14595 0 1 0 3993 10 0 0 25 0 10 0 11071963 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4116032704 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17077/tid=17080] ppid=17076 vsize=413752 CPUtime=6.23
/proc/17077/task/17080/stat : 17080 (java) S 17076 17076 4778 34817 4778 4202560 66193 0 0 0 606 17 0 0 16 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17081] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17081/stat : 17081 (java) S 17076 17076 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17082] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17082/stat : 17082 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17083] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17083/stat : 17083 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17084] ppid=17076 vsize=413752 CPUtime=0.09
/proc/17077/task/17084/stat : 17084 (java) S 17076 17076 4778 34817 4778 4202560 539 0 0 0 9 0 0 0 15 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17085] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17085/stat : 17085 (java) S 17076 17076 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17086] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17086/stat : 17086 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17087] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17087/stat : 17087 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11072813 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 46.37
Current children cumulated vsize (KiB) 416316

[startup+48.0092 s]
/proc/loadavg: 1.09 1.05 1.01 2/44 17087
/proc/meminfo: memFree=127548/1048576 swapFree=0/0
[pid=17076] ppid=17075 vsize=2564 CPUtime=0
/proc/17076/stat : 17076 (gj-paranoid-sol) S 17075 17076 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 24 0 1 0 11071962 2625536 269 1283457024 134512640 135304128 4288105360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17076/statm: 641 269 229 194 0 28 0
[pid=17077] ppid=17076 vsize=413752 CPUtime=47.97
/proc/17077/stat : 17077 (java) S 17076 17076 4778 34817 4778 4202496 82271 0 1 0 4769 28 0 0 24 0 10 0 11071962 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17077/statm: 103438 71101 2914 10 0 97583 0
[pid=17077/tid=17078] ppid=17076 vsize=413752 CPUtime=41.63
/proc/17077/task/17078/stat : 17078 (java) R 17076 17076 4778 34817 4778 4202560 14595 0 1 0 4153 10 0 0 25 0 10 0 11071963 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4116079173 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17077/tid=17080] ppid=17076 vsize=413752 CPUtime=6.23
/proc/17077/task/17080/stat : 17080 (java) S 17076 17076 4778 34817 4778 4202560 66193 0 0 0 606 17 0 0 15 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17081] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17081/stat : 17081 (java) S 17076 17076 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17082] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17082/stat : 17082 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17083] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17083/stat : 17083 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17084] ppid=17076 vsize=413752 CPUtime=0.09
/proc/17077/task/17084/stat : 17084 (java) S 17076 17076 4778 34817 4778 4202560 539 0 0 0 9 0 0 0 15 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17085] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17085/stat : 17085 (java) S 17076 17076 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17086] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17086/stat : 17086 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17087] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17087/stat : 17087 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11072813 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.97
Current children cumulated vsize (KiB) 416316

[startup+48.4093 s]
/proc/loadavg: 1.09 1.05 1.01 2/44 17087
/proc/meminfo: memFree=127548/1048576 swapFree=0/0
[pid=17076] ppid=17075 vsize=2564 CPUtime=0
/proc/17076/stat : 17076 (gj-paranoid-sol) S 17075 17076 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 24 0 1 0 11071962 2625536 269 1283457024 134512640 135304128 4288105360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17076/statm: 641 269 229 194 0 28 0
[pid=17077] ppid=17076 vsize=413752 CPUtime=48.37
/proc/17077/stat : 17077 (java) S 17076 17076 4778 34817 4778 4202496 82271 0 1 0 4809 28 0 0 24 0 10 0 11071962 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17077/statm: 103438 71101 2914 10 0 97583 0
[pid=17077/tid=17078] ppid=17076 vsize=413752 CPUtime=42.03
/proc/17077/task/17078/stat : 17078 (java) R 17076 17076 4778 34817 4778 4202560 14595 0 1 0 4193 10 0 0 25 0 10 0 11071963 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4116148549 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17077/tid=17080] ppid=17076 vsize=413752 CPUtime=6.23
/proc/17077/task/17080/stat : 17080 (java) S 17076 17076 4778 34817 4778 4202560 66193 0 0 0 606 17 0 0 15 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17081] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17081/stat : 17081 (java) S 17076 17076 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17082] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17082/stat : 17082 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17083] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17083/stat : 17083 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17084] ppid=17076 vsize=413752 CPUtime=0.09
/proc/17077/task/17084/stat : 17084 (java) S 17076 17076 4778 34817 4778 4202560 539 0 0 0 9 0 0 0 15 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17085] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17085/stat : 17085 (java) S 17076 17076 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17086] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17086/stat : 17086 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17087] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17087/stat : 17087 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11072813 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.37
Current children cumulated vsize (KiB) 416316

[startup+48.6094 s]
/proc/loadavg: 1.09 1.05 1.01 2/44 17087
/proc/meminfo: memFree=127548/1048576 swapFree=0/0
[pid=17076] ppid=17075 vsize=2564 CPUtime=0
/proc/17076/stat : 17076 (gj-paranoid-sol) S 17075 17076 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 24 0 1 0 11071962 2625536 269 1283457024 134512640 135304128 4288105360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17076/statm: 641 269 229 194 0 28 0
[pid=17077] ppid=17076 vsize=413752 CPUtime=48.57
/proc/17077/stat : 17077 (java) S 17076 17076 4778 34817 4778 4202496 82271 0 1 0 4829 28 0 0 24 0 10 0 11071962 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17077/statm: 103438 71101 2914 10 0 97583 0
[pid=17077/tid=17078] ppid=17076 vsize=413752 CPUtime=42.23
/proc/17077/task/17078/stat : 17078 (java) R 17076 17076 4778 34817 4778 4202560 14595 0 1 0 4213 10 0 0 25 0 10 0 11071963 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4116148549 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17077/tid=17080] ppid=17076 vsize=413752 CPUtime=6.23
/proc/17077/task/17080/stat : 17080 (java) S 17076 17076 4778 34817 4778 4202560 66193 0 0 0 606 17 0 0 15 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17081] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17081/stat : 17081 (java) S 17076 17076 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17082] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17082/stat : 17082 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11071964 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17083] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17083/stat : 17083 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17084] ppid=17076 vsize=413752 CPUtime=0.09
/proc/17077/task/17084/stat : 17084 (java) S 17076 17076 4778 34817 4778 4202560 539 0 0 0 9 0 0 0 15 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17085] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17085/stat : 17085 (java) S 17076 17076 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17086] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17086/stat : 17086 (java) S 17076 17076 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11071965 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=17077/tid=17087] ppid=17076 vsize=413752 CPUtime=0
/proc/17077/task/17087/stat : 17087 (java) S 17076 17076 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11072813 423682048 71101 1283457024 134512640 134550932 4289346560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.57
Current children cumulated vsize (KiB) 416316

Child status: 0
Real time (s): 48.6995
CPU time (s): 48.635
CPU user time (s): 48.331
CPU system time (s): 0.304019
CPU usage (%): 99.8677
Max. virtual memory (cumulated for all children) (KiB): 437284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.331
system time used= 0.304019
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82661
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= 1645
involuntary context switches= 2208

runsolver used 0 second user time and 0 second system time

The end