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-4116446-1466952188/watcher-4116446-1466952188 -o /tmp/evaluation-result-4116446-1466952188/solver-4116446-1466952188 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18143 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116446-1466952188.opb
pid=19449
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.38 4.35 4.27 4/197 19452
/proc/meminfo: memFree=27175312/32872528 swapFree=1437460/1543748
[pid=19452] ppid=19449 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/19452/stat : 19452 (java) D 19449 19452 18126 0 -1 4202496 522 0 0 0 0 0 0 0 20 0 1 0 28258102 9515008 175 33554432000 1073741824 1073778376 140734700918784 140734700901512 266435642256 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/19452/statm: 2323 175 133 9 0 71 0
[startup+0.100112 s]
/proc/loadavg: 4.38 4.35 4.27 4/197 19452
/proc/meminfo: memFree=27175312/32872528 swapFree=1437460/1543748
[pid=19452] ppid=19449 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/19452/stat : 19452 (java) S 19449 19452 18126 0 -1 4202496 4412 0 1 0 8 1 0 0 20 0 18 0 28258102 9787879424 6039 33554432000 1073741824 1073778376 140734700918784 140734700909920 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19452/statm: 2389619 6039 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: 4.38 4.35 4.27 4/197 19452
/proc/meminfo: memFree=27175312/32872528 swapFree=1437460/1543748
[pid=19452] ppid=19449 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/19452/stat : 19452 (java) S 19449 19452 18126 0 -1 4202496 4696 0 1 0 23 1 0 0 20 0 18 0 28258102 9787879424 6786 33554432000 1073741824 1073778376 140734700918784 140734700909920 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19452/statm: 2389619 6786 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300224 s]
/proc/loadavg: 4.38 4.35 4.27 4/197 19452
/proc/meminfo: memFree=27175312/32872528 swapFree=1437460/1543748
[pid=19452] ppid=19449 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/19452/stat : 19452 (java) S 19449 19452 18126 0 -1 4202496 5860 0 1 0 46 1 0 0 20 0 18 0 28258102 9787879424 8835 33554432000 1073741824 1073778376 140734700918784 140734700909920 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19452/statm: 2389619 8835 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700198 s]
/proc/loadavg: 4.38 4.35 4.27 4/197 19452
/proc/meminfo: memFree=27175312/32872528 swapFree=1437460/1543748
[pid=19452] ppid=19449 vsize=9824732 CPUtime=1.83 cores=1,3,5,7
/proc/19452/stat : 19452 (java) S 19449 19452 18126 0 -1 4202496 15953 0 1 0 179 4 0 0 20 0 22 0 28258102 10060525568 24426 33554432000 1073741824 1073778376 140734700918784 140734700909920 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19452/statm: 2456183 24426 2265 9 0 2446860 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 9824732
[startup+1.50092 s]
/proc/loadavg: 4.43 4.36 4.27 7/219 19474
/proc/meminfo: memFree=27045052/32872528 swapFree=1437460/1543748
[pid=19452] ppid=19449 vsize=9824732 CPUtime=4.82 cores=1,3,5,7
/proc/19452/stat : 19452 (java) S 19449 19452 18126 0 -1 4202496 20856 0 1 0 475 7 0 0 20 0 22 0 28258102 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140734700909920 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19452/statm: 2456183 47316 2292 9 0 2446860 0
[pid=19452/tid=19454] ppid=19449 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/19452/task/19454/stat : 19454 (java) S 19449 19452 18126 0 -1 4202560 2430 0 1 0 44 2 0 0 20 0 22 0 28258103 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384216671096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19455] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19455/stat : 19455 (java) S 19449 19452 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28258104 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384178162216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19456] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19456/stat : 19456 (java) S 19449 19452 18126 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28258104 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384177109416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19457] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19457/stat : 19457 (java) S 19449 19452 18126 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28258104 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384176056616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19458] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19458/stat : 19458 (java) S 19449 19452 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28258104 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384175003816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19459] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19459/stat : 19459 (java) S 19449 19452 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28258104 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384173952040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19460] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19460/stat : 19460 (java) S 19449 19452 18126 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 28258104 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384172899240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19461] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19461/stat : 19461 (java) S 19449 19452 18126 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 28258104 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384171846440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19462] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19462/stat : 19462 (java) S 19449 19452 18126 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 28258104 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384170793640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19463] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19463/stat : 19463 (java) S 19449 19452 18126 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 28258105 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384040634856 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19464] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19464/stat : 19464 (java) S 19449 19452 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28258105 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384039580920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19465] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19465/stat : 19465 (java) S 19449 19452 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28258105 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384038528008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19466] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19466/stat : 19466 (java) S 19449 19452 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28258108 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384037476496 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19467] ppid=19449 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/19452/task/19467/stat : 19467 (java) R 19449 19452 18126 0 -1 4202560 10008 0 0 0 112 2 0 0 20 0 22 0 28258108 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384036411808 140384222631126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19468] ppid=19449 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/19452/task/19468/stat : 19468 (java) S 19449 19452 18126 0 -1 4202560 6941 0 0 0 116 0 0 0 20 0 22 0 28258108 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384035371832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19469] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19469/stat : 19469 (java) S 19449 19452 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28258108 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384034319224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19470] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19470/stat : 19470 (java) S 19449 19452 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28258108 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384033266632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19471] ppid=19449 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/19452/task/19471/stat : 19471 (java) R 19449 19452 18126 0 -1 4202560 18 0 0 0 97 0 0 0 20 0 22 0 28258151 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384031845384 140384043481045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19472] ppid=19449 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/19452/task/19472/stat : 19472 (java) R 19449 19452 18126 0 -1 4202560 75 0 0 0 95 2 0 0 20 0 22 0 28258151 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384030794408 140384043693916 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19473] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19473/stat : 19473 (java) S 19449 19452 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28258152 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384029741992 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19474] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19474/stat : 19474 (java) S 19449 19452 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28258152 10060525568 47316 33554432000 1073741824 1073778376 140734700918784 140384028689192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.82
Current children cumulated vsize (KiB) 9824732
[startup+3.10096 s]
/proc/loadavg: 4.43 4.36 4.27 5/219 19474
/proc/meminfo: memFree=26916528/32872528 swapFree=1437460/1543748
[pid=19452] ppid=19449 vsize=9824732 CPUtime=8.59 cores=1,3,5,7
/proc/19452/stat : 19452 (java) S 19449 19452 18126 0 -1 4202496 23319 0 1 0 845 14 0 0 20 0 22 0 28258102 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140734700909920 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19452/statm: 2456183 91172 2292 9 0 2446860 0
[pid=19452/tid=19454] ppid=19449 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/19452/task/19454/stat : 19454 (java) S 19449 19452 18126 0 -1 4202560 2430 0 1 0 44 2 0 0 20 0 22 0 28258103 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384216671096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19455] ppid=19449 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19452/task/19455/stat : 19455 (java) S 19449 19452 18126 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 28258104 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384178162216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19456] ppid=19449 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19452/task/19456/stat : 19456 (java) S 19449 19452 18126 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 28258104 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384177109416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19457] ppid=19449 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19452/task/19457/stat : 19457 (java) S 19449 19452 18126 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 28258104 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384176056616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19458] ppid=19449 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19452/task/19458/stat : 19458 (java) S 19449 19452 18126 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 28258104 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384175003816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19459] ppid=19449 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19452/task/19459/stat : 19459 (java) S 19449 19452 18126 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 28258104 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384173952040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19460] ppid=19449 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19452/task/19460/stat : 19460 (java) S 19449 19452 18126 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 22 0 28258104 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384172899240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19461] ppid=19449 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19452/task/19461/stat : 19461 (java) S 19449 19452 18126 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 28258104 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384171846440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19462] ppid=19449 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19452/task/19462/stat : 19462 (java) S 19449 19452 18126 0 -1 4202560 29 0 0 0 3 1 0 0 20 0 22 0 28258104 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384170793640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19463] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19463/stat : 19463 (java) S 19449 19452 18126 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 28258105 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384040634856 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19464] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19464/stat : 19464 (java) S 19449 19452 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28258105 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384039580920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19465] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19465/stat : 19465 (java) S 19449 19452 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28258105 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384038528008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19466] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19466/stat : 19466 (java) S 19449 19452 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28258108 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384037476496 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19467] ppid=19449 vsize=9824732 CPUtime=1.52 cores=1,3,5,7
/proc/19452/task/19467/stat : 19467 (java) S 19449 19452 18126 0 -1 4202560 12189 0 0 0 149 3 0 0 20 0 22 0 28258108 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384036424632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19468] ppid=19449 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/19452/task/19468/stat : 19468 (java) S 19449 19452 18126 0 -1 4202560 6941 0 0 0 127 0 0 0 20 0 22 0 28258108 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384035371832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19469] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19469/stat : 19469 (java) S 19449 19452 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28258108 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384034319224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19470] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19470/stat : 19470 (java) S 19449 19452 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28258108 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384033266632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19471] ppid=19449 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/19452/task/19471/stat : 19471 (java) R 19449 19452 18126 0 -1 4202560 20 0 0 0 250 0 0 0 20 0 22 0 28258151 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384031847328 140384043480827 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19472] ppid=19449 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/19452/task/19472/stat : 19472 (java) R 19449 19452 18126 0 -1 4202560 135 0 0 0 246 4 0 0 20 0 22 0 28258151 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384030793224 140384043569331 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19473] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19473/stat : 19473 (java) S 19449 19452 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28258152 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384029741992 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19474] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19474/stat : 19474 (java) S 19449 19452 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28258152 10060525568 91172 33554432000 1073741824 1073778376 140734700918784 140384028689192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.59
Current children cumulated vsize (KiB) 9824732
[startup+6.30097 s]
/proc/loadavg: 4.48 4.37 4.28 5/219 19474
/proc/meminfo: memFree=26559940/32872528 swapFree=1437460/1543748
[pid=19452] ppid=19449 vsize=9824732 CPUtime=15.14 cores=1,3,5,7
/proc/19452/stat : 19452 (java) S 19449 19452 18126 0 -1 4202496 24065 0 1 0 1491 23 0 0 20 0 22 0 28258102 10060525568 161451 33554432000 1073741824 1073778376 140734700918784 140734700909920 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19452/statm: 2456183 161451 2292 9 0 2446860 0
[pid=19452/tid=19454] ppid=19449 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/19452/task/19454/stat : 19454 (java) S 19449 19452 18126 0 -1 4202560 2430 0 1 0 44 2 0 0 20 0 22 0 28258103 10060525568 161451 33554432000 1073741824 1073778376 140734700918784 140384216671096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19455] ppid=19449 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/19452/task/19455/stat : 19455 (java) S 19449 19452 18126 0 -1 4202560 30 0 0 0 5 0 0 0 20 0 22 0 28258104 10060525568 161451 33554432000 1073741824 1073778376 140734700918784 140384178162216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19456] ppid=19449 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/19452/task/19456/stat : 19456 (java) S 19449 19452 18126 0 -1 4202560 114 0 0 0 6 1 0 0 20 0 22 0 28258104 10060525568 161451 33554432000 1073741824 1073778376 140734700918784 140384177109416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19457] ppid=19449 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19452/task/19457/stat : 19457 (java) S 19449 19452 18126 0 -1 4202560 29 0 0 0 2 1 0 0 20 0 22 0 28258104 10060525568 161451 33554432000 1073741824 1073778376 140734700918784 140384176056616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19458] ppid=19449 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/19452/task/19458/stat : 19458 (java) S 19449 19452 18126 0 -1 4202560 110 0 0 0 4 2 0 0 20 0 22 0 28258104 10060525568 161451 33554432000 1073741824 1073778376 140734700918784 140384175003816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19459] ppid=19449 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19452/task/19459/stat : 19459 (java) S 19449 19452 18126 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 28258104 10060525568 161451 33554432000 1073741824 1073778376 140734700918784 140384173952040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19460] ppid=19449 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19452/task/19460/stat : 19460 (java) S 19449 19452 18126 0 -1 4202560 29 0 0 0 2 2 0 0 20 0 22 0 28258104 10060525568 161451 33554432000 1073741824 1073778376 140734700918784 140384172899240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19461] ppid=19449 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/19452/task/19461/stat : 19461 (java) S 19449 19452 18126 0 -1 4202560 54 0 0 0 6 2 0 0 20 0 22 0 28258104 10060525568 161451 33554432000 1073741824 1073778376 140734700918784 140384171846440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19462] ppid=19449 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/19452/task/19462/stat : 19462 (java) S 19449 19452 18126 0 -1 4202560 118 0 0 0 7 3 0 0 20 0 22 0 28258104 10060525568 161451 33554432000 1073741824 1073778376 140734700918784 140384170793640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19463] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19463/stat : 19463 (java) S 19449 19452 18126 0 -1 4202560 464 0 0 0 0 0 0 0 20 0 22 0 28258105 10060525568 161451 33554432000 1073741824 1073778376 140734700918784 140384040634856 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19464] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19464/stat : 19464 (java) S 19449 19452 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28258105 10060525568 161451 33554432000 1073741824 1073778376 140734700918784 140384039580920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19465] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19465/stat : 19465 (java) S 19449 19452 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28258105 10060525568 161451 33554432000 1073741824 1073778376 140734700918784 140384038528008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19466] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19466/stat : 19466 (java) S 19449 19452 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28258108 10060525568 161451 33554432000 1073741824 1073778376 140734700918784 140384037476496 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19467] ppid=19449 vsize=9824732 CPUtime=1.53 cores=1,3,5,7
################
# More data... #
################
[startup+882.308 s]
/proc/loadavg: 4.19 4.18 4.22 5/219 19563
/proc/meminfo: memFree=23293216/32872528 swapFree=1437460/1543748
[pid=19452] ppid=19449 vsize=9824732 CPUtime=1773.99 cores=1,3,5,7
/proc/19452/stat : 19452 (java) S 19449 19452 18126 0 -1 4202496 42381 0 1 0 177165 234 0 0 20 0 22 0 28258102 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140734700909920 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19452/statm: 2456183 975386 2301 9 0 2446860 0
[pid=19452/tid=19454] ppid=19449 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/19452/task/19454/stat : 19454 (java) S 19449 19452 18126 0 -1 4202560 2438 0 1 0 46 4 0 0 20 0 22 0 28258103 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384216671096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19455] ppid=19449 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/19452/task/19455/stat : 19455 (java) S 19449 19452 18126 0 -1 4202560 1126 0 0 0 252 21 0 0 20 0 22 0 28258104 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384178162216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19456] ppid=19449 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/19452/task/19456/stat : 19456 (java) S 19449 19452 18126 0 -1 4202560 1832 0 0 0 246 16 0 0 20 0 22 0 28258104 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384177109416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19457] ppid=19449 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/19452/task/19457/stat : 19457 (java) S 19449 19452 18126 0 -1 4202560 1619 0 0 0 243 22 0 0 20 0 22 0 28258104 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384176056616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19458] ppid=19449 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/19452/task/19458/stat : 19458 (java) S 19449 19452 18126 0 -1 4202560 2074 0 0 0 248 20 0 0 20 0 22 0 28258104 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384175003816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19459] ppid=19449 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/19452/task/19459/stat : 19459 (java) S 19449 19452 18126 0 -1 4202560 747 0 0 0 242 16 0 0 20 0 22 0 28258104 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384173952040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19460] ppid=19449 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/19452/task/19460/stat : 19460 (java) S 19449 19452 18126 0 -1 4202560 1617 0 0 0 239 19 0 0 20 0 22 0 28258104 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384172899240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19461] ppid=19449 vsize=9824732 CPUtime=2.63 cores=1,3,5,7
/proc/19452/task/19461/stat : 19461 (java) S 19449 19452 18126 0 -1 4202560 1484 0 0 0 244 19 0 0 20 0 22 0 28258104 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384171846440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19462] ppid=19449 vsize=9824732 CPUtime=2.85 cores=1,3,5,7
/proc/19452/task/19462/stat : 19462 (java) S 19449 19452 18126 0 -1 4202560 2151 0 0 0 261 24 0 0 20 0 22 0 28258104 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384170793640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19463] ppid=19449 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/19452/task/19463/stat : 19463 (java) S 19449 19452 18126 0 -1 4202560 2389 0 0 0 325 10 0 0 20 0 22 0 28258105 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384040634856 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19464] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19464/stat : 19464 (java) S 19449 19452 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28258105 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384039580920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19465] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19465/stat : 19465 (java) S 19449 19452 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28258105 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384038528008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19466] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19466/stat : 19466 (java) S 19449 19452 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28258108 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384037476496 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19467] ppid=19449 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/19452/task/19467/stat : 19467 (java) S 19449 19452 18126 0 -1 4202560 12194 0 0 0 159 3 0 0 20 0 22 0 28258108 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384036424632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19468] ppid=19449 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/19452/task/19468/stat : 19468 (java) S 19449 19452 18126 0 -1 4202560 9313 0 0 0 173 1 0 0 20 0 22 0 28258108 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384035371832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19469] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19469/stat : 19469 (java) S 19449 19452 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28258108 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384034319224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19470] ppid=19449 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/19452/task/19470/stat : 19470 (java) S 19449 19452 18126 0 -1 4202560 51 0 0 0 11 24 0 0 20 0 22 0 28258108 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384033266632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19471] ppid=19449 vsize=9824732 CPUtime=872.65 cores=1,3,5,7
/proc/19452/task/19471/stat : 19471 (java) R 19449 19452 18126 0 -1 4202560 56 0 0 0 87249 16 0 0 20 0 22 0 28258151 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384031846000 140384043481096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19472] ppid=19449 vsize=9824732 CPUtime=872.64 cores=1,3,5,7
/proc/19452/task/19472/stat : 19472 (java) R 19449 19452 18126 0 -1 4202560 2025 0 0 0 87210 54 0 0 20 0 22 0 28258151 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384030794064 140384043247860 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19473] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19473/stat : 19473 (java) S 19449 19452 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28258152 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384029741992 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19474] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19474/stat : 19474 (java) S 19449 19452 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28258152 10060525568 975386 33554432000 1073741824 1073778376 140734700918784 140384028689192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1773.99
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.301 s]
/proc/loadavg: 4.16 4.17 4.22 5/219 19563
/proc/meminfo: memFree=23270568/32872528 swapFree=1437460/1543748
[pid=19452] ppid=19449 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7
/proc/19452/stat : 19452 (java) S 19449 19452 18126 0 -1 4202496 42400 0 1 0 179775 234 0 0 20 0 22 0 28258102 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140734700909920 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19452/statm: 2456183 977946 2301 9 0 2446860 0
[pid=19452/tid=19454] ppid=19449 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/19452/task/19454/stat : 19454 (java) S 19449 19452 18126 0 -1 4202560 2438 0 1 0 46 4 0 0 20 0 22 0 28258103 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384216671096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19455] ppid=19449 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/19452/task/19455/stat : 19455 (java) S 19449 19452 18126 0 -1 4202560 1130 0 0 0 258 21 0 0 20 0 22 0 28258104 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384178162216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19456] ppid=19449 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/19452/task/19456/stat : 19456 (java) S 19449 19452 18126 0 -1 4202560 1834 0 0 0 249 16 0 0 20 0 22 0 28258104 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384177109416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19457] ppid=19449 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/19452/task/19457/stat : 19457 (java) S 19449 19452 18126 0 -1 4202560 1620 0 0 0 245 22 0 0 20 0 22 0 28258104 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384176056616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19458] ppid=19449 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/19452/task/19458/stat : 19458 (java) S 19449 19452 18126 0 -1 4202560 2075 0 0 0 251 20 0 0 20 0 22 0 28258104 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384175003816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19459] ppid=19449 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/19452/task/19459/stat : 19459 (java) S 19449 19452 18126 0 -1 4202560 750 0 0 0 245 17 0 0 20 0 22 0 28258104 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384173952040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19460] ppid=19449 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/19452/task/19460/stat : 19460 (java) S 19449 19452 18126 0 -1 4202560 1619 0 0 0 242 19 0 0 20 0 22 0 28258104 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384172899240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19461] ppid=19449 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/19452/task/19461/stat : 19461 (java) S 19449 19452 18126 0 -1 4202560 1485 0 0 0 247 20 0 0 20 0 22 0 28258104 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384171846440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19462] ppid=19449 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/19452/task/19462/stat : 19462 (java) S 19449 19452 18126 0 -1 4202560 2153 0 0 0 264 24 0 0 20 0 22 0 28258104 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384170793640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19463] ppid=19449 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/19452/task/19463/stat : 19463 (java) S 19449 19452 18126 0 -1 4202560 2390 0 0 0 325 10 0 0 20 0 22 0 28258105 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384040634856 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19464] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19464/stat : 19464 (java) S 19449 19452 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28258105 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384039580920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19465] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19465/stat : 19465 (java) S 19449 19452 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28258105 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384038528008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19466] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19466/stat : 19466 (java) S 19449 19452 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28258108 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384037476496 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19467] ppid=19449 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/19452/task/19467/stat : 19467 (java) S 19449 19452 18126 0 -1 4202560 12194 0 0 0 159 3 0 0 20 0 22 0 28258108 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384036424632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19468] ppid=19449 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/19452/task/19468/stat : 19468 (java) S 19449 19452 18126 0 -1 4202560 9313 0 0 0 173 1 0 0 20 0 22 0 28258108 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384035371832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19469] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19469/stat : 19469 (java) S 19449 19452 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28258108 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384034319224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19470] ppid=19449 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/19452/task/19470/stat : 19470 (java) S 19449 19452 18126 0 -1 4202560 51 0 0 0 11 24 0 0 20 0 22 0 28258108 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384033266632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19471] ppid=19449 vsize=9824732 CPUtime=885.57 cores=1,3,5,7
/proc/19452/task/19471/stat : 19471 (java) R 19449 19452 18126 0 -1 4202560 56 0 0 0 88541 16 0 0 20 0 22 0 28258151 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384031846000 140384043551476 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19472] ppid=19449 vsize=9824732 CPUtime=885.56 cores=1,3,5,7
/proc/19452/task/19472/stat : 19472 (java) R 19449 19452 18126 0 -1 4202560 2027 0 0 0 88502 54 0 0 20 0 22 0 28258151 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384030794064 140384043583787 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19473] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19473/stat : 19473 (java) S 19449 19452 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28258152 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384029741992 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19474] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19474/stat : 19474 (java) S 19449 19452 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28258152 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384028689192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 19452 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+895.301 s]
/proc/loadavg: 4.16 4.17 4.22 5/219 19563
/proc/meminfo: memFree=23270568/32872528 swapFree=1437460/1543748
[pid=19452] ppid=19449 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7
/proc/19452/stat : 19452 (java) S 19449 19452 18126 0 -1 4202496 42400 0 1 0 179775 234 0 0 20 0 22 0 28258102 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140734700909920 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19452/statm: 2456183 977946 2301 9 0 2446860 0
[pid=19452/tid=19454] ppid=19449 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/19452/task/19454/stat : 19454 (java) S 19449 19452 18126 0 -1 4202560 2438 0 1 0 46 4 0 0 20 0 22 0 28258103 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384216671096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19455] ppid=19449 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/19452/task/19455/stat : 19455 (java) S 19449 19452 18126 0 -1 4202560 1130 0 0 0 258 21 0 0 20 0 22 0 28258104 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384178162216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19456] ppid=19449 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/19452/task/19456/stat : 19456 (java) S 19449 19452 18126 0 -1 4202560 1834 0 0 0 249 16 0 0 20 0 22 0 28258104 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384177109416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19457] ppid=19449 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/19452/task/19457/stat : 19457 (java) S 19449 19452 18126 0 -1 4202560 1620 0 0 0 245 22 0 0 20 0 22 0 28258104 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384176056616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19458] ppid=19449 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/19452/task/19458/stat : 19458 (java) S 19449 19452 18126 0 -1 4202560 2075 0 0 0 251 20 0 0 20 0 22 0 28258104 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384175003816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19459] ppid=19449 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/19452/task/19459/stat : 19459 (java) S 19449 19452 18126 0 -1 4202560 750 0 0 0 245 17 0 0 20 0 22 0 28258104 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384173952040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19460] ppid=19449 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/19452/task/19460/stat : 19460 (java) S 19449 19452 18126 0 -1 4202560 1619 0 0 0 242 19 0 0 20 0 22 0 28258104 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384172899240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19461] ppid=19449 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/19452/task/19461/stat : 19461 (java) S 19449 19452 18126 0 -1 4202560 1485 0 0 0 247 20 0 0 20 0 22 0 28258104 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384171846440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19462] ppid=19449 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/19452/task/19462/stat : 19462 (java) S 19449 19452 18126 0 -1 4202560 2153 0 0 0 264 24 0 0 20 0 22 0 28258104 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384170793640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19463] ppid=19449 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/19452/task/19463/stat : 19463 (java) S 19449 19452 18126 0 -1 4202560 2390 0 0 0 325 10 0 0 20 0 22 0 28258105 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384040634856 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19464] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19464/stat : 19464 (java) S 19449 19452 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28258105 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384039580920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19465] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19465/stat : 19465 (java) S 19449 19452 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28258105 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384038528008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19466] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19466/stat : 19466 (java) S 19449 19452 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28258108 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384037476496 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19452/tid=19467] ppid=19449 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/19452/task/19467/stat : 19467 (java) S 19449 19452 18126 0 -1 4202560 12194 0 0 0 159 3 0 0 20 0 22 0 28258108 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384036424632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19468] ppid=19449 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/19452/task/19468/stat : 19468 (java) S 19449 19452 18126 0 -1 4202560 9313 0 0 0 173 1 0 0 20 0 22 0 28258108 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384035371832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19469] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19469/stat : 19469 (java) S 19449 19452 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28258108 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384034319224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19452/tid=19470] ppid=19449 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/19452/task/19470/stat : 19470 (java) S 19449 19452 18126 0 -1 4202560 51 0 0 0 11 24 0 0 20 0 22 0 28258108 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384033266632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19471] ppid=19449 vsize=9824732 CPUtime=885.57 cores=1,3,5,7
/proc/19452/task/19471/stat : 19471 (java) R 19449 19452 18126 0 -1 4202560 56 0 0 0 88541 16 0 0 20 0 22 0 28258151 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384031846000 140384043551476 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19472] ppid=19449 vsize=9824732 CPUtime=885.56 cores=1,3,5,7
/proc/19452/task/19472/stat : 19472 (java) R 19449 19452 18126 0 -1 4202560 2027 0 0 0 88502 54 0 0 20 0 22 0 28258151 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384030794064 140384043583787 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19452/tid=19473] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19473/stat : 19473 (java) S 19449 19452 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28258152 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384029741992 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19452/tid=19474] ppid=19449 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19452/task/19474/stat : 19474 (java) S 19449 19452 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28258152 10060525568 977946 33554432000 1073741824 1073778376 140734700918784 140384028689192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 895.368
CPU time (s): 1800.7
CPU user time (s): 1797.82
CPU system time (s): 2.88156
CPU usage (%): 201.113
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.82
system time used= 2.88156
maximum resident set size= 3911900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42433
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24379
involuntary context switches= 32029
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2242 second user time and 5.10122 second system time
The end