runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458962-1307150657/watcher-3458962-1307150657 -o /tmp/evaluation-result-3458962-1307150657/solver-3458962-1307150657 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458962-1307150657.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.85 2.00 1.99 2/500 7083
/proc/meminfo: memFree=30366636/32951124 swapFree=51712236/67111528
[pid=7083] ppid=7081 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/7083/stat : 7083 (java) S 7081 7083 4908 0 -1 4202496 1240 0 0 0 0 0 0 0 25 0 2 0 826668271 31272960 959 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/7083/statm: 7635 959 732 9 0 386 0
[pid=7083/tid=7085] ppid=7081 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7085/stat : 7085 (java) R 7081 7083 4908 0 -1 4202560 5420 0 1 0 0 0 0 0 25 0 2 0 826668272 13850947584 6236 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216634209339 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0782819 s]
/proc/loadavg: 1.85 2.00 1.99 2/500 7083
/proc/meminfo: memFree=30366636/32951124 swapFree=51712236/67111528
[pid=7083] ppid=7081 vsize=13555088 CPUtime=0.06 cores=0,2,4,6
/proc/7083/stat : 7083 (java) S 7081 7083 4908 0 -1 4202496 14380 0 1 0 5 1 0 0 25 0 18 0 826668271 13880410112 14076 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7083/statm: 3388772 14077 1754 9 0 3379506 0
[pid=7083/tid=7085] ppid=7081 vsize=13555088 CPUtime=0.06 cores=0,2,4,6
/proc/7083/task/7085/stat : 7085 (java) R 7081 7083 4908 0 -1 4202560 13206 0 1 0 5 1 0 0 25 0 18 0 826668272 13880410112 14077 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 46937338322394 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088
[startup+0.102445 s]
/proc/loadavg: 1.85 2.00 1.99 2/500 7083
/proc/meminfo: memFree=30366636/32951124 swapFree=51712236/67111528
[pid=7083] ppid=7081 vsize=13621700 CPUtime=0.09 cores=0,2,4,6
/proc/7083/stat : 7083 (java) S 7081 7083 4908 0 -1 4202496 15458 0 1 0 8 1 0 0 25 0 18 0 826668271 13948620800 15154 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7083/statm: 3405425 15154 2092 9 0 3396159 0
[pid=7083/tid=7085] ppid=7081 vsize=13621700 CPUtime=0.08 cores=0,2,4,6
/proc/7083/task/7085/stat : 7085 (java) R 7081 7083 4908 0 -1 4202560 13550 0 1 0 7 1 0 0 25 0 18 0 826668272 13948620800 15154 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 46937333821445 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621700
[startup+0.323925 s]
/proc/loadavg: 1.85 2.00 1.99 2/500 7083
/proc/meminfo: memFree=30366636/32951124 swapFree=51712236/67111528
[pid=7083] ppid=7081 vsize=13627276 CPUtime=0.63 cores=0,2,4,6
/proc/7083/stat : 7083 (java) S 7081 7083 4908 0 -1 4202496 22447 0 1 0 61 2 0 0 25 0 18 0 826668271 13954330624 21022 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7083/statm: 3406819 21025 2203 9 0 3397553 0
[pid=7083/tid=7085] ppid=7081 vsize=13627276 CPUtime=0.3 cores=0,2,4,6
/proc/7083/task/7085/stat : 7085 (java) R 7081 7083 4908 0 -1 4202560 17059 0 1 0 28 2 0 0 18 0 18 0 826668272 13954330624 21027 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 13627276
[startup+0.701159 s]
/proc/loadavg: 1.85 2.00 1.99 2/500 7083
/proc/meminfo: memFree=30366636/32951124 swapFree=51712236/67111528
[pid=7083] ppid=7081 vsize=13628304 CPUtime=1.26 cores=0,2,4,6
/proc/7083/stat : 7083 (java) S 7081 7083 4908 0 -1 4202496 31334 0 1 0 123 3 0 0 25 0 19 0 826668271 13955383296 29909 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7083/statm: 3407076 29909 2220 9 0 3397810 0
[pid=7083/tid=7085] ppid=7081 vsize=13628304 CPUtime=0.68 cores=0,2,4,6
/proc/7083/task/7085/stat : 7085 (java) R 7081 7083 4908 0 -1 4202560 25863 0 1 0 65 3 0 0 19 0 19 0 826668272 13955383296 29909 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 46912505712322 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 13628304
[startup+1.50104 s]
/proc/loadavg: 1.85 2.00 1.99 3/521 7147
/proc/meminfo: memFree=30252316/32951124 swapFree=51712236/67111528
[pid=7083] ppid=7081 vsize=13628304 CPUtime=2.17 cores=0,2,4,6
/proc/7083/stat : 7083 (java) S 7081 7083 4908 0 -1 4202496 31473 0 1 0 214 3 0 0 25 0 19 0 826668271 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7083/statm: 3407076 30047 2226 9 0 3397810 0
[pid=7083/tid=7085] ppid=7081 vsize=13628304 CPUtime=1.48 cores=0,2,4,6
/proc/7083/task/7085/stat : 7085 (java) R 7081 7083 4908 0 -1 4202560 25976 0 1 0 145 3 0 0 20 0 19 0 826668272 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 46912505712257 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7083/tid=7092] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7092/stat : 7092 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668274 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7093] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7093/stat : 7093 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668274 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7094] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7094/stat : 7094 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668274 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7095] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7095/stat : 7095 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668274 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7096] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7096/stat : 7096 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668274 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7097] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7097/stat : 7097 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668274 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7098] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7098/stat : 7098 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668274 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7099] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7099/stat : 7099 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668274 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7109] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7109/stat : 7109 (java) S 7081 7083 4908 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826668275 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 0 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7110] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7110/stat : 7110 (java) S 7081 7083 4908 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826668275 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7111] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7111/stat : 7111 (java) S 7081 7083 4908 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826668275 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7115] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7115/stat : 7115 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668277 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646338993 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7116] ppid=7081 vsize=13628304 CPUtime=0.35 cores=0,2,4,6
/proc/7083/task/7116/stat : 7116 (java) S 7081 7083 4908 0 -1 4202560 2414 0 0 0 35 0 0 0 15 0 19 0 826668277 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7117] ppid=7081 vsize=13628304 CPUtime=0.33 cores=0,2,4,6
/proc/7083/task/7117/stat : 7117 (java) S 7081 7083 4908 0 -1 4202560 1922 0 0 0 33 0 0 0 15 0 19 0 826668277 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 0 0 0 0
[pid=7083/tid=7118] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7118/stat : 7118 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668277 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7119] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7119/stat : 7119 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826668277 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7125] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7125/stat : 7125 (java) S 7081 7083 4908 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826668318 13955383296 30047 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 13628304
[startup+3.10076 s]
/proc/loadavg: 1.85 2.00 1.99 3/541 7170
/proc/meminfo: memFree=29956540/32951124 swapFree=51712236/67111528
[pid=7083] ppid=7081 vsize=13628304 CPUtime=3.83 cores=0,2,4,6
/proc/7083/stat : 7083 (java) S 7081 7083 4908 0 -1 4202496 31694 0 1 0 379 4 0 0 25 0 19 0 826668271 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7083/statm: 3407076 30266 2227 9 0 3397810 0
[pid=7083/tid=7085] ppid=7081 vsize=13628304 CPUtime=3.08 cores=0,2,4,6
/proc/7083/task/7085/stat : 7085 (java) R 7081 7083 4908 0 -1 4202560 26176 0 1 0 304 4 0 0 25 0 19 0 826668272 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 46912505164128 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7083/tid=7092] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7092/stat : 7092 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668274 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7093] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7093/stat : 7093 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668274 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7094] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7094/stat : 7094 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668274 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7095] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7095/stat : 7095 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668274 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7096] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7096/stat : 7096 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668274 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7097] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7097/stat : 7097 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668274 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7098] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7098/stat : 7098 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668274 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7099] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7099/stat : 7099 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668274 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7109] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7109/stat : 7109 (java) S 7081 7083 4908 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826668275 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 0 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7110] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7110/stat : 7110 (java) S 7081 7083 4908 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826668275 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7111] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7111/stat : 7111 (java) S 7081 7083 4908 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826668275 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7115] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7115/stat : 7115 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668277 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646338993 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7116] ppid=7081 vsize=13628304 CPUtime=0.37 cores=0,2,4,6
/proc/7083/task/7116/stat : 7116 (java) S 7081 7083 4908 0 -1 4202560 2418 0 0 0 37 0 0 0 15 0 19 0 826668277 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7117] ppid=7081 vsize=13628304 CPUtime=0.36 cores=0,2,4,6
/proc/7083/task/7117/stat : 7117 (java) S 7081 7083 4908 0 -1 4202560 1939 0 0 0 36 0 0 0 15 0 19 0 826668277 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 0 0 0 0
[pid=7083/tid=7118] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7118/stat : 7118 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668277 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7119] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7119/stat : 7119 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826668277 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7125] ppid=7081 vsize=13628304 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7125/stat : 7125 (java) S 7081 7083 4908 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826668318 13955383296 30266 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 13628304
[startup+6.3012 s]
/proc/loadavg: 1.86 2.00 1.99 5/542 7261
/proc/meminfo: memFree=29999232/32951124 swapFree=51712236/67111528
[pid=7083] ppid=7081 vsize=13628996 CPUtime=7.5 cores=0,2,4,6
/proc/7083/stat : 7083 (java) S 7081 7083 4908 0 -1 4202496 40285 0 1 0 744 6 0 0 25 0 19 0 826668271 13956091904 32789 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7083/statm: 3407249 32789 2253 9 0 3397983 0
[pid=7083/tid=7085] ppid=7081 vsize=13628996 CPUtime=6.24 cores=0,2,4,6
/proc/7083/task/7085/stat : 7085 (java) R 7081 7083 4908 0 -1 4202560 26208 0 1 0 620 4 0 0 25 0 19 0 826668272 13956091904 32789 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 46912505712240 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7083/tid=7092] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7092/stat : 7092 (java) S 7081 7083 4908 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 19 0 826668274 13956091904 32789 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7093] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7093/stat : 7093 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826668274 13956091904 32789 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7094] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7094/stat : 7094 (java) S 7081 7083 4908 0 -1 4202560 115 0 0 0 0 0 0 0 18 0 19 0 826668274 13956091904 32789 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 4 0 0 0
[pid=7083/tid=7095] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7095/stat : 7095 (java) S 7081 7083 4908 0 -1 4202560 91 0 0 0 0 0 0 0 18 0 19 0 826668274 13956091904 32789 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 4 0 0 0
[pid=7083/tid=7096] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7096/stat : 7096 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826668274 13956091904 32789 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7097] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7097/stat : 7097 (java) S 7081 7083 4908 0 -1 4202560 123 0 0 0 0 0 0 0 18 0 19 0 826668274 13956091904 32789 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7098] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7098/stat : 7098 (java) S 7081 7083 4908 0 -1 4202560 375 0 0 0 0 0 0 0 18 0 19 0 826668274 13956091904 32789 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7099] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7099/stat : 7099 (java) S 7081 7083 4908 0 -1 4202560 341 0 0 0 0 0 0 0 18 0 19 0 826668274 13956091904 32789 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7109] ppid=7081 vsize=13628996 CPUtime=0.02 cores=0,2,4,6
/proc/7083/task/7109/stat : 7109 (java) S 7081 7083 4908 0 -1 4202560 987 0 0 0 2 0 0 0 16 0 19 0 826668275 13956091904 32789 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 0 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7110] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7110/stat : 7110 (java) S 7081 7083 4908 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826668275 13956091904 32789 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7111] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7111/stat : 7111 (java) S 7081 7083 4908 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826668275 13956091904 32789 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7115] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7115/stat : 7115 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668277 13956091904 32789 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646338993 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7116] ppid=7081 vsize=13628996 CPUtime=0.4 cores=0,2,4,6
/proc/7083/task/7116/stat : 7116 (java) S 7081 7083 4908 0 -1 4202560 2420 0 0 0 40 0 0 0 16 0 19 0 826668277 13956091904 32789 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7117] ppid=7081 vsize=13628996 CPUtime=0.79 cores=0,2,4,6
/proc/7083/task/7117/stat : 7117 (java) S 7081 7083 4908 0 -1 4202560 8304 0 0 0 79 0 0 0 15 0 19 0 826668277 13956091904 32789 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=7083/tid=7097] ppid=7081 vsize=13628996 CPUtime=0.12 cores=0,2,4,6
/proc/7083/task/7097/stat : 7097 (java) S 7081 7083 4908 0 -1 4202560 233 0 0 0 12 0 0 0 15 0 19 0 826668274 13956091904 35271 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 4 0 0 0
[pid=7083/tid=7098] ppid=7081 vsize=13628996 CPUtime=0.1 cores=0,2,4,6
/proc/7083/task/7098/stat : 7098 (java) S 7081 7083 4908 0 -1 4202560 598 0 0 0 10 0 0 0 15 0 19 0 826668274 13956091904 35271 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7099] ppid=7081 vsize=13628996 CPUtime=0.09 cores=0,2,4,6
/proc/7083/task/7099/stat : 7099 (java) S 7081 7083 4908 0 -1 4202560 477 0 0 0 9 0 0 0 15 0 19 0 826668274 13956091904 35271 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 0 0 0 0
[pid=7083/tid=7109] ppid=7081 vsize=13628996 CPUtime=5.84 cores=0,2,4,6
/proc/7083/task/7109/stat : 7109 (java) S 7081 7083 4908 0 -1 4202560 2710 0 0 0 581 3 0 0 15 0 19 0 826668275 13956091904 35271 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 0 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7110] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7110/stat : 7110 (java) S 7081 7083 4908 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826668275 13956091904 35271 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7111] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7111/stat : 7111 (java) S 7081 7083 4908 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826668275 13956091904 35271 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7115] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7115/stat : 7115 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668277 13956091904 35271 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646338993 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7116] ppid=7081 vsize=13628996 CPUtime=0.45 cores=0,2,4,6
/proc/7083/task/7116/stat : 7116 (java) S 7081 7083 4908 0 -1 4202560 2762 0 0 0 45 0 0 0 15 0 19 0 826668277 13956091904 35271 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7117] ppid=7081 vsize=13628996 CPUtime=0.82 cores=0,2,4,6
/proc/7083/task/7117/stat : 7117 (java) S 7081 7083 4908 0 -1 4202560 8310 0 0 0 82 0 0 0 15 0 19 0 826668277 13956091904 35271 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 0 0 0 0
[pid=7083/tid=7118] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7118/stat : 7118 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668277 13956091904 35271 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7119] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7119/stat : 7119 (java) S 7081 7083 4908 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826668277 13956091904 35271 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 4 0 16800975 18446604449178028928 0 0 -1 0 0 0 0
[pid=7083/tid=7125] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7125/stat : 7125 (java) S 7081 7083 4908 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826668318 13956091904 35271 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.04
Current children cumulated vsize (KiB) 13628996
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/542 7311
/proc/meminfo: memFree=29875528/32951124 swapFree=51712236/67111528
[pid=7083] ppid=7081 vsize=13628996 CPUtime=1784.06 cores=0,2,4,6
/proc/7083/stat : 7083 (java) S 7081 7083 4908 0 -1 4202496 43690 0 1 0 178393 13 0 0 25 0 19 0 826668271 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7083/statm: 3407249 35340 2254 9 0 3397983 0
[pid=7083/tid=7085] ppid=7081 vsize=13628996 CPUtime=1775.73 cores=0,2,4,6
/proc/7083/task/7085/stat : 7085 (java) R 7081 7083 4908 0 -1 4202560 26516 0 1 0 177566 7 0 0 25 0 19 0 826668272 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 46912505757342 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7083/tid=7092] ppid=7081 vsize=13628996 CPUtime=0.09 cores=0,2,4,6
/proc/7083/task/7092/stat : 7092 (java) S 7081 7083 4908 0 -1 4202560 185 0 0 0 9 0 0 0 15 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7093] ppid=7081 vsize=13628996 CPUtime=0.11 cores=0,2,4,6
/proc/7083/task/7093/stat : 7093 (java) S 7081 7083 4908 0 -1 4202560 108 0 0 0 11 0 0 0 15 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7094] ppid=7081 vsize=13628996 CPUtime=0.11 cores=0,2,4,6
/proc/7083/task/7094/stat : 7094 (java) S 7081 7083 4908 0 -1 4202560 133 0 0 0 11 0 0 0 16 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 4 0 0 0
[pid=7083/tid=7095] ppid=7081 vsize=13628996 CPUtime=0.13 cores=0,2,4,6
/proc/7083/task/7095/stat : 7095 (java) S 7081 7083 4908 0 -1 4202560 210 0 0 0 13 0 0 0 16 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 0 0 0 0
[pid=7083/tid=7096] ppid=7081 vsize=13628996 CPUtime=0.1 cores=0,2,4,6
/proc/7083/task/7096/stat : 7096 (java) S 7081 7083 4908 0 -1 4202560 124 0 0 0 10 0 0 0 15 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7097] ppid=7081 vsize=13628996 CPUtime=0.12 cores=0,2,4,6
/proc/7083/task/7097/stat : 7097 (java) S 7081 7083 4908 0 -1 4202560 233 0 0 0 12 0 0 0 15 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 4 0 0 0
[pid=7083/tid=7098] ppid=7081 vsize=13628996 CPUtime=0.1 cores=0,2,4,6
/proc/7083/task/7098/stat : 7098 (java) S 7081 7083 4908 0 -1 4202560 598 0 0 0 10 0 0 0 16 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7099] ppid=7081 vsize=13628996 CPUtime=0.1 cores=0,2,4,6
/proc/7083/task/7099/stat : 7099 (java) S 7081 7083 4908 0 -1 4202560 477 0 0 0 10 0 0 0 15 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7109] ppid=7081 vsize=13628996 CPUtime=6.11 cores=0,2,4,6
/proc/7083/task/7109/stat : 7109 (java) S 7081 7083 4908 0 -1 4202560 2781 0 0 0 608 3 0 0 16 0 19 0 826668275 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 0 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7110] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7110/stat : 7110 (java) S 7081 7083 4908 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826668275 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7111] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7111/stat : 7111 (java) S 7081 7083 4908 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826668275 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7115] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7115/stat : 7115 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668277 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646338993 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7116] ppid=7081 vsize=13628996 CPUtime=0.45 cores=0,2,4,6
/proc/7083/task/7116/stat : 7116 (java) S 7081 7083 4908 0 -1 4202560 2762 0 0 0 45 0 0 0 15 0 19 0 826668277 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7117] ppid=7081 vsize=13628996 CPUtime=0.82 cores=0,2,4,6
/proc/7083/task/7117/stat : 7117 (java) S 7081 7083 4908 0 -1 4202560 8310 0 0 0 82 0 0 0 15 0 19 0 826668277 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 0 0 0 0
[pid=7083/tid=7118] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7118/stat : 7118 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668277 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7119] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7119/stat : 7119 (java) S 7081 7083 4908 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826668277 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 4 0 16800975 18446604449178028928 0 0 -1 0 0 0 0
[pid=7083/tid=7125] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7125/stat : 7125 (java) S 7081 7083 4908 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826668318 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.06
Current children cumulated vsize (KiB) 13628996
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/542 7312
/proc/meminfo: memFree=29876008/32951124 swapFree=51712236/67111528
[pid=7083] ppid=7081 vsize=13628996 CPUtime=1800.07 cores=0,2,4,6
/proc/7083/stat : 7083 (java) S 7081 7083 4908 0 -1 4202496 43697 0 1 0 179994 13 0 0 25 0 19 0 826668271 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7083/statm: 3407249 35340 2254 9 0 3397983 0
[pid=7083/tid=7085] ppid=7081 vsize=13628996 CPUtime=1791.68 cores=0,2,4,6
/proc/7083/task/7085/stat : 7085 (java) R 7081 7083 4908 0 -1 4202560 26519 0 1 0 179161 7 0 0 25 0 19 0 826668272 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 46912505790816 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7083/tid=7092] ppid=7081 vsize=13628996 CPUtime=0.09 cores=0,2,4,6
/proc/7083/task/7092/stat : 7092 (java) S 7081 7083 4908 0 -1 4202560 185 0 0 0 9 0 0 0 15 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 0 0 0 0
[pid=7083/tid=7093] ppid=7081 vsize=13628996 CPUtime=0.11 cores=0,2,4,6
/proc/7083/task/7093/stat : 7093 (java) S 7081 7083 4908 0 -1 4202560 108 0 0 0 11 0 0 0 16 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7094] ppid=7081 vsize=13628996 CPUtime=0.11 cores=0,2,4,6
/proc/7083/task/7094/stat : 7094 (java) S 7081 7083 4908 0 -1 4202560 133 0 0 0 11 0 0 0 15 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 4 0 0 0
[pid=7083/tid=7095] ppid=7081 vsize=13628996 CPUtime=0.13 cores=0,2,4,6
/proc/7083/task/7095/stat : 7095 (java) S 7081 7083 4908 0 -1 4202560 210 0 0 0 13 0 0 0 15 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 0 0 0 0
[pid=7083/tid=7096] ppid=7081 vsize=13628996 CPUtime=0.11 cores=0,2,4,6
/proc/7083/task/7096/stat : 7096 (java) S 7081 7083 4908 0 -1 4202560 124 0 0 0 11 0 0 0 15 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7097] ppid=7081 vsize=13628996 CPUtime=0.13 cores=0,2,4,6
/proc/7083/task/7097/stat : 7097 (java) S 7081 7083 4908 0 -1 4202560 233 0 0 0 13 0 0 0 15 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 4 0 0 0
[pid=7083/tid=7098] ppid=7081 vsize=13628996 CPUtime=0.1 cores=0,2,4,6
/proc/7083/task/7098/stat : 7098 (java) S 7081 7083 4908 0 -1 4202560 598 0 0 0 10 0 0 0 16 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7099] ppid=7081 vsize=13628996 CPUtime=0.1 cores=0,2,4,6
/proc/7083/task/7099/stat : 7099 (java) S 7081 7083 4908 0 -1 4202560 477 0 0 0 10 0 0 0 15 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7109] ppid=7081 vsize=13628996 CPUtime=6.17 cores=0,2,4,6
/proc/7083/task/7109/stat : 7109 (java) S 7081 7083 4908 0 -1 4202560 2783 0 0 0 614 3 0 0 15 0 19 0 826668275 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 0 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7110] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7110/stat : 7110 (java) S 7081 7083 4908 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826668275 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7111] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7111/stat : 7111 (java) S 7081 7083 4908 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826668275 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7115] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7115/stat : 7115 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668277 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646338993 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7116] ppid=7081 vsize=13628996 CPUtime=0.45 cores=0,2,4,6
/proc/7083/task/7116/stat : 7116 (java) S 7081 7083 4908 0 -1 4202560 2762 0 0 0 45 0 0 0 15 0 19 0 826668277 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7117] ppid=7081 vsize=13628996 CPUtime=0.82 cores=0,2,4,6
/proc/7083/task/7117/stat : 7117 (java) S 7081 7083 4908 0 -1 4202560 8310 0 0 0 82 0 0 0 15 0 19 0 826668277 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 0 0 0 0
[pid=7083/tid=7118] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7118/stat : 7118 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668277 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7119] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7119/stat : 7119 (java) S 7081 7083 4908 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826668277 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 4 0 16800975 18446604449178028928 0 0 -1 0 0 0 0
[pid=7083/tid=7125] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7125/stat : 7125 (java) S 7081 7083 4908 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826668318 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13628996
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/542 7312
/proc/meminfo: memFree=29876008/32951124 swapFree=51712236/67111528
[pid=7083] ppid=7081 vsize=13628996 CPUtime=1800.07 cores=0,2,4,6
/proc/7083/stat : 7083 (java) S 7081 7083 4908 0 -1 4202496 43697 0 1 0 179994 13 0 0 25 0 19 0 826668271 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7083/statm: 3407249 35340 2254 9 0 3397983 0
[pid=7083/tid=7085] ppid=7081 vsize=13628996 CPUtime=1791.68 cores=0,2,4,6
/proc/7083/task/7085/stat : 7085 (java) R 7081 7083 4908 0 -1 4202560 26519 0 1 0 179161 7 0 0 25 0 19 0 826668272 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 46912505790816 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7083/tid=7092] ppid=7081 vsize=13628996 CPUtime=0.09 cores=0,2,4,6
/proc/7083/task/7092/stat : 7092 (java) S 7081 7083 4908 0 -1 4202560 185 0 0 0 9 0 0 0 15 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 0 0 0 0
[pid=7083/tid=7093] ppid=7081 vsize=13628996 CPUtime=0.11 cores=0,2,4,6
/proc/7083/task/7093/stat : 7093 (java) S 7081 7083 4908 0 -1 4202560 108 0 0 0 11 0 0 0 16 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7094] ppid=7081 vsize=13628996 CPUtime=0.11 cores=0,2,4,6
/proc/7083/task/7094/stat : 7094 (java) S 7081 7083 4908 0 -1 4202560 133 0 0 0 11 0 0 0 15 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 4 0 0 0
[pid=7083/tid=7095] ppid=7081 vsize=13628996 CPUtime=0.13 cores=0,2,4,6
/proc/7083/task/7095/stat : 7095 (java) S 7081 7083 4908 0 -1 4202560 210 0 0 0 13 0 0 0 15 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 0 0 0 0
[pid=7083/tid=7096] ppid=7081 vsize=13628996 CPUtime=0.11 cores=0,2,4,6
/proc/7083/task/7096/stat : 7096 (java) S 7081 7083 4908 0 -1 4202560 124 0 0 0 11 0 0 0 15 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7097] ppid=7081 vsize=13628996 CPUtime=0.13 cores=0,2,4,6
/proc/7083/task/7097/stat : 7097 (java) S 7081 7083 4908 0 -1 4202560 233 0 0 0 13 0 0 0 15 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 4 0 0 0
[pid=7083/tid=7098] ppid=7081 vsize=13628996 CPUtime=0.1 cores=0,2,4,6
/proc/7083/task/7098/stat : 7098 (java) S 7081 7083 4908 0 -1 4202560 598 0 0 0 10 0 0 0 16 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7099] ppid=7081 vsize=13628996 CPUtime=0.1 cores=0,2,4,6
/proc/7083/task/7099/stat : 7099 (java) S 7081 7083 4908 0 -1 4202560 477 0 0 0 10 0 0 0 15 0 19 0 826668274 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7109] ppid=7081 vsize=13628996 CPUtime=6.17 cores=0,2,4,6
/proc/7083/task/7109/stat : 7109 (java) S 7081 7083 4908 0 -1 4202560 2783 0 0 0 614 3 0 0 15 0 19 0 826668275 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 0 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7110] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7110/stat : 7110 (java) S 7081 7083 4908 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826668275 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7111] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7111/stat : 7111 (java) S 7081 7083 4908 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826668275 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7115] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7115/stat : 7115 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668277 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646338993 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7116] ppid=7081 vsize=13628996 CPUtime=0.45 cores=0,2,4,6
/proc/7083/task/7116/stat : 7116 (java) S 7081 7083 4908 0 -1 4202560 2762 0 0 0 45 0 0 0 15 0 19 0 826668277 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
[pid=7083/tid=7117] ppid=7081 vsize=13628996 CPUtime=0.82 cores=0,2,4,6
/proc/7083/task/7117/stat : 7117 (java) S 7081 7083 4908 0 -1 4202560 8310 0 0 0 82 0 0 0 15 0 19 0 826668277 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 0 0 0 0
[pid=7083/tid=7118] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7118/stat : 7118 (java) S 7081 7083 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826668277 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331289 0 4 0 16800975 18446604449178028928 0 0 -1 2 0 0 0
[pid=7083/tid=7119] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7119/stat : 7119 (java) S 7081 7083 4908 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826668277 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 4 0 16800975 18446604449178028928 0 0 -1 0 0 0 0
[pid=7083/tid=7125] ppid=7081 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/7083/task/7125/stat : 7125 (java) S 7081 7083 4908 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826668318 13956091904 35340 33554432000 1073741824 1073778376 140735894747664 18446744073709551615 216646331904 0 4 0 16800975 18446604449178028928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13628996
Child status: 143
Real time (s): 1798.34
CPU time (s): 1800.13
CPU user time (s): 1799.99
CPU system time (s): 0.144977
CPU usage (%): 100.099
Max. virtual memory (cumulated for all children) (KiB): 13648708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.144977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43737
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46038
involuntary context switches= 10095
runsolver used 9.91549 second user time and 19.417 second system time
The end