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.11 | 2400.21 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml |
| MD5SUM | 24e7c51735ec9671261d78753301e43f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 104 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 529 |
| Number of constraints | 344 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 513 |
| Distribution of domain sizes | [{"size":2,"count":256},{"size":3,"count":256},{"size":197,"count":1},{"size":513,"count":16}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 17 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":253},{"degree":3,"count":19},{"degree":4,"count":56},{"degree":8,"count":52},{"degree":9,"count":144},{"degree":17,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 18 |
| Distribution of constraint arities | [{"arity":2,"count":72},{"arity":3,"count":56},{"arity":10,"count":196},{"arity":16,"count":4},{"arity":17,"count":1},{"arity":18,"count":15}] |
| Number of extensional constraints | 252 |
| Number of intensional constraints | 71 |
| Distribution of constraint types | [{"type":"extension","count":252},{"type":"intension","count":71},{"type":"sum","count":17},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.29/0.30 c SAT : Variables: 9685 -- Clauses: 2122107 0.29/0.30 c best=?? lower=0 upper=196 0.38/0.42 c 0.38/0.42 c This is cosoco 1.0 -- 0.38/0.42 c 0.38/0.42 c enable optimization 0.38/0.42 c ========================================[ Problem Statistics ]=========================================== 0.38/0.42 c | 0.38/0.42 c | Parse time : 0.27 s 0.38/0.42 c | 0.38/0.42 c | Variables: 529 0.38/0.42 c | Domain Sizes: 2..513 0.38/0.42 c | 0.38/0.42 c | Constraints: 405 0.38/0.42 c | Arity: 1..18 -- Unary: 65 -- Binary: 72 -- Ternary: 56 0.38/0.42 c | 0.38/0.42 c | Types: 0.38/0.42 c | : 52 0.38/0.42 c | Extension: 200 (nb tuples: 1..724) -- (shared: 247) 0.38/0.42 c | Intension: 72 0.38/0.42 c | Sum: 17 0.38/0.42 c | Unary: 64 0.38/0.42 c | 0.38/0.42 c ========================================================================================================= 0.38/0.42 o 8 0.38/0.42 c 1 calls to solver: best=8 lower=9 upper=196 0.38/0.45 o 11 0.48/0.58 o 13 0.48/0.58 c 3 calls to solver: best=13 lower=14 upper=196 0.58/0.69 o 16 0.88/0.96 o 17 0.88/0.96 c 5 calls to solver: best=17 lower=18 upper=196 2.19/2.21 o 18 2.48/2.51 o 22 2.48/2.51 c 7 calls to solver: best=22 lower=23 upper=196 2.78/2.84 conflict 146lvl : 179 bt179-227:0(3777)X8594051 4.69/4.76 conflict 170lvl : 177 bt177-75:0(3359)X8705271 4.69/4.78 conflict 132lvl : 167 bt167-137:0(3242)X8707234 5.69/5.76 conflict 122lvl : 156 bt156-265:0(2988)X8774464 5.89/5.95 conflict 120lvl : 138 bt137-297:0(2222)X8788974 5.89/5.99 conflict 119lvl : 187 bt142-261:0(3773)X8793409 9.29/9.30 o 23 9.29/9.34 o 24 9.29/9.34 c 9 calls to solver: best=24 lower=25 upper=196 9.39/9.47 o 25 9.49/9.55 o 26 9.49/9.55 c 11 calls to solver: best=26 lower=27 upper=196 9.49/9.59 o 28 9.59/9.65 o 30 9.59/9.65 c 13 calls to solver: best=30 lower=31 upper=196 9.59/9.69 o 32 9.69/9.75 o 34 9.69/9.75 c 15 calls to solver: best=34 lower=35 upper=196 9.79/9.83 o 35 10.49/10.51 o 36 10.49/10.51 c 17 calls to solver: best=36 lower=37 upper=196 11.79/11.83 o 37 12.29/12.36 o 38 12.29/12.36 c 19 calls to solver: best=38 lower=39 upper=196 12.39/12.47 o 40 13.59/13.64 o 42 13.59/13.64 c 21 calls to solver: best=42 lower=43 upper=196 16.39/16.45 o 43 21.19/21.26 o 44 21.19/21.26 c 23 calls to solver: best=44 lower=45 upper=196 67.78/67.87 o 45 68.38/68.44 conflict 91lvl : 107 bt107-235:0(1520)X9074605 81.18/81.26 o 46 81.18/81.26 c 25 calls to solver: best=46 lower=47 upper=196 81.18/81.27 conflict 81lvl : 128 bt124-119:0(2840)X9077847 84.88/84.95 conflict 82lvl : 105 bt100-291:0(1823)X9080730 88.18/88.23 o 47 104.08/104.15 o 48 104.08/104.15 c 27 calls to solver: best=48 lower=49 upper=196 106.58/106.63 o 49 109.28/109.39 o 50 109.28/109.39 c 29 calls to solver: best=50 lower=51 upper=196 110.58/110.64 o 51 113.98/114.09 o 52 113.98/114.09 c 31 calls to solver: best=52 lower=53 upper=196 140.48/140.54 o 54 156.29/156.37 o 55 156.29/156.37 c 33 calls to solver: best=55 lower=56 upper=196 170.59/170.64 o 56 174.68/174.71 o 57 174.68/174.71 c 35 calls to solver: best=57 lower=58 upper=196 205.98/206.05 o 58 209.78/209.83 o 59 209.78/209.83 c 37 calls to solver: best=59 lower=60 upper=196 234.98/235.09 o 60 248.28/248.37 conflict 70lvl : 78 bt74-237:0(1057)X9096395 260.18/260.22 -> -237:X(1057)o 61 260.18/260.22 c 39 calls to solver: best=61 lower=62 upper=196 357.08/357.16 o 62 460.06/460.14 o 63 460.06/460.14 c 41 calls to solver: best=63 lower=64 upper=196 502.86/502.93 o 64 513.46/513.51 o 65 513.46/513.51 c 43 calls to solver: best=65 lower=66 upper=196 530.86/530.91 o 66 605.26/605.31 o 67 605.26/605.31 c 45 calls to solver: best=67 lower=68 upper=196 646.65/646.77 o 68 667.85/667.97 o 69 667.85/667.97 c 47 calls to solver: best=69 lower=70 upper=196 1109.94/1110.04 o 70 1109.94/1110.05 conflict 63lvl : 93 bt86-221:0(2045)X9118136 1129.24/1129.35 conflict 64lvl : 72 bt71-293:0(986)X9119242 1172.64/1172.74 o 71 1172.64/1172.74 c 49 calls to solver: best=71 lower=72 upper=196 1246.24/1246.34 o 72 1257.24/1257.37 o 73 1257.24/1257.37 c 51 calls to solver: best=73 lower=74 upper=196 1263.84/1263.99 o 74 1283.13/1283.24 o 75 1283.13/1283.24 c 53 calls to solver: best=75 lower=76 upper=196 1388.43/1388.55 o 76 1499.23/1499.34 o 77 1499.23/1499.34 c 55 calls to solver: best=77 lower=78 upper=196 1650.32/1650.44 o 78 1757.72/1757.89 o 79 1757.72/1757.89 c 57 calls to solver: best=79 lower=80 upper=196 1842.61/1842.72 o 80 2211.80/2211.91 o 81 2211.80/2211.91 c 59 calls to solver: best=81 lower=82 upper=196 2346.39/2346.59 o 82 2400.10/2400.20 2400.10/2400.20 c *** INTERRUPTED *** 2400.10/2400.20 s SATISFIABLE 2400.10/2400.20 c Best value found: 82 2400.10/2400.20 2400.10/2400.20 2400.10/2400.20 v <instantiation type='solution' cost='82'> 2400.10/2400.20 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] 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-4239948-1500633095/watcher-4239948-1500633095 -o /tmp/evaluation-result-4239948-1500633095/solver-4239948-1500633095 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500623784-4669 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239948-1500633095.xml pid=6043 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 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.03 2.05 3/186 6046 /proc/meminfo: memFree=29695524/32770624 swapFree=6644/27368 [pid=6046] ppid=6043 vsize=27256 CPUtime=0 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 1001 0 0 0 0 0 0 0 20 0 1 0 17941523 27910144 832 33554432000 4194304 5970956 140737069256480 140737069251576 140269016054757 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 6814 832 703 434 0 178 0 [startup+0.10016 s] /proc/loadavg: 2.00 2.03 2.05 3/186 6046 /proc/meminfo: memFree=29695524/32770624 swapFree=6644/27368 [pid=6046] ppid=6043 vsize=28576 CPUtime=0.09 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 1431 0 0 0 9 0 0 0 20 0 1 0 17941523 29261824 1263 33554432000 4194304 5970956 140737069256480 140737069248816 140269016054757 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 7144 1263 792 434 0 508 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28576 [startup+0.200322 s] /proc/loadavg: 2.00 2.03 2.05 3/186 6046 /proc/meminfo: memFree=29695524/32770624 swapFree=6644/27368 [pid=6046] ppid=6043 vsize=57276 CPUtime=0.19 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 7154 0 0 0 19 0 0 0 20 0 1 0 17941523 58650624 8017 33554432000 4194304 5970956 140737069256480 140737069253304 5279679 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 14319 8017 839 434 0 7683 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 57276 [startup+0.300344 s] /proc/loadavg: 2.00 2.03 2.05 3/186 6046 /proc/meminfo: memFree=29695524/32770624 swapFree=6644/27368 [pid=6046] ppid=6043 vsize=134752 CPUtime=0.29 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 16623 0 0 0 27 2 0 0 20 0 1 0 17941523 137986048 23067 33554432000 4194304 5970956 140737069256480 140737069253896 140269016054757 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 33721 23067 839 434 0 27085 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 134752 [startup+0.700231 s] /proc/loadavg: 2.00 2.03 2.05 3/186 6046 /proc/meminfo: memFree=29695524/32770624 swapFree=6644/27368 [pid=6046] ppid=6043 vsize=136736 CPUtime=0.68 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 17127 0 0 0 66 2 0 0 20 0 1 0 17941523 140017664 23595 33554432000 4194304 5970956 140737069256480 140737069243784 4934465 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34184 23595 856 434 0 27548 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 136736 [startup+1.50022 s] /proc/loadavg: 2.00 2.03 2.05 3/187 6047 /proc/meminfo: memFree=29604060/32770624 swapFree=6644/27400 [pid=6046] ppid=6043 vsize=136736 CPUtime=1.48 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 17136 0 0 0 146 2 0 0 20 0 1 0 17941523 140017664 23595 33554432000 4194304 5970956 140737069256480 140737069243784 4934350 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34184 23595 856 434 0 27548 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 136736 [startup+3.10022 s] /proc/loadavg: 2.00 2.03 2.05 3/187 6047 /proc/meminfo: memFree=29603564/32770624 swapFree=6644/27400 [pid=6046] ppid=6043 vsize=136868 CPUtime=3.09 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 18810 0 0 0 306 3 0 0 20 0 1 0 17941523 140152832 23639 33554432000 4194304 5970956 140737069256480 140737069253816 4926004 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34217 23639 860 434 0 27581 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 136868 [startup+6.30022 s] /proc/loadavg: 2.00 2.03 2.05 3/187 6047 /proc/meminfo: memFree=29603428/32770624 swapFree=6644/27412 [pid=6046] ppid=6043 vsize=136868 CPUtime=6.29 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 23083 0 0 0 626 3 0 0 20 0 1 0 17941523 140152832 23645 33554432000 4194304 5970956 140737069256480 140737069253816 4934366 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34217 23645 860 434 0 27581 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 136868 [startup+12.7002 s] /proc/loadavg: 2.00 2.03 2.05 3/187 6047 /proc/meminfo: memFree=29600888/32770624 swapFree=6644/27420 [pid=6046] ppid=6043 vsize=137000 CPUtime=12.69 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 28875 0 0 0 1266 3 0 0 20 0 1 0 17941523 140288000 24192 33554432000 4194304 5970956 140737069256480 140737069254040 4930640 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34250 24192 860 434 0 27614 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 137000 [startup+25.5003 s] /proc/loadavg: 2.00 2.03 2.05 3/187 6047 /proc/meminfo: memFree=29601012/32770624 swapFree=6644/27428 [pid=6046] ppid=6043 vsize=137000 CPUtime=25.49 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 34876 0 0 0 2546 3 0 0 20 0 1 0 17941523 140288000 24201 33554432000 4194304 5970956 140737069256480 140737069243784 4934864 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34250 24201 860 434 0 27614 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 137000 [startup+51.1003 s] /proc/loadavg: 2.00 2.02 2.05 3/187 6047 /proc/meminfo: memFree=29601264/32770624 swapFree=6644/27444 [pid=6046] ppid=6043 vsize=137000 CPUtime=51.08 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 39928 0 0 0 5105 3 0 0 20 0 1 0 17941523 140288000 24204 33554432000 4194304 5970956 140737069256480 140737069243784 4930611 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34250 24204 860 434 0 27614 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 137000 [startup+102.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 6048 /proc/meminfo: memFree=29600644/32770624 swapFree=6644/27500 [pid=6046] ppid=6043 vsize=137000 CPUtime=102.29 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 46032 0 0 0 10226 3 0 0 20 0 1 0 17941523 140288000 24204 33554432000 4194304 5970956 140737069256480 140737069254040 5038725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34250 24204 860 434 0 27614 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 137000 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6049 /proc/meminfo: memFree=29600520/32770624 swapFree=6644/27544 [pid=6046] ppid=6043 vsize=137000 CPUtime=162.28 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 50565 0 0 0 16224 4 0 0 20 0 1 0 17941523 140288000 24204 33554432000 4194304 5970956 140737069256480 140737069243784 5069920 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34250 24204 860 434 0 27614 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 137000 [startup+222.306 s] /proc/loadavg: 2.04 2.03 2.05 3/187 6050 /proc/meminfo: memFree=29600716/32770624 swapFree=6644/27584 [pid=6046] ppid=6043 vsize=137000 CPUtime=222.29 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 54682 0 0 0 22225 4 0 0 20 0 1 0 17941523 140288000 24206 33554432000 4194304 5970956 140737069256480 140737069243784 4934342 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34250 24206 860 434 0 27614 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 137000 [startup+282.3 s] /proc/loadavg: 2.01 2.02 2.05 3/187 6051 /proc/meminfo: memFree=29600876/32770624 swapFree=6644/27644 [pid=6046] ppid=6043 vsize=137000 CPUtime=282.28 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 58466 0 0 0 28224 4 0 0 20 0 1 0 17941523 140288000 24206 33554432000 4194304 5970956 140737069256480 140737069243784 4934781 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34250 24206 860 434 0 27614 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 137000 [startup+342.3 s] /proc/loadavg: 2.06 2.03 2.05 3/187 6052 /proc/meminfo: memFree=29600752/32770624 swapFree=6644/27680 [pid=6046] ppid=6043 vsize=137000 CPUtime=342.27 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 61758 0 0 0 34223 4 0 0 20 0 1 0 17941523 140288000 24206 33554432000 4194304 5970956 140737069256480 140737069243784 4934350 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34250 24206 860 434 0 27614 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 137000 [startup+402.3 s] /proc/loadavg: 2.69 2.17 2.09 2/189 6115 /proc/meminfo: memFree=12699760/32770624 swapFree=6644/3773300 [pid=6046] ppid=6043 vsize=137000 CPUtime=402.26 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 65110 0 0 0 40221 5 0 0 20 0 1 0 17941523 140288000 24212 33554432000 4194304 5970956 140737069256480 140737069254040 4934350 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34250 24212 860 434 0 27614 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 137000 [startup+462.3 s] /proc/loadavg: 4.15 2.69 2.27 2/189 6116 /proc/meminfo: memFree=9640224/32770624 swapFree=6644/6775520 [pid=6046] ppid=6043 vsize=137000 CPUtime=462.26 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 65816 0 0 0 46221 5 0 0 20 0 1 0 17941523 140288000 24573 33554432000 4194304 5970956 140737069256480 140737069243784 4908171 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34250 24573 860 434 0 27614 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 137000 [startup+522.3 s] /proc/loadavg: 4.69 3.11 2.44 2/189 6124 /proc/meminfo: memFree=6565460/32770624 swapFree=6644/9728988 [pid=6046] ppid=6043 vsize=137000 CPUtime=522.26 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 66521 0 0 0 52221 5 0 0 20 0 1 0 17941523 140288000 24573 33554432000 4194304 5970956 140737069256480 140737069243784 4933087 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34250 24573 860 434 0 27614 0 Current children cumulated CPU time (s) 522.26 Current children cumulated vsize (KiB) 137000 [startup+582.3 s] /proc/loadavg: 4.89 3.45 2.60 3/189 6125 /proc/meminfo: memFree=3557744/32770624 swapFree=6644/12688248 [pid=6046] ppid=6043 vsize=137000 CPUtime=582.26 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 67162 0 0 0 58221 5 0 0 20 0 1 0 17941523 140288000 24574 33554432000 4194304 5970956 140737069256480 140737069254040 4934342 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34250 24574 860 434 0 27614 0 Current children cumulated CPU time (s) 582.26 Current children cumulated vsize (KiB) 137000 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.01 2.56 2.90 3/187 6215 /proc/meminfo: memFree=17614796/32770624 swapFree=6644/13456 [pid=6046] ppid=6043 vsize=137152 CPUtime=1482.22 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 77288 0 0 0 148217 5 0 0 20 0 1 0 17941523 140443648 24580 33554432000 4194304 5970956 140737069256480 140737069254040 5337501 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34288 24580 860 434 0 27652 0 Current children cumulated CPU time (s) 1482.22 Current children cumulated vsize (KiB) 137152 [startup+1542.31 s] /proc/loadavg: 2.00 2.46 2.85 3/187 6216 /proc/meminfo: memFree=17603928/32770624 swapFree=6644/13512 [pid=6046] ppid=6043 vsize=137152 CPUtime=1542.23 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 78019 0 0 0 154218 5 0 0 20 0 1 0 17941523 140443648 24583 33554432000 4194304 5970956 140737069256480 140737069243784 4930648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34288 24583 860 434 0 27652 0 Current children cumulated CPU time (s) 1542.23 Current children cumulated vsize (KiB) 137152 [startup+1602.3 s] /proc/loadavg: 2.05 2.39 2.80 3/187 6218 /proc/meminfo: memFree=17598896/32770624 swapFree=6644/13548 [pid=6046] ppid=6043 vsize=137152 CPUtime=1602.22 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 78679 0 0 0 160217 5 0 0 20 0 1 0 17941523 140443648 24584 33554432000 4194304 5970956 140737069256480 140737069243784 5038197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34288 24584 860 434 0 27652 0 Current children cumulated CPU time (s) 1602.22 Current children cumulated vsize (KiB) 137152 [startup+1662.3 s] /proc/loadavg: 2.02 2.32 2.75 3/187 6219 /proc/meminfo: memFree=17593968/32770624 swapFree=6644/13580 [pid=6046] ppid=6043 vsize=137152 CPUtime=1662.22 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 79383 0 0 0 166217 5 0 0 20 0 1 0 17941523 140443648 24584 33554432000 4194304 5970956 140737069256480 140737069254040 5038188 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34288 24584 860 434 0 27652 0 Current children cumulated CPU time (s) 1662.22 Current children cumulated vsize (KiB) 137152 [startup+1722.3 s] /proc/loadavg: 2.01 2.26 2.70 3/187 6227 /proc/meminfo: memFree=17589056/32770624 swapFree=6644/13624 [pid=6046] ppid=6043 vsize=137152 CPUtime=1722.22 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 80009 0 0 0 172217 5 0 0 20 0 1 0 17941523 140443648 24584 33554432000 4194304 5970956 140737069256480 140737069254040 4934354 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34288 24584 860 434 0 27652 0 Current children cumulated CPU time (s) 1722.22 Current children cumulated vsize (KiB) 137152 [startup+1782.3 s] /proc/loadavg: 2.00 2.21 2.66 3/187 6250 /proc/meminfo: memFree=17585724/32770624 swapFree=6644/13760 [pid=6046] ppid=6043 vsize=137152 CPUtime=1782.21 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 80732 0 0 0 178216 5 0 0 20 0 1 0 17941523 140443648 24584 33554432000 4194304 5970956 140737069256480 140737069243784 5039186 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34288 24584 860 434 0 27652 0 Current children cumulated CPU time (s) 1782.21 Current children cumulated vsize (KiB) 137152 [startup+1842.3 s] /proc/loadavg: 2.06 2.19 2.62 3/187 6251 /proc/meminfo: memFree=17581024/32770624 swapFree=6644/13796 [pid=6046] ppid=6043 vsize=137152 CPUtime=1842.21 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 81392 0 0 0 184216 5 0 0 20 0 1 0 17941523 140443648 24586 33554432000 4194304 5970956 140737069256480 140737069243784 4933999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34288 24586 860 434 0 27652 0 Current children cumulated CPU time (s) 1842.21 Current children cumulated vsize (KiB) 137152 [startup+1902.3 s] /proc/loadavg: 2.02 2.16 2.58 3/187 6252 /proc/meminfo: memFree=17578460/32770624 swapFree=6644/13824 [pid=6046] ppid=6043 vsize=137152 CPUtime=1902.21 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 82061 0 0 0 190216 5 0 0 20 0 1 0 17941523 140443648 24586 33554432000 4194304 5970956 140737069256480 140737069254040 4934517 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34288 24586 860 434 0 27652 0 Current children cumulated CPU time (s) 1902.21 Current children cumulated vsize (KiB) 137152 [startup+1962.3 s] /proc/loadavg: 2.01 2.13 2.55 3/187 6253 /proc/meminfo: memFree=17573328/32770624 swapFree=6644/13864 [pid=6046] ppid=6043 vsize=137152 CPUtime=1962.21 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 82699 0 0 0 196216 5 0 0 20 0 1 0 17941523 140443648 24586 33554432000 4194304 5970956 140737069256480 140737069254040 5098928 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34288 24586 860 434 0 27652 0 Current children cumulated CPU time (s) 1962.21 Current children cumulated vsize (KiB) 137152 [startup+2022.3 s] /proc/loadavg: 2.00 2.10 2.51 3/187 6254 /proc/meminfo: memFree=17570140/32770624 swapFree=6644/13892 [pid=6046] ppid=6043 vsize=137152 CPUtime=2022.21 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 83357 0 0 0 202216 5 0 0 20 0 1 0 17941523 140443648 24586 33554432000 4194304 5970956 140737069256480 140737069254040 5093120 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34288 24586 860 434 0 27652 0 Current children cumulated CPU time (s) 2022.21 Current children cumulated vsize (KiB) 137152 [startup+2082.3 s] /proc/loadavg: 2.05 2.10 2.49 3/187 6255 /proc/meminfo: memFree=17567224/32770624 swapFree=6644/13920 [pid=6046] ppid=6043 vsize=137152 CPUtime=2082.21 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 84017 0 0 0 208216 5 0 0 20 0 1 0 17941523 140443648 24586 33554432000 4194304 5970956 140737069256480 140737069254040 5322040 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34288 24586 860 434 0 27652 0 Current children cumulated CPU time (s) 2082.21 Current children cumulated vsize (KiB) 137152 [startup+2142.3 s] /proc/loadavg: 2.02 2.08 2.46 3/187 6256 /proc/meminfo: memFree=17561840/32770624 swapFree=6644/13956 [pid=6046] ppid=6043 vsize=137152 CPUtime=2142.2 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 84662 0 0 0 214215 5 0 0 20 0 1 0 17941523 140443648 24588 33554432000 4194304 5970956 140737069256480 140737069254040 5250394 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34288 24588 860 434 0 27652 0 Current children cumulated CPU time (s) 2142.2 Current children cumulated vsize (KiB) 137152 [startup+2202.31 s] /proc/loadavg: 2.01 2.07 2.43 3/187 6257 /proc/meminfo: memFree=17560260/32770624 swapFree=6644/13988 [pid=6046] ppid=6043 vsize=137152 CPUtime=2202.2 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 85337 0 0 0 220215 5 0 0 20 0 1 0 17941523 140443648 24588 33554432000 4194304 5970956 140737069256480 140737069254040 4934327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34288 24588 860 434 0 27652 0 Current children cumulated CPU time (s) 2202.2 Current children cumulated vsize (KiB) 137152 [startup+2262.3 s] /proc/loadavg: 2.00 2.06 2.40 3/187 6258 /proc/meminfo: memFree=17556112/32770624 swapFree=6644/14024 [pid=6046] ppid=6043 vsize=137152 CPUtime=2262.2 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 86047 0 0 0 226215 5 0 0 20 0 1 0 17941523 140443648 24588 33554432000 4194304 5970956 140737069256480 140737069243784 4933587 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34288 24588 860 434 0 27652 0 Current children cumulated CPU time (s) 2262.2 Current children cumulated vsize (KiB) 137152 [startup+2322.3 s] /proc/loadavg: 2.07 2.06 2.38 3/187 6266 /proc/meminfo: memFree=17552116/32770624 swapFree=6644/14060 [pid=6046] ppid=6043 vsize=137152 CPUtime=2322.19 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 86676 0 0 0 232214 5 0 0 20 0 1 0 17941523 140443648 24588 33554432000 4194304 5970956 140737069256480 140737069243784 4934453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34288 24588 860 434 0 27652 0 Current children cumulated CPU time (s) 2322.19 Current children cumulated vsize (KiB) 137152 [startup+2382.3 s] /proc/loadavg: 2.06 2.06 2.36 3/187 6267 /proc/meminfo: memFree=17548872/32770624 swapFree=6644/14092 [pid=6046] ppid=6043 vsize=137152 CPUtime=2382.19 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 87381 0 0 0 238214 5 0 0 20 0 1 0 17941523 140443648 24588 33554432000 4194304 5970956 140737069256480 140737069254040 4934432 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34288 24588 860 434 0 27652 0 Current children cumulated CPU time (s) 2382.19 Current children cumulated vsize (KiB) 137152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.2 s] /proc/loadavg: 2.05 2.06 2.36 3/187 6267 /proc/meminfo: memFree=17548756/32770624 swapFree=6644/14100 [pid=6046] ppid=6043 vsize=137152 CPUtime=2400.1 cores=1,3,5,7 /proc/6046/stat : 6046 (cosoco) R 6043 6046 4637 0 -1 4202496 87935 0 0 0 240005 5 0 0 20 0 1 0 17941523 140443648 24588 33554432000 4194304 5970956 140737069256480 140737069254040 4934366 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29863936 140737069262012 140737069262147 140737069262147 140737069264846 0 /proc/6046/statm: 34288 24588 860 434 0 27652 0 Current children cumulated CPU time (s) 2400.1 Current children cumulated vsize (KiB) 137152 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 6046 sig 9 ??? kill -6046 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.21 CPU time (s): 2400.11 CPU user time (s): 2400.05 CPU system time (s): 0.058998 CPU usage (%): 99.996 Max. virtual memory (cumulated for all children) (KiB): 137152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.05 system time used= 0.058998 maximum resident set size= 98396 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87968 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= 31 involuntary context switches= 120687 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.66727 second user time and 8.17297 second system time The end
Begin job on node113 at 2017-07-21 12:31:36 IDJOB=4239948 IDBENCH=115889 IDSOLVER=2621 FILE ID=node113/4239948-1500633095 RUNJOBID= node113-1500623784-4669 PBS_JOBID= 20623018 Free space on /tmp= 62020 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-14.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239948-1500633095/watcher-4239948-1500633095 -o /tmp/evaluation-result-4239948-1500633095/solver-4239948-1500633095 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500623784-4669 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239948-1500633095.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 24e7c51735ec9671261d78753301e43f RANDOM SEED=144146212 node113.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.03 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 : 1600.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.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 : 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.03 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.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 : 2668.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.03 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 : 2133.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.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 : 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.03 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29695984 kB MemAvailable: 29866248 kB Buffers: 151736 kB Cached: 300836 kB SwapCached: 0 kB Active: 2541900 kB Inactive: 97360 kB Active(anon): 2136304 kB Inactive(anon): 69992 kB Active(file): 405596 kB Inactive(file): 27368 kB Unevictable: 6644 kB Mlocked: 6644 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2352 kB Writeback: 0 kB AnonPages: 2192272 kB Mapped: 34396 kB Shmem: 17040 kB Slab: 131432 kB SReclaimable: 106268 kB SUnreclaim: 25164 kB KernelStack: 3328 kB PageTables: 9604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2472472 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2131968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62016 MiB End job on node113 at 2017-07-21 13:11:36