Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | 82 | 1798.05 | 1797.99 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_3.opb |
MD5SUM | 58d1d1d90868b936a5ba7e034aba056d |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 58 |
Best CPU time to get the best result obtained on this benchmark | 1797.26 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 71 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
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 | 1000 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 1000 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31622 |
Sum of products size (including duplicates) | 63244 |
Number of different products | 31622 |
Sum of products size | 63244 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Instance file HOME/instance-3462693-1307181819.opb 0.00/0.00 c File size is 457221 bytes. 0.00/0.07 c Highest Coefficient sum: 1000 0.00/0.07 c Parsing was ok!! 0.00/0.07 c Total parsing time: 0.074 s 0.08/0.09 c Var: 32622 Constr: 64244 32622/0/31622 Lit: 222354 Watch. Lit: 160110 0.08/0.09 c Obj. Vars: 1000 (3.06542 % of total variables) 1.10/1.19 c Pre-processing Time: 1.196 s 1.10/1.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.19 c 0 32622 64244 222354 3 160110 200605 0 0 1.20 1.10/1.19 c Switching off lower bounding mode. 1.19/1.21 o 999 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 0 32622 64245 223354 3 160113 201272 1 0 1.22 1.19/1.24 o 998 1.19/1.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.27 c 0 32622 64246 224354 3 160117 202272 2 0 1.25 1.19/1.27 o 997 1.29/1.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.30 c 0 32622 64247 225354 3 160122 203272 3 0 1.28 1.29/1.30 o 996 1.29/1.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.34 c 0 32622 64248 226354 3 160128 204272 4 0 1.31 1.29/1.34 o 995 1.29/1.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.38 c 0 32622 64249 227354 3 160135 205272 5 0 1.35 1.29/1.38 o 994 1.39/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.43 c 0 32622 64250 228354 3 160143 206272 6 0 1.39 1.39/1.43 o 993 1.39/1.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.47 c 0 32622 64251 229354 3 160152 207272 7 0 1.43 1.39/1.47 o 992 1.49/1.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.53 c 0 32622 64252 230354 3 160162 208272 8 0 1.48 1.49/1.53 o 991 1.49/1.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.58 c 0 32622 64253 231354 3 160173 209272 9 0 1.54 1.49/1.58 o 990 1.59/1.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.64 c 0 32622 64254 232354 3 160185 210272 10 0 1.59 1.59/1.64 o 989 1.59/1.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.70 c 0 32622 64255 233354 3 160198 211272 11 0 1.65 1.59/1.70 o 988 1.69/1.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.77 c 0 32622 64256 234354 3 160212 212272 12 0 1.70 1.69/1.77 o 987 1.79/1.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.83 c 0 32622 64257 235354 3 160227 213272 13 0 1.78 1.79/1.83 o 986 1.89/1.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.91 c 0 32622 64258 236354 3 160243 214272 14 0 1.84 1.89/1.91 o 985 1.89/1.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.98 c 0 32622 64259 237354 3 160260 215272 15 0 1.92 1.89/1.98 o 984 1.99/2.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.08 c 0 32622 64260 238354 3 160278 216272 16 0 1.99 1.99/2.08 o 983 2.11/2.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.11/2.13 c 0 32622 64261 239354 3 160297 217272 17 0 2.09 2.11/2.13 o 982 2.21/2.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.21/2.22 c 0 32622 64262 240354 3 160317 218272 18 0 2.14 2.21/2.22 o 981 2.29/2.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.30 c 0 32622 64263 241354 3 160338 219272 19 0 2.23 2.29/2.30 o 980 2.39/2.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.41 c 0 32622 64264 242354 3 160360 220272 20 0 2.31 2.39/2.41 o 979 2.39/2.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.49 c 0 32622 64265 243354 3 160383 221272 21 0 2.42 2.39/2.49 o 978 2.49/2.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.59 c 0 32622 64266 244354 3 160407 222272 22 0 2.50 2.49/2.59 o 977 2.59/2.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.67 c 0 32622 64267 245354 3 160432 223272 23 0 2.60 2.59/2.67 o 976 2.69/2.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.79 c 0 32622 64268 246354 3 160458 224272 24 0 2.68 2.69/2.79 o 975 2.79/2.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.88 c 0 32622 64269 247354 3 160485 225272 25 0 2.80 2.79/2.88 o 974 2.99/3.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.00 c 0 32622 64270 248354 3 160513 226272 26 0 2.89 2.99/3.00 o 973 2.99/3.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.09 c 0 32622 64271 249354 3 160542 227272 27 0 3.01 2.99/3.09 o 972 3.21/3.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.21/3.24 c 0 32622 64272 250354 3 160572 228272 28 0 3.10 3.21/3.24 o 971 3.31/3.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.31/3.33 c 0 32622 64273 251354 3 160603 229272 29 0 3.25 3.31/3.33 o 970 3.39/3.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.47 c 0 32622 64274 252354 3 160635 230272 30 0 3.34 3.39/3.47 o 969 3.49/3.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.55 c 0 32622 64275 253354 3 160668 231272 31 0 3.48 3.49/3.55 o 968 3.69/3.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.72 c 0 32622 64276 254354 3 160702 232272 32 0 3.56 3.69/3.72 o 967 3.79/3.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.83 c 0 32622 64277 255354 3 160737 233272 33 0 3.73 3.79/3.83 o 966 3.89/3.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.95 c 0 32622 64278 256354 3 160773 234272 34 0 3.84 3.89/3.95 o 965 3.99/4.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.06 c 0 32622 64279 257354 4 160810 235272 35 0 3.96 3.99/4.06 o 964 4.19/4.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.23 c 0 32622 64280 258354 4 160848 236272 36 0 4.07 4.19/4.23 o 963 4.31/4.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.31/4.34 c 0 32622 64281 259354 4 160887 237272 37 0 4.24 4.31/4.34 o 962 4.41/4.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.41/4.48 c 0 32622 64282 260354 4 160927 238272 38 0 4.35 4.41/4.48 o 961 4.49/4.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.57 c 0 32622 64283 261354 4 160968 239272 39 0 4.49 4.49/4.57 o 960 4.69/4.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.76 c 0 32622 64284 262354 4 161010 240272 40 0 4.58 4.69/4.76 o 959 4.80/4.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.80/4.88 c 0 32622 64285 263354 4 161053 241272 41 0 4.77 4.80/4.88 o 958 4.99/5.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.05 c 0 32622 64286 264354 4 161097 242272 42 0 4.88 4.99/5.05 o 957 5.09/5.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.17 c 0 32622 64287 265354 4 161142 243272 43 0 5.06 5.09/5.17 o 956 5.29/5.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.34 c 0 32622 64288 266354 4 161188 244272 44 0 5.17 5.29/5.34 o 955 5.41/5.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.41/5.45 c 0 32622 64289 267354 4 161235 245272 45 0 5.35 5.41/5.45 o 954 5.59/5.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.60 c 0 32622 64290 268354 4 161283 246272 46 0 5.46 5.59/5.60 o 953 5.69/5.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.73 c 0 32622 64291 269354 4 161332 247272 47 0 5.62 5.69/5.73 o 952 5.79/5.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.89 c 0 32622 64292 270354 4 161382 248272 48 0 5.74 5.79/5.89 o 951 5.99/6.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.02 c 0 32622 64293 271354 4 161433 249272 49 0 5.90 5.99/6.02 o 950 6.19/6.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.21 c 0 32622 64294 272354 4 161485 250272 50 0 6.03 6.19/6.21 o 949 6.29/6.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.29/6.35 c 0 32622 64295 273354 4 161538 251272 51 0 6.22 6.29/6.35 o 948 6.51/6.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.51/6.58 c 0 32622 64296 274354 4 161592 252272 52 0 6.36 6.51/6.58 o 947 6.69/6.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.71 c 0 32622 64297 275354 4 161647 253272 53 0 6.59 6.69/6.71 o 946 6.89/6.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.89/6.92 c 0 32622 64298 276354 4 161703 254272 54 0 6.72 6.89/6.92 o 945 6.99/7.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.05 c 0 32622 64299 277354 4 161760 255272 55 0 6.93 6.99/7.05 o 944 7.29/7.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.29/7.31 c 0 32622 64300 278354 4 161818 256272 56 0 7.06 7.29/7.31 o 943 7.29/7.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.29/7.38 c 0 32622 64301 279354 4 161877 257272 57 0 7.32 7.29/7.38 o 942 7.49/7.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.49/7.58 c 0 32622 64302 280354 4 161937 258272 58 0 7.38 7.49/7.58 o 941 7.61/7.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.61/7.70 c 0 32622 64303 281354 4 161998 259272 59 0 7.59 7.61/7.70 o 940 7.89/7.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.89/7.95 c 0 32622 64304 282354 4 162060 260272 60 0 7.71 7.89/7.95 o 939 8.09/8.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.09/8.10 c 0 32622 64305 283354 4 162123 261272 61 0 7.96 8.09/8.10 o 938 8.29/8.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.29/8.32 c 0 32622 64306 284354 4 162187 262272 62 0 8.11 8.29/8.32 o 937 8.39/8.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.39/8.47 c 0 32622 64307 285354 4 162252 263272 63 0 8.33 8.39/8.47 o 936 8.70/8.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.70/8.75 c 0 32622 64308 286354 4 162318 264272 64 0 8.47 8.70/8.75 o 935 8.89/8.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.89/8.90 c 0 32622 64309 287354 4 162385 265272 65 0 8.76 8.89/8.90 o 934 8.99/9.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.99/9.05 c 0 32622 64310 288354 4 162453 266272 66 0 8.91 8.99/9.05 o 933 9.19/9.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.22 c 0 32622 64311 289354 4 162522 267272 67 0 9.06 9.19/9.22 o 932 9.39/9.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.39/9.48 c 0 32622 64312 290354 4 162592 268272 68 0 9.23 9.39/9.48 o 931 9.59/9.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.64 c 0 32622 64313 291354 4 162663 269272 69 0 9.49 9.59/9.64 o 930 9.69/9.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.69/9.78 c 0 32622 64314 292354 4 162735 270272 70 0 9.65 9.69/9.78 o 929 9.91/9.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.91/9.95 c 0 32622 64315 293354 4 162808 271272 71 0 9.79 9.91/9.95 o 928 10.20/10.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.20/10.24 c 0 32622 64316 294354 4 162882 272272 72 0 9.96 10.20/10.24 o 927 10.39/10.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.39/10.42 c 0 32622 64317 295354 4 162957 273272 73 0 10.25 10.39/10.42 o 926 10.59/10.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.59/10.65 c 0 32622 64318 296354 4 163033 274272 74 0 10.43 10.59/10.65 o 925 10.79/10.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.79/10.82 c 0 32622 64319 297354 4 163110 275272 75 0 10.66 10.79/10.82 o 924 10.91/11.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.91/11.00 c 0 32622 64320 298354 4 163188 276272 76 0 10.83 10.91/11.00 o 923 11.09/11.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.09/11.18 c 0 32622 64321 299354 4 163267 277272 77 0 11.01 11.09/11.18 o 922 11.39/11.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.39/11.42 c 0 32622 64322 300354 4 163347 278272 78 0 11.19 11.39/11.42 o 921 11.50/11.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.50/11.58 c 0 32622 64323 301354 4 163428 279272 79 0 11.43 11.50/11.58 o 920 11.79/11.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.79/11.88 c 0 32622 64324 302354 4 163510 280272 80 0 11.59 11.79/11.88 o 919 12.01/12.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.01/12.05 c 0 32622 64325 303354 4 163593 281272 81 0 11.89 12.01/12.05 o 918 12.29/12.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.29/12.31 c 0 32622 64326 304354 4 163677 282272 82 0 12.06 12.29/12.31 o 917 12.39/12.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.39/12.49 c 0 32622 64327 305354 4 163762 283272 83 0 12.32 12.39/12.49 o 916 12.69/12.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.69/12.78 c 0 32622 64328 306354 4 163848 284272 84 0 12.50 12.69/12.78 o 915 12.89/12.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.89/12.97 c 0 32622 64329 307354 4 163935 285272 85 0 12.79 12.89/12.97 o 914 13.21/13.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.21/13.23 c 0 32622 64330 308354 4 164023 286272 86 0 12.98 13.21/13.23 o 913 13.29/13.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.29/13.38 c 0 32622 64331 309354 4 164112 287272 87 0 13.24 13.29/13.38 o 912 13.69/13.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.69/13.71 c 0 32622 64332 310354 4 164202 288272 88 0 13.38 13.69/13.71 o 911 13.79/13.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.79/13.89 c 0 32622 64333 311354 4 164293 289272 89 0 13.72 13.79/13.89 o 910 14.09/14.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.09/14.16 c 0 32622 64334 312354 4 164385 290272 90 0 13.90 14.09/14.16 o 909 14.21/14.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.21/14.30 c 0 32622 64335 313354 4 164478 291272 91 0 14.17 14.21/14.30 o 908 14.59/14.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.59/14.62 c 0 32622 64336 314354 4 164572 292272 92 0 14.31 14.59/14.62 o 907 14.69/14.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.69/14.79 c 0 32622 64337 315354 4 164667 293272 93 0 14.63 14.69/14.79 o 906 14.89/14.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.89/14.95 c 0 32622 64338 316354 4 164763 294272 94 0 14.79 14.89/14.95 o 905 15.09/15.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.09/15.15 c 0 32622 64339 317354 4 164860 295272 95 0 14.96 15.09/15.15 o 904 15.31/15.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.31/15.41 c 0 32622 64340 318354 4 164958 296272 96 0 15.16 15.31/15.41 o 903 15.59/15.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.59/15.60 c 0 32622 64341 319354 4 165057 297272 97 0 15.42 15.59/15.60 o 902 15.79/15.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.79/15.87 c 0 32622 64342 320354 4 165157 298272 98 0 15.61 15.79/15.87 o 901 15.99/16.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.99/16.07 c 0 32622 64343 321354 4 165258 299272 99 0 15.88 15.99/16.07 o 900 16.30/16.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.30/16.40 c 0 32622 64344 322354 5 165360 300272 100 0 16.08 16.30/16.40 o 899 16.59/16.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.59/16.60 c 0 32622 64345 323354 5 165463 301272 101 0 16.41 16.59/16.60 o 898 16.79/16.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.79/16.89 c 0 32622 64346 324354 5 165567 302272 102 0 16.61 16.79/16.89 o 897 16.99/17.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.99/17.09 c 0 32622 64347 325354 5 165672 303272 103 0 16.90 16.99/17.09 o 896 17.39/17.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.39/17.43 c 0 32622 64348 326354 5 165778 304272 104 0 17.10 17.39/17.43 o 895 17.61/17.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.61/17.63 c 0 32622 64349 327354 5 165885 305272 105 0 17.44 17.61/17.63 o 894 17.89/17.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.89/17.93 c 0 32622 64350 328354 5 165993 306272 106 0 17.64 17.89/17.93 o 893 18.09/18.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.09/18.12 c 0 32622 64351 329354 5 166102 307272 107 0 17.94 18.09/18.12 o 892 18.39/18.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.39/18.46 c 0 32622 64352 330354 5 166212 308272 108 0 18.13 18.39/18.46 o 891 18.61/18.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.61/18.67 c 0 32622 64353 331354 5 166323 309272 109 0 18.47 18.61/18.67 o 890 18.89/18.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.89/18.97 c 0 32622 64354 332354 5 166435 310272 110 0 18.68 18.89/18.97 o 889 19.09/19.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.09/19.17 c 0 32622 64355 333354 5 166548 311272 111 0 18.98 19.09/19.17 o 888 19.49/19.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.49/19.55 c 0 32622 64356 334354 5 166662 312272 112 0 19.18 19.49/19.55 o 887 19.71/19.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.71/19.77 c 0 32622 64357 335354 5 166777 313272 113 0 19.56 19.71/19.77 o 886 19.99/20.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.99/20.07 c 0 32622 64358 336354 5 166893 314272 114 0 19.78 19.99/20.07 o 885 20.19/20.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.19/20.29 c 0 32622 64359 337354 5 167010 315272 115 0 20.08 20.19/20.29 o 884 20.59/20.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.59/20.63 c 0 32622 64360 338354 5 167128 316272 116 0 20.30 20.59/20.63 o 883 20.81/20.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.81/20.84 c 0 32622 64361 339354 5 167247 317272 117 0 20.64 20.81/20.84 o 882 21.09/21.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.09/21.14 c 0 32622 64362 340354 5 167367 318272 118 0 20.85 21.09/21.14 o 881 21.29/21.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.29/21.35 c 0 32622 64363 341354 5 167488 319272 119 0 21.15 21.29/21.35 o 880 21.69/21.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.69/21.71 c 0 32622 64364 342354 5 167610 320272 120 0 21.36 21.69/21.71 o 879 21.91/21.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.91/21.92 c 0 32622 64365 343354 5 167733 321272 121 0 21.73 21.91/21.92 o 878 22.19/22.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.19/22.24 c 0 32622 64366 344354 5 167857 322272 122 0 21.93 22.19/22.24 o 877 22.39/22.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.39/22.45 c 0 32622 64367 345354 5 167982 323272 123 0 22.25 22.39/22.45 o 876 22.79/22.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.79/22.81 c 0 32622 64368 346354 5 168108 324272 124 0 22.46 22.79/22.81 o 875 23.01/23.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.01/23.02 c 0 32622 64369 347354 5 168235 325272 125 0 22.82 23.01/23.02 o 874 23.29/23.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.29/23.33 c 0 32622 64370 348354 5 168363 326272 126 0 23.03 23.29/23.33 o 873 23.49/23.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.49/23.54 c 0 32622 64371 349354 5 168492 327272 127 0 23.34 23.49/23.54 o 872 23.89/23.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.89/23.94 c 0 32622 64372 350354 5 168622 328272 128 0 23.55 23.89/23.94 o 871 24.10/24.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.10/24.16 c 0 32622 64373 351354 5 168753 329272 129 0 23.95 24.10/24.16 o 870 24.39/24.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.39/24.47 c 0 32622 64374 352354 5 168885 330272 130 0 24.17 24.39/24.47 o 869 24.69/24.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.69/24.70 c 0 32622 64375 353354 5 169018 331272 131 0 24.48 24.69/24.70 o 868 24.99/25.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.99/25.07 c 0 32622 64376 354354 5 169152 332272 132 0 24.71 24.99/25.07 o 867 25.21/25.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.21/25.29 c 0 32622 64377 355354 5 169287 333272 133 0 25.08 25.21/25.29 o 866 25.59/25.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.59/25.61 c 0 32622 64378 356354 5 169423 334272 134 0 25.30 25.59/25.61 o 865 25.79/25.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.79/25.84 c 0 32622 64379 357354 5 169560 335272 135 0 25.62 25.79/25.84 o 864 26.19/26.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.19/26.21 c 0 32622 64380 358354 5 169698 336272 136 0 25.85 26.19/26.21 o 863 26.41/26.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.41/26.43 c 0 32622 64381 359354 5 169837 337272 137 0 26.22 26.41/26.43 o 862 26.69/26.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.69/26.73 c 0 32622 64382 360354 5 169977 338272 138 0 26.44 26.69/26.73 o 861 26.90/26.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.90/26.96 c 0 32622 64383 361354 5 170118 339272 139 0 26.74 26.90/26.96 o 860 27.29/27.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.29/27.31 c 0 32622 64384 362354 5 170260 340272 140 0 26.97 27.29/27.31 o 859 27.41/27.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.41/27.47 c 0 32622 64385 363354 5 170403 341272 141 0 27.32 27.41/27.47 o 858 27.79/27.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.79/27.80 c 0 32622 64386 364354 5 170547 342272 142 0 27.48 27.79/27.80 o 857 27.99/28.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.99/28.03 c 0 32622 64387 365354 5 170692 343272 143 0 27.81 27.99/28.03 o 856 28.39/28.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.39/28.44 c 0 32622 64388 366354 5 170838 344272 144 0 28.04 28.39/28.44 o 855 28.61/28.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.61/28.66 c 0 32622 64389 367354 5 170985 345272 145 0 28.45 28.61/28.66 o 854 28.89/28.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.89/28.99 c 0 32622 64390 368354 5 171133 346272 146 0 28.67 28.89/28.99 o 853 29.19/29.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.19/29.21 c 0 32622 64391 369354 5 171282 347272 147 0 29.00 29.19/29.21 o 852 29.19/29.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.19/29.25 c 1 32622 64393 371207 5 171434 347272 149 0 29.22 29.19/29.25 o 83 29.49/29.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.49/29.50 c 1 32622 64394 372207 5 172353 347272 150 0 29.26 29.49/29.50 c 101 32622 64496 397942 6 172557 382000 252 3 29.44 29.49/29.50 o 82 1797.95/1797.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1797.94 c 128 32622 64524 403235 6 173531 347272 280 4 29.51 1797.95/1797.94 c 228 32622 64629 426261 6 173741 382000 385 7 29.69 1797.95/1797.94 c 478 32622 64885 480316 7 174253 420201 641 15 30.13 1797.95/1797.94 c 954 32622 65389 616976 9 175261 462222 1145 30 30.95 1797.95/1797.94 c 1768 32622 66234 785026 11 176951 508445 1990 54 32.34 1797.95/1797.94 c 3089 32622 67583 1041839 15 179649 559290 3339 89 34.61 1797.95/1797.94 c 5172 32622 69755 1519364 21 184909 615220 5511 134 38.45 1797.95/1797.94 c 8395 32622 73184 2544783 34 192683 676743 8940 188 44.62 1797.95/1797.94 c 13331 32622 78363 4001428 51 203041 744418 14119 244 54.51 1797.95/1797.94 c 20838 32622 86544 6388952 73 219403 818860 22300 290 71.74 1797.95/1797.94 c 32199 32622 98277 9073058 92 242869 900747 34033 324 99.23 1797.95/1797.94 c 49344 32622 116233 13129557 112 278781 990822 51989 343 143.55 1797.95/1797.94 c 75164 32622 143357 20234090 141 333029 500000 79113 331 227.03 1797.95/1797.94 c 113997 32622 184715 34521635 186 420418 550001 120471 282 403.28 1797.95/1797.94 c 172349 32622 245325 49993648 203 548014 605002 181081 255 675.03 1797.95/1797.94 c 259981 32622 338812 75890413 223 736698 665503 274568 225 1151.01 1797.95/1797.94 c Reducing formula size due to memory constraints 1797.95/1797.94 c Memory Limit: 1000.00 MB Used: 1003.32 MB 1797.95/1797.94 c Resources Exceeded 1797.95/1797.94 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 x161 x162 x163 x164 x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 x181 x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 x508 x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 x853 -x854 x855 -x856 x857 -x858 -x859 x860 -x861 -x862 -x863 x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 1797.95/1797.94 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1797.94 c 166 360477 121646 956898 180796 40798378 116552 200 1798.00 1797.95/1797.94 c Objective: 82 1797.95/1797.94 s SATISFIABLE 1797.95/1797.94 c Total time: 1798 s
OK 82
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462693-1307181819/watcher-3462693-1307181819 -o /tmp/evaluation-result-3462693-1307181819/solver-3462693-1307181819 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462693-1307181819.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.03 2.00 3/498 32587 /proc/meminfo: memFree=26428428/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=13444 CPUtime=0.01 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 872 0 0 0 1 0 0 0 19 0 1 0 908412635 13766656 826 33554432000 134512640 137138936 4287967728 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 3361 827 198 642 0 2605 0 [startup+0.0869749 s] /proc/loadavg: 2.04 2.03 2.00 3/498 32587 /proc/meminfo: memFree=26428428/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=24912 CPUtime=0.08 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 3921 0 0 0 7 1 0 0 19 0 1 0 908412635 25509888 3723 33554432000 134512640 137138936 4287967728 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 6228 3730 183 642 0 5584 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 24912 [startup+0.100979 s] /proc/loadavg: 2.04 2.03 2.00 3/498 32587 /proc/meminfo: memFree=26428428/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=27324 CPUtime=0.09 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 4483 0 0 0 8 1 0 0 19 0 1 0 908412635 27979776 4285 33554432000 134512640 137138936 4287967728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 6831 4285 185 642 0 6187 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27324 [startup+0.300941 s] /proc/loadavg: 2.04 2.03 2.00 3/498 32587 /proc/meminfo: memFree=26428428/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=27324 CPUtime=0.29 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 4483 0 0 0 28 1 0 0 20 0 1 0 908412635 27979776 4285 33554432000 134512640 137138936 4287967728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 6831 4285 185 642 0 6187 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27324 [startup+0.700876 s] /proc/loadavg: 2.04 2.03 2.00 3/498 32587 /proc/meminfo: memFree=26428428/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=27324 CPUtime=0.69 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 4483 0 0 0 68 1 0 0 21 0 1 0 908412635 27979776 4285 33554432000 134512640 137138936 4287967728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 6831 4285 185 642 0 6187 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27324 [startup+1.50073 s] /proc/loadavg: 2.04 2.03 2.00 3/499 32588 /proc/meminfo: memFree=26407016/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=28208 CPUtime=1.49 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 5873 0 0 0 141 8 0 0 23 0 1 0 908412635 28884992 4512 33554432000 134512640 137138936 4287967728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 7052 4512 188 642 0 6408 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28208 [startup+3.10043 s] /proc/loadavg: 2.04 2.03 2.00 3/499 32588 /proc/meminfo: memFree=26408876/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=28472 CPUtime=3.09 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 5940 0 0 0 297 12 0 0 25 0 1 0 908412635 29155328 4579 33554432000 134512640 137138936 4287967728 18446744073709551615 136502633 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 7118 4579 188 642 0 6474 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28472 [startup+6.30084 s] /proc/loadavg: 2.04 2.03 2.00 3/499 32588 /proc/meminfo: memFree=26408256/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=28872 CPUtime=6.29 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 6021 0 0 0 614 15 0 0 25 0 1 0 908412635 29564928 4660 33554432000 134512640 137138936 4287967728 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 7218 4660 188 642 0 6574 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28872 [startup+12.7006 s] /proc/loadavg: 2.03 2.02 2.00 3/499 32588 /proc/meminfo: memFree=26407332/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=29280 CPUtime=12.69 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 6141 0 0 0 1250 19 0 0 25 0 1 0 908412635 29982720 4780 33554432000 134512640 137138936 4287967728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 7320 4780 188 642 0 6676 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29280 [startup+25.5003 s] /proc/loadavg: 2.03 2.02 2.00 3/499 32588 /proc/meminfo: memFree=26406488/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=30084 CPUtime=25.49 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 6338 0 0 0 2522 27 0 0 25 0 1 0 908412635 30806016 4977 33554432000 134512640 137138936 4287967728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 7521 4977 188 642 0 6877 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30084 [startup+51.1005 s] /proc/loadavg: 2.02 2.02 2.00 3/499 32589 /proc/meminfo: memFree=26363184/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=73356 CPUtime=51.09 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 17147 0 0 0 5077 32 0 0 25 0 1 0 908412635 75116544 15786 33554432000 134512640 137138936 4287967728 18446744073709551615 136504086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 18339 15786 192 642 0 17695 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 73356 [startup+102.319 s] /proc/loadavg: 2.00 2.02 2.00 3/499 32590 /proc/meminfo: memFree=26285044/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=150468 CPUtime=102.31 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 36426 0 0 0 10192 39 0 0 25 0 1 0 908412635 154079232 35065 33554432000 134512640 137138936 4287967728 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 37617 35065 192 642 0 36973 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 150468 [startup+162.301 s] /proc/loadavg: 2.13 2.04 2.01 3/499 32592 /proc/meminfo: memFree=26210756/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=223644 CPUtime=162.29 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 54720 0 0 0 16183 46 0 0 25 0 1 0 908412635 229011456 53359 33554432000 134512640 137138936 4287967728 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 55911 53359 192 642 0 55267 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 223644 [startup+222.301 s] /proc/loadavg: 2.05 2.03 2.00 3/499 32621 /proc/meminfo: memFree=26114564/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=288224 CPUtime=222.3 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 70865 0 0 0 22178 52 0 0 25 0 1 0 908412635 295141376 69504 33554432000 134512640 137138936 4287967728 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 72056 69504 192 642 0 71412 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 288224 [startup+282.301 s] /proc/loadavg: 2.02 2.02 2.00 3/499 32622 /proc/meminfo: memFree=25992020/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=353900 CPUtime=282.3 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 87284 0 0 0 28171 59 0 0 25 0 1 0 908412635 362393600 85923 33554432000 134512640 137138936 4287967728 18446744073709551615 134542799 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 88475 85923 192 642 0 87831 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 353900 [startup+342.301 s] /proc/loadavg: 2.00 2.02 2.00 3/499 32624 /proc/meminfo: memFree=25892036/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=406272 CPUtime=342.31 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 100377 0 0 0 34166 65 0 0 25 0 1 0 908412635 416022528 99016 33554432000 134512640 137138936 4287967728 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 101568 99016 192 642 0 100924 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 406272 [startup+402.3 s] /proc/loadavg: 2.14 2.06 2.01 3/499 32625 /proc/meminfo: memFree=25780532/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=478524 CPUtime=402.3 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 119216 0 0 0 40160 70 0 0 25 0 1 0 908412635 490008576 117079 33554432000 134512640 137138936 4287967728 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 119631 117079 192 642 0 118987 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 478524 [startup+462.3 s] /proc/loadavg: 2.05 2.04 2.00 3/499 32627 /proc/meminfo: memFree=25686252/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=535780 CPUtime=462.31 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 133536 0 0 0 46156 75 0 0 25 0 1 0 908412635 548638720 131399 33554432000 134512640 137138936 4287967728 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 133945 131399 192 642 0 133301 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 535780 [startup+522.3 s] /proc/loadavg: 2.02 2.03 2.00 3/499 32629 /proc/meminfo: memFree=25605252/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=584444 CPUtime=522.31 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 145722 0 0 0 52150 81 0 0 25 0 1 0 908412635 598470656 143585 33554432000 134512640 137138936 4287967728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 146111 143585 192 642 0 145467 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 584444 [startup+582.301 s] /proc/loadavg: 2.00 2.03 2.00 3/499 32630 /proc/meminfo: memFree=25549908/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=619072 CPUtime=582.31 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 154353 0 0 0 58146 85 0 0 25 0 1 0 908412635 633929728 152216 33554432000 134512640 137138936 4287967728 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 154768 152216 192 642 0 154124 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 619072 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=25113296/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=966724 CPUtime=1062.33 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 241266 0 0 0 106109 124 0 0 25 0 1 0 908412635 989925376 239129 33554432000 134512640 137138936 4287967728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 241681 239129 192 642 0 241037 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 966724 [startup+1122.3 s] /proc/loadavg: 2.01 2.03 2.00 3/499 32645 /proc/meminfo: memFree=25046072/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1003044 CPUtime=1122.33 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 250370 0 0 0 112104 129 0 0 25 0 1 0 908412635 1027117056 248233 33554432000 134512640 137138936 4287967728 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 250761 248233 192 642 0 250117 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1003044 [startup+1182.3 s] /proc/loadavg: 2.16 2.06 2.01 3/499 32646 /proc/meminfo: memFree=24974108/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1043976 CPUtime=1182.33 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 260853 0 0 0 118099 134 0 0 25 0 1 0 908412635 1069031424 258442 33554432000 134512640 137138936 4287967728 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 260994 258442 192 642 0 260350 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1043976 [startup+1242.3 s] /proc/loadavg: 2.13 2.06 2.01 3/499 32648 /proc/meminfo: memFree=24953484/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1043976 CPUtime=1242.33 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 260855 0 0 0 124097 136 0 0 25 0 1 0 908412635 1069031424 258444 33554432000 134512640 137138936 4287967728 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 260994 258444 192 642 0 260350 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1043976 [startup+1302.3 s] /proc/loadavg: 2.05 2.05 2.00 3/499 32649 /proc/meminfo: memFree=24932388/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1043976 CPUtime=1302.35 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 260855 0 0 0 130096 139 0 0 25 0 1 0 908412635 1069031424 258444 33554432000 134512640 137138936 4287967728 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 260994 258444 192 642 0 260350 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 1043976 [startup+1362.3 s] /proc/loadavg: 2.02 2.04 2.00 3/499 32651 /proc/meminfo: memFree=24909796/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1043976 CPUtime=1362.33 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 260856 0 0 0 136092 141 0 0 25 0 1 0 908412635 1069031424 258445 33554432000 134512640 137138936 4287967728 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 260994 258445 192 642 0 260350 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1043976 [startup+1422.32 s] /proc/loadavg: 2.00 2.03 2.00 3/499 32653 /proc/meminfo: memFree=24894276/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1043976 CPUtime=1422.36 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 260856 0 0 0 142092 144 0 0 25 0 1 0 908412635 1069031424 258445 33554432000 134512640 137138936 4287967728 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 260994 258445 192 642 0 260350 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 1043976 [startup+1482.3 s] /proc/loadavg: 2.06 2.04 2.00 3/499 32654 /proc/meminfo: memFree=24892884/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1043976 CPUtime=1482.34 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 260856 0 0 0 148088 146 0 0 25 0 1 0 908412635 1069031424 258445 33554432000 134512640 137138936 4287967728 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 260994 258445 192 642 0 260350 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1043976 [startup+1542.3 s] /proc/loadavg: 2.02 2.03 2.00 3/499 32656 /proc/meminfo: memFree=24893968/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1043976 CPUtime=1542.35 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 260856 0 0 0 154087 148 0 0 25 0 1 0 908412635 1069031424 258445 33554432000 134512640 137138936 4287967728 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 260994 258445 192 642 0 260350 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 1043976 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.00 3/499 32657 /proc/meminfo: memFree=24894580/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1043976 CPUtime=1602.34 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 260856 0 0 0 160084 150 0 0 25 0 1 0 908412635 1069031424 258445 33554432000 134512640 137138936 4287967728 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 260994 258445 192 642 0 260350 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1043976 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/499 32659 /proc/meminfo: memFree=24894304/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1043976 CPUtime=1662.35 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 260856 0 0 0 166082 153 0 0 25 0 1 0 908412635 1069031424 258445 33554432000 134512640 137138936 4287967728 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 260994 258445 192 642 0 260350 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 1043976 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/499 32661 /proc/meminfo: memFree=24894656/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1043976 CPUtime=1722.35 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 260856 0 0 0 172081 154 0 0 25 0 1 0 908412635 1069031424 258445 33554432000 134512640 137138936 4287967728 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 260994 258445 192 642 0 260350 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 1043976 [startup+1782.3 s] /proc/loadavg: 2.08 2.03 2.01 3/499 32662 /proc/meminfo: memFree=24894244/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1043976 CPUtime=1782.35 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 260856 0 0 0 178078 157 0 0 25 0 1 0 908412635 1069031424 258445 33554432000 134512640 137138936 4287967728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 260994 258445 192 642 0 260350 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 1043976 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.07 2.03 2.01 3/499 32662 /proc/meminfo: memFree=24894244/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1043976 CPUtime=1785.55 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 260856 0 0 0 178398 157 0 0 25 0 1 0 908412635 1069031424 258445 33554432000 134512640 137138936 4287967728 18446744073709551615 134600738 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 260994 258445 192 642 0 260350 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (KiB) 1043976 [startup+1791.92 s] /proc/loadavg: 2.07 2.03 2.01 3/499 32662 /proc/meminfo: memFree=24894724/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1043976 CPUtime=1791.97 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 260856 0 0 0 179040 157 0 0 25 0 1 0 908412635 1069031424 258445 33554432000 134512640 137138936 4287967728 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 260994 258445 192 642 0 260350 0 Current children cumulated CPU time (s) 1791.97 Current children cumulated vsize (KiB) 1043976 [startup+1795.1 s] /proc/loadavg: 2.06 2.03 2.01 3/499 32662 /proc/meminfo: memFree=24894724/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1043976 CPUtime=1795.17 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 260856 0 0 0 179360 157 0 0 25 0 1 0 908412635 1069031424 258445 33554432000 134512640 137138936 4287967728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 260994 258445 192 642 0 260350 0 Current children cumulated CPU time (s) 1795.17 Current children cumulated vsize (KiB) 1043976 [startup+1796.7 s] /proc/loadavg: 2.06 2.03 2.01 3/499 32663 /proc/meminfo: memFree=24894724/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1043976 CPUtime=1796.75 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 260856 0 0 0 179518 157 0 0 25 0 1 0 908412635 1069031424 258445 33554432000 134512640 137138936 4287967728 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 260994 258445 192 642 0 260350 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (KiB) 1043976 [startup+1797.5 s] /proc/loadavg: 2.06 2.03 2.01 3/499 32663 /proc/meminfo: memFree=24894724/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1043976 CPUtime=1797.55 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 260856 0 0 0 179598 157 0 0 25 0 1 0 908412635 1069031424 258445 33554432000 134512640 137138936 4287967728 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 260994 258445 192 642 0 260350 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 1043976 [startup+1797.9 s] /proc/loadavg: 2.06 2.03 2.01 3/499 32663 /proc/meminfo: memFree=24894724/32950928 swapFree=34421304/67111528 [pid=32587] ppid=32585 vsize=1043976 CPUtime=1797.95 cores=1,3,5,7 /proc/32587/stat : 32587 (bsolo) R 32585 32587 29288 0 -1 4202496 260856 0 0 0 179638 157 0 0 25 0 1 0 908412635 1069031424 258445 33554432000 134512640 137138936 4287967728 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32587/statm: 260994 258445 192 642 0 260350 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 1043976 Child status: 0 Real time (s): 1797.99 CPU time (s): 1798.05 CPU user time (s): 1796.43 CPU system time (s): 1.61975 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1045072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.43 system time used= 1.61975 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 260857 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= 5 involuntary context switches= 1523 runsolver used 8.76667 second user time and 20.6629 second system time The end
Begin job on node113 at 2011-06-04 12:03:40 IDJOB=3462693 IDBENCH=48109 IDSOLVER=1955 FILE ID=node113/3462693-1307181819 RUNJOBID= node113-1307173947-31164 PBS_JOBID= 13508847 Free space on /tmp= 73792 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_3.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462693-1307181819/watcher-3462693-1307181819 -o /tmp/evaluation-result-3462693-1307181819/solver-3462693-1307181819 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462693-1307181819.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 58d1d1d90868b936a5ba7e034aba056d RANDOM SEED=391274841 node113.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 26428724 kB Buffers: 281708 kB Cached: 870296 kB SwapCached: 13476 kB Active: 5422752 kB Inactive: 778252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 26428724 kB SwapTotal: 67111528 kB SwapFree: 34421304 kB Dirty: 4312 kB Writeback: 0 kB AnonPages: 5046908 kB Mapped: 21832 kB Slab: 136148 kB PageTables: 116404 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 154814928 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73788 MiB End job on node113 at 2011-06-04 12:33:38