runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3251566-1303586727/watcher-3251566-1303586727 -o /tmp/evaluation-result-3251566-1303586727/solver-3251566-1303586727 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3251566-1303586727.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.53 3.91 3.90 11/242 21334
/proc/meminfo: memFree=13956708/32951124 swapFree=67111528/67111528
[pid=21334] ppid=21332 vsize=11800 CPUtime=0 cores=5,7
/proc/21334/stat : 21334 (runsolver) R 21332 21334 20395 0 -1 4202560 45 0 0 0 0 0 0 0 21 0 1 0 470273472 12083200 55 33554432000 4194304 5434984 140734880182768 18446744073709551615 5055495 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/21334/statm: 2950 55 34 303 0 2644 0
[startup+0.073662 s]
/proc/loadavg: 3.53 3.91 3.90 11/242 21334
/proc/meminfo: memFree=13956708/32951124 swapFree=67111528/67111528
[pid=21334] ppid=21332 vsize=7569940 CPUtime=0.05 cores=5,7
/proc/21334/stat : 21334 (java) S 21332 21334 20395 0 -1 4202496 9373 0 1 0 4 1 0 0 21 0 18 0 470273472 7751618560 9070 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/21334/statm: 1892485 9070 1753 9 0 1883223 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7569940
[startup+0.100654 s]
/proc/loadavg: 3.53 3.91 3.90 11/242 21334
/proc/meminfo: memFree=13956708/32951124 swapFree=67111528/67111528
[pid=21334] ppid=21332 vsize=7569940 CPUtime=0.09 cores=5,7
/proc/21334/stat : 21334 (java) S 21332 21334 20395 0 -1 4202496 9901 0 1 0 7 2 0 0 21 0 18 0 470273472 7751618560 9598 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/21334/statm: 1892485 9598 1757 9 0 1883223 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7569940
[startup+0.300621 s]
/proc/loadavg: 3.53 3.91 3.90 11/242 21334
/proc/meminfo: memFree=13956708/32951124 swapFree=67111528/67111528
[pid=21334] ppid=21332 vsize=7640652 CPUtime=0.3 cores=5,7
/proc/21334/stat : 21334 (java) S 21332 21334 20395 0 -1 4202496 12513 0 1 0 28 2 0 0 21 0 18 0 470273472 7824027648 11931 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/21334/statm: 1910163 11932 2192 9 0 1900901 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 7640652
[startup+0.700548 s]
/proc/loadavg: 3.53 3.91 3.90 11/242 21334
/proc/meminfo: memFree=13956708/32951124 swapFree=67111528/67111528
[pid=21334] ppid=21332 vsize=7642996 CPUtime=0.86 cores=5,7
/proc/21334/stat : 21334 (java) S 21332 21334 20395 0 -1 4202496 22635 0 1 0 83 3 0 0 21 0 19 0 470273472 7826427904 20543 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/21334/statm: 1910749 20543 2216 9 0 1901487 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 7642996
[startup+1.50143 s]
/proc/loadavg: 3.53 3.91 3.90 10/262 21354
/proc/meminfo: memFree=13841428/32951124 swapFree=67111528/67111528
[pid=21334] ppid=21332 vsize=7643204 CPUtime=1.74 cores=5,7
/proc/21334/stat : 21334 (java) S 21332 21334 20395 0 -1 4202496 23652 0 1 0 171 3 0 0 21 0 19 0 470273472 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/21334/statm: 1910801 21556 2225 9 0 1901539 0
[pid=21334/tid=21336] ppid=21332 vsize=7643204 CPUtime=1.27 cores=5,7
/proc/21334/task/21336/stat : 21336 (java) R 21332 21334 20395 0 -1 4202560 18129 0 1 0 125 2 0 0 18 0 19 0 470273473 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 46912505721547 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21334/tid=21338] ppid=21332 vsize=7643204 CPUtime=0 cores=5,7
/proc/21334/task/21338/stat : 21338 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 470273475 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21339] ppid=21332 vsize=7643204 CPUtime=0 cores=5,7
/proc/21334/task/21339/stat : 21339 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273475 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21340] ppid=21332 vsize=7643204 CPUtime=0 cores=5,7
/proc/21334/task/21340/stat : 21340 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273475 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21341] ppid=21332 vsize=7643204 CPUtime=0 cores=5,7
/proc/21334/task/21341/stat : 21341 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273475 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21342] ppid=21332 vsize=7643204 CPUtime=0 cores=5,7
/proc/21334/task/21342/stat : 21342 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273475 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21343] ppid=21332 vsize=7643204 CPUtime=0 cores=5,7
/proc/21334/task/21343/stat : 21343 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273475 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21344] ppid=21332 vsize=7643204 CPUtime=0 cores=5,7
/proc/21334/task/21344/stat : 21344 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273475 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21345] ppid=21332 vsize=7643204 CPUtime=0 cores=5,7
/proc/21334/task/21345/stat : 21345 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273475 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21346] ppid=21332 vsize=7643204 CPUtime=0 cores=5,7
/proc/21334/task/21346/stat : 21346 (java) S 21332 21334 20395 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 470273476 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 0 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21347] ppid=21332 vsize=7643204 CPUtime=0 cores=5,7
/proc/21334/task/21347/stat : 21347 (java) S 21332 21334 20395 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 470273476 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21348] ppid=21332 vsize=7643204 CPUtime=0 cores=5,7
/proc/21334/task/21348/stat : 21348 (java) S 21332 21334 20395 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 470273476 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21349] ppid=21332 vsize=7643204 CPUtime=0 cores=5,7
/proc/21334/task/21349/stat : 21349 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273478 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933600689 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21350] ppid=21332 vsize=7643204 CPUtime=0.26 cores=5,7
/proc/21334/task/21350/stat : 21350 (java) S 21332 21334 20395 0 -1 4202560 2417 0 0 0 26 0 0 0 21 0 19 0 470273478 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21351] ppid=21332 vsize=7643204 CPUtime=0.19 cores=5,7
/proc/21334/task/21351/stat : 21351 (java) S 21332 21334 20395 0 -1 4202560 1946 0 0 0 19 0 0 0 21 0 19 0 470273478 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21352] ppid=21332 vsize=7643204 CPUtime=0 cores=5,7
/proc/21334/task/21352/stat : 21352 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273478 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21353] ppid=21332 vsize=7643204 CPUtime=0 cores=5,7
/proc/21334/task/21353/stat : 21353 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 470273478 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21354] ppid=21332 vsize=7643204 CPUtime=0 cores=5,7
/proc/21334/task/21354/stat : 21354 (java) S 21332 21334 20395 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 470273529 7826640896 21556 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 7643204
[startup+3.10114 s]
/proc/loadavg: 3.53 3.91 3.90 5/262 21354
/proc/meminfo: memFree=13713464/32951124 swapFree=67111528/67111528
[pid=21334] ppid=21332 vsize=7662024 CPUtime=3.57 cores=5,7
/proc/21334/stat : 21334 (java) S 21332 21334 20395 0 -1 4202496 45407 0 1 0 351 6 0 0 21 0 19 0 470273472 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/21334/statm: 1915506 41362 2252 9 0 1906244 0
[pid=21334/tid=21336] ppid=21332 vsize=7662024 CPUtime=2.7 cores=5,7
/proc/21334/task/21336/stat : 21336 (java) R 21332 21334 20395 0 -1 4202560 18906 0 1 0 267 3 0 0 17 0 19 0 470273473 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 46912505641722 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21334/tid=21338] ppid=21332 vsize=7662024 CPUtime=0.03 cores=5,7
/proc/21334/task/21338/stat : 21338 (java) S 21332 21334 20395 0 -1 4202560 4110 0 0 0 3 0 0 0 18 0 19 0 470273475 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21339] ppid=21332 vsize=7662024 CPUtime=0.01 cores=5,7
/proc/21334/task/21339/stat : 21339 (java) S 21332 21334 20395 0 -1 4202560 1599 0 0 0 1 0 0 0 18 0 19 0 470273475 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21340] ppid=21332 vsize=7662024 CPUtime=0 cores=5,7
/proc/21334/task/21340/stat : 21340 (java) S 21332 21334 20395 0 -1 4202560 901 0 0 0 0 0 0 0 18 0 19 0 470273475 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21341] ppid=21332 vsize=7662024 CPUtime=0 cores=5,7
/proc/21334/task/21341/stat : 21341 (java) S 21332 21334 20395 0 -1 4202560 141 0 0 0 0 0 0 0 18 0 19 0 470273475 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21342] ppid=21332 vsize=7662024 CPUtime=0 cores=5,7
/proc/21334/task/21342/stat : 21342 (java) S 21332 21334 20395 0 -1 4202560 552 0 0 0 0 0 0 0 18 0 19 0 470273475 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21343] ppid=21332 vsize=7662024 CPUtime=0 cores=5,7
/proc/21334/task/21343/stat : 21343 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 470273475 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21344] ppid=21332 vsize=7662024 CPUtime=0 cores=5,7
/proc/21334/task/21344/stat : 21344 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 470273475 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21345] ppid=21332 vsize=7662024 CPUtime=0 cores=5,7
/proc/21334/task/21345/stat : 21345 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 470273475 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21346] ppid=21332 vsize=7662024 CPUtime=0.1 cores=5,7
/proc/21334/task/21346/stat : 21346 (java) S 21332 21334 20395 0 -1 4202560 7204 0 0 0 10 0 0 0 16 0 19 0 470273476 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 0 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21347] ppid=21332 vsize=7662024 CPUtime=0 cores=5,7
/proc/21334/task/21347/stat : 21347 (java) S 21332 21334 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273476 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21348] ppid=21332 vsize=7662024 CPUtime=0 cores=5,7
/proc/21334/task/21348/stat : 21348 (java) S 21332 21334 20395 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 470273476 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21349] ppid=21332 vsize=7662024 CPUtime=0 cores=5,7
/proc/21334/task/21349/stat : 21349 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273478 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933600689 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21350] ppid=21332 vsize=7662024 CPUtime=0.46 cores=5,7
/proc/21334/task/21350/stat : 21350 (java) S 21332 21334 20395 0 -1 4202560 8891 0 0 0 45 1 0 0 16 0 19 0 470273478 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21351] ppid=21332 vsize=7662024 CPUtime=0.2 cores=5,7
/proc/21334/task/21351/stat : 21351 (java) S 21332 21334 20395 0 -1 4202560 1950 0 0 0 20 0 0 0 16 0 19 0 470273478 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21352] ppid=21332 vsize=7662024 CPUtime=0 cores=5,7
/proc/21334/task/21352/stat : 21352 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273478 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21353] ppid=21332 vsize=7662024 CPUtime=0 cores=5,7
/proc/21334/task/21353/stat : 21353 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 470273478 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21354] ppid=21332 vsize=7662024 CPUtime=0 cores=5,7
/proc/21334/task/21354/stat : 21354 (java) S 21332 21334 20395 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 470273529 7845912576 41362 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 7662024
[startup+6.30155 s]
/proc/loadavg: 3.65 3.92 3.90 5/262 21354
/proc/meminfo: memFree=13632764/32951124 swapFree=67111528/67111528
[pid=21334] ppid=21332 vsize=7656400 CPUtime=6.79 cores=5,7
/proc/21334/stat : 21334 (java) S 21332 21334 20395 0 -1 4202496 47924 0 1 0 672 7 0 0 21 0 19 0 470273472 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/21334/statm: 1914100 42612 2254 9 0 1904838 0
[pid=21334/tid=21336] ppid=21332 vsize=7656400 CPUtime=5.78 cores=5,7
/proc/21334/task/21336/stat : 21336 (java) R 21332 21334 20395 0 -1 4202560 18909 0 1 0 575 3 0 0 19 0 19 0 470273473 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 46912505594359 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21334/tid=21338] ppid=21332 vsize=7656400 CPUtime=0.03 cores=5,7
/proc/21334/task/21338/stat : 21338 (java) S 21332 21334 20395 0 -1 4202560 4110 0 0 0 3 0 0 0 17 0 19 0 470273475 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21339] ppid=21332 vsize=7656400 CPUtime=0.02 cores=5,7
/proc/21334/task/21339/stat : 21339 (java) S 21332 21334 20395 0 -1 4202560 1599 0 0 0 2 0 0 0 17 0 19 0 470273475 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21340] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21340/stat : 21340 (java) S 21332 21334 20395 0 -1 4202560 901 0 0 0 0 0 0 0 18 0 19 0 470273475 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21341] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21341/stat : 21341 (java) S 21332 21334 20395 0 -1 4202560 141 0 0 0 0 0 0 0 15 0 19 0 470273475 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21342] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21342/stat : 21342 (java) S 21332 21334 20395 0 -1 4202560 1601 0 0 0 0 0 0 0 15 0 19 0 470273475 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21343] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21343/stat : 21343 (java) S 21332 21334 20395 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 470273475 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21344] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21344/stat : 21344 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 470273475 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21345] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21345/stat : 21345 (java) S 21332 21334 20395 0 -1 4202560 739 0 0 0 0 0 0 0 15 0 19 0 470273475 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21346] ppid=21332 vsize=7656400 CPUtime=0.19 cores=5,7
/proc/21334/task/21346/stat : 21346 (java) S 21332 21334 20395 0 -1 4202560 7884 0 0 0 19 0 0 0 16 0 19 0 470273476 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 0 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21347] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21347/stat : 21347 (java) S 21332 21334 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273476 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21348] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21348/stat : 21348 (java) S 21332 21334 20395 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 470273476 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21349] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21349/stat : 21349 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273478 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933600689 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21350] ppid=21332 vsize=7656400 CPUtime=0.46 cores=5,7
/proc/21334/task/21350/stat : 21350 (java) S 21332 21334 20395 0 -1 4202560 8891 0 0 0 45 1 0 0 16 0 19 0 470273478 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21351] ppid=21332 vsize=7656400 CPUtime=0.22 cores=5,7
/proc/21334/task/21351/stat : 21351 (java) S 21332 21334 20395 0 -1 4202560 1952 0 0 0 22 0 0 0 15 0 19 0 470273478 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21352] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21352/stat : 21352 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273478 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21353] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21353/stat : 21353 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 470273478 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21354] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21354/stat : 21354 (java) S 21332 21334 20395 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 470273529 7840153600 42612 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 7656400
[startup+12.7014 s]
################
# More data... #
################
[pid=21334/tid=21343] ppid=21332 vsize=7656400 CPUtime=0.13 cores=5,7
/proc/21334/task/21343/stat : 21343 (java) S 21332 21334 20395 0 -1 4202560 3487 0 0 0 13 0 0 0 15 0 19 0 470273475 7840153600 82294 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21344] ppid=21332 vsize=7656400 CPUtime=0.15 cores=5,7
/proc/21334/task/21344/stat : 21344 (java) S 21332 21334 20395 0 -1 4202560 1943 0 0 0 15 0 0 0 15 0 19 0 470273475 7840153600 82294 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21345] ppid=21332 vsize=7656400 CPUtime=0.12 cores=5,7
/proc/21334/task/21345/stat : 21345 (java) S 21332 21334 20395 0 -1 4202560 3195 0 0 0 12 0 0 0 15 0 19 0 470273475 7840153600 82294 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21346] ppid=21332 vsize=7656400 CPUtime=4.91 cores=5,7
/proc/21334/task/21346/stat : 21346 (java) S 21332 21334 20395 0 -1 4202560 21794 0 0 0 489 2 0 0 15 0 19 0 470273476 7840153600 82294 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 0 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21347] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21347/stat : 21347 (java) S 21332 21334 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273476 7840153600 82294 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21348] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21348/stat : 21348 (java) S 21332 21334 20395 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 470273476 7840153600 82294 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21349] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21349/stat : 21349 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273478 7840153600 82294 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933600689 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21350] ppid=21332 vsize=7656400 CPUtime=0.46 cores=5,7
/proc/21334/task/21350/stat : 21350 (java) S 21332 21334 20395 0 -1 4202560 8891 0 0 0 45 1 0 0 16 0 19 0 470273478 7840153600 82294 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21351] ppid=21332 vsize=7656400 CPUtime=0.26 cores=5,7
/proc/21334/task/21351/stat : 21351 (java) S 21332 21334 20395 0 -1 4202560 2105 0 0 0 26 0 0 0 15 0 19 0 470273478 7840153600 82294 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21352] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21352/stat : 21352 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273478 7840153600 82294 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21353] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21353/stat : 21353 (java) S 21332 21334 20395 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 470273478 7840153600 82294 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21354] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21354/stat : 21354 (java) S 21332 21334 20395 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 470273529 7840153600 82294 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1123.39
Current children cumulated vsize (KiB) 7656400
[startup+1182.3 s]
/proc/loadavg: 4.03 4.02 3.97 5/262 21385
/proc/meminfo: memFree=13204780/32951124 swapFree=67111528/67111528
[pid=21334] ppid=21332 vsize=7656400 CPUtime=1183.41 cores=5,7
/proc/21334/stat : 21334 (java) S 21332 21334 20395 0 -1 4202496 87962 0 1 0 118325 16 0 0 21 0 19 0 470273472 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/21334/statm: 1914100 82321 2254 9 0 1904838 0
[pid=21334/tid=21336] ppid=21332 vsize=7656400 CPUtime=1176.3 cores=5,7
/proc/21334/task/21336/stat : 21336 (java) R 21332 21334 20395 0 -1 4202560 24723 0 1 0 117624 6 0 0 25 0 19 0 470273473 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 46912505620221 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21334/tid=21338] ppid=21332 vsize=7656400 CPUtime=0.19 cores=5,7
/proc/21334/task/21338/stat : 21338 (java) S 21332 21334 20395 0 -1 4202560 6633 0 0 0 18 1 0 0 15 0 19 0 470273475 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21339] ppid=21332 vsize=7656400 CPUtime=0.14 cores=5,7
/proc/21334/task/21339/stat : 21339 (java) S 21332 21334 20395 0 -1 4202560 4119 0 0 0 14 0 0 0 15 0 19 0 470273475 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21340] ppid=21332 vsize=7656400 CPUtime=0.15 cores=5,7
/proc/21334/task/21340/stat : 21340 (java) S 21332 21334 20395 0 -1 4202560 4555 0 0 0 15 0 0 0 15 0 19 0 470273475 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21341] ppid=21332 vsize=7656400 CPUtime=0.15 cores=5,7
/proc/21334/task/21341/stat : 21341 (java) S 21332 21334 20395 0 -1 4202560 268 0 0 0 15 0 0 0 16 0 19 0 470273475 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21342] ppid=21332 vsize=7656400 CPUtime=0.17 cores=5,7
/proc/21334/task/21342/stat : 21342 (java) S 21332 21334 20395 0 -1 4202560 5030 0 0 0 17 0 0 0 15 0 19 0 470273475 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21343] ppid=21332 vsize=7656400 CPUtime=0.13 cores=5,7
/proc/21334/task/21343/stat : 21343 (java) S 21332 21334 20395 0 -1 4202560 3487 0 0 0 13 0 0 0 15 0 19 0 470273475 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21344] ppid=21332 vsize=7656400 CPUtime=0.17 cores=5,7
/proc/21334/task/21344/stat : 21344 (java) S 21332 21334 20395 0 -1 4202560 1944 0 0 0 17 0 0 0 16 0 19 0 470273475 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21345] ppid=21332 vsize=7656400 CPUtime=0.12 cores=5,7
/proc/21334/task/21345/stat : 21345 (java) S 21332 21334 20395 0 -1 4202560 3195 0 0 0 12 0 0 0 15 0 19 0 470273475 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21346] ppid=21332 vsize=7656400 CPUtime=5.04 cores=5,7
/proc/21334/task/21346/stat : 21346 (java) S 21332 21334 20395 0 -1 4202560 21796 0 0 0 502 2 0 0 15 0 19 0 470273476 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 0 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21347] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21347/stat : 21347 (java) S 21332 21334 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273476 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21348] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21348/stat : 21348 (java) S 21332 21334 20395 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 470273476 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21349] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21349/stat : 21349 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273478 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933600689 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21350] ppid=21332 vsize=7656400 CPUtime=0.46 cores=5,7
/proc/21334/task/21350/stat : 21350 (java) S 21332 21334 20395 0 -1 4202560 8891 0 0 0 45 1 0 0 16 0 19 0 470273478 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21351] ppid=21332 vsize=7656400 CPUtime=0.26 cores=5,7
/proc/21334/task/21351/stat : 21351 (java) S 21332 21334 20395 0 -1 4202560 2105 0 0 0 26 0 0 0 15 0 19 0 470273478 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21352] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21352/stat : 21352 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273478 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21353] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21353/stat : 21353 (java) S 21332 21334 20395 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 470273478 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21354] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21354/stat : 21354 (java) S 21332 21334 20395 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 470273529 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1183.41
Current children cumulated vsize (KiB) 7656400
[startup+1242.3 s]
/proc/loadavg: 4.01 4.01 3.97 5/262 21387
/proc/meminfo: memFree=13200288/32951124 swapFree=67111528/67111528
[pid=21334] ppid=21332 vsize=7656400 CPUtime=1243.42 cores=5,7
/proc/21334/stat : 21334 (java) S 21332 21334 20395 0 -1 4202496 87966 0 1 0 124326 16 0 0 21 0 19 0 470273472 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/21334/statm: 1914100 82321 2254 9 0 1904838 0
[pid=21334/tid=21336] ppid=21332 vsize=7656400 CPUtime=1236.3 cores=5,7
/proc/21334/task/21336/stat : 21336 (java) R 21332 21334 20395 0 -1 4202560 24723 0 1 0 123624 6 0 0 25 0 19 0 470273473 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 46912505700177 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21334/tid=21338] ppid=21332 vsize=7656400 CPUtime=0.19 cores=5,7
/proc/21334/task/21338/stat : 21338 (java) S 21332 21334 20395 0 -1 4202560 6633 0 0 0 18 1 0 0 15 0 19 0 470273475 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21339] ppid=21332 vsize=7656400 CPUtime=0.14 cores=5,7
/proc/21334/task/21339/stat : 21339 (java) S 21332 21334 20395 0 -1 4202560 4119 0 0 0 14 0 0 0 15 0 19 0 470273475 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21340] ppid=21332 vsize=7656400 CPUtime=0.15 cores=5,7
/proc/21334/task/21340/stat : 21340 (java) S 21332 21334 20395 0 -1 4202560 4555 0 0 0 15 0 0 0 15 0 19 0 470273475 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21341] ppid=21332 vsize=7656400 CPUtime=0.15 cores=5,7
/proc/21334/task/21341/stat : 21341 (java) S 21332 21334 20395 0 -1 4202560 268 0 0 0 15 0 0 0 16 0 19 0 470273475 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21342] ppid=21332 vsize=7656400 CPUtime=0.17 cores=5,7
/proc/21334/task/21342/stat : 21342 (java) S 21332 21334 20395 0 -1 4202560 5030 0 0 0 17 0 0 0 15 0 19 0 470273475 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21343] ppid=21332 vsize=7656400 CPUtime=0.13 cores=5,7
/proc/21334/task/21343/stat : 21343 (java) S 21332 21334 20395 0 -1 4202560 3487 0 0 0 13 0 0 0 15 0 19 0 470273475 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21344] ppid=21332 vsize=7656400 CPUtime=0.17 cores=5,7
/proc/21334/task/21344/stat : 21344 (java) S 21332 21334 20395 0 -1 4202560 1944 0 0 0 17 0 0 0 16 0 19 0 470273475 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21345] ppid=21332 vsize=7656400 CPUtime=0.12 cores=5,7
/proc/21334/task/21345/stat : 21345 (java) S 21332 21334 20395 0 -1 4202560 3195 0 0 0 12 0 0 0 15 0 19 0 470273475 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21346] ppid=21332 vsize=7656400 CPUtime=5.04 cores=5,7
/proc/21334/task/21346/stat : 21346 (java) S 21332 21334 20395 0 -1 4202560 21796 0 0 0 502 2 0 0 15 0 19 0 470273476 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 0 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21347] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21347/stat : 21347 (java) S 21332 21334 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273476 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21348] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21348/stat : 21348 (java) S 21332 21334 20395 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 470273476 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21349] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21349/stat : 21349 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273478 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933600689 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21350] ppid=21332 vsize=7656400 CPUtime=0.46 cores=5,7
/proc/21334/task/21350/stat : 21350 (java) S 21332 21334 20395 0 -1 4202560 8891 0 0 0 45 1 0 0 16 0 19 0 470273478 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21351] ppid=21332 vsize=7656400 CPUtime=0.26 cores=5,7
/proc/21334/task/21351/stat : 21351 (java) S 21332 21334 20395 0 -1 4202560 2105 0 0 0 26 0 0 0 15 0 19 0 470273478 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21352] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21352/stat : 21352 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273478 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21353] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21353/stat : 21353 (java) S 21332 21334 20395 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 470273478 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21354] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21354/stat : 21354 (java) S 21332 21334 20395 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 470273529 7840153600 82321 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1243.42
Current children cumulated vsize (KiB) 7656400
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.08 4.02 3.97 2/202 21397
/proc/meminfo: memFree=13768268/32951124 swapFree=67111528/67111528
[pid=21334] ppid=21332 vsize=7656400 CPUtime=1301.14 cores=5,7
/proc/21334/stat : 21334 (java) S 21332 21334 20395 0 -1 4202496 88692 0 1 0 130098 16 0 0 21 0 19 0 470273472 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/21334/statm: 1914100 83040 2254 9 0 1904838 0
[pid=21334/tid=21336] ppid=21332 vsize=7656400 CPUtime=1293.81 cores=5,7
/proc/21334/task/21336/stat : 21336 (java) R 21332 21334 20395 0 -1 4202560 25442 0 1 0 129374 7 0 0 25 0 19 0 470273473 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 46912505700790 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21334/tid=21338] ppid=21332 vsize=7656400 CPUtime=0.19 cores=5,7
/proc/21334/task/21338/stat : 21338 (java) S 21332 21334 20395 0 -1 4202560 6633 0 0 0 18 1 0 0 15 0 19 0 470273475 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21339] ppid=21332 vsize=7656400 CPUtime=0.14 cores=5,7
/proc/21334/task/21339/stat : 21339 (java) S 21332 21334 20395 0 -1 4202560 4119 0 0 0 14 0 0 0 15 0 19 0 470273475 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21340] ppid=21332 vsize=7656400 CPUtime=0.17 cores=5,7
/proc/21334/task/21340/stat : 21340 (java) S 21332 21334 20395 0 -1 4202560 4556 0 0 0 17 0 0 0 16 0 19 0 470273475 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21341] ppid=21332 vsize=7656400 CPUtime=0.15 cores=5,7
/proc/21334/task/21341/stat : 21341 (java) S 21332 21334 20395 0 -1 4202560 268 0 0 0 15 0 0 0 15 0 19 0 470273475 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21342] ppid=21332 vsize=7656400 CPUtime=0.2 cores=5,7
/proc/21334/task/21342/stat : 21342 (java) S 21332 21334 20395 0 -1 4202560 5030 0 0 0 20 0 0 0 16 0 19 0 470273475 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21343] ppid=21332 vsize=7656400 CPUtime=0.13 cores=5,7
/proc/21334/task/21343/stat : 21343 (java) S 21332 21334 20395 0 -1 4202560 3487 0 0 0 13 0 0 0 15 0 19 0 470273475 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21344] ppid=21332 vsize=7656400 CPUtime=0.17 cores=5,7
/proc/21334/task/21344/stat : 21344 (java) S 21332 21334 20395 0 -1 4202560 1944 0 0 0 17 0 0 0 15 0 19 0 470273475 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21345] ppid=21332 vsize=7656400 CPUtime=0.12 cores=5,7
/proc/21334/task/21345/stat : 21345 (java) S 21332 21334 20395 0 -1 4202560 3195 0 0 0 12 0 0 0 15 0 19 0 470273475 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21346] ppid=21332 vsize=7656400 CPUtime=5.22 cores=5,7
/proc/21334/task/21346/stat : 21346 (java) S 21332 21334 20395 0 -1 4202560 21798 0 0 0 520 2 0 0 15 0 19 0 470273476 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 0 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21347] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21347/stat : 21347 (java) S 21332 21334 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273476 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21348] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21348/stat : 21348 (java) S 21332 21334 20395 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 470273476 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21349] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21349/stat : 21349 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273478 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933600689 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21350] ppid=21332 vsize=7656400 CPUtime=0.46 cores=5,7
/proc/21334/task/21350/stat : 21350 (java) S 21332 21334 20395 0 -1 4202560 8891 0 0 0 45 1 0 0 16 0 19 0 470273478 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21351] ppid=21332 vsize=7656400 CPUtime=0.26 cores=5,7
/proc/21334/task/21351/stat : 21351 (java) S 21332 21334 20395 0 -1 4202560 2105 0 0 0 26 0 0 0 15 0 19 0 470273478 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
[pid=21334/tid=21352] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21352/stat : 21352 (java) S 21332 21334 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273478 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933592985 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21353] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21353/stat : 21353 (java) S 21332 21334 20395 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 470273478 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 4 0 16800975 18446604471128896704 0 0 -1 7 0 0 0
[pid=21334/tid=21354] ppid=21332 vsize=7656400 CPUtime=0 cores=5,7
/proc/21334/task/21354/stat : 21354 (java) S 21332 21334 20395 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 470273529 7840153600 83040 33554432000 1073741824 1073778376 140733203259232 18446744073709551615 222933593600 0 4 0 16800975 18446604471128896704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1301.14
Current children cumulated vsize (KiB) 7656400
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.06
CPU time (s): 1301.24
CPU user time (s): 1301.05
CPU system time (s): 0.186971
CPU usage (%): 100.091
Max. virtual memory (cumulated for all children) (KiB): 7662024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.05
system time used= 0.186971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89059
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27892
involuntary context switches= 4182
runsolver used 2.10568 second user time and 5.03923 second system time
The end