Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 99 | 1798 | 1798.61 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb |
MD5SUM | 87341d3e4752b9f90faef0f8d9385430 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 23 |
Best CPU time to get the best result obtained on this benchmark | 1802.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 44 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
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 | 16 |
Minimum length of a constraint | 84 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
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 | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1881 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6154 |
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: Clause 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-1878630-1245175117.opb 0.00/0.00 c File size is 13265 bytes. 0.00/0.00 c Highest Coefficient sum: 6154 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: 198 Constr: 16 0/0/16 Lit: 1368 Watch. Lit: 396 0.00/0.00 c Obj. Vars: 128 (64.6465 % of total variables) 0.00/0.00 c Pre-processing Time: 0.004 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 198 16 1368 85 400 2736 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 1434 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 0 198 17 1496 88 894 2992 1 0 0.00 0.01/0.02 c 101 198 118 10773 91 1099 3292 102 4590 0.02 0.01/0.02 o 1219 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 104 198 122 11146 91 1205 2992 106 4521 0.02 0.01/0.02 o 1218 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 120 198 139 12387 89 1324 2992 123 4800 0.03 0.01/0.03 o 1007 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 144 198 164 13972 85 1455 2992 148 4965 0.03 0.01/0.03 o 1005 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 156 198 177 14958 84 1574 2992 161 4875 0.03 0.01/0.03 o 836 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 156 198 178 15086 84 1623 2992 162 4875 0.03 0.01/0.03 o 832 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 156 198 179 15214 84 1739 2992 163 4727 0.03 0.01/0.03 o 812 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 160 198 184 15826 86 1848 2992 168 4705 0.03 0.01/0.04 o 804 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 179 198 204 17093 83 1950 2992 188 4710 0.04 0.01/0.04 o 781 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 179 198 205 17221 84 2021 2992 189 4589 0.04 0.01/0.04 o 777 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 183 198 210 17710 84 2134 2992 194 4575 0.04 0.01/0.04 o 772 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 185 198 213 17984 84 2205 2992 197 4404 0.04 0.01/0.04 o 768 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 189 198 218 18287 83 2308 2992 202 4395 0.04 0.01/0.04 o 746 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 193 198 223 18609 83 2455 2992 207 4288 0.04 0.01/0.04 o 740 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 193 198 224 18737 83 2459 2992 208 4195 0.05 0.01/0.04 o 708 0.01/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.05 c 196 198 228 19181 84 2554 2992 212 4170 0.05 0.01/0.05 o 678 0.01/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.09 c 226 198 259 21547 83 2849 2992 243 4185 0.05 0.01/0.09 c 326 198 359 28278 78 3087 3292 343 4405 0.07 0.01/0.09 o 371 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 407 198 441 36199 82 3110 2992 425 4329 0.09 0.29/0.36 c 507 198 541 41024 75 3215 3292 525 4651 0.11 0.29/0.36 c 757 198 791 56754 71 3612 3622 775 5013 0.15 0.29/0.36 c 1232 198 1266 92075 72 4355 3985 1250 5112 0.24 0.29/0.36 o 366 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 1870 198 1905 141179 74 5608 2992 1889 5109 0.37 0.39/0.41 c 1970 198 2005 146256 72 5851 3292 1989 5130 0.38 0.39/0.41 o 358 5.99/6.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.01 c 2109 198 2145 153494 71 6241 2992 2129 5106 0.41 5.99/6.01 c 2210 198 2246 159873 71 6471 3292 2230 5080 0.43 5.99/6.01 c 2461 198 2497 174339 69 6915 3622 2481 5095 0.48 5.99/6.01 c 2936 198 2972 199079 66 7940 3985 2956 5010 0.59 5.99/6.01 c 3750 198 3786 249458 65 9584 4384 3770 4813 0.78 5.99/6.01 c 5070 198 2850 160120 56 6721 4823 2834 4810 1.05 5.99/6.01 c 7152 198 2452 122606 50 5793 5306 2436 4611 1.55 5.99/6.01 c 10375 198 2961 164843 55 6812 5837 2945 4232 2.45 5.99/6.01 c 15312 198 4908 308195 62 10720 6421 4892 3953 3.87 5.99/6.01 o 327 12.99/13.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.99/13.10 c 22390 198 5460 312904 57 11944 2992 5444 3727 6.01 12.99/13.10 c 22491 198 1614 101876 63 4125 3292 1598 3710 6.06 12.99/13.10 c 22741 198 1864 116181 62 4629 3622 1848 3723 6.11 12.99/13.10 c 23217 198 2340 142324 60 5581 3985 2324 3744 6.20 12.99/13.10 c 24030 198 3153 184849 58 7199 4384 3137 3778 6.36 12.99/13.10 c 25350 198 2243 118359 52 5388 4823 2227 3794 6.68 12.99/13.10 c 27431 198 4324 221574 51 9541 5306 4308 3815 7.19 12.99/13.10 c 30654 198 4837 257666 53 10580 5837 4821 3816 8.03 12.99/13.10 c 35590 198 3791 196668 51 8495 6421 3775 3736 9.52 12.99/13.10 c 43096 198 4744 238080 50 10386 7064 4728 3707 11.62 12.99/13.10 o 322 18.38/18.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.38/18.46 c 47272 198 5301 291030 54 11631 2992 5285 3609 13.10 18.38/18.46 c 47373 198 1614 94495 58 4126 3292 1598 3601 13.15 18.38/18.46 c 47626 198 1867 109785 58 4628 3622 1851 3608 13.20 18.38/18.46 c 48101 198 2342 135550 57 5568 3985 2326 3617 13.29 18.38/18.46 c 48914 198 3155 181036 57 7192 4384 3139 3632 13.46 18.38/18.46 c 50234 198 2219 129934 58 5333 4823 2203 3646 13.78 18.38/18.46 c 52315 198 4300 239928 55 9495 5306 4284 3660 14.29 18.38/18.46 c 55539 198 4817 272916 56 10524 5837 4801 3660 15.17 18.38/18.46 c 60475 198 3773 194676 51 8443 6421 3757 3672 16.46 18.38/18.46 o 318 18.59/18.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.59/18.68 c 66425 198 3228 211092 65 7349 2992 3212 3592 18.49 18.59/18.68 c 66526 198 1614 102840 63 4133 3292 1598 3591 18.52 18.59/18.68 c 66776 198 1864 116923 62 4623 3622 1848 3593 18.58 18.59/18.68 o 316 18.78/18.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.78/18.84 c 67137 198 2226 138878 62 5466 2992 2210 3595 18.67 18.78/18.84 c 67240 198 2329 143792 61 5666 3292 2313 3597 18.69 18.78/18.84 c 67490 198 2579 158848 61 6165 3622 2563 3600 18.75 18.78/18.84 o 291 18.78/18.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.78/18.84 c 67897 198 2987 178131 59 7117 2992 2971 3605 18.83 18.78/18.84 o 283 18.78/18.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.78/18.85 c 67901 198 2992 178528 59 7252 2992 2976 3604 18.84 18.78/18.85 o 281 18.78/18.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.78/18.86 c 67921 198 1513 83063 54 3921 2992 1497 3603 18.85 18.78/18.86 o 279 18.89/18.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.89/18.91 c 67970 198 1563 86916 55 4144 2992 1547 3603 18.86 18.89/18.91 c 68072 198 1665 92628 55 4342 3292 1649 3605 18.88 18.89/18.91 o 277 18.89/18.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.89/18.95 c 68203 198 1797 99044 55 4739 2992 1781 3607 18.91 18.89/18.95 c 68307 198 1901 105710 55 4951 3292 1885 3608 18.93 18.89/18.95 o 275 18.89/18.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.89/18.97 c 68395 198 1990 109775 55 5249 2992 1974 3609 18.95 18.89/18.97 o 271 20.68/20.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.68/20.78 c 68486 198 2082 116232 55 5526 2992 2066 3610 18.97 20.68/20.78 c 68587 198 2183 120067 55 5763 3292 2167 3612 18.99 20.68/20.78 c 68837 198 2433 134545 55 6233 3622 2417 3615 19.04 20.68/20.78 c 69316 198 2912 158038 54 7195 3985 2896 3620 19.14 20.68/20.78 c 70129 198 3725 198447 53 8848 4384 3709 3626 19.34 20.68/20.78 c 71450 198 2788 153851 55 6465 4823 2772 3625 19.71 20.68/20.78 c 73532 198 2429 139367 57 5755 5306 2413 3615 20.34 20.68/20.78 o 269 20.78/20.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.78/20.83 c 75385 198 4283 246944 57 9592 2992 4267 3628 20.77 20.78/20.83 c 75486 198 1614 97537 60 4132 3292 1598 3626 20.81 20.78/20.83 o 267 22.18/22.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.18/22.23 c 75545 198 1674 100763 60 4373 2992 1658 3627 20.83 22.18/22.23 c 75645 198 1774 105065 59 4573 3292 1758 3627 20.85 22.18/22.23 c 75895 198 2024 119230 58 5061 3622 2008 3630 20.91 22.18/22.23 c 76370 198 2499 141608 56 6024 3985 2483 3633 21.02 22.18/22.23 c 77183 198 3312 185636 56 7651 4384 3296 3636 21.22 22.18/22.23 c 78504 198 2387 125336 52 5673 4823 2371 3638 21.58 22.18/22.23 c 80586 198 4469 238113 53 9833 5306 4453 3648 22.09 22.18/22.23 o 265 22.28/22.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.28/22.37 c 81185 198 5069 268285 52 11158 2992 5053 3652 22.23 22.28/22.37 c 81285 198 1613 87036 53 4127 3292 1597 3648 22.28 22.28/22.37 c 81535 198 1863 103024 55 4625 3622 1847 3651 22.33 22.28/22.37 o 264 22.28/22.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.28/22.37 c 81716 198 2045 112431 54 5108 2992 2029 3653 22.37 22.28/22.37 o 262 22.28/22.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.28/22.39 c 81723 198 2053 112958 55 5246 2992 2037 3653 22.37 22.28/22.39 o 252 22.48/22.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.48/22.52 c 81776 198 2107 116003 55 5475 2992 2091 3653 22.38 22.48/22.52 c 81876 198 2207 122152 55 5681 3292 2191 3654 22.40 22.48/22.52 c 82126 198 2457 134678 54 6191 3622 2441 3657 22.46 22.48/22.52 o 250 22.78/22.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.78/22.80 c 82380 198 2712 147899 54 6803 2992 2696 3659 22.51 22.78/22.80 c 82480 198 2812 153133 54 7004 3292 2796 3659 22.54 22.78/22.80 c 82730 198 3062 166370 54 7516 3622 3046 3661 22.59 22.78/22.80 c 83205 198 3537 191721 54 8476 3985 3521 3663 22.71 22.78/22.80 o 249 22.78/22.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.78/22.86 c 83567 198 3900 211182 54 9265 2992 3884 3665 22.80 22.78/22.86 c 83667 198 1613 86243 53 4126 3292 1597 3665 22.82 22.78/22.86 o 245 22.88/22.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.88/22.97 c 83821 198 1768 96148 54 4551 2992 1752 3667 22.86 22.88/22.97 c 83921 198 1868 103450 55 4757 3292 1852 3668 22.88 22.88/22.97 c 84171 198 2118 118435 55 5256 3622 2102 3670 22.93 22.88/22.97 o 243 22.98/23.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.98/23.01 c 84327 198 2275 129010 56 5688 2992 2259 3671 22.97 22.98/23.01 c 84428 198 2376 133350 56 5906 3292 2360 3672 22.99 22.98/23.01 o 239 22.98/23.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.98/23.07 c 84473 198 2422 136331 56 6108 2992 2406 3672 23.00 22.98/23.07 c 84573 198 2522 142602 56 6285 3292 2506 3673 23.02 22.98/23.07 o 237 47.57/47.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.57/47.65 c 84802 198 2752 154581 56 6876 2992 2736 3676 23.07 47.57/47.65 c 84902 198 2852 158598 55 7094 3292 2836 3677 23.09 47.57/47.65 c 85152 198 3102 172337 55 7603 3622 3086 3678 23.15 47.57/47.65 c 85627 198 3577 203075 56 8557 3985 3561 3679 23.27 47.57/47.65 c 86440 198 2323 136778 58 5543 4384 2307 3681 23.48 47.57/47.65 c 87760 198 3643 207664 57 8186 4823 3627 3687 23.80 47.57/47.65 c 89842 198 3242 165347 51 7372 5306 3226 3701 24.27 47.57/47.65 c 93065 198 3734 198262 53 8365 5837 3718 3716 25.04 47.57/47.65 c 98003 198 5685 271545 47 12280 6421 5669 3723 26.32 47.57/47.65 c 105509 198 3381 170998 50 7669 7064 3365 3691 28.58 47.57/47.65 c 116870 198 3927 187773 47 8758 7771 3911 3656 31.96 47.57/47.65 c 134014 198 5253 283169 53 11398 8549 5237 3599 37.23 47.57/47.65 c 159833 198 5048 235419 46 10992 9404 5032 3413 46.82 47.57/47.65 o 236 69.37/69.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 69.37/69.43 c 162509 198 7725 398105 51 16469 2992 7709 3411 47.63 69.37/69.43 c 162609 198 1613 93183 57 4123 3292 1597 3402 47.79 69.37/69.43 c 162859 198 1863 108385 58 4630 3622 1847 3404 47.84 69.37/69.43 c 163334 198 2338 134038 57 5575 3985 2322 3407 47.94 69.37/69.43 c 164148 198 3152 177794 56 7206 4384 3136 3411 48.12 69.37/69.43 c 165468 198 2211 119873 54 5327 4823 2195 3414 48.46 69.37/69.43 c 167549 198 4292 235323 54 9489 5306 4276 3420 48.98 69.37/69.43 c 170772 198 4789 251535 52 10475 5837 4773 3419 49.94 69.37/69.43 c 175708 198 3782 207630 54 8464 6421 3766 3423 51.33 69.37/69.43 c 183214 198 4763 250231 52 10419 7064 4747 3421 53.55 69.37/69.43 c 194575 198 5308 296179 55 11516 7771 5292 3404 57.16 69.37/69.43 c 211719 198 6647 360405 54 14187 8549 6631 3351 63.18 69.37/69.43 o 235 69.47/69.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 69.47/69.55 c 227945 198 5525 306312 55 12077 2992 5509 3283 69.41 69.47/69.55 c 228045 198 1613 90598 56 4133 3292 1597 3281 69.50 69.47/69.55 o 233 1285.16/1285.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1285.16/1285.62 c 228171 198 1740 98899 56 4502 2992 1724 3281 69.53 1285.16/1285.62 c 228271 198 1840 103990 56 4705 3292 1824 3282 69.54 1285.16/1285.62 c 228523 198 2092 116325 55 5217 3622 2076 3283 69.59 1285.16/1285.62 c 228998 198 2567 140033 54 6139 3985 2551 3285 69.70 1285.16/1285.62 c 229811 198 3380 185818 54 7771 4384 3364 3288 69.88 1285.16/1285.62 c 231133 198 2452 129682 52 5816 4823 2436 3291 70.22 1285.16/1285.62 c 233214 198 4533 241726 53 9964 5306 4517 3298 70.70 1285.16/1285.62 c 236437 198 5028 261425 51 10947 5837 5012 3307 71.48 1285.16/1285.62 c 241373 198 3995 203197 50 8885 6421 3979 3316 72.78 1285.16/1285.62 c 248879 198 4964 238314 48 10816 7064 4948 3319 74.97 1285.16/1285.62 c 260242 198 5542 304929 55 11992 7771 5526 3312 78.57 1285.16/1285.62 c 277387 198 6906 389535 56 14695 8549 6890 3277 84.63 1285.16/1285.62 c 303206 198 6686 343126 51 14271 9404 6670 3230 93.85 1285.16/1285.62 c 342038 198 7380 372085 50 15653 10345 7364 3181 107.50 1285.16/1285.62 c 400391 198 8095 413226 51 17090 11380 8079 3073 130.28 1285.16/1285.62 c 488023 198 9397 501197 53 19686 12519 9381 2897 168.45 1285.16/1285.62 c 619576 198 8194 446958 54 17270 13771 8178 2683 230.88 1285.16/1285.62 c 817008 198 11104 568231 51 23105 15149 11088 2440 334.80 1285.16/1285.62 c 1113260 198 9725 566921 58 20341 16664 9709 2212 503.12 1285.16/1285.62 c 1557742 198 9391 511810 54 19674 18331 9375 1921 810.54 1285.16/1285.62 c 2224569 198 12138 626869 51 25148 20165 12122 1782 1247.90 1285.16/1285.62 o 230 1294.95/1295.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1294.95/1295.44 c 2277504 198 14358 768484 53 29734 2992 14342 1772 1285.19 1294.95/1295.44 c 2277604 198 1613 86446 53 4127 3292 1597 1771 1285.70 1294.95/1295.44 c 2277854 198 1863 99574 53 4613 3622 1847 1771 1285.76 1294.95/1295.44 c 2278329 198 2338 125157 53 5572 3985 2322 1771 1285.87 1294.95/1295.44 c 2279143 198 3152 165036 52 7205 4384 3136 1772 1286.04 1294.95/1295.44 c 2280463 198 2213 115545 52 5321 4823 2197 1772 1286.44 1294.95/1295.44 c 2282544 198 4294 227363 52 9490 5306 4278 1773 1286.92 1294.95/1295.44 c 2285767 198 4783 251425 52 10461 5837 4767 1775 1287.75 1294.95/1295.44 c 2290703 198 3785 178648 47 8471 6421 3769 1776 1289.10 1294.95/1295.44 c 2298209 198 4730 250050 52 10348 7064 4714 1779 1291.30 1294.95/1295.44 c 2309570 198 5302 277904 52 11501 7771 5286 1783 1294.84 1294.95/1295.44 o 221 1295.86/1296.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1295.86/1296.35 c 2310122 198 5855 313678 53 12716 2992 5839 1783 1295.00 1295.86/1296.35 c 2310222 198 1613 95694 59 4106 3292 1597 1783 1295.09 1295.86/1296.35 c 2310472 198 1863 107137 57 4628 3622 1847 1783 1295.13 1295.86/1296.35 c 2310950 198 2341 131677 56 5581 3985 2325 1784 1295.22 1295.86/1296.35 c 2311763 198 3154 174639 55 7200 4384 3138 1784 1295.41 1295.86/1296.35 c 2313085 198 2209 117412 53 5320 4823 2193 1785 1295.77 1295.86/1296.35 o 219 1598.35/1598.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1598.35/1598.98 c 2313670 198 2795 150479 53 6614 2992 2779 1785 1295.92 1598.35/1598.98 c 2313770 198 2895 154965 53 6817 3292 2879 1785 1295.94 1598.35/1598.98 c 2314020 198 3145 168598 53 7292 3622 3129 1785 1296.02 1598.35/1598.98 c 2314495 198 3620 189728 52 8265 3985 3604 1785 1296.14 1598.35/1598.98 c 2315308 198 2363 124238 52 5627 4384 2347 1785 1296.38 1598.35/1598.98 c 2316628 198 3683 198636 53 8260 4823 3667 1786 1296.73 1598.35/1598.98 c 2318709 198 3273 172302 52 7445 5306 3257 1787 1297.24 1598.35/1598.98 c 2321932 198 3773 197775 52 8440 5837 3757 1788 1298.08 1598.35/1598.98 c 2326869 198 5727 255458 44 12346 6421 5711 1791 1299.19 1598.35/1598.98 c 2334377 198 3438 161046 46 7768 7064 3422 1793 1301.32 1598.35/1598.98 c 2345738 198 4001 211140 52 8894 7771 3985 1798 1304.40 1598.35/1598.98 c 2362882 198 5363 256260 47 11623 8549 5347 1803 1310.32 1598.35/1598.98 c 2388702 198 5174 260700 50 11250 9404 5158 1810 1319.05 1598.35/1598.98 c 2427534 198 5955 320796 53 12805 10345 5939 1818 1335.27 1598.35/1598.98 c 2485886 198 6747 425932 63 14369 11380 6731 1818 1366.93 1598.35/1598.98 c 2573518 198 8040 381598 47 16983 12519 8024 1840 1397.89 1598.35/1598.98 c 2705070 198 6824 309062 45 14547 13771 6808 1865 1450.04 1598.35/1598.98 c 2902502 198 9775 571923 58 20460 15149 9759 1818 1596.22 1598.35/1598.98 o 218 1611.34/1611.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1611.34/1611.91 c 2906516 198 13790 747298 54 28609 2992 13774 1818 1598.45 1611.34/1611.91 c 2906616 198 1613 73131 45 4128 3292 1597 1817 1598.89 1611.34/1611.91 c 2906867 198 1864 87071 46 4628 3622 1848 1817 1598.94 1611.34/1611.91 c 2907342 198 2339 112143 47 5564 3985 2323 1818 1599.04 1611.34/1611.91 c 2908155 198 3152 149396 47 7207 4384 3136 1818 1599.23 1611.34/1611.91 c 2909475 198 2223 111350 50 5348 4823 2207 1818 1599.60 1611.34/1611.91 c 2911556 198 4304 217149 50 9504 5306 4288 1819 1600.09 1611.34/1611.91 c 2914779 198 4787 262292 54 10479 5837 4771 1820 1601.08 1611.34/1611.91 c 2919715 198 3745 192822 51 8386 6421 3729 1821 1602.56 1611.34/1611.91 c 2927221 198 4683 235293 50 10259 7064 4667 1824 1604.76 1611.34/1611.91 c 2938582 198 5251 251165 47 11409 7771 5235 1827 1608.27 1611.34/1611.91 o 217 1611.74/1612.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1611.74/1612.32 c 2947166 198 5916 345346 58 12863 2992 5900 1828 1611.37 1611.74/1612.32 c 2947266 198 1613 103252 64 4128 3292 1597 1828 1611.43 1611.74/1612.32 c 2947516 198 1863 117080 62 4632 3622 1847 1829 1611.50 1611.74/1612.32 c 2947992 198 2339 146280 62 5577 3985 2323 1829 1611.61 1611.74/1612.32 o 208 1611.74/1612.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1611.74/1612.39 c 2948667 198 3015 190633 63 7000 2992 2999 1829 1611.78 1611.74/1612.39 c 2948767 198 1613 97117 60 4121 3292 1597 1829 1611.81 1611.74/1612.39 o 194 1611.84/1612.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1611.84/1612.40 c 2949010 198 1857 109670 59 4729 2992 1841 1829 1611.85 1611.84/1612.40 o 192 1611.84/1612.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1611.84/1612.42 c 2949020 198 1868 110280 59 4880 2992 1852 1829 1611.86 1611.84/1612.42 o 190 1611.84/1612.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1611.84/1612.49 c 2949101 198 1950 117631 60 5178 2992 1934 1829 1611.88 1611.84/1612.49 c 2949201 198 2050 122857 59 5375 3292 2034 1829 1611.90 1611.84/1612.49 o 188 1611.95/1612.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1611.95/1612.57 c 2949420 198 2270 138574 61 5942 2992 2254 1829 1611.95 1611.95/1612.57 c 2949520 198 2370 148532 62 6139 3292 2354 1829 1611.97 1611.95/1612.57 o 186 1612.05/1612.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1612.05/1612.60 c 2949702 198 2553 166506 65 6628 2992 2537 1829 1612.03 1612.05/1612.60 o 184 1612.14/1612.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1612.14/1612.74 c 2949801 198 2653 176165 66 6953 2992 2637 1829 1612.06 1612.14/1612.74 c 2949904 198 2756 180536 65 7130 3292 2740 1829 1612.09 1612.14/1612.74 c 2950154 198 3006 198015 65 7644 3622 2990 1829 1612.15 1612.14/1612.74 o 163 1612.14/1612.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1612.14/1612.75 c 2950322 198 3175 206902 65 8091 2992 3159 1829 1612.20 1612.14/1612.75 o 159 1612.14/1612.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1612.14/1612.75 c 2950329 198 1521 108325 71 4064 2992 1505 1829 1612.21 1612.14/1612.75 o 155 1612.14/1612.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1612.14/1612.76 c 2950330 198 1523 108543 71 4195 2992 1507 1829 1612.21 1612.14/1612.76 o 153 1612.14/1612.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1612.14/1612.78 c 2950391 198 1585 112844 71 4439 2992 1569 1830 1612.22 1612.14/1612.78 o 149 1612.24/1612.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1612.24/1612.82 c 2950490 198 1685 117327 69 4760 2992 1669 1830 1612.24 1612.24/1612.82 c 2950590 198 1785 122953 68 4966 3292 1769 1830 1612.26 1612.24/1612.82 o 145 1612.24/1612.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1612.24/1612.84 c 2950675 198 1871 126635 67 5267 2992 1855 1830 1612.28 1612.24/1612.84 c 2950776 198 1972 130490 66 5465 3292 1956 1830 1612.29 1612.24/1612.84 o 143 1612.35/1612.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1612.35/1612.90 c 2950806 198 2003 132385 66 5646 2992 1987 1830 1612.30 1612.35/1612.90 c 2950906 198 2103 139719 66 5858 3292 2087 1830 1612.33 1612.35/1612.90 o 141 1612.35/1612.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1612.35/1612.94 c 2951006 198 2204 148472 67 6174 2992 2188 1830 1612.36 1612.35/1612.94 c 2951107 198 2305 152523 66 6392 3292 2289 1830 1612.38 1612.35/1612.94 o 139 1621.95/1622.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1621.95/1622.57 c 2951198 198 2397 159468 66 6702 2992 2381 1830 1612.40 1621.95/1622.57 c 2951298 198 2497 163400 65 6875 3292 2481 1830 1612.42 1621.95/1622.57 c 2951549 198 2748 174819 63 7405 3622 2732 1830 1612.47 1621.95/1622.57 c 2952024 198 3223 200117 62 8346 3985 3207 1830 1612.59 1621.95/1622.57 c 2952837 198 2010 110182 54 4924 4384 1994 1830 1612.81 1621.95/1622.57 c 2954157 198 3330 177514 53 7557 4823 3314 1831 1613.11 1621.95/1622.57 c 2956238 198 2950 149075 50 6779 5306 2934 1832 1613.65 1621.95/1622.57 c 2959461 198 3444 166420 48 7788 5837 3428 1833 1614.52 1621.95/1622.57 c 2964397 198 5399 279013 51 11700 6421 5383 1834 1615.97 1621.95/1622.57 c 2971903 198 6371 324915 50 13647 7064 6355 1836 1618.17 1621.95/1622.57 c 2983264 198 6912 363157 52 14722 7771 6896 1839 1621.82 1621.95/1622.57 o 136 1624.95/1625.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1624.95/1625.51 c 2983843 198 7492 390368 52 16006 2992 7476 1839 1622.03 1624.95/1625.51 c 2983945 198 1615 85030 52 4128 3292 1599 1839 1622.17 1624.95/1625.51 c 2984195 198 1865 96360 51 4628 3622 1849 1839 1622.23 1624.95/1625.51 c 2984672 198 2342 117256 50 5581 3985 2326 1839 1622.32 1624.95/1625.51 c 2985485 198 3155 155929 49 7211 4384 3139 1840 1622.51 1624.95/1625.51 c 2986807 198 2209 114961 52 5319 4823 2193 1840 1622.88 1624.95/1625.51 c 2988888 198 4290 224518 52 9473 5306 4274 1841 1623.40 1624.95/1625.51 c 2992111 198 4783 236059 49 10467 5837 4767 1842 1624.30 1624.95/1625.51 o 105 1624.95/1625.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1624.95/1625.55 c 2994441 198 4124 216351 52 9273 2992 4108 1842 1624.97 1624.95/1625.55 o 101 1624.95/1625.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1624.95/1625.56 c 2994477 195 1550 87950 56 4121 2986 1534 1842 1625.00 1624.95/1625.56 o 99 1797.98/1798.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.60 c 2994545 195 1619 94046 58 4384 2986 1603 1842 1625.02 1797.98/1798.60 c 2994646 193 1720 98855 57 4578 3285 1704 1842 1625.04 1797.98/1798.60 c 2994896 190 1970 112473 57 5079 3614 1954 1842 1625.09 1797.98/1798.60 c 2995371 188 2445 135020 55 6010 3976 2429 1843 1625.19 1797.98/1798.60 c 2996184 186 3258 170998 52 7646 4374 3242 1843 1625.36 1797.98/1798.60 c 2997504 186 2322 102964 44 5517 4812 2306 1843 1625.70 1797.98/1798.60 c 2999586 186 4404 192984 43 9700 5294 4388 1844 1626.15 1797.98/1798.60 c 3002809 186 4911 237290 48 10712 5824 4895 1845 1626.99 1797.98/1798.60 c 3007746 186 3910 172813 44 8708 6407 3894 1847 1628.20 1797.98/1798.60 c 3015252 186 4901 232610 47 10680 7048 4885 1849 1630.08 1797.98/1798.60 c 3026613 185 5507 288239 52 11912 7753 5491 1852 1633.41 1797.98/1798.60 c 3043757 185 6882 364895 53 14651 8529 6866 1856 1639.45 1797.98/1798.60 c 3069577 184 6792 320942 47 14461 9382 6776 1861 1648.67 1797.98/1798.60 c 3108409 184 7595 361678 47 16074 10321 7579 1868 1663.97 1797.98/1798.60 c 3166761 184 8577 398268 46 18039 11354 8561 1877 1686.45 1797.98/1798.60 c 3254393 184 10206 488265 47 21299 12490 10190 1888 1723.26 1797.98/1798.60 c 3385945 184 9529 438014 45 19924 13740 9513 1902 1780.16 1797.98/1798.60 c Resources Exceeded 1797.98/1798.60 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 1797.98/1798.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.60 c 264 3426978 119169 3590406 9019 421122 9003 1905 1798.00 1797.98/1798.60 c Objective: 99 1797.98/1798.60 s SATISFIABLE 1797.98/1798.60 c Total time: 1798 s
OK 99
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878630-1245175117/watcher-1878630-1245175117 -o /tmp/evaluation-result-1878630-1245175117/solver-1878630-1245175117 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878630-1245175117.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: 0.99 0.98 0.95 3/64 3879 /proc/meminfo: memFree=1921456/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=18520 CPUtime=0 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 1841175 18964480 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 4630 243 189 640 0 3986 0 [startup+0.01681 s] /proc/loadavg: 0.99 0.98 0.95 3/64 3879 /proc/meminfo: memFree=1921456/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=18520 CPUtime=0.01 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 289 0 0 0 1 0 0 0 18 0 1 0 1841175 18964480 269 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 4630 269 196 640 0 3986 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 18520 [startup+0.10182 s] /proc/loadavg: 0.99 0.98 0.95 3/64 3879 /proc/meminfo: memFree=1921456/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=11220 CPUtime=0.09 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 404 0 0 0 9 0 0 0 18 0 1 0 1841175 11489280 384 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 2805 384 196 640 0 2161 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11220 [startup+0.301851 s] /proc/loadavg: 0.99 0.98 0.95 3/64 3879 /proc/meminfo: memFree=1921456/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=12360 CPUtime=0.29 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 681 0 0 0 29 0 0 0 19 0 1 0 1841175 12656640 661 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 3090 661 196 640 0 2446 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12360 [startup+0.701909 s] /proc/loadavg: 0.99 0.98 0.95 3/64 3879 /proc/meminfo: memFree=1921456/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=14028 CPUtime=0.69 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 1099 0 0 0 69 0 0 0 22 0 1 0 1841175 14364672 1079 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 3507 1079 196 640 0 2863 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14028 [startup+1.50203 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3880 /proc/meminfo: memFree=1917032/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=14800 CPUtime=1.49 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 1315 0 0 0 148 1 0 0 25 0 1 0 1841175 15155200 1295 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 3700 1295 196 640 0 3056 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14800 [startup+3.10127 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3880 /proc/meminfo: memFree=1916904/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=15436 CPUtime=3.09 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 1468 0 0 0 307 2 0 0 25 0 1 0 1841175 15806464 1448 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 3859 1448 196 640 0 3215 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15436 [startup+6.30174 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3880 /proc/meminfo: memFree=1915048/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=16448 CPUtime=6.29 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 1730 0 0 0 626 3 0 0 25 0 1 0 1841175 16842752 1710 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 4112 1710 196 640 0 3468 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16448 [startup+12.7017 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3880 /proc/meminfo: memFree=1915056/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=16452 CPUtime=12.68 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 1731 0 0 0 1263 5 0 0 25 0 1 0 1841175 16846848 1711 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 4113 1711 196 640 0 3469 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16452 [startup+25.5016 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3880 /proc/meminfo: memFree=1914800/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=16704 CPUtime=25.49 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 1789 0 0 0 2538 11 0 0 25 0 1 0 1841175 17104896 1769 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 4176 1769 196 640 0 3532 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 16704 [startup+51.1014 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3880 /proc/meminfo: memFree=1913264/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=18288 CPUtime=51.07 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 2169 0 0 0 5089 18 0 0 25 0 1 0 1841175 18726912 2149 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 4572 2149 196 640 0 3928 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 18288 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3880 /proc/meminfo: memFree=1913328/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=18064 CPUtime=102.26 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 2182 0 0 0 10195 31 0 0 25 0 1 0 1841175 18497536 2094 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 4516 2094 196 640 0 3872 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 18064 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3886 /proc/meminfo: memFree=1910696/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=20608 CPUtime=162.23 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 2836 0 0 0 16178 45 0 0 25 0 1 0 1841175 21102592 2748 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 5152 2748 196 640 0 4508 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 20608 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3886 /proc/meminfo: memFree=1909800/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=21616 CPUtime=222.21 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 3082 0 0 0 22163 58 0 0 25 0 1 0 1841175 22134784 2994 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 5404 2994 196 640 0 4760 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 21616 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3886 /proc/meminfo: memFree=1908840/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=22612 CPUtime=282.19 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 3321 0 0 0 28149 70 0 0 25 0 1 0 1841175 23154688 3233 1992294400 134512640 137136520 4294956256 18446744073709551615 134598664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 5653 3233 196 640 0 5009 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 22612 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3886 /proc/meminfo: memFree=1908776/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=22588 CPUtime=342.18 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 3329 0 0 0 34136 82 0 0 25 0 1 0 1841175 23130112 3241 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 5647 3241 196 640 0 5003 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 22588 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3886 /proc/meminfo: memFree=1908200/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=23096 CPUtime=402.15 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 3458 0 0 0 40122 93 0 0 25 0 1 0 1841175 23650304 3370 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 5774 3370 196 640 0 5130 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 23096 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3886 /proc/meminfo: memFree=1908208/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=23096 CPUtime=462.14 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 3458 0 0 0 46110 104 0 0 25 0 1 0 1841175 23650304 3370 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 5774 3370 196 640 0 5130 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 23096 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3886 /proc/meminfo: memFree=1907120/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=24120 CPUtime=522.11 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 3712 0 0 0 52094 117 0 0 25 0 1 0 1841175 24698880 3624 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6030 3624 196 640 0 5386 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 24120 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3886 /proc/meminfo: memFree=1907056/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=24208 CPUtime=582.1 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 3723 0 0 0 58082 128 0 0 25 0 1 0 1841175 24788992 3635 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6052 3635 196 640 0 5408 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 24208 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3886 /proc/meminfo: memFree=1906608/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=24624 CPUtime=642.07 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 3827 0 0 0 64069 138 0 0 25 0 1 0 1841175 25214976 3739 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6156 3739 196 640 0 5512 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 24624 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1904752/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26152 CPUtime=1121.91 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4252 0 0 0 111970 221 0 0 25 0 1 0 1841175 26779648 4135 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6538 4135 196 640 0 5894 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 26152 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3886 /proc/meminfo: memFree=1904752/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26084 CPUtime=1181.89 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4252 0 0 0 117958 231 0 0 25 0 1 0 1841175 26710016 4119 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6521 4119 196 640 0 5877 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 26084 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3886 /proc/meminfo: memFree=1905008/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=25628 CPUtime=1241.87 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4252 0 0 0 123946 241 0 0 25 0 1 0 1841175 26243072 4005 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6407 4005 196 640 0 5763 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 25628 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3886 /proc/meminfo: memFree=1904368/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26216 CPUtime=1301.86 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4525 0 0 0 129930 256 0 0 25 0 1 0 1841175 26845184 4152 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6554 4152 196 640 0 5910 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 26216 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3886 /proc/meminfo: memFree=1904368/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26216 CPUtime=1361.84 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4525 0 0 0 135913 271 0 0 25 0 1 0 1841175 26845184 4152 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6554 4152 196 640 0 5910 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 26216 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.95 2/65 3886 /proc/meminfo: memFree=1904368/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26200 CPUtime=1421.82 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4525 0 0 0 141895 287 0 0 25 0 1 0 1841175 26828800 4148 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6550 4148 196 640 0 5906 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 26200 [startup+1482.3 s] /proc/loadavg: 1.03 1.00 0.95 2/65 3886 /proc/meminfo: memFree=1904368/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26200 CPUtime=1481.79 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4525 0 0 0 147880 299 0 0 25 0 1 0 1841175 26828800 4148 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6550 4148 196 640 0 5906 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 26200 [startup+1542.3 s] /proc/loadavg: 1.01 1.00 0.95 2/65 3886 /proc/meminfo: memFree=1904368/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26200 CPUtime=1541.77 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4525 0 0 0 153869 308 0 0 25 0 1 0 1841175 26828800 4148 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6550 4148 196 640 0 5906 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 26200 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3886 /proc/meminfo: memFree=1904368/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26200 CPUtime=1601.75 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4525 0 0 0 159857 318 0 0 25 0 1 0 1841175 26828800 4148 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6550 4148 196 640 0 5906 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 26200 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3886 /proc/meminfo: memFree=1904368/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26200 CPUtime=1661.73 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4525 0 0 0 165835 338 0 0 25 0 1 0 1841175 26828800 4148 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6550 4148 196 640 0 5906 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 26200 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3886 /proc/meminfo: memFree=1904368/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26200 CPUtime=1721.71 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4525 0 0 0 171817 354 0 0 25 0 1 0 1841175 26828800 4148 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6550 4148 196 640 0 5906 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 26200 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3886 /proc/meminfo: memFree=1904368/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26200 CPUtime=1781.69 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4525 0 0 0 177800 369 0 0 25 0 1 0 1841175 26828800 4148 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6550 4148 196 640 0 5906 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 26200 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3886 /proc/meminfo: memFree=1904368/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26200 CPUtime=1791.29 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4525 0 0 0 178758 371 0 0 25 0 1 0 1841175 26828800 4148 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6550 4148 196 640 0 5906 0 Current children cumulated CPU time (s) 1791.29 Current children cumulated vsize (KiB) 26200 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3886 /proc/meminfo: memFree=1904368/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26200 CPUtime=1794.49 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4525 0 0 0 179077 372 0 0 25 0 1 0 1841175 26828800 4148 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6550 4148 196 640 0 5906 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (KiB) 26200 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3886 /proc/meminfo: memFree=1904368/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26200 CPUtime=1796.08 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4525 0 0 0 179236 372 0 0 25 0 1 0 1841175 26828800 4148 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6550 4148 196 640 0 5906 0 Current children cumulated CPU time (s) 1796.08 Current children cumulated vsize (KiB) 26200 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3886 /proc/meminfo: memFree=1904368/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26200 CPUtime=1796.89 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4525 0 0 0 179316 373 0 0 25 0 1 0 1841175 26828800 4148 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6550 4148 196 640 0 5906 0 Current children cumulated CPU time (s) 1796.89 Current children cumulated vsize (KiB) 26200 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3886 /proc/meminfo: memFree=1904368/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26200 CPUtime=1797.69 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4525 0 0 0 179396 373 0 0 25 0 1 0 1841175 26828800 4148 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6550 4148 196 640 0 5906 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (KiB) 26200 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3886 /proc/meminfo: memFree=1904368/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26200 CPUtime=1797.89 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4525 0 0 0 179416 373 0 0 25 0 1 0 1841175 26828800 4148 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6550 4148 196 640 0 5906 0 Current children cumulated CPU time (s) 1797.89 Current children cumulated vsize (KiB) 26200 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3886 /proc/meminfo: memFree=1904368/2055920 swapFree=4192956/4192956 [pid=3879] ppid=3877 vsize=26200 CPUtime=1797.98 /proc/3879/stat : 3879 (bsolo) R 3877 3879 3836 0 -1 4194304 4525 0 0 0 179425 373 0 0 25 0 1 0 1841175 26828800 4148 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3879/statm: 6550 4148 196 640 0 5906 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 26200 Child status: 0 Real time (s): 1798.61 CPU time (s): 1798 CPU user time (s): 1794.27 CPU system time (s): 3.73743 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 26764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.27 system time used= 3.73743 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4527 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= 2200 runsolver used 1.3168 second user time and 3.68444 second system time The end
Begin job on node30 at 2009-06-16 19:58:37 IDJOB=1878630 IDBENCH=2904 IDSOLVER=700 FILE ID=node30/1878630-1245175117 PBS_JOBID= 9363935 Free space on /tmp= 66220 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878630-1245175117/watcher-1878630-1245175117 -o /tmp/evaluation-result-1878630-1245175117/solver-1878630-1245175117 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878630-1245175117.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430 RANDOM SEED=850139949 node30.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.273 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.273 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: 1921936 kB Buffers: 22996 kB Cached: 68872 kB SwapCached: 0 kB Active: 73008 kB Inactive: 31552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1921936 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3972 kB Writeback: 0 kB Mapped: 22472 kB Slab: 15476 kB Committed_AS: 60044 kB PageTables: 1360 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-1878630-1245175117.opb Free space on /tmp at the end= 66216 MiB End job on node30 at 2009-06-16 20:28:36