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 (2344 MiB free)
memory of node 1: 16384 MiB (9632 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294939-1532562521/watcher-4294939-1532562521 -o /tmp/evaluation-result-4294939-1532562521/solver-4294939-1532562521 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294939-1532562521.xml
running on 4 cores: 1,3,5,7
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=348, runsolver pid=345
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 2.97 2.14 1.50 4/215 363
/proc/meminfo: memFree=12203540/32770624 swapFree=67108860/67108860
[pid=348] ppid=345 vsize=15011656 memory=72312 CPUtime=0.1 cores=1,3,5,7
/proc/348/stat : 348 (java) S 345 348 32649 0 -1 1077944320 6294 0 0 0 8 2 0 0 20 0 15 0 73815425 15371935744 18078 33554432000 4194304 4196468 140733151774000 140733151756544 139817442467575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
/proc/348/statm: 3752914 18078 2755 1 0 3715374 0
[pid=348/tid=350] ppid=345 vsize=15011656 memory=7022364594140610616 CPUtime=0.09 cores=1,3,5,7
/proc/348/task/350/stat : 350 (java) R 345 348 32649 0 -1 4202560 4765 0 0 0 7 2 0 0 20 0 15 0 73815426 15371935744 18408 33554432000 4194304 4196468 140733151774000 139817414279560 139817422743324 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=351] ppid=345 vsize=15011656 memory=343 CPUtime=0 cores=1,3,5,7
/proc/348/task/351/stat : 351 (java) S 345 348 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73815427 15371935744 18408 33554432000 4194304 4196468 140733151774000 139817446709904 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=352] ppid=345 vsize=15011656 memory=288370970166937216 CPUtime=0 cores=1,3,5,7
/proc/348/task/352/stat : 352 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815427 15371935744 18474 33554432000 4194304 4196468 140733151774000 139817237793296 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=353] ppid=345 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/353/stat : 353 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815427 15371935744 18474 33554432000 4194304 4196468 140733151774000 139817236740496 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=354] ppid=345 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/348/task/354/stat : 354 (java) S 345 348 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73815427 15371935744 18474 33554432000 4194304 4196468 140733151774000 139817235687696 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=355] ppid=345 vsize=15011656 memory=140594015225472 CPUtime=0 cores=1,3,5,7
/proc/348/task/355/stat : 355 (java) S 345 348 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73815429 15371935744 18474 33554432000 4194304 4196468 140733151774000 139816412875632 139817442478722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=356] ppid=345 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/348/task/356/stat : 356 (java) S 345 348 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73815429 15371935744 18474 33554432000 4194304 4196468 140733151774000 139816016537120 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=357] ppid=345 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/357/stat : 357 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815429 15371935744 18474 33554432000 4194304 4196468 140733151774000 139815748101488 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=358] ppid=345 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/358/stat : 358 (java) S 345 348 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73815432 15371935744 18474 33554432000 4194304 4196468 140733151774000 139815373592912 139817442486171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=359] ppid=345 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/359/stat : 359 (java) S 345 348 32649 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 73815432 15371935744 18474 33554432000 4194304 4196468 140733151774000 139816411822448 139817442478722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=360] ppid=345 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/348/task/360/stat : 360 (java) S 345 348 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73815432 15371935744 18474 33554432000 4194304 4196468 140733151774000 139816410769648 139817442478722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=361] ppid=345 vsize=15011656 memory=140594015225472 CPUtime=0.01 cores=1,3,5,7
/proc/348/task/361/stat : 361 (java) S 345 348 32649 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 15 0 73815432 15371935744 18474 33554432000 4194304 4196468 140733151774000 139816409716848 139817442478722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=362] ppid=345 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/348/task/362/stat : 362 (java) S 345 348 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73815432 15371935744 18474 33554432000 4194304 4196468 140733151774000 139814875687136 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=363] ppid=345 vsize=15011656 memory=140594015225472 CPUtime=0 cores=1,3,5,7
/proc/348/task/363/stat : 363 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815432 15371935744 18540 33554432000 4194304 4196468 140733151774000 139816408665264 139817442478722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72312 KiB
[startup+0.210428 s]*
/proc/loadavg: 2.97 2.14 1.50 4/215 363
/proc/meminfo: memFree=12190084/32770624 swapFree=67108860/67108860
[pid=348] ppid=345 vsize=15011656 memory=85920 CPUtime=0.24 cores=1,3,5,7
/proc/348/stat : 348 (java) S 345 348 32649 0 -1 1077944320 9882 0 0 0 21 3 0 0 20 0 15 0 73815425 15371935744 21480 33554432000 4194304 4196468 140733151774000 140733151756544 139817442467575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
/proc/348/statm: 3752914 21480 2916 1 0 3715374 0
[pid=348/tid=350] ppid=345 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/348/task/350/stat : 350 (java) R 345 348 32649 0 -1 4202560 7804 0 0 0 18 2 0 0 20 0 15 0 73815426 15371935744 21480 33554432000 4194304 4196468 140733151774000 139817414293968 139817434704702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=351] ppid=345 vsize=15011656 memory=343 CPUtime=0 cores=1,3,5,7
/proc/348/task/351/stat : 351 (java) S 345 348 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73815427 15371935744 21480 33554432000 4194304 4196468 140733151774000 139817446709904 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=352] ppid=345 vsize=15011656 memory=288370970166937216 CPUtime=0 cores=1,3,5,7
/proc/348/task/352/stat : 352 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815427 15371935744 21480 33554432000 4194304 4196468 140733151774000 139817237793296 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=353] ppid=345 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/353/stat : 353 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815427 15371935744 21480 33554432000 4194304 4196468 140733151774000 139817236740496 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=354] ppid=345 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/348/task/354/stat : 354 (java) S 345 348 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73815427 15371935744 21480 33554432000 4194304 4196468 140733151774000 139817235687696 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=355] ppid=345 vsize=15011656 memory=140594015225472 CPUtime=0 cores=1,3,5,7
/proc/348/task/355/stat : 355 (java) S 345 348 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73815429 15371935744 21480 33554432000 4194304 4196468 140733151774000 139816412875632 139817442478722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=356] ppid=345 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/348/task/356/stat : 356 (java) S 345 348 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73815429 15371935744 21480 33554432000 4194304 4196468 140733151774000 139816016537120 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=357] ppid=345 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/357/stat : 357 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815429 15371935744 21480 33554432000 4194304 4196468 140733151774000 139815748101488 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=358] ppid=345 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/358/stat : 358 (java) S 345 348 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73815432 15371935744 21480 33554432000 4194304 4196468 140733151774000 139815373592912 139817442486171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=359] ppid=345 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/359/stat : 359 (java) R 345 348 32649 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 73815432 15371935744 21480 33554432000 4194304 4196468 140733151774000 139816411822448 139817442478722 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=360] ppid=345 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/348/task/360/stat : 360 (java) R 345 348 32649 0 -1 4202560 160 0 0 0 0 0 0 0 20 0 15 0 73815432 15371935744 21480 33554432000 4194304 4196468 140733151774000 139816410769648 139817420335392 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=361] ppid=345 vsize=15011656 memory=140594015225472 CPUtime=0.03 cores=1,3,5,7
/proc/348/task/361/stat : 361 (java) S 345 348 32649 0 -1 1077944384 275 0 0 0 3 0 0 0 20 0 15 0 73815432 15371935744 21480 33554432000 4194304 4196468 140733151774000 139816409716848 139817442478722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=362] ppid=345 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/348/task/362/stat : 362 (java) S 345 348 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73815432 15371935744 21480 33554432000 4194304 4196468 140733151774000 139814875687136 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=363] ppid=345 vsize=15011656 memory=140594015225472 CPUtime=0 cores=1,3,5,7
/proc/348/task/363/stat : 363 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815432 15371935744 21480 33554432000 4194304 4196468 140733151774000 139816408665264 139817442478722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85920 KiB
[startup+0.310455 s]*
/proc/loadavg: 2.97 2.14 1.50 3/215 363
/proc/meminfo: memFree=12186424/32770624 swapFree=67108860/67108860
[pid=348] ppid=345 vsize=15011656 memory=89812 CPUtime=0.41 cores=1,3,5,7
/proc/348/stat : 348 (java) S 345 348 32649 0 -1 1077944320 10459 0 0 0 38 3 0 0 20 0 15 0 73815425 15371935744 22453 33554432000 4194304 4196468 140733151774000 140733151756544 139817442467575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
/proc/348/statm: 3752914 22453 3018 1 0 3715374 0
[pid=348/tid=350] ppid=345 vsize=15011656 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/348/task/350/stat : 350 (java) R 345 348 32649 0 -1 4202560 8216 0 0 0 27 2 0 0 20 0 15 0 73815426 15371935744 22453 33554432000 4194304 4196468 140733151774000 139817414295072 139817422742897 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=351] ppid=345 vsize=15011656 memory=288230613314699634 CPUtime=0 cores=1,3,5,7
/proc/348/task/351/stat : 351 (java) S 345 348 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73815427 15371935744 22453 33554432000 4194304 4196468 140733151774000 139817446709904 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=352] ppid=345 vsize=15011656 memory=288230376152129825 CPUtime=0 cores=1,3,5,7
/proc/348/task/352/stat : 352 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815427 15371935744 22453 33554432000 4194304 4196468 140733151774000 139817237793296 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=353] ppid=345 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/353/stat : 353 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815427 15371935744 22453 33554432000 4194304 4196468 140733151774000 139817236740496 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=354] ppid=345 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/348/task/354/stat : 354 (java) S 345 348 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73815427 15371935744 22453 33554432000 4194304 4196468 140733151774000 139817235687696 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=355] ppid=345 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/355/stat : 355 (java) S 345 348 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73815429 15371935744 22453 33554432000 4194304 4196468 140733151774000 139816412875632 139817442478722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=356] ppid=345 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/348/task/356/stat : 356 (java) S 345 348 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73815429 15371935744 22453 33554432000 4194304 4196468 140733151774000 139816016537120 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=357] ppid=345 vsize=15011656 memory=140594015225472 CPUtime=0 cores=1,3,5,7
/proc/348/task/357/stat : 357 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815429 15371935744 22453 33554432000 4194304 4196468 140733151774000 139815748101488 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=358] ppid=345 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/348/task/358/stat : 358 (java) S 345 348 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73815432 15371935744 22453 33554432000 4194304 4196468 140733151774000 139815373592912 139817442486171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=359] ppid=345 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/348/task/359/stat : 359 (java) R 345 348 32649 0 -1 4202560 409 0 0 0 2 0 0 0 20 0 15 0 73815432 15371935744 22453 33554432000 4194304 4196468 140733151774000 139816411822544 139817421725228 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=360] ppid=345 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/348/task/360/stat : 360 (java) R 345 348 32649 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 15 0 73815432 15371935744 22453 33554432000 4194304 4196468 140733151774000 139816410769648 139817442478722 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=361] ppid=345 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/348/task/361/stat : 361 (java) R 345 348 32649 0 -1 4202560 302 0 0 0 7 0 0 0 20 0 15 0 73815432 15371935744 22453 33554432000 4194304 4196468 140733151774000 139816409716848 139817421123415 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=362] ppid=345 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/362/stat : 362 (java) S 345 348 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73815432 15371935744 22453 33554432000 4194304 4196468 140733151774000 139814875687136 139817442477781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=363] ppid=345 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/363/stat : 363 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815432 15371935744 22453 33554432000 4194304 4196468 140733151774000 139816408665264 139817442478722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89812 KiB
[startup+0.708418 s]
/proc/loadavg: 2.97 2.14 1.50 3/215 363
/proc/meminfo: memFree=12162364/32770624 swapFree=67108860/67108860
[pid=348] ppid=345 vsize=15017928 memory=132876 CPUtime=1.03 cores=1,3,5,7
/proc/348/stat : 348 (java) S 345 348 32649 0 -1 1077944320 17444 0 0 0 97 6 0 0 20 0 15 0 73815425 15378358272 33219 33554432000 4194304 4196468 140733151774000 140733151756544 139817442467575 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
/proc/348/statm: 3754482 33219 3136 1 0 3715886 0
[pid=348/tid=350] ppid=345 vsize=15017928 memory=4 CPUtime=0.67 cores=1,3,5,7
/proc/348/task/350/stat : 350 (java) R 345 348 32649 0 -1 4202560 14695 0 0 0 63 4 0 0 20 0 15 0 73815426 15378358272 33219 33554432000 4194304 4196468 140733151774000 139817414304752 139817442489501 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=351] ppid=345 vsize=15017928 memory=65 CPUtime=0 cores=1,3,5,7
/proc/348/task/351/stat : 351 (java) S 345 348 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73815427 15378358272 33219 33554432000 4194304 4196468 140733151774000 139817446709904 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=352] ppid=345 vsize=15017928 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/348/task/352/stat : 352 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815427 15378358272 33219 33554432000 4194304 4196468 140733151774000 139817237793296 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=353] ppid=345 vsize=15017928 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/348/task/353/stat : 353 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815427 15378358272 33219 33554432000 4194304 4196468 140733151774000 139817236740496 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=354] ppid=345 vsize=15017928 memory=123625 CPUtime=0 cores=1,3,5,7
/proc/348/task/354/stat : 354 (java) S 345 348 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73815427 15378358272 33219 33554432000 4194304 4196468 140733151774000 139817235687696 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=355] ppid=345 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/355/stat : 355 (java) S 345 348 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73815429 15378358272 33219 33554432000 4194304 4196468 140733151774000 139816412875632 139817442478722 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=356] ppid=345 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/356/stat : 356 (java) S 345 348 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73815429 15378358272 33219 33554432000 4194304 4196468 140733151774000 139816016537120 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=357] ppid=345 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/357/stat : 357 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815429 15378358272 33219 33554432000 4194304 4196468 140733151774000 139815748101488 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=358] ppid=345 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/358/stat : 358 (java) S 345 348 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73815432 15378358272 33219 33554432000 4194304 4196468 140733151774000 139815373592912 139817442486171 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=359] ppid=345 vsize=15017928 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/348/task/359/stat : 359 (java) S 345 348 32649 0 -1 1077944384 635 0 0 0 8 0 0 0 20 0 15 0 73815432 15378358272 33219 33554432000 4194304 4196468 140733151774000 139816411822448 139817442478722 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=360] ppid=345 vsize=15017928 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/348/task/360/stat : 360 (java) S 345 348 32649 0 -1 1077944384 314 0 0 0 7 0 0 0 20 0 15 0 73815432 15378358272 33219 33554432000 4194304 4196468 140733151774000 139816410769648 139817442478722 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=361] ppid=345 vsize=15017928 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/348/task/361/stat : 361 (java) S 345 348 32649 0 -1 1077944384 459 0 0 0 16 0 0 0 20 0 15 0 73815432 15378358272 33219 33554432000 4194304 4196468 140733151774000 139816409716848 139817442478722 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=362] ppid=345 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/362/stat : 362 (java) S 345 348 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73815432 15378358272 33219 33554432000 4194304 4196468 140733151774000 139814875687136 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=363] ppid=345 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/363/stat : 363 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815432 15378358272 33219 33554432000 4194304 4196468 140733151774000 139816408665264 139817442478722 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 132876 KiB
[startup+1.50067 s]
/proc/loadavg: 2.97 2.14 1.50 3/215 363
/proc/meminfo: memFree=12028076/32770624 swapFree=67108860/67108860
[pid=348] ppid=345 vsize=15020052 memory=467484 CPUtime=3.08 cores=1,3,5,7
/proc/348/stat : 348 (java) S 345 348 32649 0 -1 1077944320 19756 0 0 0 295 13 0 0 20 0 15 0 73815425 15380533248 116871 33554432000 4194304 4196468 140733151774000 140733151756544 139817442467575 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
/proc/348/statm: 3755013 116871 3197 1 0 3716398 0
[pid=348/tid=350] ppid=345 vsize=15020052 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/348/task/350/stat : 350 (java) R 345 348 32649 0 -1 4202560 15557 0 0 0 136 11 0 0 20 0 15 0 73815426 15380533248 116871 33554432000 4194304 4196468 140733151774000 139817414303312 139817442479510 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=351] ppid=345 vsize=15020052 memory=430108 CPUtime=0 cores=1,3,5,7
/proc/348/task/351/stat : 351 (java) S 345 348 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73815427 15380533248 116871 33554432000 4194304 4196468 140733151774000 139817446709904 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=352] ppid=345 vsize=15020052 memory=132876 CPUtime=0 cores=1,3,5,7
/proc/348/task/352/stat : 352 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815427 15380533248 116871 33554432000 4194304 4196468 140733151774000 139817237793296 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=353] ppid=345 vsize=15020052 memory=4 CPUtime=0 cores=1,3,5,7
/proc/348/task/353/stat : 353 (java) S 345 348 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73815427 15380533248 116871 33554432000 4194304 4196468 140733151774000 139817236740496 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=354] ppid=345 vsize=15020052 memory=65 CPUtime=0 cores=1,3,5,7
/proc/348/task/354/stat : 354 (java) S 345 348 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73815427 15380533248 116871 33554432000 4194304 4196468 140733151774000 139817235687696 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=355] ppid=345 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/348/task/355/stat : 355 (java) S 345 348 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73815429 15380533248 116871 33554432000 4194304 4196468 140733151774000 139816412875632 139817442478722 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
################
# More data... #
################
/proc/348/statm: 3756037 3012748 3259 1 0 3717422 0
[pid=348/tid=350] ppid=345 vsize=15024148 memory=4136 CPUtime=423.77 cores=1,3,5,7
/proc/348/task/350/stat : 350 (java) S 345 348 32649 0 -1 1077944384 70843 0 0 0 42324 53 0 0 20 0 15 0 73815426 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817414304544 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=351] ppid=345 vsize=15024148 memory=1412 CPUtime=520.45 cores=1,3,5,7
/proc/348/task/351/stat : 351 (java) R 345 348 32649 0 -1 4202560 516904 0 0 0 51736 309 0 0 20 0 15 0 73815427 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817446709792 139817424064083 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=352] ppid=345 vsize=15024148 memory=12050992 CPUtime=519.97 cores=1,3,5,7
/proc/348/task/352/stat : 352 (java) R 345 348 32649 0 -1 4202560 390950 0 0 0 51738 259 0 0 20 0 15 0 73815427 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817237793496 139817424064271 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=353] ppid=345 vsize=15024148 memory=2436 CPUtime=519.93 cores=1,3,5,7
/proc/348/task/353/stat : 353 (java) R 345 348 32649 0 -1 4202560 498736 0 0 0 51683 310 0 0 20 0 15 0 73815427 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817236740696 139817427452871 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=354] ppid=345 vsize=15024148 memory=1728 CPUtime=520.58 cores=1,3,5,7
/proc/348/task/354/stat : 354 (java) R 345 348 32649 0 -1 4202560 485579 0 0 0 51761 297 0 0 20 0 15 0 73815427 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817235687896 139817424064076 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=355] ppid=345 vsize=15024148 memory=6947385649911455296 CPUtime=3.74 cores=1,3,5,7
/proc/348/task/355/stat : 355 (java) S 345 348 32649 0 -1 1077944384 257214 0 0 0 362 12 0 0 20 0 15 0 73815429 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816412873952 139817442477781 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=356] ppid=345 vsize=15024148 memory=3068 CPUtime=0 cores=1,3,5,7
/proc/348/task/356/stat : 356 (java) S 345 348 32649 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 73815429 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816016537184 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=357] ppid=345 vsize=15024148 memory=12050992 CPUtime=0 cores=1,3,5,7
/proc/348/task/357/stat : 357 (java) S 345 348 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73815429 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139815748101504 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=358] ppid=345 vsize=15024148 memory=19698 CPUtime=0 cores=1,3,5,7
/proc/348/task/358/stat : 358 (java) S 345 348 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139815373592912 139817442486171 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=359] ppid=345 vsize=15024148 memory=12050992 CPUtime=5.66 cores=1,3,5,7
/proc/348/task/359/stat : 359 (java) S 345 348 32649 0 -1 1077944384 15505 0 0 0 564 2 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816411822448 139817442478722 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=360] ppid=345 vsize=15024148 memory=1944 CPUtime=4.27 cores=1,3,5,7
/proc/348/task/360/stat : 360 (java) S 345 348 32649 0 -1 1077944384 13817 0 0 0 425 2 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816410769648 139817442478722 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=361] ppid=345 vsize=15024148 memory=1428 CPUtime=1.09 cores=1,3,5,7
/proc/348/task/361/stat : 361 (java) S 345 348 32649 0 -1 1077944384 15421 0 0 0 107 2 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816409716848 139817442478722 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=362] ppid=345 vsize=15024148 memory=8520 CPUtime=0 cores=1,3,5,7
/proc/348/task/362/stat : 362 (java) S 345 348 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139814875687136 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=363] ppid=345 vsize=15024148 memory=792 CPUtime=0.63 cores=1,3,5,7
/proc/348/task/363/stat : 363 (java) S 345 348 32649 0 -1 1077944384 681 0 0 0 30 33 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816408665264 139817442478722 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
Current children cumulated CPU time: 2520.19 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 12050992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+953.302 s]
# the end of solver process 348 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.59 s, system=12.7183 s
Solver just ended.
Dumping a history of the last processes samples
[startup+952.002 s]*
/proc/loadavg: 5.27 5.08 3.77 10/216 501
/proc/meminfo: memFree=700036/32770624 swapFree=67108860/67108860
[pid=348] ppid=345 vsize=15024148 memory=12050992 CPUtime=2523.4 cores=1,3,5,7
/proc/348/stat : 348 (java) S 345 348 32649 0 -1 1077944320 2267035 0 0 0 251078 1262 0 0 20 0 15 0 73815425 15384727552 3012748 33554432000 4194304 4196468 140733151774000 140733151756544 139817442467575 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
/proc/348/statm: 3756037 3012748 3259 1 0 3717422 0
[pid=348/tid=350] ppid=345 vsize=15024148 memory=288230574492221466 CPUtime=423.77 cores=1,3,5,7
/proc/348/task/350/stat : 350 (java) S 345 348 32649 0 -1 1077944384 70843 0 0 0 42324 53 0 0 20 0 15 0 73815426 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817414304544 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=351] ppid=345 vsize=15024148 memory=288230583166042426 CPUtime=521.25 cores=1,3,5,7
/proc/348/task/351/stat : 351 (java) R 345 348 32649 0 -1 4202560 516904 0 0 0 51816 309 0 0 20 0 15 0 73815427 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817446709792 139817427418284 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=352] ppid=345 vsize=15024148 memory=14409311157749108 CPUtime=520.78 cores=1,3,5,7
/proc/348/task/352/stat : 352 (java) R 345 348 32649 0 -1 4202560 390950 0 0 0 51819 259 0 0 20 0 15 0 73815427 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817237793496 139817427165188 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=353] ppid=345 vsize=15024148 memory=15876 CPUtime=520.72 cores=1,3,5,7
/proc/348/task/353/stat : 353 (java) R 345 348 32649 0 -1 4202560 498777 0 0 0 51762 310 0 0 20 0 15 0 73815427 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817236740696 139817427165327 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=354] ppid=345 vsize=15024148 memory=18268 CPUtime=521.39 cores=1,3,5,7
/proc/348/task/354/stat : 354 (java) R 345 348 32649 0 -1 4202560 485579 0 0 0 51842 297 0 0 20 0 15 0 73815427 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817235687896 139817427165120 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=355] ppid=345 vsize=15024148 memory=13916 CPUtime=3.74 cores=1,3,5,7
/proc/348/task/355/stat : 355 (java) S 345 348 32649 0 -1 1077944384 257214 0 0 0 362 12 0 0 20 0 15 0 73815429 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816412873952 139817442477781 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=356] ppid=345 vsize=15024148 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/348/task/356/stat : 356 (java) S 345 348 32649 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 73815429 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816016537184 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=357] ppid=345 vsize=15024148 memory=644 CPUtime=0 cores=1,3,5,7
/proc/348/task/357/stat : 357 (java) S 345 348 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73815429 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139815748101504 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=358] ppid=345 vsize=15024148 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/348/task/358/stat : 358 (java) S 345 348 32649 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139815373592560 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=359] ppid=345 vsize=15024148 memory=1232 CPUtime=5.66 cores=1,3,5,7
/proc/348/task/359/stat : 359 (java) S 345 348 32649 0 -1 1077944384 15505 0 0 0 564 2 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816411822448 139817442478722 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=360] ppid=345 vsize=15024148 memory=956 CPUtime=4.27 cores=1,3,5,7
/proc/348/task/360/stat : 360 (java) S 345 348 32649 0 -1 1077944384 13817 0 0 0 425 2 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816410769648 139817442478722 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=361] ppid=345 vsize=15024148 memory=2424 CPUtime=1.09 cores=1,3,5,7
/proc/348/task/361/stat : 361 (java) S 345 348 32649 0 -1 1077944384 15421 0 0 0 107 2 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816409716848 139817442478722 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=362] ppid=345 vsize=15024148 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/348/task/362/stat : 362 (java) S 345 348 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139814875687136 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=363] ppid=345 vsize=15024148 memory=928 CPUtime=0.63 cores=1,3,5,7
/proc/348/task/363/stat : 363 (java) S 345 348 32649 0 -1 1077944384 681 0 0 0 30 33 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816408665264 139817442478722 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
Current children cumulated CPU time: 2523.4 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 12050992 KiB
[startup+952.802 s]
/proc/loadavg: 5.27 5.08 3.77 10/216 501
/proc/meminfo: memFree=700036/32770624 swapFree=67108860/67108860
[pid=348] ppid=345 vsize=15024148 memory=12050992 CPUtime=2526.57 cores=1,3,5,7
/proc/348/stat : 348 (java) S 345 348 32649 0 -1 1077944320 2267035 0 0 0 251395 1262 0 0 20 0 15 0 73815425 15384727552 3012748 33554432000 4194304 4196468 140733151774000 140733151756544 139817442467575 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
/proc/348/statm: 3756037 3012748 3259 1 0 3717422 0
[pid=348/tid=350] ppid=345 vsize=15024148 memory=6947385649911455296 CPUtime=423.77 cores=1,3,5,7
/proc/348/task/350/stat : 350 (java) S 345 348 32649 0 -1 1077944384 70843 0 0 0 42324 53 0 0 20 0 15 0 73815426 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817414304544 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=351] ppid=345 vsize=15024148 memory=12050992 CPUtime=522.05 cores=1,3,5,7
/proc/348/task/351/stat : 351 (java) R 345 348 32649 0 -1 4202560 516904 0 0 0 51896 309 0 0 20 0 15 0 73815427 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817446709792 139817427418180 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=352] ppid=345 vsize=15024148 memory=4100 CPUtime=521.57 cores=1,3,5,7
/proc/348/task/352/stat : 352 (java) R 345 348 32649 0 -1 4202560 390950 0 0 0 51898 259 0 0 20 0 15 0 73815427 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817237793496 139817424020816 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=353] ppid=345 vsize=15024148 memory=22476 CPUtime=521.5 cores=1,3,5,7
/proc/348/task/353/stat : 353 (java) R 345 348 32649 0 -1 4202560 498777 0 0 0 51840 310 0 0 20 0 15 0 73815427 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817236740696 139817425644144 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=354] ppid=345 vsize=15024148 memory=1292 CPUtime=522.18 cores=1,3,5,7
/proc/348/task/354/stat : 354 (java) R 345 348 32649 0 -1 4202560 485579 0 0 0 51921 297 0 0 20 0 15 0 73815427 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817235687896 139817427165350 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=355] ppid=345 vsize=15024148 memory=12050992 CPUtime=3.74 cores=1,3,5,7
/proc/348/task/355/stat : 355 (java) S 345 348 32649 0 -1 1077944384 257214 0 0 0 362 12 0 0 20 0 15 0 73815429 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816412873952 139817442477781 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=356] ppid=345 vsize=15024148 memory=3196 CPUtime=0 cores=1,3,5,7
/proc/348/task/356/stat : 356 (java) S 345 348 32649 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 73815429 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816016537184 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=357] ppid=345 vsize=15024148 memory=11679956 CPUtime=0 cores=1,3,5,7
/proc/348/task/357/stat : 357 (java) S 345 348 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73815429 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139815748101504 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=358] ppid=345 vsize=15024148 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/348/task/358/stat : 358 (java) S 345 348 32649 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139815373592560 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=359] ppid=345 vsize=15024148 memory=1728 CPUtime=5.66 cores=1,3,5,7
/proc/348/task/359/stat : 359 (java) S 345 348 32649 0 -1 1077944384 15505 0 0 0 564 2 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816411822208 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=360] ppid=345 vsize=15024148 memory=1708 CPUtime=4.27 cores=1,3,5,7
/proc/348/task/360/stat : 360 (java) S 345 348 32649 0 -1 1077944384 13817 0 0 0 425 2 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816410769696 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=361] ppid=345 vsize=15024148 memory=5792 CPUtime=1.09 cores=1,3,5,7
/proc/348/task/361/stat : 361 (java) S 345 348 32649 0 -1 1077944384 15421 0 0 0 107 2 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816409716896 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=362] ppid=345 vsize=15024148 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/348/task/362/stat : 362 (java) S 345 348 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139814875687136 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=363] ppid=345 vsize=15024148 memory=9920 CPUtime=0.63 cores=1,3,5,7
/proc/348/task/363/stat : 363 (java) S 345 348 32649 0 -1 1077944384 681 0 0 0 30 33 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816408665264 139817442478722 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
Current children cumulated CPU time: 2526.57 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 12050992 KiB
[startup+953.202 s]
/proc/loadavg: 5.27 5.08 3.77 11/216 501
/proc/meminfo: memFree=700036/32770624 swapFree=67108860/67108860
[pid=348] ppid=345 vsize=15024148 memory=12050992 CPUtime=2528.16 cores=1,3,5,7
/proc/348/stat : 348 (java) S 345 348 32649 0 -1 1077944320 2267035 0 0 0 251554 1262 0 0 20 0 15 0 73815425 15384727552 3012748 33554432000 4194304 4196468 140733151774000 140733151756544 139817442467575 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
/proc/348/statm: 3756037 3012748 3259 1 0 3717422 0
[pid=348/tid=350] ppid=345 vsize=15024148 memory=288230583166042426 CPUtime=423.77 cores=1,3,5,7
/proc/348/task/350/stat : 350 (java) S 345 348 32649 0 -1 1077944384 70843 0 0 0 42324 53 0 0 20 0 15 0 73815426 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817414304544 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=351] ppid=345 vsize=15024148 memory=14409311157749108 CPUtime=522.45 cores=1,3,5,7
/proc/348/task/351/stat : 351 (java) R 345 348 32649 0 -1 4202560 516904 0 0 0 51936 309 0 0 20 0 15 0 73815427 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817446709792 139817424064337 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=352] ppid=345 vsize=15024148 memory=18268 CPUtime=521.97 cores=1,3,5,7
/proc/348/task/352/stat : 352 (java) R 345 348 32649 0 -1 4202560 390950 0 0 0 51938 259 0 0 20 0 15 0 73815427 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817237793496 139817427418180 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=353] ppid=345 vsize=15024148 memory=13916 CPUtime=521.89 cores=1,3,5,7
/proc/348/task/353/stat : 353 (java) R 345 348 32649 0 -1 4202560 498777 0 0 0 51879 310 0 0 20 0 15 0 73815427 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817236740696 139817424064193 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=354] ppid=345 vsize=15024148 memory=4052 CPUtime=522.58 cores=1,3,5,7
/proc/348/task/354/stat : 354 (java) R 345 348 32649 0 -1 4202560 485579 0 0 0 51961 297 0 0 20 0 15 0 73815427 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139817235687896 139817424063984 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=355] ppid=345 vsize=15024148 memory=644 CPUtime=3.74 cores=1,3,5,7
/proc/348/task/355/stat : 355 (java) S 345 348 32649 0 -1 1077944384 257214 0 0 0 362 12 0 0 20 0 15 0 73815429 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816412873952 139817442477781 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=356] ppid=345 vsize=15024148 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/348/task/356/stat : 356 (java) S 345 348 32649 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 73815429 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816016537184 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=357] ppid=345 vsize=15024148 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/348/task/357/stat : 357 (java) S 345 348 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73815429 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139815748101504 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=358] ppid=345 vsize=15024148 memory=956 CPUtime=0 cores=1,3,5,7
/proc/348/task/358/stat : 358 (java) S 345 348 32649 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139815373592560 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=359] ppid=345 vsize=15024148 memory=2424 CPUtime=5.66 cores=1,3,5,7
/proc/348/task/359/stat : 359 (java) S 345 348 32649 0 -1 1077944384 15505 0 0 0 564 2 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816411822208 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=360] ppid=345 vsize=15024148 memory=1576 CPUtime=4.27 cores=1,3,5,7
/proc/348/task/360/stat : 360 (java) S 345 348 32649 0 -1 1077944384 13817 0 0 0 425 2 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816410769696 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=361] ppid=345 vsize=15024148 memory=928 CPUtime=1.09 cores=1,3,5,7
/proc/348/task/361/stat : 361 (java) S 345 348 32649 0 -1 1077944384 15421 0 0 0 107 2 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816409716896 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=362] ppid=345 vsize=15024148 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/348/task/362/stat : 362 (java) S 345 348 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139814875687136 139817442477781 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
[pid=348/tid=363] ppid=345 vsize=15024148 memory=12050992 CPUtime=0.63 cores=1,3,5,7
/proc/348/task/363/stat : 363 (java) S 345 348 32649 0 -1 1077944384 681 0 0 0 30 33 0 0 20 0 15 0 73815432 15384727552 3012748 33554432000 4194304 4196468 140733151774000 139816408665264 139817442478722 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 39124992 140733151777779 140733151778057 140733151778057 140733151780815 0
Current children cumulated CPU time: 2528.16 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 12050992 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 953.302
CPU time (s): 2528.3
CPU user time (s): 2515.59
CPU system time (s): 12.7183
CPU usage (%): 265.215
Max. virtual memory (cumulated for all children) (KiB): 15024148
Max. memory (cumulated for all children) (KiB): 12050992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.59
system time used= 12.7183
maximum resident set size= 12051144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2267037
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31092
involuntary context switches= 28046
# summary of solver processes directly reported to runsolver:
# pid: 348
# total CPU time (s): 2528.3
# total CPU user time (s): 2515.59
# total CPU system time (s): 12.7183
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.49458 second user time and 9.60519 second system time
The end