runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458757-1307148498/watcher-3458757-1307148498 -o /tmp/evaluation-result-3458757-1307148498/solver-3458757-1307148498 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458757-1307148498.opb
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: 1.01 1.01 1.18 2/455 20121
/proc/meminfo: memFree=31315708/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 3047 0 1 0 0 0 0 0 24 0 2 0 826448566 13833195520 2748 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3377245 2762 906 9 0 3368401 0
[pid=20121/tid=20122] ppid=20119 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 6311 0 1 0 0 0 0 0 25 0 2 0 826448566 13850947584 7127 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.081127 s]
/proc/loadavg: 1.01 1.01 1.18 2/455 20121
/proc/meminfo: memFree=31315708/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13555244 CPUtime=0.08 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 14537 0 1 0 6 2 0 0 24 0 18 0 826448566 13880569856 14233 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3388811 14261 1795 9 0 3379545 0
[pid=20121/tid=20122] ppid=20119 vsize=13555244 CPUtime=0.06 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 13329 0 1 0 5 1 0 0 25 0 18 0 826448566 13880569856 14271 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606692533 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13555244
[startup+0.101049 s]
/proc/loadavg: 1.01 1.01 1.18 2/455 20121
/proc/meminfo: memFree=31315708/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13621932 CPUtime=0.11 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 15515 0 1 0 9 2 0 0 24 0 18 0 826448566 13948858368 15211 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3405483 15211 2092 9 0 3396217 0
[pid=20121/tid=20122] ppid=20119 vsize=13621932 CPUtime=0.08 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 13613 0 1 0 7 1 0 0 25 0 18 0 826448566 13948858368 15211 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621932
[startup+0.301015 s]
/proc/loadavg: 1.01 1.01 1.18 2/455 20121
/proc/meminfo: memFree=31315708/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13623488 CPUtime=0.48 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 18578 0 1 0 46 2 0 0 24 0 18 0 826448566 13950451712 18000 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3405872 18000 2201 9 0 3396606 0
[pid=20121/tid=20122] ppid=20119 vsize=13623488 CPUtime=0.29 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 15520 0 1 0 27 2 0 0 25 0 18 0 826448566 13950451712 18000 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 46912505217836 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13623488
[startup+0.700946 s]
/proc/loadavg: 1.01 1.01 1.18 2/455 20121
/proc/meminfo: memFree=31315708/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13623488 CPUtime=0.99 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 57442 0 1 0 93 6 0 0 24 0 18 0 826448566 13950451712 55995 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3405872 55995 2211 9 0 3396606 0
[pid=20121/tid=20122] ppid=20119 vsize=13623488 CPUtime=0.69 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 52573 0 1 0 64 5 0 0 25 0 18 0 826448566 13950451712 55995 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 46912505560081 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 13623488
[startup+1.50086 s]
/proc/loadavg: 1.01 1.01 1.18 3/483 20149
/proc/meminfo: memFree=30865740/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13624936 CPUtime=2.14 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 67985 0 1 0 207 7 0 0 24 0 19 0 826448566 13951934464 66220 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3406234 66221 2232 9 0 3396968 0
[pid=20121/tid=20122] ppid=20119 vsize=13624936 CPUtime=1.48 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 62462 0 1 0 142 6 0 0 25 0 19 0 826448566 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 47873553304403 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20121/tid=20127] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20127/stat : 20127 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448568 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20128] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20128/stat : 20128 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448568 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20129] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20129/stat : 20129 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448568 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20130] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20130/stat : 20130 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448568 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20131] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20131/stat : 20131 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448568 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20132] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20132/stat : 20132 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448568 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20133] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20133/stat : 20133 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448568 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20134] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20134/stat : 20134 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448568 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20140] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20140/stat : 20140 (java) S 20119 20121 12983 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 0 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20141] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20141/stat : 20141 (java) S 20119 20121 12983 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 826448569 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20142] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20142/stat : 20142 (java) S 20119 20121 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826448569 13951934464 66223 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20143] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20143/stat : 20143 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826448572 13951934464 66223 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606690225 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20144] ppid=20119 vsize=13624936 CPUtime=0.37 cores=1,3,5,7
/proc/20121/task/20144/stat : 20144 (java) S 20119 20121 12983 0 -1 4202560 2999 0 0 0 37 0 0 0 15 0 19 0 826448572 13951934464 66223 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20145] ppid=20119 vsize=13624936 CPUtime=0.26 cores=1,3,5,7
/proc/20121/task/20145/stat : 20145 (java) S 20119 20121 12983 0 -1 4202560 1364 0 0 0 26 0 0 0 17 0 19 0 826448572 13951934464 66223 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20146] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20146/stat : 20146 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826448572 13951934464 66223 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20147] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20147/stat : 20147 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826448572 13951934464 66223 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20149] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20149/stat : 20149 (java) S 20119 20121 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448643 13951934464 66223 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 13624936
[startup+3.10152 s]
/proc/loadavg: 1.01 1.01 1.18 3/483 20149
/proc/meminfo: memFree=30820232/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13624936 CPUtime=3.83 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 87908 0 1 0 374 9 0 0 24 0 19 0 826448566 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3406234 86133 2260 9 0 3396968 0
[pid=20121/tid=20122] ppid=20119 vsize=13624936 CPUtime=3.02 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 69454 0 1 0 295 7 0 0 25 0 19 0 826448566 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 46912505773703 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20121/tid=20127] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20127/stat : 20127 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20128] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20128/stat : 20128 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20129] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20129/stat : 20129 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20130] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20130/stat : 20130 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20131] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20131/stat : 20131 (java) S 20119 20121 12983 0 -1 4202560 53 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20132] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20132/stat : 20132 (java) S 20119 20121 12983 0 -1 4202560 3542 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20133] ppid=20119 vsize=13624936 CPUtime=0.01 cores=1,3,5,7
/proc/20121/task/20133/stat : 20133 (java) S 20119 20121 12983 0 -1 4202560 2073 0 0 0 1 0 0 0 18 0 19 0 826448568 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20134] ppid=20119 vsize=13624936 CPUtime=0.01 cores=1,3,5,7
/proc/20121/task/20134/stat : 20134 (java) S 20119 20121 12983 0 -1 4202560 818 0 0 0 1 0 0 0 18 0 19 0 826448568 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20140] ppid=20119 vsize=13624936 CPUtime=0.03 cores=1,3,5,7
/proc/20121/task/20140/stat : 20140 (java) S 20119 20121 12983 0 -1 4202560 6429 0 0 0 3 0 0 0 17 0 19 0 826448569 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 0 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20141] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20141/stat : 20141 (java) S 20119 20121 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20142] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20142/stat : 20142 (java) S 20119 20121 12983 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20143] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20143/stat : 20143 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826448572 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606690225 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20144] ppid=20119 vsize=13624936 CPUtime=0.42 cores=1,3,5,7
/proc/20121/task/20144/stat : 20144 (java) S 20119 20121 12983 0 -1 4202560 3011 0 0 0 42 0 0 0 16 0 19 0 826448572 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20145] ppid=20119 vsize=13624936 CPUtime=0.28 cores=1,3,5,7
/proc/20121/task/20145/stat : 20145 (java) S 20119 20121 12983 0 -1 4202560 1371 0 0 0 28 0 0 0 16 0 19 0 826448572 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20146] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20146/stat : 20146 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826448572 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20147] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20147/stat : 20147 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826448572 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20149] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20149/stat : 20149 (java) S 20119 20121 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448643 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 13624936
[startup+6.30096 s]
/proc/loadavg: 1.09 1.03 1.18 3/483 20149
/proc/meminfo: memFree=30620356/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13624936 CPUtime=7.07 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 97049 0 1 0 696 11 0 0 24 0 19 0 826448566 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3406234 95264 2260 9 0 3396968 0
[pid=20121/tid=20122] ppid=20119 vsize=13624936 CPUtime=6.18 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 69456 0 1 0 611 7 0 0 25 0 19 0 826448566 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 46912505774168 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20121/tid=20127] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20127/stat : 20127 (java) S 20119 20121 12983 0 -1 4202560 2077 0 0 0 0 0 0 0 15 0 19 0 826448568 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20128] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20128/stat : 20128 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826448568 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20129] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20129/stat : 20129 (java) S 20119 20121 12983 0 -1 4202560 1379 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20130] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20130/stat : 20130 (java) S 20119 20121 12983 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 826448568 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20131] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20131/stat : 20131 (java) S 20119 20121 12983 0 -1 4202560 1972 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20132] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20132/stat : 20132 (java) S 20119 20121 12983 0 -1 4202560 4250 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20133] ppid=20119 vsize=13624936 CPUtime=0.01 cores=1,3,5,7
/proc/20121/task/20133/stat : 20133 (java) S 20119 20121 12983 0 -1 4202560 2073 0 0 0 1 0 0 0 18 0 19 0 826448568 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20134] ppid=20119 vsize=13624936 CPUtime=0.01 cores=1,3,5,7
/proc/20121/task/20134/stat : 20134 (java) S 20119 20121 12983 0 -1 4202560 818 0 0 0 1 0 0 0 18 0 19 0 826448568 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20140] ppid=20119 vsize=13624936 CPUtime=0.06 cores=1,3,5,7
/proc/20121/task/20140/stat : 20140 (java) S 20119 20121 12983 0 -1 4202560 9402 0 0 0 6 0 0 0 15 0 19 0 826448569 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 0 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20141] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20141/stat : 20141 (java) S 20119 20121 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20142] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20142/stat : 20142 (java) S 20119 20121 12983 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20143] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20143/stat : 20143 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826448572 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606690225 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20144] ppid=20119 vsize=13624936 CPUtime=0.43 cores=1,3,5,7
/proc/20121/task/20144/stat : 20144 (java) S 20119 20121 12983 0 -1 4202560 3014 0 0 0 43 0 0 0 16 0 19 0 826448572 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20145] ppid=20119 vsize=13624936 CPUtime=0.29 cores=1,3,5,7
/proc/20121/task/20145/stat : 20145 (java) S 20119 20121 12983 0 -1 4202560 1374 0 0 0 29 0 0 0 15 0 19 0 826448572 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=20121/tid=20132] ppid=20119 vsize=13624936 CPUtime=1.12 cores=1,3,5,7
/proc/20121/task/20132/stat : 20132 (java) S 20119 20121 12983 0 -1 4202560 16731 0 0 0 110 2 0 0 16 0 19 0 826448568 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20133] ppid=20119 vsize=13624936 CPUtime=1.27 cores=1,3,5,7
/proc/20121/task/20133/stat : 20133 (java) S 20119 20121 12983 0 -1 4202560 20992 0 0 0 125 2 0 0 15 0 19 0 826448568 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20134] ppid=20119 vsize=13624936 CPUtime=1.42 cores=1,3,5,7
/proc/20121/task/20134/stat : 20134 (java) S 20119 20121 12983 0 -1 4202560 15265 0 0 0 140 2 0 0 16 0 19 0 826448568 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20140] ppid=20119 vsize=13624936 CPUtime=9.54 cores=1,3,5,7
/proc/20121/task/20140/stat : 20140 (java) S 20119 20121 12983 0 -1 4202560 100385 0 0 0 945 9 0 0 15 0 19 0 826448569 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 0 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20141] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20141/stat : 20141 (java) S 20119 20121 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20142] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20142/stat : 20142 (java) S 20119 20121 12983 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20143] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20143/stat : 20143 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826448572 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606690225 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20144] ppid=20119 vsize=13624936 CPUtime=0.53 cores=1,3,5,7
/proc/20121/task/20144/stat : 20144 (java) S 20119 20121 12983 0 -1 4202560 3024 0 0 0 53 0 0 0 15 0 19 0 826448572 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20145] ppid=20119 vsize=13624936 CPUtime=0.33 cores=1,3,5,7
/proc/20121/task/20145/stat : 20145 (java) S 20119 20121 12983 0 -1 4202560 1375 0 0 0 33 0 0 0 16 0 19 0 826448572 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20146] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20146/stat : 20146 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826448572 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20147] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20147/stat : 20147 (java) S 20119 20121 12983 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 826448572 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20149] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20149/stat : 20149 (java) S 20119 20121 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448643 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1670.68
Current children cumulated vsize (KiB) 13624936
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 1.89 3/483 20207
/proc/meminfo: memFree=28525060/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13624936 CPUtime=1730.84 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 342307 0 1 0 173039 45 0 0 24 0 19 0 826448566 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3406234 340052 2261 9 0 3396968 0
[pid=20121/tid=20122] ppid=20119 vsize=13624936 CPUtime=1709.2 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 96961 0 1 0 170908 12 0 0 25 0 19 0 826448566 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 46912505774516 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20121/tid=20127] ppid=20119 vsize=13624936 CPUtime=1.23 cores=1,3,5,7
/proc/20121/task/20127/stat : 20127 (java) S 20119 20121 12983 0 -1 4202560 13730 0 0 0 121 2 0 0 15 0 19 0 826448568 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20128] ppid=20119 vsize=13624936 CPUtime=1.44 cores=1,3,5,7
/proc/20121/task/20128/stat : 20128 (java) S 20119 20121 12983 0 -1 4202560 18456 0 0 0 141 3 0 0 16 0 19 0 826448568 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20129] ppid=20119 vsize=13624936 CPUtime=1.49 cores=1,3,5,7
/proc/20121/task/20129/stat : 20129 (java) S 20119 20121 12983 0 -1 4202560 14353 0 0 0 147 2 0 0 15 0 19 0 826448568 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20130] ppid=20119 vsize=13624936 CPUtime=1.17 cores=1,3,5,7
/proc/20121/task/20130/stat : 20130 (java) S 20119 20121 12983 0 -1 4202560 10445 0 0 0 116 1 0 0 16 0 19 0 826448568 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20131] ppid=20119 vsize=13624936 CPUtime=1.59 cores=1,3,5,7
/proc/20121/task/20131/stat : 20131 (java) S 20119 20121 12983 0 -1 4202560 26086 0 0 0 156 3 0 0 15 0 19 0 826448568 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20132] ppid=20119 vsize=13624936 CPUtime=1.2 cores=1,3,5,7
/proc/20121/task/20132/stat : 20132 (java) S 20119 20121 12983 0 -1 4202560 16732 0 0 0 118 2 0 0 16 0 19 0 826448568 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20133] ppid=20119 vsize=13624936 CPUtime=1.28 cores=1,3,5,7
/proc/20121/task/20133/stat : 20133 (java) S 20119 20121 12983 0 -1 4202560 20992 0 0 0 126 2 0 0 15 0 19 0 826448568 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20134] ppid=20119 vsize=13624936 CPUtime=1.42 cores=1,3,5,7
/proc/20121/task/20134/stat : 20134 (java) S 20119 20121 12983 0 -1 4202560 15265 0 0 0 140 2 0 0 15 0 19 0 826448568 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20140] ppid=20119 vsize=13624936 CPUtime=9.84 cores=1,3,5,7
/proc/20121/task/20140/stat : 20140 (java) S 20119 20121 12983 0 -1 4202560 103635 0 0 0 974 10 0 0 16 0 19 0 826448569 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 0 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20141] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20141/stat : 20141 (java) S 20119 20121 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20142] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20142/stat : 20142 (java) S 20119 20121 12983 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20143] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20143/stat : 20143 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826448572 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606690225 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20144] ppid=20119 vsize=13624936 CPUtime=0.53 cores=1,3,5,7
/proc/20121/task/20144/stat : 20144 (java) S 20119 20121 12983 0 -1 4202560 3024 0 0 0 53 0 0 0 15 0 19 0 826448572 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20145] ppid=20119 vsize=13624936 CPUtime=0.33 cores=1,3,5,7
/proc/20121/task/20145/stat : 20145 (java) S 20119 20121 12983 0 -1 4202560 1375 0 0 0 33 0 0 0 16 0 19 0 826448572 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20146] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20146/stat : 20146 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826448572 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20147] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20147/stat : 20147 (java) S 20119 20121 12983 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826448572 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20149] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20149/stat : 20149 (java) S 20119 20121 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448643 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1730.84
Current children cumulated vsize (KiB) 13624936
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 1.89 3/483 20208
/proc/meminfo: memFree=28475188/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13624936 CPUtime=1790.97 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 350220 0 1 0 179050 47 0 0 24 0 19 0 826448566 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3406234 347960 2261 9 0 3396968 0
[pid=20121/tid=20122] ppid=20119 vsize=13624936 CPUtime=1769.02 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 98273 0 1 0 176890 12 0 0 25 0 19 0 826448566 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 46912505752031 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20121/tid=20127] ppid=20119 vsize=13624936 CPUtime=1.23 cores=1,3,5,7
/proc/20121/task/20127/stat : 20127 (java) S 20119 20121 12983 0 -1 4202560 13730 0 0 0 121 2 0 0 15 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20128] ppid=20119 vsize=13624936 CPUtime=1.44 cores=1,3,5,7
/proc/20121/task/20128/stat : 20128 (java) S 20119 20121 12983 0 -1 4202560 18456 0 0 0 141 3 0 0 15 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20129] ppid=20119 vsize=13624936 CPUtime=1.54 cores=1,3,5,7
/proc/20121/task/20129/stat : 20129 (java) S 20119 20121 12983 0 -1 4202560 14353 0 0 0 152 2 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20130] ppid=20119 vsize=13624936 CPUtime=1.18 cores=1,3,5,7
/proc/20121/task/20130/stat : 20130 (java) S 20119 20121 12983 0 -1 4202560 10445 0 0 0 117 1 0 0 15 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20131] ppid=20119 vsize=13624936 CPUtime=1.6 cores=1,3,5,7
/proc/20121/task/20131/stat : 20131 (java) S 20119 20121 12983 0 -1 4202560 26086 0 0 0 157 3 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20132] ppid=20119 vsize=13624936 CPUtime=1.2 cores=1,3,5,7
/proc/20121/task/20132/stat : 20132 (java) S 20119 20121 12983 0 -1 4202560 16732 0 0 0 118 2 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20133] ppid=20119 vsize=13624936 CPUtime=1.33 cores=1,3,5,7
/proc/20121/task/20133/stat : 20133 (java) S 20119 20121 12983 0 -1 4202560 20992 0 0 0 131 2 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20134] ppid=20119 vsize=13624936 CPUtime=1.48 cores=1,3,5,7
/proc/20121/task/20134/stat : 20134 (java) S 20119 20121 12983 0 -1 4202560 15265 0 0 0 146 2 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20140] ppid=20119 vsize=13624936 CPUtime=9.95 cores=1,3,5,7
/proc/20121/task/20140/stat : 20140 (java) S 20119 20121 12983 0 -1 4202560 110234 0 0 0 985 10 0 0 15 0 19 0 826448569 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 0 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20141] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20141/stat : 20141 (java) S 20119 20121 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20142] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20142/stat : 20142 (java) S 20119 20121 12983 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20143] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20143/stat : 20143 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606690225 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20144] ppid=20119 vsize=13624936 CPUtime=0.53 cores=1,3,5,7
/proc/20121/task/20144/stat : 20144 (java) S 20119 20121 12983 0 -1 4202560 3024 0 0 0 53 0 0 0 15 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20145] ppid=20119 vsize=13624936 CPUtime=0.33 cores=1,3,5,7
/proc/20121/task/20145/stat : 20145 (java) S 20119 20121 12983 0 -1 4202560 1375 0 0 0 33 0 0 0 16 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20146] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20146/stat : 20146 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20147] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20147/stat : 20147 (java) S 20119 20121 12983 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20149] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20149/stat : 20149 (java) S 20119 20121 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448643 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1790.97
Current children cumulated vsize (KiB) 13624936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.4 s]
/proc/loadavg: 2.17 2.07 1.90 3/483 20208
/proc/meminfo: memFree=28460924/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13624936 CPUtime=1800.08 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 350222 0 1 0 179961 47 0 0 24 0 19 0 826448566 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3406234 347960 2261 9 0 3396968 0
[pid=20121/tid=20122] ppid=20119 vsize=13624936 CPUtime=1778.14 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 98273 0 1 0 177802 12 0 0 25 0 19 0 826448566 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 46912505834318 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20121/tid=20127] ppid=20119 vsize=13624936 CPUtime=1.23 cores=1,3,5,7
/proc/20121/task/20127/stat : 20127 (java) S 20119 20121 12983 0 -1 4202560 13730 0 0 0 121 2 0 0 15 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20128] ppid=20119 vsize=13624936 CPUtime=1.44 cores=1,3,5,7
/proc/20121/task/20128/stat : 20128 (java) S 20119 20121 12983 0 -1 4202560 18456 0 0 0 141 3 0 0 15 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20129] ppid=20119 vsize=13624936 CPUtime=1.54 cores=1,3,5,7
/proc/20121/task/20129/stat : 20129 (java) S 20119 20121 12983 0 -1 4202560 14353 0 0 0 152 2 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20130] ppid=20119 vsize=13624936 CPUtime=1.18 cores=1,3,5,7
/proc/20121/task/20130/stat : 20130 (java) S 20119 20121 12983 0 -1 4202560 10445 0 0 0 117 1 0 0 15 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20131] ppid=20119 vsize=13624936 CPUtime=1.6 cores=1,3,5,7
/proc/20121/task/20131/stat : 20131 (java) S 20119 20121 12983 0 -1 4202560 26086 0 0 0 157 3 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20132] ppid=20119 vsize=13624936 CPUtime=1.2 cores=1,3,5,7
/proc/20121/task/20132/stat : 20132 (java) S 20119 20121 12983 0 -1 4202560 16732 0 0 0 118 2 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20133] ppid=20119 vsize=13624936 CPUtime=1.33 cores=1,3,5,7
/proc/20121/task/20133/stat : 20133 (java) S 20119 20121 12983 0 -1 4202560 20992 0 0 0 131 2 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20134] ppid=20119 vsize=13624936 CPUtime=1.48 cores=1,3,5,7
/proc/20121/task/20134/stat : 20134 (java) S 20119 20121 12983 0 -1 4202560 15265 0 0 0 146 2 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20140] ppid=20119 vsize=13624936 CPUtime=9.95 cores=1,3,5,7
/proc/20121/task/20140/stat : 20140 (java) S 20119 20121 12983 0 -1 4202560 110234 0 0 0 985 10 0 0 15 0 19 0 826448569 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 0 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20141] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20141/stat : 20141 (java) S 20119 20121 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20142] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20142/stat : 20142 (java) S 20119 20121 12983 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20143] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20143/stat : 20143 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606690225 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20144] ppid=20119 vsize=13624936 CPUtime=0.53 cores=1,3,5,7
/proc/20121/task/20144/stat : 20144 (java) S 20119 20121 12983 0 -1 4202560 3024 0 0 0 53 0 0 0 15 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20145] ppid=20119 vsize=13624936 CPUtime=0.33 cores=1,3,5,7
/proc/20121/task/20145/stat : 20145 (java) S 20119 20121 12983 0 -1 4202560 1375 0 0 0 33 0 0 0 16 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20146] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20146/stat : 20146 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20147] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20147/stat : 20147 (java) S 20119 20121 12983 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20149] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20149/stat : 20149 (java) S 20119 20121 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448643 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13624936
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): 1791.51
CPU time (s): 1800.23
CPU user time (s): 1799.71
CPU system time (s): 0.52292
CPU usage (%): 100.487
Max. virtual memory (cumulated for all children) (KiB): 13624936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.52292
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350285
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= 39856
involuntary context switches= 16400
runsolver used 8.17376 second user time and 18.0113 second system time
The end