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-4116518-1466962761/watcher-4116518-1466962761 -o /tmp/evaluation-result-4116518-1466962761/solver-4116518-1466962761 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18142 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116518-1466962761.opb
pid=21357
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.28 4.32 4.27 4/197 21360
/proc/meminfo: memFree=26624068/32872528 swapFree=1437460/1543748
[pid=21360] ppid=21357 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/21360/stat : 21360 (java) D 21357 21360 18126 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 29315417 2560000 46 33554432000 1073741824 1073778376 140734081374896 140734081372024 266426477863 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/21360/statm: 625 46 37 9 0 29 0
[startup+0.10006 s]
/proc/loadavg: 4.28 4.32 4.27 4/197 21360
/proc/meminfo: memFree=26624068/32872528 swapFree=1437460/1543748
[pid=21360] ppid=21357 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/21360/stat : 21360 (java) S 21357 21360 18126 0 -1 4202496 4409 0 1 0 8 1 0 0 20 0 18 0 29315417 9787879424 6047 33554432000 1073741824 1073778376 140734081374896 140734081366032 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21360/statm: 2389619 6047 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200218 s]
/proc/loadavg: 4.28 4.32 4.27 4/197 21360
/proc/meminfo: memFree=26624068/32872528 swapFree=1437460/1543748
[pid=21360] ppid=21357 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/21360/stat : 21360 (java) S 21357 21360 18126 0 -1 4202496 4696 0 1 0 23 1 0 0 20 0 18 0 29315417 9787879424 6808 33554432000 1073741824 1073778376 140734081374896 140734081366032 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21360/statm: 2389619 6808 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300223 s]
/proc/loadavg: 4.28 4.32 4.27 4/197 21360
/proc/meminfo: memFree=26624068/32872528 swapFree=1437460/1543748
[pid=21360] ppid=21357 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/21360/stat : 21360 (java) S 21357 21360 18126 0 -1 4202496 5842 0 1 0 47 1 0 0 20 0 18 0 29315417 9787879424 8353 33554432000 1073741824 1073778376 140734081374896 140734081366032 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21360/statm: 2389619 8353 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700179 s]
/proc/loadavg: 4.28 4.32 4.27 4/197 21360
/proc/meminfo: memFree=26624068/32872528 swapFree=1437460/1543748
[pid=21360] ppid=21357 vsize=9824732 CPUtime=1.7 cores=0,2,4,6
/proc/21360/stat : 21360 (java) S 21357 21360 18126 0 -1 4202496 13258 0 1 0 167 3 0 0 20 0 22 0 29315417 10060525568 23820 33554432000 1073741824 1073778376 140734081374896 140734081366032 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21360/statm: 2456183 23820 2266 9 0 2446860 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 9824732
[startup+1.50085 s]
/proc/loadavg: 4.28 4.32 4.27 7/219 21382
/proc/meminfo: memFree=26487252/32872528 swapFree=1437460/1543748
[pid=21360] ppid=21357 vsize=9824732 CPUtime=4.72 cores=0,2,4,6
/proc/21360/stat : 21360 (java) S 21357 21360 18126 0 -1 4202496 19876 0 1 0 465 7 0 0 20 0 22 0 29315417 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140734081366032 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21360/statm: 2456183 47411 2292 9 0 2446860 0
[pid=21360/tid=21362] ppid=21357 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/21360/task/21362/stat : 21362 (java) S 21357 21360 18126 0 -1 4202560 2500 0 1 0 47 2 0 0 20 0 22 0 29315418 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266756260728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21363] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21363/stat : 21363 (java) S 21357 21360 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29315419 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266728713256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21360/tid=21364] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21364/stat : 21364 (java) S 21357 21360 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29315419 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266727660456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21365] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21365/stat : 21365 (java) S 21357 21360 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29315419 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266726607656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21366] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21366/stat : 21366 (java) S 21357 21360 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29315419 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266725554856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21367] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21367/stat : 21367 (java) S 21357 21360 18126 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 29315419 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266724502056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21368] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21368/stat : 21368 (java) S 21357 21360 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29315419 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266723449256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21369] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21369/stat : 21369 (java) S 21357 21360 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29315419 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266722396456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21370] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21370/stat : 21370 (java) S 21357 21360 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29315419 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266721343656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21371] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21371/stat : 21371 (java) S 21357 21360 18126 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 29315421 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266109373416 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21372] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21372/stat : 21372 (java) S 21357 21360 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29315421 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266108319480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21373] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21373/stat : 21373 (java) S 21357 21360 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29315421 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266107266568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21374] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21374/stat : 21374 (java) S 21357 21360 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29315423 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266106215056 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21375] ppid=21357 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/21360/task/21375/stat : 21375 (java) S 21357 21360 18126 0 -1 4202560 7354 0 0 0 110 1 0 0 20 0 22 0 29315423 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266105162168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21376] ppid=21357 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/21360/task/21376/stat : 21376 (java) S 21357 21360 18126 0 -1 4202560 8559 0 0 0 111 2 0 0 20 0 22 0 29315423 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266104109368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21360/tid=21377] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21377/stat : 21377 (java) S 21357 21360 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29315423 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266103056760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21378] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21378/stat : 21378 (java) S 21357 21360 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29315423 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266102004168 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21379] ppid=21357 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/21360/task/21379/stat : 21379 (java) R 21357 21360 18126 0 -1 4202560 18 0 0 0 91 0 0 0 20 0 22 0 29315470 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266100941344 140266603070567 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21380] ppid=21357 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/21360/task/21380/stat : 21380 (java) R 21357 21360 18126 0 -1 4202560 67 0 0 0 90 1 0 0 20 0 22 0 29315470 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266099896224 140266602979238 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21381] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21381/stat : 21381 (java) S 21357 21360 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29315471 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266098845096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21382] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21382/stat : 21382 (java) S 21357 21360 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29315471 10060525568 47411 33554432000 1073741824 1073778376 140734081374896 140266097792296 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 9824732
[startup+3.10089 s]
/proc/loadavg: 4.28 4.32 4.27 5/219 21382
/proc/meminfo: memFree=26360572/32872528 swapFree=1437460/1543748
[pid=21360] ppid=21357 vsize=9824732 CPUtime=8.15 cores=0,2,4,6
/proc/21360/stat : 21360 (java) S 21357 21360 18126 0 -1 4202496 20165 0 1 0 801 14 0 0 20 0 22 0 29315417 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140734081366032 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21360/statm: 2456183 90036 2292 9 0 2446860 0
[pid=21360/tid=21362] ppid=21357 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/21360/task/21362/stat : 21362 (java) S 21357 21360 18126 0 -1 4202560 2500 0 1 0 47 2 0 0 20 0 22 0 29315418 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266756260728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21363] ppid=21357 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21360/task/21363/stat : 21363 (java) R 21357 21360 18126 0 -1 4202560 31 0 0 0 4 1 0 0 20 0 22 0 29315419 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266728713256 140266758731449 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21360/tid=21364] ppid=21357 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/21360/task/21364/stat : 21364 (java) R 21357 21360 18126 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 29315419 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266727660632 140266763156488 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21365] ppid=21357 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/21360/task/21365/stat : 21365 (java) R 21357 21360 18126 0 -1 4202560 22 0 0 0 2 2 0 0 20 0 22 0 29315419 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266726607832 140266760435848 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21366] ppid=21357 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/21360/task/21366/stat : 21366 (java) R 21357 21360 18126 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 29315419 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266725554856 266439013436 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21367] ppid=21357 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21360/task/21367/stat : 21367 (java) R 21357 21360 18126 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 22 0 29315419 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266724502056 140266758731507 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21368] ppid=21357 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21360/task/21368/stat : 21368 (java) R 21357 21360 18126 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 22 0 29315419 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266723449432 140266758731507 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21369] ppid=21357 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21360/task/21369/stat : 21369 (java) R 21357 21360 18126 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 22 0 29315419 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266722396456 140266758731449 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21370] ppid=21357 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/21360/task/21370/stat : 21370 (java) R 21357 21360 18126 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 29315419 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266721343832 140266760422016 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21371] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21371/stat : 21371 (java) S 21357 21360 18126 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 29315421 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266109372296 266439013436 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21372] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21372/stat : 21372 (java) S 21357 21360 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29315421 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266108319480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21373] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21373/stat : 21373 (java) S 21357 21360 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29315421 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266107266568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21374] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21374/stat : 21374 (java) S 21357 21360 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29315423 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266106215056 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21375] ppid=21357 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/21360/task/21375/stat : 21375 (java) S 21357 21360 18126 0 -1 4202560 7354 0 0 0 112 1 0 0 20 0 22 0 29315423 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266105162168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21376] ppid=21357 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/21360/task/21376/stat : 21376 (java) S 21357 21360 18126 0 -1 4202560 8559 0 0 0 120 2 0 0 20 0 22 0 29315423 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266104109368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21377] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21377/stat : 21377 (java) S 21357 21360 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29315423 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266103056760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21378] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21378/stat : 21378 (java) S 21357 21360 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29315423 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266102004168 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21379] ppid=21357 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/21360/task/21379/stat : 21379 (java) S 21357 21360 18126 0 -1 4202560 21 0 0 0 243 0 0 0 20 0 22 0 29315470 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266100950360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21360/tid=21380] ppid=21357 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/21360/task/21380/stat : 21380 (java) S 21357 21360 18126 0 -1 4202560 125 0 0 0 240 3 0 0 20 0 22 0 29315470 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266099896456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21381] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21381/stat : 21381 (java) S 21357 21360 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29315471 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266098845096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21382] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21382/stat : 21382 (java) S 21357 21360 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29315471 10060525568 90036 33554432000 1073741824 1073778376 140734081374896 140266097792296 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.15
Current children cumulated vsize (KiB) 9824732
[startup+6.30098 s]
/proc/loadavg: 4.25 4.31 4.27 5/219 21382
/proc/meminfo: memFree=26011768/32872528 swapFree=1437460/1543748
[pid=21360] ppid=21357 vsize=9824732 CPUtime=14.78 cores=0,2,4,6
/proc/21360/stat : 21360 (java) S 21357 21360 18126 0 -1 4202496 21171 0 1 0 1454 24 0 0 20 0 22 0 29315417 10060525568 163094 33554432000 1073741824 1073778376 140734081374896 140734081366032 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21360/statm: 2456183 163094 2292 9 0 2446860 0
[pid=21360/tid=21362] ppid=21357 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/21360/task/21362/stat : 21362 (java) S 21357 21360 18126 0 -1 4202560 2500 0 1 0 47 2 0 0 20 0 22 0 29315418 10060525568 163094 33554432000 1073741824 1073778376 140734081374896 140266756260728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21363] ppid=21357 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/21360/task/21363/stat : 21363 (java) S 21357 21360 18126 0 -1 4202560 65 0 0 0 9 3 0 0 20 0 22 0 29315419 10060525568 163094 33554432000 1073741824 1073778376 140734081374896 140266728713256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21364] ppid=21357 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/21360/task/21364/stat : 21364 (java) S 21357 21360 18126 0 -1 4202560 36 0 0 0 7 1 0 0 20 0 22 0 29315419 10060525568 163094 33554432000 1073741824 1073778376 140734081374896 140266727660456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21365] ppid=21357 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/21360/task/21365/stat : 21365 (java) S 21357 21360 18126 0 -1 4202560 43 0 0 0 6 3 0 0 20 0 22 0 29315419 10060525568 163094 33554432000 1073741824 1073778376 140734081374896 140266726607656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21366] ppid=21357 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/21360/task/21366/stat : 21366 (java) S 21357 21360 18126 0 -1 4202560 48 0 0 0 6 1 0 0 20 0 22 0 29315419 10060525568 163094 33554432000 1073741824 1073778376 140734081374896 140266725554856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21367] ppid=21357 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/21360/task/21367/stat : 21367 (java) S 21357 21360 18126 0 -1 4202560 58 0 0 0 6 2 0 0 20 0 22 0 29315419 10060525568 163094 33554432000 1073741824 1073778376 140734081374896 140266724502056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21368] ppid=21357 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/21360/task/21368/stat : 21368 (java) S 21357 21360 18126 0 -1 4202560 38 0 0 0 7 0 0 0 20 0 22 0 29315419 10060525568 163094 33554432000 1073741824 1073778376 140734081374896 140266723449256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21369] ppid=21357 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/21360/task/21369/stat : 21369 (java) S 21357 21360 18126 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 22 0 29315419 10060525568 163094 33554432000 1073741824 1073778376 140734081374896 140266722396456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21370] ppid=21357 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/21360/task/21370/stat : 21370 (java) S 21357 21360 18126 0 -1 4202560 44 0 0 0 6 1 0 0 20 0 22 0 29315419 10060525568 163094 33554432000 1073741824 1073778376 140734081374896 140266721343656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21371] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21371/stat : 21371 (java) S 21357 21360 18126 0 -1 4202560 465 0 0 0 0 0 0 0 20 0 22 0 29315421 10060525568 163094 33554432000 1073741824 1073778376 140734081374896 140266109373416 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21372] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21372/stat : 21372 (java) S 21357 21360 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29315421 10060525568 163094 33554432000 1073741824 1073778376 140734081374896 140266108319480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21373] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21373/stat : 21373 (java) S 21357 21360 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29315421 10060525568 163094 33554432000 1073741824 1073778376 140734081374896 140266107266568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21374] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21374/stat : 21374 (java) S 21357 21360 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29315423 10060525568 163094 33554432000 1073741824 1073778376 140734081374896 140266106215056 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21375] ppid=21357 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.63 4.41 4.33 5/219 21473
/proc/meminfo: memFree=22974888/32872528 swapFree=1437460/1543748
[pid=21360] ppid=21357 vsize=9824732 CPUtime=1652.89 cores=0,2,4,6
/proc/21360/stat : 21360 (java) S 21357 21360 18126 0 -1 4202496 32698 0 1 0 165086 203 0 0 20 0 22 0 29315417 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140734081366032 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21360/statm: 2456183 934738 2301 9 0 2446860 0
[pid=21360/tid=21362] ppid=21357 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/21360/task/21362/stat : 21362 (java) S 21357 21360 18126 0 -1 4202560 2503 0 1 0 50 3 0 0 20 0 22 0 29315418 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266756260728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21363] ppid=21357 vsize=9824732 CPUtime=2.67 cores=0,2,4,6
/proc/21360/task/21363/stat : 21363 (java) S 21357 21360 18126 0 -1 4202560 751 0 0 0 250 17 0 0 20 0 22 0 29315419 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266728713256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21360/tid=21364] ppid=21357 vsize=9824732 CPUtime=2.72 cores=0,2,4,6
/proc/21360/task/21364/stat : 21364 (java) S 21357 21360 18126 0 -1 4202560 583 0 0 0 253 19 0 0 20 0 22 0 29315419 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266727660456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21360/tid=21365] ppid=21357 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/21360/task/21365/stat : 21365 (java) S 21357 21360 18126 0 -1 4202560 547 0 0 0 231 17 0 0 20 0 22 0 29315419 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266726607656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21360/tid=21366] ppid=21357 vsize=9824732 CPUtime=2.72 cores=0,2,4,6
/proc/21360/task/21366/stat : 21366 (java) S 21357 21360 18126 0 -1 4202560 620 0 0 0 252 20 0 0 20 0 22 0 29315419 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266725554856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21367] ppid=21357 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/21360/task/21367/stat : 21367 (java) S 21357 21360 18126 0 -1 4202560 543 0 0 0 253 17 0 0 20 0 22 0 29315419 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266724502056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21360/tid=21368] ppid=21357 vsize=9824732 CPUtime=2.67 cores=0,2,4,6
/proc/21360/task/21368/stat : 21368 (java) S 21357 21360 18126 0 -1 4202560 674 0 0 0 249 18 0 0 20 0 22 0 29315419 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266723449256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21360/tid=21369] ppid=21357 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/21360/task/21369/stat : 21369 (java) S 21357 21360 18126 0 -1 4202560 556 0 0 0 248 18 0 0 20 0 22 0 29315419 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266722396456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21360/tid=21370] ppid=21357 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/21360/task/21370/stat : 21370 (java) S 21357 21360 18126 0 -1 4202560 553 0 0 0 253 18 0 0 20 0 22 0 29315419 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266721343656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21371] ppid=21357 vsize=9824732 CPUtime=3.87 cores=0,2,4,6
/proc/21360/task/21371/stat : 21371 (java) S 21357 21360 18126 0 -1 4202560 2276 0 0 0 380 7 0 0 20 0 22 0 29315421 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266109373416 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21372] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21372/stat : 21372 (java) S 21357 21360 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29315421 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266108319480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21373] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21373/stat : 21373 (java) S 21357 21360 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29315421 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266107266568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21374] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21374/stat : 21374 (java) S 21357 21360 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29315423 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266106215056 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21375] ppid=21357 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/21360/task/21375/stat : 21375 (java) S 21357 21360 18126 0 -1 4202560 11146 0 0 0 169 2 0 0 20 0 22 0 29315423 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266105162168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21376] ppid=21357 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/21360/task/21376/stat : 21376 (java) S 21357 21360 18126 0 -1 4202560 8564 0 0 0 125 2 0 0 20 0 22 0 29315423 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266104109368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21377] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21377/stat : 21377 (java) S 21357 21360 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29315423 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266103056760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21378] ppid=21357 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/21360/task/21378/stat : 21378 (java) S 21357 21360 18126 0 -1 4202560 47 0 0 0 16 15 0 0 20 0 22 0 29315423 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266102004168 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21360/tid=21379] ppid=21357 vsize=9824732 CPUtime=812.03 cores=0,2,4,6
/proc/21360/task/21379/stat : 21379 (java) R 21357 21360 18126 0 -1 4202560 65 0 0 0 81188 15 0 0 20 0 22 0 29315470 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266100941424 140266603033715 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21380] ppid=21357 vsize=9824732 CPUtime=812 cores=0,2,4,6
/proc/21360/task/21380/stat : 21380 (java) R 21357 21360 18126 0 -1 4202560 2005 0 0 0 81152 48 0 0 20 0 22 0 29315470 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266099897376 140266603259907 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21381] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21381/stat : 21381 (java) S 21357 21360 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29315471 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266098845096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21382] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21382/stat : 21382 (java) S 21357 21360 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29315471 10060525568 934738 33554432000 1073741824 1073778376 140734081374896 140266097792296 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1652.89
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.28 4.35 4.31 6/219 21474
/proc/meminfo: memFree=22959200/32872528 swapFree=1437460/1543748
[pid=21360] ppid=21357 vsize=9824732 CPUtime=1773.69 cores=0,2,4,6
/proc/21360/stat : 21360 (java) S 21357 21360 18126 0 -1 4202496 32753 0 1 0 177163 206 0 0 20 0 22 0 29315417 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140734081366032 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21360/statm: 2456183 940374 2301 9 0 2446860 0
[pid=21360/tid=21362] ppid=21357 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/21360/task/21362/stat : 21362 (java) S 21357 21360 18126 0 -1 4202560 2503 0 1 0 50 3 0 0 20 0 22 0 29315418 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266756260728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21363] ppid=21357 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/21360/task/21363/stat : 21363 (java) S 21357 21360 18126 0 -1 4202560 753 0 0 0 272 17 0 0 20 0 22 0 29315419 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266728713256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21364] ppid=21357 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/21360/task/21364/stat : 21364 (java) S 21357 21360 18126 0 -1 4202560 589 0 0 0 276 19 0 0 20 0 22 0 29315419 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266727660456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21365] ppid=21357 vsize=9824732 CPUtime=2.69 cores=0,2,4,6
/proc/21360/task/21365/stat : 21365 (java) S 21357 21360 18126 0 -1 4202560 549 0 0 0 252 17 0 0 20 0 22 0 29315419 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266726607656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21366] ppid=21357 vsize=9824732 CPUtime=2.9 cores=0,2,4,6
/proc/21360/task/21366/stat : 21366 (java) S 21357 21360 18126 0 -1 4202560 622 0 0 0 270 20 0 0 20 0 22 0 29315419 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266725554856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21367] ppid=21357 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/21360/task/21367/stat : 21367 (java) S 21357 21360 18126 0 -1 4202560 550 0 0 0 273 18 0 0 20 0 22 0 29315419 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266724502056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21368] ppid=21357 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/21360/task/21368/stat : 21368 (java) S 21357 21360 18126 0 -1 4202560 678 0 0 0 273 18 0 0 20 0 22 0 29315419 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266723449256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21369] ppid=21357 vsize=9824732 CPUtime=2.79 cores=0,2,4,6
/proc/21360/task/21369/stat : 21369 (java) S 21357 21360 18126 0 -1 4202560 557 0 0 0 261 18 0 0 20 0 22 0 29315419 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266722396456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21370] ppid=21357 vsize=9824732 CPUtime=2.96 cores=0,2,4,6
/proc/21360/task/21370/stat : 21370 (java) S 21357 21360 18126 0 -1 4202560 558 0 0 0 278 18 0 0 20 0 22 0 29315419 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266721343656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21371] ppid=21357 vsize=9824732 CPUtime=3.88 cores=0,2,4,6
/proc/21360/task/21371/stat : 21371 (java) S 21357 21360 18126 0 -1 4202560 2291 0 0 0 380 8 0 0 20 0 22 0 29315421 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266109373416 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21360/tid=21372] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21372/stat : 21372 (java) S 21357 21360 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29315421 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266108319480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21373] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21373/stat : 21373 (java) S 21357 21360 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29315421 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266107266568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21374] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21374/stat : 21374 (java) S 21357 21360 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29315423 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266106215056 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21375] ppid=21357 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/21360/task/21375/stat : 21375 (java) S 21357 21360 18126 0 -1 4202560 11146 0 0 0 169 2 0 0 20 0 22 0 29315423 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266105162168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21376] ppid=21357 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/21360/task/21376/stat : 21376 (java) S 21357 21360 18126 0 -1 4202560 8564 0 0 0 125 2 0 0 20 0 22 0 29315423 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266104109368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21377] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21377/stat : 21377 (java) S 21357 21360 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29315423 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266103056760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21378] ppid=21357 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/21360/task/21378/stat : 21378 (java) S 21357 21360 18126 0 -1 4202560 51 0 0 0 18 17 0 0 20 0 22 0 29315423 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266102004168 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21379] ppid=21357 vsize=9824732 CPUtime=871.61 cores=0,2,4,6
/proc/21360/task/21379/stat : 21379 (java) R 21357 21360 18126 0 -1 4202560 65 0 0 0 87145 16 0 0 20 0 22 0 29315470 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266100949104 140266603070609 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21360/tid=21380] ppid=21357 vsize=9824732 CPUtime=871.56 cores=0,2,4,6
/proc/21360/task/21380/stat : 21380 (java) R 21357 21360 18126 0 -1 4202560 2012 0 0 0 87106 50 0 0 20 0 22 0 29315470 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266099897296 140266603180688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21381] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21381/stat : 21381 (java) S 21357 21360 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29315471 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266098845096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21382] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21382/stat : 21382 (java) S 21357 21360 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29315471 10060525568 940374 33554432000 1073741824 1073778376 140734081374896 140266097792296 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1773.69
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.401 s]
/proc/loadavg: 4.29 4.35 4.31 6/219 21474
/proc/meminfo: memFree=22946292/32872528 swapFree=1437460/1543748
[pid=21360] ppid=21357 vsize=9824732 CPUtime=1800.03 cores=0,2,4,6
/proc/21360/stat : 21360 (java) S 21357 21360 18126 0 -1 4202496 32760 0 1 0 179797 206 0 0 20 0 22 0 29315417 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140734081366032 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21360/statm: 2456183 941396 2301 9 0 2446860 0
[pid=21360/tid=21362] ppid=21357 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/21360/task/21362/stat : 21362 (java) S 21357 21360 18126 0 -1 4202560 2503 0 1 0 50 3 0 0 20 0 22 0 29315418 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266756260728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21360/tid=21363] ppid=21357 vsize=9824732 CPUtime=2.96 cores=0,2,4,6
/proc/21360/task/21363/stat : 21363 (java) S 21357 21360 18126 0 -1 4202560 755 0 0 0 279 17 0 0 20 0 22 0 29315419 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266728713256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21364] ppid=21357 vsize=9824732 CPUtime=2.97 cores=0,2,4,6
/proc/21360/task/21364/stat : 21364 (java) S 21357 21360 18126 0 -1 4202560 590 0 0 0 278 19 0 0 20 0 22 0 29315419 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266727660456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21365] ppid=21357 vsize=9824732 CPUtime=2.76 cores=0,2,4,6
/proc/21360/task/21365/stat : 21365 (java) S 21357 21360 18126 0 -1 4202560 549 0 0 0 259 17 0 0 20 0 22 0 29315419 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266726607656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21366] ppid=21357 vsize=9824732 CPUtime=2.97 cores=0,2,4,6
/proc/21360/task/21366/stat : 21366 (java) S 21357 21360 18126 0 -1 4202560 624 0 0 0 277 20 0 0 20 0 22 0 29315419 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266725554856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21367] ppid=21357 vsize=9824732 CPUtime=2.93 cores=0,2,4,6
/proc/21360/task/21367/stat : 21367 (java) S 21357 21360 18126 0 -1 4202560 550 0 0 0 275 18 0 0 20 0 22 0 29315419 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266724502056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21368] ppid=21357 vsize=9824732 CPUtime=2.93 cores=0,2,4,6
/proc/21360/task/21368/stat : 21368 (java) S 21357 21360 18126 0 -1 4202560 679 0 0 0 275 18 0 0 20 0 22 0 29315419 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266723449256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21360/tid=21369] ppid=21357 vsize=9824732 CPUtime=2.8 cores=0,2,4,6
/proc/21360/task/21369/stat : 21369 (java) S 21357 21360 18126 0 -1 4202560 557 0 0 0 262 18 0 0 20 0 22 0 29315419 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266722396456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21370] ppid=21357 vsize=9824732 CPUtime=2.97 cores=0,2,4,6
/proc/21360/task/21370/stat : 21370 (java) S 21357 21360 18126 0 -1 4202560 558 0 0 0 279 18 0 0 20 0 22 0 29315419 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266721343656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21371] ppid=21357 vsize=9824732 CPUtime=3.88 cores=0,2,4,6
/proc/21360/task/21371/stat : 21371 (java) S 21357 21360 18126 0 -1 4202560 2291 0 0 0 380 8 0 0 20 0 22 0 29315421 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266109373416 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21360/tid=21372] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21372/stat : 21372 (java) S 21357 21360 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29315421 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266108319480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21373] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21373/stat : 21373 (java) S 21357 21360 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29315421 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266107266568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21374] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21374/stat : 21374 (java) S 21357 21360 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29315423 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266106215056 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21375] ppid=21357 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/21360/task/21375/stat : 21375 (java) S 21357 21360 18126 0 -1 4202560 11146 0 0 0 169 2 0 0 20 0 22 0 29315423 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266105162168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21360/tid=21376] ppid=21357 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/21360/task/21376/stat : 21376 (java) S 21357 21360 18126 0 -1 4202560 8564 0 0 0 125 2 0 0 20 0 22 0 29315423 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266104109368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21377] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21377/stat : 21377 (java) S 21357 21360 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29315423 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266103056760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21378] ppid=21357 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/21360/task/21378/stat : 21378 (java) S 21357 21360 18126 0 -1 4202560 51 0 0 0 18 17 0 0 20 0 22 0 29315423 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266102004168 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21379] ppid=21357 vsize=9824732 CPUtime=884.63 cores=0,2,4,6
/proc/21360/task/21379/stat : 21379 (java) R 21357 21360 18126 0 -1 4202560 65 0 0 0 88447 16 0 0 20 0 22 0 29315470 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266100949088 140266603033715 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21360/tid=21380] ppid=21357 vsize=9824732 CPUtime=884.58 cores=0,2,4,6
/proc/21360/task/21380/stat : 21380 (java) R 21357 21360 18126 0 -1 4202560 2013 0 0 0 88408 50 0 0 20 0 22 0 29315470 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266099897376 140266603259968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21360/tid=21381] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21381/stat : 21381 (java) S 21357 21360 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29315471 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266098845096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21360/tid=21382] ppid=21357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21360/task/21382/stat : 21382 (java) S 21357 21360 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29315471 10060525568 941396 33554432000 1073741824 1073778376 140734081374896 140266097792296 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 21360 sig 9
??? kill -21360 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 895.478
CPU time (s): 1800.67
CPU user time (s): 1798.07
CPU system time (s): 2.6036
CPU usage (%): 201.085
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.07
system time used= 2.6036
maximum resident set size= 3765700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32793
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24288
involuntary context switches= 30612
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87011 second user time and 7.44787 second system time
The end