runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456492-1307223083/watcher-3456492-1307223083 -o /tmp/evaluation-result-3456492-1307223083/solver-3456492-1307223083 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456492-1307223083.opb
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: 2.01 2.02 2.00 3/442 7945
/proc/meminfo: memFree=21852520/32951124 swapFree=44043516/67111528
[pid=7945] ppid=7943 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/7945/stat : 7945 (java) S 7943 7945 7124 0 -1 4202496 3317 0 1 0 0 0 0 0 25 0 2 0 833906557 10694979584 3019 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/7945/statm: 2611079 3033 917 9 0 2602235 0
[pid=7945/tid=7946] ppid=7943 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7946/stat : 7946 (java) R 7943 7945 7124 0 -1 4202560 4867 0 1 0 0 0 0 0 25 0 2 0 833906558 10694979584 5683 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.082312 s]
/proc/loadavg: 2.01 2.02 2.00 3/442 7945
/proc/meminfo: memFree=21852520/32951124 swapFree=44043516/67111528
[pid=7945] ppid=7943 vsize=10473680 CPUtime=0.07 cores=0,2,4,6
/proc/7945/stat : 7945 (java) S 7943 7945 7124 0 -1 4202496 12436 0 1 0 6 1 0 0 25 0 18 0 833906557 10725048320 12124 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7945/statm: 2618420 12132 1980 9 0 2609154 0
[pid=7945/tid=7946] ppid=7943 vsize=10473680 CPUtime=0.06 cores=0,2,4,6
/proc/7945/task/7946/stat : 7946 (java) R 7943 7945 7124 0 -1 4202560 10921 0 1 0 5 1 0 0 25 0 18 0 833906558 10725048320 12135 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528663519 0 2147483391 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473680
[startup+0.104837 s]
/proc/loadavg: 2.01 2.02 2.00 3/442 7945
/proc/meminfo: memFree=21852520/32951124 swapFree=44043516/67111528
[pid=7945] ppid=7943 vsize=10540284 CPUtime=0.11 cores=0,2,4,6
/proc/7945/stat : 7945 (java) S 7943 7945 7124 0 -1 4202496 13146 0 1 0 10 1 0 0 25 0 18 0 833906557 10793250816 12834 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7945/statm: 2635071 12846 2108 9 0 2625805 0
[pid=7945/tid=7946] ppid=7943 vsize=10540284 CPUtime=0.08 cores=0,2,4,6
/proc/7945/task/7946/stat : 7946 (java) R 7943 7945 7124 0 -1 4202560 11197 0 1 0 7 1 0 0 25 0 18 0 833906558 10793250816 12855 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540284
[startup+0.300779 s]
/proc/loadavg: 2.01 2.02 2.00 3/442 7945
/proc/meminfo: memFree=21852520/32951124 swapFree=44043516/67111528
[pid=7945] ppid=7943 vsize=10541384 CPUtime=0.49 cores=0,2,4,6
/proc/7945/stat : 7945 (java) S 7943 7945 7124 0 -1 4202496 16279 0 1 0 47 2 0 0 25 0 18 0 833906557 10794377216 15624 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7945/statm: 2635346 15625 2202 9 0 2626080 0
[pid=7945/tid=7946] ppid=7943 vsize=10541384 CPUtime=0.28 cores=0,2,4,6
/proc/7945/task/7946/stat : 7946 (java) R 7943 7945 7124 0 -1 4202560 13232 0 1 0 26 2 0 0 25 0 18 0 833906558 10794377216 15625 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 46912505547041 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541384
[startup+0.700755 s]
/proc/loadavg: 2.01 2.02 2.00 3/442 7945
/proc/meminfo: memFree=21852520/32951124 swapFree=44043516/67111528
[pid=7945] ppid=7943 vsize=10544836 CPUtime=1.14 cores=0,2,4,6
/proc/7945/stat : 7945 (java) S 7943 7945 7124 0 -1 4202496 52383 0 1 0 107 7 0 0 25 0 18 0 833906557 10797912064 50218 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7945/statm: 2636209 50223 2214 9 0 2626943 0
[pid=7945/tid=7946] ppid=7943 vsize=10544836 CPUtime=0.68 cores=0,2,4,6
/proc/7945/task/7946/stat : 7946 (java) R 7943 7945 7124 0 -1 4202560 46097 0 1 0 61 7 0 0 25 0 18 0 833906558 10797912064 50225 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 46912505647710 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 10544836
[startup+1.5006 s]
/proc/loadavg: 2.01 2.02 2.00 3/460 7963
/proc/meminfo: memFree=21548212/32951124 swapFree=44043516/67111528
[pid=7945] ppid=7943 vsize=10555076 CPUtime=2.19 cores=0,2,4,6
/proc/7945/stat : 7945 (java) S 7943 7945 7124 0 -1 4202496 97108 0 1 0 205 14 0 0 25 0 18 0 833906557 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7945/statm: 2638769 93301 2225 9 0 2629503 0
[pid=7945/tid=7946] ppid=7943 vsize=10555076 CPUtime=1.48 cores=0,2,4,6
/proc/7945/task/7946/stat : 7946 (java) R 7943 7945 7124 0 -1 4202560 86663 0 1 0 136 12 0 0 25 0 18 0 833906558 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 46912505641231 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7945/tid=7948] ppid=7943 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7948/stat : 7948 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906559 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7949] ppid=7943 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7949/stat : 7949 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906559 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7950] ppid=7943 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7950/stat : 7950 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906559 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7951] ppid=7943 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7951/stat : 7951 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906559 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7952] ppid=7943 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7952/stat : 7952 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906559 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7953] ppid=7943 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7953/stat : 7953 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906559 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7954] ppid=7943 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7954/stat : 7954 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906559 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7955] ppid=7943 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7955/stat : 7955 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906559 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7956] ppid=7943 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7956/stat : 7956 (java) S 7943 7945 7124 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 833906560 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650752 0 0 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7957] ppid=7943 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7957/stat : 7957 (java) S 7943 7945 7124 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 833906561 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7958] ppid=7943 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7958/stat : 7958 (java) S 7943 7945 7124 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 833906561 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7959] ppid=7943 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7959/stat : 7959 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906563 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528657841 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7960] ppid=7943 vsize=10555076 CPUtime=0.27 cores=0,2,4,6
/proc/7945/task/7960/stat : 7960 (java) S 7943 7945 7124 0 -1 4202560 2527 0 0 0 27 0 0 0 15 0 18 0 833906563 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7961] ppid=7943 vsize=10555076 CPUtime=0.42 cores=0,2,4,6
/proc/7945/task/7961/stat : 7961 (java) R 7943 7945 7124 0 -1 4202560 6768 0 0 0 42 0 0 0 16 0 18 0 833906563 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 47845299590588 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7945/tid=7962] ppid=7943 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7962/stat : 7962 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906563 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7963] ppid=7943 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7963/stat : 7963 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 833906563 10808397824 93301 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650752 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 10555076
[startup+3.10134 s]
/proc/loadavg: 2.17 2.06 2.01 4/461 7964
/proc/meminfo: memFree=21472096/32951124 swapFree=44043516/67111528
[pid=7945] ppid=7943 vsize=10556104 CPUtime=4.21 cores=0,2,4,6
/proc/7945/stat : 7945 (java) S 7943 7945 7124 0 -1 4202496 105895 0 1 0 406 15 0 0 25 0 19 0 833906557 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7945/statm: 2639026 101223 2232 9 0 2629760 0
[pid=7945/tid=7946] ppid=7943 vsize=10556104 CPUtime=3.08 cores=0,2,4,6
/proc/7945/task/7946/stat : 7946 (java) R 7943 7945 7124 0 -1 4202560 94460 0 1 0 295 13 0 0 18 0 19 0 833906558 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 46912506006179 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7945/tid=7948] ppid=7943 vsize=10556104 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7948/stat : 7948 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906559 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7949] ppid=7943 vsize=10556104 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7949/stat : 7949 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906559 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7950] ppid=7943 vsize=10556104 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7950/stat : 7950 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906559 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7951] ppid=7943 vsize=10556104 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7951/stat : 7951 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906559 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7952] ppid=7943 vsize=10556104 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7952/stat : 7952 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906559 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7953] ppid=7943 vsize=10556104 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7953/stat : 7953 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906559 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7954] ppid=7943 vsize=10556104 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7954/stat : 7954 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906559 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7955] ppid=7943 vsize=10556104 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7955/stat : 7955 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906559 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7956] ppid=7943 vsize=10556104 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7956/stat : 7956 (java) S 7943 7945 7124 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 833906560 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650752 0 0 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7957] ppid=7943 vsize=10556104 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7957/stat : 7957 (java) S 7943 7945 7124 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833906561 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7958] ppid=7943 vsize=10556104 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7958/stat : 7958 (java) S 7943 7945 7124 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833906561 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7959] ppid=7943 vsize=10556104 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7959/stat : 7959 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906563 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528657841 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7960] ppid=7943 vsize=10556104 CPUtime=0.37 cores=0,2,4,6
/proc/7945/task/7960/stat : 7960 (java) S 7943 7945 7124 0 -1 4202560 2651 0 0 0 37 0 0 0 15 0 19 0 833906563 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7961] ppid=7943 vsize=10556104 CPUtime=0.73 cores=0,2,4,6
/proc/7945/task/7961/stat : 7961 (java) S 7943 7945 7124 0 -1 4202560 7624 0 0 0 72 1 0 0 15 0 19 0 833906563 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 4 0 0 0
[pid=7945/tid=7962] ppid=7943 vsize=10556104 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7962/stat : 7962 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906563 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7963] ppid=7943 vsize=10556104 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7963/stat : 7963 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833906563 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650752 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7964] ppid=7943 vsize=10556104 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7964/stat : 7964 (java) S 7943 7945 7124 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833906721 10809450496 101223 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650752 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 10556104
[startup+6.30071 s]
/proc/loadavg: 2.17 2.06 2.01 3/461 7964
/proc/meminfo: memFree=21430552/32951124 swapFree=44043516/67111528
[pid=7945] ppid=7943 vsize=10548016 CPUtime=7.45 cores=0,2,4,6
/proc/7945/stat : 7945 (java) S 7943 7945 7124 0 -1 4202496 113518 0 1 0 729 16 0 0 25 0 19 0 833906557 10801168384 106887 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7945/statm: 2637004 106887 2236 9 0 2627738 0
[pid=7945/tid=7946] ppid=7943 vsize=10548016 CPUtime=6.28 cores=0,2,4,6
/proc/7945/task/7946/stat : 7946 (java) R 7943 7945 7124 0 -1 4202560 102046 0 1 0 614 14 0 0 25 0 19 0 833906558 10801168384 106887 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 46912505785799 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7945/tid=7948] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7948/stat : 7948 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906559 10801168384 106887 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7949] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7949/stat : 7949 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906559 10801168384 106887 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7950] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7950/stat : 7950 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906559 10801168384 106887 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7951] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7951/stat : 7951 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906559 10801168384 106887 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7952] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7952/stat : 7952 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906559 10801168384 106887 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7953] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7953/stat : 7953 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906559 10801168384 106887 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7954] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7954/stat : 7954 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906559 10801168384 106887 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7955] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7955/stat : 7955 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906559 10801168384 106887 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7956] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7956/stat : 7956 (java) S 7943 7945 7124 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833906560 10801168384 106887 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650752 0 0 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7957] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7957/stat : 7957 (java) S 7943 7945 7124 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833906561 10801168384 106887 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7958] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7958/stat : 7958 (java) S 7943 7945 7124 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833906561 10801168384 106887 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7959] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7959/stat : 7959 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906563 10801168384 106887 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528657841 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7960] ppid=7943 vsize=10548016 CPUtime=0.39 cores=0,2,4,6
/proc/7945/task/7960/stat : 7960 (java) S 7943 7945 7124 0 -1 4202560 2653 0 0 0 39 0 0 0 15 0 19 0 833906563 10801168384 106887 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7961] ppid=7943 vsize=10548016 CPUtime=0.76 cores=0,2,4,6
/proc/7945/task/7961/stat : 7961 (java) S 7943 7945 7124 0 -1 4202560 7658 0 0 0 75 1 0 0 15 0 19 0 833906563 10801168384 106887 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 4 0 0 0
[pid=7945/tid=7962] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7962/stat : 7962 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906563 10801168384 106887 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/7945/task/7957/stat : 7957 (java) S 7943 7945 7124 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833906561 10801168384 905347 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7958] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7958/stat : 7958 (java) S 7943 7945 7124 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833906561 10801168384 905347 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7959] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7959/stat : 7959 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906563 10801168384 905347 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528657841 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7960] ppid=7943 vsize=10548016 CPUtime=0.56 cores=0,2,4,6
/proc/7945/task/7960/stat : 7960 (java) S 7943 7945 7124 0 -1 4202560 2682 0 0 0 56 0 0 0 15 0 19 0 833906563 10801168384 905347 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7961] ppid=7943 vsize=10548016 CPUtime=1.02 cores=0,2,4,6
/proc/7945/task/7961/stat : 7961 (java) S 7943 7945 7124 0 -1 4202560 9070 0 0 0 101 1 0 0 15 0 19 0 833906563 10801168384 905347 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 4 0 0 0
[pid=7945/tid=7962] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7962/stat : 7962 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906563 10801168384 905347 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7963] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7963/stat : 7963 (java) S 7943 7945 7124 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 833906563 10801168384 905347 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650752 0 4 0 16800975 18446604449226265664 0 0 -1 0 0 0 0
[pid=7945/tid=7964] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7964/stat : 7964 (java) S 7943 7945 7124 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833906721 10801168384 905347 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650752 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1665.25
Current children cumulated vsize (KiB) 10548016
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/461 8057
/proc/meminfo: memFree=18066144/32951124 swapFree=44043516/67111528
[pid=7945] ppid=7943 vsize=10548016 CPUtime=1725.31 cores=0,2,4,6
/proc/7945/stat : 7945 (java) S 7943 7945 7124 0 -1 4202496 917099 0 1 0 172413 118 0 0 25 0 19 0 833906557 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7945/statm: 2637004 908571 2251 9 0 2627738 0
[pid=7945/tid=7946] ppid=7943 vsize=10548016 CPUtime=1721.21 cores=0,2,4,6
/proc/7945/task/7946/stat : 7946 (java) R 7943 7945 7124 0 -1 4202560 841890 0 1 0 172021 100 0 0 25 0 19 0 833906558 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 46912506093391 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7945/tid=7948] ppid=7943 vsize=10548016 CPUtime=0.29 cores=0,2,4,6
/proc/7945/task/7948/stat : 7948 (java) S 7943 7945 7124 0 -1 4202560 9868 0 0 0 28 1 0 0 15 0 19 0 833906559 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 0 0 0 0
[pid=7945/tid=7949] ppid=7943 vsize=10548016 CPUtime=0.24 cores=0,2,4,6
/proc/7945/task/7949/stat : 7949 (java) S 7943 7945 7124 0 -1 4202560 4544 0 0 0 23 1 0 0 16 0 19 0 833906559 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 4 0 0 0
[pid=7945/tid=7950] ppid=7943 vsize=10548016 CPUtime=0.31 cores=0,2,4,6
/proc/7945/task/7950/stat : 7950 (java) S 7943 7945 7124 0 -1 4202560 8915 0 0 0 29 2 0 0 15 0 19 0 833906559 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 4 0 0 0
[pid=7945/tid=7951] ppid=7943 vsize=10548016 CPUtime=0.25 cores=0,2,4,6
/proc/7945/task/7951/stat : 7951 (java) S 7943 7945 7124 0 -1 4202560 4563 0 0 0 25 0 0 0 16 0 19 0 833906559 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 0 0 0 0
[pid=7945/tid=7952] ppid=7943 vsize=10548016 CPUtime=0.27 cores=0,2,4,6
/proc/7945/task/7952/stat : 7952 (java) S 7943 7945 7124 0 -1 4202560 4852 0 0 0 26 1 0 0 15 0 19 0 833906559 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7953] ppid=7943 vsize=10548016 CPUtime=0.34 cores=0,2,4,6
/proc/7945/task/7953/stat : 7953 (java) S 7943 7945 7124 0 -1 4202560 13353 0 0 0 33 1 0 0 15 0 19 0 833906559 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 0 0 0 0
[pid=7945/tid=7954] ppid=7943 vsize=10548016 CPUtime=0.3 cores=0,2,4,6
/proc/7945/task/7954/stat : 7954 (java) S 7943 7945 7124 0 -1 4202560 7177 0 0 0 29 1 0 0 15 0 19 0 833906559 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7955] ppid=7943 vsize=10548016 CPUtime=0.34 cores=0,2,4,6
/proc/7945/task/7955/stat : 7955 (java) S 7943 7945 7124 0 -1 4202560 8829 0 0 0 33 1 0 0 16 0 19 0 833906559 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7956] ppid=7943 vsize=10548016 CPUtime=0.07 cores=0,2,4,6
/proc/7945/task/7956/stat : 7956 (java) S 7943 7945 7124 0 -1 4202560 106 0 0 0 4 3 0 0 15 0 19 0 833906560 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650752 0 0 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7957] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7957/stat : 7957 (java) S 7943 7945 7124 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833906561 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7958] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7958/stat : 7958 (java) S 7943 7945 7124 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833906561 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7959] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7959/stat : 7959 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906563 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528657841 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7960] ppid=7943 vsize=10548016 CPUtime=0.56 cores=0,2,4,6
/proc/7945/task/7960/stat : 7960 (java) S 7943 7945 7124 0 -1 4202560 2682 0 0 0 56 0 0 0 15 0 19 0 833906563 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7961] ppid=7943 vsize=10548016 CPUtime=1.02 cores=0,2,4,6
/proc/7945/task/7961/stat : 7961 (java) S 7943 7945 7124 0 -1 4202560 9070 0 0 0 101 1 0 0 15 0 19 0 833906563 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 4 0 0 0
[pid=7945/tid=7962] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7962/stat : 7962 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906563 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7963] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7963/stat : 7963 (java) S 7943 7945 7124 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 833906563 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650752 0 4 0 16800975 18446604449226265664 0 0 -1 0 0 0 0
[pid=7945/tid=7964] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7964/stat : 7964 (java) S 7943 7945 7124 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833906721 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650752 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.31
Current children cumulated vsize (KiB) 10548016
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/461 8068
/proc/meminfo: memFree=18034100/32951124 swapFree=44043516/67111528
[pid=7945] ppid=7943 vsize=10548016 CPUtime=1785.33 cores=0,2,4,6
/proc/7945/stat : 7945 (java) S 7943 7945 7124 0 -1 4202496 917122 0 1 0 178415 118 0 0 25 0 19 0 833906557 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7945/statm: 2637004 908571 2251 9 0 2627738 0
[pid=7945/tid=7946] ppid=7943 vsize=10548016 CPUtime=1781.17 cores=0,2,4,6
/proc/7945/task/7946/stat : 7946 (java) R 7943 7945 7124 0 -1 4202560 841905 0 1 0 178017 100 0 0 25 0 19 0 833906558 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 46912506271423 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7945/tid=7948] ppid=7943 vsize=10548016 CPUtime=0.3 cores=0,2,4,6
/proc/7945/task/7948/stat : 7948 (java) S 7943 7945 7124 0 -1 4202560 9868 0 0 0 29 1 0 0 15 0 19 0 833906559 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 0 0 0 0
[pid=7945/tid=7949] ppid=7943 vsize=10548016 CPUtime=0.25 cores=0,2,4,6
/proc/7945/task/7949/stat : 7949 (java) S 7943 7945 7124 0 -1 4202560 4544 0 0 0 24 1 0 0 16 0 19 0 833906559 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 4 0 0 0
[pid=7945/tid=7950] ppid=7943 vsize=10548016 CPUtime=0.31 cores=0,2,4,6
/proc/7945/task/7950/stat : 7950 (java) S 7943 7945 7124 0 -1 4202560 8915 0 0 0 29 2 0 0 15 0 19 0 833906559 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 4 0 0 0
[pid=7945/tid=7951] ppid=7943 vsize=10548016 CPUtime=0.26 cores=0,2,4,6
/proc/7945/task/7951/stat : 7951 (java) S 7943 7945 7124 0 -1 4202560 4563 0 0 0 26 0 0 0 16 0 19 0 833906559 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7952] ppid=7943 vsize=10548016 CPUtime=0.27 cores=0,2,4,6
/proc/7945/task/7952/stat : 7952 (java) S 7943 7945 7124 0 -1 4202560 4852 0 0 0 26 1 0 0 15 0 19 0 833906559 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 0 0 0 0
[pid=7945/tid=7953] ppid=7943 vsize=10548016 CPUtime=0.35 cores=0,2,4,6
/proc/7945/task/7953/stat : 7953 (java) S 7943 7945 7124 0 -1 4202560 13353 0 0 0 34 1 0 0 15 0 19 0 833906559 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7954] ppid=7943 vsize=10548016 CPUtime=0.31 cores=0,2,4,6
/proc/7945/task/7954/stat : 7954 (java) S 7943 7945 7124 0 -1 4202560 7177 0 0 0 30 1 0 0 15 0 19 0 833906559 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 0 0 0 0
[pid=7945/tid=7955] ppid=7943 vsize=10548016 CPUtime=0.34 cores=0,2,4,6
/proc/7945/task/7955/stat : 7955 (java) S 7943 7945 7124 0 -1 4202560 8829 0 0 0 33 1 0 0 15 0 19 0 833906559 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 0 0 0 0
[pid=7945/tid=7956] ppid=7943 vsize=10548016 CPUtime=0.07 cores=0,2,4,6
/proc/7945/task/7956/stat : 7956 (java) S 7943 7945 7124 0 -1 4202560 110 0 0 0 4 3 0 0 15 0 19 0 833906560 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650752 0 0 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7957] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7957/stat : 7957 (java) S 7943 7945 7124 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833906561 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7958] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7958/stat : 7958 (java) S 7943 7945 7124 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833906561 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7959] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7959/stat : 7959 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906563 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528657841 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7960] ppid=7943 vsize=10548016 CPUtime=0.56 cores=0,2,4,6
/proc/7945/task/7960/stat : 7960 (java) S 7943 7945 7124 0 -1 4202560 2682 0 0 0 56 0 0 0 15 0 19 0 833906563 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7961] ppid=7943 vsize=10548016 CPUtime=1.02 cores=0,2,4,6
/proc/7945/task/7961/stat : 7961 (java) S 7943 7945 7124 0 -1 4202560 9070 0 0 0 101 1 0 0 15 0 19 0 833906563 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 4 0 0 0
[pid=7945/tid=7962] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7962/stat : 7962 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906563 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7963] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7963/stat : 7963 (java) S 7943 7945 7124 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 833906563 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650752 0 4 0 16800975 18446604449226265664 0 0 -1 0 0 0 0
[pid=7945/tid=7964] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7964/stat : 7964 (java) S 7943 7945 7124 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833906721 10801168384 908571 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650752 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1785.33
Current children cumulated vsize (KiB) 10548016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797 s]
/proc/loadavg: 2.01 2.04 2.00 3/461 8068
/proc/meminfo: memFree=17998796/32951124 swapFree=44043516/67111528
[pid=7945] ppid=7943 vsize=10548016 CPUtime=1800.07 cores=0,2,4,6
/proc/7945/stat : 7945 (java) S 7943 7945 7124 0 -1 4202496 920622 0 1 0 179888 119 0 0 25 0 19 0 833906557 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7945/statm: 2637004 911979 2251 9 0 2627738 0
[pid=7945/tid=7946] ppid=7943 vsize=10548016 CPUtime=1795.87 cores=0,2,4,6
/proc/7945/task/7946/stat : 7946 (java) R 7943 7945 7124 0 -1 4202560 841908 0 1 0 179487 100 0 0 25 0 19 0 833906558 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 46912506093553 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7945/tid=7948] ppid=7943 vsize=10548016 CPUtime=0.3 cores=0,2,4,6
/proc/7945/task/7948/stat : 7948 (java) S 7943 7945 7124 0 -1 4202560 9868 0 0 0 29 1 0 0 15 0 19 0 833906559 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 0 0 0 0
[pid=7945/tid=7949] ppid=7943 vsize=10548016 CPUtime=0.25 cores=0,2,4,6
/proc/7945/task/7949/stat : 7949 (java) S 7943 7945 7124 0 -1 4202560 4544 0 0 0 24 1 0 0 16 0 19 0 833906559 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 4 0 0 0
[pid=7945/tid=7950] ppid=7943 vsize=10548016 CPUtime=0.32 cores=0,2,4,6
/proc/7945/task/7950/stat : 7950 (java) S 7943 7945 7124 0 -1 4202560 9574 0 0 0 30 2 0 0 16 0 19 0 833906559 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 4 0 0 0
[pid=7945/tid=7951] ppid=7943 vsize=10548016 CPUtime=0.26 cores=0,2,4,6
/proc/7945/task/7951/stat : 7951 (java) S 7943 7945 7124 0 -1 4202560 4564 0 0 0 26 0 0 0 16 0 19 0 833906559 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7952] ppid=7943 vsize=10548016 CPUtime=0.29 cores=0,2,4,6
/proc/7945/task/7952/stat : 7952 (java) S 7943 7945 7124 0 -1 4202560 6993 0 0 0 28 1 0 0 15 0 19 0 833906559 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 0 0 0 0
[pid=7945/tid=7953] ppid=7943 vsize=10548016 CPUtime=0.35 cores=0,2,4,6
/proc/7945/task/7953/stat : 7953 (java) S 7943 7945 7124 0 -1 4202560 13353 0 0 0 34 1 0 0 15 0 19 0 833906559 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7954] ppid=7943 vsize=10548016 CPUtime=0.31 cores=0,2,4,6
/proc/7945/task/7954/stat : 7954 (java) S 7943 7945 7124 0 -1 4202560 7177 0 0 0 30 1 0 0 15 0 19 0 833906559 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 0 0 0 0
[pid=7945/tid=7955] ppid=7943 vsize=10548016 CPUtime=0.35 cores=0,2,4,6
/proc/7945/task/7955/stat : 7955 (java) S 7943 7945 7124 0 -1 4202560 9525 0 0 0 34 1 0 0 15 0 19 0 833906559 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7956] ppid=7943 vsize=10548016 CPUtime=0.07 cores=0,2,4,6
/proc/7945/task/7956/stat : 7956 (java) S 7943 7945 7124 0 -1 4202560 110 0 0 0 4 3 0 0 15 0 19 0 833906560 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650752 0 0 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7957] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7957/stat : 7957 (java) S 7943 7945 7124 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833906561 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7958] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7958/stat : 7958 (java) S 7943 7945 7124 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833906561 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7959] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7959/stat : 7959 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906563 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528657841 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7960] ppid=7943 vsize=10548016 CPUtime=0.56 cores=0,2,4,6
/proc/7945/task/7960/stat : 7960 (java) S 7943 7945 7124 0 -1 4202560 2682 0 0 0 56 0 0 0 15 0 19 0 833906563 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 2 0 0 0
[pid=7945/tid=7961] ppid=7943 vsize=10548016 CPUtime=1.02 cores=0,2,4,6
/proc/7945/task/7961/stat : 7961 (java) S 7943 7945 7124 0 -1 4202560 9070 0 0 0 101 1 0 0 15 0 19 0 833906563 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 4 0 0 0
[pid=7945/tid=7962] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7962/stat : 7962 (java) S 7943 7945 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906563 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650137 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
[pid=7945/tid=7963] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7963/stat : 7963 (java) S 7943 7945 7124 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 833906563 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650752 0 4 0 16800975 18446604449226265664 0 0 -1 0 0 0 0
[pid=7945/tid=7964] ppid=7943 vsize=10548016 CPUtime=0 cores=0,2,4,6
/proc/7945/task/7964/stat : 7964 (java) S 7943 7945 7124 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833906721 10801168384 911979 33554432000 1073741824 1073778376 140734695499872 18446744073709551615 246528650752 0 4 0 16800975 18446604449226265664 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10548016
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.12 s]
/proc/loadavg: 2.01 2.04 2.00 3/461 8068
/proc/meminfo: memFree=17998796/32951124 swapFree=44043516/67111528
[pid=7945] ppid=7943 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/7945/stat : 7945 (java) Z 7943 7945 7124 0 -1 4203548 920651 0 1 0 179889 129 0 0 17 0 2 0 833906557 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7945/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.17
CPU time (s): 1800.23
CPU user time (s): 1798.9
CPU system time (s): 1.3358
CPU usage (%): 100.171
Max. virtual memory (cumulated for all children) (KiB): 10556104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.3358
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 920651
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48761
involuntary context switches= 18753
runsolver used 8.50171 second user time and 16.9874 second system time
The end