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-4116590-1466954877/watcher-4116590-1466954877 -o /tmp/evaluation-result-4116590-1466954877/solver-4116590-1466954877 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18143 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116590-1466954877.opb
pid=19950
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.35 4.25 4.19 4/197 19953
/proc/meminfo: memFree=27165588/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/19953/stat : 19953 (java) D 19950 19953 18126 0 -1 4202496 317 0 0 0 0 0 0 0 20 0 1 0 28527044 9515008 175 33554432000 1073741824 1073778376 140737033985120 140737033967848 266435642256 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/19953/statm: 2323 175 133 9 0 71 0
[startup+0.100061 s]
/proc/loadavg: 4.35 4.25 4.19 4/197 19953
/proc/meminfo: memFree=27165588/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 4413 0 1 0 8 1 0 0 20 0 18 0 28527044 9787879424 6039 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2389619 6039 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200196 s]
/proc/loadavg: 4.35 4.25 4.19 4/197 19953
/proc/meminfo: memFree=27165588/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 4712 0 1 0 22 1 0 0 20 0 18 0 28527044 9787879424 6811 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2389619 6811 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300258 s]
/proc/loadavg: 4.35 4.25 4.19 4/197 19953
/proc/meminfo: memFree=27165588/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 5738 0 1 0 46 1 0 0 20 0 18 0 28527044 9787879424 8499 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2389619 8499 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700201 s]
/proc/loadavg: 4.35 4.25 4.19 4/197 19953
/proc/meminfo: memFree=27165588/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 13781 0 1 0 176 3 0 0 20 0 22 0 28527044 10060525568 23753 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2456183 23753 2266 9 0 2446860 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 9824732
[startup+1.50088 s]
/proc/loadavg: 4.35 4.25 4.19 7/219 19975
/proc/meminfo: memFree=27023908/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9824732 CPUtime=4.86 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 25910 0 1 0 479 7 0 0 20 0 22 0 28527044 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2456183 47659 2292 9 0 2446860 0
[pid=19953/tid=19955] ppid=19950 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/19953/task/19955/stat : 19955 (java) S 19950 19953 18126 0 -1 4202560 2437 0 1 0 44 2 0 0 20 0 22 0 28527045 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349186683768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19956] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349148175272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19957] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349147122728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19958] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349146069672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19959] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349145017128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19960] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349143964072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19961] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349142911528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19962] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349141858472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19963] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349140805928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19964] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 18126 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349010860904 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19965] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19965/stat : 19965 (java) S 19950 19953 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349009807224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19966] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19966/stat : 19966 (java) S 19950 19953 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349008754056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19967] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349007702800 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19968] ppid=19950 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/19953/task/19968/stat : 19968 (java) R 19950 19953 18126 0 -1 4202560 9008 0 0 0 112 2 0 0 20 0 22 0 28527050 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349006626920 140349192643716 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19969] ppid=19950 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/19953/task/19969/stat : 19969 (java) R 19950 19953 18126 0 -1 4202560 12994 0 0 0 120 2 0 0 20 0 22 0 28527050 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349005584640 140349193661123 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19970] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19970/stat : 19970 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349004544248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19971] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19971/stat : 19971 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349003491912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19972] ppid=19950 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/19953/task/19972/stat : 19972 (java) R 19950 19953 18126 0 -1 4202560 18 0 0 0 97 0 0 0 20 0 22 0 28527094 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349002064288 140349012643656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19973] ppid=19950 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/19953/task/19973/stat : 19973 (java) R 19950 19953 18126 0 -1 4202560 75 0 0 0 96 1 0 0 20 0 22 0 28527094 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349001019944 140349012737154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19974] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19974/stat : 19974 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140348999968040 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19975] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19975/stat : 19975 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140348998915496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.86
Current children cumulated vsize (KiB) 9824732
[startup+3.10096 s]
/proc/loadavg: 4.40 4.26 4.19 5/219 19975
/proc/meminfo: memFree=26850448/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9824732 CPUtime=8.92 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 27898 0 1 0 877 15 0 0 20 0 22 0 28527044 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2456183 91495 2292 9 0 2446860 0
[pid=19953/tid=19955] ppid=19950 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/19953/task/19955/stat : 19955 (java) S 19950 19953 18126 0 -1 4202560 2437 0 1 0 44 2 0 0 20 0 22 0 28527045 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349186683768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19956] ppid=19950 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 18126 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 28527047 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349148175272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19957] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349147122728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19958] ppid=19950 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 18126 0 -1 4202560 25 0 0 0 3 1 0 0 20 0 22 0 28527047 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349146069672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19959] ppid=19950 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 18126 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 28527047 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349145017128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19960] ppid=19950 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 18126 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 22 0 28527047 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349143964072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19961] ppid=19950 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 18126 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 28527047 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349142911528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19962] ppid=19950 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 18126 0 -1 4202560 22 0 0 0 1 2 0 0 20 0 22 0 28527047 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349141858472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19963] ppid=19950 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 18126 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 28527047 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349140805928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19964] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 18126 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349010860904 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19965] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19965/stat : 19965 (java) S 19950 19953 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349009807224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19966] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19966/stat : 19966 (java) S 19950 19953 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349008754056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19967] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349007702800 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19968] ppid=19950 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/19953/task/19968/stat : 19968 (java) S 19950 19953 18126 0 -1 4202560 10707 0 0 0 171 2 0 0 20 0 22 0 28527050 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349006649656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19969] ppid=19950 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/19953/task/19969/stat : 19969 (java) S 19950 19953 18126 0 -1 4202560 12994 0 0 0 135 2 0 0 20 0 22 0 28527050 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349005597112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19970] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19970/stat : 19970 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349004544248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19971] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19971/stat : 19971 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349003491912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19972] ppid=19950 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/19953/task/19972/stat : 19972 (java) R 19950 19953 18126 0 -1 4202560 20 0 0 0 249 0 0 0 20 0 22 0 28527094 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349002073336 140349012709736 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19973] ppid=19950 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/19953/task/19973/stat : 19973 (java) R 19950 19953 18126 0 -1 4202560 137 0 0 0 246 3 0 0 20 0 22 0 28527094 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349001019408 140349012660211 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19974] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19974/stat : 19974 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140348999968040 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19975] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19975/stat : 19975 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140348998915496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.92
Current children cumulated vsize (KiB) 9824732
[startup+6.30098 s]
/proc/loadavg: 4.40 4.26 4.19 5/219 19975
/proc/meminfo: memFree=26548272/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9824732 CPUtime=15.45 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 28697 0 1 0 1521 24 0 0 20 0 22 0 28527044 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2456183 162523 2292 9 0 2446860 0
[pid=19953/tid=19955] ppid=19950 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/19953/task/19955/stat : 19955 (java) S 19950 19953 18126 0 -1 4202560 2437 0 1 0 44 2 0 0 20 0 22 0 28527045 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349186683768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19956] ppid=19950 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 18126 0 -1 4202560 110 0 0 0 5 2 0 0 20 0 22 0 28527047 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349148175272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19957] ppid=19950 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 18126 0 -1 4202560 74 0 0 0 2 0 0 0 20 0 22 0 28527047 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349147122728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19958] ppid=19950 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 18126 0 -1 4202560 118 0 0 0 8 2 0 0 20 0 22 0 28527047 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349146069672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19959] ppid=19950 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 18126 0 -1 4202560 39 0 0 0 7 1 0 0 20 0 22 0 28527047 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349145017128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19960] ppid=19950 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 18126 0 -1 4202560 34 0 0 0 4 2 0 0 20 0 22 0 28527047 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349143964072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19961] ppid=19950 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 18126 0 -1 4202560 127 0 0 0 6 2 0 0 20 0 22 0 28527047 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349142911528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19962] ppid=19950 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 18126 0 -1 4202560 30 0 0 0 2 2 0 0 20 0 22 0 28527047 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349141858472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19963] ppid=19950 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 18126 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 22 0 28527047 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349140805928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19964] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 18126 0 -1 4202560 467 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349010860904 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19965] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19965/stat : 19965 (java) S 19950 19953 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349009807224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19966] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19966/stat : 19966 (java) S 19950 19953 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349008754056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19967] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349007702800 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19968] ppid=19950 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.25 4.24 4.19 5/219 20065
/proc/meminfo: memFree=23861728/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9824732 CPUtime=1651.53 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 40955 0 1 0 164949 204 0 0 20 0 22 0 28527044 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2456183 880980 2301 9 0 2446860 0
[pid=19953/tid=19955] ppid=19950 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/19953/task/19955/stat : 19955 (java) S 19950 19953 18126 0 -1 4202560 2441 0 1 0 46 4 0 0 20 0 22 0 28527045 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349186683768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19956] ppid=19950 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 18126 0 -1 4202560 616 0 0 0 158 15 0 0 20 0 22 0 28527047 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349148175272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19957] ppid=19950 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 18126 0 -1 4202560 849 0 0 0 176 16 0 0 20 0 22 0 28527047 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349147122728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19958] ppid=19950 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 18126 0 -1 4202560 751 0 0 0 183 19 0 0 20 0 22 0 28527047 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349146069672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19959] ppid=19950 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 18126 0 -1 4202560 526 0 0 0 160 13 0 0 20 0 22 0 28527047 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349145017128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19960] ppid=19950 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 18126 0 -1 4202560 549 0 0 0 152 12 0 0 20 0 22 0 28527047 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349143964072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19961] ppid=19950 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 18126 0 -1 4202560 950 0 0 0 181 22 0 0 20 0 22 0 28527047 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349142911528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19962] ppid=19950 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 18126 0 -1 4202560 537 0 0 0 183 16 0 0 20 0 22 0 28527047 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349141858472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19963] ppid=19950 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 18126 0 -1 4202560 658 0 0 0 190 18 0 0 20 0 22 0 28527047 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349140805928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19964] ppid=19950 vsize=9824732 CPUtime=3.36 cores=1,3,5,7
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 18126 0 -1 4202560 2398 0 0 0 328 8 0 0 20 0 22 0 28527048 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349010860904 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19965] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19965/stat : 19965 (java) S 19950 19953 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349009807224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19966] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19966/stat : 19966 (java) S 19950 19953 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349008754056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19967] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349007702800 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19968] ppid=19950 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/19953/task/19968/stat : 19968 (java) S 19950 19953 18126 0 -1 4202560 10715 0 0 0 187 2 0 0 20 0 22 0 28527050 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349006649656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19969] ppid=19950 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/19953/task/19969/stat : 19969 (java) S 19950 19953 18126 0 -1 4202560 16656 0 0 0 205 3 0 0 20 0 22 0 28527050 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349005597112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19970] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19970/stat : 19970 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349004544248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19971] ppid=19950 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/19953/task/19971/stat : 19971 (java) S 19950 19953 18126 0 -1 4202560 47 0 0 0 10 22 0 0 20 0 22 0 28527050 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349003491912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19972] ppid=19950 vsize=9824732 CPUtime=814.26 cores=1,3,5,7
/proc/19953/task/19972/stat : 19972 (java) R 19950 19953 18126 0 -1 4202560 55 0 0 0 81411 15 0 0 20 0 22 0 28527094 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349002064368 140349012709551 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19973] ppid=19950 vsize=9824732 CPUtime=814.23 cores=1,3,5,7
/proc/19953/task/19973/stat : 19973 (java) R 19950 19953 18126 0 -1 4202560 1943 0 0 0 81369 54 0 0 20 0 22 0 28527094 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349001018320 140349012685575 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19974] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19974/stat : 19974 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140348999968040 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19975] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19975/stat : 19975 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140348998915496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1651.53
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.25 4.23 4.19 5/219 20066
/proc/meminfo: memFree=23985128/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9824732 CPUtime=1771.87 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 40963 0 1 0 176981 206 0 0 20 0 22 0 28527044 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2456183 855331 2301 9 0 2446860 0
[pid=19953/tid=19955] ppid=19950 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/19953/task/19955/stat : 19955 (java) S 19950 19953 18126 0 -1 4202560 2442 0 1 0 46 4 0 0 20 0 22 0 28527045 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349186683768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19956] ppid=19950 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 18126 0 -1 4202560 616 0 0 0 164 15 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349148175272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19957] ppid=19950 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 18126 0 -1 4202560 849 0 0 0 189 16 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349147122728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19958] ppid=19950 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 18126 0 -1 4202560 751 0 0 0 189 19 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349146069672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19959] ppid=19950 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 18126 0 -1 4202560 526 0 0 0 166 13 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349145017128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19960] ppid=19950 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 18126 0 -1 4202560 549 0 0 0 158 12 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349143964072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19961] ppid=19950 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 18126 0 -1 4202560 950 0 0 0 187 23 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349142911528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19962] ppid=19950 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 18126 0 -1 4202560 537 0 0 0 201 16 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349141858472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19963] ppid=19950 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 18126 0 -1 4202560 659 0 0 0 200 18 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349140805928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19964] ppid=19950 vsize=9824732 CPUtime=3.37 cores=1,3,5,7
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 18126 0 -1 4202560 2400 0 0 0 328 9 0 0 20 0 22 0 28527048 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349010860904 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19965] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19965/stat : 19965 (java) S 19950 19953 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349009807224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19966] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19966/stat : 19966 (java) S 19950 19953 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349008754056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19967] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349007702800 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19968] ppid=19950 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/19953/task/19968/stat : 19968 (java) S 19950 19953 18126 0 -1 4202560 10715 0 0 0 187 2 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349006649656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19969] ppid=19950 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/19953/task/19969/stat : 19969 (java) S 19950 19953 18126 0 -1 4202560 16656 0 0 0 205 3 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349005597112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19970] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19970/stat : 19970 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349004544248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19971] ppid=19950 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/19953/task/19971/stat : 19971 (java) S 19950 19953 18126 0 -1 4202560 51 0 0 0 11 23 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349003491912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19972] ppid=19950 vsize=9824732 CPUtime=874.07 cores=1,3,5,7
/proc/19953/task/19972/stat : 19972 (java) R 19950 19953 18126 0 -1 4202560 55 0 0 0 87391 16 0 0 20 0 22 0 28527094 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349002064368 140349012643167 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19973] ppid=19950 vsize=9824732 CPUtime=874.04 cores=1,3,5,7
/proc/19953/task/19973/stat : 19973 (java) R 19950 19953 18126 0 -1 4202560 1943 0 0 0 87349 55 0 0 20 0 22 0 28527094 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349001018304 140349012847456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19974] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19974/stat : 19974 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140348999968040 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19975] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19975/stat : 19975 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140348998915496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1771.87
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+896.401 s]
/proc/loadavg: 4.29 4.24 4.19 5/219 20066
/proc/meminfo: memFree=23985128/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9824732 CPUtime=1800.04 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 40963 0 1 0 179798 206 0 0 20 0 22 0 28527044 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2456183 855331 2301 9 0 2446860 0
[pid=19953/tid=19955] ppid=19950 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/19953/task/19955/stat : 19955 (java) S 19950 19953 18126 0 -1 4202560 2442 0 1 0 46 4 0 0 20 0 22 0 28527045 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349186683768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19956] ppid=19950 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 18126 0 -1 4202560 616 0 0 0 164 15 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349148175272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19957] ppid=19950 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 18126 0 -1 4202560 849 0 0 0 189 16 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349147122728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19958] ppid=19950 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 18126 0 -1 4202560 751 0 0 0 189 19 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349146069672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19959] ppid=19950 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 18126 0 -1 4202560 526 0 0 0 166 13 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349145017128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19960] ppid=19950 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 18126 0 -1 4202560 549 0 0 0 158 12 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349143964072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19961] ppid=19950 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 18126 0 -1 4202560 950 0 0 0 187 23 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349142911528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19962] ppid=19950 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 18126 0 -1 4202560 537 0 0 0 201 16 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349141858472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19963] ppid=19950 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 18126 0 -1 4202560 659 0 0 0 200 18 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349140805928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19964] ppid=19950 vsize=9824732 CPUtime=3.37 cores=1,3,5,7
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 18126 0 -1 4202560 2400 0 0 0 328 9 0 0 20 0 22 0 28527048 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349010860904 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19965] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19965/stat : 19965 (java) S 19950 19953 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349009807224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19966] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19966/stat : 19966 (java) S 19950 19953 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349008754056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19967] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349007702800 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19968] ppid=19950 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/19953/task/19968/stat : 19968 (java) S 19950 19953 18126 0 -1 4202560 10715 0 0 0 187 2 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349006649656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19969] ppid=19950 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/19953/task/19969/stat : 19969 (java) S 19950 19953 18126 0 -1 4202560 16656 0 0 0 205 3 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349005597112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19970] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19970/stat : 19970 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349004544248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19971] ppid=19950 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/19953/task/19971/stat : 19971 (java) S 19950 19953 18126 0 -1 4202560 51 0 0 0 11 24 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349003491912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19972] ppid=19950 vsize=9824732 CPUtime=888.17 cores=1,3,5,7
/proc/19953/task/19972/stat : 19972 (java) R 19950 19953 18126 0 -1 4202560 55 0 0 0 88801 16 0 0 20 0 22 0 28527094 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349002064368 140349012709815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19973] ppid=19950 vsize=9824732 CPUtime=888.12 cores=1,3,5,7
/proc/19953/task/19973/stat : 19973 (java) R 19950 19953 18126 0 -1 4202560 1943 0 0 0 88757 55 0 0 20 0 22 0 28527094 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349001018304 140349012847473 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19974] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19974/stat : 19974 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140348999968040 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19975] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19975/stat : 19975 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140348998915496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19953 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 896.455
CPU time (s): 1800.75
CPU user time (s): 1798.13
CPU system time (s): 2.6206
CPU usage (%): 200.875
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.13
system time used= 2.6206
maximum resident set size= 3523924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41000
page faults= 1
swaps= 0
block input operations= 0
block output operations= 888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23159
involuntary context switches= 22524
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.82211 second user time and 8.33673 second system time
The end