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-4100474-1466209753/watcher-4100474-1466209753 -o /tmp/evaluation-result-4100474-1466209753/solver-4100474-1466209753 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466206051-22605 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100474-1466209753.opb
pid=26223
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: 3.83 4.07 3.98 3/195 26226
/proc/meminfo: memFree=31274360/32872528 swapFree=496872/529576
[pid=26226] ppid=26223 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/26226/stat : 26226 (java) S 26223 26226 22589 0 -1 4202496 1355 0 0 0 0 0 0 0 20 0 2 0 23020699 98570240 978 33554432000 1073741824 1073778376 140736802545040 140736802536176 211462160445 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26226/statm: 24065 978 743 9 0 16771 0
[pid=26226/tid=26227] ppid=26223 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26227/stat : 26227 (java) R 26223 26226 22589 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 23020699 98570240 978 33554432000 1073741824 1073778376 140736802545040 140081664704040 211458803072 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100115 s]
/proc/loadavg: 3.83 4.07 3.98 3/195 26226
/proc/meminfo: memFree=31274360/32872528 swapFree=496872/529576
[pid=26226] ppid=26223 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/26226/stat : 26226 (java) S 26223 26226 22589 0 -1 4202496 4447 0 1 0 9 1 0 0 20 0 18 0 23020699 9787879424 6074 33554432000 1073741824 1073778376 140736802545040 140736802536176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26226/statm: 2389619 6074 2141 9 0 2380296 0
[pid=26226/tid=26227] ppid=26223 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/26226/task/26227/stat : 26227 (java) R 26223 26226 22589 0 -1 4202560 2388 0 1 0 7 0 0 0 20 0 18 0 23020699 9787879424 6074 33554432000 1073741824 1073778376 140736802545040 140081664707488 140081671861331 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200327 s]
/proc/loadavg: 3.83 4.07 3.98 3/195 26226
/proc/meminfo: memFree=31274360/32872528 swapFree=496872/529576
[pid=26226] ppid=26223 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/26226/stat : 26226 (java) S 26223 26226 22589 0 -1 4202496 5027 0 1 0 27 1 0 0 20 0 18 0 23020699 9787879424 7588 33554432000 1073741824 1073778376 140736802545040 140736802536176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26226/statm: 2389619 7589 2214 9 0 2380296 0
[pid=26226/tid=26227] ppid=26223 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/26226/task/26227/stat : 26227 (java) R 26223 26226 22589 0 -1 4202560 2411 0 1 0 17 0 0 0 20 0 18 0 23020699 9787879424 7590 33554432000 1073741824 1073778376 140736802545040 140081664707488 140081516009769 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300335 s]
/proc/loadavg: 3.83 4.07 3.98 3/195 26226
/proc/meminfo: memFree=31274360/32872528 swapFree=496872/529576
[pid=26226] ppid=26223 vsize=9558676 CPUtime=0.53 cores=0,2,4,6
/proc/26226/stat : 26226 (java) S 26223 26226 22589 0 -1 4202496 5897 0 1 0 52 1 0 0 20 0 18 0 23020699 9788084224 11095 33554432000 1073741824 1073778376 140736802545040 140736802536176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26226/statm: 2389619 11095 2235 9 0 2380296 0
[pid=26226/tid=26227] ppid=26223 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/26226/task/26227/stat : 26227 (java) R 26223 26226 22589 0 -1 4202560 2417 0 1 0 26 1 0 0 20 0 18 0 23020699 9787879424 11095 33554432000 1073741824 1073778376 140736802545040 140081664708632 140081516085729 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558676
[startup+0.716723 s]
/proc/loadavg: 3.83 4.07 3.98 3/195 26226
/proc/meminfo: memFree=31274360/32872528 swapFree=496872/529576
[pid=26226] ppid=26223 vsize=9558476 CPUtime=1.52 cores=0,2,4,6
/proc/26226/stat : 26226 (java) S 26223 26226 22589 0 -1 4202496 17424 0 1 0 144 8 0 0 20 0 18 0 23020699 9787879424 49362 33554432000 1073741824 1073778376 140736802545040 140736802536176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26226/statm: 2389619 49362 2254 9 0 2380296 0
[pid=26226/tid=26227] ppid=26223 vsize=9558476 CPUtime=0.67 cores=0,2,4,6
/proc/26226/task/26227/stat : 26227 (java) S 26223 26226 22589 0 -1 4202560 2504 0 1 0 63 4 0 0 20 0 18 0 23020699 9787879424 49362 33554432000 1073741824 1073778376 140736802545040 140081664707032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9558476
[startup+1.50085 s]
/proc/loadavg: 3.83 4.07 3.98 6/217 26248
/proc/meminfo: memFree=31075356/32872528 swapFree=496868/529572
[pid=26226] ppid=26223 vsize=9824732 CPUtime=4.3 cores=0,2,4,6
/proc/26226/stat : 26226 (java) S 26223 26226 22589 0 -1 4202496 26700 0 1 0 418 12 0 0 20 0 22 0 23020699 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140736802536176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26226/statm: 2456183 58711 2285 9 0 2446860 0
[pid=26226/tid=26227] ppid=26223 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/26226/task/26227/stat : 26227 (java) S 26223 26226 22589 0 -1 4202560 2520 0 1 0 74 4 0 0 20 0 22 0 23020699 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081664709496 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26229] ppid=26223 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/26226/task/26229/stat : 26229 (java) S 26223 26226 22589 0 -1 4202560 77 0 0 0 3 0 0 0 20 0 22 0 23020700 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081637161768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26230] ppid=26223 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/26226/task/26230/stat : 26230 (java) S 26223 26226 22589 0 -1 4202560 80 0 0 0 0 1 0 0 20 0 22 0 23020700 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081636108968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26231] ppid=26223 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/26226/task/26231/stat : 26231 (java) S 26223 26226 22589 0 -1 4202560 62 0 0 0 2 0 0 0 20 0 22 0 23020700 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081635056680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26232] ppid=26223 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/26226/task/26232/stat : 26232 (java) S 26223 26226 22589 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 22 0 23020700 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081505020840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26233] ppid=26223 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/26226/task/26233/stat : 26233 (java) S 26223 26226 22589 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 23020700 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081503967528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26234] ppid=26223 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/26226/task/26234/stat : 26234 (java) S 26223 26226 22589 0 -1 4202560 177 0 0 0 2 0 0 0 20 0 22 0 23020700 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081502914728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26235] ppid=26223 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/26226/task/26235/stat : 26235 (java) S 26223 26226 22589 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 23020700 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081501862440 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26236] ppid=26223 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/26226/task/26236/stat : 26236 (java) S 26223 26226 22589 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 23020700 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081500809640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26237] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26237/stat : 26237 (java) S 26223 26226 22589 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 23020701 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081018297064 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26238] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26238/stat : 26238 (java) S 26223 26226 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23020702 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081017243128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26239] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26239/stat : 26239 (java) S 26223 26226 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23020702 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081016190728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26240] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26240/stat : 26240 (java) S 26223 26226 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23020704 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081015139216 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26241] ppid=26223 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/26226/task/26241/stat : 26241 (java) S 26223 26226 22589 0 -1 4202560 11132 0 0 0 89 2 0 0 20 0 22 0 23020704 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081014085816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26242] ppid=26223 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/26226/task/26242/stat : 26242 (java) S 26223 26226 22589 0 -1 4202560 11205 0 0 0 106 2 0 0 20 0 22 0 23020704 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081013033016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26243] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26243/stat : 26243 (java) S 26223 26226 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23020704 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081011980920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26244] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26244/stat : 26244 (java) S 26223 26226 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23020704 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081010928328 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26245] ppid=26223 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/26226/task/26245/stat : 26245 (java) R 26223 26226 22589 0 -1 4202560 15 0 0 0 61 0 0 0 20 0 22 0 23020782 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081009872608 140081516767837 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=26226/tid=26246] ppid=26223 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/26226/task/26246/stat : 26246 (java) R 26223 26226 22589 0 -1 4202560 23 0 0 0 60 0 0 0 20 0 22 0 23020782 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081008819400 140081516960001 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26247] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26247/stat : 26247 (java) S 26223 26226 22589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23020785 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081007769256 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26226/tid=26248] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26248/stat : 26248 (java) S 26223 26226 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23020785 10060525568 58711 33554432000 1073741824 1073778376 140736802545040 140081006716456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 9824732
[startup+3.10087 s]
/proc/loadavg: 3.83 4.07 3.98 5/217 26248
/proc/meminfo: memFree=30958768/32872528 swapFree=496868/529572
[pid=26226] ppid=26223 vsize=9824732 CPUtime=8.28 cores=0,2,4,6
/proc/26226/stat : 26226 (java) S 26223 26226 22589 0 -1 4202496 30369 0 1 0 807 21 0 0 20 0 22 0 23020699 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140736802536176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26226/statm: 2456183 99392 2291 9 0 2446860 0
[pid=26226/tid=26227] ppid=26223 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/26226/task/26227/stat : 26227 (java) S 26223 26226 22589 0 -1 4202560 2520 0 1 0 74 4 0 0 20 0 22 0 23020699 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081664709496 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26229] ppid=26223 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/26226/task/26229/stat : 26229 (java) S 26223 26226 22589 0 -1 4202560 133 0 0 0 8 2 0 0 20 0 22 0 23020700 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081637161768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26230] ppid=26223 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/26226/task/26230/stat : 26230 (java) S 26223 26226 22589 0 -1 4202560 82 0 0 0 1 1 0 0 20 0 22 0 23020700 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081636108968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26231] ppid=26223 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/26226/task/26231/stat : 26231 (java) S 26223 26226 22589 0 -1 4202560 95 0 0 0 4 2 0 0 20 0 22 0 23020700 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081635056680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26232] ppid=26223 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/26226/task/26232/stat : 26232 (java) S 26223 26226 22589 0 -1 4202560 69 0 0 0 8 2 0 0 20 0 22 0 23020700 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081505020840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26233] ppid=26223 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/26226/task/26233/stat : 26233 (java) S 26223 26226 22589 0 -1 4202560 35 0 0 0 4 2 0 0 20 0 22 0 23020700 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081503967528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26234] ppid=26223 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/26226/task/26234/stat : 26234 (java) S 26223 26226 22589 0 -1 4202560 188 0 0 0 3 0 0 0 20 0 22 0 23020700 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081502914728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26235] ppid=26223 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/26226/task/26235/stat : 26235 (java) S 26223 26226 22589 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 23020700 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081501862440 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26236] ppid=26223 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/26226/task/26236/stat : 26236 (java) S 26223 26226 22589 0 -1 4202560 29 0 0 0 3 0 0 0 20 0 22 0 23020700 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081500809640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26237] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26237/stat : 26237 (java) S 26223 26226 22589 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 23020701 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081018297064 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26238] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26238/stat : 26238 (java) S 26223 26226 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23020702 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081017243128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26239] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26239/stat : 26239 (java) S 26223 26226 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23020702 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081016190728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26240] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26240/stat : 26240 (java) S 26223 26226 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23020704 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081015139216 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26241] ppid=26223 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/26226/task/26241/stat : 26241 (java) S 26223 26226 22589 0 -1 4202560 12407 0 0 0 117 2 0 0 20 0 22 0 23020704 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081014085816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26242] ppid=26223 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/26226/task/26242/stat : 26242 (java) S 26223 26226 22589 0 -1 4202560 13229 0 0 0 143 3 0 0 20 0 22 0 23020704 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081013033016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26243] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26243/stat : 26243 (java) S 26223 26226 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23020704 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081011980920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26244] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26244/stat : 26244 (java) S 26223 26226 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23020704 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081010928328 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26245] ppid=26223 vsize=9824732 CPUtime=2.12 cores=0,2,4,6
/proc/26226/task/26245/stat : 26245 (java) R 26223 26226 22589 0 -1 4202560 15 0 0 0 212 0 0 0 20 0 22 0 23020782 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081009871824 140081516953129 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=26226/tid=26246] ppid=26223 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/26226/task/26246/stat : 26246 (java) R 26223 26226 22589 0 -1 4202560 77 0 0 0 211 2 0 0 20 0 22 0 23020782 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081008819624 140081516782372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26247] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26247/stat : 26247 (java) S 26223 26226 22589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23020785 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081007769256 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26226/tid=26248] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26248/stat : 26248 (java) S 26223 26226 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23020785 10060525568 99392 33554432000 1073741824 1073778376 140736802545040 140081006716456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.28
Current children cumulated vsize (KiB) 9824732
[startup+6.30095 s]
/proc/loadavg: 3.76 4.05 3.97 4/217 26248
/proc/meminfo: memFree=30634760/32872528 swapFree=496868/529572
[pid=26226] ppid=26223 vsize=9824732 CPUtime=14.87 cores=0,2,4,6
/proc/26226/stat : 26226 (java) S 26223 26226 22589 0 -1 4202496 31070 0 1 0 1454 33 0 0 20 0 22 0 23020699 10060525568 169454 33554432000 1073741824 1073778376 140736802545040 140736802536176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26226/statm: 2456183 169454 2291 9 0 2446860 0
[pid=26226/tid=26227] ppid=26223 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/26226/task/26227/stat : 26227 (java) S 26223 26226 22589 0 -1 4202560 2520 0 1 0 74 4 0 0 20 0 22 0 23020699 10060525568 169454 33554432000 1073741824 1073778376 140736802545040 140081664709496 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26229] ppid=26223 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/26226/task/26229/stat : 26229 (java) S 26223 26226 22589 0 -1 4202560 143 0 0 0 10 3 0 0 20 0 22 0 23020700 10060525568 169454 33554432000 1073741824 1073778376 140736802545040 140081637161768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26226/tid=26230] ppid=26223 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/26226/task/26230/stat : 26230 (java) S 26223 26226 22589 0 -1 4202560 118 0 0 0 7 3 0 0 20 0 22 0 23020700 10060525568 169454 33554432000 1073741824 1073778376 140736802545040 140081636108968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26226/tid=26231] ppid=26223 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/26226/task/26231/stat : 26231 (java) S 26223 26226 22589 0 -1 4202560 112 0 0 0 5 2 0 0 20 0 22 0 23020700 10060525568 169454 33554432000 1073741824 1073778376 140736802545040 140081635056680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26226/tid=26232] ppid=26223 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/26226/task/26232/stat : 26232 (java) S 26223 26226 22589 0 -1 4202560 92 0 0 0 10 4 0 0 20 0 22 0 23020700 10060525568 169454 33554432000 1073741824 1073778376 140736802545040 140081505020840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26233] ppid=26223 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/26226/task/26233/stat : 26233 (java) S 26223 26226 22589 0 -1 4202560 46 0 0 0 6 2 0 0 20 0 22 0 23020700 10060525568 169454 33554432000 1073741824 1073778376 140736802545040 140081503967528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26234] ppid=26223 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/26226/task/26234/stat : 26234 (java) S 26223 26226 22589 0 -1 4202560 198 0 0 0 5 2 0 0 20 0 22 0 23020700 10060525568 169454 33554432000 1073741824 1073778376 140736802545040 140081502914728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26235] ppid=26223 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/26226/task/26235/stat : 26235 (java) S 26223 26226 22589 0 -1 4202560 30 0 0 0 4 0 0 0 20 0 22 0 23020700 10060525568 169454 33554432000 1073741824 1073778376 140736802545040 140081501862440 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26236] ppid=26223 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 3.90 3.98 3.93 5/219 26279
/proc/meminfo: memFree=28660740/32872528 swapFree=496868/529572
[pid=26226] ppid=26223 vsize=9824732 CPUtime=1655.45 cores=0,2,4,6
/proc/26226/stat : 26226 (java) S 26223 26226 22589 0 -1 4202496 42171 0 1 0 165388 157 0 0 20 0 22 0 23020699 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140736802536176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26226/statm: 2456183 561300 2300 9 0 2446860 0
[pid=26226/tid=26227] ppid=26223 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/26226/task/26227/stat : 26227 (java) S 26223 26226 22589 0 -1 4202560 2532 0 1 0 77 5 0 0 20 0 22 0 23020699 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081664709496 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26229] ppid=26223 vsize=9824732 CPUtime=2.75 cores=0,2,4,6
/proc/26226/task/26229/stat : 26229 (java) S 26223 26226 22589 0 -1 4202560 536 0 0 0 264 11 0 0 20 0 22 0 23020700 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081637161768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26230] ppid=26223 vsize=9824732 CPUtime=2.76 cores=0,2,4,6
/proc/26226/task/26230/stat : 26230 (java) S 26223 26226 22589 0 -1 4202560 521 0 0 0 265 11 0 0 20 0 22 0 23020700 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081636108968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26231] ppid=26223 vsize=9824732 CPUtime=2.6 cores=0,2,4,6
/proc/26226/task/26231/stat : 26231 (java) S 26223 26226 22589 0 -1 4202560 468 0 0 0 251 9 0 0 20 0 22 0 23020700 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081635056680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26226/tid=26232] ppid=26223 vsize=9824732 CPUtime=2.64 cores=0,2,4,6
/proc/26226/task/26232/stat : 26232 (java) S 26223 26226 22589 0 -1 4202560 469 0 0 0 252 12 0 0 20 0 22 0 23020700 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081505020840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26233] ppid=26223 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/26226/task/26233/stat : 26233 (java) S 26223 26226 22589 0 -1 4202560 450 0 0 0 259 11 0 0 20 0 22 0 23020700 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081503967528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26234] ppid=26223 vsize=9824732 CPUtime=2.67 cores=0,2,4,6
/proc/26226/task/26234/stat : 26234 (java) S 26223 26226 22589 0 -1 4202560 561 0 0 0 259 8 0 0 20 0 22 0 23020700 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081502914728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26235] ppid=26223 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/26226/task/26235/stat : 26235 (java) S 26223 26226 22589 0 -1 4202560 396 0 0 0 264 7 0 0 20 0 22 0 23020700 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081501862440 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26226/tid=26236] ppid=26223 vsize=9824732 CPUtime=2.78 cores=0,2,4,6
/proc/26226/task/26236/stat : 26236 (java) S 26223 26226 22589 0 -1 4202560 460 0 0 0 267 11 0 0 20 0 22 0 23020700 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081500809640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26237] ppid=26223 vsize=9824732 CPUtime=1.4 cores=0,2,4,6
/proc/26226/task/26237/stat : 26237 (java) S 26223 26226 22589 0 -1 4202560 2117 0 0 0 123 17 0 0 20 0 22 0 23020701 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081018297064 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26238] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26238/stat : 26238 (java) S 26223 26226 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23020702 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081017243128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26239] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26239/stat : 26239 (java) S 26223 26226 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23020702 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081016190728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26240] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26240/stat : 26240 (java) S 26223 26226 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23020704 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081015139216 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26241] ppid=26223 vsize=9824732 CPUtime=1.96 cores=0,2,4,6
/proc/26226/task/26241/stat : 26241 (java) S 26223 26226 22589 0 -1 4202560 16510 0 0 0 193 3 0 0 20 0 22 0 23020704 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081014085816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26242] ppid=26223 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/26226/task/26242/stat : 26242 (java) S 26223 26226 22589 0 -1 4202560 13241 0 0 0 164 3 0 0 20 0 22 0 23020704 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081013033016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26243] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26243/stat : 26243 (java) S 26223 26226 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23020704 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081011980920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26244] ppid=26223 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/26226/task/26244/stat : 26244 (java) S 26223 26226 22589 0 -1 4202560 47 0 0 0 14 16 0 0 20 0 22 0 23020704 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081010928328 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26245] ppid=26223 vsize=9824732 CPUtime=813.92 cores=0,2,4,6
/proc/26226/task/26245/stat : 26245 (java) R 26223 26226 22589 0 -1 4202560 136 0 0 0 81377 15 0 0 20 0 22 0 23020782 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081009872808 140081516641741 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26246] ppid=26223 vsize=9824732 CPUtime=813.94 cores=0,2,4,6
/proc/26226/task/26246/stat : 26246 (java) R 26223 26226 22589 0 -1 4202560 2455 0 0 0 81342 52 0 0 20 0 22 0 23020782 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081008819224 140081517035546 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26247] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26247/stat : 26247 (java) S 26223 26226 22589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23020785 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081007769256 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26226/tid=26248] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26248/stat : 26248 (java) S 26223 26226 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23020785 10060525568 561300 33554432000 1073741824 1073778376 140736802545040 140081006716456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1655.45
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 3.96 3.98 3.93 5/219 26280
/proc/meminfo: memFree=28605564/32872528 swapFree=496868/529572
[pid=26226] ppid=26223 vsize=9824732 CPUtime=1776.14 cores=0,2,4,6
/proc/26226/stat : 26226 (java) S 26223 26226 22589 0 -1 4202496 42327 0 1 0 177453 161 0 0 20 0 22 0 23020699 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140736802536176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26226/statm: 2456183 562850 2300 9 0 2446860 0
[pid=26226/tid=26227] ppid=26223 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/26226/task/26227/stat : 26227 (java) S 26223 26226 22589 0 -1 4202560 2532 0 1 0 77 5 0 0 20 0 22 0 23020699 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081664709496 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26229] ppid=26223 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/26226/task/26229/stat : 26229 (java) S 26223 26226 22589 0 -1 4202560 539 0 0 0 284 11 0 0 20 0 22 0 23020700 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081637161768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26230] ppid=26223 vsize=9824732 CPUtime=2.9 cores=0,2,4,6
/proc/26226/task/26230/stat : 26230 (java) S 26223 26226 22589 0 -1 4202560 523 0 0 0 279 11 0 0 20 0 22 0 23020700 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081636108968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26231] ppid=26223 vsize=9824732 CPUtime=2.79 cores=0,2,4,6
/proc/26226/task/26231/stat : 26231 (java) S 26223 26226 22589 0 -1 4202560 471 0 0 0 270 9 0 0 20 0 22 0 23020700 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081635056680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26226/tid=26232] ppid=26223 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/26226/task/26232/stat : 26232 (java) S 26223 26226 22589 0 -1 4202560 481 0 0 0 276 13 0 0 20 0 22 0 23020700 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081505020840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26233] ppid=26223 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/26226/task/26233/stat : 26233 (java) S 26223 26226 22589 0 -1 4202560 458 0 0 0 280 11 0 0 20 0 22 0 23020700 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081503967528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26234] ppid=26223 vsize=9824732 CPUtime=2.86 cores=0,2,4,6
/proc/26226/task/26234/stat : 26234 (java) S 26223 26226 22589 0 -1 4202560 571 0 0 0 278 8 0 0 20 0 22 0 23020700 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081502914728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26235] ppid=26223 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/26226/task/26235/stat : 26235 (java) S 26223 26226 22589 0 -1 4202560 402 0 0 0 283 8 0 0 20 0 22 0 23020700 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081501862440 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26226/tid=26236] ppid=26223 vsize=9824732 CPUtime=2.99 cores=0,2,4,6
/proc/26226/task/26236/stat : 26236 (java) S 26223 26226 22589 0 -1 4202560 468 0 0 0 288 11 0 0 20 0 22 0 23020700 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081500809640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26237] ppid=26223 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/26226/task/26237/stat : 26237 (java) S 26223 26226 22589 0 -1 4202560 2203 0 0 0 123 19 0 0 20 0 22 0 23020701 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081018297064 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26238] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26238/stat : 26238 (java) S 26223 26226 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23020702 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081017243128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26239] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26239/stat : 26239 (java) S 26223 26226 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23020702 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081016190728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26240] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26240/stat : 26240 (java) S 26223 26226 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23020704 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081015139216 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26241] ppid=26223 vsize=9824732 CPUtime=1.96 cores=0,2,4,6
/proc/26226/task/26241/stat : 26241 (java) S 26223 26226 22589 0 -1 4202560 16510 0 0 0 193 3 0 0 20 0 22 0 23020704 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081014085816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26242] ppid=26223 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/26226/task/26242/stat : 26242 (java) S 26223 26226 22589 0 -1 4202560 13241 0 0 0 164 3 0 0 20 0 22 0 23020704 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081013033016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26243] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26243/stat : 26243 (java) S 26223 26226 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23020704 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081011980920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26244] ppid=26223 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/26226/task/26244/stat : 26244 (java) S 26223 26226 22589 0 -1 4202560 51 0 0 0 16 16 0 0 20 0 22 0 23020704 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081010928328 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26245] ppid=26223 vsize=9824732 CPUtime=873.49 cores=0,2,4,6
/proc/26226/task/26245/stat : 26245 (java) R 26223 26226 22589 0 -1 4202560 145 0 0 0 87333 16 0 0 20 0 22 0 23020782 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081009871904 140081516953155 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26246] ppid=26223 vsize=9824732 CPUtime=873.51 cores=0,2,4,6
/proc/26226/task/26246/stat : 26246 (java) R 26223 26226 22589 0 -1 4202560 2460 0 0 0 87298 53 0 0 20 0 22 0 23020782 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081008819856 140081516782138 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26247] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26247/stat : 26247 (java) S 26223 26226 22589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23020785 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081007769256 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26226/tid=26248] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26248/stat : 26248 (java) S 26223 26226 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23020785 10060525568 562850 33554432000 1073741824 1073778376 140736802545040 140081006716456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1776.14
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+894.201 s]
/proc/loadavg: 3.97 3.98 3.93 5/219 26280
/proc/meminfo: memFree=28543812/32872528 swapFree=496868/529572
[pid=26226] ppid=26223 vsize=9824732 CPUtime=1800.08 cores=0,2,4,6
/proc/26226/stat : 26226 (java) S 26223 26226 22589 0 -1 4202496 42912 0 1 0 179843 165 0 0 20 0 22 0 23020699 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140736802536176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26226/statm: 2456183 578377 2300 9 0 2446860 0
[pid=26226/tid=26227] ppid=26223 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/26226/task/26227/stat : 26227 (java) S 26223 26226 22589 0 -1 4202560 2532 0 1 0 77 5 0 0 20 0 22 0 23020699 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081664709496 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26229] ppid=26223 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/26226/task/26229/stat : 26229 (java) S 26223 26226 22589 0 -1 4202560 539 0 0 0 287 11 0 0 20 0 22 0 23020700 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081637161768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26226/tid=26230] ppid=26223 vsize=9824732 CPUtime=2.97 cores=0,2,4,6
/proc/26226/task/26230/stat : 26230 (java) S 26223 26226 22589 0 -1 4202560 524 0 0 0 286 11 0 0 20 0 22 0 23020700 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081636108968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26231] ppid=26223 vsize=9824732 CPUtime=2.83 cores=0,2,4,6
/proc/26226/task/26231/stat : 26231 (java) S 26223 26226 22589 0 -1 4202560 474 0 0 0 274 9 0 0 20 0 22 0 23020700 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081635056680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26232] ppid=26223 vsize=9824732 CPUtime=2.93 cores=0,2,4,6
/proc/26226/task/26232/stat : 26232 (java) S 26223 26226 22589 0 -1 4202560 481 0 0 0 280 13 0 0 20 0 22 0 23020700 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081505020840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26233] ppid=26223 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/26226/task/26233/stat : 26233 (java) S 26223 26226 22589 0 -1 4202560 459 0 0 0 284 11 0 0 20 0 22 0 23020700 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081503967528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26234] ppid=26223 vsize=9824732 CPUtime=2.93 cores=0,2,4,6
/proc/26226/task/26234/stat : 26234 (java) S 26223 26226 22589 0 -1 4202560 575 0 0 0 285 8 0 0 20 0 22 0 23020700 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081502914728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26235] ppid=26223 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/26226/task/26235/stat : 26235 (java) S 26223 26226 22589 0 -1 4202560 403 0 0 0 287 8 0 0 20 0 22 0 23020700 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081501862440 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26236] ppid=26223 vsize=9824732 CPUtime=3.05 cores=0,2,4,6
/proc/26226/task/26236/stat : 26236 (java) S 26223 26226 22589 0 -1 4202560 473 0 0 0 294 11 0 0 20 0 22 0 23020700 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081500809640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26237] ppid=26223 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/26226/task/26237/stat : 26237 (java) S 26223 26226 22589 0 -1 4202560 2342 0 0 0 123 19 0 0 20 0 22 0 23020701 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081018297064 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26238] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26238/stat : 26238 (java) S 26223 26226 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23020702 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081017243128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26239] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26239/stat : 26239 (java) S 26223 26226 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23020702 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081016190728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26240] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26240/stat : 26240 (java) S 26223 26226 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23020704 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081015139216 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26241] ppid=26223 vsize=9824732 CPUtime=1.96 cores=0,2,4,6
/proc/26226/task/26241/stat : 26241 (java) S 26223 26226 22589 0 -1 4202560 16510 0 0 0 193 3 0 0 20 0 22 0 23020704 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081014085816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26226/tid=26242] ppid=26223 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/26226/task/26242/stat : 26242 (java) S 26223 26226 22589 0 -1 4202560 13241 0 0 0 164 3 0 0 20 0 22 0 23020704 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081013033016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26243] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26243/stat : 26243 (java) S 26223 26226 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23020704 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081011980920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26244] ppid=26223 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/26226/task/26244/stat : 26244 (java) S 26223 26226 22589 0 -1 4202560 53 0 0 0 16 17 0 0 20 0 22 0 23020704 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081010928328 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26245] ppid=26223 vsize=9824732 CPUtime=885.25 cores=0,2,4,6
/proc/26226/task/26245/stat : 26245 (java) R 26223 26226 22589 0 -1 4202560 147 0 0 0 88509 16 0 0 20 0 22 0 23020782 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081009871904 140081517035546 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26226/tid=26246] ppid=26223 vsize=9824732 CPUtime=885.28 cores=0,2,4,6
/proc/26226/task/26246/stat : 26246 (java) R 26223 26226 22589 0 -1 4202560 2887 0 0 0 88474 54 0 0 20 0 22 0 23020782 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081008819888 140081516689167 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26226/tid=26247] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26247/stat : 26247 (java) S 26223 26226 22589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23020785 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081007769256 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26226/tid=26248] ppid=26223 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/26226/task/26248/stat : 26248 (java) S 26223 26226 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23020785 10060525568 578377 33554432000 1073741824 1073778376 140736802545040 140081006716456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 26226 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 894.285
CPU time (s): 1800.77
CPU user time (s): 1798.61
CPU system time (s): 2.16167
CPU usage (%): 201.364
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.61
system time used= 2.16167
maximum resident set size= 2880492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42946
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28553
involuntary context switches= 47272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.05638 second user time and 4.34334 second system time
The end