Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: cosoco-sat 1.1 | No Cert. | 2400.05 | 2400.8 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml |
| MD5SUM | e301970dbbdacc0ad69519f2afe54420 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 117 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 596 |
| Number of constraints | 383 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 579 |
| Distribution of domain sizes | [{"size":2,"count":289},{"size":3,"count":289},{"size":226,"count":1},{"size":579,"count":17}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 18 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":286},{"degree":3,"count":20},{"degree":4,"count":60},{"degree":8,"count":56},{"degree":9,"count":169},{"degree":18,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 19 |
| Distribution of constraint arities | [{"arity":2,"count":77},{"arity":3,"count":60},{"arity":10,"count":225},{"arity":17,"count":4},{"arity":18,"count":1},{"arity":19,"count":16}] |
| Number of extensional constraints | 285 |
| Number of intensional constraints | 76 |
| Distribution of constraint types | [{"type":"extension","count":285},{"type":"intension","count":76},{"type":"sum","count":18},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.29/0.35 c SAT : Variables: 11514 -- Clauses: 2871804 0.29/0.35 c best=?? lower=0 upper=225 0.49/0.54 c 0.49/0.54 c This is cosoco 1.0 -- 0.49/0.54 c 0.49/0.54 c enable optimization 0.49/0.54 c ========================================[ Problem Statistics ]=========================================== 0.49/0.54 c | 0.49/0.54 c | Parse time : 0.33 s 0.49/0.54 c | 0.49/0.54 c | Variables: 596 0.49/0.54 c | Domain Sizes: 2..579 0.49/0.54 c | 0.49/0.54 c | Constraints: 448 0.49/0.54 c | Arity: 1..19 -- Unary: 69 -- Binary: 77 -- Ternary: 60 0.49/0.54 c | 0.49/0.54 c | Types: 0.49/0.54 c | : 56 0.49/0.54 c | Extension: 229 (nb tuples: 1..724) -- (shared: 280) 0.49/0.54 c | Intension: 77 0.49/0.54 c | Sum: 18 0.49/0.54 c | Unary: 68 0.49/0.54 c | 0.49/0.54 c ========================================================================================================= 0.49/0.54 o 5 0.49/0.54 c 1 calls to solver: best=5 lower=6 upper=225 0.49/0.56 o 6 0.59/0.67 o 7 0.59/0.67 c 3 calls to solver: best=7 lower=8 upper=225 0.69/0.70 o 8 0.69/0.72 o 9 0.69/0.72 c 5 calls to solver: best=9 lower=10 upper=225 0.69/0.75 o 12 1.69/1.77 o 13 1.69/1.77 c 7 calls to solver: best=13 lower=14 upper=225 3.30/3.30 conflict 203lvl : 254 bt254-439:0(5026)X11629847 3.30/3.34 o 17 10.29/10.39 conflict 257lvl : 253 bt253-1127:0(5153)X11851981 10.49/10.54 conflict 148lvl : 151 bt150-493:0(2325)X11857257 10.59/10.62 o 18 10.59/10.62 c 9 calls to solver: best=18 lower=19 upper=225 10.69/10.75 o 21 10.79/10.86 o 23 10.79/10.86 c 11 calls to solver: best=23 lower=24 upper=225 10.89/10.94 o 24 11.09/11.16 o 27 11.09/11.16 c 13 calls to solver: best=27 lower=28 upper=225 11.49/11.54 o 28 13.59/13.67 o 29 13.59/13.67 c 15 calls to solver: best=29 lower=30 upper=225 14.68/14.79 o 31 21.88/21.92 o 32 21.88/21.92 c 17 calls to solver: best=32 lower=33 upper=225 23.48/23.50 o 33 25.98/26.03 o 34 25.98/26.03 c 19 calls to solver: best=34 lower=35 upper=225 29.87/29.95 o 36 31.97/32.07 o 37 31.97/32.07 c 21 calls to solver: best=37 lower=38 upper=225 34.98/35.04 o 38 42.06/42.16 o 39 42.06/42.16 c 23 calls to solver: best=39 lower=40 upper=225 46.56/46.60 o 40 48.65/48.72 o 41 48.65/48.72 c 25 calls to solver: best=41 lower=42 upper=225 53.05/53.14 o 42 56.65/56.70 o 43 56.65/56.70 c 27 calls to solver: best=43 lower=44 upper=225 69.45/69.54 o 44 70.45/70.53 o 45 70.45/70.53 c 29 calls to solver: best=45 lower=46 upper=225 73.25/73.34 o 46 77.05/77.12 o 47 77.05/77.12 c 31 calls to solver: best=47 lower=48 upper=225 84.94/85.08 o 48 95.44/95.50 o 49 95.44/95.50 c 33 calls to solver: best=49 lower=50 upper=225 106.43/106.56 o 50 112.43/112.56 o 51 112.43/112.56 c 35 calls to solver: best=51 lower=52 upper=225 120.53/120.61 o 52 125.43/125.59 o 53 125.43/125.59 c 37 calls to solver: best=53 lower=54 upper=225 129.83/129.97 o 54 161.91/162.07 o 55 161.91/162.07 c 39 calls to solver: best=55 lower=56 upper=225 167.91/168.02 o 56 437.33/437.57 o 57 437.33/437.57 c 41 calls to solver: best=57 lower=58 upper=225 466.92/467.19 o 58 534.70/534.92 o 59 534.70/534.92 c 43 calls to solver: best=59 lower=60 upper=225 648.77/649.10 o 60 833.31/833.63 o 61 833.31/833.63 c 45 calls to solver: best=61 lower=62 upper=225 950.97/951.31 o 62 1463.22/1463.75 o 63 1463.22/1463.75 c 47 calls to solver: best=63 lower=64 upper=225 1719.23/1719.82 o 64 2400.03/2400.80 2400.03/2400.80 c *** INTERRUPTED *** 2400.03/2400.80 s SATISFIABLE 2400.03/2400.80 c Best value found: 64 2400.03/2400.80 2400.03/2400.80 2400.03/2400.80 v <instantiation type='solution' cost='64'> 2400.03/2400.80 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[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] 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[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] 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[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] 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[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] 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[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] 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[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] 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[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] 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[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] 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[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] 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[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] 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] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] 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[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] 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[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] 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[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] 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[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] 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[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] 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[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] 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[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] 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[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] 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[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] 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[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[
ERROR: no instantiation found
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-4239972-1500633594/watcher-4239972-1500633594 -o /tmp/evaluation-result-4239972-1500633594/solver-4239972-1500633594 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2951 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239972-1500633594.xml pid=7396 running on 4 cores: 0,2,4,6 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.00 2.01 2.05 3/186 7399 /proc/meminfo: memFree=30981660/32770624 swapFree=6244/32412 [pid=7399] ppid=7396 vsize=27252 CPUtime=0 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 1008 0 0 0 0 0 0 0 20 0 1 0 16636269 27906048 841 33554432000 4194304 5970956 140731302236800 140731302231896 140437288008677 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 6813 841 704 434 0 177 0 [startup+0.100114 s] /proc/loadavg: 2.00 2.01 2.05 3/186 7399 /proc/meminfo: memFree=30981660/32770624 swapFree=6244/32412 [pid=7399] ppid=7396 vsize=28848 CPUtime=0.09 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 1495 0 0 0 9 0 0 0 20 0 1 0 16636269 29540352 1331 33554432000 4194304 5970956 140731302236800 140731302229136 140437288001195 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 7212 1331 792 434 0 576 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28848 [startup+0.200269 s] /proc/loadavg: 2.00 2.01 2.05 3/186 7399 /proc/meminfo: memFree=30981660/32770624 swapFree=6244/32412 [pid=7399] ppid=7396 vsize=53864 CPUtime=0.19 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 6164 0 0 0 19 0 0 0 20 0 1 0 16636269 55156736 6502 33554432000 4194304 5970956 140731302236800 140731302233624 5279679 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 13466 6502 839 434 0 6830 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 53864 [startup+0.300283 s] /proc/loadavg: 2.00 2.01 2.05 3/186 7399 /proc/meminfo: memFree=30981660/32770624 swapFree=6244/32412 [pid=7399] ppid=7396 vsize=124572 CPUtime=0.29 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 16103 0 0 0 27 2 0 0 20 0 1 0 16636269 127561728 20523 33554432000 4194304 5970956 140731302236800 140731302233624 5279748 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 31143 20523 839 434 0 24507 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 124572 [startup+0.700191 s] /proc/loadavg: 2.00 2.01 2.05 3/186 7399 /proc/meminfo: memFree=30981660/32770624 swapFree=6244/32412 [pid=7399] ppid=7396 vsize=146092 CPUtime=0.69 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 21075 0 0 0 67 2 0 0 20 0 1 0 16636269 149598208 29581 33554432000 4194304 5970956 140731302236800 140731302224104 4930648 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36523 29581 856 434 0 29887 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 146092 [startup+1.50018 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7400 /proc/meminfo: memFree=30866792/32770624 swapFree=6244/32280 [pid=7399] ppid=7396 vsize=146092 CPUtime=1.49 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 21084 0 0 0 147 2 0 0 20 0 1 0 16636269 149598208 29581 33554432000 4194304 5970956 140731302236800 140731302234360 4934389 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36523 29581 856 434 0 29887 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 146092 [startup+3.10018 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7400 /proc/meminfo: memFree=30866420/32770624 swapFree=6244/32280 [pid=7399] ppid=7396 vsize=146224 CPUtime=3.09 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 23106 0 0 0 306 3 0 0 20 0 1 0 16636269 149733376 29638 33554432000 4194304 5970956 140731302236800 140731302224104 4934398 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36556 29638 856 434 0 29920 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 146224 [startup+6.30018 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7400 /proc/meminfo: memFree=30865884/32770624 swapFree=6244/32288 [pid=7399] ppid=7396 vsize=146352 CPUtime=6.28 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 28396 0 0 0 625 3 0 0 20 0 1 0 16636269 149864448 29659 33554432000 4194304 5970956 140731302236800 140731302234136 5039662 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36588 29659 860 434 0 29952 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 146352 [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7408 /proc/meminfo: memFree=30862900/32770624 swapFree=6244/32292 [pid=7399] ppid=7396 vsize=146352 CPUtime=12.69 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 33119 0 0 0 1265 4 0 0 20 0 1 0 16636269 149864448 30194 33554432000 4194304 5970956 140731302236800 140731302234360 4930654 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36588 30194 860 434 0 29952 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 146352 [startup+25.5002 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7408 /proc/meminfo: memFree=30862964/32770624 swapFree=6244/32304 [pid=7399] ppid=7396 vsize=146480 CPUtime=25.48 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 41339 0 0 0 2544 4 0 0 20 0 1 0 16636269 149995520 30209 33554432000 4194304 5970956 140731302236800 140731302234360 5069920 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36620 30209 860 434 0 29984 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 146480 [startup+51.1002 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7408 /proc/meminfo: memFree=30861024/32770624 swapFree=6244/32340 [pid=7399] ppid=7396 vsize=146480 CPUtime=51.05 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 45022 0 0 0 5100 5 0 0 20 0 1 0 16636269 149995520 30223 33554432000 4194304 5970956 140731302236800 140731302224104 4934350 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36620 30223 860 434 0 29984 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 146480 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7409 /proc/meminfo: memFree=30858792/32770624 swapFree=6244/32408 [pid=7399] ppid=7396 vsize=146480 CPUtime=102.24 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 46252 0 0 0 10218 6 0 0 20 0 1 0 16636269 149995520 30256 33554432000 4194304 5970956 140731302236800 140731302224104 5337501 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36620 30256 860 434 0 29984 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 146480 [startup+162.3 s] /proc/loadavg: 2.08 2.03 2.05 3/188 7410 /proc/meminfo: memFree=30859428/32770624 swapFree=6244/32460 [pid=7399] ppid=7396 vsize=146480 CPUtime=162.21 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 46824 0 0 0 16215 6 0 0 20 0 1 0 16636269 149995520 30260 33554432000 4194304 5970956 140731302236800 140731302224104 5069735 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36620 30260 860 434 0 29984 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 146480 [startup+222.306 s] /proc/loadavg: 2.03 2.03 2.05 3/188 7411 /proc/meminfo: memFree=30859684/32770624 swapFree=6244/32500 [pid=7399] ppid=7396 vsize=146480 CPUtime=222.2 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 47318 0 0 0 22214 6 0 0 20 0 1 0 16636269 149995520 30262 33554432000 4194304 5970956 140731302236800 140731302234360 4934342 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36620 30262 860 434 0 29984 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 146480 [startup+282.3 s] /proc/loadavg: 2.01 2.02 2.05 3/188 7412 /proc/meminfo: memFree=30860444/32770624 swapFree=6244/32544 [pid=7399] ppid=7396 vsize=146480 CPUtime=282.17 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 47815 0 0 0 28211 6 0 0 20 0 1 0 16636269 149995520 30262 33554432000 4194304 5970956 140731302236800 140731302234360 5039178 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36620 30262 860 434 0 29984 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 146480 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7413 /proc/meminfo: memFree=30860368/32770624 swapFree=6244/32576 [pid=7399] ppid=7396 vsize=146480 CPUtime=342.16 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 48306 0 0 0 34209 7 0 0 20 0 1 0 16636269 149995520 30262 33554432000 4194304 5970956 140731302236800 140731302234360 5039190 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36620 30262 860 434 0 29984 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 146480 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7414 /proc/meminfo: memFree=30860752/32770624 swapFree=6244/32608 [pid=7399] ppid=7396 vsize=146480 CPUtime=402.14 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 48807 0 0 0 40207 7 0 0 20 0 1 0 16636269 149995520 30262 33554432000 4194304 5970956 140731302236800 140731302234360 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36620 30262 860 434 0 29984 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 146480 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7415 /proc/meminfo: memFree=30860984/32770624 swapFree=6244/32648 [pid=7399] ppid=7396 vsize=146480 CPUtime=462.12 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 49378 0 0 0 46205 7 0 0 20 0 1 0 16636269 149995520 30263 33554432000 4194304 5970956 140731302236800 140731302224104 4930544 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36620 30263 860 434 0 29984 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 146480 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7416 /proc/meminfo: memFree=30860896/32770624 swapFree=6244/32688 [pid=7399] ppid=7396 vsize=146480 CPUtime=522.1 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 49865 0 0 0 52203 7 0 0 20 0 1 0 16636269 149995520 30264 33554432000 4194304 5970956 140731302236800 140731302234360 4934350 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36620 30264 860 434 0 29984 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 146480 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7417 /proc/meminfo: memFree=30861012/32770624 swapFree=6244/32712 [pid=7399] ppid=7396 vsize=146480 CPUtime=582.08 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 50452 0 0 0 58201 7 0 0 20 0 1 0 16636269 149995520 30264 33554432000 4194304 5970956 140731302236800 140731302224104 4934460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36620 30264 860 434 0 29984 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 146480 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.05 3/190 7533 /proc/meminfo: memFree=31863780/32770624 swapFree=6244/33540 [pid=7399] ppid=7396 vsize=146612 CPUtime=1481.81 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 58146 0 0 0 148170 11 0 0 20 0 1 0 16636269 150130688 30270 33554432000 4194304 5970956 140731302236800 140731302224104 5327850 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36653 30270 860 434 0 30017 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 146612 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7534 /proc/meminfo: memFree=31864380/32770624 swapFree=6244/33568 [pid=7399] ppid=7396 vsize=146612 CPUtime=1541.8 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 58602 0 0 0 154169 11 0 0 20 0 1 0 16636269 150130688 30271 33554432000 4194304 5970956 140731302236800 140731302224104 5040401 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36653 30271 860 434 0 30017 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 146612 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7535 /proc/meminfo: memFree=31863788/32770624 swapFree=6244/33600 [pid=7399] ppid=7396 vsize=146612 CPUtime=1601.77 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 59116 0 0 0 160166 11 0 0 20 0 1 0 16636269 150130688 30271 33554432000 4194304 5970956 140731302236800 140731302224104 4934357 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36653 30271 860 434 0 30017 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 146612 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7536 /proc/meminfo: memFree=31864060/32770624 swapFree=6244/33632 [pid=7399] ppid=7396 vsize=146612 CPUtime=1661.75 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 59596 0 0 0 166164 11 0 0 20 0 1 0 16636269 150130688 30271 33554432000 4194304 5970956 140731302236800 140731302224104 4934342 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36653 30271 860 434 0 30017 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 146612 [startup+1722.3 s] /proc/loadavg: 2.07 2.04 2.05 3/187 7537 /proc/meminfo: memFree=31863972/32770624 swapFree=6244/33660 [pid=7399] ppid=7396 vsize=146612 CPUtime=1721.74 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 60185 0 0 0 172162 12 0 0 20 0 1 0 16636269 150130688 30285 33554432000 4194304 5970956 140731302236800 140731302234360 5039204 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36653 30285 860 434 0 30017 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 146612 [startup+1782.3 s] /proc/loadavg: 2.03 2.03 2.05 3/186 7538 /proc/meminfo: memFree=31864616/32770624 swapFree=6244/33632 [pid=7399] ppid=7396 vsize=146612 CPUtime=1781.72 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 60683 0 0 0 178160 12 0 0 20 0 1 0 16636269 150130688 30285 33554432000 4194304 5970956 140731302236800 140731302234360 4934354 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36653 30285 860 434 0 30017 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 146612 [startup+1842.3 s] /proc/loadavg: 2.01 2.03 2.05 3/188 7548 /proc/meminfo: memFree=31863132/32770624 swapFree=6244/33736 [pid=7399] ppid=7396 vsize=146612 CPUtime=1841.7 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 61127 0 0 0 184158 12 0 0 20 0 1 0 16636269 150130688 30285 33554432000 4194304 5970956 140731302236800 140731302234360 5098896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36653 30285 860 434 0 30017 0 Current children cumulated CPU time (s) 1841.7 Current children cumulated vsize (KiB) 146612 [startup+1902.3 s] /proc/loadavg: 2.00 2.02 2.05 3/188 7549 /proc/meminfo: memFree=31863612/32770624 swapFree=6244/33764 [pid=7399] ppid=7396 vsize=146612 CPUtime=1901.68 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 61592 0 0 0 190156 12 0 0 20 0 1 0 16636269 150130688 30285 33554432000 4194304 5970956 140731302236800 140731302234360 5242793 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36653 30285 860 434 0 30017 0 Current children cumulated CPU time (s) 1901.68 Current children cumulated vsize (KiB) 146612 [startup+1962.3 s] /proc/loadavg: 2.00 2.02 2.05 3/188 7550 /proc/meminfo: memFree=31864020/32770624 swapFree=6244/33792 [pid=7399] ppid=7396 vsize=146612 CPUtime=1961.66 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 62126 0 0 0 196154 12 0 0 20 0 1 0 16636269 150130688 30285 33554432000 4194304 5970956 140731302236800 140731302234360 4934116 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36653 30285 860 434 0 30017 0 Current children cumulated CPU time (s) 1961.66 Current children cumulated vsize (KiB) 146612 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7551 /proc/meminfo: memFree=31863896/32770624 swapFree=6244/33832 [pid=7399] ppid=7396 vsize=146612 CPUtime=2021.65 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 62620 0 0 0 202153 12 0 0 20 0 1 0 16636269 150130688 30286 33554432000 4194304 5970956 140731302236800 140731302234360 4934320 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36653 30286 860 434 0 30017 0 Current children cumulated CPU time (s) 2021.65 Current children cumulated vsize (KiB) 146612 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7552 /proc/meminfo: memFree=31863772/32770624 swapFree=6244/33864 [pid=7399] ppid=7396 vsize=146612 CPUtime=2081.63 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 63110 0 0 0 208151 12 0 0 20 0 1 0 16636269 150130688 30286 33554432000 4194304 5970956 140731302236800 140731302234360 4934877 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36653 30286 860 434 0 30017 0 Current children cumulated CPU time (s) 2081.63 Current children cumulated vsize (KiB) 146612 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7553 /proc/meminfo: memFree=31863912/32770624 swapFree=6244/33892 [pid=7399] ppid=7396 vsize=146612 CPUtime=2141.61 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 63600 0 0 0 214149 12 0 0 20 0 1 0 16636269 150130688 30286 33554432000 4194304 5970956 140731302236800 140731302234360 4908988 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36653 30286 860 434 0 30017 0 Current children cumulated CPU time (s) 2141.61 Current children cumulated vsize (KiB) 146612 [startup+2202.31 s] /proc/loadavg: 2.04 2.03 2.05 3/187 7554 /proc/meminfo: memFree=31864036/32770624 swapFree=6244/33924 [pid=7399] ppid=7396 vsize=146612 CPUtime=2201.6 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 64122 0 0 0 220148 12 0 0 20 0 1 0 16636269 150130688 30286 33554432000 4194304 5970956 140731302236800 140731302234360 5038512 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36653 30286 860 434 0 30017 0 Current children cumulated CPU time (s) 2201.6 Current children cumulated vsize (KiB) 146612 [startup+2262.3 s] /proc/loadavg: 2.09 2.04 2.05 3/187 7555 /proc/meminfo: memFree=31864296/32770624 swapFree=6244/33948 [pid=7399] ppid=7396 vsize=146612 CPUtime=2261.57 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 64603 0 0 0 226145 12 0 0 20 0 1 0 16636269 150130688 30286 33554432000 4194304 5970956 140731302236800 140731302234360 5098896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36653 30286 860 434 0 30017 0 Current children cumulated CPU time (s) 2261.57 Current children cumulated vsize (KiB) 146612 [startup+2322.3 s] /proc/loadavg: 2.07 2.04 2.05 3/187 7556 /proc/meminfo: memFree=31864328/32770624 swapFree=6244/34000 [pid=7399] ppid=7396 vsize=146612 CPUtime=2321.55 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 65113 0 0 0 232143 12 0 0 20 0 1 0 16636269 150130688 30286 33554432000 4194304 5970956 140731302236800 140731302234360 5052093 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36653 30286 860 434 0 30017 0 Current children cumulated CPU time (s) 2321.55 Current children cumulated vsize (KiB) 146612 [startup+2382.3 s] /proc/loadavg: 2.03 2.04 2.05 3/187 7557 /proc/meminfo: memFree=31864316/32770624 swapFree=6244/34024 [pid=7399] ppid=7396 vsize=146612 CPUtime=2381.54 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 65620 0 0 0 238142 12 0 0 20 0 1 0 16636269 150130688 30286 33554432000 4194304 5970956 140731302236800 140731302234360 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36653 30286 860 434 0 30017 0 Current children cumulated CPU time (s) 2381.54 Current children cumulated vsize (KiB) 146612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.8 s] /proc/loadavg: 2.02 2.04 2.05 3/187 7558 /proc/meminfo: memFree=31864068/32770624 swapFree=6244/34056 [pid=7399] ppid=7396 vsize=146612 CPUtime=2400.03 cores=0,2,4,6 /proc/7399/stat : 7399 (cosoco) R 7396 7399 2920 0 -1 4202496 66066 0 0 0 239991 12 0 0 20 0 1 0 16636269 150130688 30286 33554432000 4194304 5970956 140731302236800 140731302234360 4934477 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32620544 140731302241468 140731302241603 140731302241603 140731302244302 0 /proc/7399/statm: 36653 30286 860 434 0 30017 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 146612 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 7399 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.8 CPU time (s): 2400.05 CPU user time (s): 2399.91 CPU system time (s): 0.130959 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 146612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.91 system time used= 0.130959 maximum resident set size= 121188 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66099 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= 38 involuntary context switches= 122650 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.17282 second user time and 7.62976 second system time The end
Begin job on node125 at 2017-07-21 12:39:54 IDJOB=4239972 IDBENCH=115908 IDSOLVER=2621 FILE ID=node125/4239972-1500633594 RUNJOBID= node125-1500623778-2951 PBS_JOBID= 20623008 Free space on /tmp= 62024 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-15.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239972-1500633594/watcher-4239972-1500633594 -o /tmp/evaluation-result-4239972-1500633594/solver-4239972-1500633594 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2951 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239972-1500633594.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e301970dbbdacc0ad69519f2afe54420 RANDOM SEED=577286252 node125.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 : 4 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 : 5333.75 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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.56 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 : 4 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 : 5333.75 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 : 4 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.56 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 : 4 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 : 5333.75 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 : 4 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.56 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 : 4 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 : 5333.75 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 : 4 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30982544 kB MemAvailable: 31006880 kB Buffers: 92888 kB Cached: 205036 kB SwapCached: 488 kB Active: 1258908 kB Inactive: 94088 kB Active(anon): 1004636 kB Inactive(anon): 61840 kB Active(file): 254272 kB Inactive(file): 32248 kB Unevictable: 6244 kB Mlocked: 6244 kB SwapTotal: 67108860 kB SwapFree: 67108372 kB Dirty: 2360 kB Writeback: 0 kB AnonPages: 1062544 kB Mapped: 34280 kB Shmem: 8576 kB Slab: 132840 kB SReclaimable: 107304 kB SUnreclaim: 25536 kB KernelStack: 3360 kB PageTables: 6820 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1350328 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 999424 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 62024 MiB End job on node125 at 2017-07-21 13:19:55