runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456800-1307656277/watcher-3456800-1307656277 -o /tmp/evaluation-result-3456800-1307656277/solver-3456800-1307656277 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456800-1307656277.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.77 1.96 1.93 3/176 12553
/proc/meminfo: memFree=32055932/32951124 swapFree=67057920/67111528
[pid=12553] ppid=12549 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/12553/stat : 12553 (java) R 12549 12553 11688 0 -1 4202496 397 0 0 0 0 0 0 0 17 0 1 0 858043079 9318400 145 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 1073760416 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12553/statm: 2275 150 110 9 0 67 0
[startup+0.102544 s]
/proc/loadavg: 1.77 1.96 1.93 3/176 12553
/proc/meminfo: memFree=32055932/32951124 swapFree=67057920/67111528
[pid=12553] ppid=12549 vsize=10539808 CPUtime=0.11 cores=1,3,5,7
/proc/12553/stat : 12553 (java) S 12549 12553 11688 0 -1 4202496 13009 0 1 0 9 2 0 0 17 0 18 0 858043079 10792763392 12704 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12553/statm: 2634952 12706 2092 9 0 2625686 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539808
[startup+0.200515 s]
/proc/loadavg: 1.77 1.96 1.93 3/176 12553
/proc/meminfo: memFree=32055932/32951124 swapFree=67057920/67111528
[pid=12553] ppid=12549 vsize=10539808 CPUtime=0.11 cores=1,3,5,7
/proc/12553/stat : 12553 (java) S 12549 12553 11688 0 -1 4202496 13023 0 1 0 9 2 0 0 17 0 18 0 858043079 10792763392 12718 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12553/statm: 2634952 12718 2092 9 0 2625686 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539808
[startup+0.3005 s]
/proc/loadavg: 1.77 1.96 1.93 3/176 12553
/proc/meminfo: memFree=32055932/32951124 swapFree=67057920/67111528
[pid=12553] ppid=12549 vsize=10539808 CPUtime=0.11 cores=1,3,5,7
/proc/12553/stat : 12553 (java) S 12549 12553 11688 0 -1 4202496 13023 0 1 0 9 2 0 0 17 0 18 0 858043079 10792763392 12718 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12553/statm: 2634952 12718 2092 9 0 2625686 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539808
[startup+0.700422 s]
/proc/loadavg: 1.77 1.96 1.93 3/176 12553
/proc/meminfo: memFree=32055932/32951124 swapFree=67057920/67111528
[pid=12553] ppid=12549 vsize=10553284 CPUtime=0.86 cores=1,3,5,7
/proc/12553/stat : 12553 (java) S 12549 12553 11688 0 -1 4202496 29191 0 1 0 83 3 0 0 17 0 18 0 858043079 10806562816 25371 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12553/statm: 2638321 25374 2210 9 0 2629055 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10553284
[startup+1.50129 s]
/proc/loadavg: 1.77 1.96 1.93 6/213 12590
/proc/meminfo: memFree=31658964/32951124 swapFree=67057920/67111528
[pid=12553] ppid=12549 vsize=10551484 CPUtime=2.35 cores=1,3,5,7
/proc/12553/stat : 12553 (java) S 12549 12553 11688 0 -1 4202496 75310 0 1 0 226 9 0 0 17 0 19 0 858043079 10804719616 69289 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12553/statm: 2637871 69290 2235 9 0 2628605 0
[pid=12553/tid=12557] ppid=12549 vsize=10551484 CPUtime=1.19 cores=1,3,5,7
/proc/12553/task/12557/stat : 12557 (java) R 12549 12553 11688 0 -1 4202560 63322 0 1 0 112 7 0 0 19 0 19 0 858043080 10804719616 69291 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 46912505838159 0 4 0 16800975 0 0 0 -1 3 0 0 28
[pid=12553/tid=12558] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12558/stat : 12558 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 858043082 10804719616 69292 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12559] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12559/stat : 12559 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 69292 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12560] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12560/stat : 12560 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 69293 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12561] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12561/stat : 12561 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 69293 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12562] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12562/stat : 12562 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 69294 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12563] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12563/stat : 12563 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 69294 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12564] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12564/stat : 12564 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 69295 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12565] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12565/stat : 12565 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 69296 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12575] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12575/stat : 12575 (java) S 12549 12553 11688 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858043083 10804719616 69296 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 0 0 16800975 18446604454225506560 0 0 -1 7 0 0 0
[pid=12553/tid=12577] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12577/stat : 12577 (java) S 12549 12553 11688 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 858043084 10804719616 69297 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12579] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12579/stat : 12579 (java) S 12549 12553 11688 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858043084 10804719616 69298 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12582] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12582/stat : 12582 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043086 10804719616 69299 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273440177 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12583] ppid=12549 vsize=10551484 CPUtime=0.64 cores=1,3,5,7
/proc/12553/task/12583/stat : 12583 (java) R 12549 12553 11688 0 -1 4202560 5860 0 0 0 64 0 0 0 16 0 19 0 858043086 10804719616 69299 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 47023218187382 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12553/tid=12586] ppid=12549 vsize=10551484 CPUtime=0.49 cores=1,3,5,7
/proc/12553/task/12586/stat : 12586 (java) S 12549 12553 11688 0 -1 4202560 4969 0 0 0 49 0 0 0 16 0 19 0 858043086 10804719616 69300 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12587] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12587/stat : 12587 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858043086 10804719616 69301 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12589] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12589/stat : 12589 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858043086 10804719616 69301 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 4 0 16800975 18446604454225506560 0 0 -1 7 0 0 0
[pid=12553/tid=12590] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12590/stat : 12590 (java) S 12549 12553 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858043184 10804719616 69302 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 4 0 16800975 18446604454225506560 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 10551484
[startup+3.10101 s]
/proc/loadavg: 1.77 1.96 1.93 4/214 12591
/proc/meminfo: memFree=31154276/32951124 swapFree=67057920/67111528
[pid=12553] ppid=12549 vsize=10551484 CPUtime=4.36 cores=1,3,5,7
/proc/12553/stat : 12553 (java) S 12549 12553 11688 0 -1 4202496 249921 0 1 0 409 27 0 0 17 0 19 0 858043079 10804719616 241258 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12553/statm: 2637871 241260 2235 9 0 2628605 0
[pid=12553/tid=12557] ppid=12549 vsize=10551484 CPUtime=2.78 cores=1,3,5,7
/proc/12553/task/12557/stat : 12557 (java) R 12549 12553 11688 0 -1 4202560 235227 0 1 0 253 25 0 0 23 0 19 0 858043080 10804719616 241260 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 46912505838159 0 4 0 16800975 0 0 0 -1 3 0 0 28
[pid=12553/tid=12558] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12558/stat : 12558 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 858043082 10804719616 241261 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12559] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12559/stat : 12559 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 241261 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12560] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12560/stat : 12560 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 241262 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12561] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12561/stat : 12561 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 241263 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12562] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12562/stat : 12562 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 241263 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12563] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12563/stat : 12563 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 241264 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12564] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12564/stat : 12564 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 241265 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12565] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12565/stat : 12565 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 241266 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12575] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12575/stat : 12575 (java) S 12549 12553 11688 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 858043083 10804719616 241267 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 0 0 16800975 18446604454225506560 0 0 -1 7 0 0 0
[pid=12553/tid=12577] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12577/stat : 12577 (java) S 12549 12553 11688 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 858043084 10804719616 241268 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12579] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12579/stat : 12579 (java) S 12549 12553 11688 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858043084 10804719616 241269 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12582] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12582/stat : 12582 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043086 10804719616 241270 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273440177 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12583] ppid=12549 vsize=10551484 CPUtime=0.85 cores=1,3,5,7
/proc/12553/task/12583/stat : 12583 (java) S 12549 12553 11688 0 -1 4202560 7131 0 0 0 84 1 0 0 15 0 19 0 858043086 10804719616 241271 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12586] ppid=12549 vsize=10551484 CPUtime=0.7 cores=1,3,5,7
/proc/12553/task/12586/stat : 12586 (java) S 12549 12553 11688 0 -1 4202560 6403 0 0 0 70 0 0 0 15 0 19 0 858043086 10804719616 241273 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12587] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12587/stat : 12587 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858043086 10804719616 241274 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12589] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12589/stat : 12589 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858043086 10804719616 241275 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 4 0 16800975 18446604454225506560 0 0 -1 7 0 0 0
[pid=12553/tid=12590] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12590/stat : 12590 (java) S 12549 12553 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858043184 10804719616 241276 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 4 0 16800975 18446604454225506560 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 10551484
[startup+6.30144 s]
/proc/loadavg: 1.79 1.96 1.93 4/214 12591
/proc/meminfo: memFree=29196356/32951124 swapFree=67057920/67111528
[pid=12553] ppid=12549 vsize=10551484 CPUtime=7.58 cores=1,3,5,7
/proc/12553/stat : 12553 (java) S 12549 12553 11688 0 -1 4202496 589644 0 1 0 692 66 0 0 17 0 19 0 858043079 10804719616 580701 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12553/statm: 2637871 580719 2235 9 0 2628605 0
[pid=12553/tid=12557] ppid=12549 vsize=10551484 CPUtime=5.99 cores=1,3,5,7
/proc/12553/task/12557/stat : 12557 (java) R 12549 12553 11688 0 -1 4202560 574979 0 1 0 535 64 0 0 18 0 19 0 858043080 10804719616 580733 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 46912506190579 0 4 0 16800975 0 0 0 -1 3 0 0 28
[pid=12553/tid=12558] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12558/stat : 12558 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 858043082 10804719616 580742 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12559] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12559/stat : 12559 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 580744 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12560] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12560/stat : 12560 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 580745 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12561] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12561/stat : 12561 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 580746 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12562] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12562/stat : 12562 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 580749 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12563] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12563/stat : 12563 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 580752 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12564] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12564/stat : 12564 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 580755 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12565] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12565/stat : 12565 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043082 10804719616 580757 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12575] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12575/stat : 12575 (java) S 12549 12553 11688 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 858043083 10804719616 580760 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 0 0 16800975 18446604454225506560 0 0 -1 7 0 0 0
[pid=12553/tid=12577] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12577/stat : 12577 (java) S 12549 12553 11688 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 858043084 10804719616 580763 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12579] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12579/stat : 12579 (java) S 12549 12553 11688 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858043084 10804719616 580767 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12582] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12582/stat : 12582 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043086 10804719616 580769 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273440177 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12583] ppid=12549 vsize=10551484 CPUtime=0.87 cores=1,3,5,7
/proc/12553/task/12583/stat : 12583 (java) S 12549 12553 11688 0 -1 4202560 7132 0 0 0 86 1 0 0 15 0 19 0 858043086 10804719616 580771 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12586] ppid=12549 vsize=10551484 CPUtime=0.7 cores=1,3,5,7
/proc/12553/task/12586/stat : 12586 (java) S 12549 12553 11688 0 -1 4202560 6403 0 0 0 70 0 0 0 15 0 19 0 858043086 10804719616 580774 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12587] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12587/stat : 12587 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858043086 10804719616 580777 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12589] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12589/stat : 12589 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858043086 10804719616 580779 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 4 0 16800975 18446604454225506560 0 0 -1 7 0 0 0
[pid=12553/tid=12590] ppid=12549 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12590/stat : 12590 (java) S 12549 12553 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858043184 10804719616 580782 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 4 0 16800975 18446604454225506560 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.58
Current children cumulated vsize (KiB) 10551484
[startup+12.7013 s]
################
# More data... #
################
/proc/12553/task/12577/stat : 12577 (java) S 12549 12553 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858043084 10871828480 933177 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12579] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12579/stat : 12579 (java) S 12549 12553 11688 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858043084 10871828480 933177 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12582] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12582/stat : 12582 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043086 10871828480 933177 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273440177 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12583] ppid=12549 vsize=10617020 CPUtime=1.24 cores=1,3,5,7
/proc/12553/task/12583/stat : 12583 (java) S 12549 12553 11688 0 -1 4202560 7178 0 0 0 123 1 0 0 15 0 19 0 858043086 10871828480 933177 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12586] ppid=12549 vsize=10617020 CPUtime=0.73 cores=1,3,5,7
/proc/12553/task/12586/stat : 12586 (java) S 12549 12553 11688 0 -1 4202560 6408 0 0 0 73 0 0 0 15 0 19 0 858043086 10871828480 933177 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12587] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12587/stat : 12587 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858043086 10871828480 933177 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12589] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12589/stat : 12589 (java) S 12549 12553 11688 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 858043086 10871828480 933177 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12590] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12590/stat : 12590 (java) S 12549 12553 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858043184 10871828480 933177 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 4 0 16800975 18446604454225506560 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1672.68
Current children cumulated vsize (KiB) 10617020
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/214 12646
/proc/meminfo: memFree=24447180/32951124 swapFree=67057920/67111528
[pid=12553] ppid=12549 vsize=10617020 CPUtime=1733.11 cores=1,3,5,7
/proc/12553/stat : 12553 (java) S 12549 12553 11688 0 -1 4202496 945349 0 1 0 173201 110 0 0 17 0 19 0 858043079 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12553/statm: 2654255 934278 2264 9 0 2644989 0
[pid=12553/tid=12557] ppid=12549 vsize=10617020 CPUtime=1717.4 cores=1,3,5,7
/proc/12553/task/12557/stat : 12557 (java) R 12549 12553 11688 0 -1 4202560 817971 0 1 0 171651 89 0 0 25 0 19 0 858043080 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 46912506167238 0 4 0 16800975 0 0 0 -1 5 0 0 28
[pid=12553/tid=12558] ppid=12549 vsize=10617020 CPUtime=1.52 cores=1,3,5,7
/proc/12553/task/12558/stat : 12558 (java) S 12549 12553 11688 0 -1 4202560 8960 0 0 0 151 1 0 0 15 0 19 0 858043082 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12559] ppid=12549 vsize=10617020 CPUtime=1.56 cores=1,3,5,7
/proc/12553/task/12559/stat : 12559 (java) S 12549 12553 11688 0 -1 4202560 12007 0 0 0 154 2 0 0 15 0 19 0 858043082 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 3 0 0 0
[pid=12553/tid=12560] ppid=12549 vsize=10617020 CPUtime=1.73 cores=1,3,5,7
/proc/12553/task/12560/stat : 12560 (java) S 12549 12553 11688 0 -1 4202560 13101 0 0 0 171 2 0 0 15 0 19 0 858043082 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12561] ppid=12549 vsize=10617020 CPUtime=1.59 cores=1,3,5,7
/proc/12553/task/12561/stat : 12561 (java) S 12549 12553 11688 0 -1 4202560 11343 0 0 0 158 1 0 0 16 0 19 0 858043082 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 7 0 0 0
[pid=12553/tid=12562] ppid=12549 vsize=10617020 CPUtime=1.33 cores=1,3,5,7
/proc/12553/task/12562/stat : 12562 (java) S 12549 12553 11688 0 -1 4202560 10117 0 0 0 132 1 0 0 16 0 19 0 858043082 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12563] ppid=12549 vsize=10617020 CPUtime=1.57 cores=1,3,5,7
/proc/12553/task/12563/stat : 12563 (java) S 12549 12553 11688 0 -1 4202560 13857 0 0 0 156 1 0 0 16 0 19 0 858043082 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 3 0 0 0
[pid=12553/tid=12564] ppid=12549 vsize=10617020 CPUtime=1.55 cores=1,3,5,7
/proc/12553/task/12564/stat : 12564 (java) S 12549 12553 11688 0 -1 4202560 11366 0 0 0 153 2 0 0 16 0 19 0 858043082 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12565] ppid=12549 vsize=10617020 CPUtime=1.6 cores=1,3,5,7
/proc/12553/task/12565/stat : 12565 (java) S 12549 12553 11688 0 -1 4202560 12139 0 0 0 159 1 0 0 15 0 19 0 858043082 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 3 0 0 0
[pid=12553/tid=12575] ppid=12549 vsize=10617020 CPUtime=1.19 cores=1,3,5,7
/proc/12553/task/12575/stat : 12575 (java) S 12549 12553 11688 0 -1 4202560 19650 0 0 0 115 4 0 0 15 0 19 0 858043083 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 0 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12577] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12577/stat : 12577 (java) S 12549 12553 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858043084 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12579] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12579/stat : 12579 (java) S 12549 12553 11688 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858043084 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12582] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12582/stat : 12582 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043086 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273440177 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12583] ppid=12549 vsize=10617020 CPUtime=1.24 cores=1,3,5,7
/proc/12553/task/12583/stat : 12583 (java) S 12549 12553 11688 0 -1 4202560 7178 0 0 0 123 1 0 0 15 0 19 0 858043086 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12586] ppid=12549 vsize=10617020 CPUtime=0.73 cores=1,3,5,7
/proc/12553/task/12586/stat : 12586 (java) S 12549 12553 11688 0 -1 4202560 6408 0 0 0 73 0 0 0 15 0 19 0 858043086 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12587] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12587/stat : 12587 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858043086 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12589] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12589/stat : 12589 (java) S 12549 12553 11688 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 858043086 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12590] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12590/stat : 12590 (java) S 12549 12553 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858043184 10871828480 934278 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 4 0 16800975 18446604454225506560 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1733.11
Current children cumulated vsize (KiB) 10617020
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/214 12647
/proc/meminfo: memFree=24442664/32951124 swapFree=67057920/67111528
[pid=12553] ppid=12549 vsize=10617020 CPUtime=1793.55 cores=1,3,5,7
/proc/12553/stat : 12553 (java) S 12549 12553 11688 0 -1 4202496 946325 0 1 0 179245 110 0 0 17 0 19 0 858043079 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12553/statm: 2654255 935223 2264 9 0 2644989 0
[pid=12553/tid=12557] ppid=12549 vsize=10617020 CPUtime=1777.24 cores=1,3,5,7
/proc/12553/task/12557/stat : 12557 (java) R 12549 12553 11688 0 -1 4202560 817981 0 1 0 177635 89 0 0 25 0 19 0 858043080 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 46912505954347 0 4 0 16800975 0 0 0 -1 5 0 0 28
[pid=12553/tid=12558] ppid=12549 vsize=10617020 CPUtime=1.57 cores=1,3,5,7
/proc/12553/task/12558/stat : 12558 (java) S 12549 12553 11688 0 -1 4202560 9185 0 0 0 156 1 0 0 16 0 19 0 858043082 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12559] ppid=12549 vsize=10617020 CPUtime=1.64 cores=1,3,5,7
/proc/12553/task/12559/stat : 12559 (java) S 12549 12553 11688 0 -1 4202560 12109 0 0 0 162 2 0 0 15 0 19 0 858043082 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 7 0 0 0
[pid=12553/tid=12560] ppid=12549 vsize=10617020 CPUtime=1.81 cores=1,3,5,7
/proc/12553/task/12560/stat : 12560 (java) S 12549 12553 11688 0 -1 4202560 13217 0 0 0 179 2 0 0 16 0 19 0 858043082 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12561] ppid=12549 vsize=10617020 CPUtime=1.67 cores=1,3,5,7
/proc/12553/task/12561/stat : 12561 (java) S 12549 12553 11688 0 -1 4202560 11499 0 0 0 166 1 0 0 16 0 19 0 858043082 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 7 0 0 0
[pid=12553/tid=12562] ppid=12549 vsize=10617020 CPUtime=1.41 cores=1,3,5,7
/proc/12553/task/12562/stat : 12562 (java) S 12549 12553 11688 0 -1 4202560 10204 0 0 0 140 1 0 0 16 0 19 0 858043082 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 3 0 0 0
[pid=12553/tid=12563] ppid=12549 vsize=10617020 CPUtime=1.65 cores=1,3,5,7
/proc/12553/task/12563/stat : 12563 (java) S 12549 12553 11688 0 -1 4202560 13956 0 0 0 164 1 0 0 15 0 19 0 858043082 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12564] ppid=12549 vsize=10617020 CPUtime=1.62 cores=1,3,5,7
/proc/12553/task/12564/stat : 12564 (java) S 12549 12553 11688 0 -1 4202560 11475 0 0 0 160 2 0 0 15 0 19 0 858043082 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12565] ppid=12549 vsize=10617020 CPUtime=1.67 cores=1,3,5,7
/proc/12553/task/12565/stat : 12565 (java) S 12549 12553 11688 0 -1 4202560 12205 0 0 0 166 1 0 0 15 0 19 0 858043082 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12575] ppid=12549 vsize=10617020 CPUtime=1.19 cores=1,3,5,7
/proc/12553/task/12575/stat : 12575 (java) S 12549 12553 11688 0 -1 4202560 19654 0 0 0 115 4 0 0 15 0 19 0 858043083 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 0 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12577] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12577/stat : 12577 (java) S 12549 12553 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858043084 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12579] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12579/stat : 12579 (java) S 12549 12553 11688 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858043084 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12582] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12582/stat : 12582 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043086 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273440177 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12583] ppid=12549 vsize=10617020 CPUtime=1.24 cores=1,3,5,7
/proc/12553/task/12583/stat : 12583 (java) S 12549 12553 11688 0 -1 4202560 7178 0 0 0 123 1 0 0 15 0 19 0 858043086 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12586] ppid=12549 vsize=10617020 CPUtime=0.73 cores=1,3,5,7
/proc/12553/task/12586/stat : 12586 (java) S 12549 12553 11688 0 -1 4202560 6408 0 0 0 73 0 0 0 15 0 19 0 858043086 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12587] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12587/stat : 12587 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858043086 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12589] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12589/stat : 12589 (java) S 12549 12553 11688 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 858043086 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12590] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12590/stat : 12590 (java) S 12549 12553 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858043184 10871828480 935223 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 4 0 16800975 18446604454225506560 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1793.55
Current children cumulated vsize (KiB) 10617020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788.71 s]
/proc/loadavg: 2.00 2.02 2.00 3/214 12648
/proc/meminfo: memFree=24442168/32951124 swapFree=67057920/67111528
[pid=12553] ppid=12549 vsize=10617020 CPUtime=1800 cores=1,3,5,7
/proc/12553/stat : 12553 (java) S 12549 12553 11688 0 -1 4202496 946463 0 1 0 179890 110 0 0 17 0 19 0 858043079 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12553/statm: 2654255 935356 2264 9 0 2644989 0
[pid=12553/tid=12557] ppid=12549 vsize=10617020 CPUtime=1783.64 cores=1,3,5,7
/proc/12553/task/12557/stat : 12557 (java) R 12549 12553 11688 0 -1 4202560 817982 0 1 0 178275 89 0 0 25 0 19 0 858043080 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 46912505607438 0 4 0 16800975 0 0 0 -1 5 0 0 28
[pid=12553/tid=12558] ppid=12549 vsize=10617020 CPUtime=1.57 cores=1,3,5,7
/proc/12553/task/12558/stat : 12558 (java) S 12549 12553 11688 0 -1 4202560 9185 0 0 0 156 1 0 0 15 0 19 0 858043082 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12559] ppid=12549 vsize=10617020 CPUtime=1.65 cores=1,3,5,7
/proc/12553/task/12559/stat : 12559 (java) S 12549 12553 11688 0 -1 4202560 12132 0 0 0 163 2 0 0 16 0 19 0 858043082 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 7 0 0 0
[pid=12553/tid=12560] ppid=12549 vsize=10617020 CPUtime=1.81 cores=1,3,5,7
/proc/12553/task/12560/stat : 12560 (java) S 12549 12553 11688 0 -1 4202560 13217 0 0 0 179 2 0 0 15 0 19 0 858043082 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12561] ppid=12549 vsize=10617020 CPUtime=1.67 cores=1,3,5,7
/proc/12553/task/12561/stat : 12561 (java) S 12549 12553 11688 0 -1 4202560 11499 0 0 0 166 1 0 0 15 0 19 0 858043082 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 7 0 0 0
[pid=12553/tid=12562] ppid=12549 vsize=10617020 CPUtime=1.42 cores=1,3,5,7
/proc/12553/task/12562/stat : 12562 (java) S 12549 12553 11688 0 -1 4202560 10217 0 0 0 141 1 0 0 16 0 19 0 858043082 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 3 0 0 0
[pid=12553/tid=12563] ppid=12549 vsize=10617020 CPUtime=1.66 cores=1,3,5,7
/proc/12553/task/12563/stat : 12563 (java) S 12549 12553 11688 0 -1 4202560 13987 0 0 0 165 1 0 0 16 0 19 0 858043082 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12564] ppid=12549 vsize=10617020 CPUtime=1.64 cores=1,3,5,7
/proc/12553/task/12564/stat : 12564 (java) S 12549 12553 11688 0 -1 4202560 11543 0 0 0 162 2 0 0 16 0 19 0 858043082 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12565] ppid=12549 vsize=10617020 CPUtime=1.67 cores=1,3,5,7
/proc/12553/task/12565/stat : 12565 (java) S 12549 12553 11688 0 -1 4202560 12205 0 0 0 166 1 0 0 15 0 19 0 858043082 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12575] ppid=12549 vsize=10617020 CPUtime=1.19 cores=1,3,5,7
/proc/12553/task/12575/stat : 12575 (java) S 12549 12553 11688 0 -1 4202560 19654 0 0 0 115 4 0 0 15 0 19 0 858043083 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 0 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12577] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12577/stat : 12577 (java) S 12549 12553 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858043084 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12579] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12579/stat : 12579 (java) S 12549 12553 11688 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858043084 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12582] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12582/stat : 12582 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858043086 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273440177 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12583] ppid=12549 vsize=10617020 CPUtime=1.24 cores=1,3,5,7
/proc/12553/task/12583/stat : 12583 (java) S 12549 12553 11688 0 -1 4202560 7178 0 0 0 123 1 0 0 15 0 19 0 858043086 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12586] ppid=12549 vsize=10617020 CPUtime=0.73 cores=1,3,5,7
/proc/12553/task/12586/stat : 12586 (java) S 12549 12553 11688 0 -1 4202560 6408 0 0 0 73 0 0 0 15 0 19 0 858043086 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 5 0 0 0
[pid=12553/tid=12587] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12587/stat : 12587 (java) S 12549 12553 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858043086 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273432473 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12589] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12589/stat : 12589 (java) S 12549 12553 11688 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 858043086 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 4 0 16800975 18446604454225506560 0 0 -1 1 0 0 0
[pid=12553/tid=12590] ppid=12549 vsize=10617020 CPUtime=0 cores=1,3,5,7
/proc/12553/task/12590/stat : 12590 (java) S 12549 12553 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858043184 10871828480 935356 33554432000 1073741824 1073778376 140735533651376 18446744073709551615 254273433088 0 4 0 16800975 18446604454225506560 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 10617020
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/214 12648
/proc/meminfo: memFree=24442168/32951124 swapFree=67057920/67111528
[pid=12553] ppid=12549 vsize=0 CPUtime=1800.27 cores=1,3,5,7
/proc/12553/stat : 12553 (java) Z 12549 12553 11688 0 -1 4203548 946630 0 1 0 179904 123 0 0 15 0 2 0 858043079 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12553/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1788.91
CPU time (s): 1800.29
CPU user time (s): 1799.05
CPU system time (s): 1.24481
CPU usage (%): 100.636
Max. virtual memory (cumulated for all children) (KiB): 10617020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.24481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 946630
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44163
involuntary context switches= 9765
runsolver used 2.99454 second user time and 6.80297 second system time
The end