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-4117062-1466960256/watcher-4117062-1466960256 -o /tmp/evaluation-result-4117062-1466960256/solver-4117062-1466960256 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18143 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4117062-1466960256.opb
pid=20930
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.19 4.17 4.20 4/197 20933
/proc/meminfo: memFree=27172360/32872528 swapFree=1437460/1543748
[pid=20933] ppid=20930 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/20933/stat : 20933 (java) D 20930 20933 18126 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 29064911 9515008 185 33554432000 1073741824 1073778376 140733350421968 140733350413192 266435456439 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/20933/statm: 2323 185 142 9 0 71 0
[startup+0.10006 s]
/proc/loadavg: 4.19 4.17 4.20 4/197 20933
/proc/meminfo: memFree=27172360/32872528 swapFree=1437460/1543748
[pid=20933] ppid=20930 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 18126 0 -1 4202496 4409 0 1 0 8 1 0 0 20 0 18 0 29064911 9787879424 6042 33554432000 1073741824 1073778376 140735381773264 140735381764400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20933/statm: 2389619 6042 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200217 s]
/proc/loadavg: 4.19 4.17 4.20 4/197 20933
/proc/meminfo: memFree=27172360/32872528 swapFree=1437460/1543748
[pid=20933] ppid=20930 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 18126 0 -1 4202496 4683 0 1 0 23 1 0 0 20 0 18 0 29064911 9787879424 6779 33554432000 1073741824 1073778376 140735381773264 140735381764400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20933/statm: 2389619 6779 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300228 s]
/proc/loadavg: 4.19 4.17 4.20 4/197 20933
/proc/meminfo: memFree=27172360/32872528 swapFree=1437460/1543748
[pid=20933] ppid=20930 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 18126 0 -1 4202496 5785 0 1 0 46 1 0 0 20 0 18 0 29064911 9787879424 8342 33554432000 1073741824 1073778376 140735381773264 140735381764400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20933/statm: 2389619 8342 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700195 s]
/proc/loadavg: 4.19 4.17 4.20 4/197 20933
/proc/meminfo: memFree=27172360/32872528 swapFree=1437460/1543748
[pid=20933] ppid=20930 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 18126 0 -1 4202496 15038 0 1 0 177 4 0 0 20 0 22 0 29064911 10060525568 23451 33554432000 1073741824 1073778376 140735381773264 140735381764400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20933/statm: 2456183 23451 2265 9 0 2446860 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 9824732
[startup+1.50085 s]
/proc/loadavg: 4.19 4.17 4.20 7/219 20955
/proc/meminfo: memFree=27039632/32872528 swapFree=1437460/1543748
[pid=20933] ppid=20930 vsize=9824732 CPUtime=4.97 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 18126 0 -1 4202496 25283 0 1 0 488 9 0 0 20 0 22 0 29064911 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140735381764400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20933/statm: 2456183 47216 2292 9 0 2446860 0
[pid=20933/tid=20935] ppid=20930 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/20933/task/20935/stat : 20935 (java) S 20930 20933 18126 0 -1 4202560 2434 0 1 0 44 2 0 0 20 0 22 0 29064912 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140701833687928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20936] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20936/stat : 20936 (java) S 20930 20933 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29064913 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140701795178920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20937] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20937/stat : 20937 (java) S 20930 20933 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29064913 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140701794126376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20938] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20938/stat : 20938 (java) S 20930 20933 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29064913 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140701793073320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20939] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20939/stat : 20939 (java) S 20930 20933 18126 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 29064913 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140701792020776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20940] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20940/stat : 20940 (java) S 20930 20933 18126 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 29064913 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140701790968744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20941] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20941/stat : 20941 (java) S 20930 20933 18126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29064913 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140701789916200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20942] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20942/stat : 20942 (java) S 20930 20933 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29064913 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140701788863144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20943] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20943/stat : 20943 (java) S 20930 20933 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29064913 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140701787810600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20944] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20944/stat : 20944 (java) S 20930 20933 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29064914 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140701657635176 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20945] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20945/stat : 20945 (java) S 20930 20933 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29064915 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140701656581496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20946] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20946/stat : 20946 (java) S 20930 20933 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29064915 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140701655528328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20947] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20947/stat : 20947 (java) S 20930 20933 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29064917 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140701654477072 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20948] ppid=20930 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/20933/task/20948/stat : 20948 (java) S 20930 20933 18126 0 -1 4202560 11768 0 0 0 121 2 0 0 20 0 22 0 29064917 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140701653424952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20949] ppid=20930 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/20933/task/20949/stat : 20949 (java) R 20930 20933 18126 0 -1 4202560 9669 0 0 0 121 2 0 0 20 0 22 0 29064917 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140700779788688 140701839647848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20950] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20950/stat : 20950 (java) S 20930 20933 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29064917 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140700778748664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20951] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20951/stat : 20951 (java) S 20930 20933 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29064917 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140700777696328 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20952] ppid=20930 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/20933/task/20952/stat : 20952 (java) R 20930 20933 18126 0 -1 4202560 17 0 0 0 97 0 0 0 20 0 22 0 29064961 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140700776267680 140701669999446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20953] ppid=20930 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/20933/task/20953/stat : 20953 (java) R 20930 20933 18126 0 -1 4202560 74 0 0 0 96 0 0 0 20 0 22 0 29064961 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140700775222856 140701669743674 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20954] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20954/stat : 20954 (java) S 20930 20933 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29064962 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140700774171432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20955] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20955/stat : 20955 (java) S 20930 20933 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29064962 10060525568 47216 33554432000 1073741824 1073778376 140735381773264 140700773118888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.97
Current children cumulated vsize (KiB) 9824732
[startup+3.10095 s]
/proc/loadavg: 4.19 4.17 4.20 5/219 20955
/proc/meminfo: memFree=26966592/32872528 swapFree=1437460/1543748
[pid=20933] ppid=20930 vsize=9824732 CPUtime=8.86 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 18126 0 -1 4202496 29370 0 1 0 867 19 0 0 20 0 22 0 29064911 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140735381764400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20933/statm: 2456183 87874 2292 9 0 2446860 0
[pid=20933/tid=20935] ppid=20930 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/20933/task/20935/stat : 20935 (java) S 20930 20933 18126 0 -1 4202560 2434 0 1 0 44 2 0 0 20 0 22 0 29064912 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140701833687928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20936] ppid=20930 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/20933/task/20936/stat : 20936 (java) S 20930 20933 18126 0 -1 4202560 27 0 0 0 3 2 0 0 20 0 22 0 29064913 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140701795178920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20937] ppid=20930 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/20933/task/20937/stat : 20937 (java) S 20930 20933 18126 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 29064913 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140701794126376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20938] ppid=20930 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/20933/task/20938/stat : 20938 (java) S 20930 20933 18126 0 -1 4202560 20 0 0 0 3 1 0 0 20 0 22 0 29064913 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140701793073320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20939] ppid=20930 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/20933/task/20939/stat : 20939 (java) S 20930 20933 18126 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 22 0 29064913 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140701792020776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20940] ppid=20930 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/20933/task/20940/stat : 20940 (java) S 20930 20933 18126 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 22 0 29064913 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140701790968744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20941] ppid=20930 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/20933/task/20941/stat : 20941 (java) S 20930 20933 18126 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 22 0 29064913 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140701789916200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20942] ppid=20930 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/20933/task/20942/stat : 20942 (java) S 20930 20933 18126 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 22 0 29064913 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140701788863144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20943] ppid=20930 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/20933/task/20943/stat : 20943 (java) S 20930 20933 18126 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 29064913 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140701787810600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20944] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20944/stat : 20944 (java) S 20930 20933 18126 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 29064914 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140701657635176 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20945] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20945/stat : 20945 (java) S 20930 20933 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29064915 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140701656581496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20946] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20946/stat : 20946 (java) S 20930 20933 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29064915 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140701655528328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20947] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20947/stat : 20947 (java) S 20930 20933 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29064917 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140701654477072 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20948] ppid=20930 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/20933/task/20948/stat : 20948 (java) S 20930 20933 18126 0 -1 4202560 12867 0 0 0 135 3 0 0 20 0 22 0 29064917 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140701653424952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20949] ppid=20930 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/20933/task/20949/stat : 20949 (java) S 20930 20933 18126 0 -1 4202560 12298 0 0 0 160 3 0 0 20 0 22 0 29064917 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140700779801528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20950] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20950/stat : 20950 (java) S 20930 20933 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29064917 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140700778748664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20951] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20951/stat : 20951 (java) S 20930 20933 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29064917 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140700777696328 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20952] ppid=20930 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/20933/task/20952/stat : 20952 (java) R 20930 20933 18126 0 -1 4202560 18 0 0 0 247 0 0 0 20 0 22 0 29064961 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140700776274712 140701669690438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20953] ppid=20930 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/20933/task/20953/stat : 20953 (java) R 20930 20933 18126 0 -1 4202560 126 0 0 0 242 2 0 0 20 0 22 0 29064961 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140700775222816 140701669893601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20954] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20954/stat : 20954 (java) S 20930 20933 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29064962 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140700774171432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20955] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20955/stat : 20955 (java) S 20930 20933 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29064962 10060525568 87874 33554432000 1073741824 1073778376 140735381773264 140700773118888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.86
Current children cumulated vsize (KiB) 9824732
[startup+6.30091 s]
/proc/loadavg: 4.25 4.19 4.21 5/219 20955
/proc/meminfo: memFree=26552588/32872528 swapFree=1437460/1543748
[pid=20933] ppid=20930 vsize=9824732 CPUtime=15.45 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 18126 0 -1 4202496 30237 0 1 0 1519 26 0 0 20 0 22 0 29064911 10060525568 156265 33554432000 1073741824 1073778376 140735381773264 140735381764400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20933/statm: 2456183 156265 2292 9 0 2446860 0
[pid=20933/tid=20935] ppid=20930 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/20933/task/20935/stat : 20935 (java) S 20930 20933 18126 0 -1 4202560 2434 0 1 0 44 2 0 0 20 0 22 0 29064912 10060525568 156265 33554432000 1073741824 1073778376 140735381773264 140701833687928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20936] ppid=20930 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/20933/task/20936/stat : 20936 (java) S 20930 20933 18126 0 -1 4202560 152 0 0 0 6 3 0 0 20 0 22 0 29064913 10060525568 156265 33554432000 1073741824 1073778376 140735381773264 140701795178920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20937] ppid=20930 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/20933/task/20937/stat : 20937 (java) S 20930 20933 18126 0 -1 4202560 28 0 0 0 4 1 0 0 20 0 22 0 29064913 10060525568 156265 33554432000 1073741824 1073778376 140735381773264 140701794126376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20938] ppid=20930 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/20933/task/20938/stat : 20938 (java) S 20930 20933 18126 0 -1 4202560 122 0 0 0 7 2 0 0 20 0 22 0 29064913 10060525568 156265 33554432000 1073741824 1073778376 140735381773264 140701793073320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20939] ppid=20930 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/20933/task/20939/stat : 20939 (java) S 20930 20933 18126 0 -1 4202560 38 0 0 0 5 2 0 0 20 0 22 0 29064913 10060525568 156265 33554432000 1073741824 1073778376 140735381773264 140701792020776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20940] ppid=20930 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/20933/task/20940/stat : 20940 (java) S 20930 20933 18126 0 -1 4202560 146 0 0 0 8 2 0 0 20 0 22 0 29064913 10060525568 156265 33554432000 1073741824 1073778376 140735381773264 140701790968744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20941] ppid=20930 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/20933/task/20941/stat : 20941 (java) S 20930 20933 18126 0 -1 4202560 118 0 0 0 3 2 0 0 20 0 22 0 29064913 10060525568 156265 33554432000 1073741824 1073778376 140735381773264 140701789916200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20942] ppid=20930 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/20933/task/20942/stat : 20942 (java) S 20930 20933 18126 0 -1 4202560 25 0 0 0 5 0 0 0 20 0 22 0 29064913 10060525568 156265 33554432000 1073741824 1073778376 140735381773264 140701788863144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20943] ppid=20930 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/20933/task/20943/stat : 20943 (java) S 20930 20933 18126 0 -1 4202560 36 0 0 0 6 2 0 0 20 0 22 0 29064913 10060525568 156265 33554432000 1073741824 1073778376 140735381773264 140701787810600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20944] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20944/stat : 20944 (java) S 20930 20933 18126 0 -1 4202560 452 0 0 0 0 0 0 0 20 0 22 0 29064914 10060525568 156265 33554432000 1073741824 1073778376 140735381773264 140701657635176 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20945] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20945/stat : 20945 (java) S 20930 20933 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29064915 10060525568 156265 33554432000 1073741824 1073778376 140735381773264 140701656581496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20946] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20946/stat : 20946 (java) S 20930 20933 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29064915 10060525568 156265 33554432000 1073741824 1073778376 140735381773264 140701655528328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20947] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20947/stat : 20947 (java) S 20930 20933 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29064917 10060525568 156265 33554432000 1073741824 1073778376 140735381773264 140701654477072 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20948] ppid=20930 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.57 4.29 4.25 6/219 21068
/proc/meminfo: memFree=23669636/32872528 swapFree=1437460/1543748
[pid=20933] ppid=20930 vsize=9824732 CPUtime=1653.01 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 18126 0 -1 4202496 40263 0 1 0 165101 200 0 0 20 0 22 0 29064911 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140735381764400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20933/statm: 2456183 915051 2301 9 0 2446860 0
[pid=20933/tid=20935] ppid=20930 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/20933/task/20935/stat : 20935 (java) S 20930 20933 18126 0 -1 4202560 2441 0 1 0 46 4 0 0 20 0 22 0 29064912 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140701833687928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20936] ppid=20930 vsize=9824732 CPUtime=2.38 cores=1,3,5,7
/proc/20933/task/20936/stat : 20936 (java) S 20930 20933 18126 0 -1 4202560 789 0 0 0 223 15 0 0 20 0 22 0 29064913 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140701795178920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20937] ppid=20930 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/20933/task/20937/stat : 20937 (java) S 20930 20933 18126 0 -1 4202560 731 0 0 0 216 17 0 0 20 0 22 0 29064913 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140701794126376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20938] ppid=20930 vsize=9824732 CPUtime=2.56 cores=1,3,5,7
/proc/20933/task/20938/stat : 20938 (java) S 20930 20933 18126 0 -1 4202560 951 0 0 0 239 17 0 0 20 0 22 0 29064913 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140701793073320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20939] ppid=20930 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/20933/task/20939/stat : 20939 (java) S 20930 20933 18126 0 -1 4202560 742 0 0 0 217 18 0 0 20 0 22 0 29064913 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140701792020776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20940] ppid=20930 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/20933/task/20940/stat : 20940 (java) S 20930 20933 18126 0 -1 4202560 615 0 0 0 197 16 0 0 20 0 22 0 29064913 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140701790968744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20941] ppid=20930 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/20933/task/20941/stat : 20941 (java) S 20930 20933 18126 0 -1 4202560 835 0 0 0 201 14 0 0 20 0 22 0 29064913 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140701789916200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20942] ppid=20930 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/20933/task/20942/stat : 20942 (java) S 20930 20933 18126 0 -1 4202560 737 0 0 0 217 19 0 0 20 0 22 0 29064913 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140701788863144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20943] ppid=20930 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/20933/task/20943/stat : 20943 (java) S 20930 20933 18126 0 -1 4202560 509 0 0 0 204 12 0 0 20 0 22 0 29064913 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140701787810600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20944] ppid=20930 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/20933/task/20944/stat : 20944 (java) S 20930 20933 18126 0 -1 4202560 2311 0 0 0 297 7 0 0 20 0 22 0 29064914 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140701657635176 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20945] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20945/stat : 20945 (java) S 20930 20933 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29064915 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140701656581496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20946] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20946/stat : 20946 (java) S 20930 20933 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29064915 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140701655528328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20947] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20947/stat : 20947 (java) S 20930 20933 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29064917 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140701654477072 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20948] ppid=20930 vsize=9824732 CPUtime=1.43 cores=1,3,5,7
/proc/20933/task/20948/stat : 20948 (java) S 20930 20933 18126 0 -1 4202560 12867 0 0 0 140 3 0 0 20 0 22 0 29064917 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140701653424952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20949] ppid=20930 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/20933/task/20949/stat : 20949 (java) S 20930 20933 18126 0 -1 4202560 13339 0 0 0 227 3 0 0 20 0 22 0 29064917 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140700779801528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20950] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20950/stat : 20950 (java) S 20930 20933 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29064917 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140700778748664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20951] ppid=20930 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/20933/task/20951/stat : 20951 (java) S 20930 20933 18126 0 -1 4202560 49 0 0 0 9 24 0 0 20 0 22 0 29064917 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140700777696328 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20952] ppid=20930 vsize=9824732 CPUtime=813.6 cores=1,3,5,7
/proc/20933/task/20952/stat : 20952 (java) R 20930 20933 18126 0 -1 4202560 78 0 0 0 81344 16 0 0 20 0 22 0 29064961 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140700776275392 140701669725192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20953] ppid=20930 vsize=9824732 CPUtime=813.6 cores=1,3,5,7
/proc/20933/task/20953/stat : 20953 (java) R 20930 20933 18126 0 -1 4202560 2002 0 0 0 81310 50 0 0 20 0 22 0 29064961 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140700775224136 140701669749811 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20954] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20954/stat : 20954 (java) S 20930 20933 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29064962 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140700774171432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20955] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20955/stat : 20955 (java) S 20930 20933 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29064962 10060525568 915051 33554432000 1073741824 1073778376 140735381773264 140700773118888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1653.01
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.32 4.27 4.24 6/219 21069
/proc/meminfo: memFree=23417836/32872528 swapFree=1437460/1543748
[pid=20933] ppid=20930 vsize=9824732 CPUtime=1771.41 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 18126 0 -1 4202496 40654 0 1 0 176931 210 0 0 20 0 22 0 29064911 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140735381764400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20933/statm: 2456183 932195 2301 9 0 2446860 0
[pid=20933/tid=20935] ppid=20930 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/20933/task/20935/stat : 20935 (java) S 20930 20933 18126 0 -1 4202560 2442 0 1 0 46 4 0 0 20 0 22 0 29064912 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140701833687928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20936] ppid=20930 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/20933/task/20936/stat : 20936 (java) S 20930 20933 18126 0 -1 4202560 809 0 0 0 244 16 0 0 20 0 22 0 29064913 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140701795178920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20937] ppid=20930 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/20933/task/20937/stat : 20937 (java) S 20930 20933 18126 0 -1 4202560 741 0 0 0 234 17 0 0 20 0 22 0 29064913 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140701794126376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20938] ppid=20930 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/20933/task/20938/stat : 20938 (java) S 20930 20933 18126 0 -1 4202560 965 0 0 0 256 17 0 0 20 0 22 0 29064913 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140701793073320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20939] ppid=20930 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/20933/task/20939/stat : 20939 (java) S 20930 20933 18126 0 -1 4202560 755 0 0 0 234 18 0 0 20 0 22 0 29064913 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140701792020776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20940] ppid=20930 vsize=9824732 CPUtime=2.29 cores=1,3,5,7
/proc/20933/task/20940/stat : 20940 (java) S 20930 20933 18126 0 -1 4202560 627 0 0 0 213 16 0 0 20 0 22 0 29064913 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140701790968744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20941] ppid=20930 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/20933/task/20941/stat : 20941 (java) S 20930 20933 18126 0 -1 4202560 847 0 0 0 216 15 0 0 20 0 22 0 29064913 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140701789916200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20942] ppid=20930 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/20933/task/20942/stat : 20942 (java) S 20930 20933 18126 0 -1 4202560 764 0 0 0 241 20 0 0 20 0 22 0 29064913 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140701788863144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20943] ppid=20930 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/20933/task/20943/stat : 20943 (java) S 20930 20933 18126 0 -1 4202560 524 0 0 0 218 13 0 0 20 0 22 0 29064913 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140701787810600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20944] ppid=20930 vsize=9824732 CPUtime=5.31 cores=1,3,5,7
/proc/20933/task/20944/stat : 20944 (java) S 20930 20933 18126 0 -1 4202560 2569 0 0 0 523 8 0 0 20 0 22 0 29064914 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140701657635176 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20945] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20945/stat : 20945 (java) S 20930 20933 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29064915 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140701656581496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20946] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20946/stat : 20946 (java) S 20930 20933 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29064915 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140701655528328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20947] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20947/stat : 20947 (java) S 20930 20933 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29064917 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140701654477072 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20948] ppid=20930 vsize=9824732 CPUtime=1.43 cores=1,3,5,7
/proc/20933/task/20948/stat : 20948 (java) S 20930 20933 18126 0 -1 4202560 12868 0 0 0 140 3 0 0 20 0 22 0 29064917 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140701653424952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20949] ppid=20930 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/20933/task/20949/stat : 20949 (java) S 20930 20933 18126 0 -1 4202560 13339 0 0 0 227 3 0 0 20 0 22 0 29064917 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140700779801528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20950] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20950/stat : 20950 (java) S 20930 20933 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29064917 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140700778748664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20951] ppid=20930 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/20933/task/20951/stat : 20951 (java) S 20930 20933 18126 0 -1 4202560 51 0 0 0 10 25 0 0 20 0 22 0 29064917 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140700777696328 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20952] ppid=20930 vsize=9824732 CPUtime=870.93 cores=1,3,5,7
/proc/20933/task/20952/stat : 20952 (java) R 20930 20933 18126 0 -1 4202560 81 0 0 0 87075 18 0 0 20 0 22 0 29064961 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140700776275392 140701669725192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20953] ppid=20930 vsize=9824732 CPUtime=870.93 cores=1,3,5,7
/proc/20933/task/20953/stat : 20953 (java) R 20930 20933 18126 0 -1 4202560 2005 0 0 0 87042 51 0 0 20 0 22 0 29064961 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140700775221952 140701669806247 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20954] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20954/stat : 20954 (java) S 20930 20933 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29064962 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140700774171432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20955] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20955/stat : 20955 (java) S 20930 20933 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29064962 10060525568 932195 33554432000 1073741824 1073778376 140735381773264 140700773118888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1771.41
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+896.608 s]
/proc/loadavg: 4.25 4.25 4.24 5/219 21070
/proc/meminfo: memFree=23403752/32872528 swapFree=1437460/1543748
[pid=20933] ppid=20930 vsize=9824732 CPUtime=1800.13 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 18126 0 -1 4202496 40664 0 1 0 179802 211 0 0 20 0 22 0 29064911 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140735381764400 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20933/statm: 2456183 932192 2301 9 0 2446860 0
[pid=20933/tid=20935] ppid=20930 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/20933/task/20935/stat : 20935 (java) S 20930 20933 18126 0 -1 4202560 2442 0 1 0 46 4 0 0 20 0 22 0 29064912 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140701833687928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20936] ppid=20930 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/20933/task/20936/stat : 20936 (java) S 20930 20933 18126 0 -1 4202560 809 0 0 0 249 16 0 0 20 0 22 0 29064913 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140701795178920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20937] ppid=20930 vsize=9824732 CPUtime=2.55 cores=1,3,5,7
/proc/20933/task/20937/stat : 20937 (java) S 20930 20933 18126 0 -1 4202560 741 0 0 0 238 17 0 0 20 0 22 0 29064913 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140701794126376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20938] ppid=20930 vsize=9824732 CPUtime=2.76 cores=1,3,5,7
/proc/20933/task/20938/stat : 20938 (java) S 20930 20933 18126 0 -1 4202560 965 0 0 0 259 17 0 0 20 0 22 0 29064913 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140701793073320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20939] ppid=20930 vsize=9824732 CPUtime=2.57 cores=1,3,5,7
/proc/20933/task/20939/stat : 20939 (java) S 20930 20933 18126 0 -1 4202560 755 0 0 0 239 18 0 0 20 0 22 0 29064913 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140701792020776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20940] ppid=20930 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/20933/task/20940/stat : 20940 (java) S 20930 20933 18126 0 -1 4202560 627 0 0 0 215 16 0 0 20 0 22 0 29064913 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140701790968744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20941] ppid=20930 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/20933/task/20941/stat : 20941 (java) S 20930 20933 18126 0 -1 4202560 847 0 0 0 218 15 0 0 20 0 22 0 29064913 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140701789916200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20942] ppid=20930 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/20933/task/20942/stat : 20942 (java) S 20930 20933 18126 0 -1 4202560 764 0 0 0 246 20 0 0 20 0 22 0 29064913 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140701788863144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20943] ppid=20930 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/20933/task/20943/stat : 20943 (java) S 20930 20933 18126 0 -1 4202560 524 0 0 0 222 13 0 0 20 0 22 0 29064913 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140701787810600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20944] ppid=20930 vsize=9824732 CPUtime=5.32 cores=1,3,5,7
/proc/20933/task/20944/stat : 20944 (java) S 20930 20933 18126 0 -1 4202560 2570 0 0 0 523 9 0 0 20 0 22 0 29064914 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140701657635176 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20945] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20945/stat : 20945 (java) S 20930 20933 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29064915 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140701656581496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20946] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20946/stat : 20946 (java) S 20930 20933 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29064915 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140701655528328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20947] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20947/stat : 20947 (java) S 20930 20933 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29064917 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140701654477072 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20948] ppid=20930 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/20933/task/20948/stat : 20948 (java) S 20930 20933 18126 0 -1 4202560 12870 0 0 0 141 3 0 0 20 0 22 0 29064917 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140701653424952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20949] ppid=20930 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/20933/task/20949/stat : 20949 (java) S 20930 20933 18126 0 -1 4202560 13339 0 0 0 227 3 0 0 20 0 22 0 29064917 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140700779801528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20950] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20950/stat : 20950 (java) S 20930 20933 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29064917 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140700778748664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20951] ppid=20930 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/20933/task/20951/stat : 20951 (java) S 20930 20933 18126 0 -1 4202560 53 0 0 0 11 25 0 0 20 0 22 0 29064917 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140700777696328 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20952] ppid=20930 vsize=9824732 CPUtime=885.13 cores=1,3,5,7
/proc/20933/task/20952/stat : 20952 (java) R 20930 20933 18126 0 -1 4202560 83 0 0 0 88495 18 0 0 20 0 22 0 29064961 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140700776274528 140701669725192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20953] ppid=20930 vsize=9824732 CPUtime=885.13 cores=1,3,5,7
/proc/20933/task/20953/stat : 20953 (java) R 20930 20933 18126 0 -1 4202560 2008 0 0 0 88462 51 0 0 20 0 22 0 29064961 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140700775224136 140701670003520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20954] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20954/stat : 20954 (java) S 20930 20933 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29064962 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140700774171432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20955] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20955/stat : 20955 (java) S 20930 20933 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29064962 10060525568 932192 33554432000 1073741824 1073778376 140735381773264 140700773118888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20933 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 896.673
CPU time (s): 1800.77
CPU user time (s): 1798.15
CPU system time (s): 2.6206
CPU usage (%): 200.828
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.15
system time used= 2.6206
maximum resident set size= 3728884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40697
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= 24232
involuntary context switches= 31005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73198 second user time and 6.70498 second system time
The end