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-4116438-1466951290/watcher-4116438-1466951290 -o /tmp/evaluation-result-4116438-1466951290/solver-4116438-1466951290 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18143 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116438-1466951290.opb
pid=19288
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.30 4.22 4.18 4/197 19291
/proc/meminfo: memFree=27195412/32872528 swapFree=1437460/1543748
[pid=19291] ppid=19288 vsize=9160 CPUtime=0 cores=1,3,5,7
/proc/19291/stat : 19291 (java) R 19288 19291 18126 0 -1 4202496 472 0 0 0 0 0 0 0 20 0 1 0 28168310 9379840 127 33554432000 1073741824 1073778376 140736658898704 140736658895832 266435265648 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19291/statm: 2372 134 103 9 0 120 0
[startup+0.100112 s]
/proc/loadavg: 4.30 4.22 4.18 4/197 19291
/proc/meminfo: memFree=27195412/32872528 swapFree=1437460/1543748
[pid=19291] ppid=19288 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/19291/stat : 19291 (java) S 19288 19291 18126 0 -1 4202496 4455 0 1 0 8 1 0 0 20 0 18 0 28168310 9787879424 6076 33554432000 1073741824 1073778376 140736658898704 140736658889840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19291/statm: 2389619 6076 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200226 s]
/proc/loadavg: 4.30 4.22 4.18 4/197 19291
/proc/meminfo: memFree=27195412/32872528 swapFree=1437460/1543748
[pid=19291] ppid=19288 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/19291/stat : 19291 (java) S 19288 19291 18126 0 -1 4202496 4748 0 1 0 23 1 0 0 20 0 18 0 28168310 9787879424 6832 33554432000 1073741824 1073778376 140736658898704 140736658889840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19291/statm: 2389619 6832 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300222 s]
/proc/loadavg: 4.30 4.22 4.18 4/197 19291
/proc/meminfo: memFree=27195412/32872528 swapFree=1437460/1543748
[pid=19291] ppid=19288 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/19291/stat : 19291 (java) S 19288 19291 18126 0 -1 4202496 5863 0 1 0 45 2 0 0 20 0 18 0 28168310 9787879424 9017 33554432000 1073741824 1073778376 140736658898704 140736658889840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19291/statm: 2389619 9017 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.70021 s]
/proc/loadavg: 4.30 4.22 4.18 4/197 19291
/proc/meminfo: memFree=27195412/32872528 swapFree=1437460/1543748
[pid=19291] ppid=19288 vsize=9824732 CPUtime=1.83 cores=1,3,5,7
/proc/19291/stat : 19291 (java) S 19288 19291 18126 0 -1 4202496 14993 0 1 0 178 5 0 0 20 0 22 0 28168310 10060525568 22931 33554432000 1073741824 1073778376 140736658898704 140736658889840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19291/statm: 2456183 22931 2265 9 0 2446860 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 9824732
[startup+1.50089 s]
/proc/loadavg: 4.30 4.22 4.18 8/219 19313
/proc/meminfo: memFree=27057564/32872528 swapFree=1437460/1543748
[pid=19291] ppid=19288 vsize=9824732 CPUtime=4.96 cores=1,3,5,7
/proc/19291/stat : 19291 (java) S 19288 19291 18126 0 -1 4202496 22464 0 1 0 488 8 0 0 20 0 22 0 28168310 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140736658889840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19291/statm: 2456183 48857 2292 9 0 2446860 0
[pid=19291/tid=19293] ppid=19288 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/19291/task/19293/stat : 19293 (java) S 19288 19291 18126 0 -1 4202560 2468 0 1 0 42 3 0 0 20 0 22 0 28168311 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679912395640 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19294] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19294/stat : 19294 (java) S 19288 19291 18126 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 28168313 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679756397224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19295] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19295/stat : 19295 (java) S 19288 19291 18126 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28168313 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679755344680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19296] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19296/stat : 19296 (java) S 19288 19291 18126 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28168313 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679754292136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19297] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19297/stat : 19297 (java) S 19288 19291 18126 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28168313 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679753239592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19298] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19298/stat : 19298 (java) S 19288 19291 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28168313 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679752186024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19299] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19299/stat : 19299 (java) S 19288 19291 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28168313 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679751133480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19300] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19300/stat : 19300 (java) S 19288 19291 18126 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28168313 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679750080936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19301] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19301/stat : 19301 (java) S 19288 19291 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28168313 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679749028392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19302] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19302/stat : 19302 (java) S 19288 19291 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28168314 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679736617576 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19303] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19303/stat : 19303 (java) S 19288 19291 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28168314 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679735563896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19304] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19304/stat : 19304 (java) S 19288 19291 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28168314 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679734511240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19305] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19305/stat : 19305 (java) S 19288 19291 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28168317 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679733459984 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19306] ppid=19288 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/19291/task/19306/stat : 19306 (java) R 19288 19291 18126 0 -1 4202560 9716 0 0 0 120 2 0 0 20 0 22 0 28168317 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679732383328 140679916512700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19307] ppid=19288 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/19291/task/19307/stat : 19307 (java) R 19288 19291 18126 0 -1 4202560 8866 0 0 0 125 2 0 0 20 0 22 0 28168317 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679731351096 140679918352715 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19308] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19308/stat : 19308 (java) S 19288 19291 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28168317 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679730301432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19309] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19309/stat : 19309 (java) S 19288 19291 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28168317 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679729249096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19310] ppid=19288 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/19291/task/19310/stat : 19310 (java) R 19288 19291 18126 0 -1 4202560 18 0 0 0 97 0 0 0 20 0 22 0 28168359 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679727816864 140679785767115 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19311] ppid=19288 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/19291/task/19311/stat : 19311 (java) R 19288 19291 18126 0 -1 4202560 77 0 0 0 95 1 0 0 20 0 22 0 28168359 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679726771448 140679785728441 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19312] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19312/stat : 19312 (java) S 19288 19291 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28168360 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679725721128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19313] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19313/stat : 19313 (java) S 19288 19291 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28168360 10060525568 48857 33554432000 1073741824 1073778376 140736658898704 140679724668584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 9824732
[startup+3.10096 s]
/proc/loadavg: 4.30 4.22 4.18 6/219 19313
/proc/meminfo: memFree=26975836/32872528 swapFree=1437460/1543748
[pid=19291] ppid=19288 vsize=9824732 CPUtime=8.91 cores=1,3,5,7
/proc/19291/stat : 19291 (java) S 19288 19291 18126 0 -1 4202496 25619 0 1 0 874 17 0 0 20 0 22 0 28168310 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140736658889840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19291/statm: 2456183 88650 2292 9 0 2446860 0
[pid=19291/tid=19293] ppid=19288 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/19291/task/19293/stat : 19293 (java) S 19288 19291 18126 0 -1 4202560 2468 0 1 0 42 3 0 0 20 0 22 0 28168311 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679912395640 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19294] ppid=19288 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19291/task/19294/stat : 19294 (java) S 19288 19291 18126 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 28168313 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679756397224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19295] ppid=19288 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19291/task/19295/stat : 19295 (java) S 19288 19291 18126 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 22 0 28168313 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679755344680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19296] ppid=19288 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19291/task/19296/stat : 19296 (java) S 19288 19291 18126 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 28168313 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679754292136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19297] ppid=19288 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/19291/task/19297/stat : 19297 (java) S 19288 19291 18126 0 -1 4202560 24 0 0 0 4 2 0 0 20 0 22 0 28168313 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679753239592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19298] ppid=19288 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/19291/task/19298/stat : 19298 (java) S 19288 19291 18126 0 -1 4202560 27 0 0 0 3 2 0 0 20 0 22 0 28168313 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679752186024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19299] ppid=19288 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19291/task/19299/stat : 19299 (java) S 19288 19291 18126 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 28168313 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679751133480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19300] ppid=19288 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19291/task/19300/stat : 19300 (java) S 19288 19291 18126 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 28168313 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679750080936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19301] ppid=19288 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/19291/task/19301/stat : 19301 (java) S 19288 19291 18126 0 -1 4202560 22 0 0 0 4 1 0 0 20 0 22 0 28168313 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679749028392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19302] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19302/stat : 19302 (java) S 19288 19291 18126 0 -1 4202560 200 0 0 0 0 0 0 0 20 0 22 0 28168314 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679736617576 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19303] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19303/stat : 19303 (java) S 19288 19291 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28168314 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679735563896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19304] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19304/stat : 19304 (java) S 19288 19291 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28168314 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679734511240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19305] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19305/stat : 19305 (java) S 19288 19291 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28168317 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679733459984 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19306] ppid=19288 vsize=9824732 CPUtime=1.41 cores=1,3,5,7
/proc/19291/task/19306/stat : 19306 (java) S 19288 19291 18126 0 -1 4202560 9725 0 0 0 139 2 0 0 20 0 22 0 28168317 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679732406328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19307] ppid=19288 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/19291/task/19307/stat : 19307 (java) S 19288 19291 18126 0 -1 4202560 11659 0 0 0 166 2 0 0 20 0 22 0 28168317 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679731353784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19308] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19308/stat : 19308 (java) S 19288 19291 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28168317 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679730301432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19309] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19309/stat : 19309 (java) S 19288 19291 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28168317 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679729249096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19310] ppid=19288 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/19291/task/19310/stat : 19310 (java) R 19288 19291 18126 0 -1 4202560 19 0 0 0 246 0 0 0 20 0 22 0 28168359 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679727823872 140679785683887 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19311] ppid=19288 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/19291/task/19311/stat : 19311 (java) R 19288 19291 18126 0 -1 4202560 129 0 0 0 242 4 0 0 20 0 22 0 28168359 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679726772008 140679785844929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19312] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19312/stat : 19312 (java) S 19288 19291 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28168360 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679725721128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19313] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19313/stat : 19313 (java) S 19288 19291 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28168360 10060525568 88650 33554432000 1073741824 1073778376 140736658898704 140679724668584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.91
Current children cumulated vsize (KiB) 9824732
[startup+6.30099 s]
/proc/loadavg: 4.36 4.23 4.19 5/218 19313
/proc/meminfo: memFree=26566308/32872528 swapFree=1437460/1543748
[pid=19291] ppid=19288 vsize=9824732 CPUtime=15.47 cores=1,3,5,7
/proc/19291/stat : 19291 (java) S 19288 19291 18126 0 -1 4202496 26560 0 1 0 1520 27 0 0 20 0 22 0 28168310 10060525568 155497 33554432000 1073741824 1073778376 140736658898704 140736658889840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19291/statm: 2456183 155497 2292 9 0 2446860 0
[pid=19291/tid=19293] ppid=19288 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/19291/task/19293/stat : 19293 (java) S 19288 19291 18126 0 -1 4202560 2468 0 1 0 42 3 0 0 20 0 22 0 28168311 10060525568 155497 33554432000 1073741824 1073778376 140736658898704 140679912395640 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19294] ppid=19288 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/19291/task/19294/stat : 19294 (java) S 19288 19291 18126 0 -1 4202560 48 0 0 0 4 2 0 0 20 0 22 0 28168313 10060525568 155497 33554432000 1073741824 1073778376 140736658898704 140679756397224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19295] ppid=19288 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19295/stat : 19295 (java) S 19288 19291 18126 0 -1 4202560 27 0 0 0 7 0 0 0 20 0 22 0 28168313 10060525568 155497 33554432000 1073741824 1073778376 140736658898704 140679755344680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19296] ppid=19288 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19296/stat : 19296 (java) S 19288 19291 18126 0 -1 4202560 134 0 0 0 5 2 0 0 20 0 22 0 28168313 10060525568 155497 33554432000 1073741824 1073778376 140736658898704 140679754292136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19297] ppid=19288 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/19291/task/19297/stat : 19297 (java) S 19288 19291 18126 0 -1 4202560 128 0 0 0 6 2 0 0 20 0 22 0 28168313 10060525568 155497 33554432000 1073741824 1073778376 140736658898704 140679753239592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19298] ppid=19288 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/19291/task/19298/stat : 19298 (java) S 19288 19291 18126 0 -1 4202560 60 0 0 0 7 2 0 0 20 0 22 0 28168313 10060525568 155497 33554432000 1073741824 1073778376 140736658898704 140679752186024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19299] ppid=19288 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19299/stat : 19299 (java) S 19288 19291 18126 0 -1 4202560 129 0 0 0 5 2 0 0 20 0 22 0 28168313 10060525568 155497 33554432000 1073741824 1073778376 140736658898704 140679751133480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19300] ppid=19288 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19291/task/19300/stat : 19300 (java) S 19288 19291 18126 0 -1 4202560 20 0 0 0 3 1 0 0 20 0 22 0 28168313 10060525568 155497 33554432000 1073741824 1073778376 140736658898704 140679750080936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19301] ppid=19288 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/19291/task/19301/stat : 19301 (java) S 19288 19291 18126 0 -1 4202560 188 0 0 0 8 2 0 0 20 0 22 0 28168313 10060525568 155497 33554432000 1073741824 1073778376 140736658898704 140679749028392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19302] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19302/stat : 19302 (java) S 19288 19291 18126 0 -1 4202560 453 0 0 0 0 0 0 0 20 0 22 0 28168314 10060525568 155497 33554432000 1073741824 1073778376 140736658898704 140679736617576 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19303] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19303/stat : 19303 (java) S 19288 19291 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28168314 10060525568 155497 33554432000 1073741824 1073778376 140736658898704 140679735563896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19304] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19304/stat : 19304 (java) S 19288 19291 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28168314 10060525568 155497 33554432000 1073741824 1073778376 140736658898704 140679734511240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19305] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19305/stat : 19305 (java) S 19288 19291 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28168317 10060525568 155497 33554432000 1073741824 1073778376 140736658898704 140679733459984 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19306] ppid=19288 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
################
# More data... #
################
[pid=19291/tid=19295] ppid=19288 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/19291/task/19295/stat : 19295 (java) S 19288 19291 18126 0 -1 4202560 1859 0 0 0 143 14 0 0 20 0 22 0 28168313 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679755344680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19296] ppid=19288 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/19291/task/19296/stat : 19296 (java) S 19288 19291 18126 0 -1 4202560 1330 0 0 0 145 17 0 0 20 0 22 0 28168313 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679754292136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19297] ppid=19288 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/19291/task/19297/stat : 19297 (java) S 19288 19291 18126 0 -1 4202560 839 0 0 0 134 15 0 0 20 0 22 0 28168313 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679753239592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19298] ppid=19288 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/19291/task/19298/stat : 19298 (java) S 19288 19291 18126 0 -1 4202560 886 0 0 0 143 15 0 0 20 0 22 0 28168313 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679752186024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19299] ppid=19288 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/19291/task/19299/stat : 19299 (java) S 19288 19291 18126 0 -1 4202560 1151 0 0 0 150 16 0 0 20 0 22 0 28168313 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679751133480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19300] ppid=19288 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/19291/task/19300/stat : 19300 (java) S 19288 19291 18126 0 -1 4202560 1394 0 0 0 151 18 0 0 20 0 22 0 28168313 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679750080936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19301] ppid=19288 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/19291/task/19301/stat : 19301 (java) S 19288 19291 18126 0 -1 4202560 1423 0 0 0 134 15 0 0 20 0 22 0 28168313 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679749028392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19302] ppid=19288 vsize=9824732 CPUtime=3.84 cores=1,3,5,7
/proc/19291/task/19302/stat : 19302 (java) S 19288 19291 18126 0 -1 4202560 4253 0 0 0 377 7 0 0 20 0 22 0 28168314 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679736617576 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19303] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19303/stat : 19303 (java) S 19288 19291 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28168314 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679735563896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19304] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19304/stat : 19304 (java) S 19288 19291 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28168314 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679734511240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19305] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19305/stat : 19305 (java) S 19288 19291 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28168317 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679733459984 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19306] ppid=19288 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/19291/task/19306/stat : 19306 (java) S 19288 19291 18126 0 -1 4202560 11763 0 0 0 185 3 0 0 20 0 22 0 28168317 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679732406328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19307] ppid=19288 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/19291/task/19307/stat : 19307 (java) S 19288 19291 18126 0 -1 4202560 14004 0 0 0 193 2 0 0 20 0 22 0 28168317 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679731353784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19308] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19308/stat : 19308 (java) S 19288 19291 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28168317 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679730301432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19309] ppid=19288 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/19291/task/19309/stat : 19309 (java) S 19288 19291 18126 0 -1 4202560 47 0 0 0 10 23 0 0 20 0 22 0 28168317 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679729249096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19310] ppid=19288 vsize=9824732 CPUtime=814.31 cores=1,3,5,7
/proc/19291/task/19310/stat : 19310 (java) R 19288 19291 18126 0 -1 4202560 61 0 0 0 81415 16 0 0 20 0 22 0 28168359 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679727816944 140679785669448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19311] ppid=19288 vsize=9824732 CPUtime=814.35 cores=1,3,5,7
/proc/19291/task/19311/stat : 19311 (java) R 19288 19291 18126 0 -1 4202560 1379 0 0 0 81385 50 0 0 20 0 22 0 28168359 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679726770592 140679786059305 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19312] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19312/stat : 19312 (java) S 19288 19291 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28168360 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679725721128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19313] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19313/stat : 19313 (java) S 19288 19291 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28168360 10060525568 937198 33554432000 1073741824 1073778376 140736658898704 140679724668584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1649.88
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.39 4.35 4.27 5/219 19404
/proc/meminfo: memFree=23522128/32872528 swapFree=1437460/1543748
[pid=19291] ppid=19288 vsize=9824732 CPUtime=1769.99 cores=1,3,5,7
/proc/19291/stat : 19291 (java) S 19288 19291 18126 0 -1 4202496 45942 0 1 0 176792 207 0 0 20 0 22 0 28168310 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140736658889840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19291/statm: 2456183 915952 2301 9 0 2446860 0
[pid=19291/tid=19293] ppid=19288 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/19291/task/19293/stat : 19293 (java) S 19288 19291 18126 0 -1 4202560 2477 0 1 0 44 5 0 0 20 0 22 0 28168311 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679912395640 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19294] ppid=19288 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/19291/task/19294/stat : 19294 (java) S 19288 19291 18126 0 -1 4202560 1773 0 0 0 171 19 0 0 20 0 22 0 28168313 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679756397224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19295] ppid=19288 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/19291/task/19295/stat : 19295 (java) S 19288 19291 18126 0 -1 4202560 1859 0 0 0 145 14 0 0 20 0 22 0 28168313 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679755344680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19296] ppid=19288 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/19291/task/19296/stat : 19296 (java) S 19288 19291 18126 0 -1 4202560 1330 0 0 0 148 17 0 0 20 0 22 0 28168313 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679754292136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19297] ppid=19288 vsize=9824732 CPUtime=1.53 cores=1,3,5,7
/proc/19291/task/19297/stat : 19297 (java) S 19288 19291 18126 0 -1 4202560 859 0 0 0 138 15 0 0 20 0 22 0 28168313 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679753239592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19298] ppid=19288 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/19291/task/19298/stat : 19298 (java) S 19288 19291 18126 0 -1 4202560 887 0 0 0 145 15 0 0 20 0 22 0 28168313 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679752186024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19299] ppid=19288 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/19291/task/19299/stat : 19299 (java) S 19288 19291 18126 0 -1 4202560 1161 0 0 0 151 17 0 0 20 0 22 0 28168313 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679751133480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19300] ppid=19288 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/19291/task/19300/stat : 19300 (java) S 19288 19291 18126 0 -1 4202560 1394 0 0 0 153 18 0 0 20 0 22 0 28168313 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679750080936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19301] ppid=19288 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/19291/task/19301/stat : 19301 (java) S 19288 19291 18126 0 -1 4202560 1423 0 0 0 140 15 0 0 20 0 22 0 28168313 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679749028392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19302] ppid=19288 vsize=9824732 CPUtime=3.84 cores=1,3,5,7
/proc/19291/task/19302/stat : 19302 (java) S 19288 19291 18126 0 -1 4202560 4255 0 0 0 377 7 0 0 20 0 22 0 28168314 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679736617576 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19303] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19303/stat : 19303 (java) S 19288 19291 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28168314 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679735563896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19304] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19304/stat : 19304 (java) S 19288 19291 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28168314 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679734511240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19305] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19305/stat : 19305 (java) S 19288 19291 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28168317 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679733459984 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19306] ppid=19288 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/19291/task/19306/stat : 19306 (java) S 19288 19291 18126 0 -1 4202560 11763 0 0 0 185 3 0 0 20 0 22 0 28168317 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679732406328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19307] ppid=19288 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/19291/task/19307/stat : 19307 (java) S 19288 19291 18126 0 -1 4202560 14004 0 0 0 193 2 0 0 20 0 22 0 28168317 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679731353784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19308] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19308/stat : 19308 (java) S 19288 19291 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28168317 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679730301432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19309] ppid=19288 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/19291/task/19309/stat : 19309 (java) S 19288 19291 18126 0 -1 4202560 51 0 0 0 10 25 0 0 20 0 22 0 28168317 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679729249096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19310] ppid=19288 vsize=9824732 CPUtime=874.25 cores=1,3,5,7
/proc/19291/task/19310/stat : 19310 (java) R 19288 19291 18126 0 -1 4202560 62 0 0 0 87408 17 0 0 20 0 22 0 28168359 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679727824576 140679785753607 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19311] ppid=19288 vsize=9824732 CPUtime=874.27 cores=1,3,5,7
/proc/19291/task/19311/stat : 19311 (java) R 19288 19291 18126 0 -1 4202560 1379 0 0 0 87376 51 0 0 20 0 22 0 28168359 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679726771232 140679785729282 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19312] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19312/stat : 19312 (java) S 19288 19291 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28168360 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679725721128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19313] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19313/stat : 19313 (java) S 19288 19291 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28168360 10060525568 915952 33554432000 1073741824 1073778376 140736658898704 140679724668584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1769.99
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+897.301 s]
/proc/loadavg: 4.38 4.35 4.27 5/219 19405
/proc/meminfo: memFree=23484024/32872528 swapFree=1437460/1543748
[pid=19291] ppid=19288 vsize=9824732 CPUtime=1800.17 cores=1,3,5,7
/proc/19291/stat : 19291 (java) S 19288 19291 18126 0 -1 4202496 46291 0 1 0 179806 211 0 0 20 0 22 0 28168310 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140736658889840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19291/statm: 2456183 922899 2301 9 0 2446860 0
[pid=19291/tid=19293] ppid=19288 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/19291/task/19293/stat : 19293 (java) S 19288 19291 18126 0 -1 4202560 2479 0 1 0 44 5 0 0 20 0 22 0 28168311 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679912395640 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19294] ppid=19288 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/19291/task/19294/stat : 19294 (java) S 19288 19291 18126 0 -1 4202560 1818 0 0 0 177 20 0 0 20 0 22 0 28168313 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679756397224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19295] ppid=19288 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/19291/task/19295/stat : 19295 (java) S 19288 19291 18126 0 -1 4202560 1868 0 0 0 151 15 0 0 20 0 22 0 28168313 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679755344680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19296] ppid=19288 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/19291/task/19296/stat : 19296 (java) S 19288 19291 18126 0 -1 4202560 1413 0 0 0 154 18 0 0 20 0 22 0 28168313 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679754292136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19297] ppid=19288 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/19291/task/19297/stat : 19297 (java) S 19288 19291 18126 0 -1 4202560 868 0 0 0 140 15 0 0 20 0 22 0 28168313 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679753239592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19298] ppid=19288 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/19291/task/19298/stat : 19298 (java) S 19288 19291 18126 0 -1 4202560 903 0 0 0 148 15 0 0 20 0 22 0 28168313 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679752186024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19299] ppid=19288 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/19291/task/19299/stat : 19299 (java) S 19288 19291 18126 0 -1 4202560 1236 0 0 0 154 17 0 0 20 0 22 0 28168313 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679751133480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19300] ppid=19288 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/19291/task/19300/stat : 19300 (java) S 19288 19291 18126 0 -1 4202560 1399 0 0 0 158 18 0 0 20 0 22 0 28168313 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679750080936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19301] ppid=19288 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/19291/task/19301/stat : 19301 (java) S 19288 19291 18126 0 -1 4202560 1476 0 0 0 144 16 0 0 20 0 22 0 28168313 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679749028392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19291/tid=19302] ppid=19288 vsize=9824732 CPUtime=3.84 cores=1,3,5,7
/proc/19291/task/19302/stat : 19302 (java) S 19288 19291 18126 0 -1 4202560 4306 0 0 0 377 7 0 0 20 0 22 0 28168314 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679736617576 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19303] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19303/stat : 19303 (java) S 19288 19291 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28168314 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679735563896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19304] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19304/stat : 19304 (java) S 19288 19291 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28168314 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679734511240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19305] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19305/stat : 19305 (java) S 19288 19291 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28168317 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679733459984 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19306] ppid=19288 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/19291/task/19306/stat : 19306 (java) S 19288 19291 18126 0 -1 4202560 11763 0 0 0 185 3 0 0 20 0 22 0 28168317 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679732406328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19307] ppid=19288 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/19291/task/19307/stat : 19307 (java) S 19288 19291 18126 0 -1 4202560 14005 0 0 0 193 2 0 0 20 0 22 0 28168317 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679731353784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19308] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19308/stat : 19308 (java) S 19288 19291 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28168317 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679730301432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19291/tid=19309] ppid=19288 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/19291/task/19309/stat : 19309 (java) S 19288 19291 18126 0 -1 4202560 51 0 0 0 10 25 0 0 20 0 22 0 28168317 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679729249096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19310] ppid=19288 vsize=9824732 CPUtime=889.14 cores=1,3,5,7
/proc/19291/task/19310/stat : 19310 (java) R 19288 19291 18126 0 -1 4202560 62 0 0 0 88897 17 0 0 20 0 22 0 28168359 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679727823744 140679785669448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19311] ppid=19288 vsize=9824732 CPUtime=889.17 cores=1,3,5,7
/proc/19291/task/19311/stat : 19311 (java) R 19288 19291 18126 0 -1 4202560 1379 0 0 0 88866 51 0 0 20 0 22 0 28168359 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679726773320 140679785954816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19291/tid=19312] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19312/stat : 19312 (java) S 19288 19291 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28168360 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679725721128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19291/tid=19313] ppid=19288 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19313/stat : 19313 (java) S 19288 19291 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28168360 10060525568 922899 33554432000 1073741824 1073778376 140736658898704 140679724668584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
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 19291 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+897.405 s]
/proc/loadavg: 4.38 4.35 4.27 5/219 19405
/proc/meminfo: memFree=23484024/32872528 swapFree=1437460/1543748
[pid=19291] ppid=19288 vsize=0 CPUtime=1801.03 cores=1,3,5,7
/proc/19291/stat : 19291 (java) Z 19288 19291 18126 0 -1 4203532 46386 0 1 0 179841 262 0 0 20 0 2 0 28168310 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19291/statm: 0 0 0 0 0 0 0
[pid=19291/tid=19303] ppid=19288 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/19291/task/19303/stat : 19303 (java) R 19288 19291 18126 0 -1 4203588 17 0 0 0 0 0 0 0 20 0 2 0 28168314 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 897.414
CPU time (s): 1801.04
CPU user time (s): 1798.42
CPU system time (s): 2.6236
CPU usage (%): 200.692
Max. virtual memory (cumulated for all children) (KiB): 9825092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.42
system time used= 2.6236
maximum resident set size= 3748916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46386
page faults= 1
swaps= 0
block input operations= 0
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23336
involuntary context switches= 24128
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.34219 second user time and 7.97379 second system time
The end