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-3458765-1307148847/watcher-3458765-1307148847 -o /tmp/evaluation-result-3458765-1307148847/solver-3458765-1307148847 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458765-1307148847.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: 2.07 2.05 1.93 3/479 18559
/proc/meminfo: memFree=28284196/32951124 swapFree=41830676/67111528
[pid=18559] ppid=18557 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/18559/stat : 18559 (java) S 18557 18559 16141 0 -1 4202496 3808 0 1 0 0 0 0 0 25 0 2 0 826482703 13850947584 3511 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/18559/statm: 3381579 3525 917 9 0 3372735 0
[pid=18559/tid=18560] ppid=18557 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (java) R 18557 18559 16141 0 -1 4202560 6212 0 1 0 0 0 0 0 25 0 2 0 826482703 13850947584 7028 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0374201 s]
/proc/loadavg: 2.07 2.05 1.93 3/479 18559
/proc/meminfo: memFree=28284196/32951124 swapFree=41830676/67111528
[pid=18559] ppid=18557 vsize=13547424 CPUtime=0.03 cores=0,2,4,6
/proc/18559/stat : 18559 (java) S 18557 18559 16141 0 -1 4202496 13500 0 1 0 2 1 0 0 25 0 11 0 826482703 13872562176 13200 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/18559/statm: 3386856 13207 1617 9 0 3377604 0
[pid=18559/tid=18560] ppid=18557 vsize=13547424 CPUtime=0.02 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (java) R 18557 18559 16141 0 -1 4202560 12387 0 1 0 2 0 0 0 25 0 11 0 826482703 13872562176 13210 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 47888376320090 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13547424
[startup+0.100437 s]
/proc/loadavg: 2.07 2.05 1.93 3/479 18559
/proc/meminfo: memFree=28284196/32951124 swapFree=41830676/67111528
[pid=18559] ppid=18557 vsize=13622196 CPUtime=0.1 cores=0,2,4,6
/proc/18559/stat : 18559 (java) S 18557 18559 16141 0 -1 4202496 15582 0 1 0 9 1 0 0 25 0 18 0 826482703 13949128704 15256 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18559/statm: 3405549 15256 2093 9 0 3396283 0
[pid=18559/tid=18560] ppid=18557 vsize=13622196 CPUtime=0.08 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (java) R 18557 18559 16141 0 -1 4202560 13650 0 1 0 7 1 0 0 18 0 18 0 826482703 13949128704 15256 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 46912496197392 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622196
[startup+0.306375 s]
/proc/loadavg: 2.07 2.05 1.93 3/479 18559
/proc/meminfo: memFree=28284196/32951124 swapFree=41830676/67111528
[pid=18559] ppid=18557 vsize=13624464 CPUtime=0.5 cores=0,2,4,6
/proc/18559/stat : 18559 (java) S 18557 18559 16141 0 -1 4202496 18746 0 1 0 48 2 0 0 25 0 18 0 826482703 13951451136 18151 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18559/statm: 3406116 18152 2202 9 0 3396850 0
[pid=18559/tid=18560] ppid=18557 vsize=13624464 CPUtime=0.29 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (java) R 18557 18559 16141 0 -1 4202560 15682 0 1 0 27 2 0 0 18 0 18 0 826482703 13951451136 18152 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 46912505579564 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13624464
[startup+0.700297 s]
/proc/loadavg: 2.07 2.05 1.93 3/479 18559
/proc/meminfo: memFree=28284196/32951124 swapFree=41830676/67111528
[pid=18559] ppid=18557 vsize=13626784 CPUtime=1.15 cores=0,2,4,6
/proc/18559/stat : 18559 (java) S 18557 18559 16141 0 -1 4202496 56534 0 1 0 108 7 0 0 25 0 18 0 826482703 13953826816 54657 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18559/statm: 3406696 54661 2214 9 0 3397430 0
[pid=18559/tid=18560] ppid=18557 vsize=13626784 CPUtime=0.68 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (java) R 18557 18559 16141 0 -1 4202560 50941 0 1 0 62 6 0 0 18 0 18 0 826482703 13953826816 54663 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 46912505580947 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 13626784
[startup+1.50118 s]
/proc/loadavg: 2.07 2.05 1.93 3/498 18578
/proc/meminfo: memFree=28009824/32951124 swapFree=41830676/67111528
[pid=18559] ppid=18557 vsize=13628384 CPUtime=2.29 cores=0,2,4,6
/proc/18559/stat : 18559 (java) S 18557 18559 16141 0 -1 4202496 75894 0 1 0 220 9 0 0 25 0 19 0 826482703 13955465216 72967 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18559/statm: 3407096 72967 2235 9 0 3397830 0
[pid=18559/tid=18560] ppid=18557 vsize=13628384 CPUtime=1.48 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (java) R 18557 18559 16141 0 -1 4202560 69022 0 1 0 140 8 0 0 18 0 19 0 826482703 13955465216 72967 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 46912505887307 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482705 13955465216 72967 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18563] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18563/stat : 18563 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482705 13955465216 72967 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18564] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18564/stat : 18564 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482705 13955465216 72967 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18565] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18565/stat : 18565 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482705 13955465216 72967 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18566] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18566/stat : 18566 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482705 13955465216 72967 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18567] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18567/stat : 18567 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482705 13955465216 72967 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18568] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18568/stat : 18568 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482705 13955465216 72968 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18569] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18569/stat : 18569 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482705 13955465216 72968 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18570] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18570/stat : 18570 (java) S 18557 18559 16141 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 826482706 13955465216 72968 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134530560 0 0 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18571] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18571/stat : 18571 (java) S 18557 18559 16141 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826482707 13955465216 72968 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18572] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18572/stat : 18572 (java) S 18557 18559 16141 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826482707 13955465216 72968 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18573] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18573/stat : 18573 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482709 13955465216 72968 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134537649 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18574] ppid=18557 vsize=13628384 CPUtime=0.4 cores=0,2,4,6
/proc/18559/task/18574/stat : 18574 (java) S 18557 18559 16141 0 -1 4202560 3350 0 0 0 40 0 0 0 18 0 19 0 826482709 13955465216 72968 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 0 0 0 0
[pid=18559/tid=18575] ppid=18557 vsize=13628384 CPUtime=0.38 cores=0,2,4,6
/proc/18559/task/18575/stat : 18575 (java) S 18557 18559 16141 0 -1 4202560 2364 0 0 0 38 0 0 0 15 0 19 0 826482709 13955465216 72968 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18576] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18576/stat : 18576 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482709 13955465216 72968 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18577] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18577/stat : 18577 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826482709 13955465216 72968 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134530560 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18578] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18578/stat : 18578 (java) S 18557 18559 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826482788 13955465216 72968 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134530560 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 13628384
[startup+3.10089 s]
/proc/loadavg: 2.06 2.05 1.93 3/498 18578
/proc/meminfo: memFree=27937036/32951124 swapFree=41830676/67111528
[pid=18559] ppid=18557 vsize=13628384 CPUtime=3.99 cores=0,2,4,6
/proc/18559/stat : 18559 (java) S 18557 18559 16141 0 -1 4202496 83993 0 1 0 389 10 0 0 25 0 19 0 826482703 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18559/statm: 3407096 80949 2243 9 0 3397830 0
[pid=18559/tid=18560] ppid=18557 vsize=13628384 CPUtime=3.08 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (java) S 18557 18559 16141 0 -1 4202560 76983 0 1 0 299 9 0 0 18 0 19 0 826482703 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482705 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18563] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18563/stat : 18563 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482705 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18564] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18564/stat : 18564 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482705 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18565] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18565/stat : 18565 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482705 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18566] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18566/stat : 18566 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482705 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18567] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18567/stat : 18567 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482705 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18568] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18568/stat : 18568 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482705 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18569] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18569/stat : 18569 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482705 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18570] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18570/stat : 18570 (java) R 18557 18559 16141 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 826482706 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134530560 0 0 0 16800975 0 0 0 -1 6 0 0 0
[pid=18559/tid=18571] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18571/stat : 18571 (java) S 18557 18559 16141 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826482707 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18572] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18572/stat : 18572 (java) S 18557 18559 16141 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826482707 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18573] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18573/stat : 18573 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482709 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134537649 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18574] ppid=18557 vsize=13628384 CPUtime=0.48 cores=0,2,4,6
/proc/18559/task/18574/stat : 18574 (java) S 18557 18559 16141 0 -1 4202560 3478 0 0 0 48 0 0 0 15 0 19 0 826482709 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 0 0 0 0
[pid=18559/tid=18575] ppid=18557 vsize=13628384 CPUtime=0.41 cores=0,2,4,6
/proc/18559/task/18575/stat : 18575 (java) S 18557 18559 16141 0 -1 4202560 2373 0 0 0 41 0 0 0 15 0 19 0 826482709 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18576] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18576/stat : 18576 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482709 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18577] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18577/stat : 18577 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826482709 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134530560 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18578] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18578/stat : 18578 (java) S 18557 18559 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826482788 13955465216 80949 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134530560 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 13628384
[startup+6.30132 s]
/proc/loadavg: 2.06 2.05 1.93 3/498 18578
/proc/meminfo: memFree=27793716/32951124 swapFree=41830676/67111528
[pid=18559] ppid=18557 vsize=13628384 CPUtime=7.27 cores=0,2,4,6
/proc/18559/stat : 18559 (java) S 18557 18559 16141 0 -1 4202496 108983 0 1 0 714 13 0 0 25 0 19 0 826482703 13955465216 105927 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18559/statm: 3407096 105927 2263 9 0 3397830 0
[pid=18559/tid=18560] ppid=18557 vsize=13628384 CPUtime=6.16 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (java) R 18557 18559 16141 0 -1 4202560 76987 0 1 0 607 9 0 0 22 0 19 0 826482703 13955465216 105927 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 46912505778035 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (java) S 18557 18559 16141 0 -1 4202560 2743 0 0 0 0 0 0 0 16 0 19 0 826482705 13955465216 105927 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18563] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18563/stat : 18563 (java) S 18557 18559 16141 0 -1 4202560 2246 0 0 0 0 0 0 0 16 0 19 0 826482705 13955465216 105927 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18564] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18564/stat : 18564 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826482705 13955465216 105927 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18565] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18565/stat : 18565 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826482705 13955465216 105927 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18566] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18566/stat : 18566 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826482705 13955465216 105927 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18567] ppid=18557 vsize=13628384 CPUtime=0.01 cores=0,2,4,6
/proc/18559/task/18567/stat : 18567 (java) S 18557 18559 16141 0 -1 4202560 2876 0 0 0 1 0 0 0 18 0 19 0 826482705 13955465216 105927 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18568] ppid=18557 vsize=13628384 CPUtime=0.01 cores=0,2,4,6
/proc/18559/task/18568/stat : 18568 (java) S 18557 18559 16141 0 -1 4202560 2060 0 0 0 1 0 0 0 18 0 19 0 826482705 13955465216 105927 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18569] ppid=18557 vsize=13628384 CPUtime=0.01 cores=0,2,4,6
/proc/18559/task/18569/stat : 18569 (java) S 18557 18559 16141 0 -1 4202560 4710 0 0 0 1 0 0 0 18 0 19 0 826482705 13955465216 105927 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18570] ppid=18557 vsize=13628384 CPUtime=0.08 cores=0,2,4,6
/proc/18559/task/18570/stat : 18570 (java) S 18557 18559 16141 0 -1 4202560 10354 0 0 0 7 1 0 0 15 0 19 0 826482706 13955465216 105927 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134530560 0 0 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18571] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18571/stat : 18571 (java) S 18557 18559 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826482707 13955465216 105927 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18572] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18572/stat : 18572 (java) S 18557 18559 16141 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826482707 13955465216 105927 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18573] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18573/stat : 18573 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482709 13955465216 105927 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134537649 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18574] ppid=18557 vsize=13628384 CPUtime=0.5 cores=0,2,4,6
/proc/18559/task/18574/stat : 18574 (java) S 18557 18559 16141 0 -1 4202560 3478 0 0 0 50 0 0 0 15 0 19 0 826482709 13955465216 105927 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 0 0 0 0
[pid=18559/tid=18575] ppid=18557 vsize=13628384 CPUtime=0.43 cores=0,2,4,6
/proc/18559/task/18575/stat : 18575 (java) S 18557 18559 16141 0 -1 4202560 2377 0 0 0 43 0 0 0 15 0 19 0 826482709 13955465216 105927 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/18559/task/18571/stat : 18571 (java) S 18557 18559 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826482707 13955465216 481202 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18572] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18572/stat : 18572 (java) S 18557 18559 16141 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826482707 13955465216 481202 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18573] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18573/stat : 18573 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482709 13955465216 481202 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134537649 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18574] ppid=18557 vsize=13628384 CPUtime=0.52 cores=0,2,4,6
/proc/18559/task/18574/stat : 18574 (java) S 18557 18559 16141 0 -1 4202560 3478 0 0 0 52 0 0 0 16 0 19 0 826482709 13955465216 481202 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 0 0 0 0
[pid=18559/tid=18575] ppid=18557 vsize=13628384 CPUtime=0.61 cores=0,2,4,6
/proc/18559/task/18575/stat : 18575 (java) S 18557 18559 16141 0 -1 4202560 2413 0 0 0 61 0 0 0 15 0 19 0 826482709 13955465216 481202 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18576] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18576/stat : 18576 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482709 13955465216 481202 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18577] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18577/stat : 18577 (java) S 18557 18559 16141 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 826482709 13955465216 481202 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134530560 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18578] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18578/stat : 18578 (java) S 18557 18559 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826482788 13955465216 481202 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134530560 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1669.26
Current children cumulated vsize (KiB) 13628384
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/498 18636
/proc/meminfo: memFree=24729240/32951124 swapFree=41830676/67111528
[pid=18559] ppid=18557 vsize=13628384 CPUtime=1729.39 cores=0,2,4,6
/proc/18559/stat : 18559 (java) S 18557 18559 16141 0 -1 4202496 485367 0 1 0 172874 65 0 0 25 0 19 0 826482703 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18559/statm: 3407096 481954 2264 9 0 3397830 0
[pid=18559/tid=18560] ppid=18557 vsize=13628384 CPUtime=1710.59 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (java) R 18557 18559 16141 0 -1 4202560 121128 0 1 0 171042 17 0 0 25 0 19 0 826482703 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 46912505887246 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=13628384 CPUtime=1.11 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (java) S 18557 18559 16141 0 -1 4202560 24118 0 0 0 108 3 0 0 16 0 19 0 826482705 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 0 0 0 0
[pid=18559/tid=18563] ppid=18557 vsize=13628384 CPUtime=1.05 cores=0,2,4,6
/proc/18559/task/18563/stat : 18563 (java) S 18557 18559 16141 0 -1 4202560 21890 0 0 0 102 3 0 0 15 0 19 0 826482705 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 0 0 0 0
[pid=18559/tid=18564] ppid=18557 vsize=13628384 CPUtime=1.27 cores=0,2,4,6
/proc/18559/task/18564/stat : 18564 (java) S 18557 18559 16141 0 -1 4202560 20818 0 0 0 125 2 0 0 15 0 19 0 826482705 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 0 0 0 0
[pid=18559/tid=18565] ppid=18557 vsize=13628384 CPUtime=0.98 cores=0,2,4,6
/proc/18559/task/18565/stat : 18565 (java) S 18557 18559 16141 0 -1 4202560 14824 0 0 0 97 1 0 0 15 0 19 0 826482705 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18566] ppid=18557 vsize=13628384 CPUtime=1.14 cores=0,2,4,6
/proc/18559/task/18566/stat : 18566 (java) S 18557 18559 16141 0 -1 4202560 26416 0 0 0 110 4 0 0 16 0 19 0 826482705 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18567] ppid=18557 vsize=13628384 CPUtime=1.1 cores=0,2,4,6
/proc/18559/task/18567/stat : 18567 (java) S 18557 18559 16141 0 -1 4202560 28694 0 0 0 107 3 0 0 15 0 19 0 826482705 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18568] ppid=18557 vsize=13628384 CPUtime=1.2 cores=0,2,4,6
/proc/18559/task/18568/stat : 18568 (java) S 18557 18559 16141 0 -1 4202560 39701 0 0 0 114 6 0 0 15 0 19 0 826482705 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 0 0 0 0
[pid=18559/tid=18569] ppid=18557 vsize=13628384 CPUtime=1.29 cores=0,2,4,6
/proc/18559/task/18569/stat : 18569 (java) S 18557 18559 16141 0 -1 4202560 28296 0 0 0 125 4 0 0 16 0 19 0 826482705 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18570] ppid=18557 vsize=13628384 CPUtime=8.4 cores=0,2,4,6
/proc/18559/task/18570/stat : 18570 (java) S 18557 18559 16141 0 -1 4202560 152344 0 0 0 825 15 0 0 15 0 19 0 826482706 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134530560 0 0 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18571] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18571/stat : 18571 (java) S 18557 18559 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826482707 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18572] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18572/stat : 18572 (java) S 18557 18559 16141 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826482707 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18573] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18573/stat : 18573 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482709 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134537649 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18574] ppid=18557 vsize=13628384 CPUtime=0.52 cores=0,2,4,6
/proc/18559/task/18574/stat : 18574 (java) S 18557 18559 16141 0 -1 4202560 3478 0 0 0 52 0 0 0 16 0 19 0 826482709 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 0 0 0 0
[pid=18559/tid=18575] ppid=18557 vsize=13628384 CPUtime=0.61 cores=0,2,4,6
/proc/18559/task/18575/stat : 18575 (java) S 18557 18559 16141 0 -1 4202560 2413 0 0 0 61 0 0 0 15 0 19 0 826482709 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18576] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18576/stat : 18576 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482709 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18577] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18577/stat : 18577 (java) S 18557 18559 16141 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 826482709 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134530560 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18578] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18578/stat : 18578 (java) S 18557 18559 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826482788 13955465216 481954 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134530560 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1729.39
Current children cumulated vsize (KiB) 13628384
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 18637
/proc/meminfo: memFree=24669684/32951124 swapFree=41830676/67111528
[pid=18559] ppid=18557 vsize=13628384 CPUtime=1789.61 cores=0,2,4,6
/proc/18559/stat : 18559 (java) S 18557 18559 16141 0 -1 4202496 487311 0 1 0 178896 65 0 0 25 0 19 0 826482703 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18559/statm: 3407096 483891 2264 9 0 3397830 0
[pid=18559/tid=18560] ppid=18557 vsize=13628384 CPUtime=1770.39 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (java) R 18557 18559 16141 0 -1 4202560 123056 0 1 0 177022 17 0 0 25 0 19 0 826482703 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 46912505887246 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=13628384 CPUtime=1.19 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (java) S 18557 18559 16141 0 -1 4202560 24121 0 0 0 116 3 0 0 16 0 19 0 826482705 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18563] ppid=18557 vsize=13628384 CPUtime=1.05 cores=0,2,4,6
/proc/18559/task/18563/stat : 18563 (java) S 18557 18559 16141 0 -1 4202560 21890 0 0 0 102 3 0 0 16 0 19 0 826482705 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 0 0 0 0
[pid=18559/tid=18564] ppid=18557 vsize=13628384 CPUtime=1.34 cores=0,2,4,6
/proc/18559/task/18564/stat : 18564 (java) S 18557 18559 16141 0 -1 4202560 20823 0 0 0 132 2 0 0 16 0 19 0 826482705 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18565] ppid=18557 vsize=13628384 CPUtime=1.04 cores=0,2,4,6
/proc/18559/task/18565/stat : 18565 (java) S 18557 18559 16141 0 -1 4202560 14826 0 0 0 103 1 0 0 16 0 19 0 826482705 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18566] ppid=18557 vsize=13628384 CPUtime=1.14 cores=0,2,4,6
/proc/18559/task/18566/stat : 18566 (java) S 18557 18559 16141 0 -1 4202560 26416 0 0 0 110 4 0 0 15 0 19 0 826482705 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18567] ppid=18557 vsize=13628384 CPUtime=1.1 cores=0,2,4,6
/proc/18559/task/18567/stat : 18567 (java) S 18557 18559 16141 0 -1 4202560 28694 0 0 0 107 3 0 0 15 0 19 0 826482705 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18568] ppid=18557 vsize=13628384 CPUtime=1.29 cores=0,2,4,6
/proc/18559/task/18568/stat : 18568 (java) S 18557 18559 16141 0 -1 4202560 39701 0 0 0 123 6 0 0 16 0 19 0 826482705 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 0 0 0 0
[pid=18559/tid=18569] ppid=18557 vsize=13628384 CPUtime=1.29 cores=0,2,4,6
/proc/18559/task/18569/stat : 18569 (java) S 18557 18559 16141 0 -1 4202560 28296 0 0 0 125 4 0 0 16 0 19 0 826482705 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18570] ppid=18557 vsize=13628384 CPUtime=8.52 cores=0,2,4,6
/proc/18559/task/18570/stat : 18570 (java) S 18557 18559 16141 0 -1 4202560 152346 0 0 0 837 15 0 0 15 0 19 0 826482706 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134530560 0 0 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18571] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18571/stat : 18571 (java) S 18557 18559 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826482707 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18572] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18572/stat : 18572 (java) S 18557 18559 16141 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826482707 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18573] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18573/stat : 18573 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482709 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134537649 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18574] ppid=18557 vsize=13628384 CPUtime=0.52 cores=0,2,4,6
/proc/18559/task/18574/stat : 18574 (java) S 18557 18559 16141 0 -1 4202560 3478 0 0 0 52 0 0 0 16 0 19 0 826482709 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 0 0 0 0
[pid=18559/tid=18575] ppid=18557 vsize=13628384 CPUtime=0.61 cores=0,2,4,6
/proc/18559/task/18575/stat : 18575 (java) S 18557 18559 16141 0 -1 4202560 2413 0 0 0 61 0 0 0 15 0 19 0 826482709 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18576] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18576/stat : 18576 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482709 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18577] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18577/stat : 18577 (java) S 18557 18559 16141 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826482709 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134530560 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18578] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18578/stat : 18578 (java) S 18557 18559 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826482788 13955465216 483891 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134530560 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (KiB) 13628384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 18686
/proc/meminfo: memFree=26331512/32951124 swapFree=41830676/67111528
[pid=18559] ppid=18557 vsize=13628384 CPUtime=1800.05 cores=0,2,4,6
/proc/18559/stat : 18559 (java) S 18557 18559 16141 0 -1 4202496 488597 0 1 0 179940 65 0 0 25 0 19 0 826482703 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18559/statm: 3407096 485175 2264 9 0 3397830 0
[pid=18559/tid=18560] ppid=18557 vsize=13628384 CPUtime=1780.57 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (java) S 18557 18559 16141 0 -1 4202560 124331 0 1 0 178040 17 0 0 25 0 19 0 826482703 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=13628384 CPUtime=1.19 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (java) S 18557 18559 16141 0 -1 4202560 24121 0 0 0 116 3 0 0 15 0 19 0 826482705 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18563] ppid=18557 vsize=13628384 CPUtime=1.11 cores=0,2,4,6
/proc/18559/task/18563/stat : 18563 (java) S 18557 18559 16141 0 -1 4202560 21890 0 0 0 108 3 0 0 16 0 19 0 826482705 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18564] ppid=18557 vsize=13628384 CPUtime=1.41 cores=0,2,4,6
/proc/18559/task/18564/stat : 18564 (java) S 18557 18559 16141 0 -1 4202560 20832 0 0 0 139 2 0 0 16 0 19 0 826482705 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 0 0 0 0
[pid=18559/tid=18565] ppid=18557 vsize=13628384 CPUtime=1.04 cores=0,2,4,6
/proc/18559/task/18565/stat : 18565 (java) S 18557 18559 16141 0 -1 4202560 14826 0 0 0 103 1 0 0 15 0 19 0 826482705 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18566] ppid=18557 vsize=13628384 CPUtime=1.21 cores=0,2,4,6
/proc/18559/task/18566/stat : 18566 (java) S 18557 18559 16141 0 -1 4202560 26416 0 0 0 117 4 0 0 16 0 19 0 826482705 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18567] ppid=18557 vsize=13628384 CPUtime=1.1 cores=0,2,4,6
/proc/18559/task/18567/stat : 18567 (java) S 18557 18559 16141 0 -1 4202560 28694 0 0 0 107 3 0 0 15 0 19 0 826482705 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18568] ppid=18557 vsize=13628384 CPUtime=1.29 cores=0,2,4,6
/proc/18559/task/18568/stat : 18568 (java) S 18557 18559 16141 0 -1 4202560 39701 0 0 0 123 6 0 0 15 0 19 0 826482705 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 0 0 0 0
[pid=18559/tid=18569] ppid=18557 vsize=13628384 CPUtime=1.29 cores=0,2,4,6
/proc/18559/task/18569/stat : 18569 (java) S 18557 18559 16141 0 -1 4202560 28296 0 0 0 125 4 0 0 15 0 19 0 826482705 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18570] ppid=18557 vsize=13628384 CPUtime=8.59 cores=0,2,4,6
/proc/18559/task/18570/stat : 18570 (java) R 18557 18559 16141 0 -1 4202560 152348 0 0 0 844 15 0 0 15 0 19 0 826482706 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 47888377686019 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=18559/tid=18571] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18571/stat : 18571 (java) S 18557 18559 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826482707 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18572] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18572/stat : 18572 (java) S 18557 18559 16141 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826482707 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 6 0 0 0
[pid=18559/tid=18573] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18573/stat : 18573 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482709 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134537649 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18574] ppid=18557 vsize=13628384 CPUtime=0.52 cores=0,2,4,6
/proc/18559/task/18574/stat : 18574 (java) S 18557 18559 16141 0 -1 4202560 3478 0 0 0 52 0 0 0 16 0 19 0 826482709 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 0 0 0 0
[pid=18559/tid=18575] ppid=18557 vsize=13628384 CPUtime=0.61 cores=0,2,4,6
/proc/18559/task/18575/stat : 18575 (java) S 18557 18559 16141 0 -1 4202560 2413 0 0 0 61 0 0 0 15 0 19 0 826482709 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18576] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18576/stat : 18576 (java) S 18557 18559 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826482709 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134529945 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
[pid=18559/tid=18577] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18577/stat : 18577 (java) S 18557 18559 16141 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826482709 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134530560 0 4 0 16800975 18446604449093945280 0 0 -1 2 0 0 0
[pid=18559/tid=18578] ppid=18557 vsize=13628384 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18578/stat : 18578 (java) S 18557 18559 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826482788 13955465216 485175 33554432000 1073741824 1073778376 140736124332448 18446744073709551615 228134530560 0 4 0 16800975 18446604449093945280 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13628384
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.72 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 18686
/proc/meminfo: memFree=26331512/32951124 swapFree=41830676/67111528
[pid=18559] ppid=18557 vsize=0 CPUtime=1800.22 cores=0,2,4,6
/proc/18559/stat : 18559 (java) Z 18557 18559 16141 0 -1 4203548 488628 0 1 0 179954 68 0 0 17 0 2 0 826482703 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.78
CPU time (s): 1800.28
CPU user time (s): 1799.54
CPU system time (s): 0.733888
CPU usage (%): 100.418
Max. virtual memory (cumulated for all children) (KiB): 13628384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.733888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 488628
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= 39100
involuntary context switches= 32433
runsolver used 8.95564 second user time and 18.0493 second system time
The end