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-4097220-1466113416/watcher-4097220-1466113416 -o /tmp/evaluation-result-4097220-1466113416/solver-4097220-1466113416 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466112183-7572 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4097220-1466113416.opb
pid=10277
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.23 4.33 3.57 4/197 10280
/proc/meminfo: memFree=28870968/32872528 swapFree=1243920/1391088
[pid=10280] ppid=10277 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10277 10280 7556 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 13390205 98570240 976 33554432000 1073741824 1073778376 140734464774336 140734464765472 272889839677 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10280/statm: 24065 976 743 9 0 16771 0
[pid=10280/tid=10281] ppid=10277 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) R 10277 10280 7556 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 13390205 98570240 976 33554432000 1073741824 1073778376 140734464774336 140331449404968 272886482304 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100093 s]
/proc/loadavg: 4.23 4.33 3.57 4/197 10280
/proc/meminfo: memFree=28870968/32872528 swapFree=1243920/1391088
[pid=10280] ppid=10277 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10277 10280 7556 0 -1 4202496 4396 0 1 0 9 1 0 0 20 0 18 0 13390205 9787879424 6028 33554432000 1073741824 1073778376 140734464774336 140734464765472 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10280/statm: 2389619 6028 2126 9 0 2380296 0
[pid=10280/tid=10281] ppid=10277 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) R 10277 10280 7556 0 -1 4202560 2393 0 1 0 7 0 0 0 20 0 18 0 13390205 9787879424 6028 33554432000 1073741824 1073778376 140734464774336 140331449408416 140331453792192 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.20033 s]
/proc/loadavg: 4.23 4.33 3.57 4/197 10280
/proc/meminfo: memFree=28870968/32872528 swapFree=1243920/1391088
[pid=10280] ppid=10277 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10277 10280 7556 0 -1 4202496 4682 0 1 0 25 1 0 0 20 0 18 0 13390205 9787879424 6748 33554432000 1073741824 1073778376 140734464774336 140734464765472 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10280/statm: 2389619 6748 2202 9 0 2380296 0
[pid=10280/tid=10281] ppid=10277 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) R 10277 10280 7556 0 -1 4202560 2409 0 1 0 16 1 0 0 20 0 18 0 13390205 9787879424 6748 33554432000 1073741824 1073778376 140734464774336 140331449400088 140331295291467 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300322 s]
/proc/loadavg: 4.23 4.33 3.57 4/197 10280
/proc/meminfo: memFree=28870968/32872528 swapFree=1243920/1391088
[pid=10280] ppid=10277 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10277 10280 7556 0 -1 4202496 5839 0 1 0 49 1 0 0 20 0 18 0 13390205 9787879424 8960 33554432000 1073741824 1073778376 140734464774336 140734464765472 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10280/statm: 2389619 8960 2233 9 0 2380296 0
[pid=10280/tid=10281] ppid=10277 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) R 10277 10280 7556 0 -1 4202560 2413 0 1 0 26 1 0 0 20 0 18 0 13390205 9787879424 8960 33554432000 1073741824 1073778376 140734464774336 140331449400088 140331295302355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476
[startup+0.700221 s]
/proc/loadavg: 4.23 4.33 3.57 4/197 10280
/proc/meminfo: memFree=28870968/32872528 swapFree=1243920/1391088
[pid=10280] ppid=10277 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10277 10280 7556 0 -1 4202496 15297 0 1 0 196 3 0 0 20 0 22 0 13390205 10060525568 17741 33554432000 1073741824 1073778376 140734464774336 140734464765472 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10280/statm: 2456183 17741 2266 9 0 2446860 0
[pid=10280/tid=10281] ppid=10277 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) S 10277 10280 7556 0 -1 4202560 2452 0 1 0 33 2 0 0 20 0 22 0 13390205 10060525568 17741 33554432000 1073741824 1073778376 140734464774336 140331449410424 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 9824732
[startup+1.50092 s]
/proc/loadavg: 4.23 4.33 3.57 6/219 10302
/proc/meminfo: memFree=28707232/32872528 swapFree=1243920/1391088
[pid=10280] ppid=10277 vsize=9824732 CPUtime=4.51 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10277 10280 7556 0 -1 4202496 22276 0 1 0 444 7 0 0 20 0 22 0 13390205 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140734464765472 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10280/statm: 2456183 44641 2289 9 0 2446860 0
[pid=10280/tid=10281] ppid=10277 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) S 10277 10280 7556 0 -1 4202560 2452 0 1 0 33 2 0 0 20 0 22 0 13390205 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140331449410424 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10283] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10283/stat : 10283 (java) S 10277 10280 7556 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 13390206 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140331421862952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10284] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10284/stat : 10284 (java) S 10277 10280 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13390206 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140331420810152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10285] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10285/stat : 10285 (java) S 10277 10280 7556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13390206 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140331419757352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10286] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10286/stat : 10286 (java) S 10277 10280 7556 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 13390206 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140331418704552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10287] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10287/stat : 10287 (java) S 10277 10280 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13390206 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140331417651752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10288] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10288/stat : 10288 (java) S 10277 10280 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13390206 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140331416598952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10289] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10289/stat : 10289 (java) S 10277 10280 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13390206 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140331415546152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10290] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10290/stat : 10290 (java) S 10277 10280 7556 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 13390206 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140331414493352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10280/tid=10291] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10291/stat : 10291 (java) S 10277 10280 7556 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 13390207 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140330802318312 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10292] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10292/stat : 10292 (java) S 10277 10280 7556 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13390208 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140330801264376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10293] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10293/stat : 10293 (java) S 10277 10280 7556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13390208 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140330800211464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10294] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10294/stat : 10294 (java) S 10277 10280 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13390210 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140330799159952 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10295] ppid=10277 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/10280/task/10295/stat : 10295 (java) R 10277 10280 7556 0 -1 4202560 9830 0 0 0 84 1 0 0 20 0 22 0 13390210 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140330798107064 140331455256667 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10296] ppid=10277 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/10280/task/10296/stat : 10296 (java) S 10277 10280 7556 0 -1 4202560 8501 0 0 0 100 2 0 0 20 0 22 0 13390210 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140330797054264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10280/tid=10297] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10297/stat : 10297 (java) S 10277 10280 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13390210 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140330796001656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10298] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10298/stat : 10298 (java) S 10277 10280 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13390210 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140330794949064 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10299] ppid=10277 vsize=9824732 CPUtime=1.09 cores=0,2,4,6
/proc/10280/task/10299/stat : 10299 (java) R 10277 10280 7556 0 -1 4202560 32 0 0 0 109 0 0 0 20 0 22 0 13390242 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140330793892984 140331295793538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10300] ppid=10277 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/10280/task/10300/stat : 10300 (java) R 10277 10280 7556 0 -1 4202560 88 0 0 0 108 2 0 0 20 0 22 0 13390243 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140330792841640 140331295879915 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10301] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10301/stat : 10301 (java) S 10277 10280 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13390243 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140330791789992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10302] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10302/stat : 10302 (java) S 10277 10280 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13390243 10060525568 44641 33554432000 1073741824 1073778376 140734464774336 140330790737192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 9824732
[startup+3.10095 s]
/proc/loadavg: 4.23 4.33 3.57 5/219 10302
/proc/meminfo: memFree=28650944/32872528 swapFree=1243920/1391088
[pid=10280] ppid=10277 vsize=9824732 CPUtime=7.82 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10277 10280 7556 0 -1 4202496 23020 0 1 0 770 12 0 0 20 0 22 0 13390205 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140734464765472 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10280/statm: 2456183 79538 2290 9 0 2446860 0
[pid=10280/tid=10281] ppid=10277 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) S 10277 10280 7556 0 -1 4202560 2452 0 1 0 33 2 0 0 20 0 22 0 13390205 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140331449410424 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10283] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10283/stat : 10283 (java) S 10277 10280 7556 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 22 0 13390206 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140331421862952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10284] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10284/stat : 10284 (java) S 10277 10280 7556 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 13390206 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140331420810152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10285] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10285/stat : 10285 (java) S 10277 10280 7556 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 13390206 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140331419757352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10286] ppid=10277 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10280/task/10286/stat : 10286 (java) S 10277 10280 7556 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 13390206 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140331418704552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10280/tid=10287] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10287/stat : 10287 (java) S 10277 10280 7556 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 22 0 13390206 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140331417651752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10288] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10288/stat : 10288 (java) S 10277 10280 7556 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 22 0 13390206 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140331416598952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10280/tid=10289] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10289/stat : 10289 (java) S 10277 10280 7556 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13390206 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140331415546152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10290] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10290/stat : 10290 (java) S 10277 10280 7556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 13390206 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140331414493352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10291] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10291/stat : 10291 (java) S 10277 10280 7556 0 -1 4202560 182 0 0 0 0 0 0 0 20 0 22 0 13390207 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140330802318312 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10292] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10292/stat : 10292 (java) S 10277 10280 7556 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13390208 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140330801264376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10293] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10293/stat : 10293 (java) S 10277 10280 7556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13390208 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140330800211464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10294] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10294/stat : 10294 (java) S 10277 10280 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13390210 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140330799159952 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10295] ppid=10277 vsize=9824732 CPUtime=0.92 cores=0,2,4,6
/proc/10280/task/10295/stat : 10295 (java) S 10277 10280 7556 0 -1 4202560 10251 0 0 0 90 2 0 0 20 0 22 0 13390210 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140330798107064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10296] ppid=10277 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/10280/task/10296/stat : 10296 (java) S 10277 10280 7556 0 -1 4202560 8502 0 0 0 103 2 0 0 20 0 22 0 13390210 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140330797054264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10280/tid=10297] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10297/stat : 10297 (java) S 10277 10280 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13390210 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140330796001656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10298] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10298/stat : 10298 (java) S 10277 10280 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13390210 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140330794949064 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10299] ppid=10277 vsize=9824732 CPUtime=2.65 cores=0,2,4,6
/proc/10280/task/10299/stat : 10299 (java) R 10277 10280 7556 0 -1 4202560 35 0 0 0 265 0 0 0 20 0 22 0 13390242 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140330793893240 140331295962871 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10300] ppid=10277 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/10280/task/10300/stat : 10300 (java) R 10277 10280 7556 0 -1 4202560 146 0 0 0 262 4 0 0 20 0 22 0 13390243 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140330792841104 140331295722971 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10301] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10301/stat : 10301 (java) S 10277 10280 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13390243 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140330791789992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10302] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10302/stat : 10302 (java) S 10277 10280 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13390243 10060525568 79538 33554432000 1073741824 1073778376 140734464774336 140330790737192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.82
Current children cumulated vsize (KiB) 9824732
[startup+6.30095 s]
/proc/loadavg: 4.22 4.33 3.57 5/219 10302
/proc/meminfo: memFree=28308780/32872528 swapFree=1243920/1391088
[pid=10280] ppid=10277 vsize=9824732 CPUtime=14.39 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10277 10280 7556 0 -1 4202496 25211 0 1 0 1419 20 0 0 20 0 22 0 13390205 10060525568 192750 33554432000 1073741824 1073778376 140734464774336 140734464765472 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10280/statm: 2456183 192750 2292 9 0 2446860 0
[pid=10280/tid=10281] ppid=10277 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) S 10277 10280 7556 0 -1 4202560 2452 0 1 0 33 2 0 0 20 0 22 0 13390205 10060525568 192750 33554432000 1073741824 1073778376 140734464774336 140331449410424 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10283] ppid=10277 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10280/task/10283/stat : 10283 (java) S 10277 10280 7556 0 -1 4202560 37 0 0 0 2 0 0 0 20 0 22 0 13390206 10060525568 192750 33554432000 1073741824 1073778376 140734464774336 140331421862952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10284] ppid=10277 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10280/task/10284/stat : 10284 (java) S 10277 10280 7556 0 -1 4202560 42 0 0 0 1 0 0 0 20 0 22 0 13390206 10060525568 192750 33554432000 1073741824 1073778376 140734464774336 140331420810152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10285] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10285/stat : 10285 (java) S 10277 10280 7556 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 13390206 10060525568 193262 33554432000 1073741824 1073778376 140734464774336 140331419757352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10286] ppid=10277 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10280/task/10286/stat : 10286 (java) S 10277 10280 7556 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 13390206 10060525568 193262 33554432000 1073741824 1073778376 140734464774336 140331418704552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10287] ppid=10277 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10280/task/10287/stat : 10287 (java) S 10277 10280 7556 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 22 0 13390206 10060525568 193262 33554432000 1073741824 1073778376 140734464774336 140331417651752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10288] ppid=10277 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10280/task/10288/stat : 10288 (java) S 10277 10280 7556 0 -1 4202560 46 0 0 0 1 0 0 0 20 0 22 0 13390206 10060525568 193262 33554432000 1073741824 1073778376 140734464774336 140331416598952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10280/tid=10289] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10289/stat : 10289 (java) S 10277 10280 7556 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13390206 10060525568 193262 33554432000 1073741824 1073778376 140734464774336 140331415546152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10290] ppid=10277 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.29 4.29 3.96 5/219 11214
/proc/meminfo: memFree=27210056/32872528 swapFree=1243920/1391088
[pid=10280] ppid=10277 vsize=9824732 CPUtime=1655.4 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10277 10280 7556 0 -1 4202496 33844 0 1 0 165415 125 0 0 20 0 22 0 13390205 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140734464765472 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10280/statm: 2456183 337497 2294 9 0 2446860 0
[pid=10280/tid=10281] ppid=10277 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) S 10277 10280 7556 0 -1 4202560 2461 0 1 0 36 3 0 0 20 0 22 0 13390205 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140331449410424 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10283] ppid=10277 vsize=9824732 CPUtime=2.97 cores=0,2,4,6
/proc/10280/task/10283/stat : 10283 (java) R 10277 10280 7556 0 -1 4202560 389 0 0 0 290 7 0 0 20 0 22 0 13390206 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140331421862952 140331455918496 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10284] ppid=10277 vsize=9824732 CPUtime=2.92 cores=0,2,4,6
/proc/10280/task/10284/stat : 10284 (java) R 10277 10280 7556 0 -1 4202560 389 0 0 0 285 7 0 0 20 0 22 0 13390206 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140331420810152 140331455918479 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10285] ppid=10277 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/10280/task/10285/stat : 10285 (java) S 10277 10280 7556 0 -1 4202560 403 0 0 0 294 7 0 0 20 0 22 0 13390206 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140331419757352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10286] ppid=10277 vsize=9824732 CPUtime=2.94 cores=0,2,4,6
/proc/10280/task/10286/stat : 10286 (java) R 10277 10280 7556 0 -1 4202560 365 0 0 0 287 7 0 0 20 0 22 0 13390206 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140331418704728 140331451969472 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10280/tid=10287] ppid=10277 vsize=9824732 CPUtime=2.85 cores=0,2,4,6
/proc/10280/task/10287/stat : 10287 (java) R 10277 10280 7556 0 -1 4202560 389 0 0 0 278 7 0 0 20 0 22 0 13390206 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140331417651752 272889852988 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10288] ppid=10277 vsize=9824732 CPUtime=3.12 cores=0,2,4,6
/proc/10280/task/10288/stat : 10288 (java) S 10277 10280 7556 0 -1 4202560 425 0 0 0 305 7 0 0 20 0 22 0 13390206 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140331416598952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10289] ppid=10277 vsize=9824732 CPUtime=2.96 cores=0,2,4,6
/proc/10280/task/10289/stat : 10289 (java) R 10277 10280 7556 0 -1 4202560 369 0 0 0 289 7 0 0 20 0 22 0 13390206 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140331415546328 140331456308434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10290] ppid=10277 vsize=9824732 CPUtime=3.05 cores=0,2,4,6
/proc/10280/task/10290/stat : 10290 (java) R 10277 10280 7556 0 -1 4202560 364 0 0 0 300 5 0 0 20 0 22 0 13390206 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140331414493352 140331455930950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10291] ppid=10277 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/10280/task/10291/stat : 10291 (java) S 10277 10280 7556 0 -1 4202560 780 0 0 0 10 33 0 0 20 0 22 0 13390207 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140330802317192 272889852988 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10292] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10292/stat : 10292 (java) S 10277 10280 7556 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13390208 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140330801264376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10293] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10293/stat : 10293 (java) S 10277 10280 7556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13390208 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140330800211464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10294] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10294/stat : 10294 (java) S 10277 10280 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13390210 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140330799159952 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10295] ppid=10277 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/10280/task/10295/stat : 10295 (java) S 10277 10280 7556 0 -1 4202560 10251 0 0 0 96 2 0 0 20 0 22 0 13390210 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140330798107064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10280/tid=10296] ppid=10277 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/10280/task/10296/stat : 10296 (java) S 10277 10280 7556 0 -1 4202560 14410 0 0 0 168 3 0 0 20 0 22 0 13390210 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140330797054264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10297] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10297/stat : 10297 (java) S 10277 10280 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13390210 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140330796001656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10298] ppid=10277 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/10280/task/10298/stat : 10298 (java) S 10277 10280 7556 0 -1 4202560 47 0 0 0 14 16 0 0 20 0 22 0 13390210 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140330794949064 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10299] ppid=10277 vsize=9824732 CPUtime=814.05 cores=0,2,4,6
/proc/10280/task/10299/stat : 10299 (java) S 10277 10280 7556 0 -1 4202560 271 0 0 0 81389 16 0 0 20 0 22 0 13390242 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140330793894040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10300] ppid=10277 vsize=9824732 CPUtime=814.2 cores=0,2,4,6
/proc/10280/task/10300/stat : 10300 (java) S 10277 10280 7556 0 -1 4202560 1267 0 0 0 81388 32 0 0 20 0 22 0 13390243 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140330792842344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10301] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10301/stat : 10301 (java) S 10277 10280 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13390243 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140330791789992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10302] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10302/stat : 10302 (java) S 10277 10280 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13390243 10060525568 337497 33554432000 1073741824 1073778376 140734464774336 140330790737192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1655.4
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.20 4.26 3.97 5/219 11216
/proc/meminfo: memFree=27179276/32872528 swapFree=1243920/1391088
[pid=10280] ppid=10277 vsize=9824732 CPUtime=1776.09 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10277 10280 7556 0 -1 4202496 33918 0 1 0 177478 131 0 0 20 0 22 0 13390205 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140734464765472 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10280/statm: 2456183 340864 2294 9 0 2446860 0
[pid=10280/tid=10281] ppid=10277 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) S 10277 10280 7556 0 -1 4202560 2462 0 1 0 37 3 0 0 20 0 22 0 13390205 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140331449410424 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10283] ppid=10277 vsize=9824732 CPUtime=3.19 cores=0,2,4,6
/proc/10280/task/10283/stat : 10283 (java) S 10277 10280 7556 0 -1 4202560 394 0 0 0 312 7 0 0 20 0 22 0 13390206 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140331421862952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10280/tid=10284] ppid=10277 vsize=9824732 CPUtime=3.11 cores=0,2,4,6
/proc/10280/task/10284/stat : 10284 (java) S 10277 10280 7556 0 -1 4202560 395 0 0 0 303 8 0 0 20 0 22 0 13390206 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140331420810152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10285] ppid=10277 vsize=9824732 CPUtime=3.22 cores=0,2,4,6
/proc/10280/task/10285/stat : 10285 (java) S 10277 10280 7556 0 -1 4202560 410 0 0 0 315 7 0 0 20 0 22 0 13390206 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140331419757352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10286] ppid=10277 vsize=9824732 CPUtime=3.15 cores=0,2,4,6
/proc/10280/task/10286/stat : 10286 (java) S 10277 10280 7556 0 -1 4202560 370 0 0 0 308 7 0 0 20 0 22 0 13390206 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140331418704552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10287] ppid=10277 vsize=9824732 CPUtime=3.07 cores=0,2,4,6
/proc/10280/task/10287/stat : 10287 (java) S 10277 10280 7556 0 -1 4202560 390 0 0 0 300 7 0 0 20 0 22 0 13390206 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140331417651752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10288] ppid=10277 vsize=9824732 CPUtime=3.33 cores=0,2,4,6
/proc/10280/task/10288/stat : 10288 (java) S 10277 10280 7556 0 -1 4202560 427 0 0 0 326 7 0 0 20 0 22 0 13390206 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140331416598952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10289] ppid=10277 vsize=9824732 CPUtime=3.21 cores=0,2,4,6
/proc/10280/task/10289/stat : 10289 (java) S 10277 10280 7556 0 -1 4202560 374 0 0 0 314 7 0 0 20 0 22 0 13390206 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140331415546152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10290] ppid=10277 vsize=9824732 CPUtime=3.33 cores=0,2,4,6
/proc/10280/task/10290/stat : 10290 (java) S 10277 10280 7556 0 -1 4202560 370 0 0 0 327 6 0 0 20 0 22 0 13390206 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140331414493352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10291] ppid=10277 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/10280/task/10291/stat : 10291 (java) S 10277 10280 7556 0 -1 4202560 784 0 0 0 11 35 0 0 20 0 22 0 13390207 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140330802318312 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10292] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10292/stat : 10292 (java) S 10277 10280 7556 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13390208 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140330801264376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10293] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10293/stat : 10293 (java) S 10277 10280 7556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13390208 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140330800211464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10294] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10294/stat : 10294 (java) S 10277 10280 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13390210 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140330799159952 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10295] ppid=10277 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/10280/task/10295/stat : 10295 (java) S 10277 10280 7556 0 -1 4202560 10251 0 0 0 96 2 0 0 20 0 22 0 13390210 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140330798107064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10280/tid=10296] ppid=10277 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/10280/task/10296/stat : 10296 (java) S 10277 10280 7556 0 -1 4202560 14410 0 0 0 168 3 0 0 20 0 22 0 13390210 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140330797054264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10297] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10297/stat : 10297 (java) S 10277 10280 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13390210 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140330796001656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10298] ppid=10277 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/10280/task/10298/stat : 10298 (java) S 10277 10280 7556 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 13390210 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140330794949064 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10299] ppid=10277 vsize=9824732 CPUtime=873.5 cores=0,2,4,6
/proc/10280/task/10299/stat : 10299 (java) R 10277 10280 7556 0 -1 4202560 283 0 0 0 87332 18 0 0 20 0 22 0 13390242 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140330793893904 140331295793838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10300] ppid=10277 vsize=9824732 CPUtime=873.64 cores=0,2,4,6
/proc/10280/task/10300/stat : 10300 (java) R 10277 10280 7556 0 -1 4202560 1283 0 0 0 87331 33 0 0 20 0 22 0 13390243 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140330792842360 140331295985588 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10301] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10301/stat : 10301 (java) S 10277 10280 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13390243 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140330791789992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10302] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10302/stat : 10302 (java) S 10277 10280 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13390243 10060525568 340864 33554432000 1073741824 1073778376 140734464774336 140330790737192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1776.09
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+894.201 s]
/proc/loadavg: 4.24 4.27 3.98 6/219 11217
/proc/meminfo: memFree=27174240/32872528 swapFree=1243920/1391088
[pid=10280] ppid=10277 vsize=9824732 CPUtime=1800 cores=0,2,4,6
/proc/10280/stat : 10280 (java) S 10277 10280 7556 0 -1 4202496 33933 0 1 0 179868 132 0 0 20 0 22 0 13390205 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140734464765472 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10280/statm: 2456183 341229 2294 9 0 2446860 0
[pid=10280/tid=10281] ppid=10277 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/10280/task/10281/stat : 10281 (java) S 10277 10280 7556 0 -1 4202560 2462 0 1 0 37 3 0 0 20 0 22 0 13390205 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140331449410424 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10283] ppid=10277 vsize=9824732 CPUtime=3.23 cores=0,2,4,6
/proc/10280/task/10283/stat : 10283 (java) S 10277 10280 7556 0 -1 4202560 394 0 0 0 316 7 0 0 20 0 22 0 13390206 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140331421862952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10280/tid=10284] ppid=10277 vsize=9824732 CPUtime=3.15 cores=0,2,4,6
/proc/10280/task/10284/stat : 10284 (java) S 10277 10280 7556 0 -1 4202560 398 0 0 0 307 8 0 0 20 0 22 0 13390206 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140331420810152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10280/tid=10285] ppid=10277 vsize=9824732 CPUtime=3.28 cores=0,2,4,6
/proc/10280/task/10285/stat : 10285 (java) S 10277 10280 7556 0 -1 4202560 412 0 0 0 321 7 0 0 20 0 22 0 13390206 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140331419757352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10286] ppid=10277 vsize=9824732 CPUtime=3.17 cores=0,2,4,6
/proc/10280/task/10286/stat : 10286 (java) S 10277 10280 7556 0 -1 4202560 371 0 0 0 310 7 0 0 20 0 22 0 13390206 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140331418704552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10287] ppid=10277 vsize=9824732 CPUtime=3.12 cores=0,2,4,6
/proc/10280/task/10287/stat : 10287 (java) S 10277 10280 7556 0 -1 4202560 391 0 0 0 305 7 0 0 20 0 22 0 13390206 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140331417651752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10288] ppid=10277 vsize=9824732 CPUtime=3.37 cores=0,2,4,6
/proc/10280/task/10288/stat : 10288 (java) S 10277 10280 7556 0 -1 4202560 428 0 0 0 330 7 0 0 20 0 22 0 13390206 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140331416598952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10289] ppid=10277 vsize=9824732 CPUtime=3.23 cores=0,2,4,6
/proc/10280/task/10289/stat : 10289 (java) S 10277 10280 7556 0 -1 4202560 375 0 0 0 316 7 0 0 20 0 22 0 13390206 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140331415546152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10290] ppid=10277 vsize=9824732 CPUtime=3.38 cores=0,2,4,6
/proc/10280/task/10290/stat : 10290 (java) S 10277 10280 7556 0 -1 4202560 370 0 0 0 332 6 0 0 20 0 22 0 13390206 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140331414493352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10280/tid=10291] ppid=10277 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/10280/task/10291/stat : 10291 (java) S 10277 10280 7556 0 -1 4202560 784 0 0 0 11 36 0 0 20 0 22 0 13390207 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140330802318312 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10292] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10292/stat : 10292 (java) S 10277 10280 7556 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13390208 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140330801264376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10293] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10293/stat : 10293 (java) S 10277 10280 7556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13390208 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140330800211464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10294] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10294/stat : 10294 (java) S 10277 10280 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13390210 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140330799159952 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10295] ppid=10277 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/10280/task/10295/stat : 10295 (java) S 10277 10280 7556 0 -1 4202560 10251 0 0 0 96 2 0 0 20 0 22 0 13390210 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140330798107064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10280/tid=10296] ppid=10277 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/10280/task/10296/stat : 10296 (java) S 10277 10280 7556 0 -1 4202560 14410 0 0 0 168 3 0 0 20 0 22 0 13390210 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140330797054264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10280/tid=10297] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10297/stat : 10297 (java) S 10277 10280 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13390210 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140330796001656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10298] ppid=10277 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/10280/task/10298/stat : 10298 (java) S 10277 10280 7556 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 13390210 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140330794949064 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10299] ppid=10277 vsize=9824732 CPUtime=885.29 cores=0,2,4,6
/proc/10280/task/10299/stat : 10299 (java) R 10277 10280 7556 0 -1 4202560 285 0 0 0 88511 18 0 0 20 0 22 0 13390242 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140330793893904 140331295963083 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10280/tid=10300] ppid=10277 vsize=9824732 CPUtime=885.44 cores=0,2,4,6
/proc/10280/task/10300/stat : 10300 (java) R 10277 10280 7556 0 -1 4202560 1287 0 0 0 88511 33 0 0 20 0 22 0 13390243 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140330792840144 140331295760400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10301] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10301/stat : 10301 (java) S 10277 10280 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13390243 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140330791789992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10280/tid=10302] ppid=10277 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10280/task/10302/stat : 10302 (java) S 10277 10280 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13390243 10060525568 341229 33554432000 1073741824 1073778376 140734464774336 140330790737192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 10280 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 894.261
CPU time (s): 1800.96
CPU user time (s): 1799.12
CPU system time (s): 1.83972
CPU usage (%): 201.391
Max. virtual memory (cumulated for all children) (KiB): 9826316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 1.83972
maximum resident set size= 1365504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33967
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39936
involuntary context switches= 53284
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9091 second user time and 8.10777 second system time
The end