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-4118019-1467217465/watcher-4118019-1467217465 -o /tmp/evaluation-result-4118019-1467217465/solver-4118019-1467217465 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6646 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118019-1467217465.opb
pid=8153
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.37 4.27 4.19 4/197 8156
/proc/meminfo: memFree=25660896/32872528 swapFree=1499084/1695308
[pid=8156] ppid=8153 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/8156/stat : 8156 (java) R 8153 8156 5962 0 -1 4202496 385 0 0 0 0 0 0 0 20 0 1 0 2697797 5767168 55 33554432000 1073741824 1073778376 140737312544560 140737312541688 225435544871 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8156/statm: 1408 55 43 9 0 30 0
[startup+0.10006 s]
/proc/loadavg: 4.37 4.27 4.19 4/197 8156
/proc/meminfo: memFree=25660896/32872528 swapFree=1499084/1695308
[pid=8156] ppid=8153 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/8156/stat : 8156 (java) S 8153 8156 5962 0 -1 4202496 4404 0 1 0 9 1 0 0 20 0 18 0 2697797 9787879424 6042 33554432000 1073741824 1073778376 140737312544560 140737312535696 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8156/statm: 2389619 6042 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.20021 s]
/proc/loadavg: 4.37 4.27 4.19 4/197 8156
/proc/meminfo: memFree=25660896/32872528 swapFree=1499084/1695308
[pid=8156] ppid=8153 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/8156/stat : 8156 (java) S 8153 8156 5962 0 -1 4202496 4658 0 1 0 22 1 0 0 20 0 18 0 2697797 9787879424 7290 33554432000 1073741824 1073778376 140737312544560 140737312535696 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8156/statm: 2389619 7290 2211 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300223 s]
/proc/loadavg: 4.37 4.27 4.19 4/197 8156
/proc/meminfo: memFree=25660896/32872528 swapFree=1499084/1695308
[pid=8156] ppid=8153 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/8156/stat : 8156 (java) S 8153 8156 5962 0 -1 4202496 5557 0 1 0 45 1 0 0 20 0 18 0 2697797 9787879424 8848 33554432000 1073741824 1073778376 140737312544560 140737312535696 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8156/statm: 2389619 8848 2238 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.700178 s]
/proc/loadavg: 4.37 4.27 4.19 4/197 8156
/proc/meminfo: memFree=25660896/32872528 swapFree=1499084/1695308
[pid=8156] ppid=8153 vsize=9558476 CPUtime=1.62 cores=0,2,4,6
/proc/8156/stat : 8156 (java) S 8153 8156 5962 0 -1 4202496 32002 0 1 0 157 5 0 0 20 0 18 0 2697797 9787879424 34580 33554432000 1073741824 1073778376 140737312544560 140737312535696 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8156/statm: 2389619 34580 2254 9 0 2380296 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9558476
[startup+1.5008 s]
/proc/loadavg: 4.37 4.27 4.19 6/215 8174
/proc/meminfo: memFree=25456480/32872528 swapFree=1499084/1695308
[pid=8156] ppid=8153 vsize=9558476 CPUtime=4.1 cores=0,2,4,6
/proc/8156/stat : 8156 (java) S 8153 8156 5962 0 -1 4202496 42858 0 1 0 395 15 0 0 20 0 18 0 2697797 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140737312535696 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8156/statm: 2389619 70045 2280 9 0 2380296 0
[pid=8156/tid=8158] ppid=8153 vsize=9558476 CPUtime=1.37 cores=0,2,4,6
/proc/8156/task/8158/stat : 8158 (java) R 8153 8156 5962 0 -1 4202560 2479 0 1 0 135 2 0 0 20 0 18 0 2697798 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140456882536176 140456722147652 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8159] ppid=8153 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/8156/task/8159/stat : 8159 (java) S 8153 8156 5962 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 18 0 2697799 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140456844036648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8160] ppid=8153 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/8156/task/8160/stat : 8160 (java) S 8153 8156 5962 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 18 0 2697799 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140456842983848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8161] ppid=8153 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/8156/task/8161/stat : 8161 (java) S 8153 8156 5962 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 2697799 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140456841931048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8162] ppid=8153 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/8156/task/8162/stat : 8162 (java) S 8153 8156 5962 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 18 0 2697799 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140456840878248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8163] ppid=8153 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/8156/task/8163/stat : 8163 (java) S 8153 8156 5962 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 2697799 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140456721640488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8164] ppid=8153 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/8156/task/8164/stat : 8164 (java) S 8153 8156 5962 0 -1 4202560 18 0 0 0 1 2 0 0 20 0 18 0 2697799 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140456720587688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8165] ppid=8153 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/8156/task/8165/stat : 8165 (java) S 8153 8156 5962 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 2697799 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140456719534888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8166] ppid=8153 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/8156/task/8166/stat : 8166 (java) S 8153 8156 5962 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 2697799 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140456718482088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8167] ppid=8153 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8167/stat : 8167 (java) S 8153 8156 5962 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 2697800 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140456706284008 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8168] ppid=8153 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8168/stat : 8168 (java) S 8153 8156 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 2697801 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140456100881656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8169] ppid=8153 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8169/stat : 8169 (java) S 8153 8156 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 2697801 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140456099828744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8170] ppid=8153 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8170/stat : 8170 (java) S 8153 8156 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2697803 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140456098777232 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8171] ppid=8153 vsize=9558476 CPUtime=1.19 cores=0,2,4,6
/proc/8156/task/8171/stat : 8171 (java) R 8153 8156 5962 0 -1 4202560 20454 0 0 0 116 3 0 0 20 0 18 0 2697803 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140456097719208 140456884399040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8172] ppid=8153 vsize=9558476 CPUtime=1.22 cores=0,2,4,6
/proc/8156/task/8172/stat : 8172 (java) R 8153 8156 5962 0 -1 4202560 18478 0 0 0 119 3 0 0 20 0 18 0 2697803 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140456096665528 140456889531282 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8173] ppid=8153 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8173/stat : 8173 (java) S 8153 8156 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2697803 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140456095619960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8174] ppid=8153 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8174/stat : 8174 (java) S 8153 8156 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2697803 9787879424 70045 33554432000 1073741824 1073778376 140737312544560 140456094567368 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 9558476
[startup+3.1008 s]
/proc/loadavg: 4.37 4.27 4.19 11/217 8176
/proc/meminfo: memFree=25099360/32872528 swapFree=1499084/1695308
[pid=8156] ppid=8153 vsize=9824732 CPUtime=7.63 cores=0,2,4,6
/proc/8156/stat : 8156 (java) S 8153 8156 5962 0 -1 4202496 44082 0 1 0 723 40 0 0 20 0 19 0 2697797 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140737312535696 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8156/statm: 2456183 144568 2287 9 0 2446860 0
[pid=8156/tid=8158] ppid=8153 vsize=9824732 CPUtime=2.07 cores=0,2,4,6
/proc/8156/task/8158/stat : 8158 (java) S 8153 8156 5962 0 -1 4202560 2534 0 1 0 203 4 0 0 20 0 19 0 2697798 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140456882545528 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8159] ppid=8153 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/8156/task/8159/stat : 8159 (java) S 8153 8156 5962 0 -1 4202560 49 0 0 0 8 2 0 0 20 0 19 0 2697799 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140456844036648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8160] ppid=8153 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/8156/task/8160/stat : 8160 (java) S 8153 8156 5962 0 -1 4202560 68 0 0 0 14 3 0 0 20 0 19 0 2697799 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140456842983848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8161] ppid=8153 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/8156/task/8161/stat : 8161 (java) S 8153 8156 5962 0 -1 4202560 59 0 0 0 10 3 0 0 20 0 19 0 2697799 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140456841931048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8162] ppid=8153 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/8156/task/8162/stat : 8162 (java) S 8153 8156 5962 0 -1 4202560 217 0 0 0 10 3 0 0 20 0 19 0 2697799 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140456840878248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8163] ppid=8153 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/8156/task/8163/stat : 8163 (java) S 8153 8156 5962 0 -1 4202560 159 0 0 0 13 4 0 0 20 0 19 0 2697799 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140456721640488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8164] ppid=8153 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/8156/task/8164/stat : 8164 (java) S 8153 8156 5962 0 -1 4202560 165 0 0 0 12 4 0 0 20 0 19 0 2697799 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140456720587688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8165] ppid=8153 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/8156/task/8165/stat : 8165 (java) S 8153 8156 5962 0 -1 4202560 142 0 0 0 11 3 0 0 20 0 19 0 2697799 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140456719534888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8166] ppid=8153 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/8156/task/8166/stat : 8166 (java) S 8153 8156 5962 0 -1 4202560 219 0 0 0 16 5 0 0 20 0 19 0 2697799 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140456718482088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8167] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8167/stat : 8167 (java) S 8153 8156 5962 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 19 0 2697800 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140456706284008 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8168] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8168/stat : 8168 (java) S 8153 8156 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2697801 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140456100881656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8169] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8169/stat : 8169 (java) S 8153 8156 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2697801 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140456099828744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8170] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8170/stat : 8170 (java) S 8153 8156 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2697803 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140456098777232 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8171] ppid=8153 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/8156/task/8171/stat : 8171 (java) S 8153 8156 5962 0 -1 4202560 20461 0 0 0 157 4 0 0 20 0 19 0 2697803 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140456097725368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8172] ppid=8153 vsize=9824732 CPUtime=1.62 cores=0,2,4,6
/proc/8156/task/8172/stat : 8172 (java) S 8153 8156 5962 0 -1 4202560 18483 0 0 0 158 4 0 0 20 0 19 0 2697803 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140456096672568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8173] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8173/stat : 8173 (java) S 8153 8156 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2697803 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140456095619960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8174] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8174/stat : 8174 (java) S 8153 8156 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2697803 10060525568 144568 33554432000 1073741824 1073778376 140737312544560 140456094567368 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 9824732
[startup+6.30093 s]
/proc/loadavg: 4.42 4.29 4.20 7/219 8187
/proc/meminfo: memFree=24982336/32872528 swapFree=1499084/1695308
[pid=8156] ppid=8153 vsize=9824732 CPUtime=11.86 cores=0,2,4,6
/proc/8156/stat : 8156 (java) S 8153 8156 5962 0 -1 4202496 44576 0 1 0 1131 55 0 0 20 0 20 0 2697797 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140737312535696 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8156/statm: 2456183 171477 2296 9 0 2446860 0
[pid=8156/tid=8158] ppid=8153 vsize=9824732 CPUtime=2.58 cores=0,2,4,6
/proc/8156/task/8158/stat : 8158 (java) S 8153 8156 5962 0 -1 4202560 2535 0 1 0 254 4 0 0 20 0 20 0 2697798 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456882545528 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8159] ppid=8153 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/8156/task/8159/stat : 8159 (java) S 8153 8156 5962 0 -1 4202560 61 0 0 0 9 3 0 0 20 0 20 0 2697799 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456844036648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8160] ppid=8153 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/8156/task/8160/stat : 8160 (java) S 8153 8156 5962 0 -1 4202560 99 0 0 0 19 5 0 0 20 0 20 0 2697799 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456842983848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8161] ppid=8153 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/8156/task/8161/stat : 8161 (java) S 8153 8156 5962 0 -1 4202560 109 0 0 0 20 6 0 0 20 0 20 0 2697799 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456841931048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8162] ppid=8153 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/8156/task/8162/stat : 8162 (java) S 8153 8156 5962 0 -1 4202560 255 0 0 0 16 5 0 0 20 0 20 0 2697799 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456840878248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8163] ppid=8153 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/8156/task/8163/stat : 8163 (java) S 8153 8156 5962 0 -1 4202560 217 0 0 0 23 6 0 0 20 0 20 0 2697799 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456721640488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8164] ppid=8153 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/8156/task/8164/stat : 8164 (java) S 8153 8156 5962 0 -1 4202560 189 0 0 0 15 4 0 0 20 0 20 0 2697799 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456720587688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8165] ppid=8153 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/8156/task/8165/stat : 8165 (java) S 8153 8156 5962 0 -1 4202560 150 0 0 0 13 4 0 0 20 0 20 0 2697799 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456719534888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8166] ppid=8153 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/8156/task/8166/stat : 8166 (java) S 8153 8156 5962 0 -1 4202560 228 0 0 0 19 5 0 0 20 0 20 0 2697799 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456718482088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8167] ppid=8153 vsize=9824732 CPUtime=0.68 cores=0,2,4,6
/proc/8156/task/8167/stat : 8167 (java) S 8153 8156 5962 0 -1 4202560 434 0 0 0 68 0 0 0 20 0 20 0 2697800 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456706284008 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8168] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8168/stat : 8168 (java) S 8153 8156 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 2697801 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456100881656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8169] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8169/stat : 8169 (java) S 8153 8156 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 2697801 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456099828744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8170] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8170/stat : 8170 (java) S 8153 8156 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2697803 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456098777232 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8171] ppid=8153 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/8156/task/8171/stat : 8171 (java) S 8153 8156 5962 0 -1 4202560 20464 0 0 0 186 4 0 0 20 0 20 0 2697803 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456097725368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8172] ppid=8153 vsize=9824732 CPUtime=1.88 cores=0,2,4,6
/proc/8156/task/8172/stat : 8172 (java) S 8153 8156 5962 0 -1 4202560 18487 0 0 0 184 4 0 0 20 0 20 0 2697803 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456096672568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8173] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8173/stat : 8173 (java) S 8153 8156 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2697803 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456095619960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8174] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8174/stat : 8174 (java) S 8153 8156 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2697803 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456094567368 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8177] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8177/stat : 8177 (java) S 8153 8156 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 2698025 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456091407272 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8186] ppid=8153 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/8156/task/8186/stat : 8186 (java) R 8153 8156 5962 0 -1 4202560 3 0 0 0 113 0 0 0 20 0 20 0 2698311 10060525568 171477 33554432000 1073741824 1073778376 140737312544560 140456093509600 140456723345771 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 11.86
Current children cumulated vsize (KiB) 9824732
[startup+12.701 s]
/proc/loadavg: 4.31 4.26 4.19 5/217 8193
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 4.33 4.04 3.84 5/219 8412
/proc/meminfo: memFree=26067040/32872528 swapFree=1499084/1695308
[pid=8156] ppid=8153 vsize=9824732 CPUtime=1793.76 cores=0,2,4,6
/proc/8156/stat : 8156 (java) S 8153 8156 5962 0 -1 4202496 46380 0 1 0 179221 155 0 0 20 0 22 0 2697797 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140737312535696 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8156/statm: 2456183 342914 2302 9 0 2446860 0
[pid=8156/tid=8158] ppid=8153 vsize=9824732 CPUtime=4.54 cores=0,2,4,6
/proc/8156/task/8158/stat : 8158 (java) S 8153 8156 5962 0 -1 4202560 2589 0 1 0 433 21 0 0 20 0 22 0 2697798 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456882545544 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8159] ppid=8153 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/8156/task/8159/stat : 8159 (java) S 8153 8156 5962 0 -1 4202560 156 0 0 0 29 8 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456844036648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8160] ppid=8153 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/8156/task/8160/stat : 8160 (java) S 8153 8156 5962 0 -1 4202560 344 0 0 0 38 10 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456842983848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8161] ppid=8153 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/8156/task/8161/stat : 8161 (java) S 8153 8156 5962 0 -1 4202560 164 0 0 0 33 10 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456841931048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8162] ppid=8153 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/8156/task/8162/stat : 8162 (java) S 8153 8156 5962 0 -1 4202560 310 0 0 0 30 8 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456840878248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8163] ppid=8153 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/8156/task/8163/stat : 8163 (java) S 8153 8156 5962 0 -1 4202560 467 0 0 0 37 10 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456721640488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8164] ppid=8153 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/8156/task/8164/stat : 8164 (java) S 8153 8156 5962 0 -1 4202560 264 0 0 0 31 8 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456720587688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8165] ppid=8153 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/8156/task/8165/stat : 8165 (java) S 8153 8156 5962 0 -1 4202560 229 0 0 0 31 8 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456719534888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8166] ppid=8153 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/8156/task/8166/stat : 8166 (java) S 8153 8156 5962 0 -1 4202560 297 0 0 0 37 9 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456718482088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8167] ppid=8153 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/8156/task/8167/stat : 8167 (java) S 8153 8156 5962 0 -1 4202560 768 0 0 0 70 5 0 0 20 0 22 0 2697800 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456706284008 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8168] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8168/stat : 8168 (java) S 8153 8156 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2697801 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456100881688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8169] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8169/stat : 8169 (java) S 8153 8156 5962 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 2697801 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456099828776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8170] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8170/stat : 8170 (java) S 8153 8156 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2697803 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456098777232 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8171] ppid=8153 vsize=9824732 CPUtime=2.14 cores=0,2,4,6
/proc/8156/task/8171/stat : 8171 (java) S 8153 8156 5962 0 -1 4202560 20477 0 0 0 210 4 0 0 20 0 22 0 2697803 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456097725368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8172] ppid=8153 vsize=9824732 CPUtime=2.41 cores=0,2,4,6
/proc/8156/task/8172/stat : 8172 (java) S 8153 8156 5962 0 -1 4202560 18502 0 0 0 237 4 0 0 20 0 22 0 2697803 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456096672568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8173] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8173/stat : 8173 (java) S 8153 8156 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2697803 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456095619960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8174] ppid=8153 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/8156/task/8174/stat : 8174 (java) S 8153 8156 5962 0 -1 4202560 79 0 0 0 22 26 0 0 20 0 22 0 2697803 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456094567368 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8177] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8177/stat : 8177 (java) S 8153 8156 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2698025 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456091407272 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8401] ppid=8153 vsize=9824732 CPUtime=381.54 cores=0,2,4,6
/proc/8156/task/8401/stat : 8401 (java) R 8153 8156 5962 0 -1 4202560 48 0 0 0 38146 8 0 0 20 0 22 0 2795842 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456092451360 140456723204957 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8402] ppid=8153 vsize=9824732 CPUtime=381.68 cores=0,2,4,6
/proc/8156/task/8402/stat : 8402 (java) R 8153 8156 5962 0 -1 4202560 36 0 0 0 38161 7 0 0 20 0 22 0 2795842 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456090354088 140456722274070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8403] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8403/stat : 8403 (java) S 8153 8156 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2795844 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456093513160 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1793.76
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1365.5 s]
/proc/loadavg: 4.30 4.04 3.84 6/219 8412
/proc/meminfo: memFree=26067040/32872528 swapFree=1499084/1695308
[pid=8156] ppid=8153 vsize=9824732 CPUtime=1800.16 cores=0,2,4,6
/proc/8156/stat : 8156 (java) S 8153 8156 5962 0 -1 4202496 46380 0 1 0 179861 155 0 0 20 0 22 0 2697797 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140737312535696 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8156/statm: 2456183 342914 2302 9 0 2446860 0
[pid=8156/tid=8158] ppid=8153 vsize=9824732 CPUtime=4.54 cores=0,2,4,6
/proc/8156/task/8158/stat : 8158 (java) S 8153 8156 5962 0 -1 4202560 2589 0 1 0 433 21 0 0 20 0 22 0 2697798 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456882545544 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8159] ppid=8153 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/8156/task/8159/stat : 8159 (java) S 8153 8156 5962 0 -1 4202560 156 0 0 0 29 8 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456844036648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8160] ppid=8153 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/8156/task/8160/stat : 8160 (java) S 8153 8156 5962 0 -1 4202560 344 0 0 0 38 10 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456842983848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8161] ppid=8153 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/8156/task/8161/stat : 8161 (java) S 8153 8156 5962 0 -1 4202560 164 0 0 0 33 10 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456841931048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8162] ppid=8153 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/8156/task/8162/stat : 8162 (java) S 8153 8156 5962 0 -1 4202560 310 0 0 0 30 8 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456840878248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8163] ppid=8153 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/8156/task/8163/stat : 8163 (java) S 8153 8156 5962 0 -1 4202560 467 0 0 0 37 10 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456721640488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8164] ppid=8153 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/8156/task/8164/stat : 8164 (java) S 8153 8156 5962 0 -1 4202560 264 0 0 0 31 8 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456720587688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8165] ppid=8153 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/8156/task/8165/stat : 8165 (java) S 8153 8156 5962 0 -1 4202560 229 0 0 0 31 8 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456719534888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8166] ppid=8153 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/8156/task/8166/stat : 8166 (java) S 8153 8156 5962 0 -1 4202560 297 0 0 0 37 9 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456718482088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8167] ppid=8153 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/8156/task/8167/stat : 8167 (java) S 8153 8156 5962 0 -1 4202560 768 0 0 0 70 5 0 0 20 0 22 0 2697800 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456706284008 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8168] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8168/stat : 8168 (java) S 8153 8156 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2697801 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456100881688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8169] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8169/stat : 8169 (java) S 8153 8156 5962 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 2697801 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456099828776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8170] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8170/stat : 8170 (java) S 8153 8156 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2697803 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456098777232 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8171] ppid=8153 vsize=9824732 CPUtime=2.14 cores=0,2,4,6
/proc/8156/task/8171/stat : 8171 (java) S 8153 8156 5962 0 -1 4202560 20477 0 0 0 210 4 0 0 20 0 22 0 2697803 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456097725368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8172] ppid=8153 vsize=9824732 CPUtime=2.41 cores=0,2,4,6
/proc/8156/task/8172/stat : 8172 (java) S 8153 8156 5962 0 -1 4202560 18502 0 0 0 237 4 0 0 20 0 22 0 2697803 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456096672568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8173] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8173/stat : 8173 (java) S 8153 8156 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2697803 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456095619960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8174] ppid=8153 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/8156/task/8174/stat : 8174 (java) S 8153 8156 5962 0 -1 4202560 79 0 0 0 22 26 0 0 20 0 22 0 2697803 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456094567368 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8177] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8177/stat : 8177 (java) S 8153 8156 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2698025 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456091407272 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8401] ppid=8153 vsize=9824732 CPUtime=384.74 cores=0,2,4,6
/proc/8156/task/8401/stat : 8401 (java) R 8153 8156 5962 0 -1 4202560 48 0 0 0 38466 8 0 0 20 0 22 0 2795842 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456092451360 140456723143903 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8402] ppid=8153 vsize=9824732 CPUtime=384.88 cores=0,2,4,6
/proc/8156/task/8402/stat : 8402 (java) R 8153 8156 5962 0 -1 4202560 36 0 0 0 38481 7 0 0 20 0 22 0 2795842 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456090354088 140456722274070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8403] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8403/stat : 8403 (java) S 8153 8156 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2795844 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456093513160 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 8156 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1365.5 s]
/proc/loadavg: 4.30 4.04 3.84 6/219 8412
/proc/meminfo: memFree=26067040/32872528 swapFree=1499084/1695308
[pid=8156] ppid=8153 vsize=9824732 CPUtime=1800.16 cores=0,2,4,6
/proc/8156/stat : 8156 (java) S 8153 8156 5962 0 -1 4202496 46380 0 1 0 179861 155 0 0 20 0 22 0 2697797 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140737312535696 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8156/statm: 2456183 342914 2302 9 0 2446860 0
[pid=8156/tid=8158] ppid=8153 vsize=9824732 CPUtime=4.54 cores=0,2,4,6
/proc/8156/task/8158/stat : 8158 (java) S 8153 8156 5962 0 -1 4202560 2589 0 1 0 433 21 0 0 20 0 22 0 2697798 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456882545544 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8159] ppid=8153 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/8156/task/8159/stat : 8159 (java) S 8153 8156 5962 0 -1 4202560 156 0 0 0 29 8 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456844036648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8160] ppid=8153 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/8156/task/8160/stat : 8160 (java) S 8153 8156 5962 0 -1 4202560 344 0 0 0 38 10 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456842983848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8161] ppid=8153 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/8156/task/8161/stat : 8161 (java) S 8153 8156 5962 0 -1 4202560 164 0 0 0 33 10 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456841931048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8162] ppid=8153 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/8156/task/8162/stat : 8162 (java) S 8153 8156 5962 0 -1 4202560 310 0 0 0 30 8 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456840878248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8163] ppid=8153 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/8156/task/8163/stat : 8163 (java) S 8153 8156 5962 0 -1 4202560 467 0 0 0 37 10 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456721640488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8164] ppid=8153 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/8156/task/8164/stat : 8164 (java) S 8153 8156 5962 0 -1 4202560 264 0 0 0 31 8 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456720587688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8165] ppid=8153 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/8156/task/8165/stat : 8165 (java) S 8153 8156 5962 0 -1 4202560 229 0 0 0 31 8 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456719534888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8166] ppid=8153 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/8156/task/8166/stat : 8166 (java) S 8153 8156 5962 0 -1 4202560 297 0 0 0 37 9 0 0 20 0 22 0 2697799 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456718482088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8167] ppid=8153 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/8156/task/8167/stat : 8167 (java) S 8153 8156 5962 0 -1 4202560 768 0 0 0 70 5 0 0 20 0 22 0 2697800 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456706284008 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8168] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8168/stat : 8168 (java) S 8153 8156 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2697801 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456100881688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8169] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8169/stat : 8169 (java) S 8153 8156 5962 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 2697801 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456099828776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8170] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8170/stat : 8170 (java) S 8153 8156 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2697803 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456098777232 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8156/tid=8171] ppid=8153 vsize=9824732 CPUtime=2.14 cores=0,2,4,6
/proc/8156/task/8171/stat : 8171 (java) S 8153 8156 5962 0 -1 4202560 20477 0 0 0 210 4 0 0 20 0 22 0 2697803 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456097725368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8172] ppid=8153 vsize=9824732 CPUtime=2.41 cores=0,2,4,6
/proc/8156/task/8172/stat : 8172 (java) S 8153 8156 5962 0 -1 4202560 18502 0 0 0 237 4 0 0 20 0 22 0 2697803 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456096672568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8173] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8173/stat : 8173 (java) S 8153 8156 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2697803 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456095619960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8174] ppid=8153 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/8156/task/8174/stat : 8174 (java) S 8153 8156 5962 0 -1 4202560 79 0 0 0 22 26 0 0 20 0 22 0 2697803 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456094567368 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8177] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8177/stat : 8177 (java) S 8153 8156 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2698025 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456091407272 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8156/tid=8401] ppid=8153 vsize=9824732 CPUtime=384.74 cores=0,2,4,6
/proc/8156/task/8401/stat : 8401 (java) R 8153 8156 5962 0 -1 4202560 48 0 0 0 38466 8 0 0 20 0 22 0 2795842 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456092451360 140456723143903 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8156/tid=8402] ppid=8153 vsize=9824732 CPUtime=384.88 cores=0,2,4,6
/proc/8156/task/8402/stat : 8402 (java) R 8153 8156 5962 0 -1 4202560 36 0 0 0 38481 7 0 0 20 0 22 0 2795842 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456090354088 140456722274070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8156/tid=8403] ppid=8153 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8156/task/8403/stat : 8403 (java) S 8153 8156 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2795844 10060525568 342914 33554432000 1073741824 1073778376 140737312544560 140456093513160 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
Child status: 143
Real time (s): 1365.53
CPU time (s): 1800.61
CPU user time (s): 1798.67
CPU system time (s): 1.9407
CPU usage (%): 131.861
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.67
system time used= 1.9407
maximum resident set size= 1371768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46418
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= 49221
involuntary context switches= 11316
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.25359 second user time and 10.2634 second system time
The end