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-4103466-1466241741/watcher-4103466-1466241741 -o /tmp/evaluation-result-4103466-1466241741/solver-4103466-1466241741 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466241741-20174 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103466-1466241741.opb
pid=20217
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: 0.89 1.08 1.29 5/193 20220
/proc/meminfo: memFree=30643876/32872528 swapFree=1191052/1305516
[pid=20220] ppid=20217 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/20220/stat : 20220 (java) R 20217 20220 20157 0 -1 4202496 841 0 0 0 0 0 0 0 20 0 1 0 26220805 23793664 492 33554432000 1073741824 1073778376 140737090590592 140737090579656 214528211507 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20220/statm: 5809 503 381 9 0 128 0
[startup+0.10006 s]
/proc/loadavg: 0.89 1.08 1.29 5/193 20220
/proc/meminfo: memFree=30643876/32872528 swapFree=1191052/1305516
[pid=20220] ppid=20217 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/20220/stat : 20220 (java) S 20217 20220 20157 0 -1 4202496 4455 0 1 0 9 1 0 0 20 0 18 0 26220805 9787879424 6088 33554432000 1073741824 1073778376 140737090590592 140737090581728 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20220/statm: 2389619 6088 2148 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200259 s]
/proc/loadavg: 0.89 1.08 1.29 5/193 20220
/proc/meminfo: memFree=30643876/32872528 swapFree=1191052/1305516
[pid=20220] ppid=20217 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/20220/stat : 20220 (java) S 20217 20220 20157 0 -1 4202496 5037 0 1 0 29 1 0 0 20 0 18 0 26220805 9787879424 9526 33554432000 1073741824 1073778376 140737090590592 140737090581728 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20220/statm: 2389619 9526 2222 9 0 2380296 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476
[startup+0.300313 s]
/proc/loadavg: 0.89 1.08 1.29 5/193 20220
/proc/meminfo: memFree=30643876/32872528 swapFree=1191052/1305516
[pid=20220] ppid=20217 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/20220/stat : 20220 (java) S 20217 20220 20157 0 -1 4202496 6147 0 1 0 46 2 0 0 20 0 18 0 26220805 9787879424 14872 33554432000 1073741824 1073778376 140737090590592 140737090581728 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20220/statm: 2389619 14872 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700265 s]
/proc/loadavg: 0.89 1.08 1.29 5/193 20220
/proc/meminfo: memFree=30643876/32872528 swapFree=1191052/1305516
[pid=20220] ppid=20217 vsize=9558476 CPUtime=0.96 cores=1,3,5,7
/proc/20220/stat : 20220 (java) S 20217 20220 20157 0 -1 4202496 6351 0 1 0 90 6 0 0 20 0 18 0 26220805 9787879424 45695 33554432000 1073741824 1073778376 140737090590592 140737090581728 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20220/statm: 2389619 45695 2248 9 0 2380296 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 9558476
[startup+1.50079 s]
/proc/loadavg: 0.89 1.08 1.29 4/213 20240
/proc/meminfo: memFree=30193384/32872528 swapFree=1191052/1305516
[pid=20220] ppid=20217 vsize=9558476 CPUtime=2.46 cores=1,3,5,7
/proc/20220/stat : 20220 (java) S 20217 20220 20157 0 -1 4202496 14273 0 1 0 232 14 0 0 20 0 18 0 26220805 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 140737090581728 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20220/statm: 2389619 66143 2263 9 0 2380296 0
[pid=20220/tid=20222] ppid=20217 vsize=9558476 CPUtime=1.38 cores=1,3,5,7
/proc/20220/task/20222/stat : 20222 (java) R 20217 20220 20157 0 -1 4202560 2480 0 1 0 135 3 0 0 20 0 18 0 26220806 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 139943813569000 214540805389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20220/tid=20223] ppid=20217 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/20220/task/20223/stat : 20223 (java) S 20217 20220 20157 0 -1 4202560 63 0 0 0 1 1 0 0 20 0 18 0 26220806 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 139943657597480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20220/tid=20224] ppid=20217 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/20220/task/20224/stat : 20224 (java) S 20217 20220 20157 0 -1 4202560 54 0 0 0 2 0 0 0 20 0 18 0 26220806 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 139943656544680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20225] ppid=20217 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/20220/task/20225/stat : 20225 (java) S 20217 20220 20157 0 -1 4202560 121 0 0 0 5 2 0 0 20 0 18 0 26220806 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 139943655491880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20226] ppid=20217 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/20220/task/20226/stat : 20226 (java) S 20217 20220 20157 0 -1 4202560 48 0 0 0 2 0 0 0 20 0 18 0 26220806 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 139943654439080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20227] ppid=20217 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/20220/task/20227/stat : 20227 (java) S 20217 20220 20157 0 -1 4202560 57 0 0 0 2 0 0 0 20 0 18 0 26220806 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 139943653387304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20228] ppid=20217 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/20220/task/20228/stat : 20228 (java) S 20217 20220 20157 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 18 0 26220806 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 139943652334504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20229] ppid=20217 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/20220/task/20229/stat : 20229 (java) S 20217 20220 20157 0 -1 4202560 70 0 0 0 3 0 0 0 20 0 18 0 26220806 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 139943651281704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20230] ppid=20217 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/20220/task/20230/stat : 20230 (java) S 20217 20220 20157 0 -1 4202560 95 0 0 0 2 1 0 0 20 0 18 0 26220806 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 139943650228904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20231] ppid=20217 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20231/stat : 20231 (java) S 20217 20220 20157 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 26220807 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 139943637817832 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20232] ppid=20217 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20232/stat : 20232 (java) S 20217 20220 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 26220808 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 139943636763896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20233] ppid=20217 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20233/stat : 20233 (java) S 20217 20220 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 26220808 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 139943635710984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20234] ppid=20217 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20234/stat : 20234 (java) S 20217 20220 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26220810 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 139943634659472 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20235] ppid=20217 vsize=9558476 CPUtime=0.35 cores=1,3,5,7
/proc/20220/task/20235/stat : 20235 (java) S 20217 20220 20157 0 -1 4202560 4157 0 0 0 34 1 0 0 20 0 18 0 26220810 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 139943633607608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20236] ppid=20217 vsize=9558476 CPUtime=0.34 cores=1,3,5,7
/proc/20220/task/20236/stat : 20236 (java) S 20217 20220 20157 0 -1 4202560 5781 0 0 0 32 2 0 0 20 0 18 0 26220810 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 139943632554808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20237] ppid=20217 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20237/stat : 20237 (java) S 20217 20220 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26220810 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 139943631502200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20238] ppid=20217 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20238/stat : 20238 (java) S 20217 20220 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26220810 9787879424 66143 33554432000 1073741824 1073778376 140737090590592 139943630449608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 9558476
[startup+3.10085 s]
/proc/loadavg: 0.89 1.08 1.29 2/212 20245
/proc/meminfo: memFree=29821320/32872528 swapFree=1191052/1305516
[pid=20220] ppid=20217 vsize=9558476 CPUtime=4.92 cores=1,3,5,7
/proc/20220/stat : 20220 (java) S 20217 20220 20157 0 -1 4202496 15719 0 1 0 456 36 0 0 20 0 18 0 26220805 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 140737090581728 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20220/statm: 2389619 135817 2270 9 0 2380296 0
[pid=20220/tid=20222] ppid=20217 vsize=9558476 CPUtime=2.72 cores=1,3,5,7
/proc/20220/task/20222/stat : 20222 (java) R 20217 20220 20157 0 -1 4202560 2532 0 1 0 267 5 0 0 20 0 18 0 26220806 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 139943813562320 214540805389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20220/tid=20223] ppid=20217 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/20220/task/20223/stat : 20223 (java) S 20217 20220 20157 0 -1 4202560 428 0 0 0 18 5 0 0 20 0 18 0 26220806 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 139943657597480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20224] ppid=20217 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/20220/task/20224/stat : 20224 (java) S 20217 20220 20157 0 -1 4202560 382 0 0 0 9 3 0 0 20 0 18 0 26220806 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 139943656544680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20225] ppid=20217 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/20220/task/20225/stat : 20225 (java) S 20217 20220 20157 0 -1 4202560 153 0 0 0 12 3 0 0 20 0 18 0 26220806 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 139943655491880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20226] ppid=20217 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/20220/task/20226/stat : 20226 (java) S 20217 20220 20157 0 -1 4202560 253 0 0 0 14 5 0 0 20 0 18 0 26220806 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 139943654439080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20227] ppid=20217 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/20220/task/20227/stat : 20227 (java) S 20217 20220 20157 0 -1 4202560 147 0 0 0 15 3 0 0 20 0 18 0 26220806 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 139943653387304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20228] ppid=20217 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/20220/task/20228/stat : 20228 (java) S 20217 20220 20157 0 -1 4202560 193 0 0 0 7 3 0 0 20 0 18 0 26220806 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 139943652334504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20229] ppid=20217 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/20220/task/20229/stat : 20229 (java) S 20217 20220 20157 0 -1 4202560 110 0 0 0 13 3 0 0 20 0 18 0 26220806 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 139943651281704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20230] ppid=20217 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/20220/task/20230/stat : 20230 (java) S 20217 20220 20157 0 -1 4202560 127 0 0 0 9 3 0 0 20 0 18 0 26220806 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 139943650228904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20231] ppid=20217 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20231/stat : 20231 (java) S 20217 20220 20157 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 26220807 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 139943637817832 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20232] ppid=20217 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20232/stat : 20232 (java) S 20217 20220 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 26220808 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 139943636763896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20233] ppid=20217 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20233/stat : 20233 (java) S 20217 20220 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 26220808 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 139943635710984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20234] ppid=20217 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20234/stat : 20234 (java) S 20217 20220 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26220810 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 139943634659472 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20235] ppid=20217 vsize=9558476 CPUtime=0.39 cores=1,3,5,7
/proc/20220/task/20235/stat : 20235 (java) S 20217 20220 20157 0 -1 4202560 4157 0 0 0 37 2 0 0 20 0 18 0 26220810 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 139943633607608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20236] ppid=20217 vsize=9558476 CPUtime=0.41 cores=1,3,5,7
/proc/20220/task/20236/stat : 20236 (java) S 20217 20220 20157 0 -1 4202560 5789 0 0 0 39 2 0 0 20 0 18 0 26220810 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 139943632554808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20237] ppid=20217 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20237/stat : 20237 (java) S 20217 20220 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26220810 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 139943631502200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20238] ppid=20217 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20238/stat : 20238 (java) S 20217 20220 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26220810 9787879424 135817 33554432000 1073741824 1073778376 140737090590592 139943630449608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 9558476
[startup+6.30103 s]
/proc/loadavg: 1.06 1.12 1.30 2/216 20267
/proc/meminfo: memFree=29137736/32872528 swapFree=1191052/1305516
[pid=20220] ppid=20217 vsize=9824732 CPUtime=11.3 cores=1,3,5,7
/proc/20220/stat : 20220 (java) S 20217 20220 20157 0 -1 4202496 17549 0 1 0 1074 56 0 0 20 0 22 0 26220805 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 140737090581728 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20220/statm: 2456183 248618 2292 9 0 2446860 0
[pid=20220/tid=20222] ppid=20217 vsize=9824732 CPUtime=3.11 cores=1,3,5,7
/proc/20220/task/20222/stat : 20222 (java) S 20217 20220 20157 0 -1 4202560 2750 0 1 0 305 6 0 0 20 0 22 0 26220806 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943813571448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20223] ppid=20217 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/20220/task/20223/stat : 20223 (java) S 20217 20220 20157 0 -1 4202560 471 0 0 0 25 8 0 0 20 0 22 0 26220806 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943657597480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20220/tid=20224] ppid=20217 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/20220/task/20224/stat : 20224 (java) S 20217 20220 20157 0 -1 4202560 424 0 0 0 17 5 0 0 20 0 22 0 26220806 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943656544680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20225] ppid=20217 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/20220/task/20225/stat : 20225 (java) S 20217 20220 20157 0 -1 4202560 210 0 0 0 22 6 0 0 20 0 22 0 26220806 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943655491880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20220/tid=20226] ppid=20217 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/20220/task/20226/stat : 20226 (java) S 20217 20220 20157 0 -1 4202560 493 0 0 0 19 6 0 0 20 0 22 0 26220806 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943654439080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20227] ppid=20217 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/20220/task/20227/stat : 20227 (java) S 20217 20220 20157 0 -1 4202560 305 0 0 0 24 6 0 0 20 0 22 0 26220806 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943653387304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20228] ppid=20217 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/20220/task/20228/stat : 20228 (java) S 20217 20220 20157 0 -1 4202560 229 0 0 0 15 4 0 0 20 0 22 0 26220806 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943652334504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20220/tid=20229] ppid=20217 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/20220/task/20229/stat : 20229 (java) S 20217 20220 20157 0 -1 4202560 147 0 0 0 22 4 0 0 20 0 22 0 26220806 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943651281704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20230] ppid=20217 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/20220/task/20230/stat : 20230 (java) S 20217 20220 20157 0 -1 4202560 232 0 0 0 18 5 0 0 20 0 22 0 26220806 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943650228904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20231] ppid=20217 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/20220/task/20231/stat : 20231 (java) S 20217 20220 20157 0 -1 4202560 933 0 0 0 74 1 0 0 20 0 22 0 26220807 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943637817832 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20232] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20232/stat : 20232 (java) S 20217 20220 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26220808 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943636763896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20233] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20233/stat : 20233 (java) S 20217 20220 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26220808 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943635710984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20234] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20234/stat : 20234 (java) S 20217 20220 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26220810 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943634659472 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20235] ppid=20217 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/20220/task/20235/stat : 20235 (java) S 20217 20220 20157 0 -1 4202560 4164 0 0 0 82 2 0 0 20 0 22 0 26220810 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943633607608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20236] ppid=20217 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/20220/task/20236/stat : 20236 (java) S 20217 20220 20157 0 -1 4202560 5795 0 0 0 75 2 0 0 20 0 22 0 26220810 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943632554808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20237] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20237/stat : 20237 (java) S 20217 20220 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26220810 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943631502200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20238] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20238/stat : 20238 (java) S 20217 20220 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26220810 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943630449608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20255] ppid=20217 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/20220/task/20255/stat : 20255 (java) R 20217 20220 20157 0 -1 4202560 35 0 0 0 179 0 0 0 20 0 22 0 26221154 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943629345176 139943675341405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20256] ppid=20217 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/20220/task/20256/stat : 20256 (java) R 20217 20220 20157 0 -1 4202560 95 0 0 0 174 2 0 0 20 0 22 0 26221154 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943628291448 139943675262379 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20220/tid=20257] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20257/stat : 20257 (java) S 20217 20220 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26221171 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943627240360 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20258] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20258/stat : 20258 (java) S 20217 20220 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26221173 10060525568 248618 33554432000 1073741824 1073778376 140737090590592 139943626187560 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 11.3
################
# More data... #
################
/proc/20220/task/20225/stat : 20225 (java) S 20217 20220 20157 0 -1 4202560 8448 0 0 0 608 41 0 0 20 0 22 0 26220806 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943655491880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20226] ppid=20217 vsize=9824732 CPUtime=6.28 cores=1,3,5,7
/proc/20220/task/20226/stat : 20226 (java) S 20217 20220 20157 0 -1 4202560 10287 0 0 0 580 48 0 0 20 0 22 0 26220806 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943654439080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20227] ppid=20217 vsize=9824732 CPUtime=6.39 cores=1,3,5,7
/proc/20220/task/20227/stat : 20227 (java) S 20217 20220 20157 0 -1 4202560 4930 0 0 0 596 43 0 0 20 0 22 0 26220806 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943653387304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20228] ppid=20217 vsize=9824732 CPUtime=7.11 cores=1,3,5,7
/proc/20220/task/20228/stat : 20228 (java) S 20217 20220 20157 0 -1 4202560 6411 0 0 0 659 52 0 0 20 0 22 0 26220806 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943652334504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20229] ppid=20217 vsize=9824732 CPUtime=5.77 cores=1,3,5,7
/proc/20220/task/20229/stat : 20229 (java) S 20217 20220 20157 0 -1 4202560 4376 0 0 0 538 39 0 0 20 0 22 0 26220806 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943651281704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20230] ppid=20217 vsize=9824732 CPUtime=5.73 cores=1,3,5,7
/proc/20220/task/20230/stat : 20230 (java) S 20217 20220 20157 0 -1 4202560 7972 0 0 0 524 49 0 0 20 0 22 0 26220806 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943650228904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20231] ppid=20217 vsize=9824732 CPUtime=11.27 cores=1,3,5,7
/proc/20220/task/20231/stat : 20231 (java) R 20217 20220 20157 0 -1 4202560 2768 0 0 0 1121 6 0 0 20 0 22 0 26220807 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943637816592 139943819697295 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20232] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20232/stat : 20232 (java) S 20217 20220 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26220808 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943636763896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20233] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20233/stat : 20233 (java) S 20217 20220 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26220808 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943635710984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20234] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20234/stat : 20234 (java) S 20217 20220 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26220810 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943634659472 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20235] ppid=20217 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/20220/task/20235/stat : 20235 (java) S 20217 20220 20157 0 -1 4202560 4174 0 0 0 111 2 0 0 20 0 22 0 26220810 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943633607608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20236] ppid=20217 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/20220/task/20236/stat : 20236 (java) S 20217 20220 20157 0 -1 4202560 5853 0 0 0 110 2 0 0 20 0 22 0 26220810 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943632554808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20237] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20237/stat : 20237 (java) S 20217 20220 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26220810 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943631502200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20238] ppid=20217 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/20220/task/20238/stat : 20238 (java) S 20217 20220 20157 0 -1 4202560 47 0 0 0 17 18 0 0 20 0 22 0 26220810 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943630449608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20255] ppid=20217 vsize=9824732 CPUtime=792.79 cores=1,3,5,7
/proc/20220/task/20255/stat : 20255 (java) S 20217 20220 20157 0 -1 4202560 57 0 0 0 79266 13 0 0 20 0 22 0 26221154 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943629343544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20256] ppid=20217 vsize=9824732 CPUtime=792.84 cores=1,3,5,7
/proc/20220/task/20256/stat : 20256 (java) S 20217 20220 20157 0 -1 4202560 754 0 0 0 79264 20 0 0 20 0 22 0 26221154 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943628291544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20257] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20257/stat : 20257 (java) S 20217 20220 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26221171 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943627240360 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20258] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20258/stat : 20258 (java) S 20217 20220 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26221173 10060525568 1137572 33554432000 1073741824 1073778376 140737090590592 139943626187560 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1656.71
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.10 4.03 3.05 5/219 20302
/proc/meminfo: memFree=22878868/32872528 swapFree=1191052/1305516
[pid=20220] ppid=20217 vsize=9824732 CPUtime=1767.11 cores=1,3,5,7
/proc/20220/stat : 20220 (java) S 20217 20220 20157 0 -1 4202496 84680 0 1 0 176263 448 0 0 20 0 22 0 26220805 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 140737090581728 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20220/statm: 2456183 1258197 2297 9 0 2446860 0
[pid=20220/tid=20222] ppid=20217 vsize=9824732 CPUtime=3.15 cores=1,3,5,7
/proc/20220/task/20222/stat : 20222 (java) S 20217 20220 20157 0 -1 4202560 2760 0 1 0 307 8 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943813571448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20223] ppid=20217 vsize=9824732 CPUtime=6.85 cores=1,3,5,7
/proc/20220/task/20223/stat : 20223 (java) S 20217 20220 20157 0 -1 4202560 10174 0 0 0 633 52 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943657597480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20220/tid=20224] ppid=20217 vsize=9824732 CPUtime=6.92 cores=1,3,5,7
/proc/20220/task/20224/stat : 20224 (java) S 20217 20220 20157 0 -1 4202560 12042 0 0 0 643 49 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943656544680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20220/tid=20225] ppid=20217 vsize=9824732 CPUtime=7.32 cores=1,3,5,7
/proc/20220/task/20225/stat : 20225 (java) S 20217 20220 20157 0 -1 4202560 8525 0 0 0 686 46 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943655491880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20226] ppid=20217 vsize=9824732 CPUtime=7.07 cores=1,3,5,7
/proc/20220/task/20226/stat : 20226 (java) S 20217 20220 20157 0 -1 4202560 10382 0 0 0 654 53 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943654439080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20227] ppid=20217 vsize=9824732 CPUtime=7.03 cores=1,3,5,7
/proc/20220/task/20227/stat : 20227 (java) S 20217 20220 20157 0 -1 4202560 5338 0 0 0 656 47 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943653387304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20228] ppid=20217 vsize=9824732 CPUtime=7.99 cores=1,3,5,7
/proc/20220/task/20228/stat : 20228 (java) S 20217 20220 20157 0 -1 4202560 6513 0 0 0 740 59 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943652334504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20229] ppid=20217 vsize=9824732 CPUtime=6.49 cores=1,3,5,7
/proc/20220/task/20229/stat : 20229 (java) S 20217 20220 20157 0 -1 4202560 4437 0 0 0 605 44 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943651281704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20220/tid=20230] ppid=20217 vsize=9824732 CPUtime=6.35 cores=1,3,5,7
/proc/20220/task/20230/stat : 20230 (java) S 20217 20220 20157 0 -1 4202560 8045 0 0 0 581 54 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943650228904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20231] ppid=20217 vsize=9824732 CPUtime=23.76 cores=1,3,5,7
/proc/20220/task/20231/stat : 20231 (java) S 20217 20220 20157 0 -1 4202560 4307 0 0 0 2369 7 0 0 20 0 22 0 26220807 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943637817832 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20232] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20232/stat : 20232 (java) S 20217 20220 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26220808 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943636763896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20233] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20233/stat : 20233 (java) S 20217 20220 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26220808 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943635710984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20234] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20234/stat : 20234 (java) S 20217 20220 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26220810 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943634659472 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20235] ppid=20217 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/20220/task/20235/stat : 20235 (java) S 20217 20220 20157 0 -1 4202560 4174 0 0 0 111 2 0 0 20 0 22 0 26220810 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943633607608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20236] ppid=20217 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/20220/task/20236/stat : 20236 (java) S 20217 20220 20157 0 -1 4202560 5853 0 0 0 110 2 0 0 20 0 22 0 26220810 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943632554808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20237] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20237/stat : 20237 (java) S 20217 20220 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26220810 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943631502200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20238] ppid=20217 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/20220/task/20238/stat : 20238 (java) S 20217 20220 20157 0 -1 4202560 51 0 0 0 18 19 0 0 20 0 22 0 26220810 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943630449608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20255] ppid=20217 vsize=9824732 CPUtime=838.63 cores=1,3,5,7
/proc/20220/task/20255/stat : 20255 (java) R 20217 20220 20157 0 -1 4202560 57 0 0 0 83850 13 0 0 20 0 22 0 26221154 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943629336592 139943675618144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20256] ppid=20217 vsize=9824732 CPUtime=838.67 cores=1,3,5,7
/proc/20220/task/20256/stat : 20256 (java) R 20217 20220 20157 0 -1 4202560 757 0 0 0 83847 20 0 0 20 0 22 0 26221154 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943628291440 139943675376161 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20257] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20257/stat : 20257 (java) S 20217 20220 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26221171 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943627240360 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20258] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20258/stat : 20258 (java) S 20217 20220 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26221173 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943626187560 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1767.11
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.808 s]
/proc/loadavg: 4.07 4.03 3.06 6/219 20302
/proc/meminfo: memFree=23030232/32872528 swapFree=1191052/1305516
[pid=20220] ppid=20217 vsize=9824732 CPUtime=1800.1 cores=1,3,5,7
/proc/20220/stat : 20220 (java) S 20217 20220 20157 0 -1 4202496 84680 0 1 0 179562 448 0 0 20 0 22 0 26220805 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 140737090581728 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20220/statm: 2456183 1258197 2297 9 0 2446860 0
[pid=20220/tid=20222] ppid=20217 vsize=9824732 CPUtime=3.15 cores=1,3,5,7
/proc/20220/task/20222/stat : 20222 (java) S 20217 20220 20157 0 -1 4202560 2760 0 1 0 307 8 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943813571448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20223] ppid=20217 vsize=9824732 CPUtime=6.85 cores=1,3,5,7
/proc/20220/task/20223/stat : 20223 (java) S 20217 20220 20157 0 -1 4202560 10174 0 0 0 633 52 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943657597480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20220/tid=20224] ppid=20217 vsize=9824732 CPUtime=6.92 cores=1,3,5,7
/proc/20220/task/20224/stat : 20224 (java) S 20217 20220 20157 0 -1 4202560 12042 0 0 0 643 49 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943656544680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20220/tid=20225] ppid=20217 vsize=9824732 CPUtime=7.32 cores=1,3,5,7
/proc/20220/task/20225/stat : 20225 (java) S 20217 20220 20157 0 -1 4202560 8525 0 0 0 686 46 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943655491880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20226] ppid=20217 vsize=9824732 CPUtime=7.07 cores=1,3,5,7
/proc/20220/task/20226/stat : 20226 (java) S 20217 20220 20157 0 -1 4202560 10382 0 0 0 654 53 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943654439080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20227] ppid=20217 vsize=9824732 CPUtime=7.03 cores=1,3,5,7
/proc/20220/task/20227/stat : 20227 (java) S 20217 20220 20157 0 -1 4202560 5338 0 0 0 656 47 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943653387304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20228] ppid=20217 vsize=9824732 CPUtime=7.99 cores=1,3,5,7
/proc/20220/task/20228/stat : 20228 (java) S 20217 20220 20157 0 -1 4202560 6513 0 0 0 740 59 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943652334504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20229] ppid=20217 vsize=9824732 CPUtime=6.49 cores=1,3,5,7
/proc/20220/task/20229/stat : 20229 (java) S 20217 20220 20157 0 -1 4202560 4437 0 0 0 605 44 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943651281704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20220/tid=20230] ppid=20217 vsize=9824732 CPUtime=6.35 cores=1,3,5,7
/proc/20220/task/20230/stat : 20230 (java) S 20217 20220 20157 0 -1 4202560 8045 0 0 0 581 54 0 0 20 0 22 0 26220806 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943650228904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20231] ppid=20217 vsize=9824732 CPUtime=23.76 cores=1,3,5,7
/proc/20220/task/20231/stat : 20231 (java) S 20217 20220 20157 0 -1 4202560 4307 0 0 0 2369 7 0 0 20 0 22 0 26220807 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943637817832 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20232] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20232/stat : 20232 (java) S 20217 20220 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26220808 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943636763896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20233] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20233/stat : 20233 (java) S 20217 20220 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26220808 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943635710984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20234] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20234/stat : 20234 (java) S 20217 20220 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26220810 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943634659472 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20235] ppid=20217 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/20220/task/20235/stat : 20235 (java) S 20217 20220 20157 0 -1 4202560 4174 0 0 0 111 2 0 0 20 0 22 0 26220810 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943633607608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20236] ppid=20217 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/20220/task/20236/stat : 20236 (java) S 20217 20220 20157 0 -1 4202560 5853 0 0 0 110 2 0 0 20 0 22 0 26220810 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943632554808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20237] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20237/stat : 20237 (java) S 20217 20220 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26220810 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943631502200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20238] ppid=20217 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/20220/task/20238/stat : 20238 (java) S 20217 20220 20157 0 -1 4202560 51 0 0 0 18 20 0 0 20 0 22 0 26220810 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943630449608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20255] ppid=20217 vsize=9824732 CPUtime=855.08 cores=1,3,5,7
/proc/20220/task/20255/stat : 20255 (java) R 20217 20220 20157 0 -1 4202560 57 0 0 0 85495 13 0 0 20 0 22 0 26221154 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943629336592 139943675246900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20220/tid=20256] ppid=20217 vsize=9824732 CPUtime=855.12 cores=1,3,5,7
/proc/20220/task/20256/stat : 20256 (java) R 20217 20220 20157 0 -1 4202560 757 0 0 0 85492 20 0 0 20 0 22 0 26221154 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943628291440 139943675377550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20220/tid=20257] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20257/stat : 20257 (java) S 20217 20220 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26221171 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943627240360 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20220/tid=20258] ppid=20217 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20220/task/20258/stat : 20258 (java) S 20217 20220 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26221173 10060525568 1258197 33554432000 1073741824 1073778376 140737090590592 139943626187560 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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 20220 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20220 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=208694
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=952247
# CPU time returned by wait4() is 1796.16
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 898.88
CPU time (s): 1800.1
CPU user time (s): 1795.62
CPU system time (s): 4.48
CPU usage (%): 200.26
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.21
system time used= 4.95225
maximum resident set size= 5032908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84725
page faults= 1
swaps= 0
block input operations= 24
block output operations= 728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34225
involuntary context switches= 28918
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77212 second user time and 7.62584 second system time
The end