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/rand519.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand519.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/rand519.cudf.user-upgrades.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/38 26036
/proc/meminfo: memFree=132996/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=11356 CPUtime=0.01
/proc/26035/stat : 26035 (java) R 26034 26034 19908 34817 19908 4202496 917 0 0 0 1 0 0 0 25 0 2 0 63780555 11628544 651 1283457024 134512640 134550932 4289776752 18446744073709551615 4159348328 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 2839 651 285 10 0 1185 0
[pid=26035/tid=26036] ppid=26034 vsize=11356 CPUtime=0
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 2 0 63780555 11628544 651 1283457024 134512640 134550932 4289776752 18446744073709551615 4159348328 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.165181 s]
/proc/loadavg: 0.85 1.01 1.01 5/38 26036
/proc/meminfo: memFree=132996/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=410064 CPUtime=0.17
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 4384 0 1 0 15 2 0 0 25 0 9 0 63780555 419905536 3815 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 102516 3815 1940 10 0 96664 0
[pid=26035/tid=26036] ppid=26034 vsize=410064 CPUtime=0.15
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 3183 0 1 0 13 2 0 0 25 0 9 0 63780555 419905536 3815 1283457024 134512640 134550932 4289776752 18446744073709551615 4114684628 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 412632

[startup+0.205184 s]
/proc/loadavg: 0.85 1.01 1.01 5/38 26036
/proc/meminfo: memFree=132996/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=410064 CPUtime=0.21
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 4661 0 1 0 19 2 0 0 25 0 9 0 63780555 419905536 4092 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 102516 4092 1940 10 0 96664 0
[pid=26035/tid=26036] ppid=26034 vsize=410064 CPUtime=0.19
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 3460 0 1 0 17 2 0 0 25 0 9 0 63780555 419905536 4092 1283457024 134512640 134550932 4289776752 18446744073709551615 4114654022 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412632

[startup+0.305208 s]
/proc/loadavg: 0.85 1.01 1.01 5/38 26036
/proc/meminfo: memFree=132996/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=410064 CPUtime=0.31
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 5290 0 1 0 29 2 0 0 25 0 9 0 63780555 419905536 4720 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 102516 4720 1946 10 0 96664 0
[pid=26035/tid=26036] ppid=26034 vsize=410064 CPUtime=0.28
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 3511 0 1 0 26 2 0 0 25 0 9 0 63780555 419905536 4720 1283457024 134512640 134550932 4289776752 18446744073709551615 4114694969 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) 412632

[startup+0.705359 s]
/proc/loadavg: 0.85 1.01 1.01 5/38 26036
/proc/meminfo: memFree=132996/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=410748 CPUtime=0.71
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 12740 0 1 0 67 4 0 0 25 0 9 0 63780555 420605952 11986 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 102687 11986 2900 10 0 96835 0
[pid=26035/tid=26036] ppid=26034 vsize=410748 CPUtime=0.48
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 4168 0 1 0 46 2 0 0 25 0 9 0 63780555 420605952 11986 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413316

[startup+1.50566 s]
/proc/loadavg: 0.85 1.01 1.01 2/46 26044
/proc/meminfo: memFree=76068/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=410748 CPUtime=1.49
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 27346 0 1 0 138 11 0 0 25 0 9 0 63780555 420605952 26592 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 102687 26592 2900 10 0 96835 0
[pid=26035/tid=26036] ppid=26034 vsize=410748 CPUtime=0.81
/proc/26035/task/26036/stat : 26036 (java) S 26034 26034 19908 34817 19908 4202560 6680 0 1 0 77 4 0 0 25 0 9 0 63780555 420605952 26592 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26038] ppid=26034 vsize=410748 CPUtime=0.63
/proc/26035/task/26038/stat : 26038 (java) R 26034 26034 19908 34817 19908 4202560 19280 0 0 0 56 7 0 0 19 0 9 0 63780556 420605952 26592 1283457024 134512640 134550932 4289776752 18446744073709551615 4150907697 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26035/tid=26039] ppid=26034 vsize=410748 CPUtime=0
/proc/26035/task/26039/stat : 26039 (java) S 26034 26034 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 63780556 420605952 26592 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26040] ppid=26034 vsize=410748 CPUtime=0
/proc/26035/task/26040/stat : 26040 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 63780556 420605952 26592 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26041] ppid=26034 vsize=410748 CPUtime=0
/proc/26035/task/26041/stat : 26041 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63780558 420605952 26592 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26042] ppid=26034 vsize=410748 CPUtime=0.02
/proc/26035/task/26042/stat : 26042 (java) S 26034 26034 19908 34817 19908 4202560 446 0 0 0 2 0 0 0 19 0 9 0 63780558 420605952 26592 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26043] ppid=26034 vsize=410748 CPUtime=0
/proc/26035/task/26043/stat : 26043 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63780558 420605952 26592 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26044] ppid=26034 vsize=410748 CPUtime=0
/proc/26035/task/26044/stat : 26044 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 63780558 420605952 26592 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 413316

[startup+3.11619 s]
/proc/loadavg: 0.85 1.01 1.01 2/46 26044
/proc/meminfo: memFree=5900/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=410880 CPUtime=3.06
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 50698 0 1 0 288 18 0 0 25 0 9 0 63780555 420741120 49944 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 102720 49944 2900 10 0 96868 0
[pid=26035/tid=26036] ppid=26034 vsize=410880 CPUtime=1.39
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 13785 0 1 0 135 4 0 0 25 0 9 0 63780555 420741120 49944 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26035/tid=26038] ppid=26034 vsize=410880 CPUtime=1.62
/proc/26035/task/26038/stat : 26038 (java) R 26034 26034 19908 34817 19908 4202560 35524 0 0 0 149 13 0 0 16 0 9 0 63780556 420741120 49944 1283457024 134512640 134550932 4289776752 18446744073709551615 4150953912 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26035/tid=26039] ppid=26034 vsize=410880 CPUtime=0
/proc/26035/task/26039/stat : 26039 (java) S 26034 26034 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 63780556 420741120 49944 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26040] ppid=26034 vsize=410880 CPUtime=0
/proc/26035/task/26040/stat : 26040 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 63780556 420741120 49944 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26041] ppid=26034 vsize=410880 CPUtime=0
/proc/26035/task/26041/stat : 26041 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63780558 420741120 49944 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26042] ppid=26034 vsize=410880 CPUtime=0.02
/proc/26035/task/26042/stat : 26042 (java) S 26034 26034 19908 34817 19908 4202560 449 0 0 0 2 0 0 0 15 0 9 0 63780558 420741120 49944 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26043] ppid=26034 vsize=410880 CPUtime=0
/proc/26035/task/26043/stat : 26043 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63780558 420741120 49944 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26044] ppid=26034 vsize=410880 CPUtime=0
/proc/26035/task/26044/stat : 26044 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 63780558 420741120 49944 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 413448

[startup+6.31108 s]
/proc/loadavg: 0.94 1.03 1.01 3/46 26044
/proc/meminfo: memFree=5384/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=439788 CPUtime=6.18
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 78191 0 1 0 588 30 0 0 25 0 9 0 63780555 450342912 77431 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 109947 77431 2901 10 0 104095 0
[pid=26035/tid=26036] ppid=26034 vsize=439788 CPUtime=2.2
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 13802 0 1 0 216 4 0 0 25 0 9 0 63780555 450342912 77431 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26035/tid=26038] ppid=26034 vsize=439788 CPUtime=3.9
/proc/26035/task/26038/stat : 26038 (java) R 26034 26034 19908 34817 19908 4202560 62982 0 0 0 365 25 0 0 16 0 9 0 63780556 450342912 77431 1283457024 134512640 134550932 4289776752 18446744073709551615 4152445183 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26035/tid=26039] ppid=26034 vsize=439788 CPUtime=0
/proc/26035/task/26039/stat : 26039 (java) S 26034 26034 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 63780556 450342912 77431 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26040] ppid=26034 vsize=439788 CPUtime=0
/proc/26035/task/26040/stat : 26040 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 63780556 450342912 77431 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26041] ppid=26034 vsize=439788 CPUtime=0
/proc/26035/task/26041/stat : 26041 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63780558 450342912 77431 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26042] ppid=26034 vsize=439788 CPUtime=0.04
/proc/26035/task/26042/stat : 26042 (java) S 26034 26034 19908 34817 19908 4202560 467 0 0 0 4 0 0 0 15 0 9 0 63780558 450342912 77431 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26043] ppid=26034 vsize=439788 CPUtime=0
/proc/26035/task/26043/stat : 26043 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63780558 450342912 77431 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26044] ppid=26034 vsize=439788 CPUtime=0
/proc/26035/task/26044/stat : 26044 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 63780558 450342912 77431 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 442356

[startup+12.7039 s]
/proc/loadavg: 1.02 1.04 1.02 2/47 26045
/proc/meminfo: memFree=33780/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=411540 CPUtime=12.47
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 92674 0 2 0 1212 35 0 0 25 0 10 0 63780555 421416960 70540 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 102885 70540 2917 10 0 97030 0
[pid=26035/tid=26036] ppid=26034 vsize=411540 CPUtime=5.49
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 14052 0 2 0 545 4 0 0 25 0 10 0 63780555 421416960 70540 1283457024 134512640 134550932 4289776752 18446744073709551615 4115510756 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26035/tid=26038] ppid=26034 vsize=411540 CPUtime=6.87
/proc/26035/task/26038/stat : 26038 (java) S 26034 26034 19908 34817 19908 4202560 77147 0 0 0 657 30 0 0 16 0 10 0 63780556 421416960 70540 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26039] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26039/stat : 26039 (java) S 26034 26034 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 70540 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26040] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26040/stat : 26040 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 70540 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26041] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26041/stat : 26041 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 70540 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26042] ppid=26034 vsize=411540 CPUtime=0.09
/proc/26035/task/26042/stat : 26042 (java) S 26034 26034 19908 34817 19908 4202560 530 0 0 0 9 0 0 0 16 0 10 0 63780558 421416960 70540 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26043] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26043/stat : 26043 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 70540 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26044] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26044/stat : 26044 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63780558 421416960 70540 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26045] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26045/stat : 26045 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63781509 421416960 70540 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 414108

[startup+25.5075 s]
/proc/loadavg: 1.02 1.04 1.02 2/47 26045
/proc/meminfo: memFree=117852/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=411540 CPUtime=25.25
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 92678 0 2 0 2489 36 0 0 25 0 10 0 63780555 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 102885 49457 2917 10 0 97030 0
[pid=26035/tid=26036] ppid=26034 vsize=411540 CPUtime=17.78
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 14052 0 2 0 1774 4 0 0 25 0 10 0 63780555 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4115510877 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26035/tid=26038] ppid=26034 vsize=411540 CPUtime=7.35
/proc/26035/task/26038/stat : 26038 (java) S 26034 26034 19908 34817 19908 4202560 77147 0 0 0 703 32 0 0 15 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26039] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26039/stat : 26039 (java) S 26034 26034 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26040] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26040/stat : 26040 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26041] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26041/stat : 26041 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26042] ppid=26034 vsize=411540 CPUtime=0.11
/proc/26035/task/26042/stat : 26042 (java) S 26034 26034 19908 34817 19908 4202560 534 0 0 0 11 0 0 0 15 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26043] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26043/stat : 26043 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26044] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26044/stat : 26044 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26045] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26045/stat : 26045 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63781509 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 414108

[startup+51.1139 s]
/proc/loadavg: 1.01 1.04 1.01 3/47 26045
/proc/meminfo: memFree=117852/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=411540 CPUtime=50.85
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 92678 0 2 0 5049 36 0 0 25 0 10 0 63780555 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 102885 49457 2917 10 0 97030 0
[pid=26035/tid=26036] ppid=26034 vsize=411540 CPUtime=42.79
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 14052 0 2 0 4275 4 0 0 25 0 10 0 63780555 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4115506031 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26035/tid=26038] ppid=26034 vsize=411540 CPUtime=7.93
/proc/26035/task/26038/stat : 26038 (java) S 26034 26034 19908 34817 19908 4202560 77147 0 0 0 761 32 0 0 15 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26039] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26039/stat : 26039 (java) S 26034 26034 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26040] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26040/stat : 26040 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26041] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26041/stat : 26041 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26042] ppid=26034 vsize=411540 CPUtime=0.11
/proc/26035/task/26042/stat : 26042 (java) S 26034 26034 19908 34817 19908 4202560 534 0 0 0 11 0 0 0 15 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26043] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26043/stat : 26043 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26044] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26044/stat : 26044 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26045] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26045/stat : 26045 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63781509 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 414108

[startup+102.307 s]
/proc/loadavg: 1.00 1.03 1.01 2/48 26049
/proc/meminfo: memFree=117844/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=411540 CPUtime=102.01
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 92678 0 2 0 10165 36 0 0 25 0 10 0 63780555 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 102885 49457 2917 10 0 97030 0
[pid=26035/tid=26036] ppid=26034 vsize=411540 CPUtime=93.05
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 14052 0 2 0 9301 4 0 0 25 0 10 0 63780555 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4115621042 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26035/tid=26038] ppid=26034 vsize=411540 CPUtime=8.84
/proc/26035/task/26038/stat : 26038 (java) S 26034 26034 19908 34817 19908 4202560 77147 0 0 0 852 32 0 0 15 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26039] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26039/stat : 26039 (java) S 26034 26034 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26040] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26040/stat : 26040 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26041] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26041/stat : 26041 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26042] ppid=26034 vsize=411540 CPUtime=0.11
/proc/26035/task/26042/stat : 26042 (java) S 26034 26034 19908 34817 19908 4202560 534 0 0 0 11 0 0 0 15 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26043] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26043/stat : 26043 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26044] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26044/stat : 26044 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26045] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26045/stat : 26045 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63781509 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 414108

[startup+162.311 s]
/proc/loadavg: 1.00 1.02 1.00 2/47 26049
/proc/meminfo: memFree=117852/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=411540 CPUtime=161.98
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 92678 0 2 0 16162 36 0 0 25 0 10 0 63780555 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 102885 49457 2917 10 0 97030 0
[pid=26035/tid=26036] ppid=26034 vsize=411540 CPUtime=152.18
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 14052 0 2 0 15214 4 0 0 25 0 10 0 63780555 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4115534406 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26035/tid=26038] ppid=26034 vsize=411540 CPUtime=9.66
/proc/26035/task/26038/stat : 26038 (java) S 26034 26034 19908 34817 19908 4202560 77147 0 0 0 934 32 0 0 16 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26039] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26039/stat : 26039 (java) S 26034 26034 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26040] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26040/stat : 26040 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26041] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26041/stat : 26041 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26042] ppid=26034 vsize=411540 CPUtime=0.11
/proc/26035/task/26042/stat : 26042 (java) S 26034 26034 19908 34817 19908 4202560 534 0 0 0 11 0 0 0 15 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26043] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26043/stat : 26043 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26044] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26044/stat : 26044 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26045] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26045/stat : 26045 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63781509 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 161.98
Current children cumulated vsize (KiB) 414108

[startup+222.307 s]
/proc/loadavg: 1.00 1.02 1.00 2/49 26057
/proc/meminfo: memFree=117828/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=411540 CPUtime=221.94
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 92678 0 2 0 22155 39 0 0 25 0 10 0 63780555 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 102885 49457 2917 10 0 97030 0
[pid=26035/tid=26036] ppid=26034 vsize=411540 CPUtime=211.45
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 14052 0 2 0 21138 7 0 0 25 0 10 0 63780555 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4115595720 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26035/tid=26038] ppid=26034 vsize=411540 CPUtime=10.36
/proc/26035/task/26038/stat : 26038 (java) S 26034 26034 19908 34817 19908 4202560 77147 0 0 0 1004 32 0 0 15 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26039] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26039/stat : 26039 (java) S 26034 26034 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26040] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26040/stat : 26040 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26041] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26041/stat : 26041 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26042] ppid=26034 vsize=411540 CPUtime=0.11
/proc/26035/task/26042/stat : 26042 (java) S 26034 26034 19908 34817 19908 4202560 534 0 0 0 11 0 0 0 15 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26043] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26043/stat : 26043 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26044] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26044/stat : 26044 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26045] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26045/stat : 26045 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63781509 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 221.94
Current children cumulated vsize (KiB) 414108

[startup+282.305 s]
/proc/loadavg: 1.00 1.01 1.00 2/45 26060
/proc/meminfo: memFree=120188/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=411540 CPUtime=281.88
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 92678 0 2 0 28148 40 0 0 25 0 10 0 63780555 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 102885 49457 2917 10 0 97030 0
[pid=26035/tid=26036] ppid=26034 vsize=411540 CPUtime=270.71
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 14052 0 2 0 27064 7 0 0 25 0 10 0 63780555 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4115562917 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26035/tid=26038] ppid=26034 vsize=411540 CPUtime=11.03
/proc/26035/task/26038/stat : 26038 (java) S 26034 26034 19908 34817 19908 4202560 77147 0 0 0 1071 32 0 0 15 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26039] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26039/stat : 26039 (java) S 26034 26034 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26040] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26040/stat : 26040 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26041] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26041/stat : 26041 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26042] ppid=26034 vsize=411540 CPUtime=0.11
/proc/26035/task/26042/stat : 26042 (java) S 26034 26034 19908 34817 19908 4202560 534 0 0 0 11 0 0 0 15 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26043] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26043/stat : 26043 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26044] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26044/stat : 26044 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26045] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26045/stat : 26045 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63781509 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 281.88
Current children cumulated vsize (KiB) 414108

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

[startup+283.205 s]
/proc/loadavg: 1.00 1.01 1.00 2/45 26060
/proc/meminfo: memFree=120188/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=411540 CPUtime=282.78
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 92678 0 2 0 28238 40 0 0 25 0 10 0 63780555 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 102885 49457 2917 10 0 97030 0
[pid=26035/tid=26036] ppid=26034 vsize=411540 CPUtime=271.61
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 14052 0 2 0 27154 7 0 0 25 0 10 0 63780555 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4115620996 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26035/tid=26038] ppid=26034 vsize=411540 CPUtime=11.03
/proc/26035/task/26038/stat : 26038 (java) S 26034 26034 19908 34817 19908 4202560 77147 0 0 0 1071 32 0 0 15 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26039] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26039/stat : 26039 (java) S 26034 26034 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26040] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26040/stat : 26040 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26041] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26041/stat : 26041 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26042] ppid=26034 vsize=411540 CPUtime=0.11
/proc/26035/task/26042/stat : 26042 (java) S 26034 26034 19908 34817 19908 4202560 534 0 0 0 11 0 0 0 15 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26043] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26043/stat : 26043 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26044] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26044/stat : 26044 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26045] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26045/stat : 26045 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63781509 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.78
Current children cumulated vsize (KiB) 414108

[startup+284.805 s]
/proc/loadavg: 1.00 1.01 1.00 2/45 26060
/proc/meminfo: memFree=120196/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=411540 CPUtime=284.38
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 92678 0 2 0 28398 40 0 0 25 0 10 0 63780555 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 102885 49457 2917 10 0 97030 0
[pid=26035/tid=26036] ppid=26034 vsize=411540 CPUtime=273.21
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 14052 0 2 0 27314 7 0 0 25 0 10 0 63780555 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4115620976 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26035/tid=26038] ppid=26034 vsize=411540 CPUtime=11.03
/proc/26035/task/26038/stat : 26038 (java) S 26034 26034 19908 34817 19908 4202560 77147 0 0 0 1071 32 0 0 15 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26039] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26039/stat : 26039 (java) S 26034 26034 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26040] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26040/stat : 26040 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63780556 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26041] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26041/stat : 26041 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26042] ppid=26034 vsize=411540 CPUtime=0.11
/proc/26035/task/26042/stat : 26042 (java) S 26034 26034 19908 34817 19908 4202560 534 0 0 0 11 0 0 0 15 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26043] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26043/stat : 26043 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26044] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26044/stat : 26044 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63780558 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26045] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26045/stat : 26045 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63781509 421416960 49457 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.38
Current children cumulated vsize (KiB) 414108

[startup+285.205 s]
/proc/loadavg: 1.00 1.01 1.00 2/45 26060
/proc/meminfo: memFree=120196/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=411540 CPUtime=284.78
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 92679 0 2 0 28438 40 0 0 25 0 9 0 63780555 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 102885 49458 2918 10 0 97030 0
[pid=26035/tid=26036] ppid=26034 vsize=411540 CPUtime=273.61
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 14052 0 2 0 27354 7 0 0 25 0 9 0 63780555 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4150369800 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26035/tid=26038] ppid=26034 vsize=411540 CPUtime=11.03
/proc/26035/task/26038/stat : 26038 (java) S 26034 26034 19908 34817 19908 4202560 77147 0 0 0 1071 32 0 0 15 0 9 0 63780556 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26039] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26039/stat : 26039 (java) S 26034 26034 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 63780556 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26040] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26040/stat : 26040 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 63780556 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26041] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26041/stat : 26041 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63780558 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26042] ppid=26034 vsize=411540 CPUtime=0.11
/proc/26035/task/26042/stat : 26042 (java) S 26034 26034 19908 34817 19908 4202560 534 0 0 0 11 0 0 0 15 0 9 0 63780558 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26043] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26043/stat : 26043 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63780558 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26044] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26044/stat : 26044 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 63780558 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.78
Current children cumulated vsize (KiB) 414108

[startup+285.405 s]
/proc/loadavg: 1.00 1.01 1.00 2/45 26060
/proc/meminfo: memFree=120196/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=411540 CPUtime=284.98
/proc/26035/stat : 26035 (java) S 26034 26034 19908 34817 19908 4202496 92679 0 2 0 28458 40 0 0 25 0 9 0 63780555 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 102885 49458 2918 10 0 97030 0
[pid=26035/tid=26036] ppid=26034 vsize=411540 CPUtime=273.81
/proc/26035/task/26036/stat : 26036 (java) R 26034 26034 19908 34817 19908 4202560 14052 0 2 0 27374 7 0 0 25 0 9 0 63780555 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4115648201 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26035/tid=26038] ppid=26034 vsize=411540 CPUtime=11.03
/proc/26035/task/26038/stat : 26038 (java) S 26034 26034 19908 34817 19908 4202560 77147 0 0 0 1071 32 0 0 15 0 9 0 63780556 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 0 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26039] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26039/stat : 26039 (java) S 26034 26034 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 63780556 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26040] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26040/stat : 26040 (java) S 26034 26034 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 63780556 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26041] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26041/stat : 26041 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63780558 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26042] ppid=26034 vsize=411540 CPUtime=0.11
/proc/26035/task/26042/stat : 26042 (java) S 26034 26034 19908 34817 19908 4202560 534 0 0 0 11 0 0 0 15 0 9 0 63780558 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26043] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26043/stat : 26043 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63780558 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
[pid=26035/tid=26044] ppid=26034 vsize=411540 CPUtime=0
/proc/26035/task/26044/stat : 26044 (java) S 26034 26034 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 63780558 421416960 49458 1283457024 134512640 134550932 4289776752 18446744073709551615 4294960130 0 4 0 16800975 18446612132700698432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.98
Current children cumulated vsize (KiB) 414108

[startup+285.509 s]
/proc/loadavg: 1.00 1.01 1.00 2/45 26060
/proc/meminfo: memFree=120196/1048576 swapFree=0/0
[pid=26034] ppid=26033 vsize=2568 CPUtime=0
/proc/26034/stat : 26034 (gj-user-solver-) S 26033 26034 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 63780555 2629632 269 1283457024 134512640 135304128 4286712352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26034/statm: 642 269 229 194 0 29 0
[pid=26035] ppid=26034 vsize=0 CPUtime=285.07
/proc/26035/stat : 26035 (java) Z 26034 26034 19908 34817 19908 4202508 92683 0 2 0 28466 41 0 0 18 0 2 0 63780555 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26035/statm: 0 0 0 0 0 0 0
[pid=26035/tid=26043] ppid=26034 vsize=0 CPUtime=0.01
/proc/26035/task/26043/stat : 26043 (java) R 26034 26034 19908 34817 19908 4203588 1 0 0 0 0 1 0 0 18 0 2 0 63780558 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.07
Current children cumulated vsize (KiB) 2568

Child status: 0
Real time (s): 285.514
CPU time (s): 285.074
CPU user time (s): 284.662
CPU system time (s): 0.412025
CPU usage (%): 99.8458
Max. virtual memory (cumulated for all children) (KiB): 442356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.662
system time used= 0.412025
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93067
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5904
involuntary context switches= 8931

runsolver used 0.008 second user time and 0 second system time

The end