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-4119216-1467250487/watcher-4119216-1467250487 -o /tmp/evaluation-result-4119216-1467250487/solver-4119216-1467250487 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467246696-6244 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119216-1467250487.opb
pid=8700
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.24 4.11 3.96 4/197 8703
/proc/meminfo: memFree=30295620/32872528 swapFree=480236/529292
[pid=8703] ppid=8700 vsize=89800 CPUtime=0 cores=0,2,4,6
/proc/8703/stat : 8703 (java) S 8700 8703 6228 0 -1 4202496 1259 0 0 0 0 0 0 0 20 0 2 0 4068623 91955200 901 33554432000 1073741824 1073778376 140734511217776 140734511208912 211462160445 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 22954 902 683 9 0 16769 0
[pid=8703/tid=8704] ppid=8700 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8704/stat : 8704 (java) D 8700 8703 6228 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 4068624 94019584 917 33554432000 1073741824 1073778376 140734511217776 140364933750312 211449638183 0 0 4096 0 18446744072100588836 0 0 -1 2 0 0 0 0 0
[startup+0.100162 s]
/proc/loadavg: 4.24 4.11 3.96 4/197 8703
/proc/meminfo: memFree=30295620/32872528 swapFree=480236/529292
[pid=8703] ppid=8700 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/8703/stat : 8703 (java) S 8700 8703 6228 0 -1 4202496 4486 0 1 0 10 1 0 0 20 0 18 0 4068623 9787879424 6118 33554432000 1073741824 1073778376 140734511217776 140734511208912 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2389619 6118 2156 9 0 2380296 0
[pid=8703/tid=8704] ppid=8700 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/8703/task/8704/stat : 8704 (java) R 8700 8703 6228 0 -1 4202560 2386 0 1 0 7 0 0 0 20 0 18 0 4068624 9787879424 6118 33554432000 1073741824 1073778376 140734511217776 140364933754232 140364935946529 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200265 s]
/proc/loadavg: 4.24 4.11 3.96 4/197 8703
/proc/meminfo: memFree=30295620/32872528 swapFree=480236/529292
[pid=8703] ppid=8700 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/8703/stat : 8703 (java) S 8700 8703 6228 0 -1 4202496 4742 0 1 0 25 1 0 0 20 0 18 0 4068623 9787879424 7832 33554432000 1073741824 1073778376 140734511217776 140734511208912 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2389619 7832 2213 9 0 2380296 0
[pid=8703/tid=8704] ppid=8700 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/8703/task/8704/stat : 8704 (java) R 8700 8703 6228 0 -1 4202560 2418 0 1 0 17 0 0 0 20 0 18 0 4068624 9787879424 7832 33554432000 1073741824 1073778376 140734511217776 140364933754232 140364782525058 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300333 s]
/proc/loadavg: 4.24 4.11 3.96 4/197 8703
/proc/meminfo: memFree=30295620/32872528 swapFree=480236/529292
[pid=8703] ppid=8700 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/8703/stat : 8703 (java) S 8700 8703 6228 0 -1 4202496 5325 0 1 0 39 3 0 0 20 0 19 0 4068623 10060525568 9306 33554432000 1073741824 1073778376 140734511217776 140734511208912 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2456183 9306 2243 9 0 2446860 0
[pid=8703/tid=8704] ppid=8700 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/8703/task/8704/stat : 8704 (java) S 8700 8703 6228 0 -1 4202560 2432 0 1 0 23 0 0 0 20 0 19 0 4068624 10060525568 9306 33554432000 1073741824 1073778376 140734511217776 140364933755768 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9824732
[startup+0.700323 s]
/proc/loadavg: 4.24 4.11 3.96 4/197 8703
/proc/meminfo: memFree=30295620/32872528 swapFree=480236/529292
[pid=8703] ppid=8700 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/8703/stat : 8703 (java) S 8700 8703 6228 0 -1 4202496 5325 0 1 0 39 3 0 0 20 0 19 0 4068623 10060525568 9306 33554432000 1073741824 1073778376 140734511217776 140734511208912 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2456183 9306 2243 9 0 2446860 0
[pid=8703/tid=8704] ppid=8700 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/8703/task/8704/stat : 8704 (java) S 8700 8703 6228 0 -1 4202560 2432 0 1 0 23 0 0 0 20 0 19 0 4068624 10060525568 9306 33554432000 1073741824 1073778376 140734511217776 140364933755768 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9824732
[startup+1.50082 s]
/proc/loadavg: 4.24 4.11 3.96 3/216 8728
/proc/meminfo: memFree=30260172/32872528 swapFree=480236/529292
[pid=8703] ppid=8700 vsize=9824732 CPUtime=0.69 cores=0,2,4,6
/proc/8703/stat : 8703 (java) S 8700 8703 6228 0 -1 4202496 8243 0 1 0 63 6 0 0 20 0 19 0 4068623 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140734511208912 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2456183 13296 2248 9 0 2446860 0
[pid=8703/tid=8704] ppid=8700 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/8703/task/8704/stat : 8704 (java) S 8700 8703 6228 0 -1 4202560 2437 0 1 0 23 1 0 0 20 0 19 0 4068624 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364933755768 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8706] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8706/stat : 8706 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068624 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364906207400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8707] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8707/stat : 8707 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068624 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364905154856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8708] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8708/stat : 8708 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068624 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364904102312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8709] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8709/stat : 8709 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068624 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364903049768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8710] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8710/stat : 8710 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068624 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364901997224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8711] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8711/stat : 8711 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068624 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364771535656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8712] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8712/stat : 8712 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068624 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364770483112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8713] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8713/stat : 8713 (java) S 8700 8703 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4068624 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364769430568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8714] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8714/stat : 8714 (java) S 8700 8703 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4068625 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364286482536 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8715] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8715/stat : 8715 (java) S 8700 8703 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4068626 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364285428856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8716] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8716/stat : 8716 (java) S 8700 8703 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4068626 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364284376200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8717] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8717/stat : 8717 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068628 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364283324944 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8718] ppid=8700 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/8703/task/8718/stat : 8718 (java) S 8700 8703 6228 0 -1 4202560 3110 0 0 0 17 0 0 0 20 0 19 0 4068628 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364282272312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8719] ppid=8700 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/8703/task/8719/stat : 8719 (java) S 8700 8703 6228 0 -1 4202560 1351 0 0 0 14 0 0 0 20 0 19 0 4068628 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364281219768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8720] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8720/stat : 8720 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068628 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364280167416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8721] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8721/stat : 8721 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068628 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364279115080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8728] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8728/stat : 8728 (java) S 8700 8703 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4068700 10060525568 13296 33554432000 1073741824 1073778376 140734511217776 140364274902568 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9824732
[startup+3.10083 s]
/proc/loadavg: 4.54 4.18 3.98 4/216 8734
/proc/meminfo: memFree=30227292/32872528 swapFree=480236/529292
[pid=8703] ppid=8700 vsize=9824732 CPUtime=1.77 cores=0,2,4,6
/proc/8703/stat : 8703 (java) S 8700 8703 6228 0 -1 4202496 16236 0 1 0 168 9 0 0 20 0 19 0 4068623 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140734511208912 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2456183 21669 2254 9 0 2446860 0
[pid=8703/tid=8704] ppid=8700 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/8703/task/8704/stat : 8704 (java) S 8700 8703 6228 0 -1 4202560 2437 0 1 0 24 2 0 0 20 0 19 0 4068624 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364933755768 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8706] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8706/stat : 8706 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068624 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364906207400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8707] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8707/stat : 8707 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068624 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364905154856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8708] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8708/stat : 8708 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068624 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364904102312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8709] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8709/stat : 8709 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068624 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364903049768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8710] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8710/stat : 8710 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068624 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364901997224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8711] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8711/stat : 8711 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068624 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364771535656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8712] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8712/stat : 8712 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068624 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364770483112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8713] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8713/stat : 8713 (java) S 8700 8703 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4068624 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364769430568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8714] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8714/stat : 8714 (java) S 8700 8703 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4068625 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364286482536 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8715] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8715/stat : 8715 (java) S 8700 8703 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4068626 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364285428856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8716] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8716/stat : 8716 (java) S 8700 8703 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4068626 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364284376200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8717] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8717/stat : 8717 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068628 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364283324944 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8718] ppid=8700 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/8703/task/8718/stat : 8718 (java) S 8700 8703 6228 0 -1 4202560 7219 0 0 0 52 2 0 0 20 0 19 0 4068628 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364282272312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8719] ppid=8700 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/8703/task/8719/stat : 8719 (java) S 8700 8703 6228 0 -1 4202560 5206 0 0 0 38 1 0 0 20 0 19 0 4068628 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364281219768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8720] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8720/stat : 8720 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068628 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364280167416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8721] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8721/stat : 8721 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4068628 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364279115080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8728] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8728/stat : 8728 (java) S 8700 8703 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4068700 10060525568 21669 33554432000 1073741824 1073778376 140734511217776 140364274902568 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 9824732
heavy processes:
[startup+6.30094 s]
/proc/loadavg: 4.54 4.18 3.98 4/218 8746
/proc/meminfo: memFree=30120584/32872528 swapFree=480236/529292
[pid=8703] ppid=8700 vsize=9824732 CPUtime=4.97 cores=0,2,4,6
/proc/8703/stat : 8703 (java) S 8700 8703 6228 0 -1 4202496 17078 0 1 0 484 13 0 0 20 0 21 0 4068623 10060525568 49090 33554432000 1073741824 1073778376 140734511217776 140734511208912 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2456183 49090 2279 9 0 2446860 0
[pid=8703/tid=8704] ppid=8700 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/8703/task/8704/stat : 8704 (java) S 8700 8703 6228 0 -1 4202560 2439 0 1 0 24 2 0 0 20 0 21 0 4068624 10060525568 49090 33554432000 1073741824 1073778376 140734511217776 140364933755768 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8706] ppid=8700 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8703/task/8706/stat : 8706 (java) S 8700 8703 6228 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 21 0 4068624 10060525568 49090 33554432000 1073741824 1073778376 140734511217776 140364906207400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8707] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8707/stat : 8707 (java) S 8700 8703 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 4068624 10060525568 49090 33554432000 1073741824 1073778376 140734511217776 140364905154856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8708] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8708/stat : 8708 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 4068624 10060525568 49090 33554432000 1073741824 1073778376 140734511217776 140364904102312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8709] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8709/stat : 8709 (java) S 8700 8703 6228 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 21 0 4068624 10060525568 49090 33554432000 1073741824 1073778376 140734511217776 140364903049768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8710] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8710/stat : 8710 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 4068624 10060525568 49090 33554432000 1073741824 1073778376 140734511217776 140364901997224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8711] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8711/stat : 8711 (java) S 8700 8703 6228 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 21 0 4068624 10060525568 49090 33554432000 1073741824 1073778376 140734511217776 140364771535656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8712] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8712/stat : 8712 (java) S 8700 8703 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 4068624 10060525568 49090 33554432000 1073741824 1073778376 140734511217776 140364770483112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8713] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8713/stat : 8713 (java) S 8700 8703 6228 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 4068624 10060525568 49090 33554432000 1073741824 1073778376 140734511217776 140364769430568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8714] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8714/stat : 8714 (java) S 8700 8703 6228 0 -1 4202560 69 0 0 0 0 0 0 0 20 0 21 0 4068625 10060525568 49090 33554432000 1073741824 1073778376 140734511217776 140364286482536 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8715] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8715/stat : 8715 (java) S 8700 8703 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 4068626 10060525568 49090 33554432000 1073741824 1073778376 140734511217776 140364285428856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8716] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8716/stat : 8716 (java) S 8700 8703 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 4068626 10060525568 49090 33554432000 1073741824 1073778376 140734511217776 140364284376200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8717] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8717/stat : 8717 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 4068628 10060525568 49090 33554432000 1073741824 1073778376 140734511217776 140364283324944 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8718] ppid=8700 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/8703/task/8718/stat : 8718 (java) S 8700 8703 6228 0 -1 4202560 7836 0 0 0 82 2 0 0 20 0 21 0 4068628 10060525568 49090 33554432000 1073741824 1073778376 140734511217776 140364282272312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
################
# More data... #
################
[pid=8703/tid=8745] ppid=8700 vsize=9824732 CPUtime=1656.05 cores=0,2,4,6
/proc/8703/task/8745/stat : 8745 (java) R 8700 8703 6228 0 -1 4202560 700 0 0 0 165558 47 0 0 20 0 21 0 4069001 10060525568 610880 33554432000 1073741824 1073778376 140734511217776 140364277006080 140364783522592 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8746] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8746/stat : 8746 (java) S 8700 8703 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 4069002 10060525568 610880 33554432000 1073741824 1073778376 140734511217776 140364275954472 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1664.67
Current children cumulated vsize (KiB) 9824732
[startup+1722.3 s]
/proc/loadavg: 3.06 2.99 3.15 4/218 9085
/proc/meminfo: memFree=25038128/32872528 swapFree=480236/529292
[pid=8703] ppid=8700 vsize=9824732 CPUtime=1724.73 cores=0,2,4,6
/proc/8703/stat : 8703 (java) S 8700 8703 6228 0 -1 4202496 21742 0 1 0 172291 182 0 0 20 0 21 0 4068623 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140734511208912 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2456183 614602 2290 9 0 2446860 0
[pid=8703/tid=8704] ppid=8700 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/8703/task/8704/stat : 8704 (java) S 8700 8703 6228 0 -1 4202560 2455 0 1 0 46 11 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364933755880 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8706] ppid=8700 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/8703/task/8706/stat : 8706 (java) S 8700 8703 6228 0 -1 4202560 277 0 0 0 43 18 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364906207400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8707] ppid=8700 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/8703/task/8707/stat : 8707 (java) S 8700 8703 6228 0 -1 4202560 275 0 0 0 44 17 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364905154856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8708] ppid=8700 vsize=9824732 CPUtime=0.65 cores=0,2,4,6
/proc/8703/task/8708/stat : 8708 (java) S 8700 8703 6228 0 -1 4202560 307 0 0 0 48 17 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364904102312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8709] ppid=8700 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/8703/task/8709/stat : 8709 (java) S 8700 8703 6228 0 -1 4202560 237 0 0 0 39 14 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364903049768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8710] ppid=8700 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/8703/task/8710/stat : 8710 (java) S 8700 8703 6228 0 -1 4202560 306 0 0 0 47 17 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364901997224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8711] ppid=8700 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/8703/task/8711/stat : 8711 (java) S 8700 8703 6228 0 -1 4202560 297 0 0 0 53 18 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364771535656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8712] ppid=8700 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/8703/task/8712/stat : 8712 (java) S 8700 8703 6228 0 -1 4202560 268 0 0 0 42 16 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364770483112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8713] ppid=8700 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/8703/task/8713/stat : 8713 (java) S 8700 8703 6228 0 -1 4202560 238 0 0 0 38 14 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364769430568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8714] ppid=8700 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/8703/task/8714/stat : 8714 (java) S 8700 8703 6228 0 -1 4202560 1796 0 0 0 107 3 0 0 20 0 21 0 4068625 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364286482536 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8715] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8715/stat : 8715 (java) S 8700 8703 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 4068626 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364285428856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8716] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8716/stat : 8716 (java) S 8700 8703 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 4068626 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364284376200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8717] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8717/stat : 8717 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 4068628 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364283324944 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8718] ppid=8700 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/8703/task/8718/stat : 8718 (java) S 8700 8703 6228 0 -1 4202560 7836 0 0 0 83 2 0 0 20 0 21 0 4068628 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364282272312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8719] ppid=8700 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/8703/task/8719/stat : 8719 (java) S 8700 8703 6228 0 -1 4202560 5272 0 0 0 82 2 0 0 20 0 21 0 4068628 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364281219768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8720] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8720/stat : 8720 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 4068628 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364280167416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8721] ppid=8700 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/8703/task/8721/stat : 8721 (java) S 8700 8703 6228 0 -1 4202560 100 0 0 0 13 14 0 0 20 0 21 0 4068628 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364279115080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8728] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8728/stat : 8728 (java) S 8700 8703 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 4068700 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364274902568 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8745] ppid=8700 vsize=9824732 CPUtime=1716.03 cores=0,2,4,6
/proc/8703/task/8745/stat : 8745 (java) R 8700 8703 6228 0 -1 4202560 701 0 0 0 171555 48 0 0 20 0 21 0 4069001 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364277006288 140364783589850 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8746] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8746/stat : 8746 (java) S 8700 8703 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 4069002 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364275954472 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1724.73
Current children cumulated vsize (KiB) 9824732
[startup+1782.3 s]
/proc/loadavg: 3.02 2.99 3.14 4/218 9086
/proc/meminfo: memFree=25031488/32872528 swapFree=480236/529292
[pid=8703] ppid=8700 vsize=9824732 CPUtime=1784.74 cores=0,2,4,6
/proc/8703/stat : 8703 (java) S 8700 8703 6228 0 -1 4202496 21746 0 1 0 178291 183 0 0 20 0 21 0 4068623 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140734511208912 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2456183 614602 2290 9 0 2446860 0
[pid=8703/tid=8704] ppid=8700 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/8703/task/8704/stat : 8704 (java) S 8700 8703 6228 0 -1 4202560 2455 0 1 0 47 11 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364933755880 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8706] ppid=8700 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/8703/task/8706/stat : 8706 (java) S 8700 8703 6228 0 -1 4202560 277 0 0 0 43 18 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364906207400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8707] ppid=8700 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/8703/task/8707/stat : 8707 (java) S 8700 8703 6228 0 -1 4202560 275 0 0 0 44 17 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364905154856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8708] ppid=8700 vsize=9824732 CPUtime=0.65 cores=0,2,4,6
/proc/8703/task/8708/stat : 8708 (java) S 8700 8703 6228 0 -1 4202560 307 0 0 0 48 17 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364904102312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8709] ppid=8700 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/8703/task/8709/stat : 8709 (java) S 8700 8703 6228 0 -1 4202560 237 0 0 0 39 14 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364903049768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8710] ppid=8700 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/8703/task/8710/stat : 8710 (java) S 8700 8703 6228 0 -1 4202560 306 0 0 0 47 17 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364901997224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8711] ppid=8700 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/8703/task/8711/stat : 8711 (java) S 8700 8703 6228 0 -1 4202560 297 0 0 0 53 18 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364771535656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8712] ppid=8700 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/8703/task/8712/stat : 8712 (java) S 8700 8703 6228 0 -1 4202560 268 0 0 0 42 16 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364770483112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8713] ppid=8700 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/8703/task/8713/stat : 8713 (java) S 8700 8703 6228 0 -1 4202560 238 0 0 0 38 14 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364769430568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8714] ppid=8700 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/8703/task/8714/stat : 8714 (java) S 8700 8703 6228 0 -1 4202560 1796 0 0 0 107 3 0 0 20 0 21 0 4068625 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364286482536 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8715] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8715/stat : 8715 (java) S 8700 8703 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 4068626 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364285428856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8716] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8716/stat : 8716 (java) S 8700 8703 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 4068626 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364284376200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8717] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8717/stat : 8717 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 4068628 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364283324944 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8718] ppid=8700 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/8703/task/8718/stat : 8718 (java) S 8700 8703 6228 0 -1 4202560 7836 0 0 0 83 2 0 0 20 0 21 0 4068628 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364282272312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8719] ppid=8700 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/8703/task/8719/stat : 8719 (java) S 8700 8703 6228 0 -1 4202560 5272 0 0 0 82 2 0 0 20 0 21 0 4068628 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364281219768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8720] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8720/stat : 8720 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 4068628 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364280167416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8721] ppid=8700 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/8703/task/8721/stat : 8721 (java) S 8700 8703 6228 0 -1 4202560 104 0 0 0 14 14 0 0 20 0 21 0 4068628 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364279115080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8728] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8728/stat : 8728 (java) S 8700 8703 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 4068700 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364274902568 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8745] ppid=8700 vsize=9824732 CPUtime=1776.03 cores=0,2,4,6
/proc/8703/task/8745/stat : 8745 (java) R 8700 8703 6228 0 -1 4202560 701 0 0 0 177555 48 0 0 20 0 21 0 4069001 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364277006288 140364783523347 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8746] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8746/stat : 8746 (java) S 8700 8703 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 4069002 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364275954472 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1784.74
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.6 s]
/proc/loadavg: 3.01 2.99 3.13 4/218 9086
/proc/meminfo: memFree=25031372/32872528 swapFree=480236/529292
[pid=8703] ppid=8700 vsize=9824732 CPUtime=1800.04 cores=0,2,4,6
/proc/8703/stat : 8703 (java) S 8700 8703 6228 0 -1 4202496 21746 0 1 0 179821 183 0 0 20 0 21 0 4068623 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140734511208912 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2456183 614602 2290 9 0 2446860 0
[pid=8703/tid=8704] ppid=8700 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/8703/task/8704/stat : 8704 (java) S 8700 8703 6228 0 -1 4202560 2455 0 1 0 47 11 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364933755880 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8706] ppid=8700 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/8703/task/8706/stat : 8706 (java) S 8700 8703 6228 0 -1 4202560 277 0 0 0 43 18 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364906207400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8707] ppid=8700 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/8703/task/8707/stat : 8707 (java) S 8700 8703 6228 0 -1 4202560 275 0 0 0 44 17 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364905154856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8708] ppid=8700 vsize=9824732 CPUtime=0.65 cores=0,2,4,6
/proc/8703/task/8708/stat : 8708 (java) S 8700 8703 6228 0 -1 4202560 307 0 0 0 48 17 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364904102312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8709] ppid=8700 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/8703/task/8709/stat : 8709 (java) S 8700 8703 6228 0 -1 4202560 237 0 0 0 39 14 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364903049768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8710] ppid=8700 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/8703/task/8710/stat : 8710 (java) S 8700 8703 6228 0 -1 4202560 306 0 0 0 47 17 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364901997224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8711] ppid=8700 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/8703/task/8711/stat : 8711 (java) S 8700 8703 6228 0 -1 4202560 297 0 0 0 53 18 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364771535656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8712] ppid=8700 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/8703/task/8712/stat : 8712 (java) S 8700 8703 6228 0 -1 4202560 268 0 0 0 42 16 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364770483112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8713] ppid=8700 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/8703/task/8713/stat : 8713 (java) S 8700 8703 6228 0 -1 4202560 238 0 0 0 38 14 0 0 20 0 21 0 4068624 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364769430568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8714] ppid=8700 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/8703/task/8714/stat : 8714 (java) S 8700 8703 6228 0 -1 4202560 1796 0 0 0 107 3 0 0 20 0 21 0 4068625 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364286482536 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8715] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8715/stat : 8715 (java) S 8700 8703 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 4068626 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364285428856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8716] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8716/stat : 8716 (java) S 8700 8703 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 4068626 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364284376200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8717] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8717/stat : 8717 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 4068628 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364283324944 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8703/tid=8718] ppid=8700 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/8703/task/8718/stat : 8718 (java) S 8700 8703 6228 0 -1 4202560 7836 0 0 0 83 2 0 0 20 0 21 0 4068628 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364282272312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8719] ppid=8700 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/8703/task/8719/stat : 8719 (java) S 8700 8703 6228 0 -1 4202560 5272 0 0 0 82 2 0 0 20 0 21 0 4068628 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364281219768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8720] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8720/stat : 8720 (java) S 8700 8703 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 4068628 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364280167416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8721] ppid=8700 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/8703/task/8721/stat : 8721 (java) S 8700 8703 6228 0 -1 4202560 104 0 0 0 14 14 0 0 20 0 21 0 4068628 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364279115080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8703/tid=8728] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8728/stat : 8728 (java) S 8700 8703 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 4068700 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364274902568 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8703/tid=8745] ppid=8700 vsize=9824732 CPUtime=1791.33 cores=0,2,4,6
/proc/8703/task/8745/stat : 8745 (java) R 8700 8703 6228 0 -1 4202560 701 0 0 0 179084 49 0 0 20 0 21 0 4069001 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364277006288 140364783522655 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8703/tid=8746] ppid=8700 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8703/task/8746/stat : 8746 (java) S 8700 8703 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 4069002 10060525568 614602 33554432000 1073741824 1073778376 140734511217776 140364275954472 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 8703 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.62
CPU time (s): 1800.68
CPU user time (s): 1798.36
CPU system time (s): 2.32065
CPU usage (%): 100.17
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 2.32065
maximum resident set size= 2470144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21771
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75343
involuntary context switches= 22133
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3904 second user time and 12.7761 second system time
The end