Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| npSolver inc-topDown | ? (TO) | 1800.11 | 1800.41 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_2.opb |
| MD5SUM | 031b0f629913e7cd5c934f00ec1a1885 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 11.1943 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1 |
| Optimality of the best value was proved | YES |
| Number of variables | 94 |
| Total number of constraints | 8 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 44 |
| Maximum length of a constraint | 46 |
| Number of terms in the objective function | 64 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2040 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 808 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2934 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.20 c run inc solver 0.00/0.20 c [INC SYSTEM] run initial solver 0.00/0.20 c [INC SYSTEM] preprocess with white file 1.28/1.36 c [INC SYSTEM] finished preprocessing in 1 s 1.28/1.36 c [INC SYSTEM] execute solver 4.77/4.87 c [INC SEARCH] formula is SAT 4.77/4.88 c [INC SYSTEM] solved the initial formula 4.97/5.06 c model valid 4.97/5.06 c current solution ok 5.37/5.42 o 926 5.37/5.42 c [INC SYSTEM] there exists a inc, kill it! 5.37/5.42 c write failed with 2 5.37/5.42 c [INC SEARCH] iteration: 0 5.37/5.42 c [INC BOUNDS] best value:926 search for 925 5.37/5.42 c [INC SYSTEM] create new solver instance 5.37/5.42 c [INC] encode full formula 5.37/5.46 c set iterative enc to: swc 5.37/5.47 c [INC SEARCH] isOptimum variable: 0 135.15/135.26 c formula is SAT 135.15/135.27 c [INC SEARCH] copied best model 135.15/135.27 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 135.15/135.27 c model valid 135.15/135.27 c current solution ok 135.15/135.27 o 729 135.15/135.27 c [INC SEARCH] iteration: 1 135.15/135.27 c [INC BOUNDS] best value:729 search for 728 135.15/135.27 c [INC ENCODE] setup new number of clauses ... 135.15/135.27 c [INC] encode incremental formula 135.15/135.27 c return only the limitting unit clause for 728 135.15/135.27 c [INC SYSTEM] transmit new clauses to solver: 1 135.15/135.27 c [INC SEARCH] isOptimum variable: 0 135.34/135.44 c formula is SAT 135.34/135.45 c [INC SEARCH] copied best model 135.34/135.45 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 135.34/135.45 c model valid 135.34/135.45 c current solution ok 135.34/135.45 o 725 135.34/135.45 c [INC SEARCH] iteration: 2 135.34/135.45 c [INC BOUNDS] best value:725 search for 724 135.34/135.45 c [INC ENCODE] setup new number of clauses ... 135.34/135.45 c [INC] encode incremental formula 135.34/135.45 c return only the limitting unit clause for 724 135.34/135.45 c [INC SYSTEM] transmit new clauses to solver: 1 135.34/135.45 c [INC SEARCH] isOptimum variable: 0 135.44/135.55 c formula is SAT 135.44/135.56 c [INC SEARCH] copied best model 135.44/135.56 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 135.44/135.56 c model valid 135.44/135.56 c current solution ok 135.44/135.56 o 661 135.44/135.56 c [INC SEARCH] iteration: 3 135.44/135.56 c [INC BOUNDS] best value:661 search for 660 135.44/135.56 c [INC ENCODE] setup new number of clauses ... 135.44/135.56 c [INC] encode incremental formula 135.44/135.56 c return only the limitting unit clause for 660 135.44/135.56 c [INC SYSTEM] transmit new clauses to solver: 1 135.44/135.56 c [INC SEARCH] isOptimum variable: 0 135.54/135.67 c formula is SAT 135.54/135.68 c [INC SEARCH] copied best model 135.54/135.68 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 135.54/135.68 c model valid 135.54/135.68 c current solution ok 135.54/135.68 o 533 135.54/135.68 c [INC SEARCH] iteration: 4 135.54/135.68 c [INC BOUNDS] best value:533 search for 532 135.54/135.68 c [INC ENCODE] setup new number of clauses ... 135.54/135.68 c [INC] encode incremental formula 135.54/135.68 c return only the limitting unit clause for 532 135.54/135.68 c [INC SYSTEM] transmit new clauses to solver: 1 135.54/135.68 c [INC SEARCH] isOptimum variable: 0 135.75/135.80 c formula is SAT 135.75/135.81 c [INC SEARCH] copied best model 135.75/135.81 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 135.75/135.81 c model valid 135.75/135.81 c current solution ok 135.75/135.81 o 293 135.75/135.81 c [INC SEARCH] iteration: 5 135.75/135.81 c [INC BOUNDS] best value:293 search for 292 135.75/135.81 c [INC ENCODE] setup new number of clauses ... 135.75/135.81 c [INC] encode incremental formula 135.75/135.81 c return only the limitting unit clause for 292 135.75/135.81 c [INC SYSTEM] transmit new clauses to solver: 1 135.75/135.81 c [INC SEARCH] isOptimum variable: 0 135.84/135.96 c formula is SAT 135.84/135.97 c [INC SEARCH] copied best model 135.84/135.97 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 135.84/135.97 c model valid 135.84/135.97 c current solution ok 135.84/135.97 o 289 135.84/135.97 c [INC SEARCH] iteration: 6 135.84/135.97 c [INC BOUNDS] best value:289 search for 288 135.84/135.97 c [INC ENCODE] setup new number of clauses ... 135.84/135.97 c [INC] encode incremental formula 135.84/135.97 c return only the limitting unit clause for 288 135.84/135.97 c [INC SYSTEM] transmit new clauses to solver: 1 135.84/135.97 c [INC SEARCH] isOptimum variable: 0 135.94/136.07 c formula is SAT 135.94/136.08 c [INC SEARCH] copied best model 135.94/136.08 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 135.94/136.08 c model valid 135.94/136.08 c current solution ok 135.94/136.08 o 287 135.94/136.08 c [INC SEARCH] iteration: 7 135.94/136.08 c [INC BOUNDS] best value:287 search for 286 135.94/136.08 c [INC ENCODE] setup new number of clauses ... 135.94/136.08 c [INC] encode incremental formula 135.94/136.08 c return only the limitting unit clause for 286 135.94/136.08 c [INC SYSTEM] transmit new clauses to solver: 1 135.94/136.08 c [INC SEARCH] isOptimum variable: 0 136.04/136.19 c formula is SAT 136.14/136.20 c [INC SEARCH] copied best model 136.14/136.20 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 136.14/136.20 c model valid 136.14/136.20 c current solution ok 136.14/136.20 o 283 136.14/136.20 c [INC SEARCH] iteration: 8 136.14/136.20 c [INC BOUNDS] best value:283 search for 282 136.14/136.20 c [INC ENCODE] setup new number of clauses ... 136.14/136.20 c [INC] encode incremental formula 136.14/136.20 c return only the limitting unit clause for 282 136.14/136.20 c [INC SYSTEM] transmit new clauses to solver: 1 136.14/136.20 c [INC SEARCH] isOptimum variable: 0 136.24/136.31 c formula is SAT 136.24/136.31 c [INC SEARCH] copied best model 136.24/136.31 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 136.24/136.32 c model valid 136.24/136.32 c current solution ok 136.24/136.32 o 267 136.24/136.32 c [INC SEARCH] iteration: 9 136.24/136.32 c [INC BOUNDS] best value:267 search for 266 136.24/136.32 c [INC ENCODE] setup new number of clauses ... 136.24/136.32 c [INC] encode incremental formula 136.24/136.32 c return only the limitting unit clause for 266 136.24/136.32 c [INC SYSTEM] transmit new clauses to solver: 1 136.24/136.32 c [INC SEARCH] isOptimum variable: 0 136.35/136.42 c formula is SAT 136.35/136.43 c [INC SEARCH] copied best model 136.35/136.43 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 136.35/136.43 c model valid 136.35/136.43 c current solution ok 136.35/136.43 o 265 136.35/136.43 c [INC SEARCH] iteration: 10 136.35/136.43 c [INC BOUNDS] best value:265 search for 264 136.35/136.43 c [INC ENCODE] setup new number of clauses ... 136.35/136.43 c [INC] encode incremental formula 136.35/136.43 c return only the limitting unit clause for 264 136.35/136.43 c [INC SYSTEM] transmit new clauses to solver: 1 136.35/136.43 c [INC SEARCH] isOptimum variable: 0 136.44/136.55 c formula is SAT 136.44/136.56 c [INC SEARCH] copied best model 136.44/136.56 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 136.44/136.56 c model valid 136.44/136.56 c current solution ok 136.44/136.56 o 263 136.44/136.56 c [INC SEARCH] iteration: 11 136.44/136.56 c [INC BOUNDS] best value:263 search for 262 136.44/136.56 c [INC ENCODE] setup new number of clauses ... 136.44/136.56 c [INC] encode incremental formula 136.44/136.56 c return only the limitting unit clause for 262 136.44/136.56 c [INC SYSTEM] transmit new clauses to solver: 1 136.44/136.56 c [INC SEARCH] isOptimum variable: 0 137.14/137.25 c formula is SAT 137.14/137.26 c [INC SEARCH] copied best model 137.14/137.26 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 137.14/137.26 c model valid 137.14/137.26 c current solution ok 137.14/137.26 o 257 137.14/137.26 c [INC SEARCH] iteration: 12 137.14/137.26 c [INC BOUNDS] best value:257 search for 256 137.14/137.26 c [INC ENCODE] setup new number of clauses ... 137.14/137.26 c [INC] encode incremental formula 137.14/137.26 c return only the limitting unit clause for 256 137.14/137.26 c [INC SYSTEM] transmit new clauses to solver: 1 137.14/137.26 c [INC SEARCH] isOptimum variable: 0 137.24/137.37 c formula is SAT 137.24/137.38 c [INC SEARCH] copied best model 137.24/137.38 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 137.24/137.38 c model valid 137.24/137.38 c current solution ok 137.24/137.38 o 255 137.24/137.38 c [INC SEARCH] iteration: 13 137.24/137.38 c [INC BOUNDS] best value:255 search for 254 137.24/137.38 c [INC ENCODE] setup new number of clauses ... 137.24/137.38 c [INC] encode incremental formula 137.24/137.38 c return only the limitting unit clause for 254 137.24/137.38 c [INC SYSTEM] transmit new clauses to solver: 1 137.24/137.38 c [INC SEARCH] isOptimum variable: 0 137.35/137.49 c formula is SAT 137.35/137.50 c [INC SEARCH] copied best model 137.35/137.50 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 137.35/137.50 c model valid 137.35/137.50 c current solution ok 137.35/137.50 o 253 137.35/137.50 c [INC SEARCH] iteration: 14 137.35/137.50 c [INC BOUNDS] best value:253 search for 252 137.35/137.50 c [INC ENCODE] setup new number of clauses ... 137.35/137.50 c [INC] encode incremental formula 137.35/137.50 c return only the limitting unit clause for 252 137.35/137.50 c [INC SYSTEM] transmit new clauses to solver: 1 137.35/137.50 c [INC SEARCH] isOptimum variable: 0 137.55/137.62 c formula is SAT 137.55/137.63 c [INC SEARCH] copied best model 137.55/137.63 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 137.55/137.63 c model valid 137.55/137.63 c current solution ok 137.55/137.63 o 251 137.55/137.63 c [INC SEARCH] iteration: 15 137.55/137.63 c [INC BOUNDS] best value:251 search for 250 137.55/137.63 c [INC ENCODE] setup new number of clauses ... 137.55/137.63 c [INC] encode incremental formula 137.55/137.63 c return only the limitting unit clause for 250 137.55/137.63 c [INC SYSTEM] transmit new clauses to solver: 1 137.55/137.63 c [INC SEARCH] isOptimum variable: 0 137.74/137.81 c formula is SAT 137.74/137.82 c [INC SEARCH] copied best model 137.74/137.82 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 137.74/137.82 c model valid 137.74/137.82 c current solution ok 137.74/137.82 o 195 137.74/137.82 c [INC SEARCH] iteration: 16 137.74/137.82 c [INC BOUNDS] best value:195 search for 194 137.74/137.82 c [INC ENCODE] setup new number of clauses ... 137.74/137.82 c [INC] encode incremental formula 137.74/137.82 c return only the limitting unit clause for 194 137.74/137.82 c [INC SYSTEM] transmit new clauses to solver: 1 137.74/137.82 c [INC SEARCH] isOptimum variable: 0 137.84/137.94 c formula is SAT 137.84/137.95 c [INC SEARCH] copied best model 137.84/137.95 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 137.84/137.95 c model valid 137.84/137.95 c current solution ok 137.84/137.95 o 193 137.84/137.95 c [INC SEARCH] iteration: 17 137.84/137.95 c [INC BOUNDS] best value:193 search for 192 137.84/137.95 c [INC ENCODE] setup new number of clauses ... 137.84/137.95 c [INC] encode incremental formula 137.84/137.95 c return only the limitting unit clause for 192 137.84/137.95 c [INC SYSTEM] transmit new clauses to solver: 1 137.84/137.95 c [INC SEARCH] isOptimum variable: 0 138.04/138.16 c formula is SAT 138.04/138.17 c [INC SEARCH] copied best model 138.04/138.17 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 138.04/138.17 c model valid 138.04/138.17 c current solution ok 138.04/138.17 o 191 138.04/138.17 c [INC SEARCH] iteration: 18 138.04/138.17 c [INC BOUNDS] best value:191 search for 190 138.04/138.17 c [INC ENCODE] setup new number of clauses ... 138.04/138.17 c [INC] encode incremental formula 138.04/138.17 c return only the limitting unit clause for 190 138.04/138.17 c [INC SYSTEM] transmit new clauses to solver: 1 138.04/138.17 c [INC SEARCH] isOptimum variable: 0 138.14/138.28 c formula is SAT 138.14/138.29 c [INC SEARCH] copied best model 138.14/138.29 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 138.14/138.29 c model valid 138.14/138.29 c current solution ok 138.14/138.29 o 187 138.14/138.29 c [INC SEARCH] iteration: 19 138.14/138.29 c [INC BOUNDS] best value:187 search for 186 138.14/138.29 c [INC ENCODE] setup new number of clauses ... 138.14/138.29 c [INC] encode incremental formula 138.14/138.29 c return only the limitting unit clause for 186 138.14/138.29 c [INC SYSTEM] transmit new clauses to solver: 1 138.14/138.29 c [INC SEARCH] isOptimum variable: 0 138.34/138.40 c formula is SAT 138.34/138.41 c [INC SEARCH] copied best model 138.34/138.41 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 138.34/138.41 c model valid 138.34/138.41 c current solution ok 138.34/138.41 o 185 138.34/138.41 c [INC SEARCH] iteration: 20 138.34/138.41 c [INC BOUNDS] best value:185 search for 184 138.34/138.41 c [INC ENCODE] setup new number of clauses ... 138.34/138.41 c [INC] encode incremental formula 138.34/138.41 c return only the limitting unit clause for 184 138.34/138.41 c [INC SYSTEM] transmit new clauses to solver: 1 138.34/138.41 c [INC SEARCH] isOptimum variable: 0 138.45/138.52 c formula is SAT 138.45/138.53 c [INC SEARCH] copied best model 138.45/138.53 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 138.45/138.53 c model valid 138.45/138.53 c current solution ok 138.45/138.53 o 183 138.45/138.53 c [INC SEARCH] iteration: 21 138.45/138.53 c [INC BOUNDS] best value:183 search for 182 138.45/138.53 c [INC ENCODE] setup new number of clauses ... 138.45/138.53 c [INC] encode incremental formula 138.45/138.53 c return only the limitting unit clause for 182 138.45/138.53 c [INC SYSTEM] transmit new clauses to solver: 1 138.45/138.53 c [INC SEARCH] isOptimum variable: 0 140.04/140.11 c formula is SAT 140.04/140.12 c [INC SEARCH] copied best model 140.04/140.12 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 140.04/140.12 c model valid 140.04/140.12 c current solution ok 140.04/140.12 o 173 140.04/140.12 c [INC SEARCH] iteration: 22 140.04/140.12 c [INC BOUNDS] best value:173 search for 172 140.04/140.12 c [INC ENCODE] setup new number of clauses ... 140.04/140.12 c [INC] encode incremental formula 140.04/140.12 c return only the limitting unit clause for 172 140.04/140.12 c [INC SYSTEM] transmit new clauses to solver: 1 140.04/140.12 c [INC SEARCH] isOptimum variable: 0 150.83/150.98 c formula is SAT 150.83/150.99 c [INC SEARCH] copied best model 150.83/150.99 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 150.83/150.99 c model valid 150.83/150.99 c current solution ok 150.83/150.99 o 171 150.83/150.99 c [INC SEARCH] iteration: 23 150.83/150.99 c [INC BOUNDS] best value:171 search for 170 150.83/150.99 c [INC ENCODE] setup new number of clauses ... 150.83/150.99 c [INC] encode incremental formula 150.83/150.99 c return only the limitting unit clause for 170 150.83/150.99 c [INC SYSTEM] transmit new clauses to solver: 1 150.83/150.99 c [INC SEARCH] isOptimum variable: 0 151.03/151.16 c formula is SAT 151.03/151.17 c [INC SEARCH] copied best model 151.03/151.17 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 151.03/151.17 c model valid 151.03/151.17 c current solution ok 151.03/151.17 o 169 151.03/151.17 c [INC SEARCH] iteration: 24 151.03/151.17 c [INC BOUNDS] best value:169 search for 168 151.03/151.17 c [INC ENCODE] setup new number of clauses ... 151.03/151.17 c [INC] encode incremental formula 151.03/151.17 c return only the limitting unit clause for 168 151.03/151.17 c [INC SYSTEM] transmit new clauses to solver: 1 151.03/151.17 c [INC SEARCH] isOptimum variable: 0 151.13/151.29 c formula is SAT 151.13/151.29 c [INC SEARCH] copied best model 151.13/151.29 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 151.13/151.30 c model valid 151.13/151.30 c current solution ok 151.13/151.30 o 165 151.13/151.30 c [INC SEARCH] iteration: 25 151.13/151.30 c [INC BOUNDS] best value:165 search for 164 151.13/151.30 c [INC ENCODE] setup new number of clauses ... 151.13/151.30 c [INC] encode incremental formula 151.13/151.30 c return only the limitting unit clause for 164 151.13/151.30 c [INC SYSTEM] transmit new clauses to solver: 1 151.13/151.30 c [INC SEARCH] isOptimum variable: 0 151.64/151.72 c formula is SAT 151.64/151.73 c [INC SEARCH] copied best model 151.64/151.73 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 151.64/151.73 c model valid 151.64/151.73 c current solution ok 151.64/151.73 o 164 151.64/151.73 c [INC SEARCH] iteration: 26 151.64/151.73 c [INC BOUNDS] best value:164 search for 163 151.64/151.73 c [INC ENCODE] setup new number of clauses ... 151.64/151.73 c [INC] encode incremental formula 151.64/151.73 c return only the limitting unit clause for 163 151.64/151.73 c [INC SYSTEM] transmit new clauses to solver: 1 151.64/151.73 c [INC SEARCH] isOptimum variable: 0 153.94/154.03 c formula is SAT 153.94/154.04 c [INC SEARCH] copied best model 153.94/154.04 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 153.94/154.04 c model valid 153.94/154.04 c current solution ok 153.94/154.04 o 153 153.94/154.04 c [INC SEARCH] iteration: 27 153.94/154.04 c [INC BOUNDS] best value:153 search for 152 153.94/154.04 c [INC ENCODE] setup new number of clauses ... 153.94/154.04 c [INC] encode incremental formula 153.94/154.04 c return only the limitting unit clause for 152 153.94/154.04 c [INC SYSTEM] transmit new clauses to solver: 1 153.94/154.04 c [INC SEARCH] isOptimum variable: 0 154.03/154.17 c formula is SAT 154.03/154.18 c [INC SEARCH] copied best model 154.03/154.18 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 154.03/154.18 c model valid 154.03/154.18 c current solution ok 154.03/154.18 o 151 154.03/154.18 c [INC SEARCH] iteration: 28 154.03/154.18 c [INC BOUNDS] best value:151 search for 150 154.03/154.18 c [INC ENCODE] setup new number of clauses ... 154.03/154.18 c [INC] encode incremental formula 154.03/154.18 c return only the limitting unit clause for 150 154.03/154.18 c [INC SYSTEM] transmit new clauses to solver: 1 154.03/154.18 c [INC SEARCH] isOptimum variable: 0 154.14/154.29 c formula is SAT 154.24/154.30 c [INC SEARCH] copied best model 154.24/154.30 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 154.24/154.30 c model valid 154.24/154.30 c current solution ok 154.24/154.30 o 147 154.24/154.30 c [INC SEARCH] iteration: 29 154.24/154.30 c [INC BOUNDS] best value:147 search for 146 154.24/154.30 c [INC ENCODE] setup new number of clauses ... 154.24/154.30 c [INC] encode incremental formula 154.24/154.30 c return only the limitting unit clause for 146 154.24/154.30 c [INC SYSTEM] transmit new clauses to solver: 1 154.24/154.30 c [INC SEARCH] isOptimum variable: 0 154.34/154.42 c formula is SAT 154.34/154.43 c [INC SEARCH] copied best model 154.34/154.43 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 154.34/154.43 c model valid 154.34/154.43 c current solution ok 154.34/154.43 o 139 154.34/154.43 c [INC SEARCH] iteration: 30 154.34/154.43 c [INC BOUNDS] best value:139 search for 138 154.34/154.43 c [INC ENCODE] setup new number of clauses ... 154.34/154.43 c [INC] encode incremental formula 154.34/154.43 c return only the limitting unit clause for 138 154.34/154.43 c [INC SYSTEM] transmit new clauses to solver: 1 154.34/154.43 c [INC SEARCH] isOptimum variable: 0 156.44/156.58 c formula is SAT 156.44/156.59 c [INC SEARCH] copied best model 156.44/156.59 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 156.44/156.59 c model valid 156.44/156.59 c current solution ok 156.44/156.59 o 134 156.44/156.59 c [INC SEARCH] iteration: 31 156.44/156.59 c [INC BOUNDS] best value:134 search for 133 156.44/156.59 c [INC ENCODE] setup new number of clauses ... 156.44/156.59 c [INC] encode incremental formula 156.44/156.59 c return only the limitting unit clause for 133 156.44/156.59 c [INC SYSTEM] transmit new clauses to solver: 1 156.44/156.59 c [INC SEARCH] isOptimum variable: 0 156.64/156.73 c formula is SAT 156.64/156.74 c [INC SEARCH] copied best model 156.64/156.74 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 156.64/156.74 c model valid 156.64/156.74 c current solution ok 156.64/156.74 o 128 156.64/156.74 c [INC SEARCH] iteration: 32 156.64/156.74 c [INC BOUNDS] best value:128 search for 127 156.64/156.74 c [INC ENCODE] setup new number of clauses ... 156.64/156.74 c [INC] encode incremental formula 156.64/156.74 c return only the limitting unit clause for 127 156.64/156.74 c [INC SYSTEM] transmit new clauses to solver: 1 156.64/156.74 c [INC SEARCH] isOptimum variable: 0 156.74/156.86 c formula is SAT 156.74/156.87 c [INC SEARCH] copied best model 156.74/156.87 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 156.74/156.87 c model valid 156.74/156.87 c current solution ok 156.74/156.87 o 124 156.74/156.87 c [INC SEARCH] iteration: 33 156.74/156.87 c [INC BOUNDS] best value:124 search for 123 156.74/156.87 c [INC ENCODE] setup new number of clauses ... 156.74/156.87 c [INC] encode incremental formula 156.74/156.87 c return only the limitting unit clause for 123 156.74/156.87 c [INC SYSTEM] transmit new clauses to solver: 1 156.74/156.87 c [INC SEARCH] isOptimum variable: 0 157.74/157.87 c formula is SAT 157.74/157.88 c [INC SEARCH] copied best model 157.74/157.88 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 157.74/157.88 c model valid 157.74/157.88 c current solution ok 157.74/157.88 o 106 157.74/157.88 c [INC SEARCH] iteration: 34 157.74/157.88 c [INC BOUNDS] best value:106 search for 105 157.74/157.88 c [INC ENCODE] setup new number of clauses ... 157.74/157.88 c [INC] encode incremental formula 157.74/157.88 c return only the limitting unit clause for 105 157.74/157.88 c [INC SYSTEM] transmit new clauses to solver: 1 157.74/157.88 c [INC SEARCH] isOptimum variable: 0 158.44/158.54 c formula is SAT 158.44/158.55 c [INC SEARCH] copied best model 158.44/158.55 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 158.44/158.55 c model valid 158.44/158.55 c current solution ok 158.44/158.55 o 104 158.44/158.55 c [INC SEARCH] iteration: 35 158.44/158.55 c [INC BOUNDS] best value:104 search for 103 158.44/158.55 c [INC ENCODE] setup new number of clauses ... 158.44/158.55 c [INC] encode incremental formula 158.44/158.55 c return only the limitting unit clause for 103 158.44/158.55 c [INC SYSTEM] transmit new clauses to solver: 1 158.44/158.55 c [INC SEARCH] isOptimum variable: 0 158.53/158.67 c formula is SAT 158.53/158.68 c [INC SEARCH] copied best model 158.53/158.68 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 158.53/158.68 c model valid 158.53/158.68 c current solution ok 158.53/158.68 o 88 158.53/158.68 c [INC SEARCH] iteration: 36 158.53/158.68 c [INC BOUNDS] best value:88 search for 87 158.53/158.68 c [INC ENCODE] setup new number of clauses ... 158.53/158.68 c [INC] encode incremental formula 158.53/158.68 c return only the limitting unit clause for 87 158.53/158.68 c [INC SYSTEM] transmit new clauses to solver: 1 158.53/158.68 c [INC SEARCH] isOptimum variable: 0 158.74/158.80 c formula is SAT 158.74/158.81 c [INC SEARCH] copied best model 158.74/158.81 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 158.74/158.81 c model valid 158.74/158.81 c current solution ok 158.74/158.81 o 80 158.74/158.81 c [INC SEARCH] iteration: 37 158.74/158.81 c [INC BOUNDS] best value:80 search for 79 158.74/158.81 c [INC ENCODE] setup new number of clauses ... 158.74/158.81 c [INC] encode incremental formula 158.74/158.81 c return only the limitting unit clause for 79 158.74/158.81 c [INC SYSTEM] transmit new clauses to solver: 1 158.74/158.81 c [INC SEARCH] isOptimum variable: 0 164.14/164.21 c formula is SAT 164.14/164.22 c [INC SEARCH] copied best model 164.14/164.22 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 164.14/164.22 c model valid 164.14/164.22 c current solution ok 164.14/164.22 o 77 164.14/164.22 c [INC SEARCH] iteration: 38 164.14/164.22 c [INC BOUNDS] best value:77 search for 76 164.14/164.22 c [INC ENCODE] setup new number of clauses ... 164.14/164.22 c [INC] encode incremental formula 164.14/164.22 c return only the limitting unit clause for 76 164.14/164.22 c [INC SYSTEM] transmit new clauses to solver: 1 164.14/164.22 c [INC SEARCH] isOptimum variable: 0 164.94/165.07 c formula is SAT 164.94/165.08 c [INC SEARCH] copied best model 164.94/165.08 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 164.94/165.08 c model valid 164.94/165.08 c current solution ok 164.94/165.08 o 47 164.94/165.08 c [INC SEARCH] iteration: 39 164.94/165.08 c [INC BOUNDS] best value:47 search for 46 164.94/165.08 c [INC ENCODE] setup new number of clauses ... 164.94/165.08 c [INC] encode incremental formula 164.94/165.08 c return only the limitting unit clause for 46 164.94/165.08 c [INC SYSTEM] transmit new clauses to solver: 1 164.94/165.08 c [INC SEARCH] isOptimum variable: 0 165.13/165.21 c formula is SAT 165.13/165.21 c [INC SEARCH] copied best model 165.13/165.21 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 165.13/165.22 c model valid 165.13/165.22 c current solution ok 165.13/165.22 o 45 165.13/165.22 c [INC SEARCH] iteration: 40 165.13/165.22 c [INC BOUNDS] best value:45 search for 44 165.13/165.22 c [INC ENCODE] setup new number of clauses ... 165.13/165.22 c [INC] encode incremental formula 165.13/165.22 c return only the limitting unit clause for 44 165.13/165.22 c [INC SYSTEM] transmit new clauses to solver: 1 165.13/165.22 c [INC SEARCH] isOptimum variable: 0 165.23/165.33 c formula is SAT 165.23/165.34 c [INC SEARCH] copied best model 165.23/165.34 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 165.23/165.34 c model valid 165.23/165.34 c current solution ok 165.23/165.34 o 43 165.23/165.34 c [INC SEARCH] iteration: 41 165.23/165.34 c [INC BOUNDS] best value:43 search for 42 165.23/165.34 c [INC ENCODE] setup new number of clauses ... 165.23/165.34 c [INC] encode incremental formula 165.23/165.34 c return only the limitting unit clause for 42 165.23/165.34 c [INC SYSTEM] transmit new clauses to solver: 1 165.23/165.34 c [INC SEARCH] isOptimum variable: 0 170.63/170.75 c formula is SAT 170.63/170.75 c [INC SEARCH] copied best model 170.63/170.76 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 170.63/170.76 c model valid 170.63/170.76 c current solution ok 170.63/170.76 o 40 170.63/170.76 c [INC SEARCH] iteration: 42 170.63/170.76 c [INC BOUNDS] best value:40 search for 39 170.63/170.76 c [INC ENCODE] setup new number of clauses ... 170.63/170.76 c [INC] encode incremental formula 170.63/170.76 c return only the limitting unit clause for 39 170.63/170.76 c [INC SYSTEM] transmit new clauses to solver: 1 170.63/170.76 c [INC SEARCH] isOptimum variable: 0 170.73/170.88 c formula is SAT 170.73/170.89 c [INC SEARCH] copied best model 170.73/170.89 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 170.73/170.89 c model valid 170.73/170.89 c current solution ok 170.73/170.89 o 36 170.73/170.89 c [INC SEARCH] iteration: 43 170.73/170.89 c [INC BOUNDS] best value:36 search for 35 170.73/170.89 c [INC ENCODE] setup new number of clauses ... 170.73/170.89 c [INC] encode incremental formula 170.73/170.89 c return only the limitting unit clause for 35 170.73/170.89 c [INC SYSTEM] transmit new clauses to solver: 1 170.73/170.89 c [INC SEARCH] isOptimum variable: 0 176.73/176.84 c formula is SAT 176.73/176.85 c [INC SEARCH] copied best model 176.73/176.85 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 176.73/176.85 c model valid 176.73/176.85 c current solution ok 176.73/176.85 o 35 176.73/176.85 c [INC SEARCH] iteration: 44 176.73/176.85 c [INC BOUNDS] best value:35 search for 34 176.73/176.85 c [INC ENCODE] setup new number of clauses ... 176.73/176.85 c [INC] encode incremental formula 176.73/176.85 c return only the limitting unit clause for 34 176.73/176.85 c [INC SYSTEM] transmit new clauses to solver: 1 176.73/176.85 c [INC SEARCH] isOptimum variable: 0 179.03/179.17 c formula is SAT 179.03/179.18 c [INC SEARCH] copied best model 179.03/179.18 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 179.03/179.18 c model valid 179.03/179.18 c current solution ok 179.03/179.18 o 34 179.03/179.18 c [INC SEARCH] iteration: 45 179.03/179.18 c [INC BOUNDS] best value:34 search for 33 179.03/179.18 c [INC ENCODE] setup new number of clauses ... 179.03/179.18 c [INC] encode incremental formula 179.03/179.18 c return only the limitting unit clause for 33 179.03/179.18 c [INC SYSTEM] transmit new clauses to solver: 1 179.03/179.18 c [INC SEARCH] isOptimum variable: 0 179.14/179.30 c formula is SAT 179.23/179.31 c [INC SEARCH] copied best model 179.23/179.31 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 179.23/179.31 c model valid 179.23/179.31 c current solution ok 179.23/179.31 o 32 179.23/179.31 c [INC SEARCH] iteration: 46 179.23/179.31 c [INC BOUNDS] best value:32 search for 31 179.23/179.31 c [INC ENCODE] setup new number of clauses ... 179.23/179.31 c [INC] encode incremental formula 179.23/179.31 c return only the limitting unit clause for 31 179.23/179.31 c [INC SYSTEM] transmit new clauses to solver: 1 179.23/179.31 c [INC SEARCH] isOptimum variable: 0 187.52/187.65 c formula is SAT 187.52/187.66 c [INC SEARCH] copied best model 187.52/187.66 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 187.52/187.66 c model valid 187.52/187.66 c current solution ok 187.52/187.66 o 27 187.52/187.66 c [INC SEARCH] iteration: 47 187.52/187.66 c [INC BOUNDS] best value:27 search for 26 187.52/187.66 c [INC ENCODE] setup new number of clauses ... 187.52/187.66 c [INC] encode incremental formula 187.52/187.66 c return only the limitting unit clause for 26 187.52/187.66 c [INC SYSTEM] transmit new clauses to solver: 1 187.52/187.66 c [INC SEARCH] isOptimum variable: 0 187.62/187.78 c formula is SAT 187.62/187.79 c [INC SEARCH] copied best model 187.62/187.79 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 187.62/187.79 c model valid 187.62/187.79 c current solution ok 187.62/187.79 o 25 187.62/187.79 c [INC SEARCH] iteration: 48 187.62/187.79 c [INC BOUNDS] best value:25 search for 24 187.62/187.79 c [INC ENCODE] setup new number of clauses ... 187.62/187.79 c [INC] encode incremental formula 187.62/187.79 c return only the limitting unit clause for 24 187.62/187.79 c [INC SYSTEM] transmit new clauses to solver: 1 187.62/187.79 c [INC SEARCH] isOptimum variable: 0 192.82/192.99 c formula is SAT 192.92/193.00 c [INC SEARCH] copied best model 192.92/193.00 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 192.92/193.00 c model valid 192.92/193.00 c current solution ok 192.92/193.00 o 22 192.92/193.00 c [INC SEARCH] iteration: 49 192.92/193.00 c [INC BOUNDS] best value:22 search for 21 192.92/193.00 c [INC ENCODE] setup new number of clauses ... 192.92/193.00 c [INC] encode incremental formula 192.92/193.00 c return only the limitting unit clause for 21 192.92/193.00 c [INC SYSTEM] transmit new clauses to solver: 1 192.92/193.00 c [INC SEARCH] isOptimum variable: 0 193.03/193.13 c formula is SAT 193.03/193.14 c [INC SEARCH] copied best model 193.03/193.14 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 193.03/193.14 c model valid 193.03/193.14 c current solution ok 193.03/193.14 o 20 193.03/193.14 c [INC SEARCH] iteration: 50 193.03/193.14 c [INC BOUNDS] best value:20 search for 19 193.03/193.14 c [INC ENCODE] setup new number of clauses ... 193.03/193.14 c [INC] encode incremental formula 193.03/193.14 c return only the limitting unit clause for 19 193.03/193.14 c [INC SYSTEM] transmit new clauses to solver: 1 193.03/193.14 c [INC SEARCH] isOptimum variable: 0 201.53/201.63 c formula is SAT 201.53/201.64 c [INC SEARCH] copied best model 201.53/201.64 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 201.53/201.64 c model valid 201.53/201.64 c current solution ok 201.53/201.64 o 18 201.53/201.64 c [INC SEARCH] iteration: 51 201.53/201.64 c [INC BOUNDS] best value:18 search for 17 201.53/201.64 c [INC ENCODE] setup new number of clauses ... 201.53/201.64 c [INC] encode incremental formula 201.53/201.64 c return only the limitting unit clause for 17 201.53/201.64 c [INC SYSTEM] transmit new clauses to solver: 1 201.53/201.64 c [INC SEARCH] isOptimum variable: 0 210.83/210.96 c formula is SAT 210.83/210.97 c [INC SEARCH] copied best model 210.83/210.97 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 210.83/210.97 c model valid 210.83/210.97 c current solution ok 210.83/210.97 o 17 210.83/210.97 c [INC SEARCH] iteration: 52 210.83/210.97 c [INC BOUNDS] best value:17 search for 16 210.83/210.97 c [INC ENCODE] setup new number of clauses ... 210.83/210.97 c [INC] encode incremental formula 210.83/210.97 c return only the limitting unit clause for 16 210.83/210.97 c [INC SYSTEM] transmit new clauses to solver: 1 210.83/210.97 c [INC SEARCH] isOptimum variable: 0 267.42/267.51 c formula is SAT 267.42/267.52 c [INC SEARCH] copied best model 267.42/267.52 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 267.42/267.52 c model valid 267.42/267.52 c current solution ok 267.42/267.52 o 15 267.42/267.52 c [INC SEARCH] iteration: 53 267.42/267.52 c [INC BOUNDS] best value:15 search for 14 267.42/267.52 c [INC ENCODE] setup new number of clauses ... 267.42/267.52 c [INC] encode incremental formula 267.42/267.52 c return only the limitting unit clause for 14 267.42/267.52 c [INC SYSTEM] transmit new clauses to solver: 1 267.42/267.52 c [INC SEARCH] isOptimum variable: 0 268.12/268.26 c formula is SAT 268.12/268.27 c [INC SEARCH] copied best model 268.12/268.27 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 268.12/268.27 c model valid 268.12/268.27 c current solution ok 268.12/268.27 o 13 268.12/268.27 c [INC SEARCH] iteration: 54 268.12/268.27 c [INC BOUNDS] best value:13 search for 12 268.12/268.27 c [INC ENCODE] setup new number of clauses ... 268.12/268.27 c [INC] encode incremental formula 268.12/268.27 c return only the limitting unit clause for 12 268.12/268.27 c [INC SYSTEM] transmit new clauses to solver: 1 268.12/268.27 c [INC SEARCH] isOptimum variable: 0 297.31/297.42 c formula is SAT 297.31/297.43 c [INC SEARCH] copied best model 297.31/297.43 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 297.31/297.43 c model valid 297.31/297.43 c current solution ok 297.31/297.43 o 11 297.31/297.43 c [INC SEARCH] iteration: 55 297.31/297.43 c [INC BOUNDS] best value:11 search for 10 297.31/297.43 c [INC ENCODE] setup new number of clauses ... 297.31/297.43 c [INC] encode incremental formula 297.31/297.43 c return only the limitting unit clause for 10 297.31/297.43 c [INC SYSTEM] transmit new clauses to solver: 1 297.31/297.43 c [INC SEARCH] isOptimum variable: 0 423.00/423.12 c formula is SAT 423.00/423.13 c [INC SEARCH] copied best model 423.00/423.13 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 423.00/423.13 c model valid 423.00/423.13 c current solution ok 423.00/423.13 o 10 423.00/423.13 c [INC SEARCH] iteration: 56 423.00/423.13 c [INC BOUNDS] best value:10 search for 9 423.00/423.13 c [INC ENCODE] setup new number of clauses ... 423.00/423.13 c [INC] encode incremental formula 423.00/423.13 c return only the limitting unit clause for 9 423.00/423.13 c [INC SYSTEM] transmit new clauses to solver: 1 423.00/423.13 c [INC SEARCH] isOptimum variable: 0 423.19/423.30 c formula is SAT 423.19/423.31 c [INC SEARCH] copied best model 423.19/423.31 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 423.19/423.31 c model valid 423.19/423.31 c current solution ok 423.19/423.31 o 8 423.19/423.31 c [INC SEARCH] iteration: 57 423.19/423.31 c [INC BOUNDS] best value:8 search for 7 423.19/423.31 c [INC ENCODE] setup new number of clauses ... 423.19/423.31 c [INC] encode incremental formula 423.19/423.31 c return only the limitting unit clause for 7 423.19/423.31 c [INC SYSTEM] transmit new clauses to solver: 1 423.19/423.31 c [INC SEARCH] isOptimum variable: 0 426.29/426.43 c formula is SAT 426.29/426.44 c [INC SEARCH] copied best model 426.29/426.44 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 426.29/426.44 c model valid 426.29/426.44 c current solution ok 426.29/426.44 o 7 426.29/426.44 c [INC SEARCH] iteration: 58 426.29/426.44 c [INC BOUNDS] best value:7 search for 6 426.29/426.44 c [INC ENCODE] setup new number of clauses ... 426.29/426.44 c [INC] encode incremental formula 426.29/426.44 c return only the limitting unit clause for 6 426.29/426.44 c [INC SYSTEM] transmit new clauses to solver: 1 426.29/426.44 c [INC SEARCH] isOptimum variable: 0 793.65/793.88 c formula is SAT 793.65/793.89 c [INC SEARCH] copied best model 793.65/793.89 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 793.65/793.89 c model valid 793.65/793.89 c current solution ok 793.65/793.89 o 6 793.65/793.89 c [INC SEARCH] iteration: 59 793.65/793.89 c [INC BOUNDS] best value:6 search for 5 793.65/793.89 c [INC ENCODE] setup new number of clauses ... 793.65/793.89 c [INC] encode incremental formula 793.65/793.89 c return only the limitting unit clause for 5 793.65/793.89 c [INC SYSTEM] transmit new clauses to solver: 1 793.65/793.89 c [INC SEARCH] isOptimum variable: 0 1648.00/1648.37 c formula is SAT 1648.00/1648.38 c [INC SEARCH] copied best model 1648.00/1648.38 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 1648.00/1648.38 c model valid 1648.00/1648.38 c current solution ok 1648.00/1648.38 o 4 1648.00/1648.38 c [INC SEARCH] iteration: 60 1648.00/1648.38 c [INC BOUNDS] best value:4 search for 3 1648.00/1648.38 c [INC ENCODE] setup new number of clauses ... 1648.00/1648.38 c [INC] encode incremental formula 1648.00/1648.38 c return only the limitting unit clause for 3 1648.00/1648.38 c [INC SYSTEM] transmit new clauses to solver: 1 1648.00/1648.38 c [INC SEARCH] isOptimum variable: 0 1759.07/1759.49 c formula is SAT 1759.17/1759.50 c [INC SEARCH] copied best model 1759.17/1759.50 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 1759.17/1759.50 c model valid 1759.17/1759.50 c current solution ok 1759.17/1759.50 o 3 1759.17/1759.50 c [INC SEARCH] iteration: 61 1759.17/1759.50 c [INC BOUNDS] best value:3 search for 2 1759.17/1759.50 c [INC ENCODE] setup new number of clauses ... 1759.17/1759.50 c [INC] encode incremental formula 1759.17/1759.50 c return only the limitting unit clause for 2 1759.17/1759.50 c [INC SYSTEM] transmit new clauses to solver: 1 1759.17/1759.50 c [INC SEARCH] isOptimum variable: 0 1800.07/1800.40 c [INC SYSTEM] an unexpexted return value has been received, exit 1800.07/1800.40 s UNKNOWN 1800.07/1800.40 c [INC SYSTEM] there exists a inc, kill it! 1800.07/1800.40 c write failed with -1 1800.07/1800.40 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x1a80170)
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3698181-1338071044/watcher-3698181-1338071044 -o /tmp/evaluation-result-3698181-1338071044/solver-3698181-1338071044 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698181-1338071044.opb 900657855 HOME HOME running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29182 /proc/meminfo: memFree=31411628/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [startup+0.091129 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29182 /proc/meminfo: memFree=31411628/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.10036 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29182 /proc/meminfo: memFree=31411628/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300327 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29182 /proc/meminfo: memFree=31411628/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700329 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29182 /proc/meminfo: memFree=31411628/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50032 s] /proc/loadavg: 2.00 2.00 2.00 3/182 29186 /proc/meminfo: memFree=31303196/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=22788 CPUtime=1.34 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 6784 17866 0 0 19 1 110 4 20 0 1 0 273229316 23334912 5061 33554432000 4194304 5992684 140734589236112 140734589222376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/29183/statm: 5697 5061 165 440 0 5253 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 31936 [startup+3.10032 s] /proc/loadavg: 2.00 2.00 2.00 3/181 29188 /proc/meminfo: memFree=31348416/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=22788 CPUtime=1.34 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 6784 17866 0 0 19 1 110 4 20 0 1 0 273229316 23334912 5061 33554432000 4194304 5992684 140734589236112 140734589222376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/29183/statm: 5697 5061 165 440 0 5253 0 [pid=29188] ppid=29183 vsize=39732 CPUtime=1.73 cores=0,2,4,6 /proc/29188/stat : 29188 (glucosInc) R 29183 29182 25792 0 -1 4202496 8561 0 0 0 172 1 0 0 20 0 1 0 273229452 40685568 9216 33554432000 4194304 5654031 140735350109616 140735350107512 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/29188/statm: 9933 9216 140 357 0 9573 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 71668 [startup+6.30025 s] /proc/loadavg: 2.00 2.00 2.00 3/181 29188 /proc/meminfo: memFree=31340232/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=5.46 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 9445 27725 0 0 32 45 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 Current children cumulated CPU time (s) 5.46 Current children cumulated vsize (KiB) 37740 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/181 29191 /proc/meminfo: memFree=31312284/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=5.46 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 9445 27725 0 0 32 45 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 [pid=29191] ppid=29183 vsize=64840 CPUtime=7.19 cores=0,2,4,6 /proc/29191/stat : 29191 (glucosInc) R 29183 29182 25792 0 -1 4202496 13386 0 0 0 717 2 0 0 20 0 1 0 273229864 66396160 14389 33554432000 4194304 5654031 140735317824336 140735317822024 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29191/statm: 16210 14389 132 357 0 15850 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 102580 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/181 29191 /proc/meminfo: memFree=31281800/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=5.46 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 9445 27725 0 0 32 45 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 [pid=29191] ppid=29183 vsize=95520 CPUtime=20 cores=0,2,4,6 /proc/29191/stat : 29191 (glucosInc) R 29183 29182 25792 0 -1 4202496 15329 0 0 0 1996 4 0 0 20 0 1 0 273229864 97812480 21683 33554432000 4194304 5654031 140735317824336 140735317822216 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29191/statm: 23880 21683 132 357 0 23520 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 133260 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/181 29192 /proc/meminfo: memFree=31226196/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=5.46 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 9445 27725 0 0 32 45 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 [pid=29191] ppid=29183 vsize=175660 CPUtime=45.59 cores=0,2,4,6 /proc/29191/stat : 29191 (glucosInc) R 29183 29182 25792 0 -1 4202496 16729 0 0 0 4553 6 0 0 20 0 1 0 273229864 179875840 35381 33554432000 4194304 5654031 140735317824336 140735317822264 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29191/statm: 43915 35381 132 357 0 43555 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 213400 [startup+102.307 s] /proc/loadavg: 2.08 2.03 2.01 3/181 29192 /proc/meminfo: memFree=31217080/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=5.46 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 9445 27725 0 0 32 45 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 [pid=29191] ppid=29183 vsize=175660 CPUtime=96.79 cores=0,2,4,6 /proc/29191/stat : 29191 (glucosInc) R 29183 29182 25792 0 -1 4202496 19473 0 0 0 9668 11 0 0 20 0 1 0 273229864 179875840 36179 33554432000 4194304 5654031 140735317824336 140735317822424 4216213 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29191/statm: 43915 36179 132 357 0 43555 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 213400 [startup+162.3 s] /proc/loadavg: 2.03 2.02 2.00 3/181 29192 /proc/meminfo: memFree=31279872/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=5.92 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 11114 27725 0 0 78 45 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 [pid=29191] ppid=29183 vsize=95528 CPUtime=156.32 cores=0,2,4,6 /proc/29191/stat : 29191 (glucosInc) R 29183 29182 25792 0 -1 4202496 20044 0 0 0 15618 14 0 0 20 0 1 0 273229864 97820672 22961 33554432000 4194304 5654031 140735317824336 140735317812152 4215108 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29191/statm: 23882 22961 151 357 0 23522 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 133268 [startup+222.3 s] /proc/loadavg: 2.01 2.02 2.00 3/181 29192 /proc/meminfo: memFree=31275580/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=6.1 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 11120 27725 0 0 96 45 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 [pid=29191] ppid=29183 vsize=95528 CPUtime=216.13 cores=0,2,4,6 /proc/29191/stat : 29191 (glucosInc) R 29183 29182 25792 0 -1 4202496 20048 0 0 0 21598 15 0 0 20 0 1 0 273229864 97820672 22993 33554432000 4194304 5654031 140735317824336 140735317812152 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29191/statm: 23882 22993 151 357 0 23522 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 133268 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.00 3/181 29192 /proc/meminfo: memFree=31253984/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=6.12 cores=0,2,4,6 ################ # More data... # ################ /proc/meminfo: memFree=31172088/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=6.19 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 11127 27725 0 0 105 45 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 [pid=29191] ppid=29183 vsize=194344 CPUtime=1235.88 cores=0,2,4,6 /proc/29191/stat : 29191 (glucosInc) R 29183 29182 25792 0 -1 4202496 24799 0 0 0 123563 25 0 0 20 0 1 0 273229864 199008256 47579 33554432000 4194304 5654031 140735317824336 140735317812152 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29191/statm: 48586 47579 151 357 0 48226 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 232084 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 29250 /proc/meminfo: memFree=30988828/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=6.19 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 11127 27725 0 0 105 45 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 [pid=29191] ppid=29183 vsize=244432 CPUtime=1295.87 cores=0,2,4,6 /proc/29191/stat : 29191 (glucosInc) R 29183 29182 25792 0 -1 4202496 24953 0 0 0 129562 25 0 0 20 0 1 0 273229864 250298368 50799 33554432000 4194304 5654031 140735317824336 140735317812152 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29191/statm: 61108 50799 151 357 0 60748 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 282172 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 29250 /proc/meminfo: memFree=31028036/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=6.19 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 11127 27725 0 0 105 45 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 [pid=29191] ppid=29183 vsize=244432 CPUtime=1355.85 cores=0,2,4,6 /proc/29191/stat : 29191 (glucosInc) R 29183 29182 25792 0 -1 4202496 24957 0 0 0 135560 25 0 0 20 0 1 0 273229864 250298368 52847 33554432000 4194304 5654031 140735317824336 140735317812152 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29191/statm: 61108 52847 151 357 0 60748 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 282172 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/181 29250 /proc/meminfo: memFree=31188320/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=6.19 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 11127 27725 0 0 105 45 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 [pid=29191] ppid=29183 vsize=194344 CPUtime=1415.85 cores=0,2,4,6 /proc/29191/stat : 29191 (glucosInc) R 29183 29182 25792 0 -1 4202496 25154 0 0 0 141559 26 0 0 20 0 1 0 273229864 199008256 47282 33554432000 4194304 5654031 140735317824336 140735317812152 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29191/statm: 48586 47282 151 357 0 48226 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 232084 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 29250 /proc/meminfo: memFree=31207608/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=6.19 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 11127 27725 0 0 105 45 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 [pid=29191] ppid=29183 vsize=244432 CPUtime=1475.84 cores=0,2,4,6 /proc/29191/stat : 29191 (glucosInc) R 29183 29182 25792 0 -1 4202496 25679 0 0 0 147557 27 0 0 20 0 1 0 273229864 250298368 49842 33554432000 4194304 5654031 140735317824336 140735317812152 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29191/statm: 61108 49842 151 357 0 60748 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 282172 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 29250 /proc/meminfo: memFree=31236204/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=6.19 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 11127 27725 0 0 105 45 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 [pid=29191] ppid=29183 vsize=244432 CPUtime=1535.82 cores=0,2,4,6 /proc/29191/stat : 29191 (glucosInc) R 29183 29182 25792 0 -1 4202496 25685 0 0 0 153555 27 0 0 20 0 1 0 273229864 250298368 52402 33554432000 4194304 5654031 140735317824336 140735317812152 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29191/statm: 61108 52402 151 357 0 60748 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 282172 [startup+1602.3 s] /proc/loadavg: 2.04 2.01 2.00 3/182 29254 /proc/meminfo: memFree=31158064/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=6.19 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 11127 27725 0 0 105 45 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 [pid=29191] ppid=29183 vsize=244432 CPUtime=1595.82 cores=0,2,4,6 /proc/29191/stat : 29191 (glucosInc) R 29183 29182 25792 0 -1 4202496 25689 0 0 0 159554 28 0 0 20 0 1 0 273229864 250298368 54450 33554432000 4194304 5654031 140735317824336 140735317812152 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29191/statm: 61108 54450 151 357 0 60748 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 282172 [startup+1662.3 s] /proc/loadavg: 2.09 2.02 2.00 3/181 29254 /proc/meminfo: memFree=31188596/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=6.22 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 11127 27725 0 0 107 46 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 [pid=29191] ppid=29183 vsize=194344 CPUtime=1655.8 cores=0,2,4,6 /proc/29191/stat : 29191 (glucosInc) R 29183 29182 25792 0 -1 4202496 26238 0 0 0 165551 29 0 0 20 0 1 0 273229864 199008256 47625 33554432000 4194304 5654031 140735317824336 140735317812152 4234964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29191/statm: 48586 47625 151 357 0 48226 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 232084 [startup+1722.3 s] /proc/loadavg: 2.03 2.02 2.00 3/181 29254 /proc/meminfo: memFree=31202408/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=6.22 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 11127 27725 0 0 107 46 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 [pid=29191] ppid=29183 vsize=244432 CPUtime=1715.78 cores=0,2,4,6 /proc/29191/stat : 29191 (glucosInc) R 29183 29182 25792 0 -1 4202496 26545 0 0 0 171548 30 0 0 20 0 1 0 273229864 250298368 50479 33554432000 4194304 5654031 140735317824336 140735317812152 4232755 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29191/statm: 61108 50479 151 357 0 60748 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 282172 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/181 29254 /proc/meminfo: memFree=31175044/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=6.23 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 11129 27725 0 0 108 46 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 [pid=29191] ppid=29183 vsize=194344 CPUtime=1775.74 cores=0,2,4,6 /proc/29191/stat : 29191 (glucosInc) R 29183 29182 25792 0 -1 4202496 27095 0 0 0 177543 31 0 0 20 0 1 0 273229864 199008256 44034 33554432000 4194304 5654031 140735317824336 140735317812152 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29191/statm: 48586 44034 151 357 0 48226 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 232084 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.01 2.01 2.00 3/181 29254 /proc/meminfo: memFree=31266752/32873844 swapFree=7112/7112 [pid=29182] ppid=29180 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29182/stat : 29182 (npSolver-pbo-It) S 29180 29182 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273229316 9367552 274 33554432000 4194304 5064252 140734292184768 140734292183680 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29182/statm: 2287 274 233 213 0 72 0 [pid=29183] ppid=29182 vsize=28592 CPUtime=6.23 cores=0,2,4,6 /proc/29183/stat : 29183 (npSolver-pbo) S 29182 29182 25792 0 -1 4202496 11129 27725 0 0 108 46 460 9 20 0 1 0 273229316 29278208 6487 33554432000 4194304 5992684 140734589236112 140734589221944 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/29183/statm: 7148 6487 176 440 0 6704 0 [pid=29191] ppid=29183 vsize=194344 CPUtime=1793.84 cores=0,2,4,6 /proc/29191/stat : 29191 (glucosInc) R 29183 29182 25792 0 -1 4202496 27096 0 0 0 179353 31 0 0 20 0 1 0 273229864 199008256 44546 33554432000 4194304 5654031 140735317824336 140735317812152 4232803 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29191/statm: 48586 44546 151 357 0 48226 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 232084 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.41 CPU time (s): 1800.11 CPU user time (s): 1799.23 CPU system time (s): 0.879866 CPU usage (%): 99.9831 Max. virtual memory (cumulated for all children) (KiB): 362312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.23 system time used= 0.879866 maximum resident set size= 303700 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66324 page faults= 0 swaps= 0 block input operations= 0 block output operations= 69680 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19917 involuntary context switches= 2782 runsolver used 2.73958 second user time and 7.09992 second system time The end
Begin job on node142 at 2012-05-27 00:24:04 IDJOB=3698181 IDBENCH=2916 IDSOLVER=2275 FILE ID=node142/3698181-1338071044 RUNJOBID= node142-1338050545-25808 PBS_JOBID= 14624377 Free space on /tmp= 71596 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_2.opb COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3698181-1338071044/watcher-3698181-1338071044 -o /tmp/evaluation-result-3698181-1338071044/solver-3698181-1338071044 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698181-1338071044.opb 900657855 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885 RANDOM SEED=900657855 node142.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 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 cpu MHz : 2666.776 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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 cpu MHz : 2666.776 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5391.91 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 cpu MHz : 2666.776 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 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 cpu MHz : 2666.776 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 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 cpu MHz : 2666.776 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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 cpu MHz : 2666.776 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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 cpu MHz : 2666.776 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31412248 kB Buffers: 229856 kB Cached: 229596 kB SwapCached: 0 kB Active: 649124 kB Inactive: 22328 kB Active(anon): 201492 kB Inactive(anon): 12444 kB Active(file): 447632 kB Inactive(file): 9884 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 8544 kB Writeback: 0 kB AnonPages: 329260 kB Mapped: 12872 kB Shmem: 200 kB Slab: 643724 kB SReclaimable: 86152 kB SUnreclaim: 557572 kB KernelStack: 1504 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 345192 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 268288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71572 MiB End job on node142 at 2012-05-27 00:54:05