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 (9040 MiB free)
memory of node 1: 16384 MiB (15688 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263387-1502621544/watcher-4263387-1502621544 -o /tmp/evaluation-result-4263387-1502621544/solver-4263387-1502621544 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502619513-3999 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263387-1502621544.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4241, runsolver pid=4238
[startup+0.104355 s]*
/proc/loadavg: 2.05 2.02 1.84 4/216 4256
/proc/meminfo: memFree=25304256/32770624 swapFree=67108860/67108860
[pid=4241] ppid=4238 vsize=10555400 memory=29912 CPUtime=0.12 cores=1,3,5,7
/proc/4241/stat : 4241 (java) S 4238 4241 1335 0 -1 1077944320 6549 0 0 0 11 1 0 0 20 0 15 0 95242199 10808729600 7478 33554432000 4194304 4196468 140726510966352 140726510948896 140706875522807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
/proc/4241/statm: 2638850 7478 2824 1 0 2627263 0
[pid=4241/tid=4243] ppid=4238 vsize=10555400 memory=-8774005365546193501 CPUtime=0.09 cores=1,3,5,7
/proc/4241/task/4243/stat : 4243 (java) R 4238 4241 1335 0 -1 4202560 4387 0 0 0 8 1 0 0 20 0 15 0 95242200 10808729600 7478 33554432000 4194304 4196468 140726510966352 140706879736800 140706875544733 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4244] ppid=4238 vsize=10555400 memory=5793855607168919993 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4244/stat : 4244 (java) S 4238 4241 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95242201 10808729600 7478 33554432000 4194304 4196468 140726510966352 140706828143632 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4245] ppid=4238 vsize=10555400 memory=140356159026816 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4245/stat : 4245 (java) S 4238 4241 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95242201 10808729600 7478 33554432000 4194304 4196468 140726510966352 140706827091088 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4246] ppid=4238 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4246/stat : 4246 (java) S 4238 4241 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95242201 10808729600 7478 33554432000 4194304 4196468 140726510966352 140706826038032 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4247] ppid=4238 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4247/stat : 4247 (java) S 4238 4241 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95242201 10808729600 7478 33554432000 4194304 4196468 140726510966352 140706824985488 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4248] ppid=4238 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4248/stat : 4248 (java) S 4238 4241 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95242202 10808729600 7478 33554432000 4194304 4196468 140726510966352 140706435234032 140706875533954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4249] ppid=4238 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4249/stat : 4249 (java) S 4238 4241 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95242203 10808729600 7478 33554432000 4194304 4196468 140726510966352 140706434180256 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4250] ppid=4238 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4250/stat : 4250 (java) S 4238 4241 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95242203 10808729600 7478 33554432000 4194304 4196468 140726510966352 140706433127152 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4251] ppid=4238 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4251/stat : 4251 (java) S 4238 4241 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95242205 10808729600 7478 33554432000 4194304 4196468 140726510966352 140706432075728 140706875541403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4252] ppid=4238 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4252/stat : 4252 (java) S 4238 4241 1335 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 95242205 10808729600 7478 33554432000 4194304 4196468 140726510966352 140706431023856 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4253] ppid=4238 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4253/stat : 4253 (java) S 4238 4241 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95242205 10808729600 7478 33554432000 4194304 4196468 140726510966352 140706429971312 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4254] ppid=4238 vsize=10555400 memory=140356159026816 CPUtime=0.02 cores=1,3,5,7
/proc/4241/task/4254/stat : 4254 (java) R 4238 4241 1335 0 -1 4202560 377 0 0 0 2 0 0 0 20 0 15 0 95242205 10808729600 7478 33554432000 4194304 4196468 140726510966352 140706428918256 140706875534742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4255] ppid=4238 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4255/stat : 4255 (java) S 4238 4241 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95242205 10808729600 7478 33554432000 4194304 4196468 140726510966352 140706427865952 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4256] ppid=4238 vsize=10555400 memory=140356159026816 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4256/stat : 4256 (java) S 4238 4241 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95242205 10808729600 7478 33554432000 4194304 4196468 140726510966352 140706426812976 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29912 KiB
[startup+0.210674 s]*
/proc/loadavg: 2.05 2.02 1.84 3/216 4256
/proc/meminfo: memFree=25296828/32770624 swapFree=67108860/67108860
[pid=4241] ppid=4238 vsize=10555400 memory=37708 CPUtime=0.28 cores=1,3,5,7
/proc/4241/stat : 4241 (java) S 4238 4241 1335 0 -1 1077944320 7730 0 0 0 26 2 0 0 20 0 15 0 95242199 10808729600 9427 33554432000 4194304 4196468 140726510966352 140726510948896 140706875522807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
/proc/4241/statm: 2638850 9427 2918 1 0 2627263 0
[pid=4241/tid=4243] ppid=4238 vsize=10555400 memory=-3103912127665269909 CPUtime=0.2 cores=1,3,5,7
/proc/4241/task/4243/stat : 4243 (java) R 4238 4241 1335 0 -1 4202560 5336 0 0 0 18 2 0 0 20 0 15 0 95242200 10808729600 9427 33554432000 4194304 4196468 140726510966352 140706879757536 140706859566437 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4244] ppid=4238 vsize=10555400 memory=4211974082363817354 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4244/stat : 4244 (java) S 4238 4241 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95242201 10808729600 9427 33554432000 4194304 4196468 140726510966352 140706828143632 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4245] ppid=4238 vsize=10555400 memory=140356159026816 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4245/stat : 4245 (java) S 4238 4241 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95242201 10808729600 9427 33554432000 4194304 4196468 140726510966352 140706827091088 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4246] ppid=4238 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4246/stat : 4246 (java) S 4238 4241 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95242201 10808729600 9427 33554432000 4194304 4196468 140726510966352 140706826038032 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4247] ppid=4238 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4247/stat : 4247 (java) S 4238 4241 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95242201 10808729600 9427 33554432000 4194304 4196468 140726510966352 140706824985488 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4248] ppid=4238 vsize=10555400 memory=140356159026816 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4248/stat : 4248 (java) S 4238 4241 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95242202 10808729600 9427 33554432000 4194304 4196468 140726510966352 140706435234032 140706875533954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4249] ppid=4238 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4249/stat : 4249 (java) S 4238 4241 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95242203 10808729600 9427 33554432000 4194304 4196468 140726510966352 140706434180256 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4250] ppid=4238 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4250/stat : 4250 (java) S 4238 4241 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95242203 10808729600 9427 33554432000 4194304 4196468 140726510966352 140706433127152 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4251] ppid=4238 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4251/stat : 4251 (java) S 4238 4241 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95242205 10808729600 9427 33554432000 4194304 4196468 140726510966352 140706432075728 140706875541403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4252] ppid=4238 vsize=10555400 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4241/task/4252/stat : 4252 (java) S 4238 4241 1335 0 -1 1077944384 544 0 0 0 2 0 0 0 20 0 15 0 95242205 10808729600 9427 33554432000 4194304 4196468 140726510966352 140706431023856 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4253] ppid=4238 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4253/stat : 4253 (java) S 4238 4241 1335 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95242205 10808729600 9427 33554432000 4194304 4196468 140726510966352 140706429971312 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4254] ppid=4238 vsize=10555400 memory=140356159026816 CPUtime=0.04 cores=1,3,5,7
/proc/4241/task/4254/stat : 4254 (java) R 4238 4241 1335 0 -1 4202560 433 0 0 0 4 0 0 0 20 0 15 0 95242205 10808729600 9427 33554432000 4194304 4196468 140726510966352 140706428918256 140706859603294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4255] ppid=4238 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4255/stat : 4255 (java) S 4238 4241 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95242205 10808729600 9427 33554432000 4194304 4196468 140726510966352 140706427865952 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4256] ppid=4238 vsize=10555400 memory=140356159026816 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4256/stat : 4256 (java) S 4238 4241 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95242205 10808729600 9427 33554432000 4194304 4196468 140726510966352 140706426812976 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 37708 KiB
[startup+0.310217 s]*
/proc/loadavg: 2.05 2.02 1.84 4/216 4256
/proc/meminfo: memFree=25288392/32770624 swapFree=67108860/67108860
[pid=4241] ppid=4238 vsize=10555476 memory=46556 CPUtime=0.5 cores=1,3,5,7
/proc/4241/stat : 4241 (java) S 4238 4241 1335 0 -1 1077944320 8857 0 0 0 48 2 0 0 20 0 15 0 95242199 10808807424 11639 33554432000 4194304 4196468 140726510966352 140726510948896 140706875522807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
/proc/4241/statm: 2638869 11639 3037 1 0 2627263 0
[pid=4241/tid=4243] ppid=4238 vsize=10555476 memory=7377246124687064083 CPUtime=0.29 cores=1,3,5,7
/proc/4241/task/4243/stat : 4243 (java) R 4238 4241 1335 0 -1 4202560 5719 0 0 0 27 2 0 0 20 0 15 0 95242200 10808807424 11639 33554432000 4194304 4196468 140726510966352 140706879750208 140706875534742 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4244] ppid=4238 vsize=10555476 memory=4211974082363817354 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4244/stat : 4244 (java) S 4238 4241 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95242201 10808807424 11639 33554432000 4194304 4196468 140726510966352 140706828143632 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4245] ppid=4238 vsize=10555476 memory=140356159028988 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4245/stat : 4245 (java) S 4238 4241 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95242201 10808807424 11639 33554432000 4194304 4196468 140726510966352 140706827091088 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4246] ppid=4238 vsize=10555476 memory=140356041683747 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4246/stat : 4246 (java) S 4238 4241 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95242201 10808807424 11639 33554432000 4194304 4196468 140726510966352 140706826038032 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4247] ppid=4238 vsize=10555476 memory=140356041690575 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4247/stat : 4247 (java) S 4238 4241 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95242201 10808807424 11639 33554432000 4194304 4196468 140726510966352 140706824985488 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4248] ppid=4238 vsize=10555476 memory=140356159029168 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4248/stat : 4248 (java) S 4238 4241 1335 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95242202 10808807424 11639 33554432000 4194304 4196468 140726510966352 140706435234032 140706875533954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4249] ppid=4238 vsize=10555476 memory=140356041699759 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4249/stat : 4249 (java) S 4238 4241 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95242203 10808807424 11639 33554432000 4194304 4196468 140726510966352 140706434180256 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4250] ppid=4238 vsize=10555476 memory=280712083390352 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4250/stat : 4250 (java) S 4238 4241 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95242203 10808807424 11639 33554432000 4194304 4196468 140726510966352 140706433127152 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4251] ppid=4238 vsize=10555476 memory=280712083388048 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4251/stat : 4251 (java) S 4238 4241 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95242205 10808807424 11639 33554432000 4194304 4196468 140726510966352 140706432075728 140706875541403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4252] ppid=4238 vsize=10555476 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4241/task/4252/stat : 4252 (java) S 4238 4241 1335 0 -1 1077944384 804 0 0 0 5 0 0 0 20 0 15 0 95242205 10808807424 11639 33554432000 4194304 4196468 140726510966352 140706431023856 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4253] ppid=4238 vsize=10555476 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4241/task/4253/stat : 4253 (java) S 4238 4241 1335 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 15 0 95242205 10808807424 11639 33554432000 4194304 4196468 140726510966352 140706429971312 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4254] ppid=4238 vsize=10555476 memory=140356159026816 CPUtime=0.12 cores=1,3,5,7
/proc/4241/task/4254/stat : 4254 (java) R 4238 4241 1335 0 -1 4202560 750 0 0 0 12 0 0 0 20 0 15 0 95242205 10808807424 11639 33554432000 4194304 4196468 140726510966352 140706428918256 140706875544154 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4255] ppid=4238 vsize=10555476 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4255/stat : 4255 (java) S 4238 4241 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95242205 10808807424 11639 33554432000 4194304 4196468 140726510966352 140706427865952 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4256] ppid=4238 vsize=10555476 memory=140356159026816 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4256/stat : 4256 (java) S 4238 4241 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95242205 10808807424 11639 33554432000 4194304 4196468 140726510966352 140706426812976 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46556 KiB
[startup+0.70082 s]
/proc/loadavg: 2.05 2.02 1.84 7/216 4256
/proc/meminfo: memFree=25132872/32770624 swapFree=67108860/67108860
[pid=4241] ppid=4238 vsize=10555476 memory=218232 CPUtime=1.68 cores=1,3,5,7
/proc/4241/stat : 4241 (java) S 4238 4241 1335 0 -1 1077944320 12715 0 0 0 157 11 0 0 20 0 15 0 95242199 10808807424 54558 33554432000 4194304 4196468 140726510966352 140726510948896 140706875522807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
/proc/4241/statm: 2638869 54558 3114 1 0 2627263 0
[pid=4241/tid=4243] ppid=4238 vsize=10555476 memory=8532 CPUtime=0.63 cores=1,3,5,7
/proc/4241/task/4243/stat : 4243 (java) R 4238 4241 1335 0 -1 4202560 5848 0 0 0 59 4 0 0 20 0 15 0 95242200 10808807424 54558 33554432000 4194304 4196468 140726510966352 140706879752440 140706503382139 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4244] ppid=4238 vsize=10555476 memory=4616 CPUtime=0.03 cores=1,3,5,7
/proc/4241/task/4244/stat : 4244 (java) S 4238 4241 1335 0 -1 1077944384 116 0 0 0 2 1 0 0 20 0 15 0 95242201 10808807424 54558 33554432000 4194304 4196468 140726510966352 140706828143632 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4245] ppid=4238 vsize=10555476 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4245/stat : 4245 (java) S 4238 4241 1335 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 95242201 10808807424 54558 33554432000 4194304 4196468 140726510966352 140706827091088 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4246] ppid=4238 vsize=10555476 memory=2244 CPUtime=0.03 cores=1,3,5,7
/proc/4241/task/4246/stat : 4246 (java) S 4238 4241 1335 0 -1 1077944384 112 0 0 0 2 1 0 0 20 0 15 0 95242201 10808807424 54558 33554432000 4194304 4196468 140726510966352 140706826038032 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4247] ppid=4238 vsize=10555476 memory=1004 CPUtime=0.03 cores=1,3,5,7
/proc/4241/task/4247/stat : 4247 (java) S 4238 4241 1335 0 -1 1077944384 123 0 0 0 2 1 0 0 20 0 15 0 95242201 10808807424 54558 33554432000 4194304 4196468 140726510966352 140706824985488 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4248] ppid=4238 vsize=10555476 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4248/stat : 4248 (java) S 4238 4241 1335 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95242202 10808807424 54558 33554432000 4194304 4196468 140726510966352 140706435234032 140706875533954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4249] ppid=4238 vsize=10555476 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4249/stat : 4249 (java) S 4238 4241 1335 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 95242203 10808807424 54558 33554432000 4194304 4196468 140726510966352 140706434180320 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4250] ppid=4238 vsize=10555476 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4250/stat : 4250 (java) S 4238 4241 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95242203 10808807424 54558 33554432000 4194304 4196468 140726510966352 140706433127168 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4251] ppid=4238 vsize=10555476 memory=20036 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4251/stat : 4251 (java) S 4238 4241 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95242205 10808807424 54558 33554432000 4194304 4196468 140726510966352 140706432075728 140706875541403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4252] ppid=4238 vsize=10555476 memory=1436 CPUtime=0.34 cores=1,3,5,7
/proc/4241/task/4252/stat : 4252 (java) R 4238 4241 1335 0 -1 4202560 2617 0 0 0 34 0 0 0 20 0 15 0 95242205 10808807424 54558 33554432000 4194304 4196468 140726510966352 140706431009736 140706857042836 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4253] ppid=4238 vsize=10555476 memory=1200 CPUtime=0.32 cores=1,3,5,7
/proc/4241/task/4253/stat : 4253 (java) R 4238 4241 1335 0 -1 4202560 1288 0 0 0 32 0 0 0 20 0 15 0 95242205 10808807424 54558 33554432000 4194304 4196468 140726510966352 140706429957880 140706860435105 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4254] ppid=4238 vsize=10555476 memory=15872 CPUtime=0.21 cores=1,3,5,7
/proc/4241/task/4254/stat : 4254 (java) S 4238 4241 1335 0 -1 1077944384 1148 0 0 0 21 0 0 0 20 0 15 0 95242205 10808807424 54558 33554432000 4194304 4196468 140726510966352 140706428918256 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4255] ppid=4238 vsize=10555476 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4255/stat : 4255 (java) S 4238 4241 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95242205 10808807424 54558 33554432000 4194304 4196468 140726510966352 140706427865952 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4256] ppid=4238 vsize=10555476 memory=16456 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4256/stat : 4256 (java) S 4238 4241 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95242205 10808807424 54558 33554432000 4194304 4196468 140726510966352 140706426812976 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 218232 KiB
[startup+1.50083 s]
/proc/loadavg: 2.05 2.02 1.84 5/216 4256
/proc/meminfo: memFree=25083304/32770624 swapFree=67108860/67108860
[pid=4241] ppid=4238 vsize=10555476 memory=451568 CPUtime=4.22 cores=1,3,5,7
/proc/4241/stat : 4241 (java) S 4238 4241 1335 0 -1 1077944320 17273 0 0 0 397 25 0 0 20 0 15 0 95242199 10808807424 112892 33554432000 4194304 4196468 140726510966352 140726510948896 140706875522807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
/proc/4241/statm: 2638869 112892 3118 1 0 2627263 0
[pid=4241/tid=4243] ppid=4238 vsize=10555476 memory=0 CPUtime=1.31 cores=1,3,5,7
/proc/4241/task/4243/stat : 4243 (java) R 4238 4241 1335 0 -1 4202560 5906 0 0 0 125 6 0 0 20 0 15 0 95242200 10808807424 112892 33554432000 4194304 4196468 140726510966352 140706879758976 140706503959424 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4244] ppid=4238 vsize=10555476 memory=664970774370811553 CPUtime=0.15 cores=1,3,5,7
/proc/4241/task/4244/stat : 4244 (java) S 4238 4241 1335 0 -1 1077944384 163 0 0 0 11 4 0 0 20 0 15 0 95242201 10808807424 112892 33554432000 4194304 4196468 140726510966352 140706828143632 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4245] ppid=4238 vsize=10555476 memory=667957 CPUtime=0.13 cores=1,3,5,7
/proc/4241/task/4245/stat : 4245 (java) S 4238 4241 1335 0 -1 1077944384 72 0 0 0 10 3 0 0 20 0 15 0 95242201 10808807424 112892 33554432000 4194304 4196468 140726510966352 140706827091088 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4246] ppid=4238 vsize=10555476 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4241/task/4246/stat : 4246 (java) S 4238 4241 1335 0 -1 1077944384 170 0 0 0 11 4 0 0 20 0 15 0 95242201 10808807424 112892 33554432000 4194304 4196468 140726510966352 140706826038032 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4247] ppid=4238 vsize=10555476 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4241/task/4247/stat : 4247 (java) S 4238 4241 1335 0 -1 1077944384 172 0 0 0 11 4 0 0 20 0 15 0 95242201 10808807424 112892 33554432000 4194304 4196468 140726510966352 140706824985488 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4248] ppid=4238 vsize=10555476 memory=-6948614817169703622 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4248/stat : 4248 (java) S 4238 4241 1335 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 95242202 10808807424 112892 33554432000 4194304 4196468 140726510966352 140706435234032 140706875533954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
################
# More data... #
################
[startup+670.947 s]
# the end of solver process 4241 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.55 s, system=9.41235 s
Solver just ended.
Dumping a history of the last processes samples
[startup+669.601 s]
/proc/loadavg: 4.84 4.56 3.34 6/216 4274
/proc/meminfo: memFree=17085584/32770624 swapFree=67108860/67108860
[pid=4241] ppid=4238 vsize=10555476 memory=8232364 CPUtime=2522.85 cores=1,3,5,7
/proc/4241/stat : 4241 (java) S 4238 4241 1335 0 -1 1077944320 247929 0 0 0 251348 937 0 0 20 0 15 0 95242199 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140726510948896 140706875522807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
/proc/4241/statm: 2638869 2058091 3153 1 0 2627263 0
[pid=4241/tid=4243] ppid=4238 vsize=10555476 memory=8232364 CPUtime=21.88 cores=1,3,5,7
/proc/4241/task/4243/stat : 4243 (java) S 4238 4241 1335 0 -1 1077944384 14281 0 0 0 2178 10 0 0 20 0 15 0 95242200 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706879666752 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4244] ppid=4238 vsize=10555476 memory=8112282956445269571 CPUtime=619.59 cores=1,3,5,7
/proc/4241/task/4244/stat : 4244 (java) R 4238 4241 1335 0 -1 4202560 29589 0 0 0 61745 214 0 0 20 0 15 0 95242201 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706828143832 140706860519405 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4245] ppid=4238 vsize=10555476 memory=2332 CPUtime=621.61 cores=1,3,5,7
/proc/4241/task/4245/stat : 4245 (java) R 4238 4241 1335 0 -1 4202560 29129 0 0 0 61950 211 0 0 20 0 15 0 95242201 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706827091088 140706857076048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4246] ppid=4238 vsize=10555476 memory=1292 CPUtime=616.95 cores=1,3,5,7
/proc/4241/task/4246/stat : 4246 (java) R 4238 4241 1335 0 -1 4202560 29087 0 0 0 61432 263 0 0 20 0 15 0 95242201 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706826038232 140706859980427 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4247] ppid=4238 vsize=10555476 memory=1728 CPUtime=620.73 cores=1,3,5,7
/proc/4241/task/4247/stat : 4247 (java) R 4238 4241 1335 0 -1 4202560 23472 0 0 0 61853 220 0 0 20 0 15 0 95242201 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706824985688 140706857132644 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4248] ppid=4238 vsize=10555476 memory=5788 CPUtime=17.86 cores=1,3,5,7
/proc/4241/task/4248/stat : 4248 (java) S 4238 4241 1335 0 -1 1077944384 103081 0 0 0 1780 6 0 0 20 0 15 0 95242202 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706435232576 140706875533013 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4249] ppid=4238 vsize=10555476 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4249/stat : 4249 (java) S 4238 4241 1335 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 95242203 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706434180320 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4250] ppid=4238 vsize=10555476 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4250/stat : 4250 (java) S 4238 4241 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95242203 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706433127168 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4251] ppid=4238 vsize=10555476 memory=3172 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4251/stat : 4251 (java) S 4238 4241 1335 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706432075376 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4252] ppid=4238 vsize=10555476 memory=8232364 CPUtime=1.66 cores=1,3,5,7
/proc/4241/task/4252/stat : 4252 (java) S 4238 4241 1335 0 -1 1077944384 7051 0 0 0 165 1 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706431023616 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4253] ppid=4238 vsize=10555476 memory=8112282956445269571 CPUtime=1.71 cores=1,3,5,7
/proc/4241/task/4253/stat : 4253 (java) S 4238 4241 1335 0 -1 1077944384 7205 0 0 0 170 1 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706429971360 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4254] ppid=4238 vsize=10555476 memory=1156 CPUtime=0.29 cores=1,3,5,7
/proc/4241/task/4254/stat : 4254 (java) S 4238 4241 1335 0 -1 1077944384 2356 0 0 0 28 1 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706428918304 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4255] ppid=4238 vsize=10555476 memory=3208 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4255/stat : 4255 (java) S 4238 4241 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706427865952 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4256] ppid=4238 vsize=10555476 memory=6481324 CPUtime=0.48 cores=1,3,5,7
/proc/4241/task/4256/stat : 4256 (java) S 4238 4241 1335 0 -1 1077944384 1312 0 0 0 26 22 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706426812976 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
Current children cumulated CPU time: 2522.85 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8232364 KiB
[startup+670.401 s]
/proc/loadavg: 4.84 4.56 3.34 6/216 4274
/proc/meminfo: memFree=17085584/32770624 swapFree=67108860/67108860
[pid=4241] ppid=4238 vsize=10555476 memory=8232364 CPUtime=2526.03 cores=1,3,5,7
/proc/4241/stat : 4241 (java) S 4238 4241 1335 0 -1 1077944320 247931 0 0 0 251666 937 0 0 20 0 15 0 95242199 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140726510948896 140706875522807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
/proc/4241/statm: 2638869 2058091 3153 1 0 2627263 0
[pid=4241/tid=4243] ppid=4238 vsize=10555476 memory=2332 CPUtime=21.88 cores=1,3,5,7
/proc/4241/task/4243/stat : 4243 (java) S 4238 4241 1335 0 -1 1077944384 14281 0 0 0 2178 10 0 0 20 0 15 0 95242200 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706879666752 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4244] ppid=4238 vsize=10555476 memory=8112282956445269571 CPUtime=620.39 cores=1,3,5,7
/proc/4241/task/4244/stat : 4244 (java) S 4238 4241 1335 0 -1 1077944384 29589 0 0 0 61825 214 0 0 20 0 15 0 95242201 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706828143440 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4245] ppid=4238 vsize=10555476 memory=27764 CPUtime=622.41 cores=1,3,5,7
/proc/4241/task/4245/stat : 4245 (java) R 4238 4241 1335 0 -1 4202560 29129 0 0 0 62030 211 0 0 20 0 15 0 95242201 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706827090976 140706859980438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4246] ppid=4238 vsize=10555476 memory=8232364 CPUtime=617.73 cores=1,3,5,7
/proc/4241/task/4246/stat : 4246 (java) R 4238 4241 1335 0 -1 4202560 29087 0 0 0 61510 263 0 0 20 0 15 0 95242201 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706826038152 140706868151015 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4247] ppid=4238 vsize=10555476 memory=8232364 CPUtime=621.53 cores=1,3,5,7
/proc/4241/task/4247/stat : 4247 (java) R 4238 4241 1335 0 -1 4202560 23472 0 0 0 61933 220 0 0 20 0 15 0 95242201 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706824985688 140706860519214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4248] ppid=4238 vsize=10555476 memory=1292 CPUtime=17.86 cores=1,3,5,7
/proc/4241/task/4248/stat : 4248 (java) S 4238 4241 1335 0 -1 1077944384 103081 0 0 0 1780 6 0 0 20 0 15 0 95242202 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706435232576 140706875533013 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4249] ppid=4238 vsize=10555476 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4249/stat : 4249 (java) S 4238 4241 1335 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 95242203 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706434180320 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4250] ppid=4238 vsize=10555476 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4250/stat : 4250 (java) S 4238 4241 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95242203 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706433127168 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4251] ppid=4238 vsize=10555476 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4251/stat : 4251 (java) S 4238 4241 1335 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706432075376 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4252] ppid=4238 vsize=10555476 memory=15872 CPUtime=1.66 cores=1,3,5,7
/proc/4241/task/4252/stat : 4252 (java) S 4238 4241 1335 0 -1 1077944384 7051 0 0 0 165 1 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706431023616 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4253] ppid=4238 vsize=10555476 memory=4040 CPUtime=1.71 cores=1,3,5,7
/proc/4241/task/4253/stat : 4253 (java) S 4238 4241 1335 0 -1 1077944384 7205 0 0 0 170 1 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706429971360 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4254] ppid=4238 vsize=10555476 memory=16464 CPUtime=0.29 cores=1,3,5,7
/proc/4241/task/4254/stat : 4254 (java) S 4238 4241 1335 0 -1 1077944384 2356 0 0 0 28 1 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706428918304 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4255] ppid=4238 vsize=10555476 memory=18292 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4255/stat : 4255 (java) S 4238 4241 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706427865952 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4256] ppid=4238 vsize=10555476 memory=1792 CPUtime=0.48 cores=1,3,5,7
/proc/4241/task/4256/stat : 4256 (java) S 4238 4241 1335 0 -1 1077944384 1314 0 0 0 26 22 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706426812976 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
Current children cumulated CPU time: 2526.03 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8232364 KiB
[startup+670.801 s]
/proc/loadavg: 4.84 4.56 3.34 6/216 4274
/proc/meminfo: memFree=17085584/32770624 swapFree=67108860/67108860
[pid=4241] ppid=4238 vsize=10555476 memory=8232364 CPUtime=2527.47 cores=1,3,5,7
/proc/4241/stat : 4241 (java) S 4238 4241 1335 0 -1 1077944320 248053 0 0 0 251810 937 0 0 20 0 15 0 95242199 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140726510948896 140706875522807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
/proc/4241/statm: 2638869 2058091 3153 1 0 2627263 0
[pid=4241/tid=4243] ppid=4238 vsize=10555476 memory=8112282956445269571 CPUtime=21.88 cores=1,3,5,7
/proc/4241/task/4243/stat : 4243 (java) S 4238 4241 1335 0 -1 1077944384 14281 0 0 0 2178 10 0 0 20 0 15 0 95242200 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706879666752 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4244] ppid=4238 vsize=10555476 memory=8112282956445269571 CPUtime=620.73 cores=1,3,5,7
/proc/4241/task/4244/stat : 4244 (java) R 4238 4241 1335 0 -1 4202560 29626 0 0 0 61859 214 0 0 20 0 15 0 95242201 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706828143832 140706857076456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4245] ppid=4238 vsize=10555476 memory=18292 CPUtime=622.75 cores=1,3,5,7
/proc/4241/task/4245/stat : 4245 (java) R 4238 4241 1335 0 -1 4202560 29164 0 0 0 62064 211 0 0 20 0 15 0 95242201 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706827091288 140706860473906 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4246] ppid=4238 vsize=10555476 memory=1792 CPUtime=618.08 cores=1,3,5,7
/proc/4241/task/4246/stat : 4246 (java) R 4238 4241 1335 0 -1 4202560 29100 0 0 0 61545 263 0 0 20 0 15 0 95242201 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706826038232 140706860473504 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4247] ppid=4238 vsize=10555476 memory=648 CPUtime=621.89 cores=1,3,5,7
/proc/4241/task/4247/stat : 4247 (java) R 4238 4241 1335 0 -1 4202560 23474 0 0 0 61969 220 0 0 20 0 15 0 95242201 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706824985488 140706860473401 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4248] ppid=4238 vsize=10555476 memory=1236 CPUtime=17.91 cores=1,3,5,7
/proc/4241/task/4248/stat : 4248 (java) S 4238 4241 1335 0 -1 1077944384 103084 0 0 0 1785 6 0 0 20 0 15 0 95242202 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706435232352 140706875533013 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4249] ppid=4238 vsize=10555476 memory=648 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4249/stat : 4249 (java) S 4238 4241 1335 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 95242203 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706434180320 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4250] ppid=4238 vsize=10555476 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4250/stat : 4250 (java) S 4238 4241 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95242203 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706433127168 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4251] ppid=4238 vsize=10555476 memory=960 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4251/stat : 4251 (java) S 4238 4241 1335 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706432069024 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4252] ppid=4238 vsize=10555476 memory=1696 CPUtime=1.66 cores=1,3,5,7
/proc/4241/task/4252/stat : 4252 (java) S 4238 4241 1335 0 -1 1077944384 7051 0 0 0 165 1 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706431023856 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4253] ppid=4238 vsize=10555476 memory=920 CPUtime=1.71 cores=1,3,5,7
/proc/4241/task/4253/stat : 4253 (java) S 4238 4241 1335 0 -1 1077944384 7205 0 0 0 170 1 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706429971312 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4254] ppid=4238 vsize=10555476 memory=3832 CPUtime=0.29 cores=1,3,5,7
/proc/4241/task/4254/stat : 4254 (java) S 4238 4241 1335 0 -1 1077944384 2356 0 0 0 28 1 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706428918256 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4255] ppid=4238 vsize=10555476 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4255/stat : 4255 (java) S 4238 4241 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706427865952 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4256] ppid=4238 vsize=10555476 memory=2236 CPUtime=0.48 cores=1,3,5,7
/proc/4241/task/4256/stat : 4256 (java) S 4238 4241 1335 0 -1 1077944384 1314 0 0 0 26 22 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706426812976 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
Current children cumulated CPU time: 2527.47 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8232364 KiB
[startup+670.901 s]
/proc/loadavg: 4.84 4.56 3.34 6/216 4274
/proc/meminfo: memFree=17085584/32770624 swapFree=67108860/67108860
[pid=4241] ppid=4238 vsize=10555476 memory=8232364 CPUtime=2527.87 cores=1,3,5,7
/proc/4241/stat : 4241 (java) S 4238 4241 1335 0 -1 1077944320 248140 0 0 0 251850 937 0 0 20 0 15 0 95242199 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140726510948896 140706875522807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
/proc/4241/statm: 2638869 2058091 3153 1 0 2627263 0
[pid=4241/tid=4243] ppid=4238 vsize=10555476 memory=8232364 CPUtime=21.88 cores=1,3,5,7
/proc/4241/task/4243/stat : 4243 (java) S 4238 4241 1335 0 -1 1077944384 14281 0 0 0 2178 10 0 0 20 0 15 0 95242200 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706879666752 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4244] ppid=4238 vsize=10555476 memory=8232364 CPUtime=620.83 cores=1,3,5,7
/proc/4241/task/4244/stat : 4244 (java) R 4238 4241 1335 0 -1 4202560 29664 0 0 0 61869 214 0 0 20 0 15 0 95242201 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706828143832 140706859977564 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4245] ppid=4238 vsize=10555476 memory=8232364 CPUtime=622.85 cores=1,3,5,7
/proc/4241/task/4245/stat : 4245 (java) R 4238 4241 1335 0 -1 4202560 29203 0 0 0 62074 211 0 0 20 0 15 0 95242201 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706827091288 140706860220446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4246] ppid=4238 vsize=10555476 memory=8232364 CPUtime=618.18 cores=1,3,5,7
/proc/4241/task/4246/stat : 4246 (java) R 4238 4241 1335 0 -1 4202560 29110 0 0 0 61555 263 0 0 20 0 15 0 95242201 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706826038232 140706860473384 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4247] ppid=4238 vsize=10555476 memory=8232364 CPUtime=621.99 cores=1,3,5,7
/proc/4241/task/4247/stat : 4247 (java) R 4238 4241 1335 0 -1 4202560 23474 0 0 0 61979 220 0 0 20 0 15 0 95242201 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706824985488 140706860473412 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4248] ppid=4238 vsize=10555476 memory=8232364 CPUtime=17.91 cores=1,3,5,7
/proc/4241/task/4248/stat : 4248 (java) S 4238 4241 1335 0 -1 1077944384 103084 0 0 0 1785 6 0 0 20 0 15 0 95242202 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706435232352 140706875533013 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4249] ppid=4238 vsize=10555476 memory=8232364 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4249/stat : 4249 (java) S 4238 4241 1335 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 95242203 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706434180320 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4250] ppid=4238 vsize=10555476 memory=8232364 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4250/stat : 4250 (java) S 4238 4241 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95242203 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706433127168 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4251] ppid=4238 vsize=10555476 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4251/stat : 4251 (java) S 4238 4241 1335 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706432069024 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4252] ppid=4238 vsize=10555476 memory=2332 CPUtime=1.66 cores=1,3,5,7
/proc/4241/task/4252/stat : 4252 (java) S 4238 4241 1335 0 -1 1077944384 7051 0 0 0 165 1 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706431023856 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4253] ppid=4238 vsize=10555476 memory=8232364 CPUtime=1.71 cores=1,3,5,7
/proc/4241/task/4253/stat : 4253 (java) S 4238 4241 1335 0 -1 1077944384 7205 0 0 0 170 1 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706429971312 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4254] ppid=4238 vsize=10555476 memory=4084 CPUtime=0.29 cores=1,3,5,7
/proc/4241/task/4254/stat : 4254 (java) S 4238 4241 1335 0 -1 1077944384 2356 0 0 0 28 1 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706428918256 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4255] ppid=4238 vsize=10555476 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/4241/task/4255/stat : 4255 (java) S 4238 4241 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706427865952 140706875533013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
[pid=4241/tid=4256] ppid=4238 vsize=10555476 memory=8232364 CPUtime=0.48 cores=1,3,5,7
/proc/4241/task/4256/stat : 4256 (java) S 4238 4241 1335 0 -1 1077944384 1314 0 0 0 26 22 0 0 20 0 15 0 95242205 10808807424 2058091 33554432000 4194304 4196468 140726510966352 140706426812976 140706875533954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140726510969990 140726510970143 140726510970143 140726510972879 0
Current children cumulated CPU time: 2527.87 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8232364 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 670.947
CPU time (s): 2527.96
CPU user time (s): 2518.55
CPU system time (s): 9.41235
CPU usage (%): 376.775
Max. virtual memory (cumulated for all children) (KiB): 10555476
Max. memory (cumulated for all children) (KiB): 8232364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.55
system time used= 9.41235
maximum resident set size= 8232712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248153
page faults= 0
swaps= 0
block input operations= 40
block output operations= 824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44016
involuntary context switches= 25812
# summary of solver processes directly reported to runsolver:
# pid: 4241
# total CPU time (s): 2527.96
# total CPU user time (s): 2518.55
# total CPU system time (s): 9.41235
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55335 second user time and 6.30065 second system time
The end