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-4080559-1465276467/watcher-4080559-1465276467 -o /tmp/evaluation-result-4080559-1465276467/solver-4080559-1465276467 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465261736-14348 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080559-1465276467.opb
pid=18670
running on 4 cores: 1,3,5,7
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.18 4.13 4.07 3/197 18673
/proc/meminfo: memFree=28310000/32872528 swapFree=9100/9100
[pid=18673] ppid=18670 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/18673/stat : 18673 (java) R 18670 18673 14331 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 109577817 2560000 46 33554432000 1073741824 1073778376 140734134544560 140734134541688 243756264743 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18673/statm: 625 46 37 9 0 29 0
[startup+0.100158 s]
/proc/loadavg: 4.18 4.13 4.07 3/197 18673
/proc/meminfo: memFree=28310000/32872528 swapFree=9100/9100
[pid=18673] ppid=18670 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/18673/stat : 18673 (java) S 18670 18673 14331 0 -1 4202496 4396 0 1 0 8 1 0 0 20 0 18 0 109577817 9787879424 6034 33554432000 1073741824 1073778376 140734134544560 140734134535696 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18673/statm: 2389619 6034 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200223 s]
/proc/loadavg: 4.18 4.13 4.07 3/197 18673
/proc/meminfo: memFree=28310000/32872528 swapFree=9100/9100
[pid=18673] ppid=18670 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/18673/stat : 18673 (java) S 18670 18673 14331 0 -1 4202496 6204 0 1 0 26 2 0 0 20 0 18 0 109577817 9787879424 7837 33554432000 1073741824 1073778376 140734134544560 140734134535696 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18673/statm: 2389619 7837 2209 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300237 s]
/proc/loadavg: 4.18 4.13 4.07 3/197 18673
/proc/meminfo: memFree=28310000/32872528 swapFree=9100/9100
[pid=18673] ppid=18670 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/18673/stat : 18673 (java) S 18670 18673 14331 0 -1 4202496 7214 0 1 0 53 2 0 0 20 0 18 0 109577817 9787879424 9918 33554432000 1073741824 1073778376 140734134544560 140734134535696 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18673/statm: 2389619 9918 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476
[startup+0.700215 s]
/proc/loadavg: 4.18 4.13 4.07 3/197 18673
/proc/meminfo: memFree=28310000/32872528 swapFree=9100/9100
[pid=18673] ppid=18670 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/18673/stat : 18673 (java) S 18670 18673 14331 0 -1 4202496 20908 0 1 0 186 7 0 0 20 0 22 0 109577817 10060525568 28099 33554432000 1073741824 1073778376 140734134544560 140734134535696 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18673/statm: 2456183 28099 2253 9 0 2446860 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 9824732
[startup+1.50096 s]
/proc/loadavg: 4.33 4.16 4.08 7/219 18695
/proc/meminfo: memFree=28189304/32872528 swapFree=9100/9100
[pid=18673] ppid=18670 vsize=9824732 CPUtime=4.88 cores=1,3,5,7
/proc/18673/stat : 18673 (java) S 18670 18673 14331 0 -1 4202496 25616 0 1 0 480 8 0 0 20 0 22 0 109577817 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140734134535696 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18673/statm: 2456183 31281 2273 9 0 2446860 0
[pid=18673/tid=18675] ppid=18670 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/18673/task/18675/stat : 18675 (java) S 18670 18673 14331 0 -1 4202560 2533 0 1 0 38 3 0 0 20 0 22 0 109577818 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312798442360 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18676] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18676/stat : 18676 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577819 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312759933864 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18677] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18677/stat : 18677 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577819 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312758881320 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18678] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18678/stat : 18678 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577819 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312757828264 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18679] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18679/stat : 18679 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577819 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312638909224 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18680] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18680/stat : 18680 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577819 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312637856168 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18681] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18681/stat : 18681 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577819 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312636803624 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18682] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18682/stat : 18682 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577819 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312635750568 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18683] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18683/stat : 18683 (java) S 18670 18673 14331 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109577819 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312634698024 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18684] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18684/stat : 18684 (java) S 18670 18673 14331 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109577820 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312152370024 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18685] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18685/stat : 18685 (java) S 18670 18673 14331 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 109577820 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312151316344 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18686] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18686/stat : 18686 (java) S 18670 18673 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109577820 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312150263176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18687] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18687/stat : 18687 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577823 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312149211920 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18688] ppid=18670 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/18673/task/18688/stat : 18688 (java) S 18670 18673 14331 0 -1 4202560 10615 0 0 0 116 3 0 0 20 0 22 0 109577823 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312148158776 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18689] ppid=18670 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/18673/task/18689/stat : 18689 (java) S 18670 18673 14331 0 -1 4202560 11102 0 0 0 111 3 0 0 20 0 22 0 109577823 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312147106232 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18690] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18690/stat : 18690 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577823 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312146053368 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18691] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18691/stat : 18691 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577823 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312145001032 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18692] ppid=18670 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/18673/task/18692/stat : 18692 (java) R 18670 18673 14331 0 -1 4202560 34 0 0 0 104 0 0 0 20 0 22 0 109577861 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312142414792 140312639626632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18693] ppid=18670 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/18673/task/18693/stat : 18693 (java) R 18670 18673 14331 0 -1 4202560 55 0 0 0 104 0 0 0 20 0 22 0 109577861 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312141361864 243768802360 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18694] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18694/stat : 18694 (java) S 18670 18673 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109577862 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312143947048 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18695] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18695/stat : 18695 (java) S 18670 18673 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109577862 10060525568 31281 33554432000 1073741824 1073778376 140734134544560 140312140309928 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 9824732
[startup+3.10094 s]
/proc/loadavg: 4.33 4.16 4.08 6/219 18695
/proc/meminfo: memFree=28146288/32872528 swapFree=9100/9100
[pid=18673] ppid=18670 vsize=9824732 CPUtime=8.65 cores=1,3,5,7
/proc/18673/stat : 18673 (java) S 18670 18673 14331 0 -1 4202496 25731 0 1 0 854 11 0 0 20 0 22 0 109577817 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140734134535696 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18673/statm: 2456183 55373 2291 9 0 2446860 0
[pid=18673/tid=18675] ppid=18670 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/18673/task/18675/stat : 18675 (java) S 18670 18673 14331 0 -1 4202560 2533 0 1 0 38 3 0 0 20 0 22 0 109577818 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312798442360 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18676] ppid=18670 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18673/task/18676/stat : 18676 (java) R 18670 18673 14331 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 109577819 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312759933720 243768801193 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18677] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18677/stat : 18677 (java) R 18670 18673 14331 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 109577819 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312758881176 243765382279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18678] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18678/stat : 18678 (java) R 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577819 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312757828392 243765382279 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18679] ppid=18670 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18673/task/18679/stat : 18679 (java) R 18670 18673 14331 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 109577819 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312638909080 243765382279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18680] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18680/stat : 18680 (java) R 18670 18673 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 109577819 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312637856296 243765382279 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18681] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18681/stat : 18681 (java) R 18670 18673 14331 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 109577819 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312636803800 140312802198668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18682] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18682/stat : 18682 (java) R 18670 18673 14331 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 109577819 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312635750696 243765382279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18683] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18683/stat : 18683 (java) R 18670 18673 14331 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 109577819 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312634698152 243765382279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18684] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18684/stat : 18684 (java) S 18670 18673 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109577820 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312152368904 243768800316 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18685] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18685/stat : 18685 (java) S 18670 18673 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109577820 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312151316344 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18686] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18686/stat : 18686 (java) S 18670 18673 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109577820 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312150263176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18687] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18687/stat : 18687 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577823 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312149211920 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18688] ppid=18670 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/18673/task/18688/stat : 18688 (java) S 18670 18673 14331 0 -1 4202560 10616 0 0 0 133 3 0 0 20 0 22 0 109577823 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312148158776 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18689] ppid=18670 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/18673/task/18689/stat : 18689 (java) S 18670 18673 14331 0 -1 4202560 11107 0 0 0 146 3 0 0 20 0 22 0 109577823 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312147106232 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18690] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18690/stat : 18690 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577823 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312146053368 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18691] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18691/stat : 18691 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577823 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312145001032 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18692] ppid=18670 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/18673/task/18692/stat : 18692 (java) S 18670 18673 14331 0 -1 4202560 35 0 0 0 260 0 0 0 20 0 22 0 109577861 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312142412568 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18693] ppid=18670 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/18673/task/18693/stat : 18693 (java) S 18670 18673 14331 0 -1 4202560 91 0 0 0 259 2 0 0 20 0 22 0 109577861 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312141361224 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18694] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18694/stat : 18694 (java) S 18670 18673 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109577862 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312143947048 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18695] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18695/stat : 18695 (java) S 18670 18673 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109577862 10060525568 55373 33554432000 1073741824 1073778376 140734134544560 140312140309928 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.65
Current children cumulated vsize (KiB) 9824732
[startup+6.30099 s]
/proc/loadavg: 4.33 4.16 4.08 5/219 18695
/proc/meminfo: memFree=28087788/32872528 swapFree=9100/9100
[pid=18673] ppid=18670 vsize=9824732 CPUtime=15.31 cores=1,3,5,7
/proc/18673/stat : 18673 (java) S 18670 18673 14331 0 -1 4202496 26214 0 1 0 1515 16 0 0 20 0 22 0 109577817 10060525568 68475 33554432000 1073741824 1073778376 140734134544560 140734134535696 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18673/statm: 2456183 68475 2291 9 0 2446860 0
[pid=18673/tid=18675] ppid=18670 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/18673/task/18675/stat : 18675 (java) S 18670 18673 14331 0 -1 4202560 2533 0 1 0 38 3 0 0 20 0 22 0 109577818 10060525568 68475 33554432000 1073741824 1073778376 140734134544560 140312798442360 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18676] ppid=18670 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18673/task/18676/stat : 18676 (java) S 18670 18673 14331 0 -1 4202560 121 0 0 0 6 0 0 0 20 0 22 0 109577819 10060525568 68475 33554432000 1073741824 1073778376 140734134544560 140312759933864 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18677] ppid=18670 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18673/task/18677/stat : 18677 (java) S 18670 18673 14331 0 -1 4202560 96 0 0 0 2 2 0 0 20 0 22 0 109577819 10060525568 68475 33554432000 1073741824 1073778376 140734134544560 140312758881320 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18678] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18678/stat : 18678 (java) S 18670 18673 14331 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 22 0 109577819 10060525568 68475 33554432000 1073741824 1073778376 140734134544560 140312757828264 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18679] ppid=18670 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/18673/task/18679/stat : 18679 (java) S 18670 18673 14331 0 -1 4202560 122 0 0 0 6 2 0 0 20 0 22 0 109577819 10060525568 68475 33554432000 1073741824 1073778376 140734134544560 140312638909224 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18680] ppid=18670 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18673/task/18680/stat : 18680 (java) S 18670 18673 14331 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 109577819 10060525568 68475 33554432000 1073741824 1073778376 140734134544560 140312637856168 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18681] ppid=18670 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18673/task/18681/stat : 18681 (java) S 18670 18673 14331 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 109577819 10060525568 68475 33554432000 1073741824 1073778376 140734134544560 140312636803624 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18682] ppid=18670 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18673/task/18682/stat : 18682 (java) S 18670 18673 14331 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 109577819 10060525568 68475 33554432000 1073741824 1073778376 140734134544560 140312635750568 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18683] ppid=18670 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18673/task/18683/stat : 18683 (java) S 18670 18673 14331 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 109577819 10060525568 68475 33554432000 1073741824 1073778376 140734134544560 140312634698024 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18684] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18684/stat : 18684 (java) S 18670 18673 14331 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 109577820 10060525568 68475 33554432000 1073741824 1073778376 140734134544560 140312152370024 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18685] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18685/stat : 18685 (java) S 18670 18673 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109577820 10060525568 68475 33554432000 1073741824 1073778376 140734134544560 140312151316344 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18686] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18686/stat : 18686 (java) S 18670 18673 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109577820 10060525568 68475 33554432000 1073741824 1073778376 140734134544560 140312150263176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18687] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18687/stat : 18687 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577823 10060525568 68475 33554432000 1073741824 1073778376 140734134544560 140312149211920 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18688] ppid=18670 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.51 4.23 4.13 5/219 18782
/proc/meminfo: memFree=24679524/32872528 swapFree=9100/9100
[pid=18673] ppid=18670 vsize=9824732 CPUtime=1655.2 cores=1,3,5,7
/proc/18673/stat : 18673 (java) S 18670 18673 14331 0 -1 4202496 36730 0 1 0 165312 208 0 0 20 0 22 0 109577817 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140734134535696 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18673/statm: 2456183 959189 2300 9 0 2446860 0
[pid=18673/tid=18675] ppid=18670 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/18673/task/18675/stat : 18675 (java) S 18670 18673 14331 0 -1 4202560 2546 0 1 0 41 4 0 0 20 0 22 0 109577818 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312798442360 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18676] ppid=18670 vsize=9824732 CPUtime=3.45 cores=1,3,5,7
/proc/18673/task/18676/stat : 18676 (java) S 18670 18673 14331 0 -1 4202560 864 0 0 0 325 20 0 0 20 0 22 0 109577819 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312759933864 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18677] ppid=18670 vsize=9824732 CPUtime=3.63 cores=1,3,5,7
/proc/18673/task/18677/stat : 18677 (java) S 18670 18673 14331 0 -1 4202560 686 0 0 0 342 21 0 0 20 0 22 0 109577819 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312758881320 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18678] ppid=18670 vsize=9824732 CPUtime=3.25 cores=1,3,5,7
/proc/18673/task/18678/stat : 18678 (java) S 18670 18673 14331 0 -1 4202560 794 0 0 0 312 13 0 0 20 0 22 0 109577819 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312757828264 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18679] ppid=18670 vsize=9824732 CPUtime=3.76 cores=1,3,5,7
/proc/18673/task/18679/stat : 18679 (java) S 18670 18673 14331 0 -1 4202560 691 0 0 0 358 18 0 0 20 0 22 0 109577819 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312638909224 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18680] ppid=18670 vsize=9824732 CPUtime=3.71 cores=1,3,5,7
/proc/18673/task/18680/stat : 18680 (java) S 18670 18673 14331 0 -1 4202560 680 0 0 0 352 19 0 0 20 0 22 0 109577819 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312637856168 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18681] ppid=18670 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/18673/task/18681/stat : 18681 (java) S 18670 18673 14331 0 -1 4202560 528 0 0 0 289 15 0 0 20 0 22 0 109577819 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312636803624 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18682] ppid=18670 vsize=9824732 CPUtime=3.63 cores=1,3,5,7
/proc/18673/task/18682/stat : 18682 (java) S 18670 18673 14331 0 -1 4202560 614 0 0 0 343 20 0 0 20 0 22 0 109577819 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312635750568 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18683] ppid=18670 vsize=9824732 CPUtime=3.56 cores=1,3,5,7
/proc/18673/task/18683/stat : 18683 (java) S 18670 18673 14331 0 -1 4202560 762 0 0 0 342 14 0 0 20 0 22 0 109577819 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312634698024 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18684] ppid=18670 vsize=9824732 CPUtime=5.73 cores=1,3,5,7
/proc/18673/task/18684/stat : 18684 (java) S 18670 18673 14331 0 -1 4202560 2473 0 0 0 566 7 0 0 20 0 22 0 109577820 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312152370024 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18685] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18685/stat : 18685 (java) S 18670 18673 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109577820 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312151316344 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18686] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18686/stat : 18686 (java) S 18670 18673 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109577820 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312150263176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18687] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18687/stat : 18687 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577823 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312149211920 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18688] ppid=18670 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/18673/task/18688/stat : 18688 (java) S 18670 18673 14331 0 -1 4202560 12199 0 0 0 182 3 0 0 20 0 22 0 109577823 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312148158776 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18689] ppid=18670 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/18673/task/18689/stat : 18689 (java) S 18670 18673 14331 0 -1 4202560 11107 0 0 0 159 3 0 0 20 0 22 0 109577823 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312147106232 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18690] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18690/stat : 18690 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577823 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312146053368 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18691] ppid=18670 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/18673/task/18691/stat : 18691 (java) S 18670 18673 14331 0 -1 4202560 47 0 0 0 12 21 0 0 20 0 22 0 109577823 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312145001032 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18692] ppid=18670 vsize=9824732 CPUtime=808.71 cores=1,3,5,7
/proc/18673/task/18692/stat : 18692 (java) R 18670 18673 14331 0 -1 4202560 104 0 0 0 80856 15 0 0 20 0 22 0 109577861 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312142412960 140312639676617 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18693] ppid=18670 vsize=9824732 CPUtime=808.72 cores=1,3,5,7
/proc/18673/task/18693/stat : 18693 (java) R 18670 18673 14331 0 -1 4202560 1370 0 0 0 80825 47 0 0 20 0 22 0 109577861 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312141360944 140312640354447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18694] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18694/stat : 18694 (java) S 18670 18673 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109577862 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312143947048 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18695] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18695/stat : 18695 (java) S 18670 18673 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109577862 10060525568 959189 33554432000 1073741824 1073778376 140734134544560 140312140309928 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1655.2
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.18 4.18 4.11 5/219 18783
/proc/meminfo: memFree=24451032/32872528 swapFree=9100/9100
[pid=18673] ppid=18670 vsize=9824732 CPUtime=1774.22 cores=1,3,5,7
/proc/18673/stat : 18673 (java) S 18670 18673 14331 0 -1 4202496 37609 0 1 0 177192 230 0 0 20 0 22 0 109577817 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140734134535696 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18673/statm: 2456183 1010385 2300 9 0 2446860 0
[pid=18673/tid=18675] ppid=18670 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/18673/task/18675/stat : 18675 (java) S 18670 18673 14331 0 -1 4202560 2548 0 1 0 41 4 0 0 20 0 22 0 109577818 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312798442360 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18676] ppid=18670 vsize=9824732 CPUtime=3.77 cores=1,3,5,7
/proc/18673/task/18676/stat : 18676 (java) S 18670 18673 14331 0 -1 4202560 923 0 0 0 354 23 0 0 20 0 22 0 109577819 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312759933864 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18677] ppid=18670 vsize=9824732 CPUtime=4.01 cores=1,3,5,7
/proc/18673/task/18677/stat : 18677 (java) S 18670 18673 14331 0 -1 4202560 753 0 0 0 377 24 0 0 20 0 22 0 109577819 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312758881320 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18678] ppid=18670 vsize=9824732 CPUtime=3.58 cores=1,3,5,7
/proc/18673/task/18678/stat : 18678 (java) S 18670 18673 14331 0 -1 4202560 840 0 0 0 343 15 0 0 20 0 22 0 109577819 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312757828264 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18679] ppid=18670 vsize=9824732 CPUtime=4.06 cores=1,3,5,7
/proc/18673/task/18679/stat : 18679 (java) S 18670 18673 14331 0 -1 4202560 746 0 0 0 385 21 0 0 20 0 22 0 109577819 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312638909224 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18680] ppid=18670 vsize=9824732 CPUtime=3.93 cores=1,3,5,7
/proc/18673/task/18680/stat : 18680 (java) S 18670 18673 14331 0 -1 4202560 727 0 0 0 371 22 0 0 20 0 22 0 109577819 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312637856168 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18681] ppid=18670 vsize=9824732 CPUtime=3.22 cores=1,3,5,7
/proc/18673/task/18681/stat : 18681 (java) S 18670 18673 14331 0 -1 4202560 546 0 0 0 306 16 0 0 20 0 22 0 109577819 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312636803624 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18682] ppid=18670 vsize=9824732 CPUtime=3.89 cores=1,3,5,7
/proc/18673/task/18682/stat : 18682 (java) S 18670 18673 14331 0 -1 4202560 659 0 0 0 366 23 0 0 20 0 22 0 109577819 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312635750568 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18683] ppid=18670 vsize=9824732 CPUtime=3.76 cores=1,3,5,7
/proc/18673/task/18683/stat : 18683 (java) S 18670 18673 14331 0 -1 4202560 800 0 0 0 360 16 0 0 20 0 22 0 109577819 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312634698024 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18684] ppid=18670 vsize=9824732 CPUtime=7.81 cores=1,3,5,7
/proc/18673/task/18684/stat : 18684 (java) S 18670 18673 14331 0 -1 4202560 2964 0 0 0 774 7 0 0 20 0 22 0 109577820 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312152370024 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18685] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18685/stat : 18685 (java) S 18670 18673 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109577820 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312151316344 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18686] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18686/stat : 18686 (java) S 18670 18673 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109577820 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312150263176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18687] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18687/stat : 18687 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577823 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312149211920 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18688] ppid=18670 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/18673/task/18688/stat : 18688 (java) S 18670 18673 14331 0 -1 4202560 12200 0 0 0 185 3 0 0 20 0 22 0 109577823 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312148158776 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18689] ppid=18670 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/18673/task/18689/stat : 18689 (java) S 18670 18673 14331 0 -1 4202560 11107 0 0 0 159 3 0 0 20 0 22 0 109577823 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312147106232 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18690] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18690/stat : 18690 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577823 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312146053368 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18691] ppid=18670 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/18673/task/18691/stat : 18691 (java) S 18670 18673 14331 0 -1 4202560 51 0 0 0 13 22 0 0 20 0 22 0 109577823 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312145001032 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18692] ppid=18670 vsize=9824732 CPUtime=866.06 cores=1,3,5,7
/proc/18673/task/18692/stat : 18692 (java) R 18670 18673 14331 0 -1 4202560 107 0 0 0 86590 16 0 0 20 0 22 0 109577861 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312142412960 140312639620619 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18693] ppid=18670 vsize=9824732 CPUtime=866.09 cores=1,3,5,7
/proc/18673/task/18693/stat : 18693 (java) R 18670 18673 14331 0 -1 4202560 1373 0 0 0 86561 48 0 0 20 0 22 0 109577861 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312141361104 140312639876291 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18694] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18694/stat : 18694 (java) S 18670 18673 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109577862 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312143947048 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18695] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18695/stat : 18695 (java) S 18670 18673 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109577862 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312140309928 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1774.22
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.201 s]
/proc/loadavg: 4.16 4.18 4.11 5/219 18783
/proc/meminfo: memFree=24409952/32872528 swapFree=9100/9100
[pid=18673] ppid=18670 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7
/proc/18673/stat : 18673 (java) S 18670 18673 14331 0 -1 4202496 37610 0 1 0 179775 231 0 0 20 0 22 0 109577817 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140734134535696 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18673/statm: 2456183 1010385 2300 9 0 2446860 0
[pid=18673/tid=18675] ppid=18670 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/18673/task/18675/stat : 18675 (java) S 18670 18673 14331 0 -1 4202560 2548 0 1 0 41 4 0 0 20 0 22 0 109577818 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312798442360 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18676] ppid=18670 vsize=9824732 CPUtime=3.78 cores=1,3,5,7
/proc/18673/task/18676/stat : 18676 (java) S 18670 18673 14331 0 -1 4202560 923 0 0 0 355 23 0 0 20 0 22 0 109577819 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312759933864 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18677] ppid=18670 vsize=9824732 CPUtime=4.02 cores=1,3,5,7
/proc/18673/task/18677/stat : 18677 (java) S 18670 18673 14331 0 -1 4202560 753 0 0 0 378 24 0 0 20 0 22 0 109577819 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312758881320 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18678] ppid=18670 vsize=9824732 CPUtime=3.59 cores=1,3,5,7
/proc/18673/task/18678/stat : 18678 (java) S 18670 18673 14331 0 -1 4202560 840 0 0 0 344 15 0 0 20 0 22 0 109577819 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312757828264 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18679] ppid=18670 vsize=9824732 CPUtime=4.07 cores=1,3,5,7
/proc/18673/task/18679/stat : 18679 (java) S 18670 18673 14331 0 -1 4202560 746 0 0 0 386 21 0 0 20 0 22 0 109577819 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312638909224 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18680] ppid=18670 vsize=9824732 CPUtime=3.97 cores=1,3,5,7
/proc/18673/task/18680/stat : 18680 (java) S 18670 18673 14331 0 -1 4202560 727 0 0 0 375 22 0 0 20 0 22 0 109577819 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312637856168 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18681] ppid=18670 vsize=9824732 CPUtime=3.25 cores=1,3,5,7
/proc/18673/task/18681/stat : 18681 (java) S 18670 18673 14331 0 -1 4202560 546 0 0 0 309 16 0 0 20 0 22 0 109577819 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312636803624 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18682] ppid=18670 vsize=9824732 CPUtime=3.9 cores=1,3,5,7
/proc/18673/task/18682/stat : 18682 (java) S 18670 18673 14331 0 -1 4202560 659 0 0 0 367 23 0 0 20 0 22 0 109577819 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312635750568 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18683] ppid=18670 vsize=9824732 CPUtime=3.77 cores=1,3,5,7
/proc/18673/task/18683/stat : 18683 (java) S 18670 18673 14331 0 -1 4202560 800 0 0 0 361 16 0 0 20 0 22 0 109577819 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312634698024 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18684] ppid=18670 vsize=9824732 CPUtime=7.81 cores=1,3,5,7
/proc/18673/task/18684/stat : 18684 (java) S 18670 18673 14331 0 -1 4202560 2964 0 0 0 774 7 0 0 20 0 22 0 109577820 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312152370024 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18685] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18685/stat : 18685 (java) S 18670 18673 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109577820 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312151316344 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18686] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18686/stat : 18686 (java) S 18670 18673 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109577820 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312150263176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18687] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18687/stat : 18687 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577823 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312149211920 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18688] ppid=18670 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/18673/task/18688/stat : 18688 (java) S 18670 18673 14331 0 -1 4202560 12200 0 0 0 185 3 0 0 20 0 22 0 109577823 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312148158776 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18689] ppid=18670 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/18673/task/18689/stat : 18689 (java) S 18670 18673 14331 0 -1 4202560 11107 0 0 0 159 3 0 0 20 0 22 0 109577823 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312147106232 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18690] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18690/stat : 18690 (java) S 18670 18673 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109577823 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312146053368 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18673/tid=18691] ppid=18670 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/18673/task/18691/stat : 18691 (java) S 18670 18673 14331 0 -1 4202560 51 0 0 0 14 22 0 0 20 0 22 0 109577823 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312145001032 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18692] ppid=18670 vsize=9824732 CPUtime=878.92 cores=1,3,5,7
/proc/18673/task/18692/stat : 18692 (java) R 18670 18673 14331 0 -1 4202560 107 0 0 0 87876 16 0 0 20 0 22 0 109577861 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312142412960 140312639676232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18673/tid=18693] ppid=18670 vsize=9824732 CPUtime=878.94 cores=1,3,5,7
/proc/18673/task/18693/stat : 18693 (java) R 18670 18673 14331 0 -1 4202560 1374 0 0 0 87846 48 0 0 20 0 22 0 109577861 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312141361064 140312639759952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18673/tid=18694] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18694/stat : 18694 (java) S 18670 18673 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109577862 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312143947048 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18673/tid=18695] ppid=18670 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18695/stat : 18695 (java) S 18670 18673 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109577862 10060525568 1010385 33554432000 1073741824 1073778376 140734134544560 140312140309928 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 18673 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 895.277
CPU time (s): 1800.79
CPU user time (s): 1797.98
CPU system time (s): 2.80757
CPU usage (%): 201.143
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.98
system time used= 2.80757
maximum resident set size= 4041656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37644
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24148
involuntary context switches= 29965
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03208 second user time and 7.15591 second system time
The end