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-4100026-1466207436/watcher-4100026-1466207436 -o /tmp/evaluation-result-4100026-1466207436/solver-4100026-1466207436 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8353 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100026-1466207436.opb
pid=11094
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.18 4.21 3.27 4/198 11097
/proc/meminfo: memFree=26428052/32872528 swapFree=1499884/1696108
[pid=11097] ppid=11094 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/11097/stat : 11097 (java) R 11094 11097 8337 0 -1 4202496 1105 0 0 0 0 0 0 0 20 0 1 0 22789343 23793664 755 33554432000 1073741824 1073778376 140736332722224 140736332711288 140277424087344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11097/statm: 5809 773 571 9 0 128 0
[startup+0.100112 s]
/proc/loadavg: 4.18 4.21 3.27 4/198 11097
/proc/meminfo: memFree=26428052/32872528 swapFree=1499884/1696108
[pid=11097] ppid=11094 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/11097/stat : 11097 (java) S 11094 11097 8337 0 -1 4202496 4413 0 1 0 9 1 0 0 20 0 18 0 22789343 9787879424 6036 33554432000 1073741824 1073778376 140736332722224 140736332713360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11097/statm: 2389619 6036 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200222 s]
/proc/loadavg: 4.18 4.21 3.27 4/198 11097
/proc/meminfo: memFree=26428052/32872528 swapFree=1499884/1696108
[pid=11097] ppid=11094 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/11097/stat : 11097 (java) S 11094 11097 8337 0 -1 4202496 4973 0 1 0 26 1 0 0 20 0 18 0 22789343 9787879424 8418 33554432000 1073741824 1073778376 140736332722224 140736332713360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11097/statm: 2389619 8418 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300236 s]
/proc/loadavg: 4.18 4.21 3.27 4/198 11097
/proc/meminfo: memFree=26428052/32872528 swapFree=1499884/1696108
[pid=11097] ppid=11094 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/11097/stat : 11097 (java) S 11094 11097 8337 0 -1 4202496 5417 0 1 0 44 1 0 0 20 0 18 0 22789343 9787879424 14263 33554432000 1073741824 1073778376 140736332722224 140736332713360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11097/statm: 2389619 14263 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476
[startup+0.700184 s]
/proc/loadavg: 4.18 4.21 3.27 4/198 11097
/proc/meminfo: memFree=26428052/32872528 swapFree=1499884/1696108
[pid=11097] ppid=11094 vsize=9558476 CPUtime=1.28 cores=0,2,4,6
/proc/11097/stat : 11097 (java) S 11094 11097 8337 0 -1 4202496 7509 0 1 0 120 8 0 0 20 0 18 0 22789343 9787879424 49082 33554432000 1073741824 1073778376 140736332722224 140736332713360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11097/statm: 2389619 49082 2269 9 0 2380296 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9558476
[startup+1.50072 s]
/proc/loadavg: 4.18 4.21 3.27 4/216 11115
/proc/meminfo: memFree=26168656/32872528 swapFree=1499884/1696108
[pid=11097] ppid=11094 vsize=9558476 CPUtime=2.59 cores=0,2,4,6
/proc/11097/stat : 11097 (java) S 11094 11097 8337 0 -1 4202496 8604 0 1 0 235 24 0 0 20 0 18 0 22789343 9787879424 110802 33554432000 1073741824 1073778376 140736332722224 140736332713360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11097/statm: 2389619 110802 2269 9 0 2380296 0
[pid=11097/tid=11098] ppid=11094 vsize=9558476 CPUtime=1.24 cores=0,2,4,6
/proc/11097/task/11098/stat : 11098 (java) S 11094 11097 8337 0 -1 4202560 2524 0 1 0 119 5 0 0 20 0 18 0 22789344 9787879424 110802 33554432000 1073741824 1073778376 140736332722224 140277416574168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11100] ppid=11094 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/11097/task/11100/stat : 11100 (java) R 11094 11097 8337 0 -1 4202560 159 0 0 0 6 3 0 0 20 0 18 0 22789344 9787879424 110802 33554432000 1073741824 1073778376 140736332722224 140277394676824 140277420737223 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11101] ppid=11094 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/11097/task/11101/stat : 11101 (java) R 11094 11097 8337 0 -1 4202560 156 0 0 0 7 2 0 0 20 0 18 0 22789344 9787879424 110802 33554432000 1073741824 1073778376 140736332722224 140277393624280 140277419046593 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11102] ppid=11094 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/11097/task/11102/stat : 11102 (java) R 11094 11097 8337 0 -1 4202560 173 0 0 0 7 3 0 0 20 0 18 0 22789344 9787879424 111314 33554432000 1073741824 1073778376 140736332722224 140277392571048 140277419046593 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11103] ppid=11094 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/11097/task/11103/stat : 11103 (java) R 11094 11097 8337 0 -1 4202560 192 0 0 0 7 2 0 0 20 0 18 0 22789344 9787879424 111314 33554432000 1073741824 1073778376 140736332722224 140277391518680 140277420332172 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11104] ppid=11094 vsize=9558476 CPUtime=0.12 cores=0,2,4,6
/proc/11097/task/11104/stat : 11104 (java) R 11094 11097 8337 0 -1 4202560 134 0 0 0 9 3 0 0 20 0 18 0 22789344 9787879424 111314 33554432000 1073741824 1073778376 140736332722224 140277054433880 140277419046601 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11105] ppid=11094 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/11097/task/11105/stat : 11105 (java) R 11094 11097 8337 0 -1 4202560 44 0 0 0 7 2 0 0 20 0 18 0 22789344 9787879424 111314 33554432000 1073741824 1073778376 140736332722224 140277053381336 140277419046585 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11106] ppid=11094 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/11097/task/11106/stat : 11106 (java) R 11094 11097 8337 0 -1 4202560 135 0 0 0 4 2 0 0 20 0 18 0 22789344 9787879424 111314 33554432000 1073741824 1073778376 140736332722224 140277052327984 140277419046593 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11107] ppid=11094 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/11097/task/11107/stat : 11107 (java) R 11094 11097 8337 0 -1 4202560 146 0 0 0 6 2 0 0 20 0 18 0 22789344 9787879424 111314 33554432000 1073741824 1073778376 140736332722224 140277051275736 140277423471532 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11108] ppid=11094 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11108/stat : 11108 (java) S 11094 11097 8337 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 18 0 22789346 9787879424 111314 33554432000 1073741824 1073778376 140736332722224 140277039077128 225448080444 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11109] ppid=11094 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11109/stat : 11109 (java) S 11094 11097 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 22789346 9787879424 111314 33554432000 1073741824 1073778376 140736332722224 140277038024568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11110] ppid=11094 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11110/stat : 11110 (java) S 11094 11097 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 22789346 9787879424 111314 33554432000 1073741824 1073778376 140736332722224 140277036971400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11111] ppid=11094 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11111/stat : 11111 (java) S 11094 11097 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22789348 9787879424 111314 33554432000 1073741824 1073778376 140736332722224 140277035920144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11112] ppid=11094 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/11097/task/11112/stat : 11112 (java) S 11094 11097 8337 0 -1 4202560 2317 0 0 0 26 0 0 0 20 0 18 0 22789348 9787879424 111314 33554432000 1073741824 1073778376 140736332722224 140277034853096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11113] ppid=11094 vsize=9558476 CPUtime=0.2 cores=0,2,4,6
/proc/11097/task/11113/stat : 11113 (java) S 11094 11097 8337 0 -1 4202560 1301 0 0 0 20 0 0 0 20 0 18 0 22789348 9787879424 111314 33554432000 1073741824 1073778376 140736332722224 140277033814456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11114] ppid=11094 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11114/stat : 11114 (java) S 11094 11097 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22789348 9787879424 111314 33554432000 1073741824 1073778376 140736332722224 140277032761592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11115] ppid=11094 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11115/stat : 11115 (java) S 11094 11097 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22789348 9787879424 111314 33554432000 1073741824 1073778376 140736332722224 140277031709256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 9558476
[startup+3.10092 s]
/proc/loadavg: 4.16 4.21 3.27 7/220 11119
/proc/meminfo: memFree=25951076/32872528 swapFree=1499884/1696108
[pid=11097] ppid=11094 vsize=9824732 CPUtime=6.77 cores=0,2,4,6
/proc/11097/stat : 11097 (java) S 11094 11097 8337 0 -1 4202496 18355 0 1 0 649 28 0 0 20 0 22 0 22789343 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140736332713360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11097/statm: 2456183 121139 2284 9 0 2446860 0
[pid=11097/tid=11098] ppid=11094 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/11097/task/11098/stat : 11098 (java) S 11094 11097 8337 0 -1 4202560 2531 0 1 0 160 5 0 0 20 0 22 0 22789344 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277416575864 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11100] ppid=11094 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/11097/task/11100/stat : 11100 (java) S 11094 11097 8337 0 -1 4202560 166 0 0 0 8 3 0 0 20 0 22 0 22789344 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277394676648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11101] ppid=11094 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/11097/task/11101/stat : 11101 (java) S 11094 11097 8337 0 -1 4202560 159 0 0 0 8 3 0 0 20 0 22 0 22789344 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277393624104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11102] ppid=11094 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/11097/task/11102/stat : 11102 (java) S 11094 11097 8337 0 -1 4202560 184 0 0 0 10 4 0 0 20 0 22 0 22789344 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277392571048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11103] ppid=11094 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/11097/task/11103/stat : 11103 (java) S 11094 11097 8337 0 -1 4202560 195 0 0 0 8 3 0 0 20 0 22 0 22789344 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277391518504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11104] ppid=11094 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/11097/task/11104/stat : 11104 (java) S 11094 11097 8337 0 -1 4202560 138 0 0 0 11 3 0 0 20 0 22 0 22789344 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277054433704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11105] ppid=11094 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/11097/task/11105/stat : 11105 (java) S 11094 11097 8337 0 -1 4202560 53 0 0 0 8 3 0 0 20 0 22 0 22789344 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277053381160 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11106] ppid=11094 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/11097/task/11106/stat : 11106 (java) S 11094 11097 8337 0 -1 4202560 141 0 0 0 5 2 0 0 20 0 22 0 22789344 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277052328104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11107] ppid=11094 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/11097/task/11107/stat : 11107 (java) S 11094 11097 8337 0 -1 4202560 150 0 0 0 7 2 0 0 20 0 22 0 22789344 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277051275560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11108] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11108/stat : 11108 (java) S 11094 11097 8337 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 22789346 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277039078248 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11109] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11109/stat : 11109 (java) S 11094 11097 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22789346 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277038024568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11110] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11110/stat : 11110 (java) S 11094 11097 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22789346 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277036971400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11111] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11111/stat : 11111 (java) S 11094 11097 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22789348 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277035920144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11112] ppid=11094 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/11097/task/11112/stat : 11112 (java) S 11094 11097 8337 0 -1 4202560 7896 0 0 0 96 1 0 0 20 0 22 0 22789348 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277034867000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11113] ppid=11094 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/11097/task/11113/stat : 11113 (java) S 11094 11097 8337 0 -1 4202560 5233 0 0 0 83 2 0 0 20 0 22 0 22789348 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277033814456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11114] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11114/stat : 11114 (java) S 11094 11097 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22789348 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277032761592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11115] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11115/stat : 11115 (java) S 11094 11097 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22789348 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277031709256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11116] ppid=11094 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/11097/task/11116/stat : 11116 (java) R 11094 11097 8337 0 -1 4202560 15 0 0 0 111 0 0 0 20 0 22 0 22789538 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277030653176 140277273451859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11117] ppid=11094 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/11097/task/11117/stat : 11117 (java) R 11094 11097 8337 0 -1 4202560 30 0 0 0 113 0 0 0 20 0 22 0 22789538 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277029602008 140277273605912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11118] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11118/stat : 11118 (java) S 11094 11097 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22789554 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277028549928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11119] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11119/stat : 11119 (java) S 11094 11097 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22789554 10060525568 121139 33554432000 1073741824 1073778376 140736332722224 140277027497384 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (KiB) 9824732
[startup+6.30092 s]
/proc/loadavg: 4.16 4.21 3.27 5/220 11119
/proc/meminfo: memFree=25839268/32872528 swapFree=1499884/1696108
[pid=11097] ppid=11094 vsize=9824732 CPUtime=13.53 cores=0,2,4,6
/proc/11097/stat : 11097 (java) S 11094 11097 8337 0 -1 4202496 19268 0 1 0 1308 45 0 0 20 0 22 0 22789343 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140736332713360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11097/statm: 2456183 210775 2289 9 0 2446860 0
[pid=11097/tid=11098] ppid=11094 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/11097/task/11098/stat : 11098 (java) S 11094 11097 8337 0 -1 4202560 2531 0 1 0 160 5 0 0 20 0 22 0 22789344 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140277416575864 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11100] ppid=11094 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/11097/task/11100/stat : 11100 (java) S 11094 11097 8337 0 -1 4202560 201 0 0 0 14 4 0 0 20 0 22 0 22789344 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140277394676648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11101] ppid=11094 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/11097/task/11101/stat : 11101 (java) S 11094 11097 8337 0 -1 4202560 181 0 0 0 11 4 0 0 20 0 22 0 22789344 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140277393624104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11102] ppid=11094 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/11097/task/11102/stat : 11102 (java) S 11094 11097 8337 0 -1 4202560 225 0 0 0 18 5 0 0 20 0 22 0 22789344 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140277392571048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11103] ppid=11094 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/11097/task/11103/stat : 11103 (java) S 11094 11097 8337 0 -1 4202560 234 0 0 0 13 4 0 0 20 0 22 0 22789344 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140277391518504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11104] ppid=11094 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/11097/task/11104/stat : 11104 (java) S 11094 11097 8337 0 -1 4202560 197 0 0 0 19 5 0 0 20 0 22 0 22789344 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140277054433704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11105] ppid=11094 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/11097/task/11105/stat : 11105 (java) S 11094 11097 8337 0 -1 4202560 101 0 0 0 15 5 0 0 20 0 22 0 22789344 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140277053381160 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11106] ppid=11094 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/11097/task/11106/stat : 11106 (java) S 11094 11097 8337 0 -1 4202560 169 0 0 0 9 3 0 0 20 0 22 0 22789344 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140277052328104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11107] ppid=11094 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/11097/task/11107/stat : 11107 (java) S 11094 11097 8337 0 -1 4202560 162 0 0 0 10 4 0 0 20 0 22 0 22789344 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140277051275560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11108] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11108/stat : 11108 (java) S 11094 11097 8337 0 -1 4202560 526 0 0 0 0 0 0 0 20 0 22 0 22789346 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140277039078248 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11109] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11109/stat : 11109 (java) S 11094 11097 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22789346 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140277038024568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11110] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11110/stat : 11110 (java) S 11094 11097 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22789346 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140277036971400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11111] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11111/stat : 11111 (java) S 11094 11097 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22789348 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140277035920144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11112] ppid=11094 vsize=9824732 CPUtime=1.03 cores=0,2,4,6
/proc/11097/task/11112/stat : 11112 (java) S 11094 11097 8337 0 -1 4202560 7900 0 0 0 102 1 0 0 20 0 22 0 22789348 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140277034867000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11113] ppid=11094 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/11097/task/11113/stat : 11113 (java) S 11094 11097 8337 0 -1 4202560 5237 0 0 0 91 2 0 0 20 0 22 0 22789348 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140277033814456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11114] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11114/stat : 11114 (java) S 11094 11097 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22789348 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140277032761592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11115] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11115/stat : 11115 (java) S 11094 11097 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22789348 10060525568 210775 33554432000 1073741824 1073778376 140736332722224 140277031709256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11116] ppid=11094 vsize=9824732 CPUtime=4.15 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.37 4.36 3.89 6/219 11233
/proc/meminfo: memFree=23994692/32872528 swapFree=1499884/1696108
[pid=11097] ppid=11094 vsize=9824732 CPUtime=1656.04 cores=0,2,4,6
/proc/11097/stat : 11097 (java) S 11094 11097 8337 0 -1 4202496 31281 0 1 0 165339 265 0 0 20 0 22 0 22789343 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140736332713360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11097/statm: 2456183 951528 2298 9 0 2446860 0
[pid=11097/tid=11098] ppid=11094 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/11097/task/11098/stat : 11098 (java) S 11094 11097 8337 0 -1 4202560 2541 0 1 0 162 7 0 0 20 0 22 0 22789344 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277416575864 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11100] ppid=11094 vsize=9824732 CPUtime=3.68 cores=0,2,4,6
/proc/11097/task/11100/stat : 11100 (java) S 11094 11097 8337 0 -1 4202560 1118 0 0 0 336 32 0 0 20 0 22 0 22789344 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277394676648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11101] ppid=11094 vsize=9824732 CPUtime=3.88 cores=0,2,4,6
/proc/11097/task/11101/stat : 11101 (java) S 11094 11097 8337 0 -1 4202560 759 0 0 0 361 27 0 0 20 0 22 0 22789344 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277393624104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11102] ppid=11094 vsize=9824732 CPUtime=3.39 cores=0,2,4,6
/proc/11097/task/11102/stat : 11102 (java) S 11094 11097 8337 0 -1 4202560 619 0 0 0 317 22 0 0 20 0 22 0 22789344 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277392571048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11103] ppid=11094 vsize=9824732 CPUtime=3.65 cores=0,2,4,6
/proc/11097/task/11103/stat : 11103 (java) S 11094 11097 8337 0 -1 4202560 683 0 0 0 341 24 0 0 20 0 22 0 22789344 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277391518504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11104] ppid=11094 vsize=9824732 CPUtime=3.93 cores=0,2,4,6
/proc/11097/task/11104/stat : 11104 (java) S 11094 11097 8337 0 -1 4202560 923 0 0 0 366 27 0 0 20 0 22 0 22789344 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277054433704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11105] ppid=11094 vsize=9824732 CPUtime=4.16 cores=0,2,4,6
/proc/11097/task/11105/stat : 11105 (java) S 11094 11097 8337 0 -1 4202560 795 0 0 0 388 28 0 0 20 0 22 0 22789344 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277053381160 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11106] ppid=11094 vsize=9824732 CPUtime=3.47 cores=0,2,4,6
/proc/11097/task/11106/stat : 11106 (java) S 11094 11097 8337 0 -1 4202560 657 0 0 0 323 24 0 0 20 0 22 0 22789344 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277052328104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11107] ppid=11094 vsize=9824732 CPUtime=3.41 cores=0,2,4,6
/proc/11097/task/11107/stat : 11107 (java) S 11094 11097 8337 0 -1 4202560 765 0 0 0 315 26 0 0 20 0 22 0 22789344 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277051275560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11108] ppid=11094 vsize=9824732 CPUtime=3.71 cores=0,2,4,6
/proc/11097/task/11108/stat : 11108 (java) S 11094 11097 8337 0 -1 4202560 2600 0 0 0 362 9 0 0 20 0 22 0 22789346 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277039078248 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11109] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11109/stat : 11109 (java) S 11094 11097 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22789346 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277038024568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11110] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11110/stat : 11110 (java) S 11094 11097 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22789346 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277036971400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11111] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11111/stat : 11111 (java) S 11094 11097 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22789348 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277035920144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11112] ppid=11094 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/11097/task/11112/stat : 11112 (java) S 11094 11097 8337 0 -1 4202560 7942 0 0 0 113 1 0 0 20 0 22 0 22789348 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277034867000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11113] ppid=11094 vsize=9824732 CPUtime=1.89 cores=0,2,4,6
/proc/11097/task/11113/stat : 11113 (java) S 11094 11097 8337 0 -1 4202560 9084 0 0 0 186 3 0 0 20 0 22 0 22789348 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277033814456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11114] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11114/stat : 11114 (java) S 11094 11097 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22789348 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277032761592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11115] ppid=11094 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/11097/task/11115/stat : 11115 (java) S 11094 11097 8337 0 -1 4202560 47 0 0 0 12 14 0 0 20 0 22 0 22789348 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277031709256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11116] ppid=11094 vsize=9824732 CPUtime=809.04 cores=0,2,4,6
/proc/11097/task/11116/stat : 11116 (java) R 11094 11097 8337 0 -1 4202560 175 0 0 0 80886 18 0 0 20 0 22 0 22789538 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277030653872 140277273451859 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11117] ppid=11094 vsize=9824732 CPUtime=808.97 cores=0,2,4,6
/proc/11097/task/11117/stat : 11117 (java) R 11094 11097 8337 0 -1 4202560 1309 0 0 0 80863 34 0 0 20 0 22 0 22789538 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277029600432 140277273536552 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11118] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11118/stat : 11118 (java) S 11094 11097 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22789554 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277028549928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11119] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11119/stat : 11119 (java) S 11094 11097 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22789554 10060525568 951528 33554432000 1073741824 1073778376 140736332722224 140277027497384 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1656.04
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.31 4.35 3.92 6/219 11234
/proc/meminfo: memFree=23867100/32872528 swapFree=1499884/1696108
[pid=11097] ppid=11094 vsize=9824732 CPUtime=1777.48 cores=0,2,4,6
/proc/11097/stat : 11097 (java) S 11094 11097 8337 0 -1 4202496 31697 0 1 0 177457 291 0 0 20 0 22 0 22789343 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140736332713360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11097/statm: 2456183 1002274 2298 9 0 2446860 0
[pid=11097/tid=11098] ppid=11094 vsize=9824732 CPUtime=1.7 cores=0,2,4,6
/proc/11097/task/11098/stat : 11098 (java) S 11094 11097 8337 0 -1 4202560 2544 0 1 0 163 7 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277416575864 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11100] ppid=11094 vsize=9824732 CPUtime=3.97 cores=0,2,4,6
/proc/11097/task/11100/stat : 11100 (java) S 11094 11097 8337 0 -1 4202560 1148 0 0 0 363 34 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277394676648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11101] ppid=11094 vsize=9824732 CPUtime=4.36 cores=0,2,4,6
/proc/11097/task/11101/stat : 11101 (java) S 11094 11097 8337 0 -1 4202560 868 0 0 0 404 32 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277393624104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11102] ppid=11094 vsize=9824732 CPUtime=3.72 cores=0,2,4,6
/proc/11097/task/11102/stat : 11102 (java) S 11094 11097 8337 0 -1 4202560 646 0 0 0 348 24 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277392571048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11103] ppid=11094 vsize=9824732 CPUtime=4.18 cores=0,2,4,6
/proc/11097/task/11103/stat : 11103 (java) S 11094 11097 8337 0 -1 4202560 750 0 0 0 389 29 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277391518504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11104] ppid=11094 vsize=9824732 CPUtime=4.23 cores=0,2,4,6
/proc/11097/task/11104/stat : 11104 (java) S 11094 11097 8337 0 -1 4202560 966 0 0 0 395 28 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277054433704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11105] ppid=11094 vsize=9824732 CPUtime=4.43 cores=0,2,4,6
/proc/11097/task/11105/stat : 11105 (java) S 11094 11097 8337 0 -1 4202560 849 0 0 0 411 32 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277053381160 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11106] ppid=11094 vsize=9824732 CPUtime=3.72 cores=0,2,4,6
/proc/11097/task/11106/stat : 11106 (java) S 11094 11097 8337 0 -1 4202560 691 0 0 0 346 26 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277052328104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11107] ppid=11094 vsize=9824732 CPUtime=3.86 cores=0,2,4,6
/proc/11097/task/11107/stat : 11107 (java) S 11094 11097 8337 0 -1 4202560 806 0 0 0 358 28 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277051275560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11108] ppid=11094 vsize=9824732 CPUtime=3.72 cores=0,2,4,6
/proc/11097/task/11108/stat : 11108 (java) S 11094 11097 8337 0 -1 4202560 2604 0 0 0 362 10 0 0 20 0 22 0 22789346 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277039078248 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11109] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11109/stat : 11109 (java) S 11094 11097 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22789346 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277038024568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11110] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11110/stat : 11110 (java) S 11094 11097 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22789346 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277036971400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11111] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11111/stat : 11111 (java) S 11094 11097 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22789348 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277035920144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11112] ppid=11094 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/11097/task/11112/stat : 11112 (java) S 11094 11097 8337 0 -1 4202560 7942 0 0 0 113 1 0 0 20 0 22 0 22789348 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277034867000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11113] ppid=11094 vsize=9824732 CPUtime=1.89 cores=0,2,4,6
/proc/11097/task/11113/stat : 11113 (java) S 11094 11097 8337 0 -1 4202560 9084 0 0 0 186 3 0 0 20 0 22 0 22789348 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277033814456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11114] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11114/stat : 11114 (java) S 11094 11097 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22789348 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277032761592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11115] ppid=11094 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/11097/task/11115/stat : 11115 (java) S 11094 11097 8337 0 -1 4202560 51 0 0 0 14 14 0 0 20 0 22 0 22789348 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277031709256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11116] ppid=11094 vsize=9824732 CPUtime=868.28 cores=0,2,4,6
/proc/11097/task/11116/stat : 11116 (java) R 11094 11097 8337 0 -1 4202560 175 0 0 0 86809 19 0 0 20 0 22 0 22789538 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277030653856 140277273164787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11117] ppid=11094 vsize=9824732 CPUtime=868.22 cores=0,2,4,6
/proc/11097/task/11117/stat : 11117 (java) R 11094 11097 8337 0 -1 4202560 1309 0 0 0 86787 35 0 0 20 0 22 0 22789538 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277029600432 140277273605931 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11118] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11118/stat : 11118 (java) S 11094 11097 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22789554 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277028549928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11119] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11119/stat : 11119 (java) S 11094 11097 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22789554 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277027497384 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1777.48
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+893.601 s]
/proc/loadavg: 4.24 4.33 3.92 5/219 11234
/proc/meminfo: memFree=23872152/32872528 swapFree=1499884/1696108
[pid=11097] ppid=11094 vsize=9824732 CPUtime=1800.06 cores=0,2,4,6
/proc/11097/stat : 11097 (java) S 11094 11097 8337 0 -1 4202496 31697 0 1 0 179715 291 0 0 20 0 22 0 22789343 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140736332713360 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11097/statm: 2456183 1002274 2298 9 0 2446860 0
[pid=11097/tid=11098] ppid=11094 vsize=9824732 CPUtime=1.7 cores=0,2,4,6
/proc/11097/task/11098/stat : 11098 (java) S 11094 11097 8337 0 -1 4202560 2544 0 1 0 163 7 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277416575864 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11100] ppid=11094 vsize=9824732 CPUtime=3.97 cores=0,2,4,6
/proc/11097/task/11100/stat : 11100 (java) S 11094 11097 8337 0 -1 4202560 1148 0 0 0 363 34 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277394676648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11101] ppid=11094 vsize=9824732 CPUtime=4.36 cores=0,2,4,6
/proc/11097/task/11101/stat : 11101 (java) S 11094 11097 8337 0 -1 4202560 868 0 0 0 404 32 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277393624104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11102] ppid=11094 vsize=9824732 CPUtime=3.72 cores=0,2,4,6
/proc/11097/task/11102/stat : 11102 (java) S 11094 11097 8337 0 -1 4202560 646 0 0 0 348 24 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277392571048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11103] ppid=11094 vsize=9824732 CPUtime=4.18 cores=0,2,4,6
/proc/11097/task/11103/stat : 11103 (java) S 11094 11097 8337 0 -1 4202560 750 0 0 0 389 29 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277391518504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11104] ppid=11094 vsize=9824732 CPUtime=4.23 cores=0,2,4,6
/proc/11097/task/11104/stat : 11104 (java) S 11094 11097 8337 0 -1 4202560 966 0 0 0 395 28 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277054433704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11105] ppid=11094 vsize=9824732 CPUtime=4.43 cores=0,2,4,6
/proc/11097/task/11105/stat : 11105 (java) S 11094 11097 8337 0 -1 4202560 849 0 0 0 411 32 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277053381160 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11106] ppid=11094 vsize=9824732 CPUtime=3.72 cores=0,2,4,6
/proc/11097/task/11106/stat : 11106 (java) S 11094 11097 8337 0 -1 4202560 691 0 0 0 346 26 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277052328104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11107] ppid=11094 vsize=9824732 CPUtime=3.86 cores=0,2,4,6
/proc/11097/task/11107/stat : 11107 (java) S 11094 11097 8337 0 -1 4202560 806 0 0 0 358 28 0 0 20 0 22 0 22789344 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277051275560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11108] ppid=11094 vsize=9824732 CPUtime=3.72 cores=0,2,4,6
/proc/11097/task/11108/stat : 11108 (java) S 11094 11097 8337 0 -1 4202560 2604 0 0 0 362 10 0 0 20 0 22 0 22789346 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277039078248 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11109] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11109/stat : 11109 (java) S 11094 11097 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22789346 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277038024568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11110] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11110/stat : 11110 (java) S 11094 11097 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22789346 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277036971400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11111] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11111/stat : 11111 (java) S 11094 11097 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22789348 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277035920144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11112] ppid=11094 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/11097/task/11112/stat : 11112 (java) S 11094 11097 8337 0 -1 4202560 7942 0 0 0 113 1 0 0 20 0 22 0 22789348 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277034867000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11113] ppid=11094 vsize=9824732 CPUtime=1.89 cores=0,2,4,6
/proc/11097/task/11113/stat : 11113 (java) S 11094 11097 8337 0 -1 4202560 9084 0 0 0 186 3 0 0 20 0 22 0 22789348 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277033814456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11097/tid=11114] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11114/stat : 11114 (java) S 11094 11097 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22789348 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277032761592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11097/tid=11115] ppid=11094 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/11097/task/11115/stat : 11115 (java) S 11094 11097 8337 0 -1 4202560 51 0 0 0 14 14 0 0 20 0 22 0 22789348 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277031709256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11116] ppid=11094 vsize=9824732 CPUtime=879.57 cores=0,2,4,6
/proc/11097/task/11116/stat : 11116 (java) R 11094 11097 8337 0 -1 4202560 175 0 0 0 87938 19 0 0 20 0 22 0 22789538 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277030646160 140277273100482 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11117] ppid=11094 vsize=9824732 CPUtime=879.51 cores=0,2,4,6
/proc/11097/task/11117/stat : 11117 (java) R 11094 11097 8337 0 -1 4202560 1309 0 0 0 87916 35 0 0 20 0 22 0 22789538 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277029600432 140277273536391 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11097/tid=11118] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11118/stat : 11118 (java) S 11094 11097 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22789554 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277028549928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11097/tid=11119] ppid=11094 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11097/task/11119/stat : 11119 (java) S 11094 11097 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22789554 10060525568 1002274 33554432000 1073741824 1073778376 140736332722224 140277027497384 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 11097 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 893.663
CPU time (s): 1800.72
CPU user time (s): 1797.32
CPU system time (s): 3.40148
CPU usage (%): 201.499
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.32
system time used= 3.40148
maximum resident set size= 4009240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31740
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22720
involuntary context switches= 22243
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43417 second user time and 7.57385 second system time
The end