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-4100098-1466207932/watcher-4100098-1466207932 -o /tmp/evaluation-result-4100098-1466207932/solver-4100098-1466207932 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466206051-22606 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100098-1466207932.opb
pid=25711
running on 4 cores: 1,3,5,7
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.17 4.11 3.52 4/197 25714
/proc/meminfo: memFree=27857324/32872528 swapFree=496868/529572
[pid=25714] ppid=25711 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25714/stat : 25714 (java) R 25711 25714 22589 0 -1 4202496 496 0 0 0 0 0 0 0 20 0 1 0 22838659 9515008 150 33554432000 1073741824 1073778376 140735373532832 140735373529960 211462186320 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25714/statm: 2323 159 118 9 0 71 0
[startup+0.100091 s]
/proc/loadavg: 4.17 4.11 3.52 4/197 25714
/proc/meminfo: memFree=27857324/32872528 swapFree=496868/529572
[pid=25714] ppid=25711 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/25714/stat : 25714 (java) S 25711 25714 22589 0 -1 4202496 4410 0 1 0 8 1 0 0 20 0 18 0 22838659 9787879424 6042 33554432000 1073741824 1073778376 140735373532832 140735373523968 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25714/statm: 2389619 6042 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200222 s]
/proc/loadavg: 4.17 4.11 3.52 4/197 25714
/proc/meminfo: memFree=27857324/32872528 swapFree=496868/529572
[pid=25714] ppid=25711 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/25714/stat : 25714 (java) S 25711 25714 22589 0 -1 4202496 4991 0 1 0 23 1 0 0 20 0 22 0 22838659 10060525568 8077 33554432000 1073741824 1073778376 140735373532832 140735373523968 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25714/statm: 2456183 8077 2212 9 0 2446860 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9824732
[startup+0.300217 s]
/proc/loadavg: 4.17 4.11 3.52 4/197 25714
/proc/meminfo: memFree=27857324/32872528 swapFree=496868/529572
[pid=25714] ppid=25711 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/25714/stat : 25714 (java) S 25711 25714 22589 0 -1 4202496 7466 0 1 0 60 2 0 0 20 0 22 0 22838659 10060525568 10546 33554432000 1073741824 1073778376 140735373532832 140735373523968 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25714/statm: 2456183 10546 2245 9 0 2446860 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 9824732
[startup+0.704162 s]
/proc/loadavg: 4.17 4.11 3.52 4/197 25714
/proc/meminfo: memFree=27857324/32872528 swapFree=496868/529572
[pid=25714] ppid=25711 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/25714/stat : 25714 (java) S 25711 25714 22589 0 -1 4202496 13150 0 1 0 108 5 0 0 20 0 22 0 22838659 10060525568 14525 33554432000 1073741824 1073778376 140735373532832 140735373523968 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25714/statm: 2456183 14525 2257 9 0 2446860 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 9824732
[startup+1.50075 s]
/proc/loadavg: 4.17 4.11 3.52 3/216 25739
/proc/meminfo: memFree=27807188/32872528 swapFree=496868/529572
[pid=25714] ppid=25711 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/25714/stat : 25714 (java) S 25711 25714 22589 0 -1 4202496 13216 0 1 0 110 6 0 0 20 0 19 0 22838659 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140735373523968 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25714/statm: 2456183 15542 2257 9 0 2446860 0
[pid=25714/tid=25716] ppid=25711 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/25714/task/25716/stat : 25716 (java) S 25711 25714 22589 0 -1 4202560 2405 0 1 0 16 0 0 0 20 0 19 0 22838660 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140710761276280 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25717] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25717/stat : 25717 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22838661 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140710722767656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25718] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25718/stat : 25718 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22838661 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140710721714856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25719] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25719/stat : 25719 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22838661 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140710720662568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25720] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25720/stat : 25720 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22838661 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140710719609768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25714/tid=25721] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25721/stat : 25721 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22838661 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140710718556456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25722] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25722/stat : 25722 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22838661 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140710717503656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25714/tid=25723] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25723/stat : 25723 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22838661 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140710716451368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25724] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25724/stat : 25724 (java) S 25711 25714 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22838661 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140710715398568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25725] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25725/stat : 25725 (java) S 25711 25714 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22838662 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140710584998632 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25726] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25726/stat : 25726 (java) S 25711 25714 22589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22838663 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140710583944696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25727] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25727/stat : 25727 (java) S 25711 25714 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22838663 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140710582892296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25728] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25728/stat : 25728 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22838665 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140710581840784 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25729] ppid=25711 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/25714/task/25729/stat : 25729 (java) S 25711 25714 22589 0 -1 4202560 6758 0 0 0 31 2 0 0 20 0 19 0 22838665 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140710580787384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25730] ppid=25711 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/25714/task/25730/stat : 25730 (java) S 25711 25714 22589 0 -1 4202560 2699 0 0 0 28 0 0 0 20 0 19 0 22838665 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140710579734584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25731] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25731/stat : 25731 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22838665 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140709705280120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25732] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25732/stat : 25732 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22838665 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140709704227528 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25739] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25739/stat : 25739 (java) S 25711 25714 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22838728 10060525568 15542 33554432000 1073741824 1073778376 140735373532832 140709700015272 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9824732
[startup+3.1009 s]
/proc/loadavg: 4.17 4.11 3.52 6/219 25745
/proc/meminfo: memFree=27676864/32872528 swapFree=496868/529572
[pid=25714] ppid=25711 vsize=9824732 CPUtime=5.09 cores=1,3,5,7
/proc/25714/stat : 25714 (java) S 25711 25714 22589 0 -1 4202496 22034 0 1 0 498 11 0 0 20 0 22 0 22838659 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140735373523968 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25714/statm: 2456183 50858 2285 9 0 2446860 0
[pid=25714/tid=25716] ppid=25711 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/25714/task/25716/stat : 25716 (java) S 25711 25714 22589 0 -1 4202560 2405 0 1 0 16 0 0 0 20 0 22 0 22838660 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140710761276280 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25717] ppid=25711 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/25714/task/25717/stat : 25717 (java) S 25711 25714 22589 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 22838661 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140710722767656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25714/tid=25718] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25718/stat : 25718 (java) S 25711 25714 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22838661 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140710721714856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25719] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25719/stat : 25719 (java) S 25711 25714 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 22838661 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140710720662568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25720] ppid=25711 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/25714/task/25720/stat : 25720 (java) S 25711 25714 22589 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 22838661 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140710719609768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25721] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25721/stat : 25721 (java) S 25711 25714 22589 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 22838661 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140710718556456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25722] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25722/stat : 25722 (java) S 25711 25714 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22838661 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140710717503656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25723] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25723/stat : 25723 (java) S 25711 25714 22589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 22838661 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140710716451368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25724] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25724/stat : 25724 (java) S 25711 25714 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22838661 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140710715398568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25725] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25725/stat : 25725 (java) S 25711 25714 22589 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 22838662 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140710584998632 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25726] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25726/stat : 25726 (java) S 25711 25714 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22838663 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140710583944696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25727] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25727/stat : 25727 (java) S 25711 25714 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22838663 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140710582892296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25728] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25728/stat : 25728 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22838665 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140710581840784 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25729] ppid=25711 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/25714/task/25729/stat : 25729 (java) S 25711 25714 22589 0 -1 4202560 10547 0 0 0 91 2 0 0 20 0 22 0 22838665 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140710580787384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25730] ppid=25711 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/25714/task/25730/stat : 25730 (java) S 25711 25714 22589 0 -1 4202560 7538 0 0 0 75 2 0 0 20 0 22 0 22838665 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140710579734584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25731] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25731/stat : 25731 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22838665 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140709705280120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25732] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25732/stat : 25732 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22838665 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140709704227528 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25739] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25739/stat : 25739 (java) S 25711 25714 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 22838728 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140709700015272 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25743] ppid=25711 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/25714/task/25743/stat : 25743 (java) R 25711 25714 22589 0 -1 4202560 10 0 0 0 135 0 0 0 20 0 22 0 22838829 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140709703164448 140710595050336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25744] ppid=25711 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/25714/task/25744/stat : 25744 (java) R 25711 25714 22589 0 -1 4202560 57 0 0 0 134 0 0 0 20 0 22 0 22838829 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140709701067144 140710595071366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25714/tid=25745] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25745/stat : 25745 (java) S 25711 25714 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 22838829 10060525568 50858 33554432000 1073741824 1073778376 140735373532832 140709702120360 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 9824732
[startup+6.30096 s]
/proc/loadavg: 4.16 4.11 3.53 5/219 25745
/proc/meminfo: memFree=27511936/32872528 swapFree=496868/529572
[pid=25714] ppid=25711 vsize=9824732 CPUtime=11.61 cores=1,3,5,7
/proc/25714/stat : 25714 (java) S 25711 25714 22589 0 -1 4202496 22415 0 1 0 1140 21 0 0 20 0 22 0 22838659 10060525568 137560 33554432000 1073741824 1073778376 140735373532832 140735373523968 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25714/statm: 2456183 137560 2285 9 0 2446860 0
[pid=25714/tid=25716] ppid=25711 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/25714/task/25716/stat : 25716 (java) S 25711 25714 22589 0 -1 4202560 2405 0 1 0 16 0 0 0 20 0 22 0 22838660 10060525568 137560 33554432000 1073741824 1073778376 140735373532832 140710761276280 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25717] ppid=25711 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/25714/task/25717/stat : 25717 (java) S 25711 25714 22589 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 22 0 22838661 10060525568 137560 33554432000 1073741824 1073778376 140735373532832 140710722767656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25718] ppid=25711 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/25714/task/25718/stat : 25718 (java) S 25711 25714 22589 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 22838661 10060525568 137560 33554432000 1073741824 1073778376 140735373532832 140710721714856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25719] ppid=25711 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/25714/task/25719/stat : 25719 (java) S 25711 25714 22589 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 22 0 22838661 10060525568 137560 33554432000 1073741824 1073778376 140735373532832 140710720662568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25720] ppid=25711 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/25714/task/25720/stat : 25720 (java) S 25711 25714 22589 0 -1 4202560 33 0 0 0 3 2 0 0 20 0 22 0 22838661 10060525568 137560 33554432000 1073741824 1073778376 140735373532832 140710719609768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25721] ppid=25711 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/25714/task/25721/stat : 25721 (java) S 25711 25714 22589 0 -1 4202560 29 0 0 0 1 1 0 0 20 0 22 0 22838661 10060525568 137560 33554432000 1073741824 1073778376 140735373532832 140710718556456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25722] ppid=25711 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/25714/task/25722/stat : 25722 (java) S 25711 25714 22589 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 22838661 10060525568 137560 33554432000 1073741824 1073778376 140735373532832 140710717503656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25723] ppid=25711 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/25714/task/25723/stat : 25723 (java) S 25711 25714 22589 0 -1 4202560 29 0 0 0 3 0 0 0 20 0 22 0 22838661 10060525568 137560 33554432000 1073741824 1073778376 140735373532832 140710716451368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25724] ppid=25711 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/25714/task/25724/stat : 25724 (java) S 25711 25714 22589 0 -1 4202560 18 0 0 0 1 1 0 0 20 0 22 0 22838661 10060525568 137560 33554432000 1073741824 1073778376 140735373532832 140710715398568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25725] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25725/stat : 25725 (java) S 25711 25714 22589 0 -1 4202560 195 0 0 0 0 0 0 0 20 0 22 0 22838662 10060525568 137560 33554432000 1073741824 1073778376 140735373532832 140710584998632 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25726] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25726/stat : 25726 (java) S 25711 25714 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22838663 10060525568 137560 33554432000 1073741824 1073778376 140735373532832 140710583944696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25727] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25727/stat : 25727 (java) S 25711 25714 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22838663 10060525568 137560 33554432000 1073741824 1073778376 140735373532832 140710582892296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25728] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25728/stat : 25728 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22838665 10060525568 137560 33554432000 1073741824 1073778376 140735373532832 140710581840784 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25729] ppid=25711 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/25714/task/25729/stat : 25729 (java) S 25711 25714 22589 0 -1 4202560 10548 0 0 0 94 2 0 0 20 0 22 0 22838665 10060525568 137560 33554432000 1073741824 1073778376 140735373532832 140710580787384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25730] ppid=25711 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/25714/task/25730/stat : 25730 (java) S 25711 25714 22589 0 -1 4202560 7538 0 0 0 76 2 0 0 20 0 22 0 22838665 10060525568 137560 33554432000 1073741824 1073778376 140735373532832 140710579734584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25731] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25731/stat : 25731 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22838665 10060525568 137560 33554432000 1073741824 1073778376 140735373532832 140709705280120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25732] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.02 4.06 3.85 5/219 25862
/proc/meminfo: memFree=27175704/32872528 swapFree=496868/529572
[pid=25714] ppid=25711 vsize=9824732 CPUtime=1645.09 cores=1,3,5,7
/proc/25714/stat : 25714 (java) S 25711 25714 22589 0 -1 4202496 29746 0 1 0 164342 167 0 0 20 0 22 0 22838659 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140735373523968 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25714/statm: 2456183 364190 2294 9 0 2446860 0
[pid=25714/tid=25716] ppid=25711 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/25714/task/25716/stat : 25716 (java) S 25711 25714 22589 0 -1 4202560 2411 0 1 0 16 3 0 0 20 0 22 0 22838660 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140710761276280 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25717] ppid=25711 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/25714/task/25717/stat : 25717 (java) S 25711 25714 22589 0 -1 4202560 718 0 0 0 108 9 0 0 20 0 22 0 22838661 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140710722767656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25718] ppid=25711 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/25714/task/25718/stat : 25718 (java) S 25711 25714 22589 0 -1 4202560 535 0 0 0 120 8 0 0 20 0 22 0 22838661 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140710721714856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25719] ppid=25711 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/25714/task/25719/stat : 25719 (java) S 25711 25714 22589 0 -1 4202560 312 0 0 0 111 8 0 0 20 0 22 0 22838661 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140710720662568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25714/tid=25720] ppid=25711 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/25714/task/25720/stat : 25720 (java) S 25711 25714 22589 0 -1 4202560 250 0 0 0 112 9 0 0 20 0 22 0 22838661 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140710719609768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25721] ppid=25711 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/25714/task/25721/stat : 25721 (java) S 25711 25714 22589 0 -1 4202560 847 0 0 0 115 10 0 0 20 0 22 0 22838661 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140710718556456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25714/tid=25722] ppid=25711 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/25714/task/25722/stat : 25722 (java) S 25711 25714 22589 0 -1 4202560 333 0 0 0 114 11 0 0 20 0 22 0 22838661 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140710717503656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25714/tid=25723] ppid=25711 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/25714/task/25723/stat : 25723 (java) S 25711 25714 22589 0 -1 4202560 357 0 0 0 109 11 0 0 20 0 22 0 22838661 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140710716451368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25724] ppid=25711 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/25714/task/25724/stat : 25724 (java) S 25711 25714 22589 0 -1 4202560 920 0 0 0 112 12 0 0 20 0 22 0 22838661 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140710715398568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25725] ppid=25711 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/25714/task/25725/stat : 25725 (java) S 25711 25714 22589 0 -1 4202560 1625 0 0 0 172 24 0 0 20 0 22 0 22838662 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140710584998632 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25714/tid=25726] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25726/stat : 25726 (java) S 25711 25714 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22838663 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140710583944696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25727] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25727/stat : 25727 (java) S 25711 25714 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22838663 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140710582892296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25728] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25728/stat : 25728 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22838665 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140710581840784 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25729] ppid=25711 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/25714/task/25729/stat : 25729 (java) S 25711 25714 22589 0 -1 4202560 10550 0 0 0 97 2 0 0 20 0 22 0 22838665 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140710580787384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25730] ppid=25711 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/25714/task/25730/stat : 25730 (java) S 25711 25714 22589 0 -1 4202560 7538 0 0 0 76 2 0 0 20 0 22 0 22838665 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140710579734584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25731] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25731/stat : 25731 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22838665 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140709705280120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25732] ppid=25711 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/25714/task/25732/stat : 25732 (java) S 25711 25714 22589 0 -1 4202560 47 0 0 0 11 18 0 0 20 0 22 0 22838665 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140709704227528 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25739] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25739/stat : 25739 (java) S 25711 25714 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 22838728 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140709700015272 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25743] ppid=25711 vsize=9824732 CPUtime=815.51 cores=1,3,5,7
/proc/25714/task/25743/stat : 25743 (java) R 25711 25714 22589 0 -1 4202560 142 0 0 0 81535 16 0 0 20 0 22 0 22838829 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140709703172128 140710595033159 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25744] ppid=25711 vsize=9824732 CPUtime=815.46 cores=1,3,5,7
/proc/25714/task/25744/stat : 25744 (java) R 25711 25714 22589 0 -1 4202560 1816 0 0 0 81494 52 0 0 20 0 22 0 22838829 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140709701065872 140710595071310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25714/tid=25745] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25745/stat : 25745 (java) S 25711 25714 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 22838829 10060525568 364190 33554432000 1073741824 1073778376 140735373532832 140709702120360 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1645.09
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.01 4.05 3.86 5/219 25863
/proc/meminfo: memFree=27217396/32872528 swapFree=496868/529572
[pid=25714] ppid=25711 vsize=9824732 CPUtime=1765.38 cores=1,3,5,7
/proc/25714/stat : 25714 (java) S 25711 25714 22589 0 -1 4202496 29901 0 1 0 176365 173 0 0 20 0 22 0 22838659 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140735373523968 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25714/statm: 2456183 353818 2294 9 0 2446860 0
[pid=25714/tid=25716] ppid=25711 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/25714/task/25716/stat : 25716 (java) S 25711 25714 22589 0 -1 4202560 2411 0 1 0 17 3 0 0 20 0 22 0 22838660 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140710761276280 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25717] ppid=25711 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/25714/task/25717/stat : 25717 (java) S 25711 25714 22589 0 -1 4202560 729 0 0 0 117 9 0 0 20 0 22 0 22838661 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140710722767656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25714/tid=25718] ppid=25711 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/25714/task/25718/stat : 25718 (java) S 25711 25714 22589 0 -1 4202560 538 0 0 0 129 9 0 0 20 0 22 0 22838661 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140710721714856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25719] ppid=25711 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/25714/task/25719/stat : 25719 (java) S 25711 25714 22589 0 -1 4202560 318 0 0 0 120 8 0 0 20 0 22 0 22838661 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140710720662568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25720] ppid=25711 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/25714/task/25720/stat : 25720 (java) S 25711 25714 22589 0 -1 4202560 263 0 0 0 121 9 0 0 20 0 22 0 22838661 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140710719609768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25721] ppid=25711 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/25714/task/25721/stat : 25721 (java) S 25711 25714 22589 0 -1 4202560 861 0 0 0 125 10 0 0 20 0 22 0 22838661 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140710718556456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25722] ppid=25711 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/25714/task/25722/stat : 25722 (java) S 25711 25714 22589 0 -1 4202560 352 0 0 0 122 12 0 0 20 0 22 0 22838661 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140710717503656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25714/tid=25723] ppid=25711 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/25714/task/25723/stat : 25723 (java) S 25711 25714 22589 0 -1 4202560 394 0 0 0 116 12 0 0 20 0 22 0 22838661 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140710716451368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25724] ppid=25711 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/25714/task/25724/stat : 25724 (java) S 25711 25714 22589 0 -1 4202560 925 0 0 0 121 12 0 0 20 0 22 0 22838661 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140710715398568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25725] ppid=25711 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/25714/task/25725/stat : 25725 (java) S 25711 25714 22589 0 -1 4202560 1653 0 0 0 172 25 0 0 20 0 22 0 22838662 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140710584998632 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25726] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25726/stat : 25726 (java) S 25711 25714 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22838663 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140710583944696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25727] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25727/stat : 25727 (java) S 25711 25714 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22838663 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140710582892296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25728] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25728/stat : 25728 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22838665 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140710581840784 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25729] ppid=25711 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/25714/task/25729/stat : 25729 (java) S 25711 25714 22589 0 -1 4202560 10550 0 0 0 97 2 0 0 20 0 22 0 22838665 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140710580787384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25730] ppid=25711 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/25714/task/25730/stat : 25730 (java) S 25711 25714 22589 0 -1 4202560 7538 0 0 0 76 2 0 0 20 0 22 0 22838665 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140710579734584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25731] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25731/stat : 25731 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22838665 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140709705280120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25732] ppid=25711 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/25714/task/25732/stat : 25732 (java) S 25711 25714 22589 0 -1 4202560 51 0 0 0 12 18 0 0 20 0 22 0 22838665 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140709704227528 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25714/tid=25739] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25739/stat : 25739 (java) S 25711 25714 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 22838728 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140709700015272 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25743] ppid=25711 vsize=9824732 CPUtime=875.28 cores=1,3,5,7
/proc/25714/task/25743/stat : 25743 (java) R 25711 25714 22589 0 -1 4202560 144 0 0 0 87510 18 0 0 20 0 22 0 22838829 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140709703171344 140710595033159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25714/tid=25744] ppid=25711 vsize=9824732 CPUtime=875.26 cores=1,3,5,7
/proc/25714/task/25744/stat : 25744 (java) R 25711 25714 22589 0 -1 4202560 1829 0 0 0 87473 53 0 0 20 0 22 0 22838829 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140709701066352 140710594903850 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25745] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25745/stat : 25745 (java) S 25711 25714 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 22838829 10060525568 353818 33554432000 1073741824 1073778376 140735373532832 140709702120360 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1765.38
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.601 s]
/proc/loadavg: 4.00 4.05 3.86 6/219 25863
/proc/meminfo: memFree=27140160/32872528 swapFree=496868/529572
[pid=25714] ppid=25711 vsize=9824732 CPUtime=1800.07 cores=1,3,5,7
/proc/25714/stat : 25714 (java) S 25711 25714 22589 0 -1 4202496 30308 0 1 0 179831 176 0 0 20 0 22 0 22838659 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140735373523968 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25714/statm: 2456183 373268 2294 9 0 2446860 0
[pid=25714/tid=25716] ppid=25711 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/25714/task/25716/stat : 25716 (java) S 25711 25714 22589 0 -1 4202560 2411 0 1 0 17 3 0 0 20 0 22 0 22838660 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140710761276280 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25717] ppid=25711 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/25714/task/25717/stat : 25717 (java) S 25711 25714 22589 0 -1 4202560 732 0 0 0 123 9 0 0 20 0 22 0 22838661 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140710722767656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25718] ppid=25711 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/25714/task/25718/stat : 25718 (java) S 25711 25714 22589 0 -1 4202560 540 0 0 0 131 9 0 0 20 0 22 0 22838661 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140710721714856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25719] ppid=25711 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/25714/task/25719/stat : 25719 (java) S 25711 25714 22589 0 -1 4202560 321 0 0 0 123 8 0 0 20 0 22 0 22838661 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140710720662568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25714/tid=25720] ppid=25711 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/25714/task/25720/stat : 25720 (java) S 25711 25714 22589 0 -1 4202560 266 0 0 0 123 10 0 0 20 0 22 0 22838661 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140710719609768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25721] ppid=25711 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/25714/task/25721/stat : 25721 (java) S 25711 25714 22589 0 -1 4202560 861 0 0 0 127 10 0 0 20 0 22 0 22838661 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140710718556456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25722] ppid=25711 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/25714/task/25722/stat : 25722 (java) S 25711 25714 22589 0 -1 4202560 355 0 0 0 127 12 0 0 20 0 22 0 22838661 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140710717503656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25714/tid=25723] ppid=25711 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/25714/task/25723/stat : 25723 (java) S 25711 25714 22589 0 -1 4202560 396 0 0 0 118 12 0 0 20 0 22 0 22838661 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140710716451368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25724] ppid=25711 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/25714/task/25724/stat : 25724 (java) S 25711 25714 22589 0 -1 4202560 931 0 0 0 126 12 0 0 20 0 22 0 22838661 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140710715398568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25725] ppid=25711 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/25714/task/25725/stat : 25725 (java) S 25711 25714 22589 0 -1 4202560 1762 0 0 0 172 25 0 0 20 0 22 0 22838662 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140710584998632 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25726] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25726/stat : 25726 (java) S 25711 25714 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22838663 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140710583944696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25727] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25727/stat : 25727 (java) S 25711 25714 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22838663 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140710582892296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25728] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25728/stat : 25728 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22838665 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140710581840784 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25729] ppid=25711 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/25714/task/25729/stat : 25729 (java) S 25711 25714 22589 0 -1 4202560 10550 0 0 0 97 2 0 0 20 0 22 0 22838665 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140710580787384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25730] ppid=25711 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/25714/task/25730/stat : 25730 (java) S 25711 25714 22589 0 -1 4202560 7538 0 0 0 76 2 0 0 20 0 22 0 22838665 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140710579734584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25714/tid=25731] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25731/stat : 25731 (java) S 25711 25714 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22838665 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140709705280120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25732] ppid=25711 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/25714/task/25732/stat : 25732 (java) S 25711 25714 22589 0 -1 4202560 51 0 0 0 12 19 0 0 20 0 22 0 22838665 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140709704227528 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25739] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25739/stat : 25739 (java) S 25711 25714 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 22838728 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140709700015272 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25714/tid=25743] ppid=25711 vsize=9824732 CPUtime=892.48 cores=1,3,5,7
/proc/25714/task/25743/stat : 25743 (java) R 25711 25714 22589 0 -1 4202560 145 0 0 0 89230 18 0 0 20 0 22 0 22838829 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140709703171344 140710595033159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25714/tid=25744] ppid=25711 vsize=9824732 CPUtime=892.46 cores=1,3,5,7
/proc/25714/task/25744/stat : 25744 (java) R 25711 25714 22589 0 -1 4202560 2104 0 0 0 89193 53 0 0 20 0 22 0 22838829 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140709701066560 140710595071326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25714/tid=25745] ppid=25711 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25714/task/25745/stat : 25745 (java) S 25711 25714 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 22838829 10060525568 373268 33554432000 1073741824 1073778376 140735373532832 140709702120360 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 25714 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 899.645
CPU time (s): 1800.74
CPU user time (s): 1798.51
CPU system time (s): 2.23166
CPU usage (%): 200.161
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.51
system time used= 2.23166
maximum resident set size= 2846508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30352
page faults= 1
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29886
involuntary context switches= 37125
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29189 second user time and 5.9261 second system time
The end