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-4085347-1465234213/watcher-4085347-1465234213 -o /tmp/evaluation-result-4085347-1465234213/solver-4085347-1465234213 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465218951-7201 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085347-1465234213.opb
pid=13251
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: 2.17 2.18 2.18 3/195 13254
/proc/meminfo: memFree=30179940/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/13254/stat : 13254 (java) D 13251 13254 7184 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 105354556 9515008 183 33554432000 1073741824 1073778376 140735391047280 140735391038312 214369648309 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2323 183 140 9 0 71 0
[startup+0.100121 s]
/proc/loadavg: 2.17 2.18 2.18 3/195 13254
/proc/meminfo: memFree=30179940/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 4349 0 1 0 7 1 0 0 20 0 18 0 105354556 9787879424 5471 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2389619 5472 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200282 s]
/proc/loadavg: 2.17 2.18 2.18 3/195 13254
/proc/meminfo: memFree=30179940/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625296 CPUtime=0.23 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 4944 0 1 0 22 1 0 0 20 0 19 0 105354556 9856303104 7557 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406324 7586 2214 9 0 2397001 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9625296
[startup+0.300279 s]
/proc/loadavg: 2.17 2.18 2.18 3/195 13254
/proc/meminfo: memFree=30179940/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 6675 0 1 0 48 2 0 0 20 0 19 0 105354556 9856040960 8396 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406260 8396 2243 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625040
[startup+0.700256 s]
/proc/loadavg: 2.17 2.18 2.18 3/195 13254
/proc/meminfo: memFree=30179940/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 12401 0 1 0 112 3 0 0 20 0 19 0 105354556 9856040960 12894 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406260 12894 2259 9 0 2396937 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9625040
[startup+1.50077 s]
/proc/loadavg: 2.15 2.18 2.18 3/214 13273
/proc/meminfo: memFree=30134540/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 12933 0 1 0 211 3 0 0 20 0 19 0 105354556 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406260 14623 2261 9 0 2396937 0
[pid=13254/tid=13256] ppid=13251 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/13254/task/13256/stat : 13256 (java) R 13251 13254 7184 0 -1 4202560 2415 0 1 0 146 0 0 0 20 0 19 0 105354557 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139766003272080 139765836370616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13257] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13257/stat : 13257 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765964765480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13258] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13258/stat : 13258 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765963712680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13259] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13259/stat : 13259 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765962660392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13260] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13260/stat : 13260 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765961607592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13261] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13261/stat : 13261 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765960555304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13262] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13262/stat : 13262 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765959502504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13263] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13263/stat : 13263 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765958450216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13264] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13264/stat : 13264 (java) S 13251 13254 7184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765957397416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13265] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13265/stat : 13265 (java) S 13251 13254 7184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105354559 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765827463400 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13266] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 7184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765826409464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13267] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765825357064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13268] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765824305552 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13269] ppid=13251 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/13254/task/13269/stat : 13269 (java) S 13251 13254 7184 0 -1 4202560 6869 0 0 0 35 1 0 0 20 0 19 0 105354563 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765823253176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13270] ppid=13251 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13254/task/13270/stat : 13270 (java) S 13251 13254 7184 0 -1 4202560 2377 0 0 0 28 0 0 0 20 0 19 0 105354563 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765822200376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13271] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13271/stat : 13271 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765821148280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13272] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13272/stat : 13272 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139764812475592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13273] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13273/stat : 13273 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354574 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139764811420584 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9625040
[startup+3.10075 s]
/proc/loadavg: 2.15 2.18 2.18 3/214 13273
/proc/meminfo: memFree=30127776/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625040 CPUtime=3.77 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 12945 0 1 0 374 3 0 0 20 0 19 0 105354556 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406260 17190 2261 9 0 2396937 0
[pid=13254/tid=13256] ppid=13251 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/13254/task/13256/stat : 13256 (java) R 13251 13254 7184 0 -1 4202560 2420 0 1 0 304 2 0 0 20 0 19 0 105354557 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139766003265216 139765836427224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13257] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13257/stat : 13257 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765964765480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13258] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13258/stat : 13258 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765963712680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13259] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13259/stat : 13259 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765962660392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13260] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13260/stat : 13260 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765961607592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13261] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13261/stat : 13261 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765960555304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13262] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13262/stat : 13262 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765959502504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13263] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13263/stat : 13263 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765958450216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13264] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13264/stat : 13264 (java) S 13251 13254 7184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765957397416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13265] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13265/stat : 13265 (java) S 13251 13254 7184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105354559 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765827463400 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13266] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 7184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765826409464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13267] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765825357064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13268] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765824305552 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13269] ppid=13251 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/13254/task/13269/stat : 13269 (java) S 13251 13254 7184 0 -1 4202560 6876 0 0 0 38 2 0 0 20 0 19 0 105354563 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765823253176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13270] ppid=13251 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13254/task/13270/stat : 13270 (java) S 13251 13254 7184 0 -1 4202560 2377 0 0 0 28 0 0 0 20 0 19 0 105354563 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765822200376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13271] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13271/stat : 13271 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765821148280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13272] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13272/stat : 13272 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139764812475592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13273] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13273/stat : 13273 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354574 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139764811420584 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 9625040
[startup+6.30077 s]
/proc/loadavg: 2.14 2.17 2.17 3/214 13273
/proc/meminfo: memFree=30115584/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625040 CPUtime=6.98 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 12955 0 1 0 694 4 0 0 20 0 19 0 105354556 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406260 20131 2262 9 0 2396937 0
[pid=13254/tid=13256] ppid=13251 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/13254/task/13256/stat : 13256 (java) R 13251 13254 7184 0 -1 4202560 2429 0 1 0 624 2 0 0 20 0 19 0 105354557 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139766003265216 139765836323768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13257] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13257/stat : 13257 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765964765480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13258] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13258/stat : 13258 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765963712680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13259] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13259/stat : 13259 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765962660392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13260] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13260/stat : 13260 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765961607592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13261] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13261/stat : 13261 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765960555304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13262] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13262/stat : 13262 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765959502504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13263] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13263/stat : 13263 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765958450216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13264] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13264/stat : 13264 (java) S 13251 13254 7184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765957397416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13265] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13265/stat : 13265 (java) S 13251 13254 7184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105354559 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765827463400 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13266] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 7184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765826409464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13267] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765825357064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13268] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765824305552 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13269] ppid=13251 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/13254/task/13269/stat : 13269 (java) S 13251 13254 7184 0 -1 4202560 6876 0 0 0 38 2 0 0 20 0 19 0 105354563 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765823253176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13270] ppid=13251 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13254/task/13270/stat : 13270 (java) S 13251 13254 7184 0 -1 4202560 2377 0 0 0 28 0 0 0 20 0 19 0 105354563 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765822200376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13271] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13271/stat : 13271 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765821148280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13272] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13272/stat : 13272 (java) S 13251 13254 7184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139764812475592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13273] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13273/stat : 13273 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354574 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139764811420584 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=13254/tid=13266] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 84978 33554432000 1073741824 1073778376 140734986377888 139765826409464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13267] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 84978 33554432000 1073741824 1073778376 140734986377888 139765825357064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13268] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 84978 33554432000 1073741824 1073778376 140734986377888 139765824305552 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13269] ppid=13251 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/13254/task/13269/stat : 13269 (java) S 13251 13254 7184 0 -1 4202560 6878 0 0 0 40 2 0 0 20 0 19 0 105354563 9856040960 84978 33554432000 1073741824 1073778376 140734986377888 139765823253176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13270] ppid=13251 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13254/task/13270/stat : 13270 (java) S 13251 13254 7184 0 -1 4202560 2377 0 0 0 28 0 0 0 20 0 19 0 105354563 9856040960 84978 33554432000 1073741824 1073778376 140734986377888 139765822200376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13271] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13271/stat : 13271 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 84978 33554432000 1073741824 1073778376 140734986377888 139765821148280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13272] ppid=13251 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/13254/task/13272/stat : 13272 (java) S 13251 13254 7184 0 -1 4202560 96 0 0 0 33 39 0 0 20 0 19 0 105354563 9856040960 84978 33554432000 1073741824 1073778376 140734986377888 139764812475592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13273] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13273/stat : 13273 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354574 9856040960 84978 33554432000 1073741824 1073778376 140734986377888 139764811420584 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1664.24
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.24 2.25 2.19 3/213 13378
/proc/meminfo: memFree=26737816/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625040 CPUtime=1724.3 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 14479 0 1 0 172371 59 0 0 20 0 19 0 105354556 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406260 85487 2276 9 0 2396937 0
[pid=13254/tid=13256] ppid=13251 vsize=9625040 CPUtime=1721.84 cores=1,3,5,7
/proc/13254/task/13256/stat : 13256 (java) R 13251 13254 7184 0 -1 4202560 2488 0 1 0 172149 35 0 0 20 0 19 0 105354557 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139766003272960 139765836427219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13257] ppid=13251 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/13254/task/13257/stat : 13257 (java) S 13251 13254 7184 0 -1 4202560 232 0 0 0 11 3 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765964765480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13258] ppid=13251 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/13254/task/13258/stat : 13258 (java) S 13251 13254 7184 0 -1 4202560 173 0 0 0 17 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765963712680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13259] ppid=13251 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/13254/task/13259/stat : 13259 (java) S 13251 13254 7184 0 -1 4202560 210 0 0 0 11 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765962660392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13260] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13260/stat : 13260 (java) S 13251 13254 7184 0 -1 4202560 279 0 0 0 15 1 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765961607592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13261] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13261/stat : 13261 (java) S 13251 13254 7184 0 -1 4202560 87 0 0 0 14 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765960555304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13262] ppid=13251 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/13254/task/13262/stat : 13262 (java) S 13251 13254 7184 0 -1 4202560 56 0 0 0 13 0 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765959502504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13263] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13263/stat : 13263 (java) S 13251 13254 7184 0 -1 4202560 187 0 0 0 14 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765958450216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13264] ppid=13251 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/13254/task/13264/stat : 13264 (java) S 13251 13254 7184 0 -1 4202560 87 0 0 0 12 3 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765957397416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13265] ppid=13251 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/13254/task/13265/stat : 13265 (java) S 13251 13254 7184 0 -1 4202560 67 0 0 0 0 2 0 0 20 0 19 0 105354559 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765827463400 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13266] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765826409464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13267] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765825357064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13268] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765824305552 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13269] ppid=13251 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/13254/task/13269/stat : 13269 (java) S 13251 13254 7184 0 -1 4202560 6878 0 0 0 40 2 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765823253176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13270] ppid=13251 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13254/task/13270/stat : 13270 (java) S 13251 13254 7184 0 -1 4202560 2377 0 0 0 28 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765822200376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13271] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13271/stat : 13271 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765821148280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13272] ppid=13251 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/13254/task/13272/stat : 13272 (java) S 13251 13254 7184 0 -1 4202560 100 0 0 0 35 40 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139764812475592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13273] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13273/stat : 13273 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354574 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139764811420584 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1724.3
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.58 2.35 2.23 3/213 13379
/proc/meminfo: memFree=26777472/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625040 CPUtime=1784.32 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 14483 0 1 0 178371 61 0 0 20 0 19 0 105354556 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406260 85487 2276 9 0 2396937 0
[pid=13254/tid=13256] ppid=13251 vsize=9625040 CPUtime=1781.84 cores=1,3,5,7
/proc/13254/task/13256/stat : 13256 (java) R 13251 13254 7184 0 -1 4202560 2488 0 1 0 178148 36 0 0 20 0 19 0 105354557 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139766003265216 139765836427219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13257] ppid=13251 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/13254/task/13257/stat : 13257 (java) S 13251 13254 7184 0 -1 4202560 232 0 0 0 11 3 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765964765480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13258] ppid=13251 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/13254/task/13258/stat : 13258 (java) S 13251 13254 7184 0 -1 4202560 173 0 0 0 17 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765963712680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13259] ppid=13251 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/13254/task/13259/stat : 13259 (java) S 13251 13254 7184 0 -1 4202560 210 0 0 0 11 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765962660392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13260] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13260/stat : 13260 (java) S 13251 13254 7184 0 -1 4202560 279 0 0 0 15 1 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765961607592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13261] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13261/stat : 13261 (java) S 13251 13254 7184 0 -1 4202560 87 0 0 0 14 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765960555304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13262] ppid=13251 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/13254/task/13262/stat : 13262 (java) S 13251 13254 7184 0 -1 4202560 56 0 0 0 13 0 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765959502504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13263] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13263/stat : 13263 (java) S 13251 13254 7184 0 -1 4202560 187 0 0 0 14 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765958450216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13264] ppid=13251 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/13254/task/13264/stat : 13264 (java) S 13251 13254 7184 0 -1 4202560 87 0 0 0 12 3 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765957397416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13265] ppid=13251 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/13254/task/13265/stat : 13265 (java) S 13251 13254 7184 0 -1 4202560 67 0 0 0 0 2 0 0 20 0 19 0 105354559 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765827463400 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13266] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765826409464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13267] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765825357064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13268] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765824305552 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13269] ppid=13251 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/13254/task/13269/stat : 13269 (java) S 13251 13254 7184 0 -1 4202560 6878 0 0 0 40 2 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765823253176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13270] ppid=13251 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13254/task/13270/stat : 13270 (java) S 13251 13254 7184 0 -1 4202560 2377 0 0 0 28 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765822200376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13271] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13271/stat : 13271 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765821148280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13272] ppid=13251 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/13254/task/13272/stat : 13272 (java) S 13251 13254 7184 0 -1 4202560 104 0 0 0 36 43 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139764812475592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13273] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13273/stat : 13273 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354574 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139764811420584 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1784.32
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798 s]
/proc/loadavg: 2.59 2.36 2.24 3/214 13382
/proc/meminfo: memFree=26776720/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 14483 0 1 0 179941 61 0 0 20 0 19 0 105354556 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406260 85487 2276 9 0 2396937 0
[pid=13254/tid=13256] ppid=13251 vsize=9625040 CPUtime=1797.54 cores=1,3,5,7
/proc/13254/task/13256/stat : 13256 (java) R 13251 13254 7184 0 -1 4202560 2488 0 1 0 179718 36 0 0 20 0 19 0 105354557 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139766003265216 139765836427219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13257] ppid=13251 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/13254/task/13257/stat : 13257 (java) S 13251 13254 7184 0 -1 4202560 232 0 0 0 11 3 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765964765480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13258] ppid=13251 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/13254/task/13258/stat : 13258 (java) S 13251 13254 7184 0 -1 4202560 173 0 0 0 17 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765963712680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13259] ppid=13251 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/13254/task/13259/stat : 13259 (java) S 13251 13254 7184 0 -1 4202560 210 0 0 0 11 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765962660392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13260] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13260/stat : 13260 (java) S 13251 13254 7184 0 -1 4202560 279 0 0 0 15 1 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765961607592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13261] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13261/stat : 13261 (java) S 13251 13254 7184 0 -1 4202560 87 0 0 0 14 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765960555304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13262] ppid=13251 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/13254/task/13262/stat : 13262 (java) S 13251 13254 7184 0 -1 4202560 56 0 0 0 13 0 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765959502504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13263] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13263/stat : 13263 (java) S 13251 13254 7184 0 -1 4202560 187 0 0 0 14 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765958450216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13264] ppid=13251 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/13254/task/13264/stat : 13264 (java) S 13251 13254 7184 0 -1 4202560 87 0 0 0 12 3 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765957397416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13265] ppid=13251 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/13254/task/13265/stat : 13265 (java) S 13251 13254 7184 0 -1 4202560 67 0 0 0 0 2 0 0 20 0 19 0 105354559 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765827463400 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13266] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765826409464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13267] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765825357064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13268] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765824305552 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13269] ppid=13251 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/13254/task/13269/stat : 13269 (java) S 13251 13254 7184 0 -1 4202560 6878 0 0 0 40 2 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765823253176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13270] ppid=13251 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13254/task/13270/stat : 13270 (java) S 13251 13254 7184 0 -1 4202560 2377 0 0 0 28 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765822200376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13271] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13271/stat : 13271 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765821148280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13272] ppid=13251 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/13254/task/13272/stat : 13272 (java) S 13251 13254 7184 0 -1 4202560 104 0 0 0 36 43 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139764812475592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13273] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13273/stat : 13273 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354574 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139764811420584 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040
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 13254 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1798.04
CPU time (s): 1800.61
CPU user time (s): 1799.49
CPU system time (s): 1.12383
CPU usage (%): 100.143
Max. virtual memory (cumulated for all children) (KiB): 9625296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 1.12383
maximum resident set size= 342104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14529
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38360
involuntary context switches= 4843
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4724 second user time and 14.5248 second system time
The end