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-3456121-1307663356/watcher-3456121-1307663356 -o /tmp/evaluation-result-3456121-1307663356/solver-3456121-1307663356 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456121-1307663356.opb
running on 4 cores: 0,2,4,6
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 6396
/proc/meminfo: memFree=28649760/32951124 swapFree=67056964/67111528
[pid=6396] ppid=6394 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/6396/stat : 6396 (java) R 6394 6396 4755 0 -1 4202496 955 0 0 0 0 0 0 0 25 0 1 0 858751484 23580672 699 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233505335185 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6396/statm: 5757 700 517 9 0 124 0
[startup+0.101371 s]
/proc/loadavg: 1.92 1.98 1.99 2/195 6396
/proc/meminfo: memFree=28649760/32951124 swapFree=67056964/67111528
[pid=6396] ppid=6394 vsize=10539784 CPUtime=0.1 cores=0,2,4,6
/proc/6396/stat : 6396 (java) S 6394 6396 4755 0 -1 4202496 12999 0 1 0 8 2 0 0 25 0 18 0 858751484 10792738816 12696 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6396/statm: 2634946 12698 2093 9 0 2625680 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539784
[startup+0.200406 s]
/proc/loadavg: 1.92 1.98 1.99 2/195 6396
/proc/meminfo: memFree=28649760/32951124 swapFree=67056964/67111528
[pid=6396] ppid=6394 vsize=10540460 CPUtime=0.25 cores=0,2,4,6
/proc/6396/stat : 6396 (java) S 6394 6396 4755 0 -1 4202496 13993 0 1 0 23 2 0 0 25 0 18 0 858751484 10793431040 13675 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6396/statm: 2635115 13676 2170 9 0 2625849 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10540460
[startup+0.304385 s]
/proc/loadavg: 1.92 1.98 1.99 2/195 6396
/proc/meminfo: memFree=28649760/32951124 swapFree=67056964/67111528
[pid=6396] ppid=6394 vsize=10542124 CPUtime=0.47 cores=0,2,4,6
/proc/6396/stat : 6396 (java) S 6394 6396 4755 0 -1 4202496 15539 0 1 0 45 2 0 0 25 0 18 0 858751484 10795134976 15109 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6396/statm: 2635531 15109 2211 9 0 2626265 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542124
[startup+0.700318 s]
/proc/loadavg: 1.92 1.98 1.99 2/195 6396
/proc/meminfo: memFree=28649760/32951124 swapFree=67056964/67111528
[pid=6396] ppid=6394 vsize=10549472 CPUtime=1.58 cores=0,2,4,6
/proc/6396/stat : 6396 (java) S 6394 6396 4755 0 -1 4202496 38608 0 1 0 152 6 0 0 25 0 18 0 858751484 10802659328 36064 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6396/statm: 2637368 36069 2228 9 0 2628102 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10549472
[startup+1.50117 s]
/proc/loadavg: 1.92 1.98 1.99 5/214 6415
/proc/meminfo: memFree=28482604/32951124 swapFree=67056964/67111528
[pid=6396] ppid=6394 vsize=10550500 CPUtime=2.96 cores=0,2,4,6
/proc/6396/stat : 6396 (java) S 6394 6396 4755 0 -1 4202496 88205 0 1 0 285 11 0 0 25 0 19 0 858751484 10803712000 85661 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6396/statm: 2637625 85667 2237 9 0 2628359 0
[pid=6396/tid=6398] ppid=6394 vsize=10550500 CPUtime=1.48 cores=0,2,4,6
/proc/6396/task/6398/stat : 6398 (java) R 6394 6396 4755 0 -1 4202560 78036 0 1 0 139 9 0 0 18 0 19 0 858751485 10803712000 85671 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 46912506126650 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6396/tid=6399] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6399/stat : 6399 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 85678 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6400] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6400/stat : 6400 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 85678 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6401] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6401/stat : 6401 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 85684 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6402] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6402/stat : 6402 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 85690 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6403] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6403/stat : 6403 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 85691 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6404] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6404/stat : 6404 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 85698 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6405] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6405/stat : 6405 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 85702 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6406] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6406/stat : 6406 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 85705 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6407] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6407/stat : 6407 (java) S 6394 6396 4755 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858751487 10803712000 85711 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 0 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6408] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6408/stat : 6408 (java) S 6394 6396 4755 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 858751488 10803712000 85713 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6409] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6409/stat : 6409 (java) S 6394 6396 4755 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858751488 10803712000 85717 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6410] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6410/stat : 6410 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 858751490 10803712000 85724 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522121137 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6411] ppid=6394 vsize=10550500 CPUtime=0.74 cores=0,2,4,6
/proc/6396/task/6411/stat : 6411 (java) S 6394 6396 4755 0 -1 4202560 5672 0 0 0 74 0 0 0 15 0 19 0 858751490 10803712000 85725 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6412] ppid=6394 vsize=10550500 CPUtime=0.71 cores=0,2,4,6
/proc/6396/task/6412/stat : 6412 (java) R 6394 6396 4755 0 -1 4202560 3349 0 0 0 71 0 0 0 22 0 19 0 858751490 10803712000 85731 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 46923886780170 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6396/tid=6413] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6413/stat : 6413 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751490 10803712000 85737 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6414] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6414/stat : 6414 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858751490 10803712000 85737 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6415] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6415/stat : 6415 (java) S 6394 6396 4755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858751558 10803712000 85744 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 10550500
[startup+3.10089 s]
/proc/loadavg: 1.92 1.98 1.99 3/214 6415
/proc/meminfo: memFree=27977180/32951124 swapFree=67056964/67111528
[pid=6396] ppid=6394 vsize=10550500 CPUtime=4.8 cores=0,2,4,6
/proc/6396/stat : 6396 (java) S 6394 6396 4755 0 -1 4202496 252102 0 1 0 454 26 0 0 25 0 19 0 858751484 10803712000 249555 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6396/statm: 2637625 249555 2237 9 0 2628359 0
[pid=6396/tid=6398] ppid=6394 vsize=10550500 CPUtime=3.08 cores=0,2,4,6
/proc/6396/task/6398/stat : 6398 (java) R 6394 6396 4755 0 -1 4202560 241893 0 1 0 284 24 0 0 18 0 19 0 858751485 10803712000 249555 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 46912506020685 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6396/tid=6399] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6399/stat : 6399 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 249558 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6400] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6400/stat : 6400 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 249564 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6401] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6401/stat : 6401 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 249570 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6402] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6402/stat : 6402 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 249570 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6403] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6403/stat : 6403 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 249570 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6404] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6404/stat : 6404 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 249571 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6405] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6405/stat : 6405 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 249578 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6406] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6406/stat : 6406 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 249584 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6407] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6407/stat : 6407 (java) S 6394 6396 4755 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 858751487 10803712000 249585 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 0 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6408] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6408/stat : 6408 (java) S 6394 6396 4755 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 858751488 10803712000 249585 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6409] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6409/stat : 6409 (java) S 6394 6396 4755 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858751488 10803712000 249585 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6410] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6410/stat : 6410 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 858751490 10803712000 249591 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522121137 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6411] ppid=6394 vsize=10550500 CPUtime=0.84 cores=0,2,4,6
/proc/6396/task/6411/stat : 6411 (java) S 6394 6396 4755 0 -1 4202560 5685 0 0 0 84 0 0 0 15 0 19 0 858751490 10803712000 249597 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6412] ppid=6394 vsize=10550500 CPUtime=0.84 cores=0,2,4,6
/proc/6396/task/6412/stat : 6412 (java) S 6394 6396 4755 0 -1 4202560 3365 0 0 0 84 0 0 0 15 0 19 0 858751490 10803712000 249600 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6413] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6413/stat : 6413 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751490 10803712000 249600 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6414] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6414/stat : 6414 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858751490 10803712000 249600 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6415] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6415/stat : 6415 (java) S 6394 6396 4755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858751558 10803712000 249602 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 10550500
[startup+6.30132 s]
/proc/loadavg: 1.93 1.98 1.99 3/214 6415
/proc/meminfo: memFree=26596936/32951124 swapFree=67056964/67111528
[pid=6396] ppid=6394 vsize=10550500 CPUtime=8.04 cores=0,2,4,6
/proc/6396/stat : 6396 (java) S 6394 6396 4755 0 -1 4202496 601932 0 1 0 744 60 0 0 25 0 19 0 858751484 10803712000 599383 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6396/statm: 2637625 599386 2239 9 0 2628359 0
[pid=6396/tid=6398] ppid=6394 vsize=10550500 CPUtime=6.27 cores=0,2,4,6
/proc/6396/task/6398/stat : 6398 (java) R 6394 6396 4755 0 -1 4202560 591727 0 1 0 569 58 0 0 21 0 19 0 858751485 10803712000 599391 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 46912506126673 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6396/tid=6399] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6399/stat : 6399 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 599395 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6400] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6400/stat : 6400 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 599396 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6401] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6401/stat : 6401 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 599403 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6402] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6402/stat : 6402 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 599408 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6403] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6403/stat : 6403 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 599408 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6404] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6404/stat : 6404 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 599414 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6405] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6405/stat : 6405 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 599420 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6406] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6406/stat : 6406 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751486 10803712000 599420 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6407] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6407/stat : 6407 (java) S 6394 6396 4755 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858751487 10803712000 599425 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 0 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6408] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6408/stat : 6408 (java) S 6394 6396 4755 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 858751488 10803712000 599432 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6409] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6409/stat : 6409 (java) S 6394 6396 4755 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858751488 10803712000 599433 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6410] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6410/stat : 6410 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 858751490 10803712000 599436 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522121137 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6411] ppid=6394 vsize=10550500 CPUtime=0.87 cores=0,2,4,6
/proc/6396/task/6411/stat : 6411 (java) S 6394 6396 4755 0 -1 4202560 5687 0 0 0 87 0 0 0 15 0 19 0 858751490 10803712000 599443 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6412] ppid=6394 vsize=10550500 CPUtime=0.87 cores=0,2,4,6
/proc/6396/task/6412/stat : 6412 (java) S 6394 6396 4755 0 -1 4202560 3366 0 0 0 87 0 0 0 15 0 19 0 858751490 10803712000 599446 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6413] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6413/stat : 6413 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751490 10803712000 599447 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6414] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6414/stat : 6414 (java) S 6394 6396 4755 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 858751490 10803712000 599454 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6415] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6415/stat : 6415 (java) S 6394 6396 4755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858751558 10803712000 599458 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.04
Current children cumulated vsize (KiB) 10550500
[startup+12.7012 s]
################
# More data... #
################
/proc/6396/task/6408/stat : 6408 (java) S 6394 6396 4755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858751488 10803712000 1024238 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6409] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6409/stat : 6409 (java) S 6394 6396 4755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858751488 10803712000 1024238 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6410] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6410/stat : 6410 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 858751490 10803712000 1024238 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522121137 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6411] ppid=6394 vsize=10550500 CPUtime=1.06 cores=0,2,4,6
/proc/6396/task/6411/stat : 6411 (java) S 6394 6396 4755 0 -1 4202560 5715 0 0 0 106 0 0 0 15 0 19 0 858751490 10803712000 1024238 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6412] ppid=6394 vsize=10550500 CPUtime=1.11 cores=0,2,4,6
/proc/6396/task/6412/stat : 6412 (java) S 6394 6396 4755 0 -1 4202560 3393 0 0 0 111 0 0 0 15 0 19 0 858751490 10803712000 1024238 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6413] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6413/stat : 6413 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751490 10803712000 1024238 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6414] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6414/stat : 6414 (java) S 6394 6396 4755 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 858751490 10803712000 1024238 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 4 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6415] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6415/stat : 6415 (java) S 6394 6396 4755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858751558 10803712000 1024238 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1670.33
Current children cumulated vsize (KiB) 10550500
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 6643
/proc/meminfo: memFree=24455016/32951124 swapFree=67056964/67111528
[pid=6396] ppid=6394 vsize=10550500 CPUtime=1730.65 cores=0,2,4,6
/proc/6396/stat : 6396 (java) S 6394 6396 4755 0 -1 4202496 1040259 0 1 0 172946 119 0 0 25 0 19 0 858751484 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6396/statm: 2637625 1032892 2255 9 0 2628359 0
[pid=6396/tid=6398] ppid=6394 vsize=10550500 CPUtime=1720.08 cores=0,2,4,6
/proc/6396/task/6398/stat : 6398 (java) R 6394 6396 4755 0 -1 4202560 805411 0 1 0 171926 82 0 0 25 0 19 0 858751485 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 46912506134464 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6396/tid=6399] ppid=6394 vsize=10550500 CPUtime=1.19 cores=0,2,4,6
/proc/6396/task/6399/stat : 6399 (java) S 6394 6396 4755 0 -1 4202560 28313 0 0 0 115 4 0 0 15 0 19 0 858751486 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6400] ppid=6394 vsize=10550500 CPUtime=1.11 cores=0,2,4,6
/proc/6396/task/6400/stat : 6400 (java) S 6394 6396 4755 0 -1 4202560 30261 0 0 0 107 4 0 0 15 0 19 0 858751486 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6401] ppid=6394 vsize=10550500 CPUtime=1.16 cores=0,2,4,6
/proc/6396/task/6401/stat : 6401 (java) S 6394 6396 4755 0 -1 4202560 33020 0 0 0 112 4 0 0 16 0 19 0 858751486 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6402] ppid=6394 vsize=10550500 CPUtime=0.99 cores=0,2,4,6
/proc/6396/task/6402/stat : 6402 (java) S 6394 6396 4755 0 -1 4202560 28776 0 0 0 95 4 0 0 15 0 19 0 858751486 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6403] ppid=6394 vsize=10550500 CPUtime=1.05 cores=0,2,4,6
/proc/6396/task/6403/stat : 6403 (java) S 6394 6396 4755 0 -1 4202560 26304 0 0 0 102 3 0 0 16 0 19 0 858751486 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 2 0 0 0
[pid=6396/tid=6404] ppid=6394 vsize=10550500 CPUtime=0.97 cores=0,2,4,6
/proc/6396/task/6404/stat : 6404 (java) S 6394 6396 4755 0 -1 4202560 25888 0 0 0 92 5 0 0 16 0 19 0 858751486 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6405] ppid=6394 vsize=10550500 CPUtime=1 cores=0,2,4,6
/proc/6396/task/6405/stat : 6405 (java) S 6394 6396 4755 0 -1 4202560 26968 0 0 0 97 3 0 0 15 0 19 0 858751486 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 2 0 0 0
[pid=6396/tid=6406] ppid=6394 vsize=10550500 CPUtime=0.81 cores=0,2,4,6
/proc/6396/task/6406/stat : 6406 (java) S 6394 6396 4755 0 -1 4202560 24860 0 0 0 77 4 0 0 16 0 19 0 858751486 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6407] ppid=6394 vsize=10550500 CPUtime=0.01 cores=0,2,4,6
/proc/6396/task/6407/stat : 6407 (java) S 6394 6396 4755 0 -1 4202560 102 0 0 0 0 1 0 0 15 0 19 0 858751487 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 0 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6408] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6408/stat : 6408 (java) S 6394 6396 4755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858751488 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6409] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6409/stat : 6409 (java) S 6394 6396 4755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858751488 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6410] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6410/stat : 6410 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 858751490 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522121137 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6411] ppid=6394 vsize=10550500 CPUtime=1.06 cores=0,2,4,6
/proc/6396/task/6411/stat : 6411 (java) S 6394 6396 4755 0 -1 4202560 5715 0 0 0 106 0 0 0 15 0 19 0 858751490 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6412] ppid=6394 vsize=10550500 CPUtime=1.11 cores=0,2,4,6
/proc/6396/task/6412/stat : 6412 (java) S 6394 6396 4755 0 -1 4202560 3393 0 0 0 111 0 0 0 15 0 19 0 858751490 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6413] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6413/stat : 6413 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751490 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6414] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6414/stat : 6414 (java) S 6394 6396 4755 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 858751490 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 4 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6415] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6415/stat : 6415 (java) S 6394 6396 4755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858751558 10803712000 1032892 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1730.65
Current children cumulated vsize (KiB) 10550500
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 6644
/proc/meminfo: memFree=24421480/32951124 swapFree=67056964/67111528
[pid=6396] ppid=6394 vsize=10550500 CPUtime=1790.87 cores=0,2,4,6
/proc/6396/stat : 6396 (java) S 6394 6396 4755 0 -1 4202496 1044820 0 1 0 178967 120 0 0 25 0 19 0 858751484 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6396/statm: 2637625 1037325 2255 9 0 2628359 0
[pid=6396/tid=6398] ppid=6394 vsize=10550500 CPUtime=1780.01 cores=0,2,4,6
/proc/6396/task/6398/stat : 6398 (java) R 6394 6396 4755 0 -1 4202560 805414 0 1 0 177919 82 0 0 25 0 19 0 858751485 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 46912505621231 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6396/tid=6399] ppid=6394 vsize=10550500 CPUtime=1.21 cores=0,2,4,6
/proc/6396/task/6399/stat : 6399 (java) S 6394 6396 4755 0 -1 4202560 28558 0 0 0 117 4 0 0 16 0 19 0 858751486 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6400] ppid=6394 vsize=10550500 CPUtime=1.14 cores=0,2,4,6
/proc/6396/task/6400/stat : 6400 (java) S 6394 6396 4755 0 -1 4202560 30636 0 0 0 110 4 0 0 16 0 19 0 858751486 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6401] ppid=6394 vsize=10550500 CPUtime=1.2 cores=0,2,4,6
/proc/6396/task/6401/stat : 6401 (java) S 6394 6396 4755 0 -1 4202560 33700 0 0 0 116 4 0 0 16 0 19 0 858751486 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6402] ppid=6394 vsize=10550500 CPUtime=1 cores=0,2,4,6
/proc/6396/task/6402/stat : 6402 (java) S 6394 6396 4755 0 -1 4202560 29050 0 0 0 96 4 0 0 15 0 19 0 858751486 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6403] ppid=6394 vsize=10550500 CPUtime=1.12 cores=0,2,4,6
/proc/6396/task/6403/stat : 6403 (java) S 6394 6396 4755 0 -1 4202560 27333 0 0 0 109 3 0 0 16 0 19 0 858751486 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 2 0 0 0
[pid=6396/tid=6404] ppid=6394 vsize=10550500 CPUtime=1 cores=0,2,4,6
/proc/6396/task/6404/stat : 6404 (java) S 6394 6396 4755 0 -1 4202560 26356 0 0 0 95 5 0 0 15 0 19 0 858751486 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6405] ppid=6394 vsize=10550500 CPUtime=1.05 cores=0,2,4,6
/proc/6396/task/6405/stat : 6405 (java) S 6394 6396 4755 0 -1 4202560 28011 0 0 0 102 3 0 0 15 0 19 0 858751486 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 2 0 0 0
[pid=6396/tid=6406] ppid=6394 vsize=10550500 CPUtime=0.84 cores=0,2,4,6
/proc/6396/task/6406/stat : 6406 (java) S 6394 6396 4755 0 -1 4202560 25295 0 0 0 80 4 0 0 16 0 19 0 858751486 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6407] ppid=6394 vsize=10550500 CPUtime=0.01 cores=0,2,4,6
/proc/6396/task/6407/stat : 6407 (java) S 6394 6396 4755 0 -1 4202560 107 0 0 0 0 1 0 0 15 0 19 0 858751487 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 0 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6408] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6408/stat : 6408 (java) S 6394 6396 4755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858751488 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6409] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6409/stat : 6409 (java) S 6394 6396 4755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858751488 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6410] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6410/stat : 6410 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 858751490 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522121137 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6411] ppid=6394 vsize=10550500 CPUtime=1.06 cores=0,2,4,6
/proc/6396/task/6411/stat : 6411 (java) S 6394 6396 4755 0 -1 4202560 5715 0 0 0 106 0 0 0 15 0 19 0 858751490 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6412] ppid=6394 vsize=10550500 CPUtime=1.11 cores=0,2,4,6
/proc/6396/task/6412/stat : 6412 (java) S 6394 6396 4755 0 -1 4202560 3393 0 0 0 111 0 0 0 15 0 19 0 858751490 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6413] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6413/stat : 6413 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751490 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6414] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6414/stat : 6414 (java) S 6394 6396 4755 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 858751490 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 4 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6415] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6415/stat : 6415 (java) S 6394 6396 4755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858751558 10803712000 1037325 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1790.87
Current children cumulated vsize (KiB) 10550500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 6644
/proc/meminfo: memFree=24417124/32951124 swapFree=67056964/67111528
[pid=6396] ppid=6394 vsize=10550500 CPUtime=1800.05 cores=0,2,4,6
/proc/6396/stat : 6396 (java) S 6394 6396 4755 0 -1 4202496 1045974 0 1 0 179885 120 0 0 25 0 19 0 858751484 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6396/statm: 2637625 1038445 2255 9 0 2628359 0
[pid=6396/tid=6398] ppid=6394 vsize=10550500 CPUtime=1789.08 cores=0,2,4,6
/proc/6396/task/6398/stat : 6398 (java) R 6394 6396 4755 0 -1 4202560 805415 0 1 0 178826 82 0 0 25 0 19 0 858751485 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 46912505961168 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6396/tid=6399] ppid=6394 vsize=10550500 CPUtime=1.21 cores=0,2,4,6
/proc/6396/task/6399/stat : 6399 (java) S 6394 6396 4755 0 -1 4202560 28558 0 0 0 117 4 0 0 15 0 19 0 858751486 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6400] ppid=6394 vsize=10550500 CPUtime=1.16 cores=0,2,4,6
/proc/6396/task/6400/stat : 6400 (java) S 6394 6396 4755 0 -1 4202560 30913 0 0 0 112 4 0 0 16 0 19 0 858751486 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6401] ppid=6394 vsize=10550500 CPUtime=1.2 cores=0,2,4,6
/proc/6396/task/6401/stat : 6401 (java) S 6394 6396 4755 0 -1 4202560 33700 0 0 0 116 4 0 0 15 0 19 0 858751486 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6402] ppid=6394 vsize=10550500 CPUtime=1.03 cores=0,2,4,6
/proc/6396/task/6402/stat : 6402 (java) S 6394 6396 4755 0 -1 4202560 29328 0 0 0 99 4 0 0 16 0 19 0 858751486 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6403] ppid=6394 vsize=10550500 CPUtime=1.12 cores=0,2,4,6
/proc/6396/task/6403/stat : 6403 (java) S 6394 6396 4755 0 -1 4202560 27333 0 0 0 109 3 0 0 15 0 19 0 858751486 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 2 0 0 0
[pid=6396/tid=6404] ppid=6394 vsize=10550500 CPUtime=1.03 cores=0,2,4,6
/proc/6396/task/6404/stat : 6404 (java) S 6394 6396 4755 0 -1 4202560 26677 0 0 0 98 5 0 0 16 0 19 0 858751486 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6405] ppid=6394 vsize=10550500 CPUtime=1.08 cores=0,2,4,6
/proc/6396/task/6405/stat : 6405 (java) S 6394 6396 4755 0 -1 4202560 28288 0 0 0 105 3 0 0 16 0 19 0 858751486 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 2 0 0 0
[pid=6396/tid=6406] ppid=6394 vsize=10550500 CPUtime=0.84 cores=0,2,4,6
/proc/6396/task/6406/stat : 6406 (java) S 6394 6396 4755 0 -1 4202560 25295 0 0 0 80 4 0 0 15 0 19 0 858751486 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6407] ppid=6394 vsize=10550500 CPUtime=0.01 cores=0,2,4,6
/proc/6396/task/6407/stat : 6407 (java) S 6394 6396 4755 0 -1 4202560 107 0 0 0 0 1 0 0 15 0 19 0 858751487 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 0 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6408] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6408/stat : 6408 (java) S 6394 6396 4755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858751488 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6409] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6409/stat : 6409 (java) S 6394 6396 4755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858751488 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6410] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6410/stat : 6410 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 858751490 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522121137 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6411] ppid=6394 vsize=10550500 CPUtime=1.06 cores=0,2,4,6
/proc/6396/task/6411/stat : 6411 (java) S 6394 6396 4755 0 -1 4202560 5715 0 0 0 106 0 0 0 15 0 19 0 858751490 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 4 0 0 0
[pid=6396/tid=6412] ppid=6394 vsize=10550500 CPUtime=1.11 cores=0,2,4,6
/proc/6396/task/6412/stat : 6412 (java) S 6394 6396 4755 0 -1 4202560 3393 0 0 0 111 0 0 0 15 0 19 0 858751490 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6413] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6413/stat : 6413 (java) S 6394 6396 4755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858751490 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522113433 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
[pid=6396/tid=6414] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6414/stat : 6414 (java) S 6394 6396 4755 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 858751490 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 4 0 16800975 18446604453961748800 0 0 -1 0 0 0 0
[pid=6396/tid=6415] ppid=6394 vsize=10550500 CPUtime=0 cores=0,2,4,6
/proc/6396/task/6415/stat : 6415 (java) S 6394 6396 4755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858751558 10803712000 1038445 33554432000 1073741824 1073778376 140737379417888 18446744073709551615 233522114048 0 4 0 16800975 18446604453961748800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10550500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 6644
/proc/meminfo: memFree=24417124/32951124 swapFree=67056964/67111528
[pid=6396] ppid=6394 vsize=0 CPUtime=1800.17 cores=0,2,4,6
/proc/6396/stat : 6396 (java) Z 6394 6396 4755 0 -1 4203548 1046004 0 1 0 179888 129 0 0 17 0 2 0 858751484 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6396/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.57
CPU time (s): 1800.24
CPU user time (s): 1798.89
CPU system time (s): 1.34979
CPU usage (%): 100.484
Max. virtual memory (cumulated for all children) (KiB): 10550500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.89
system time used= 1.34979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1046004
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= 39600
involuntary context switches= 4816
runsolver used 3.2965 second user time and 6.49601 second system time
The end