runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10882 MiB free)
memory of node 1: 16384 MiB (10775 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302301-1532896726/watcher-4302301-1532896726 -o /tmp/evaluation-result-4302301-1532896726/solver-4302301-1532896726 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532895551-13368 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1642562800 HOME/instance-4302301-1532896726.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15171, runsolver pid=15168
Current StackSize limit: 8192 KiB
[startup+0.100129 s]*
/proc/loadavg: 1.84 1.67 1.55 3/206 15228
/proc/meminfo: memFree=22170996/32770624 swapFree=67108688/67108860
[pid=15171] ppid=15168 vsize=10005480 memory=15180 CPUtime=0.1 cores=0,2,4,6
/proc/15171/stat : 15171 (java) S 15168 15171 6529 0 -1 1077944320 4480 12980 0 0 1 1 5 3 20 0 6 0 107235552 10245611520 3795 33554432000 4194304 4196468 140727712696784 140727712679328 140497137753847 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
/proc/15171/statm: 2501370 3795 1935 1 0 2489808 0
[pid=15171/tid=15224] ppid=15168 vsize=10005480 memory=4279135703913365132 CPUtime=0.09 cores=0,2,4,6
/proc/15171/task/15224/stat : 15224 (java) R 15168 15171 6529 0 -1 4202560 2312 12980 0 0 1 0 5 3 20 0 6 0 107235560 10245611520 3861 33554432000 4194304 4196468 140727712696784 140497109590608 140497121834334 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15225] ppid=15168 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15225/stat : 15225 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 6 0 107235561 10245611520 3861 33554432000 4194304 4196468 140727712696784 140497141996304 140497137764053 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15226] ppid=15168 vsize=10005480 memory=140119666411136 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15226/stat : 15226 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 6 0 107235561 10245611520 3861 33554432000 4194304 4196468 140727712696784 140496677038992 140497137764053 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15227] ppid=15168 vsize=10010620 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15227/stat : 15227 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 6 0 107235561 10250874880 3861 33554432000 4194304 4196468 140727712696784 140496675986448 140497137764053 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15228] ppid=15168 vsize=10016288 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15228/stat : 15228 (java) S 15168 15171 6529 0 -1 1077944384 2 12980 0 0 0 0 5 3 20 0 6 0 107235561 10256678912 3861 33554432000 4194304 4196468 140727712696784 140496674933904 140497137764053 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 15180 KiB
[startup+0.209851 s]*
/proc/loadavg: 1.84 1.67 1.55 3/215 15237
/proc/meminfo: memFree=22147692/32770624 swapFree=67108688/67108860
[pid=15171] ppid=15168 vsize=10982744 memory=44468 CPUtime=0.27 cores=0,2,4,6
/proc/15171/stat : 15171 (java) S 15168 15171 6529 0 -1 1077944320 8360 12980 0 0 17 2 5 3 20 0 15 0 107235552 11246329856 11117 33554432000 4194304 4196468 140727712696784 140727712679328 140497137753847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
/proc/15171/statm: 2745686 11117 2956 1 0 2708109 0
[pid=15171/tid=15224] ppid=15168 vsize=10982744 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/15171/task/15224/stat : 15224 (java) R 15168 15171 6529 0 -1 4202560 4849 12980 0 0 11 1 5 3 20 0 15 0 107235560 11246329856 11117 33554432000 4194304 4196468 140727712696784 140497109546272 140496959233461 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15225] ppid=15168 vsize=10982744 memory=343 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15225/stat : 15225 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 15 0 107235561 11246329856 11117 33554432000 4194304 4196468 140727712696784 140497141996304 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15226] ppid=15168 vsize=10982744 memory=140119666704808 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15226/stat : 15226 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 15 0 107235561 11246329856 11117 33554432000 4194304 4196468 140727712696784 140496677038992 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15227] ppid=15168 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15227/stat : 15227 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 15 0 107235561 11246329856 11117 33554432000 4194304 4196468 140727712696784 140496675986448 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15228] ppid=15168 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15228/stat : 15228 (java) S 15168 15171 6529 0 -1 1077944384 2 12980 0 0 0 0 5 3 20 0 15 0 107235561 11246329856 11117 33554432000 4194304 4196468 140727712696784 140496674933904 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15229] ppid=15168 vsize=10982744 memory=140119666411136 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15229/stat : 15229 (java) S 15168 15171 6529 0 -1 1077944384 2 12980 0 0 0 0 5 3 20 0 15 0 107235563 11246329856 11117 33554432000 4194304 4196468 140727712696784 140496429098992 140497137764994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15230] ppid=15168 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15230/stat : 15230 (java) S 15168 15171 6529 0 -1 1077944384 13 12980 0 0 0 0 5 3 20 0 15 0 107235563 11246329856 11117 33554432000 4194304 4196468 140727712696784 140495963546528 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15231] ppid=15168 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15231/stat : 15231 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 15 0 107235563 11246329856 11117 33554432000 4194304 4196468 140727712696784 140495762220016 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15232] ppid=15168 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15232/stat : 15232 (java) S 15168 15171 6529 0 -1 1077944384 3 12980 0 0 0 0 5 3 20 0 15 0 107235566 11246329856 11117 33554432000 4194304 4196468 140727712696784 140495454820560 140497137772443 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15233] ppid=15168 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15171/task/15233/stat : 15233 (java) S 15168 15171 6529 0 -1 1077944384 370 12980 0 0 1 0 5 3 20 0 15 0 107235566 11246329856 11117 33554432000 4194304 4196468 140727712696784 140496428046832 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15234] ppid=15168 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15234/stat : 15234 (java) S 15168 15171 6529 0 -1 1077944384 262 12980 0 0 0 0 5 3 20 0 15 0 107235566 11246329856 11117 33554432000 4194304 4196468 140727712696784 140496426994288 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15235] ppid=15168 vsize=10982744 memory=140119666411136 CPUtime=0.11 cores=0,2,4,6
/proc/15171/task/15235/stat : 15235 (java) R 15168 15171 6529 0 -1 4202560 681 12980 0 0 3 0 5 3 20 0 15 0 107235566 11246329856 11117 33554432000 4194304 4196468 140727712696784 140496425941744 140497116888339 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15236] ppid=15168 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15236/stat : 15236 (java) S 15168 15171 6529 0 -1 1077944384 3 12980 0 0 0 0 5 3 20 0 15 0 107235566 11246329856 11117 33554432000 4194304 4196468 140727712696784 140495024024672 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15237] ppid=15168 vsize=10982744 memory=140119666411136 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15237/stat : 15237 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 15 0 107235566 11246329856 11117 33554432000 4194304 4196468 140727712696784 140496424888624 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44468 KiB
[startup+0.310217 s]*
/proc/loadavg: 1.84 1.67 1.55 3/215 15237
/proc/meminfo: memFree=22135908/32770624 swapFree=67108688/67108860
[pid=15171] ppid=15168 vsize=10983192 memory=55412 CPUtime=0.39 cores=0,2,4,6
/proc/15171/stat : 15171 (java) S 15168 15171 6529 0 -1 1077944320 10911 12980 0 0 28 3 5 3 20 0 15 0 107235552 11246788608 13853 33554432000 4194304 4196468 140727712696784 140727712679328 140497137753847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
/proc/15171/statm: 2745798 13853 3101 1 0 2708109 0
[pid=15171/tid=15224] ppid=15168 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/15171/task/15224/stat : 15224 (java) R 15168 15171 6529 0 -1 4202560 7347 12980 0 0 20 1 5 3 20 0 15 0 107235560 11246788608 13853 33554432000 4194304 4196468 140727712696784 140497109565856 140497121834334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15225] ppid=15168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15225/stat : 15225 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 15 0 107235561 11246788608 13853 33554432000 4194304 4196468 140727712696784 140497141996304 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15226] ppid=15168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15226/stat : 15226 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 15 0 107235561 11246788608 13853 33554432000 4194304 4196468 140727712696784 140496677038992 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15227] ppid=15168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15227/stat : 15227 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 15 0 107235561 11246788608 13853 33554432000 4194304 4196468 140727712696784 140496675986448 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15228] ppid=15168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15228/stat : 15228 (java) S 15168 15171 6529 0 -1 1077944384 2 12980 0 0 0 0 5 3 20 0 15 0 107235561 11246788608 13853 33554432000 4194304 4196468 140727712696784 140496674933904 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15229] ppid=15168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15229/stat : 15229 (java) S 15168 15171 6529 0 -1 1077944384 2 12980 0 0 0 0 5 3 20 0 15 0 107235563 11246788608 13853 33554432000 4194304 4196468 140727712696784 140496429098992 140497137764994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15230] ppid=15168 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15230/stat : 15230 (java) S 15168 15171 6529 0 -1 1077944384 13 12980 0 0 0 0 5 3 20 0 15 0 107235563 11246788608 13853 33554432000 4194304 4196468 140727712696784 140495963546528 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15231] ppid=15168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15231/stat : 15231 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 15 0 107235563 11246788608 13853 33554432000 4194304 4196468 140727712696784 140495762220016 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15232] ppid=15168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15232/stat : 15232 (java) S 15168 15171 6529 0 -1 1077944384 3 12980 0 0 0 0 5 3 20 0 15 0 107235566 11246788608 13853 33554432000 4194304 4196468 140727712696784 140495454820560 140497137772443 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15233] ppid=15168 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15171/task/15233/stat : 15233 (java) R 15168 15171 6529 0 -1 1077944384 374 12980 0 0 1 0 5 3 20 0 15 0 107235566 11246788608 13853 33554432000 4194304 4196468 140727712696784 140496428046832 140497137764994 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15234] ppid=15168 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/15171/task/15234/stat : 15234 (java) S 15168 15171 6529 0 -1 1077944384 270 12980 0 0 1 0 5 3 20 0 15 0 107235566 11246788608 13853 33554432000 4194304 4196468 140727712696784 140496426994288 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15235] ppid=15168 vsize=10983192 memory=140119666411136 CPUtime=0.12 cores=0,2,4,6
/proc/15171/task/15235/stat : 15235 (java) R 15168 15171 6529 0 -1 1077944384 709 12980 0 0 4 0 5 3 20 0 15 0 107235566 11246788608 13853 33554432000 4194304 4196468 140727712696784 140496425941744 140497137764994 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15236] ppid=15168 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15236/stat : 15236 (java) S 15168 15171 6529 0 -1 1077944384 3 12980 0 0 0 0 5 3 20 0 15 0 107235566 11246788608 13853 33554432000 4194304 4196468 140727712696784 140495024024672 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15237] ppid=15168 vsize=10983192 memory=140119666411136 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15237/stat : 15237 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 15 0 107235566 11246788608 13853 33554432000 4194304 4196468 140727712696784 140496424888624 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55412 KiB
[startup+0.700735 s]
/proc/loadavg: 1.84 1.67 1.55 4/215 15237
/proc/meminfo: memFree=22125364/32770624 swapFree=67108688/67108860
[pid=15171] ppid=15168 vsize=10983192 memory=87940 CPUtime=1 cores=0,2,4,6
/proc/15171/stat : 15171 (java) S 15168 15171 6529 0 -1 1077944320 17204 12980 0 0 87 5 5 3 20 0 15 0 107235552 11246788608 21985 33554432000 4194304 4196468 140727712696784 140727712679328 140497137753847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
/proc/15171/statm: 2745798 21985 3239 1 0 2708109 0
[pid=15171/tid=15224] ppid=15168 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/15171/task/15224/stat : 15224 (java) R 15168 15171 6529 0 -1 4202560 12441 12980 0 0 56 3 5 3 20 0 15 0 107235560 11246788608 21985 33554432000 4194304 4196468 140727712696784 140497109574672 140497137775773 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15225] ppid=15168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15225/stat : 15225 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 15 0 107235561 11246788608 21985 33554432000 4194304 4196468 140727712696784 140497141996304 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15226] ppid=15168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15226/stat : 15226 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 15 0 107235561 11246788608 21985 33554432000 4194304 4196468 140727712696784 140496677038992 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15227] ppid=15168 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15227/stat : 15227 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 15 0 107235561 11246788608 22049 33554432000 4194304 4196468 140727712696784 140496675986448 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15228] ppid=15168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15228/stat : 15228 (java) S 15168 15171 6529 0 -1 1077944384 2 12980 0 0 0 0 5 3 20 0 15 0 107235561 11246788608 22049 33554432000 4194304 4196468 140727712696784 140496674933904 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15229] ppid=15168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15229/stat : 15229 (java) S 15168 15171 6529 0 -1 1077944384 6 12980 0 0 0 0 5 3 20 0 15 0 107235563 11246788608 22049 33554432000 4194304 4196468 140727712696784 140496429098992 140497137764994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15230] ppid=15168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15230/stat : 15230 (java) S 15168 15171 6529 0 -1 1077944384 13 12980 0 0 0 0 5 3 20 0 15 0 107235563 11246788608 22049 33554432000 4194304 4196468 140727712696784 140495963546528 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15231] ppid=15168 vsize=10983192 memory=140119550079760 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15231/stat : 15231 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 15 0 107235563 11246788608 22049 33554432000 4194304 4196468 140727712696784 140495762220016 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15232] ppid=15168 vsize=10983192 memory=140123308032593 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15232/stat : 15232 (java) S 15168 15171 6529 0 -1 1077944384 3 12980 0 0 0 0 5 3 20 0 15 0 107235566 11246788608 22049 33554432000 4194304 4196468 140727712696784 140495454820560 140497137772443 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15233] ppid=15168 vsize=10983192 memory=14076 CPUtime=0.14 cores=0,2,4,6
/proc/15171/task/15233/stat : 15233 (java) S 15168 15171 6529 0 -1 1077944384 748 12980 0 0 6 0 5 3 20 0 15 0 107235566 11246788608 22049 33554432000 4194304 4196468 140727712696784 140496428046832 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15234] ppid=15168 vsize=10983192 memory=4639098309541127269 CPUtime=0.18 cores=0,2,4,6
/proc/15171/task/15234/stat : 15234 (java) S 15168 15171 6529 0 -1 1077944384 912 12980 0 0 10 0 5 3 20 0 15 0 107235566 11246788608 22049 33554432000 4194304 4196468 140727712696784 140496426994288 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15235] ppid=15168 vsize=10983192 memory=7885635084775281009 CPUtime=0.2 cores=0,2,4,6
/proc/15171/task/15235/stat : 15235 (java) R 15168 15171 6529 0 -1 4202560 882 12980 0 0 12 0 5 3 20 0 15 0 107235566 11246788608 22049 33554432000 4194304 4196468 140727712696784 140496425941744 140497137765782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15236] ppid=15168 vsize=10983192 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15236/stat : 15236 (java) S 15168 15171 6529 0 -1 1077944384 3 12980 0 0 0 0 5 3 20 0 15 0 107235566 11246788608 22049 33554432000 4194304 4196468 140727712696784 140495024024672 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15237] ppid=15168 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15237/stat : 15237 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 15 0 107235566 11246788608 22049 33554432000 4194304 4196468 140727712696784 140496424888624 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87940 KiB
[startup+1.5013 s]
/proc/loadavg: 1.84 1.67 1.55 5/215 15237
/proc/meminfo: memFree=22078580/32770624 swapFree=67108688/67108860
[pid=15171] ppid=15168 vsize=10993712 memory=308548 CPUtime=2.86 cores=0,2,4,6
/proc/15171/stat : 15171 (java) S 15168 15171 6529 0 -1 1077944320 26383 12980 0 0 266 12 5 3 20 0 15 0 107235552 11257561088 77137 33554432000 4194304 4196468 140727712696784 140727712679328 140497137753847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
/proc/15171/statm: 2748428 77137 3462 1 0 2710086 0
[pid=15171/tid=15224] ppid=15168 vsize=10993712 memory=12848 CPUtime=1.44 cores=0,2,4,6
/proc/15171/task/15224/stat : 15224 (java) R 15168 15171 6529 0 -1 4202560 15001 12980 0 0 130 6 5 3 20 0 15 0 107235560 11257561088 77137 33554432000 4194304 4196468 140727712696784 140497109585296 140496707599496 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15225] ppid=15168 vsize=10993712 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/15171/task/15225/stat : 15225 (java) S 15168 15171 6529 0 -1 1077944384 16 12980 0 0 1 0 5 3 20 0 15 0 107235561 11257561088 77137 33554432000 4194304 4196468 140727712696784 140497141996304 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15226] ppid=15168 vsize=10993712 memory=1408 CPUtime=0.09 cores=0,2,4,6
/proc/15171/task/15226/stat : 15226 (java) S 15168 15171 6529 0 -1 1077944384 99 12980 0 0 1 0 5 3 20 0 15 0 107235561 11257561088 77137 33554432000 4194304 4196468 140727712696784 140496677038992 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15227] ppid=15168 vsize=10993712 memory=2728 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15227/stat : 15227 (java) S 15168 15171 6529 0 -1 1077944384 15 12980 0 0 0 0 5 3 20 0 15 0 107235561 11257561088 77137 33554432000 4194304 4196468 140727712696784 140496675986448 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15228] ppid=15168 vsize=10993712 memory=87940 CPUtime=0.09 cores=0,2,4,6
/proc/15171/task/15228/stat : 15228 (java) S 15168 15171 6529 0 -1 1077944384 261 12980 0 0 1 0 5 3 20 0 15 0 107235561 11257561088 77137 33554432000 4194304 4196468 140727712696784 140496674933904 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15229] ppid=15168 vsize=10993712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15229/stat : 15229 (java) S 15168 15171 6529 0 -1 1077944384 94 12980 0 0 0 0 5 3 20 0 15 0 107235563 11257561088 77137 33554432000 4194304 4196468 140727712696784 140496429098992 140497137764994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15230] ppid=15168 vsize=10993712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15230/stat : 15230 (java) S 15168 15171 6529 0 -1 1077944384 14 12980 0 0 0 0 5 3 20 0 15 0 107235563 11257561088 77137 33554432000 4194304 4196468 140727712696784 140495963546528 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15231] ppid=15168 vsize=10993712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15231/stat : 15231 (java) S 15168 15171 6529 0 -1 1077944384 2 12980 0 0 0 0 5 3 20 0 15 0 107235563 11257561088 77137 33554432000 4194304 4196468 140727712696784 140495762220016 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15232] ppid=15168 vsize=10993712 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15232/stat : 15232 (java) S 15168 15171 6529 0 -1 1077944384 3 12980 0 0 0 0 5 3 20 0 15 0 107235566 11257561088 77137 33554432000 4194304 4196468 140727712696784 140495454820560 140497137772443 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15233] ppid=15168 vsize=10993712 memory=6935649255759568960 CPUtime=0.54 cores=0,2,4,6
/proc/15171/task/15233/stat : 15233 (java) R 15168 15171 6529 0 -1 4202560 3210 12980 0 0 46 0 5 3 20 0 15 0 107235566 11257561088 77137 33554432000 4194304 4196468 140727712696784 140496428032296 140497119290109 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15234] ppid=15168 vsize=10993712 memory=280239100435328 CPUtime=0.6 cores=0,2,4,6
/proc/15171/task/15234/stat : 15234 (java) R 15168 15171 6529 0 -1 4202560 3918 12980 0 0 52 0 5 3 20 0 15 0 107235566 11257561088 77137 33554432000 4194304 4196468 140727712696784 140496426980264 140497119299077 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15235] ppid=15168 vsize=10993712 memory=6944656592452938395 CPUtime=0.41 cores=0,2,4,6
/proc/15171/task/15235/stat : 15235 (java) S 15168 15171 6529 0 -1 1077944384 1557 12980 0 0 32 1 5 3 20 0 15 0 107235566 11257561088 77137 33554432000 4194304 4196468 140727712696784 140496425941744 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15236] ppid=15168 vsize=10993712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15236/stat : 15236 (java) S 15168 15171 6529 0 -1 1077944384 3 12980 0 0 0 0 5 3 20 0 15 0 107235566 11257561088 77137 33554432000 4194304 4196468 140727712696784 140495024024672 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15237] ppid=15168 vsize=10993712 memory=4206468019014099040 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15237/stat : 15237 (java) S 15168 15171 6529 0 -1 1077944384 1 12980 0 0 0 0 5 3 20 0 15 0 107235566 11257561088 77137 33554432000 4194304 4196468 140727712696784 140496424888624 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 10993712 KiB
################
# More data... #
################
[pid=15171/tid=15230] ppid=15168 vsize=11014496 memory=4664388 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15230/stat : 15230 (java) S 15168 15171 6529 0 -1 1077944384 23 12980 0 0 0 0 5 3 20 0 15 0 107235563 11278843904 1166097 33554432000 4194304 4196468 140727712696784 140495963546592 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15231] ppid=15168 vsize=11014496 memory=4664392 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15231/stat : 15231 (java) S 15168 15171 6529 0 -1 1077944384 10 12980 0 0 0 0 5 3 20 0 15 0 107235563 11278843904 1166097 33554432000 4194304 4196468 140727712696784 140495762220032 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15232] ppid=15168 vsize=11014496 memory=792 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15232/stat : 15232 (java) S 15168 15171 6529 0 -1 1077944384 3 12980 0 0 0 0 5 3 20 0 15 0 107235566 11278843904 1166097 33554432000 4194304 4196468 140727712696784 140495454820560 140497137772443 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15233] ppid=15168 vsize=11014496 memory=4664384 CPUtime=4.84 cores=0,2,4,6
/proc/15171/task/15233/stat : 15233 (java) S 15168 15171 6529 0 -1 1077944384 18194 12980 0 0 472 4 5 3 20 0 15 0 107235566 11278843904 1166097 33554432000 4194304 4196468 140727712696784 140496428046832 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15234] ppid=15168 vsize=11014496 memory=4616 CPUtime=5.31 cores=0,2,4,6
/proc/15171/task/15234/stat : 15234 (java) S 15168 15171 6529 0 -1 1077944384 16525 12980 0 0 521 2 5 3 20 0 15 0 107235566 11278843904 1166097 33554432000 4194304 4196468 140727712696784 140496426994288 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15235] ppid=15168 vsize=11014496 memory=4664388 CPUtime=1.74 cores=0,2,4,6
/proc/15171/task/15235/stat : 15235 (java) S 15168 15171 6529 0 -1 1077944384 15271 12980 0 0 162 4 5 3 20 0 15 0 107235566 11278843904 1166097 33554432000 4194304 4196468 140727712696784 140496425941744 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15236] ppid=15168 vsize=11014496 memory=4664388 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15236/stat : 15236 (java) S 15168 15171 6529 0 -1 1077944384 3 12980 0 0 0 0 5 3 20 0 15 0 107235566 11278843904 1166097 33554432000 4194304 4196468 140727712696784 140495024024672 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15237] ppid=15168 vsize=11014496 memory=4124 CPUtime=0.17 cores=0,2,4,6
/proc/15171/task/15237/stat : 15237 (java) S 15168 15171 6529 0 -1 1077944384 296 12980 0 0 4 5 5 3 20 0 15 0 107235566 11278843904 1166097 33554432000 4194304 4196468 140727712696784 140496424888624 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
Current children cumulated CPU time: 209.61 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 4664388 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+204.501 s]
/proc/loadavg: 1.77 1.82 1.65 3/216 15378
/proc/meminfo: memFree=16442836/32770624 swapFree=67108688/67108860
[pid=15171] ppid=15168 vsize=11014496 memory=4623908 CPUtime=252.02 cores=0,2,4,6
/proc/15171/stat : 15171 (java) S 15168 15171 6529 0 -1 1077944320 286186 12980 0 0 24933 261 5 3 20 0 15 0 107235552 11278843904 1155977 33554432000 4194304 4196468 140727712696784 140727712679328 140497137753847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
/proc/15171/statm: 2753624 1155977 3521 1 0 2715277 0
[pid=15171/tid=15224] ppid=15168 vsize=11014496 memory=4623908 CPUtime=191.6 cores=0,2,4,6
/proc/15171/task/15224/stat : 15224 (java) R 15168 15171 6529 0 -1 4202560 96984 12980 0 0 19108 44 5 3 20 0 15 0 107235560 11278843904 1155977 33554432000 4194304 4196468 140727712696784 140497107407696 140496720534383 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15225] ppid=15168 vsize=11014496 memory=4623876 CPUtime=12.01 cores=0,2,4,6
/proc/15171/task/15225/stat : 15225 (java) S 15168 15171 6529 0 -1 1077944384 28712 12980 0 0 1146 47 5 3 20 0 15 0 107235561 11278843904 1155977 33554432000 4194304 4196468 140727712696784 140497141996304 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15226] ppid=15168 vsize=11014496 memory=4664408 CPUtime=12.01 cores=0,2,4,6
/proc/15171/task/15226/stat : 15226 (java) S 15168 15171 6529 0 -1 1077944384 27906 12980 0 0 1144 49 5 3 20 0 15 0 107235561 11278843904 1155977 33554432000 4194304 4196468 140727712696784 140496677038992 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15227] ppid=15168 vsize=11014496 memory=4664408 CPUtime=11.98 cores=0,2,4,6
/proc/15171/task/15227/stat : 15227 (java) S 15168 15171 6529 0 -1 1077944384 24081 12980 0 0 1140 50 5 3 20 0 15 0 107235561 11278843904 1155977 33554432000 4194304 4196468 140727712696784 140496675986448 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15228] ppid=15168 vsize=11014496 memory=4623908 CPUtime=11.97 cores=0,2,4,6
/proc/15171/task/15228/stat : 15228 (java) S 15168 15171 6529 0 -1 1077944384 22495 12980 0 0 1141 48 5 3 20 0 15 0 107235561 11278843904 1155977 33554432000 4194304 4196468 140727712696784 140496674933904 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15229] ppid=15168 vsize=11014496 memory=4623908 CPUtime=0.84 cores=0,2,4,6
/proc/15171/task/15229/stat : 15229 (java) S 15168 15171 6529 0 -1 1077944384 29243 12980 0 0 73 3 5 3 20 0 15 0 107235563 11278843904 1155977 33554432000 4194304 4196468 140727712696784 140496429098992 140497137764994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15230] ppid=15168 vsize=11014496 memory=4623908 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15230/stat : 15230 (java) S 15168 15171 6529 0 -1 1077944384 30 12980 0 0 0 0 5 3 20 0 15 0 107235563 11278843904 1155977 33554432000 4194304 4196468 140727712696784 140495963546592 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15231] ppid=15168 vsize=11014496 memory=4623908 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15231/stat : 15231 (java) S 15168 15171 6529 0 -1 1077944384 10 12980 0 0 0 0 5 3 20 0 15 0 107235563 11278843904 1155977 33554432000 4194304 4196468 140727712696784 140495762220032 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15232] ppid=15168 vsize=11014496 memory=15872 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15232/stat : 15232 (java) S 15168 15171 6529 0 -1 1077944384 3 12980 0 0 0 0 5 3 20 0 15 0 107235566 11278843904 1155977 33554432000 4194304 4196468 140727712696784 140495454820560 140497137772443 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15233] ppid=15168 vsize=11014496 memory=4664408 CPUtime=4.89 cores=0,2,4,6
/proc/15171/task/15233/stat : 15233 (java) S 15168 15171 6529 0 -1 1077944384 19461 12980 0 0 477 4 5 3 20 0 15 0 107235566 11278843904 1155977 33554432000 4194304 4196468 140727712696784 140496428046832 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15234] ppid=15168 vsize=11014496 memory=4623908 CPUtime=5.38 cores=0,2,4,6
/proc/15171/task/15234/stat : 15234 (java) S 15168 15171 6529 0 -1 1077944384 17823 12980 0 0 527 3 5 3 20 0 15 0 107235566 11278843904 1155977 33554432000 4194304 4196468 140727712696784 140496426994288 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15235] ppid=15168 vsize=11014496 memory=4623908 CPUtime=1.75 cores=0,2,4,6
/proc/15171/task/15235/stat : 15235 (java) S 15168 15171 6529 0 -1 1077944384 16852 12980 0 0 163 4 5 3 20 0 15 0 107235566 11278843904 1155977 33554432000 4194304 4196468 140727712696784 140496425941744 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15236] ppid=15168 vsize=11014496 memory=4623908 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15236/stat : 15236 (java) S 15168 15171 6529 0 -1 1077944384 3 12980 0 0 0 0 5 3 20 0 15 0 107235566 11278843904 1155977 33554432000 4194304 4196468 140727712696784 140495024024672 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15237] ppid=15168 vsize=11014496 memory=4140 CPUtime=0.19 cores=0,2,4,6
/proc/15171/task/15237/stat : 15237 (java) S 15168 15171 6529 0 -1 1077944384 394 12980 0 0 5 6 5 3 20 0 15 0 107235566 11278843904 1155977 33554432000 4194304 4196468 140727712696784 140496424888624 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 4623908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+205.625 s]
# the end of solver process 15171 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.474 s, system=2.68537 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+204.801 s]
/proc/loadavg: 1.77 1.82 1.65 3/216 15378
/proc/meminfo: memFree=16442836/32770624 swapFree=67108688/67108860
[pid=15171] ppid=15168 vsize=11276648 memory=4628100 CPUtime=252.32 cores=0,2,4,6
/proc/15171/stat : 15171 (java) S 15168 15171 6529 0 -1 1077944320 286540 12980 0 0 24963 261 5 3 20 0 17 0 107235552 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140727712679328 140497137753847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
/proc/15171/statm: 2819162 1157025 3522 1 0 2780815 0
[pid=15171/tid=15224] ppid=15168 vsize=11276648 memory=1004 CPUtime=191.9 cores=0,2,4,6
/proc/15171/task/15224/stat : 15224 (java) R 15168 15171 6529 0 -1 4202560 97053 12980 0 0 19138 44 5 3 20 0 17 0 107235560 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140497107407584 140496720439014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15225] ppid=15168 vsize=11276648 memory=6791534058613427641 CPUtime=12.01 cores=0,2,4,6
/proc/15171/task/15225/stat : 15225 (java) S 15168 15171 6529 0 -1 1077944384 28712 12980 0 0 1146 47 5 3 20 0 17 0 107235561 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140497141996304 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15226] ppid=15168 vsize=11276648 memory=2408 CPUtime=12.01 cores=0,2,4,6
/proc/15171/task/15226/stat : 15226 (java) S 15168 15171 6529 0 -1 1077944384 27906 12980 0 0 1144 49 5 3 20 0 17 0 107235561 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140496677038992 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15227] ppid=15168 vsize=11276648 memory=4664384 CPUtime=11.98 cores=0,2,4,6
/proc/15171/task/15227/stat : 15227 (java) S 15168 15171 6529 0 -1 1077944384 24081 12980 0 0 1140 50 5 3 20 0 17 0 107235561 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140496675986448 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15228] ppid=15168 vsize=11276648 memory=1004 CPUtime=11.97 cores=0,2,4,6
/proc/15171/task/15228/stat : 15228 (java) S 15168 15171 6529 0 -1 1077944384 22495 12980 0 0 1141 48 5 3 20 0 17 0 107235561 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140496674933904 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15229] ppid=15168 vsize=11276648 memory=1296 CPUtime=0.84 cores=0,2,4,6
/proc/15171/task/15229/stat : 15229 (java) S 15168 15171 6529 0 -1 1077944384 29243 12980 0 0 73 3 5 3 20 0 17 0 107235563 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140496429098992 140497137764994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15230] ppid=15168 vsize=11276648 memory=493 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15230/stat : 15230 (java) S 15168 15171 6529 0 -1 1077944384 30 12980 0 0 0 0 5 3 20 0 17 0 107235563 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140495963546592 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15231] ppid=15168 vsize=11276648 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15231/stat : 15231 (java) S 15168 15171 6529 0 -1 1077944384 10 12980 0 0 0 0 5 3 20 0 17 0 107235563 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140495762220032 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15232] ppid=15168 vsize=11276648 memory=280238563752089 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15232/stat : 15232 (java) S 15168 15171 6529 0 -1 1077944384 166 12980 0 0 0 0 5 3 20 0 17 0 107235566 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140495454820560 140497137772443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15233] ppid=15168 vsize=11276648 memory=6791534058613427641 CPUtime=4.89 cores=0,2,4,6
/proc/15171/task/15233/stat : 15233 (java) S 15168 15171 6529 0 -1 1077944384 19461 12980 0 0 477 4 5 3 20 0 17 0 107235566 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140496428046832 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15234] ppid=15168 vsize=11276648 memory=1228 CPUtime=5.38 cores=0,2,4,6
/proc/15171/task/15234/stat : 15234 (java) S 15168 15171 6529 0 -1 1077944384 17823 12980 0 0 527 3 5 3 20 0 17 0 107235566 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140496426994288 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15235] ppid=15168 vsize=11276648 memory=8556 CPUtime=1.75 cores=0,2,4,6
/proc/15171/task/15235/stat : 15235 (java) S 15168 15171 6529 0 -1 1077944384 16852 12980 0 0 163 4 5 3 20 0 17 0 107235566 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140496425941744 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15236] ppid=15168 vsize=11276648 memory=4664384 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15236/stat : 15236 (java) S 15168 15171 6529 0 -1 1077944384 3 12980 0 0 0 0 5 3 20 0 17 0 107235566 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140495024024672 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15237] ppid=15168 vsize=11276648 memory=56 CPUtime=0.19 cores=0,2,4,6
/proc/15171/task/15237/stat : 15237 (java) S 15168 15171 6529 0 -1 1077944384 394 12980 0 0 5 6 5 3 20 0 17 0 107235566 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140496424888624 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
Current children cumulated CPU time: 252.32 s
Current children cumulated vsize: 11276648 KiB
Current children cumulated memory: 4628100 KiB
[startup+205.201 s]
/proc/loadavg: 1.77 1.82 1.65 6/218 15380
/proc/meminfo: memFree=16438368/32770624 swapFree=67108688/67108860
[pid=15171] ppid=15168 vsize=11276648 memory=4628100 CPUtime=252.72 cores=0,2,4,6
/proc/15171/stat : 15171 (java) S 15168 15171 6529 0 -1 1077944320 286555 12980 0 0 25003 261 5 3 20 0 17 0 107235552 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140727712679328 140497137753847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
/proc/15171/statm: 2819162 1157025 3522 1 0 2780815 0
[pid=15171/tid=15224] ppid=15168 vsize=11276648 memory=7976406965554101975 CPUtime=192.3 cores=0,2,4,6
/proc/15171/task/15224/stat : 15224 (java) R 15168 15171 6529 0 -1 4202560 97068 12980 0 0 19178 44 5 3 20 0 17 0 107235560 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140497107407584 140496720537065 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15225] ppid=15168 vsize=11276648 memory=-7751062316387021378 CPUtime=12.01 cores=0,2,4,6
/proc/15171/task/15225/stat : 15225 (java) S 15168 15171 6529 0 -1 1077944384 28712 12980 0 0 1146 47 5 3 20 0 17 0 107235561 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140497141996304 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15226] ppid=15168 vsize=11276648 memory=665112001402098147 CPUtime=12.01 cores=0,2,4,6
/proc/15171/task/15226/stat : 15226 (java) S 15168 15171 6529 0 -1 1077944384 27906 12980 0 0 1144 49 5 3 20 0 17 0 107235561 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140496677038992 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15227] ppid=15168 vsize=11276648 memory=6944656592387989600 CPUtime=11.98 cores=0,2,4,6
/proc/15171/task/15227/stat : 15227 (java) S 15168 15171 6529 0 -1 1077944384 24081 12980 0 0 1140 50 5 3 20 0 17 0 107235561 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140496675986448 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15228] ppid=15168 vsize=11276648 memory=0 CPUtime=11.97 cores=0,2,4,6
/proc/15171/task/15228/stat : 15228 (java) S 15168 15171 6529 0 -1 1077944384 22495 12980 0 0 1141 48 5 3 20 0 17 0 107235561 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140496674933904 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15229] ppid=15168 vsize=11276648 memory=6655300316396806240 CPUtime=0.84 cores=0,2,4,6
/proc/15171/task/15229/stat : 15229 (java) S 15168 15171 6529 0 -1 1077944384 29243 12980 0 0 73 3 5 3 20 0 17 0 107235563 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140496429098992 140497137764994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15230] ppid=15168 vsize=11276648 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15230/stat : 15230 (java) S 15168 15171 6529 0 -1 1077944384 30 12980 0 0 0 0 5 3 20 0 17 0 107235563 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140495963546592 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15231] ppid=15168 vsize=11276648 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15231/stat : 15231 (java) S 15168 15171 6529 0 -1 1077944384 10 12980 0 0 0 0 5 3 20 0 17 0 107235563 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140495762220032 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15232] ppid=15168 vsize=11276648 memory=280239100416224 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15232/stat : 15232 (java) S 15168 15171 6529 0 -1 1077944384 166 12980 0 0 0 0 5 3 20 0 17 0 107235566 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140495454820560 140497137772443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15233] ppid=15168 vsize=11276648 memory=0 CPUtime=4.89 cores=0,2,4,6
/proc/15171/task/15233/stat : 15233 (java) S 15168 15171 6529 0 -1 1077944384 19461 12980 0 0 477 4 5 3 20 0 17 0 107235566 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140496428046832 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15234] ppid=15168 vsize=11276648 memory=4628100 CPUtime=5.38 cores=0,2,4,6
/proc/15171/task/15234/stat : 15234 (java) S 15168 15171 6529 0 -1 1077944384 17823 12980 0 0 527 3 5 3 20 0 17 0 107235566 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140496426994288 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15235] ppid=15168 vsize=11276648 memory=2592 CPUtime=1.75 cores=0,2,4,6
/proc/15171/task/15235/stat : 15235 (java) S 15168 15171 6529 0 -1 1077944384 16852 12980 0 0 163 4 5 3 20 0 17 0 107235566 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140496425941744 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15236] ppid=15168 vsize=11276648 memory=2592 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15236/stat : 15236 (java) S 15168 15171 6529 0 -1 1077944384 3 12980 0 0 0 0 5 3 20 0 17 0 107235566 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140495024024672 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15237] ppid=15168 vsize=11276648 memory=1408 CPUtime=0.19 cores=0,2,4,6
/proc/15171/task/15237/stat : 15237 (java) S 15168 15171 6529 0 -1 1077944384 394 12980 0 0 5 6 5 3 20 0 17 0 107235566 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140496424888624 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15379] ppid=15168 vsize=11276648 memory=3144 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15379/stat : 15379 (java) S 15168 15171 6529 0 -1 1077944384 34 12980 0 0 0 0 5 3 20 0 17 0 107256002 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140494822695024 140497137764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
[pid=15171/tid=15380] ppid=15168 vsize=11276648 memory=4623908 CPUtime=0.08 cores=0,2,4,6
/proc/15171/task/15380/stat : 15380 (java) S 15168 15171 6529 0 -1 1077944384 87 12980 0 0 0 0 5 3 20 0 17 0 107256002 11547287552 1157025 33554432000 4194304 4196468 140727712696784 140494621369568 140497137764994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30261248 140727712701041 140727712703841 140727712703841 140727712706511 0
Current children cumulated CPU time: 252.72 s
Current children cumulated vsize: 11276648 KiB
Current children cumulated memory: 4628100 KiB
[startup+205.601 s]*
/proc/loadavg: 1.77 1.82 1.65 6/203 15380
/proc/meminfo: memFree=17693352/32770624 swapFree=67108688/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 205.625
CPU time (s): 253.159
CPU user time (s): 250.474
CPU system time (s): 2.68537
CPU usage (%): 123.117
Max. virtual memory (cumulated for all children) (KiB): 11276648
Max. memory (cumulated for all children) (KiB): 4664408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.474
system time used= 2.68537
maximum resident set size= 4664408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301467
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14628
involuntary context switches= 1346
# summary of solver processes directly reported to runsolver:
# pid: 15171
# total CPU time (s): 253.159
# total CPU user time (s): 250.474
# total CPU system time (s): 2.68537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41019 second user time and 1.80384 second system time
The end