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-4119211-1467250432/watcher-4119211-1467250432 -o /tmp/evaluation-result-4119211-1467250432/solver-4119211-1467250432 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467246696-6245 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119211-1467250432.opb
pid=8619
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.26 4.09 3.94 4/198 8622
/proc/meminfo: memFree=28651596/32872528 swapFree=480236/529292
[pid=8622] ppid=8619 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/8622/stat : 8622 (java) R 8619 8622 6228 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 4063131 278528 33 33554432000 1073741824 1073778376 140733465347120 140736581293384 211449638069 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8622/statm: 68 34 26 9 0 25 0
[startup+0.100059 s]
/proc/loadavg: 4.26 4.09 3.94 4/198 8622
/proc/meminfo: memFree=28651596/32872528 swapFree=480236/529292
[pid=8622] ppid=8619 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/8622/stat : 8622 (java) S 8619 8622 6228 0 -1 4202496 4427 0 1 0 8 1 0 0 20 0 18 0 4063131 9787879424 6050 33554432000 1073741824 1073778376 140733465347120 140733465338256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8622/statm: 2389619 6050 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200217 s]
/proc/loadavg: 4.26 4.09 3.94 4/198 8622
/proc/meminfo: memFree=28651596/32872528 swapFree=480236/529292
[pid=8622] ppid=8619 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/8622/stat : 8622 (java) S 8619 8622 6228 0 -1 4202496 4703 0 1 0 22 1 0 0 20 0 18 0 4063131 9787879424 7307 33554432000 1073741824 1073778376 140733465347120 140733465338256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8622/statm: 2389619 7307 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300281 s]
/proc/loadavg: 4.26 4.09 3.94 4/198 8622
/proc/meminfo: memFree=28651596/32872528 swapFree=480236/529292
[pid=8622] ppid=8619 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/8622/stat : 8622 (java) S 8619 8622 6228 0 -1 4202496 4835 0 1 0 24 1 0 0 20 0 19 0 4063131 10060525568 7910 33554432000 1073741824 1073778376 140733465347120 140733465338256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8622/statm: 2456183 7910 2225 9 0 2446860 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9824732
[startup+0.700218 s]
/proc/loadavg: 4.26 4.09 3.94 4/198 8622
/proc/meminfo: memFree=28651596/32872528 swapFree=480236/529292
[pid=8622] ppid=8619 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/8622/stat : 8622 (java) S 8619 8622 6228 0 -1 4202496 4835 0 1 0 24 1 0 0 20 0 19 0 4063131 10060525568 7910 33554432000 1073741824 1073778376 140733465347120 140733465338256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8622/statm: 2456183 7910 2225 9 0 2446860 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9824732
[startup+1.50073 s]
/proc/loadavg: 4.26 4.09 3.94 3/217 8647
/proc/meminfo: memFree=28623888/32872528 swapFree=480236/529292
[pid=8622] ppid=8619 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/8622/stat : 8622 (java) S 8619 8622 6228 0 -1 4202496 5712 0 1 0 36 4 0 0 20 0 19 0 4063131 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140733465338256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8622/statm: 2456183 10403 2244 9 0 2446860 0
[pid=8622/tid=8624] ppid=8619 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/8622/task/8624/stat : 8624 (java) S 8619 8622 6228 0 -1 4202560 2411 0 1 0 17 2 0 0 20 0 19 0 4063132 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140092683481976 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8625] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8625/stat : 8625 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4063133 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140092644972840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8626] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8626/stat : 8626 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4063133 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140092643920040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8627] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8627/stat : 8627 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4063133 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140092642867752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8622/tid=8628] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8628/stat : 8628 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4063133 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140092641814952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8622/tid=8629] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8629/stat : 8629 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4063133 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140092640762664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8630] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8630/stat : 8630 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4063133 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140092521835176 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8622/tid=8631] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8631/stat : 8631 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4063133 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140092520782888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8622/tid=8632] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8632/stat : 8632 (java) S 8619 8622 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4063133 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140092519730088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8633] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8633/stat : 8633 (java) S 8619 8622 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4063134 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140092507531496 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8634] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8634/stat : 8634 (java) S 8619 8622 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4063135 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140092506477560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8635] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8635/stat : 8635 (java) S 8619 8622 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4063135 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140091901076744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8636] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8636/stat : 8636 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4063137 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140091900025232 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8637] ppid=8619 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/8622/task/8637/stat : 8637 (java) S 8619 8622 6228 0 -1 4202560 1151 0 0 0 7 0 0 0 20 0 19 0 4063137 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140091898972856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8638] ppid=8619 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/8622/task/8638/stat : 8638 (java) S 8619 8622 6228 0 -1 4202560 802 0 0 0 5 0 0 0 20 0 19 0 4063137 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140091897920056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8639] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8639/stat : 8639 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4063137 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140091896867960 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8640] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8640/stat : 8640 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4063137 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140091895815368 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8647] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8647/stat : 8647 (java) S 8619 8622 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4063203 10060525568 10403 33554432000 1073741824 1073778376 140733465347120 140091892655784 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 9824732
[startup+3.10084 s]
/proc/loadavg: 4.40 4.12 3.95 7/220 8653
/proc/meminfo: memFree=28573268/32872528 swapFree=480236/529292
[pid=8622] ppid=8619 vsize=9824732 CPUtime=5.07 cores=1,3,5,7
/proc/8622/stat : 8622 (java) S 8619 8622 6228 0 -1 4202496 28484 0 1 0 496 11 0 0 20 0 22 0 4063131 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140733465338256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8622/statm: 2456183 48553 2286 9 0 2446860 0
[pid=8622/tid=8624] ppid=8619 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/8622/task/8624/stat : 8624 (java) S 8619 8622 6228 0 -1 4202560 2412 0 1 0 17 2 0 0 20 0 22 0 4063132 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140092683481976 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8625] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8625/stat : 8625 (java) S 8619 8622 6228 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 4063133 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140092644972840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8626] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8626/stat : 8626 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4063133 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140092643920040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8627] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8627/stat : 8627 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4063133 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140092642867752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8622/tid=8628] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8628/stat : 8628 (java) S 8619 8622 6228 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 4063133 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140092641814952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8622/tid=8629] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8629/stat : 8629 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4063133 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140092640762664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8622/tid=8630] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8630/stat : 8630 (java) S 8619 8622 6228 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 4063133 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140092521835176 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8622/tid=8631] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8631/stat : 8631 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4063133 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140092520782888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8632] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8632/stat : 8632 (java) S 8619 8622 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4063133 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140092519730088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8633] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8633/stat : 8633 (java) S 8619 8622 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4063134 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140092507531496 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8622/tid=8634] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8634/stat : 8634 (java) S 8619 8622 6228 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 4063135 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140092506477560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8635] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8635/stat : 8635 (java) S 8619 8622 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4063135 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140091901076744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8636] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8636/stat : 8636 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4063137 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140091900025232 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8637] ppid=8619 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/8622/task/8637/stat : 8637 (java) R 8619 8622 6228 0 -1 4202560 11930 0 0 0 105 3 0 0 20 0 22 0 4063137 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140091898972856 140092686349856 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8638] ppid=8619 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/8622/task/8638/stat : 8638 (java) S 8619 8622 6228 0 -1 4202560 12680 0 0 0 95 4 0 0 20 0 22 0 4063137 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140091897920056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8639] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8639/stat : 8639 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4063137 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140091896867960 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8640] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8640/stat : 8640 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4063137 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140091895815368 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8647] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8647/stat : 8647 (java) S 8619 8622 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4063203 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140091892655784 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8622/tid=8651] ppid=8619 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/8622/task/8651/stat : 8651 (java) R 8619 8622 6228 0 -1 4202560 9 0 0 0 135 0 0 0 20 0 22 0 4063304 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140091894760152 140092522417489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8622/tid=8652] ppid=8619 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/8622/task/8652/stat : 8652 (java) R 8619 8622 6228 0 -1 4202560 61 0 0 0 131 2 0 0 20 0 22 0 4063304 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140091893707208 140092522492256 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8622/tid=8653] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8653/stat : 8653 (java) S 8619 8622 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4063304 10060525568 48553 33554432000 1073741824 1073778376 140733465347120 140091891602856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 9824732
[startup+6.30088 s]
/proc/loadavg: 4.40 4.12 3.95 5/220 8653
/proc/meminfo: memFree=28446988/32872528 swapFree=480236/529292
[pid=8622] ppid=8619 vsize=9824732 CPUtime=11.57 cores=1,3,5,7
/proc/8622/stat : 8622 (java) S 8619 8622 6228 0 -1 4202496 28595 0 1 0 1143 14 0 0 20 0 22 0 4063131 10060525568 52863 33554432000 1073741824 1073778376 140733465347120 140733465338256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8622/statm: 2456183 52863 2286 9 0 2446860 0
[pid=8622/tid=8624] ppid=8619 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/8622/task/8624/stat : 8624 (java) S 8619 8622 6228 0 -1 4202560 2412 0 1 0 17 2 0 0 20 0 22 0 4063132 10060525568 52863 33554432000 1073741824 1073778376 140733465347120 140092683481976 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8625] ppid=8619 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/8622/task/8625/stat : 8625 (java) S 8619 8622 6228 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 4063133 10060525568 52863 33554432000 1073741824 1073778376 140733465347120 140092644972840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8626] ppid=8619 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/8622/task/8626/stat : 8626 (java) S 8619 8622 6228 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 4063133 10060525568 52863 33554432000 1073741824 1073778376 140733465347120 140092643920040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8627] ppid=8619 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/8622/task/8627/stat : 8627 (java) S 8619 8622 6228 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 4063133 10060525568 52863 33554432000 1073741824 1073778376 140733465347120 140092642867752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8628] ppid=8619 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/8622/task/8628/stat : 8628 (java) S 8619 8622 6228 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 4063133 10060525568 52863 33554432000 1073741824 1073778376 140733465347120 140092641814952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8622/tid=8629] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8629/stat : 8629 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4063133 10060525568 52863 33554432000 1073741824 1073778376 140733465347120 140092640762664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8630] ppid=8619 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/8622/task/8630/stat : 8630 (java) S 8619 8622 6228 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 22 0 4063133 10060525568 52863 33554432000 1073741824 1073778376 140733465347120 140092521835176 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8631] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8631/stat : 8631 (java) S 8619 8622 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4063133 10060525568 52863 33554432000 1073741824 1073778376 140733465347120 140092520782888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8622/tid=8632] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8632/stat : 8632 (java) S 8619 8622 6228 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 4063133 10060525568 52863 33554432000 1073741824 1073778376 140733465347120 140092519730088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8622/tid=8633] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8633/stat : 8633 (java) S 8619 8622 6228 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 4063134 10060525568 52863 33554432000 1073741824 1073778376 140733465347120 140092507531496 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8634] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8634/stat : 8634 (java) S 8619 8622 6228 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 4063135 10060525568 52863 33554432000 1073741824 1073778376 140733465347120 140092506477560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8635] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8635/stat : 8635 (java) S 8619 8622 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4063135 10060525568 52863 33554432000 1073741824 1073778376 140733465347120 140091901076744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8636] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8636/stat : 8636 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4063137 10060525568 52863 33554432000 1073741824 1073778376 140733465347120 140091900025232 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8637] ppid=8619 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/8622/task/8637/stat : 8637 (java) S 8619 8622 6228 0 -1 4202560 11930 0 0 0 107 3 0 0 20 0 22 0 4063137 10060525568 52863 33554432000 1073741824 1073778376 140733465347120 140091898972856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8638] ppid=8619 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/8622/task/8638/stat : 8638 (java) S 8619 8622 6228 0 -1 4202560 12680 0 0 0 99 4 0 0 20 0 22 0 4063137 10060525568 52863 33554432000 1073741824 1073778376 140733465347120 140091897920056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8639] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8639/stat : 8639 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4063137 10060525568 52863 33554432000 1073741824 1073778376 140733465347120 140091896867960 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8640] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 3.06 3.17 3.47 4/218 8764
/proc/meminfo: memFree=27148384/32872528 swapFree=480236/529292
[pid=8622] ppid=8619 vsize=9824732 CPUtime=1644.45 cores=1,3,5,7
/proc/8622/stat : 8622 (java) S 8619 8622 6228 0 -1 4202496 41154 0 1 0 164327 118 0 0 20 0 22 0 4063131 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140733465338256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8622/statm: 2456183 355229 2295 9 0 2446860 0
[pid=8622/tid=8624] ppid=8619 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/8622/task/8624/stat : 8624 (java) S 8619 8622 6228 0 -1 4202560 2413 0 1 0 19 3 0 0 20 0 22 0 4063132 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140092683481976 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8625] ppid=8619 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/8622/task/8625/stat : 8625 (java) S 8619 8622 6228 0 -1 4202560 1147 0 0 0 40 9 0 0 20 0 22 0 4063133 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140092644972840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8626] ppid=8619 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/8622/task/8626/stat : 8626 (java) S 8619 8622 6228 0 -1 4202560 1671 0 0 0 37 12 0 0 20 0 22 0 4063133 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140092643920040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8627] ppid=8619 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/8622/task/8627/stat : 8627 (java) S 8619 8622 6228 0 -1 4202560 808 0 0 0 34 8 0 0 20 0 22 0 4063133 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140092642867752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8628] ppid=8619 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/8622/task/8628/stat : 8628 (java) S 8619 8622 6228 0 -1 4202560 884 0 0 0 36 11 0 0 20 0 22 0 4063133 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140092641814952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8629] ppid=8619 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/8622/task/8629/stat : 8629 (java) S 8619 8622 6228 0 -1 4202560 790 0 0 0 42 9 0 0 20 0 22 0 4063133 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140092640762664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8622/tid=8630] ppid=8619 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/8622/task/8630/stat : 8630 (java) S 8619 8622 6228 0 -1 4202560 1275 0 0 0 31 10 0 0 20 0 22 0 4063133 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140092521835176 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8631] ppid=8619 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/8622/task/8631/stat : 8631 (java) S 8619 8622 6228 0 -1 4202560 2456 0 0 0 34 8 0 0 20 0 22 0 4063133 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140092520782888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8622/tid=8632] ppid=8619 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/8622/task/8632/stat : 8632 (java) S 8619 8622 6228 0 -1 4202560 1559 0 0 0 35 9 0 0 20 0 22 0 4063133 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140092519730088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8633] ppid=8619 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/8622/task/8633/stat : 8633 (java) S 8619 8622 6228 0 -1 4202560 1447 0 0 0 53 4 0 0 20 0 22 0 4063134 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140092507531496 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8634] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8634/stat : 8634 (java) S 8619 8622 6228 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 4063135 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140092506477560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8635] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8635/stat : 8635 (java) S 8619 8622 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4063135 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140091901076744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8636] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8636/stat : 8636 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4063137 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140091900025232 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8637] ppid=8619 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/8622/task/8637/stat : 8637 (java) S 8619 8622 6228 0 -1 4202560 11930 0 0 0 109 3 0 0 20 0 22 0 4063137 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140091898972856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8638] ppid=8619 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/8622/task/8638/stat : 8638 (java) S 8619 8622 6228 0 -1 4202560 12684 0 0 0 111 4 0 0 20 0 22 0 4063137 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140091897920056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8639] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8639/stat : 8639 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4063137 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140091896867960 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8640] ppid=8619 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/8622/task/8640/stat : 8640 (java) S 8619 8622 6228 0 -1 4202560 47 0 0 0 11 16 0 0 20 0 22 0 4063137 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140091895815368 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8647] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8647/stat : 8647 (java) S 8619 8622 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4063203 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140091892655784 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8622/tid=8651] ppid=8619 vsize=9824732 CPUtime=818.99 cores=1,3,5,7
/proc/8622/task/8651/stat : 8651 (java) R 8619 8622 6228 0 -1 4202560 45 0 0 0 81887 12 0 0 20 0 22 0 4063304 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140091894751248 140092522390005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8622/tid=8652] ppid=8619 vsize=9824732 CPUtime=818.69 cores=1,3,5,7
/proc/8622/task/8652/stat : 8652 (java) R 8619 8622 6228 0 -1 4202560 658 0 0 0 81840 29 0 0 20 0 22 0 4063304 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140091893704960 140092522758783 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8653] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8653/stat : 8653 (java) S 8619 8622 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4063304 10060525568 355229 33554432000 1073741824 1073778376 140733465347120 140091891602856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1644.45
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 3.10 3.17 3.44 4/218 8765
/proc/meminfo: memFree=27439160/32872528 swapFree=480236/529292
[pid=8622] ppid=8619 vsize=9824732 CPUtime=1764.36 cores=1,3,5,7
/proc/8622/stat : 8622 (java) S 8619 8622 6228 0 -1 4202496 41260 0 1 0 176315 121 0 0 20 0 22 0 4063131 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140733465338256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8622/statm: 2456183 281170 2295 9 0 2446860 0
[pid=8622/tid=8624] ppid=8619 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/8622/task/8624/stat : 8624 (java) S 8619 8622 6228 0 -1 4202560 2413 0 1 0 20 3 0 0 20 0 22 0 4063132 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140092683481976 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8625] ppid=8619 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/8622/task/8625/stat : 8625 (java) S 8619 8622 6228 0 -1 4202560 1148 0 0 0 43 9 0 0 20 0 22 0 4063133 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140092644972840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8626] ppid=8619 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/8622/task/8626/stat : 8626 (java) S 8619 8622 6228 0 -1 4202560 1673 0 0 0 41 12 0 0 20 0 22 0 4063133 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140092643920040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8622/tid=8627] ppid=8619 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/8622/task/8627/stat : 8627 (java) S 8619 8622 6228 0 -1 4202560 809 0 0 0 37 8 0 0 20 0 22 0 4063133 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140092642867752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8622/tid=8628] ppid=8619 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/8622/task/8628/stat : 8628 (java) S 8619 8622 6228 0 -1 4202560 884 0 0 0 41 11 0 0 20 0 22 0 4063133 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140092641814952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8629] ppid=8619 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/8622/task/8629/stat : 8629 (java) S 8619 8622 6228 0 -1 4202560 803 0 0 0 49 9 0 0 20 0 22 0 4063133 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140092640762664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8630] ppid=8619 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/8622/task/8630/stat : 8630 (java) S 8619 8622 6228 0 -1 4202560 1288 0 0 0 36 10 0 0 20 0 22 0 4063133 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140092521835176 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8622/tid=8631] ppid=8619 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/8622/task/8631/stat : 8631 (java) S 8619 8622 6228 0 -1 4202560 2459 0 0 0 41 8 0 0 20 0 22 0 4063133 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140092520782888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8632] ppid=8619 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/8622/task/8632/stat : 8632 (java) S 8619 8622 6228 0 -1 4202560 1559 0 0 0 40 9 0 0 20 0 22 0 4063133 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140092519730088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8633] ppid=8619 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/8622/task/8633/stat : 8633 (java) S 8619 8622 6228 0 -1 4202560 1507 0 0 0 77 5 0 0 20 0 22 0 4063134 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140092507531496 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8622/tid=8634] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8634/stat : 8634 (java) S 8619 8622 6228 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 4063135 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140092506477560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8635] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8635/stat : 8635 (java) S 8619 8622 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4063135 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140091901076744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8636] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8636/stat : 8636 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4063137 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140091900025232 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8637] ppid=8619 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/8622/task/8637/stat : 8637 (java) S 8619 8622 6228 0 -1 4202560 11930 0 0 0 109 3 0 0 20 0 22 0 4063137 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140091898972856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8638] ppid=8619 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/8622/task/8638/stat : 8638 (java) S 8619 8622 6228 0 -1 4202560 12685 0 0 0 111 4 0 0 20 0 22 0 4063137 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140091897920056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8639] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8639/stat : 8639 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4063137 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140091896867960 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8640] ppid=8619 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/8622/task/8640/stat : 8640 (java) S 8619 8622 6228 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 4063137 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140091895815368 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8622/tid=8647] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8647/stat : 8647 (java) S 8619 8622 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4063203 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140091892655784 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8622/tid=8651] ppid=8619 vsize=9824732 CPUtime=878.63 cores=1,3,5,7
/proc/8622/task/8651/stat : 8651 (java) R 8619 8622 6228 0 -1 4202560 47 0 0 0 87850 13 0 0 20 0 22 0 4063304 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140091894758160 140092522390111 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8652] ppid=8619 vsize=9824732 CPUtime=878.31 cores=1,3,5,7
/proc/8622/task/8652/stat : 8652 (java) R 8619 8622 6228 0 -1 4202560 664 0 0 0 87801 30 0 0 20 0 22 0 4063304 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140091893706080 140092522758783 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8622/tid=8653] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8653/stat : 8653 (java) S 8619 8622 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4063304 10060525568 281170 33554432000 1073741824 1073778376 140733465347120 140091891602856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1764.36
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.201 s]
/proc/loadavg: 3.08 3.16 3.44 4/218 8765
/proc/meminfo: memFree=27464292/32872528 swapFree=480236/529292
[pid=8622] ppid=8619 vsize=9824732 CPUtime=1800.17 cores=1,3,5,7
/proc/8622/stat : 8622 (java) S 8619 8622 6228 0 -1 4202496 41261 0 1 0 179896 121 0 0 20 0 22 0 4063131 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140733465338256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8622/statm: 2456183 278348 2295 9 0 2446860 0
[pid=8622/tid=8624] ppid=8619 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/8622/task/8624/stat : 8624 (java) S 8619 8622 6228 0 -1 4202560 2413 0 1 0 20 3 0 0 20 0 22 0 4063132 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140092683481976 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8625] ppid=8619 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/8622/task/8625/stat : 8625 (java) S 8619 8622 6228 0 -1 4202560 1148 0 0 0 44 9 0 0 20 0 22 0 4063133 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140092644972840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8622/tid=8626] ppid=8619 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/8622/task/8626/stat : 8626 (java) S 8619 8622 6228 0 -1 4202560 1673 0 0 0 42 12 0 0 20 0 22 0 4063133 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140092643920040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8622/tid=8627] ppid=8619 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/8622/task/8627/stat : 8627 (java) S 8619 8622 6228 0 -1 4202560 809 0 0 0 38 8 0 0 20 0 22 0 4063133 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140092642867752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8622/tid=8628] ppid=8619 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/8622/task/8628/stat : 8628 (java) S 8619 8622 6228 0 -1 4202560 884 0 0 0 41 11 0 0 20 0 22 0 4063133 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140092641814952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8629] ppid=8619 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/8622/task/8629/stat : 8629 (java) S 8619 8622 6228 0 -1 4202560 803 0 0 0 51 9 0 0 20 0 22 0 4063133 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140092640762664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8630] ppid=8619 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/8622/task/8630/stat : 8630 (java) S 8619 8622 6228 0 -1 4202560 1288 0 0 0 38 10 0 0 20 0 22 0 4063133 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140092521835176 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8631] ppid=8619 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/8622/task/8631/stat : 8631 (java) S 8619 8622 6228 0 -1 4202560 2459 0 0 0 42 8 0 0 20 0 22 0 4063133 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140092520782888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8632] ppid=8619 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/8622/task/8632/stat : 8632 (java) S 8619 8622 6228 0 -1 4202560 1559 0 0 0 41 9 0 0 20 0 22 0 4063133 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140092519730088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8633] ppid=8619 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/8622/task/8633/stat : 8633 (java) S 8619 8622 6228 0 -1 4202560 1507 0 0 0 77 5 0 0 20 0 22 0 4063134 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140092507531496 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8622/tid=8634] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8634/stat : 8634 (java) S 8619 8622 6228 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 4063135 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140092506477560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8635] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8635/stat : 8635 (java) S 8619 8622 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4063135 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140091901076744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8636] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8636/stat : 8636 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4063137 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140091900025232 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8637] ppid=8619 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/8622/task/8637/stat : 8637 (java) S 8619 8622 6228 0 -1 4202560 11930 0 0 0 109 3 0 0 20 0 22 0 4063137 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140091898972856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8638] ppid=8619 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/8622/task/8638/stat : 8638 (java) S 8619 8622 6228 0 -1 4202560 12685 0 0 0 111 4 0 0 20 0 22 0 4063137 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140091897920056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8639] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8639/stat : 8639 (java) S 8619 8622 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4063137 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140091896867960 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8640] ppid=8619 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/8622/task/8640/stat : 8640 (java) S 8619 8622 6228 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 4063137 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140091895815368 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8622/tid=8647] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8647/stat : 8647 (java) S 8619 8622 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4063203 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140091892655784 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8622/tid=8651] ppid=8619 vsize=9824732 CPUtime=896.5 cores=1,3,5,7
/proc/8622/task/8651/stat : 8651 (java) R 8619 8622 6228 0 -1 4202560 47 0 0 0 89637 13 0 0 20 0 22 0 4063304 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140091894758160 140092522365884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8622/tid=8652] ppid=8619 vsize=9824732 CPUtime=896.18 cores=1,3,5,7
/proc/8622/task/8652/stat : 8652 (java) R 8619 8622 6228 0 -1 4202560 665 0 0 0 89588 30 0 0 20 0 22 0 4063304 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140091893706080 140092522758778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8622/tid=8653] ppid=8619 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8622/task/8653/stat : 8653 (java) S 8619 8622 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4063304 10060525568 278348 33554432000 1073741824 1073778376 140733465347120 140091891602856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
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 8622 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 900.245
CPU time (s): 1800.87
CPU user time (s): 1799.17
CPU system time (s): 1.69974
CPU usage (%): 200.042
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 1.69974
maximum resident set size= 1533516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41303
page faults= 1
swaps= 0
block input operations= 0
block output operations= 776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23298
involuntary context switches= 18706
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.64214 second user time and 7.16391 second system time
The end