runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3689406-1337881832/watcher-3689406-1337881832 -o /tmp/evaluation-result-3689406-1337881832/solver-3689406-1337881832 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689406-1337881832.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: 1.82 1.97 2.25 3/194 24885
/proc/meminfo: memFree=29306808/32873648 swapFree=7108/7108
[pid=24885] ppid=24883 vsize=94112 CPUtime=0 cores=0,2,4,6
/proc/24885/stat : 24885 (java) S 24883 24885 21597 0 -1 4202496 1221 0 0 0 0 0 0 0 20 0 2 0 254310653 96370688 930 33554432000 1073741824 1073778376 140735714320064 140735714311200 219517321277 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24885/statm: 23528 930 705 9 0 16769 0
[pid=24885/tid=24886] ppid=24883 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24886/stat : 24886 (java) R 24883 24885 21597 0 -1 4202560 87 0 0 0 0 0 0 0 20 0 2 0 254310653 98635776 942 33554432000 1073741824 1073778376 140735714320064 140005440654888 219504800618 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.0375629 s]
/proc/loadavg: 1.82 1.97 2.25 3/194 24885
/proc/meminfo: memFree=29306808/32873648 swapFree=7108/7108
[pid=24885] ppid=24883 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/24885/stat : 24885 (java) S 24883 24885 21597 0 -1 4202496 3027 0 1 0 2 0 0 0 20 0 13 0 254310653 9446973440 3724 33554432000 1073741824 1073778376 140735714320064 140735714311200 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24885/statm: 2306390 3724 1698 9 0 2297091 0
[pid=24885/tid=24886] ppid=24883 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/24885/task/24886/stat : 24886 (java) R 24883 24885 21597 0 -1 4202560 1846 0 1 0 1 0 0 0 20 0 13 0 254310653 9446973440 3724 33554432000 1073741824 1073778376 140735714320064 140005440655600 140005444299758 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100291 s]
/proc/loadavg: 1.82 1.97 2.25 3/194 24885
/proc/meminfo: memFree=29306808/32873648 swapFree=7108/7108
[pid=24885] ppid=24883 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/24885/stat : 24885 (java) S 24883 24885 21597 0 -1 4202496 4394 0 1 0 9 1 0 0 20 0 18 0 254310653 9787813888 6103 33554432000 1073741824 1073778376 140735714320064 140735714311200 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24885/statm: 2389603 6103 2121 9 0 2380296 0
[pid=24885/tid=24886] ppid=24883 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/24885/task/24886/stat : 24886 (java) R 24883 24885 21597 0 -1 4202560 2430 0 1 0 8 0 0 0 20 0 18 0 254310653 9787813888 6103 33554432000 1073741824 1073778376 140735714320064 140005440658352 140005438535621 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300256 s]
/proc/loadavg: 1.82 1.97 2.25 3/194 24885
/proc/meminfo: memFree=29306808/32873648 swapFree=7108/7108
[pid=24885] ppid=24883 vsize=9558412 CPUtime=0.49 cores=0,2,4,6
/proc/24885/stat : 24885 (java) S 24883 24885 21597 0 -1 4202496 5304 0 1 0 47 2 0 0 20 0 18 0 254310653 9787813888 11853 33554432000 1073741824 1073778376 140735714320064 140735714311200 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24885/statm: 2389603 11853 2216 9 0 2380296 0
[pid=24885/tid=24886] ppid=24883 vsize=9558412 CPUtime=0.28 cores=0,2,4,6
/proc/24885/task/24886/stat : 24886 (java) R 24883 24885 21597 0 -1 4202560 2453 0 1 0 26 2 0 0 20 0 18 0 254310653 9787813888 11853 33554432000 1073741824 1073778376 140735714320064 140005440659624 140005280728847 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558412
[startup+0.700278 s]
/proc/loadavg: 1.82 1.97 2.25 3/194 24885
/proc/meminfo: memFree=29306808/32873648 swapFree=7108/7108
[pid=24885] ppid=24883 vsize=9558412 CPUtime=1.35 cores=0,2,4,6
/proc/24885/stat : 24885 (java) S 24883 24885 21597 0 -1 4202496 11908 0 1 0 130 5 0 0 20 0 18 0 254310653 9787813888 44171 33554432000 1073741824 1073778376 140735714320064 140735714311200 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24885/statm: 2389603 44171 2248 9 0 2380296 0
[pid=24885/tid=24886] ppid=24883 vsize=9558412 CPUtime=0.65 cores=0,2,4,6
/proc/24885/task/24886/stat : 24886 (java) R 24883 24885 21597 0 -1 4202560 2509 0 1 0 62 3 0 0 20 0 18 0 254310653 9787813888 44171 33554432000 1073741824 1073778376 140735714320064 140005440658808 140005280748303 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9558412
[startup+1.50063 s]
/proc/loadavg: 1.82 1.97 2.25 3/212 24903
/proc/meminfo: memFree=28834524/32873648 swapFree=7108/7108
[pid=24885] ppid=24883 vsize=9558412 CPUtime=2.51 cores=0,2,4,6
/proc/24885/stat : 24885 (java) S 24883 24885 21597 0 -1 4202496 12973 0 1 0 234 17 0 0 20 0 18 0 254310653 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140735714311200 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24885/statm: 2389603 92004 2248 9 0 2380296 0
[pid=24885/tid=24886] ppid=24883 vsize=9558412 CPUtime=1.37 cores=0,2,4,6
/proc/24885/task/24886/stat : 24886 (java) R 24883 24885 21597 0 -1 4202560 2571 0 1 0 131 6 0 0 20 0 18 0 254310653 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140005440651136 219517347085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24888] ppid=24883 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/24885/task/24888/stat : 24888 (java) S 24883 24885 21597 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 18 0 254310654 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140005402151336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24889] ppid=24883 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/24885/task/24889/stat : 24889 (java) S 24883 24885 21597 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 18 0 254310654 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140005401098792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24890] ppid=24883 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/24885/task/24890/stat : 24890 (java) S 24883 24885 21597 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 18 0 254310654 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140005400045736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24891] ppid=24883 vsize=9558412 CPUtime=0.03 cores=0,2,4,6
/proc/24885/task/24891/stat : 24891 (java) S 24883 24885 21597 0 -1 4202560 28 0 0 0 3 0 0 0 20 0 18 0 254310654 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140005398993192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24892] ppid=24883 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/24885/task/24892/stat : 24892 (java) S 24883 24885 21597 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 254310654 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140005280312232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24893] ppid=24883 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/24885/task/24893/stat : 24893 (java) S 24883 24885 21597 0 -1 4202560 29 0 0 0 2 0 0 0 20 0 18 0 254310654 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140005279259688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24894] ppid=24883 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/24885/task/24894/stat : 24894 (java) S 24883 24885 21597 0 -1 4202560 34 0 0 0 3 1 0 0 20 0 18 0 254310654 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140005278206632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24895] ppid=24883 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/24885/task/24895/stat : 24895 (java) S 24883 24885 21597 0 -1 4202560 39 0 0 0 4 2 0 0 20 0 18 0 254310654 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140005277154088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24896] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24896/stat : 24896 (java) S 24883 24885 21597 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 254310655 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140005264742760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24897] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24897/stat : 24897 (java) S 24883 24885 21597 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 254310655 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140004659553656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24898] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24898/stat : 24898 (java) S 24883 24885 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 254310655 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140004658500488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24899] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24899/stat : 24899 (java) S 24883 24885 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254310658 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140004657449232 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24900] ppid=24883 vsize=9558412 CPUtime=0.33 cores=0,2,4,6
/proc/24885/task/24900/stat : 24900 (java) S 24883 24885 21597 0 -1 4202560 4962 0 0 0 32 1 0 0 20 0 18 0 254310658 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140004656397112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24901] ppid=24883 vsize=9558412 CPUtime=0.38 cores=0,2,4,6
/proc/24885/task/24901/stat : 24901 (java) S 24883 24885 21597 0 -1 4202560 3854 0 0 0 38 0 0 0 20 0 18 0 254310658 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140004655344568 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24902] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24902/stat : 24902 (java) S 24883 24885 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254310658 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140004654291704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24903] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24903/stat : 24903 (java) S 24883 24885 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254310658 9787813888 92004 33554432000 1073741824 1073778376 140735714320064 140004653239368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 9558412
[startup+3.10063 s]
/proc/loadavg: 2.40 2.08 2.28 4/216 24907
/proc/meminfo: memFree=28218608/32873648 swapFree=7108/7108
[pid=24885] ppid=24883 vsize=9558412 CPUtime=4.44 cores=0,2,4,6
/proc/24885/stat : 24885 (java) S 24883 24885 21597 0 -1 4202496 13556 0 1 0 413 31 0 0 20 0 18 0 254310653 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140735714311200 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24885/statm: 2389603 168609 2248 9 0 2380296 0
[pid=24885/tid=24886] ppid=24883 vsize=9558412 CPUtime=2.85 cores=0,2,4,6
/proc/24885/task/24886/stat : 24886 (java) R 24883 24885 21597 0 -1 4202560 2682 0 1 0 275 10 0 0 20 0 18 0 254310653 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140005440651136 140005280758210 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24888] ppid=24883 vsize=9558412 CPUtime=0.13 cores=0,2,4,6
/proc/24885/task/24888/stat : 24888 (java) S 24883 24885 21597 0 -1 4202560 64 0 0 0 10 3 0 0 20 0 18 0 254310654 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140005402151336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24889] ppid=24883 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/24885/task/24889/stat : 24889 (java) S 24883 24885 21597 0 -1 4202560 44 0 0 0 7 3 0 0 20 0 18 0 254310654 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140005401098792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24890] ppid=24883 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/24885/task/24890/stat : 24890 (java) S 24883 24885 21597 0 -1 4202560 47 0 0 0 4 2 0 0 20 0 18 0 254310654 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140005400045736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24891] ppid=24883 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/24885/task/24891/stat : 24891 (java) S 24883 24885 21597 0 -1 4202560 42 0 0 0 5 2 0 0 20 0 18 0 254310654 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140005398993192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24892] ppid=24883 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/24885/task/24892/stat : 24892 (java) S 24883 24885 21597 0 -1 4202560 38 0 0 0 5 2 0 0 20 0 18 0 254310654 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140005280312232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24893] ppid=24883 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/24885/task/24893/stat : 24893 (java) S 24883 24885 21597 0 -1 4202560 44 0 0 0 5 1 0 0 20 0 18 0 254310654 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140005279259688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24894] ppid=24883 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/24885/task/24894/stat : 24894 (java) S 24883 24885 21597 0 -1 4202560 52 0 0 0 5 3 0 0 20 0 18 0 254310654 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140005278206632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24895] ppid=24883 vsize=9558412 CPUtime=0.13 cores=0,2,4,6
/proc/24885/task/24895/stat : 24895 (java) S 24883 24885 21597 0 -1 4202560 71 0 0 0 10 3 0 0 20 0 18 0 254310654 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140005277154088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24896] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24896/stat : 24896 (java) S 24883 24885 21597 0 -1 4202560 479 0 0 0 0 0 0 0 20 0 18 0 254310655 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140005264742760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24897] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24897/stat : 24897 (java) S 24883 24885 21597 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 254310655 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140004659553656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24898] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24898/stat : 24898 (java) S 24883 24885 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 254310655 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140004658500488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24899] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24899/stat : 24899 (java) S 24883 24885 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254310658 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140004657449232 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24900] ppid=24883 vsize=9558412 CPUtime=0.33 cores=0,2,4,6
/proc/24885/task/24900/stat : 24900 (java) S 24883 24885 21597 0 -1 4202560 4962 0 0 0 32 1 0 0 20 0 18 0 254310658 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140004656397112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24901] ppid=24883 vsize=9558412 CPUtime=0.4 cores=0,2,4,6
/proc/24885/task/24901/stat : 24901 (java) S 24883 24885 21597 0 -1 4202560 3855 0 0 0 40 0 0 0 20 0 18 0 254310658 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140004655344568 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24902] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24902/stat : 24902 (java) S 24883 24885 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254310658 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140004654291704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24903] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24903/stat : 24903 (java) S 24883 24885 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254310658 9787813888 168609 33554432000 1073741824 1073778376 140735714320064 140004653239368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 9558412
[startup+6.30076 s]
/proc/loadavg: 2.40 2.08 2.28 3/216 24907
/proc/meminfo: memFree=27322552/32873648 swapFree=7108/7108
[pid=24885] ppid=24883 vsize=9558412 CPUtime=8.25 cores=0,2,4,6
/proc/24885/stat : 24885 (java) S 24883 24885 21597 0 -1 4202496 15717 0 1 0 766 59 0 0 20 0 18 0 254310653 9787813888 386260 33554432000 1073741824 1073778376 140735714320064 140735714311200 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24885/statm: 2389603 386260 2248 9 0 2380296 0
[pid=24885/tid=24886] ppid=24883 vsize=9558412 CPUtime=5.82 cores=0,2,4,6
/proc/24885/task/24886/stat : 24886 (java) R 24883 24885 21597 0 -1 4202560 3493 0 1 0 559 23 0 0 20 0 18 0 254310653 9787813888 386260 33554432000 1073741824 1073778376 140735714320064 140005440651136 140005280767771 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24888] ppid=24883 vsize=9558412 CPUtime=0.25 cores=0,2,4,6
/proc/24885/task/24888/stat : 24888 (java) S 24883 24885 21597 0 -1 4202560 153 0 0 0 19 6 0 0 20 0 18 0 254310654 9787813888 386260 33554432000 1073741824 1073778376 140735714320064 140005402151336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24889] ppid=24883 vsize=9558412 CPUtime=0.18 cores=0,2,4,6
/proc/24885/task/24889/stat : 24889 (java) S 24883 24885 21597 0 -1 4202560 120 0 0 0 14 4 0 0 20 0 18 0 254310654 9787813888 386260 33554432000 1073741824 1073778376 140735714320064 140005401098792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24890] ppid=24883 vsize=9558412 CPUtime=0.14 cores=0,2,4,6
/proc/24885/task/24890/stat : 24890 (java) S 24883 24885 21597 0 -1 4202560 170 0 0 0 11 3 0 0 20 0 18 0 254310654 9787813888 386260 33554432000 1073741824 1073778376 140735714320064 140005400045736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24891] ppid=24883 vsize=9558412 CPUtime=0.16 cores=0,2,4,6
/proc/24885/task/24891/stat : 24891 (java) S 24883 24885 21597 0 -1 4202560 77 0 0 0 12 4 0 0 20 0 18 0 254310654 9787813888 386260 33554432000 1073741824 1073778376 140735714320064 140005398993192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24892] ppid=24883 vsize=9558412 CPUtime=0.18 cores=0,2,4,6
/proc/24885/task/24892/stat : 24892 (java) S 24883 24885 21597 0 -1 4202560 209 0 0 0 14 4 0 0 20 0 18 0 254310654 9787813888 386772 33554432000 1073741824 1073778376 140735714320064 140005280312232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24893] ppid=24883 vsize=9558412 CPUtime=0.14 cores=0,2,4,6
/proc/24885/task/24893/stat : 24893 (java) S 24883 24885 21597 0 -1 4202560 76 0 0 0 11 3 0 0 20 0 18 0 254310654 9787813888 386772 33554432000 1073741824 1073778376 140735714320064 140005279259688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24894] ppid=24883 vsize=9558412 CPUtime=0.2 cores=0,2,4,6
/proc/24885/task/24894/stat : 24894 (java) S 24883 24885 21597 0 -1 4202560 188 0 0 0 15 5 0 0 20 0 18 0 254310654 9787813888 386772 33554432000 1073741824 1073778376 140735714320064 140005278206632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24895] ppid=24883 vsize=9558412 CPUtime=0.3 cores=0,2,4,6
/proc/24885/task/24895/stat : 24895 (java) S 24883 24885 21597 0 -1 4202560 220 0 0 0 23 7 0 0 20 0 18 0 254310654 9787813888 386772 33554432000 1073741824 1073778376 140735714320064 140005277154088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24896] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24896/stat : 24896 (java) S 24883 24885 21597 0 -1 4202560 1018 0 0 0 0 0 0 0 20 0 18 0 254310655 9787813888 386772 33554432000 1073741824 1073778376 140735714320064 140005264742760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24897] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24897/stat : 24897 (java) S 24883 24885 21597 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 254310655 9787813888 386772 33554432000 1073741824 1073778376 140735714320064 140004659553656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24898] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24898/stat : 24898 (java) S 24883 24885 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 254310655 9787813888 386772 33554432000 1073741824 1073778376 140735714320064 140004658500488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24899] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24899/stat : 24899 (java) S 24883 24885 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254310658 9787813888 386772 33554432000 1073741824 1073778376 140735714320064 140004657449232 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24900] ppid=24883 vsize=9558412 CPUtime=0.33 cores=0,2,4,6
/proc/24885/task/24900/stat : 24900 (java) S 24883 24885 21597 0 -1 4202560 4962 0 0 0 32 1 0 0 20 0 18 0 254310658 9787813888 386772 33554432000 1073741824 1073778376 140735714320064 140004656397112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24901] ppid=24883 vsize=9558412 CPUtime=0.4 cores=0,2,4,6
/proc/24885/task/24901/stat : 24901 (java) S 24883 24885 21597 0 -1 4202560 3855 0 0 0 40 0 0 0 20 0 18 0 254310658 9787813888 386772 33554432000 1073741824 1073778376 140735714320064 140004655344568 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24902] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24902/stat : 24902 (java) S 24883 24885 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254310658 9787813888 386772 33554432000 1073741824 1073778376 140735714320064 140004654291704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24903] ppid=24883 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24903/stat : 24903 (java) S 24883 24885 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254310658 9787813888 386772 33554432000 1073741824 1073778376 140735714320064 140004653239368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
################
# More data... #
################
[pid=24885/tid=24909] ppid=24883 vsize=9824668 CPUtime=759.96 cores=0,2,4,6
/proc/24885/task/24909/stat : 24909 (java) R 24883 24885 21597 0 -1 4202560 416 0 0 0 75979 17 0 0 20 0 22 0 254311567 10060460032 841218 33554432000 1073741824 1073778376 140735714320064 140004651131360 140005281141620 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24910] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24910/stat : 24910 (java) S 24883 24885 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254311592 10060460032 841218 33554432000 1073741824 1073778376 140735714320064 140004650079016 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24911] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24911/stat : 24911 (java) S 24883 24885 21597 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254311593 10060460032 841218 33554432000 1073741824 1073778376 140735714320064 140004649026472 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1592.06
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.95 3.74 3.22 5/219 25090
/proc/meminfo: memFree=22786128/32873648 swapFree=7108/7108
[pid=24885] ppid=24883 vsize=9824668 CPUtime=1710.82 cores=0,2,4,6
/proc/24885/stat : 24885 (java) S 24883 24885 21597 0 -1 4202496 31684 0 1 0 170918 164 0 0 20 0 22 0 254310653 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140735714311200 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24885/statm: 2456167 844842 2283 9 0 2446860 0
[pid=24885/tid=24886] ppid=24883 vsize=9824668 CPUtime=8.48 cores=0,2,4,6
/proc/24885/task/24886/stat : 24886 (java) S 24883 24885 21597 0 -1 4202560 3877 0 1 0 814 34 0 0 20 0 22 0 254310653 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140005440660472 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24888] ppid=24883 vsize=9824668 CPUtime=1.35 cores=0,2,4,6
/proc/24885/task/24888/stat : 24888 (java) S 24883 24885 21597 0 -1 4202560 478 0 0 0 123 12 0 0 20 0 22 0 254310654 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140005402151336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24889] ppid=24883 vsize=9824668 CPUtime=1.3 cores=0,2,4,6
/proc/24885/task/24889/stat : 24889 (java) S 24883 24885 21597 0 -1 4202560 438 0 0 0 118 12 0 0 20 0 22 0 254310654 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140005401098792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24890] ppid=24883 vsize=9824668 CPUtime=1.13 cores=0,2,4,6
/proc/24885/task/24890/stat : 24890 (java) S 24883 24885 21597 0 -1 4202560 731 0 0 0 106 7 0 0 20 0 22 0 254310654 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140005400045736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24891] ppid=24883 vsize=9824668 CPUtime=1.23 cores=0,2,4,6
/proc/24885/task/24891/stat : 24891 (java) S 24883 24885 21597 0 -1 4202560 407 0 0 0 112 11 0 0 20 0 22 0 254310654 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140005398993192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24892] ppid=24883 vsize=9824668 CPUtime=1.36 cores=0,2,4,6
/proc/24885/task/24892/stat : 24892 (java) S 24883 24885 21597 0 -1 4202560 434 0 0 0 124 12 0 0 20 0 22 0 254310654 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140005280312232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24893] ppid=24883 vsize=9824668 CPUtime=1.21 cores=0,2,4,6
/proc/24885/task/24893/stat : 24893 (java) S 24883 24885 21597 0 -1 4202560 285 0 0 0 110 11 0 0 20 0 22 0 254310654 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140005279259688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24894] ppid=24883 vsize=9824668 CPUtime=1.5 cores=0,2,4,6
/proc/24885/task/24894/stat : 24894 (java) S 24883 24885 21597 0 -1 4202560 452 0 0 0 136 14 0 0 20 0 22 0 254310654 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140005278206632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24895] ppid=24883 vsize=9824668 CPUtime=1.56 cores=0,2,4,6
/proc/24885/task/24895/stat : 24895 (java) S 24883 24885 21597 0 -1 4202560 495 0 0 0 139 17 0 0 20 0 22 0 254310654 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140005277154088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24896] ppid=24883 vsize=9824668 CPUtime=52.2 cores=0,2,4,6
/proc/24885/task/24896/stat : 24896 (java) S 24883 24885 21597 0 -1 4202560 3980 0 0 0 5206 14 0 0 20 0 22 0 254310655 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140005264742760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24897] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24897/stat : 24897 (java) S 24883 24885 21597 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254310655 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140004659553656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24898] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24898/stat : 24898 (java) S 24883 24885 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254310655 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140004658500488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24899] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24899/stat : 24899 (java) S 24883 24885 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254310658 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140004657449232 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24900] ppid=24883 vsize=9824668 CPUtime=1.24 cores=0,2,4,6
/proc/24885/task/24900/stat : 24900 (java) S 24883 24885 21597 0 -1 4202560 10113 0 0 0 122 2 0 0 20 0 22 0 254310658 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140004656397112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24901] ppid=24883 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/24885/task/24901/stat : 24901 (java) S 24883 24885 21597 0 -1 4202560 8284 0 0 0 112 2 0 0 20 0 22 0 254310658 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140004655344568 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24902] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24902/stat : 24902 (java) S 24883 24885 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254310658 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140004654291704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24903] ppid=24883 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/24885/task/24903/stat : 24903 (java) S 24883 24885 21597 0 -1 4202560 51 0 0 0 14 18 0 0 20 0 22 0 254310658 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140004653239368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24908] ppid=24883 vsize=9824668 CPUtime=818.56 cores=0,2,4,6
/proc/24885/task/24908/stat : 24908 (java) R 24883 24885 21597 0 -1 4202560 48 0 0 0 81841 15 0 0 20 0 22 0 254311567 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140004652182960 140005280585648 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24909] ppid=24883 vsize=9824668 CPUtime=818.49 cores=0,2,4,6
/proc/24885/task/24909/stat : 24909 (java) R 24883 24885 21597 0 -1 4202560 416 0 0 0 81831 18 0 0 20 0 22 0 254311567 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140004651129600 140005281055102 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24910] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24910/stat : 24910 (java) S 24883 24885 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254311592 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140004650079016 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24911] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24911/stat : 24911 (java) S 24883 24885 21597 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254311593 10060460032 844842 33554432000 1073741824 1073778376 140735714320064 140004649026472 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1710.82
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+927.801 s]
/proc/loadavg: 3.97 3.78 3.26 5/218 25096
/proc/meminfo: memFree=22760020/32873648 swapFree=7108/7108
[pid=24885] ppid=24883 vsize=9824668 CPUtime=1800.2 cores=0,2,4,6
/proc/24885/stat : 24885 (java) S 24883 24885 21597 0 -1 4202496 31716 0 1 0 179855 165 0 0 20 0 22 0 254310653 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140735714311200 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24885/statm: 2456167 851461 2283 9 0 2446860 0
[pid=24885/tid=24886] ppid=24883 vsize=9824668 CPUtime=8.48 cores=0,2,4,6
/proc/24885/task/24886/stat : 24886 (java) S 24883 24885 21597 0 -1 4202560 3878 0 1 0 814 34 0 0 20 0 22 0 254310653 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005440660472 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24888] ppid=24883 vsize=9824668 CPUtime=1.4 cores=0,2,4,6
/proc/24885/task/24888/stat : 24888 (java) S 24883 24885 21597 0 -1 4202560 478 0 0 0 128 12 0 0 20 0 22 0 254310654 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005402151336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24889] ppid=24883 vsize=9824668 CPUtime=1.37 cores=0,2,4,6
/proc/24885/task/24889/stat : 24889 (java) S 24883 24885 21597 0 -1 4202560 438 0 0 0 125 12 0 0 20 0 22 0 254310654 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005401098792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24890] ppid=24883 vsize=9824668 CPUtime=1.16 cores=0,2,4,6
/proc/24885/task/24890/stat : 24890 (java) S 24883 24885 21597 0 -1 4202560 731 0 0 0 109 7 0 0 20 0 22 0 254310654 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005400045736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24891] ppid=24883 vsize=9824668 CPUtime=1.27 cores=0,2,4,6
/proc/24885/task/24891/stat : 24891 (java) S 24883 24885 21597 0 -1 4202560 418 0 0 0 116 11 0 0 20 0 22 0 254310654 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005398993192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24892] ppid=24883 vsize=9824668 CPUtime=1.4 cores=0,2,4,6
/proc/24885/task/24892/stat : 24892 (java) S 24883 24885 21597 0 -1 4202560 434 0 0 0 128 12 0 0 20 0 22 0 254310654 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005280312232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24893] ppid=24883 vsize=9824668 CPUtime=1.26 cores=0,2,4,6
/proc/24885/task/24893/stat : 24893 (java) S 24883 24885 21597 0 -1 4202560 285 0 0 0 115 11 0 0 20 0 22 0 254310654 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005279259688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24894] ppid=24883 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/24885/task/24894/stat : 24894 (java) S 24883 24885 21597 0 -1 4202560 452 0 0 0 141 14 0 0 20 0 22 0 254310654 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005278206632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24895] ppid=24883 vsize=9824668 CPUtime=1.61 cores=0,2,4,6
/proc/24885/task/24895/stat : 24895 (java) S 24883 24885 21597 0 -1 4202560 495 0 0 0 143 18 0 0 20 0 22 0 254310654 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005277154088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24896] ppid=24883 vsize=9824668 CPUtime=53.98 cores=0,2,4,6
/proc/24885/task/24896/stat : 24896 (java) S 24883 24885 21597 0 -1 4202560 3995 0 0 0 5384 14 0 0 20 0 22 0 254310655 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005264742760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24897] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24897/stat : 24897 (java) S 24883 24885 21597 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254310655 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004659553656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24898] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24898/stat : 24898 (java) S 24883 24885 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254310655 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004658500488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24899] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24899/stat : 24899 (java) S 24883 24885 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254310658 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004657449232 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24900] ppid=24883 vsize=9824668 CPUtime=1.24 cores=0,2,4,6
/proc/24885/task/24900/stat : 24900 (java) S 24883 24885 21597 0 -1 4202560 10113 0 0 0 122 2 0 0 20 0 22 0 254310658 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004656397112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24901] ppid=24883 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/24885/task/24901/stat : 24901 (java) S 24883 24885 21597 0 -1 4202560 8284 0 0 0 112 2 0 0 20 0 22 0 254310658 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004655344568 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24902] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24902/stat : 24902 (java) S 24883 24885 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254310658 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004654291704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24903] ppid=24883 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/24885/task/24903/stat : 24903 (java) S 24883 24885 21597 0 -1 4202560 53 0 0 0 15 18 0 0 20 0 22 0 254310658 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004653239368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24908] ppid=24883 vsize=9824668 CPUtime=862.17 cores=0,2,4,6
/proc/24885/task/24908/stat : 24908 (java) R 24883 24885 21597 0 -1 4202560 51 0 0 0 86201 16 0 0 20 0 22 0 254311567 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004652182048 140005281153160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24909] ppid=24883 vsize=9824668 CPUtime=862.1 cores=0,2,4,6
/proc/24885/task/24909/stat : 24909 (java) R 24883 24885 21597 0 -1 4202560 416 0 0 0 86191 19 0 0 20 0 22 0 254311567 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004651131360 140005281153354 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24910] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24910/stat : 24910 (java) S 24883 24885 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254311592 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004650079016 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24911] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24911/stat : 24911 (java) S 24883 24885 21597 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254311593 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004649026472 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+927.801 s]
/proc/loadavg: 3.97 3.78 3.26 5/218 25096
/proc/meminfo: memFree=22760020/32873648 swapFree=7108/7108
[pid=24885] ppid=24883 vsize=9824668 CPUtime=1800.2 cores=0,2,4,6
/proc/24885/stat : 24885 (java) S 24883 24885 21597 0 -1 4202496 31716 0 1 0 179855 165 0 0 20 0 22 0 254310653 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140735714311200 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24885/statm: 2456167 851461 2283 9 0 2446860 0
[pid=24885/tid=24886] ppid=24883 vsize=9824668 CPUtime=8.48 cores=0,2,4,6
/proc/24885/task/24886/stat : 24886 (java) S 24883 24885 21597 0 -1 4202560 3878 0 1 0 814 34 0 0 20 0 22 0 254310653 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005440660472 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24888] ppid=24883 vsize=9824668 CPUtime=1.4 cores=0,2,4,6
/proc/24885/task/24888/stat : 24888 (java) S 24883 24885 21597 0 -1 4202560 478 0 0 0 128 12 0 0 20 0 22 0 254310654 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005402151336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24889] ppid=24883 vsize=9824668 CPUtime=1.37 cores=0,2,4,6
/proc/24885/task/24889/stat : 24889 (java) S 24883 24885 21597 0 -1 4202560 438 0 0 0 125 12 0 0 20 0 22 0 254310654 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005401098792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24890] ppid=24883 vsize=9824668 CPUtime=1.16 cores=0,2,4,6
/proc/24885/task/24890/stat : 24890 (java) S 24883 24885 21597 0 -1 4202560 731 0 0 0 109 7 0 0 20 0 22 0 254310654 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005400045736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24891] ppid=24883 vsize=9824668 CPUtime=1.27 cores=0,2,4,6
/proc/24885/task/24891/stat : 24891 (java) S 24883 24885 21597 0 -1 4202560 418 0 0 0 116 11 0 0 20 0 22 0 254310654 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005398993192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24892] ppid=24883 vsize=9824668 CPUtime=1.4 cores=0,2,4,6
/proc/24885/task/24892/stat : 24892 (java) S 24883 24885 21597 0 -1 4202560 434 0 0 0 128 12 0 0 20 0 22 0 254310654 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005280312232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24893] ppid=24883 vsize=9824668 CPUtime=1.26 cores=0,2,4,6
/proc/24885/task/24893/stat : 24893 (java) S 24883 24885 21597 0 -1 4202560 285 0 0 0 115 11 0 0 20 0 22 0 254310654 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005279259688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24894] ppid=24883 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/24885/task/24894/stat : 24894 (java) S 24883 24885 21597 0 -1 4202560 452 0 0 0 141 14 0 0 20 0 22 0 254310654 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005278206632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24895] ppid=24883 vsize=9824668 CPUtime=1.61 cores=0,2,4,6
/proc/24885/task/24895/stat : 24895 (java) S 24883 24885 21597 0 -1 4202560 495 0 0 0 143 18 0 0 20 0 22 0 254310654 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005277154088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24896] ppid=24883 vsize=9824668 CPUtime=53.98 cores=0,2,4,6
/proc/24885/task/24896/stat : 24896 (java) S 24883 24885 21597 0 -1 4202560 3995 0 0 0 5384 14 0 0 20 0 22 0 254310655 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140005264742760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24897] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24897/stat : 24897 (java) S 24883 24885 21597 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254310655 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004659553656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24898] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24898/stat : 24898 (java) S 24883 24885 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254310655 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004658500488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24899] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24899/stat : 24899 (java) S 24883 24885 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254310658 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004657449232 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24900] ppid=24883 vsize=9824668 CPUtime=1.24 cores=0,2,4,6
/proc/24885/task/24900/stat : 24900 (java) S 24883 24885 21597 0 -1 4202560 10113 0 0 0 122 2 0 0 20 0 22 0 254310658 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004656397112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24901] ppid=24883 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/24885/task/24901/stat : 24901 (java) S 24883 24885 21597 0 -1 4202560 8284 0 0 0 112 2 0 0 20 0 22 0 254310658 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004655344568 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24885/tid=24902] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24902/stat : 24902 (java) S 24883 24885 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254310658 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004654291704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24885/tid=24903] ppid=24883 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/24885/task/24903/stat : 24903 (java) S 24883 24885 21597 0 -1 4202560 53 0 0 0 15 18 0 0 20 0 22 0 254310658 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004653239368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24908] ppid=24883 vsize=9824668 CPUtime=862.17 cores=0,2,4,6
/proc/24885/task/24908/stat : 24908 (java) R 24883 24885 21597 0 -1 4202560 51 0 0 0 86201 16 0 0 20 0 22 0 254311567 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004652182048 140005281153160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24909] ppid=24883 vsize=9824668 CPUtime=862.1 cores=0,2,4,6
/proc/24885/task/24909/stat : 24909 (java) R 24883 24885 21597 0 -1 4202560 416 0 0 0 86191 19 0 0 20 0 22 0 254311567 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004651131360 140005281153354 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24885/tid=24910] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24910/stat : 24910 (java) S 24883 24885 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254311592 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004650079016 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24885/tid=24911] ppid=24883 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24885/task/24911/stat : 24911 (java) S 24883 24885 21597 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254311593 10060460032 851461 33554432000 1073741824 1073778376 140735714320064 140004649026472 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 9824668
Child status: 143
Real time (s): 927.853
CPU time (s): 1800.87
CPU user time (s): 1798.68
CPU system time (s): 2.19167
CPU usage (%): 194.09
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.68
system time used= 2.19167
maximum resident set size= 3405964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31748
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25082
involuntary context switches= 31881
runsolver used 3.05054 second user time and 8.89565 second system time
The end