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-4243978-1500678414/watcher-4243978-1500678414 -o /tmp/evaluation-result-4243978-1500678414/solver-4243978-1500678414 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500674693-6197 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243978-1500678414.xml
pid=7933
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.14 3.19 3.66 2/235 7936
/proc/meminfo: memFree=32025812/32770624 swapFree=5764/228808
[pid=7936] ppid=7933 vsize=8339376 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/stat : 7936 (java) S 7933 7936 2452 0 -1 1077944320 1838 0 0 0 0 0 0 0 20 0 2 0 3109666 8539521024 2112 33554432000 4194304 4196468 140727907451136 140727907433680 140228042489591 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
/proc/7936/statm: 2084844 2112 1188 1 0 2073755 0
[pid=7936/tid=7937] ppid=7933 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7937/stat : 7937 (java) R 7933 7936 2452 0 -1 4202560 613 0 0 0 0 0 0 0 20 0 2 0 3109666 8550137856 2178 33554432000 4194304 4196468 140727907451136 140228046731680 140228034779040 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[startup+0.10006 s]
/proc/loadavg: 1.14 3.19 3.66 2/235 7936
/proc/meminfo: memFree=32025812/32770624 swapFree=5764/228808
[pid=7936] ppid=7933 vsize=10900456 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/7936/stat : 7936 (java) S 7933 7936 2452 0 -1 1077944320 4887 0 0 0 8 1 0 0 20 0 20 0 3109666 11162066944 5972 33554432000 4194304 4196468 140727907451136 140727907433680 140228042489591 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
/proc/7936/statm: 2725139 5972 2595 1 0 2713552 0
[pid=7936/tid=7937] ppid=7933 vsize=10900556 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7937/stat : 7937 (java) R 7933 7936 2452 0 -1 4202560 2986 0 0 0 7 1 0 0 20 0 20 0 3109666 11162169344 6037 33554432000 4194304 4196468 140727907451136 140228046725280 140227999125366 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900456
[startup+0.200352 s]
/proc/loadavg: 1.14 3.19 3.66 2/235 7936
/proc/meminfo: memFree=32025812/32770624 swapFree=5764/228808
[pid=7936] ppid=7933 vsize=10900556 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/7936/stat : 7936 (java) S 7933 7936 2452 0 -1 1077944320 7022 0 0 0 23 2 0 0 20 0 20 0 3109666 11162169344 8436 33554432000 4194304 4196468 140727907451136 140727907433680 140228042489591 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
/proc/7936/statm: 2725139 8436 2859 1 0 2713552 0
[pid=7936/tid=7937] ppid=7933 vsize=10900556 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7937/stat : 7937 (java) R 7933 7936 2452 0 -1 4202560 4707 0 0 0 16 2 0 0 20 0 20 0 3109666 11162169344 8436 33554432000 4194304 4196468 140727907451136 140228046705584 140228026570078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10900556
[startup+0.300318 s]
/proc/loadavg: 1.14 3.19 3.66 2/235 7936
/proc/meminfo: memFree=32025812/32770624 swapFree=5764/228808
[pid=7936] ppid=7933 vsize=10900556 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/7936/stat : 7936 (java) S 7933 7936 2452 0 -1 1077944320 8396 0 0 0 39 3 0 0 20 0 20 0 3109666 11162169344 10602 33554432000 4194304 4196468 140727907451136 140727907433680 140228042489591 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
/proc/7936/statm: 2725139 10602 2945 1 0 2713552 0
[pid=7936/tid=7937] ppid=7933 vsize=10900556 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7937/stat : 7937 (java) R 7933 7936 2452 0 -1 4202560 5442 0 0 0 26 2 0 0 20 0 20 0 3109666 11162169344 10602 33554432000 4194304 4196468 140727907451136 140228046717568 140228026570078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10900556
[startup+0.700243 s]
/proc/loadavg: 1.14 3.19 3.66 2/235 7936
/proc/meminfo: memFree=32025812/32770624 swapFree=5764/228808
[pid=7936] ppid=7933 vsize=10900632 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/7936/stat : 7936 (java) S 7933 7936 2452 0 -1 1077944320 12641 0 0 0 165 22 0 0 20 0 20 0 3109666 11162247168 54757 33554432000 4194304 4196468 140727907451136 140727907433680 140228042489591 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
/proc/7936/statm: 2725158 54757 3100 1 0 2713552 0
[pid=7936/tid=7937] ppid=7933 vsize=10900632 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7937/stat : 7937 (java) R 7933 7936 2452 0 -1 4202560 5905 0 0 0 58 4 0 0 20 0 20 0 3109666 11162247168 54757 33554432000 4194304 4196468 140727907451136 140228046725480 140227681716873 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10900632
[startup+1.50085 s]
/proc/loadavg: 1.14 3.19 3.66 2/255 7956
/proc/meminfo: memFree=31811308/32770624 swapFree=5764/228884
[pid=7936] ppid=7933 vsize=10900632 CPUtime=3.17 cores=0,2,4,6,8,10,12,14
/proc/7936/stat : 7936 (java) S 7933 7936 2452 0 -1 1077944320 14358 0 0 0 295 22 0 0 20 0 20 0 3109666 11162247168 56532 33554432000 4194304 4196468 140727907451136 140727907433680 140228042489591 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
/proc/7936/statm: 2725158 56532 3101 1 0 2713552 0
[pid=7936/tid=7937] ppid=7933 vsize=10900632 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7937/stat : 7937 (java) R 7933 7936 2452 0 -1 4202560 5909 0 0 0 138 4 0 0 20 0 20 0 3109666 11162247168 56532 33554432000 4194304 4196468 140727907451136 140228046725432 140227682072751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7939] ppid=7933 vsize=10900632 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7939/stat : 7939 (java) S 7933 7936 2452 0 -1 1077944384 66 0 0 0 3 2 0 0 20 0 20 0 3109667 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227999042704 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7940] ppid=7933 vsize=10900632 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7940/stat : 7940 (java) S 7933 7936 2452 0 -1 1077944384 52 0 0 0 2 1 0 0 20 0 20 0 3109667 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227648609296 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7941] ppid=7933 vsize=10900632 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7941/stat : 7941 (java) S 7933 7936 2452 0 -1 1077944384 63 0 0 0 3 2 0 0 20 0 20 0 3109667 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227647556496 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7942] ppid=7933 vsize=10900632 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7942/stat : 7942 (java) S 7933 7936 2452 0 -1 1077944384 63 0 0 0 3 1 0 0 20 0 20 0 3109667 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227646503696 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7943] ppid=7933 vsize=10900632 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7943/stat : 7943 (java) S 7933 7936 2452 0 -1 1077944384 53 0 0 0 2 1 0 0 20 0 20 0 3109667 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227645450896 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7944] ppid=7933 vsize=10900632 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7944/stat : 7944 (java) S 7933 7936 2452 0 -1 1077944384 51 0 0 0 2 1 0 0 20 0 20 0 3109667 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227644398096 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7945] ppid=7933 vsize=10900632 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7945/stat : 7945 (java) S 7933 7936 2452 0 -1 1077944384 55 0 0 0 3 1 0 0 20 0 20 0 3109667 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227643345296 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7946] ppid=7933 vsize=10900632 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7946/stat : 7946 (java) S 7933 7936 2452 0 -1 1077944384 60 0 0 0 1 1 0 0 20 0 20 0 3109667 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227642292496 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7947] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7947/stat : 7947 (java) S 7933 7936 2452 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 3109670 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227517565808 140228042500738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7948] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7948/stat : 7948 (java) S 7933 7936 2452 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3109671 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227516511776 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7949] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7949/stat : 7949 (java) S 7933 7936 2452 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3109671 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227515458928 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7950] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7950/stat : 7950 (java) S 7933 7936 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3109675 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227514407248 140228042508187 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7951] ppid=7933 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7951/stat : 7951 (java) S 7933 7936 2452 0 -1 1077944384 1514 0 0 0 32 0 0 0 20 0 20 0 3109675 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227513354608 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7952] ppid=7933 vsize=10900632 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7952/stat : 7952 (java) S 7933 7936 2452 0 -1 1077944384 1543 0 0 0 33 0 0 0 20 0 20 0 3109675 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227512301808 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7953] ppid=7933 vsize=10900632 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7953/stat : 7953 (java) S 7933 7936 2452 0 -1 1077944384 2345 0 0 0 47 0 0 0 20 0 20 0 3109675 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227511249008 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7954] ppid=7933 vsize=10900632 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7954/stat : 7954 (java) S 7933 7936 2452 0 -1 1077944384 1134 0 0 0 20 0 0 0 20 0 20 0 3109675 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227510196208 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7955] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7955/stat : 7955 (java) S 7933 7936 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3109675 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227509144672 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7956] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7956/stat : 7956 (java) S 7933 7936 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3109676 11162247168 56532 33554432000 4194304 4196468 140727907451136 140227508091952 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 10900632
[startup+3.10085 s]
/proc/loadavg: 1.14 3.19 3.66 2/255 7956
/proc/meminfo: memFree=31773508/32770624 swapFree=5764/228892
[pid=7936] ppid=7933 vsize=10900632 CPUtime=4.77 cores=0,2,4,6,8,10,12,14
/proc/7936/stat : 7936 (java) S 7933 7936 2452 0 -1 1077944320 14509 0 0 0 454 23 0 0 20 0 20 0 3109666 11162247168 81134 33554432000 4194304 4196468 140727907451136 140727907433680 140228042489591 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
/proc/7936/statm: 2725158 81134 3104 1 0 2713552 0
[pid=7936/tid=7937] ppid=7933 vsize=10900632 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7937/stat : 7937 (java) R 7933 7936 2452 0 -1 4202560 6058 0 0 0 297 5 0 0 20 0 20 0 3109666 11162247168 81134 33554432000 4194304 4196468 140727907451136 140228046725488 140227682072765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7939] ppid=7933 vsize=10900632 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7939/stat : 7939 (java) S 7933 7936 2452 0 -1 1077944384 66 0 0 0 3 2 0 0 20 0 20 0 3109667 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227999042704 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7940] ppid=7933 vsize=10900632 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7940/stat : 7940 (java) S 7933 7936 2452 0 -1 1077944384 52 0 0 0 2 1 0 0 20 0 20 0 3109667 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227648609296 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7941] ppid=7933 vsize=10900632 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7941/stat : 7941 (java) S 7933 7936 2452 0 -1 1077944384 63 0 0 0 3 2 0 0 20 0 20 0 3109667 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227647556496 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7942] ppid=7933 vsize=10900632 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7942/stat : 7942 (java) S 7933 7936 2452 0 -1 1077944384 63 0 0 0 3 1 0 0 20 0 20 0 3109667 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227646503696 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7943] ppid=7933 vsize=10900632 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7943/stat : 7943 (java) S 7933 7936 2452 0 -1 1077944384 53 0 0 0 2 1 0 0 20 0 20 0 3109667 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227645450896 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7944] ppid=7933 vsize=10900632 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7944/stat : 7944 (java) S 7933 7936 2452 0 -1 1077944384 51 0 0 0 2 1 0 0 20 0 20 0 3109667 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227644398096 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7945] ppid=7933 vsize=10900632 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7945/stat : 7945 (java) S 7933 7936 2452 0 -1 1077944384 55 0 0 0 3 1 0 0 20 0 20 0 3109667 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227643345296 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7946] ppid=7933 vsize=10900632 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7946/stat : 7946 (java) S 7933 7936 2452 0 -1 1077944384 60 0 0 0 1 1 0 0 20 0 20 0 3109667 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227642292496 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7947] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7947/stat : 7947 (java) S 7933 7936 2452 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 3109670 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227517565808 140228042500738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7948] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7948/stat : 7948 (java) S 7933 7936 2452 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3109671 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227516511776 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7949] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7949/stat : 7949 (java) S 7933 7936 2452 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3109671 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227515458928 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7950] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7950/stat : 7950 (java) S 7933 7936 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3109675 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227514407248 140228042508187 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7951] ppid=7933 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7951/stat : 7951 (java) S 7933 7936 2452 0 -1 1077944384 1514 0 0 0 32 0 0 0 20 0 20 0 3109675 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227513354608 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7952] ppid=7933 vsize=10900632 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7952/stat : 7952 (java) S 7933 7936 2452 0 -1 1077944384 1543 0 0 0 33 0 0 0 20 0 20 0 3109675 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227512301808 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7953] ppid=7933 vsize=10900632 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7953/stat : 7953 (java) S 7933 7936 2452 0 -1 1077944384 2345 0 0 0 47 0 0 0 20 0 20 0 3109675 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227511249008 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7954] ppid=7933 vsize=10900632 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7954/stat : 7954 (java) S 7933 7936 2452 0 -1 1077944384 1134 0 0 0 20 0 0 0 20 0 20 0 3109675 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227510196208 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7955] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7955/stat : 7955 (java) S 7933 7936 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3109675 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227509144672 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7956] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7956/stat : 7956 (java) S 7933 7936 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3109676 11162247168 81134 33554432000 4194304 4196468 140727907451136 140227508091952 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 10900632
[startup+6.30093 s]
/proc/loadavg: 1.13 3.15 3.65 2/255 7956
/proc/meminfo: memFree=31610500/32770624 swapFree=5764/228896
[pid=7936] ppid=7933 vsize=10900632 CPUtime=8.95 cores=0,2,4,6,8,10,12,14
/proc/7936/stat : 7936 (java) S 7933 7936 2452 0 -1 1077944320 17024 0 0 0 823 72 0 0 20 0 20 0 3109666 11162247168 106657 33554432000 4194304 4196468 140727907451136 140727907433680 140228042489591 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
/proc/7936/statm: 2725158 106657 3112 1 0 2713552 0
[pid=7936/tid=7937] ppid=7933 vsize=10900632 CPUtime=6.07 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7937/stat : 7937 (java) R 7933 7936 2452 0 -1 4202560 6454 0 0 0 602 5 0 0 20 0 20 0 3109666 11162247168 106657 33554432000 4194304 4196468 140727907451136 140228046725488 140227682072751 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7939] ppid=7933 vsize=10900632 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7939/stat : 7939 (java) S 7933 7936 2452 0 -1 1077944384 277 0 0 0 11 8 0 0 20 0 20 0 3109667 11162247168 106657 33554432000 4194304 4196468 140727907451136 140227999042704 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7940] ppid=7933 vsize=10900632 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7940/stat : 7940 (java) S 7933 7936 2452 0 -1 1077944384 127 0 0 0 10 7 0 0 20 0 20 0 3109667 11162247168 106657 33554432000 4194304 4196468 140727907451136 140227648609296 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7941] ppid=7933 vsize=10900632 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7941/stat : 7941 (java) S 7933 7936 2452 0 -1 1077944384 129 0 0 0 10 8 0 0 20 0 20 0 3109667 11162247168 106657 33554432000 4194304 4196468 140727907451136 140227647556496 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7942] ppid=7933 vsize=10900632 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7942/stat : 7942 (java) S 7933 7936 2452 0 -1 1077944384 324 0 0 0 11 7 0 0 20 0 20 0 3109667 11162247168 106657 33554432000 4194304 4196468 140727907451136 140227646503696 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7943] ppid=7933 vsize=10900632 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7943/stat : 7943 (java) S 7933 7936 2452 0 -1 1077944384 221 0 0 0 10 7 0 0 20 0 20 0 3109667 11162247168 106657 33554432000 4194304 4196468 140727907451136 140227645450896 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7944] ppid=7933 vsize=10900632 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7944/stat : 7944 (java) S 7933 7936 2452 0 -1 1077944384 147 0 0 0 10 8 0 0 20 0 20 0 3109667 11162247168 106657 33554432000 4194304 4196468 140727907451136 140227644398096 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7945] ppid=7933 vsize=10900632 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7945/stat : 7945 (java) S 7933 7936 2452 0 -1 1077944384 246 0 0 0 11 7 0 0 20 0 20 0 3109667 11162247168 106657 33554432000 4194304 4196468 140727907451136 140227643345296 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7946] ppid=7933 vsize=10900632 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7946/stat : 7946 (java) S 7933 7936 2452 0 -1 1077944384 133 0 0 0 10 7 0 0 20 0 20 0 3109667 11162247168 106657 33554432000 4194304 4196468 140727907451136 140227642292496 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7947] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7947/stat : 7947 (java) S 7933 7936 2452 0 -1 1077944384 462 0 0 0 0 0 0 0 20 0 20 0 3109670 11162247168 106657 33554432000 4194304 4196468 140727907451136 140227517565808 140228042500738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7948] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7948/stat : 7948 (java) S 7933 7936 2452 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 3109671 11162247168 106657 33554432000 4194304 4196468 140727907451136 140227516511840 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7949] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7949/stat : 7949 (java) S 7933 7936 2452 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 3109671 11162247168 106657 33554432000 4194304 4196468 140727907451136 140227515458928 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7950] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=7936/tid=7952] ppid=7933 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7952/stat : 7952 (java) S 7933 7936 2452 0 -1 1077944384 3175 0 0 0 45 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227512301808 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7953] ppid=7933 vsize=10900632 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7953/stat : 7953 (java) S 7933 7936 2452 0 -1 1077944384 3601 0 0 0 57 1 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227511248768 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7954] ppid=7933 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7954/stat : 7954 (java) S 7933 7936 2452 0 -1 1077944384 3232 0 0 0 24 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227510196256 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7955] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7955/stat : 7955 (java) S 7933 7936 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227509144672 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7956] ppid=7933 vsize=10900632 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7956/stat : 7956 (java) S 7933 7936 2452 0 -1 1077944384 1053 0 0 0 8 6 0 0 20 0 20 0 3109676 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227508091952 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
Current children cumulated CPU time (s) 2400.23
Current children cumulated vsize (KiB) 10900632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7936
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7936 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+366.413 s]
/proc/loadavg: 7.77 5.61 4.48 9/256 7970
/proc/meminfo: memFree=23706104/32770624 swapFree=5764/229180
[pid=7936] ppid=7933 vsize=10900632 CPUtime=2409.71 cores=0,2,4,6,8,10,12,14
/proc/7936/stat : 7936 (java) S 7933 7936 2452 0 -1 1077944320 326163 0 0 0 238679 2292 0 0 20 0 20 0 3109666 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140727907433680 140228042489591 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
/proc/7936/statm: 2725158 2077531 3138 1 0 2713552 0
[pid=7936/tid=7937] ppid=7933 vsize=10900632 CPUtime=44.35 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7937/stat : 7937 (java) S 7933 7936 2452 0 -1 1077944384 20226 0 0 0 4420 15 0 0 20 0 20 0 3109666 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140228046724848 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7939] ppid=7933 vsize=10900632 CPUtime=292.36 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7939/stat : 7939 (java) R 7933 7936 2452 0 -1 4202560 36177 0 0 0 28965 271 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227999042288 140228035117799 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7940] ppid=7933 vsize=10900632 CPUtime=291.65 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7940/stat : 7940 (java) R 7933 7936 2452 0 -1 4202560 22676 0 0 0 28852 313 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227648609192 140228028248408 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7941] ppid=7933 vsize=10900632 CPUtime=292.39 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7941/stat : 7941 (java) R 7933 7936 2452 0 -1 4202560 22441 0 0 0 28953 286 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227647556384 140228027474887 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7942] ppid=7933 vsize=10900632 CPUtime=292.33 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7942/stat : 7942 (java) R 7933 7936 2452 0 -1 4202560 35323 0 0 0 28933 300 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227646503592 140228035117799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7943] ppid=7933 vsize=10900632 CPUtime=292.64 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7943/stat : 7943 (java) R 7933 7936 2452 0 -1 4202560 22613 0 0 0 28985 279 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227645451096 140228027187366 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7944] ppid=7933 vsize=10900632 CPUtime=292.35 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7944/stat : 7944 (java) R 7933 7936 2452 0 -1 4202560 24429 0 0 0 28938 297 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227644398296 140228027187238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7945] ppid=7933 vsize=10900632 CPUtime=292.17 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7945/stat : 7945 (java) R 7933 7936 2452 0 -1 4202560 27894 0 0 0 28937 280 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227643345496 140228027187230 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7946] ppid=7933 vsize=10900632 CPUtime=292.56 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7946/stat : 7946 (java) R 7933 7936 2452 0 -1 4202560 27885 0 0 0 29020 236 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227642292696 140228027187244 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7947] ppid=7933 vsize=10900632 CPUtime=24.96 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7947/stat : 7947 (java) S 7933 7936 2452 0 -1 1077944384 71093 0 0 0 2493 3 0 0 20 0 20 0 3109670 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227517564128 140228042499797 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7948] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7948/stat : 7948 (java) S 7933 7936 2452 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 3109671 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227516511840 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7949] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7949/stat : 7949 (java) S 7933 7936 2452 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 3109671 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227515458944 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7950] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7950/stat : 7950 (java) S 7933 7936 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227514406896 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7951] ppid=7933 vsize=10900632 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7951/stat : 7951 (java) S 7933 7936 2452 0 -1 1077944384 2848 0 0 0 41 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227513354656 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7952] ppid=7933 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7952/stat : 7952 (java) S 7933 7936 2452 0 -1 1077944384 3175 0 0 0 45 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227512301808 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7953] ppid=7933 vsize=10900632 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7953/stat : 7953 (java) S 7933 7936 2452 0 -1 1077944384 3601 0 0 0 57 1 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227511248768 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7954] ppid=7933 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7954/stat : 7954 (java) S 7933 7936 2452 0 -1 1077944384 3232 0 0 0 24 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227510196256 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7955] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7955/stat : 7955 (java) S 7933 7936 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227509144672 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7956] ppid=7933 vsize=10900632 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7956/stat : 7956 (java) S 7933 7936 2452 0 -1 1077944384 1053 0 0 0 8 6 0 0 20 0 20 0 3109676 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227508091952 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
Current children cumulated CPU time (s) 2409.71
Current children cumulated vsize (KiB) 10900632
[startup+366.801 s]
/proc/loadavg: 7.77 5.61 4.48 9/256 7970
/proc/meminfo: memFree=23706104/32770624 swapFree=5764/229180
[pid=7936] ppid=7933 vsize=10900632 CPUtime=2412.78 cores=0,2,4,6,8,10,12,14
/proc/7936/stat : 7936 (java) S 7933 7936 2452 0 -1 1077944320 326164 0 0 0 238986 2292 0 0 20 0 20 0 3109666 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140727907433680 140228042489591 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
/proc/7936/statm: 2725158 2077531 3138 1 0 2713552 0
[pid=7936/tid=7937] ppid=7933 vsize=10900632 CPUtime=44.35 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7937/stat : 7937 (java) S 7933 7936 2452 0 -1 1077944384 20226 0 0 0 4420 15 0 0 20 0 20 0 3109666 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140228046724848 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7939] ppid=7933 vsize=10900632 CPUtime=292.73 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7939/stat : 7939 (java) R 7933 7936 2452 0 -1 4202560 36177 0 0 0 29002 271 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227999042600 140228035117799 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7940] ppid=7933 vsize=10900632 CPUtime=292.02 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7940/stat : 7940 (java) R 7933 7936 2452 0 -1 4202560 22676 0 0 0 28889 313 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227648609192 140228025872626 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7941] ppid=7933 vsize=10900632 CPUtime=292.78 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7941/stat : 7941 (java) R 7933 7936 2452 0 -1 4202560 22441 0 0 0 28992 286 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227647556392 140228035117799 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7942] ppid=7933 vsize=10900632 CPUtime=292.7 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7942/stat : 7942 (java) R 7933 7936 2452 0 -1 4202560 35323 0 0 0 28970 300 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227646503592 140228035117799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7943] ppid=7933 vsize=10900632 CPUtime=293.03 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7943/stat : 7943 (java) R 7933 7936 2452 0 -1 4202560 22613 0 0 0 29024 279 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227645450792 140228035117799 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7944] ppid=7933 vsize=10900632 CPUtime=292.73 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7944/stat : 7944 (java) R 7933 7936 2452 0 -1 4202560 24429 0 0 0 28976 297 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227644398296 140228026943520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7945] ppid=7933 vsize=10900632 CPUtime=292.56 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7945/stat : 7945 (java) R 7933 7936 2452 0 -1 4202560 27895 0 0 0 28976 280 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227643345192 140228035117799 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7946] ppid=7933 vsize=10900632 CPUtime=292.95 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7946/stat : 7946 (java) R 7933 7936 2452 0 -1 4202560 27885 0 0 0 29059 236 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227642292392 140228035117799 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7947] ppid=7933 vsize=10900632 CPUtime=24.96 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7947/stat : 7947 (java) S 7933 7936 2452 0 -1 1077944384 71093 0 0 0 2493 3 0 0 20 0 20 0 3109670 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227517564128 140228042499797 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7948] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7948/stat : 7948 (java) S 7933 7936 2452 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 3109671 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227516511840 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7949] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7949/stat : 7949 (java) S 7933 7936 2452 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 3109671 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227515458944 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7950] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7950/stat : 7950 (java) S 7933 7936 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227514406896 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7951] ppid=7933 vsize=10900632 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7951/stat : 7951 (java) S 7933 7936 2452 0 -1 1077944384 2848 0 0 0 41 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227513354656 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7952] ppid=7933 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7952/stat : 7952 (java) S 7933 7936 2452 0 -1 1077944384 3175 0 0 0 45 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227512301808 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7953] ppid=7933 vsize=10900632 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7953/stat : 7953 (java) S 7933 7936 2452 0 -1 1077944384 3601 0 0 0 57 1 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227511248768 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7954] ppid=7933 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7954/stat : 7954 (java) S 7933 7936 2452 0 -1 1077944384 3232 0 0 0 24 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227510196256 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7955] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7955/stat : 7955 (java) S 7933 7936 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227509144672 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7956] ppid=7933 vsize=10900632 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7956/stat : 7956 (java) S 7933 7936 2452 0 -1 1077944384 1053 0 0 0 8 6 0 0 20 0 20 0 3109676 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227508091952 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
Current children cumulated CPU time (s) 2412.78
Current children cumulated vsize (KiB) 10900632
[startup+367.201 s]
/proc/loadavg: 7.77 5.61 4.48 9/256 7970
/proc/meminfo: memFree=23706104/32770624 swapFree=5764/229180
[pid=7936] ppid=7933 vsize=10900632 CPUtime=2415.89 cores=0,2,4,6,8,10,12,14
/proc/7936/stat : 7936 (java) S 7933 7936 2452 0 -1 1077944320 326164 0 0 0 239296 2293 0 0 20 0 20 0 3109666 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140727907433680 140228042489591 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
/proc/7936/statm: 2725158 2077531 3138 1 0 2713552 0
[pid=7936/tid=7937] ppid=7933 vsize=10900632 CPUtime=44.35 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7937/stat : 7937 (java) S 7933 7936 2452 0 -1 1077944384 20226 0 0 0 4420 15 0 0 20 0 20 0 3109666 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140228046724848 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7939] ppid=7933 vsize=10900632 CPUtime=293.12 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7939/stat : 7939 (java) R 7933 7936 2452 0 -1 4202560 36177 0 0 0 29041 271 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227999042600 140228035117799 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7940] ppid=7933 vsize=10900632 CPUtime=292.4 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7940/stat : 7940 (java) R 7933 7936 2452 0 -1 4202560 22676 0 0 0 28927 313 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227648609192 140228025872624 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7941] ppid=7933 vsize=10900632 CPUtime=293.17 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7941/stat : 7941 (java) S 7933 7936 2452 0 -1 1077944384 22441 0 0 0 29031 286 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227647556080 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7942] ppid=7933 vsize=10900632 CPUtime=293.09 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7942/stat : 7942 (java) R 7933 7936 2452 0 -1 4202560 35323 0 0 0 29009 300 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227646503592 140228035117799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7943] ppid=7933 vsize=10900632 CPUtime=293.42 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7943/stat : 7943 (java) R 7933 7936 2452 0 -1 4202560 22613 0 0 0 29063 279 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227645450792 140228035117799 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7944] ppid=7933 vsize=10900632 CPUtime=293.13 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7944/stat : 7944 (java) R 7933 7936 2452 0 -1 4202560 24429 0 0 0 29016 297 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227644398296 140228026943562 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7945] ppid=7933 vsize=10900632 CPUtime=292.95 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7945/stat : 7945 (java) R 7933 7936 2452 0 -1 4202560 27895 0 0 0 29015 280 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227643345192 140228035117799 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7946] ppid=7933 vsize=10900632 CPUtime=293.34 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7946/stat : 7946 (java) R 7933 7936 2452 0 -1 4202560 27885 0 0 0 29098 236 0 0 20 0 20 0 3109667 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227642292392 140228035117799 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7947] ppid=7933 vsize=10900632 CPUtime=24.96 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7947/stat : 7947 (java) S 7933 7936 2452 0 -1 1077944384 71093 0 0 0 2493 3 0 0 20 0 20 0 3109670 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227517564128 140228042499797 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7948] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7948/stat : 7948 (java) S 7933 7936 2452 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 3109671 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227516511840 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7949] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7949/stat : 7949 (java) S 7933 7936 2452 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 3109671 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227515458944 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7950] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7950/stat : 7950 (java) S 7933 7936 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227514406896 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7951] ppid=7933 vsize=10900632 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7951/stat : 7951 (java) S 7933 7936 2452 0 -1 1077944384 2848 0 0 0 41 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227513354656 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7952] ppid=7933 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7952/stat : 7952 (java) S 7933 7936 2452 0 -1 1077944384 3175 0 0 0 45 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227512301808 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7953] ppid=7933 vsize=10900632 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7953/stat : 7953 (java) S 7933 7936 2452 0 -1 1077944384 3601 0 0 0 57 1 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227511248768 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7954] ppid=7933 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7954/stat : 7954 (java) S 7933 7936 2452 0 -1 1077944384 3232 0 0 0 24 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227510196256 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7955] ppid=7933 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7955/stat : 7955 (java) S 7933 7936 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3109675 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227509144672 140228042499797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
[pid=7936/tid=7956] ppid=7933 vsize=10900632 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/7936/task/7956/stat : 7956 (java) S 7933 7936 2452 0 -1 1077944384 1053 0 0 0 8 6 0 0 20 0 20 0 3109676 11162247168 2077531 33554432000 4194304 4196468 140727907451136 140227508091952 140228042500738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140727907456171 140727907456324 140727907456324 140727907459023 0
Current children cumulated CPU time (s) 2415.89
Current children cumulated vsize (KiB) 10900632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 367.241
CPU time (s): 2415.96
CPU user time (s): 2392.99
CPU system time (s): 22.9709
CPU usage (%): 657.868
Max. virtual memory (cumulated for all children) (KiB): 10900632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.99
system time used= 22.9709
maximum resident set size= 8310336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326168
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37914
involuntary context switches= 196373
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.14346 second user time and 3.66482 second system time
The end