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-4118075-1467220050/watcher-4118075-1467220050 -o /tmp/evaluation-result-4118075-1467220050/solver-4118075-1467220050 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467208983-5284 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118075-1467220050.opb
pid=9248
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: 3.22 3.24 3.38 4/197 9251
/proc/meminfo: memFree=26877204/32872528 swapFree=1459092/1655316
[pid=9251] ppid=9248 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/9251/stat : 9251 (java) R 9248 9251 5267 0 -1 4202496 420 0 0 0 0 0 0 0 20 0 1 0 2956166 9445376 90 33554432000 1073741824 1073778376 140735486948032 140735486945160 239863903671 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9251/statm: 2306 94 75 9 0 38 0
[startup+0.100152 s]
/proc/loadavg: 3.22 3.24 3.38 4/197 9251
/proc/meminfo: memFree=26877204/32872528 swapFree=1459092/1655316
[pid=9251] ppid=9248 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/9251/stat : 9251 (java) S 9248 9251 5267 0 -1 4202496 4413 0 1 0 8 1 0 0 20 0 18 0 2956166 9787879424 6042 33554432000 1073741824 1073778376 140735486948032 140735486939168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9251/statm: 2389619 6042 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200222 s]
/proc/loadavg: 3.22 3.24 3.38 4/197 9251
/proc/meminfo: memFree=26877204/32872528 swapFree=1459092/1655316
[pid=9251] ppid=9248 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/9251/stat : 9251 (java) S 9248 9251 5267 0 -1 4202496 4595 0 1 0 22 1 0 0 20 0 18 0 2956166 9787879424 7214 33554432000 1073741824 1073778376 140735486948032 140735486939168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9251/statm: 2389619 7214 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300243 s]
/proc/loadavg: 3.22 3.24 3.38 4/197 9251
/proc/meminfo: memFree=26877204/32872528 swapFree=1459092/1655316
[pid=9251] ppid=9248 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/9251/stat : 9251 (java) S 9248 9251 5267 0 -1 4202496 5720 0 1 0 44 1 0 0 20 0 18 0 2956166 9787879424 8993 33554432000 1073741824 1073778376 140735486948032 140735486939168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9251/statm: 2389619 8993 2238 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476
[startup+0.700201 s]
/proc/loadavg: 3.22 3.24 3.38 4/197 9251
/proc/meminfo: memFree=26877204/32872528 swapFree=1459092/1655316
[pid=9251] ppid=9248 vsize=9558476 CPUtime=1.61 cores=1,3,5,7
/proc/9251/stat : 9251 (java) S 9248 9251 5267 0 -1 4202496 25366 0 1 0 155 6 0 0 20 0 18 0 2956166 9787879424 27740 33554432000 1073741824 1073778376 140735486948032 140735486939168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9251/statm: 2389619 27740 2262 9 0 2380296 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 9558476
[startup+1.50084 s]
/proc/loadavg: 3.22 3.24 3.38 7/217 9271
/proc/meminfo: memFree=26715680/32872528 swapFree=1459092/1655316
[pid=9251] ppid=9248 vsize=9824732 CPUtime=4.42 cores=1,3,5,7
/proc/9251/stat : 9251 (java) S 9248 9251 5267 0 -1 4202496 36776 0 1 0 433 9 0 0 20 0 22 0 2956166 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 140735486939168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9251/statm: 2456183 49055 2276 9 0 2446860 0
[pid=9251/tid=9253] ppid=9248 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/9251/task/9253/stat : 9253 (java) S 9248 9251 5267 0 -1 4202560 2474 0 1 0 95 2 0 0 20 0 22 0 2956167 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680377459576 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9254] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9254/stat : 9254 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956168 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680338950824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9255] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9255/stat : 9255 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956168 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680337898280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9256] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9256/stat : 9256 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956168 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680336845736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9257] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9257/stat : 9257 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956168 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680335793192 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9258] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9258/stat : 9258 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956168 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680334739624 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9259] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9259/stat : 9259 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956168 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680333687080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9260] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9260/stat : 9260 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956168 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680332634536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9261] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9261/stat : 9261 (java) S 9248 9251 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 2956168 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680331581992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9262] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9262/stat : 9262 (java) S 9248 9251 5267 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 2956170 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680200764008 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9263] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9263/stat : 9263 (java) S 9248 9251 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 2956170 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680199710328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9264] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9264/stat : 9264 (java) S 9248 9251 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2956170 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680198657672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9265] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9265/stat : 9265 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956172 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680197606416 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9266] ppid=9248 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/9251/task/9266/stat : 9266 (java) R 9248 9251 5267 0 -1 4202560 12192 0 0 0 118 3 0 0 20 0 22 0 2956172 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680196552760 139680380065881 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9267] ppid=9248 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/9251/task/9267/stat : 9267 (java) S 9248 9251 5267 0 -1 4202560 20767 0 0 0 117 4 0 0 20 0 22 0 2956172 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680195500216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9268] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9268/stat : 9268 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956172 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680194447864 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9269] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9269/stat : 9269 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956172 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680193395528 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9270] ppid=9248 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/9251/task/9270/stat : 9270 (java) R 9248 9251 5267 0 -1 4202560 18 0 0 0 48 0 0 0 20 0 22 0 2956267 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680192340616 139680206315862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9271] ppid=9248 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/9251/task/9271/stat : 9271 (java) R 9248 9251 5267 0 -1 4202560 46 0 0 0 48 0 0 0 20 0 22 0 2956267 10060525568 49055 33554432000 1073741824 1073778376 140735486948032 139680191288184 139680206315721 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 9824732
[startup+3.10078 s]
/proc/loadavg: 3.22 3.24 3.38 6/219 9276
/proc/meminfo: memFree=26645312/32872528 swapFree=1459092/1655316
[pid=9251] ppid=9248 vsize=9824732 CPUtime=6.57 cores=1,3,5,7
/proc/9251/stat : 9251 (java) S 9248 9251 5267 0 -1 4202496 37969 0 1 0 635 22 0 0 20 0 19 0 2956166 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 140735486939168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9251/statm: 2456183 66883 2290 9 0 2446860 0
[pid=9251/tid=9253] ppid=9248 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/9251/task/9253/stat : 9253 (java) S 9248 9251 5267 0 -1 4202560 2475 0 1 0 106 2 0 0 20 0 19 0 2956167 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139680377459576 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9254] ppid=9248 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/9251/task/9254/stat : 9254 (java) S 9248 9251 5267 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 2956168 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139680338950824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9255] ppid=9248 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/9251/task/9255/stat : 9255 (java) S 9248 9251 5267 0 -1 4202560 62 0 0 0 3 1 0 0 20 0 19 0 2956168 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139680337898280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9256] ppid=9248 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/9251/task/9256/stat : 9256 (java) S 9248 9251 5267 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 2956168 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139680336845736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9257] ppid=9248 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/9251/task/9257/stat : 9257 (java) S 9248 9251 5267 0 -1 4202560 152 0 0 0 4 2 0 0 20 0 19 0 2956168 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139680335793192 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9258] ppid=9248 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/9251/task/9258/stat : 9258 (java) S 9248 9251 5267 0 -1 4202560 110 0 0 0 2 0 0 0 20 0 19 0 2956168 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139680334739624 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9259] ppid=9248 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/9251/task/9259/stat : 9259 (java) S 9248 9251 5267 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 2956168 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139680333687080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9260] ppid=9248 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/9251/task/9260/stat : 9260 (java) S 9248 9251 5267 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 2956168 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139680332634536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9261] ppid=9248 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/9251/task/9261/stat : 9261 (java) S 9248 9251 5267 0 -1 4202560 102 0 0 0 1 0 0 0 20 0 19 0 2956168 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139680331581992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9262] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9262/stat : 9262 (java) S 9248 9251 5267 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 2956170 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139680200764008 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9263] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9263/stat : 9263 (java) S 9248 9251 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2956170 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139680199710328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9264] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9264/stat : 9264 (java) S 9248 9251 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2956170 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139680198657672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9265] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9265/stat : 9265 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2956172 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139680197606416 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9266] ppid=9248 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/9251/task/9266/stat : 9266 (java) S 9248 9251 5267 0 -1 4202560 12192 0 0 0 157 3 0 0 20 0 19 0 2956172 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139680196552760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9267] ppid=9248 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/9251/task/9267/stat : 9267 (java) S 9248 9251 5267 0 -1 4202560 21394 0 0 0 135 4 0 0 20 0 19 0 2956172 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139680195500216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9268] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9268/stat : 9268 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2956172 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139680194447864 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9269] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9269/stat : 9269 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2956172 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139680193395528 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9273] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9273/stat : 9273 (java) S 9248 9251 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2956278 10060525568 66883 33554432000 1073741824 1073778376 140735486948032 139678913128104 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.57
Current children cumulated vsize (KiB) 9824732
[startup+6.30081 s]
/proc/loadavg: 3.29 3.25 3.39 3/216 9288
/proc/meminfo: memFree=26483448/32872528 swapFree=1459092/1655316
[pid=9251] ppid=9248 vsize=9824732 CPUtime=10.69 cores=1,3,5,7
/proc/9251/stat : 9251 (java) S 9248 9251 5267 0 -1 4202496 39392 0 1 0 1033 36 0 0 20 0 22 0 2956166 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 140735486939168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9251/statm: 2456183 107455 2291 9 0 2446860 0
[pid=9251/tid=9253] ppid=9248 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/9251/task/9253/stat : 9253 (java) S 9248 9251 5267 0 -1 4202560 2483 0 1 0 120 3 0 0 20 0 22 0 2956167 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139680377459576 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9254] ppid=9248 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/9251/task/9254/stat : 9254 (java) S 9248 9251 5267 0 -1 4202560 50 0 0 0 6 2 0 0 20 0 22 0 2956168 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139680338950824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9255] ppid=9248 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/9251/task/9255/stat : 9255 (java) S 9248 9251 5267 0 -1 4202560 95 0 0 0 8 2 0 0 20 0 22 0 2956168 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139680337898280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9256] ppid=9248 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/9251/task/9256/stat : 9256 (java) S 9248 9251 5267 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 22 0 2956168 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139680336845736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9257] ppid=9248 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/9251/task/9257/stat : 9257 (java) S 9248 9251 5267 0 -1 4202560 180 0 0 0 7 2 0 0 20 0 22 0 2956168 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139680335793192 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9258] ppid=9248 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/9251/task/9258/stat : 9258 (java) S 9248 9251 5267 0 -1 4202560 120 0 0 0 3 1 0 0 20 0 22 0 2956168 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139680334739624 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9259] ppid=9248 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/9251/task/9259/stat : 9259 (java) S 9248 9251 5267 0 -1 4202560 27 0 0 0 4 1 0 0 20 0 22 0 2956168 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139680333687080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9260] ppid=9248 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/9251/task/9260/stat : 9260 (java) S 9248 9251 5267 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 2956168 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139680332634536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9261] ppid=9248 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/9251/task/9261/stat : 9261 (java) S 9248 9251 5267 0 -1 4202560 136 0 0 0 8 2 0 0 20 0 22 0 2956168 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139680331581992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9262] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9262/stat : 9262 (java) S 9248 9251 5267 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 2956170 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139680200764008 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9263] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9263/stat : 9263 (java) S 9248 9251 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2956170 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139680199710328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9264] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9264/stat : 9264 (java) S 9248 9251 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2956170 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139680198657672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9265] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9265/stat : 9265 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956172 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139680197606416 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9266] ppid=9248 vsize=9824732 CPUtime=1.78 cores=1,3,5,7
/proc/9251/task/9266/stat : 9266 (java) S 9248 9251 5267 0 -1 4202560 12192 0 0 0 175 3 0 0 20 0 22 0 2956172 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139680196552760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9267] ppid=9248 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/9251/task/9267/stat : 9267 (java) S 9248 9251 5267 0 -1 4202560 22417 0 0 0 157 5 0 0 20 0 22 0 2956172 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139680195500216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9268] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9268/stat : 9268 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956172 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139680194447864 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9269] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9269/stat : 9269 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956172 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139680193395528 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9273] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9273/stat : 9273 (java) S 9248 9251 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2956278 10060525568 107455 33554432000 1073741824 1073778376 140735486948032 139678913128104 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 10.69
################
# More data... #
################
[startup+882.308 s]
/proc/loadavg: 4.42 4.26 3.91 5/219 9408
/proc/meminfo: memFree=22789472/32872528 swapFree=1459092/1655316
[pid=9251] ppid=9248 vsize=9824732 CPUtime=1758.53 cores=1,3,5,7
/proc/9251/stat : 9251 (java) S 9248 9251 5267 0 -1 4202496 44679 0 1 0 175677 176 0 0 20 0 22 0 2956166 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 140735486939168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9251/statm: 2456183 694039 2304 9 0 2446860 0
[pid=9251/tid=9253] ppid=9248 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/9251/task/9253/stat : 9253 (java) S 9248 9251 5267 0 -1 4202560 2492 0 1 0 135 4 0 0 20 0 22 0 2956167 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680377459576 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9254] ppid=9248 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/9251/task/9254/stat : 9254 (java) S 9248 9251 5267 0 -1 4202560 216 0 0 0 34 8 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680338950824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9255] ppid=9248 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/9251/task/9255/stat : 9255 (java) S 9248 9251 5267 0 -1 4202560 300 0 0 0 45 14 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680337898280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9256] ppid=9248 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/9251/task/9256/stat : 9256 (java) S 9248 9251 5267 0 -1 4202560 220 0 0 0 40 10 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680336845736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9257] ppid=9248 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/9251/task/9257/stat : 9257 (java) S 9248 9251 5267 0 -1 4202560 415 0 0 0 52 14 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680335793192 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9258] ppid=9248 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/9251/task/9258/stat : 9258 (java) S 9248 9251 5267 0 -1 4202560 394 0 0 0 50 14 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680334739624 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9259] ppid=9248 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/9251/task/9259/stat : 9259 (java) S 9248 9251 5267 0 -1 4202560 234 0 0 0 39 10 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680333687080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9260] ppid=9248 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/9251/task/9260/stat : 9260 (java) S 9248 9251 5267 0 -1 4202560 195 0 0 0 31 8 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680332634536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9261] ppid=9248 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/9251/task/9261/stat : 9261 (java) S 9248 9251 5267 0 -1 4202560 310 0 0 0 39 11 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680331581992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9262] ppid=9248 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/9251/task/9262/stat : 9262 (java) S 9248 9251 5267 0 -1 4202560 1634 0 0 0 120 3 0 0 20 0 22 0 2956170 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680200764008 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9263] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9263/stat : 9263 (java) S 9248 9251 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2956170 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680199710328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9264] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9264/stat : 9264 (java) S 9248 9251 5267 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 2956170 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680198657672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9265] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9265/stat : 9265 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956172 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680197606416 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9266] ppid=9248 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/9251/task/9266/stat : 9266 (java) S 9248 9251 5267 0 -1 4202560 12235 0 0 0 218 3 0 0 20 0 22 0 2956172 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680196552760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9267] ppid=9248 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/9251/task/9267/stat : 9267 (java) S 9248 9251 5267 0 -1 4202560 23055 0 0 0 191 5 0 0 20 0 22 0 2956172 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680195500216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9268] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9268/stat : 9268 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956172 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680194447864 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9269] ppid=9248 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/9251/task/9269/stat : 9269 (java) S 9248 9251 5267 0 -1 4202560 51 0 0 0 12 15 0 0 20 0 22 0 2956172 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680193395528 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9273] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9273/stat : 9273 (java) S 9248 9251 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2956278 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139678913128104 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9389] ppid=9248 vsize=9824732 CPUtime=615.3 cores=1,3,5,7
/proc/9251/task/9389/stat : 9389 (java) R 9248 9251 5267 0 -1 4202560 104 0 0 0 61515 15 0 0 20 0 22 0 2982662 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680191279536 139680206537685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9390] ppid=9248 vsize=9824732 CPUtime=615.53 cores=1,3,5,7
/proc/9251/task/9390/stat : 9390 (java) R 9248 9251 5267 0 -1 4202560 356 0 0 0 61532 21 0 0 20 0 22 0 2982662 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680192338704 139680205728998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9391] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9391/stat : 9391 (java) S 9248 9251 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2982663 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680190235432 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1758.53
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+903.101 s]
/proc/loadavg: 4.44 4.28 3.93 5/219 9408
/proc/meminfo: memFree=22789564/32872528 swapFree=1459092/1655316
[pid=9251] ppid=9248 vsize=9824732 CPUtime=1800.13 cores=1,3,5,7
/proc/9251/stat : 9251 (java) S 9248 9251 5267 0 -1 4202496 44679 0 1 0 179837 176 0 0 20 0 22 0 2956166 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 140735486939168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9251/statm: 2456183 694039 2304 9 0 2446860 0
[pid=9251/tid=9253] ppid=9248 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/9251/task/9253/stat : 9253 (java) S 9248 9251 5267 0 -1 4202560 2492 0 1 0 135 4 0 0 20 0 22 0 2956167 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680377459576 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9254] ppid=9248 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/9251/task/9254/stat : 9254 (java) S 9248 9251 5267 0 -1 4202560 216 0 0 0 34 8 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680338950824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9255] ppid=9248 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/9251/task/9255/stat : 9255 (java) S 9248 9251 5267 0 -1 4202560 300 0 0 0 45 14 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680337898280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9256] ppid=9248 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/9251/task/9256/stat : 9256 (java) S 9248 9251 5267 0 -1 4202560 220 0 0 0 40 10 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680336845736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9257] ppid=9248 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/9251/task/9257/stat : 9257 (java) S 9248 9251 5267 0 -1 4202560 415 0 0 0 52 14 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680335793192 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9258] ppid=9248 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/9251/task/9258/stat : 9258 (java) S 9248 9251 5267 0 -1 4202560 394 0 0 0 50 14 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680334739624 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9259] ppid=9248 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/9251/task/9259/stat : 9259 (java) S 9248 9251 5267 0 -1 4202560 234 0 0 0 39 10 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680333687080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9260] ppid=9248 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/9251/task/9260/stat : 9260 (java) S 9248 9251 5267 0 -1 4202560 195 0 0 0 31 8 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680332634536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9261] ppid=9248 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/9251/task/9261/stat : 9261 (java) S 9248 9251 5267 0 -1 4202560 310 0 0 0 39 11 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680331581992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9262] ppid=9248 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/9251/task/9262/stat : 9262 (java) S 9248 9251 5267 0 -1 4202560 1634 0 0 0 120 3 0 0 20 0 22 0 2956170 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680200764008 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9263] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9263/stat : 9263 (java) S 9248 9251 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2956170 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680199710328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9264] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9264/stat : 9264 (java) S 9248 9251 5267 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 2956170 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680198657672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9265] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9265/stat : 9265 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956172 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680197606416 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9266] ppid=9248 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/9251/task/9266/stat : 9266 (java) S 9248 9251 5267 0 -1 4202560 12235 0 0 0 218 3 0 0 20 0 22 0 2956172 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680196552760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9267] ppid=9248 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/9251/task/9267/stat : 9267 (java) S 9248 9251 5267 0 -1 4202560 23055 0 0 0 191 5 0 0 20 0 22 0 2956172 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680195500216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9268] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9268/stat : 9268 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956172 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680194447864 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9269] ppid=9248 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/9251/task/9269/stat : 9269 (java) S 9248 9251 5267 0 -1 4202560 51 0 0 0 12 16 0 0 20 0 22 0 2956172 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680193395528 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9273] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9273/stat : 9273 (java) S 9248 9251 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2956278 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139678913128104 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9389] ppid=9248 vsize=9824732 CPUtime=636.1 cores=1,3,5,7
/proc/9251/task/9389/stat : 9389 (java) R 9248 9251 5267 0 -1 4202560 104 0 0 0 63595 15 0 0 20 0 22 0 2982662 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680191279536 139680206315862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9390] ppid=9248 vsize=9824732 CPUtime=636.33 cores=1,3,5,7
/proc/9251/task/9390/stat : 9390 (java) R 9248 9251 5267 0 -1 4202560 356 0 0 0 63612 21 0 0 20 0 22 0 2982662 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680192338704 139680205729048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9391] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9391/stat : 9391 (java) S 9248 9251 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2982663 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680190235432 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
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 9251 sig 9
??? kill -9251 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+903.101 s]
/proc/loadavg: 4.44 4.28 3.93 5/219 9408
/proc/meminfo: memFree=22789564/32872528 swapFree=1459092/1655316
[pid=9251] ppid=9248 vsize=9824732 CPUtime=1800.13 cores=1,3,5,7
/proc/9251/stat : 9251 (java) S 9248 9251 5267 0 -1 4202496 44679 0 1 0 179837 176 0 0 20 0 22 0 2956166 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 140735486939168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9251/statm: 2456183 694039 2304 9 0 2446860 0
[pid=9251/tid=9253] ppid=9248 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/9251/task/9253/stat : 9253 (java) S 9248 9251 5267 0 -1 4202560 2492 0 1 0 135 4 0 0 20 0 22 0 2956167 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680377459576 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9254] ppid=9248 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/9251/task/9254/stat : 9254 (java) S 9248 9251 5267 0 -1 4202560 216 0 0 0 34 8 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680338950824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9255] ppid=9248 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/9251/task/9255/stat : 9255 (java) S 9248 9251 5267 0 -1 4202560 300 0 0 0 45 14 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680337898280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9256] ppid=9248 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/9251/task/9256/stat : 9256 (java) S 9248 9251 5267 0 -1 4202560 220 0 0 0 40 10 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680336845736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9257] ppid=9248 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/9251/task/9257/stat : 9257 (java) S 9248 9251 5267 0 -1 4202560 415 0 0 0 52 14 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680335793192 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9258] ppid=9248 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/9251/task/9258/stat : 9258 (java) S 9248 9251 5267 0 -1 4202560 394 0 0 0 50 14 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680334739624 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9259] ppid=9248 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/9251/task/9259/stat : 9259 (java) S 9248 9251 5267 0 -1 4202560 234 0 0 0 39 10 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680333687080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9260] ppid=9248 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/9251/task/9260/stat : 9260 (java) S 9248 9251 5267 0 -1 4202560 195 0 0 0 31 8 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680332634536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9261] ppid=9248 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/9251/task/9261/stat : 9261 (java) S 9248 9251 5267 0 -1 4202560 310 0 0 0 39 11 0 0 20 0 22 0 2956168 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680331581992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9262] ppid=9248 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/9251/task/9262/stat : 9262 (java) S 9248 9251 5267 0 -1 4202560 1634 0 0 0 120 3 0 0 20 0 22 0 2956170 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680200764008 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9263] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9263/stat : 9263 (java) S 9248 9251 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2956170 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680199710328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9264] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9264/stat : 9264 (java) S 9248 9251 5267 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 2956170 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680198657672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9265] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9265/stat : 9265 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956172 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680197606416 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9266] ppid=9248 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/9251/task/9266/stat : 9266 (java) S 9248 9251 5267 0 -1 4202560 12235 0 0 0 218 3 0 0 20 0 22 0 2956172 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680196552760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9267] ppid=9248 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/9251/task/9267/stat : 9267 (java) S 9248 9251 5267 0 -1 4202560 23055 0 0 0 191 5 0 0 20 0 22 0 2956172 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680195500216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9268] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9268/stat : 9268 (java) S 9248 9251 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2956172 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680194447864 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9269] ppid=9248 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/9251/task/9269/stat : 9269 (java) S 9248 9251 5267 0 -1 4202560 51 0 0 0 12 16 0 0 20 0 22 0 2956172 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680193395528 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9251/tid=9273] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9273/stat : 9273 (java) S 9248 9251 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2956278 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139678913128104 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9251/tid=9389] ppid=9248 vsize=9824732 CPUtime=636.1 cores=1,3,5,7
/proc/9251/task/9389/stat : 9389 (java) R 9248 9251 5267 0 -1 4202560 104 0 0 0 63595 15 0 0 20 0 22 0 2982662 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680191279536 139680206315862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9251/tid=9390] ppid=9248 vsize=9824732 CPUtime=636.33 cores=1,3,5,7
/proc/9251/task/9390/stat : 9390 (java) R 9248 9251 5267 0 -1 4202560 356 0 0 0 63612 21 0 0 20 0 22 0 2982662 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680192338704 139680205729048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9251/tid=9391] ppid=9248 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9251/task/9391/stat : 9391 (java) S 9248 9251 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2982663 10060525568 694039 33554432000 1073741824 1073778376 140735486948032 139680190235432 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 903.15
CPU time (s): 1800.6
CPU user time (s): 1798.47
CPU system time (s): 2.13068
CPU usage (%): 199.369
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.47
system time used= 2.13068
maximum resident set size= 2776272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44716
page faults= 1
swaps= 0
block input operations= 0
block output operations= 656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21919
involuntary context switches= 18734
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2742 second user time and 7.92279 second system time
The end