Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: cosoco 1.1 | OPT | 43 | 142.931 | 142.964 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml |
MD5SUM | a10fd40fbec13ca4761d088766469069 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 43 |
Best CPU time to get the best result obtained on this benchmark | 24.084299 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 254 |
Number of constraints | 179 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 243 |
Distribution of domain sizes | [{"size":2,"count":121},{"size":3,"count":121},{"size":82,"count":1},{"size":243,"count":11}] |
Minimum variable degree | 1 |
Maximum variable degree | 12 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":118},{"degree":3,"count":14},{"degree":4,"count":36},{"degree":8,"count":32},{"degree":9,"count":49},{"degree":12,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 13 |
Distribution of constraint arities | [{"arity":2,"count":47},{"arity":3,"count":36},{"arity":10,"count":81},{"arity":11,"count":4},{"arity":12,"count":1},{"arity":13,"count":10}] |
Number of extensional constraints | 117 |
Number of intensional constraints | 46 |
Distribution of constraint types | [{"type":"extension","count":117},{"type":"intension","count":46},{"type":"sum","count":12},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.09/0.11 c best=?? lower=0 upper=81 0.09/0.12 c 0.09/0.12 c This is cosoco 1.0 -- 0.09/0.12 c 0.09/0.12 c enable optimization 0.09/0.12 c ========================================[ Problem Statistics ]=========================================== 0.09/0.12 c | 0.09/0.12 c | Parse time : 0.10 s 0.09/0.12 c | 0.09/0.12 c | Variables: 254 0.09/0.12 c | Domain Sizes: 2..243 0.09/0.12 c | 0.09/0.12 c | Constraints: 220 0.09/0.12 c | Arity: 1..13 -- Unary: 45 -- Binary: 47 -- Ternary: 36 0.09/0.12 c | 0.09/0.12 c | Types: 0.09/0.12 c | : 32 0.09/0.12 c | Extension: 85 (nb tuples: 1..724) -- (shared: 112) 0.09/0.12 c | Intension: 47 0.09/0.12 c | Sum: 12 0.09/0.12 c | Unary: 44 0.09/0.12 c | 0.09/0.12 c ========================================================================================================= 0.09/0.12 o 27 0.09/0.12 c 1 calls to solver: best=27 lower=28 upper=81 1.89/1.97 o 29 2.20/2.23 o 30 2.20/2.23 c 3 calls to solver: best=30 lower=31 upper=81 2.39/2.42 o 31 2.99/3.03 o 32 2.99/3.03 c 5 calls to solver: best=32 lower=33 upper=81 4.59/4.61 o 33 6.99/7.01 o 34 6.99/7.01 c 7 calls to solver: best=34 lower=35 upper=81 8.59/8.68 o 35 10.09/10.18 o 36 10.09/10.18 c 9 calls to solver: best=36 lower=37 upper=81 11.19/11.23 o 37 16.09/16.14 o 38 16.09/16.14 c 11 calls to solver: best=38 lower=39 upper=81 16.39/16.49 o 39 18.39/18.42 o 40 18.39/18.42 c 13 calls to solver: best=40 lower=41 upper=81 18.80/18.83 o 41 19.69/19.73 o 42 19.69/19.73 c 15 calls to solver: best=42 lower=43 upper=81 23.89/23.91 o 43 142.86/142.96 c 142.86/142.96 c Optimum found : 43 142.86/142.96 c 142.86/142.96 142.86/142.96 v <instantiation type='solution' cost='43'> 142.86/142.96 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] z </list> 142.86/142.96 v <values>0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 4 7 9 12 13 14 15 17 20 23 26 43 </values> 142.86/142.96 v </instantiation> 142.86/142.96 142.86/142.96 c call to solver : 17 142.86/142.96 c 142.86/142.96 c restarts : 67 142.86/142.96 c conflicts : 576808 (4036 /sec) 142.86/142.96 c decisions : 5882322 (41156 /sec) 142.86/142.96 c propagations : 66358980 (464279 /sec) 142.86/142.96 c root propagations : 1554 142.86/142.96 c filter calls : 90360231 (632203 /sec) 142.86/142.96 c useless filter calls : 71614492 (79 %) 142.86/142.96 c Memory used : 28.16 MB 142.86/142.96 c CPU time : 142.929 s 142.86/142.96 142.86/142.96 s OPTIMUM FOUND
OK 43
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4239968-1500634047/watcher-4239968-1500634047 -o /tmp/evaluation-result-4239968-1500634047/solver-4239968-1500634047 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500623779-17771 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4239968-1500634047.xml pid=21140 running on 8 cores: 1,3,5,7,9,11,13,15 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): 2500 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: 8192 KiB [startup+0 s] /proc/loadavg: 2.04 2.03 2.05 2/242 21143 /proc/meminfo: memFree=30887392/32770624 swapFree=6264/290740 [pid=21143] ppid=21140 vsize=27256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 1044 0 0 0 1 0 0 0 20 0 1 0 16683604 27910144 832 33554432000 4194304 5970956 140723079614528 140723079611176 5369040 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 6814 832 704 434 0 178 0 [startup+0.100187 s] /proc/loadavg: 2.04 2.03 2.05 2/242 21143 /proc/meminfo: memFree=30887392/32770624 swapFree=6264/290740 [pid=21143] ppid=21140 vsize=27648 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 1229 0 0 0 9 0 0 0 20 0 1 0 16683604 28311552 1030 33554432000 4194304 5970956 140723079614528 140723079611128 140463829162464 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 6912 1030 792 434 0 276 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27648 [startup+0.200321 s] /proc/loadavg: 2.04 2.03 2.05 2/242 21143 /proc/meminfo: memFree=30887392/32770624 swapFree=6264/290740 [pid=21143] ppid=21140 vsize=28696 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 1527 0 0 0 19 0 0 0 20 0 1 0 16683604 29384704 1339 33554432000 4194304 5970956 140723079614528 140723079601832 4934366 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7174 1339 848 434 0 538 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 28696 [startup+0.300329 s] /proc/loadavg: 2.04 2.03 2.05 2/242 21143 /proc/meminfo: memFree=30887392/32770624 swapFree=6264/290740 [pid=21143] ppid=21140 vsize=28696 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 1530 0 0 0 29 0 0 0 20 0 1 0 16683604 29384704 1339 33554432000 4194304 5970956 140723079614528 140723079601832 4934449 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7174 1339 848 434 0 538 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28696 [startup+0.700205 s] /proc/loadavg: 2.04 2.03 2.05 2/242 21143 /proc/meminfo: memFree=30887392/32770624 swapFree=6264/290740 [pid=21143] ppid=21140 vsize=28696 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 1532 0 0 0 69 0 0 0 20 0 1 0 16683604 29384704 1339 33554432000 4194304 5970956 140723079614528 140723079601832 5319222 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7174 1339 848 434 0 538 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28696 [startup+1.5002 s] /proc/loadavg: 2.04 2.03 2.05 3/243 21144 /proc/meminfo: memFree=30884856/32770624 swapFree=6264/290872 [pid=21143] ppid=21140 vsize=28696 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 1533 0 0 0 149 0 0 0 20 0 1 0 16683604 29384704 1339 33554432000 4194304 5970956 140723079614528 140723079601832 4934366 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7174 1339 848 434 0 538 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28696 [startup+3.10022 s] /proc/loadavg: 2.04 2.03 2.05 3/243 21144 /proc/meminfo: memFree=30884376/32770624 swapFree=6264/290856 [pid=21143] ppid=21140 vsize=28828 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 2014 0 0 0 309 0 0 0 20 0 1 0 16683604 29519872 1383 33554432000 4194304 5970956 140723079614528 140723079601832 4934541 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7207 1383 850 434 0 571 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28828 [startup+6.30023 s] /proc/loadavg: 2.03 2.03 2.05 3/243 21144 /proc/meminfo: memFree=30884328/32770624 swapFree=6264/290756 [pid=21143] ppid=21140 vsize=28828 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 2484 0 0 0 629 0 0 0 20 0 1 0 16683604 29519872 1387 33554432000 4194304 5970956 140723079614528 140723079612088 4964389 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7207 1387 850 434 0 571 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28828 [startup+12.7002 s] /proc/loadavg: 2.03 2.03 2.05 3/243 21144 /proc/meminfo: memFree=30883832/32770624 swapFree=6264/290764 [pid=21143] ppid=21140 vsize=28828 CPUtime=12.69 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 2959 0 0 0 1269 0 0 0 20 0 1 0 16683604 29519872 1388 33554432000 4194304 5970956 140723079614528 140723079612088 4934354 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7207 1388 850 434 0 571 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28828 [startup+25.5003 s] /proc/loadavg: 2.02 2.02 2.05 3/243 21144 /proc/meminfo: memFree=30883832/32770624 swapFree=6264/290776 [pid=21143] ppid=21140 vsize=28828 CPUtime=25.49 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 3897 0 0 0 2549 0 0 0 20 0 1 0 16683604 29519872 1388 33554432000 4194304 5970956 140723079614528 140723079612088 4933212 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7207 1388 850 434 0 571 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28828 [startup+51.1004 s] /proc/loadavg: 2.02 2.02 2.05 3/243 21144 /proc/meminfo: memFree=30883832/32770624 swapFree=6264/290784 [pid=21143] ppid=21140 vsize=28828 CPUtime=51.08 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 4356 0 0 0 5108 0 0 0 20 0 1 0 16683604 29519872 1388 33554432000 4194304 5970956 140723079614528 140723079612088 4934357 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7207 1388 850 434 0 571 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28828 [startup+102.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 21145 /proc/meminfo: memFree=30883716/32770624 swapFree=6264/290824 [pid=21143] ppid=21140 vsize=28828 CPUtime=102.28 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 4815 0 0 0 10228 0 0 0 20 0 1 0 16683604 29519872 1389 33554432000 4194304 5970956 140723079614528 140723079612088 4930611 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7207 1389 850 434 0 571 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 28828 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 21143 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+102.407 s] /proc/loadavg: 2.01 2.02 2.05 3/243 21145 /proc/meminfo: memFree=30883716/32770624 swapFree=6264/290824 [pid=21143] ppid=21140 vsize=28828 CPUtime=102.38 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 4815 0 0 0 10238 0 0 0 20 0 1 0 16683604 29519872 1389 33554432000 4194304 5970956 140723079614528 140723079612088 4934366 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7207 1389 850 434 0 571 0 Current children cumulated CPU time (s) 102.38 Current children cumulated vsize (KiB) 28828 [startup+128 s] /proc/loadavg: 2.00 2.01 2.05 3/243 21146 /proc/meminfo: memFree=30883568/32770624 swapFree=6264/290848 [pid=21143] ppid=21140 vsize=28828 CPUtime=127.96 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 5269 0 0 0 12796 0 0 0 20 0 1 0 16683604 29519872 1389 33554432000 4194304 5970956 140723079614528 140723079612088 4934366 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7207 1389 850 434 0 571 0 Current children cumulated CPU time (s) 127.96 Current children cumulated vsize (KiB) 28828 [startup+134.4 s] /proc/loadavg: 2.00 2.01 2.05 3/243 21146 /proc/meminfo: memFree=30883196/32770624 swapFree=6264/290856 [pid=21143] ppid=21140 vsize=28828 CPUtime=134.36 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 5269 0 0 0 13436 0 0 0 20 0 1 0 16683604 29519872 1389 33554432000 4194304 5970956 140723079614528 140723079612088 5337501 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7207 1389 850 434 0 571 0 Current children cumulated CPU time (s) 134.36 Current children cumulated vsize (KiB) 28828 [startup+137.607 s] /proc/loadavg: 2.00 2.01 2.05 3/243 21146 /proc/meminfo: memFree=30883568/32770624 swapFree=6264/290856 [pid=21143] ppid=21140 vsize=28828 CPUtime=137.57 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 5269 0 0 0 13757 0 0 0 20 0 1 0 16683604 29519872 1389 33554432000 4194304 5970956 140723079614528 140723079612088 4934354 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7207 1389 850 434 0 571 0 Current children cumulated CPU time (s) 137.57 Current children cumulated vsize (KiB) 28828 [startup+140.8 s] /proc/loadavg: 2.00 2.01 2.05 3/243 21146 /proc/meminfo: memFree=30883568/32770624 swapFree=6264/290856 [pid=21143] ppid=21140 vsize=28828 CPUtime=140.77 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 5269 0 0 0 14077 0 0 0 20 0 1 0 16683604 29519872 1389 33554432000 4194304 5970956 140723079614528 140723079612088 4934357 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7207 1389 850 434 0 571 0 Current children cumulated CPU time (s) 140.77 Current children cumulated vsize (KiB) 28828 [startup+141.6 s] /proc/loadavg: 2.00 2.01 2.05 3/243 21146 /proc/meminfo: memFree=30883568/32770624 swapFree=6264/290856 [pid=21143] ppid=21140 vsize=28828 CPUtime=141.56 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 5269 0 0 0 14156 0 0 0 20 0 1 0 16683604 29519872 1389 33554432000 4194304 5970956 140723079614528 140723079612088 4934449 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7207 1389 850 434 0 571 0 Current children cumulated CPU time (s) 141.56 Current children cumulated vsize (KiB) 28828 [startup+142.4 s] /proc/loadavg: 2.00 2.01 2.05 3/243 21146 /proc/meminfo: memFree=30883688/32770624 swapFree=6264/290856 [pid=21143] ppid=21140 vsize=28828 CPUtime=142.36 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 5269 0 0 0 14236 0 0 0 20 0 1 0 16683604 29519872 1389 33554432000 4194304 5970956 140723079614528 140723079612088 4934449 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7207 1389 850 434 0 571 0 Current children cumulated CPU time (s) 142.36 Current children cumulated vsize (KiB) 28828 [startup+142.8 s] /proc/loadavg: 2.00 2.01 2.05 3/243 21146 /proc/meminfo: memFree=30883688/32770624 swapFree=6264/290856 [pid=21143] ppid=21140 vsize=28828 CPUtime=142.76 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 5269 0 0 0 14276 0 0 0 20 0 1 0 16683604 29519872 1389 33554432000 4194304 5970956 140723079614528 140723079612088 4934366 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7207 1389 850 434 0 571 0 Current children cumulated CPU time (s) 142.76 Current children cumulated vsize (KiB) 28828 [startup+142.9 s] /proc/loadavg: 2.00 2.01 2.05 3/243 21146 /proc/meminfo: memFree=30883688/32770624 swapFree=6264/290856 [pid=21143] ppid=21140 vsize=28828 CPUtime=142.86 cores=1,3,5,7,9,11,13,15 /proc/21143/stat : 21143 (cosoco) R 21140 21143 17739 0 -1 4202496 5269 0 0 0 14286 0 0 0 20 0 1 0 16683604 29519872 1389 33554432000 4194304 5970956 140723079614528 140723079612088 4934366 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15912960 140723079619777 140723079619907 140723079619907 140723079622606 0 /proc/21143/statm: 7207 1389 850 434 0 571 0 Current children cumulated CPU time (s) 142.86 Current children cumulated vsize (KiB) 28828 Child status: 0 Real time (s): 142.964 CPU time (s): 142.931 CPU user time (s): 142.93 CPU system time (s): 0.001007 CPU usage (%): 99.9768 Max. virtual memory (cumulated for all children) (KiB): 28828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 142.93 system time used= 0.001007 maximum resident set size= 5628 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5324 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 7186 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.510306 second user time and 0.570936 second system time The end
Begin job on node116 at 2017-07-21 12:47:27 IDJOB=4239968 IDBENCH=115907 IDSOLVER=2620 FILE ID=node116/4239968-1500634047 RUNJOBID= node116-1500623779-17771 PBS_JOBID= 20623015 Free space on /tmp= 62016 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-09.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239968-1500634047/watcher-4239968-1500634047 -o /tmp/evaluation-result-4239968-1500634047/solver-4239968-1500634047 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500623779-17771 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4239968-1500634047.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= a10fd40fbec13ca4761d088766469069 RANDOM SEED=466227426 node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30887780 kB MemAvailable: 31132336 kB Buffers: 161448 kB Cached: 363440 kB SwapCached: 0 kB Active: 1147620 kB Inactive: 299528 kB Active(anon): 925008 kB Inactive(anon): 8788 kB Active(file): 222612 kB Inactive(file): 290740 kB Unevictable: 6264 kB Mlocked: 6272 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2500 kB Writeback: 0 kB AnonPages: 941068 kB Mapped: 34532 kB Shmem: 8848 kB Slab: 126820 kB SReclaimable: 94080 kB SUnreclaim: 32740 kB KernelStack: 4544 kB PageTables: 7160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1192924 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 882688 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62016 MiB End job on node116 at 2017-07-21 12:49:50