runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247792-1500713614/watcher-4247792-1500713614 -o /tmp/evaluation-result-4247792-1500713614/solver-4247792-1500713614 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500683444-15057 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 997062415 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247792-1500713614.xml
pid=19413
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.30 1.41 1.46 3/261 19416
/proc/meminfo: memFree=29460988/32770624 swapFree=5688/270584
[pid=19416] ppid=19413 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/stat : 19416 (java) S 19413 19416 14714 0 -1 1077944320 2000 0 0 0 0 0 0 0 20 0 2 0 6628084 10889764864 2253 33554432000 4194304 4196468 140727559940448 140727559922992 140522059165431 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
/proc/19416/statm: 2658634 2253 1188 1 0 2647545 0
[pid=19416/tid=19417] ppid=19413 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19417/stat : 19417 (java) R 19413 19416 14714 0 -1 4202560 787 0 0 0 0 0 0 0 20 0 2 0 6628084 10889764864 2319 33554432000 4194304 4196468 140727559940448 140522063407520 140522051454880 0 4 0 16784584 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[startup+0.100124 s]
/proc/loadavg: 1.30 1.41 1.46 3/261 19416
/proc/meminfo: memFree=29460988/32770624 swapFree=5688/270584
[pid=19416] ppid=19413 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19416/stat : 19416 (java) S 19413 19416 14714 0 -1 1077944320 5560 0 0 0 8 1 0 0 20 0 20 0 6628084 13582725120 6181 33554432000 4194304 4196468 140727559940448 140727559922992 140522059165431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
/proc/19416/statm: 3316095 6181 3343 1 0 3303815 0
[pid=19416/tid=19417] ppid=19413 vsize=13264380 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19417/stat : 19417 (java) R 19413 19416 14714 0 -1 4202560 3642 0 0 0 7 0 0 0 20 0 20 0 6628084 13582725120 6181 33554432000 4194304 4196468 140727559940448 140522063403064 140522043245918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380
[startup+0.200448 s]
/proc/loadavg: 1.30 1.41 1.46 3/261 19416
/proc/meminfo: memFree=29460988/32770624 swapFree=5688/270584
[pid=19416] ppid=19413 vsize=13263912 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/19416/stat : 19416 (java) S 19413 19416 14714 0 -1 1077944320 8824 0 0 0 23 2 0 0 20 0 20 0 6628084 13582245888 8876 33554432000 4194304 4196468 140727559940448 140727559922992 140522059165431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
/proc/19416/statm: 3315978 8876 3573 1 0 3303698 0
[pid=19416/tid=19417] ppid=19413 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19417/stat : 19417 (java) R 19413 19416 14714 0 -1 4202560 6509 0 0 0 16 2 0 0 20 0 20 0 6628084 13582245888 8876 33554432000 4194304 4196468 140727559940448 140522063384768 140522043209061 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912
[startup+0.300438 s]
/proc/loadavg: 1.30 1.41 1.46 3/261 19416
/proc/meminfo: memFree=29460988/32770624 swapFree=5688/270584
[pid=19416] ppid=19413 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19416/stat : 19416 (java) S 19413 19416 14714 0 -1 1077944320 9895 0 0 0 39 3 0 0 20 0 20 0 6628084 13582245888 11104 33554432000 4194304 4196468 140727559940448 140727559922992 140522059165431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
/proc/19416/statm: 3315978 11104 3623 1 0 3303698 0
[pid=19416/tid=19417] ppid=19413 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19417/stat : 19417 (java) R 19413 19416 14714 0 -1 4202560 7254 0 0 0 25 2 0 0 20 0 20 0 6628084 13582245888 11104 33554432000 4194304 4196468 140727559940448 140522063390640 140522059187357 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700242 s]
/proc/loadavg: 1.30 1.41 1.46 3/261 19416
/proc/meminfo: memFree=29460988/32770624 swapFree=5688/270584
[pid=19416] ppid=19413 vsize=13265980 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/19416/stat : 19416 (java) S 19413 19416 14714 0 -1 1077944320 12353 0 0 0 121 4 0 0 20 0 20 0 6628084 13584363520 17707 33554432000 4194304 4196468 140727559940448 140727559922992 140522059165431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
/proc/19416/statm: 3316495 17707 3755 1 0 3304210 0
[pid=19416/tid=19417] ppid=19413 vsize=13265980 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19417/stat : 19417 (java) R 19413 19416 14714 0 -1 4202560 8659 0 0 0 64 2 0 0 20 0 20 0 6628084 13584363520 17707 33554432000 4194304 4196468 140727559940448 140522063380096 140522043245918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 13265980
[startup+1.50112 s]
/proc/loadavg: 1.30 1.41 1.46 7/281 19436
/proc/meminfo: memFree=29361756/32770624 swapFree=5688/270616
[pid=19416] ppid=19413 vsize=13270076 CPUtime=3.96 cores=0,2,4,6,8,10,12,14
/proc/19416/stat : 19416 (java) S 19413 19416 14714 0 -1 1077944320 28401 0 0 0 388 8 0 0 20 0 20 0 6628084 13588557824 33226 33554432000 4194304 4196468 140727559940448 140727559922992 140522059165431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
/proc/19416/statm: 3317519 33226 3786 1 0 3305234 0
[pid=19416/tid=19417] ppid=19413 vsize=13270076 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19417/stat : 19417 (java) R 19413 19416 14714 0 -1 4202560 11730 0 0 0 142 4 0 0 20 0 20 0 6628084 13588557824 33226 33554432000 4194304 4196468 140727559940448 140522063401000 140521689723217 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19419] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19419/stat : 19419 (java) S 19413 19416 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 33226 33554432000 4194304 4196468 140727559940448 140522011786384 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19420] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19420/stat : 19420 (java) S 19413 19416 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 33226 33554432000 4194304 4196468 140727559940448 140522010733584 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19421] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19421/stat : 19421 (java) S 19413 19416 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 33226 33554432000 4194304 4196468 140727559940448 140522009680784 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19422] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19422/stat : 19422 (java) S 19413 19416 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 33226 33554432000 4194304 4196468 140727559940448 140522008627984 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19423] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19423/stat : 19423 (java) S 19413 19416 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 33226 33554432000 4194304 4196468 140727559940448 140522007575184 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19424] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19424/stat : 19424 (java) S 19413 19416 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 33226 33554432000 4194304 4196468 140727559940448 140522006522384 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19425] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19425/stat : 19425 (java) S 19413 19416 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 33226 33554432000 4194304 4196468 140727559940448 140522005469584 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19426] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19426/stat : 19426 (java) S 19413 19416 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 33226 33554432000 4194304 4196468 140727559940448 140522004416784 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19427] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19427/stat : 19427 (java) S 19413 19416 14714 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 20 0 6628088 13588557824 33226 33554432000 4194304 4196468 140727559940448 140521521498992 140522059176578 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19428] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19428/stat : 19428 (java) S 19413 19416 14714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6628088 13588557824 33226 33554432000 4194304 4196468 140727559940448 140521520444960 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19429] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19429/stat : 19429 (java) S 19413 19416 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6628089 13588557824 33226 33554432000 4194304 4196468 140727559940448 140521519392112 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19430] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19430/stat : 19430 (java) S 19413 19416 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6628092 13588557824 33226 33554432000 4194304 4196468 140727559940448 140521518340432 140522059184027 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19431] ppid=19413 vsize=13270076 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19431/stat : 19431 (java) S 19413 19416 14714 0 -1 1077944384 2719 0 0 0 63 0 0 0 20 0 20 0 6628092 13588557824 33226 33554432000 4194304 4196468 140727559940448 140521517287792 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19432] ppid=19413 vsize=13270076 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19432/stat : 19432 (java) S 19413 19416 14714 0 -1 1077944384 1786 0 0 0 53 0 0 0 20 0 20 0 6628092 13588557824 33226 33554432000 4194304 4196468 140727559940448 140521516234992 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19433] ppid=19413 vsize=13270076 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19433/stat : 19433 (java) R 19413 19416 14714 0 -1 4202560 2801 0 0 0 64 0 0 0 20 0 20 0 6628092 13588557824 33226 33554432000 4194304 4196468 140727559940448 140521515163208 140522043076072 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19434] ppid=19413 vsize=13270076 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19434/stat : 19434 (java) S 19413 19416 14714 0 -1 1077944384 7643 0 0 0 63 0 0 0 20 0 20 0 6628092 13588557824 33226 33554432000 4194304 4196468 140727559940448 140521514129392 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19435] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19435/stat : 19435 (java) S 19413 19416 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6628092 13588557824 33226 33554432000 4194304 4196468 140727559940448 140521513077856 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19436] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19436/stat : 19436 (java) S 19413 19416 14714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 6628093 13588557824 33226 33554432000 4194304 4196468 140727559940448 140521512025136 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 13270076
[startup+3.10108 s]
/proc/loadavg: 1.30 1.41 1.46 5/281 19436
/proc/meminfo: memFree=29304292/32770624 swapFree=5688/270596
[pid=19416] ppid=19413 vsize=13270076 CPUtime=6.38 cores=0,2,4,6,8,10,12,14
/proc/19416/stat : 19416 (java) S 19413 19416 14714 0 -1 1077944320 31864 0 0 0 624 14 0 0 20 0 20 0 6628084 13588557824 56605 33554432000 4194304 4196468 140727559940448 140727559922992 140522059165431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
/proc/19416/statm: 3317519 56605 3818 1 0 3305234 0
[pid=19416/tid=19417] ppid=19413 vsize=13270076 CPUtime=3.05 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19417/stat : 19417 (java) R 19413 19416 14714 0 -1 4202560 11969 0 0 0 299 6 0 0 20 0 20 0 6628084 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522063400984 140521690511778 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19419] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19419/stat : 19419 (java) S 19413 19416 14714 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522011786384 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19420] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19420/stat : 19420 (java) S 19413 19416 14714 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522010733584 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19421] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19421/stat : 19421 (java) S 19413 19416 14714 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522009680784 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19422] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19422/stat : 19422 (java) S 19413 19416 14714 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522008627984 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19423] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19423/stat : 19423 (java) S 19413 19416 14714 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522007575184 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19424] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19424/stat : 19424 (java) S 19413 19416 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522006522384 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19425] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19425/stat : 19425 (java) S 19413 19416 14714 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522005469584 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19426] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19426/stat : 19426 (java) S 19413 19416 14714 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522004416784 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19427] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19427/stat : 19427 (java) S 19413 19416 14714 0 -1 1077944384 537 0 0 0 0 0 0 0 20 0 20 0 6628088 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521521498992 140522059176578 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19428] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19428/stat : 19428 (java) S 19413 19416 14714 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6628088 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521520445024 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19429] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19429/stat : 19429 (java) S 19413 19416 14714 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 6628089 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521519392128 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19430] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19430/stat : 19430 (java) S 19413 19416 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6628092 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521518340432 140522059184027 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19431] ppid=19413 vsize=13270076 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19431/stat : 19431 (java) S 19413 19416 14714 0 -1 1077944384 3126 0 0 0 78 0 0 0 20 0 20 0 6628092 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521517287792 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19432] ppid=19413 vsize=13270076 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19432/stat : 19432 (java) S 19413 19416 14714 0 -1 1077944384 2077 0 0 0 82 0 0 0 20 0 20 0 6628092 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521516234992 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19433] ppid=19413 vsize=13270076 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19433/stat : 19433 (java) S 19413 19416 14714 0 -1 1077944384 3394 0 0 0 90 0 0 0 20 0 20 0 6628092 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521515182192 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19434] ppid=19413 vsize=13270076 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19434/stat : 19434 (java) S 19413 19416 14714 0 -1 1077944384 8732 0 0 0 69 0 0 0 20 0 20 0 6628092 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521514129392 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19435] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19435/stat : 19435 (java) S 19413 19416 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6628092 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521513077856 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19436] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19436/stat : 19436 (java) S 19413 19416 14714 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 6628093 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521512025136 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 13270076
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19416 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20132 s]
/proc/loadavg: 1.30 1.41 1.46 5/281 19436
/proc/meminfo: memFree=29304292/32770624 swapFree=5688/270596
[pid=19416] ppid=19413 vsize=13270076 CPUtime=6.49 cores=0,2,4,6,8,10,12,14
/proc/19416/stat : 19416 (java) S 19413 19416 14714 0 -1 1077944320 31864 0 0 0 635 14 0 0 20 0 20 0 6628084 13588557824 56605 33554432000 4194304 4196468 140727559940448 140727559922992 140522059165431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
/proc/19416/statm: 3317519 56605 3818 1 0 3305234 0
[pid=19416/tid=19417] ppid=19413 vsize=13270076 CPUtime=3.15 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19417/stat : 19417 (java) R 19413 19416 14714 0 -1 4202560 11969 0 0 0 309 6 0 0 20 0 20 0 6628084 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522063395328 140522059187261 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19419] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19419/stat : 19419 (java) S 19413 19416 14714 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522011786384 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19420] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19420/stat : 19420 (java) S 19413 19416 14714 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522010733584 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19421] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19421/stat : 19421 (java) S 19413 19416 14714 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522009680784 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19422] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19422/stat : 19422 (java) S 19413 19416 14714 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522008627984 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19423] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19423/stat : 19423 (java) S 19413 19416 14714 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522007575184 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19424] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19424/stat : 19424 (java) S 19413 19416 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522006522384 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19425] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19425/stat : 19425 (java) S 19413 19416 14714 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522005469584 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19426] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19426/stat : 19426 (java) S 19413 19416 14714 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56605 33554432000 4194304 4196468 140727559940448 140522004416784 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19427] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19427/stat : 19427 (java) S 19413 19416 14714 0 -1 1077944384 537 0 0 0 0 0 0 0 20 0 20 0 6628088 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521521498992 140522059176578 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19428] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19428/stat : 19428 (java) S 19413 19416 14714 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6628088 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521520445024 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19429] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19429/stat : 19429 (java) S 19413 19416 14714 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 6628089 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521519392128 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19430] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19430/stat : 19430 (java) S 19413 19416 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6628092 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521518340432 140522059184027 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19431] ppid=19413 vsize=13270076 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19431/stat : 19431 (java) S 19413 19416 14714 0 -1 1077944384 3126 0 0 0 78 0 0 0 20 0 20 0 6628092 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521517287792 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19432] ppid=19413 vsize=13270076 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19432/stat : 19432 (java) S 19413 19416 14714 0 -1 1077944384 2077 0 0 0 82 0 0 0 20 0 20 0 6628092 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521516234992 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19433] ppid=19413 vsize=13270076 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19433/stat : 19433 (java) S 19413 19416 14714 0 -1 1077944384 3394 0 0 0 90 0 0 0 20 0 20 0 6628092 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521515182192 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19434] ppid=19413 vsize=13270076 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19434/stat : 19434 (java) S 19413 19416 14714 0 -1 1077944384 8732 0 0 0 69 0 0 0 20 0 20 0 6628092 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521514129392 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19435] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19435/stat : 19435 (java) S 19413 19416 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6628092 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521513077856 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19436] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19436/stat : 19436 (java) S 19413 19416 14714 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 6628093 13588557824 56605 33554432000 4194304 4196468 140727559940448 140521512025136 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 13270076
[startup+3.60108 s]
/proc/loadavg: 1.28 1.40 1.46 3/281 19436
/proc/meminfo: memFree=29250184/32770624 swapFree=5688/270596
[pid=19416] ppid=19413 vsize=13270076 CPUtime=6.9 cores=0,2,4,6,8,10,12,14
/proc/19416/stat : 19416 (java) S 19413 19416 14714 0 -1 1077944320 31936 0 0 0 676 14 0 0 20 0 20 0 6628084 13588557824 56634 33554432000 4194304 4196468 140727559940448 140727559922992 140522059165431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
/proc/19416/statm: 3317519 56634 3818 1 0 3305234 0
[pid=19416/tid=19417] ppid=19413 vsize=13270076 CPUtime=3.55 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19417/stat : 19417 (java) R 19413 19416 14714 0 -1 4202560 11972 0 0 0 349 6 0 0 20 0 20 0 6628084 13588557824 56634 33554432000 4194304 4196468 140727559940448 140522063395536 140521684150272 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19419] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19419/stat : 19419 (java) S 19413 19416 14714 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56634 33554432000 4194304 4196468 140727559940448 140522011786384 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19420] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19420/stat : 19420 (java) S 19413 19416 14714 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56634 33554432000 4194304 4196468 140727559940448 140522010733584 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19421] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19421/stat : 19421 (java) S 19413 19416 14714 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56634 33554432000 4194304 4196468 140727559940448 140522009680784 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19422] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19422/stat : 19422 (java) S 19413 19416 14714 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56634 33554432000 4194304 4196468 140727559940448 140522008627984 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19423] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19423/stat : 19423 (java) S 19413 19416 14714 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56634 33554432000 4194304 4196468 140727559940448 140522007575184 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19424] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19424/stat : 19424 (java) S 19413 19416 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56634 33554432000 4194304 4196468 140727559940448 140522006522384 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19425] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19425/stat : 19425 (java) S 19413 19416 14714 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56634 33554432000 4194304 4196468 140727559940448 140522005469584 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19426] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19426/stat : 19426 (java) S 19413 19416 14714 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 6628085 13588557824 56634 33554432000 4194304 4196468 140727559940448 140522004416784 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19427] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19427/stat : 19427 (java) S 19413 19416 14714 0 -1 1077944384 537 0 0 0 0 0 0 0 20 0 20 0 6628088 13588557824 56634 33554432000 4194304 4196468 140727559940448 140521521498992 140522059176578 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19428] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19428/stat : 19428 (java) S 19413 19416 14714 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6628088 13588557824 56634 33554432000 4194304 4196468 140727559940448 140521520445024 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19429] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19429/stat : 19429 (java) S 19413 19416 14714 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 6628089 13588557824 56634 33554432000 4194304 4196468 140727559940448 140521519392128 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19430] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19430/stat : 19430 (java) S 19413 19416 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6628092 13588557824 56634 33554432000 4194304 4196468 140727559940448 140521518340432 140522059184027 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19431] ppid=19413 vsize=13270076 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19431/stat : 19431 (java) S 19413 19416 14714 0 -1 1077944384 3126 0 0 0 78 0 0 0 20 0 20 0 6628092 13588557824 56634 33554432000 4194304 4196468 140727559940448 140521517287792 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19432] ppid=19413 vsize=13270076 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19432/stat : 19432 (java) S 19413 19416 14714 0 -1 1077944384 2077 0 0 0 82 0 0 0 20 0 20 0 6628092 13588557824 56634 33554432000 4194304 4196468 140727559940448 140521516234992 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19433] ppid=19413 vsize=13270076 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19433/stat : 19433 (java) S 19413 19416 14714 0 -1 1077944384 3394 0 0 0 90 0 0 0 20 0 20 0 6628092 13588557824 56634 33554432000 4194304 4196468 140727559940448 140521515182192 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19434] ppid=19413 vsize=13270076 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19434/stat : 19434 (java) S 19413 19416 14714 0 -1 1077944384 8801 0 0 0 71 0 0 0 20 0 20 0 6628092 13588557824 56634 33554432000 4194304 4196468 140727559940448 140521514129392 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19435] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19435/stat : 19435 (java) S 19413 19416 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6628092 13588557824 56634 33554432000 4194304 4196468 140727559940448 140521513077856 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19436] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19436/stat : 19436 (java) S 19413 19416 14714 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 6628093 13588557824 56634 33554432000 4194304 4196468 140727559940448 140521512025136 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 13270076
[startup+4.00123 s]
/proc/loadavg: 1.28 1.40 1.46 3/281 19436
/proc/meminfo: memFree=29250184/32770624 swapFree=5688/270596
[pid=19416] ppid=19413 vsize=13270076 CPUtime=7.57 cores=0,2,4,6,8,10,12,14
/proc/19416/stat : 19416 (java) S 19413 19416 14714 0 -1 1077944320 32275 0 0 0 731 26 0 0 20 0 20 0 6628084 13588557824 63840 33554432000 4194304 4196468 140727559940448 140727559922992 140522059165431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
/proc/19416/statm: 3317519 63840 3823 1 0 3305234 0
[pid=19416/tid=19417] ppid=19413 vsize=13270076 CPUtime=3.9 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19417/stat : 19417 (java) S 19413 19416 14714 0 -1 1077944384 11979 0 0 0 384 6 0 0 20 0 20 0 6628084 13588557824 63840 33554432000 4194304 4196468 140727559940448 140522063403680 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19419] ppid=19413 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19419/stat : 19419 (java) S 19413 19416 14714 0 -1 1077944384 332 0 0 0 2 2 0 0 20 0 20 0 6628085 13588557824 63840 33554432000 4194304 4196468 140727559940448 140522011786384 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19420] ppid=19413 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19420/stat : 19420 (java) S 19413 19416 14714 0 -1 1077944384 60 0 0 0 2 1 0 0 20 0 20 0 6628085 13588557824 63840 33554432000 4194304 4196468 140727559940448 140522010733584 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19421] ppid=19413 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19421/stat : 19421 (java) S 19413 19416 14714 0 -1 1077944384 35 0 0 0 1 2 0 0 20 0 20 0 6628085 13588557824 63840 33554432000 4194304 4196468 140727559940448 140522009680784 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19422] ppid=19413 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19422/stat : 19422 (java) S 19413 19416 14714 0 -1 1077944384 46 0 0 0 2 1 0 0 20 0 20 0 6628085 13588557824 63840 33554432000 4194304 4196468 140727559940448 140522008627984 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19423] ppid=19413 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19423/stat : 19423 (java) S 19413 19416 14714 0 -1 1077944384 112 0 0 0 1 2 0 0 20 0 20 0 6628085 13588557824 63840 33554432000 4194304 4196468 140727559940448 140522007575184 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19424] ppid=19413 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19424/stat : 19424 (java) S 19413 19416 14714 0 -1 1077944384 41 0 0 0 2 2 0 0 20 0 20 0 6628085 13588557824 63840 33554432000 4194304 4196468 140727559940448 140522006522384 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19425] ppid=19413 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19425/stat : 19425 (java) S 19413 19416 14714 0 -1 1077944384 126 0 0 0 2 1 0 0 20 0 20 0 6628085 13588557824 63840 33554432000 4194304 4196468 140727559940448 140522005469584 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19426] ppid=19413 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19426/stat : 19426 (java) S 19413 19416 14714 0 -1 1077944384 63 0 0 0 1 2 0 0 20 0 20 0 6628085 13588557824 63840 33554432000 4194304 4196468 140727559940448 140522004416784 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19427] ppid=19413 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19427/stat : 19427 (java) R 19413 19416 14714 0 -1 4202560 601 0 0 0 1 0 0 0 20 0 20 0 6628088 13588557824 63840 33554432000 4194304 4196468 140727559940448 140521521497504 140522043521596 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19428] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19428/stat : 19428 (java) S 19413 19416 14714 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6628088 13588557824 63840 33554432000 4194304 4196468 140727559940448 140521520445024 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19429] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19429/stat : 19429 (java) S 19413 19416 14714 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6628089 13588557824 63840 33554432000 4194304 4196468 140727559940448 140521519392128 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19430] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19430/stat : 19430 (java) S 19413 19416 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6628092 13588557824 63840 33554432000 4194304 4196468 140727559940448 140521518340432 140522059184027 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19431] ppid=19413 vsize=13270076 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19431/stat : 19431 (java) S 19413 19416 14714 0 -1 1077944384 3133 0 0 0 81 0 0 0 20 0 20 0 6628092 13588557824 63840 33554432000 4194304 4196468 140727559940448 140521517287792 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19432] ppid=19413 vsize=13270076 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19432/stat : 19432 (java) S 19413 19416 14714 0 -1 1077944384 2077 0 0 0 82 0 0 0 20 0 20 0 6628092 13588557824 63840 33554432000 4194304 4196468 140727559940448 140521516234992 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19433] ppid=19413 vsize=13270076 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19433/stat : 19433 (java) S 19413 19416 14714 0 -1 1077944384 3394 0 0 0 90 0 0 0 20 0 20 0 6628092 13588557824 63840 33554432000 4194304 4196468 140727559940448 140521515182192 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19434] ppid=19413 vsize=13270076 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19434/stat : 19434 (java) S 19413 19416 14714 0 -1 1077944384 8834 0 0 0 71 0 0 0 20 0 20 0 6628092 13588557824 63840 33554432000 4194304 4196468 140727559940448 140521514129392 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19435] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19435/stat : 19435 (java) S 19413 19416 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6628092 13588557824 63840 33554432000 4194304 4196468 140727559940448 140521513077856 140522059175637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
[pid=19416/tid=19436] ppid=19413 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19416/task/19436/stat : 19436 (java) S 19413 19416 14714 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 6628093 13588557824 63840 33554432000 4194304 4196468 140727559940448 140521512025136 140522059176578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140727559943310 140727559943492 140727559943492 140727559946191 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 13270076
Child status: 0
Real time (s): 4.03499
CPU time (s): 7.61172
CPU user time (s): 7.33191
CPU system time (s): 0.279805
CPU usage (%): 188.643
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.33191
system time used= 0.279805
maximum resident set size= 256820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32471
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4658
involuntary context switches= 555
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04959 second user time and 0.075625 second system time
The end