runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4100402-1466209222/watcher-4100402-1466209222 -o /tmp/evaluation-result-4100402-1466209222/solver-4100402-1466209222 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8353 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100402-1466209222.opb
pid=11519
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: 4.39 4.39 4.19 4/198 11522
/proc/meminfo: memFree=27475212/32872528 swapFree=1499884/1696108
[pid=11522] ppid=11519 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/11522/stat : 11522 (java) R 11519 11522 8337 0 -1 4202496 295 0 0 0 0 0 0 0 20 0 1 0 22967912 9515008 152 33554432000 1073741824 1073778376 140736045427920 140736045425048 1073762640 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11522/statm: 2323 159 118 9 0 71 0
[startup+0.100058 s]
/proc/loadavg: 4.39 4.39 4.19 4/198 11522
/proc/meminfo: memFree=27475212/32872528 swapFree=1499884/1696108
[pid=11522] ppid=11519 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/11522/stat : 11522 (java) S 11519 11522 8337 0 -1 4202496 4320 0 1 0 7 0 0 0 20 0 18 0 22967912 9787879424 5447 33554432000 1073741824 1073778376 140737283416272 140737283407408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11522/statm: 2389619 5447 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476
[startup+0.200213 s]
/proc/loadavg: 4.39 4.39 4.19 4/198 11522
/proc/meminfo: memFree=27475212/32872528 swapFree=1499884/1696108
[pid=11522] ppid=11519 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/11522/stat : 11522 (java) S 11519 11522 8337 0 -1 4202496 4978 0 1 0 25 1 0 0 20 0 18 0 22967912 9787879424 6969 33554432000 1073741824 1073778376 140737283416272 140737283407408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11522/statm: 2389619 6969 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300221 s]
/proc/loadavg: 4.39 4.39 4.19 4/198 11522
/proc/meminfo: memFree=27475212/32872528 swapFree=1499884/1696108
[pid=11522] ppid=11519 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/11522/stat : 11522 (java) S 11519 11522 8337 0 -1 4202496 5708 0 1 0 47 1 0 0 20 0 18 0 22967912 9787879424 8917 33554432000 1073741824 1073778376 140737283416272 140737283407408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11522/statm: 2389619 8917 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700181 s]
/proc/loadavg: 4.39 4.39 4.19 4/198 11522
/proc/meminfo: memFree=27475212/32872528 swapFree=1499884/1696108
[pid=11522] ppid=11519 vsize=9691604 CPUtime=1.43 cores=0,2,4,6
/proc/11522/stat : 11522 (java) S 11519 11522 8337 0 -1 4202496 16026 0 1 0 139 4 0 0 20 0 20 0 22967912 9924202496 36200 33554432000 1073741824 1073778376 140737283416272 140737283407408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11522/statm: 2422901 36200 2259 9 0 2413578 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 9691604
[startup+1.50084 s]
/proc/loadavg: 4.39 4.39 4.19 7/220 11544
/proc/meminfo: memFree=27283684/32872528 swapFree=1499884/1696108
[pid=11522] ppid=11519 vsize=9824732 CPUtime=4.35 cores=0,2,4,6
/proc/11522/stat : 11522 (java) S 11519 11522 8337 0 -1 4202496 23992 0 1 0 424 11 0 0 20 0 22 0 22967912 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 140737283407408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11522/statm: 2456183 59531 2285 9 0 2446860 0
[pid=11522/tid=11524] ppid=11519 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/11522/task/11524/stat : 11524 (java) S 11519 11522 8337 0 -1 4202560 2472 0 1 0 59 3 0 0 20 0 22 0 22967914 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139771558749048 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11525] ppid=11519 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/11522/task/11525/stat : 11525 (java) S 11519 11522 8337 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 22967915 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139771531201320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11526] ppid=11519 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/11522/task/11526/stat : 11526 (java) S 11519 11522 8337 0 -1 4202560 184 0 0 0 3 0 0 0 20 0 22 0 22967915 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139771530148520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11527] ppid=11519 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/11522/task/11527/stat : 11527 (java) S 11519 11522 8337 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 22967915 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139771529096232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11528] ppid=11519 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/11522/task/11528/stat : 11528 (java) S 11519 11522 8337 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 22967915 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139771528043432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11529] ppid=11519 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/11522/task/11529/stat : 11529 (java) S 11519 11522 8337 0 -1 4202560 133 0 0 0 3 0 0 0 20 0 22 0 22967915 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139771526990120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11530] ppid=11519 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/11522/task/11530/stat : 11530 (java) S 11519 11522 8337 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 22967915 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139771525937320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11531] ppid=11519 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/11522/task/11531/stat : 11531 (java) S 11519 11522 8337 0 -1 4202560 77 0 0 0 3 0 0 0 20 0 22 0 22967915 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139771524885032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11532] ppid=11519 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/11522/task/11532/stat : 11532 (java) S 11519 11522 8337 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 22967915 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139771394959784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11533] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11533/stat : 11533 (java) S 11519 11522 8337 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 22967916 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139770912013032 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11534] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11534/stat : 11534 (java) S 11519 11522 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22967917 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139770910959096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11535] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11535/stat : 11535 (java) S 11519 11522 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22967917 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139770909906696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11536] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11536/stat : 11536 (java) S 11519 11522 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22967919 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139770908855184 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11537] ppid=11519 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/11522/task/11537/stat : 11537 (java) S 11519 11522 8337 0 -1 4202560 8039 0 0 0 91 2 0 0 20 0 22 0 22967919 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139770907801784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11538] ppid=11519 vsize=9824732 CPUtime=1.09 cores=0,2,4,6
/proc/11522/task/11538/stat : 11538 (java) R 11519 11522 8337 0 -1 4202560 11618 0 0 0 107 2 0 0 20 0 22 0 22967919 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139770906727096 139771562837093 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11539] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11539/stat : 11539 (java) S 11519 11522 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22967919 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139770905696888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11540] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11540/stat : 11540 (java) S 11519 11522 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22967919 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139770904644296 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11541] ppid=11519 vsize=9824732 CPUtime=0.68 cores=0,2,4,6
/proc/11522/task/11541/stat : 11541 (java) R 11519 11522 8337 0 -1 4202560 19 0 0 0 68 0 0 0 20 0 22 0 22967978 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139770903587728 139771406785597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11542] ppid=11519 vsize=9824732 CPUtime=0.69 cores=0,2,4,6
/proc/11522/task/11542/stat : 11542 (java) R 11519 11522 8337 0 -1 4202560 51 0 0 0 69 0 0 0 20 0 22 0 22967978 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139770902535320 139771407117911 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11543] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11543/stat : 11543 (java) S 11519 11522 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22967984 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139770901485224 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11544] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11544/stat : 11544 (java) S 11519 11522 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22967985 10060525568 59531 33554432000 1073741824 1073778376 140737283416272 139770900432424 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 9824732
[startup+3.10096 s]
/proc/loadavg: 4.44 4.40 4.20 5/220 11544
/proc/meminfo: memFree=27123764/32872528 swapFree=1499884/1696108
[pid=11522] ppid=11519 vsize=9824732 CPUtime=8.49 cores=0,2,4,6
/proc/11522/stat : 11522 (java) S 11519 11522 8337 0 -1 4202496 32480 0 1 0 830 19 0 0 20 0 22 0 22967912 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 140737283407408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11522/statm: 2456183 99057 2285 9 0 2446860 0
[pid=11522/tid=11524] ppid=11519 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/11522/task/11524/stat : 11524 (java) S 11519 11522 8337 0 -1 4202560 2472 0 1 0 59 3 0 0 20 0 22 0 22967914 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139771558749048 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11525] ppid=11519 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/11522/task/11525/stat : 11525 (java) S 11519 11522 8337 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 22 0 22967915 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139771531201320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11526] ppid=11519 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/11522/task/11526/stat : 11526 (java) S 11519 11522 8337 0 -1 4202560 208 0 0 0 6 2 0 0 20 0 22 0 22967915 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139771530148520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11527] ppid=11519 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/11522/task/11527/stat : 11527 (java) S 11519 11522 8337 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 22967915 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139771529096232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11528] ppid=11519 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/11522/task/11528/stat : 11528 (java) S 11519 11522 8337 0 -1 4202560 30 0 0 0 4 2 0 0 20 0 22 0 22967915 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139771528043432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11529] ppid=11519 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/11522/task/11529/stat : 11529 (java) S 11519 11522 8337 0 -1 4202560 162 0 0 0 5 1 0 0 20 0 22 0 22967915 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139771526990120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11530] ppid=11519 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/11522/task/11530/stat : 11530 (java) S 11519 11522 8337 0 -1 4202560 56 0 0 0 6 3 0 0 20 0 22 0 22967915 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139771525937320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11531] ppid=11519 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/11522/task/11531/stat : 11531 (java) S 11519 11522 8337 0 -1 4202560 92 0 0 0 6 2 0 0 20 0 22 0 22967915 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139771524885032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11532] ppid=11519 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/11522/task/11532/stat : 11532 (java) S 11519 11522 8337 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 22 0 22967915 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139771394959784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11533] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11533/stat : 11533 (java) S 11519 11522 8337 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 22967916 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139770912013032 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11534] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11534/stat : 11534 (java) S 11519 11522 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22967917 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139770910959096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11535] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11535/stat : 11535 (java) S 11519 11522 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22967917 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139770909906696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11536] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11536/stat : 11536 (java) S 11519 11522 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22967919 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139770908855184 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11537] ppid=11519 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/11522/task/11537/stat : 11537 (java) S 11519 11522 8337 0 -1 4202560 16156 0 0 0 156 3 0 0 20 0 22 0 22967919 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139770907801784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11538] ppid=11519 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/11522/task/11538/stat : 11538 (java) S 11519 11522 8337 0 -1 4202560 11655 0 0 0 123 3 0 0 20 0 22 0 22967919 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139770906748984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11539] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11539/stat : 11539 (java) S 11519 11522 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22967919 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139770905696888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11540] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11540/stat : 11540 (java) S 11519 11522 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22967919 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139770904644296 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11541] ppid=11519 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/11522/task/11541/stat : 11541 (java) R 11519 11522 8337 0 -1 4202560 20 0 0 0 219 0 0 0 20 0 22 0 22967978 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139770903589736 139771407044254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11542] ppid=11519 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/11522/task/11542/stat : 11542 (java) R 11519 11522 8337 0 -1 4202560 104 0 0 0 219 2 0 0 20 0 22 0 22967978 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139770902535160 139771406761313 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11543] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11543/stat : 11543 (java) S 11519 11522 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22967984 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139770901485224 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11544] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11544/stat : 11544 (java) S 11519 11522 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22967985 10060525568 99057 33554432000 1073741824 1073778376 140737283416272 139770900432424 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.49
Current children cumulated vsize (KiB) 9824732
[startup+6.30104 s]
/proc/loadavg: 4.44 4.40 4.20 6/220 11544
/proc/meminfo: memFree=26862388/32872528 swapFree=1499884/1696108
[pid=11522] ppid=11519 vsize=9824732 CPUtime=15.3 cores=0,2,4,6
/proc/11522/stat : 11522 (java) S 11519 11522 8337 0 -1 4202496 36398 0 1 0 1499 31 0 0 20 0 22 0 22967912 10060525568 168160 33554432000 1073741824 1073778376 140737283416272 140737283407408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11522/statm: 2456183 168161 2285 9 0 2446860 0
[pid=11522/tid=11524] ppid=11519 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/11522/task/11524/stat : 11524 (java) S 11519 11522 8337 0 -1 4202560 2472 0 1 0 59 3 0 0 20 0 22 0 22967914 10060525568 168162 33554432000 1073741824 1073778376 140737283416272 139771558749048 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11525] ppid=11519 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/11522/task/11525/stat : 11525 (java) S 11519 11522 8337 0 -1 4202560 40 0 0 0 6 1 0 0 20 0 22 0 22967915 10060525568 168163 33554432000 1073741824 1073778376 140737283416272 139771531201320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11526] ppid=11519 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/11522/task/11526/stat : 11526 (java) S 11519 11522 8337 0 -1 4202560 239 0 0 0 14 3 0 0 20 0 22 0 22967915 10060525568 168164 33554432000 1073741824 1073778376 140737283416272 139771530148520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11527] ppid=11519 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/11522/task/11527/stat : 11527 (java) S 11519 11522 8337 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 22 0 22967915 10060525568 168166 33554432000 1073741824 1073778376 140737283416272 139771529096232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11528] ppid=11519 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/11522/task/11528/stat : 11528 (java) S 11519 11522 8337 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 22 0 22967915 10060525568 168168 33554432000 1073741824 1073778376 140737283416272 139771528043432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11529] ppid=11519 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/11522/task/11529/stat : 11529 (java) S 11519 11522 8337 0 -1 4202560 179 0 0 0 8 2 0 0 20 0 22 0 22967915 10060525568 168170 33554432000 1073741824 1073778376 140737283416272 139771526990120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11530] ppid=11519 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/11522/task/11530/stat : 11530 (java) S 11519 11522 8337 0 -1 4202560 87 0 0 0 13 4 0 0 20 0 22 0 22967915 10060525568 168172 33554432000 1073741824 1073778376 140737283416272 139771525937320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11531] ppid=11519 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/11522/task/11531/stat : 11531 (java) S 11519 11522 8337 0 -1 4202560 107 0 0 0 9 3 0 0 20 0 22 0 22967915 10060525568 168173 33554432000 1073741824 1073778376 140737283416272 139771524885032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11532] ppid=11519 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/11522/task/11532/stat : 11532 (java) S 11519 11522 8337 0 -1 4202560 40 0 0 0 4 1 0 0 20 0 22 0 22967915 10060525568 168175 33554432000 1073741824 1073778376 140737283416272 139771394959784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11533] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11533/stat : 11533 (java) S 11519 11522 8337 0 -1 4202560 462 0 0 0 0 0 0 0 20 0 22 0 22967916 10060525568 168176 33554432000 1073741824 1073778376 140737283416272 139770912013032 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11534] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11534/stat : 11534 (java) S 11519 11522 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22967917 10060525568 168177 33554432000 1073741824 1073778376 140737283416272 139770910959096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11535] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11535/stat : 11535 (java) S 11519 11522 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22967917 10060525568 168179 33554432000 1073741824 1073778376 140737283416272 139770909906696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11536] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11536/stat : 11536 (java) S 11519 11522 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22967919 10060525568 168181 33554432000 1073741824 1073778376 140737283416272 139770908855184 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11537] ppid=11519 vsize=9824732 CPUtime=1.77 cores=0,2,4,6
################
# More data... #
################
[pid=11522/tid=11526] ppid=11519 vsize=9824732 CPUtime=2.62 cores=0,2,4,6
/proc/11522/task/11526/stat : 11526 (java) S 11519 11522 8337 0 -1 4202560 769 0 0 0 247 15 0 0 20 0 22 0 22967915 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139771530148520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11527] ppid=11519 vsize=9824732 CPUtime=2.69 cores=0,2,4,6
/proc/11522/task/11527/stat : 11527 (java) S 11519 11522 8337 0 -1 4202560 546 0 0 0 256 13 0 0 20 0 22 0 22967915 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139771529096232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11528] ppid=11519 vsize=9824732 CPUtime=2.65 cores=0,2,4,6
/proc/11522/task/11528/stat : 11528 (java) S 11519 11522 8337 0 -1 4202560 687 0 0 0 251 14 0 0 20 0 22 0 22967915 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139771528043432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11529] ppid=11519 vsize=9824732 CPUtime=2.64 cores=0,2,4,6
/proc/11522/task/11529/stat : 11529 (java) S 11519 11522 8337 0 -1 4202560 658 0 0 0 249 15 0 0 20 0 22 0 22967915 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139771526990120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11530] ppid=11519 vsize=9824732 CPUtime=2.84 cores=0,2,4,6
/proc/11522/task/11530/stat : 11530 (java) S 11519 11522 8337 0 -1 4202560 597 0 0 0 267 17 0 0 20 0 22 0 22967915 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139771525937320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11531] ppid=11519 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/11522/task/11531/stat : 11531 (java) S 11519 11522 8337 0 -1 4202560 680 0 0 0 239 12 0 0 20 0 22 0 22967915 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139771524885032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11532] ppid=11519 vsize=9824732 CPUtime=2.68 cores=0,2,4,6
/proc/11522/task/11532/stat : 11532 (java) S 11519 11522 8337 0 -1 4202560 476 0 0 0 255 13 0 0 20 0 22 0 22967915 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139771394959784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11533] ppid=11519 vsize=9824732 CPUtime=1.96 cores=0,2,4,6
/proc/11522/task/11533/stat : 11533 (java) S 11519 11522 8337 0 -1 4202560 1928 0 0 0 189 7 0 0 20 0 22 0 22967916 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139770912013032 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11534] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11534/stat : 11534 (java) S 11519 11522 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22967917 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139770910959096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11535] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11535/stat : 11535 (java) S 11519 11522 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22967917 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139770909906696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11536] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11536/stat : 11536 (java) S 11519 11522 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22967919 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139770908855184 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11537] ppid=11519 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/11522/task/11537/stat : 11537 (java) S 11519 11522 8337 0 -1 4202560 19052 0 0 0 177 3 0 0 20 0 22 0 22967919 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139770907801784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11538] ppid=11519 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/11522/task/11538/stat : 11538 (java) S 11519 11522 8337 0 -1 4202560 13480 0 0 0 184 3 0 0 20 0 22 0 22967919 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139770906748984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11539] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11539/stat : 11539 (java) S 11519 11522 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22967919 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139770905696888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11540] ppid=11519 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/11522/task/11540/stat : 11540 (java) S 11519 11522 8337 0 -1 4202560 47 0 0 0 14 16 0 0 20 0 22 0 22967919 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139770904644296 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11541] ppid=11519 vsize=9824732 CPUtime=814.01 cores=0,2,4,6
/proc/11522/task/11541/stat : 11541 (java) R 11519 11522 8337 0 -1 4202560 140 0 0 0 81386 15 0 0 20 0 22 0 22967978 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139770903588672 139771407044303 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11542] ppid=11519 vsize=9824732 CPUtime=813.98 cores=0,2,4,6
/proc/11522/task/11542/stat : 11542 (java) R 11519 11522 8337 0 -1 4202560 2223 0 0 0 81348 50 0 0 20 0 22 0 22967978 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139770902534944 139771406714301 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11543] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11543/stat : 11543 (java) S 11519 11522 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22967984 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139770901485224 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11544] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11544/stat : 11544 (java) S 11519 11522 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22967985 10060525568 892228 33554432000 1073741824 1073778376 140737283416272 139770900432424 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1655.16
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.13 4.17 4.18 6/219 12197
/proc/meminfo: memFree=24221708/32872528 swapFree=1499884/1696108
[pid=11522] ppid=11519 vsize=9824732 CPUtime=1774.26 cores=0,2,4,6
/proc/11522/stat : 11522 (java) S 11519 11522 8337 0 -1 4202496 46150 0 1 0 177246 180 0 0 20 0 22 0 22967912 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 140737283407408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11522/statm: 2456183 905543 2294 9 0 2446860 0
[pid=11522/tid=11524] ppid=11519 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/11522/task/11524/stat : 11524 (java) S 11519 11522 8337 0 -1 4202560 2485 0 1 0 62 4 0 0 20 0 22 0 22967914 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771558749048 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11525] ppid=11519 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/11522/task/11525/stat : 11525 (java) S 11519 11522 8337 0 -1 4202560 555 0 0 0 238 10 0 0 20 0 22 0 22967915 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771531201320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11526] ppid=11519 vsize=9824732 CPUtime=2.97 cores=0,2,4,6
/proc/11522/task/11526/stat : 11526 (java) S 11519 11522 8337 0 -1 4202560 802 0 0 0 282 15 0 0 20 0 22 0 22967915 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771530148520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11527] ppid=11519 vsize=9824732 CPUtime=2.97 cores=0,2,4,6
/proc/11522/task/11527/stat : 11527 (java) S 11519 11522 8337 0 -1 4202560 556 0 0 0 284 13 0 0 20 0 22 0 22967915 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771529096232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11528] ppid=11519 vsize=9824732 CPUtime=2.88 cores=0,2,4,6
/proc/11522/task/11528/stat : 11528 (java) S 11519 11522 8337 0 -1 4202560 693 0 0 0 274 14 0 0 20 0 22 0 22967915 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771528043432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11529] ppid=11519 vsize=9824732 CPUtime=2.92 cores=0,2,4,6
/proc/11522/task/11529/stat : 11529 (java) S 11519 11522 8337 0 -1 4202560 661 0 0 0 277 15 0 0 20 0 22 0 22967915 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771526990120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11530] ppid=11519 vsize=9824732 CPUtime=3.18 cores=0,2,4,6
/proc/11522/task/11530/stat : 11530 (java) S 11519 11522 8337 0 -1 4202560 607 0 0 0 300 18 0 0 20 0 22 0 22967915 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771525937320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11531] ppid=11519 vsize=9824732 CPUtime=2.84 cores=0,2,4,6
/proc/11522/task/11531/stat : 11531 (java) S 11519 11522 8337 0 -1 4202560 680 0 0 0 272 12 0 0 20 0 22 0 22967915 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771524885032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11532] ppid=11519 vsize=9824732 CPUtime=2.94 cores=0,2,4,6
/proc/11522/task/11532/stat : 11532 (java) S 11519 11522 8337 0 -1 4202560 484 0 0 0 281 13 0 0 20 0 22 0 22967915 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771394959784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11533] ppid=11519 vsize=9824732 CPUtime=3.98 cores=0,2,4,6
/proc/11522/task/11533/stat : 11533 (java) S 11519 11522 8337 0 -1 4202560 2413 0 0 0 390 8 0 0 20 0 22 0 22967916 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770912013032 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11534] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11534/stat : 11534 (java) S 11519 11522 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22967917 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770910959096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11535] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11535/stat : 11535 (java) S 11519 11522 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22967917 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770909906696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11536] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11536/stat : 11536 (java) S 11519 11522 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22967919 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770908855184 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11537] ppid=11519 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/11522/task/11537/stat : 11537 (java) S 11519 11522 8337 0 -1 4202560 19052 0 0 0 177 3 0 0 20 0 22 0 22967919 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770907801784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11538] ppid=11519 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/11522/task/11538/stat : 11538 (java) S 11519 11522 8337 0 -1 4202560 13480 0 0 0 184 3 0 0 20 0 22 0 22967919 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770906748984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11539] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11539/stat : 11539 (java) S 11519 11522 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22967919 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770905696888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11540] ppid=11519 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/11522/task/11540/stat : 11540 (java) S 11519 11522 8337 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 22967919 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770904644296 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11541] ppid=11519 vsize=9824732 CPUtime=871.37 cores=0,2,4,6
/proc/11522/task/11541/stat : 11541 (java) R 11519 11522 8337 0 -1 4202560 141 0 0 0 87121 16 0 0 20 0 22 0 22967978 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770903588560 139771407044303 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11542] ppid=11519 vsize=9824732 CPUtime=871.33 cores=0,2,4,6
/proc/11522/task/11542/stat : 11542 (java) R 11519 11522 8337 0 -1 4202560 2224 0 0 0 87082 51 0 0 20 0 22 0 22967978 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770902534944 139771406712533 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11543] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11543/stat : 11543 (java) S 11519 11522 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22967984 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770901485224 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11544] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11544/stat : 11544 (java) S 11519 11522 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22967985 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770900432424 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1774.26
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.201 s]
/proc/loadavg: 4.26 4.20 4.19 6/219 12200
/proc/meminfo: memFree=24235416/32872528 swapFree=1499884/1696108
[pid=11522] ppid=11519 vsize=9824732 CPUtime=1800.16 cores=0,2,4,6
/proc/11522/stat : 11522 (java) S 11519 11522 8337 0 -1 4202496 46151 0 1 0 179836 180 0 0 20 0 22 0 22967912 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 140737283407408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11522/statm: 2456183 905543 2294 9 0 2446860 0
[pid=11522/tid=11524] ppid=11519 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/11522/task/11524/stat : 11524 (java) S 11519 11522 8337 0 -1 4202560 2485 0 1 0 62 4 0 0 20 0 22 0 22967914 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771558749048 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11525] ppid=11519 vsize=9824732 CPUtime=2.5 cores=0,2,4,6
/proc/11522/task/11525/stat : 11525 (java) R 11519 11522 8337 0 -1 4202560 555 0 0 0 240 10 0 0 20 0 22 0 22967915 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771531201496 139771565647439 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11526] ppid=11519 vsize=9824732 CPUtime=3.03 cores=0,2,4,6
/proc/11522/task/11526/stat : 11526 (java) R 11519 11522 8337 0 -1 4202560 802 0 0 0 288 15 0 0 20 0 22 0 22967915 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771530148520 139771562924207 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11527] ppid=11519 vsize=9824732 CPUtime=2.99 cores=0,2,4,6
/proc/11522/task/11527/stat : 11527 (java) R 11519 11522 8337 0 -1 4202560 556 0 0 0 286 13 0 0 20 0 22 0 22967915 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771529096112 139771561308087 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11528] ppid=11519 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/11522/task/11528/stat : 11528 (java) R 11519 11522 8337 0 -1 4202560 693 0 0 0 277 14 0 0 20 0 22 0 22967915 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771528043608 139771565644716 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11529] ppid=11519 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/11522/task/11529/stat : 11529 (java) R 11519 11522 8337 0 -1 4202560 661 0 0 0 283 15 0 0 20 0 22 0 22967915 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771526990120 139771562910424 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11530] ppid=11519 vsize=9824732 CPUtime=3.19 cores=0,2,4,6
/proc/11522/task/11530/stat : 11530 (java) R 11519 11522 8337 0 -1 4202560 607 0 0 0 301 18 0 0 20 0 22 0 22967915 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771525937496 139771562910533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11531] ppid=11519 vsize=9824732 CPUtime=2.86 cores=0,2,4,6
/proc/11522/task/11531/stat : 11531 (java) R 11519 11522 8337 0 -1 4202560 680 0 0 0 274 12 0 0 20 0 22 0 22967915 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771524885208 139771565646535 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11532] ppid=11519 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/11522/task/11532/stat : 11532 (java) R 11519 11522 8337 0 -1 4202560 484 0 0 0 285 13 0 0 20 0 22 0 22967915 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139771394959960 139771565647424 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=11522/tid=11533] ppid=11519 vsize=9824732 CPUtime=3.98 cores=0,2,4,6
/proc/11522/task/11533/stat : 11533 (java) S 11519 11522 8337 0 -1 4202560 2413 0 0 0 390 8 0 0 20 0 22 0 22967916 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770912011912 225448080444 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11534] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11534/stat : 11534 (java) S 11519 11522 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22967917 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770910959096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11535] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11535/stat : 11535 (java) S 11519 11522 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22967917 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770909906696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11536] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11536/stat : 11536 (java) S 11519 11522 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22967919 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770908855184 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11537] ppid=11519 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/11522/task/11537/stat : 11537 (java) S 11519 11522 8337 0 -1 4202560 19052 0 0 0 177 3 0 0 20 0 22 0 22967919 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770907801784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11538] ppid=11519 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/11522/task/11538/stat : 11538 (java) S 11519 11522 8337 0 -1 4202560 13480 0 0 0 184 3 0 0 20 0 22 0 22967919 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770906748984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11539] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11539/stat : 11539 (java) S 11519 11522 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22967919 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770905696888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11540] ppid=11519 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/11522/task/11540/stat : 11540 (java) S 11519 11522 8337 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 22967919 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770904644296 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11522/tid=11541] ppid=11519 vsize=9824732 CPUtime=884.2 cores=0,2,4,6
/proc/11522/task/11541/stat : 11541 (java) S 11519 11522 8337 0 -1 4202560 141 0 0 0 88404 16 0 0 20 0 22 0 22967978 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770903588008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11522/tid=11542] ppid=11519 vsize=9824732 CPUtime=884.16 cores=0,2,4,6
/proc/11522/task/11542/stat : 11542 (java) S 11519 11522 8337 0 -1 4202560 2225 0 0 0 88365 51 0 0 20 0 22 0 22967978 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770902535640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11543] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11543/stat : 11543 (java) S 11519 11522 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22967984 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770901485224 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11522/tid=11544] ppid=11519 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11522/task/11544/stat : 11544 (java) S 11519 11522 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22967985 10060525568 905543 33554432000 1073741824 1073778376 140737283416272 139770900432424 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11522 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+895.305 s]
/proc/loadavg: 4.26 4.20 4.19 6/219 12200
/proc/meminfo: memFree=24235416/32872528 swapFree=1499884/1696108
[pid=11522] ppid=11519 vsize=0 CPUtime=1801.02 cores=0,2,4,6
/proc/11522/stat : 11522 (java) Z 11519 11522 8337 0 -1 4203532 46192 0 1 0 179874 228 0 0 20 0 2 0 22967912 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11522/statm: 0 0 0 0 0 0 0
[pid=11522/tid=11529] ppid=11519 vsize=0 CPUtime=3.01 cores=0,2,4,6
/proc/11522/task/11529/stat : 11529 (java) R 11519 11522 8337 0 -1 4203588 661 0 0 0 285 16 0 0 20 0 2 0 22967915 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.02
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 895.315
CPU time (s): 1801.05
CPU user time (s): 1798.74
CPU system time (s): 2.31065
CPU usage (%): 201.164
Max. virtual memory (cumulated for all children) (KiB): 9826392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 2.31065
maximum resident set size= 3622280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46192
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23106
involuntary context switches= 23580
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2369 second user time and 5.81212 second system time
The end