runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3730281-1338732441/watcher-3730281-1338732441 -o /tmp/evaluation-result-3730281-1338732441/solver-3730281-1338732441 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3730281-1338732441.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.89 2.91 3.46 4/175 554
/proc/meminfo: memFree=28415428/32873648 swapFree=7388/7388
[pid=554] ppid=550 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/554/stat : 554 (java6) D 550 554 25219 0 -1 4202496 82 0 0 0 0 0 0 0 20 0 1 0 339368605 278528 34 33554432000 1073741824 1073778376 140734850796848 140734850794024 212064103719 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/554/statm: 68 34 25 9 0 25 0
[startup+0.0347571 s]
/proc/loadavg: 1.89 2.91 3.46 4/175 554
/proc/meminfo: memFree=28415428/32873648 swapFree=7388/7388
[pid=554] ppid=550 vsize=2104932 CPUtime=0 cores=1,3,5,7
/proc/554/stat : 554 (java) S 550 554 25219 0 -1 4202496 2896 0 1 0 0 0 0 0 20 0 10 0 339368605 2155450368 3595 33554432000 1073741824 1073778376 140734618012144 140734618003280 212076625981 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/554/statm: 526233 3595 1081 9 0 517342 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2104932
[startup+0.100254 s]
/proc/loadavg: 1.89 2.91 3.46 4/175 554
/proc/meminfo: memFree=28415428/32873648 swapFree=7388/7388
[pid=554] ppid=550 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/554/stat : 554 (java) S 550 554 25219 0 -1 4202496 4450 0 1 0 6 1 0 0 20 0 18 0 339368605 2712133632 6168 33554432000 1073741824 1073778376 140734618012144 140734618003280 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/554/statm: 662142 6175 2065 9 0 652835 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2648568
[startup+0.300219 s]
/proc/loadavg: 1.89 2.91 3.46 4/175 554
/proc/meminfo: memFree=28415428/32873648 swapFree=7388/7388
[pid=554] ppid=550 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/554/stat : 554 (java) S 550 554 25219 0 -1 4202496 8179 0 1 0 52 2 0 0 20 0 19 0 339368605 2780295168 11410 33554432000 1073741824 1073778376 140734618012144 140734618003280 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/554/statm: 678783 11410 2225 9 0 669476 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2715132
[startup+0.700188 s]
/proc/loadavg: 1.89 2.91 3.46 4/175 554
/proc/meminfo: memFree=28415428/32873648 swapFree=7388/7388
[pid=554] ppid=550 vsize=2715132 CPUtime=1.2 cores=1,3,5,7
/proc/554/stat : 554 (java) S 550 554 25219 0 -1 4202496 9144 0 1 0 118 2 0 0 20 0 19 0 339368605 2780295168 11994 33554432000 1073741824 1073778376 140734618012144 140734618003280 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/554/statm: 678783 11994 2237 9 0 669476 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 2715132
[startup+1.50071 s]
/proc/loadavg: 1.89 2.91 3.46 4/213 592
/proc/meminfo: memFree=28329248/32873648 swapFree=7388/7388
[pid=554] ppid=550 vsize=2715132 CPUtime=2.01 cores=1,3,5,7
/proc/554/stat : 554 (java) S 550 554 25219 0 -1 4202496 9150 0 1 0 199 2 0 0 20 0 19 0 339368605 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140734618003280 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/554/statm: 678783 13021 2239 9 0 669476 0
[pid=554/tid=558] ppid=550 vsize=2715132 CPUtime=1.45 cores=1,3,5,7
/proc/554/task/558/stat : 558 (java) R 550 554 25219 0 -1 4202560 2765 0 1 0 145 0 0 0 20 0 19 0 339368607 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140255079551400 140254925867824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=554/tid=559] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/559/stat : 559 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140255064001320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=560] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/560/stat : 560 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140255062948520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=561] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/561/stat : 561 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140255061896232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=554/tid=562] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/562/stat : 562 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140255060843432 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=563] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/563/stat : 563 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140255059790120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=564] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/564/stat : 564 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140255058737320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=566] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/566/stat : 566 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140255057685032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=567] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/567/stat : 567 (java) S 550 554 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140255056632232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=575] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/575/stat : 575 (java) S 550 554 25219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339368609 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140255044221672 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=577] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/577/stat : 577 (java) S 550 554 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339368610 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140254925284856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=578] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/578/stat : 578 (java) S 550 554 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339368610 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140254924232456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=581] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/581/stat : 581 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368612 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140254923180944 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=583] ppid=550 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/554/task/583/stat : 583 (java) S 550 554 25219 0 -1 4202560 2464 0 0 0 25 0 0 0 20 0 19 0 339368612 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140254922127544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=585] ppid=550 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/554/task/585/stat : 585 (java) S 550 554 25219 0 -1 4202560 2725 0 0 0 27 0 0 0 20 0 19 0 339368612 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140254921074744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=587] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/587/stat : 587 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368612 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140254920022648 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=589] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/589/stat : 589 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368612 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140254918970056 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=591] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/591/stat : 591 (java) S 550 554 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339368633 2780295168 13021 33554432000 1073741824 1073778376 140734618012144 140254917916072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 2715132
[startup+3.10075 s]
/proc/loadavg: 1.89 2.91 3.46 4/213 592
/proc/meminfo: memFree=28320560/32873648 swapFree=7388/7388
[pid=554] ppid=550 vsize=2715132 CPUtime=3.62 cores=1,3,5,7
/proc/554/stat : 554 (java) S 550 554 25219 0 -1 4202496 9154 0 1 0 360 2 0 0 20 0 19 0 339368605 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140734618003280 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/554/statm: 678783 15069 2239 9 0 669476 0
[pid=554/tid=558] ppid=550 vsize=2715132 CPUtime=3.04 cores=1,3,5,7
/proc/554/task/558/stat : 558 (java) R 550 554 25219 0 -1 4202560 2769 0 1 0 303 1 0 0 20 0 19 0 339368607 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140255079551512 140254925838602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=554/tid=559] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/559/stat : 559 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140255064001320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=560] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/560/stat : 560 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140255062948520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=561] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/561/stat : 561 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140255061896232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=554/tid=562] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/562/stat : 562 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140255060843432 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=563] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/563/stat : 563 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140255059790120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=564] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/564/stat : 564 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140255058737320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=566] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/566/stat : 566 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140255057685032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=567] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/567/stat : 567 (java) S 550 554 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140255056632232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=575] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/575/stat : 575 (java) S 550 554 25219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339368609 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140255044221672 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=577] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/577/stat : 577 (java) S 550 554 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339368610 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140254925284856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=578] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/578/stat : 578 (java) S 550 554 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339368610 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140254924232456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=581] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/581/stat : 581 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368612 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140254923180944 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=583] ppid=550 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/554/task/583/stat : 583 (java) S 550 554 25219 0 -1 4202560 2464 0 0 0 25 0 0 0 20 0 19 0 339368612 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140254922127544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=585] ppid=550 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/554/task/585/stat : 585 (java) S 550 554 25219 0 -1 4202560 2725 0 0 0 28 0 0 0 20 0 19 0 339368612 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140254921074744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=587] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/587/stat : 587 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368612 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140254920022648 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=589] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/589/stat : 589 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368612 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140254918970056 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=591] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/591/stat : 591 (java) S 550 554 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339368633 2780295168 15069 33554432000 1073741824 1073778376 140734618012144 140254917916072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 2715132
[startup+6.30073 s]
/proc/loadavg: 1.90 2.90 3.45 4/213 592
/proc/meminfo: memFree=28282464/32873648 swapFree=7388/7388
[pid=554] ppid=550 vsize=2715132 CPUtime=6.85 cores=1,3,5,7
/proc/554/stat : 554 (java) S 550 554 25219 0 -1 4202496 9185 0 1 0 682 3 0 0 20 0 19 0 339368605 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140734618003280 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/554/statm: 678783 20118 2243 9 0 669476 0
[pid=554/tid=558] ppid=550 vsize=2715132 CPUtime=6.24 cores=1,3,5,7
/proc/554/task/558/stat : 558 (java) R 550 554 25219 0 -1 4202560 2781 0 1 0 623 1 0 0 20 0 19 0 339368607 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140255079549552 140254925915716 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=554/tid=559] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/559/stat : 559 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140255064001320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=560] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/560/stat : 560 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140255062948520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=561] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/561/stat : 561 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140255061896232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=554/tid=562] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/562/stat : 562 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140255060843432 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=563] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/563/stat : 563 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140255059790120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=564] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/564/stat : 564 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140255058737320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=566] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/566/stat : 566 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140255057685032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=567] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/567/stat : 567 (java) S 550 554 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339368608 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140255056632232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=575] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/575/stat : 575 (java) S 550 554 25219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339368609 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140255044221672 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=577] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/577/stat : 577 (java) S 550 554 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339368610 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140254925284856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=578] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/578/stat : 578 (java) S 550 554 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339368610 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140254924232456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=581] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/581/stat : 581 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368612 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140254923180944 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=583] ppid=550 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/554/task/583/stat : 583 (java) S 550 554 25219 0 -1 4202560 2464 0 0 0 25 0 0 0 20 0 19 0 339368612 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140254922127544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=585] ppid=550 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/554/task/585/stat : 585 (java) S 550 554 25219 0 -1 4202560 2743 0 0 0 30 0 0 0 20 0 19 0 339368612 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140254921074744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=587] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/587/stat : 587 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368612 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140254920022648 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=589] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/589/stat : 589 (java) S 550 554 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 339368612 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140254918970056 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=591] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/591/stat : 591 (java) S 550 554 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339368633 2780295168 20118 33554432000 1073741824 1073778376 140734618012144 140254917916072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
################
# More data... #
################
[pid=554/tid=583] ppid=550 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/554/task/583/stat : 583 (java) S 550 554 25219 0 -1 4202560 2482 0 0 0 33 0 0 0 20 0 19 0 339368612 2780295168 341096 33554432000 1073741824 1073778376 140734618012144 140254922127544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=585] ppid=550 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/554/task/585/stat : 585 (java) S 550 554 25219 0 -1 4202560 3841 0 0 0 42 2 0 0 20 0 19 0 339368612 2780295168 341096 33554432000 1073741824 1073778376 140734618012144 140254921074744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=587] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/587/stat : 587 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368612 2780295168 341096 33554432000 1073741824 1073778376 140734618012144 140254920022648 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=589] ppid=550 vsize=2715132 CPUtime=0.79 cores=1,3,5,7
/proc/554/task/589/stat : 589 (java) S 550 554 25219 0 -1 4202560 100 0 0 0 43 36 0 0 20 0 19 0 339368612 2780295168 341096 33554432000 1073741824 1073778376 140734618012144 140254918970056 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=591] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/591/stat : 591 (java) S 550 554 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339368633 2780295168 341096 33554432000 1073741824 1073778376 140734618012144 140254917916072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1724.41
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.20 4/213 607
/proc/meminfo: memFree=25681052/32873648 swapFree=7388/7388
[pid=554] ppid=550 vsize=2715132 CPUtime=1784.42 cores=1,3,5,7
/proc/554/stat : 554 (java) S 550 554 25219 0 -1 4202496 12210 0 1 0 178322 120 0 0 20 0 19 0 339368605 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140734618003280 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/554/statm: 678783 343096 2269 9 0 669476 0
[pid=554/tid=558] ppid=550 vsize=2715132 CPUtime=1774.6 cores=1,3,5,7
/proc/554/task/558/stat : 558 (java) R 550 554 25219 0 -1 4202560 2936 0 1 0 177429 31 0 0 20 0 19 0 339368607 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255079551264 140254925884983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=554/tid=559] ppid=550 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/554/task/559/stat : 559 (java) S 550 554 25219 0 -1 4202560 125 0 0 0 5 7 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255064001320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=554/tid=560] ppid=550 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/554/task/560/stat : 560 (java) S 550 554 25219 0 -1 4202560 153 0 0 0 6 9 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255062948520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=561] ppid=550 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/554/task/561/stat : 561 (java) S 550 554 25219 0 -1 4202560 145 0 0 0 6 9 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255061896232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=562] ppid=550 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/554/task/562/stat : 562 (java) S 550 554 25219 0 -1 4202560 283 0 0 0 13 18 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255060843432 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=563] ppid=550 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/554/task/563/stat : 563 (java) S 550 554 25219 0 -1 4202560 157 0 0 0 6 10 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255059790120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=564] ppid=550 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/554/task/564/stat : 564 (java) S 550 554 25219 0 -1 4202560 190 0 0 0 9 11 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255058737320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=566] ppid=550 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/554/task/566/stat : 566 (java) S 550 554 25219 0 -1 4202560 128 0 0 0 5 7 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255057685032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=554/tid=567] ppid=550 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/554/task/567/stat : 567 (java) S 550 554 25219 0 -1 4202560 295 0 0 0 15 18 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255056632232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=575] ppid=550 vsize=2715132 CPUtime=2.65 cores=1,3,5,7
/proc/554/task/575/stat : 575 (java) S 550 554 25219 0 -1 4202560 189 0 0 0 259 6 0 0 20 0 19 0 339368609 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255044221672 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=577] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/577/stat : 577 (java) S 550 554 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339368610 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254925284856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=578] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/578/stat : 578 (java) S 550 554 25219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339368610 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254924232456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=581] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/581/stat : 581 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368612 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254923180944 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=583] ppid=550 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/554/task/583/stat : 583 (java) S 550 554 25219 0 -1 4202560 2482 0 0 0 33 0 0 0 20 0 19 0 339368612 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254922127544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=585] ppid=550 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/554/task/585/stat : 585 (java) S 550 554 25219 0 -1 4202560 3841 0 0 0 42 2 0 0 20 0 19 0 339368612 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254921074744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=587] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/587/stat : 587 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368612 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254920022648 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=589] ppid=550 vsize=2715132 CPUtime=0.82 cores=1,3,5,7
/proc/554/task/589/stat : 589 (java) S 550 554 25219 0 -1 4202560 104 0 0 0 44 38 0 0 20 0 19 0 339368612 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254918970056 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=591] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/591/stat : 591 (java) S 550 554 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339368633 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254917916072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1784.42
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.9 s]
/proc/loadavg: 2.06 2.03 2.19 3/213 607
/proc/meminfo: memFree=25681056/32873648 swapFree=7388/7388
[pid=554] ppid=550 vsize=2715132 CPUtime=1800.03 cores=1,3,5,7
/proc/554/stat : 554 (java) S 550 554 25219 0 -1 4202496 12210 0 1 0 179883 120 0 0 20 0 19 0 339368605 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140734618003280 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/554/statm: 678783 343096 2269 9 0 669476 0
[pid=554/tid=558] ppid=550 vsize=2715132 CPUtime=1790.17 cores=1,3,5,7
/proc/554/task/558/stat : 558 (java) R 550 554 25219 0 -1 4202560 2936 0 1 0 178985 32 0 0 20 0 19 0 339368607 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255079551264 140254925885015 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=554/tid=559] ppid=550 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/554/task/559/stat : 559 (java) S 550 554 25219 0 -1 4202560 125 0 0 0 5 7 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255064001320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=554/tid=560] ppid=550 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/554/task/560/stat : 560 (java) S 550 554 25219 0 -1 4202560 153 0 0 0 6 9 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255062948520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=561] ppid=550 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/554/task/561/stat : 561 (java) S 550 554 25219 0 -1 4202560 145 0 0 0 6 9 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255061896232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=562] ppid=550 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/554/task/562/stat : 562 (java) S 550 554 25219 0 -1 4202560 283 0 0 0 13 18 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255060843432 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=563] ppid=550 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/554/task/563/stat : 563 (java) S 550 554 25219 0 -1 4202560 157 0 0 0 6 10 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255059790120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=564] ppid=550 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/554/task/564/stat : 564 (java) S 550 554 25219 0 -1 4202560 190 0 0 0 9 11 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255058737320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=566] ppid=550 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/554/task/566/stat : 566 (java) S 550 554 25219 0 -1 4202560 128 0 0 0 5 7 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255057685032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=554/tid=567] ppid=550 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/554/task/567/stat : 567 (java) S 550 554 25219 0 -1 4202560 295 0 0 0 15 18 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255056632232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=575] ppid=550 vsize=2715132 CPUtime=2.65 cores=1,3,5,7
/proc/554/task/575/stat : 575 (java) S 550 554 25219 0 -1 4202560 189 0 0 0 259 6 0 0 20 0 19 0 339368609 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255044221672 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=577] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/577/stat : 577 (java) S 550 554 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339368610 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254925284856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=578] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/578/stat : 578 (java) S 550 554 25219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339368610 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254924232456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=581] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/581/stat : 581 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368612 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254923180944 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=583] ppid=550 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/554/task/583/stat : 583 (java) S 550 554 25219 0 -1 4202560 2482 0 0 0 33 0 0 0 20 0 19 0 339368612 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254922127544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=585] ppid=550 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/554/task/585/stat : 585 (java) S 550 554 25219 0 -1 4202560 3841 0 0 0 42 2 0 0 20 0 19 0 339368612 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254921074744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=587] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/587/stat : 587 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368612 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254920022648 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=589] ppid=550 vsize=2715132 CPUtime=0.84 cores=1,3,5,7
/proc/554/task/589/stat : 589 (java) S 550 554 25219 0 -1 4202560 104 0 0 0 46 38 0 0 20 0 19 0 339368612 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254918970056 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=591] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/591/stat : 591 (java) S 550 554 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339368633 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254917916072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.9 s]
/proc/loadavg: 2.06 2.03 2.19 3/213 607
/proc/meminfo: memFree=25681056/32873648 swapFree=7388/7388
[pid=554] ppid=550 vsize=2715132 CPUtime=1800.03 cores=1,3,5,7
/proc/554/stat : 554 (java) S 550 554 25219 0 -1 4202496 12210 0 1 0 179883 120 0 0 20 0 19 0 339368605 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140734618003280 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/554/statm: 678783 343096 2269 9 0 669476 0
[pid=554/tid=558] ppid=550 vsize=2715132 CPUtime=1790.17 cores=1,3,5,7
/proc/554/task/558/stat : 558 (java) R 550 554 25219 0 -1 4202560 2936 0 1 0 178985 32 0 0 20 0 19 0 339368607 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255079551264 140254925885015 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=554/tid=559] ppid=550 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/554/task/559/stat : 559 (java) S 550 554 25219 0 -1 4202560 125 0 0 0 5 7 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255064001320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=554/tid=560] ppid=550 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/554/task/560/stat : 560 (java) S 550 554 25219 0 -1 4202560 153 0 0 0 6 9 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255062948520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=561] ppid=550 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/554/task/561/stat : 561 (java) S 550 554 25219 0 -1 4202560 145 0 0 0 6 9 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255061896232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=562] ppid=550 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/554/task/562/stat : 562 (java) S 550 554 25219 0 -1 4202560 283 0 0 0 13 18 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255060843432 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=563] ppid=550 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/554/task/563/stat : 563 (java) S 550 554 25219 0 -1 4202560 157 0 0 0 6 10 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255059790120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=564] ppid=550 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/554/task/564/stat : 564 (java) S 550 554 25219 0 -1 4202560 190 0 0 0 9 11 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255058737320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=554/tid=566] ppid=550 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/554/task/566/stat : 566 (java) S 550 554 25219 0 -1 4202560 128 0 0 0 5 7 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255057685032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=554/tid=567] ppid=550 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/554/task/567/stat : 567 (java) S 550 554 25219 0 -1 4202560 295 0 0 0 15 18 0 0 20 0 19 0 339368608 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255056632232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=575] ppid=550 vsize=2715132 CPUtime=2.65 cores=1,3,5,7
/proc/554/task/575/stat : 575 (java) S 550 554 25219 0 -1 4202560 189 0 0 0 259 6 0 0 20 0 19 0 339368609 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140255044221672 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=577] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/577/stat : 577 (java) S 550 554 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339368610 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254925284856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=578] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/578/stat : 578 (java) S 550 554 25219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339368610 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254924232456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=581] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/581/stat : 581 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368612 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254923180944 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=583] ppid=550 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/554/task/583/stat : 583 (java) S 550 554 25219 0 -1 4202560 2482 0 0 0 33 0 0 0 20 0 19 0 339368612 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254922127544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=585] ppid=550 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/554/task/585/stat : 585 (java) S 550 554 25219 0 -1 4202560 3841 0 0 0 42 2 0 0 20 0 19 0 339368612 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254921074744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=587] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/587/stat : 587 (java) S 550 554 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339368612 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254920022648 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=554/tid=589] ppid=550 vsize=2715132 CPUtime=0.84 cores=1,3,5,7
/proc/554/task/589/stat : 589 (java) S 550 554 25219 0 -1 4202560 104 0 0 0 46 38 0 0 20 0 19 0 339368612 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254918970056 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=554/tid=591] ppid=550 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/554/task/591/stat : 591 (java) S 550 554 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339368633 2780295168 343096 33554432000 1073741824 1073778376 140734618012144 140254917916072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2715132
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 554 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=509193
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=822722
# CPU time returned by wait4() is 1796.33
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1797.95
CPU time (s): 1800.03
CPU user time (s): 1798.83
CPU system time (s): 1.2
CPU usage (%): 100.116
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.51
system time used= 1.82272
maximum resident set size= 1372648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12280
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38016
involuntary context switches= 4771
runsolver used 6.44102 second user time and 15.6726 second system time
The end