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 (13385 MiB free)
memory of node 1: 16384 MiB (10940 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263207-1502624438/watcher-4263207-1502624438 -o /tmp/evaluation-result-4263207-1502624438/solver-4263207-1502624438 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502620619-3501 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263207-1502624438.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4204, runsolver pid=4201
[startup+0.103067 s]*
/proc/loadavg: 2.03 2.07 2.20 3/216 4219
/proc/meminfo: memFree=24891292/32770624 swapFree=67108860/67108860
[pid=4204] ppid=4201 vsize=10555400 memory=30860 CPUtime=0.13 cores=0,2,4,6
/proc/4204/stat : 4204 (java) S 4201 4204 3242 0 -1 1077944320 6338 0 0 0 12 1 0 0 20 0 15 0 95524747 10808729600 7715 33554432000 4194304 4196468 140727212548608 140727212531152 140447536828151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
/proc/4204/statm: 2638850 7715 2787 1 0 2627263 0
[pid=4204/tid=4206] ppid=4201 vsize=10555400 memory=-8968736661934273728 CPUtime=0.09 cores=0,2,4,6
/proc/4204/task/4206/stat : 4206 (java) R 4201 4204 3242 0 -1 4202560 4185 0 0 0 9 0 0 0 20 0 15 0 95524747 10808729600 7715 33554432000 4194304 4196468 140727212548608 140447541049280 140447520871781 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4207] ppid=4201 vsize=10555400 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4207/stat : 4207 (java) S 4201 4204 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95524748 10808729600 7715 33554432000 4194304 4196468 140727212548608 140447462902416 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4208] ppid=4201 vsize=10555400 memory=139985373939328 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4208/stat : 4208 (java) S 4201 4204 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95524748 10808729600 7715 33554432000 4194304 4196468 140727212548608 140447461849616 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4209] ppid=4201 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4209/stat : 4209 (java) S 4201 4204 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95524748 10808729600 7715 33554432000 4194304 4196468 140727212548608 140447460796816 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4210] ppid=4201 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4210/stat : 4210 (java) S 4201 4204 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95524748 10808729600 7715 33554432000 4194304 4196468 140727212548608 140447459744016 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4211] ppid=4201 vsize=10555400 memory=139985373939328 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4211/stat : 4211 (java) S 4201 4204 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95524750 10808729600 7715 33554432000 4194304 4196468 140727212548608 140447028554608 140447536839298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4212] ppid=4201 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4212/stat : 4212 (java) S 4201 4204 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95524750 10808729600 7715 33554432000 4194304 4196468 140727212548608 140447027500576 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4213] ppid=4201 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4213/stat : 4213 (java) S 4201 4204 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95524750 10808729600 7715 33554432000 4194304 4196468 140727212548608 140447026447728 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4214] ppid=4201 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4214/stat : 4214 (java) S 4201 4204 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95524752 10808729600 7715 33554432000 4194304 4196468 140727212548608 140447025396048 140447536846747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4215] ppid=4201 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4215/stat : 4215 (java) S 4201 4204 3242 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 95524752 10808729600 7715 33554432000 4194304 4196468 140727212548608 140447024343408 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4216] ppid=4201 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4216/stat : 4216 (java) S 4201 4204 3242 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 95524752 10808729600 7715 33554432000 4194304 4196468 140727212548608 140447023290608 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4217] ppid=4201 vsize=10555400 memory=139985373939328 CPUtime=0.02 cores=0,2,4,6
/proc/4204/task/4217/stat : 4217 (java) R 4201 4204 3242 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 95524752 10808729600 7715 33554432000 4194304 4196468 140727212548608 140447022237808 140447529933020 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4218] ppid=4201 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4218/stat : 4218 (java) S 4201 4204 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95524753 10808729600 7715 33554432000 4194304 4196468 140727212548608 140447021185248 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4219] ppid=4201 vsize=10555400 memory=139985373939328 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4219/stat : 4219 (java) S 4201 4204 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95524753 10808729600 7715 33554432000 4194304 4196468 140727212548608 140447020133552 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30860 KiB
[startup+0.216185 s]*
/proc/loadavg: 2.03 2.07 2.20 6/216 4219
/proc/meminfo: memFree=24884164/32770624 swapFree=67108860/67108860
[pid=4204] ppid=4201 vsize=10555400 memory=42744 CPUtime=0.35 cores=0,2,4,6
/proc/4204/stat : 4204 (java) S 4201 4204 3242 0 -1 1077944320 7758 0 0 0 34 1 0 0 20 0 15 0 95524747 10808729600 10686 33554432000 4194304 4196468 140727212548608 140727212531152 140447536828151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
/proc/4204/statm: 2638850 10686 2996 1 0 2627263 0
[pid=4204/tid=4206] ppid=4201 vsize=10555400 memory=7022364594140610616 CPUtime=0.21 cores=0,2,4,6
/proc/4204/task/4206/stat : 4206 (java) R 4201 4204 3242 0 -1 4202560 4516 0 0 0 20 1 0 0 20 0 15 0 95524747 10808729600 10686 33554432000 4194304 4196468 140727212548608 140447541059008 140447520908638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4207] ppid=4201 vsize=10555400 memory=342 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4207/stat : 4207 (java) S 4201 4204 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95524748 10808729600 10686 33554432000 4194304 4196468 140727212548608 140447462902416 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4208] ppid=4201 vsize=10555400 memory=139985373944041 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4208/stat : 4208 (java) S 4201 4204 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95524748 10808729600 10686 33554432000 4194304 4196468 140727212548608 140447461849616 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4209] ppid=4201 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4209/stat : 4209 (java) S 4201 4204 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95524748 10808729600 10686 33554432000 4194304 4196468 140727212548608 140447460796816 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4210] ppid=4201 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4210/stat : 4210 (java) S 4201 4204 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95524748 10808729600 10686 33554432000 4194304 4196468 140727212548608 140447459744016 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4211] ppid=4201 vsize=10555400 memory=139985373939328 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4211/stat : 4211 (java) S 4201 4204 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95524750 10808729600 10686 33554432000 4194304 4196468 140727212548608 140447028554608 140447536839298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4212] ppid=4201 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4212/stat : 4212 (java) S 4201 4204 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95524750 10808729600 10686 33554432000 4194304 4196468 140727212548608 140447027500576 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4213] ppid=4201 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4213/stat : 4213 (java) S 4201 4204 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95524750 10808729600 10686 33554432000 4194304 4196468 140727212548608 140447026447728 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4214] ppid=4201 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4214/stat : 4214 (java) S 4201 4204 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95524752 10808729600 10686 33554432000 4194304 4196468 140727212548608 140447025396048 140447536846747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4215] ppid=4201 vsize=10555400 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4204/task/4215/stat : 4215 (java) D 4201 4204 3242 0 -1 4202560 638 0 0 0 3 0 0 0 20 0 15 0 95524752 10808729600 10686 33554432000 4194304 4196468 140727212548608 140447024324424 140447529545303 0 4 0 16800975 18446744071582151463 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4216] ppid=4201 vsize=10555400 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4204/task/4216/stat : 4216 (java) R 4201 4204 3242 0 -1 4202560 437 0 0 0 2 0 0 0 20 0 15 0 95524752 10808729600 10686 33554432000 4194304 4196468 140727212548608 140447023280632 140447521222027 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4217] ppid=4201 vsize=10555400 memory=139985373939328 CPUtime=0.07 cores=0,2,4,6
/proc/4204/task/4217/stat : 4217 (java) R 4201 4204 3242 0 -1 4202560 803 0 0 0 7 0 0 0 20 0 15 0 95524752 10808729600 10686 33554432000 4194304 4196468 140727212548608 140447022234744 140447515782701 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4218] ppid=4201 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4218/stat : 4218 (java) S 4201 4204 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95524753 10808729600 10686 33554432000 4194304 4196468 140727212548608 140447021185248 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4219] ppid=4201 vsize=10555400 memory=139985373939328 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4219/stat : 4219 (java) S 4201 4204 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95524753 10808729600 10686 33554432000 4194304 4196468 140727212548608 140447020133552 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 42744 KiB
[startup+0.310494 s]*
/proc/loadavg: 2.03 2.07 2.20 3/216 4219
/proc/meminfo: memFree=24871124/32770624 swapFree=67108860/67108860
[pid=4204] ppid=4201 vsize=10555476 memory=53452 CPUtime=0.64 cores=0,2,4,6
/proc/4204/stat : 4204 (java) S 4201 4204 3242 0 -1 1077944320 10061 0 0 0 62 2 0 0 20 0 15 0 95524747 10808807424 13363 33554432000 4194304 4196468 140727212548608 140727212531152 140447536828151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
/proc/4204/statm: 2638869 13363 3054 1 0 2627263 0
[pid=4204/tid=4206] ppid=4201 vsize=10555476 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/4204/task/4206/stat : 4206 (java) R 4201 4204 3242 0 -1 4202560 5138 0 0 0 28 1 0 0 20 0 15 0 95524747 10808807424 13363 33554432000 4194304 4196468 140727212548608 140447541065264 140447536840086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4207] ppid=4201 vsize=10555476 memory=290763879498383383 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4207/stat : 4207 (java) S 4201 4204 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95524748 10808807424 13363 33554432000 4194304 4196468 140727212548608 140447462902416 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4208] ppid=4201 vsize=10555476 memory=13707083560044184 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4208/stat : 4208 (java) S 4201 4204 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95524748 10808807424 13363 33554432000 4194304 4196468 140727212548608 140447461849616 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4209] ppid=4201 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4209/stat : 4209 (java) S 4201 4204 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95524748 10808807424 13363 33554432000 4194304 4196468 140727212548608 140447460796816 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4210] ppid=4201 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4210/stat : 4210 (java) S 4201 4204 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95524748 10808807424 13363 33554432000 4194304 4196468 140727212548608 140447459744016 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4211] ppid=4201 vsize=10555476 memory=139985373939328 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4211/stat : 4211 (java) S 4201 4204 3242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95524750 10808807424 13363 33554432000 4194304 4196468 140727212548608 140447028554608 140447536839298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4212] ppid=4201 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4212/stat : 4212 (java) S 4201 4204 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95524750 10808807424 13363 33554432000 4194304 4196468 140727212548608 140447027500576 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4213] ppid=4201 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4213/stat : 4213 (java) S 4201 4204 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95524750 10808807424 13363 33554432000 4194304 4196468 140727212548608 140447026447728 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4214] ppid=4201 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4214/stat : 4214 (java) S 4201 4204 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95524752 10808807424 13363 33554432000 4194304 4196468 140727212548608 140447025396048 140447536846747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4215] ppid=4201 vsize=10555476 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4204/task/4215/stat : 4215 (java) S 4201 4204 3242 0 -1 1077944384 949 0 0 0 9 0 0 0 20 0 15 0 95524752 10808807424 13363 33554432000 4194304 4196468 140727212548608 140447024343408 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4216] ppid=4201 vsize=10555476 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/4204/task/4216/stat : 4216 (java) S 4201 4204 3242 0 -1 1077944384 1459 0 0 0 11 0 0 0 20 0 15 0 95524752 10808807424 13363 33554432000 4194304 4196468 140727212548608 140447023290608 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4217] ppid=4201 vsize=10555476 memory=139985373939328 CPUtime=0.13 cores=0,2,4,6
/proc/4204/task/4217/stat : 4217 (java) R 4201 4204 3242 0 -1 4202560 1148 0 0 0 13 0 0 0 20 0 15 0 95524752 10808807424 13363 33554432000 4194304 4196468 140727212548608 140447022237808 140447529065278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4218] ppid=4201 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4218/stat : 4218 (java) S 4201 4204 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95524753 10808807424 13363 33554432000 4194304 4196468 140727212548608 140447021185248 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4219] ppid=4201 vsize=10555476 memory=139985373939328 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4219/stat : 4219 (java) S 4201 4204 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95524753 10808807424 13363 33554432000 4194304 4196468 140727212548608 140447020133552 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 53452 KiB
[startup+0.70073 s]
/proc/loadavg: 2.03 2.07 2.20 5/216 4219
/proc/meminfo: memFree=24843200/32770624 swapFree=67108860/67108860
[pid=4204] ppid=4201 vsize=10555476 memory=185268 CPUtime=1.91 cores=0,2,4,6
/proc/4204/stat : 4204 (java) S 4201 4204 3242 0 -1 1077944320 11511 0 0 0 186 5 0 0 20 0 15 0 95524747 10808807424 46317 33554432000 4194304 4196468 140727212548608 140727212531152 140447536828151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
/proc/4204/statm: 2638869 46317 3105 1 0 2627263 0
[pid=4204/tid=4206] ppid=4201 vsize=10555476 memory=1732 CPUtime=0.67 cores=0,2,4,6
/proc/4204/task/4206/stat : 4206 (java) R 4201 4204 3242 0 -1 4202560 5536 0 0 0 64 3 0 0 20 0 15 0 95524747 10808807424 46317 33554432000 4194304 4196468 140727212548608 140447541056488 140447129024543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4207] ppid=4201 vsize=10555476 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4207/stat : 4207 (java) S 4201 4204 3242 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 95524748 10808807424 46317 33554432000 4194304 4196468 140727212548608 140447462902416 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4208] ppid=4201 vsize=10555476 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4208/stat : 4208 (java) S 4201 4204 3242 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 95524748 10808807424 46317 33554432000 4194304 4196468 140727212548608 140447461849616 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4209] ppid=4201 vsize=10555476 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4209/stat : 4209 (java) S 4201 4204 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95524748 10808807424 46317 33554432000 4194304 4196468 140727212548608 140447460796816 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4210] ppid=4201 vsize=10555476 memory=796 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4210/stat : 4210 (java) S 4201 4204 3242 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 95524748 10808807424 46317 33554432000 4194304 4196468 140727212548608 140447459744016 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4211] ppid=4201 vsize=10555476 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4211/stat : 4211 (java) S 4201 4204 3242 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 95524750 10808807424 46317 33554432000 4194304 4196468 140727212548608 140447028554608 140447536839298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4212] ppid=4201 vsize=10555476 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4212/stat : 4212 (java) S 4201 4204 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95524750 10808807424 46317 33554432000 4194304 4196468 140727212548608 140447027500576 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4213] ppid=4201 vsize=10555476 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4213/stat : 4213 (java) S 4201 4204 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95524750 10808807424 46317 33554432000 4194304 4196468 140727212548608 140447026447728 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4214] ppid=4201 vsize=10555476 memory=6296683629868568929 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4214/stat : 4214 (java) S 4201 4204 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95524752 10808807424 46317 33554432000 4194304 4196468 140727212548608 140447025396048 140447536846747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4215] ppid=4201 vsize=10555476 memory=7519159149027546218 CPUtime=0.41 cores=0,2,4,6
/proc/4204/task/4215/stat : 4215 (java) R 4201 4204 3242 0 -1 4202560 1330 0 0 0 41 0 0 0 20 0 15 0 95524752 10808807424 46317 33554432000 4194304 4196468 140727212548608 140447024329952 140447520731222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4216] ppid=4201 vsize=10555476 memory=7523071198212214892 CPUtime=0.44 cores=0,2,4,6
/proc/4204/task/4216/stat : 4216 (java) R 4201 4204 3242 0 -1 4202560 1557 0 0 0 44 0 0 0 20 0 15 0 95524752 10808807424 46317 33554432000 4194304 4196468 140727212548608 140447023270216 140447520214888 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4217] ppid=4201 vsize=10555476 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/4204/task/4217/stat : 4217 (java) S 4201 4204 3242 0 -1 1077944384 1604 0 0 0 34 0 0 0 20 0 15 0 95524752 10808807424 46317 33554432000 4194304 4196468 140727212548608 140447022237808 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4218] ppid=4201 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4218/stat : 4218 (java) S 4201 4204 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95524753 10808807424 46317 33554432000 4194304 4196468 140727212548608 140447021185248 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4219] ppid=4201 vsize=10555476 memory=33 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4219/stat : 4219 (java) S 4201 4204 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95524753 10808807424 46317 33554432000 4194304 4196468 140727212548608 140447020133552 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
Current children cumulated CPU time: 1.91 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 185268 KiB
[startup+1.50089 s]
/proc/loadavg: 2.03 2.07 2.20 5/216 4219
/proc/meminfo: memFree=24699108/32770624 swapFree=67108860/67108860
[pid=4204] ppid=4201 vsize=10555476 memory=510236 CPUtime=4.39 cores=0,2,4,6
/proc/4204/stat : 4204 (java) S 4201 4204 3242 0 -1 1077944320 18127 0 0 0 419 20 0 0 20 0 15 0 95524747 10808807424 127559 33554432000 4194304 4196468 140727212548608 140727212531152 140447536828151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
/proc/4204/statm: 2638869 127559 3128 1 0 2627263 0
[pid=4204/tid=4206] ppid=4201 vsize=10555476 memory=8112282956445269571 CPUtime=1.24 cores=0,2,4,6
/proc/4204/task/4206/stat : 4206 (java) R 4201 4204 3242 0 -1 4202560 5602 0 0 0 119 5 0 0 20 0 15 0 95524747 10808807424 127559 33554432000 4194304 4196468 140727212548608 140447541065800 140447125178461 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4207] ppid=4201 vsize=10555476 memory=-8754540793456063680 CPUtime=0.13 cores=0,2,4,6
/proc/4204/task/4207/stat : 4207 (java) S 4201 4204 3242 0 -1 1077944384 148 0 0 0 11 2 0 0 20 0 15 0 95524748 10808807424 127559 33554432000 4194304 4196468 140727212548608 140447462902416 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4208] ppid=4201 vsize=10555476 memory=-2843869621055772062 CPUtime=0.22 cores=0,2,4,6
/proc/4204/task/4208/stat : 4208 (java) S 4201 4204 3242 0 -1 1077944384 175 0 0 0 18 4 0 0 20 0 15 0 95524748 10808807424 127559 33554432000 4194304 4196468 140727212548608 140447461849616 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4209] ppid=4201 vsize=10555476 memory=5450919713671312938 CPUtime=0.1 cores=0,2,4,6
/proc/4204/task/4209/stat : 4209 (java) S 4201 4204 3242 0 -1 1077944384 139 0 0 0 8 2 0 0 20 0 15 0 95524748 10808807424 127559 33554432000 4194304 4196468 140727212548608 140447460796816 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4210] ppid=4201 vsize=10555476 memory=7005738693937936738 CPUtime=0.2 cores=0,2,4,6
/proc/4204/task/4210/stat : 4210 (java) S 4201 4204 3242 0 -1 1077944384 104 0 0 0 16 4 0 0 20 0 15 0 95524748 10808807424 127559 33554432000 4194304 4196468 140727212548608 140447459744016 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4211] ppid=4201 vsize=10555476 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4211/stat : 4211 (java) S 4201 4204 3242 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 95524750 10808807424 127559 33554432000 4194304 4196468 140727212548608 140447028554608 140447536839298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
################
# More data... #
################
/proc/4204/task/4209/stat : 4209 (java) S 4201 4204 3242 0 -1 1077944384 9781 0 0 0 3142 139 0 0 20 0 16 0 95524748 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447460796816 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4210] ppid=4201 vsize=10622040 memory=7450160 CPUtime=32.84 cores=0,2,4,6
/proc/4204/task/4210/stat : 4210 (java) S 4201 4204 3242 0 -1 1077944384 23481 0 0 0 3133 151 0 0 20 0 16 0 95524748 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447459744016 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4211] ppid=4201 vsize=10622040 memory=7450160 CPUtime=10.66 cores=0,2,4,6
/proc/4204/task/4211/stat : 4211 (java) S 4201 4204 3242 0 -1 1077944384 20746 0 0 0 1063 3 0 0 20 0 16 0 95524750 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447028554608 140447536839298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4212] ppid=4201 vsize=10622040 memory=7450160 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4212/stat : 4212 (java) S 4201 4204 3242 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 95524750 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447027500640 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4213] ppid=4201 vsize=10622040 memory=7450160 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4213/stat : 4213 (java) S 4201 4204 3242 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 95524750 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447026447728 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4214] ppid=4201 vsize=10622040 memory=7450160 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4214/stat : 4214 (java) S 4201 4204 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95524752 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447025396048 140447536846747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4215] ppid=4201 vsize=10622040 memory=1160 CPUtime=2.47 cores=0,2,4,6
/proc/4204/task/4215/stat : 4215 (java) S 4201 4204 3242 0 -1 1077944384 12564 0 0 0 245 2 0 0 20 0 16 0 95524752 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447024343408 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4216] ppid=4201 vsize=10622040 memory=3344 CPUtime=2.33 cores=0,2,4,6
/proc/4204/task/4216/stat : 4216 (java) S 4201 4204 3242 0 -1 1077944384 13863 0 0 0 231 2 0 0 20 0 16 0 95524752 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447023290608 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4217] ppid=4201 vsize=10622040 memory=7450160 CPUtime=0.58 cores=0,2,4,6
/proc/4204/task/4217/stat : 4217 (java) S 4201 4204 3242 0 -1 1077944384 6229 0 0 0 56 2 0 0 20 0 16 0 95524752 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447022237808 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4218] ppid=4201 vsize=10622040 memory=7450160 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4218/stat : 4218 (java) S 4201 4204 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95524753 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447021185248 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4219] ppid=4201 vsize=10622040 memory=7450160 CPUtime=1.19 cores=0,2,4,6
/proc/4204/task/4219/stat : 4219 (java) S 4201 4204 3242 0 -1 1077944384 2882 0 0 0 60 59 0 0 20 0 16 0 95524753 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447020133552 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4220] ppid=4201 vsize=10622040 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4220/stat : 4220 (java) S 4201 4204 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95529023 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447019079088 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
Current children cumulated CPU time: 2427.31 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 7450160 KiB
[startup+2382.3 s]
/proc/loadavg: 2.60 2.18 2.10 3/221 4417
/proc/meminfo: memFree=13273520/32770624 swapFree=67108860/67108860
[pid=4204] ppid=4201 vsize=10622040 memory=7450160 CPUtime=2487.34 cores=0,2,4,6
/proc/4204/stat : 4204 (java) S 4201 4204 3242 0 -1 1077944320 272177 0 0 0 248069 665 0 0 20 0 16 0 95524747 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140727212531152 140447536828151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
/proc/4204/statm: 2655510 1862540 3172 1 0 2643904 0
[pid=4204/tid=4206] ppid=4201 vsize=10622040 memory=7450160 CPUtime=2338.31 cores=0,2,4,6
/proc/4204/task/4206/stat : 4206 (java) R 4201 4204 3242 0 -1 4202560 144776 0 0 0 233809 22 0 0 20 0 16 0 95524747 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447541067168 140447130757544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4207] ppid=4201 vsize=10622040 memory=7450160 CPUtime=33.05 cores=0,2,4,6
/proc/4204/task/4207/stat : 4207 (java) S 4201 4204 3242 0 -1 1077944384 23547 0 0 0 3161 144 0 0 20 0 16 0 95524748 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447462902416 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4208] ppid=4201 vsize=10622040 memory=7450160 CPUtime=32.99 cores=0,2,4,6
/proc/4204/task/4208/stat : 4208 (java) S 4201 4204 3242 0 -1 1077944384 12816 0 0 0 3148 151 0 0 20 0 16 0 95524748 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447461849616 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4209] ppid=4201 vsize=10622040 memory=7450160 CPUtime=32.81 cores=0,2,4,6
/proc/4204/task/4209/stat : 4209 (java) S 4201 4204 3242 0 -1 1077944384 9781 0 0 0 3142 139 0 0 20 0 16 0 95524748 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447460796816 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4210] ppid=4201 vsize=10622040 memory=7450160 CPUtime=32.84 cores=0,2,4,6
/proc/4204/task/4210/stat : 4210 (java) S 4201 4204 3242 0 -1 1077944384 23481 0 0 0 3133 151 0 0 20 0 16 0 95524748 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447459744016 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4211] ppid=4201 vsize=10622040 memory=7450160 CPUtime=10.66 cores=0,2,4,6
/proc/4204/task/4211/stat : 4211 (java) S 4201 4204 3242 0 -1 1077944384 20756 0 0 0 1063 3 0 0 20 0 16 0 95524750 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447028554608 140447536839298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4212] ppid=4201 vsize=10622040 memory=7450160 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4212/stat : 4212 (java) S 4201 4204 3242 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 95524750 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447027500640 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4213] ppid=4201 vsize=10622040 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4213/stat : 4213 (java) S 4201 4204 3242 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 95524750 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447026447728 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4214] ppid=4201 vsize=10622040 memory=28068 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4214/stat : 4214 (java) S 4201 4204 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95524752 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447025396048 140447536846747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4215] ppid=4201 vsize=10622040 memory=4048 CPUtime=2.47 cores=0,2,4,6
/proc/4204/task/4215/stat : 4215 (java) S 4201 4204 3242 0 -1 1077944384 12572 0 0 0 245 2 0 0 20 0 16 0 95524752 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447024343408 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4216] ppid=4201 vsize=10622040 memory=1792 CPUtime=2.33 cores=0,2,4,6
/proc/4204/task/4216/stat : 4216 (java) S 4201 4204 3242 0 -1 1077944384 13866 0 0 0 231 2 0 0 20 0 16 0 95524752 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447023290608 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4217] ppid=4201 vsize=10622040 memory=4144 CPUtime=0.58 cores=0,2,4,6
/proc/4204/task/4217/stat : 4217 (java) S 4201 4204 3242 0 -1 1077944384 6232 0 0 0 56 2 0 0 20 0 16 0 95524752 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447022237808 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4218] ppid=4201 vsize=10622040 memory=28068 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4218/stat : 4218 (java) S 4201 4204 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95524753 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447021185248 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4219] ppid=4201 vsize=10622040 memory=1296 CPUtime=1.21 cores=0,2,4,6
/proc/4204/task/4219/stat : 4219 (java) S 4201 4204 3242 0 -1 1077944384 2922 0 0 0 61 60 0 0 20 0 16 0 95524753 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447020133552 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4220] ppid=4201 vsize=10622040 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4220/stat : 4220 (java) S 4201 4204 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95529023 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447019079088 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
Current children cumulated CPU time: 2487.34 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 7450160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2415 s]*
/proc/loadavg: 2.33 2.16 2.10 3/218 4420
/proc/meminfo: memFree=13275584/32770624 swapFree=67108860/67108860
[pid=4204] ppid=4201 vsize=10622040 memory=7450160 CPUtime=2520.07 cores=0,2,4,6
/proc/4204/stat : 4204 (java) S 4201 4204 3242 0 -1 1077944320 273479 0 0 0 251341 666 0 0 20 0 16 0 95524747 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140727212531152 140447536828151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
/proc/4204/statm: 2655510 1862540 3172 1 0 2643904 0
[pid=4204/tid=4206] ppid=4201 vsize=10622040 memory=8112282956445269571 CPUtime=2371.01 cores=0,2,4,6
/proc/4204/task/4206/stat : 4206 (java) R 4201 4204 3242 0 -1 4202560 146010 0 0 0 237079 22 0 0 20 0 16 0 95524747 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447541067168 140447130757792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4207] ppid=4201 vsize=10622040 memory=4872558044660077418 CPUtime=33.05 cores=0,2,4,6
/proc/4204/task/4207/stat : 4207 (java) S 4201 4204 3242 0 -1 1077944384 23547 0 0 0 3161 144 0 0 20 0 16 0 95524748 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447462902416 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4208] ppid=4201 vsize=10622040 memory=2544 CPUtime=32.99 cores=0,2,4,6
/proc/4204/task/4208/stat : 4208 (java) S 4201 4204 3242 0 -1 1077944384 12816 0 0 0 3148 151 0 0 20 0 16 0 95524748 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447461849616 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4209] ppid=4201 vsize=10622040 memory=4104 CPUtime=32.81 cores=0,2,4,6
/proc/4204/task/4209/stat : 4209 (java) S 4201 4204 3242 0 -1 1077944384 9781 0 0 0 3142 139 0 0 20 0 16 0 95524748 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447460796816 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4210] ppid=4201 vsize=10622040 memory=1160 CPUtime=32.84 cores=0,2,4,6
/proc/4204/task/4210/stat : 4210 (java) S 4201 4204 3242 0 -1 1077944384 23481 0 0 0 3133 151 0 0 20 0 16 0 95524748 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447459744016 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4211] ppid=4201 vsize=10622040 memory=3344 CPUtime=10.66 cores=0,2,4,6
/proc/4204/task/4211/stat : 4211 (java) S 4201 4204 3242 0 -1 1077944384 20766 0 0 0 1063 3 0 0 20 0 16 0 95524750 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447028554608 140447536839298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4212] ppid=4201 vsize=10622040 memory=7450160 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4212/stat : 4212 (java) S 4201 4204 3242 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 95524750 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447027500640 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4213] ppid=4201 vsize=10622040 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4213/stat : 4213 (java) S 4201 4204 3242 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 95524750 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447026447728 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4214] ppid=4201 vsize=10622040 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4214/stat : 4214 (java) S 4201 4204 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95524752 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447025396048 140447536846747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4215] ppid=4201 vsize=10622040 memory=18476 CPUtime=2.47 cores=0,2,4,6
/proc/4204/task/4215/stat : 4215 (java) S 4201 4204 3242 0 -1 1077944384 12585 0 0 0 245 2 0 0 20 0 16 0 95524752 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447024343408 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4216] ppid=4201 vsize=10622040 memory=16688 CPUtime=2.33 cores=0,2,4,6
/proc/4204/task/4216/stat : 4216 (java) S 4201 4204 3242 0 -1 1077944384 13869 0 0 0 231 2 0 0 20 0 16 0 95524752 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447023290608 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4217] ppid=4201 vsize=10622040 memory=4048 CPUtime=0.58 cores=0,2,4,6
/proc/4204/task/4217/stat : 4217 (java) S 4201 4204 3242 0 -1 1077944384 6235 0 0 0 56 2 0 0 20 0 16 0 95524752 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447022237808 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4218] ppid=4201 vsize=10622040 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4218/stat : 4218 (java) S 4201 4204 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95524753 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447021185248 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4219] ppid=4201 vsize=10622040 memory=648 CPUtime=1.23 cores=0,2,4,6
/proc/4204/task/4219/stat : 4219 (java) S 4201 4204 3242 0 -1 1077944384 2961 0 0 0 62 61 0 0 20 0 16 0 95524753 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447020133552 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4220] ppid=4201 vsize=10622040 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4220/stat : 4220 (java) S 4201 4204 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95529023 10876968960 1862540 33554432000 4194304 4196468 140727212548608 140447019079088 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 7450160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2415.27 s]
# the end of solver process 4204 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.52 s, system=6.69784 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2415.2 s]
/proc/loadavg: 2.33 2.16 2.10 3/218 4420
/proc/meminfo: memFree=13275584/32770624 swapFree=67108860/67108860
[pid=4204] ppid=4201 vsize=10823780 memory=7450476 CPUtime=2520.16 cores=0,2,4,6
/proc/4204/stat : 4204 (java) S 4201 4204 3242 0 -1 1077944320 276393 0 0 0 251350 666 0 0 20 0 17 0 95524747 11083550720 1862619 33554432000 4194304 4196468 140727212548608 140727212531152 140447536828151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
/proc/4204/statm: 2705945 1862619 3176 1 0 2694339 0
[pid=4204/tid=4206] ppid=4201 vsize=10823780 memory=1012 CPUtime=2371.09 cores=0,2,4,6
/proc/4204/task/4206/stat : 4206 (java) S 4201 4204 3242 0 -1 1077944384 146855 0 0 0 237087 22 0 0 20 0 17 0 95524747 11083550720 1862619 33554432000 4194304 4196468 140727212548608 140447541071024 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4207] ppid=4201 vsize=10823780 memory=1712 CPUtime=33.05 cores=0,2,4,6
/proc/4204/task/4207/stat : 4207 (java) S 4201 4204 3242 0 -1 1077944384 23547 0 0 0 3161 144 0 0 20 0 17 0 95524748 11083550720 1862619 33554432000 4194304 4196468 140727212548608 140447462902416 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4208] ppid=4201 vsize=10823780 memory=8112282956445269571 CPUtime=32.99 cores=0,2,4,6
/proc/4204/task/4208/stat : 4208 (java) S 4201 4204 3242 0 -1 1077944384 12816 0 0 0 3148 151 0 0 20 0 17 0 95524748 11083550720 1862619 33554432000 4194304 4196468 140727212548608 140447461849616 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4209] ppid=4201 vsize=10823780 memory=4620 CPUtime=32.81 cores=0,2,4,6
/proc/4204/task/4209/stat : 4209 (java) S 4201 4204 3242 0 -1 1077944384 9781 0 0 0 3142 139 0 0 20 0 17 0 95524748 11083550720 1862619 33554432000 4194304 4196468 140727212548608 140447460796816 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4210] ppid=4201 vsize=10823780 memory=1196 CPUtime=32.84 cores=0,2,4,6
/proc/4204/task/4210/stat : 4210 (java) S 4201 4204 3242 0 -1 1077944384 23481 0 0 0 3133 151 0 0 20 0 17 0 95524748 11083550720 1862619 33554432000 4194304 4196468 140727212548608 140447459744016 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4211] ppid=4201 vsize=10823780 memory=15872 CPUtime=10.66 cores=0,2,4,6
/proc/4204/task/4211/stat : 4211 (java) S 4201 4204 3242 0 -1 1077944384 20806 0 0 0 1063 3 0 0 20 0 17 0 95524750 11083550720 1862619 33554432000 4194304 4196468 140727212548608 140447028554608 140447536839298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4212] ppid=4201 vsize=10823780 memory=18476 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4212/stat : 4212 (java) S 4201 4204 3242 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 95524750 11083550720 1862619 33554432000 4194304 4196468 140727212548608 140447027500640 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4213] ppid=4201 vsize=10823780 memory=58 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4213/stat : 4213 (java) S 4201 4204 3242 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 17 0 95524750 11083550720 1862619 33554432000 4194304 4196468 140727212548608 140447026447728 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4214] ppid=4201 vsize=10823780 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4214/stat : 4214 (java) S 4201 4204 3242 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 17 0 95524752 11083550720 1862619 33554432000 4194304 4196468 140727212548608 140447025396048 140447536846747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4215] ppid=4201 vsize=10823780 memory=28084 CPUtime=2.48 cores=0,2,4,6
/proc/4204/task/4215/stat : 4215 (java) S 4201 4204 3242 0 -1 1077944384 12784 0 0 0 246 2 0 0 20 0 17 0 95524752 11083550720 1862619 33554432000 4194304 4196468 140727212548608 140447024343408 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4216] ppid=4201 vsize=10823780 memory=1296 CPUtime=2.34 cores=0,2,4,6
/proc/4204/task/4216/stat : 4216 (java) S 4201 4204 3242 0 -1 1077944384 14078 0 0 0 232 2 0 0 20 0 17 0 95524752 11083550720 1862619 33554432000 4194304 4196468 140727212548608 140447023290608 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4217] ppid=4201 vsize=10823780 memory=2408 CPUtime=0.58 cores=0,2,4,6
/proc/4204/task/4217/stat : 4217 (java) S 4201 4204 3242 0 -1 1077944384 7350 0 0 0 56 2 0 0 20 0 17 0 95524752 11083550720 1862619 33554432000 4194304 4196468 140727212548608 140447022237808 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4218] ppid=4201 vsize=10823780 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/4204/task/4218/stat : 4218 (java) S 4201 4204 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95524753 11083550720 1862619 33554432000 4194304 4196468 140727212548608 140447021185248 140447536838357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
[pid=4204/tid=4219] ppid=4201 vsize=10823780 memory=1224 CPUtime=1.23 cores=0,2,4,6
/proc/4204/task/4219/stat : 4219 (java) S 4201 4204 3242 0 -1 1077944384 2961 0 0 0 62 61 0 0 20 0 17 0 95524753 11083550720 1862619 33554432000 4194304 4196468 140727212548608 140447020133552 140447536839298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140727212553350 140727212553503 140727212553503 140727212556239 0
Current children cumulated CPU time: 2520.16 s
Current children cumulated vsize: 10823780 KiB
Current children cumulated memory: 7450476 KiB
Child status: 143
Real time (s): 2415.27
CPU time (s): 2520.22
CPU user time (s): 2513.52
CPU system time (s): 6.69784
CPU usage (%): 104.345
Max. virtual memory (cumulated for all children) (KiB): 10823780
Max. memory (cumulated for all children) (KiB): 7450476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.52
system time used= 6.69784
maximum resident set size= 7450812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56832
involuntary context switches= 2622
# summary of solver processes directly reported to runsolver:
# pid: 4204
# total CPU time (s): 2520.22
# total CPU user time (s): 2513.52
# total CPU system time (s): 6.69784
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2434 second user time and 24.8427 second system time
The end