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-3456396-1307647732/watcher-3456396-1307647732 -o /tmp/evaluation-result-3456396-1307647732/solver-3456396-1307647732 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456396-1307647732.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.92 1.98 1.99 2/195 14343
/proc/meminfo: memFree=28556384/32951124 swapFree=67049456/67111528
[pid=14343] ppid=14341 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/14343/stat : 14343 (java) R 14341 14343 12325 0 -1 4202496 951 0 0 0 0 0 0 0 22 0 1 0 955003879 23580672 695 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224279963112 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14343/statm: 5757 695 512 9 0 124 0
[startup+0.076338 s]
/proc/loadavg: 1.92 1.98 1.99 2/195 14343
/proc/meminfo: memFree=28556384/32951124 swapFree=67049456/67111528
[pid=14343] ppid=14341 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/14343/stat : 14343 (java) S 14341 14343 12325 0 -1 4202496 11917 0 1 0 5 1 0 0 22 0 18 0 955003879 10791550976 11614 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14343/statm: 2634656 11614 1755 9 0 2625390 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538624
[startup+0.100336 s]
/proc/loadavg: 1.92 1.98 1.99 2/195 14343
/proc/meminfo: memFree=28556384/32951124 swapFree=67049456/67111528
[pid=14343] ppid=14341 vsize=10539684 CPUtime=0.1 cores=1,3,5,7
/proc/14343/stat : 14343 (java) S 14341 14343 12325 0 -1 4202496 13038 0 1 0 9 1 0 0 22 0 18 0 955003879 10792636416 12709 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14343/statm: 2634921 12709 2093 9 0 2625655 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539684
[startup+0.300269 s]
/proc/loadavg: 1.92 1.98 1.99 2/195 14343
/proc/meminfo: memFree=28556384/32951124 swapFree=67049456/67111528
[pid=14343] ppid=14341 vsize=10546380 CPUtime=0.54 cores=1,3,5,7
/proc/14343/stat : 14343 (java) S 14341 14343 12325 0 -1 4202496 22043 0 1 0 52 2 0 0 22 0 18 0 955003879 10799493120 20394 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14343/statm: 2636595 20397 2204 9 0 2627329 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10546380
[startup+0.700334 s]
/proc/loadavg: 1.92 1.98 1.99 2/195 14343
/proc/meminfo: memFree=28556384/32951124 swapFree=67049456/67111528
[pid=14343] ppid=14341 vsize=10549512 CPUtime=1.47 cores=1,3,5,7
/proc/14343/stat : 14343 (java) S 14341 14343 12325 0 -1 4202496 39401 0 1 0 143 4 0 0 22 0 19 0 955003879 10802700288 36184 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14343/statm: 2637378 36184 2221 9 0 2628112 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10549512
[startup+1.50111 s]
/proc/loadavg: 1.92 1.98 1.99 4/214 14362
/proc/meminfo: memFree=28316812/32951124 swapFree=67049456/67111528
[pid=14343] ppid=14341 vsize=10550384 CPUtime=2.6 cores=1,3,5,7
/proc/14343/stat : 14343 (java) S 14341 14343 12325 0 -1 4202496 127602 0 1 0 247 13 0 0 22 0 19 0 955003879 10803593216 124384 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14343/statm: 2637596 124384 2228 9 0 2628330 0
[pid=14343/tid=14345] ppid=14341 vsize=10550384 CPUtime=1.47 cores=1,3,5,7
/proc/14343/task/14345/stat : 14345 (java) R 14341 14343 12325 0 -1 4202560 116300 0 1 0 136 11 0 0 18 0 19 0 955003879 10803593216 124384 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 46912505909387 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14343/tid=14346] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14346/stat : 14346 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 955003881 10803593216 124384 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14347] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14347/stat : 14347 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 955003881 10803593216 124384 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14348] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14348/stat : 14348 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 955003881 10803593216 124384 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14349] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14349/stat : 14349 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 955003881 10803593216 124385 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14350] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14350/stat : 14350 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 955003881 10803593216 124385 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14351] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14351/stat : 14351 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 955003881 10803593216 124385 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14352] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14352/stat : 14352 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 955003881 10803593216 124385 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14353] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14353/stat : 14353 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 955003881 10803593216 124385 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14354] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14354/stat : 14354 (java) S 14341 14343 12325 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 955003882 10803593216 124385 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 0 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14355] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14355/stat : 14355 (java) S 14341 14343 12325 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 955003883 10803593216 124385 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14356] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14356/stat : 14356 (java) S 14341 14343 12325 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 955003883 10803593216 124385 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14357] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14357/stat : 14357 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 955003885 10803593216 124385 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296749489 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14358] ppid=14341 vsize=10550384 CPUtime=0.61 cores=1,3,5,7
/proc/14343/task/14358/stat : 14358 (java) S 14341 14343 12325 0 -1 4202560 6539 0 0 0 60 1 0 0 15 0 19 0 955003885 10803593216 124385 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14359] ppid=14341 vsize=10550384 CPUtime=0.49 cores=1,3,5,7
/proc/14343/task/14359/stat : 14359 (java) S 14341 14343 12325 0 -1 4202560 3602 0 0 0 49 0 0 0 23 0 19 0 955003885 10803593216 124385 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14360] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14360/stat : 14360 (java) S 14341 14343 12325 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 955003885 10803593216 124386 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14361] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14361/stat : 14361 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 955003885 10803593216 124386 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14362] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14362/stat : 14362 (java) S 14341 14343 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 955003932 10803593216 124386 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 10550384
[startup+3.10084 s]
/proc/loadavg: 1.92 1.98 1.99 3/214 14362
/proc/meminfo: memFree=27759308/32951124 swapFree=67049456/67111528
[pid=14343] ppid=14341 vsize=10550384 CPUtime=4.22 cores=1,3,5,7
/proc/14343/stat : 14343 (java) S 14341 14343 12325 0 -1 4202496 348549 0 1 0 387 35 0 0 22 0 19 0 955003879 10803593216 345330 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14343/statm: 2637596 345341 2228 9 0 2628330 0
[pid=14343/tid=14345] ppid=14341 vsize=10550384 CPUtime=3.08 cores=1,3,5,7
/proc/14343/task/14345/stat : 14345 (java) R 14341 14343 12325 0 -1 4202560 337262 0 1 0 275 33 0 0 21 0 19 0 955003879 10803593216 345345 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 46912505623256 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14343/tid=14346] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14346/stat : 14346 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 955003881 10803593216 345345 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14347] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14347/stat : 14347 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 955003881 10803593216 345345 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14348] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14348/stat : 14348 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 955003881 10803593216 345346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14349] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14349/stat : 14349 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 955003881 10803593216 345353 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14350] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14350/stat : 14350 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 955003881 10803593216 345359 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14351] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14351/stat : 14351 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 955003881 10803593216 345363 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14352] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14352/stat : 14352 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 955003881 10803593216 345363 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14353] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14353/stat : 14353 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 955003881 10803593216 345363 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14354] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14354/stat : 14354 (java) S 14341 14343 12325 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 955003882 10803593216 345364 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 0 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14355] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14355/stat : 14355 (java) S 14341 14343 12325 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 955003883 10803593216 345370 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14356] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14356/stat : 14356 (java) S 14341 14343 12325 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 955003883 10803593216 345376 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14357] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14357/stat : 14357 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 955003885 10803593216 345380 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296749489 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14358] ppid=14341 vsize=10550384 CPUtime=0.63 cores=1,3,5,7
/proc/14343/task/14358/stat : 14358 (java) S 14341 14343 12325 0 -1 4202560 6539 0 0 0 62 1 0 0 15 0 19 0 955003885 10803593216 345380 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14359] ppid=14341 vsize=10550384 CPUtime=0.49 cores=1,3,5,7
/proc/14343/task/14359/stat : 14359 (java) S 14341 14343 12325 0 -1 4202560 3602 0 0 0 49 0 0 0 18 0 19 0 955003885 10803593216 345380 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14360] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14360/stat : 14360 (java) S 14341 14343 12325 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 955003885 10803593216 345382 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14361] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14361/stat : 14361 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 955003885 10803593216 345388 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14362] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14362/stat : 14362 (java) S 14341 14343 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 955003932 10803593216 345394 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 10550384
[startup+6.3013 s]
/proc/loadavg: 1.93 1.98 1.99 3/214 14362
/proc/meminfo: memFree=25909668/32951124 swapFree=67049456/67111528
[pid=14343] ppid=14341 vsize=10550384 CPUtime=7.46 cores=1,3,5,7
/proc/14343/stat : 14343 (java) S 14341 14343 12325 0 -1 4202496 666702 0 1 0 680 66 0 0 22 0 19 0 955003879 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14343/statm: 2637596 662346 2242 9 0 2628330 0
[pid=14343/tid=14345] ppid=14341 vsize=10550384 CPUtime=6.26 cores=1,3,5,7
/proc/14343/task/14345/stat : 14345 (java) R 14341 14343 12325 0 -1 4202560 651012 0 1 0 563 63 0 0 21 0 19 0 955003879 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 46912505966324 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14343/tid=14346] ppid=14341 vsize=10550384 CPUtime=0.01 cores=1,3,5,7
/proc/14343/task/14346/stat : 14346 (java) S 14341 14343 12325 0 -1 4202560 1508 0 0 0 1 0 0 0 18 0 19 0 955003881 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14347] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14347/stat : 14347 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 955003881 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14348] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14348/stat : 14348 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 955003881 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14349] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14349/stat : 14349 (java) S 14341 14343 12325 0 -1 4202560 909 0 0 0 0 0 0 0 18 0 19 0 955003881 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14350] ppid=14341 vsize=10550384 CPUtime=0.01 cores=1,3,5,7
/proc/14343/task/14350/stat : 14350 (java) S 14341 14343 12325 0 -1 4202560 980 0 0 0 1 0 0 0 18 0 19 0 955003881 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14351] ppid=14341 vsize=10550384 CPUtime=0.01 cores=1,3,5,7
/proc/14343/task/14351/stat : 14351 (java) S 14341 14343 12325 0 -1 4202560 986 0 0 0 1 0 0 0 18 0 19 0 955003881 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14352] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14352/stat : 14352 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 955003881 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14353] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14353/stat : 14353 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 955003881 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14354] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14354/stat : 14354 (java) S 14341 14343 12325 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 955003882 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 0 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14355] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14355/stat : 14355 (java) S 14341 14343 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 955003883 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14356] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14356/stat : 14356 (java) S 14341 14343 12325 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 955003883 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14357] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14357/stat : 14357 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 955003885 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296749489 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14358] ppid=14341 vsize=10550384 CPUtime=0.63 cores=1,3,5,7
/proc/14343/task/14358/stat : 14358 (java) S 14341 14343 12325 0 -1 4202560 6539 0 0 0 62 1 0 0 15 0 19 0 955003885 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14359] ppid=14341 vsize=10550384 CPUtime=0.49 cores=1,3,5,7
/proc/14343/task/14359/stat : 14359 (java) S 14341 14343 12325 0 -1 4202560 3602 0 0 0 49 0 0 0 18 0 19 0 955003885 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14360] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14360/stat : 14360 (java) S 14341 14343 12325 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 955003885 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14361] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14361/stat : 14361 (java) S 14341 14343 12325 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 955003885 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14362] ppid=14341 vsize=10550384 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14362/stat : 14362 (java) S 14341 14343 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 955003932 10803593216 662346 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 10550384
[startup+12.7012 s]
################
# More data... #
################
/proc/14343/task/14356/stat : 14356 (java) S 14341 14343 12325 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 955003883 10817474560 1022160 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14357] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14357/stat : 14357 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 955003885 10817474560 1022160 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296749489 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14358] ppid=14341 vsize=10563940 CPUtime=1.44 cores=1,3,5,7
/proc/14343/task/14358/stat : 14358 (java) S 14341 14343 12325 0 -1 4202560 11029 0 0 0 143 1 0 0 15 0 19 0 955003885 10817474560 1022160 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14359] ppid=14341 vsize=10563940 CPUtime=1.66 cores=1,3,5,7
/proc/14343/task/14359/stat : 14359 (java) S 14341 14343 12325 0 -1 4202560 7970 0 0 0 165 1 0 0 15 0 19 0 955003885 10817474560 1022160 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14360] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14360/stat : 14360 (java) S 14341 14343 12325 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 955003885 10817474560 1022160 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14361] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14361/stat : 14361 (java) S 14341 14343 12325 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 955003885 10817474560 1022160 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14362] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14362/stat : 14362 (java) S 14341 14343 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 955003932 10817474560 1022160 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1669.86
Current children cumulated vsize (KiB) 10563940
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 14470
/proc/meminfo: memFree=24579332/32951124 swapFree=67049456/67111528
[pid=14343] ppid=14341 vsize=10563940 CPUtime=1730.08 cores=1,3,5,7
/proc/14343/stat : 14343 (java) S 14341 14343 12325 0 -1 4202496 1040601 0 1 0 172895 113 0 0 22 0 19 0 955003879 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14343/statm: 2640985 1026202 2258 9 0 2631719 0
[pid=14343/tid=14345] ppid=14341 vsize=10563940 CPUtime=1717.61 cores=1,3,5,7
/proc/14343/task/14345/stat : 14345 (java) R 14341 14343 12325 0 -1 4202560 831264 0 1 0 171679 82 0 0 25 0 19 0 955003879 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 46912506303561 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14343/tid=14346] ppid=14341 vsize=10563940 CPUtime=0.8 cores=1,3,5,7
/proc/14343/task/14346/stat : 14346 (java) S 14341 14343 12325 0 -1 4202560 23005 0 0 0 76 4 0 0 15 0 19 0 955003881 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14347] ppid=14341 vsize=10563940 CPUtime=0.84 cores=1,3,5,7
/proc/14343/task/14347/stat : 14347 (java) S 14341 14343 12325 0 -1 4202560 24863 0 0 0 81 3 0 0 16 0 19 0 955003881 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14348] ppid=14341 vsize=10563940 CPUtime=0.81 cores=1,3,5,7
/proc/14343/task/14348/stat : 14348 (java) S 14341 14343 12325 0 -1 4202560 21532 0 0 0 79 2 0 0 16 0 19 0 955003881 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14349] ppid=14341 vsize=10563940 CPUtime=0.77 cores=1,3,5,7
/proc/14343/task/14349/stat : 14349 (java) S 14341 14343 12325 0 -1 4202560 21862 0 0 0 74 3 0 0 15 0 19 0 955003881 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14350] ppid=14341 vsize=10563940 CPUtime=0.77 cores=1,3,5,7
/proc/14343/task/14350/stat : 14350 (java) S 14341 14343 12325 0 -1 4202560 22767 0 0 0 74 3 0 0 15 0 19 0 955003881 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14351] ppid=14341 vsize=10563940 CPUtime=0.67 cores=1,3,5,7
/proc/14343/task/14351/stat : 14351 (java) S 14341 14343 12325 0 -1 4202560 17332 0 0 0 64 3 0 0 15 0 19 0 955003881 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14352] ppid=14341 vsize=10563940 CPUtime=0.81 cores=1,3,5,7
/proc/14343/task/14352/stat : 14352 (java) S 14341 14343 12325 0 -1 4202560 20285 0 0 0 79 2 0 0 16 0 19 0 955003881 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14353] ppid=14341 vsize=10563940 CPUtime=0.82 cores=1,3,5,7
/proc/14343/task/14353/stat : 14353 (java) S 14341 14343 12325 0 -1 4202560 24250 0 0 0 80 2 0 0 16 0 19 0 955003881 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14354] ppid=14341 vsize=10563940 CPUtime=2.96 cores=1,3,5,7
/proc/14343/task/14354/stat : 14354 (java) S 14341 14343 12325 0 -1 4202560 13193 0 0 0 294 2 0 0 15 0 19 0 955003882 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 0 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14355] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14355/stat : 14355 (java) S 14341 14343 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 955003883 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14356] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14356/stat : 14356 (java) S 14341 14343 12325 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 955003883 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14357] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14357/stat : 14357 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 955003885 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296749489 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14358] ppid=14341 vsize=10563940 CPUtime=1.44 cores=1,3,5,7
/proc/14343/task/14358/stat : 14358 (java) S 14341 14343 12325 0 -1 4202560 11029 0 0 0 143 1 0 0 15 0 19 0 955003885 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14359] ppid=14341 vsize=10563940 CPUtime=1.66 cores=1,3,5,7
/proc/14343/task/14359/stat : 14359 (java) S 14341 14343 12325 0 -1 4202560 7970 0 0 0 165 1 0 0 15 0 19 0 955003885 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14360] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14360/stat : 14360 (java) S 14341 14343 12325 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 955003885 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14361] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14361/stat : 14361 (java) S 14341 14343 12325 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 955003885 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14362] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14362/stat : 14362 (java) S 14341 14343 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 955003932 10817474560 1026202 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1730.08
Current children cumulated vsize (KiB) 10563940
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 14472
/proc/meminfo: memFree=24567620/32951124 swapFree=67049456/67111528
[pid=14343] ppid=14341 vsize=10563940 CPUtime=1790.26 cores=1,3,5,7
/proc/14343/stat : 14343 (java) S 14341 14343 12325 0 -1 4202496 1043434 0 1 0 178913 113 0 0 22 0 19 0 955003879 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14343/statm: 2640985 1028917 2258 9 0 2631719 0
[pid=14343/tid=14345] ppid=14341 vsize=10563940 CPUtime=1777.54 cores=1,3,5,7
/proc/14343/task/14345/stat : 14345 (java) R 14341 14343 12325 0 -1 4202560 831268 0 1 0 177672 82 0 0 25 0 19 0 955003879 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 46912505827288 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14343/tid=14346] ppid=14341 vsize=10563940 CPUtime=0.81 cores=1,3,5,7
/proc/14343/task/14346/stat : 14346 (java) S 14341 14343 12325 0 -1 4202560 23127 0 0 0 77 4 0 0 16 0 19 0 955003881 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14347] ppid=14341 vsize=10563940 CPUtime=0.87 cores=1,3,5,7
/proc/14343/task/14347/stat : 14347 (java) S 14341 14343 12325 0 -1 4202560 25300 0 0 0 84 3 0 0 15 0 19 0 955003881 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14348] ppid=14341 vsize=10563940 CPUtime=0.81 cores=1,3,5,7
/proc/14343/task/14348/stat : 14348 (java) S 14341 14343 12325 0 -1 4202560 21532 0 0 0 79 2 0 0 15 0 19 0 955003881 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14349] ppid=14341 vsize=10563940 CPUtime=0.83 cores=1,3,5,7
/proc/14343/task/14349/stat : 14349 (java) S 14341 14343 12325 0 -1 4202560 22443 0 0 0 80 3 0 0 16 0 19 0 955003881 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14350] ppid=14341 vsize=10563940 CPUtime=0.83 cores=1,3,5,7
/proc/14343/task/14350/stat : 14350 (java) S 14341 14343 12325 0 -1 4202560 23377 0 0 0 79 4 0 0 16 0 19 0 955003881 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14351] ppid=14341 vsize=10563940 CPUtime=0.71 cores=1,3,5,7
/proc/14343/task/14351/stat : 14351 (java) S 14341 14343 12325 0 -1 4202560 17644 0 0 0 68 3 0 0 16 0 19 0 955003881 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14352] ppid=14341 vsize=10563940 CPUtime=0.83 cores=1,3,5,7
/proc/14343/task/14352/stat : 14352 (java) S 14341 14343 12325 0 -1 4202560 20688 0 0 0 81 2 0 0 15 0 19 0 955003881 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14353] ppid=14341 vsize=10563940 CPUtime=0.85 cores=1,3,5,7
/proc/14343/task/14353/stat : 14353 (java) S 14341 14343 12325 0 -1 4202560 24606 0 0 0 83 2 0 0 16 0 19 0 955003881 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14354] ppid=14341 vsize=10563940 CPUtime=2.96 cores=1,3,5,7
/proc/14343/task/14354/stat : 14354 (java) S 14341 14343 12325 0 -1 4202560 13197 0 0 0 294 2 0 0 15 0 19 0 955003882 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 0 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14355] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14355/stat : 14355 (java) S 14341 14343 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 955003883 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14356] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14356/stat : 14356 (java) S 14341 14343 12325 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 955003883 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14357] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14357/stat : 14357 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 955003885 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296749489 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14358] ppid=14341 vsize=10563940 CPUtime=1.44 cores=1,3,5,7
/proc/14343/task/14358/stat : 14358 (java) S 14341 14343 12325 0 -1 4202560 11029 0 0 0 143 1 0 0 15 0 19 0 955003885 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14359] ppid=14341 vsize=10563940 CPUtime=1.66 cores=1,3,5,7
/proc/14343/task/14359/stat : 14359 (java) S 14341 14343 12325 0 -1 4202560 7970 0 0 0 165 1 0 0 15 0 19 0 955003885 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14360] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14360/stat : 14360 (java) S 14341 14343 12325 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 955003885 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14361] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14361/stat : 14361 (java) S 14341 14343 12325 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 955003885 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14362] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14362/stat : 14362 (java) S 14341 14343 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 955003932 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1790.26
Current children cumulated vsize (KiB) 10563940
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 14472
/proc/meminfo: memFree=24567492/32951124 swapFree=67049456/67111528
[pid=14343] ppid=14341 vsize=10563940 CPUtime=1800.06 cores=1,3,5,7
/proc/14343/stat : 14343 (java) S 14341 14343 12325 0 -1 4202496 1043434 0 1 0 179893 113 0 0 22 0 19 0 955003879 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14343/statm: 2640985 1028917 2258 9 0 2631719 0
[pid=14343/tid=14345] ppid=14341 vsize=10563940 CPUtime=1787.35 cores=1,3,5,7
/proc/14343/task/14345/stat : 14345 (java) R 14341 14343 12325 0 -1 4202560 831268 0 1 0 178653 82 0 0 25 0 19 0 955003879 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 46912505615435 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14343/tid=14346] ppid=14341 vsize=10563940 CPUtime=0.81 cores=1,3,5,7
/proc/14343/task/14346/stat : 14346 (java) S 14341 14343 12325 0 -1 4202560 23127 0 0 0 77 4 0 0 16 0 19 0 955003881 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14347] ppid=14341 vsize=10563940 CPUtime=0.87 cores=1,3,5,7
/proc/14343/task/14347/stat : 14347 (java) S 14341 14343 12325 0 -1 4202560 25300 0 0 0 84 3 0 0 15 0 19 0 955003881 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14348] ppid=14341 vsize=10563940 CPUtime=0.81 cores=1,3,5,7
/proc/14343/task/14348/stat : 14348 (java) S 14341 14343 12325 0 -1 4202560 21532 0 0 0 79 2 0 0 15 0 19 0 955003881 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14349] ppid=14341 vsize=10563940 CPUtime=0.83 cores=1,3,5,7
/proc/14343/task/14349/stat : 14349 (java) S 14341 14343 12325 0 -1 4202560 22443 0 0 0 80 3 0 0 16 0 19 0 955003881 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14350] ppid=14341 vsize=10563940 CPUtime=0.83 cores=1,3,5,7
/proc/14343/task/14350/stat : 14350 (java) S 14341 14343 12325 0 -1 4202560 23377 0 0 0 79 4 0 0 16 0 19 0 955003881 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14351] ppid=14341 vsize=10563940 CPUtime=0.71 cores=1,3,5,7
/proc/14343/task/14351/stat : 14351 (java) S 14341 14343 12325 0 -1 4202560 17644 0 0 0 68 3 0 0 16 0 19 0 955003881 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14352] ppid=14341 vsize=10563940 CPUtime=0.83 cores=1,3,5,7
/proc/14343/task/14352/stat : 14352 (java) S 14341 14343 12325 0 -1 4202560 20688 0 0 0 81 2 0 0 15 0 19 0 955003881 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14353] ppid=14341 vsize=10563940 CPUtime=0.85 cores=1,3,5,7
/proc/14343/task/14353/stat : 14353 (java) S 14341 14343 12325 0 -1 4202560 24606 0 0 0 83 2 0 0 16 0 19 0 955003881 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14354] ppid=14341 vsize=10563940 CPUtime=2.96 cores=1,3,5,7
/proc/14343/task/14354/stat : 14354 (java) S 14341 14343 12325 0 -1 4202560 13197 0 0 0 294 2 0 0 15 0 19 0 955003882 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 0 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14355] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14355/stat : 14355 (java) S 14341 14343 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 955003883 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14356] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14356/stat : 14356 (java) S 14341 14343 12325 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 955003883 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14357] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14357/stat : 14357 (java) S 14341 14343 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 955003885 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296749489 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=14343/tid=14358] ppid=14341 vsize=10563940 CPUtime=1.44 cores=1,3,5,7
/proc/14343/task/14358/stat : 14358 (java) S 14341 14343 12325 0 -1 4202560 11029 0 0 0 143 1 0 0 15 0 19 0 955003885 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14359] ppid=14341 vsize=10563940 CPUtime=1.66 cores=1,3,5,7
/proc/14343/task/14359/stat : 14359 (java) S 14341 14343 12325 0 -1 4202560 7970 0 0 0 165 1 0 0 15 0 19 0 955003885 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=14343/tid=14360] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14360/stat : 14360 (java) S 14341 14343 12325 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 955003885 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=14343/tid=14361] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14361/stat : 14361 (java) S 14341 14343 12325 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 955003885 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=14343/tid=14362] ppid=14341 vsize=10563940 CPUtime=0 cores=1,3,5,7
/proc/14343/task/14362/stat : 14362 (java) S 14341 14343 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 955003932 10817474560 1028917 33554432000 1073741824 1073778376 140737245230944 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10563940
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 14472
/proc/meminfo: memFree=24567492/32951124 swapFree=67049456/67111528
[pid=14343] ppid=14341 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/14343/stat : 14343 (java) Z 14341 14343 12325 0 -1 4203548 1043474 0 1 0 179901 120 0 0 17 0 2 0 955003879 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14343/statm: 0 0 0 0 0 0 0
[pid=14343/tid=14355] ppid=14341 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/14343/task/14355/stat : 14355 (java) R 14341 14343 12325 0 -1 4203588 17 0 0 0 0 7 0 0 18 0 2 0 955003883 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.29
CPU time (s): 1800.3
CPU user time (s): 1799.01
CPU system time (s): 1.2828
CPU usage (%): 100.447
Max. virtual memory (cumulated for all children) (KiB): 10564004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.2828
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1043474
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= 39755
involuntary context switches= 9207
runsolver used 3.02754 second user time and 6.76897 second system time
The end