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 (3490 MiB free)
memory of node 1: 16384 MiB (1311 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402960-1568982934/watcher-4402960-1568982934 -o /var/tmp/evaluation-result-4402960-1568982934/solver-4402960-1568982934 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1568967595-5563 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=579841060 HOME/instance-4402960-1568982934.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB
solver pid=11244, runsolver pid=11241
[startup+0.100128 s]*
/proc/loadavg: 1.17 1.30 1.31 3/219 11301
/proc/meminfo: memFree=4911052/32770624 swapFree=67001748/67108860
[pid=11244] ppid=11241 vsize=9972712 memory=16812 CPUtime=0.1 cores=0,2,4,6
/proc/11244/stat : 11244 (java) S 11241 11244 5532 0 -1 1077944320 4442 13237 0 0 1 1 5 3 20 0 6 0 474207315 10212057088 4203 33554432000 4194304 4196468 140722985286736 140722985269280 139728323809015 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
/proc/11244/statm: 2493178 4203 1934 1 0 2481616 0
[pid=11244/tid=11297] ppid=11241 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11297/stat : 11297 (java) R 11241 11244 5532 0 -1 4202560 2254 13237 0 0 0 0 5 3 20 0 6 0 474207324 10212057088 4203 33554432000 4194304 4196468 140722985286736 139728295645776 139728307889502 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11298] ppid=11241 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11298/stat : 11298 (java) S 11241 11244 5532 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 6 0 474207325 10212057088 4203 33554432000 4194304 4196468 140722985286736 139728328051344 139728323819221 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11299] ppid=11241 vsize=9972712 memory=139858080536192 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11299/stat : 11299 (java) S 11241 11244 5532 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 6 0 474207325 10212057088 4203 33554432000 4194304 4196468 140722985286736 139728242870800 139728323819221 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11300] ppid=11241 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11300/stat : 11300 (java) S 11241 11244 5532 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 6 0 474207325 10212057088 4203 33554432000 4194304 4196468 140722985286736 139728241818000 139728323819221 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11301] ppid=11241 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11301/stat : 11301 (java) S 11241 11244 5532 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 6 0 474207325 10212057088 4203 33554432000 4194304 4196468 140722985286736 139728240765200 139728323819221 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.215129 s]*
/proc/loadavg: 1.17 1.30 1.31 3/228 11310
/proc/meminfo: memFree=4889680/32770624 swapFree=67001748/67108860
[pid=11244] ppid=11241 vsize=10820164 memory=41448 CPUtime=0.26 cores=0,2,4,6
/proc/11244/stat : 11244 (java) S 11241 11244 5532 0 -1 1077944320 7331 13237 0 0 16 2 5 3 20 0 15 0 474207315 11079847936 10362 33554432000 4194304 4196468 140722985286736 140722985269280 139728323809015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
/proc/11244/statm: 2705041 10362 3259 1 0 2667149 0
[pid=11244/tid=11297] ppid=11241 vsize=10820188 memory=5450916389569530688 CPUtime=0.19 cores=0,2,4,6
/proc/11244/task/11297/stat : 11297 (java) R 11241 11244 5532 0 -1 4202560 3856 13237 0 0 10 1 5 3 20 0 15 0 474207324 11079872512 10362 33554432000 4194304 4196468 140722985286736 139728295620048 139728323830941 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11298] ppid=11241 vsize=10820188 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11298/stat : 11298 (java) S 11241 11244 5532 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 474207325 11079872512 10362 33554432000 4194304 4196468 140722985286736 139728328051344 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11299] ppid=11241 vsize=10820188 memory=139858080536192 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11299/stat : 11299 (java) S 11241 11244 5532 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 474207325 11079872512 10362 33554432000 4194304 4196468 140722985286736 139728242870800 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11300] ppid=11241 vsize=10820188 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11300/stat : 11300 (java) S 11241 11244 5532 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 474207325 11079872512 10362 33554432000 4194304 4196468 140722985286736 139728241818000 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11301] ppid=11241 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11301/stat : 11301 (java) S 11241 11244 5532 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 474207325 11079880704 10362 33554432000 4194304 4196468 140722985286736 139728240765200 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11302] ppid=11241 vsize=10820196 memory=139858080536192 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11302/stat : 11302 (java) S 11241 11244 5532 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 474207326 11079880704 10362 33554432000 4194304 4196468 140722985286736 139727850384240 139728323820162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11303] ppid=11241 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11303/stat : 11303 (java) S 11241 11244 5532 0 -1 1077944384 13 13237 0 0 0 0 5 3 20 0 15 0 474207327 11079880704 10362 33554432000 4194304 4196468 140722985286736 139727432836640 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11304] ppid=11241 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11304/stat : 11304 (java) S 11241 11244 5532 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 474207327 11079880704 10362 33554432000 4194304 4196468 140722985286736 139727164401008 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11305] ppid=11241 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11305/stat : 11305 (java) S 11241 11244 5532 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 474207330 11079880704 10362 33554432000 4194304 4196468 140722985286736 139726857001296 139728323827611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11306] ppid=11241 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11244/task/11306/stat : 11306 (java) S 11241 11244 5532 0 -1 1077944384 458 13237 0 0 1 0 5 3 20 0 15 0 474207330 11079880704 10362 33554432000 4194304 4196468 140722985286736 139727849331056 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11307] ppid=11241 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/11244/task/11307/stat : 11307 (java) R 11241 11244 5532 0 -1 4202560 188 13237 0 0 1 0 5 3 20 0 15 0 474207330 11079880704 10362 33554432000 4194304 4196468 140722985286736 139727848278256 139728307307946 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11308] ppid=11241 vsize=10820196 memory=139858080536192 CPUtime=0.11 cores=0,2,4,6
/proc/11244/task/11308/stat : 11308 (java) S 11241 11244 5532 0 -1 1077944384 608 13237 0 0 3 0 5 3 20 0 15 0 474207330 11079880704 10362 33554432000 4194304 4196468 140722985286736 139727847225456 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11309] ppid=11241 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11309/stat : 11309 (java) S 11241 11244 5532 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 474207330 11079880704 10362 33554432000 4194304 4196468 140722985286736 139726823442656 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11310] ppid=11241 vsize=10820196 memory=139858080536192 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11310/stat : 11310 (java) S 11241 11244 5532 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 474207330 11079880704 10362 33554432000 4194304 4196468 140722985286736 139727846173872 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 41448 KiB
[startup+0.310409 s]*
/proc/loadavg: 1.17 1.30 1.31 3/228 11310
/proc/meminfo: memFree=4878376/32770624 swapFree=67001748/67108860
[pid=11244] ppid=11241 vsize=10820196 memory=49776 CPUtime=0.4 cores=0,2,4,6
/proc/11244/stat : 11244 (java) S 11241 11244 5532 0 -1 1077944320 10722 13237 0 0 28 4 5 3 20 0 15 0 474207315 11079880704 12444 33554432000 4194304 4196468 140722985286736 140722985269280 139728323809015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
/proc/11244/statm: 2705049 12444 3283 1 0 2667149 0
[pid=11244/tid=11297] ppid=11241 vsize=10820196 memory=1398722017469774279 CPUtime=0.28 cores=0,2,4,6
/proc/11244/task/11297/stat : 11297 (java) R 11241 11244 5532 0 -1 4202560 7210 13237 0 0 18 2 5 3 20 0 15 0 474207324 11079880704 12444 33554432000 4194304 4196468 140722985286736 139728295617936 139728309504150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11298] ppid=11241 vsize=10820196 memory=6154011048143251049 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11298/stat : 11298 (java) S 11241 11244 5532 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 474207325 11079880704 12444 33554432000 4194304 4196468 140722985286736 139728328051344 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11299] ppid=11241 vsize=10820196 memory=5787213827347079232 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11299/stat : 11299 (java) S 11241 11244 5532 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 474207325 11079880704 12444 33554432000 4194304 4196468 140722985286736 139728242870800 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11300] ppid=11241 vsize=10820196 memory=7649539233634600897 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11300/stat : 11300 (java) S 11241 11244 5532 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 474207325 11079880704 12444 33554432000 4194304 4196468 140722985286736 139728241818000 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11301] ppid=11241 vsize=10820196 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11301/stat : 11301 (java) S 11241 11244 5532 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 474207325 11079880704 12444 33554432000 4194304 4196468 140722985286736 139728240765200 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11302] ppid=11241 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11302/stat : 11302 (java) S 11241 11244 5532 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 474207326 11079880704 12444 33554432000 4194304 4196468 140722985286736 139727850384240 139728323820162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11303] ppid=11241 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11303/stat : 11303 (java) S 11241 11244 5532 0 -1 1077944384 13 13237 0 0 0 0 5 3 20 0 15 0 474207327 11079880704 12444 33554432000 4194304 4196468 140722985286736 139727432836640 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11304] ppid=11241 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11304/stat : 11304 (java) S 11241 11244 5532 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 474207327 11079880704 12444 33554432000 4194304 4196468 140722985286736 139727164401008 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11305] ppid=11241 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11305/stat : 11305 (java) S 11241 11244 5532 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 474207330 11079880704 12444 33554432000 4194304 4196468 140722985286736 139726857001296 139728323827611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11306] ppid=11241 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/11244/task/11306/stat : 11306 (java) S 11241 11244 5532 0 -1 1077944384 460 13237 0 0 2 0 5 3 20 0 15 0 474207330 11079880704 12444 33554432000 4194304 4196468 140722985286736 139727849331056 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11307] ppid=11241 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/11244/task/11307/stat : 11307 (java) S 11241 11244 5532 0 -1 1077944384 193 13237 0 0 2 0 5 3 20 0 15 0 474207330 11079880704 12444 33554432000 4194304 4196468 140722985286736 139727848278256 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11308] ppid=11241 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/11244/task/11308/stat : 11308 (java) S 11241 11244 5532 0 -1 1077944384 627 13237 0 0 5 0 5 3 20 0 15 0 474207330 11079880704 12444 33554432000 4194304 4196468 140722985286736 139727847225456 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11309] ppid=11241 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11309/stat : 11309 (java) S 11241 11244 5532 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 474207330 11079880704 12444 33554432000 4194304 4196468 140722985286736 139726823442656 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11310] ppid=11241 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11310/stat : 11310 (java) S 11241 11244 5532 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 474207330 11079880704 12444 33554432000 4194304 4196468 140722985286736 139727846173872 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49776 KiB
[startup+0.703076 s]
/proc/loadavg: 1.17 1.30 1.31 3/228 11310
/proc/meminfo: memFree=4865264/32770624 swapFree=67001748/67108860
[pid=11244] ppid=11241 vsize=10824364 memory=83652 CPUtime=1.15 cores=0,2,4,6
/proc/11244/stat : 11244 (java) S 11241 11244 5532 0 -1 1077944320 15124 13237 0 0 102 5 5 3 20 0 15 0 474207315 11084148736 20913 33554432000 4194304 4196468 140722985286736 140722985269280 139728323809015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
/proc/11244/statm: 2706091 20913 3511 1 0 2668173 0
[pid=11244/tid=11297] ppid=11241 vsize=10824364 memory=2241 CPUtime=0.67 cores=0,2,4,6
/proc/11244/task/11297/stat : 11297 (java) R 11241 11244 5532 0 -1 4202560 10460 13237 0 0 56 3 5 3 20 0 15 0 474207324 11084148736 20913 33554432000 4194304 4196468 140722985286736 139728295624928 139728308379073 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11298] ppid=11241 vsize=10824364 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11298/stat : 11298 (java) S 11241 11244 5532 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 474207325 11084148736 20913 33554432000 4194304 4196468 140722985286736 139728328051344 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11299] ppid=11241 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11299/stat : 11299 (java) S 11241 11244 5532 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 474207325 11084148736 20913 33554432000 4194304 4196468 140722985286736 139728242870800 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11300] ppid=11241 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11300/stat : 11300 (java) S 11241 11244 5532 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 474207325 11084148736 20913 33554432000 4194304 4196468 140722985286736 139728241818000 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11301] ppid=11241 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11301/stat : 11301 (java) S 11241 11244 5532 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 474207325 11084148736 20913 33554432000 4194304 4196468 140722985286736 139728240765200 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11302] ppid=11241 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11302/stat : 11302 (java) S 11241 11244 5532 0 -1 1077944384 5 13237 0 0 0 0 5 3 20 0 15 0 474207326 11084148736 20913 33554432000 4194304 4196468 140722985286736 139727850384240 139728323820162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11303] ppid=11241 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11303/stat : 11303 (java) S 11241 11244 5532 0 -1 1077944384 13 13237 0 0 0 0 5 3 20 0 15 0 474207327 11084148736 20913 33554432000 4194304 4196468 140722985286736 139727432836640 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11304] ppid=11241 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11304/stat : 11304 (java) S 11241 11244 5532 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 474207327 11084148736 20913 33554432000 4194304 4196468 140722985286736 139727164401008 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11305] ppid=11241 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11305/stat : 11305 (java) S 11241 11244 5532 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 474207330 11084148736 20913 33554432000 4194304 4196468 140722985286736 139726857001296 139728323827611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11306] ppid=11241 vsize=10824364 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/11244/task/11306/stat : 11306 (java) R 11241 11244 5532 0 -1 4202560 897 13237 0 0 15 0 5 3 20 0 15 0 474207330 11084148736 20913 33554432000 4194304 4196468 140722985286736 139727849331056 139728316098475 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11307] ppid=11241 vsize=10824364 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/11244/task/11307/stat : 11307 (java) S 11241 11244 5532 0 -1 1077944384 709 13237 0 0 13 0 5 3 20 0 15 0 474207330 11084148736 20913 33554432000 4194304 4196468 140722985286736 139727848278256 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11308] ppid=11241 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/11244/task/11308/stat : 11308 (java) S 11241 11244 5532 0 -1 1077944384 820 13237 0 0 16 0 5 3 20 0 15 0 474207330 11084148736 20913 33554432000 4194304 4196468 140722985286736 139727847225456 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11309] ppid=11241 vsize=10824364 memory=139857959618544 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11309/stat : 11309 (java) S 11241 11244 5532 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 474207330 11084148736 20913 33554432000 4194304 4196468 140722985286736 139726823442656 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11310] ppid=11241 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11310/stat : 11310 (java) S 11241 11244 5532 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 474207330 11084148736 20913 33554432000 4194304 4196468 140722985286736 139727846173872 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83652 KiB
[startup+1.50069 s]
/proc/loadavg: 1.17 1.30 1.31 3/228 11310
/proc/meminfo: memFree=4820360/32770624 swapFree=67001748/67108860
[pid=11244] ppid=11241 vsize=10834680 memory=169340 CPUtime=2.51 cores=0,2,4,6
/proc/11244/stat : 11244 (java) S 11241 11244 5532 0 -1 1077944320 21796 13237 0 0 232 11 5 3 20 0 15 0 474207315 11094712320 42335 33554432000 4194304 4196468 140722985286736 140722985269280 139728323809015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
/proc/11244/statm: 2708670 42335 3586 1 0 2670733 0
[pid=11244/tid=11297] ppid=11241 vsize=10834680 memory=19 CPUtime=1.43 cores=0,2,4,6
/proc/11244/task/11297/stat : 11297 (java) R 11241 11244 5532 0 -1 4202560 15361 13237 0 0 129 6 5 3 20 0 15 0 474207324 11094712320 42335 33554432000 4194304 4196468 140722985286736 139728295608384 139728323820950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11298] ppid=11241 vsize=10834680 memory=27 CPUtime=0.09 cores=0,2,4,6
/proc/11244/task/11298/stat : 11298 (java) S 11241 11244 5532 0 -1 1077944384 66 13237 0 0 1 0 5 3 20 0 15 0 474207325 11094712320 42335 33554432000 4194304 4196468 140722985286736 139728328051344 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11299] ppid=11241 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11244/task/11299/stat : 11299 (java) S 11241 11244 5532 0 -1 1077944384 51 13237 0 0 1 0 5 3 20 0 15 0 474207325 11094712320 42335 33554432000 4194304 4196468 140722985286736 139728242870800 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11300] ppid=11241 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11300/stat : 11300 (java) S 11241 11244 5532 0 -1 1077944384 39 13237 0 0 0 0 5 3 20 0 15 0 474207325 11094712320 42335 33554432000 4194304 4196468 140722985286736 139728241818000 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11301] ppid=11241 vsize=10834680 memory=97428 CPUtime=0.09 cores=0,2,4,6
/proc/11244/task/11301/stat : 11301 (java) S 11241 11244 5532 0 -1 1077944384 345 13237 0 0 1 0 5 3 20 0 15 0 474207325 11094712320 42335 33554432000 4194304 4196468 140722985286736 139728240765200 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11302] ppid=11241 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11244/task/11302/stat : 11302 (java) S 11241 11244 5532 0 -1 1077944384 109 13237 0 0 1 0 5 3 20 0 15 0 474207326 11094712320 42335 33554432000 4194304 4196468 140722985286736 139727850384240 139728323820162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11303] ppid=11241 vsize=10834680 memory=6296705546968716388 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11303/stat : 11303 (java) S 11241 11244 5532 0 -1 1077944384 14 13237 0 0 0 0 5 3 20 0 15 0 474207327 11094712320 42335 33554432000 4194304 4196468 140722985286736 139727432836704 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11304] ppid=11241 vsize=10834680 memory=7378698728777475938 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11304/stat : 11304 (java) S 11241 11244 5532 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 474207327 11094712320 42335 33554432000 4194304 4196468 140722985286736 139727164401024 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11305] ppid=11241 vsize=10834680 memory=7163069140136388713 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11305/stat : 11305 (java) S 11241 11244 5532 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 474207330 11094712320 42335 33554432000 4194304 4196468 140722985286736 139726857001296 139728323827611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11306] ppid=11241 vsize=10834680 memory=5787220458829273444 CPUtime=0.37 cores=0,2,4,6
/proc/11244/task/11306/stat : 11306 (java) R 11241 11244 5532 0 -1 1077944384 1028 13237 0 0 29 0 5 3 20 0 15 0 474207330 11094712320 42335 33554432000 4194304 4196468 140722985286736 139727849331056 139728323820162 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11307] ppid=11241 vsize=10834680 memory=7668059416035747416 CPUtime=0.33 cores=0,2,4,6
/proc/11244/task/11307/stat : 11307 (java) R 11241 11244 5532 0 -1 4202560 893 13237 0 0 25 0 5 3 20 0 15 0 474207330 11094712320 42335 33554432000 4194304 4196468 140722985286736 139727848269904 139728308627072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11308] ppid=11241 vsize=10834680 memory=6296705546968716388 CPUtime=0.5 cores=0,2,4,6
/proc/11244/task/11308/stat : 11308 (java) S 11241 11244 5532 0 -1 1077944384 1676 13237 0 0 41 1 5 3 20 0 15 0 474207330 11094712320 42335 33554432000 4194304 4196468 140722985286736 139727847225456 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11309] ppid=11241 vsize=10834680 memory=6296705546968716388 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11309/stat : 11309 (java) S 11241 11244 5532 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 474207330 11094712320 42335 33554432000 4194304 4196468 140722985286736 139726823442656 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11310] ppid=11241 vsize=10834680 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11310/stat : 11310 (java) S 11241 11244 5532 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 474207330 11094712320 42335 33554432000 4194304 4196468 140722985286736 139727846173872 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/11244/task/11297/stat : 11297 (java) R 11241 11244 5532 0 -1 4202560 364083 13237 0 0 236043 102 5 3 20 0 15 0 474207324 11107315712 553443 33554432000 4194304 4196468 140722985286736 139728295643840 139727941349672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11298] ppid=11241 vsize=10846988 memory=2163592 CPUtime=13.09 cores=0,2,4,6
/proc/11244/task/11298/stat : 11298 (java) S 11241 11244 5532 0 -1 1077944384 22521 13237 0 0 1188 113 5 3 20 0 15 0 474207325 11107315712 553443 33554432000 4194304 4196468 140722985286736 139728328051344 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11299] ppid=11241 vsize=10846988 memory=2184064 CPUtime=13.01 cores=0,2,4,6
/proc/11244/task/11299/stat : 11299 (java) S 11241 11244 5532 0 -1 1077944384 22425 13237 0 0 1182 111 5 3 20 0 15 0 474207325 11107315712 553443 33554432000 4194304 4196468 140722985286736 139728242870800 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11300] ppid=11241 vsize=10846988 memory=2190492 CPUtime=13.03 cores=0,2,4,6
/proc/11244/task/11300/stat : 11300 (java) S 11241 11244 5532 0 -1 1077944384 26971 13237 0 0 1183 112 5 3 20 0 15 0 474207325 11107315712 553443 33554432000 4194304 4196468 140722985286736 139728241818000 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11301] ppid=11241 vsize=10846988 memory=2213772 CPUtime=13.01 cores=0,2,4,6
/proc/11244/task/11301/stat : 11301 (java) S 11241 11244 5532 0 -1 1077944384 22921 13237 0 0 1183 110 5 3 20 0 15 0 474207325 11107315712 553443 33554432000 4194304 4196468 140722985286736 139728240765200 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11302] ppid=11241 vsize=10846988 memory=2213772 CPUtime=5.73 cores=0,2,4,6
/proc/11244/task/11302/stat : 11302 (java) S 11241 11244 5532 0 -1 1077944384 21026 13237 0 0 486 79 5 3 20 0 15 0 474207326 11107315712 553443 33554432000 4194304 4196468 140722985286736 139727850384240 139728323820162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11303] ppid=11241 vsize=10846988 memory=2213772 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11303/stat : 11303 (java) S 11241 11244 5532 0 -1 1077944384 19 13237 0 0 0 0 5 3 20 0 15 0 474207327 11107315712 553443 33554432000 4194304 4196468 140722985286736 139727432836768 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11304] ppid=11241 vsize=10846988 memory=2050172 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11304/stat : 11304 (java) S 11241 11244 5532 0 -1 1077944384 9 13237 0 0 0 0 5 3 20 0 15 0 474207327 11107315712 553443 33554432000 4194304 4196468 140722985286736 139727164401024 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11305] ppid=11241 vsize=10846988 memory=1293 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11305/stat : 11305 (java) S 11241 11244 5532 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 474207330 11107315712 553443 33554432000 4194304 4196468 140722985286736 139726857001296 139728323827611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11306] ppid=11241 vsize=10846988 memory=2123200 CPUtime=5.46 cores=0,2,4,6
/proc/11244/task/11306/stat : 11306 (java) S 11241 11244 5532 0 -1 1077944384 31119 13237 0 0 534 4 5 3 20 0 15 0 474207330 11107315712 553443 33554432000 4194304 4196468 140722985286736 139727849331056 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11307] ppid=11241 vsize=10846988 memory=2190492 CPUtime=5.29 cores=0,2,4,6
/proc/11244/task/11307/stat : 11307 (java) S 11241 11244 5532 0 -1 1077944384 28165 13237 0 0 516 5 5 3 20 0 15 0 474207330 11107315712 553443 33554432000 4194304 4196468 140722985286736 139727848278256 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11308] ppid=11241 vsize=10846988 memory=3616 CPUtime=2.37 cores=0,2,4,6
/proc/11244/task/11308/stat : 11308 (java) S 11241 11244 5532 0 -1 1077944384 20430 13237 0 0 223 6 5 3 20 0 15 0 474207330 11107315712 553443 33554432000 4194304 4196468 140722985286736 139727847225456 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11309] ppid=11241 vsize=10846988 memory=53332 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11309/stat : 11309 (java) S 11241 11244 5532 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 474207330 11107315712 553443 33554432000 4194304 4196468 140722985286736 139726823442656 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11310] ppid=11241 vsize=10846988 memory=1056 CPUtime=1.5 cores=0,2,4,6
/proc/11244/task/11310/stat : 11310 (java) S 11241 11244 5532 0 -1 1077944384 1464 13237 0 0 68 74 5 3 20 0 15 0 474207330 11107315712 553443 33554432000 4194304 4196468 140722985286736 139727846173872 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
Current children cumulated CPU time: 2433.39 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2213772 KiB
[startup+2442.3 s]
/proc/loadavg: 1.60 1.49 1.39 3/227 11687
/proc/meminfo: memFree=2791512/32770624 swapFree=67001764/67108860
[pid=11244] ppid=11241 vsize=10846988 memory=2405040 CPUtime=2493.59 cores=0,2,4,6
/proc/11244/stat : 11244 (java) S 11241 11244 5532 0 -1 1077944320 580592 13237 0 0 248681 670 5 3 20 0 15 0 474207315 11107315712 601260 33554432000 4194304 4196468 140722985286736 140722985269280 139728323809015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
/proc/11244/statm: 2711747 601260 3635 1 0 2673805 0
[pid=11244/tid=11297] ppid=11241 vsize=10846988 memory=2405040 CPUtime=2421.46 cores=0,2,4,6
/proc/11244/task/11297/stat : 11297 (java) R 11241 11244 5532 0 -1 4202560 380521 13237 0 0 242033 105 5 3 20 0 15 0 474207324 11107315712 601260 33554432000 4194304 4196468 140722985286736 139728295643888 139727941349209 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11298] ppid=11241 vsize=10846988 memory=2405040 CPUtime=13.13 cores=0,2,4,6
/proc/11244/task/11298/stat : 11298 (java) S 11241 11244 5532 0 -1 1077944384 22600 13237 0 0 1191 114 5 3 20 0 15 0 474207325 11107315712 601260 33554432000 4194304 4196468 140722985286736 139728328051344 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11299] ppid=11241 vsize=10846988 memory=2400944 CPUtime=13.07 cores=0,2,4,6
/proc/11244/task/11299/stat : 11299 (java) S 11241 11244 5532 0 -1 1077944384 22456 13237 0 0 1186 113 5 3 20 0 15 0 474207325 11107315712 601260 33554432000 4194304 4196468 140722985286736 139728242870800 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11300] ppid=11241 vsize=10846988 memory=2320824 CPUtime=13.08 cores=0,2,4,6
/proc/11244/task/11300/stat : 11300 (java) S 11241 11244 5532 0 -1 1077944384 27001 13237 0 0 1186 114 5 3 20 0 15 0 474207325 11107315712 601260 33554432000 4194304 4196468 140722985286736 139728241818000 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11301] ppid=11241 vsize=10846988 memory=2345404 CPUtime=13.06 cores=0,2,4,6
/proc/11244/task/11301/stat : 11301 (java) S 11241 11244 5532 0 -1 1077944384 23241 13237 0 0 1187 111 5 3 20 0 15 0 474207325 11107315712 601260 33554432000 4194304 4196468 140722985286736 139728240765200 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11302] ppid=11241 vsize=10846988 memory=2378364 CPUtime=5.74 cores=0,2,4,6
/proc/11244/task/11302/stat : 11302 (java) S 11241 11244 5532 0 -1 1077944384 21317 13237 0 0 487 79 5 3 20 0 15 0 474207326 11107315712 601260 33554432000 4194304 4196468 140722985286736 139727850384240 139728323820162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11303] ppid=11241 vsize=10846988 memory=2400944 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11303/stat : 11303 (java) S 11241 11244 5532 0 -1 1077944384 19 13237 0 0 0 0 5 3 20 0 15 0 474207327 11107315712 601260 33554432000 4194304 4196468 140722985286736 139727432836768 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11304] ppid=11241 vsize=10846988 memory=2400944 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11304/stat : 11304 (java) S 11241 11244 5532 0 -1 1077944384 9 13237 0 0 0 0 5 3 20 0 15 0 474207327 11107315712 601260 33554432000 4194304 4196468 140722985286736 139727164401024 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11305] ppid=11241 vsize=10846988 memory=2405040 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11305/stat : 11305 (java) S 11241 11244 5532 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 474207330 11107315712 601260 33554432000 4194304 4196468 140722985286736 139726857001296 139728323827611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11306] ppid=11241 vsize=10846988 memory=2050172 CPUtime=5.46 cores=0,2,4,6
/proc/11244/task/11306/stat : 11306 (java) S 11241 11244 5532 0 -1 1077944384 31121 13237 0 0 534 4 5 3 20 0 15 0 474207330 11107315712 601260 33554432000 4194304 4196468 140722985286736 139727849331056 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11307] ppid=11241 vsize=10846988 memory=0 CPUtime=5.29 cores=0,2,4,6
/proc/11244/task/11307/stat : 11307 (java) S 11241 11244 5532 0 -1 1077944384 28167 13237 0 0 516 5 5 3 20 0 15 0 474207330 11107315712 601260 33554432000 4194304 4196468 140722985286736 139727848278256 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11308] ppid=11241 vsize=10846988 memory=2405040 CPUtime=2.37 cores=0,2,4,6
/proc/11244/task/11308/stat : 11308 (java) S 11241 11244 5532 0 -1 1077944384 20433 13237 0 0 223 6 5 3 20 0 15 0 474207330 11107315712 601260 33554432000 4194304 4196468 140722985286736 139727847225456 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11309] ppid=11241 vsize=10846988 memory=2405040 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11309/stat : 11309 (java) S 11241 11244 5532 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 474207330 11107315712 601260 33554432000 4194304 4196468 140722985286736 139726823442656 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11310] ppid=11241 vsize=10846988 memory=3112 CPUtime=1.54 cores=0,2,4,6
/proc/11244/task/11310/stat : 11310 (java) S 11241 11244 5532 0 -1 1077944384 1495 13237 0 0 70 76 5 3 20 0 15 0 474207330 11107315712 601260 33554432000 4194304 4196468 140722985286736 139727846173872 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
Current children cumulated CPU time: 2493.59 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2405040 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2468.7 s]
/proc/loadavg: 1.66 1.52 1.40 3/228 11690
/proc/meminfo: memFree=2724060/32770624 swapFree=67001764/67108860
[pid=11244] ppid=11241 vsize=10846988 memory=2472792 CPUtime=2520.05 cores=0,2,4,6
/proc/11244/stat : 11244 (java) S 11241 11244 5532 0 -1 1077944320 584679 13237 0 0 251323 674 5 3 20 0 15 0 474207315 11107315712 618198 33554432000 4194304 4196468 140722985286736 140722985269280 139728323809015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
/proc/11244/statm: 2711747 618198 3635 1 0 2673805 0
[pid=11244/tid=11297] ppid=11241 vsize=10846988 memory=2450184 CPUtime=2447.84 cores=0,2,4,6
/proc/11244/task/11297/stat : 11297 (java) R 11241 11244 5532 0 -1 4202560 384535 13237 0 0 244670 106 5 3 20 0 15 0 474207324 11107315712 618198 33554432000 4194304 4196468 140722985286736 139728295643712 139727940774196 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11298] ppid=11241 vsize=10846988 memory=2470704 CPUtime=13.15 cores=0,2,4,6
/proc/11244/task/11298/stat : 11298 (java) S 11241 11244 5532 0 -1 1077944384 22604 13237 0 0 1192 115 5 3 20 0 15 0 474207325 11107315712 618198 33554432000 4194304 4196468 140722985286736 139728328051344 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11299] ppid=11241 vsize=10846988 memory=3616 CPUtime=13.08 cores=0,2,4,6
/proc/11244/task/11299/stat : 11299 (java) S 11241 11244 5532 0 -1 1077944384 22461 13237 0 0 1186 114 5 3 20 0 15 0 474207325 11107315712 618198 33554432000 4194304 4196468 140722985286736 139728242870800 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11300] ppid=11241 vsize=10846988 memory=6791534058613427641 CPUtime=13.1 cores=0,2,4,6
/proc/11244/task/11300/stat : 11300 (java) S 11241 11244 5532 0 -1 1077944384 27009 13237 0 0 1187 115 5 3 20 0 15 0 474207325 11107315712 618198 33554432000 4194304 4196468 140722985286736 139728241818000 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11301] ppid=11241 vsize=10846988 memory=2470704 CPUtime=13.08 cores=0,2,4,6
/proc/11244/task/11301/stat : 11301 (java) S 11241 11244 5532 0 -1 1077944384 23255 13237 0 0 1188 112 5 3 20 0 15 0 474207325 11107315712 618198 33554432000 4194304 4196468 140722985286736 139728240765200 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11302] ppid=11241 vsize=10846988 memory=2470704 CPUtime=5.75 cores=0,2,4,6
/proc/11244/task/11302/stat : 11302 (java) S 11241 11244 5532 0 -1 1077944384 21357 13237 0 0 488 79 5 3 20 0 15 0 474207326 11107315712 618198 33554432000 4194304 4196468 140722985286736 139727850384240 139728323820162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11303] ppid=11241 vsize=10846988 memory=2470704 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11303/stat : 11303 (java) S 11241 11244 5532 0 -1 1077944384 19 13237 0 0 0 0 5 3 20 0 15 0 474207327 11107315712 618198 33554432000 4194304 4196468 140722985286736 139727432836768 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11304] ppid=11241 vsize=10846988 memory=2450184 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11304/stat : 11304 (java) S 11241 11244 5532 0 -1 1077944384 9 13237 0 0 0 0 5 3 20 0 15 0 474207327 11107315712 618198 33554432000 4194304 4196468 140722985286736 139727164401024 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11305] ppid=11241 vsize=10846988 memory=2450184 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11305/stat : 11305 (java) S 11241 11244 5532 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 474207330 11107315712 618198 33554432000 4194304 4196468 140722985286736 139726857001296 139728323827611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11306] ppid=11241 vsize=10846988 memory=2472792 CPUtime=5.46 cores=0,2,4,6
/proc/11244/task/11306/stat : 11306 (java) S 11241 11244 5532 0 -1 1077944384 31121 13237 0 0 534 4 5 3 20 0 15 0 474207330 11107315712 618198 33554432000 4194304 4196468 140722985286736 139727849331056 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11307] ppid=11241 vsize=10846988 memory=2470704 CPUtime=5.29 cores=0,2,4,6
/proc/11244/task/11307/stat : 11307 (java) S 11241 11244 5532 0 -1 1077944384 28167 13237 0 0 516 5 5 3 20 0 15 0 474207330 11107315712 618198 33554432000 4194304 4196468 140722985286736 139727848278256 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11308] ppid=11241 vsize=10846988 memory=1980 CPUtime=2.37 cores=0,2,4,6
/proc/11244/task/11308/stat : 11308 (java) S 11241 11244 5532 0 -1 1077944384 20433 13237 0 0 223 6 5 3 20 0 15 0 474207330 11107315712 618198 33554432000 4194304 4196468 140722985286736 139727847225456 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11309] ppid=11241 vsize=10846988 memory=1560 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11309/stat : 11309 (java) S 11241 11244 5532 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 474207330 11107315712 618198 33554432000 4194304 4196468 140722985286736 139726823442656 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11310] ppid=11241 vsize=10846988 memory=2472792 CPUtime=1.56 cores=0,2,4,6
/proc/11244/task/11310/stat : 11310 (java) S 11241 11244 5532 0 -1 1077944384 1497 13237 0 0 71 77 5 3 20 0 15 0 474207330 11107315712 618198 33554432000 4194304 4196468 140722985286736 139727846173872 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2472792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2468.74 s]
# the end of solver process 11244 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.3 s, system=6.80084 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468.7 s]
/proc/loadavg: 1.66 1.52 1.40 3/228 11690
/proc/meminfo: memFree=2724060/32770624 swapFree=67001764/67108860
[pid=11244] ppid=11241 vsize=10846988 memory=2472792 CPUtime=2520.05 cores=0,2,4,6
/proc/11244/stat : 11244 (java) S 11241 11244 5532 0 -1 1077944320 584679 13237 0 0 251323 674 5 3 20 0 15 0 474207315 11107315712 618198 33554432000 4194304 4196468 140722985286736 140722985269280 139728323809015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
/proc/11244/statm: 2711747 618198 3635 1 0 2673805 0
[pid=11244/tid=11297] ppid=11241 vsize=10846988 memory=2450184 CPUtime=2447.84 cores=0,2,4,6
/proc/11244/task/11297/stat : 11297 (java) R 11241 11244 5532 0 -1 4202560 384535 13237 0 0 244670 106 5 3 20 0 15 0 474207324 11107315712 618198 33554432000 4194304 4196468 140722985286736 139728295643712 139727940774196 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11298] ppid=11241 vsize=10846988 memory=2470704 CPUtime=13.15 cores=0,2,4,6
/proc/11244/task/11298/stat : 11298 (java) S 11241 11244 5532 0 -1 1077944384 22604 13237 0 0 1192 115 5 3 20 0 15 0 474207325 11107315712 618198 33554432000 4194304 4196468 140722985286736 139728328051344 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11299] ppid=11241 vsize=10846988 memory=3616 CPUtime=13.08 cores=0,2,4,6
/proc/11244/task/11299/stat : 11299 (java) S 11241 11244 5532 0 -1 1077944384 22461 13237 0 0 1186 114 5 3 20 0 15 0 474207325 11107315712 618198 33554432000 4194304 4196468 140722985286736 139728242870800 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11300] ppid=11241 vsize=10846988 memory=6791534058613427641 CPUtime=13.1 cores=0,2,4,6
/proc/11244/task/11300/stat : 11300 (java) S 11241 11244 5532 0 -1 1077944384 27009 13237 0 0 1187 115 5 3 20 0 15 0 474207325 11107315712 618198 33554432000 4194304 4196468 140722985286736 139728241818000 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11301] ppid=11241 vsize=10846988 memory=2470704 CPUtime=13.08 cores=0,2,4,6
/proc/11244/task/11301/stat : 11301 (java) S 11241 11244 5532 0 -1 1077944384 23255 13237 0 0 1188 112 5 3 20 0 15 0 474207325 11107315712 618198 33554432000 4194304 4196468 140722985286736 139728240765200 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11302] ppid=11241 vsize=10846988 memory=2470704 CPUtime=5.75 cores=0,2,4,6
/proc/11244/task/11302/stat : 11302 (java) S 11241 11244 5532 0 -1 1077944384 21357 13237 0 0 488 79 5 3 20 0 15 0 474207326 11107315712 618198 33554432000 4194304 4196468 140722985286736 139727850384240 139728323820162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11303] ppid=11241 vsize=10846988 memory=2470704 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11303/stat : 11303 (java) S 11241 11244 5532 0 -1 1077944384 19 13237 0 0 0 0 5 3 20 0 15 0 474207327 11107315712 618198 33554432000 4194304 4196468 140722985286736 139727432836768 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11304] ppid=11241 vsize=10846988 memory=2450184 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11304/stat : 11304 (java) S 11241 11244 5532 0 -1 1077944384 9 13237 0 0 0 0 5 3 20 0 15 0 474207327 11107315712 618198 33554432000 4194304 4196468 140722985286736 139727164401024 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11305] ppid=11241 vsize=10846988 memory=2450184 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11305/stat : 11305 (java) S 11241 11244 5532 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 474207330 11107315712 618198 33554432000 4194304 4196468 140722985286736 139726857001296 139728323827611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11306] ppid=11241 vsize=10846988 memory=2472792 CPUtime=5.46 cores=0,2,4,6
/proc/11244/task/11306/stat : 11306 (java) S 11241 11244 5532 0 -1 1077944384 31121 13237 0 0 534 4 5 3 20 0 15 0 474207330 11107315712 618198 33554432000 4194304 4196468 140722985286736 139727849331056 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11307] ppid=11241 vsize=10846988 memory=2470704 CPUtime=5.29 cores=0,2,4,6
/proc/11244/task/11307/stat : 11307 (java) S 11241 11244 5532 0 -1 1077944384 28167 13237 0 0 516 5 5 3 20 0 15 0 474207330 11107315712 618198 33554432000 4194304 4196468 140722985286736 139727848278256 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11308] ppid=11241 vsize=10846988 memory=1980 CPUtime=2.37 cores=0,2,4,6
/proc/11244/task/11308/stat : 11308 (java) S 11241 11244 5532 0 -1 1077944384 20433 13237 0 0 223 6 5 3 20 0 15 0 474207330 11107315712 618198 33554432000 4194304 4196468 140722985286736 139727847225456 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11309] ppid=11241 vsize=10846988 memory=1560 CPUtime=0.08 cores=0,2,4,6
/proc/11244/task/11309/stat : 11309 (java) S 11241 11244 5532 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 474207330 11107315712 618198 33554432000 4194304 4196468 140722985286736 139726823442656 139728323819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
[pid=11244/tid=11310] ppid=11241 vsize=10846988 memory=2472792 CPUtime=1.56 cores=0,2,4,6
/proc/11244/task/11310/stat : 11310 (java) S 11241 11244 5532 0 -1 1077944384 1497 13237 0 0 71 77 5 3 20 0 15 0 474207330 11107315712 618198 33554432000 4194304 4196468 140722985286736 139727846173872 139728323820162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20627456 140722985290340 140722985292981 140722985292981 140722985295823 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2472792 KiB
Child status: 143
Real time (s): 2468.74
CPU time (s): 2520.1
CPU user time (s): 2513.3
CPU system time (s): 6.80084
CPU usage (%): 102.081
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 2472792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.3
system time used= 6.80084
maximum resident set size= 2477008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 598968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 170419
involuntary context switches= 5690
# summary of solver processes directly reported to runsolver:
# pid: 11244
# total CPU time (s): 2520.1
# total CPU user time (s): 2513.3
# total CPU system time (s): 6.80084
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3051 second user time and 23.7785 second system time
The end