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-4109813-1466343801/watcher-4109813-1466343801 -o /tmp/evaluation-result-4109813-1466343801/solver-4109813-1466343801 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466341817-29921 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109813-1466343801.wbo
pid=32028
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: 2.58 2.36 2.00 3/196 32031
/proc/meminfo: memFree=29521280/32872528 swapFree=1498360/1645528
[pid=32031] ppid=32028 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/32031/stat : 32031 (java) D 32028 32031 29904 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 36426916 9515008 176 33554432000 1073741824 1073778376 140733879460752 140733879443480 259112387472 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/32031/statm: 2323 176 133 9 0 71 0
[startup+0.100059 s]
/proc/loadavg: 2.58 2.36 2.00 3/196 32031
/proc/meminfo: memFree=29521280/32872528 swapFree=1498360/1645528
[pid=32031] ppid=32028 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/32031/stat : 32031 (java) S 32028 32031 29904 0 -1 4202496 4343 0 1 0 6 1 0 0 20 0 18 0 36426916 9787879424 5457 33554432000 1073741824 1073778376 140734907074848 140734907065984 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32031/statm: 2389619 5457 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476
[startup+0.20022 s]
/proc/loadavg: 2.58 2.36 2.00 3/196 32031
/proc/meminfo: memFree=29521280/32872528 swapFree=1498360/1645528
[pid=32031] ppid=32028 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/32031/stat : 32031 (java) S 32028 32031 29904 0 -1 4202496 4724 0 1 0 20 1 0 0 20 0 18 0 36426916 9787879424 6805 33554432000 1073741824 1073778376 140734907074848 140734907065984 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32031/statm: 2389619 6805 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476
[startup+0.300224 s]
/proc/loadavg: 2.58 2.36 2.00 3/196 32031
/proc/meminfo: memFree=29521280/32872528 swapFree=1498360/1645528
[pid=32031] ppid=32028 vsize=9558476 CPUtime=0.44 cores=1,3,5,7
/proc/32031/stat : 32031 (java) S 32028 32031 29904 0 -1 4202496 5612 0 1 0 43 1 0 0 20 0 18 0 36426916 9787879424 8374 33554432000 1073741824 1073778376 140734907074848 140734907065984 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32031/statm: 2389619 8374 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476
[startup+0.700246 s]
/proc/loadavg: 2.58 2.36 2.00 3/196 32031
/proc/meminfo: memFree=29521280/32872528 swapFree=1498360/1645528
[pid=32031] ppid=32028 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/32031/stat : 32031 (java) S 32028 32031 29904 0 -1 4202496 12703 0 1 0 139 5 0 0 20 0 19 0 36426916 10060525568 14495 33554432000 1073741824 1073778376 140734907074848 140734907065984 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32031/statm: 2456183 14496 2259 9 0 2446860 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9824732
[startup+1.50081 s]
/proc/loadavg: 2.58 2.36 2.00 2/215 32056
/proc/meminfo: memFree=29465304/32872528 swapFree=1498360/1645528
[pid=32031] ppid=32028 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/32031/stat : 32031 (java) S 32028 32031 29904 0 -1 4202496 15692 0 1 0 197 8 0 0 20 0 19 0 36426916 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140734907065984 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32031/statm: 2456183 17854 2266 9 0 2446860 0
[pid=32031/tid=32033] ppid=32028 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/32031/task/32033/stat : 32033 (java) S 32028 32031 29904 0 -1 4202560 2426 0 1 0 31 2 0 0 20 0 19 0 36426917 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140691345601400 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32034] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32034/stat : 32034 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426918 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140691189049512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32035] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32035/stat : 32035 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426918 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140691187996968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32036] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32036/stat : 32036 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426918 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140691186944424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32037] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32037/stat : 32037 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426918 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140691185891880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32038] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32038/stat : 32038 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426919 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140691184839336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32039] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32039/stat : 32039 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426919 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140690847689512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32040] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32040/stat : 32040 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426919 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140690846636968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32041] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32041/stat : 32041 (java) S 32028 32031 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36426919 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140690845584424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32042] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32042/stat : 32042 (java) S 32028 32031 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36426920 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140690833385576 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32043] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32043/stat : 32043 (java) S 32028 32031 29904 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36426920 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140690832331896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32044] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32044/stat : 32044 (java) S 32028 32031 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36426920 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140690831279240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32045] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32045/stat : 32045 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426923 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140690830227984 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32046] ppid=32028 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/32031/task/32046/stat : 32046 (java) S 32028 32031 29904 0 -1 4202560 6349 0 0 0 67 1 0 0 20 0 19 0 36426923 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140690829175352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32047] ppid=32028 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/32031/task/32047/stat : 32047 (java) S 32028 32031 29904 0 -1 4202560 5564 0 0 0 50 0 0 0 20 0 19 0 36426923 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140690828122808 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32048] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32048/stat : 32048 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426923 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140690827070456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32049] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32049/stat : 32049 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426923 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140690826018120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32053] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32053/stat : 32053 (java) S 32028 32031 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36426952 10060525568 17854 33554432000 1073741824 1073778376 140734907074848 140690821706920 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 9824732
############
# WARNING:
# current cumulated CPU time (2.14 s) is less than in the last sample (2.15 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.00999999 s) to the 'lost time'.
[startup+2.40157 s]
/proc/loadavg: 2.58 2.36 2.00 2/215 32062
/proc/meminfo: memFree=29450968/32872528 swapFree=1498360/1645528
[pid=32031] ppid=32028 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/32031/stat : 32031 (java) S 32028 32031 29904 0 -1 4202496 15877 0 1 0 207 8 0 0 20 0 22 0 36426916 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140734907065984 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32031/statm: 2456183 20420 2266 9 0 2446860 0
[pid=32031/tid=32033] ppid=32028 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/32031/task/32033/stat : 32033 (java) S 32028 32031 29904 0 -1 4202560 2429 0 1 0 32 2 0 0 20 0 22 0 36426917 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140691345601400 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32034] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32034/stat : 32034 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36426918 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140691189049512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32035] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32035/stat : 32035 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36426918 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140691187996968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32036] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32036/stat : 32036 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36426918 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140691186944424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32037] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32037/stat : 32037 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36426918 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140691185891880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32038] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32038/stat : 32038 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36426919 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140691184839336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32039] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32039/stat : 32039 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36426919 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140690847689512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32040] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32040/stat : 32040 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36426919 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140690846636968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32041] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32041/stat : 32041 (java) S 32028 32031 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36426919 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140690845584424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32042] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32042/stat : 32042 (java) S 32028 32031 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36426920 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140690833385576 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32043] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32043/stat : 32043 (java) S 32028 32031 29904 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 36426920 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140690832331896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32044] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32044/stat : 32044 (java) S 32028 32031 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36426920 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140690831279240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32045] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32045/stat : 32045 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36426923 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140690830227984 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32046] ppid=32028 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/32031/task/32046/stat : 32046 (java) S 32028 32031 29904 0 -1 4202560 6349 0 0 0 72 2 0 0 20 0 22 0 36426923 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140690829175352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32047] ppid=32028 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/32031/task/32047/stat : 32047 (java) S 32028 32031 29904 0 -1 4202560 5731 0 0 0 54 0 0 0 20 0 22 0 36426923 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140690828122808 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32048] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32048/stat : 32048 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36426923 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140690827070456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32049] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32049/stat : 32049 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36426923 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140690826018120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32053] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32053/stat : 32053 (java) S 32028 32031 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36426952 10060525568 20420 33554432000 1073741824 1073778376 140734907074848 140690821706920 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 9824732
[startup+2.5008 s]
/proc/loadavg: 2.58 2.36 2.00 2/215 32062
/proc/meminfo: memFree=29450968/32872528 swapFree=1498360/1645528
[pid=32031] ppid=32028 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/32031/stat : 32031 (java) S 32028 32031 29904 0 -1 4202496 15878 0 1 0 206 8 0 0 20 0 19 0 36426916 10060525568 20926 33554432000 1073741824 1073778376 140734907074848 140734907065984 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32031/statm: 2456183 20926 2266 9 0 2446860 0
[pid=32031/tid=32033] ppid=32028 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/32031/task/32033/stat : 32033 (java) S 32028 32031 29904 0 -1 4202560 2429 0 1 0 32 2 0 0 20 0 19 0 36426917 10060525568 20926 33554432000 1073741824 1073778376 140734907074848 140691345601400 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32034] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32034/stat : 32034 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426918 10060525568 20926 33554432000 1073741824 1073778376 140734907074848 140691189049512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32035] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32035/stat : 32035 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426918 10060525568 20926 33554432000 1073741824 1073778376 140734907074848 140691187996968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32036] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32036/stat : 32036 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426918 10060525568 20926 33554432000 1073741824 1073778376 140734907074848 140691186944424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32037] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32037/stat : 32037 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426918 10060525568 20926 33554432000 1073741824 1073778376 140734907074848 140691185891880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32038] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32038/stat : 32038 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426919 10060525568 20926 33554432000 1073741824 1073778376 140734907074848 140691184839336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32039] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32039/stat : 32039 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426919 10060525568 20926 33554432000 1073741824 1073778376 140734907074848 140690847689512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32040] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32040/stat : 32040 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426919 10060525568 20926 33554432000 1073741824 1073778376 140734907074848 140690846636968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32041] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32041/stat : 32041 (java) S 32028 32031 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36426919 10060525568 20926 33554432000 1073741824 1073778376 140734907074848 140690845584424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32042] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32042/stat : 32042 (java) S 32028 32031 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36426920 10060525568 20926 33554432000 1073741824 1073778376 140734907074848 140690833385576 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32043] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32043/stat : 32043 (java) S 32028 32031 29904 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36426920 10060525568 20926 33554432000 1073741824 1073778376 140734907074848 140690832331896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32044] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32044/stat : 32044 (java) S 32028 32031 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36426920 10060525568 20926 33554432000 1073741824 1073778376 140734907074848 140690831279240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32045] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32045/stat : 32045 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426923 10060525568 20926 33554432000 1073741824 1073778376 140734907074848 140690830227984 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32046] ppid=32028 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/32031/task/32046/stat : 32046 (java) S 32028 32031 29904 0 -1 4202560 6349 0 0 0 72 2 0 0 20 0 19 0 36426923 10060525568 20926 33554432000 1073741824 1073778376 140734907074848 140690829175352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32047] ppid=32028 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/32031/task/32047/stat : 32047 (java) S 32028 32031 29904 0 -1 4202560 5731 0 0 0 54 0 0 0 20 0 19 0 36426923 10060525568 20926 33554432000 1073741824 1073778376 140734907074848 140690828122808 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32048] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32048/stat : 32048 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36426923 10060525568 20926 33554432000 1073741824 1073778376 140734907074848 140690827070456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
/proc/32031/task/32038/stat : 32038 (java) S 32028 32031 29904 0 -1 4202560 758 0 0 0 520 23 0 0 20 0 21 0 36426919 10060525568 1024946 33554432000 1073741824 1073778376 140734907074848 140691184839336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32039] ppid=32028 vsize=9824732 CPUtime=5.1 cores=1,3,5,7
/proc/32031/task/32039/stat : 32039 (java) S 32028 32031 29904 0 -1 4202560 713 0 0 0 489 21 0 0 20 0 21 0 36426919 10060525568 1024946 33554432000 1073741824 1073778376 140734907074848 140690847689512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32040] ppid=32028 vsize=9824732 CPUtime=4.77 cores=1,3,5,7
/proc/32031/task/32040/stat : 32040 (java) S 32028 32031 29904 0 -1 4202560 784 0 0 0 456 21 0 0 20 0 21 0 36426919 10060525568 1024946 33554432000 1073741824 1073778376 140734907074848 140690846636968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32041] ppid=32028 vsize=9824732 CPUtime=4.62 cores=1,3,5,7
/proc/32031/task/32041/stat : 32041 (java) S 32028 32031 29904 0 -1 4202560 596 0 0 0 440 22 0 0 20 0 21 0 36426919 10060525568 1024946 33554432000 1073741824 1073778376 140734907074848 140690845584424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32042] ppid=32028 vsize=9824732 CPUtime=7.59 cores=1,3,5,7
/proc/32031/task/32042/stat : 32042 (java) S 32028 32031 29904 0 -1 4202560 2937 0 0 0 748 11 0 0 20 0 21 0 36426920 10060525568 1024946 33554432000 1073741824 1073778376 140734907074848 140690833385576 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32043] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32043/stat : 32043 (java) S 32028 32031 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36426920 10060525568 1024946 33554432000 1073741824 1073778376 140734907074848 140690832331896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32044] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32044/stat : 32044 (java) S 32028 32031 29904 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 21 0 36426920 10060525568 1024946 33554432000 1073741824 1073778376 140734907074848 140690831279240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32045] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32045/stat : 32045 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36426923 10060525568 1024946 33554432000 1073741824 1073778376 140734907074848 140690830227984 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32046] ppid=32028 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/32031/task/32046/stat : 32046 (java) S 32028 32031 29904 0 -1 4202560 6388 0 0 0 114 2 0 0 20 0 21 0 36426923 10060525568 1024946 33554432000 1073741824 1073778376 140734907074848 140690829175352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32047] ppid=32028 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/32031/task/32047/stat : 32047 (java) S 32028 32031 29904 0 -1 4202560 16455 0 0 0 164 3 0 0 20 0 21 0 36426923 10060525568 1024946 33554432000 1073741824 1073778376 140734907074848 140690828122808 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32048] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32048/stat : 32048 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36426923 10060525568 1024946 33554432000 1073741824 1073778376 140734907074848 140690827070456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32049] ppid=32028 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/32031/task/32049/stat : 32049 (java) S 32028 32031 29904 0 -1 4202560 98 0 0 0 28 37 0 0 20 0 21 0 36426923 10060525568 1024946 33554432000 1073741824 1073778376 140734907074848 140690826018120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32053] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32053/stat : 32053 (java) S 32028 32031 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36426952 10060525568 1024946 33554432000 1073741824 1073778376 140734907074848 140690821706920 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32254] ppid=32028 vsize=9824732 CPUtime=387.3 cores=1,3,5,7
/proc/32031/task/32254/stat : 32254 (java) R 32028 32031 29904 0 -1 4202560 20 0 0 0 38724 6 0 0 20 0 21 0 36554034 10060525568 1024946 33554432000 1073741824 1073778376 140734907074848 140690823810400 140691200982227 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32255] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32255/stat : 32255 (java) S 32028 32031 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36554152 10060525568 1024946 33554432000 1073741824 1073778376 140734907074848 140690822759624 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1674.9
Current children cumulated vsize (KiB) 9824732
[startup+1722.3 s]
/proc/loadavg: 2.21 2.26 2.20 4/217 32269
/proc/meminfo: memFree=21773216/32872528 swapFree=1498360/1645528
[pid=32031] ppid=32028 vsize=9824732 CPUtime=1735.99 cores=1,3,5,7
/proc/32031/stat : 32031 (java) S 32028 32031 29904 0 -1 4202496 38353 0 1 0 173230 369 0 0 20 0 21 0 36426916 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140734907065984 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32031/statm: 2456183 1030245 2296 9 0 2446860 0
[pid=32031/tid=32033] ppid=32028 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/32031/task/32033/stat : 32033 (java) S 32028 32031 29904 0 -1 4202560 2511 0 1 0 181 33 0 0 20 0 21 0 36426917 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140691345601528 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32034] ppid=32028 vsize=9824732 CPUtime=5.54 cores=1,3,5,7
/proc/32031/task/32034/stat : 32034 (java) S 32028 32031 29904 0 -1 4202560 654 0 0 0 532 22 0 0 20 0 21 0 36426918 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140691189049512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32035] ppid=32028 vsize=9824732 CPUtime=5.03 cores=1,3,5,7
/proc/32031/task/32035/stat : 32035 (java) S 32028 32031 29904 0 -1 4202560 763 0 0 0 485 18 0 0 20 0 21 0 36426918 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140691187996968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32036] ppid=32028 vsize=9824732 CPUtime=4.76 cores=1,3,5,7
/proc/32031/task/32036/stat : 32036 (java) S 32028 32031 29904 0 -1 4202560 597 0 0 0 456 20 0 0 20 0 21 0 36426918 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140691186944424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32037] ppid=32028 vsize=9824732 CPUtime=5.55 cores=1,3,5,7
/proc/32031/task/32037/stat : 32037 (java) S 32028 32031 29904 0 -1 4202560 576 0 0 0 534 21 0 0 20 0 21 0 36426918 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140691185891880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32038] ppid=32028 vsize=9824732 CPUtime=5.67 cores=1,3,5,7
/proc/32031/task/32038/stat : 32038 (java) S 32028 32031 29904 0 -1 4202560 762 0 0 0 544 23 0 0 20 0 21 0 36426919 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140691184839336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32039] ppid=32028 vsize=9824732 CPUtime=5.34 cores=1,3,5,7
/proc/32031/task/32039/stat : 32039 (java) S 32028 32031 29904 0 -1 4202560 806 0 0 0 513 21 0 0 20 0 21 0 36426919 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140690847689512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32040] ppid=32028 vsize=9824732 CPUtime=4.97 cores=1,3,5,7
/proc/32031/task/32040/stat : 32040 (java) S 32028 32031 29904 0 -1 4202560 793 0 0 0 476 21 0 0 20 0 21 0 36426919 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140690846636968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32041] ppid=32028 vsize=9824732 CPUtime=4.77 cores=1,3,5,7
/proc/32031/task/32041/stat : 32041 (java) S 32028 32031 29904 0 -1 4202560 638 0 0 0 455 22 0 0 20 0 21 0 36426919 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140690845584424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32042] ppid=32028 vsize=9824732 CPUtime=7.59 cores=1,3,5,7
/proc/32031/task/32042/stat : 32042 (java) S 32028 32031 29904 0 -1 4202560 2940 0 0 0 748 11 0 0 20 0 21 0 36426920 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140690833385576 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32043] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32043/stat : 32043 (java) S 32028 32031 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36426920 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140690832331896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32044] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32044/stat : 32044 (java) S 32028 32031 29904 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 21 0 36426920 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140690831279240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32045] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32045/stat : 32045 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36426923 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140690830227984 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32046] ppid=32028 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/32031/task/32046/stat : 32046 (java) S 32028 32031 29904 0 -1 4202560 6388 0 0 0 114 2 0 0 20 0 21 0 36426923 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140690829175352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32047] ppid=32028 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/32031/task/32047/stat : 32047 (java) S 32028 32031 29904 0 -1 4202560 16455 0 0 0 164 3 0 0 20 0 21 0 36426923 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140690828122808 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32048] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32048/stat : 32048 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36426923 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140690827070456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32049] ppid=32028 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/32031/task/32049/stat : 32049 (java) S 32028 32031 29904 0 -1 4202560 100 0 0 0 28 39 0 0 20 0 21 0 36426923 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140690826018120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32053] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32053/stat : 32053 (java) S 32028 32031 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36426952 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140690821706920 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32254] ppid=32028 vsize=9824732 CPUtime=446.73 cores=1,3,5,7
/proc/32031/task/32254/stat : 32254 (java) R 32028 32031 29904 0 -1 4202560 22 0 0 0 44666 7 0 0 20 0 21 0 36554034 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140690823810416 140691200984496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32255] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32255/stat : 32255 (java) S 32028 32031 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36554152 10060525568 1030245 33554432000 1073741824 1073778376 140734907074848 140690822759624 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1735.99
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1782 s]
/proc/loadavg: 1.91 2.18 2.17 2/215 32588
/proc/meminfo: memFree=25451408/32872528 swapFree=1498360/1645528
[pid=32031] ppid=32028 vsize=9824732 CPUtime=1797.06 cores=1,3,5,7
/proc/32031/stat : 32031 (java) S 32028 32031 29904 0 -1 4202496 38550 0 1 0 179335 371 0 0 20 0 21 0 36426916 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140734907065984 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32031/statm: 2456183 1039107 2296 9 0 2446860 0
[pid=32031/tid=32033] ppid=32028 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/32031/task/32033/stat : 32033 (java) S 32028 32031 29904 0 -1 4202560 2515 0 1 0 183 34 0 0 20 0 21 0 36426917 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140691345601528 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32034] ppid=32028 vsize=9824732 CPUtime=5.84 cores=1,3,5,7
/proc/32031/task/32034/stat : 32034 (java) S 32028 32031 29904 0 -1 4202560 662 0 0 0 562 22 0 0 20 0 21 0 36426918 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140691189049512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32035] ppid=32028 vsize=9824732 CPUtime=5.2 cores=1,3,5,7
/proc/32031/task/32035/stat : 32035 (java) S 32028 32031 29904 0 -1 4202560 768 0 0 0 502 18 0 0 20 0 21 0 36426918 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140691187996968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32036] ppid=32028 vsize=9824732 CPUtime=4.94 cores=1,3,5,7
/proc/32031/task/32036/stat : 32036 (java) S 32028 32031 29904 0 -1 4202560 628 0 0 0 474 20 0 0 20 0 21 0 36426918 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140691186944424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32037] ppid=32028 vsize=9824732 CPUtime=5.81 cores=1,3,5,7
/proc/32031/task/32037/stat : 32037 (java) S 32028 32031 29904 0 -1 4202560 584 0 0 0 560 21 0 0 20 0 21 0 36426918 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140691185891880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32038] ppid=32028 vsize=9824732 CPUtime=5.95 cores=1,3,5,7
/proc/32031/task/32038/stat : 32038 (java) S 32028 32031 29904 0 -1 4202560 862 0 0 0 572 23 0 0 20 0 21 0 36426919 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140691184839336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32039] ppid=32028 vsize=9824732 CPUtime=5.52 cores=1,3,5,7
/proc/32031/task/32039/stat : 32039 (java) S 32028 32031 29904 0 -1 4202560 818 0 0 0 531 21 0 0 20 0 21 0 36426919 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140690847689512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32040] ppid=32028 vsize=9824732 CPUtime=5.2 cores=1,3,5,7
/proc/32031/task/32040/stat : 32040 (java) S 32028 32031 29904 0 -1 4202560 803 0 0 0 499 21 0 0 20 0 21 0 36426919 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140690846636968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32041] ppid=32028 vsize=9824732 CPUtime=5.01 cores=1,3,5,7
/proc/32031/task/32041/stat : 32041 (java) S 32028 32031 29904 0 -1 4202560 647 0 0 0 479 22 0 0 20 0 21 0 36426919 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140690845584424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32042] ppid=32028 vsize=9824732 CPUtime=7.59 cores=1,3,5,7
/proc/32031/task/32042/stat : 32042 (java) S 32028 32031 29904 0 -1 4202560 2945 0 0 0 748 11 0 0 20 0 21 0 36426920 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140690833385576 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32043] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32043/stat : 32043 (java) S 32028 32031 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36426920 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140690832331896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32044] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32044/stat : 32044 (java) S 32028 32031 29904 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 21 0 36426920 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140690831279240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32045] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32045/stat : 32045 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36426923 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140690830227984 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32046] ppid=32028 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/32031/task/32046/stat : 32046 (java) S 32028 32031 29904 0 -1 4202560 6388 0 0 0 114 2 0 0 20 0 21 0 36426923 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140690829175352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32047] ppid=32028 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/32031/task/32047/stat : 32047 (java) S 32028 32031 29904 0 -1 4202560 16455 0 0 0 164 3 0 0 20 0 21 0 36426923 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140690828122808 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32048] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32048/stat : 32048 (java) S 32028 32031 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36426923 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140690827070456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32031/tid=32049] ppid=32028 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/32031/task/32049/stat : 32049 (java) S 32028 32031 29904 0 -1 4202560 104 0 0 0 29 40 0 0 20 0 21 0 36426923 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140690826018120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32031/tid=32053] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32053/stat : 32053 (java) S 32028 32031 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36426952 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140690821706920 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32031/tid=32254] ppid=32028 vsize=9824732 CPUtime=505.77 cores=1,3,5,7
/proc/32031/task/32254/stat : 32254 (java) R 32028 32031 29904 0 -1 4202560 23 0 0 0 50569 8 0 0 20 0 21 0 36554034 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140690823810416 140691200640324 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=32031/tid=32255] ppid=32028 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32255/stat : 32255 (java) S 32028 32031 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36554152 10060525568 1039107 33554432000 1073741824 1073778376 140734907074848 140690822759624 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.06
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 32031 sig 9
??? kill -32031 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32031 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=58565
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=22388
# CPU time returned by wait4() is 1796.08
# while last known CPU time is 1797.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 3.02001
# lost CPU user time (s): 3.20994
# lost CPU system time (s): -0.19
Real time (s): 1782.05
CPU time (s): 1800.08
CPU user time (s): 1796.56
CPU system time (s): 3.52
CPU usage (%): 101.012
Max. virtual memory (cumulated for all children) (KiB): 9824992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.06
system time used= 4.02239
maximum resident set size= 4156512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38579
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79259
involuntary context switches= 61735
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8642 second user time and 13.6919 second system time
The end