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 (6525 MiB free)
memory of node 1: 16384 MiB (5064 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304141-1534041381/watcher-4304141-1534041381 -o /tmp/evaluation-result-4304141-1534041381/solver-4304141-1534041381 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534038877-15390 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1173555973 HOME/instance-4304141-1534041381.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
solver pid=15846, runsolver pid=15843
Current StackSize limit: 8192 KiB
[startup+0.100121 s]*
/proc/loadavg: 1.37 1.27 1.29 3/206 15903
/proc/meminfo: memFree=11861200/32770624 swapFree=67108496/67108860
[pid=15846] ppid=15843 vsize=10005480 memory=17076 CPUtime=0.09 cores=0,2,4,6
/proc/15846/stat : 15846 (java) S 15843 15846 14233 0 -1 1077944320 4413 13294 0 0 1 0 5 3 20 0 6 0 221701302 10245611520 4269 33554432000 4194304 4196468 140724571000384 140724570982928 139626325638903 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
/proc/15846/statm: 2501370 4269 1934 1 0 2489808 0
[pid=15846/tid=15899] ppid=15843 vsize=10005480 memory=4279135704013962638 CPUtime=0.09 cores=0,2,4,6
/proc/15846/task/15899/stat : 15899 (java) R 15843 15846 14233 0 -1 4202560 2221 13294 0 0 1 0 5 3 20 0 6 0 221701311 10245611520 4269 33554432000 4194304 4196468 140724571000384 139626297475664 139626309719420 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15900] ppid=15843 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15900/stat : 15900 (java) S 15843 15846 14233 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 6 0 221701312 10245611520 4269 33554432000 4194304 4196468 140724571000384 139626329880976 139626325649109 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15901] ppid=15843 vsize=10005480 memory=139677101774464 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15901/stat : 15901 (java) S 15843 15846 14233 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 6 0 221701312 10245611520 4269 33554432000 4194304 4196468 140724571000384 139626184599824 139626325649109 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15902] ppid=15843 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15902/stat : 15902 (java) S 15843 15846 14233 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 6 0 221701312 10245611520 4269 33554432000 4194304 4196468 140724571000384 139626183547536 139626325649109 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15903] ppid=15843 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15903/stat : 15903 (java) S 15843 15846 14233 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 6 0 221701312 10245611520 4269 33554432000 4194304 4196468 140724571000384 139626182494736 139626325649109 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17076 KiB
[startup+0.209966 s]*
/proc/loadavg: 1.37 1.27 1.29 7/215 15912
/proc/meminfo: memFree=11834604/32770624 swapFree=67108496/67108860
[pid=15846] ppid=15843 vsize=10982744 memory=43092 CPUtime=0.26 cores=0,2,4,6
/proc/15846/stat : 15846 (java) S 15843 15846 14233 0 -1 1077944320 8042 13294 0 0 17 1 5 3 20 0 15 0 221701302 11246329856 10773 33554432000 4194304 4196468 140724571000384 140724570982928 139626325638903 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
/proc/15846/statm: 2745686 10773 2946 1 0 2708109 0
[pid=15846/tid=15899] ppid=15843 vsize=10982744 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/15846/task/15899/stat : 15899 (java) D 15843 15846 14233 0 -1 1077944384 4566 13294 0 0 11 1 5 3 20 0 15 0 221701311 11246329856 10773 33554432000 4194304 4196468 140724571000384 139626297463712 139626318318125 0 4 0 16800975 18446744072101756452 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15900] ppid=15843 vsize=10982744 memory=364 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15900/stat : 15900 (java) S 15843 15846 14233 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 221701312 11246329856 10773 33554432000 4194304 4196468 140724571000384 139626329880976 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15901] ppid=15843 vsize=10982776 memory=139677101790111 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15901/stat : 15901 (java) S 15843 15846 14233 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 221701312 11246362624 10773 33554432000 4194304 4196468 140724571000384 139626184599824 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15902] ppid=15843 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15902/stat : 15902 (java) S 15843 15846 14233 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 221701312 11246362624 10773 33554432000 4194304 4196468 140724571000384 139626183547536 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15903] ppid=15843 vsize=10983736 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15903/stat : 15903 (java) S 15843 15846 14233 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 221701312 11247345664 10773 33554432000 4194304 4196468 140724571000384 139626182494736 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15904] ppid=15843 vsize=10983736 memory=139677101774464 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15904/stat : 15904 (java) S 15843 15846 14233 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 221701313 11247345664 10839 33554432000 4194304 4196468 140724571000384 139625563945584 139626325650050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15905] ppid=15843 vsize=10983736 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15905/stat : 15905 (java) S 15843 15846 14233 0 -1 1077944384 13 13294 0 0 0 0 5 3 20 0 15 0 221701314 11247345664 10839 33554432000 4194304 4196468 140724571000384 139625091818784 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15906] ppid=15843 vsize=10983736 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15906/stat : 15906 (java) S 15843 15846 14233 0 -1 1077944384 21 13294 0 0 0 0 5 3 20 0 15 0 221701314 11247345664 10839 33554432000 4194304 4196468 140724571000384 139625024706160 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15907] ppid=15843 vsize=10983736 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15907/stat : 15907 (java) S 15843 15846 14233 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 221701317 11247345664 10839 33554432000 4194304 4196468 140724571000384 139624717310544 139626325657499 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15908] ppid=15843 vsize=10983736 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15846/task/15908/stat : 15908 (java) S 15843 15846 14233 0 -1 1077944384 435 13294 0 0 1 0 5 3 20 0 15 0 221701317 11247345664 10839 33554432000 4194304 4196468 140724571000384 139625562892400 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15909] ppid=15843 vsize=10983736 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/15846/task/15909/stat : 15909 (java) S 15843 15846 14233 0 -1 1077944384 192 13294 0 0 1 0 5 3 20 0 15 0 221701317 11247345664 10905 33554432000 4194304 4196468 140724571000384 139625494472688 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15910] ppid=15843 vsize=10983736 memory=139677101774464 CPUtime=0.11 cores=0,2,4,6
/proc/15846/task/15910/stat : 15910 (java) S 15843 15846 14233 0 -1 1077944384 606 13294 0 0 3 0 5 3 20 0 15 0 221701317 11247345664 10905 33554432000 4194304 4196468 140724571000384 139625493420400 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15911] ppid=15843 vsize=10983736 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15911/stat : 15911 (java) S 15843 15846 14233 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 221701317 11247345664 10905 33554432000 4194304 4196468 140724571000384 139624286513632 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15912] ppid=15843 vsize=10983736 memory=139677101774464 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15912/stat : 15912 (java) S 15843 15846 14233 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 221701317 11247345664 10905 33554432000 4194304 4196468 140724571000384 139625492368304 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43092 KiB
[startup+0.310275 s]*
/proc/loadavg: 1.42 1.28 1.30 3/215 15912
/proc/meminfo: memFree=11821392/32770624 swapFree=67108496/67108860
[pid=15846] ppid=15843 vsize=10983192 memory=53740 CPUtime=0.39 cores=0,2,4,6
/proc/15846/stat : 15846 (java) S 15843 15846 14233 0 -1 1077944320 10540 13294 0 0 29 2 5 3 20 0 15 0 221701302 11246788608 13435 33554432000 4194304 4196468 140724571000384 140724570982928 139626325638903 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
/proc/15846/statm: 2745798 13435 3065 1 0 2708109 0
[pid=15846/tid=15899] ppid=15843 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/15846/task/15899/stat : 15899 (java) R 15843 15846 14233 0 -1 4202560 7056 13294 0 0 20 1 5 3 20 0 15 0 221701311 11246788608 13435 33554432000 4194304 4196468 140724571000384 139626297450912 139626325660829 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15900] ppid=15843 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15900/stat : 15900 (java) S 15843 15846 14233 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 221701312 11246788608 13435 33554432000 4194304 4196468 140724571000384 139626329880976 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15901] ppid=15843 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15901/stat : 15901 (java) S 15843 15846 14233 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 221701312 11246788608 13435 33554432000 4194304 4196468 140724571000384 139626184599824 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15902] ppid=15843 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15902/stat : 15902 (java) S 15843 15846 14233 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 221701312 11246788608 13435 33554432000 4194304 4196468 140724571000384 139626183547536 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15903] ppid=15843 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15903/stat : 15903 (java) S 15843 15846 14233 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 221701312 11246788608 13435 33554432000 4194304 4196468 140724571000384 139626182494736 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15904] ppid=15843 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15904/stat : 15904 (java) S 15843 15846 14233 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 221701313 11246788608 13435 33554432000 4194304 4196468 140724571000384 139625563945584 139626325650050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15905] ppid=15843 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15905/stat : 15905 (java) S 15843 15846 14233 0 -1 1077944384 13 13294 0 0 0 0 5 3 20 0 15 0 221701314 11246788608 13435 33554432000 4194304 4196468 140724571000384 139625091818784 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15906] ppid=15843 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15906/stat : 15906 (java) S 15843 15846 14233 0 -1 1077944384 21 13294 0 0 0 0 5 3 20 0 15 0 221701314 11246788608 13435 33554432000 4194304 4196468 140724571000384 139625024706160 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15907] ppid=15843 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15907/stat : 15907 (java) S 15843 15846 14233 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 221701317 11246788608 13435 33554432000 4194304 4196468 140724571000384 139624717310544 139626325657499 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15908] ppid=15843 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15846/task/15908/stat : 15908 (java) S 15843 15846 14233 0 -1 1077944384 437 13294 0 0 1 0 5 3 20 0 15 0 221701317 11246788608 13435 33554432000 4194304 4196468 140724571000384 139625562892400 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15909] ppid=15843 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/15846/task/15909/stat : 15909 (java) S 15843 15846 14233 0 -1 1077944384 192 13294 0 0 1 0 5 3 20 0 15 0 221701317 11246788608 13435 33554432000 4194304 4196468 140724571000384 139625494472688 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15910] ppid=15843 vsize=10983192 memory=139677101774464 CPUtime=0.13 cores=0,2,4,6
/proc/15846/task/15910/stat : 15910 (java) S 15843 15846 14233 0 -1 1077944384 612 13294 0 0 5 0 5 3 20 0 15 0 221701317 11246788608 13435 33554432000 4194304 4196468 140724571000384 139625493420400 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15911] ppid=15843 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15911/stat : 15911 (java) S 15843 15846 14233 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 221701317 11246788608 13435 33554432000 4194304 4196468 140724571000384 139624286513632 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15912] ppid=15843 vsize=10983192 memory=139677101774464 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15912/stat : 15912 (java) S 15843 15846 14233 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 221701317 11246788608 13435 33554432000 4194304 4196468 140724571000384 139625492368304 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53740 KiB
[startup+0.700759 s]
/proc/loadavg: 1.42 1.28 1.30 4/215 15912
/proc/meminfo: memFree=11810352/32770624 swapFree=67108496/67108860
[pid=15846] ppid=15843 vsize=10983192 memory=86676 CPUtime=0.99 cores=0,2,4,6
/proc/15846/stat : 15846 (java) S 15843 15846 14233 0 -1 1077944320 16783 13294 0 0 87 4 5 3 20 0 15 0 221701302 11246788608 21669 33554432000 4194304 4196468 140724571000384 140724570982928 139626325638903 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
/proc/15846/statm: 2745798 21669 3247 1 0 2708109 0
[pid=15846/tid=15899] ppid=15843 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/15846/task/15899/stat : 15899 (java) R 15843 15846 14233 0 -1 4202560 12209 13294 0 0 56 2 5 3 20 0 15 0 221701311 11246788608 21669 33554432000 4194304 4196468 140724571000384 139626297459728 139626325652807 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15900] ppid=15843 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15900/stat : 15900 (java) S 15843 15846 14233 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 221701312 11246788608 21669 33554432000 4194304 4196468 140724571000384 139626329880976 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15901] ppid=15843 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15901/stat : 15901 (java) S 15843 15846 14233 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 221701312 11246788608 21669 33554432000 4194304 4196468 140724571000384 139626184599824 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15902] ppid=15843 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15902/stat : 15902 (java) S 15843 15846 14233 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 221701312 11246788608 21669 33554432000 4194304 4196468 140724571000384 139626183547536 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15903] ppid=15843 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15903/stat : 15903 (java) S 15843 15846 14233 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 221701312 11246788608 21669 33554432000 4194304 4196468 140724571000384 139626182494736 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15904] ppid=15843 vsize=10983192 memory=5788358431535884119 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15904/stat : 15904 (java) S 15843 15846 14233 0 -1 1077944384 5 13294 0 0 0 0 5 3 20 0 15 0 221701313 11246788608 21669 33554432000 4194304 4196468 140724571000384 139625563945584 139626325650050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15905] ppid=15843 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15905/stat : 15905 (java) S 15843 15846 14233 0 -1 1077944384 13 13294 0 0 0 0 5 3 20 0 15 0 221701314 11246788608 21669 33554432000 4194304 4196468 140724571000384 139625091818784 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15906] ppid=15843 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15906/stat : 15906 (java) S 15843 15846 14233 0 -1 1077944384 21 13294 0 0 0 0 5 3 20 0 15 0 221701314 11246788608 21669 33554432000 4194304 4196468 140724571000384 139625024706160 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15907] ppid=15843 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15907/stat : 15907 (java) S 15843 15846 14233 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 221701317 11246788608 21669 33554432000 4194304 4196468 140724571000384 139624717310544 139626325657499 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15908] ppid=15843 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/15846/task/15908/stat : 15908 (java) S 15843 15846 14233 0 -1 1077944384 1022 13294 0 0 9 0 5 3 20 0 15 0 221701317 11246788608 21669 33554432000 4194304 4196468 140724571000384 139625562892400 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15909] ppid=15843 vsize=10983192 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/15846/task/15909/stat : 15909 (java) S 15843 15846 14233 0 -1 1077944384 605 13294 0 0 7 0 5 3 20 0 15 0 221701317 11246788608 21669 33554432000 4194304 4196468 140724571000384 139625494472688 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15910] ppid=15843 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/15846/task/15910/stat : 15910 (java) S 15843 15846 14233 0 -1 1077944384 701 13294 0 0 13 0 5 3 20 0 15 0 221701317 11246788608 21669 33554432000 4194304 4196468 140724571000384 139625493420400 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15911] ppid=15843 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15911/stat : 15911 (java) S 15843 15846 14233 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 221701317 11246788608 21669 33554432000 4194304 4196468 140724571000384 139624286513632 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15912] ppid=15843 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15912/stat : 15912 (java) S 15843 15846 14233 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 221701317 11246788608 21669 33554432000 4194304 4196468 140724571000384 139625492368304 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86676 KiB
[startup+1.50542 s]
/proc/loadavg: 1.42 1.28 1.30 4/215 15912
/proc/meminfo: memFree=11723192/32770624 swapFree=67108496/67108860
[pid=15846] ppid=15843 vsize=10996044 memory=195856 CPUtime=2.92 cores=0,2,4,6
/proc/15846/stat : 15846 (java) S 15843 15846 14233 0 -1 1077944320 26597 13294 0 0 273 11 5 3 20 0 15 0 221701302 11259949056 48964 33554432000 4194304 4196468 140724571000384 140724570982928 139626325638903 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
/proc/15846/statm: 2749011 48964 3442 1 0 2710669 0
[pid=15846/tid=15899] ppid=15843 vsize=10996044 memory=4951091520830867572 CPUtime=1.44 cores=0,2,4,6
/proc/15846/task/15899/stat : 15899 (java) S 15843 15846 14233 0 -1 1077944384 17127 13294 0 0 130 6 5 3 20 0 15 0 221701311 11259949056 48964 33554432000 4194304 4196468 140724571000384 139626297452400 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15900] ppid=15843 vsize=10996044 memory=4134606225630022328 CPUtime=0.09 cores=0,2,4,6
/proc/15846/task/15900/stat : 15900 (java) S 15843 15846 14233 0 -1 1077944384 20 13294 0 0 1 0 5 3 20 0 15 0 221701312 11259949056 48964 33554432000 4194304 4196468 140724571000384 139626329880976 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15901] ppid=15843 vsize=10996044 memory=-5153075247754915967 CPUtime=0.09 cores=0,2,4,6
/proc/15846/task/15901/stat : 15901 (java) S 15843 15846 14233 0 -1 1077944384 31 13294 0 0 1 0 5 3 20 0 15 0 221701312 11259949056 48964 33554432000 4194304 4196468 140724571000384 139626184599824 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15902] ppid=15843 vsize=10996044 memory=-7960772488483360453 CPUtime=0.09 cores=0,2,4,6
/proc/15846/task/15902/stat : 15902 (java) S 15843 15846 14233 0 -1 1077944384 42 13294 0 0 1 0 5 3 20 0 15 0 221701312 11259949056 48964 33554432000 4194304 4196468 140724571000384 139626183547536 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15903] ppid=15843 vsize=10996044 memory=119560 CPUtime=0.09 cores=0,2,4,6
/proc/15846/task/15903/stat : 15903 (java) S 15843 15846 14233 0 -1 1077944384 174 13294 0 0 1 0 5 3 20 0 15 0 221701312 11259949056 48964 33554432000 4194304 4196468 140724571000384 139626182494736 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15904] ppid=15843 vsize=10996044 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15846/task/15904/stat : 15904 (java) R 15843 15846 14233 0 -1 4202560 49 13294 0 0 1 0 5 3 20 0 15 0 221701313 11259949056 48964 33554432000 4194304 4196468 140724571000384 139625563944096 139626317928352 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15905] ppid=15843 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15905/stat : 15905 (java) S 15843 15846 14233 0 -1 1077944384 13 13294 0 0 0 0 5 3 20 0 15 0 221701314 11259949056 48964 33554432000 4194304 4196468 140724571000384 139625091818784 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15906] ppid=15843 vsize=10996044 memory=279353934020896 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15906/stat : 15906 (java) S 15843 15846 14233 0 -1 1077944384 21 13294 0 0 0 0 5 3 20 0 15 0 221701314 11259949056 48964 33554432000 4194304 4196468 140724571000384 139625024706160 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15907] ppid=15843 vsize=10996044 memory=279353934435840 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15907/stat : 15907 (java) S 15843 15846 14233 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 221701317 11259949056 48964 33554432000 4194304 4196468 140724571000384 139624717310544 139626325657499 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15908] ppid=15843 vsize=10996044 memory=139676967020160 CPUtime=0.51 cores=0,2,4,6
/proc/15846/task/15908/stat : 15908 (java) S 15843 15846 14233 0 -1 1077944384 2659 13294 0 0 43 0 5 3 20 0 15 0 221701317 11259949056 48964 33554432000 4194304 4196468 140724571000384 139625562872368 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15909] ppid=15843 vsize=10996044 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/15846/task/15909/stat : 15909 (java) S 15843 15846 14233 0 -1 1077944384 2480 13294 0 0 47 1 5 3 20 0 15 0 221701317 11259949056 48964 33554432000 4194304 4196468 140724571000384 139625494461840 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15910] ppid=15843 vsize=10996044 memory=1128 CPUtime=0.52 cores=0,2,4,6
/proc/15846/task/15910/stat : 15910 (java) S 15843 15846 14233 0 -1 1077944384 1780 13294 0 0 44 0 5 3 20 0 15 0 221701317 11259949056 48964 33554432000 4194304 4196468 140724571000384 139625493420400 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15911] ppid=15843 vsize=10996044 memory=15188 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15911/stat : 15911 (java) S 15843 15846 14233 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 221701317 11259949056 48964 33554432000 4194304 4196468 140724571000384 139624286513632 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15912] ppid=15843 vsize=10996044 memory=4000 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15912/stat : 15912 (java) S 15843 15846 14233 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 221701317 11259949056 48964 33554432000 4194304 4196468 140724571000384 139625492368304 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/15846/task/15899/stat : 15899 (java) R 15843 15846 14233 0 -1 4202560 93341 13294 0 0 235668 54 5 3 20 0 15 0 221701311 11348049920 221520 33554432000 4194304 4196468 140724571000384 139626297473728 139625871235005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15900] ppid=15843 vsize=11082080 memory=886080 CPUtime=12.33 cores=0,2,4,6
/proc/15846/task/15900/stat : 15900 (java) S 15843 15846 14233 0 -1 1077944384 10689 13294 0 0 1176 49 5 3 20 0 15 0 221701312 11348049920 221520 33554432000 4194304 4196468 140724571000384 139626329880976 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15901] ppid=15843 vsize=11082080 memory=886080 CPUtime=12.38 cores=0,2,4,6
/proc/15846/task/15901/stat : 15901 (java) S 15843 15846 14233 0 -1 1077944384 16181 13294 0 0 1176 54 5 3 20 0 15 0 221701312 11348049920 221520 33554432000 4194304 4196468 140724571000384 139626184599824 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15902] ppid=15843 vsize=11082080 memory=886080 CPUtime=12.37 cores=0,2,4,6
/proc/15846/task/15902/stat : 15902 (java) S 15843 15846 14233 0 -1 1077944384 16769 13294 0 0 1182 47 5 3 20 0 15 0 221701312 11348049920 221520 33554432000 4194304 4196468 140724571000384 139626183547536 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15903] ppid=15843 vsize=11082080 memory=886080 CPUtime=12.36 cores=0,2,4,6
/proc/15846/task/15903/stat : 15903 (java) S 15843 15846 14233 0 -1 1077944384 22868 13294 0 0 1176 52 5 3 20 0 15 0 221701312 11348049920 221520 33554432000 4194304 4196468 140724571000384 139626182494736 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15904] ppid=15843 vsize=11082080 memory=886080 CPUtime=10.67 cores=0,2,4,6
/proc/15846/task/15904/stat : 15904 (java) S 15843 15846 14233 0 -1 1077944384 17202 13294 0 0 1007 52 5 3 20 0 15 0 221701313 11348049920 221520 33554432000 4194304 4196468 140724571000384 139625563945584 139626325650050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15905] ppid=15843 vsize=11082080 memory=886080 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15905/stat : 15905 (java) S 15843 15846 14233 0 -1 1077944384 24 13294 0 0 0 0 5 3 20 0 15 0 221701314 11348049920 221520 33554432000 4194304 4196468 140724571000384 139625091818848 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15906] ppid=15843 vsize=11082080 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15906/stat : 15906 (java) S 15843 15846 14233 0 -1 1077944384 44 13294 0 0 0 0 5 3 20 0 15 0 221701314 11348049920 221520 33554432000 4194304 4196468 140724571000384 139625024706176 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15907] ppid=15843 vsize=11082080 memory=60032 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15907/stat : 15907 (java) S 15843 15846 14233 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 221701317 11348049920 221520 33554432000 4194304 4196468 140724571000384 139624717310544 139626325657499 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15908] ppid=15843 vsize=11082080 memory=886080 CPUtime=9.13 cores=0,2,4,6
/proc/15846/task/15908/stat : 15908 (java) S 15843 15846 14233 0 -1 1077944384 50133 13294 0 0 898 7 5 3 20 0 15 0 221701317 11348049920 221520 33554432000 4194304 4196468 140724571000384 139625562892400 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15909] ppid=15843 vsize=11082080 memory=886080 CPUtime=9.84 cores=0,2,4,6
/proc/15846/task/15909/stat : 15909 (java) S 15843 15846 14233 0 -1 1077944384 45909 13294 0 0 969 7 5 3 20 0 15 0 221701317 11348049920 221520 33554432000 4194304 4196468 140724571000384 139625494472688 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15910] ppid=15843 vsize=11082080 memory=68 CPUtime=4.13 cores=0,2,4,6
/proc/15846/task/15910/stat : 15910 (java) S 15843 15846 14233 0 -1 1077944384 52431 13294 0 0 395 10 5 3 20 0 15 0 221701317 11348049920 221520 33554432000 4194304 4196468 140724571000384 139625493420400 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15911] ppid=15843 vsize=11082080 memory=886080 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15911/stat : 15911 (java) S 15843 15846 14233 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 221701317 11348049920 221520 33554432000 4194304 4196468 140724571000384 139624286513632 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15912] ppid=15843 vsize=11082080 memory=886080 CPUtime=1.32 cores=0,2,4,6
/proc/15846/task/15912/stat : 15912 (java) S 15843 15846 14233 0 -1 1077944384 1602 13294 0 0 63 61 5 3 20 0 15 0 221701317 11348049920 221520 33554432000 4194304 4196468 140724571000384 139625492368304 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
Current children cumulated CPU time: 2441.21 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 886080 KiB
[startup+2442.3 s]
/proc/loadavg: 1.14 1.35 1.39 3/215 16009
/proc/meminfo: memFree=10429676/32770624 swapFree=67108496/67108860
[pid=15846] ppid=15843 vsize=11082080 memory=886080 CPUtime=2502.19 cores=0,2,4,6
/proc/15846/stat : 15846 (java) S 15843 15846 14233 0 -1 1077944320 330658 13294 0 0 249853 358 5 3 20 0 15 0 221701302 11348049920 221520 33554432000 4194304 4196468 140724571000384 140724570982928 139626325638903 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
/proc/15846/statm: 2770520 221520 3534 1 0 2732173 0
[pid=15846/tid=15899] ppid=15843 vsize=11082080 memory=886080 CPUtime=2416.61 cores=0,2,4,6
/proc/15846/task/15899/stat : 15899 (java) R 15843 15846 14233 0 -1 4202560 93971 13294 0 0 241598 55 5 3 20 0 15 0 221701311 11348049920 221520 33554432000 4194304 4196468 140724571000384 139626297473680 139625868398298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15900] ppid=15843 vsize=11082080 memory=886080 CPUtime=12.67 cores=0,2,4,6
/proc/15846/task/15900/stat : 15900 (java) S 15843 15846 14233 0 -1 1077944384 10802 13294 0 0 1209 50 5 3 20 0 15 0 221701312 11348049920 221520 33554432000 4194304 4196468 140724571000384 139626329880976 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15901] ppid=15843 vsize=11082080 memory=886080 CPUtime=12.72 cores=0,2,4,6
/proc/15846/task/15901/stat : 15901 (java) S 15843 15846 14233 0 -1 1077944384 16356 13294 0 0 1208 56 5 3 20 0 15 0 221701312 11348049920 221520 33554432000 4194304 4196468 140724571000384 139626184599824 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15902] ppid=15843 vsize=11082080 memory=886080 CPUtime=12.7 cores=0,2,4,6
/proc/15846/task/15902/stat : 15902 (java) S 15843 15846 14233 0 -1 1077944384 16847 13294 0 0 1213 49 5 3 20 0 15 0 221701312 11348049920 221520 33554432000 4194304 4196468 140724571000384 139626183547536 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15903] ppid=15843 vsize=11082080 memory=886080 CPUtime=12.7 cores=0,2,4,6
/proc/15846/task/15903/stat : 15903 (java) S 15843 15846 14233 0 -1 1077944384 22899 13294 0 0 1208 54 5 3 20 0 15 0 221701312 11348049920 221520 33554432000 4194304 4196468 140724571000384 139626182494736 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15904] ppid=15843 vsize=11082080 memory=886080 CPUtime=10.94 cores=0,2,4,6
/proc/15846/task/15904/stat : 15904 (java) S 15843 15846 14233 0 -1 1077944384 17417 13294 0 0 1034 52 5 3 20 0 15 0 221701313 11348049920 221520 33554432000 4194304 4196468 140724571000384 139625563945584 139626325650050 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15905] ppid=15843 vsize=11082080 memory=886080 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15905/stat : 15905 (java) S 15843 15846 14233 0 -1 1077944384 24 13294 0 0 0 0 5 3 20 0 15 0 221701314 11348049920 221520 33554432000 4194304 4196468 140724571000384 139625091818848 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15906] ppid=15843 vsize=11082080 memory=756 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15906/stat : 15906 (java) S 15843 15846 14233 0 -1 1077944384 44 13294 0 0 0 0 5 3 20 0 15 0 221701314 11348049920 221520 33554432000 4194304 4196468 140724571000384 139625024706176 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15907] ppid=15843 vsize=11082080 memory=886080 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15907/stat : 15907 (java) S 15843 15846 14233 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 221701317 11348049920 221520 33554432000 4194304 4196468 140724571000384 139624717310544 139626325657499 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15908] ppid=15843 vsize=11082080 memory=886080 CPUtime=9.13 cores=0,2,4,6
/proc/15846/task/15908/stat : 15908 (java) S 15843 15846 14233 0 -1 1077944384 50135 13294 0 0 898 7 5 3 20 0 15 0 221701317 11348049920 221520 33554432000 4194304 4196468 140724571000384 139625562892400 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15909] ppid=15843 vsize=11082080 memory=886080 CPUtime=9.84 cores=0,2,4,6
/proc/15846/task/15909/stat : 15909 (java) S 15843 15846 14233 0 -1 1077944384 45911 13294 0 0 969 7 5 3 20 0 15 0 221701317 11348049920 221520 33554432000 4194304 4196468 140724571000384 139625494472688 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15910] ppid=15843 vsize=11082080 memory=886080 CPUtime=4.13 cores=0,2,4,6
/proc/15846/task/15910/stat : 15910 (java) S 15843 15846 14233 0 -1 1077944384 52433 13294 0 0 395 10 5 3 20 0 15 0 221701317 11348049920 221520 33554432000 4194304 4196468 140724571000384 139625493420400 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15911] ppid=15843 vsize=11082080 memory=886080 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15911/stat : 15911 (java) S 15843 15846 14233 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 221701317 11348049920 221520 33554432000 4194304 4196468 140724571000384 139624286513632 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15912] ppid=15843 vsize=11082080 memory=886080 CPUtime=1.35 cores=0,2,4,6
/proc/15846/task/15912/stat : 15912 (java) S 15843 15846 14233 0 -1 1077944384 1619 13294 0 0 65 62 5 3 20 0 15 0 221701317 11348049920 221520 33554432000 4194304 4196468 140724571000384 139625492368304 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 886080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2459.9 s]
/proc/loadavg: 1.04 1.32 1.38 3/215 16140
/proc/meminfo: memFree=11288288/32770624 swapFree=67108496/67108860
[pid=15846] ppid=15843 vsize=11082080 memory=877868 CPUtime=2520.06 cores=0,2,4,6
/proc/15846/stat : 15846 (java) S 15843 15846 14233 0 -1 1077944320 331496 13294 0 0 251638 360 5 3 20 0 15 0 221701302 11348049920 219467 33554432000 4194304 4196468 140724571000384 140724570982928 139626325638903 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
/proc/15846/statm: 2770520 219467 3534 1 0 2732173 0
[pid=15846/tid=15899] ppid=15843 vsize=11082080 memory=6791534058613427641 CPUtime=2434.02 cores=0,2,4,6
/proc/15846/task/15899/stat : 15899 (java) R 15843 15846 14233 0 -1 4202560 94315 13294 0 0 243339 55 5 3 20 0 15 0 221701311 11348049920 219467 33554432000 4194304 4196468 140724571000384 139626297474208 139625869591456 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15900] ppid=15843 vsize=11082080 memory=886080 CPUtime=12.76 cores=0,2,4,6
/proc/15846/task/15900/stat : 15900 (java) S 15843 15846 14233 0 -1 1077944384 10852 13294 0 0 1218 50 5 3 20 0 15 0 221701312 11348049920 219467 33554432000 4194304 4196468 140724571000384 139626329880976 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15901] ppid=15843 vsize=11082080 memory=879920 CPUtime=12.81 cores=0,2,4,6
/proc/15846/task/15901/stat : 15901 (java) S 15843 15846 14233 0 -1 1077944384 16494 13294 0 0 1217 56 5 3 20 0 15 0 221701312 11348049920 219467 33554432000 4194304 4196468 140724571000384 139626184599824 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15902] ppid=15843 vsize=11082080 memory=279353935160784 CPUtime=12.8 cores=0,2,4,6
/proc/15846/task/15902/stat : 15902 (java) S 15843 15846 14233 0 -1 1077944384 17001 13294 0 0 1223 49 5 3 20 0 15 0 221701312 11348049920 219467 33554432000 4194304 4196468 140724571000384 139626183547536 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15903] ppid=15843 vsize=11082080 memory=0 CPUtime=12.8 cores=0,2,4,6
/proc/15846/task/15903/stat : 15903 (java) S 15843 15846 14233 0 -1 1077944384 23019 13294 0 0 1218 54 5 3 20 0 15 0 221701312 11348049920 219467 33554432000 4194304 4196468 140724571000384 139626182494736 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15904] ppid=15843 vsize=11082080 memory=878896 CPUtime=11.02 cores=0,2,4,6
/proc/15846/task/15904/stat : 15904 (java) S 15843 15846 14233 0 -1 1077944384 17439 13294 0 0 1041 53 5 3 20 0 15 0 221701313 11348049920 219467 33554432000 4194304 4196468 140724571000384 139625563945584 139626325650050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15905] ppid=15843 vsize=11082080 memory=164 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15905/stat : 15905 (java) S 15843 15846 14233 0 -1 1077944384 24 13294 0 0 0 0 5 3 20 0 15 0 221701314 11348049920 219467 33554432000 4194304 4196468 140724571000384 139625091818848 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15906] ppid=15843 vsize=11082080 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15906/stat : 15906 (java) S 15843 15846 14233 0 -1 1077944384 44 13294 0 0 0 0 5 3 20 0 15 0 221701314 11348049920 219467 33554432000 4194304 4196468 140724571000384 139625024706176 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15907] ppid=15843 vsize=11082080 memory=879408 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15907/stat : 15907 (java) S 15843 15846 14233 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 221701317 11348049920 219467 33554432000 4194304 4196468 140724571000384 139624717310544 139626325657499 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15908] ppid=15843 vsize=11082080 memory=0 CPUtime=9.13 cores=0,2,4,6
/proc/15846/task/15908/stat : 15908 (java) S 15843 15846 14233 0 -1 1077944384 50137 13294 0 0 898 7 5 3 20 0 15 0 221701317 11348049920 219467 33554432000 4194304 4196468 140724571000384 139625562892400 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15909] ppid=15843 vsize=11082080 memory=878896 CPUtime=9.84 cores=0,2,4,6
/proc/15846/task/15909/stat : 15909 (java) S 15843 15846 14233 0 -1 1077944384 45913 13294 0 0 969 7 5 3 20 0 15 0 221701317 11348049920 219467 33554432000 4194304 4196468 140724571000384 139625494472688 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15910] ppid=15843 vsize=11082080 memory=3872 CPUtime=4.13 cores=0,2,4,6
/proc/15846/task/15910/stat : 15910 (java) S 15843 15846 14233 0 -1 1077944384 52435 13294 0 0 395 10 5 3 20 0 15 0 221701317 11348049920 219467 33554432000 4194304 4196468 140724571000384 139625493420400 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15911] ppid=15843 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15911/stat : 15911 (java) S 15843 15846 14233 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 221701317 11348049920 219467 33554432000 4194304 4196468 140724571000384 139624286513632 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15912] ppid=15843 vsize=11082080 memory=2288 CPUtime=1.36 cores=0,2,4,6
/proc/15846/task/15912/stat : 15912 (java) S 15843 15846 14233 0 -1 1077944384 1623 13294 0 0 65 63 5 3 20 0 15 0 221701317 11348049920 219467 33554432000 4194304 4196468 140724571000384 139625492368304 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 877868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2459.94 s]
# the end of solver process 15846 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.45 s, system=3.64764 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2459.9 s]
/proc/loadavg: 1.04 1.32 1.38 3/215 16140
/proc/meminfo: memFree=11288288/32770624 swapFree=67108496/67108860
[pid=15846] ppid=15843 vsize=11082080 memory=877868 CPUtime=2520.06 cores=0,2,4,6
/proc/15846/stat : 15846 (java) S 15843 15846 14233 0 -1 1077944320 331496 13294 0 0 251638 360 5 3 20 0 15 0 221701302 11348049920 219467 33554432000 4194304 4196468 140724571000384 140724570982928 139626325638903 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
/proc/15846/statm: 2770520 219467 3534 1 0 2732173 0
[pid=15846/tid=15899] ppid=15843 vsize=11082080 memory=6791534058613427641 CPUtime=2434.02 cores=0,2,4,6
/proc/15846/task/15899/stat : 15899 (java) R 15843 15846 14233 0 -1 4202560 94315 13294 0 0 243339 55 5 3 20 0 15 0 221701311 11348049920 219467 33554432000 4194304 4196468 140724571000384 139626297474208 139625869591456 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15900] ppid=15843 vsize=11082080 memory=886080 CPUtime=12.76 cores=0,2,4,6
/proc/15846/task/15900/stat : 15900 (java) S 15843 15846 14233 0 -1 1077944384 10852 13294 0 0 1218 50 5 3 20 0 15 0 221701312 11348049920 219467 33554432000 4194304 4196468 140724571000384 139626329880976 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15901] ppid=15843 vsize=11082080 memory=879920 CPUtime=12.81 cores=0,2,4,6
/proc/15846/task/15901/stat : 15901 (java) S 15843 15846 14233 0 -1 1077944384 16494 13294 0 0 1217 56 5 3 20 0 15 0 221701312 11348049920 219467 33554432000 4194304 4196468 140724571000384 139626184599824 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15902] ppid=15843 vsize=11082080 memory=279353935160784 CPUtime=12.8 cores=0,2,4,6
/proc/15846/task/15902/stat : 15902 (java) S 15843 15846 14233 0 -1 1077944384 17001 13294 0 0 1223 49 5 3 20 0 15 0 221701312 11348049920 219467 33554432000 4194304 4196468 140724571000384 139626183547536 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15903] ppid=15843 vsize=11082080 memory=0 CPUtime=12.8 cores=0,2,4,6
/proc/15846/task/15903/stat : 15903 (java) S 15843 15846 14233 0 -1 1077944384 23019 13294 0 0 1218 54 5 3 20 0 15 0 221701312 11348049920 219467 33554432000 4194304 4196468 140724571000384 139626182494736 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15904] ppid=15843 vsize=11082080 memory=878896 CPUtime=11.02 cores=0,2,4,6
/proc/15846/task/15904/stat : 15904 (java) S 15843 15846 14233 0 -1 1077944384 17439 13294 0 0 1041 53 5 3 20 0 15 0 221701313 11348049920 219467 33554432000 4194304 4196468 140724571000384 139625563945584 139626325650050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15905] ppid=15843 vsize=11082080 memory=164 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15905/stat : 15905 (java) S 15843 15846 14233 0 -1 1077944384 24 13294 0 0 0 0 5 3 20 0 15 0 221701314 11348049920 219467 33554432000 4194304 4196468 140724571000384 139625091818848 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15906] ppid=15843 vsize=11082080 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15906/stat : 15906 (java) S 15843 15846 14233 0 -1 1077944384 44 13294 0 0 0 0 5 3 20 0 15 0 221701314 11348049920 219467 33554432000 4194304 4196468 140724571000384 139625024706176 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15907] ppid=15843 vsize=11082080 memory=879408 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15907/stat : 15907 (java) S 15843 15846 14233 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 221701317 11348049920 219467 33554432000 4194304 4196468 140724571000384 139624717310544 139626325657499 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15908] ppid=15843 vsize=11082080 memory=0 CPUtime=9.13 cores=0,2,4,6
/proc/15846/task/15908/stat : 15908 (java) S 15843 15846 14233 0 -1 1077944384 50137 13294 0 0 898 7 5 3 20 0 15 0 221701317 11348049920 219467 33554432000 4194304 4196468 140724571000384 139625562892400 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15909] ppid=15843 vsize=11082080 memory=878896 CPUtime=9.84 cores=0,2,4,6
/proc/15846/task/15909/stat : 15909 (java) S 15843 15846 14233 0 -1 1077944384 45913 13294 0 0 969 7 5 3 20 0 15 0 221701317 11348049920 219467 33554432000 4194304 4196468 140724571000384 139625494472688 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15910] ppid=15843 vsize=11082080 memory=3872 CPUtime=4.13 cores=0,2,4,6
/proc/15846/task/15910/stat : 15910 (java) S 15843 15846 14233 0 -1 1077944384 52435 13294 0 0 395 10 5 3 20 0 15 0 221701317 11348049920 219467 33554432000 4194304 4196468 140724571000384 139625493420400 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15911] ppid=15843 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/15846/task/15911/stat : 15911 (java) S 15843 15846 14233 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 221701317 11348049920 219467 33554432000 4194304 4196468 140724571000384 139624286513632 139626325649109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
[pid=15846/tid=15912] ppid=15843 vsize=11082080 memory=2288 CPUtime=1.36 cores=0,2,4,6
/proc/15846/task/15912/stat : 15912 (java) S 15843 15846 14233 0 -1 1077944384 1623 13294 0 0 65 63 5 3 20 0 15 0 221701317 11348049920 219467 33554432000 4194304 4196468 140724571000384 139625492368304 139626325650050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140724571007596 140724571010396 140724571010396 140724571013071 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 877868 KiB
Child status: 143
Real time (s): 2459.94
CPU time (s): 2520.09
CPU user time (s): 2516.45
CPU system time (s): 3.64764
CPU usage (%): 102.445
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1256916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.45
system time used= 3.64764
maximum resident set size= 1260512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 345588
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 265985
involuntary context switches= 6627
# summary of solver processes directly reported to runsolver:
# pid: 15846
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.45
# total CPU system time (s): 3.64764
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2754 second user time and 21.4686 second system time
The end