Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 39 | 1798 | 1798.49 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_4.opb |
MD5SUM | 8206de06d2228a9d751f3cf3a6d7aa05 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 13 |
Best CPU time to get the best result obtained on this benchmark | 1802.15 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
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 | 14 |
Minimum length of a constraint | 75 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
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 | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1531 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5104 |
Number of bits of the biggest sum of numbers | 13 |
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.00 c bsolo beta version 3.1 - 13/04/2009 : 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1877187-1245177234.opb 0.00/0.00 c File size is 10372 bytes. 0.00/0.00 c Highest Coefficient sum: 5104 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 172 Constr: 14 0/0/14 Lit: 1060 Watch. Lit: 301 0.00/0.00 c Obj. Vars: 112 (65.1163 % of total variables) 0.00/0.00 c Pre-processing Time: 0.002 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 172 14 1060 75 310 2120 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 1159 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 0 172 15 1172 78 731 2344 1 0 0.00 0.03/0.06 c 100 172 121 8644 71 1017 2579 107 3703 0.03 0.03/0.06 o 986 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 227 172 251 17906 71 1402 2344 237 3783 0.06 0.03/0.06 o 930 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 246 172 271 19075 70 1521 2344 257 3843 0.06 0.03/0.06 o 922 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 247 172 273 19278 70 1623 2344 259 3800 0.07 0.03/0.06 o 910 0.03/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.08 c 250 172 277 19625 70 1705 2344 263 3787 0.07 0.03/0.08 o 908 0.03/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.09 c 326 172 356 25568 71 1995 2344 342 3790 0.09 0.03/0.09 o 861 0.03/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.09 c 335 172 366 26294 71 2075 2344 352 3806 0.09 0.03/0.09 o 859 0.03/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.10 c 337 172 369 26571 72 2176 2344 355 3786 0.09 0.03/0.10 o 856 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 362 172 395 28208 71 2291 2344 381 3693 0.10 0.09/0.10 o 684 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 371 172 405 28882 71 2358 2344 391 3673 0.10 0.09/0.10 o 682 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 381 172 416 29484 70 2402 2344 402 3663 0.10 0.09/0.14 c 481 172 524 37494 71 2660 2579 510 3616 0.13 0.09/0.14 o 680 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 524 172 569 40835 71 2770 2344 555 3589 0.15 0.09/0.15 o 570 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 549 172 595 42553 71 2867 2344 581 3519 0.16 0.09/0.18 c 649 172 697 47862 68 3125 2579 683 3527 0.18 0.09/0.18 o 566 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 653 172 702 48273 68 3077 2344 688 3510 0.19 0.09/0.19 o 565 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 676 172 727 49775 68 3191 2344 713 3484 0.19 0.19/0.23 c 777 172 829 54758 66 3514 2579 815 3438 0.23 0.19/0.23 o 477 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 805 172 860 56779 66 3473 2344 846 3440 0.23 0.29/0.32 c 905 172 969 65661 67 3817 2579 955 3364 0.27 0.29/0.32 o 475 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 1056 172 1129 78474 69 4353 2344 1115 3269 0.32 0.29/0.37 c 1157 172 1234 85324 69 4632 2579 1220 3231 0.36 0.29/0.37 o 411 0.29/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.39 c 1185 172 1263 86479 68 4686 2344 1249 3220 0.37 0.29/0.39 o 407 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 1265 172 1348 90061 66 4951 2344 1334 3210 0.39 0.49/0.56 c 1365 172 1449 94497 65 5301 2579 1435 3196 0.43 0.49/0.56 c 1617 172 1710 109477 64 5824 2837 1696 3152 0.51 0.49/0.56 o 400 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 1771 172 1868 115588 61 6206 2344 1854 3162 0.56 0.59/0.61 c 1871 172 1969 120319 61 6493 2579 1955 3139 0.60 0.59/0.61 o 377 0.59/0.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.62 c 1927 172 2026 122456 60 6708 2344 2012 3128 0.62 0.59/0.62 o 376 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 1935 172 2035 123153 60 6702 2344 2021 3126 0.62 0.59/0.67 c 2035 172 2136 128391 60 6944 2579 2122 3097 0.66 0.59/0.67 o 375 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 2086 172 2188 131023 59 7087 2344 2174 3081 0.68 0.69/0.73 c 2186 172 2289 135736 59 7393 2579 2275 3048 0.72 0.69/0.73 o 371 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 2223 172 2327 137551 59 7538 2344 2313 3041 0.73 0.69/0.79 c 2326 172 1187 58916 49 3096 2579 1173 2997 0.78 0.69/0.79 o 368 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 2391 172 1253 62111 49 3332 2344 1239 3003 0.80 0.79/0.83 c 2492 172 1355 66287 48 3554 2579 1341 3024 0.82 0.79/0.83 o 364 0.79/0.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.87 c 2512 172 1376 67877 49 3685 2344 1362 3022 0.83 0.79/0.87 c 2613 172 1479 72524 49 3904 2579 1465 3031 0.86 0.79/0.87 o 362 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 2653 172 1520 74799 49 4088 2344 1506 3028 0.88 0.89/0.96 c 2753 172 1622 79001 48 4291 2579 1608 3041 0.91 0.89/0.96 o 358 1.00/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.01 c 2913 172 1784 87968 49 4727 2344 1770 3037 0.96 1.00/1.01 c 3013 172 1885 92130 48 4946 2579 1871 3031 0.99 1.00/1.01 o 356 1.00/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.03 c 3072 172 1947 96571 49 5153 2344 1933 3023 1.02 1.00/1.03 o 353 1.00/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.04 c 3109 172 1987 98740 49 5365 2344 1973 3012 1.03 1.00/1.04 o 352 1.00/1.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.05 c 3140 172 2019 100165 49 5528 2344 2005 3010 1.04 1.00/1.05 o 282 1.00/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.06 c 3166 172 2046 101148 49 5617 2344 2032 3009 1.05 1.00/1.06 o 280 1.09/1.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.11 c 3188 172 2069 102603 49 5772 2344 2055 3004 1.06 1.09/1.11 c 3288 172 2169 106340 49 6076 2579 2155 3013 1.09 1.09/1.11 o 278 1.09/1.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.17 c 3353 172 2235 109912 49 6213 2344 2221 3004 1.12 1.09/1.17 c 3454 172 2336 114200 48 6514 2579 2322 3000 1.15 1.09/1.17 o 276 1.19/1.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.23 c 3514 172 2397 117254 48 6678 2344 2383 2998 1.17 1.19/1.23 c 3614 172 1287 62808 48 3304 2579 1273 2999 1.21 1.19/1.23 o 274 1.19/1.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.27 c 3694 172 1375 67980 49 3630 2344 1361 3008 1.23 1.19/1.27 c 3794 172 1478 72066 48 3846 2579 1464 3011 1.26 1.19/1.27 o 247 1.19/1.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.29 c 3841 172 1527 74583 48 4060 2344 1513 3012 1.27 1.19/1.29 o 239 1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.35 c 3891 172 1578 77561 49 4274 2344 1564 3006 1.29 1.29/1.35 c 3991 172 1682 82535 49 4527 2579 1668 3007 1.33 1.29/1.35 o 225 1.29/1.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.37 c 4073 172 1766 86010 48 4822 2344 1752 3014 1.35 1.29/1.37 o 221 1.39/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.43 c 4146 172 1840 89677 48 5051 2344 1826 3017 1.37 1.39/1.43 c 4247 172 1941 94358 48 5274 2579 1927 3020 1.41 1.39/1.43 o 219 1.99/2.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.01 c 4313 172 2008 98513 49 5507 2344 1994 3013 1.43 1.99/2.01 c 4413 172 2108 101935 48 5724 2579 2094 3020 1.46 1.99/2.01 c 4663 172 2360 111230 47 6246 2837 2346 3023 1.54 1.99/2.01 c 5138 172 2842 132615 46 7200 3121 2828 2994 1.72 1.99/2.01 o 180 2.09/2.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.11 c 5950 172 2050 98147 47 5111 2344 2036 2958 2.01 2.09/2.11 c 6050 172 2150 101501 47 5300 2579 2136 2962 2.04 2.09/2.11 o 178 2.39/2.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.46 c 6255 172 2359 110189 46 5846 2344 2345 2967 2.11 2.39/2.46 c 6355 172 1287 60693 47 3312 2579 1273 2961 2.15 2.39/2.46 c 6608 172 1554 79319 51 3970 2837 1540 2975 2.22 2.39/2.46 c 7086 172 2038 104047 51 4994 3121 2024 2982 2.38 2.39/2.46 o 177 2.49/2.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.55 c 7362 172 2319 119529 51 5697 2344 2305 2990 2.46 2.49/2.55 c 7462 172 1203 66466 55 3192 2579 1189 2987 2.50 2.49/2.55 o 163 2.59/2.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.66 c 7647 172 1393 75808 54 3709 2344 1379 2991 2.56 2.59/2.66 c 7747 172 1496 80413 53 3935 2579 1482 2996 2.58 2.59/2.66 o 131 2.59/2.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.66 c 7972 172 1726 89861 52 4521 2344 1712 2999 2.66 2.59/2.66 o 123 2.59/2.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.68 c 7976 172 1731 90278 52 4641 2344 1717 2999 2.66 2.59/2.68 o 121 2.99/3.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.00 c 8033 169 1792 94278 52 4874 2338 1778 2998 2.68 2.99/3.00 c 8133 165 1892 97788 51 5079 2572 1878 2998 2.71 2.99/3.00 c 8386 164 2152 111209 51 5613 2830 2138 2992 2.80 2.99/3.00 c 8864 163 2652 140742 53 6769 3114 2638 2983 2.97 2.99/3.00 o 120 3.09/3.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.13 c 8959 163 2750 145805 53 7082 2326 2736 2981 3.00 3.09/3.13 c 9059 163 1291 67830 52 3451 2559 1277 2982 3.04 3.09/3.13 c 9310 163 1550 80064 51 3985 2815 1536 2988 3.12 3.09/3.13 o 117 3.09/3.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.15 c 9370 163 1612 83294 51 4206 2326 1598 2990 3.13 3.09/3.15 o 113 3.29/3.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.36 c 9438 163 1682 87367 51 4449 2326 1668 2991 3.15 3.29/3.36 c 9540 163 1789 93190 52 4711 2559 1775 2996 3.18 3.29/3.36 c 9790 163 2043 107479 52 5261 2815 2029 2992 3.27 3.29/3.36 o 103 3.79/3.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.83 c 10069 163 2327 117923 50 5938 2326 2313 2997 3.36 3.79/3.83 c 10170 163 1222 57336 46 3260 2559 1208 2993 3.40 3.79/3.83 c 10420 163 1476 68439 46 3782 2815 1462 3002 3.47 3.79/3.83 c 10896 163 1955 86337 44 4734 3097 1941 3023 3.60 3.79/3.83 o 102 8.98/9.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.98/9.08 c 11665 161 2729 115359 42 6383 2322 2715 3044 3.83 8.98/9.08 c 11769 161 1292 51578 39 3300 2555 1278 3038 3.87 8.98/9.08 c 12019 161 1542 61587 39 3795 2811 1528 3045 3.95 8.98/9.08 c 12494 160 2023 80015 39 4757 3093 2009 3059 4.08 8.98/9.08 c 13307 160 2847 114491 40 6412 3403 2833 3066 4.34 8.98/9.08 c 14627 160 2418 96272 39 5540 3744 2404 3060 4.78 8.98/9.08 c 16708 160 2586 97415 37 5865 4119 2572 3065 5.45 8.98/9.08 c 19931 160 3707 143367 38 8113 4531 3693 3062 6.51 8.98/9.08 c 24867 160 4034 168632 41 8776 4985 4020 2978 8.35 8.98/9.08 o 99 717.60/717.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 717.60/717.81 c 26680 160 3307 144904 43 7440 2320 3293 2937 9.08 717.60/717.81 c 26780 160 1288 54036 41 3272 2553 1274 2932 9.13 717.60/717.81 c 27030 160 1538 63248 41 3771 2809 1524 2936 9.20 717.60/717.81 c 27505 160 2013 82626 41 4726 3090 1999 2939 9.36 717.60/717.81 c 28319 160 2832 117966 41 6363 3400 2818 2938 9.64 717.60/717.81 c 29639 160 2403 101479 42 5503 3741 2389 2936 10.09 717.60/717.81 c 31720 159 2573 111213 43 5830 4116 2559 2929 10.83 717.60/717.81 c 34943 159 3709 156175 42 8106 4528 3695 2932 11.91 717.60/717.81 c 39879 159 4022 175179 43 8721 4981 4008 2945 13.54 717.60/717.81 c 47385 159 3951 158013 39 8591 5480 3937 2891 16.39 717.60/717.81 c 58746 158 4230 172685 40 9159 6029 4216 2864 20.51 717.60/717.81 c 75890 158 3131 132354 42 6965 6632 3117 2803 27.07 717.60/717.81 c 101709 158 5457 227874 41 11604 7296 5443 2740 37.11 717.60/717.81 c 140541 158 3677 154394 41 8043 8026 3663 2642 53.19 717.60/717.81 c 198894 158 5262 215560 40 11218 8829 5248 2529 78.62 717.60/717.81 c 286526 158 8263 367192 44 17229 9712 8249 2361 121.32 717.60/717.81 c 418078 158 7481 310127 41 15651 10684 7467 2202 189.85 717.60/717.81 c 615511 158 5713 246419 43 12118 11753 5699 2061 298.62 717.60/717.81 c 911763 158 7002 277170 39 14706 12929 6988 1958 465.61 717.60/717.81 o 96 717.80/718.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 717.80/718.02 c 1321230 158 7348 319360 43 15506 2316 7334 1841 717.62 717.80/718.02 c 1321330 158 1287 58611 45 3269 2548 1273 1840 717.80 717.80/718.02 o 94 717.80/718.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 717.80/718.05 c 1321448 158 1409 67219 47 3664 2316 1395 1840 717.84 717.80/718.05 o 92 783.48/783.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 783.48/783.72 c 1321545 158 1511 74319 49 4007 2316 1497 1840 717.87 783.48/783.72 c 1321645 158 1613 80716 50 4208 2548 1599 1840 717.90 783.48/783.72 c 1321895 158 1863 89078 47 4721 2803 1849 1841 717.97 783.48/783.72 c 1322370 158 2340 106275 45 5669 3084 2326 1841 718.12 783.48/783.72 c 1323184 158 1580 60740 38 3925 3393 1566 1841 718.40 783.48/783.72 c 1324504 158 2901 112342 38 6564 3733 2887 1842 718.82 783.48/783.72 c 1326585 158 3059 125390 40 6933 4107 3045 1843 719.56 783.48/783.72 c 1329809 158 2101 81066 38 4895 4518 2087 1845 720.71 783.48/783.72 c 1334745 158 2425 86808 35 5538 4970 2411 1847 722.33 783.48/783.72 c 1342251 158 4914 193211 39 10520 5468 4900 1851 724.83 783.48/783.72 c 1353612 158 5179 193256 37 11054 6015 5165 1857 728.76 783.48/783.72 c 1370756 158 4034 158581 39 8755 6617 4020 1865 734.87 783.48/783.72 c 1396575 158 6421 240416 37 13533 7279 6407 1876 744.25 783.48/783.72 c 1435407 158 4815 183499 38 10324 8007 4801 1890 759.14 783.48/783.72 c 1493759 158 6576 263632 40 13844 8808 6562 1909 782.08 783.48/783.72 o 85 783.58/783.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 783.58/783.85 c 1496787 158 5152 193005 37 11091 2316 5138 1910 783.52 783.58/783.85 c 1496889 158 1291 48825 37 3288 2548 1277 1910 783.64 783.58/783.85 o 83 1045.22/1045.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1045.22/1045.54 c 1496920 158 1323 50656 38 3447 2316 1309 1910 783.65 1045.22/1045.54 c 1497020 158 1424 53938 37 3672 2548 1410 1910 783.67 1045.22/1045.54 c 1497270 158 1676 63019 37 4179 2803 1662 1910 783.74 1045.22/1045.54 c 1497746 158 2161 80108 37 5152 3084 2147 1910 783.87 1045.22/1045.54 c 1498559 158 2981 109591 36 6788 3393 2967 1911 784.12 1045.22/1045.54 c 1499879 158 2566 94143 36 5820 3733 2552 1911 784.54 1045.22/1045.54 c 1501960 158 2733 96564 35 6156 4107 2719 1912 785.16 1045.22/1045.54 c 1505183 158 3859 142399 36 8400 4518 3845 1914 786.18 1045.22/1045.54 c 1510119 158 4189 181647 43 9123 4970 4175 1916 787.99 1045.22/1045.54 c 1517625 158 4088 153715 37 8870 5468 4074 1919 790.79 1045.22/1045.54 c 1528986 158 4334 169476 39 9392 6015 4320 1923 794.90 1045.22/1045.54 c 1546131 158 3152 120069 38 6995 6617 3138 1929 801.46 1045.22/1045.54 c 1571950 158 5546 216439 39 11776 7279 5532 1937 811.29 1045.22/1045.54 c 1610782 158 3899 152417 39 8487 8007 3885 1948 826.55 1045.22/1045.54 c 1669134 158 5644 209888 37 11980 8808 5630 1963 850.10 1045.22/1045.54 c 1756766 158 4454 177719 39 9607 9689 4440 1980 887.24 1045.22/1045.54 c 1888318 158 9077 343777 37 18844 10658 9063 1996 945.88 1045.22/1045.54 c 2085750 158 7941 304109 38 16572 11724 7927 2007 1039.11 1045.22/1045.54 o 77 1192.68/1193.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1192.68/1193.01 c 2097896 158 8331 312770 37 17450 2316 8317 2007 1045.27 1192.68/1193.01 c 2097996 158 1289 48327 37 3294 2548 1275 2006 1045.45 1192.68/1193.01 c 2098246 158 1539 57524 37 3797 2803 1525 2006 1045.52 1192.68/1193.01 c 2098721 158 2014 75630 37 4750 3084 2000 2007 1045.66 1192.68/1193.01 c 2099535 158 2828 107637 38 6380 3393 2814 2007 1045.91 1192.68/1193.01 c 2100856 158 2395 91351 38 5477 3733 2381 2007 1046.36 1192.68/1193.01 c 2102937 158 2572 96379 37 5830 4107 2558 2008 1047.01 1192.68/1193.01 c 2106160 158 3684 138205 37 8049 4518 3670 2009 1048.01 1192.68/1193.01 c 2111096 158 4014 140099 34 8710 4970 4000 2011 1049.58 1192.68/1193.01 c 2118603 158 3931 134597 34 8540 5468 3917 2013 1052.01 1192.68/1193.01 c 2129964 158 4171 158684 38 9020 6015 4157 2016 1056.09 1192.68/1193.01 c 2147109 158 3093 110892 35 6867 6617 3079 2020 1062.61 1192.68/1193.01 c 2172928 158 5513 206353 37 11713 7279 5499 2027 1071.76 1192.68/1193.01 c 2211761 158 3901 150889 38 8491 8007 3887 2036 1086.07 1192.68/1193.01 c 2270113 158 5810 229306 39 12307 8808 5796 2045 1109.66 1192.68/1193.01 c 2357745 158 4607 169459 36 9910 9689 4593 2055 1147.17 1192.68/1193.01 o 75 1192.78/1193.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1192.78/1193.13 c 2459053 158 8257 328457 39 17358 2316 8243 2061 1192.70 1192.78/1193.13 o 73 1192.78/1193.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1192.78/1193.15 c 2459101 158 1237 52384 42 3300 2316 1223 2061 1192.81 1192.78/1193.15 o 71 1422.42/1422.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1422.42/1422.81 c 2459196 158 1333 56191 42 3585 2316 1319 2061 1192.84 1422.42/1422.81 c 2459296 158 1436 60158 41 3839 2548 1422 2061 1192.87 1422.42/1422.81 c 2459546 158 1686 70063 41 4348 2803 1672 2061 1192.95 1422.42/1422.81 c 2460021 158 2161 89820 41 5292 3084 2147 2061 1193.10 1422.42/1422.81 c 2460834 158 2974 121533 40 6917 3393 2960 2062 1193.38 1422.42/1422.81 c 2462154 158 2566 97260 37 5819 3733 2552 2062 1193.82 1422.42/1422.81 c 2464235 158 2743 98011 35 6172 4107 2729 2063 1194.46 1422.42/1422.81 c 2467458 158 3876 143857 37 8449 4518 3862 2063 1195.54 1422.42/1422.81 c 2472394 158 4208 160449 38 9118 4970 4194 2065 1197.23 1422.42/1422.81 c 2479900 158 4145 176173 42 8964 5468 4131 2066 1199.91 1422.42/1422.81 c 2491262 158 4399 165122 37 9502 6015 4385 2069 1203.91 1422.42/1422.81 c 2508406 158 3260 131908 40 7209 6617 3246 2072 1210.30 1422.42/1422.81 c 2534225 158 5631 207483 36 11950 7279 5617 2077 1219.92 1422.42/1422.81 c 2573057 158 4049 160446 39 8790 8007 4035 2084 1234.50 1422.42/1422.81 c 2631409 158 5900 225229 38 12476 8808 5886 2091 1257.85 1422.42/1422.81 c 2719041 158 4762 189704 39 10227 9689 4748 2094 1298.22 1422.42/1422.81 c 2850595 158 9402 335203 35 19504 10658 9388 2095 1360.49 1422.42/1422.81 o 67 1422.52/1422.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1422.52/1422.99 c 2979384 158 9438 377045 39 19670 2316 9424 2094 1422.44 1422.52/1422.99 c 2979485 158 1294 55840 43 3290 2548 1280 2094 1422.60 1422.52/1422.99 o 63 1422.62/1423.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1422.62/1423.04 c 2979550 158 1362 60151 44 3535 2316 1348 2094 1422.62 1422.62/1423.04 c 2979650 157 1465 66991 45 3749 2548 1451 2094 1422.66 1422.62/1423.04 o 61 1424.72/1425.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1424.72/1425.11 c 2979675 153 1492 68371 45 3904 2306 1478 2094 1422.67 1424.72/1425.11 c 2979775 147 1592 72445 45 4093 2537 1578 2094 1422.71 1424.72/1425.11 c 2980025 144 1842 83079 45 4596 2791 1828 2094 1422.80 1424.72/1425.11 c 2980500 144 2317 103893 44 5538 3071 2303 2094 1422.98 1424.72/1425.11 c 2981313 144 1579 68608 43 3837 3379 1565 2094 1423.32 1424.72/1425.11 c 2982633 144 2902 123951 42 6481 3717 2888 2094 1423.80 1424.72/1425.11 c 2984714 144 3080 135734 44 6844 4089 3066 2095 1424.60 1424.72/1425.11 o 60 1425.71/1426.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1425.71/1426.18 c 2985085 144 3452 153398 44 7675 2288 3438 2095 1424.74 1425.71/1426.18 c 2985185 144 1291 59505 46 3318 2517 1277 2095 1424.78 1425.71/1426.18 c 2985435 144 1541 70247 45 3818 2769 1527 2095 1424.86 1425.71/1426.18 c 2985911 144 2017 92719 45 4770 3046 2003 2095 1425.02 1425.71/1426.18 c 2986725 144 2832 130143 45 6398 3351 2818 2095 1425.31 1425.71/1426.18 c 2988045 144 2441 111562 45 5553 3687 2427 2095 1425.80 1425.71/1426.18 o 59 1427.02/1427.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1427.02/1427.47 c 2988079 144 2476 113218 45 5711 2288 2462 2095 1425.81 1427.02/1427.47 c 2988179 144 1288 57595 44 3264 2517 1274 2095 1425.85 1427.02/1427.47 c 2988429 144 1538 69071 44 3760 2769 1524 2095 1425.94 1427.02/1427.47 c 2988904 144 2013 90298 44 4713 3046 1999 2095 1426.10 1427.02/1427.47 c 2989718 144 2827 126911 44 6343 3351 2813 2095 1426.40 1427.02/1427.47 c 2991038 144 2419 106695 44 5509 3687 2405 2096 1426.89 1427.02/1427.47 o 58 1427.02/1427.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1427.02/1427.49 c 2991590 144 2972 130407 43 6692 2288 2958 2096 1427.10 1427.02/1427.49 o 56 1428.31/1428.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1428.31/1428.74 c 2991591 144 1189 51046 42 3126 2288 1175 2096 1427.12 1428.31/1428.74 c 2991692 144 1290 55697 43 3329 2517 1276 2096 1427.15 1428.31/1428.74 c 2991943 144 1541 65993 42 3831 2769 1527 2096 1427.23 1428.31/1428.74 c 2992418 144 2016 87107 43 4775 3046 2002 2096 1427.38 1428.31/1428.74 c 2993234 144 2835 123443 43 6431 3351 2821 2096 1427.67 1428.31/1428.74 c 2994554 144 2437 104471 42 5565 3687 2423 2096 1428.16 1428.31/1428.74 o 55 1428.31/1428.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1428.31/1428.76 c 2995113 144 2998 129537 43 6766 2288 2984 2096 1428.36 1428.31/1428.76 o 51 1458.21/1458.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1458.21/1458.62 c 2995114 144 1189 51349 43 3124 2288 1175 2096 1428.39 1458.21/1458.62 c 2995214 144 1290 56317 43 3333 2517 1276 2096 1428.42 1458.21/1458.62 c 2995466 144 1542 67994 44 3838 2769 1528 2096 1428.49 1458.21/1458.62 c 2995941 144 2017 86904 43 4783 3046 2003 2097 1428.66 1458.21/1458.62 c 2996754 144 2833 121744 42 6419 3351 2819 2097 1428.95 1458.21/1458.62 c 2998075 144 2435 104152 42 5528 3687 2421 2097 1429.41 1458.21/1458.62 c 3000156 144 2626 112926 43 5937 4056 2612 2097 1430.14 1458.21/1458.62 c 3003381 144 3784 166681 44 8240 4462 3770 2098 1431.29 1458.21/1458.62 c 3008317 144 4171 191159 45 9014 4909 4157 2099 1433.14 1458.21/1458.62 c 3015823 144 4191 192367 45 9044 5400 4177 2100 1436.04 1458.21/1458.62 c 3027184 144 4581 211330 46 9830 5941 4567 2101 1440.44 1458.21/1458.62 c 3044328 144 3664 161987 44 8002 6536 3650 2103 1447.52 1458.21/1458.62 o 50 1458.21/1458.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1458.21/1458.66 c 3068536 144 4699 212834 45 10154 2288 4685 2104 1458.24 1458.21/1458.66 o 48 1681.54/1682.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1681.54/1682.07 c 3068555 144 1207 54898 45 3171 2288 1193 2104 1458.28 1681.54/1682.07 c 3068655 144 1307 58741 44 3363 2517 1293 2104 1458.31 1681.54/1682.07 c 3068905 144 1557 68718 44 3859 2769 1543 2104 1458.38 1681.54/1682.07 c 3069380 144 2032 89575 44 4817 3046 2018 2104 1458.53 1681.54/1682.07 c 3070193 144 2845 125222 44 6443 3351 2831 2104 1458.78 1681.54/1682.07 c 3071513 144 2449 105976 43 5579 3687 2435 2104 1459.23 1681.54/1682.07 c 3073594 144 2645 113186 42 5955 4056 2631 2105 1459.92 1681.54/1682.07 c 3076817 144 3808 164124 43 8287 4462 3794 2105 1461.02 1681.54/1682.07 c 3081753 144 4180 172967 41 9034 4909 4166 2106 1462.74 1681.54/1682.07 c 3089259 144 4204 183443 43 9071 5400 4190 2108 1465.43 1681.54/1682.07 c 3100620 144 4607 188053 40 9889 5941 4593 2109 1469.63 1681.54/1682.07 c 3117764 144 3674 152500 41 8010 6536 3660 2112 1476.14 1681.54/1682.07 c 3143583 144 6345 268383 42 13359 7190 6331 2114 1486.34 1681.54/1682.07 c 3182415 144 5187 229413 44 11043 7910 5173 2118 1502.50 1681.54/1682.07 c 3240767 144 7620 319870 41 15909 8702 7606 2121 1527.52 1681.54/1682.07 c 3328400 144 7428 299672 40 15506 9573 7414 2121 1568.61 1681.54/1682.07 c 3459952 144 8737 381857 43 18150 10531 8723 2119 1632.67 1681.54/1682.07 o 47 1681.74/1682.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1681.74/1682.22 c 3556061 144 9330 404511 43 19406 2288 9316 2114 1681.62 1681.74/1682.22 o 45 1681.74/1682.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1681.74/1682.24 c 3556115 144 1242 52857 42 3236 2288 1228 2114 1681.78 1681.74/1682.24 o 43 1681.74/1682.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1681.74/1682.25 c 3556185 144 1316 57653 43 3483 2288 1302 2114 1681.80 1681.74/1682.25 o 41 1681.74/1682.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1681.74/1682.28 c 3556187 144 1319 57888 43 3566 2288 1305 2114 1681.80 1681.74/1682.28 c 3556287 144 1419 61631 43 3775 2517 1405 2114 1681.83 1681.74/1682.28 o 39 1797.92/1798.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.48 c 3556289 144 1422 61815 43 3861 2288 1408 2114 1681.83 1797.92/1798.48 c 3556389 144 1522 66023 43 4055 2517 1508 2114 1681.87 1797.92/1798.48 c 3556639 144 1772 76205 43 4564 2769 1758 2114 1681.94 1797.92/1798.48 c 3557114 144 2247 95664 42 5503 3046 2233 2114 1682.10 1797.92/1798.48 c 3557927 144 3061 130380 42 7142 3351 3047 2114 1682.37 1797.92/1798.48 c 3559247 144 2661 113206 42 5989 3687 2647 2115 1682.79 1797.92/1798.48 c 3561329 144 2869 127815 44 6401 4056 2855 2115 1683.39 1797.92/1798.48 c 3564552 144 4018 170395 42 8695 4462 4004 2116 1684.38 1797.92/1798.48 c 3569488 144 4407 196464 44 9474 4909 4393 2117 1686.00 1797.92/1798.48 c 3576994 144 4434 191422 43 9535 5400 4420 2118 1688.53 1797.92/1798.48 c 3588355 144 4833 208026 43 10337 5941 4819 2119 1692.65 1797.92/1798.48 c 3605499 144 3915 173934 44 8501 6536 3901 2122 1699.10 1797.92/1798.48 c 3631318 144 6568 290069 44 13808 7190 6554 2124 1709.32 1797.92/1798.48 c 3670150 144 5394 236245 43 11455 7910 5380 2126 1725.59 1797.92/1798.48 c 3728502 144 7794 346152 44 16260 8702 7780 2128 1751.37 1797.92/1798.48 c 3816134 144 7585 345269 45 15836 9573 7571 2128 1792.48 1797.92/1798.48 c Resources Exceeded 1797.92/1798.48 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 1797.92/1798.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.48 c 276 3826912 119947 3989478 8703 385160 8689 2128 1798.00 1797.92/1798.48 c Objective: 39 1797.92/1798.48 s SATISFIABLE 1797.92/1798.48 c Total time: 1798 s
OK 39
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877187-1245177234/watcher-1877187-1245177234 -o /tmp/evaluation-result-1877187-1245177234/solver-1877187-1245177234 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877187-1245177234.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.99 0.99 3/64 9525 /proc/meminfo: memFree=1853096/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=18520 CPUtime=0 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 185320580 18964480 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4630 241 191 640 0 3986 0 [startup+0.04372 s] /proc/loadavg: 1.00 0.99 0.99 3/64 9525 /proc/meminfo: memFree=1853096/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=10828 CPUtime=0.03 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 306 0 0 0 3 0 0 0 18 0 1 0 185320580 11087872 287 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 2707 287 196 640 0 2063 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10828 [startup+0.101726 s] /proc/loadavg: 1.00 0.99 0.99 3/64 9525 /proc/meminfo: memFree=1853096/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=11084 CPUtime=0.09 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 370 0 0 0 9 0 0 0 18 0 1 0 185320580 11350016 351 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 2771 351 197 640 0 2127 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11084 [startup+0.301748 s] /proc/loadavg: 1.00 0.99 0.99 3/64 9525 /proc/meminfo: memFree=1853096/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=11708 CPUtime=0.29 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 532 0 0 0 29 0 0 0 19 0 1 0 185320580 11988992 513 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 2927 513 197 640 0 2283 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11708 [startup+0.701792 s] /proc/loadavg: 1.00 0.99 0.99 3/64 9525 /proc/meminfo: memFree=1853096/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=12700 CPUtime=0.69 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 765 0 0 0 68 1 0 0 22 0 1 0 185320580 13004800 746 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 3175 746 197 640 0 2531 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12700 [startup+1.50188 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9526 /proc/meminfo: memFree=1850720/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=12824 CPUtime=1.49 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 803 0 0 0 148 1 0 0 25 0 1 0 185320580 13131776 784 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 3206 784 197 640 0 2562 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12824 [startup+3.10106 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9526 /proc/meminfo: memFree=1850464/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=12952 CPUtime=3.09 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 832 0 0 0 307 2 0 0 25 0 1 0 185320580 13262848 813 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 3238 813 197 640 0 2594 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12952 [startup+6.30141 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9526 /proc/meminfo: memFree=1850216/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=13204 CPUtime=6.29 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 898 0 0 0 625 4 0 0 25 0 1 0 185320580 13520896 879 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 3301 879 197 640 0 2657 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13204 [startup+12.7011 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9526 /proc/meminfo: memFree=1849128/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=13960 CPUtime=12.69 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 1101 0 0 0 1263 6 0 0 25 0 1 0 185320580 14295040 1082 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 3490 1082 197 640 0 2846 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13960 [startup+25.5015 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9526 /proc/meminfo: memFree=1848616/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=14588 CPUtime=25.48 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 1240 0 0 0 2538 10 0 0 25 0 1 0 185320580 14938112 1221 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 3647 1221 197 640 0 3003 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14588 [startup+51.1014 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9526 /proc/meminfo: memFree=1847720/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=15456 CPUtime=51.08 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 1469 0 0 0 5091 17 0 0 25 0 1 0 185320580 15826944 1450 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 3864 1450 197 640 0 3220 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15456 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9526 /proc/meminfo: memFree=1846696/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=16544 CPUtime=102.26 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 1731 0 0 0 10198 28 0 0 25 0 1 0 185320580 16941056 1712 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4136 1712 197 640 0 3492 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16544 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9526 /proc/meminfo: memFree=1845736/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=17480 CPUtime=162.24 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 1966 0 0 0 16184 40 0 0 25 0 1 0 185320580 17899520 1947 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4370 1947 197 640 0 3726 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 17480 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9526 /proc/meminfo: memFree=1845096/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=18084 CPUtime=222.23 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2122 0 0 0 22170 53 0 0 25 0 1 0 185320580 18518016 2103 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4521 2103 197 640 0 3877 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 18084 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9526 /proc/meminfo: memFree=1844840/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=18328 CPUtime=282.21 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2183 0 0 0 28156 65 0 0 25 0 1 0 185320580 18767872 2164 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4582 2164 197 640 0 3938 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 18328 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9526 /proc/meminfo: memFree=1844264/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=18828 CPUtime=342.2 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2314 0 0 0 34144 76 0 0 25 0 1 0 185320580 19279872 2295 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4707 2295 197 640 0 4063 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 18828 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9526 /proc/meminfo: memFree=1843752/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19320 CPUtime=402.19 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2448 0 0 0 40134 85 0 0 25 0 1 0 185320580 19783680 2429 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4830 2429 197 640 0 4186 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 19320 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9526 /proc/meminfo: memFree=1843752/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19320 CPUtime=462.17 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2448 0 0 0 46122 95 0 0 25 0 1 0 185320580 19783680 2429 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4830 2429 197 640 0 4186 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 19320 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9526 /proc/meminfo: memFree=1843432/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19604 CPUtime=522.16 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 52110 106 0 0 25 0 1 0 185320580 20074496 2495 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4901 2495 197 640 0 4257 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 19604 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9526 /proc/meminfo: memFree=1843432/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19568 CPUtime=582.14 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 58096 118 0 0 25 0 1 0 185320580 20037632 2491 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4892 2491 197 640 0 4248 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 19568 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9526 /proc/meminfo: memFree=1843432/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19564 CPUtime=642.12 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 64084 128 0 0 25 0 1 0 185320580 20033536 2490 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4891 2490 197 640 0 4247 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 19564 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1843432/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19332 CPUtime=1121.99 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 111963 236 0 0 25 0 1 0 185320580 19795968 2432 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4833 2432 197 640 0 4189 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 19332 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9528 /proc/meminfo: memFree=1843240/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19332 CPUtime=1181.98 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 117947 251 0 0 25 0 1 0 185320580 19795968 2432 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4833 2432 197 640 0 4189 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 19332 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9528 /proc/meminfo: memFree=1843240/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19332 CPUtime=1241.96 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 123929 267 0 0 25 0 1 0 185320580 19795968 2432 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4833 2432 197 640 0 4189 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 19332 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9528 /proc/meminfo: memFree=1843240/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19332 CPUtime=1301.95 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 129916 279 0 0 25 0 1 0 185320580 19795968 2432 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4833 2432 197 640 0 4189 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 19332 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9528 /proc/meminfo: memFree=1843240/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19332 CPUtime=1361.93 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 135902 291 0 0 25 0 1 0 185320580 19795968 2432 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4833 2432 197 640 0 4189 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 19332 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9528 /proc/meminfo: memFree=1843240/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19332 CPUtime=1421.92 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 141889 303 0 0 25 0 1 0 185320580 19795968 2432 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4833 2432 197 640 0 4189 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 19332 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9528 /proc/meminfo: memFree=1843240/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19332 CPUtime=1481.9 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 147872 318 0 0 25 0 1 0 185320580 19795968 2432 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4833 2432 197 640 0 4189 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 19332 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9528 /proc/meminfo: memFree=1843240/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19332 CPUtime=1541.88 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 153855 333 0 0 25 0 1 0 185320580 19795968 2432 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4833 2432 197 640 0 4189 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 19332 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9528 /proc/meminfo: memFree=1843240/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19332 CPUtime=1601.87 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 159842 345 0 0 25 0 1 0 185320580 19795968 2432 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4833 2432 197 640 0 4189 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 19332 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9534 /proc/meminfo: memFree=1843112/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19332 CPUtime=1661.84 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 165828 356 0 0 25 0 1 0 185320580 19795968 2432 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4833 2432 197 640 0 4189 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 19332 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9534 /proc/meminfo: memFree=1843112/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19308 CPUtime=1721.82 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 171810 372 0 0 25 0 1 0 185320580 19771392 2426 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4827 2426 197 640 0 4183 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 19308 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9534 /proc/meminfo: memFree=1843112/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19308 CPUtime=1781.82 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 177797 385 0 0 25 0 1 0 185320580 19771392 2426 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4827 2426 197 640 0 4183 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 19308 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9534 /proc/meminfo: memFree=1843112/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19308 CPUtime=1791.41 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 178755 386 0 0 25 0 1 0 185320580 19771392 2426 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4827 2426 197 640 0 4183 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 19308 [startup+1795.1 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9534 /proc/meminfo: memFree=1843112/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19308 CPUtime=1794.61 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 179074 387 0 0 25 0 1 0 185320580 19771392 2426 1992294400 134512640 137136520 4294956256 18446744073709551615 134544387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4827 2426 197 640 0 4183 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 19308 [startup+1796.7 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9534 /proc/meminfo: memFree=1843112/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19308 CPUtime=1796.21 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 179234 387 0 0 25 0 1 0 185320580 19771392 2426 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4827 2426 197 640 0 4183 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (KiB) 19308 [startup+1797.5 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9534 /proc/meminfo: memFree=1843112/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19308 CPUtime=1797.01 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 179313 388 0 0 25 0 1 0 185320580 19771392 2426 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4827 2426 197 640 0 4183 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 19308 [startup+1797.9 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9534 /proc/meminfo: memFree=1843112/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19308 CPUtime=1797.41 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 179353 388 0 0 25 0 1 0 185320580 19771392 2426 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4827 2426 197 640 0 4183 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (KiB) 19308 [startup+1798.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9534 /proc/meminfo: memFree=1843112/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19308 CPUtime=1797.81 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 179393 388 0 0 25 0 1 0 185320580 19771392 2426 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4827 2426 197 640 0 4183 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 19308 [startup+1798.4 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9534 /proc/meminfo: memFree=1843112/2055920 swapFree=4191900/4192956 [pid=9525] ppid=9523 vsize=19308 CPUtime=1797.92 /proc/9525/stat : 9525 (bsolo) R 9523 9525 9402 0 -1 4194304 2538 0 0 0 179404 388 0 0 25 0 1 0 185320580 19771392 2426 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9525/statm: 4827 2426 197 640 0 4183 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 19308 Child status: 0 Real time (s): 1798.49 CPU time (s): 1798 CPU user time (s): 1794.12 CPU system time (s): 3.88341 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 19604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.12 system time used= 3.88341 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2540 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= 2 involuntary context switches= 1384 runsolver used 1.3078 second user time and 3.9154 second system time The end
Begin job on node38 at 2009-06-16 20:33:54 IDJOB=1877187 IDBENCH=2921 IDSOLVER=699 FILE ID=node38/1877187-1245177234 PBS_JOBID= 9363918 Free space on /tmp= 66236 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_4.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877187-1245177234/watcher-1877187-1245177234 -o /tmp/evaluation-result-1877187-1245177234/solver-1877187-1245177234 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877187-1245177234.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED=1893652344 node38.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1853576 kB Buffers: 51300 kB Cached: 65876 kB SwapCached: 260 kB Active: 44456 kB Inactive: 85940 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853576 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3952 kB Writeback: 0 kB Mapped: 22452 kB Slab: 57952 kB Committed_AS: 161368 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877187-1245177234.opb Free space on /tmp at the end= 66232 MiB End job on node38 at 2009-06-16 21:03:53