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 (6406 MiB free)
memory of node 1: 16384 MiB (5509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305072-1534109901/watcher-4305072-1534109901 -o /tmp/evaluation-result-4305072-1534109901/solver-4305072-1534109901 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534099857-27320 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=122688269 -superng HOME/instance-4305072-1534109901.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=30743, runsolver pid=30740
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.45 1.35 1.37 3/206 30800
/proc/meminfo: memFree=12192780/32770624 swapFree=67108496/67108860
[pid=30743] ppid=30740 vsize=10005480 memory=18596 CPUtime=0.09 cores=1,3,5,7
/proc/30743/stat : 30743 (java) S 30740 30743 27288 0 -1 1077944320 4264 13287 0 0 1 0 5 3 20 0 6 0 228553286 10245611520 4649 33554432000 4194304 4196468 140728374013056 140728373995600 140549264314103 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
/proc/30743/statm: 2501370 4649 1934 1 0 2489808 0
[pid=30743/tid=30796] ppid=30740 vsize=10005480 memory=4279135704014094991 CPUtime=0.09 cores=1,3,5,7
/proc/30743/task/30796/stat : 30796 (java) R 30740 30743 27288 0 -1 4202560 2064 13287 0 0 1 0 5 3 20 0 6 0 228553295 10245611520 4649 33554432000 4194304 4196468 140728374013056 140549236150864 140549249996629 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30797] ppid=30740 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30797/stat : 30797 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 6 0 228553296 10245611520 4649 33554432000 4194304 4196468 140728374013056 140549268556048 140549264324309 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30798] ppid=30740 vsize=10005480 memory=140136078419584 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30798/stat : 30798 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 6 0 228553296 10245611520 4649 33554432000 4194304 4196468 140728374013056 140549123275152 140549264324309 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30799] ppid=30740 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30799/stat : 30799 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 6 0 228553296 10245611520 4649 33554432000 4194304 4196468 140728374013056 140549122222608 140549264324309 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30800] ppid=30740 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30800/stat : 30800 (java) S 30740 30743 27288 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 6 0 228553296 10245611520 4649 33554432000 4194304 4196468 140728374013056 140549121170064 140549264324309 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18596 KiB
[startup+0.210118 s]*
/proc/loadavg: 1.45 1.35 1.37 3/215 30809
/proc/meminfo: memFree=12170100/32770624 swapFree=67108496/67108860
[pid=30743] ppid=30740 vsize=10982744 memory=46536 CPUtime=0.26 cores=1,3,5,7
/proc/30743/stat : 30743 (java) S 30740 30743 27288 0 -1 1077944320 7791 13287 0 0 17 1 5 3 20 0 15 0 228553286 11246329856 11634 33554432000 4194304 4196468 140728374013056 140728373995600 140549264314103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
/proc/30743/statm: 2745686 11634 2981 1 0 2708109 0
[pid=30743/tid=30796] ppid=30740 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/30743/task/30796/stat : 30796 (java) R 30740 30743 27288 0 -1 4202560 4336 13287 0 0 11 0 5 3 20 0 15 0 228553295 11246329856 11634 33554432000 4194304 4196468 140728374013056 140549236131216 140549264326038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30797] ppid=30740 vsize=10982744 memory=364 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30797/stat : 30797 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 228553296 11246329856 11634 33554432000 4194304 4196468 140728374013056 140549268556048 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30798] ppid=30740 vsize=10982744 memory=4051183213541893792 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30798/stat : 30798 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 228553296 11246329856 11634 33554432000 4194304 4196468 140728374013056 140549123275152 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30799] ppid=30740 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30799/stat : 30799 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 228553296 11246329856 11634 33554432000 4194304 4196468 140728374013056 140549122222608 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30800] ppid=30740 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30800/stat : 30800 (java) S 30740 30743 27288 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 228553296 11246329856 11634 33554432000 4194304 4196468 140728374013056 140549121170064 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30801] ppid=30740 vsize=10982744 memory=140136078419584 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30801/stat : 30801 (java) S 30740 30743 27288 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 228553297 11246329856 11634 33554432000 4194304 4196468 140728374013056 140548690094576 140549264325250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30802] ppid=30740 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30802/stat : 30802 (java) S 30740 30743 27288 0 -1 1077944384 13 13287 0 0 0 0 5 3 20 0 15 0 228553298 11246329856 11634 33554432000 4194304 4196468 140728374013056 140548107134368 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30803] ppid=30740 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30803/stat : 30803 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 228553298 11246329856 11634 33554432000 4194304 4196468 140728374013056 140547905807856 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30804] ppid=30740 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30804/stat : 30804 (java) S 30740 30743 27288 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 228553301 11246329856 11634 33554432000 4194304 4196468 140728374013056 140547598408400 140549264332699 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30805] ppid=30740 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30743/task/30805/stat : 30805 (java) S 30740 30743 27288 0 -1 1077944384 549 13287 0 0 1 0 5 3 20 0 15 0 228553301 11246329856 11634 33554432000 4194304 4196468 140728374013056 140548689041392 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30806] ppid=30740 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30806/stat : 30806 (java) S 30740 30743 27288 0 -1 1077944384 70 13287 0 0 0 0 5 3 20 0 15 0 228553301 11246329856 11634 33554432000 4194304 4196468 140728374013056 140548687988848 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30807] ppid=30740 vsize=10982744 memory=140136078419584 CPUtime=0.11 cores=1,3,5,7
/proc/30743/task/30807/stat : 30807 (java) S 30740 30743 27288 0 -1 1077944384 616 13287 0 0 3 0 5 3 20 0 15 0 228553301 11246329856 11634 33554432000 4194304 4196468 140728374013056 140548686936304 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30808] ppid=30740 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30808/stat : 30808 (java) S 30740 30743 27288 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 228553301 11246329856 11634 33554432000 4194304 4196468 140728374013056 140547167611488 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30809] ppid=30740 vsize=10982744 memory=140136078419584 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30809/stat : 30809 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 228553301 11246329856 11634 33554432000 4194304 4196468 140728374013056 140548685884208 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46536 KiB
[startup+0.310196 s]*
/proc/loadavg: 1.45 1.35 1.37 3/215 30809
/proc/meminfo: memFree=12158812/32770624 swapFree=67108496/67108860
[pid=30743] ppid=30740 vsize=10983192 memory=57180 CPUtime=0.38 cores=1,3,5,7
/proc/30743/stat : 30743 (java) S 30740 30743 27288 0 -1 1077944320 10296 13287 0 0 28 2 5 3 20 0 15 0 228553286 11246788608 14295 33554432000 4194304 4196468 140728374013056 140728373995600 140549264314103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
/proc/30743/statm: 2745798 14295 3100 1 0 2708109 0
[pid=30743/tid=30796] ppid=30740 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/30743/task/30796/stat : 30796 (java) R 30740 30743 27288 0 -1 4202560 6832 13287 0 0 19 1 5 3 20 0 15 0 228553295 11246788608 14295 33554432000 4194304 4196468 140728374013056 140549236126112 140549248394590 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30797] ppid=30740 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30797/stat : 30797 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 228553296 11246788608 14295 33554432000 4194304 4196468 140728374013056 140549268556048 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30798] ppid=30740 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30798/stat : 30798 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 228553296 11246788608 14295 33554432000 4194304 4196468 140728374013056 140549123275152 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30799] ppid=30740 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30799/stat : 30799 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 228553296 11246788608 14295 33554432000 4194304 4196468 140728374013056 140549122222608 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30800] ppid=30740 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30800/stat : 30800 (java) S 30740 30743 27288 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 228553296 11246788608 14295 33554432000 4194304 4196468 140728374013056 140549121170064 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30801] ppid=30740 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30801/stat : 30801 (java) S 30740 30743 27288 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 228553297 11246788608 14295 33554432000 4194304 4196468 140728374013056 140548690094576 140549264325250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30802] ppid=30740 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30802/stat : 30802 (java) S 30740 30743 27288 0 -1 1077944384 13 13287 0 0 0 0 5 3 20 0 15 0 228553298 11246788608 14295 33554432000 4194304 4196468 140728374013056 140548107134368 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30803] ppid=30740 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30803/stat : 30803 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 228553298 11246788608 14295 33554432000 4194304 4196468 140728374013056 140547905807856 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30804] ppid=30740 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30804/stat : 30804 (java) S 30740 30743 27288 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 228553301 11246788608 14295 33554432000 4194304 4196468 140728374013056 140547598408400 140549264332699 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30805] ppid=30740 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30743/task/30805/stat : 30805 (java) R 30740 30743 27288 0 -1 1077944384 551 13287 0 0 1 0 5 3 20 0 15 0 228553301 11246788608 14295 33554432000 4194304 4196468 140728374013056 140548689041392 140549264325250 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30806] ppid=30740 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/30743/task/30806/stat : 30806 (java) R 30740 30743 27288 0 -1 1077944384 70 13287 0 0 1 0 5 3 20 0 15 0 228553301 11246788608 14295 33554432000 4194304 4196468 140728374013056 140548687988848 140549264325250 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30807] ppid=30740 vsize=10983192 memory=140136078419584 CPUtime=0.12 cores=1,3,5,7
/proc/30743/task/30807/stat : 30807 (java) S 30740 30743 27288 0 -1 1077944384 622 13287 0 0 4 0 5 3 20 0 15 0 228553301 11246788608 14295 33554432000 4194304 4196468 140728374013056 140548686936304 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30808] ppid=30740 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30808/stat : 30808 (java) S 30740 30743 27288 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 228553301 11246788608 14295 33554432000 4194304 4196468 140728374013056 140547167611488 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30809] ppid=30740 vsize=10983192 memory=140136078419584 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30809/stat : 30809 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 228553301 11246788608 14295 33554432000 4194304 4196468 140728374013056 140548685884208 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57180 KiB
[startup+0.700763 s]
/proc/loadavg: 1.45 1.35 1.37 3/215 30809
/proc/meminfo: memFree=12147152/32770624 swapFree=67108496/67108860
[pid=30743] ppid=30740 vsize=10983192 memory=89376 CPUtime=0.99 cores=1,3,5,7
/proc/30743/stat : 30743 (java) S 30740 30743 27288 0 -1 1077944320 16404 13287 0 0 87 4 5 3 20 0 15 0 228553286 11246788608 22344 33554432000 4194304 4196468 140728374013056 140728373995600 140549264314103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
/proc/30743/statm: 2745798 22344 3241 1 0 2708109 0
[pid=30743/tid=30796] ppid=30740 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/30743/task/30796/stat : 30796 (java) R 30740 30743 27288 0 -1 4202560 11863 13287 0 0 57 2 5 3 20 0 15 0 228553295 11246788608 22344 33554432000 4194304 4196468 140728374013056 140549236134928 140549264327990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30797] ppid=30740 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30797/stat : 30797 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 228553296 11246788608 22344 33554432000 4194304 4196468 140728374013056 140549268556048 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30798] ppid=30740 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30798/stat : 30798 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 228553296 11246788608 22344 33554432000 4194304 4196468 140728374013056 140549123275152 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30799] ppid=30740 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30799/stat : 30799 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 228553296 11246788608 22344 33554432000 4194304 4196468 140728374013056 140549122222608 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30800] ppid=30740 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30800/stat : 30800 (java) S 30740 30743 27288 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 228553296 11246788608 22344 33554432000 4194304 4196468 140728374013056 140549121170064 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30801] ppid=30740 vsize=10983192 memory=5788922481001195351 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30801/stat : 30801 (java) S 30740 30743 27288 0 -1 1077944384 5 13287 0 0 0 0 5 3 20 0 15 0 228553297 11246788608 22344 33554432000 4194304 4196468 140728374013056 140548690094576 140549264325250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30802] ppid=30740 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30802/stat : 30802 (java) S 30740 30743 27288 0 -1 1077944384 13 13287 0 0 0 0 5 3 20 0 15 0 228553298 11246788608 22344 33554432000 4194304 4196468 140728374013056 140548107134368 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30803] ppid=30740 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30803/stat : 30803 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 228553298 11246788608 22344 33554432000 4194304 4196468 140728374013056 140547905807856 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30804] ppid=30740 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30804/stat : 30804 (java) S 30740 30743 27288 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 228553301 11246788608 22344 33554432000 4194304 4196468 140728374013056 140547598408400 140549264332699 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30805] ppid=30740 vsize=10983192 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/30743/task/30805/stat : 30805 (java) S 30740 30743 27288 0 -1 1077944384 1194 13287 0 0 10 0 5 3 20 0 15 0 228553301 11246788608 22344 33554432000 4194304 4196468 140728374013056 140548689041392 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30806] ppid=30740 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/30743/task/30806/stat : 30806 (java) S 30740 30743 27288 0 -1 1077944384 442 13287 0 0 6 0 5 3 20 0 15 0 228553301 11246788608 22344 33554432000 4194304 4196468 140728374013056 140548687988848 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30807] ppid=30740 vsize=10983192 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/30743/task/30807/stat : 30807 (java) S 30740 30743 27288 0 -1 1077944384 678 13287 0 0 13 0 5 3 20 0 15 0 228553301 11246788608 22344 33554432000 4194304 4196468 140728374013056 140548686936304 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30808] ppid=30740 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30808/stat : 30808 (java) S 30740 30743 27288 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 228553301 11246788608 22344 33554432000 4194304 4196468 140728374013056 140547167611488 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30809] ppid=30740 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30809/stat : 30809 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 228553301 11246788608 22344 33554432000 4194304 4196468 140728374013056 140548685884208 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89376 KiB
[startup+1.50075 s]
/proc/loadavg: 1.45 1.35 1.37 3/215 30809
/proc/meminfo: memFree=12101224/32770624 swapFree=67108496/67108860
[pid=30743] ppid=30740 vsize=10998092 memory=179912 CPUtime=2.29 cores=1,3,5,7
/proc/30743/stat : 30743 (java) S 30740 30743 27288 0 -1 1077944320 23506 13287 0 0 212 9 5 3 20 0 15 0 228553286 11262046208 44978 33554432000 4194304 4196468 140728374013056 140728373995600 140549264314103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
/proc/30743/statm: 2749523 44978 3473 1 0 2711181 0
[pid=30743/tid=30796] ppid=30740 vsize=10998092 memory=4951091520830867572 CPUtime=1.44 cores=1,3,5,7
/proc/30743/task/30796/stat : 30796 (java) R 30740 30743 27288 0 -1 4202560 17265 13287 0 0 131 5 5 3 20 0 15 0 228553295 11262046208 44978 33554432000 4194304 4196468 140728374013056 140549236146048 140549244589768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30797] ppid=30740 vsize=10998092 memory=4134606225630022328 CPUtime=0.09 cores=1,3,5,7
/proc/30743/task/30797/stat : 30797 (java) S 30740 30743 27288 0 -1 1077944384 197 13287 0 0 1 0 5 3 20 0 15 0 228553296 11262046208 44978 33554432000 4194304 4196468 140728374013056 140549268556048 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30798] ppid=30740 vsize=10998092 memory=-5153075247754915967 CPUtime=0.09 cores=1,3,5,7
/proc/30743/task/30798/stat : 30798 (java) S 30740 30743 27288 0 -1 1077944384 47 13287 0 0 1 0 5 3 20 0 15 0 228553296 11262046208 44978 33554432000 4194304 4196468 140728374013056 140549123275152 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30799] ppid=30740 vsize=10998092 memory=-9107221138006394011 CPUtime=0.09 cores=1,3,5,7
/proc/30743/task/30799/stat : 30799 (java) S 30740 30743 27288 0 -1 1077944384 25 13287 0 0 1 0 5 3 20 0 15 0 228553296 11262046208 44978 33554432000 4194304 4196468 140728374013056 140549122222608 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30800] ppid=30740 vsize=10998092 memory=119828 CPUtime=0.09 cores=1,3,5,7
/proc/30743/task/30800/stat : 30800 (java) S 30740 30743 27288 0 -1 1077944384 19 13287 0 0 1 0 5 3 20 0 15 0 228553296 11262046208 44978 33554432000 4194304 4196468 140728374013056 140549121170064 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30801] ppid=30740 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30743/task/30801/stat : 30801 (java) S 30740 30743 27288 0 -1 1077944384 51 13287 0 0 1 0 5 3 20 0 15 0 228553297 11262046208 44978 33554432000 4194304 4196468 140728374013056 140548690094576 140549264325250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30802] ppid=30740 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30802/stat : 30802 (java) S 30740 30743 27288 0 -1 1077944384 14 13287 0 0 0 0 5 3 20 0 15 0 228553298 11262046208 44978 33554432000 4194304 4196468 140728374013056 140548107134432 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30803] ppid=30740 vsize=10998092 memory=280271849062688 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30803/stat : 30803 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 228553298 11262046208 44978 33554432000 4194304 4196468 140728374013056 140547905807872 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30804] ppid=30740 vsize=10998092 memory=280271849477632 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30804/stat : 30804 (java) S 30740 30743 27288 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 228553301 11262046208 44978 33554432000 4194304 4196468 140728374013056 140547598408400 140549264332699 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30805] ppid=30740 vsize=10998092 memory=140135924541056 CPUtime=0.3 cores=1,3,5,7
/proc/30743/task/30805/stat : 30805 (java) S 30740 30743 27288 0 -1 1077944384 1410 13287 0 0 22 0 5 3 20 0 15 0 228553301 11262046208 44978 33554432000 4194304 4196468 140728374013056 140548689041392 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30806] ppid=30740 vsize=10998092 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/30743/task/30806/stat : 30806 (java) S 30740 30743 27288 0 -1 1077944384 940 13287 0 0 18 0 5 3 20 0 15 0 228553301 11262046208 44978 33554432000 4194304 4196468 140728374013056 140548687988848 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30807] ppid=30740 vsize=10998092 memory=1128 CPUtime=0.42 cores=1,3,5,7
/proc/30743/task/30807/stat : 30807 (java) S 30740 30743 27288 0 -1 1077944384 1334 13287 0 0 34 0 5 3 20 0 15 0 228553301 11262046208 44978 33554432000 4194304 4196468 140728374013056 140548686936304 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30808] ppid=30740 vsize=10998092 memory=15188 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30808/stat : 30808 (java) S 30740 30743 27288 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 228553301 11262046208 44978 33554432000 4194304 4196468 140728374013056 140547167611488 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30809] ppid=30740 vsize=10998092 memory=4000 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30809/stat : 30809 (java) S 30740 30743 27288 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 228553301 11262046208 44978 33554432000 4194304 4196468 140728374013056 140548685884208 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/30743/task/30796/stat : 30796 (java) R 30740 30743 27288 0 -1 4202560 81182 13287 0 0 236806 31 5 3 20 0 15 0 228553295 11343855616 192170 33554432000 4194304 4196468 140728374013056 140549236147984 140548808577774 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30797] ppid=30740 vsize=11077984 memory=768680 CPUtime=6.17 cores=1,3,5,7
/proc/30743/task/30797/stat : 30797 (java) S 30740 30743 27288 0 -1 1077944384 10613 13287 0 0 576 33 5 3 20 0 15 0 228553296 11343855616 192170 33554432000 4194304 4196468 140728374013056 140549268556048 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30798] ppid=30740 vsize=11077984 memory=0 CPUtime=6.18 cores=1,3,5,7
/proc/30743/task/30798/stat : 30798 (java) S 30740 30743 27288 0 -1 1077944384 9860 13287 0 0 578 32 5 3 20 0 15 0 228553296 11343855616 192170 33554432000 4194304 4196468 140728374013056 140549123275152 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30799] ppid=30740 vsize=11077984 memory=0 CPUtime=6.21 cores=1,3,5,7
/proc/30743/task/30799/stat : 30799 (java) S 30740 30743 27288 0 -1 1077944384 11894 13287 0 0 579 34 5 3 20 0 15 0 228553296 11343855616 192170 33554432000 4194304 4196468 140728374013056 140549122222608 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30800] ppid=30740 vsize=11077984 memory=768632 CPUtime=6.2 cores=1,3,5,7
/proc/30743/task/30800/stat : 30800 (java) S 30740 30743 27288 0 -1 1077944384 8453 13287 0 0 580 32 5 3 20 0 15 0 228553296 11343855616 192170 33554432000 4194304 4196468 140728374013056 140549121170064 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30801] ppid=30740 vsize=11077984 memory=768648 CPUtime=5.64 cores=1,3,5,7
/proc/30743/task/30801/stat : 30801 (java) S 30740 30743 27288 0 -1 1077944384 9211 13287 0 0 527 29 5 3 20 0 15 0 228553297 11343855616 192170 33554432000 4194304 4196468 140728374013056 140548690094576 140549264325250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30802] ppid=30740 vsize=11077984 memory=768648 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30802/stat : 30802 (java) S 30740 30743 27288 0 -1 1077944384 19 13287 0 0 0 0 5 3 20 0 15 0 228553298 11343855616 192170 33554432000 4194304 4196468 140728374013056 140548107134432 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30803] ppid=30740 vsize=11077984 memory=768680 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30803/stat : 30803 (java) S 30740 30743 27288 0 -1 1077944384 11 13287 0 0 0 0 5 3 20 0 15 0 228553298 11343855616 192170 33554432000 4194304 4196468 140728374013056 140547905807872 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30804] ppid=30740 vsize=11077984 memory=768680 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30804/stat : 30804 (java) S 30740 30743 27288 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 228553301 11343855616 192170 33554432000 4194304 4196468 140728374013056 140547598408400 140549264332699 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30805] ppid=30740 vsize=11077984 memory=768680 CPUtime=3.36 cores=1,3,5,7
/proc/30743/task/30805/stat : 30805 (java) S 30740 30743 27288 0 -1 1077944384 23303 13287 0 0 323 5 5 3 20 0 15 0 228553301 11343855616 192170 33554432000 4194304 4196468 140728374013056 140548689041392 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30806] ppid=30740 vsize=11077984 memory=768680 CPUtime=3.16 cores=1,3,5,7
/proc/30743/task/30806/stat : 30806 (java) S 30740 30743 27288 0 -1 1077944384 21532 13287 0 0 305 3 5 3 20 0 15 0 228553301 11343855616 192170 33554432000 4194304 4196468 140728374013056 140548687988848 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30807] ppid=30740 vsize=11077984 memory=33 CPUtime=1.63 cores=1,3,5,7
/proc/30743/task/30807/stat : 30807 (java) S 30740 30743 27288 0 -1 1077944384 14188 13287 0 0 152 3 5 3 20 0 15 0 228553301 11343855616 192170 33554432000 4194304 4196468 140728374013056 140548686936304 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30808] ppid=30740 vsize=11077984 memory=768680 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30808/stat : 30808 (java) S 30740 30743 27288 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 228553301 11343855616 192170 33554432000 4194304 4196468 140728374013056 140547167611488 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30809] ppid=30740 vsize=11077984 memory=4424 CPUtime=1.24 cores=1,3,5,7
/proc/30743/task/30809/stat : 30809 (java) S 30740 30743 27288 0 -1 1077944384 776 13287 0 0 51 65 5 3 20 0 15 0 228553301 11343855616 192170 33554432000 4194304 4196468 140728374013056 140548685884208 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
Current children cumulated CPU time: 2407.63 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 768680 KiB
[startup+2442.3 s]
/proc/loadavg: 1.61 1.41 1.34 3/215 30923
/proc/meminfo: memFree=11474972/32770624 swapFree=67108496/67108860
[pid=30743] ppid=30740 vsize=11077984 memory=768704 CPUtime=2468.04 cores=1,3,5,7
/proc/30743/stat : 30743 (java) S 30740 30743 27288 0 -1 1077944320 194399 13287 0 0 246565 231 5 3 20 0 15 0 228553286 11343855616 192176 33554432000 4194304 4196468 140728374013056 140728373995600 140549264314103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
/proc/30743/statm: 2769496 192176 3520 1 0 2731149 0
[pid=30743/tid=30796] ppid=30740 vsize=11077984 memory=768704 CPUtime=2428.11 cores=1,3,5,7
/proc/30743/task/30796/stat : 30796 (java) R 30740 30743 27288 0 -1 4202560 81904 13287 0 0 242771 32 5 3 20 0 15 0 228553295 11343855616 192176 33554432000 4194304 4196468 140728374013056 140549236148240 140548808578820 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30797] ppid=30740 vsize=11077984 memory=768704 CPUtime=6.32 cores=1,3,5,7
/proc/30743/task/30797/stat : 30797 (java) S 30740 30743 27288 0 -1 1077944384 10898 13287 0 0 590 34 5 3 20 0 15 0 228553296 11343855616 192176 33554432000 4194304 4196468 140728374013056 140549268556048 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30798] ppid=30740 vsize=11077984 memory=768680 CPUtime=6.33 cores=1,3,5,7
/proc/30743/task/30798/stat : 30798 (java) S 30740 30743 27288 0 -1 1077944384 9929 13287 0 0 592 33 5 3 20 0 15 0 228553296 11343855616 192176 33554432000 4194304 4196468 140728374013056 140549123275152 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30799] ppid=30740 vsize=11077984 memory=768680 CPUtime=6.36 cores=1,3,5,7
/proc/30743/task/30799/stat : 30799 (java) S 30740 30743 27288 0 -1 1077944384 11908 13287 0 0 593 35 5 3 20 0 15 0 228553296 11343855616 192176 33554432000 4194304 4196468 140728374013056 140549122222608 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30800] ppid=30740 vsize=11077984 memory=768680 CPUtime=6.35 cores=1,3,5,7
/proc/30743/task/30800/stat : 30800 (java) S 30740 30743 27288 0 -1 1077944384 8479 13287 0 0 594 33 5 3 20 0 15 0 228553296 11343855616 192176 33554432000 4194304 4196468 140728374013056 140549121170064 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30801] ppid=30740 vsize=11077984 memory=0 CPUtime=5.78 cores=1,3,5,7
/proc/30743/task/30801/stat : 30801 (java) S 30740 30743 27288 0 -1 1077944384 9244 13287 0 0 540 30 5 3 20 0 15 0 228553297 11343855616 192176 33554432000 4194304 4196468 140728374013056 140548690094576 140549264325250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30802] ppid=30740 vsize=11077984 memory=768680 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30802/stat : 30802 (java) S 30740 30743 27288 0 -1 1077944384 19 13287 0 0 0 0 5 3 20 0 15 0 228553298 11343855616 192176 33554432000 4194304 4196468 140728374013056 140548107134432 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30803] ppid=30740 vsize=11077984 memory=768680 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30803/stat : 30803 (java) S 30740 30743 27288 0 -1 1077944384 11 13287 0 0 0 0 5 3 20 0 15 0 228553298 11343855616 192176 33554432000 4194304 4196468 140728374013056 140547905807872 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30804] ppid=30740 vsize=11077984 memory=768680 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30804/stat : 30804 (java) S 30740 30743 27288 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 228553301 11343855616 192176 33554432000 4194304 4196468 140728374013056 140547598408400 140549264332699 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30805] ppid=30740 vsize=11077984 memory=768648 CPUtime=3.36 cores=1,3,5,7
/proc/30743/task/30805/stat : 30805 (java) S 30740 30743 27288 0 -1 1077944384 23303 13287 0 0 323 5 5 3 20 0 15 0 228553301 11343855616 192176 33554432000 4194304 4196468 140728374013056 140548689041392 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30806] ppid=30740 vsize=11077984 memory=768680 CPUtime=3.16 cores=1,3,5,7
/proc/30743/task/30806/stat : 30806 (java) S 30740 30743 27288 0 -1 1077944384 21532 13287 0 0 305 3 5 3 20 0 15 0 228553301 11343855616 192176 33554432000 4194304 4196468 140728374013056 140548687988848 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30807] ppid=30740 vsize=11077984 memory=768680 CPUtime=1.64 cores=1,3,5,7
/proc/30743/task/30807/stat : 30807 (java) S 30740 30743 27288 0 -1 1077944384 14188 13287 0 0 153 3 5 3 20 0 15 0 228553301 11343855616 192176 33554432000 4194304 4196468 140728374013056 140548686936304 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30808] ppid=30740 vsize=11077984 memory=768680 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30808/stat : 30808 (java) S 30740 30743 27288 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 228553301 11343855616 192176 33554432000 4194304 4196468 140728374013056 140547167611488 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30809] ppid=30740 vsize=11077984 memory=768704 CPUtime=1.27 cores=1,3,5,7
/proc/30743/task/30809/stat : 30809 (java) S 30740 30743 27288 0 -1 1077944384 782 13287 0 0 53 66 5 3 20 0 15 0 228553301 11343855616 192176 33554432000 4194304 4196468 140728374013056 140548685884208 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
Current children cumulated CPU time: 2468.04 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 768704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2493.9 s]
/proc/loadavg: 1.50 1.41 1.34 3/215 31052
/proc/meminfo: memFree=11353144/32770624 swapFree=67108496/67108860
[pid=30743] ppid=30740 vsize=11077984 memory=768740 CPUtime=2520.02 cores=1,3,5,7
/proc/30743/stat : 30743 (java) S 30740 30743 27288 0 -1 1077944320 196098 13287 0 0 251759 235 5 3 20 0 15 0 228553286 11343855616 192185 33554432000 4194304 4196468 140728374013056 140728373995600 140549264314103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
/proc/30743/statm: 2769496 192185 3520 1 0 2731149 0
[pid=30743/tid=30796] ppid=30740 vsize=11077984 memory=768740 CPUtime=2479.43 cores=1,3,5,7
/proc/30743/task/30796/stat : 30796 (java) R 30740 30743 27288 0 -1 4202560 82189 13287 0 0 247902 33 5 3 20 0 15 0 228553295 11343855616 192185 33554432000 4194304 4196468 140728374013056 140549236147936 140548808577858 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30797] ppid=30740 vsize=11077984 memory=768740 CPUtime=6.44 cores=1,3,5,7
/proc/30743/task/30797/stat : 30797 (java) S 30740 30743 27288 0 -1 1077944384 10905 13287 0 0 602 34 5 3 20 0 15 0 228553296 11343855616 192185 33554432000 4194304 4196468 140728374013056 140549268556048 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30798] ppid=30740 vsize=11077984 memory=768740 CPUtime=6.45 cores=1,3,5,7
/proc/30743/task/30798/stat : 30798 (java) S 30740 30743 27288 0 -1 1077944384 9939 13287 0 0 603 34 5 3 20 0 15 0 228553296 11343855616 192185 33554432000 4194304 4196468 140728374013056 140549123275152 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30799] ppid=30740 vsize=11077984 memory=768740 CPUtime=6.49 cores=1,3,5,7
/proc/30743/task/30799/stat : 30799 (java) S 30740 30743 27288 0 -1 1077944384 11949 13287 0 0 606 35 5 3 20 0 15 0 228553296 11343855616 192185 33554432000 4194304 4196468 140728374013056 140549122222608 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30800] ppid=30740 vsize=11077984 memory=768740 CPUtime=6.47 cores=1,3,5,7
/proc/30743/task/30800/stat : 30800 (java) S 30740 30743 27288 0 -1 1077944384 8491 13287 0 0 606 33 5 3 20 0 15 0 228553296 11343855616 192185 33554432000 4194304 4196468 140728374013056 140549121170064 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30801] ppid=30740 vsize=11077984 memory=116 CPUtime=5.89 cores=1,3,5,7
/proc/30743/task/30801/stat : 30801 (java) S 30740 30743 27288 0 -1 1077944384 9413 13287 0 0 551 30 5 3 20 0 15 0 228553297 11343855616 192185 33554432000 4194304 4196468 140728374013056 140548690094576 140549264325250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30802] ppid=30740 vsize=11077984 memory=768740 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30802/stat : 30802 (java) S 30740 30743 27288 0 -1 1077944384 19 13287 0 0 0 0 5 3 20 0 15 0 228553298 11343855616 192185 33554432000 4194304 4196468 140728374013056 140548107134432 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30803] ppid=30740 vsize=11077984 memory=768740 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30803/stat : 30803 (java) S 30740 30743 27288 0 -1 1077944384 11 13287 0 0 0 0 5 3 20 0 15 0 228553298 11343855616 192185 33554432000 4194304 4196468 140728374013056 140547905807872 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30804] ppid=30740 vsize=11077984 memory=768740 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30804/stat : 30804 (java) S 30740 30743 27288 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 228553301 11343855616 192185 33554432000 4194304 4196468 140728374013056 140547598408400 140549264332699 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30805] ppid=30740 vsize=11077984 memory=768740 CPUtime=3.37 cores=1,3,5,7
/proc/30743/task/30805/stat : 30805 (java) S 30740 30743 27288 0 -1 1077944384 23574 13287 0 0 324 5 5 3 20 0 15 0 228553301 11343855616 192185 33554432000 4194304 4196468 140728374013056 140548689041392 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30806] ppid=30740 vsize=11077984 memory=3872 CPUtime=3.16 cores=1,3,5,7
/proc/30743/task/30806/stat : 30806 (java) S 30740 30743 27288 0 -1 1077944384 21534 13287 0 0 305 3 5 3 20 0 15 0 228553301 11343855616 192185 33554432000 4194304 4196468 140728374013056 140548687988848 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30807] ppid=30740 vsize=11077984 memory=61876 CPUtime=1.64 cores=1,3,5,7
/proc/30743/task/30807/stat : 30807 (java) S 30740 30743 27288 0 -1 1077944384 15075 13287 0 0 153 3 5 3 20 0 15 0 228553301 11343855616 192185 33554432000 4194304 4196468 140728374013056 140548686936304 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30808] ppid=30740 vsize=11077984 memory=768740 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30808/stat : 30808 (java) S 30740 30743 27288 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 228553301 11343855616 192185 33554432000 4194304 4196468 140728374013056 140547167611488 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30809] ppid=30740 vsize=11077984 memory=3848 CPUtime=1.3 cores=1,3,5,7
/proc/30743/task/30809/stat : 30809 (java) S 30740 30743 27288 0 -1 1077944384 797 13287 0 0 55 67 5 3 20 0 15 0 228553301 11343855616 192185 33554432000 4194304 4196468 140728374013056 140548685884208 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 768740 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2493.93 s]
# the end of solver process 30743 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.67 s, system=2.39933 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2493.9 s]
/proc/loadavg: 1.50 1.41 1.34 3/215 31052
/proc/meminfo: memFree=11353144/32770624 swapFree=67108496/67108860
[pid=30743] ppid=30740 vsize=11077984 memory=768740 CPUtime=2520.02 cores=1,3,5,7
/proc/30743/stat : 30743 (java) S 30740 30743 27288 0 -1 1077944320 196098 13287 0 0 251759 235 5 3 20 0 15 0 228553286 11343855616 192185 33554432000 4194304 4196468 140728374013056 140728373995600 140549264314103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
/proc/30743/statm: 2769496 192185 3520 1 0 2731149 0
[pid=30743/tid=30796] ppid=30740 vsize=11077984 memory=768740 CPUtime=2479.43 cores=1,3,5,7
/proc/30743/task/30796/stat : 30796 (java) R 30740 30743 27288 0 -1 4202560 82189 13287 0 0 247902 33 5 3 20 0 15 0 228553295 11343855616 192185 33554432000 4194304 4196468 140728374013056 140549236147936 140548808577858 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30797] ppid=30740 vsize=11077984 memory=768740 CPUtime=6.44 cores=1,3,5,7
/proc/30743/task/30797/stat : 30797 (java) S 30740 30743 27288 0 -1 1077944384 10905 13287 0 0 602 34 5 3 20 0 15 0 228553296 11343855616 192185 33554432000 4194304 4196468 140728374013056 140549268556048 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30798] ppid=30740 vsize=11077984 memory=768740 CPUtime=6.45 cores=1,3,5,7
/proc/30743/task/30798/stat : 30798 (java) S 30740 30743 27288 0 -1 1077944384 9939 13287 0 0 603 34 5 3 20 0 15 0 228553296 11343855616 192185 33554432000 4194304 4196468 140728374013056 140549123275152 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30799] ppid=30740 vsize=11077984 memory=768740 CPUtime=6.49 cores=1,3,5,7
/proc/30743/task/30799/stat : 30799 (java) S 30740 30743 27288 0 -1 1077944384 11949 13287 0 0 606 35 5 3 20 0 15 0 228553296 11343855616 192185 33554432000 4194304 4196468 140728374013056 140549122222608 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30800] ppid=30740 vsize=11077984 memory=768740 CPUtime=6.47 cores=1,3,5,7
/proc/30743/task/30800/stat : 30800 (java) S 30740 30743 27288 0 -1 1077944384 8491 13287 0 0 606 33 5 3 20 0 15 0 228553296 11343855616 192185 33554432000 4194304 4196468 140728374013056 140549121170064 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30801] ppid=30740 vsize=11077984 memory=116 CPUtime=5.89 cores=1,3,5,7
/proc/30743/task/30801/stat : 30801 (java) S 30740 30743 27288 0 -1 1077944384 9413 13287 0 0 551 30 5 3 20 0 15 0 228553297 11343855616 192185 33554432000 4194304 4196468 140728374013056 140548690094576 140549264325250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30802] ppid=30740 vsize=11077984 memory=768740 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30802/stat : 30802 (java) S 30740 30743 27288 0 -1 1077944384 19 13287 0 0 0 0 5 3 20 0 15 0 228553298 11343855616 192185 33554432000 4194304 4196468 140728374013056 140548107134432 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30803] ppid=30740 vsize=11077984 memory=768740 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30803/stat : 30803 (java) S 30740 30743 27288 0 -1 1077944384 11 13287 0 0 0 0 5 3 20 0 15 0 228553298 11343855616 192185 33554432000 4194304 4196468 140728374013056 140547905807872 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30804] ppid=30740 vsize=11077984 memory=768740 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30804/stat : 30804 (java) S 30740 30743 27288 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 228553301 11343855616 192185 33554432000 4194304 4196468 140728374013056 140547598408400 140549264332699 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30805] ppid=30740 vsize=11077984 memory=768740 CPUtime=3.37 cores=1,3,5,7
/proc/30743/task/30805/stat : 30805 (java) S 30740 30743 27288 0 -1 1077944384 23574 13287 0 0 324 5 5 3 20 0 15 0 228553301 11343855616 192185 33554432000 4194304 4196468 140728374013056 140548689041392 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30806] ppid=30740 vsize=11077984 memory=3872 CPUtime=3.16 cores=1,3,5,7
/proc/30743/task/30806/stat : 30806 (java) S 30740 30743 27288 0 -1 1077944384 21534 13287 0 0 305 3 5 3 20 0 15 0 228553301 11343855616 192185 33554432000 4194304 4196468 140728374013056 140548687988848 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30807] ppid=30740 vsize=11077984 memory=61876 CPUtime=1.64 cores=1,3,5,7
/proc/30743/task/30807/stat : 30807 (java) S 30740 30743 27288 0 -1 1077944384 15075 13287 0 0 153 3 5 3 20 0 15 0 228553301 11343855616 192185 33554432000 4194304 4196468 140728374013056 140548686936304 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30808] ppid=30740 vsize=11077984 memory=768740 CPUtime=0.08 cores=1,3,5,7
/proc/30743/task/30808/stat : 30808 (java) S 30740 30743 27288 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 228553301 11343855616 192185 33554432000 4194304 4196468 140728374013056 140547167611488 140549264324309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
[pid=30743/tid=30809] ppid=30740 vsize=11077984 memory=3848 CPUtime=1.3 cores=1,3,5,7
/proc/30743/task/30809/stat : 30809 (java) S 30740 30743 27288 0 -1 1077944384 797 13287 0 0 55 67 5 3 20 0 15 0 228553301 11343855616 192185 33554432000 4194304 4196468 140728374013056 140548685884208 140549264325250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140728374020708 140728374023516 140728374023516 140728374026191 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 768740 KiB
Child status: 143
Real time (s): 2493.93
CPU time (s): 2520.07
CPU user time (s): 2517.67
CPU system time (s): 2.39933
CPU usage (%): 101.048
Max. virtual memory (cumulated for all children) (KiB): 11080620
Max. memory (cumulated for all children) (KiB): 819568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.67
system time used= 2.39933
maximum resident set size= 821120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 183128
involuntary context switches= 5414
# summary of solver processes directly reported to runsolver:
# pid: 30743
# total CPU time (s): 2520.07
# total CPU user time (s): 2517.67
# total CPU system time (s): 2.39933
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1164 second user time and 23.06 second system time
The end