runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500938-1308040317/watcher-3500938-1308040317 -o /var/tmp/evaluation-result-3500938-1308040317/solver-3500938-1308040317 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar /varHOME/instance-3500938-1308040317.gcnf
running on 2 cores: 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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.83 3.13 3.58 5/242 6449
/proc/meminfo: memFree=14807576/32951124 swapFree=67054448/67111528
[pid=6449] ppid=6447 vsize=30540 CPUtime=0 cores=4,6
/proc/6449/stat : 6449 (java) S 6447 6449 26613 0 -1 4202496 1241 0 0 0 0 0 0 0 18 0 2 0 896447328 31272960 960 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/6449/statm: 7634 963 736 9 0 385 0
[pid=6449/tid=6450] ppid=6447 vsize=31604 CPUtime=0 cores=4,6
/proc/6449/task/6450/stat : 6450 (java) R 6447 6449 26613 0 -1 4202560 130 0 0 0 0 0 0 0 19 0 2 0 896447328 32362496 963 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270333464259 0 0 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.052472 s]
/proc/loadavg: 2.83 3.13 3.58 5/242 6449
/proc/meminfo: memFree=14807576/32951124 swapFree=67054448/67111528
[pid=6449] ppid=6447 vsize=6358280 CPUtime=0.04 cores=4,6
/proc/6449/stat : 6449 (java) S 6447 6449 26613 0 -1 4202496 8214 0 1 0 3 1 0 0 18 0 13 0 896447328 6510878720 7910 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350186469 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/6449/statm: 1589827 7914 1691 9 0 1580575 0
[pid=6449/tid=6450] ppid=6447 vsize=6359308 CPUtime=0.04 cores=4,6
/proc/6449/task/6450/stat : 6450 (java) R 6447 6449 26613 0 -1 4202560 7071 0 1 0 3 1 0 0 25 0 14 0 896447328 6511931392 7917 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 47571586024400 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6358280
[startup+0.100436 s]
/proc/loadavg: 2.83 3.13 3.58 5/242 6449
/proc/meminfo: memFree=14807576/32951124 swapFree=67054448/67111528
[pid=6449] ppid=6447 vsize=6364156 CPUtime=0.09 cores=4,6
/proc/6449/stat : 6449 (java) S 6447 6449 26613 0 -1 4202496 9031 0 1 0 8 1 0 0 18 0 18 0 896447328 6516895744 8727 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6449/statm: 1591039 8728 1754 9 0 1581777 0
[pid=6449/tid=6450] ppid=6447 vsize=6364156 CPUtime=0.08 cores=4,6
/proc/6449/task/6450/stat : 6450 (java) R 6447 6449 26613 0 -1 4202560 7855 0 1 0 7 1 0 0 25 0 18 0 896447328 6516895744 8728 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 47571587091365 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6364156
[startup+0.300362 s]
/proc/loadavg: 2.83 3.13 3.58 5/242 6449
/proc/meminfo: memFree=14807576/32951124 swapFree=67054448/67111528
[pid=6449] ppid=6447 vsize=6437496 CPUtime=0.46 cores=4,6
/proc/6449/stat : 6449 (java) S 6447 6449 26613 0 -1 4202496 16060 0 1 0 44 2 0 0 18 0 18 0 896447328 6591995904 14891 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6449/statm: 1609374 14892 2201 9 0 1600112 0
[pid=6449/tid=6450] ppid=6447 vsize=6437496 CPUtime=0.28 cores=4,6
/proc/6449/task/6450/stat : 6450 (java) R 6447 6449 26613 0 -1 4202560 11492 0 1 0 27 1 0 0 18 0 18 0 896447328 6591995904 14892 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 46912505526281 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 6437496
[startup+0.700282 s]
/proc/loadavg: 2.83 3.13 3.58 5/242 6449
/proc/meminfo: memFree=14807576/32951124 swapFree=67054448/67111528
[pid=6449] ppid=6447 vsize=6438524 CPUtime=1.1 cores=4,6
/proc/6449/stat : 6449 (java) S 6447 6449 26613 0 -1 4202496 33925 0 1 0 106 4 0 0 18 0 19 0 896447328 6593048576 32269 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6449/statm: 1609631 32269 2217 9 0 1600369 0
[pid=6449/tid=6450] ppid=6447 vsize=6438524 CPUtime=0.69 cores=4,6
/proc/6449/task/6450/stat : 6450 (java) R 6447 6449 26613 0 -1 4202560 28764 0 1 0 65 4 0 0 19 0 19 0 896447328 6593048576 32269 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 46912505216743 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 6438524
[startup+1.50118 s]
/proc/loadavg: 2.83 3.13 3.58 8/261 6472
/proc/meminfo: memFree=14437928/32951124 swapFree=67054448/67111528
[pid=6449] ppid=6447 vsize=6438752 CPUtime=2.09 cores=4,6
/proc/6449/stat : 6449 (java) S 6447 6449 26613 0 -1 4202496 34425 0 1 0 205 4 0 0 18 0 19 0 896447328 6593282048 32500 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6449/statm: 1609688 32500 2229 9 0 1600426 0
[pid=6449/tid=6450] ppid=6447 vsize=6438752 CPUtime=1.49 cores=4,6
/proc/6449/task/6450/stat : 6450 (java) R 6447 6449 26613 0 -1 4202560 28850 0 1 0 145 4 0 0 18 0 19 0 896447328 6593282048 32500 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 46912505688963 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6449/tid=6452] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6452/stat : 6452 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 896447329 6593282048 32500 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6453] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6453/stat : 6453 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 896447329 6593282048 32500 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6454] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6454/stat : 6454 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 896447329 6593282048 32500 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6455] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6455/stat : 6455 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 896447329 6593282048 32500 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6456] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6456/stat : 6456 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 896447329 6593282048 32500 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6457] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6457/stat : 6457 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 896447329 6593282048 32500 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6458] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6458/stat : 6458 (java) S 6447 6449 26613 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 896447329 6593282048 32500 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6459] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6459/stat : 6459 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 896447329 6593282048 32500 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6460] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6460/stat : 6460 (java) S 6447 6449 26613 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 896447330 6593282048 32500 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 0 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6461] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6461/stat : 6461 (java) S 6447 6449 26613 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 896447331 6593282048 32500 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6462] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6462/stat : 6462 (java) S 6447 6449 26613 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 896447331 6593282048 32500 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6463] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6463/stat : 6463 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896447333 6593282048 32501 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350207409 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6464] ppid=6447 vsize=6438752 CPUtime=0.37 cores=4,6
/proc/6449/task/6464/stat : 6464 (java) S 6447 6449 26613 0 -1 4202560 3438 0 0 0 37 0 0 0 17 0 19 0 896447333 6593282048 32501 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6465] ppid=6447 vsize=6438752 CPUtime=0.21 cores=4,6
/proc/6449/task/6465/stat : 6465 (java) S 6447 6449 26613 0 -1 4202560 974 0 0 0 21 0 0 0 22 0 19 0 896447333 6593282048 32501 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6466] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6466/stat : 6466 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896447333 6593282048 32501 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6467] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6467/stat : 6467 (java) S 6447 6449 26613 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 896447333 6593282048 32501 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6470] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6470/stat : 6470 (java) S 6447 6449 26613 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 896447395 6593282048 32501 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 6438752
[startup+3.10087 s]
/proc/loadavg: 3.00 3.17 3.59 9/260 6476
/proc/meminfo: memFree=14122212/32951124 swapFree=67054448/67111528
[pid=6449] ppid=6447 vsize=6438752 CPUtime=3.72 cores=4,6
/proc/6449/stat : 6449 (java) S 6447 6449 26613 0 -1 4202496 34694 0 1 0 368 4 0 0 18 0 19 0 896447328 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6449/statm: 1609688 32767 2232 9 0 1600426 0
[pid=6449/tid=6450] ppid=6447 vsize=6438752 CPUtime=3.09 cores=4,6
/proc/6449/task/6450/stat : 6450 (java) R 6447 6449 26613 0 -1 4202560 29097 0 1 0 305 4 0 0 22 0 19 0 896447328 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 46912505788893 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6449/tid=6452] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6452/stat : 6452 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 896447329 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6453] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6453/stat : 6453 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 896447329 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6454] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6454/stat : 6454 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 896447329 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6455] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6455/stat : 6455 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 896447329 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6456] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6456/stat : 6456 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 896447329 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6457] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6457/stat : 6457 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 896447329 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6458] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6458/stat : 6458 (java) S 6447 6449 26613 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 896447329 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6459] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6459/stat : 6459 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 896447329 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6460] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6460/stat : 6460 (java) S 6447 6449 26613 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 896447330 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 0 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6461] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6461/stat : 6461 (java) S 6447 6449 26613 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 896447331 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6462] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6462/stat : 6462 (java) S 6447 6449 26613 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 896447331 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6463] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6463/stat : 6463 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896447333 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350207409 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6464] ppid=6447 vsize=6438752 CPUtime=0.37 cores=4,6
/proc/6449/task/6464/stat : 6464 (java) S 6447 6449 26613 0 -1 4202560 3438 0 0 0 37 0 0 0 17 0 19 0 896447333 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6465] ppid=6447 vsize=6438752 CPUtime=0.25 cores=4,6
/proc/6449/task/6465/stat : 6465 (java) S 6447 6449 26613 0 -1 4202560 995 0 0 0 25 0 0 0 15 0 19 0 896447333 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6466] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6466/stat : 6466 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896447333 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6467] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6467/stat : 6467 (java) S 6447 6449 26613 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 896447333 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6470] ppid=6447 vsize=6438752 CPUtime=0 cores=4,6
/proc/6449/task/6470/stat : 6470 (java) S 6447 6449 26613 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 896447395 6593282048 32767 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 6438752
[startup+6.30124 s]
/proc/loadavg: 3.00 3.17 3.59 5/262 6502
/proc/meminfo: memFree=13523744/32951124 swapFree=67054448/67111528
[pid=6449] ppid=6447 vsize=6437852 CPUtime=6.93 cores=4,6
/proc/6449/stat : 6449 (java) S 6447 6449 26613 0 -1 4202496 35734 0 1 0 688 5 0 0 18 0 19 0 896447328 6592360448 33574 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6449/statm: 1609463 33574 2232 9 0 1600201 0
[pid=6449/tid=6450] ppid=6447 vsize=6437852 CPUtime=6.29 cores=4,6
/proc/6449/task/6450/stat : 6450 (java) R 6447 6449 26613 0 -1 4202560 30137 0 1 0 625 4 0 0 25 0 19 0 896447328 6592360448 33574 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 46912505688963 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6449/tid=6452] ppid=6447 vsize=6437852 CPUtime=0 cores=4,6
/proc/6449/task/6452/stat : 6452 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 896447329 6592360448 33574 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6453] ppid=6447 vsize=6437852 CPUtime=0 cores=4,6
/proc/6449/task/6453/stat : 6453 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 896447329 6592360448 33574 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6454] ppid=6447 vsize=6437852 CPUtime=0 cores=4,6
/proc/6449/task/6454/stat : 6454 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 896447329 6592360448 33574 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6455] ppid=6447 vsize=6437852 CPUtime=0 cores=4,6
/proc/6449/task/6455/stat : 6455 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 896447329 6592360448 33574 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6456] ppid=6447 vsize=6437852 CPUtime=0 cores=4,6
/proc/6449/task/6456/stat : 6456 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 896447329 6592360448 33574 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6457] ppid=6447 vsize=6437852 CPUtime=0 cores=4,6
/proc/6449/task/6457/stat : 6457 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 896447329 6592360448 33574 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6458] ppid=6447 vsize=6437852 CPUtime=0 cores=4,6
/proc/6449/task/6458/stat : 6458 (java) S 6447 6449 26613 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 896447329 6592360448 33574 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6459] ppid=6447 vsize=6437852 CPUtime=0 cores=4,6
/proc/6449/task/6459/stat : 6459 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 896447329 6592360448 33574 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6460] ppid=6447 vsize=6437852 CPUtime=0 cores=4,6
/proc/6449/task/6460/stat : 6460 (java) S 6447 6449 26613 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 896447330 6592360448 33574 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 0 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6461] ppid=6447 vsize=6437852 CPUtime=0 cores=4,6
/proc/6449/task/6461/stat : 6461 (java) S 6447 6449 26613 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 896447331 6592360448 33574 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6462] ppid=6447 vsize=6437852 CPUtime=0 cores=4,6
/proc/6449/task/6462/stat : 6462 (java) S 6447 6449 26613 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 896447331 6592360448 33574 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6463] ppid=6447 vsize=6437852 CPUtime=0 cores=4,6
/proc/6449/task/6463/stat : 6463 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896447333 6592360448 33574 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350207409 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6464] ppid=6447 vsize=6437852 CPUtime=0.37 cores=4,6
/proc/6449/task/6464/stat : 6464 (java) S 6447 6449 26613 0 -1 4202560 3438 0 0 0 37 0 0 0 17 0 19 0 896447333 6592360448 33574 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6465] ppid=6447 vsize=6437852 CPUtime=0.25 cores=4,6
/proc/6449/task/6465/stat : 6465 (java) S 6447 6449 26613 0 -1 4202560 995 0 0 0 25 0 0 0 15 0 19 0 896447333 6592360448 33574 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/6449/task/6462/stat : 6462 (java) S 6447 6449 26613 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 896447331 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6463] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6463/stat : 6463 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350207409 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6464] ppid=6447 vsize=6450612 CPUtime=0.39 cores=4,6
/proc/6449/task/6464/stat : 6464 (java) S 6447 6449 26613 0 -1 4202560 3446 0 0 0 39 0 0 0 15 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6465] ppid=6447 vsize=6450612 CPUtime=0.49 cores=4,6
/proc/6449/task/6465/stat : 6465 (java) S 6447 6449 26613 0 -1 4202560 7551 0 0 0 49 0 0 0 15 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6466] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6466/stat : 6466 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6467] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6467/stat : 6467 (java) S 6447 6449 26613 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6470] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6470/stat : 6470 (java) S 6447 6449 26613 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 896447395 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1665.37
Current children cumulated vsize (KiB) 6450612
[startup+1722.3 s]
/proc/loadavg: 3.00 3.22 3.55 4/237 21524
/proc/meminfo: memFree=5396384/32951124 swapFree=67054448/67111528
[pid=6449] ppid=6447 vsize=6450612 CPUtime=1725.37 cores=4,6
/proc/6449/stat : 6449 (java) S 6447 6449 26613 0 -1 4202496 914208 0 1 0 172423 114 0 0 18 0 19 0 896447328 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6449/statm: 1612653 907363 2258 9 0 1603391 0
[pid=6449/tid=6450] ppid=6447 vsize=6450612 CPUtime=1717.7 cores=4,6
/proc/6449/task/6450/stat : 6450 (java) R 6447 6449 26613 0 -1 4202560 391683 0 1 0 171723 47 0 0 25 0 19 0 896447328 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 46912505818997 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6449/tid=6452] ppid=6447 vsize=6450612 CPUtime=0.58 cores=4,6
/proc/6449/task/6452/stat : 6452 (java) S 6447 6449 26613 0 -1 4202560 71784 0 0 0 50 8 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6453] ppid=6447 vsize=6450612 CPUtime=0.99 cores=4,6
/proc/6449/task/6453/stat : 6453 (java) S 6447 6449 26613 0 -1 4202560 119173 0 0 0 84 15 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6454] ppid=6447 vsize=6450612 CPUtime=0.56 cores=4,6
/proc/6449/task/6454/stat : 6454 (java) S 6447 6449 26613 0 -1 4202560 49788 0 0 0 51 5 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6455] ppid=6447 vsize=6450612 CPUtime=0.21 cores=4,6
/proc/6449/task/6455/stat : 6455 (java) S 6447 6449 26613 0 -1 4202560 35595 0 0 0 18 3 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6456] ppid=6447 vsize=6450612 CPUtime=0.69 cores=4,6
/proc/6449/task/6456/stat : 6456 (java) S 6447 6449 26613 0 -1 4202560 64101 0 0 0 61 8 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6457] ppid=6447 vsize=6450612 CPUtime=0.26 cores=4,6
/proc/6449/task/6457/stat : 6457 (java) S 6447 6449 26613 0 -1 4202560 65592 0 0 0 17 9 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6458] ppid=6447 vsize=6450612 CPUtime=0.47 cores=4,6
/proc/6449/task/6458/stat : 6458 (java) S 6447 6449 26613 0 -1 4202560 19544 0 0 0 45 2 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6459] ppid=6447 vsize=6450612 CPUtime=0.47 cores=4,6
/proc/6449/task/6459/stat : 6459 (java) S 6447 6449 26613 0 -1 4202560 67951 0 0 0 38 9 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6460] ppid=6447 vsize=6450612 CPUtime=2.44 cores=4,6
/proc/6449/task/6460/stat : 6460 (java) S 6447 6449 26613 0 -1 4202560 16749 0 0 0 243 1 0 0 15 0 19 0 896447330 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 0 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6461] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6461/stat : 6461 (java) S 6447 6449 26613 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 896447331 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6462] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6462/stat : 6462 (java) S 6447 6449 26613 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 896447331 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6463] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6463/stat : 6463 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350207409 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6464] ppid=6447 vsize=6450612 CPUtime=0.39 cores=4,6
/proc/6449/task/6464/stat : 6464 (java) S 6447 6449 26613 0 -1 4202560 3446 0 0 0 39 0 0 0 15 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6465] ppid=6447 vsize=6450612 CPUtime=0.49 cores=4,6
/proc/6449/task/6465/stat : 6465 (java) S 6447 6449 26613 0 -1 4202560 7551 0 0 0 49 0 0 0 15 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6466] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6466/stat : 6466 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6467] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6467/stat : 6467 (java) S 6447 6449 26613 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6470] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6470/stat : 6470 (java) S 6447 6449 26613 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 896447395 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1725.37
Current children cumulated vsize (KiB) 6450612
[startup+1782.3 s]
/proc/loadavg: 3.08 3.19 3.52 3/213 22080
/proc/meminfo: memFree=7711968/32951124 swapFree=67054448/67111528
[pid=6449] ppid=6447 vsize=6450612 CPUtime=1785.38 cores=4,6
/proc/6449/stat : 6449 (java) S 6447 6449 26613 0 -1 4202496 914212 0 1 0 178424 114 0 0 18 0 19 0 896447328 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6449/statm: 1612653 907363 2258 9 0 1603391 0
[pid=6449/tid=6450] ppid=6447 vsize=6450612 CPUtime=1777.71 cores=4,6
/proc/6449/task/6450/stat : 6450 (java) R 6447 6449 26613 0 -1 4202560 391683 0 1 0 177723 48 0 0 25 0 19 0 896447328 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 46912505717281 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6449/tid=6452] ppid=6447 vsize=6450612 CPUtime=0.58 cores=4,6
/proc/6449/task/6452/stat : 6452 (java) S 6447 6449 26613 0 -1 4202560 71784 0 0 0 50 8 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6453] ppid=6447 vsize=6450612 CPUtime=0.99 cores=4,6
/proc/6449/task/6453/stat : 6453 (java) S 6447 6449 26613 0 -1 4202560 119173 0 0 0 84 15 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6454] ppid=6447 vsize=6450612 CPUtime=0.56 cores=4,6
/proc/6449/task/6454/stat : 6454 (java) S 6447 6449 26613 0 -1 4202560 49788 0 0 0 51 5 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6455] ppid=6447 vsize=6450612 CPUtime=0.21 cores=4,6
/proc/6449/task/6455/stat : 6455 (java) S 6447 6449 26613 0 -1 4202560 35595 0 0 0 18 3 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6456] ppid=6447 vsize=6450612 CPUtime=0.69 cores=4,6
/proc/6449/task/6456/stat : 6456 (java) S 6447 6449 26613 0 -1 4202560 64101 0 0 0 61 8 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6457] ppid=6447 vsize=6450612 CPUtime=0.26 cores=4,6
/proc/6449/task/6457/stat : 6457 (java) S 6447 6449 26613 0 -1 4202560 65592 0 0 0 17 9 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6458] ppid=6447 vsize=6450612 CPUtime=0.47 cores=4,6
/proc/6449/task/6458/stat : 6458 (java) S 6447 6449 26613 0 -1 4202560 19544 0 0 0 45 2 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6459] ppid=6447 vsize=6450612 CPUtime=0.47 cores=4,6
/proc/6449/task/6459/stat : 6459 (java) S 6447 6449 26613 0 -1 4202560 67951 0 0 0 38 9 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6460] ppid=6447 vsize=6450612 CPUtime=2.44 cores=4,6
/proc/6449/task/6460/stat : 6460 (java) S 6447 6449 26613 0 -1 4202560 16749 0 0 0 243 1 0 0 15 0 19 0 896447330 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 0 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6461] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6461/stat : 6461 (java) S 6447 6449 26613 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 896447331 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6462] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6462/stat : 6462 (java) S 6447 6449 26613 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 896447331 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6463] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6463/stat : 6463 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350207409 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6464] ppid=6447 vsize=6450612 CPUtime=0.39 cores=4,6
/proc/6449/task/6464/stat : 6464 (java) S 6447 6449 26613 0 -1 4202560 3446 0 0 0 39 0 0 0 15 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6465] ppid=6447 vsize=6450612 CPUtime=0.49 cores=4,6
/proc/6449/task/6465/stat : 6465 (java) S 6447 6449 26613 0 -1 4202560 7551 0 0 0 49 0 0 0 15 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6466] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6466/stat : 6466 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6467] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6467/stat : 6467 (java) S 6447 6449 26613 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6470] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6470/stat : 6470 (java) S 6447 6449 26613 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 896447395 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1785.38
Current children cumulated vsize (KiB) 6450612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797 s]
/proc/loadavg: 2.84 3.13 3.49 3/214 22123
/proc/meminfo: memFree=7643924/32951124 swapFree=67054448/67111528
[pid=6449] ppid=6447 vsize=6450612 CPUtime=1800.08 cores=4,6
/proc/6449/stat : 6449 (java) S 6447 6449 26613 0 -1 4202496 914212 0 1 0 179894 114 0 0 18 0 19 0 896447328 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6449/statm: 1612653 907363 2258 9 0 1603391 0
[pid=6449/tid=6450] ppid=6447 vsize=6450612 CPUtime=1792.41 cores=4,6
/proc/6449/task/6450/stat : 6450 (java) R 6447 6449 26613 0 -1 4202560 391683 0 1 0 179193 48 0 0 25 0 19 0 896447328 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 46912505687841 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6449/tid=6452] ppid=6447 vsize=6450612 CPUtime=0.58 cores=4,6
/proc/6449/task/6452/stat : 6452 (java) S 6447 6449 26613 0 -1 4202560 71784 0 0 0 50 8 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6453] ppid=6447 vsize=6450612 CPUtime=0.99 cores=4,6
/proc/6449/task/6453/stat : 6453 (java) S 6447 6449 26613 0 -1 4202560 119173 0 0 0 84 15 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6454] ppid=6447 vsize=6450612 CPUtime=0.56 cores=4,6
/proc/6449/task/6454/stat : 6454 (java) S 6447 6449 26613 0 -1 4202560 49788 0 0 0 51 5 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6455] ppid=6447 vsize=6450612 CPUtime=0.21 cores=4,6
/proc/6449/task/6455/stat : 6455 (java) S 6447 6449 26613 0 -1 4202560 35595 0 0 0 18 3 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6456] ppid=6447 vsize=6450612 CPUtime=0.69 cores=4,6
/proc/6449/task/6456/stat : 6456 (java) S 6447 6449 26613 0 -1 4202560 64101 0 0 0 61 8 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6457] ppid=6447 vsize=6450612 CPUtime=0.26 cores=4,6
/proc/6449/task/6457/stat : 6457 (java) S 6447 6449 26613 0 -1 4202560 65592 0 0 0 17 9 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6458] ppid=6447 vsize=6450612 CPUtime=0.47 cores=4,6
/proc/6449/task/6458/stat : 6458 (java) S 6447 6449 26613 0 -1 4202560 19544 0 0 0 45 2 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6459] ppid=6447 vsize=6450612 CPUtime=0.47 cores=4,6
/proc/6449/task/6459/stat : 6459 (java) S 6447 6449 26613 0 -1 4202560 67951 0 0 0 38 9 0 0 15 0 19 0 896447329 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6460] ppid=6447 vsize=6450612 CPUtime=2.44 cores=4,6
/proc/6449/task/6460/stat : 6460 (java) S 6447 6449 26613 0 -1 4202560 16749 0 0 0 243 1 0 0 15 0 19 0 896447330 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 0 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6461] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6461/stat : 6461 (java) S 6447 6449 26613 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 896447331 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6462] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6462/stat : 6462 (java) S 6447 6449 26613 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 896447331 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6463] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6463/stat : 6463 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350207409 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6464] ppid=6447 vsize=6450612 CPUtime=0.39 cores=4,6
/proc/6449/task/6464/stat : 6464 (java) S 6447 6449 26613 0 -1 4202560 3446 0 0 0 39 0 0 0 15 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6465] ppid=6447 vsize=6450612 CPUtime=0.49 cores=4,6
/proc/6449/task/6465/stat : 6465 (java) S 6447 6449 26613 0 -1 4202560 7551 0 0 0 49 0 0 0 15 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6466] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6466/stat : 6466 (java) S 6447 6449 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350199705 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
[pid=6449/tid=6467] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6467/stat : 6467 (java) S 6447 6449 26613 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 896447333 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 4 0 16800975 18446604453945068544 0 0 -1 6 0 0 0
[pid=6449/tid=6470] ppid=6447 vsize=6450612 CPUtime=0 cores=4,6
/proc/6449/task/6470/stat : 6470 (java) S 6447 6449 26613 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 896447395 6605426688 907363 33554432000 1073741824 1073778376 140734039560800 18446744073709551615 270350200320 0 4 0 16800975 18446604453945068544 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 6450612
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.11 s]
/proc/loadavg: 2.84 3.13 3.49 3/214 22123
/proc/meminfo: memFree=7643924/32951124 swapFree=67054448/67111528
[pid=6449] ppid=6447 vsize=0 CPUtime=1800.21 cores=4,6
/proc/6449/stat : 6449 (java) Z 6447 6449 26613 0 -1 4203548 914243 0 1 0 179899 122 0 0 17 0 2 0 896447328 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6449/statm: 0 0 0 0 0 0 0
[pid=6449/tid=6450] ppid=6447 vsize=0 CPUtime=1792.5 cores=4,6
/proc/6449/task/6450/stat : 6450 (java) R 6447 6449 26613 0 -1 4203588 391683 0 1 0 179195 55 0 0 25 0 2 0 896447328 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.16
CPU time (s): 1800.27
CPU user time (s): 1799
CPU system time (s): 1.27181
CPU usage (%): 100.173
Max. virtual memory (cumulated for all children) (KiB): 6458716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.27181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 914243
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= 37217
involuntary context switches= 4967
runsolver used 3.22351 second user time and 6.62099 second system time
The end