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-3457052-1307215871/watcher-3457052-1307215871 -o /tmp/evaluation-result-3457052-1307215871/solver-3457052-1307215871 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457052-1307215871.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: 0.00 0.00 0.00 2/468 19240
/proc/meminfo: memFree=24078964/32951124 swapFree=56297244/67111528
[pid=19240] ppid=19235 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/19240/stat : 19240 (java) R 19235 19240 19203 0 -1 4202496 959 0 0 0 0 0 0 0 17 0 1 0 911817623 23580672 702 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252453103505 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19240/statm: 5757 703 520 9 0 124 0
[pid=19240/tid=19242] ppid=19235 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19242/stat : 19242 (java) R 19235 19240 19203 0 -1 4202560 4509 0 1 0 0 0 0 0 17 0 2 0 911817623 10694979584 5325 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.026844 s]
/proc/loadavg: 0.00 0.00 0.00 2/468 19240
/proc/meminfo: memFree=24078964/32951124 swapFree=56297244/67111528
[pid=19240] ppid=19235 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/19240/stat : 19240 (java) S 19235 19240 19203 0 -1 4202496 9953 0 1 0 0 1 0 0 17 0 10 0 911817623 10703900672 9654 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/19240/statm: 2613257 9654 952 9 0 2604413 0
[pid=19240/tid=19242] ppid=19235 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/19240/task/19242/stat : 19242 (java) R 19235 19240 19203 0 -1 4202560 8832 0 1 0 0 1 0 0 18 0 10 0 911817623 10703900672 9656 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 47133298394729 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028
[startup+0.110913 s]
/proc/loadavg: 0.00 0.00 0.00 2/468 19240
/proc/meminfo: memFree=24078964/32951124 swapFree=56297244/67111528
[pid=19240] ppid=19235 vsize=10540180 CPUtime=0.11 cores=1,3,5,7
/proc/19240/stat : 19240 (java) S 19235 19240 19203 0 -1 4202496 13124 0 1 0 9 2 0 0 17 0 18 0 911817623 10793144320 12790 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19240/statm: 2635045 12790 2092 9 0 2625779 0
[pid=19240/tid=19242] ppid=19235 vsize=10540180 CPUtime=0.08 cores=1,3,5,7
/proc/19240/task/19242/stat : 19242 (java) R 19235 19240 19203 0 -1 4202560 11222 0 1 0 7 1 0 0 18 0 18 0 911817623 10793144320 12790 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 47133295714359 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540180
[startup+0.300797 s]
/proc/loadavg: 0.00 0.00 0.00 2/468 19240
/proc/meminfo: memFree=24078964/32951124 swapFree=56297244/67111528
[pid=19240] ppid=19235 vsize=10543164 CPUtime=0.46 cores=1,3,5,7
/proc/19240/stat : 19240 (java) S 19235 19240 19203 0 -1 4202496 15754 0 1 0 44 2 0 0 17 0 18 0 911817623 10796199936 15301 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19240/statm: 2635791 15301 2209 9 0 2626525 0
[pid=19240/tid=19242] ppid=19235 vsize=10543164 CPUtime=0.27 cores=1,3,5,7
/proc/19240/task/19242/stat : 19242 (java) R 19235 19240 19203 0 -1 4202560 12918 0 1 0 26 1 0 0 18 0 18 0 911817623 10796199936 15301 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 47133298802032 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10543164
[startup+0.700725 s]
/proc/loadavg: 0.00 0.00 0.00 2/468 19240
/proc/meminfo: memFree=24078964/32951124 swapFree=56297244/67111528
[pid=19240] ppid=19235 vsize=10557664 CPUtime=1.6 cores=1,3,5,7
/proc/19240/stat : 19240 (java) S 19235 19240 19203 0 -1 4202496 39503 0 1 0 155 5 0 0 17 0 19 0 911817623 10811047936 35753 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19240/statm: 2639416 35755 2222 9 0 2630150 0
[pid=19240/tid=19242] ppid=19235 vsize=10557664 CPUtime=0.68 cores=1,3,5,7
/proc/19240/task/19242/stat : 19242 (java) R 19235 19240 19203 0 -1 4202560 27753 0 1 0 64 4 0 0 19 0 19 0 911817623 10811047936 35757 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 46912505731488 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10557664
[startup+1.50161 s]
/proc/loadavg: 0.48 0.10 0.03 4/506 19278
/proc/meminfo: memFree=23597624/32951124 swapFree=56297244/67111528
[pid=19240] ppid=19235 vsize=10557664 CPUtime=2.64 cores=1,3,5,7
/proc/19240/stat : 19240 (java) S 19235 19240 19203 0 -1 4202496 123277 0 1 0 248 16 0 0 17 0 19 0 911817623 10811047936 118865 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19240/statm: 2639416 118870 2226 9 0 2630150 0
[pid=19240/tid=19242] ppid=19235 vsize=10557664 CPUtime=1.47 cores=1,3,5,7
/proc/19240/task/19242/stat : 19242 (java) R 19235 19240 19203 0 -1 4202560 110829 0 1 0 133 14 0 0 20 0 19 0 911817623 10811047936 118871 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 46912505974494 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19240/tid=19247] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19247/stat : 19247 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 911817625 10811047936 118873 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19249] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19249/stat : 19249 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 118874 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19251] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19251/stat : 19251 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 118875 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19253] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19253/stat : 19253 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 118878 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19255] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19255/stat : 19255 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 118881 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19257] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19257/stat : 19257 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 118884 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19259] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19259/stat : 19259 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 118887 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19260] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19260/stat : 19260 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 118889 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19261] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19261/stat : 19261 (java) S 19235 19240 19203 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911817626 10811047936 118892 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 0 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19263] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19263/stat : 19263 (java) S 19235 19240 19203 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 911817627 10811047936 118895 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19264] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19264/stat : 19264 (java) S 19235 19240 19203 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 911817627 10811047936 118897 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19267] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19267/stat : 19267 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817629 10811047936 118899 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469889457 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19269] ppid=19235 vsize=10557664 CPUtime=0.61 cores=1,3,5,7
/proc/19240/task/19269/stat : 19269 (java) S 19235 19240 19203 0 -1 4202560 6415 0 0 0 61 0 0 0 15 0 19 0 911817629 10811047936 118901 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19271] ppid=19235 vsize=10557664 CPUtime=0.52 cores=1,3,5,7
/proc/19240/task/19271/stat : 19271 (java) S 19235 19240 19203 0 -1 4202560 4878 0 0 0 52 0 0 0 15 0 19 0 911817629 10811047936 118903 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19273] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19273/stat : 19273 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911817629 10811047936 118905 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19275] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19275/stat : 19275 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911817629 10811047936 118907 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=19240/tid=19277] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19277/stat : 19277 (java) S 19235 19240 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817653 10811047936 118908 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 10557664
[startup+3.10131 s]
/proc/loadavg: 0.48 0.10 0.03 4/506 19278
/proc/meminfo: memFree=22703088/32951124 swapFree=56297244/67111528
[pid=19240] ppid=19235 vsize=10557664 CPUtime=4.34 cores=1,3,5,7
/proc/19240/stat : 19240 (java) S 19235 19240 19203 0 -1 4202496 293566 0 1 0 399 35 0 0 17 0 19 0 911817623 10811047936 288772 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19240/statm: 2639416 288776 2226 9 0 2630150 0
[pid=19240/tid=19242] ppid=19235 vsize=10557664 CPUtime=3.07 cores=1,3,5,7
/proc/19240/task/19242/stat : 19242 (java) R 19235 19240 19203 0 -1 4202560 280715 0 1 0 274 33 0 0 25 0 19 0 911817623 10811047936 288778 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 46912505731470 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19240/tid=19247] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19247/stat : 19247 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 911817625 10811047936 288780 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19249] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19249/stat : 19249 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 288782 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19251] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19251/stat : 19251 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 288784 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19253] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19253/stat : 19253 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 288787 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19255] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19255/stat : 19255 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 288789 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19257] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19257/stat : 19257 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 288791 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19259] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19259/stat : 19259 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 288794 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19260] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19260/stat : 19260 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 288797 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19261] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19261/stat : 19261 (java) S 19235 19240 19203 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911817626 10811047936 288799 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 0 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19263] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19263/stat : 19263 (java) S 19235 19240 19203 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 911817627 10811047936 288801 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19264] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19264/stat : 19264 (java) S 19235 19240 19203 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 911817627 10811047936 288804 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19267] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19267/stat : 19267 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817629 10811047936 288806 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469889457 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19269] ppid=19235 vsize=10557664 CPUtime=0.67 cores=1,3,5,7
/proc/19240/task/19269/stat : 19269 (java) S 19235 19240 19203 0 -1 4202560 6804 0 0 0 67 0 0 0 15 0 19 0 911817629 10811047936 288808 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19271] ppid=19235 vsize=10557664 CPUtime=0.57 cores=1,3,5,7
/proc/19240/task/19271/stat : 19271 (java) S 19235 19240 19203 0 -1 4202560 4893 0 0 0 57 0 0 0 15 0 19 0 911817629 10811047936 288810 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19273] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19273/stat : 19273 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911817629 10811047936 288813 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19275] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19275/stat : 19275 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911817629 10811047936 288816 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=19240/tid=19277] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19277/stat : 19277 (java) S 19235 19240 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817653 10811047936 288818 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 10557664
[startup+6.30072 s]
/proc/loadavg: 0.48 0.10 0.03 4/506 19278
/proc/meminfo: memFree=20200876/32951124 swapFree=56297244/67111528
[pid=19240] ppid=19235 vsize=10557664 CPUtime=7.56 cores=1,3,5,7
/proc/19240/stat : 19240 (java) S 19235 19240 19203 0 -1 4202496 594991 0 1 0 687 69 0 0 17 0 19 0 911817623 10811047936 590172 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19240/statm: 2639416 590175 2227 9 0 2630150 0
[pid=19240/tid=19242] ppid=19235 vsize=10557664 CPUtime=6.28 cores=1,3,5,7
/proc/19240/task/19242/stat : 19242 (java) R 19235 19240 19203 0 -1 4202560 582138 0 1 0 560 68 0 0 21 0 19 0 911817623 10811047936 590177 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 46912505731125 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19240/tid=19247] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19247/stat : 19247 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 911817625 10811047936 590179 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19249] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19249/stat : 19249 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 590182 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19251] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19251/stat : 19251 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 590184 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19253] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19253/stat : 19253 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 590187 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19255] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19255/stat : 19255 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 590189 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19257] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19257/stat : 19257 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 590192 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19259] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19259/stat : 19259 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 590194 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19260] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19260/stat : 19260 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817625 10811047936 590197 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19261] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19261/stat : 19261 (java) S 19235 19240 19203 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 911817626 10811047936 590199 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 0 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19263] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19263/stat : 19263 (java) S 19235 19240 19203 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 911817627 10811047936 590202 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19264] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19264/stat : 19264 (java) S 19235 19240 19203 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 911817627 10811047936 590203 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19267] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19267/stat : 19267 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817629 10811047936 590206 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469889457 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19269] ppid=19235 vsize=10557664 CPUtime=0.67 cores=1,3,5,7
/proc/19240/task/19269/stat : 19269 (java) S 19235 19240 19203 0 -1 4202560 6804 0 0 0 67 0 0 0 16 0 19 0 911817629 10811047936 590209 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19271] ppid=19235 vsize=10557664 CPUtime=0.59 cores=1,3,5,7
/proc/19240/task/19271/stat : 19271 (java) S 19235 19240 19203 0 -1 4202560 4893 0 0 0 59 0 0 0 15 0 19 0 911817629 10811047936 590211 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19273] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19273/stat : 19273 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911817629 10811047936 590215 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19275] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19275/stat : 19275 (java) S 19235 19240 19203 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 911817629 10811047936 590219 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=19240/tid=19277] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19277/stat : 19277 (java) S 19235 19240 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817653 10811047936 590223 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.56
Current children cumulated vsize (KiB) 10557664
[startup+12.7015 s]
/proc/loadavg: 0.71 0.16 0.05 4/506 19278
/proc/meminfo: memFree=18786156/32951124 swapFree=56297244/67111528
[pid=19240] ppid=19235 vsize=10557664 CPUtime=14.02 cores=1,3,5,7
/proc/19240/stat : 19240 (java) S 19235 19240 19203 0 -1 4202496 666503 0 1 0 1325 77 0 0 17 0 19 0 911817623 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19240/statm: 2639416 661679 2243 9 0 2630150 0
[pid=19240/tid=19242] ppid=19235 vsize=10557664 CPUtime=12.66 cores=1,3,5,7
/proc/19240/task/19242/stat : 19242 (java) R 19235 19240 19203 0 -1 4202560 651078 0 1 0 1190 76 0 0 25 0 19 0 911817623 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 46912505657186 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19240/tid=19247] ppid=19235 vsize=10557664 CPUtime=0.01 cores=1,3,5,7
/proc/19240/task/19247/stat : 19247 (java) S 19235 19240 19203 0 -1 4202560 1274 0 0 0 1 0 0 0 18 0 19 0 911817625 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19249] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19249/stat : 19249 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 911817625 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19251] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19251/stat : 19251 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 911817625 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19253] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19253/stat : 19253 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 911817625 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19255] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19255/stat : 19255 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 911817625 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19257] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19257/stat : 19257 (java) S 19235 19240 19203 0 -1 4202560 64 0 0 0 0 0 0 0 18 0 19 0 911817625 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=19240/tid=19259] ppid=19235 vsize=10557664 CPUtime=0.01 cores=1,3,5,7
/proc/19240/task/19259/stat : 19259 (java) S 19235 19240 19203 0 -1 4202560 1209 0 0 0 1 0 0 0 18 0 19 0 911817625 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=19240/tid=19260] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19260/stat : 19260 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 911817625 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19261] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19261/stat : 19261 (java) S 19235 19240 19203 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 911817626 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 0 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19263] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19263/stat : 19263 (java) S 19235 19240 19203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911817627 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19264] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19264/stat : 19264 (java) S 19235 19240 19203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911817627 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19267] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19267/stat : 19267 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817629 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469889457 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19269] ppid=19235 vsize=10557664 CPUtime=0.67 cores=1,3,5,7
/proc/19240/task/19269/stat : 19269 (java) S 19235 19240 19203 0 -1 4202560 6804 0 0 0 67 0 0 0 15 0 19 0 911817629 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19271] ppid=19235 vsize=10557664 CPUtime=0.63 cores=1,3,5,7
/proc/19240/task/19271/stat : 19271 (java) S 19235 19240 19203 0 -1 4202560 4907 0 0 0 63 0 0 0 15 0 19 0 911817629 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19273] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19273/stat : 19273 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911817629 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19275] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19275/stat : 19275 (java) S 19235 19240 19203 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 911817629 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=19240/tid=19277] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19277/stat : 19277 (java) S 19235 19240 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817653 10811047936 661679 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 14.02
Current children cumulated vsize (KiB) 10557664
Solver just ended. Dumping a history of the last processes samples
[startup+14.3192 s]
/proc/loadavg: 0.71 0.16 0.05 4/506 19278
/proc/meminfo: memFree=18754348/32951124 swapFree=56297244/67111528
[pid=19240] ppid=19235 vsize=10557664 CPUtime=15.66 cores=1,3,5,7
/proc/19240/stat : 19240 (java) S 19235 19240 19203 0 -1 4202496 670359 0 1 0 1489 77 0 0 17 0 19 0 911817623 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19240/statm: 2639416 665531 2243 9 0 2630150 0
[pid=19240/tid=19242] ppid=19235 vsize=10557664 CPUtime=14.26 cores=1,3,5,7
/proc/19240/task/19242/stat : 19242 (java) R 19235 19240 19203 0 -1 4202560 651079 0 1 0 1350 76 0 0 25 0 19 0 911817623 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 46912505657130 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19240/tid=19247] ppid=19235 vsize=10557664 CPUtime=0.01 cores=1,3,5,7
/proc/19240/task/19247/stat : 19247 (java) S 19235 19240 19203 0 -1 4202560 1274 0 0 0 1 0 0 0 18 0 19 0 911817625 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19249] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19249/stat : 19249 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911817625 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19251] ppid=19235 vsize=10557664 CPUtime=0.01 cores=1,3,5,7
/proc/19240/task/19251/stat : 19251 (java) S 19235 19240 19203 0 -1 4202560 1270 0 0 0 1 0 0 0 16 0 19 0 911817625 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19253] ppid=19235 vsize=10557664 CPUtime=0.01 cores=1,3,5,7
/proc/19240/task/19253/stat : 19253 (java) S 19235 19240 19203 0 -1 4202560 1137 0 0 0 1 0 0 0 16 0 19 0 911817625 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=19240/tid=19255] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19255/stat : 19255 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911817625 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=19240/tid=19257] ppid=19235 vsize=10557664 CPUtime=0.01 cores=1,3,5,7
/proc/19240/task/19257/stat : 19257 (java) S 19235 19240 19203 0 -1 4202560 1514 0 0 0 1 0 0 0 18 0 19 0 911817625 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=19240/tid=19259] ppid=19235 vsize=10557664 CPUtime=0.01 cores=1,3,5,7
/proc/19240/task/19259/stat : 19259 (java) S 19235 19240 19203 0 -1 4202560 1209 0 0 0 1 0 0 0 18 0 19 0 911817625 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=19240/tid=19260] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19260/stat : 19260 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 911817625 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19261] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19261/stat : 19261 (java) S 19235 19240 19203 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 911817626 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 0 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19263] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19263/stat : 19263 (java) S 19235 19240 19203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911817627 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19264] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19264/stat : 19264 (java) S 19235 19240 19203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911817627 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19267] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19267/stat : 19267 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817629 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469889457 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19269] ppid=19235 vsize=10557664 CPUtime=0.67 cores=1,3,5,7
/proc/19240/task/19269/stat : 19269 (java) S 19235 19240 19203 0 -1 4202560 6804 0 0 0 67 0 0 0 15 0 19 0 911817629 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19271] ppid=19235 vsize=10557664 CPUtime=0.63 cores=1,3,5,7
/proc/19240/task/19271/stat : 19271 (java) S 19235 19240 19203 0 -1 4202560 4907 0 0 0 63 0 0 0 15 0 19 0 911817629 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19273] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19273/stat : 19273 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911817629 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19275] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19275/stat : 19275 (java) S 19235 19240 19203 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 911817629 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=19240/tid=19277] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19277/stat : 19277 (java) S 19235 19240 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817653 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 15.66
Current children cumulated vsize (KiB) 10557664
[startup+14.7012 s]
/proc/loadavg: 0.71 0.16 0.05 4/506 19278
/proc/meminfo: memFree=18754348/32951124 swapFree=56297244/67111528
[pid=19240] ppid=19235 vsize=10557664 CPUtime=16.04 cores=1,3,5,7
/proc/19240/stat : 19240 (java) S 19235 19240 19203 0 -1 4202496 670359 0 1 0 1527 77 0 0 17 0 19 0 911817623 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19240/statm: 2639416 665531 2243 9 0 2630150 0
[pid=19240/tid=19242] ppid=19235 vsize=10557664 CPUtime=14.65 cores=1,3,5,7
/proc/19240/task/19242/stat : 19242 (java) R 19235 19240 19203 0 -1 4202560 651079 0 1 0 1389 76 0 0 25 0 19 0 911817623 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 46912505603571 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19240/tid=19247] ppid=19235 vsize=10557664 CPUtime=0.01 cores=1,3,5,7
/proc/19240/task/19247/stat : 19247 (java) S 19235 19240 19203 0 -1 4202560 1274 0 0 0 1 0 0 0 18 0 19 0 911817625 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19249] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19249/stat : 19249 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911817625 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19251] ppid=19235 vsize=10557664 CPUtime=0.01 cores=1,3,5,7
/proc/19240/task/19251/stat : 19251 (java) S 19235 19240 19203 0 -1 4202560 1270 0 0 0 1 0 0 0 16 0 19 0 911817625 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19253] ppid=19235 vsize=10557664 CPUtime=0.01 cores=1,3,5,7
/proc/19240/task/19253/stat : 19253 (java) S 19235 19240 19203 0 -1 4202560 1137 0 0 0 1 0 0 0 16 0 19 0 911817625 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=19240/tid=19255] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19255/stat : 19255 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911817625 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=19240/tid=19257] ppid=19235 vsize=10557664 CPUtime=0.01 cores=1,3,5,7
/proc/19240/task/19257/stat : 19257 (java) S 19235 19240 19203 0 -1 4202560 1514 0 0 0 1 0 0 0 18 0 19 0 911817625 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=19240/tid=19259] ppid=19235 vsize=10557664 CPUtime=0.01 cores=1,3,5,7
/proc/19240/task/19259/stat : 19259 (java) S 19235 19240 19203 0 -1 4202560 1209 0 0 0 1 0 0 0 18 0 19 0 911817625 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=19240/tid=19260] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19260/stat : 19260 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 911817625 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19261] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19261/stat : 19261 (java) S 19235 19240 19203 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 911817626 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 0 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19263] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19263/stat : 19263 (java) S 19235 19240 19203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911817627 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19264] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19264/stat : 19264 (java) S 19235 19240 19203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911817627 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19267] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19267/stat : 19267 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911817629 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469889457 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19269] ppid=19235 vsize=10557664 CPUtime=0.67 cores=1,3,5,7
/proc/19240/task/19269/stat : 19269 (java) S 19235 19240 19203 0 -1 4202560 6804 0 0 0 67 0 0 0 15 0 19 0 911817629 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=19240/tid=19271] ppid=19235 vsize=10557664 CPUtime=0.63 cores=1,3,5,7
/proc/19240/task/19271/stat : 19271 (java) S 19235 19240 19203 0 -1 4202560 4907 0 0 0 63 0 0 0 15 0 19 0 911817629 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19273] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19273/stat : 19273 (java) S 19235 19240 19203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911817629 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=19240/tid=19275] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19275/stat : 19275 (java) S 19235 19240 19203 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 911817629 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=19240/tid=19277] ppid=19235 vsize=10557664 CPUtime=0 cores=1,3,5,7
/proc/19240/task/19277/stat : 19277 (java) S 19235 19240 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817653 10811047936 665531 33554432000 1073741824 1073778376 140735184455744 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 16.04
Current children cumulated vsize (KiB) 10557664
[startup+14.9053 s]
/proc/loadavg: 0.71 0.16 0.05 4/506 19278
/proc/meminfo: memFree=18754348/32951124 swapFree=56297244/67111528
[pid=19240] ppid=19235 vsize=0 CPUtime=16.26 cores=1,3,5,7
/proc/19240/stat : 19240 (java) Z 19235 19240 19203 0 -1 4203548 670375 0 1 0 1545 81 0 0 15 0 2 0 911817623 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19240/statm: 0 0 0 0 0 0 0
[pid=19240/tid=19260] ppid=19235 vsize=0 CPUtime=0.02 cores=1,3,5,7
/proc/19240/task/19260/stat : 19260 (java) R 19235 19240 19203 0 -1 4203588 1 0 0 0 0 2 0 0 15 0 2 0 911817625 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 16.26
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 14.9779
CPU time (s): 16.3355
CPU user time (s): 15.4527
CPU system time (s): 0.882865
CPU usage (%): 109.064
Max. virtual memory (cumulated for all children) (KiB): 10557664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.4527
system time used= 0.882865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 670375
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= 893
involuntary context switches= 76
runsolver used 0.083987 second user time and 0.169974 second system time
The end