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-4118043-1467218832/watcher-4118043-1467218832 -o /tmp/evaluation-result-4118043-1467218832/solver-4118043-1467218832 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6646 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118043-1467218832.opb
pid=8456
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.30 4.04 3.84 5/197 8459
/proc/meminfo: memFree=27433744/32872528 swapFree=1499084/1695308
[pid=8459] ppid=8456 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/8459/stat : 8459 (java) D 8456 8459 5962 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 2834415 9515008 186 33554432000 1073741824 1073778376 140736871027664 140736871016728 225435544871 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/8459/statm: 2323 186 143 9 0 71 0
[startup+0.10006 s]
/proc/loadavg: 4.30 4.04 3.84 5/197 8459
/proc/meminfo: memFree=27433744/32872528 swapFree=1499084/1695308
[pid=8459] ppid=8456 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/8459/stat : 8459 (java) S 8456 8459 5962 0 -1 4202496 4441 0 1 0 8 1 0 0 20 0 18 0 2834415 9787879424 6078 33554432000 1073741824 1073778376 140736871027664 140736871018800 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8459/statm: 2389619 6078 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200215 s]
/proc/loadavg: 4.30 4.04 3.84 5/197 8459
/proc/meminfo: memFree=27433744/32872528 swapFree=1499084/1695308
[pid=8459] ppid=8456 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/8459/stat : 8459 (java) S 8456 8459 5962 0 -1 4202496 4646 0 1 0 21 1 0 0 20 0 18 0 2834415 9787879424 7285 33554432000 1073741824 1073778376 140736871027664 140736871018800 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8459/statm: 2389619 7285 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476
[startup+0.300216 s]
/proc/loadavg: 4.30 4.04 3.84 5/197 8459
/proc/meminfo: memFree=27433744/32872528 swapFree=1499084/1695308
[pid=8459] ppid=8456 vsize=9558476 CPUtime=0.44 cores=0,2,4,6
/proc/8459/stat : 8459 (java) S 8456 8459 5962 0 -1 4202496 5594 0 1 0 42 2 0 0 20 0 18 0 2834415 9787879424 8870 33554432000 1073741824 1073778376 140736871027664 140736871018800 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8459/statm: 2389619 8870 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476
[startup+0.700187 s]
/proc/loadavg: 4.30 4.04 3.84 5/197 8459
/proc/meminfo: memFree=27433744/32872528 swapFree=1499084/1695308
[pid=8459] ppid=8456 vsize=9558476 CPUtime=1.6 cores=0,2,4,6
/proc/8459/stat : 8459 (java) S 8456 8459 5962 0 -1 4202496 31927 0 1 0 154 6 0 0 20 0 18 0 2834415 9787879424 34290 33554432000 1073741824 1073778376 140736871027664 140736871018800 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8459/statm: 2389619 34290 2255 9 0 2380296 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 9558476
[startup+1.50081 s]
/proc/loadavg: 4.30 4.04 3.84 7/215 8477
/proc/meminfo: memFree=27236972/32872528 swapFree=1499084/1695308
[pid=8459] ppid=8456 vsize=9558476 CPUtime=4.08 cores=0,2,4,6
/proc/8459/stat : 8459 (java) S 8456 8459 5962 0 -1 4202496 43887 0 1 0 391 17 0 0 20 0 18 0 2834415 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140736871018800 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8459/statm: 2389619 70158 2273 9 0 2380296 0
[pid=8459/tid=8461] ppid=8456 vsize=9558476 CPUtime=1.37 cores=0,2,4,6
/proc/8459/task/8461/stat : 8461 (java) R 8456 8459 5962 0 -1 4202560 2529 0 1 0 133 4 0 0 20 0 18 0 2834415 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140442682481720 140442555416945 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8462] ppid=8456 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/8459/task/8462/stat : 8462 (java) S 8456 8459 5962 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 18 0 2834417 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140442526481064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8463] ppid=8456 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/8459/task/8463/stat : 8463 (java) S 8456 8459 5962 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 2834417 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140442525428520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8464] ppid=8456 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/8459/task/8464/stat : 8464 (java) S 8456 8459 5962 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 18 0 2834417 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140442524375976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8465] ppid=8456 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/8459/task/8465/stat : 8465 (java) S 8456 8459 5962 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 18 0 2834417 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140442523323432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8466] ppid=8456 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/8459/task/8466/stat : 8466 (java) S 8456 8459 5962 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 18 0 2834417 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140442522269864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8467] ppid=8456 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/8459/task/8467/stat : 8467 (java) S 8456 8459 5962 0 -1 4202560 16 0 0 0 2 1 0 0 20 0 18 0 2834417 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140442521217320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8468] ppid=8456 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/8459/task/8468/stat : 8468 (java) S 8456 8459 5962 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 2834417 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140442520164776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8469] ppid=8456 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/8459/task/8469/stat : 8469 (java) S 8456 8459 5962 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 2834417 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140442519112232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8470] ppid=8456 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8470/stat : 8470 (java) S 8456 8459 5962 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 2834418 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140442506701416 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8471] ppid=8456 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8471/stat : 8471 (java) S 8456 8459 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 2834418 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140442505647736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8472] ppid=8456 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8472/stat : 8472 (java) S 8456 8459 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 2834418 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140442504595080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8473] ppid=8456 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8473/stat : 8473 (java) S 8456 8459 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2834421 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140442503543824 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8474] ppid=8456 vsize=9558476 CPUtime=1.2 cores=0,2,4,6
/proc/8459/task/8474/stat : 8474 (java) R 8456 8459 5962 0 -1 4202560 20386 0 0 0 116 4 0 0 20 0 18 0 2834421 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140442502467416 140442689469707 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8475] ppid=8456 vsize=9558476 CPUtime=1.2 cores=0,2,4,6
/proc/8459/task/8475/stat : 8475 (java) R 8456 8459 5962 0 -1 4202560 19528 0 0 0 116 4 0 0 20 0 18 0 2834421 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140442501415736 140442688326394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8476] ppid=8456 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8476/stat : 8476 (java) S 8456 8459 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2834421 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140442500385272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8477] ppid=8456 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8477/stat : 8477 (java) S 8456 8459 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2834421 9787879424 70158 33554432000 1073741824 1073778376 140736871027664 140442499332936 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 9558476
[startup+3.10077 s]
/proc/loadavg: 4.52 4.09 3.86 11/215 8477
/proc/meminfo: memFree=26938144/32872528 swapFree=1499084/1695308
[pid=8459] ppid=8456 vsize=9824732 CPUtime=8.35 cores=0,2,4,6
/proc/8459/stat : 8459 (java) S 8456 8459 5962 0 -1 4202496 45106 0 1 0 782 53 0 0 20 0 22 0 2834415 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140736871018800 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8459/statm: 2456183 162880 2283 9 0 2446860 0
[pid=8459/tid=8461] ppid=8456 vsize=9824732 CPUtime=2.06 cores=0,2,4,6
/proc/8459/task/8461/stat : 8461 (java) S 8456 8459 5962 0 -1 4202560 2590 0 1 0 201 5 0 0 20 0 22 0 2834415 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140442682483576 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8462] ppid=8456 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/8459/task/8462/stat : 8462 (java) R 8456 8459 5962 0 -1 4202560 175 0 0 0 9 4 0 0 20 0 22 0 2834417 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140442526481240 140442684954313 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8463] ppid=8456 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/8459/task/8463/stat : 8463 (java) R 8456 8459 5962 0 -1 4202560 136 0 0 0 25 8 0 0 20 0 22 0 2834417 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140442525428520 140442684954305 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8464] ppid=8456 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/8459/task/8464/stat : 8464 (java) R 8456 8459 5962 0 -1 4202560 91 0 0 0 15 5 0 0 20 0 22 0 2834417 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140442524376152 140442684954297 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8465] ppid=8456 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/8459/task/8465/stat : 8465 (java) R 8456 8459 5962 0 -1 4202560 211 0 0 0 24 8 0 0 20 0 22 0 2834417 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140442523323608 140442686644879 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8466] ppid=8456 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/8459/task/8466/stat : 8466 (java) R 8456 8459 5962 0 -1 4202560 59 0 0 0 11 3 0 0 20 0 22 0 2834417 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140442522269744 140442689379054 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8467] ppid=8456 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/8459/task/8467/stat : 8467 (java) R 8456 8459 5962 0 -1 4202560 129 0 0 0 9 4 0 0 20 0 22 0 2834417 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140442521217496 140442686645060 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8468] ppid=8456 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/8459/task/8468/stat : 8468 (java) R 8456 8459 5962 0 -1 4202560 89 0 0 0 13 5 0 0 20 0 22 0 2834417 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140442520164952 140442686658735 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8469] ppid=8456 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/8459/task/8469/stat : 8469 (java) R 8456 8459 5962 0 -1 4202560 188 0 0 0 15 5 0 0 20 0 22 0 2834417 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140442519112232 140442686658735 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8470] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8470/stat : 8470 (java) S 8456 8459 5962 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 2834418 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140442506700296 225448080444 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8471] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8471/stat : 8471 (java) S 8456 8459 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2834418 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140442505647736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8472] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8472/stat : 8472 (java) S 8456 8459 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2834418 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140442504595080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8473] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8473/stat : 8473 (java) S 8456 8459 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2834421 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140442503543824 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8474] ppid=8456 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/8459/task/8474/stat : 8474 (java) S 8456 8459 5962 0 -1 4202560 20391 0 0 0 170 4 0 0 20 0 22 0 2834421 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140442502490168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8475] ppid=8456 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/8459/task/8475/stat : 8475 (java) S 8456 8459 5962 0 -1 4202560 19536 0 0 0 169 4 0 0 20 0 22 0 2834421 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140442501437624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8476] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8476/stat : 8476 (java) S 8456 8459 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2834421 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140442500385272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8477] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8477/stat : 8477 (java) S 8456 8459 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2834421 10060525568 162880 33554432000 1073741824 1073778376 140736871027664 140442499332936 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.35
Current children cumulated vsize (KiB) 9824732
[startup+6.30101 s]
/proc/loadavg: 4.52 4.09 3.86 5/219 8481
/proc/meminfo: memFree=26513316/32872528 swapFree=1499084/1695308
[pid=8459] ppid=8456 vsize=9824732 CPUtime=14.87 cores=0,2,4,6
/proc/8459/stat : 8459 (java) S 8456 8459 5962 0 -1 4202496 46136 0 1 0 1425 62 0 0 20 0 22 0 2834415 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140736871018800 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8459/statm: 2456183 231559 2296 9 0 2446860 0
[pid=8459/tid=8461] ppid=8456 vsize=9824732 CPUtime=2.06 cores=0,2,4,6
/proc/8459/task/8461/stat : 8461 (java) S 8456 8459 5962 0 -1 4202560 2591 0 1 0 201 5 0 0 20 0 22 0 2834415 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442682483576 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8462] ppid=8456 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/8459/task/8462/stat : 8462 (java) S 8456 8459 5962 0 -1 4202560 188 0 0 0 13 4 0 0 20 0 22 0 2834417 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442526481064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8463] ppid=8456 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/8459/task/8463/stat : 8463 (java) S 8456 8459 5962 0 -1 4202560 168 0 0 0 33 9 0 0 20 0 22 0 2834417 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442525428520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8464] ppid=8456 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/8459/task/8464/stat : 8464 (java) S 8456 8459 5962 0 -1 4202560 112 0 0 0 23 6 0 0 20 0 22 0 2834417 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442524375976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8465] ppid=8456 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/8459/task/8465/stat : 8465 (java) S 8456 8459 5962 0 -1 4202560 230 0 0 0 31 8 0 0 20 0 22 0 2834417 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442523323432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8466] ppid=8456 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/8459/task/8466/stat : 8466 (java) S 8456 8459 5962 0 -1 4202560 99 0 0 0 16 4 0 0 20 0 22 0 2834417 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442522269864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8467] ppid=8456 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/8459/task/8467/stat : 8467 (java) S 8456 8459 5962 0 -1 4202560 187 0 0 0 12 4 0 0 20 0 22 0 2834417 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442521217320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8468] ppid=8456 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/8459/task/8468/stat : 8468 (java) S 8456 8459 5962 0 -1 4202560 114 0 0 0 15 6 0 0 20 0 22 0 2834417 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442520164776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8469] ppid=8456 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/8459/task/8469/stat : 8469 (java) S 8456 8459 5962 0 -1 4202560 201 0 0 0 18 6 0 0 20 0 22 0 2834417 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442519112232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8470] ppid=8456 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/8459/task/8470/stat : 8470 (java) S 8456 8459 5962 0 -1 4202560 710 0 0 0 73 0 0 0 20 0 22 0 2834418 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442506701416 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8471] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8471/stat : 8471 (java) S 8456 8459 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2834418 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442505647736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8472] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8472/stat : 8472 (java) S 8456 8459 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2834418 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442504595080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8473] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8473/stat : 8473 (java) S 8456 8459 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2834421 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442503543824 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8474] ppid=8456 vsize=9824732 CPUtime=2.14 cores=0,2,4,6
/proc/8459/task/8474/stat : 8474 (java) S 8456 8459 5962 0 -1 4202560 20400 0 0 0 210 4 0 0 20 0 22 0 2834421 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442502490168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8475] ppid=8456 vsize=9824732 CPUtime=1.98 cores=0,2,4,6
/proc/8459/task/8475/stat : 8475 (java) S 8456 8459 5962 0 -1 4202560 19536 0 0 0 194 4 0 0 20 0 22 0 2834421 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442501437624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8476] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8476/stat : 8476 (java) S 8456 8459 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2834421 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442500385272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8477] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8477/stat : 8477 (java) S 8456 8459 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2834421 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442499332936 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8478] ppid=8456 vsize=9824732 CPUtime=2.85 cores=0,2,4,6
/proc/8459/task/8478/stat : 8478 (java) R 8456 8459 5962 0 -1 4202560 21 0 0 0 285 0 0 0 20 0 22 0 2834665 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442498276048 140442556576200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8479] ppid=8456 vsize=9824732 CPUtime=2.87 cores=0,2,4,6
/proc/8459/task/8479/stat : 8479 (java) R 8456 8459 5962 0 -1 4202560 312 0 0 0 283 4 0 0 20 0 22 0 2834665 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442497224920 140442556576200 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8480] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8480/stat : 8480 (java) S 8456 8459 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2834682 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442496173608 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8481] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8481/stat : 8481 (java) S 8456 8459 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2834683 10060525568 231559 33554432000 1073741824 1073778376 140736871027664 140442495121064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 14.87
################
# More data... #
################
[startup+882.309 s]
/proc/loadavg: 4.14 4.02 3.98 6/220 8781
/proc/meminfo: memFree=23199276/32872528 swapFree=1499084/1695308
[pid=8459] ppid=8456 vsize=9824732 CPUtime=1768.5 cores=0,2,4,6
/proc/8459/stat : 8459 (java) S 8456 8459 5962 0 -1 4202496 50249 0 1 0 176651 199 0 0 20 0 22 0 2834415 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140736871018800 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8459/statm: 2456183 586333 2302 9 0 2446860 0
[pid=8459/tid=8461] ppid=8456 vsize=9824732 CPUtime=3.14 cores=0,2,4,6
/proc/8459/task/8461/stat : 8461 (java) S 8456 8459 5962 0 -1 4202560 3078 0 1 0 307 7 0 0 20 0 22 0 2834415 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442682483576 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8462] ppid=8456 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/8459/task/8462/stat : 8462 (java) S 8456 8459 5962 0 -1 4202560 435 0 0 0 69 12 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442526481064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8463] ppid=8456 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/8459/task/8463/stat : 8463 (java) S 8456 8459 5962 0 -1 4202560 524 0 0 0 99 21 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442525428520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8464] ppid=8456 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/8459/task/8464/stat : 8464 (java) S 8456 8459 5962 0 -1 4202560 480 0 0 0 122 24 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442524375976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8465] ppid=8456 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/8459/task/8465/stat : 8465 (java) S 8456 8459 5962 0 -1 4202560 645 0 0 0 100 21 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442523323432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8466] ppid=8456 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/8459/task/8466/stat : 8466 (java) S 8456 8459 5962 0 -1 4202560 432 0 0 0 91 16 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442522269864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8467] ppid=8456 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/8459/task/8467/stat : 8467 (java) S 8456 8459 5962 0 -1 4202560 511 0 0 0 104 19 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442521217320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8468] ppid=8456 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/8459/task/8468/stat : 8468 (java) S 8456 8459 5962 0 -1 4202560 446 0 0 0 86 18 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442520164776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8469] ppid=8456 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/8459/task/8469/stat : 8469 (java) S 8456 8459 5962 0 -1 4202560 549 0 0 0 91 19 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442519112232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8470] ppid=8456 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/8459/task/8470/stat : 8470 (java) S 8456 8459 5962 0 -1 4202560 1268 0 0 0 74 2 0 0 20 0 22 0 2834418 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442506701416 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8471] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8471/stat : 8471 (java) S 8456 8459 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2834418 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442505647736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8472] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8472/stat : 8472 (java) S 8456 8459 5962 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 2834418 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442504595080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8473] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8473/stat : 8473 (java) S 8456 8459 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2834421 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442503543824 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8474] ppid=8456 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/8459/task/8474/stat : 8474 (java) S 8456 8459 5962 0 -1 4202560 20408 0 0 0 245 4 0 0 20 0 22 0 2834421 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442502490168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8475] ppid=8456 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/8459/task/8475/stat : 8475 (java) S 8456 8459 5962 0 -1 4202560 19552 0 0 0 262 4 0 0 20 0 22 0 2834421 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442501437624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8476] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8476/stat : 8476 (java) S 8456 8459 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2834421 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442500385272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8477] ppid=8456 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/8459/task/8477/stat : 8477 (java) S 8456 8459 5962 0 -1 4202560 50 0 0 0 20 22 0 0 20 0 22 0 2834421 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442499332936 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8480] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8480/stat : 8480 (java) S 8456 8459 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2834682 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442496173608 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8488] ppid=8456 vsize=9824732 CPUtime=868.52 cores=0,2,4,6
/proc/8459/task/8488/stat : 8488 (java) R 8456 8459 5962 0 -1 4202560 10 0 0 0 86837 15 0 0 20 0 22 0 2835611 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442495111584 140442556762784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8489] ppid=8456 vsize=9824732 CPUtime=868.68 cores=0,2,4,6
/proc/8459/task/8489/stat : 8489 (java) R 8456 8459 5962 0 -1 4202560 168 0 0 0 86849 19 0 0 20 0 22 0 2835611 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442498277152 140442556719400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8490] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8490/stat : 8490 (java) S 8456 8459 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2835630 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442497225512 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1768.5
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.101 s]
/proc/loadavg: 4.18 4.04 3.98 5/219 8782
/proc/meminfo: memFree=23199412/32872528 swapFree=1499084/1695308
[pid=8459] ppid=8456 vsize=9824732 CPUtime=1800.09 cores=0,2,4,6
/proc/8459/stat : 8459 (java) S 8456 8459 5962 0 -1 4202496 50251 0 1 0 179809 200 0 0 20 0 22 0 2834415 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140736871018800 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8459/statm: 2456183 586333 2302 9 0 2446860 0
[pid=8459/tid=8461] ppid=8456 vsize=9824732 CPUtime=3.14 cores=0,2,4,6
/proc/8459/task/8461/stat : 8461 (java) S 8456 8459 5962 0 -1 4202560 3078 0 1 0 307 7 0 0 20 0 22 0 2834415 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442682483576 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8462] ppid=8456 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/8459/task/8462/stat : 8462 (java) S 8456 8459 5962 0 -1 4202560 435 0 0 0 69 12 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442526481064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8463] ppid=8456 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/8459/task/8463/stat : 8463 (java) S 8456 8459 5962 0 -1 4202560 524 0 0 0 99 21 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442525428520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8464] ppid=8456 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/8459/task/8464/stat : 8464 (java) S 8456 8459 5962 0 -1 4202560 480 0 0 0 122 24 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442524375976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8465] ppid=8456 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/8459/task/8465/stat : 8465 (java) S 8456 8459 5962 0 -1 4202560 645 0 0 0 100 21 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442523323432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8466] ppid=8456 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/8459/task/8466/stat : 8466 (java) S 8456 8459 5962 0 -1 4202560 432 0 0 0 91 16 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442522269864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8467] ppid=8456 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/8459/task/8467/stat : 8467 (java) S 8456 8459 5962 0 -1 4202560 511 0 0 0 104 19 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442521217320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8468] ppid=8456 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/8459/task/8468/stat : 8468 (java) S 8456 8459 5962 0 -1 4202560 446 0 0 0 86 18 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442520164776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8469] ppid=8456 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/8459/task/8469/stat : 8469 (java) S 8456 8459 5962 0 -1 4202560 549 0 0 0 91 19 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442519112232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8470] ppid=8456 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/8459/task/8470/stat : 8470 (java) S 8456 8459 5962 0 -1 4202560 1268 0 0 0 74 2 0 0 20 0 22 0 2834418 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442506701416 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8471] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8471/stat : 8471 (java) S 8456 8459 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2834418 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442505647736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8472] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8472/stat : 8472 (java) S 8456 8459 5962 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 2834418 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442504595080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8473] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8473/stat : 8473 (java) S 8456 8459 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2834421 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442503543824 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8474] ppid=8456 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/8459/task/8474/stat : 8474 (java) S 8456 8459 5962 0 -1 4202560 20408 0 0 0 245 4 0 0 20 0 22 0 2834421 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442502490168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8475] ppid=8456 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/8459/task/8475/stat : 8475 (java) S 8456 8459 5962 0 -1 4202560 19552 0 0 0 262 4 0 0 20 0 22 0 2834421 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442501437624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8476] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8476/stat : 8476 (java) S 8456 8459 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2834421 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442500385272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8477] ppid=8456 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/8459/task/8477/stat : 8477 (java) S 8456 8459 5962 0 -1 4202560 52 0 0 0 21 22 0 0 20 0 22 0 2834421 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442499332936 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8480] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8480/stat : 8480 (java) S 8456 8459 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2834682 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442496173608 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8488] ppid=8456 vsize=9824732 CPUtime=884.31 cores=0,2,4,6
/proc/8459/task/8488/stat : 8488 (java) R 8456 8459 5962 0 -1 4202560 10 0 0 0 88416 15 0 0 20 0 22 0 2835611 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442495111584 140442555640683 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8489] ppid=8456 vsize=9824732 CPUtime=884.47 cores=0,2,4,6
/proc/8459/task/8489/stat : 8489 (java) R 8456 8459 5962 0 -1 4202560 168 0 0 0 88428 19 0 0 20 0 22 0 2835611 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442498277152 140442556717940 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8490] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8490/stat : 8490 (java) S 8456 8459 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2835630 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442497225512 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8459 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+898.101 s]
/proc/loadavg: 4.18 4.04 3.98 5/219 8782
/proc/meminfo: memFree=23199412/32872528 swapFree=1499084/1695308
[pid=8459] ppid=8456 vsize=9824732 CPUtime=1800.09 cores=0,2,4,6
/proc/8459/stat : 8459 (java) S 8456 8459 5962 0 -1 4202496 50251 0 1 0 179809 200 0 0 20 0 22 0 2834415 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140736871018800 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8459/statm: 2456183 586333 2302 9 0 2446860 0
[pid=8459/tid=8461] ppid=8456 vsize=9824732 CPUtime=3.14 cores=0,2,4,6
/proc/8459/task/8461/stat : 8461 (java) S 8456 8459 5962 0 -1 4202560 3078 0 1 0 307 7 0 0 20 0 22 0 2834415 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442682483576 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8462] ppid=8456 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/8459/task/8462/stat : 8462 (java) S 8456 8459 5962 0 -1 4202560 435 0 0 0 69 12 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442526481064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8463] ppid=8456 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/8459/task/8463/stat : 8463 (java) S 8456 8459 5962 0 -1 4202560 524 0 0 0 99 21 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442525428520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8464] ppid=8456 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/8459/task/8464/stat : 8464 (java) S 8456 8459 5962 0 -1 4202560 480 0 0 0 122 24 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442524375976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8465] ppid=8456 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/8459/task/8465/stat : 8465 (java) S 8456 8459 5962 0 -1 4202560 645 0 0 0 100 21 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442523323432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8466] ppid=8456 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/8459/task/8466/stat : 8466 (java) S 8456 8459 5962 0 -1 4202560 432 0 0 0 91 16 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442522269864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8467] ppid=8456 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/8459/task/8467/stat : 8467 (java) S 8456 8459 5962 0 -1 4202560 511 0 0 0 104 19 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442521217320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8468] ppid=8456 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/8459/task/8468/stat : 8468 (java) S 8456 8459 5962 0 -1 4202560 446 0 0 0 86 18 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442520164776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8469] ppid=8456 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/8459/task/8469/stat : 8469 (java) S 8456 8459 5962 0 -1 4202560 549 0 0 0 91 19 0 0 20 0 22 0 2834417 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442519112232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8470] ppid=8456 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/8459/task/8470/stat : 8470 (java) S 8456 8459 5962 0 -1 4202560 1268 0 0 0 74 2 0 0 20 0 22 0 2834418 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442506701416 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8471] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8471/stat : 8471 (java) S 8456 8459 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2834418 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442505647736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8472] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8472/stat : 8472 (java) S 8456 8459 5962 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 2834418 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442504595080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8473] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8473/stat : 8473 (java) S 8456 8459 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2834421 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442503543824 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8474] ppid=8456 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/8459/task/8474/stat : 8474 (java) S 8456 8459 5962 0 -1 4202560 20408 0 0 0 245 4 0 0 20 0 22 0 2834421 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442502490168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8475] ppid=8456 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/8459/task/8475/stat : 8475 (java) S 8456 8459 5962 0 -1 4202560 19552 0 0 0 262 4 0 0 20 0 22 0 2834421 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442501437624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8476] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8476/stat : 8476 (java) S 8456 8459 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2834421 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442500385272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8477] ppid=8456 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/8459/task/8477/stat : 8477 (java) S 8456 8459 5962 0 -1 4202560 52 0 0 0 21 22 0 0 20 0 22 0 2834421 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442499332936 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8459/tid=8480] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8480/stat : 8480 (java) S 8456 8459 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2834682 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442496173608 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8459/tid=8488] ppid=8456 vsize=9824732 CPUtime=884.31 cores=0,2,4,6
/proc/8459/task/8488/stat : 8488 (java) R 8456 8459 5962 0 -1 4202560 10 0 0 0 88416 15 0 0 20 0 22 0 2835611 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442495111584 140442555640683 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8459/tid=8489] ppid=8456 vsize=9824732 CPUtime=884.47 cores=0,2,4,6
/proc/8459/task/8489/stat : 8489 (java) R 8456 8459 5962 0 -1 4202560 168 0 0 0 88428 19 0 0 20 0 22 0 2835611 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442498277152 140442556717940 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8459/tid=8490] ppid=8456 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8459/task/8490/stat : 8490 (java) S 8456 8459 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2835630 10060525568 586333 33554432000 1073741824 1073778376 140736871027664 140442497225512 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 898.148
CPU time (s): 1800.76
CPU user time (s): 1798.23
CPU system time (s): 2.53361
CPU usage (%): 200.497
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.23
system time used= 2.53361
maximum resident set size= 2345444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50289
page faults= 1
swaps= 0
block input operations= 0
block output operations= 584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21967
involuntary context switches= 9633
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80212 second user time and 8.11377 second system time
The end