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-4116054-1466946428/watcher-4116054-1466946428 -o /tmp/evaluation-result-4116054-1466946428/solver-4116054-1466946428 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18142 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116054-1466946428.opb
pid=18165
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.10 1.28 1.61 4/172 18169
/proc/meminfo: memFree=30340684/32872528 swapFree=1437460/1543748
[pid=18168] ppid=18165 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/18168/stat : 18168 (java) D 18165 18168 18126 0 -1 4202496 156 0 1 0 0 0 0 0 20 0 1 0 27682129 278528 33 33554432000 1073741824 1073778376 140736265837200 140736265834376 266426477863 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/18168/statm: 68 33 25 9 0 25 0
[startup+0.100125 s]
/proc/loadavg: 1.10 1.28 1.61 4/172 18169
/proc/meminfo: memFree=30340684/32872528 swapFree=1437460/1543748
[pid=18168] ppid=18165 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/18168/stat : 18168 (java) R 18165 18168 18126 0 -1 4202496 1144 0 16 0 0 0 0 0 20 0 1 0 27682129 23793664 811 33554432000 1073741824 1073778376 140736806877808 140736806867800 139831484520928 0 0 4096 0 0 0 0 17 4 0 0 6 0 0
/proc/18168/statm: 5809 814 608 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236
[startup+0.200251 s]
/proc/loadavg: 1.10 1.28 1.61 4/172 18169
/proc/meminfo: memFree=30340684/32872528 swapFree=1437460/1543748
[pid=18168] ppid=18165 vsize=9016616 CPUtime=0 cores=0,2,4,6
/proc/18168/stat : 18168 (java) S 18165 18168 18126 0 -1 4202496 2680 0 23 0 0 0 0 0 20 0 10 0 27682129 9233014784 3325 33554432000 1073741824 1073778376 140736806877808 140736806868944 266439000125 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/18168/statm: 2254154 3325 1423 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616
[startup+0.300204 s]
/proc/loadavg: 1.10 1.28 1.61 4/172 18169
/proc/meminfo: memFree=30340684/32872528 swapFree=1437460/1543748
[pid=18168] ppid=18165 vsize=9225560 CPUtime=0.04 cores=0,2,4,6
/proc/18168/stat : 18168 (java) S 18165 18168 18126 0 -1 4202496 3129 0 23 0 3 1 0 0 20 0 13 0 27682129 9446973440 3772 33554432000 1073741824 1073778376 140736806877808 140736806868944 266439000125 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/18168/statm: 2306390 3772 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560
[startup+0.70018 s]
/proc/loadavg: 1.10 1.28 1.61 4/172 18169
/proc/meminfo: memFree=30340684/32872528 swapFree=1437460/1543748
[pid=18168] ppid=18165 vsize=9558476 CPUtime=0.79 cores=0,2,4,6
/proc/18168/stat : 18168 (java) S 18165 18168 18126 0 -1 4202496 10353 0 25 0 76 3 0 0 20 0 18 0 27682129 9787879424 15586 33554432000 1073741824 1073778376 140736806877808 140736806868944 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/18168/statm: 2389619 15586 2250 9 0 2380296 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 9558476
[startup+1.50087 s]
/proc/loadavg: 1.10 1.28 1.61 9/218 18215
/proc/meminfo: memFree=30140520/32872528 swapFree=1437460/1543748
[pid=18168] ppid=18165 vsize=9824732 CPUtime=3.74 cores=0,2,4,6
/proc/18168/stat : 18168 (java) S 18165 18168 18126 0 -1 4202496 21375 0 25 0 367 7 0 0 20 0 22 0 27682129 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 140736806868944 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/18168/statm: 2456183 44098 2274 9 0 2446860 0
[pid=18168/tid=18174] ppid=18165 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/18168/task/18174/stat : 18174 (java) S 18165 18168 18126 0 -1 4202560 2484 0 6 0 47 2 0 0 20 0 22 0 27682139 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139831479767928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 10 0 0
[pid=18168/tid=18177] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18177/stat : 18177 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682147 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139831323175976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18180] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18180/stat : 18180 (java) S 18165 18168 18126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27682147 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139831322123176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18182] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18182/stat : 18182 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682147 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139831321070376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18185] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18185/stat : 18185 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682147 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139831320017576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18168/tid=18187] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18187/stat : 18187 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682147 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139831318964776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18189] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18189/stat : 18189 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682147 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139830981814696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18168/tid=18190] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18190/stat : 18190 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682147 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139830980761896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18191] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18191/stat : 18191 (java) S 18165 18168 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27682147 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139830979709096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18192] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18192/stat : 18192 (java) S 18165 18168 18126 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 27682150 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139830967512040 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18195] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18195/stat : 18195 (java) S 18165 18168 18126 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139830966458104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18197] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18197/stat : 18197 (java) S 18165 18168 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139830965405192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18199] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18199/stat : 18199 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139830964353680 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18201] ppid=18165 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/18168/task/18201/stat : 18201 (java) R 18165 18168 18126 0 -1 4202560 7085 0 1 0 94 2 0 0 20 0 22 0 27682159 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139830963293752 139831486223970 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18202] ppid=18165 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/18168/task/18202/stat : 18202 (java) R 18165 18168 18126 0 -1 4202560 10459 0 1 0 88 3 0 0 20 0 22 0 27682159 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139830962235744 139831482402176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18204] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18204/stat : 18204 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139830961195384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18206] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18206/stat : 18206 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139830960142792 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18210] ppid=18165 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/18168/task/18210/stat : 18210 (java) R 18165 18168 18126 0 -1 4202560 17 0 0 0 66 0 0 0 20 0 22 0 27682209 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139830958990304 139831334885584 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=18168/tid=18211] ppid=18165 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/18168/task/18211/stat : 18211 (java) R 18165 18168 18126 0 -1 4202560 64 0 0 0 66 0 0 0 20 0 22 0 27682209 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139830957937384 139831335148997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18213] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18213/stat : 18213 (java) S 18165 18168 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139830956885416 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18215] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18215/stat : 18215 (java) S 18165 18168 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 44098 33554432000 1073741824 1073778376 140736806877808 139830955832616 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 9824732
[startup+3.10089 s]
/proc/loadavg: 1.10 1.28 1.61 5/218 18215
/proc/meminfo: memFree=29919152/32872528 swapFree=1437460/1543748
[pid=18168] ppid=18165 vsize=9824732 CPUtime=8.28 cores=0,2,4,6
/proc/18168/stat : 18168 (java) S 18165 18168 18126 0 -1 4202496 28560 0 25 0 814 14 0 0 20 0 22 0 27682129 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 140736806868944 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/18168/statm: 2456183 70326 2292 9 0 2446860 0
[pid=18168/tid=18174] ppid=18165 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/18168/task/18174/stat : 18174 (java) S 18165 18168 18126 0 -1 4202560 2484 0 6 0 47 2 0 0 20 0 22 0 27682139 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139831479767928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 10 0 0
[pid=18168/tid=18177] ppid=18165 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/18168/task/18177/stat : 18177 (java) S 18165 18168 18126 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 27682147 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139831323175976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18180] ppid=18165 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/18168/task/18180/stat : 18180 (java) S 18165 18168 18126 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 27682147 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139831322123176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18182] ppid=18165 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/18168/task/18182/stat : 18182 (java) S 18165 18168 18126 0 -1 4202560 18 0 0 0 1 2 0 0 20 0 22 0 27682147 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139831321070376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18185] ppid=18165 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/18168/task/18185/stat : 18185 (java) S 18165 18168 18126 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 27682147 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139831320017576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18187] ppid=18165 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/18168/task/18187/stat : 18187 (java) S 18165 18168 18126 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 27682147 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139831318964776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18189] ppid=18165 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/18168/task/18189/stat : 18189 (java) S 18165 18168 18126 0 -1 4202560 23 0 0 0 2 1 0 0 20 0 22 0 27682147 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139830981814696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18190] ppid=18165 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/18168/task/18190/stat : 18190 (java) S 18165 18168 18126 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 27682147 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139830980761896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18191] ppid=18165 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/18168/task/18191/stat : 18191 (java) S 18165 18168 18126 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 27682147 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139830979709096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18192] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18192/stat : 18192 (java) S 18165 18168 18126 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 22 0 27682150 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139830967512040 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18195] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18195/stat : 18195 (java) S 18165 18168 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139830966458104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18197] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18197/stat : 18197 (java) S 18165 18168 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139830965405192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18199] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18199/stat : 18199 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139830964353680 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18201] ppid=18165 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/18168/task/18201/stat : 18201 (java) S 18165 18168 18126 0 -1 4202560 9114 0 1 0 163 2 0 0 20 0 22 0 27682159 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139830963300792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18202] ppid=18165 vsize=9824732 CPUtime=1.47 cores=0,2,4,6
/proc/18168/task/18202/stat : 18202 (java) S 18165 18168 18126 0 -1 4202560 15410 0 1 0 144 3 0 0 20 0 22 0 27682159 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139830962247992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18204] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18204/stat : 18204 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139830961195384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18206] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18206/stat : 18206 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139830960142792 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18210] ppid=18165 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/18168/task/18210/stat : 18210 (java) R 18165 18168 18126 0 -1 4202560 22 0 0 0 215 0 0 0 20 0 22 0 27682209 10060525568 70326 33554432000 1073741824 1073778376 140736806877808 139830958990560 139831334885406 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=18168/tid=18211] ppid=18165 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/18168/task/18211/stat : 18211 (java) R 18165 18168 18126 0 -1 4202560 89 0 0 0 215 1 0 0 20 0 22 0 27682209 10060525568 70838 33554432000 1073741824 1073778376 140736806877808 139830957936544 139831334696106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18213] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18213/stat : 18213 (java) S 18165 18168 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 70838 33554432000 1073741824 1073778376 140736806877808 139830956885416 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18215] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18215/stat : 18215 (java) S 18165 18168 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 70838 33554432000 1073741824 1073778376 140736806877808 139830955832616 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.28
Current children cumulated vsize (KiB) 9824732
[startup+6.3009 s]
/proc/loadavg: 1.33 1.33 1.62 5/218 18215
/proc/meminfo: memFree=29090176/32872528 swapFree=1437460/1543748
[pid=18168] ppid=18165 vsize=9824732 CPUtime=14.89 cores=0,2,4,6
/proc/18168/stat : 18168 (java) S 18165 18168 18126 0 -1 4202496 29414 0 25 0 1460 29 0 0 20 0 22 0 27682129 10060525568 158105 33554432000 1073741824 1073778376 140736806877808 140736806868944 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/18168/statm: 2456183 158105 2292 9 0 2446860 0
[pid=18168/tid=18174] ppid=18165 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/18168/task/18174/stat : 18174 (java) S 18165 18168 18126 0 -1 4202560 2484 0 6 0 47 2 0 0 20 0 22 0 27682139 10060525568 158105 33554432000 1073741824 1073778376 140736806877808 139831479767928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 10 0 0
[pid=18168/tid=18177] ppid=18165 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/18168/task/18177/stat : 18177 (java) S 18165 18168 18126 0 -1 4202560 58 0 0 0 5 2 0 0 20 0 22 0 27682147 10060525568 158105 33554432000 1073741824 1073778376 140736806877808 139831323175976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18180] ppid=18165 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/18168/task/18180/stat : 18180 (java) S 18165 18168 18126 0 -1 4202560 53 0 0 0 4 2 0 0 20 0 22 0 27682147 10060525568 158105 33554432000 1073741824 1073778376 140736806877808 139831322123176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18168/tid=18182] ppid=18165 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/18168/task/18182/stat : 18182 (java) S 18165 18168 18126 0 -1 4202560 45 0 0 0 4 2 0 0 20 0 22 0 27682147 10060525568 158105 33554432000 1073741824 1073778376 140736806877808 139831321070376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18168/tid=18185] ppid=18165 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/18168/task/18185/stat : 18185 (java) S 18165 18168 18126 0 -1 4202560 61 0 0 0 9 2 0 0 20 0 22 0 27682147 10060525568 158105 33554432000 1073741824 1073778376 140736806877808 139831320017576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18168/tid=18187] ppid=18165 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/18168/task/18187/stat : 18187 (java) S 18165 18168 18126 0 -1 4202560 40 0 0 0 5 1 0 0 20 0 22 0 27682147 10060525568 158105 33554432000 1073741824 1073778376 140736806877808 139831318964776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18189] ppid=18165 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/18168/task/18189/stat : 18189 (java) S 18165 18168 18126 0 -1 4202560 65 0 0 0 5 2 0 0 20 0 22 0 27682147 10060525568 158105 33554432000 1073741824 1073778376 140736806877808 139830981814696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18190] ppid=18165 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/18168/task/18190/stat : 18190 (java) S 18165 18168 18126 0 -1 4202560 47 0 0 0 6 2 0 0 20 0 22 0 27682147 10060525568 158105 33554432000 1073741824 1073778376 140736806877808 139830980761896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18191] ppid=18165 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/18168/task/18191/stat : 18191 (java) S 18165 18168 18126 0 -1 4202560 79 0 0 0 5 2 0 0 20 0 22 0 27682147 10060525568 158105 33554432000 1073741824 1073778376 140736806877808 139830979709096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18192] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18192/stat : 18192 (java) S 18165 18168 18126 0 -1 4202560 456 0 0 0 0 0 0 0 20 0 22 0 27682150 10060525568 158105 33554432000 1073741824 1073778376 140736806877808 139830967512040 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18195] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18195/stat : 18195 (java) S 18165 18168 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 158105 33554432000 1073741824 1073778376 140736806877808 139830966458104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18197] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18197/stat : 18197 (java) S 18165 18168 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 158105 33554432000 1073741824 1073778376 140736806877808 139830965405192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18199] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18199/stat : 18199 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 158105 33554432000 1073741824 1073778376 140736806877808 139830964353680 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18201] ppid=18165 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.33 4.10 3.17 6/219 18235
/proc/meminfo: memFree=22943816/32872528 swapFree=1437460/1543748
[pid=18168] ppid=18165 vsize=9824732 CPUtime=1651.92 cores=0,2,4,6
/proc/18168/stat : 18168 (java) S 18165 18168 18126 0 -1 4202496 39686 0 25 0 165005 187 0 0 20 0 22 0 27682129 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 140736806868944 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/18168/statm: 2456183 936207 2301 9 0 2446860 0
[pid=18168/tid=18174] ppid=18165 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/18168/task/18174/stat : 18174 (java) S 18165 18168 18126 0 -1 4202560 2488 0 6 0 49 4 0 0 20 0 22 0 27682139 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139831479767928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 10 0 0
[pid=18168/tid=18177] ppid=18165 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/18168/task/18177/stat : 18177 (java) S 18165 18168 18126 0 -1 4202560 552 0 0 0 200 17 0 0 20 0 22 0 27682147 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139831323175976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18168/tid=18180] ppid=18165 vsize=9824732 CPUtime=2.32 cores=0,2,4,6
/proc/18168/task/18180/stat : 18180 (java) S 18165 18168 18126 0 -1 4202560 763 0 0 0 216 16 0 0 20 0 22 0 27682147 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139831322123176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18168/tid=18182] ppid=18165 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/18168/task/18182/stat : 18182 (java) S 18165 18168 18126 0 -1 4202560 585 0 0 0 234 17 0 0 20 0 22 0 27682147 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139831321070376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18185] ppid=18165 vsize=9824732 CPUtime=2.42 cores=0,2,4,6
/proc/18168/task/18185/stat : 18185 (java) S 18165 18168 18126 0 -1 4202560 555 0 0 0 228 14 0 0 20 0 22 0 27682147 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139831320017576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18187] ppid=18165 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/18168/task/18187/stat : 18187 (java) S 18165 18168 18126 0 -1 4202560 525 0 0 0 200 15 0 0 20 0 22 0 27682147 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139831318964776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18189] ppid=18165 vsize=9824732 CPUtime=2.34 cores=0,2,4,6
/proc/18168/task/18189/stat : 18189 (java) S 18165 18168 18126 0 -1 4202560 520 0 0 0 219 15 0 0 20 0 22 0 27682147 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139830981814696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18190] ppid=18165 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/18168/task/18190/stat : 18190 (java) S 18165 18168 18126 0 -1 4202560 611 0 0 0 231 18 0 0 20 0 22 0 27682147 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139830980761896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18191] ppid=18165 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/18168/task/18191/stat : 18191 (java) S 18165 18168 18126 0 -1 4202560 521 0 0 0 198 15 0 0 20 0 22 0 27682147 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139830979709096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18192] ppid=18165 vsize=9824732 CPUtime=3.49 cores=0,2,4,6
/proc/18168/task/18192/stat : 18192 (java) S 18165 18168 18126 0 -1 4202560 2226 0 0 0 342 7 0 0 20 0 22 0 27682150 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139830967512040 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18195] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18195/stat : 18195 (java) S 18165 18168 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139830966458104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18197] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18197/stat : 18197 (java) S 18165 18168 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139830965405192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18199] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18199/stat : 18199 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139830964353680 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18201] ppid=18165 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/18168/task/18201/stat : 18201 (java) S 18165 18168 18126 0 -1 4202560 9126 0 1 0 171 2 0 0 20 0 22 0 27682159 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139830963300792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18202] ppid=18165 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/18168/task/18202/stat : 18202 (java) S 18165 18168 18126 0 -1 4202560 17927 0 1 0 180 3 0 0 20 0 22 0 27682159 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139830962247992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18204] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18204/stat : 18204 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139830961195384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18206] ppid=18165 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/18168/task/18206/stat : 18206 (java) S 18165 18168 18126 0 -1 4202560 47 0 0 0 14 15 0 0 20 0 22 0 27682159 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139830960142792 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18210] ppid=18165 vsize=9824732 CPUtime=812.86 cores=0,2,4,6
/proc/18168/task/18210/stat : 18210 (java) R 18165 18168 18126 0 -1 4202560 90 0 0 0 81271 15 0 0 20 0 22 0 27682209 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139830958988672 139831334926355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18211] ppid=18165 vsize=9824732 CPUtime=812.73 cores=0,2,4,6
/proc/18168/task/18211/stat : 18211 (java) R 18165 18168 18126 0 -1 4202560 1898 0 0 0 81226 47 0 0 20 0 22 0 27682209 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139830957936368 139831334933777 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18213] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18213/stat : 18213 (java) S 18165 18168 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139830956885416 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18215] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18215/stat : 18215 (java) S 18165 18168 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 936207 33554432000 1073741824 1073778376 140736806877808 139830955832616 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1651.92
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.17 4.09 3.22 5/218 18236
/proc/meminfo: memFree=22865604/32872528 swapFree=1437460/1543748
[pid=18168] ppid=18165 vsize=9824732 CPUtime=1772.63 cores=0,2,4,6
/proc/18168/stat : 18168 (java) S 18165 18168 18126 0 -1 4202496 39831 0 25 0 177067 196 0 0 20 0 22 0 27682129 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 140736806868944 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/18168/statm: 2456183 955662 2301 9 0 2446860 0
[pid=18168/tid=18174] ppid=18165 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/18168/task/18174/stat : 18174 (java) S 18165 18168 18126 0 -1 4202560 2489 0 6 0 50 4 0 0 20 0 22 0 27682139 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139831479767928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 10 0 0
[pid=18168/tid=18177] ppid=18165 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/18168/task/18177/stat : 18177 (java) S 18165 18168 18126 0 -1 4202560 566 0 0 0 213 18 0 0 20 0 22 0 27682147 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139831323175976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18180] ppid=18165 vsize=9824732 CPUtime=2.56 cores=0,2,4,6
/proc/18168/task/18180/stat : 18180 (java) S 18165 18168 18126 0 -1 4202560 781 0 0 0 239 17 0 0 20 0 22 0 27682147 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139831322123176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18182] ppid=18165 vsize=9824732 CPUtime=2.73 cores=0,2,4,6
/proc/18168/task/18182/stat : 18182 (java) S 18165 18168 18126 0 -1 4202560 610 0 0 0 255 18 0 0 20 0 22 0 27682147 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139831321070376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18185] ppid=18165 vsize=9824732 CPUtime=2.65 cores=0,2,4,6
/proc/18168/task/18185/stat : 18185 (java) S 18165 18168 18126 0 -1 4202560 577 0 0 0 249 16 0 0 20 0 22 0 27682147 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139831320017576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18187] ppid=18165 vsize=9824732 CPUtime=2.29 cores=0,2,4,6
/proc/18168/task/18187/stat : 18187 (java) S 18165 18168 18126 0 -1 4202560 537 0 0 0 214 15 0 0 20 0 22 0 27682147 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139831318964776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18189] ppid=18165 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/18168/task/18189/stat : 18189 (java) S 18165 18168 18126 0 -1 4202560 534 0 0 0 236 15 0 0 20 0 22 0 27682147 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139830981814696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18168/tid=18190] ppid=18165 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/18168/task/18190/stat : 18190 (java) S 18165 18168 18126 0 -1 4202560 623 0 0 0 247 19 0 0 20 0 22 0 27682147 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139830980761896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18191] ppid=18165 vsize=9824732 CPUtime=2.34 cores=0,2,4,6
/proc/18168/task/18191/stat : 18191 (java) S 18165 18168 18126 0 -1 4202560 532 0 0 0 219 15 0 0 20 0 22 0 27682147 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139830979709096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18192] ppid=18165 vsize=9824732 CPUtime=3.5 cores=0,2,4,6
/proc/18168/task/18192/stat : 18192 (java) S 18165 18168 18126 0 -1 4202560 2232 0 0 0 342 8 0 0 20 0 22 0 27682150 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139830967512040 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18195] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18195/stat : 18195 (java) S 18165 18168 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139830966458104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18197] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18197/stat : 18197 (java) S 18165 18168 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139830965405192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18199] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18199/stat : 18199 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139830964353680 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18201] ppid=18165 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/18168/task/18201/stat : 18201 (java) S 18165 18168 18126 0 -1 4202560 9126 0 1 0 171 2 0 0 20 0 22 0 27682159 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139830963300792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18202] ppid=18165 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/18168/task/18202/stat : 18202 (java) S 18165 18168 18126 0 -1 4202560 17927 0 1 0 180 3 0 0 20 0 22 0 27682159 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139830962247992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18204] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18204/stat : 18204 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139830961195384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18206] ppid=18165 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/18168/task/18206/stat : 18206 (java) S 18165 18168 18126 0 -1 4202560 51 0 0 0 14 17 0 0 20 0 22 0 27682159 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139830960142792 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18210] ppid=18165 vsize=9824732 CPUtime=872.45 cores=0,2,4,6
/proc/18168/task/18210/stat : 18210 (java) R 18165 18168 18126 0 -1 4202560 93 0 0 0 87229 16 0 0 20 0 22 0 27682209 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139830958988672 139831334959312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18211] ppid=18165 vsize=9824732 CPUtime=872.34 cores=0,2,4,6
/proc/18168/task/18211/stat : 18211 (java) R 18165 18168 18126 0 -1 4202560 1901 0 0 0 87186 48 0 0 20 0 22 0 27682209 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139830957936368 139831335223757 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18213] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18213/stat : 18213 (java) S 18165 18168 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139830956885416 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18215] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18215/stat : 18215 (java) S 18165 18168 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 955662 33554432000 1073741824 1073778376 140736806877808 139830955832616 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1772.63
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+896.001 s]
/proc/loadavg: 4.13 4.08 3.24 5/218 18236
/proc/meminfo: memFree=22859468/32872528 swapFree=1437460/1543748
[pid=18168] ppid=18165 vsize=9824732 CPUtime=1800.15 cores=0,2,4,6
/proc/18168/stat : 18168 (java) S 18165 18168 18126 0 -1 4202496 39847 0 25 0 179819 196 0 0 20 0 22 0 27682129 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 140736806868944 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/18168/statm: 2456183 957711 2301 9 0 2446860 0
[pid=18168/tid=18174] ppid=18165 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/18168/task/18174/stat : 18174 (java) S 18165 18168 18126 0 -1 4202560 2489 0 6 0 50 4 0 0 20 0 22 0 27682139 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139831479767928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 10 0 0
[pid=18168/tid=18177] ppid=18165 vsize=9824732 CPUtime=2.33 cores=0,2,4,6
/proc/18168/task/18177/stat : 18177 (java) S 18165 18168 18126 0 -1 4202560 567 0 0 0 215 18 0 0 20 0 22 0 27682147 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139831323175976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18168/tid=18180] ppid=18165 vsize=9824732 CPUtime=2.61 cores=0,2,4,6
/proc/18168/task/18180/stat : 18180 (java) S 18165 18168 18126 0 -1 4202560 783 0 0 0 244 17 0 0 20 0 22 0 27682147 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139831322123176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18182] ppid=18165 vsize=9824732 CPUtime=2.76 cores=0,2,4,6
/proc/18168/task/18182/stat : 18182 (java) S 18165 18168 18126 0 -1 4202560 612 0 0 0 258 18 0 0 20 0 22 0 27682147 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139831321070376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18168/tid=18185] ppid=18165 vsize=9824732 CPUtime=2.68 cores=0,2,4,6
/proc/18168/task/18185/stat : 18185 (java) S 18165 18168 18126 0 -1 4202560 577 0 0 0 252 16 0 0 20 0 22 0 27682147 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139831320017576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18187] ppid=18165 vsize=9824732 CPUtime=2.32 cores=0,2,4,6
/proc/18168/task/18187/stat : 18187 (java) S 18165 18168 18126 0 -1 4202560 537 0 0 0 217 15 0 0 20 0 22 0 27682147 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139831318964776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18189] ppid=18165 vsize=9824732 CPUtime=2.58 cores=0,2,4,6
/proc/18168/task/18189/stat : 18189 (java) S 18165 18168 18126 0 -1 4202560 537 0 0 0 242 16 0 0 20 0 22 0 27682147 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139830981814696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18190] ppid=18165 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/18168/task/18190/stat : 18190 (java) S 18165 18168 18126 0 -1 4202560 626 0 0 0 252 19 0 0 20 0 22 0 27682147 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139830980761896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18168/tid=18191] ppid=18165 vsize=9824732 CPUtime=2.36 cores=0,2,4,6
/proc/18168/task/18191/stat : 18191 (java) S 18165 18168 18126 0 -1 4202560 534 0 0 0 221 15 0 0 20 0 22 0 27682147 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139830979709096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18192] ppid=18165 vsize=9824732 CPUtime=3.5 cores=0,2,4,6
/proc/18168/task/18192/stat : 18192 (java) S 18165 18168 18126 0 -1 4202560 2233 0 0 0 342 8 0 0 20 0 22 0 27682150 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139830967512040 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18195] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18195/stat : 18195 (java) S 18165 18168 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139830966458104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18197] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18197/stat : 18197 (java) S 18165 18168 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139830965405192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18199] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18199/stat : 18199 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139830964353680 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18201] ppid=18165 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/18168/task/18201/stat : 18201 (java) S 18165 18168 18126 0 -1 4202560 9126 0 1 0 171 2 0 0 20 0 22 0 27682159 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139830963300792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18202] ppid=18165 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/18168/task/18202/stat : 18202 (java) S 18165 18168 18126 0 -1 4202560 17927 0 1 0 180 3 0 0 20 0 22 0 27682159 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139830962247992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18204] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18204/stat : 18204 (java) S 18165 18168 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139830961195384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18206] ppid=18165 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/18168/task/18206/stat : 18206 (java) S 18165 18168 18126 0 -1 4202560 51 0 0 0 14 17 0 0 20 0 22 0 27682159 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139830960142792 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18210] ppid=18165 vsize=9824732 CPUtime=886.06 cores=0,2,4,6
/proc/18168/task/18210/stat : 18210 (java) R 18165 18168 18126 0 -1 4202560 94 0 0 0 88590 16 0 0 20 0 22 0 27682209 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139830958989544 139831334886176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18211] ppid=18165 vsize=9824732 CPUtime=885.96 cores=0,2,4,6
/proc/18168/task/18211/stat : 18211 (java) R 18165 18168 18126 0 -1 4202560 1902 0 0 0 88548 48 0 0 20 0 22 0 27682209 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139830957935672 139831335018049 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18213] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18213/stat : 18213 (java) S 18165 18168 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139830956885416 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18168/tid=18215] ppid=18165 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18215/stat : 18215 (java) S 18165 18168 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 957711 33554432000 1073741824 1073778376 140736806877808 139830955832616 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
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 18168 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 896.057
CPU time (s): 1800.69
CPU user time (s): 1798.2
CPU system time (s): 2.49362
CPU usage (%): 200.957
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.2
system time used= 2.49362
maximum resident set size= 3830960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39881
page faults= 25
swaps= 0
block input operations= 7672
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24506
involuntary context switches= 32697
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00493 second user time and 6.604 second system time
The end