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 (15027 MiB free)
memory of node 1: 16384 MiB (14252 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274729-1502730130/watcher-4274729-1502730130 -o /tmp/evaluation-result-4274729-1502730130/solver-4274729-1502730130 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13744 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1406534074 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274729-1502730130.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23425, runsolver pid=23422
[startup+0.102507 s]*
/proc/loadavg: 1.68 1.48 1.38 3/205 23431
/proc/meminfo: memFree=29975460/32770624 swapFree=67108860/67108860
[pid=23425] ppid=23422 vsize=13358552 memory=16448 CPUtime=0.01 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 12395 0 -1 1077944320 3427 0 0 0 1 0 0 0 20 0 6 0 114924369 13679157248 4112 18446744073709551615 4194304 4196468 140722763221024 140722763203568 139756449885943 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
/proc/23425/statm: 3339638 4112 1913 1 0 3329135 0
[pid=23425/tid=23427] ppid=23422 vsize=13358552 memory=-6586067419875348837 CPUtime=0.01 cores=0,2,4,6
/proc/23425/task/23427/stat : 23427 (java) R 23422 23425 12395 0 -1 4202560 2129 0 0 0 1 0 0 0 20 0 6 0 114924378 13679157248 4112 18446744073709551615 4194304 4196468 140722763221024 139756454122064 139756434322828 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23428] ppid=23422 vsize=13358552 memory=5767616016984742281 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23428/stat : 23428 (java) S 23422 23425 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 114924379 13679157248 4112 18446744073709551615 4194304 4196468 140722763221024 139756369300496 139756449896149 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23429] ppid=23422 vsize=13358552 memory=139626686211712 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23429/stat : 23429 (java) S 23422 23425 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 114924379 13679157248 4112 18446744073709551615 4194304 4196468 140722763221024 139756368247952 139756449896149 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23430] ppid=23422 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23430/stat : 23430 (java) S 23422 23425 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 114924379 13679157248 4112 18446744073709551615 4194304 4196468 140722763221024 139756367194896 139756449896149 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23431] ppid=23422 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23431/stat : 23431 (java) S 23422 23425 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 114924379 13679157248 4112 18446744073709551615 4194304 4196468 140722763221024 139756366142352 139756449896149 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 16448 KiB
[startup+0.210043 s]*
/proc/loadavg: 1.68 1.48 1.38 3/214 23440
/proc/meminfo: memFree=29971036/32770624 swapFree=67108860/67108860
[pid=23425] ppid=23422 vsize=13975920 memory=26136 CPUtime=0.07 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 12395 0 -1 1077944320 5806 0 0 0 6 1 0 0 20 0 15 0 114924369 14311342080 6534 18446744073709551615 4194304 4196468 140722763221024 140722763203568 139756449885943 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
/proc/23425/statm: 3493980 6534 2815 1 0 3482759 0
[pid=23425/tid=23427] ppid=23422 vsize=13975920 memory=7969008973282975385 CPUtime=0.06 cores=0,2,4,6
/proc/23425/task/23427/stat : 23427 (java) R 23422 23425 12395 0 -1 4202560 4023 0 0 0 5 1 0 0 20 0 15 0 114924378 14311342080 6600 18446744073709551615 4194304 4196468 140722763221024 139756454126128 139756410867574 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23428] ppid=23422 vsize=13975920 memory=732369765023665125 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23428/stat : 23428 (java) S 23422 23425 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114924379 14311342080 6666 18446744073709551615 4194304 4196468 140722763221024 139756369300496 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23429] ppid=23422 vsize=13975920 memory=139626686211712 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23429/stat : 23429 (java) S 23422 23425 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114924379 14311342080 6666 18446744073709551615 4194304 4196468 140722763221024 139756368247952 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23430] ppid=23422 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23430/stat : 23430 (java) S 23422 23425 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114924379 14311342080 6666 18446744073709551615 4194304 4196468 140722763221024 139756367194896 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23431] ppid=23422 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23431/stat : 23431 (java) S 23422 23425 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114924379 14311342080 6666 18446744073709551615 4194304 4196468 140722763221024 139756366142352 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23432] ppid=23422 vsize=13975920 memory=139626686211712 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23432/stat : 23432 (java) S 23422 23425 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114924380 14311342080 6666 18446744073709551615 4194304 4196468 140722763221024 139755927365872 139756449897090 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23433] ppid=23422 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23433/stat : 23433 (java) S 23422 23425 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114924381 14311342080 6666 18446744073709551615 4194304 4196468 140722763221024 139755926312096 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23434] ppid=23422 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23434/stat : 23434 (java) S 23422 23425 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114924381 14311342080 6666 18446744073709551615 4194304 4196468 140722763221024 139755925258992 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23435] ppid=23422 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23435/stat : 23435 (java) S 23422 23425 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114924383 14311342080 6666 18446744073709551615 4194304 4196468 140722763221024 139755924207568 139756449904539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23436] ppid=23422 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23436/stat : 23436 (java) S 23422 23425 12395 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 114924383 14311342080 6666 18446744073709551615 4194304 4196468 140722763221024 139755923155696 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23437] ppid=23422 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23437/stat : 23437 (java) S 23422 23425 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114924383 14311342080 6732 18446744073709551615 4194304 4196468 140722763221024 139755922103152 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23438] ppid=23422 vsize=13975920 memory=139626686211712 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23438/stat : 23438 (java) S 23422 23425 12395 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 114924383 14311342080 6732 18446744073709551615 4194304 4196468 140722763221024 139755921050096 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23439] ppid=23422 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23439/stat : 23439 (java) S 23422 23425 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114924384 14311342080 6732 18446744073709551615 4194304 4196468 140722763221024 139755919997792 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23440] ppid=23422 vsize=13975920 memory=139626686211712 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23440/stat : 23440 (java) S 23422 23425 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114924390 14311342080 6732 18446744073709551615 4194304 4196468 140722763221024 139755918944816 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 26136 KiB
[startup+0.310333 s]*
/proc/loadavg: 1.68 1.48 1.38 4/214 23440
/proc/meminfo: memFree=29956052/32770624 swapFree=67108860/67108860
[pid=23425] ppid=23422 vsize=13975920 memory=40204 CPUtime=0.23 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 12395 0 -1 1077944320 10279 0 0 0 20 3 0 0 20 0 15 0 114924369 14311342080 10051 18446744073709551615 4194304 4196468 140722763221024 140722763203568 139756449885943 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
/proc/23425/statm: 3493980 10051 3579 1 0 3482759 0
[pid=23425/tid=23427] ppid=23422 vsize=13975920 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/23425/task/23427/stat : 23427 (java) R 23422 23425 12395 0 -1 4202560 8006 0 0 0 13 2 0 0 20 0 15 0 114924378 14311342080 10051 18446744073709551615 4194304 4196468 140722763221024 139756454113168 139756449907869 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23428] ppid=23422 vsize=13975920 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23428/stat : 23428 (java) S 23422 23425 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114924379 14311342080 10051 18446744073709551615 4194304 4196468 140722763221024 139756369300496 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23429] ppid=23422 vsize=13975920 memory=1398720917958146503 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23429/stat : 23429 (java) S 23422 23425 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114924379 14311342080 10051 18446744073709551615 4194304 4196468 140722763221024 139756368247952 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23430] ppid=23422 vsize=13975920 memory=139626686218705 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23430/stat : 23430 (java) S 23422 23425 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114924379 14311342080 10051 18446744073709551615 4194304 4196468 140722763221024 139756367194896 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23431] ppid=23422 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23431/stat : 23431 (java) S 23422 23425 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114924379 14311342080 10051 18446744073709551615 4194304 4196468 140722763221024 139756366142352 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23432] ppid=23422 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23432/stat : 23432 (java) S 23422 23425 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114924380 14311342080 10051 18446744073709551615 4194304 4196468 140722763221024 139755927365872 139756449897090 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23433] ppid=23422 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23433/stat : 23433 (java) S 23422 23425 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114924381 14311342080 10051 18446744073709551615 4194304 4196468 140722763221024 139755926312096 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23434] ppid=23422 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23434/stat : 23434 (java) S 23422 23425 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114924381 14311342080 10051 18446744073709551615 4194304 4196468 140722763221024 139755925258992 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23435] ppid=23422 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23435/stat : 23435 (java) S 23422 23425 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114924383 14311342080 10051 18446744073709551615 4194304 4196468 140722763221024 139755924207568 139756449904539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23436] ppid=23422 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23425/task/23436/stat : 23436 (java) S 23422 23425 12395 0 -1 1077944384 308 0 0 0 1 0 0 0 20 0 15 0 114924383 14311342080 10051 18446744073709551615 4194304 4196468 140722763221024 139755923155696 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23437] ppid=23422 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23425/task/23437/stat : 23437 (java) R 23422 23425 12395 0 -1 4202560 200 0 0 0 1 0 0 0 20 0 15 0 114924383 14311342080 10051 18446744073709551615 4194304 4196468 140722763221024 139755922103152 139756433094032 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23438] ppid=23422 vsize=13975920 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23425/task/23438/stat : 23438 (java) S 23422 23425 12395 0 -1 1077944384 385 0 0 0 4 0 0 0 20 0 15 0 114924383 14311342080 10051 18446744073709551615 4194304 4196468 140722763221024 139755921050096 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23439] ppid=23422 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23439/stat : 23439 (java) S 23422 23425 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114924384 14311342080 10051 18446744073709551615 4194304 4196468 140722763221024 139755919997792 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23440] ppid=23422 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23440/stat : 23440 (java) S 23422 23425 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114924390 14311342080 10051 18446744073709551615 4194304 4196468 140722763221024 139755918944816 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40204 KiB
[startup+0.70411 s]
/proc/loadavg: 1.68 1.48 1.38 4/214 23440
/proc/meminfo: memFree=29944504/32770624 swapFree=67108860/67108860
[pid=23425] ppid=23422 vsize=13977988 memory=67452 CPUtime=1 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 12395 0 -1 1077944320 13583 0 0 0 95 5 0 0 20 0 15 0 114924369 14313459712 16863 18446744073709551615 4194304 4196468 140722763221024 140722763203568 139756449885943 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
/proc/23425/statm: 3494497 16863 3733 1 0 3483271 0
[pid=23425/tid=23427] ppid=23422 vsize=13977988 memory=6943526294502006880 CPUtime=0.54 cores=0,2,4,6
/proc/23425/task/23427/stat : 23427 (java) R 23422 23425 12395 0 -1 4202560 9876 0 0 0 50 4 0 0 20 0 15 0 114924378 14313459712 16863 18446744073709551615 4194304 4196468 140722763221024 139756454121968 139756431793352 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23428] ppid=23422 vsize=13977988 memory=-7452431979323206951 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23428/stat : 23428 (java) S 23422 23425 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114924379 14313459712 16863 18446744073709551615 4194304 4196468 140722763221024 139756369300496 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23429] ppid=23422 vsize=13977988 memory=33 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23429/stat : 23429 (java) S 23422 23425 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114924379 14313459712 16863 18446744073709551615 4194304 4196468 140722763221024 139756368247952 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23430] ppid=23422 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23430/stat : 23430 (java) S 23422 23425 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114924379 14313459712 16863 18446744073709551615 4194304 4196468 140722763221024 139756367194896 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23431] ppid=23422 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23431/stat : 23431 (java) S 23422 23425 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114924379 14313459712 16863 18446744073709551615 4194304 4196468 140722763221024 139756366142352 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23432] ppid=23422 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23432/stat : 23432 (java) S 23422 23425 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114924380 14313459712 16863 18446744073709551615 4194304 4196468 140722763221024 139755927365872 139756449897090 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23433] ppid=23422 vsize=13977988 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23433/stat : 23433 (java) S 23422 23425 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114924381 14313459712 16863 18446744073709551615 4194304 4196468 140722763221024 139755926312096 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23434] ppid=23422 vsize=13977988 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23434/stat : 23434 (java) S 23422 23425 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114924381 14313459712 16863 18446744073709551615 4194304 4196468 140722763221024 139755925258992 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23435] ppid=23422 vsize=13977988 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23435/stat : 23435 (java) S 23422 23425 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114924383 14313459712 16863 18446744073709551615 4194304 4196468 140722763221024 139755924207568 139756449904539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23436] ppid=23422 vsize=13977988 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/23425/task/23436/stat : 23436 (java) R 23422 23425 12395 0 -1 4202560 846 0 0 0 13 0 0 0 20 0 15 0 114924383 14313459712 16863 18446744073709551615 4194304 4196468 140722763221024 139755923143120 139756431430047 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23437] ppid=23422 vsize=13977988 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/23425/task/23437/stat : 23437 (java) R 23422 23425 12395 0 -1 4202560 629 0 0 0 10 0 0 0 20 0 15 0 114924383 14313459712 16863 18446744073709551615 4194304 4196468 140722763221024 139755922084264 139756442175392 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23438] ppid=23422 vsize=13977988 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/23425/task/23438/stat : 23438 (java) R 23422 23425 12395 0 -1 4202560 856 0 0 0 21 0 0 0 20 0 15 0 114924383 14313459712 16863 18446744073709551615 4194304 4196468 140722763221024 139755921047032 139756428539780 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23439] ppid=23422 vsize=13977988 memory=19265 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23439/stat : 23439 (java) S 23422 23425 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114924384 14313459712 16863 18446744073709551615 4194304 4196468 140722763221024 139755919997792 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23440] ppid=23422 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23440/stat : 23440 (java) S 23422 23425 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114924390 14313459712 16863 18446744073709551615 4194304 4196468 140722763221024 139755918944816 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 67452 KiB
[startup+1.50115 s]
/proc/loadavg: 1.68 1.48 1.38 6/214 23440
/proc/meminfo: memFree=29914648/32770624 swapFree=67108860/67108860
[pid=23425] ppid=23422 vsize=13982084 memory=228556 CPUtime=3.04 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 12395 0 -1 1077944320 30102 0 0 0 291 13 0 0 20 0 15 0 114924369 14317654016 57139 18446744073709551615 4194304 4196468 140722763221024 140722763203568 139756449885943 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
/proc/23425/statm: 3495521 57139 3787 1 0 3484295 0
[pid=23425/tid=23427] ppid=23422 vsize=13982084 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/23425/task/23427/stat : 23427 (java) R 23422 23425 12395 0 -1 4202560 14568 0 0 0 123 7 0 0 20 0 15 0 114924378 14317654016 57139 18446744073709551615 4194304 4196468 140722763221024 139756454123968 139756433966430 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23428] ppid=23422 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23428/stat : 23428 (java) S 23422 23425 12395 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 114924379 14317654016 57139 18446744073709551615 4194304 4196468 140722763221024 139756369300496 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23429] ppid=23422 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23429/stat : 23429 (java) S 23422 23425 12395 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 114924379 14317654016 57139 18446744073709551615 4194304 4196468 140722763221024 139756368247952 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23430] ppid=23422 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23430/stat : 23430 (java) S 23422 23425 12395 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 15 0 114924379 14317654016 57139 18446744073709551615 4194304 4196468 140722763221024 139756367194896 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23431] ppid=23422 vsize=13982084 memory=23 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23431/stat : 23431 (java) S 23422 23425 12395 0 -1 1077944384 357 0 0 0 0 0 0 0 20 0 15 0 114924379 14317654016 57139 18446744073709551615 4194304 4196468 140722763221024 139756366142352 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23432] ppid=23422 vsize=13982084 memory=18 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23432/stat : 23432 (java) S 23422 23425 12395 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 15 0 114924380 14317654016 57139 18446744073709551615 4194304 4196468 140722763221024 139755927365872 139756449897090 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23433] ppid=23422 vsize=13982084 memory=33 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23433/stat : 23433 (java) S 23422 23425 12395 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 114924381 14317654016 57139 18446744073709551615 4194304 4196468 140722763221024 139755926312096 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23434] ppid=23422 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23434/stat : 23434 (java) S 23422 23425 12395 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 114924381 14317654016 57139 18446744073709551615 4194304 4196468 140722763221024 139755925258992 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23435] ppid=23422 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23435/stat : 23435 (java) S 23422 23425 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114924383 14317654016 57139 18446744073709551615 4194304 4196468 140722763221024 139755924207568 139756449904539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23436] ppid=23422 vsize=13982084 memory=8535570946649098564 CPUtime=0.52 cores=0,2,4,6
/proc/23425/task/23436/stat : 23436 (java) R 23422 23425 12395 0 -1 4202560 2972 0 0 0 52 0 0 0 20 0 15 0 114924383 14317654016 57139 18446744073709551615 4194304 4196468 140722763221024 139755923135248 139756435257232 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23437] ppid=23422 vsize=13982084 memory=6082486678388692586 CPUtime=0.47 cores=0,2,4,6
/proc/23425/task/23437/stat : 23437 (java) R 23422 23425 12395 0 -1 4202560 2914 0 0 0 47 0 0 0 20 0 15 0 114924383 14317654016 57139 18446744073709551615 4194304 4196468 140722763221024 139755922089176 139756434275797 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23438] ppid=23422 vsize=13982084 memory=5788902676906402368 CPUtime=0.64 cores=0,2,4,6
/proc/23425/task/23438/stat : 23438 (java) S 23422 23425 12395 0 -1 1077944384 7120 0 0 0 63 1 0 0 20 0 15 0 114924383 14317654016 57139 18446744073709551615 4194304 4196468 140722763221024 139755921050096 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23439] ppid=23422 vsize=13982084 memory=5938117507572852032 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23439/stat : 23439 (java) S 23422 23425 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114924384 14317654016 57139 18446744073709551615 4194304 4196468 140722763221024 139755919997792 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23440] ppid=23422 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23440/stat : 23440 (java) S 23422 23425 12395 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 114924390 14317654016 57139 18446744073709551615 4194304 4196468 140722763221024 139755918944816 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 13982084 KiB
################
# More data... #
################
/proc/23425/task/23427/stat : 23427 (java) R 23422 23425 12395 0 -1 4202560 89156 0 0 0 235453 68 0 0 20 0 15 0 114924378 14317654016 130592 18446744073709551615 4194304 4196468 140722763221024 139756454124416 139756047228385 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23428] ppid=23422 vsize=13982084 memory=531988 CPUtime=17.3 cores=0,2,4,6
/proc/23425/task/23428/stat : 23428 (java) S 23422 23425 12395 0 -1 1077944384 16556 0 0 0 1678 52 0 0 20 0 15 0 114924379 14317654016 130592 18446744073709551615 4194304 4196468 140722763221024 139756369300496 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23429] ppid=23422 vsize=13982084 memory=522368 CPUtime=17.24 cores=0,2,4,6
/proc/23425/task/23429/stat : 23429 (java) S 23422 23425 12395 0 -1 1077944384 14253 0 0 0 1670 54 0 0 20 0 15 0 114924379 14317654016 130592 18446744073709551615 4194304 4196468 140722763221024 139756368247952 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23430] ppid=23422 vsize=13982084 memory=1716 CPUtime=17.25 cores=0,2,4,6
/proc/23425/task/23430/stat : 23430 (java) S 23422 23425 12395 0 -1 1077944384 16297 0 0 0 1672 53 0 0 20 0 15 0 114924379 14317654016 130592 18446744073709551615 4194304 4196468 140722763221024 139756367194896 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23431] ppid=23422 vsize=13982084 memory=177 CPUtime=17.28 cores=0,2,4,6
/proc/23425/task/23431/stat : 23431 (java) S 23422 23425 12395 0 -1 1077944384 19144 0 0 0 1671 57 0 0 20 0 15 0 114924379 14317654016 130592 18446744073709551615 4194304 4196468 140722763221024 139756366142352 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23432] ppid=23422 vsize=13982084 memory=456204 CPUtime=6.36 cores=0,2,4,6
/proc/23425/task/23432/stat : 23432 (java) S 23422 23425 12395 0 -1 1077944384 57852 0 0 0 565 71 0 0 20 0 15 0 114924380 14317654016 130592 18446744073709551615 4194304 4196468 140722763221024 139755927365872 139756449897090 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23433] ppid=23422 vsize=13982084 memory=524420 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23433/stat : 23433 (java) S 23422 23425 12395 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 114924381 14317654016 130592 18446744073709551615 4194304 4196468 140722763221024 139755926312160 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23434] ppid=23422 vsize=13982084 memory=455176 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23434/stat : 23434 (java) S 23422 23425 12395 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 114924381 14317654016 130592 18446744073709551615 4194304 4196468 140722763221024 139755925259008 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23435] ppid=23422 vsize=13982084 memory=457228 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23435/stat : 23435 (java) S 23422 23425 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114924383 14317654016 130592 18446744073709551615 4194304 4196468 140722763221024 139755924207568 139756449904539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23436] ppid=23422 vsize=13982084 memory=56 CPUtime=2.69 cores=0,2,4,6
/proc/23425/task/23436/stat : 23436 (java) S 23422 23425 12395 0 -1 1077944384 26352 0 0 0 266 3 0 0 20 0 15 0 114924383 14317654016 130592 18446744073709551615 4194304 4196468 140722763221024 139755923155696 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 59 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23437] ppid=23422 vsize=13982084 memory=7090464985706555246 CPUtime=2.84 cores=0,2,4,6
/proc/23425/task/23437/stat : 23437 (java) S 23422 23425 12395 0 -1 1077944384 25303 0 0 0 281 3 0 0 20 0 15 0 114924383 14317654016 130592 18446744073709551615 4194304 4196468 140722763221024 139755922103152 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23438] ppid=23422 vsize=13982084 memory=284 CPUtime=1.1 cores=0,2,4,6
/proc/23425/task/23438/stat : 23438 (java) S 23422 23425 12395 0 -1 1077944384 29151 0 0 0 107 3 0 0 20 0 15 0 114924383 14317654016 130592 18446744073709551615 4194304 4196468 140722763221024 139755921050096 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23439] ppid=23422 vsize=13982084 memory=1609 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23439/stat : 23439 (java) S 23422 23425 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114924384 14317654016 130592 18446744073709551615 4194304 4196468 140722763221024 139755919997792 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23440] ppid=23422 vsize=13982084 memory=1436 CPUtime=1.6 cores=0,2,4,6
/proc/23425/task/23440/stat : 23440 (java) S 23422 23425 12395 0 -1 1077944384 1652 0 0 0 77 83 0 0 20 0 15 0 114924390 14317654016 130592 18446744073709551615 4194304 4196468 140722763221024 139755918944816 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 57 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
Current children cumulated CPU time: 2438.95 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 522368 KiB
[startup+2442.3 s]
/proc/loadavg: 1.27 1.33 1.41 3/214 23773
/proc/meminfo: memFree=29517188/32770624 swapFree=67108860/67108860
[pid=23425] ppid=23422 vsize=13982084 memory=458632 CPUtime=2500.21 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 12395 0 -1 1077944320 298169 0 0 0 249619 402 0 0 20 0 15 0 114924369 14317654016 114658 18446744073709551615 4194304 4196468 140722763221024 140722763203568 139756449885943 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
/proc/23425/statm: 3495521 114658 3842 1 0 3484295 0
[pid=23425/tid=23427] ppid=23422 vsize=13982084 memory=458632 CPUtime=2414.54 cores=0,2,4,6
/proc/23425/task/23427/stat : 23427 (java) R 23422 23425 12395 0 -1 4202560 89682 0 0 0 241385 69 0 0 20 0 15 0 114924378 14317654016 114658 18446744073709551615 4194304 4196468 140722763221024 139756454124528 139756047228430 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23428] ppid=23422 vsize=13982084 memory=459660 CPUtime=17.73 cores=0,2,4,6
/proc/23425/task/23428/stat : 23428 (java) S 23422 23425 12395 0 -1 1077944384 16715 0 0 0 1720 53 0 0 20 0 15 0 114924379 14317654016 114658 18446744073709551615 4194304 4196468 140722763221024 139756369300496 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23429] ppid=23422 vsize=13982084 memory=4132 CPUtime=17.67 cores=0,2,4,6
/proc/23425/task/23429/stat : 23429 (java) S 23422 23425 12395 0 -1 1077944384 14302 0 0 0 1712 55 0 0 20 0 15 0 114924379 14317654016 114658 18446744073709551615 4194304 4196468 140722763221024 139756368247952 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23430] ppid=23422 vsize=13982084 memory=460516 CPUtime=17.67 cores=0,2,4,6
/proc/23425/task/23430/stat : 23430 (java) S 23422 23425 12395 0 -1 1077944384 16359 0 0 0 1714 53 0 0 20 0 15 0 114924379 14317654016 114658 18446744073709551615 4194304 4196468 140722763221024 139756367194896 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23431] ppid=23422 vsize=13982084 memory=463596 CPUtime=17.7 cores=0,2,4,6
/proc/23425/task/23431/stat : 23431 (java) S 23422 23425 12395 0 -1 1077944384 19270 0 0 0 1713 57 0 0 20 0 15 0 114924379 14317654016 114658 18446744073709551615 4194304 4196468 140722763221024 139756366142352 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23432] ppid=23422 vsize=13982084 memory=494032 CPUtime=6.54 cores=0,2,4,6
/proc/23425/task/23432/stat : 23432 (java) S 23422 23425 12395 0 -1 1077944384 57900 0 0 0 581 73 0 0 20 0 15 0 114924380 14317654016 114658 18446744073709551615 4194304 4196468 140722763221024 139755927365872 139756449897090 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23433] ppid=23422 vsize=13982084 memory=470432 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23433/stat : 23433 (java) S 23422 23425 12395 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 114924381 14317654016 114658 18446744073709551615 4194304 4196468 140722763221024 139755926312160 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23434] ppid=23422 vsize=13982084 memory=475564 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23434/stat : 23434 (java) S 23422 23425 12395 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 114924381 14317654016 114658 18446744073709551615 4194304 4196468 140722763221024 139755925259008 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23435] ppid=23422 vsize=13982084 memory=465304 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23435/stat : 23435 (java) S 23422 23425 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114924383 14317654016 114658 18446744073709551615 4194304 4196468 140722763221024 139755924207568 139756449904539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23436] ppid=23422 vsize=13982084 memory=465648 CPUtime=2.69 cores=0,2,4,6
/proc/23425/task/23436/stat : 23436 (java) S 23422 23425 12395 0 -1 1077944384 26354 0 0 0 266 3 0 0 20 0 15 0 114924383 14317654016 114658 18446744073709551615 4194304 4196468 140722763221024 139755923155696 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 59 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23437] ppid=23422 vsize=13982084 memory=460516 CPUtime=2.84 cores=0,2,4,6
/proc/23425/task/23437/stat : 23437 (java) S 23422 23425 12395 0 -1 1077944384 25305 0 0 0 281 3 0 0 20 0 15 0 114924383 14317654016 114658 18446744073709551615 4194304 4196468 140722763221024 139755922103152 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23438] ppid=23422 vsize=13982084 memory=459660 CPUtime=1.1 cores=0,2,4,6
/proc/23425/task/23438/stat : 23438 (java) S 23422 23425 12395 0 -1 1077944384 29153 0 0 0 107 3 0 0 20 0 15 0 114924383 14317654016 114658 18446744073709551615 4194304 4196468 140722763221024 139755921050096 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23439] ppid=23422 vsize=13982084 memory=458632 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23439/stat : 23439 (java) S 23422 23425 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114924384 14317654016 114658 18446744073709551615 4194304 4196468 140722763221024 139755919997792 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23440] ppid=23422 vsize=13982084 memory=467356 CPUtime=1.63 cores=0,2,4,6
/proc/23425/task/23440/stat : 23440 (java) S 23422 23425 12395 0 -1 1077944384 1667 0 0 0 78 85 0 0 20 0 15 0 114924390 14317654016 114658 18446744073709551615 4194304 4196468 140722763221024 139755918944816 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 57 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
Current children cumulated CPU time: 2500.21 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 458632 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2461.7 s]
/proc/loadavg: 1.28 1.33 1.41 3/214 23774
/proc/meminfo: memFree=29385432/32770624 swapFree=67108860/67108860
[pid=23425] ppid=23422 vsize=13982084 memory=489444 CPUtime=2520.01 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 12395 0 -1 1077944320 298607 0 0 0 251595 406 0 0 20 0 15 0 114924369 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 140722763203568 139756449885943 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
/proc/23425/statm: 3495521 122361 3842 1 0 3484295 0
[pid=23425/tid=23427] ppid=23422 vsize=13982084 memory=490472 CPUtime=2433.73 cores=0,2,4,6
/proc/23425/task/23427/stat : 23427 (java) R 23422 23425 12395 0 -1 4202560 90026 0 0 0 243304 69 0 0 20 0 15 0 114924378 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139756454124528 139756047228300 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23428] ppid=23422 vsize=13982084 memory=490476 CPUtime=17.86 cores=0,2,4,6
/proc/23425/task/23428/stat : 23428 (java) S 23422 23425 12395 0 -1 1077944384 16740 0 0 0 1733 53 0 0 20 0 15 0 114924379 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139756369300496 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23429] ppid=23422 vsize=13982084 memory=279253137948464 CPUtime=17.8 cores=0,2,4,6
/proc/23425/task/23429/stat : 23429 (java) S 23422 23425 12395 0 -1 1077944384 14315 0 0 0 1725 55 0 0 20 0 15 0 114924379 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139756368247952 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23430] ppid=23422 vsize=13982084 memory=489396 CPUtime=17.81 cores=0,2,4,6
/proc/23425/task/23430/stat : 23430 (java) S 23422 23425 12395 0 -1 1077944384 16370 0 0 0 1727 54 0 0 20 0 15 0 114924379 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139756367194896 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23431] ppid=23422 vsize=13982084 memory=467356 CPUtime=17.84 cores=0,2,4,6
/proc/23425/task/23431/stat : 23431 (java) S 23422 23425 12395 0 -1 1077944384 19282 0 0 0 1726 58 0 0 20 0 15 0 114924379 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139756366142352 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23432] ppid=23422 vsize=13982084 memory=489448 CPUtime=6.58 cores=0,2,4,6
/proc/23425/task/23432/stat : 23432 (java) S 23422 23425 12395 0 -1 1077944384 57932 0 0 0 585 73 0 0 20 0 15 0 114924380 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755927365872 139756449897090 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23433] ppid=23422 vsize=13982084 memory=490472 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23433/stat : 23433 (java) S 23422 23425 12395 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 114924381 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755926312160 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23434] ppid=23422 vsize=13982084 memory=490472 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23434/stat : 23434 (java) S 23422 23425 12395 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 114924381 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755925259008 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23435] ppid=23422 vsize=13982084 memory=32864 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23435/stat : 23435 (java) S 23422 23425 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114924383 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755924207568 139756449904539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23436] ppid=23422 vsize=13982084 memory=0 CPUtime=2.69 cores=0,2,4,6
/proc/23425/task/23436/stat : 23436 (java) S 23422 23425 12395 0 -1 1077944384 26354 0 0 0 266 3 0 0 20 0 15 0 114924383 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755923155696 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 59 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23437] ppid=23422 vsize=13982084 memory=479668 CPUtime=2.84 cores=0,2,4,6
/proc/23425/task/23437/stat : 23437 (java) S 23422 23425 12395 0 -1 1077944384 25306 0 0 0 281 3 0 0 20 0 15 0 114924383 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755922103152 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23438] ppid=23422 vsize=13982084 memory=2513 CPUtime=1.1 cores=0,2,4,6
/proc/23425/task/23438/stat : 23438 (java) S 23422 23425 12395 0 -1 1077944384 29153 0 0 0 107 3 0 0 20 0 15 0 114924383 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755921050096 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23439] ppid=23422 vsize=13982084 memory=956 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23439/stat : 23439 (java) S 23422 23425 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114924384 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755919997792 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23440] ppid=23422 vsize=13982084 memory=491496 CPUtime=1.65 cores=0,2,4,6
/proc/23425/task/23440/stat : 23440 (java) S 23422 23425 12395 0 -1 1077944384 1667 0 0 0 79 86 0 0 20 0 15 0 114924390 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755918944816 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 57 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 489444 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2461.72 s]
# the end of solver process 23425 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.97 s, system=4.07093 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2461.7 s]
/proc/loadavg: 1.28 1.33 1.41 3/214 23774
/proc/meminfo: memFree=29385432/32770624 swapFree=67108860/67108860
[pid=23425] ppid=23422 vsize=13982084 memory=489444 CPUtime=2520.01 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 12395 0 -1 1077944320 298607 0 0 0 251595 406 0 0 20 0 15 0 114924369 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 140722763203568 139756449885943 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
/proc/23425/statm: 3495521 122361 3842 1 0 3484295 0
[pid=23425/tid=23427] ppid=23422 vsize=13982084 memory=490472 CPUtime=2433.73 cores=0,2,4,6
/proc/23425/task/23427/stat : 23427 (java) R 23422 23425 12395 0 -1 4202560 90026 0 0 0 243304 69 0 0 20 0 15 0 114924378 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139756454124528 139756047228300 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23428] ppid=23422 vsize=13982084 memory=490476 CPUtime=17.86 cores=0,2,4,6
/proc/23425/task/23428/stat : 23428 (java) S 23422 23425 12395 0 -1 1077944384 16740 0 0 0 1733 53 0 0 20 0 15 0 114924379 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139756369300496 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23429] ppid=23422 vsize=13982084 memory=279253137948464 CPUtime=17.8 cores=0,2,4,6
/proc/23425/task/23429/stat : 23429 (java) S 23422 23425 12395 0 -1 1077944384 14315 0 0 0 1725 55 0 0 20 0 15 0 114924379 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139756368247952 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23430] ppid=23422 vsize=13982084 memory=489396 CPUtime=17.81 cores=0,2,4,6
/proc/23425/task/23430/stat : 23430 (java) S 23422 23425 12395 0 -1 1077944384 16370 0 0 0 1727 54 0 0 20 0 15 0 114924379 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139756367194896 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23431] ppid=23422 vsize=13982084 memory=467356 CPUtime=17.84 cores=0,2,4,6
/proc/23425/task/23431/stat : 23431 (java) S 23422 23425 12395 0 -1 1077944384 19282 0 0 0 1726 58 0 0 20 0 15 0 114924379 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139756366142352 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23432] ppid=23422 vsize=13982084 memory=489448 CPUtime=6.58 cores=0,2,4,6
/proc/23425/task/23432/stat : 23432 (java) S 23422 23425 12395 0 -1 1077944384 57932 0 0 0 585 73 0 0 20 0 15 0 114924380 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755927365872 139756449897090 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23433] ppid=23422 vsize=13982084 memory=490472 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23433/stat : 23433 (java) S 23422 23425 12395 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 114924381 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755926312160 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23434] ppid=23422 vsize=13982084 memory=490472 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23434/stat : 23434 (java) S 23422 23425 12395 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 114924381 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755925259008 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23435] ppid=23422 vsize=13982084 memory=32864 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23435/stat : 23435 (java) S 23422 23425 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114924383 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755924207568 139756449904539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23436] ppid=23422 vsize=13982084 memory=0 CPUtime=2.69 cores=0,2,4,6
/proc/23425/task/23436/stat : 23436 (java) S 23422 23425 12395 0 -1 1077944384 26354 0 0 0 266 3 0 0 20 0 15 0 114924383 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755923155696 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 59 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23437] ppid=23422 vsize=13982084 memory=479668 CPUtime=2.84 cores=0,2,4,6
/proc/23425/task/23437/stat : 23437 (java) S 23422 23425 12395 0 -1 1077944384 25306 0 0 0 281 3 0 0 20 0 15 0 114924383 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755922103152 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23438] ppid=23422 vsize=13982084 memory=2513 CPUtime=1.1 cores=0,2,4,6
/proc/23425/task/23438/stat : 23438 (java) S 23422 23425 12395 0 -1 1077944384 29153 0 0 0 107 3 0 0 20 0 15 0 114924383 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755921050096 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23439] ppid=23422 vsize=13982084 memory=956 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23439/stat : 23439 (java) S 23422 23425 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114924384 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755919997792 139756449896149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
[pid=23425/tid=23440] ppid=23422 vsize=13982084 memory=491496 CPUtime=1.65 cores=0,2,4,6
/proc/23425/task/23440/stat : 23440 (java) S 23422 23425 12395 0 -1 1077944384 1667 0 0 0 79 86 0 0 20 0 15 0 114924390 14317654016 122361 18446744073709551615 4194304 4196468 140722763221024 139755918944816 139756449897090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 57 0 0 6293624 6294260 21966848 140722763227506 140722763227689 140722763227689 140722763231183 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 489444 KiB
Child status: 143
Real time (s): 2461.72
CPU time (s): 2520.04
CPU user time (s): 2515.97
CPU system time (s): 4.07093
CPU usage (%): 102.369
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 2178436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.97
system time used= 4.07093
maximum resident set size= 2184916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299022
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 217630
involuntary context switches= 8907
# summary of solver processes directly reported to runsolver:
# pid: 23425
# total CPU time (s): 2520.04
# total CPU user time (s): 2515.97
# total CPU system time (s): 4.07093
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9047 second user time and 23.7928 second system time
The end