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 (13964 MiB free)
memory of node 1: 16384 MiB (12411 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258245-1502638565/watcher-4258245-1502638565 -o /tmp/evaluation-result-4258245-1502638565/solver-4258245-1502638565 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502637430-15760 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258245-1502638565.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=16270, runsolver pid=16267
Current StackSize limit: 8192 KiB
[startup+0.101091 s]*
/proc/loadavg: 5.73 4.50 3.42 2/216 16285
/proc/meminfo: memFree=26993592/32770624 swapFree=67108860/67108860
[pid=16270] ppid=16267 vsize=10555400 memory=29648 CPUtime=0.11 cores=0,2,4,6
/proc/16270/stat : 16270 (java) S 16267 16270 6338 0 -1 1077944320 6533 0 0 0 10 1 0 0 20 0 15 0 96937569 10808729600 7412 33554432000 4194304 4196468 140729713509120 140729713491664 139706148384503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
/proc/16270/statm: 2638850 7412 2787 1 0 2627263 0
[pid=16270/tid=16272] ppid=16267 vsize=10555400 memory=-7254947784588945530 CPUtime=0.08 cores=0,2,4,6
/proc/16270/task/16272/stat : 16272 (java) R 16267 16270 6338 0 -1 4202560 4360 0 0 0 7 1 0 0 20 0 15 0 96937570 10808729600 7412 33554432000 4194304 4196468 140729713509120 139706152572848 139706148396438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16273] ppid=16267 vsize=10555400 memory=5793855575022418361 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16273/stat : 16273 (java) S 16267 16270 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96937571 10808729600 7412 33554432000 4194304 4196468 140729713509120 139706101004688 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16274] ppid=16267 vsize=10555400 memory=140324012525184 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16274/stat : 16274 (java) S 16267 16270 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96937571 10808729600 7412 33554432000 4194304 4196468 140729713509120 139706099951888 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16275] ppid=16267 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16275/stat : 16275 (java) S 16267 16270 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96937571 10808729600 7412 33554432000 4194304 4196468 140729713509120 139706098899600 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16276] ppid=16267 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16276/stat : 16276 (java) S 16267 16270 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96937571 10808729600 7412 33554432000 4194304 4196468 140729713509120 139706097846800 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16277] ppid=16267 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16277/stat : 16277 (java) S 16267 16270 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96937573 10808729600 7412 33554432000 4194304 4196468 140729713509120 139705707854448 139706148395650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16278] ppid=16267 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16278/stat : 16278 (java) S 16267 16270 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96937573 10808729600 7412 33554432000 4194304 4196468 140729713509120 139705706800416 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16279] ppid=16267 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16279/stat : 16279 (java) S 16267 16270 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96937573 10808729600 7412 33554432000 4194304 4196468 140729713509120 139705705748080 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16280] ppid=16267 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16280/stat : 16280 (java) S 16267 16270 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96937575 10808729600 7412 33554432000 4194304 4196468 140729713509120 139705704696400 139706148403099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16281] ppid=16267 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16281/stat : 16281 (java) S 16267 16270 6338 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 96937575 10808729600 7412 33554432000 4194304 4196468 140729713509120 139705703643248 139706148395650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16282] ppid=16267 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16282/stat : 16282 (java) S 16267 16270 6338 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 96937575 10808729600 7412 33554432000 4194304 4196468 140729713509120 139705702590448 139706148395650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16283] ppid=16267 vsize=10555400 memory=140324012525184 CPUtime=0.01 cores=0,2,4,6
/proc/16270/task/16283/stat : 16283 (java) S 16267 16270 6338 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 15 0 96937575 10808729600 7412 33554432000 4194304 4196468 140729713509120 139705701538160 139706148395650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16284] ppid=16267 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16284/stat : 16284 (java) S 16267 16270 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96937576 10808729600 7412 33554432000 4194304 4196468 140729713509120 139705700485600 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16285] ppid=16267 vsize=10555400 memory=140324012525184 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16285/stat : 16285 (java) S 16267 16270 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96937576 10808729600 7412 33554432000 4194304 4196468 140729713509120 139705699433392 139706148395650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29648 KiB
[startup+0.210667 s]*
/proc/loadavg: 5.73 4.50 3.42 4/216 16285
/proc/meminfo: memFree=26983404/32770624 swapFree=67108860/67108860
[pid=16270] ppid=16267 vsize=10555400 memory=39024 CPUtime=0.28 cores=0,2,4,6
/proc/16270/stat : 16270 (java) S 16267 16270 6338 0 -1 1077944320 8043 0 0 0 26 2 0 0 20 0 15 0 96937569 10808729600 9756 33554432000 4194304 4196468 140729713509120 140729713491664 139706148384503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
/proc/16270/statm: 2638850 9756 2934 1 0 2627263 0
[pid=16270/tid=16272] ppid=16267 vsize=10555400 memory=6735269665583770266 CPUtime=0.18 cores=0,2,4,6
/proc/16270/task/16272/stat : 16272 (java) R 16267 16270 6338 0 -1 4202560 5199 0 0 0 17 1 0 0 20 0 15 0 96937570 10808729600 9804 33554432000 4194304 4196468 140729713509120 139706152607696 139706148406429 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16273] ppid=16267 vsize=10555400 memory=4211974050217315722 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16273/stat : 16273 (java) S 16267 16270 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96937571 10808729600 9804 33554432000 4194304 4196468 140729713509120 139706101004688 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16274] ppid=16267 vsize=10555400 memory=140324012525184 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16274/stat : 16274 (java) S 16267 16270 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96937571 10808729600 9804 33554432000 4194304 4196468 140729713509120 139706099951888 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16275] ppid=16267 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16275/stat : 16275 (java) S 16267 16270 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96937571 10808729600 9804 33554432000 4194304 4196468 140729713509120 139706098899600 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16276] ppid=16267 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16276/stat : 16276 (java) S 16267 16270 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96937571 10808729600 9804 33554432000 4194304 4196468 140729713509120 139706097846800 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16277] ppid=16267 vsize=10555400 memory=140324012525184 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16277/stat : 16277 (java) S 16267 16270 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96937573 10808729600 9804 33554432000 4194304 4196468 140729713509120 139705707854448 139706148395650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16278] ppid=16267 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16278/stat : 16278 (java) S 16267 16270 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96937573 10808729600 9804 33554432000 4194304 4196468 140729713509120 139705706800416 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16279] ppid=16267 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16279/stat : 16279 (java) S 16267 16270 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96937573 10808729600 9804 33554432000 4194304 4196468 140729713509120 139705705748080 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16280] ppid=16267 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16280/stat : 16280 (java) S 16267 16270 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96937575 10808729600 9804 33554432000 4194304 4196468 140729713509120 139705704696400 139706148403099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16281] ppid=16267 vsize=10555400 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16270/task/16281/stat : 16281 (java) S 16267 16270 6338 0 -1 1077944384 496 0 0 0 2 0 0 0 20 0 15 0 96937575 10808729600 9804 33554432000 4194304 4196468 140729713509120 139705703643248 139706148395650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16282] ppid=16267 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16282/stat : 16282 (java) S 16267 16270 6338 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 15 0 96937575 10808729600 9804 33554432000 4194304 4196468 140729713509120 139705702590448 139706148395650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16283] ppid=16267 vsize=10555400 memory=140324012525184 CPUtime=0.05 cores=0,2,4,6
/proc/16270/task/16283/stat : 16283 (java) R 16267 16270 6338 0 -1 4202560 806 0 0 0 5 0 0 0 20 0 15 0 96937575 10808729600 9804 33554432000 4194304 4196468 140729713509120 139705701538160 139706140621630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16284] ppid=16267 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16284/stat : 16284 (java) S 16267 16270 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96937576 10808729600 9804 33554432000 4194304 4196468 140729713509120 139705700485600 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16285] ppid=16267 vsize=10555400 memory=140324012525184 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16285/stat : 16285 (java) S 16267 16270 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96937576 10808729600 9804 33554432000 4194304 4196468 140729713509120 139705699433392 139706148395650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39024 KiB
[startup+0.310502 s]*
/proc/loadavg: 5.73 4.50 3.42 6/216 16285
/proc/meminfo: memFree=26976332/32770624 swapFree=67108860/67108860
[pid=16270] ppid=16267 vsize=10555476 memory=46660 CPUtime=0.48 cores=0,2,4,6
/proc/16270/stat : 16270 (java) S 16267 16270 6338 0 -1 1077944320 8822 0 0 0 45 3 0 0 20 0 15 0 96937569 10808807424 11665 33554432000 4194304 4196468 140729713509120 140729713491664 139706148384503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
/proc/16270/statm: 2638869 11665 3035 1 0 2627263 0
[pid=16270/tid=16272] ppid=16267 vsize=10555476 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/16270/task/16272/stat : 16272 (java) R 16267 16270 6338 0 -1 4202560 5691 0 0 0 27 2 0 0 20 0 15 0 96937570 10808807424 11665 33554432000 4194304 4196468 140729713509120 139706152620112 139705773554128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16273] ppid=16267 vsize=10555476 memory=4211974050217315722 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16273/stat : 16273 (java) S 16267 16270 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96937571 10808807424 11665 33554432000 4194304 4196468 140729713509120 139706101004688 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16274] ppid=16267 vsize=10555476 memory=140324012527541 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16274/stat : 16274 (java) S 16267 16270 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96937571 10808807424 11665 33554432000 4194304 4196468 140729713509120 139706099951888 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16275] ppid=16267 vsize=10555476 memory=140323896541906 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16275/stat : 16275 (java) S 16267 16270 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96937571 10808807424 11665 33554432000 4194304 4196468 140729713509120 139706098899600 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16276] ppid=16267 vsize=10555476 memory=140323896544719 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16276/stat : 16276 (java) S 16267 16270 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96937571 10808807424 11665 33554432000 4194304 4196468 140729713509120 139706097846800 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16277] ppid=16267 vsize=10555476 memory=140324012531549 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16277/stat : 16277 (java) S 16267 16270 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96937573 10808807424 11665 33554432000 4194304 4196468 140729713509120 139705707854448 139706148395650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16278] ppid=16267 vsize=10555476 memory=140323896553903 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16278/stat : 16278 (java) S 16267 16270 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96937573 10808807424 11665 33554432000 4194304 4196468 140729713509120 139705706800416 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16279] ppid=16267 vsize=10555476 memory=280647793098640 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16279/stat : 16279 (java) S 16267 16270 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96937573 10808807424 11665 33554432000 4194304 4196468 140729713509120 139705705748080 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16280] ppid=16267 vsize=10555476 memory=280647793096336 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16280/stat : 16280 (java) S 16267 16270 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96937575 10808807424 11665 33554432000 4194304 4196468 140729713509120 139705704696400 139706148403099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16281] ppid=16267 vsize=10555476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16270/task/16281/stat : 16281 (java) R 16267 16270 6338 0 -1 4202560 599 0 0 0 3 0 0 0 20 0 15 0 96937575 10808807424 11665 33554432000 4194304 4196468 140729713509120 139705703643248 139706131871805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16282] ppid=16267 vsize=10555476 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16270/task/16282/stat : 16282 (java) R 16267 16270 6338 0 -1 1077944384 271 0 0 0 2 0 0 0 20 0 15 0 96937575 10808807424 11665 33554432000 4194304 4196468 140729713509120 139705702590448 139706148395650 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16283] ppid=16267 vsize=10555476 memory=140324012525184 CPUtime=0.11 cores=0,2,4,6
/proc/16270/task/16283/stat : 16283 (java) R 16267 16270 6338 0 -1 4202560 893 0 0 0 11 0 0 0 20 0 15 0 96937575 10808807424 11665 33554432000 4194304 4196468 140729713509120 139705701538160 139706127743530 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16284] ppid=16267 vsize=10555476 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16284/stat : 16284 (java) S 16267 16270 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96937576 10808807424 11665 33554432000 4194304 4196468 140729713509120 139705700485600 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16285] ppid=16267 vsize=10555476 memory=140324012525184 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16285/stat : 16285 (java) S 16267 16270 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96937576 10808807424 11665 33554432000 4194304 4196468 140729713509120 139705699433392 139706148395650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46660 KiB
[startup+0.700961 s]
/proc/loadavg: 5.73 4.50 3.42 10/216 16285
/proc/meminfo: memFree=26640364/32770624 swapFree=67108860/67108860
[pid=16270] ppid=16267 vsize=10555476 memory=383008 CPUtime=1.49 cores=0,2,4,6
/proc/16270/stat : 16270 (java) S 16267 16270 6338 0 -1 1077944320 10434 0 0 0 128 21 0 0 20 0 15 0 96937569 10808807424 95752 33554432000 4194304 4196468 140729713509120 140729713491664 139706148384503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
/proc/16270/statm: 2638869 95752 3092 1 0 2627263 0
[pid=16270/tid=16272] ppid=16267 vsize=10555476 memory=1952 CPUtime=0.55 cores=0,2,4,6
/proc/16270/task/16272/stat : 16272 (java) R 16267 16270 6338 0 -1 4202560 5879 0 0 0 50 5 0 0 20 0 15 0 96937570 10808807424 95752 33554432000 4194304 4196468 140729713509120 139706152621480 139706134452628 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16273] ppid=16267 vsize=10555476 memory=5796 CPUtime=0.1 cores=0,2,4,6
/proc/16270/task/16273/stat : 16273 (java) S 16267 16270 6338 0 -1 1077944384 135 0 0 0 7 3 0 0 20 0 15 0 96937571 10808807424 95752 33554432000 4194304 4196468 140729713509120 139706101004688 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16274] ppid=16267 vsize=10555476 memory=4616 CPUtime=0.09 cores=0,2,4,6
/proc/16270/task/16274/stat : 16274 (java) S 16267 16270 6338 0 -1 1077944384 142 0 0 0 6 3 0 0 20 0 15 0 96937571 10808807424 95752 33554432000 4194304 4196468 140729713509120 139706099951888 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16275] ppid=16267 vsize=10555476 memory=7523356985603351872 CPUtime=0.09 cores=0,2,4,6
/proc/16270/task/16275/stat : 16275 (java) S 16267 16270 6338 0 -1 1077944384 130 0 0 0 6 3 0 0 20 0 15 0 96937571 10808807424 95752 33554432000 4194304 4196468 140729713509120 139706098899600 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16276] ppid=16267 vsize=10555476 memory=7881696724453321575 CPUtime=0.1 cores=0,2,4,6
/proc/16270/task/16276/stat : 16276 (java) S 16267 16270 6338 0 -1 1077944384 135 0 0 0 7 3 0 0 20 0 15 0 96937571 10808807424 95752 33554432000 4194304 4196468 140729713509120 139706097846800 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16277] ppid=16267 vsize=10555476 memory=7368009186385350736 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16277/stat : 16277 (java) S 16267 16270 6338 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 96937573 10808807424 95752 33554432000 4194304 4196468 140729713509120 139705707854448 139706148395650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16278] ppid=16267 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16278/stat : 16278 (java) S 16267 16270 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96937573 10808807424 95752 33554432000 4194304 4196468 140729713509120 139705706800416 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16279] ppid=16267 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16279/stat : 16279 (java) S 16267 16270 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96937573 10808807424 95752 33554432000 4194304 4196468 140729713509120 139705705748080 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16280] ppid=16267 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16280/stat : 16280 (java) S 16267 16270 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96937575 10808807424 95752 33554432000 4194304 4196468 140729713509120 139705704696400 139706148403099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16281] ppid=16267 vsize=10555476 memory=72 CPUtime=0.14 cores=0,2,4,6
/proc/16270/task/16281/stat : 16281 (java) S 16267 16270 6338 0 -1 1077944384 820 0 0 0 14 0 0 0 20 0 15 0 96937575 10808807424 95752 33554432000 4194304 4196468 140729713509120 139705703643248 139706148395650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16282] ppid=16267 vsize=10555476 memory=3 CPUtime=0.14 cores=0,2,4,6
/proc/16270/task/16282/stat : 16282 (java) S 16267 16270 6338 0 -1 1077944384 529 0 0 0 14 0 0 0 20 0 15 0 96937575 10808807424 95752 33554432000 4194304 4196468 140729713509120 139705702590448 139706148395650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16283] ppid=16267 vsize=10555476 memory=6070 CPUtime=0.2 cores=0,2,4,6
/proc/16270/task/16283/stat : 16283 (java) S 16267 16270 6338 0 -1 1077944384 1095 0 0 0 20 0 0 0 20 0 15 0 96937575 10808807424 95752 33554432000 4194304 4196468 140729713509120 139705701538160 139706148395650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16284] ppid=16267 vsize=10555476 memory=280647793282544 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16284/stat : 16284 (java) S 16267 16270 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96937576 10808807424 95752 33554432000 4194304 4196468 140729713509120 139705700485600 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16285] ppid=16267 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16285/stat : 16285 (java) S 16267 16270 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96937576 10808807424 95752 33554432000 4194304 4196468 140729713509120 139705699433392 139706148395650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 383008 KiB
[startup+1.50073 s]
/proc/loadavg: 5.73 4.50 3.42 11/216 16285
/proc/meminfo: memFree=25894288/32770624 swapFree=67108860/67108860
[pid=16270] ppid=16267 vsize=10555476 memory=566176 CPUtime=3.1 cores=0,2,4,6
/proc/16270/stat : 16270 (java) S 16267 16270 6338 0 -1 1077944320 13852 0 0 0 279 31 0 0 20 0 15 0 96937569 10808807424 141544 33554432000 4194304 4196468 140729713509120 140729713491664 139706148384503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
/proc/16270/statm: 2638869 141544 3109 1 0 2627263 0
[pid=16270/tid=16272] ppid=16267 vsize=10555476 memory=0 CPUtime=1.28 cores=0,2,4,6
/proc/16270/task/16272/stat : 16272 (java) R 16267 16270 6338 0 -1 4202560 6236 0 0 0 121 7 0 0 20 0 15 0 96937570 10808807424 141544 33554432000 4194304 4196468 140729713509120 139706152617896 139705776660215 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16273] ppid=16267 vsize=10555476 memory=-6292470442678707045 CPUtime=0.16 cores=0,2,4,6
/proc/16270/task/16273/stat : 16273 (java) S 16267 16270 6338 0 -1 1077944384 285 0 0 0 11 5 0 0 20 0 15 0 96937571 10808807424 141544 33554432000 4194304 4196468 140729713509120 139706101004688 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16274] ppid=16267 vsize=10555476 memory=-5935602824819121961 CPUtime=0.16 cores=0,2,4,6
/proc/16270/task/16274/stat : 16274 (java) S 16267 16270 6338 0 -1 1077944384 173 0 0 0 11 5 0 0 20 0 15 0 96937571 10808807424 141544 33554432000 4194304 4196468 140729713509120 139706099951888 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16275] ppid=16267 vsize=10555476 memory=-1161699032755887712 CPUtime=0.17 cores=0,2,4,6
/proc/16270/task/16275/stat : 16275 (java) S 16267 16270 6338 0 -1 1077944384 280 0 0 0 12 5 0 0 20 0 15 0 96937571 10808807424 141544 33554432000 4194304 4196468 140729713509120 139706098899600 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16276] ppid=16267 vsize=10555476 memory=-6305713888769566080 CPUtime=0.17 cores=0,2,4,6
/proc/16270/task/16276/stat : 16276 (java) S 16267 16270 6338 0 -1 1077944384 178 0 0 0 12 5 0 0 20 0 15 0 96937571 10808807424 141544 33554432000 4194304 4196468 140729713509120 139706097846800 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16277] ppid=16267 vsize=10555476 memory=-6305718282386367616 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16277/stat : 16277 (java) S 16267 16270 6338 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 96937573 10808807424 141544 33554432000 4194304 4196468 140729713509120 139705707854448 139706148395650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
################
# More data... #
################
[startup+84.6442 s]
# the end of solver process 16270 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.562 s, system=6.27442 s
Solver just ended.
Dumping a history of the last processes samples
[startup+83.2007 s]
/proc/loadavg: 5.59 4.72 3.59 8/216 16361
/proc/meminfo: memFree=17832508/32770624 swapFree=67108860/67108860
[pid=16270] ppid=16267 vsize=10555476 memory=8101836 CPUtime=254.34 cores=0,2,4,6
/proc/16270/stat : 16270 (java) S 16267 16270 6338 0 -1 1077944320 220205 0 0 0 24812 622 0 0 20 0 15 0 96937569 10808807424 2025459 33554432000 4194304 4196468 140729713509120 140729713491664 139706148384503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
/proc/16270/statm: 2638869 2025459 3128 1 0 2627263 0
[pid=16270/tid=16272] ppid=16267 vsize=10555476 memory=8101836 CPUtime=12.99 cores=0,2,4,6
/proc/16270/task/16272/stat : 16272 (java) S 16267 16270 6338 0 -1 1077944384 16029 0 0 0 1286 13 0 0 20 0 15 0 96937570 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706152621264 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16273] ppid=16267 vsize=10555476 memory=8101832 CPUtime=57.04 cores=0,2,4,6
/proc/16270/task/16273/stat : 16273 (java) R 16267 16270 6338 0 -1 4202560 56941 0 0 0 5547 157 0 0 20 0 15 0 96937571 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706101004888 139706133084320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16274] ppid=16267 vsize=10555476 memory=2196 CPUtime=56.84 cores=0,2,4,6
/proc/16270/task/16274/stat : 16274 (java) R 16267 16270 6338 0 -1 4202560 39162 0 0 0 5529 155 0 0 20 0 15 0 96937571 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706099952008 139706131767536 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16275] ppid=16267 vsize=10555476 memory=6508 CPUtime=56.67 cores=0,2,4,6
/proc/16270/task/16275/stat : 16275 (java) R 16267 16270 6338 0 -1 4202560 34076 0 0 0 5526 141 0 0 20 0 15 0 96937571 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706098899408 139706141012711 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16276] ppid=16267 vsize=10555476 memory=6791534058613427641 CPUtime=56.91 cores=0,2,4,6
/proc/16270/task/16276/stat : 16276 (java) R 16267 16270 6338 0 -1 4202560 46555 0 0 0 5542 149 0 0 20 0 15 0 96937571 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706097846920 139706141012711 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16277] ppid=16267 vsize=10555476 memory=8091528 CPUtime=12.45 cores=0,2,4,6
/proc/16270/task/16277/stat : 16277 (java) S 16267 16270 6338 0 -1 1077944384 15559 0 0 0 1244 1 0 0 20 0 15 0 96937573 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705707852992 139706148394709 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16278] ppid=16267 vsize=10555476 memory=8584 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16278/stat : 16278 (java) S 16267 16270 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96937573 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705706800480 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16279] ppid=16267 vsize=10555476 memory=792 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16279/stat : 16279 (java) S 16267 16270 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96937573 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705705748096 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16280] ppid=16267 vsize=10555476 memory=8101832 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16280/stat : 16280 (java) S 16267 16270 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96937575 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705704696048 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16281] ppid=16267 vsize=10555476 memory=1952 CPUtime=0.48 cores=0,2,4,6
/proc/16270/task/16281/stat : 16281 (java) S 16267 16270 6338 0 -1 1077944384 3236 0 0 0 48 0 0 0 20 0 15 0 96937575 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705703643296 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16282] ppid=16267 vsize=10555476 memory=5796 CPUtime=0.56 cores=0,2,4,6
/proc/16270/task/16282/stat : 16282 (java) S 16267 16270 6338 0 -1 1077944384 4324 0 0 0 56 0 0 0 20 0 15 0 96937575 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705702590496 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16283] ppid=16267 vsize=10555476 memory=4616 CPUtime=0.26 cores=0,2,4,6
/proc/16270/task/16283/stat : 16283 (java) S 16267 16270 6338 0 -1 1077944384 2574 0 0 0 26 0 0 0 20 0 15 0 96937575 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705701537920 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16284] ppid=16267 vsize=10555476 memory=8091572 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16284/stat : 16284 (java) S 16267 16270 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96937576 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705700485600 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16285] ppid=16267 vsize=10555476 memory=8091332 CPUtime=0.03 cores=0,2,4,6
/proc/16270/task/16285/stat : 16285 (java) S 16267 16270 6338 0 -1 1077944384 386 0 0 0 2 1 0 0 20 0 15 0 96937576 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705699433392 139706148395650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
Current children cumulated CPU time: 254.34 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8101836 KiB
[startup+84.0008 s]*
/proc/loadavg: 5.78 4.77 3.61 8/216 16361
/proc/meminfo: memFree=17630016/32770624 swapFree=67108860/67108860
[pid=16270] ppid=16267 vsize=10555476 memory=8101836 CPUtime=257.48 cores=0,2,4,6
/proc/16270/stat : 16270 (java) S 16267 16270 6338 0 -1 1077944320 220205 0 0 0 25125 623 0 0 20 0 15 0 96937569 10808807424 2025459 33554432000 4194304 4196468 140729713509120 140729713491664 139706148384503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
/proc/16270/statm: 2638869 2025459 3128 1 0 2627263 0
[pid=16270/tid=16272] ppid=16267 vsize=10555476 memory=6791534058613427641 CPUtime=12.99 cores=0,2,4,6
/proc/16270/task/16272/stat : 16272 (java) S 16267 16270 6338 0 -1 1077944384 16029 0 0 0 1286 13 0 0 20 0 15 0 96937570 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706152621264 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16273] ppid=16267 vsize=10555476 memory=-7003737579269690708 CPUtime=57.85 cores=0,2,4,6
/proc/16270/task/16273/stat : 16273 (java) R 16267 16270 6338 0 -1 4202560 56941 0 0 0 5628 157 0 0 20 0 15 0 96937571 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706101004888 139706129994112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16274] ppid=16267 vsize=10555476 memory=6508 CPUtime=57.62 cores=0,2,4,6
/proc/16270/task/16274/stat : 16274 (java) R 16267 16270 6338 0 -1 4202560 39162 0 0 0 5607 155 0 0 20 0 15 0 96937571 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706099952008 139706141012711 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16275] ppid=16267 vsize=10555476 memory=840 CPUtime=57.46 cores=0,2,4,6
/proc/16270/task/16275/stat : 16275 (java) R 16267 16270 6338 0 -1 4202560 34076 0 0 0 5604 142 0 0 20 0 15 0 96937571 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706098899408 139706141012711 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16276] ppid=16267 vsize=10555476 memory=1692 CPUtime=57.68 cores=0,2,4,6
/proc/16270/task/16276/stat : 16276 (java) R 16267 16270 6338 0 -1 4202560 46555 0 0 0 5619 149 0 0 20 0 15 0 96937571 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706097846920 139706141012711 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16277] ppid=16267 vsize=10555476 memory=916 CPUtime=12.45 cores=0,2,4,6
/proc/16270/task/16277/stat : 16277 (java) S 16267 16270 6338 0 -1 1077944384 15559 0 0 0 1244 1 0 0 20 0 15 0 96937573 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705707852992 139706148394709 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16278] ppid=16267 vsize=10555476 memory=3832 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16278/stat : 16278 (java) S 16267 16270 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96937573 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705706800480 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16279] ppid=16267 vsize=10555476 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16279/stat : 16279 (java) S 16267 16270 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96937573 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705705748096 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16280] ppid=16267 vsize=10555476 memory=2536 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16280/stat : 16280 (java) S 16267 16270 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96937575 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705704696048 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16281] ppid=16267 vsize=10555476 memory=2536 CPUtime=0.48 cores=0,2,4,6
/proc/16270/task/16281/stat : 16281 (java) S 16267 16270 6338 0 -1 1077944384 3236 0 0 0 48 0 0 0 20 0 15 0 96937575 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705703643296 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16282] ppid=16267 vsize=10555476 memory=1156 CPUtime=0.56 cores=0,2,4,6
/proc/16270/task/16282/stat : 16282 (java) S 16267 16270 6338 0 -1 1077944384 4324 0 0 0 56 0 0 0 20 0 15 0 96937575 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705702590496 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16283] ppid=16267 vsize=10555476 memory=2832 CPUtime=0.26 cores=0,2,4,6
/proc/16270/task/16283/stat : 16283 (java) S 16267 16270 6338 0 -1 1077944384 2574 0 0 0 26 0 0 0 20 0 15 0 96937575 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705701537920 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16284] ppid=16267 vsize=10555476 memory=8101832 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16284/stat : 16284 (java) S 16267 16270 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96937576 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705700485600 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16285] ppid=16267 vsize=10555476 memory=1156 CPUtime=0.03 cores=0,2,4,6
/proc/16270/task/16285/stat : 16285 (java) S 16267 16270 6338 0 -1 1077944384 386 0 0 0 2 1 0 0 20 0 15 0 96937576 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705699433392 139706148395650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
Current children cumulated CPU time: 257.48 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8101836 KiB
[startup+84.4007 s]
/proc/loadavg: 5.78 4.77 3.61 8/216 16361
/proc/meminfo: memFree=17630016/32770624 swapFree=67108860/67108860
[pid=16270] ppid=16267 vsize=10555476 memory=8101836 CPUtime=258.58 cores=0,2,4,6
/proc/16270/stat : 16270 (java) S 16267 16270 6338 0 -1 1077944320 220205 0 0 0 25235 623 0 0 20 0 15 0 96937569 10808807424 2025459 33554432000 4194304 4196468 140729713509120 140729713491664 139706148384503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
/proc/16270/statm: 2638869 2025459 3128 1 0 2627263 0
[pid=16270/tid=16272] ppid=16267 vsize=10555476 memory=6791534058613427641 CPUtime=12.99 cores=0,2,4,6
/proc/16270/task/16272/stat : 16272 (java) S 16267 16270 6338 0 -1 1077944384 16029 0 0 0 1286 13 0 0 20 0 15 0 96937570 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706152621264 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16273] ppid=16267 vsize=10555476 memory=288230621803970871 CPUtime=58.1 cores=0,2,4,6
/proc/16270/task/16273/stat : 16273 (java) S 16267 16270 6338 0 -1 1077944384 56941 0 0 0 5653 157 0 0 20 0 15 0 96937571 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706101004688 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16274] ppid=16267 vsize=10555476 memory=16099256251451951 CPUtime=57.86 cores=0,2,4,6
/proc/16270/task/16274/stat : 16274 (java) S 16267 16270 6338 0 -1 1077944384 39162 0 0 0 5631 155 0 0 20 0 15 0 96937571 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706099951888 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16275] ppid=16267 vsize=10555476 memory=288230621803970871 CPUtime=57.69 cores=0,2,4,6
/proc/16270/task/16275/stat : 16275 (java) S 16267 16270 6338 0 -1 1077944384 34076 0 0 0 5627 142 0 0 20 0 15 0 96937571 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706098899600 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16276] ppid=16267 vsize=10555476 memory=16099256251451951 CPUtime=57.91 cores=0,2,4,6
/proc/16270/task/16276/stat : 16276 (java) S 16267 16270 6338 0 -1 1077944384 46555 0 0 0 5642 149 0 0 20 0 15 0 96937571 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706097846800 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16277] ppid=16267 vsize=10555476 memory=636 CPUtime=12.59 cores=0,2,4,6
/proc/16270/task/16277/stat : 16277 (java) R 16267 16270 6338 0 -1 4202560 15559 0 0 0 1258 1 0 0 20 0 15 0 96937573 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705707852992 139706132842136 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16278] ppid=16267 vsize=10555476 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16278/stat : 16278 (java) S 16267 16270 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96937573 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705706800480 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16279] ppid=16267 vsize=10555476 memory=960 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16279/stat : 16279 (java) S 16267 16270 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96937573 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705705748096 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16280] ppid=16267 vsize=10555476 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16280/stat : 16280 (java) S 16267 16270 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96937575 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705704696048 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16281] ppid=16267 vsize=10555476 memory=2340 CPUtime=0.48 cores=0,2,4,6
/proc/16270/task/16281/stat : 16281 (java) S 16267 16270 6338 0 -1 1077944384 3236 0 0 0 48 0 0 0 20 0 15 0 96937575 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705703643296 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16282] ppid=16267 vsize=10555476 memory=4080 CPUtime=0.56 cores=0,2,4,6
/proc/16270/task/16282/stat : 16282 (java) S 16267 16270 6338 0 -1 1077944384 4324 0 0 0 56 0 0 0 20 0 15 0 96937575 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705702590496 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16283] ppid=16267 vsize=10555476 memory=932 CPUtime=0.26 cores=0,2,4,6
/proc/16270/task/16283/stat : 16283 (java) S 16267 16270 6338 0 -1 1077944384 2574 0 0 0 26 0 0 0 20 0 15 0 96937575 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705701537920 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16284] ppid=16267 vsize=10555476 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16284/stat : 16284 (java) S 16267 16270 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96937576 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705700485600 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16285] ppid=16267 vsize=10555476 memory=2196 CPUtime=0.03 cores=0,2,4,6
/proc/16270/task/16285/stat : 16285 (java) S 16267 16270 6338 0 -1 1077944384 386 0 0 0 2 1 0 0 20 0 15 0 96937576 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705699433392 139706148395650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
Current children cumulated CPU time: 258.58 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8101836 KiB
[startup+84.6007 s]
/proc/loadavg: 5.78 4.77 3.61 8/216 16361
/proc/meminfo: memFree=17630016/32770624 swapFree=67108860/67108860
[pid=16270] ppid=16267 vsize=10555476 memory=8101836 CPUtime=258.78 cores=0,2,4,6
/proc/16270/stat : 16270 (java) S 16267 16270 6338 0 -1 1077944320 220205 0 0 0 25255 623 0 0 20 0 15 0 96937569 10808807424 2025459 33554432000 4194304 4196468 140729713509120 140729713491664 139706148384503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
/proc/16270/statm: 2638869 2025459 3128 1 0 2627263 0
[pid=16270/tid=16272] ppid=16267 vsize=10555476 memory=6791534058613427641 CPUtime=12.99 cores=0,2,4,6
/proc/16270/task/16272/stat : 16272 (java) S 16267 16270 6338 0 -1 1077944384 16029 0 0 0 1286 13 0 0 20 0 15 0 96937570 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706152621264 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16273] ppid=16267 vsize=10555476 memory=-7003737579269690708 CPUtime=58.1 cores=0,2,4,6
/proc/16270/task/16273/stat : 16273 (java) S 16267 16270 6338 0 -1 1077944384 56941 0 0 0 5653 157 0 0 20 0 15 0 96937571 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706101004688 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16274] ppid=16267 vsize=10555476 memory=280647794477792 CPUtime=57.86 cores=0,2,4,6
/proc/16270/task/16274/stat : 16274 (java) S 16267 16270 6338 0 -1 1077944384 39162 0 0 0 5631 155 0 0 20 0 15 0 96937571 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706099951888 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16275] ppid=16267 vsize=10555476 memory=5794557478478631015 CPUtime=57.69 cores=0,2,4,6
/proc/16270/task/16275/stat : 16275 (java) S 16267 16270 6338 0 -1 1077944384 34076 0 0 0 5627 142 0 0 20 0 15 0 96937571 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706098899600 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16276] ppid=16267 vsize=10555476 memory=7091034506943161687 CPUtime=57.91 cores=0,2,4,6
/proc/16270/task/16276/stat : 16276 (java) S 16267 16270 6338 0 -1 1077944384 46555 0 0 0 5642 149 0 0 20 0 15 0 96937571 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139706097846800 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16277] ppid=16267 vsize=10555476 memory=7956006139696009319 CPUtime=12.79 cores=0,2,4,6
/proc/16270/task/16277/stat : 16277 (java) R 16267 16270 6338 0 -1 4202560 15559 0 0 0 1278 1 0 0 20 0 15 0 96937573 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705707852880 139706133380900 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16278] ppid=16267 vsize=10555476 memory=7367995975065948240 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16278/stat : 16278 (java) S 16267 16270 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96937573 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705706800480 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16279] ppid=16267 vsize=10555476 memory=7953754296496385898 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16279/stat : 16279 (java) S 16267 16270 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96937573 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705705748096 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16280] ppid=16267 vsize=10555476 memory=7158054069785307287 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16280/stat : 16280 (java) S 16267 16270 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96937575 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705704696048 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16281] ppid=16267 vsize=10555476 memory=7158054069785307287 CPUtime=0.48 cores=0,2,4,6
/proc/16270/task/16281/stat : 16281 (java) S 16267 16270 6338 0 -1 1077944384 3236 0 0 0 48 0 0 0 20 0 15 0 96937575 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705703643296 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16282] ppid=16267 vsize=10555476 memory=6872598998417432672 CPUtime=0.56 cores=0,2,4,6
/proc/16270/task/16282/stat : 16282 (java) S 16267 16270 6338 0 -1 1077944384 4324 0 0 0 56 0 0 0 20 0 15 0 96937575 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705702590496 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16283] ppid=16267 vsize=10555476 memory=6944656575208382560 CPUtime=0.26 cores=0,2,4,6
/proc/16270/task/16283/stat : 16283 (java) S 16267 16270 6338 0 -1 1077944384 2574 0 0 0 26 0 0 0 20 0 15 0 96937575 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705701537920 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16284] ppid=16267 vsize=10555476 memory=7158054069785307287 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16284/stat : 16284 (java) S 16267 16270 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96937576 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705700485600 139706148394709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
[pid=16270/tid=16285] ppid=16267 vsize=10555476 memory=6944652177228980320 CPUtime=0.03 cores=0,2,4,6
/proc/16270/task/16285/stat : 16285 (java) S 16267 16270 6338 0 -1 1077944384 386 0 0 0 2 1 0 0 20 0 15 0 96937576 10808807424 2025459 33554432000 4194304 4196468 140729713509120 139705699433392 139706148395650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140729713517707 140729713517860 140729713517860 140729713520591 0
Current children cumulated CPU time: 258.78 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8101836 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 84.6443
CPU time (s): 258.837
CPU user time (s): 252.562
CPU system time (s): 6.27442
CPU usage (%): 305.793
Max. virtual memory (cumulated for all children) (KiB): 10555476
Max. memory (cumulated for all children) (KiB): 8101836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.562
system time used= 6.27442
maximum resident set size= 8102132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220209
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6222
involuntary context switches= 3878
# summary of solver processes directly reported to runsolver:
# pid: 16270
# total CPU time (s): 258.837
# total CPU user time (s): 252.562
# total CPU system time (s): 6.27442
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.490752 second user time and 0.856887 second system time
The end