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-3456409-1307658068/watcher-3456409-1307658068 -o /tmp/evaluation-result-3456409-1307658068/solver-3456409-1307658068 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456409-1307658068.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: 2.00 2.02 2.00 2/195 12688
/proc/meminfo: memFree=28161160/32951124 swapFree=67057920/67111528
[pid=12688] ppid=12686 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/12688/stat : 12688 (java) R 12686 12688 11688 0 -1 4202496 840 0 0 0 0 0 0 0 24 0 1 0 858222267 23580672 584 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254256654080 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12688/statm: 5757 595 441 9 0 124 0
[startup+0.0833609 s]
/proc/loadavg: 2.00 2.02 2.00 2/195 12688
/proc/meminfo: memFree=28161160/32951124 swapFree=67057920/67111528
[pid=12688] ppid=12686 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/12688/stat : 12688 (java) S 12686 12688 11688 0 -1 4202496 12003 0 1 0 5 1 0 0 24 0 18 0 858222267 10724442112 11700 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12688/statm: 2618272 11700 1755 9 0 2609006 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.10036 s]
/proc/loadavg: 2.00 2.02 2.00 2/195 12688
/proc/meminfo: memFree=28161160/32951124 swapFree=67057920/67111528
[pid=12688] ppid=12686 vsize=10605084 CPUtime=0.09 cores=1,3,5,7
/proc/12688/stat : 12688 (java) S 12686 12688 11688 0 -1 4202496 13038 0 1 0 8 1 0 0 24 0 18 0 858222267 10859606016 12702 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12688/statm: 2651271 12702 2092 9 0 2642005 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10605084
[startup+0.300332 s]
/proc/loadavg: 2.00 2.02 2.00 2/195 12688
/proc/meminfo: memFree=28161160/32951124 swapFree=67057920/67111528
[pid=12688] ppid=12686 vsize=10606176 CPUtime=0.46 cores=1,3,5,7
/proc/12688/stat : 12688 (java) S 12686 12688 11688 0 -1 4202496 21552 0 1 0 44 2 0 0 24 0 18 0 858222267 10860724224 20739 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12688/statm: 2651544 20742 2199 9 0 2642278 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10606176
[startup+0.704302 s]
/proc/loadavg: 2.00 2.02 2.00 2/195 12688
/proc/meminfo: memFree=28161160/32951124 swapFree=67057920/67111528
[pid=12688] ppid=12686 vsize=10617464 CPUtime=0.98 cores=1,3,5,7
/proc/12688/stat : 12688 (java) S 12686 12688 11688 0 -1 4202496 49403 0 1 0 93 5 0 0 24 0 18 0 858222267 10872283136 47156 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12688/statm: 2654366 47164 2204 9 0 2645100 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10617464
[startup+1.50111 s]
/proc/loadavg: 2.00 2.02 2.00 4/213 12706
/proc/meminfo: memFree=27898968/32951124 swapFree=67057920/67111528
[pid=12688] ppid=12686 vsize=10620944 CPUtime=2.12 cores=1,3,5,7
/proc/12688/stat : 12688 (java) S 12686 12688 11688 0 -1 4202496 114568 0 1 0 199 13 0 0 24 0 18 0 858222267 10875846656 111421 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12688/statm: 2655236 111424 2204 9 0 2645970 0
[pid=12688/tid=12690] ppid=12686 vsize=10620944 CPUtime=1.47 cores=1,3,5,7
/proc/12688/task/12690/stat : 12690 (java) R 12686 12688 11688 0 -1 4202560 103973 0 1 0 136 11 0 0 19 0 18 0 858222268 10875846656 111426 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12688/tid=12691] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12691/stat : 12691 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222270 10875846656 111428 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12692] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12692/stat : 12692 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222270 10875846656 111432 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12693] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12693/stat : 12693 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222270 10875846656 111440 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12694] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12694/stat : 12694 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222270 10875846656 111440 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12695] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12695/stat : 12695 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222270 10875846656 111440 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12696] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12696/stat : 12696 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222270 10875846656 111443 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12697] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12697/stat : 12697 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222270 10875846656 111446 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12698] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12698/stat : 12698 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222270 10875846656 111446 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12699] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12699/stat : 12699 (java) S 12686 12688 11688 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 858222271 10875846656 111447 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273433088 0 0 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12700] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12700/stat : 12700 (java) S 12686 12688 11688 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 858222271 10875846656 111449 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12701] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12701/stat : 12701 (java) S 12686 12688 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 858222271 10875846656 111451 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12702] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12702/stat : 12702 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222274 10875846656 111453 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273440177 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12703] ppid=12686 vsize=10620944 CPUtime=0.36 cores=1,3,5,7
/proc/12688/task/12703/stat : 12703 (java) S 12686 12688 11688 0 -1 4202560 5764 0 0 0 36 0 0 0 16 0 18 0 858222274 10875846656 111455 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12704] ppid=12686 vsize=10620944 CPUtime=0.26 cores=1,3,5,7
/proc/12688/task/12704/stat : 12704 (java) S 12686 12688 11688 0 -1 4202560 3686 0 0 0 26 0 0 0 15 0 18 0 858222274 10875846656 111457 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 5 0 0 0
[pid=12688/tid=12705] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12705/stat : 12705 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222274 10875846656 111459 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12706] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12706/stat : 12706 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 858222274 10875846656 111461 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273433088 0 4 0 16800975 18446604466963412032 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 10620944
[startup+3.10083 s]
/proc/loadavg: 2.08 2.04 2.01 2/193 12709
/proc/meminfo: memFree=31391712/32951124 swapFree=67057920/67111528
[pid=12688] ppid=12686 vsize=10620944 CPUtime=3.75 cores=1,3,5,7
/proc/12688/stat : 12688 (java) S 12686 12688 11688 0 -1 4202496 244454 0 1 0 344 31 0 0 24 0 18 0 858222267 10875846656 241307 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12688/statm: 2655236 241312 2210 9 0 2645970 0
[pid=12688/tid=12690] ppid=12686 vsize=10620944 CPUtime=3.08 cores=1,3,5,7
/proc/12688/task/12690/stat : 12690 (java) R 12686 12688 11688 0 -1 4202560 233859 0 1 0 279 29 0 0 25 0 18 0 858222268 10875846656 241319 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 46912505648090 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12688/tid=12691] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12691/stat : 12691 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222270 10875846656 241324 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12692] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12692/stat : 12692 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222270 10875846656 241335 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12693] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12693/stat : 12693 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222270 10875846656 241342 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12694] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12694/stat : 12694 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222270 10875846656 241350 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12695] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12695/stat : 12695 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222270 10875846656 241355 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12696] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12696/stat : 12696 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222270 10875846656 241355 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12697] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12697/stat : 12697 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222270 10875846656 241355 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12698] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12698/stat : 12698 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222270 10875846656 241355 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12699] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12699/stat : 12699 (java) S 12686 12688 11688 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 858222271 10875846656 241355 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273433088 0 0 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12700] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12700/stat : 12700 (java) S 12686 12688 11688 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 858222271 10875846656 241355 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12701] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12701/stat : 12701 (java) S 12686 12688 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 858222271 10875846656 241355 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12702] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12702/stat : 12702 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222274 10875846656 241355 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273440177 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12703] ppid=12686 vsize=10620944 CPUtime=0.36 cores=1,3,5,7
/proc/12688/task/12703/stat : 12703 (java) R 12686 12688 11688 0 -1 4202560 5767 0 0 0 36 0 0 0 15 0 18 0 858222274 10875846656 241355 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 47226025163472 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12688/tid=12704] ppid=12686 vsize=10620944 CPUtime=0.28 cores=1,3,5,7
/proc/12688/task/12704/stat : 12704 (java) R 12686 12688 11688 0 -1 4202560 3689 0 0 0 28 0 0 0 15 0 18 0 858222274 10875846656 241355 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 47226024521560 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12688/tid=12705] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12705/stat : 12705 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858222274 10875846656 241355 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12706] ppid=12686 vsize=10620944 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12706/stat : 12706 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 858222274 10875846656 241355 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273433088 0 4 0 16800975 18446604466963412032 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 10620944
[startup+6.30127 s]
/proc/loadavg: 2.08 2.04 2.01 4/213 12765
/proc/meminfo: memFree=30351788/32951124 swapFree=67057920/67111528
[pid=12688] ppid=12686 vsize=10621972 CPUtime=7.49 cores=1,3,5,7
/proc/12688/stat : 12688 (java) S 12686 12688 11688 0 -1 4202496 484867 0 1 0 692 57 0 0 24 0 19 0 858222267 10876899328 481348 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12688/statm: 2655493 481357 2236 9 0 2646227 0
[pid=12688/tid=12690] ppid=12686 vsize=10621972 CPUtime=6.28 cores=1,3,5,7
/proc/12688/task/12690/stat : 12690 (java) R 12686 12688 11688 0 -1 4202560 474079 0 1 0 573 55 0 0 21 0 19 0 858222268 10876899328 481362 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 46912505957183 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12688/tid=12691] ppid=12686 vsize=10621972 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12691/stat : 12691 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858222270 10876899328 481367 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12692] ppid=12686 vsize=10621972 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12692/stat : 12692 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858222270 10876899328 481372 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12693] ppid=12686 vsize=10621972 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12693/stat : 12693 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858222270 10876899328 481378 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12694] ppid=12686 vsize=10621972 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12694/stat : 12694 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858222270 10876899328 481380 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12695] ppid=12686 vsize=10621972 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12695/stat : 12695 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858222270 10876899328 481380 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12696] ppid=12686 vsize=10621972 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12696/stat : 12696 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858222270 10876899328 481380 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12697] ppid=12686 vsize=10621972 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12697/stat : 12697 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858222270 10876899328 481383 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12698] ppid=12686 vsize=10621972 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12698/stat : 12698 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858222270 10876899328 481388 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12699] ppid=12686 vsize=10621972 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12699/stat : 12699 (java) S 12686 12688 11688 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 858222271 10876899328 481394 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273433088 0 0 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12700] ppid=12686 vsize=10621972 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12700/stat : 12700 (java) S 12686 12688 11688 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858222271 10876899328 481398 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12701] ppid=12686 vsize=10621972 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12701/stat : 12701 (java) S 12686 12688 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858222271 10876899328 481404 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12702] ppid=12686 vsize=10621972 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12702/stat : 12702 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858222274 10876899328 481409 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273440177 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12703] ppid=12686 vsize=10621972 CPUtime=0.64 cores=1,3,5,7
/proc/12688/task/12703/stat : 12703 (java) S 12686 12688 11688 0 -1 4202560 5902 0 0 0 64 0 0 0 15 0 19 0 858222274 10876899328 481415 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12704] ppid=12686 vsize=10621972 CPUtime=0.54 cores=1,3,5,7
/proc/12688/task/12704/stat : 12704 (java) S 12686 12688 11688 0 -1 4202560 3740 0 0 0 54 0 0 0 16 0 19 0 858222274 10876899328 481418 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 5 0 0 0
[pid=12688/tid=12705] ppid=12686 vsize=10621972 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12705/stat : 12705 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858222274 10876899328 481418 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12706] ppid=12686 vsize=10621972 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12706/stat : 12706 (java) S 12686 12688 11688 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 858222274 10876899328 481418 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273433088 0 4 0 16800975 18446604466963412032 0 0 -1 7 0 0 0
[pid=12688/tid=12738] ppid=12686 vsize=10621972 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12738/stat : 12738 (java) S 12686 12688 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858222659 10876899328 481420 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273433088 0 4 0 16800975 18446604466963412032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.49
Current children cumulated vsize (KiB) 10621972
[startup+12.7011 s]
/proc/loadavg: 2.14 2.05 2.01 3/214 12766
/proc/meminfo: memFree=27334344/32951124 swapFree=67057920/67111528
[pid=12688] ppid=12686 vsize=10615020 CPUtime=15.13 cores=1,3,5,7
/proc/12688/stat : 12688 (java) S 12686 12688 11688 0 -1 4202496 779093 0 1 0 1425 88 0 0 24 0 19 0 858222267 10869780480 774189 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
################
# More data... #
################
[pid=12688/tid=12738] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12738/stat : 12738 (java) S 12686 12688 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858222659 10871308288 1113886 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273433088 0 4 0 16800975 18446604466963412032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1673.01
Current children cumulated vsize (KiB) 10616512
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/214 12815
/proc/meminfo: memFree=23024660/32951124 swapFree=67057920/67111528
[pid=12688] ppid=12686 vsize=10616512 CPUtime=1733.2 cores=1,3,5,7
/proc/12688/stat : 12688 (java) S 12686 12688 11688 0 -1 4202496 1143078 0 1 0 173186 134 0 0 24 0 19 0 858222267 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12688/statm: 2654128 1118813 2265 9 0 2644862 0
[pid=12688/tid=12690] ppid=12686 vsize=10616512 CPUtime=1715.54 cores=1,3,5,7
/proc/12688/task/12690/stat : 12690 (java) R 12686 12688 11688 0 -1 4202560 692664 0 1 0 171477 77 0 0 25 0 19 0 858222268 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 46912505892875 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12688/tid=12691] ppid=12686 vsize=10616512 CPUtime=1.52 cores=1,3,5,7
/proc/12688/task/12691/stat : 12691 (java) S 12686 12688 11688 0 -1 4202560 48137 0 0 0 147 5 0 0 16 0 19 0 858222270 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12692] ppid=12686 vsize=10616512 CPUtime=1.54 cores=1,3,5,7
/proc/12688/task/12692/stat : 12692 (java) S 12686 12688 11688 0 -1 4202560 46196 0 0 0 148 6 0 0 16 0 19 0 858222270 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 7 0 0 0
[pid=12688/tid=12693] ppid=12686 vsize=10616512 CPUtime=1.56 cores=1,3,5,7
/proc/12688/task/12693/stat : 12693 (java) S 12686 12688 11688 0 -1 4202560 55009 0 0 0 150 6 0 0 16 0 19 0 858222270 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12694] ppid=12686 vsize=10616512 CPUtime=1.41 cores=1,3,5,7
/proc/12688/task/12694/stat : 12694 (java) S 12686 12688 11688 0 -1 4202560 35387 0 0 0 138 3 0 0 16 0 19 0 858222270 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 5 0 0 0
[pid=12688/tid=12695] ppid=12686 vsize=10616512 CPUtime=1.73 cores=1,3,5,7
/proc/12688/task/12695/stat : 12695 (java) S 12686 12688 11688 0 -1 4202560 62555 0 0 0 164 9 0 0 15 0 19 0 858222270 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 5 0 0 0
[pid=12688/tid=12696] ppid=12686 vsize=10616512 CPUtime=1.59 cores=1,3,5,7
/proc/12688/task/12696/stat : 12696 (java) S 12686 12688 11688 0 -1 4202560 58260 0 0 0 152 7 0 0 15 0 19 0 858222270 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 7 0 0 0
[pid=12688/tid=12697] ppid=12686 vsize=10616512 CPUtime=1.45 cores=1,3,5,7
/proc/12688/task/12697/stat : 12697 (java) S 12686 12688 11688 0 -1 4202560 66400 0 0 0 137 8 0 0 15 0 19 0 858222270 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12698] ppid=12686 vsize=10616512 CPUtime=1.41 cores=1,3,5,7
/proc/12688/task/12698/stat : 12698 (java) S 12686 12688 11688 0 -1 4202560 49360 0 0 0 136 5 0 0 16 0 19 0 858222270 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12699] ppid=12686 vsize=10616512 CPUtime=3.56 cores=1,3,5,7
/proc/12688/task/12699/stat : 12699 (java) S 12686 12688 11688 0 -1 4202560 17943 0 0 0 353 3 0 0 15 0 19 0 858222271 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273433088 0 0 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12700] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12700/stat : 12700 (java) S 12686 12688 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858222271 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12701] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12701/stat : 12701 (java) S 12686 12688 11688 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858222271 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12702] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12702/stat : 12702 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858222274 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273440177 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12703] ppid=12686 vsize=10616512 CPUtime=0.98 cores=1,3,5,7
/proc/12688/task/12703/stat : 12703 (java) S 12686 12688 11688 0 -1 4202560 6143 0 0 0 98 0 0 0 15 0 19 0 858222274 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12704] ppid=12686 vsize=10616512 CPUtime=0.8 cores=1,3,5,7
/proc/12688/task/12704/stat : 12704 (java) S 12686 12688 11688 0 -1 4202560 3773 0 0 0 80 0 0 0 15 0 19 0 858222274 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 5 0 0 0
[pid=12688/tid=12705] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12705/stat : 12705 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858222274 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12706] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12706/stat : 12706 (java) S 12686 12688 11688 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 858222274 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273433088 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12738] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12738/stat : 12738 (java) S 12686 12688 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858222659 10871308288 1118813 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273433088 0 4 0 16800975 18446604466963412032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1733.2
Current children cumulated vsize (KiB) 10616512
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 12816
/proc/meminfo: memFree=22994232/32951124 swapFree=67057920/67111528
[pid=12688] ppid=12686 vsize=10616512 CPUtime=1793.29 cores=1,3,5,7
/proc/12688/stat : 12688 (java) S 12686 12688 11688 0 -1 4202496 1145986 0 1 0 179194 135 0 0 24 0 19 0 858222267 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12688/statm: 2654128 1121656 2265 9 0 2644862 0
[pid=12688/tid=12690] ppid=12686 vsize=10616512 CPUtime=1775.51 cores=1,3,5,7
/proc/12688/task/12690/stat : 12690 (java) R 12686 12688 11688 0 -1 4202560 692665 0 1 0 177474 77 0 0 25 0 19 0 858222268 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 46912505655271 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12688/tid=12691] ppid=12686 vsize=10616512 CPUtime=1.55 cores=1,3,5,7
/proc/12688/task/12691/stat : 12691 (java) S 12686 12688 11688 0 -1 4202560 48579 0 0 0 150 5 0 0 16 0 19 0 858222270 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 5 0 0 0
[pid=12688/tid=12692] ppid=12686 vsize=10616512 CPUtime=1.54 cores=1,3,5,7
/proc/12688/task/12692/stat : 12692 (java) S 12686 12688 11688 0 -1 4202560 46196 0 0 0 148 6 0 0 15 0 19 0 858222270 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 7 0 0 0
[pid=12688/tid=12693] ppid=12686 vsize=10616512 CPUtime=1.6 cores=1,3,5,7
/proc/12688/task/12693/stat : 12693 (java) S 12686 12688 11688 0 -1 4202560 56464 0 0 0 153 7 0 0 16 0 19 0 858222270 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12694] ppid=12686 vsize=10616512 CPUtime=1.44 cores=1,3,5,7
/proc/12688/task/12694/stat : 12694 (java) S 12686 12688 11688 0 -1 4202560 35823 0 0 0 141 3 0 0 16 0 19 0 858222270 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 7 0 0 0
[pid=12688/tid=12695] ppid=12686 vsize=10616512 CPUtime=1.73 cores=1,3,5,7
/proc/12688/task/12695/stat : 12695 (java) S 12686 12688 11688 0 -1 4202560 62555 0 0 0 164 9 0 0 15 0 19 0 858222270 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 5 0 0 0
[pid=12688/tid=12696] ppid=12686 vsize=10616512 CPUtime=1.59 cores=1,3,5,7
/proc/12688/task/12696/stat : 12696 (java) S 12686 12688 11688 0 -1 4202560 58260 0 0 0 152 7 0 0 15 0 19 0 858222270 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 7 0 0 0
[pid=12688/tid=12697] ppid=12686 vsize=10616512 CPUtime=1.48 cores=1,3,5,7
/proc/12688/task/12697/stat : 12697 (java) S 12686 12688 11688 0 -1 4202560 66970 0 0 0 140 8 0 0 16 0 19 0 858222270 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12698] ppid=12686 vsize=10616512 CPUtime=1.41 cores=1,3,5,7
/proc/12688/task/12698/stat : 12698 (java) S 12686 12688 11688 0 -1 4202560 49360 0 0 0 136 5 0 0 15 0 19 0 858222270 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12699] ppid=12686 vsize=10616512 CPUtime=3.56 cores=1,3,5,7
/proc/12688/task/12699/stat : 12699 (java) S 12686 12688 11688 0 -1 4202560 17945 0 0 0 353 3 0 0 15 0 19 0 858222271 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273433088 0 0 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12700] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12700/stat : 12700 (java) S 12686 12688 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858222271 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12701] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12701/stat : 12701 (java) S 12686 12688 11688 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858222271 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12702] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12702/stat : 12702 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858222274 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273440177 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12703] ppid=12686 vsize=10616512 CPUtime=0.98 cores=1,3,5,7
/proc/12688/task/12703/stat : 12703 (java) S 12686 12688 11688 0 -1 4202560 6143 0 0 0 98 0 0 0 15 0 19 0 858222274 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12704] ppid=12686 vsize=10616512 CPUtime=0.8 cores=1,3,5,7
/proc/12688/task/12704/stat : 12704 (java) S 12686 12688 11688 0 -1 4202560 3773 0 0 0 80 0 0 0 15 0 19 0 858222274 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 5 0 0 0
[pid=12688/tid=12705] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12705/stat : 12705 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858222274 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12706] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12706/stat : 12706 (java) S 12686 12688 11688 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 858222274 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273433088 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12738] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12738/stat : 12738 (java) S 12686 12688 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858222659 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273433088 0 4 0 16800975 18446604466963412032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1793.29
Current children cumulated vsize (KiB) 10616512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 12816
/proc/meminfo: memFree=22994108/32951124 swapFree=67057920/67111528
[pid=12688] ppid=12686 vsize=10616512 CPUtime=1800.09 cores=1,3,5,7
/proc/12688/stat : 12688 (java) S 12686 12688 11688 0 -1 4202496 1145988 0 1 0 179874 135 0 0 24 0 19 0 858222267 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12688/statm: 2654128 1121656 2265 9 0 2644862 0
[pid=12688/tid=12690] ppid=12686 vsize=10616512 CPUtime=1782.31 cores=1,3,5,7
/proc/12688/task/12690/stat : 12690 (java) R 12686 12688 11688 0 -1 4202560 692665 0 1 0 178154 77 0 0 25 0 19 0 858222268 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 46912505892828 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12688/tid=12691] ppid=12686 vsize=10616512 CPUtime=1.55 cores=1,3,5,7
/proc/12688/task/12691/stat : 12691 (java) S 12686 12688 11688 0 -1 4202560 48579 0 0 0 150 5 0 0 16 0 19 0 858222270 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 5 0 0 0
[pid=12688/tid=12692] ppid=12686 vsize=10616512 CPUtime=1.54 cores=1,3,5,7
/proc/12688/task/12692/stat : 12692 (java) S 12686 12688 11688 0 -1 4202560 46196 0 0 0 148 6 0 0 15 0 19 0 858222270 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 7 0 0 0
[pid=12688/tid=12693] ppid=12686 vsize=10616512 CPUtime=1.6 cores=1,3,5,7
/proc/12688/task/12693/stat : 12693 (java) S 12686 12688 11688 0 -1 4202560 56464 0 0 0 153 7 0 0 16 0 19 0 858222270 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12694] ppid=12686 vsize=10616512 CPUtime=1.44 cores=1,3,5,7
/proc/12688/task/12694/stat : 12694 (java) S 12686 12688 11688 0 -1 4202560 35823 0 0 0 141 3 0 0 16 0 19 0 858222270 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 7 0 0 0
[pid=12688/tid=12695] ppid=12686 vsize=10616512 CPUtime=1.73 cores=1,3,5,7
/proc/12688/task/12695/stat : 12695 (java) S 12686 12688 11688 0 -1 4202560 62555 0 0 0 164 9 0 0 15 0 19 0 858222270 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 5 0 0 0
[pid=12688/tid=12696] ppid=12686 vsize=10616512 CPUtime=1.59 cores=1,3,5,7
/proc/12688/task/12696/stat : 12696 (java) S 12686 12688 11688 0 -1 4202560 58260 0 0 0 152 7 0 0 15 0 19 0 858222270 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 7 0 0 0
[pid=12688/tid=12697] ppid=12686 vsize=10616512 CPUtime=1.48 cores=1,3,5,7
/proc/12688/task/12697/stat : 12697 (java) S 12686 12688 11688 0 -1 4202560 66970 0 0 0 140 8 0 0 16 0 19 0 858222270 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12698] ppid=12686 vsize=10616512 CPUtime=1.41 cores=1,3,5,7
/proc/12688/task/12698/stat : 12698 (java) S 12686 12688 11688 0 -1 4202560 49360 0 0 0 136 5 0 0 15 0 19 0 858222270 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12699] ppid=12686 vsize=10616512 CPUtime=3.56 cores=1,3,5,7
/proc/12688/task/12699/stat : 12699 (java) S 12686 12688 11688 0 -1 4202560 17945 0 0 0 353 3 0 0 15 0 19 0 858222271 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273433088 0 0 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12700] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12700/stat : 12700 (java) S 12686 12688 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858222271 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12701] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12701/stat : 12701 (java) S 12686 12688 11688 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858222271 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12702] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12702/stat : 12702 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858222274 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273440177 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12703] ppid=12686 vsize=10616512 CPUtime=0.98 cores=1,3,5,7
/proc/12688/task/12703/stat : 12703 (java) S 12686 12688 11688 0 -1 4202560 6143 0 0 0 98 0 0 0 15 0 19 0 858222274 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12704] ppid=12686 vsize=10616512 CPUtime=0.8 cores=1,3,5,7
/proc/12688/task/12704/stat : 12704 (java) S 12686 12688 11688 0 -1 4202560 3773 0 0 0 80 0 0 0 15 0 19 0 858222274 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 5 0 0 0
[pid=12688/tid=12705] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12705/stat : 12705 (java) S 12686 12688 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858222274 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273432473 0 4 0 16800975 18446604466963412032 0 0 -1 1 0 0 0
[pid=12688/tid=12706] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12706/stat : 12706 (java) S 12686 12688 11688 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 858222274 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273433088 0 4 0 16800975 18446604466963412032 0 0 -1 3 0 0 0
[pid=12688/tid=12738] ppid=12686 vsize=10616512 CPUtime=0 cores=1,3,5,7
/proc/12688/task/12738/stat : 12738 (java) S 12686 12688 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858222659 10871308288 1121656 33554432000 1073741824 1073778376 140734493770736 18446744073709551615 254273433088 0 4 0 16800975 18446604466963412032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10616512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1789.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 12816
/proc/meminfo: memFree=22994108/32951124 swapFree=67057920/67111528
[pid=12688] ppid=12686 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/12688/stat : 12688 (java) Z 12686 12688 11688 0 -1 4203548 1146020 0 1 0 179878 142 0 0 17 0 2 0 858222267 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12688/statm: 0 0 0 0 0 0 0
[pid=12688/tid=12690] ppid=12686 vsize=0 CPUtime=1782.4 cores=1,3,5,7
/proc/12688/task/12690/stat : 12690 (java) R 12686 12688 11688 0 -1 4203588 692665 0 1 0 178156 84 0 0 25 0 2 0 858222268 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
[startup+1789.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 12816
/proc/meminfo: memFree=22994108/32951124 swapFree=67057920/67111528
[pid=12688] ppid=12686 vsize=0 CPUtime=1800.29 cores=1,3,5,7
/proc/12688/stat : 12688 (java) Z 12686 12688 11688 0 -1 4203548 1146020 0 1 0 179878 151 0 0 17 0 2 0 858222267 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12688/statm: 0 0 0 0 0 0 0
[pid=12688/tid=12690] ppid=12686 vsize=0 CPUtime=1782.49 cores=1,3,5,7
/proc/12688/task/12690/stat : 12690 (java) R 12686 12688 11688 0 -1 4203588 692665 0 1 0 178156 93 0 0 25 0 2 0 858222268 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1789.31
CPU time (s): 1800.31
CPU user time (s): 1798.79
CPU system time (s): 1.52377
CPU usage (%): 100.615
Max. virtual memory (cumulated for all children) (KiB): 10621972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.52377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1146020
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= 39471
involuntary context switches= 14613
runsolver used 2.80357 second user time and 6.97594 second system time
The end