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/201108311143/gj-user-solver-1.0/7c834c0e-51b8-11e0-a49e-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//7c834c0e-51b8-11e0-a49e-00163e1e087d.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/7c834c0e-51b8-11e0-a49e-00163e1e087d.cudf.dudf-real.result -sum(installedsize) 

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: 0.85 1.01 1.01 5/37 30796
/proc/meminfo: memFree=694040/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=11356 CPUtime=0.01
/proc/30795/stat : 30795 (java) R 30794 30794 19908 34817 19908 4202496 917 0 0 0 0 1 0 0 25 0 2 0 66206015 11628544 651 1283457024 134512640 134550932 4294508736 18446744073709551615 4159135336 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 2839 651 285 10 0 1185 0
[pid=30795/tid=30796] ppid=30794 vsize=11356 CPUtime=0
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 2 0 66206015 11628544 651 1283457024 134512640 134550932 4294508736 18446744073709551615 4159135336 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.135147 s]
/proc/loadavg: 0.85 1.01 1.01 5/37 30796
/proc/meminfo: memFree=694040/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=410200 CPUtime=0.13
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 4153 0 1 0 11 2 0 0 25 0 9 0 66206015 420044800 3585 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102550 3585 1929 10 0 96698 0
[pid=30795/tid=30796] ppid=30794 vsize=410200 CPUtime=0.11
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 2951 0 1 0 10 1 0 0 25 0 9 0 66206015 420044800 3585 1283457024 134512640 134550932 4294508736 18446744073709551615 4114481988 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 412768

[startup+0.205156 s]
/proc/loadavg: 0.85 1.01 1.01 5/37 30796
/proc/meminfo: memFree=694040/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=410200 CPUtime=0.2
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 4631 0 1 0 17 3 0 0 25 0 9 0 66206015 420044800 4062 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102550 4062 1940 10 0 96698 0
[pid=30795/tid=30796] ppid=30794 vsize=410200 CPUtime=0.18
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 3429 0 1 0 16 2 0 0 25 0 9 0 66206015 420044800 4062 1283457024 134512640 134550932 4294508736 18446744073709551615 4114440171 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) 412768

[startup+0.305173 s]
/proc/loadavg: 0.85 1.01 1.01 5/37 30796
/proc/meminfo: memFree=694040/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=410200 CPUtime=0.3
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 5302 0 1 0 26 4 0 0 25 0 9 0 66206015 420044800 4732 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102550 4732 1946 10 0 96698 0
[pid=30795/tid=30796] ppid=30794 vsize=410200 CPUtime=0.27
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 3513 0 1 0 25 2 0 0 25 0 9 0 66206015 420044800 4732 1283457024 134512640 134550932 4294508736 18446744073709551615 4114487380 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412768

[startup+0.705289 s]
/proc/loadavg: 0.85 1.01 1.01 5/37 30796
/proc/meminfo: memFree=694040/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=410752 CPUtime=0.7
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 12874 0 1 0 63 7 0 0 25 0 9 0 66206015 420610048 12120 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102688 12120 2900 10 0 96836 0
[pid=30795/tid=30796] ppid=30794 vsize=410752 CPUtime=0.49
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 4202 0 1 0 45 4 0 0 25 0 9 0 66206015 420610048 12120 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413320

[startup+1.50541 s]
/proc/loadavg: 0.85 1.01 1.01 2/45 30804
/proc/meminfo: memFree=635932/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=410752 CPUtime=1.51
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 27458 0 1 0 135 16 0 0 25 0 9 0 66206015 420610048 26704 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102688 26704 2900 10 0 96836 0
[pid=30795/tid=30796] ppid=30794 vsize=410752 CPUtime=0.82
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 6810 0 1 0 75 7 0 0 25 0 9 0 66206015 420610048 26704 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30798] ppid=30794 vsize=410752 CPUtime=0.64
/proc/30795/task/30798/stat : 30798 (java) R 30794 30794 19908 34817 19908 4202560 19267 0 0 0 57 7 0 0 18 0 9 0 66206016 420610048 26704 1283457024 134512640 134550932 4294508736 18446744073709551615 4150740920 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30799] ppid=30794 vsize=410752 CPUtime=0
/proc/30795/task/30799/stat : 30799 (java) S 30794 30794 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 66206016 420610048 26704 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30800] ppid=30794 vsize=410752 CPUtime=0
/proc/30795/task/30800/stat : 30800 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 66206016 420610048 26704 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30801] ppid=30794 vsize=410752 CPUtime=0
/proc/30795/task/30801/stat : 30801 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66206017 420610048 26704 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30802] ppid=30794 vsize=410752 CPUtime=0.02
/proc/30795/task/30802/stat : 30802 (java) S 30794 30794 19908 34817 19908 4202560 441 0 0 0 2 0 0 0 21 0 9 0 66206017 420610048 26704 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30803] ppid=30794 vsize=410752 CPUtime=0
/proc/30795/task/30803/stat : 30803 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66206018 420610048 26704 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30804] ppid=30794 vsize=410752 CPUtime=0
/proc/30795/task/30804/stat : 30804 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 66206018 420610048 26704 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 413320

[startup+3.12578 s]
/proc/loadavg: 0.94 1.02 1.01 2/45 30804
/proc/meminfo: memFree=561160/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=410884 CPUtime=3.13
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 50704 0 1 0 285 28 0 0 25 0 9 0 66206015 420745216 49944 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102721 49944 2902 10 0 96869 0
[pid=30795/tid=30796] ppid=30794 vsize=410884 CPUtime=1.43
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 14285 0 1 0 130 13 0 0 25 0 9 0 66206015 420745216 49944 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30798] ppid=30794 vsize=410884 CPUtime=1.62
/proc/30795/task/30798/stat : 30798 (java) R 30794 30794 19908 34817 19908 4202560 35016 0 0 0 149 13 0 0 16 0 9 0 66206016 420745216 49944 1283457024 134512640 134550932 4294508736 18446744073709551615 4152434851 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30799] ppid=30794 vsize=410884 CPUtime=0
/proc/30795/task/30799/stat : 30799 (java) S 30794 30794 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 66206016 420745216 49944 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30800] ppid=30794 vsize=410884 CPUtime=0
/proc/30795/task/30800/stat : 30800 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 66206016 420745216 49944 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30801] ppid=30794 vsize=410884 CPUtime=0
/proc/30795/task/30801/stat : 30801 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66206017 420745216 49944 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30802] ppid=30794 vsize=410884 CPUtime=0.04
/proc/30795/task/30802/stat : 30802 (java) S 30794 30794 19908 34817 19908 4202560 463 0 0 0 4 0 0 0 15 0 9 0 66206017 420745216 49944 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30803] ppid=30794 vsize=410884 CPUtime=0
/proc/30795/task/30803/stat : 30803 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66206018 420745216 49944 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30804] ppid=30794 vsize=410884 CPUtime=0
/proc/30795/task/30804/stat : 30804 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 66206018 420745216 49944 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 413452

[startup+6.30283 s]
/proc/loadavg: 0.94 1.02 1.01 2/46 30806
/proc/meminfo: memFree=490968/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=411220 CPUtime=6.24
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 58858 0 1 0 596 28 0 0 25 0 10 0 66206015 421089280 58011 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102805 58011 2919 10 0 96950 0
[pid=30795/tid=30796] ppid=30794 vsize=411220 CPUtime=4.25
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 14535 0 1 0 412 13 0 0 25 0 10 0 66206015 421089280 58011 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30798] ppid=30794 vsize=411220 CPUtime=1.87
/proc/30795/task/30798/stat : 30798 (java) R 30794 30794 19908 34817 19908 4202560 42849 0 0 0 173 14 0 0 16 0 10 0 66206016 421089280 58011 1283457024 134512640 134550932 4294508736 18446744073709551615 4152851032 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30799] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30799/stat : 30799 (java) S 30794 30794 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66206016 421089280 58011 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30800] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30800/stat : 30800 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66206016 421089280 58011 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30801] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30801/stat : 30801 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206017 421089280 58011 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30802] ppid=30794 vsize=411220 CPUtime=0.1
/proc/30795/task/30802/stat : 30802 (java) S 30794 30794 19908 34817 19908 4202560 529 0 0 0 10 0 0 0 16 0 10 0 66206017 421089280 58011 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30803] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30803/stat : 30803 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206018 421089280 58011 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30804] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30804/stat : 30804 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66206018 421089280 58011 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30805] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30805/stat : 30805 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66206357 421089280 58011 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 413788

[startup+12.7139 s]
/proc/loadavg: 1.10 1.05 1.02 3/46 30806
/proc/meminfo: memFree=476716/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=411220 CPUtime=12.62
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 58859 0 1 0 1234 28 0 0 25 0 10 0 66206015 421089280 57258 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102805 57258 2919 10 0 96950 0
[pid=30795/tid=30796] ppid=30794 vsize=411220 CPUtime=10.43
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 14535 0 1 0 1030 13 0 0 25 0 10 0 66206015 421089280 57258 1283457024 134512640 134550932 4294508736 18446744073709551615 4115308032 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30798] ppid=30794 vsize=411220 CPUtime=2.07
/proc/30795/task/30798/stat : 30798 (java) S 30794 30794 19908 34817 19908 4202560 42849 0 0 0 193 14 0 0 15 0 10 0 66206016 421089280 57258 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30799] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30799/stat : 30799 (java) S 30794 30794 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 57258 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30800] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30800/stat : 30800 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 57258 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30801] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30801/stat : 30801 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206017 421089280 57258 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30802] ppid=30794 vsize=411220 CPUtime=0.1
/proc/30795/task/30802/stat : 30802 (java) S 30794 30794 19908 34817 19908 4202560 530 0 0 0 10 0 0 0 15 0 10 0 66206017 421089280 57258 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30803] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30803/stat : 30803 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206018 421089280 57258 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30804] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30804/stat : 30804 (java) R 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66206018 421089280 57258 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30805] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30805/stat : 30805 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66206357 421089280 57258 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 413788

[startup+25.5068 s]
/proc/loadavg: 1.08 1.05 1.02 2/46 30807
/proc/meminfo: memFree=550372/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=411220 CPUtime=25.42
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 59010 0 1 0 2511 31 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102805 38859 2919 10 0 96950 0
[pid=30795/tid=30796] ppid=30794 vsize=411220 CPUtime=22.75
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 14535 0 1 0 2262 13 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4115302560 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30798] ppid=30794 vsize=411220 CPUtime=2.55
/proc/30795/task/30798/stat : 30798 (java) S 30794 30794 19908 34817 19908 4202560 42999 0 0 0 238 17 0 0 16 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30799] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30799/stat : 30799 (java) S 30794 30794 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30800] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30800/stat : 30800 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30801] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30801/stat : 30801 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30802] ppid=30794 vsize=411220 CPUtime=0.1
/proc/30795/task/30802/stat : 30802 (java) S 30794 30794 19908 34817 19908 4202560 531 0 0 0 10 0 0 0 15 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30803] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30803/stat : 30803 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30804] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30804/stat : 30804 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30805] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30805/stat : 30805 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66206357 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 413788

[startup+51.1117 s]
/proc/loadavg: 1.05 1.05 1.02 2/46 30810
/proc/meminfo: memFree=550372/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=411220 CPUtime=51
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 59010 0 1 0 5069 31 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102805 38859 2919 10 0 96950 0
[pid=30795/tid=30796] ppid=30794 vsize=411220 CPUtime=47.86
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 14535 0 1 0 4773 13 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4115056454 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30798] ppid=30794 vsize=411220 CPUtime=3.02
/proc/30795/task/30798/stat : 30798 (java) S 30794 30794 19908 34817 19908 4202560 42999 0 0 0 285 17 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30799] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30799/stat : 30799 (java) S 30794 30794 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30800] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30800/stat : 30800 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30801] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30801/stat : 30801 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30802] ppid=30794 vsize=411220 CPUtime=0.1
/proc/30795/task/30802/stat : 30802 (java) S 30794 30794 19908 34817 19908 4202560 531 0 0 0 10 0 0 0 15 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30803] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30803/stat : 30803 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30804] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30804/stat : 30804 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30805] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30805/stat : 30805 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66206357 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 413788

[startup+102.307 s]
/proc/loadavg: 1.02 1.04 1.01 2/45 30812
/proc/meminfo: memFree=550388/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=411220 CPUtime=102.21
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 59010 0 1 0 10190 31 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102805 38859 2919 10 0 96950 0
[pid=30795/tid=30796] ppid=30794 vsize=411220 CPUtime=98.34
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 14535 0 1 0 9821 13 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4115395078 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30798] ppid=30794 vsize=411220 CPUtime=3.74
/proc/30795/task/30798/stat : 30798 (java) S 30794 30794 19908 34817 19908 4202560 42999 0 0 0 357 17 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30799] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30799/stat : 30799 (java) S 30794 30794 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30800] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30800/stat : 30800 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30801] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30801/stat : 30801 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30802] ppid=30794 vsize=411220 CPUtime=0.1
/proc/30795/task/30802/stat : 30802 (java) S 30794 30794 19908 34817 19908 4202560 531 0 0 0 10 0 0 0 15 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30803] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30803/stat : 30803 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30804] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30804/stat : 30804 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30805] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30805/stat : 30805 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66206357 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 413788

[startup+162.31 s]
/proc/loadavg: 1.00 1.03 1.01 2/44 30812
/proc/meminfo: memFree=550396/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=411220 CPUtime=162.14
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 59010 0 1 0 16182 32 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102805 38859 2919 10 0 96950 0
[pid=30795/tid=30796] ppid=30794 vsize=411220 CPUtime=157.59
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 14535 0 1 0 15745 14 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4115322928 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30798] ppid=30794 vsize=411220 CPUtime=4.43
/proc/30795/task/30798/stat : 30798 (java) S 30794 30794 19908 34817 19908 4202560 42999 0 0 0 426 17 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30799] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30799/stat : 30799 (java) S 30794 30794 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30800] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30800/stat : 30800 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30801] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30801/stat : 30801 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30802] ppid=30794 vsize=411220 CPUtime=0.1
/proc/30795/task/30802/stat : 30802 (java) S 30794 30794 19908 34817 19908 4202560 531 0 0 0 10 0 0 0 15 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30803] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30803/stat : 30803 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30804] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30804/stat : 30804 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30805] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30805/stat : 30805 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66206357 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 413788

[startup+222.315 s]
/proc/loadavg: 1.04 1.03 1.00 2/44 30812
/proc/meminfo: memFree=550396/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=411220 CPUtime=222.1
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 59010 0 1 0 22176 34 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102805 38859 2919 10 0 96950 0
[pid=30795/tid=30796] ppid=30794 vsize=411220 CPUtime=216.81
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 14535 0 1 0 21666 15 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4115395203 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30798] ppid=30794 vsize=411220 CPUtime=5.15
/proc/30795/task/30798/stat : 30798 (java) S 30794 30794 19908 34817 19908 4202560 42999 0 0 0 498 17 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30799] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30799/stat : 30799 (java) S 30794 30794 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30800] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30800/stat : 30800 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30801] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30801/stat : 30801 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30802] ppid=30794 vsize=411220 CPUtime=0.1
/proc/30795/task/30802/stat : 30802 (java) S 30794 30794 19908 34817 19908 4202560 531 0 0 0 10 0 0 0 15 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30803] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30803/stat : 30803 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30804] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30804/stat : 30804 (java) R 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30805] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30805/stat : 30805 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66206357 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 413788

[startup+282.308 s]
/proc/loadavg: 1.01 1.02 1.00 2/44 30812
/proc/meminfo: memFree=550396/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=411220 CPUtime=282.04
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 59010 0 1 0 28170 34 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102805 38859 2919 10 0 96950 0
[pid=30795/tid=30796] ppid=30794 vsize=411220 CPUtime=276.18
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 14535 0 1 0 27602 16 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4115300472 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30798] ppid=30794 vsize=411220 CPUtime=5.74
/proc/30795/task/30798/stat : 30798 (java) S 30794 30794 19908 34817 19908 4202560 42999 0 0 0 557 17 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30799] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30799/stat : 30799 (java) S 30794 30794 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30800] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30800/stat : 30800 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30801] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30801/stat : 30801 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30802] ppid=30794 vsize=411220 CPUtime=0.1
/proc/30795/task/30802/stat : 30802 (java) S 30794 30794 19908 34817 19908 4202560 531 0 0 0 10 0 0 0 15 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30803] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30803/stat : 30803 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30804] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30804/stat : 30804 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30805] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30805/stat : 30805 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66206357 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 413788

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

[startup+283.108 s]
/proc/loadavg: 1.01 1.02 1.00 2/44 30812
/proc/meminfo: memFree=550396/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=411220 CPUtime=282.84
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 59010 0 1 0 28250 34 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102805 38859 2919 10 0 96950 0
[pid=30795/tid=30796] ppid=30794 vsize=411220 CPUtime=276.98
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 14535 0 1 0 27682 16 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4115294692 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30798] ppid=30794 vsize=411220 CPUtime=5.74
/proc/30795/task/30798/stat : 30798 (java) S 30794 30794 19908 34817 19908 4202560 42999 0 0 0 557 17 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30799] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30799/stat : 30799 (java) S 30794 30794 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30800] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30800/stat : 30800 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30801] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30801/stat : 30801 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30802] ppid=30794 vsize=411220 CPUtime=0.1
/proc/30795/task/30802/stat : 30802 (java) S 30794 30794 19908 34817 19908 4202560 531 0 0 0 10 0 0 0 15 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30803] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30803/stat : 30803 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30804] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30804/stat : 30804 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30805] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30805/stat : 30805 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66206357 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.84
Current children cumulated vsize (KiB) 413788

[startup+283.908 s]
/proc/loadavg: 1.01 1.02 1.00 2/44 30812
/proc/meminfo: memFree=550396/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=411220 CPUtime=283.64
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 59010 0 1 0 28330 34 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102805 38859 2919 10 0 96950 0
[pid=30795/tid=30796] ppid=30794 vsize=411220 CPUtime=277.78
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 14535 0 1 0 27762 16 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4115360591 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30798] ppid=30794 vsize=411220 CPUtime=5.74
/proc/30795/task/30798/stat : 30798 (java) S 30794 30794 19908 34817 19908 4202560 42999 0 0 0 557 17 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30799] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30799/stat : 30799 (java) S 30794 30794 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30800] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30800/stat : 30800 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30801] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30801/stat : 30801 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30802] ppid=30794 vsize=411220 CPUtime=0.1
/proc/30795/task/30802/stat : 30802 (java) S 30794 30794 19908 34817 19908 4202560 531 0 0 0 10 0 0 0 15 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30803] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30803/stat : 30803 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30804] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30804/stat : 30804 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30805] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30805/stat : 30805 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66206357 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.64
Current children cumulated vsize (KiB) 413788

[startup+284.708 s]
/proc/loadavg: 1.01 1.02 1.00 2/44 30812
/proc/meminfo: memFree=550396/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=411220 CPUtime=284.44
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 59010 0 1 0 28410 34 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102805 38859 2919 10 0 96950 0
[pid=30795/tid=30796] ppid=30794 vsize=411220 CPUtime=278.58
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 14535 0 1 0 27842 16 0 0 25 0 10 0 66206015 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4115330732 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30798] ppid=30794 vsize=411220 CPUtime=5.74
/proc/30795/task/30798/stat : 30798 (java) S 30794 30794 19908 34817 19908 4202560 42999 0 0 0 557 17 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30799] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30799/stat : 30799 (java) S 30794 30794 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30800] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30800/stat : 30800 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 15 0 10 0 66206016 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30801] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30801/stat : 30801 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30802] ppid=30794 vsize=411220 CPUtime=0.1
/proc/30795/task/30802/stat : 30802 (java) S 30794 30794 19908 34817 19908 4202560 531 0 0 0 10 0 0 0 15 0 10 0 66206017 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30803] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30803/stat : 30803 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30804] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30804/stat : 30804 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66206018 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30805] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30805/stat : 30805 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66206357 421089280 38859 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.44
Current children cumulated vsize (KiB) 413788

[startup+285.109 s]
/proc/loadavg: 1.01 1.02 1.00 2/44 30812
/proc/meminfo: memFree=550396/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=411220 CPUtime=284.84
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 59011 0 1 0 28450 34 0 0 25 0 9 0 66206015 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102805 38860 2920 10 0 96950 0
[pid=30795/tid=30796] ppid=30794 vsize=411220 CPUtime=278.98
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 14535 0 1 0 27882 16 0 0 25 0 9 0 66206015 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4150156808 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30798] ppid=30794 vsize=411220 CPUtime=5.74
/proc/30795/task/30798/stat : 30798 (java) S 30794 30794 19908 34817 19908 4202560 42999 0 0 0 557 17 0 0 15 0 9 0 66206016 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30799] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30799/stat : 30799 (java) S 30794 30794 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 9 0 66206016 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30800] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30800/stat : 30800 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 15 0 9 0 66206016 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30801] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30801/stat : 30801 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66206017 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30802] ppid=30794 vsize=411220 CPUtime=0.1
/proc/30795/task/30802/stat : 30802 (java) S 30794 30794 19908 34817 19908 4202560 531 0 0 0 10 0 0 0 15 0 9 0 66206017 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30803] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30803/stat : 30803 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66206018 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30804] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30804/stat : 30804 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 66206018 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.84
Current children cumulated vsize (KiB) 413788

[startup+285.209 s]
/proc/loadavg: 1.01 1.02 1.00 2/44 30812
/proc/meminfo: memFree=550396/1048576 swapFree=0/0
[pid=30794] ppid=30793 vsize=2568 CPUtime=0
/proc/30794/stat : 30794 (gj-user-solver-) S 30793 30794 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 66206015 2629632 270 1283457024 134512640 135304128 4294863280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30794/statm: 642 270 229 194 0 29 0
[pid=30795] ppid=30794 vsize=411220 CPUtime=284.94
/proc/30795/stat : 30795 (java) S 30794 30794 19908 34817 19908 4202496 59011 0 1 0 28460 34 0 0 25 0 9 0 66206015 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 102805 38860 2920 10 0 96950 0
[pid=30795/tid=30796] ppid=30794 vsize=411220 CPUtime=279.08
/proc/30795/task/30796/stat : 30796 (java) R 30794 30794 19908 34817 19908 4202560 14535 0 1 0 27892 16 0 0 25 0 9 0 66206015 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4115446917 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30795/tid=30798] ppid=30794 vsize=411220 CPUtime=5.74
/proc/30795/task/30798/stat : 30798 (java) S 30794 30794 19908 34817 19908 4202560 42999 0 0 0 557 17 0 0 15 0 9 0 66206016 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30799] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30799/stat : 30799 (java) S 30794 30794 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 9 0 66206016 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30800] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30800/stat : 30800 (java) S 30794 30794 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 15 0 9 0 66206016 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30801] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30801/stat : 30801 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66206017 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30802] ppid=30794 vsize=411220 CPUtime=0.1
/proc/30795/task/30802/stat : 30802 (java) S 30794 30794 19908 34817 19908 4202560 531 0 0 0 10 0 0 0 15 0 9 0 66206017 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30803] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30803/stat : 30803 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66206018 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=30795/tid=30804] ppid=30794 vsize=411220 CPUtime=0
/proc/30795/task/30804/stat : 30804 (java) S 30794 30794 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 66206018 421089280 38860 1283457024 134512640 134550932 4294508736 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.94
Current children cumulated vsize (KiB) 413788

Child status: 0
Real time (s): 285.308
CPU time (s): 285.038
CPU user time (s): 284.69
CPU system time (s): 0.348021
CPU usage (%): 99.9052
Max. virtual memory (cumulated for all children) (KiB): 413788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.69
system time used= 0.348021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59400
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= 5928
involuntary context switches= 8810

runsolver used 0 second user time and 0 second system time

The end