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-3478836-1307438616/watcher-3478836-1307438616 -o /tmp/evaluation-result-3478836-1307438616/solver-3478836-1307438616 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3478836-1307438616.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: 3.89 3.95 3.33 3/482 15388
/proc/meminfo: memFree=24425880/32951124 swapFree=41830676/67111528
[pid=15388] ppid=15386 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/15388/stat : 15388 (java) S 15386 15388 15115 0 -1 4202496 1518 0 1 0 0 0 0 0 23 0 2 0 855459722 10681323520 1221 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/15388/statm: 2607745 1232 906 9 0 2598901 0
[pid=15388/tid=15389] ppid=15386 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15389/stat : 15389 (java) R 15386 15388 15115 0 -1 4202560 4512 0 1 0 0 0 0 0 25 0 2 0 855459722 10694979584 5330 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.028246 s]
/proc/loadavg: 3.89 3.95 3.33 3/482 15388
/proc/meminfo: memFree=24425880/32951124 swapFree=41830676/67111528
[pid=15388] ppid=15386 vsize=10454868 CPUtime=0.02 cores=0,2,4,6
/proc/15388/stat : 15388 (java) S 15386 15388 15115 0 -1 4202496 10404 0 1 0 1 1 0 0 23 0 10 0 855459722 10705784832 10104 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/15388/statm: 2613717 10104 1306 9 0 2604465 0
[pid=15388/tid=15389] ppid=15386 vsize=10454868 CPUtime=0.01 cores=0,2,4,6
/proc/15388/task/15389/stat : 15389 (java) R 15386 15388 15115 0 -1 4202560 9281 0 1 0 0 1 0 0 25 0 10 0 855459722 10705784832 10104 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 46912504011253 0 4 0 16784584 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10454868
[startup+0.100225 s]
/proc/loadavg: 3.89 3.95 3.33 3/482 15388
/proc/meminfo: memFree=24425880/32951124 swapFree=41830676/67111528
[pid=15388] ppid=15386 vsize=10540344 CPUtime=0.1 cores=0,2,4,6
/proc/15388/stat : 15388 (java) S 15386 15388 15115 0 -1 4202496 13043 0 1 0 9 1 0 0 23 0 18 0 855459722 10793312256 12724 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15388/statm: 2635086 12724 2093 9 0 2625820 0
[pid=15388/tid=15389] ppid=15386 vsize=10540344 CPUtime=0.08 cores=0,2,4,6
/proc/15388/task/15389/stat : 15389 (java) R 15386 15388 15115 0 -1 4202560 11119 0 1 0 7 1 0 0 25 0 18 0 855459722 10793312256 12724 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 47512417862787 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540344
[startup+0.305248 s]
/proc/loadavg: 3.89 3.95 3.33 3/482 15388
/proc/meminfo: memFree=24425880/32951124 swapFree=41830676/67111528
[pid=15388] ppid=15386 vsize=10541776 CPUtime=0.49 cores=0,2,4,6
/proc/15388/stat : 15388 (java) S 15386 15388 15115 0 -1 4202496 17308 0 1 0 47 2 0 0 23 0 18 0 855459722 10794778624 16572 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15388/statm: 2635444 16572 2200 9 0 2626178 0
[pid=15388/tid=15389] ppid=15386 vsize=10541776 CPUtime=0.29 cores=0,2,4,6
/proc/15388/task/15389/stat : 15389 (java) R 15386 15388 15115 0 -1 4202560 14330 0 1 0 27 2 0 0 18 0 18 0 855459722 10794778624 16573 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541776
[startup+0.701163 s]
/proc/loadavg: 3.89 3.95 3.33 3/482 15388
/proc/meminfo: memFree=24425880/32951124 swapFree=41830676/67111528
[pid=15388] ppid=15386 vsize=10544588 CPUtime=1.27 cores=0,2,4,6
/proc/15388/stat : 15388 (java) S 15386 15388 15115 0 -1 4202496 59242 0 1 0 119 8 0 0 23 0 18 0 855459722 10797658112 56951 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15388/statm: 2636147 56954 2216 9 0 2626881 0
[pid=15388/tid=15389] ppid=15386 vsize=10544588 CPUtime=0.68 cores=0,2,4,6
/proc/15388/task/15389/stat : 15389 (java) R 15386 15388 15115 0 -1 4202560 53085 0 1 0 61 7 0 0 18 0 18 0 855459722 10797658112 56956 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 46912505769812 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 10544588
[startup+1.50103 s]
/proc/loadavg: 3.89 3.95 3.33 4/500 15406
/proc/meminfo: memFree=24035704/32951124 swapFree=41830676/67111528
[pid=15388] ppid=15386 vsize=10544588 CPUtime=2.15 cores=0,2,4,6
/proc/15388/stat : 15388 (java) S 15386 15388 15115 0 -1 4202496 173191 0 1 0 194 21 0 0 23 0 18 0 855459722 10797658112 170899 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15388/statm: 2636147 170904 2216 9 0 2626881 0
[pid=15388/tid=15389] ppid=15386 vsize=10544588 CPUtime=1.48 cores=0,2,4,6
/proc/15388/task/15389/stat : 15389 (java) R 15386 15388 15115 0 -1 4202560 167028 0 1 0 128 20 0 0 18 0 18 0 855459722 10797658112 170906 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 46912505612883 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15388/tid=15391] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15391/stat : 15391 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459724 10797658112 170910 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15392] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15392/stat : 15392 (java) S 15386 15388 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855459724 10797658112 170912 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15393] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15393/stat : 15393 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459724 10797658112 170915 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15394] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15394/stat : 15394 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459724 10797658112 170919 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15395] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15395/stat : 15395 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459724 10797658112 170936 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15396] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15396/stat : 15396 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459724 10797658112 170951 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15397] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15397/stat : 15397 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459724 10797658112 170968 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15398] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15398/stat : 15398 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459724 10797658112 170984 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15399] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15399/stat : 15399 (java) S 15386 15388 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855459725 10797658112 171000 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 0 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15400] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15400/stat : 15400 (java) S 15386 15388 15115 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855459726 10797658112 171001 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15401] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15401/stat : 15401 (java) S 15386 15388 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855459726 10797658112 171004 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15402] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15402/stat : 15402 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459728 10797658112 171007 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134537649 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15403] ppid=15386 vsize=10544588 CPUtime=0.36 cores=0,2,4,6
/proc/15388/task/15403/stat : 15403 (java) S 15386 15388 15115 0 -1 4202560 3228 0 0 0 36 0 0 0 19 0 18 0 855459728 10797658112 171010 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15404] ppid=15386 vsize=10544588 CPUtime=0.29 cores=0,2,4,6
/proc/15388/task/15404/stat : 15404 (java) S 15386 15388 15115 0 -1 4202560 1791 0 0 0 29 0 0 0 15 0 18 0 855459728 10797658112 171013 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 4 0 0 0
[pid=15388/tid=15405] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15405/stat : 15405 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459728 10797658112 171016 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15406] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15406/stat : 15406 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855459728 10797658112 171019 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 10544588
[startup+3.10074 s]
/proc/loadavg: 3.89 3.95 3.33 5/500 15406
/proc/meminfo: memFree=23397972/32951124 swapFree=41830676/67111528
[pid=15388] ppid=15386 vsize=10544588 CPUtime=3.8 cores=0,2,4,6
/proc/15388/stat : 15388 (java) S 15386 15388 15115 0 -1 4202496 401608 0 1 0 332 48 0 0 23 0 18 0 855459722 10797658112 399316 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15388/statm: 2636147 399321 2216 9 0 2626881 0
[pid=15388/tid=15389] ppid=15386 vsize=10544588 CPUtime=3.08 cores=0,2,4,6
/proc/15388/task/15389/stat : 15389 (java) R 15386 15388 15115 0 -1 4202560 395440 0 1 0 261 47 0 0 21 0 18 0 855459722 10797658112 399324 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 46912505771425 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15388/tid=15391] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15391/stat : 15391 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459724 10797658112 399327 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15392] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15392/stat : 15392 (java) S 15386 15388 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855459724 10797658112 399330 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15393] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15393/stat : 15393 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459724 10797658112 399334 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15394] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15394/stat : 15394 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459724 10797658112 399338 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15395] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15395/stat : 15395 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459724 10797658112 399340 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15396] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15396/stat : 15396 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459724 10797658112 399344 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15397] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15397/stat : 15397 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459724 10797658112 399347 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15398] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15398/stat : 15398 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459724 10797658112 399350 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15399] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15399/stat : 15399 (java) S 15386 15388 15115 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 855459725 10797658112 399354 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 0 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15400] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15400/stat : 15400 (java) S 15386 15388 15115 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855459726 10797658112 399354 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15401] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15401/stat : 15401 (java) S 15386 15388 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855459726 10797658112 399356 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15402] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15402/stat : 15402 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459728 10797658112 399359 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134537649 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15403] ppid=15386 vsize=10544588 CPUtime=0.4 cores=0,2,4,6
/proc/15388/task/15403/stat : 15403 (java) S 15386 15388 15115 0 -1 4202560 3230 0 0 0 40 0 0 0 15 0 18 0 855459728 10797658112 399362 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15404] ppid=15386 vsize=10544588 CPUtime=0.3 cores=0,2,4,6
/proc/15388/task/15404/stat : 15404 (java) S 15386 15388 15115 0 -1 4202560 1795 0 0 0 30 0 0 0 15 0 18 0 855459728 10797658112 399366 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 4 0 0 0
[pid=15388/tid=15405] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15405/stat : 15405 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459728 10797658112 399368 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15406] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15406/stat : 15406 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855459728 10797658112 399371 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 4 0 16800975 18446604442344002496 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 10544588
[startup+6.30116 s]
/proc/loadavg: 3.81 3.93 3.33 4/500 15406
/proc/meminfo: memFree=21678388/32951124 swapFree=41830676/67111528
[pid=15388] ppid=15386 vsize=10544588 CPUtime=7.41 cores=0,2,4,6
/proc/15388/stat : 15388 (java) S 15386 15388 15115 0 -1 4202496 690215 0 1 0 658 83 0 0 23 0 18 0 855459722 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15388/statm: 2636147 687495 2231 9 0 2626881 0
[pid=15388/tid=15389] ppid=15386 vsize=10544588 CPUtime=6.13 cores=0,2,4,6
/proc/15388/task/15389/stat : 15389 (java) R 15386 15388 15115 0 -1 4202560 650811 0 1 0 536 77 0 0 25 0 18 0 855459722 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 46912505551120 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15388/tid=15391] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15391/stat : 15391 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855459724 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15392] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15392/stat : 15392 (java) S 15386 15388 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855459724 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15393] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15393/stat : 15393 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855459724 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 2 0 0 0
[pid=15388/tid=15394] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15394/stat : 15394 (java) S 15386 15388 15115 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 18 0 855459724 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15395] ppid=15386 vsize=10544588 CPUtime=0.11 cores=0,2,4,6
/proc/15388/task/15395/stat : 15395 (java) S 15386 15388 15115 0 -1 4202560 7433 0 0 0 11 0 0 0 18 0 18 0 855459724 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15396] ppid=15386 vsize=10544588 CPUtime=0.13 cores=0,2,4,6
/proc/15388/task/15396/stat : 15396 (java) S 15386 15388 15115 0 -1 4202560 8046 0 0 0 12 1 0 0 18 0 18 0 855459724 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 4 0 0 0
[pid=15388/tid=15397] ppid=15386 vsize=10544588 CPUtime=0.14 cores=0,2,4,6
/proc/15388/task/15397/stat : 15397 (java) S 15386 15388 15115 0 -1 4202560 8670 0 0 0 13 1 0 0 18 0 18 0 855459724 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 2 0 0 0
[pid=15388/tid=15398] ppid=15386 vsize=10544588 CPUtime=0.13 cores=0,2,4,6
/proc/15388/task/15398/stat : 15398 (java) S 15386 15388 15115 0 -1 4202560 8942 0 0 0 12 1 0 0 18 0 18 0 855459724 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15399] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15399/stat : 15399 (java) S 15386 15388 15115 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 855459725 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 0 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15400] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15400/stat : 15400 (java) S 15386 15388 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 855459726 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15401] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15401/stat : 15401 (java) S 15386 15388 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 855459726 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15402] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15402/stat : 15402 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459728 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134537649 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15403] ppid=15386 vsize=10544588 CPUtime=0.4 cores=0,2,4,6
/proc/15388/task/15403/stat : 15403 (java) S 15386 15388 15115 0 -1 4202560 3230 0 0 0 40 0 0 0 15 0 18 0 855459728 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15404] ppid=15386 vsize=10544588 CPUtime=0.3 cores=0,2,4,6
/proc/15388/task/15404/stat : 15404 (java) S 15386 15388 15115 0 -1 4202560 1795 0 0 0 30 0 0 0 15 0 18 0 855459728 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 4 0 0 0
[pid=15388/tid=15405] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15405/stat : 15405 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855459728 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15406] ppid=15386 vsize=10544588 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15406/stat : 15406 (java) S 15386 15388 15115 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 855459728 10797658112 687495 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 4 0 16800975 18446604442344002496 0 0 -1 4 0 0 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.20 4.02 3.70 5/504 15483
/proc/meminfo: memFree=20496928/32951124 swapFree=41830676/67111528
[pid=15388] ppid=15386 vsize=10548700 CPUtime=1606.52 cores=0,2,4,6
/proc/15388/stat : 15388 (java) S 15386 15388 15115 0 -1 4202496 989395 0 1 0 160531 121 0 0 23 0 22 0 855459722 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15388/statm: 2637175 981265 2267 9 0 2627909 0
[pid=15388/tid=15389] ppid=15386 vsize=10548700 CPUtime=6.86 cores=0,2,4,6
/proc/15388/task/15389/stat : 15389 (java) S 15386 15388 15115 0 -1 4202560 650937 0 1 0 608 78 0 0 15 0 22 0 855459722 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15391] ppid=15386 vsize=10548700 CPUtime=0.62 cores=0,2,4,6
/proc/15388/task/15391/stat : 15391 (java) S 15386 15388 15115 0 -1 4202560 23533 0 0 0 60 2 0 0 16 0 22 0 855459724 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 2 0 0 0
[pid=15388/tid=15392] ppid=15386 vsize=10548700 CPUtime=0.39 cores=0,2,4,6
/proc/15388/task/15392/stat : 15392 (java) S 15386 15388 15115 0 -1 4202560 11403 0 0 0 37 2 0 0 16 0 22 0 855459724 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15393] ppid=15386 vsize=10548700 CPUtime=0.36 cores=0,2,4,6
/proc/15388/task/15393/stat : 15393 (java) S 15386 15388 15115 0 -1 4202560 8390 0 0 0 35 1 0 0 16 0 22 0 855459724 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15394] ppid=15386 vsize=10548700 CPUtime=0.36 cores=0,2,4,6
/proc/15388/task/15394/stat : 15394 (java) S 15386 15388 15115 0 -1 4202560 9695 0 0 0 35 1 0 0 15 0 22 0 855459724 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 2 0 0 0
[pid=15388/tid=15395] ppid=15386 vsize=10548700 CPUtime=0.59 cores=0,2,4,6
/proc/15388/task/15395/stat : 15395 (java) S 15386 15388 15115 0 -1 4202560 20671 0 0 0 57 2 0 0 15 0 22 0 855459724 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 2 0 0 0
[pid=15388/tid=15396] ppid=15386 vsize=10548700 CPUtime=0.66 cores=0,2,4,6
/proc/15388/task/15396/stat : 15396 (java) S 15386 15388 15115 0 -1 4202560 27973 0 0 0 62 4 0 0 15 0 22 0 855459724 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15397] ppid=15386 vsize=10548700 CPUtime=0.6 cores=0,2,4,6
/proc/15388/task/15397/stat : 15397 (java) S 15386 15388 15115 0 -1 4202560 16522 0 0 0 58 2 0 0 15 0 22 0 855459724 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15398] ppid=15386 vsize=10548700 CPUtime=0.56 cores=0,2,4,6
/proc/15388/task/15398/stat : 15398 (java) S 15386 15388 15115 0 -1 4202560 17728 0 0 0 53 3 0 0 15 0 22 0 855459724 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15399] ppid=15386 vsize=10548700 CPUtime=35.06 cores=0,2,4,6
/proc/15388/task/15399/stat : 15399 (java) S 15386 15388 15115 0 -1 4202560 130156 0 0 0 3493 13 0 0 15 0 22 0 855459725 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 0 0 16800975 18446604442344002496 0 0 -1 4 0 0 0
[pid=15388/tid=15400] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15400/stat : 15400 (java) S 15386 15388 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855459726 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15401] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15401/stat : 15401 (java) S 15386 15388 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855459726 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15402] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15402/stat : 15402 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855459728 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134537649 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15403] ppid=15386 vsize=10548700 CPUtime=1.17 cores=0,2,4,6
/proc/15388/task/15403/stat : 15403 (java) S 15386 15388 15115 0 -1 4202560 9899 0 0 0 116 1 0 0 15 0 22 0 855459728 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15404] ppid=15386 vsize=10548700 CPUtime=0.86 cores=0,2,4,6
/proc/15388/task/15404/stat : 15404 (java) S 15386 15388 15115 0 -1 4202560 1930 0 0 0 86 0 0 0 15 0 22 0 855459728 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 2 0 0 0
[pid=15388/tid=15405] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15405/stat : 15405 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855459728 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15406] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15406/stat : 15406 (java) S 15386 15388 15115 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 855459728 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15407] ppid=15386 vsize=10548700 CPUtime=779.13 cores=0,2,4,6
/proc/15388/task/15407/stat : 15407 (java) R 15386 15388 15115 0 -1 4202560 358 0 0 0 77912 1 0 0 25 0 22 0 855460424 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 46912506049637 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15388/tid=15408] ppid=15386 vsize=10548700 CPUtime=779.16 cores=0,2,4,6
/proc/15388/task/15408/stat : 15408 (java) R 15386 15388 15115 0 -1 4202560 58993 0 0 0 77911 5 0 0 25 0 22 0 855460424 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 46912505907260 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15388/tid=15409] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15409/stat : 15409 (java) S 15386 15388 15115 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855460427 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 4 0 16800975 18446604442344002496 0 0 -1 4 0 0 0
[pid=15388/tid=15410] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15410/stat : 15410 (java) S 15386 15388 15115 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 855460427 10801868800 981265 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1606.52
Current children cumulated vsize (KiB) 10548700
[startup+882.301 s]
/proc/loadavg: 4.12 4.03 3.72 5/504 15485
/proc/meminfo: memFree=20433180/32951124 swapFree=41830676/67111528
[pid=15388] ppid=15386 vsize=10548700 CPUtime=1725.37 cores=0,2,4,6
/proc/15388/stat : 15388 (java) S 15386 15388 15115 0 -1 4202496 995796 0 1 0 172415 122 0 0 23 0 22 0 855459722 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15388/statm: 2637175 987394 2267 9 0 2627909 0
[pid=15388/tid=15389] ppid=15386 vsize=10548700 CPUtime=6.86 cores=0,2,4,6
/proc/15388/task/15389/stat : 15389 (java) S 15386 15388 15115 0 -1 4202560 650939 0 1 0 608 78 0 0 15 0 22 0 855459722 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15391] ppid=15386 vsize=10548700 CPUtime=0.67 cores=0,2,4,6
/proc/15388/task/15391/stat : 15391 (java) S 15386 15388 15115 0 -1 4202560 24746 0 0 0 65 2 0 0 16 0 22 0 855459724 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15392] ppid=15386 vsize=10548700 CPUtime=0.43 cores=0,2,4,6
/proc/15388/task/15392/stat : 15392 (java) S 15386 15388 15115 0 -1 4202560 12702 0 0 0 41 2 0 0 16 0 22 0 855459724 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 2 0 0 0
[pid=15388/tid=15393] ppid=15386 vsize=10548700 CPUtime=0.42 cores=0,2,4,6
/proc/15388/task/15393/stat : 15393 (java) S 15386 15388 15115 0 -1 4202560 9765 0 0 0 41 1 0 0 16 0 22 0 855459724 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15394] ppid=15386 vsize=10548700 CPUtime=0.41 cores=0,2,4,6
/proc/15388/task/15394/stat : 15394 (java) S 15386 15388 15115 0 -1 4202560 11319 0 0 0 40 1 0 0 16 0 22 0 855459724 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 2 0 0 0
[pid=15388/tid=15395] ppid=15386 vsize=10548700 CPUtime=0.6 cores=0,2,4,6
/proc/15388/task/15395/stat : 15395 (java) S 15386 15388 15115 0 -1 4202560 20671 0 0 0 58 2 0 0 15 0 22 0 855459724 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 2 0 0 0
[pid=15388/tid=15396] ppid=15386 vsize=10548700 CPUtime=0.66 cores=0,2,4,6
/proc/15388/task/15396/stat : 15396 (java) S 15386 15388 15115 0 -1 4202560 27973 0 0 0 62 4 0 0 15 0 22 0 855459724 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15397] ppid=15386 vsize=10548700 CPUtime=0.62 cores=0,2,4,6
/proc/15388/task/15397/stat : 15397 (java) S 15386 15388 15115 0 -1 4202560 16967 0 0 0 60 2 0 0 15 0 22 0 855459724 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15398] ppid=15386 vsize=10548700 CPUtime=0.56 cores=0,2,4,6
/proc/15388/task/15398/stat : 15398 (java) S 15386 15388 15115 0 -1 4202560 17728 0 0 0 53 3 0 0 15 0 22 0 855459724 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15399] ppid=15386 vsize=10548700 CPUtime=36.31 cores=0,2,4,6
/proc/15388/task/15399/stat : 15399 (java) S 15386 15388 15115 0 -1 4202560 130592 0 0 0 3618 13 0 0 15 0 22 0 855459725 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 0 0 16800975 18446604442344002496 0 0 -1 4 0 0 0
[pid=15388/tid=15400] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15400/stat : 15400 (java) S 15386 15388 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855459726 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15401] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15401/stat : 15401 (java) S 15386 15388 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855459726 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15402] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15402/stat : 15402 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855459728 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134537649 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15403] ppid=15386 vsize=10548700 CPUtime=1.17 cores=0,2,4,6
/proc/15388/task/15403/stat : 15403 (java) S 15386 15388 15115 0 -1 4202560 9901 0 0 0 116 1 0 0 15 0 22 0 855459728 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15404] ppid=15386 vsize=10548700 CPUtime=0.86 cores=0,2,4,6
/proc/15388/task/15404/stat : 15404 (java) S 15386 15388 15115 0 -1 4202560 1930 0 0 0 86 0 0 0 15 0 22 0 855459728 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 2 0 0 0
[pid=15388/tid=15405] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15405/stat : 15405 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855459728 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15406] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15406/stat : 15406 (java) S 15386 15388 15115 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 855459728 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15407] ppid=15386 vsize=10548700 CPUtime=837.81 cores=0,2,4,6
/proc/15388/task/15407/stat : 15407 (java) R 15386 15388 15115 0 -1 4202560 359 0 0 0 83780 1 0 0 25 0 22 0 855460424 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 46912505907260 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15388/tid=15408] ppid=15386 vsize=10548700 CPUtime=837.85 cores=0,2,4,6
/proc/15388/task/15408/stat : 15408 (java) R 15386 15388 15115 0 -1 4202560 58993 0 0 0 83780 5 0 0 25 0 22 0 855460424 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 46912506319862 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15388/tid=15409] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15409/stat : 15409 (java) S 15386 15388 15115 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855460427 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 4 0 16800975 18446604442344002496 0 0 -1 4 0 0 0
[pid=15388/tid=15410] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15410/stat : 15410 (java) S 15386 15388 15115 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 855460427 10801868800 987394 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.37
Current children cumulated vsize (KiB) 10548700
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+920.001 s]
/proc/loadavg: 4.06 4.02 3.73 5/504 15486
/proc/meminfo: memFree=20431296/32951124 swapFree=41830676/67111528
[pid=15388] ppid=15386 vsize=10548700 CPUtime=1800.17 cores=0,2,4,6
/proc/15388/stat : 15388 (java) S 15386 15388 15115 0 -1 4202496 996273 0 1 0 179895 122 0 0 23 0 22 0 855459722 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15388/statm: 2637175 987866 2267 9 0 2627909 0
[pid=15388/tid=15389] ppid=15386 vsize=10548700 CPUtime=6.86 cores=0,2,4,6
/proc/15388/task/15389/stat : 15389 (java) S 15386 15388 15115 0 -1 4202560 650939 0 1 0 608 78 0 0 15 0 22 0 855459722 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15391] ppid=15386 vsize=10548700 CPUtime=0.67 cores=0,2,4,6
/proc/15388/task/15391/stat : 15391 (java) S 15386 15388 15115 0 -1 4202560 24746 0 0 0 65 2 0 0 16 0 22 0 855459724 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15392] ppid=15386 vsize=10548700 CPUtime=0.43 cores=0,2,4,6
/proc/15388/task/15392/stat : 15392 (java) S 15386 15388 15115 0 -1 4202560 12702 0 0 0 41 2 0 0 15 0 22 0 855459724 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 2 0 0 0
[pid=15388/tid=15393] ppid=15386 vsize=10548700 CPUtime=0.42 cores=0,2,4,6
/proc/15388/task/15393/stat : 15393 (java) S 15386 15388 15115 0 -1 4202560 9765 0 0 0 41 1 0 0 15 0 22 0 855459724 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 2 0 0 0
[pid=15388/tid=15394] ppid=15386 vsize=10548700 CPUtime=0.41 cores=0,2,4,6
/proc/15388/task/15394/stat : 15394 (java) S 15386 15388 15115 0 -1 4202560 11319 0 0 0 40 1 0 0 15 0 22 0 855459724 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 2 0 0 0
[pid=15388/tid=15395] ppid=15386 vsize=10548700 CPUtime=0.6 cores=0,2,4,6
/proc/15388/task/15395/stat : 15395 (java) S 15386 15388 15115 0 -1 4202560 20671 0 0 0 58 2 0 0 15 0 22 0 855459724 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 2 0 0 0
[pid=15388/tid=15396] ppid=15386 vsize=10548700 CPUtime=0.67 cores=0,2,4,6
/proc/15388/task/15396/stat : 15396 (java) S 15386 15388 15115 0 -1 4202560 27973 0 0 0 63 4 0 0 16 0 22 0 855459724 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 2 0 0 0
[pid=15388/tid=15397] ppid=15386 vsize=10548700 CPUtime=0.63 cores=0,2,4,6
/proc/15388/task/15397/stat : 15397 (java) S 15386 15388 15115 0 -1 4202560 16967 0 0 0 61 2 0 0 16 0 22 0 855459724 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15398] ppid=15386 vsize=10548700 CPUtime=0.56 cores=0,2,4,6
/proc/15388/task/15398/stat : 15398 (java) S 15386 15388 15115 0 -1 4202560 17728 0 0 0 53 3 0 0 15 0 22 0 855459724 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15399] ppid=15386 vsize=10548700 CPUtime=36.94 cores=0,2,4,6
/proc/15388/task/15399/stat : 15399 (java) S 15386 15388 15115 0 -1 4202560 131066 0 0 0 3681 13 0 0 15 0 22 0 855459725 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 0 0 16800975 18446604442344002496 0 0 -1 4 0 0 0
[pid=15388/tid=15400] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15400/stat : 15400 (java) S 15386 15388 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855459726 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15401] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15401/stat : 15401 (java) S 15386 15388 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855459726 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15402] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15402/stat : 15402 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855459728 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134537649 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15403] ppid=15386 vsize=10548700 CPUtime=1.17 cores=0,2,4,6
/proc/15388/task/15403/stat : 15403 (java) S 15386 15388 15115 0 -1 4202560 9901 0 0 0 116 1 0 0 15 0 22 0 855459728 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 0 0 0 0
[pid=15388/tid=15404] ppid=15386 vsize=10548700 CPUtime=0.86 cores=0,2,4,6
/proc/15388/task/15404/stat : 15404 (java) S 15386 15388 15115 0 -1 4202560 1930 0 0 0 86 0 0 0 15 0 22 0 855459728 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 2 0 0 0
[pid=15388/tid=15405] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15405/stat : 15405 (java) S 15386 15388 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855459728 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134529945 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15406] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15406/stat : 15406 (java) S 15386 15388 15115 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 855459728 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
[pid=15388/tid=15407] ppid=15386 vsize=10548700 CPUtime=874.89 cores=0,2,4,6
/proc/15388/task/15407/stat : 15407 (java) R 15386 15388 15115 0 -1 4202560 359 0 0 0 87488 1 0 0 25 0 22 0 855460424 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 46912505907246 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15388/tid=15408] ppid=15386 vsize=10548700 CPUtime=874.93 cores=0,2,4,6
/proc/15388/task/15408/stat : 15408 (java) R 15386 15388 15115 0 -1 4202560 58994 0 0 0 87488 5 0 0 25 0 22 0 855460424 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 46912505907260 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15388/tid=15409] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15409/stat : 15409 (java) S 15386 15388 15115 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855460427 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 4 0 16800975 18446604442344002496 0 0 -1 4 0 0 0
[pid=15388/tid=15410] ppid=15386 vsize=10548700 CPUtime=0 cores=0,2,4,6
/proc/15388/task/15410/stat : 15410 (java) S 15386 15388 15115 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 855460427 10801868800 987866 33554432000 1073741824 1073778376 140736696262048 18446744073709551615 228134530560 0 4 0 16800975 18446604442344002496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 10548700
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+920.201 s]
/proc/loadavg: 4.06 4.02 3.73 5/504 15486
/proc/meminfo: memFree=20431296/32951124 swapFree=41830676/67111528
[pid=15388] ppid=15386 vsize=0 CPUtime=1800.49 cores=0,2,4,6
/proc/15388/stat : 15388 (java) Z 15386 15388 15115 0 -1 4203548 996307 0 1 0 179913 136 0 0 17 0 2 0 855459722 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15388/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 920.215
CPU time (s): 1800.51
CPU user time (s): 1799.14
CPU system time (s): 1.37379
CPU usage (%): 195.662
Max. virtual memory (cumulated for all children) (KiB): 10548700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.14
system time used= 1.37379
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 996307
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= 23154
involuntary context switches= 14716
runsolver used 4.53931 second user time and 9.71952 second system time
The end