Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: bsolo 3.0.17 | SAT (TO) | 127 | 1800.03 | 1802.31 |
Name | /OPT-SMALLINT-LIN/heinz/ normalized-neos-538867.opb |
MD5SUM | 3b75c8039d6468258a1aa0343ce1fddb |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 122 |
Best CPU time to get the best result obtained on this benchmark | 58.879 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 792 |
Total number of constraints | 1170 |
Number of constraints which are clauses | 1143 |
Number of constraints which are cardinality constraints (but not clauses) | 27 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 666 |
Biggest coefficient in the objective function | 80 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 18684 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 18684 |
Number of bits of the biggest sum of numbers | 15 |
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.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3741399-1338758469.opb 0.00/0.00 c File size is 46134 bytes. 0.00/0.01 c Highest Coefficient sum: 18684 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.003 s 0.00/0.01 c Var: 792 Constr: 1188 1161/27/0 Lit: 4050 Watch. Lit: 2637 0.00/0.01 c Obj. Vars: 666 (84.0909 % of total variables) 0.00/0.01 c Pre-processing Time: 0.007 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 792 1188 4050 3 2637 1682 0 0 0.01 0.00/0.01 c Switching off LPR mode. 0.00/0.01 o 477 0.007 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 2 792 1191 4764 4 3283 3014 3 250 0.01 0.00/0.01 o 452 0.008 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 4 792 1194 5514 4 3926 3014 6 500 0.01 0.00/0.02 o 447 0.013 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 58 792 1249 9095 7 4667 3014 61 4142 0.01 0.00/0.02 o 437 0.018 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 92 792 1284 11404 8 5372 3014 96 4842 0.02 0.00/0.02 o 412 0.02 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 97 792 1290 12276 9 6023 3014 102 4850 0.02 0.00/0.02 o 397 0.021 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 100 792 1294 13052 10 6656 3014 106 4761 0.02 0.00/0.02 o 362 0.023 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 107 792 1302 13984 10 7296 3014 114 4652 0.02 0.00/0.04 c 208 792 1403 19299 13 7452 3316 215 5942 0.04 0.00/0.04 o 352 0.037 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 222 792 1418 20636 14 8132 3014 230 5842 0.04 0.09/0.12 c 323 792 1519 25568 16 8302 3316 331 5981 0.05 0.09/0.12 c 573 792 1769 37050 20 8864 3648 581 6031 0.10 0.09/0.12 o 337 0.12 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 730 792 1927 44260 22 9807 3014 739 6033 0.12 0.69/0.79 c 831 792 2028 48775 24 9959 3316 840 6201 0.13 0.69/0.79 c 1082 792 2279 60270 26 10464 3648 1091 6364 0.17 0.69/0.79 c 1558 792 2755 82163 29 11414 4013 1567 5969 0.26 0.69/0.79 c 2373 792 3570 120029 33 13046 4415 2382 5704 0.42 0.69/0.79 c 3693 792 4890 174760 35 15726 4857 3702 5561 0.66 0.69/0.79 o 317 0.785 2.38/2.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.38/2.47 c 4325 792 5523 203860 36 17562 3014 4335 5502 0.79 2.38/2.47 c 4430 792 2801 71764 25 6508 3316 1613 5530 0.80 2.38/2.47 c 4681 792 3052 83314 27 7010 3648 1864 5660 0.83 2.38/2.47 c 5156 792 3527 103913 29 7959 4013 2339 5859 0.88 2.38/2.47 c 5969 792 4340 137911 31 9587 4415 3152 6078 0.98 2.38/2.47 c 7289 792 3397 104562 30 7697 4857 2209 6187 1.18 2.38/2.47 c 9371 792 5479 202692 36 11862 5343 4291 6336 1.48 2.38/2.47 c 12594 792 5861 224154 38 12624 5878 4673 6461 1.95 2.38/2.47 o 302 2.464 2.38/2.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.38/2.48 c 15447 792 5623 231196 41 12785 3014 4435 6269 2.46 2.38/2.48 o 297 2.477 6.18/6.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.18/6.28 c 15507 792 2757 88147 31 7056 3014 1569 6260 2.48 6.18/6.28 c 15607 792 2857 92922 32 7265 3316 1669 6262 2.49 6.18/6.28 c 15859 792 3109 103424 33 7773 3648 1921 6265 2.53 6.18/6.28 c 16334 792 3584 126398 35 8713 4013 2396 6248 2.61 6.18/6.28 c 17148 792 4398 166903 37 10347 4415 3210 6256 2.74 6.18/6.28 c 18468 792 3397 113808 33 7701 4857 2209 6158 3.00 6.18/6.28 c 20549 792 5478 203316 37 11862 5343 4290 6225 3.30 6.18/6.28 c 23773 792 5878 196219 33 12660 5878 4690 6322 3.76 6.18/6.28 c 28709 792 4615 158984 34 10135 6466 3427 6210 4.62 6.18/6.28 c 36216 792 5352 187075 34 11610 7113 4164 5919 6.12 6.18/6.28 o 282 6.281 6.18/6.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.18/6.29 c 37364 792 6501 242447 37 14543 3014 5313 5948 6.28 6.18/6.29 o 277 6.29 13.09/13.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.09/13.14 c 37381 792 2714 73699 27 6968 3014 1526 5941 6.29 13.09/13.14 c 37482 792 2815 77885 27 7186 3316 1627 5945 6.30 13.09/13.14 c 37732 792 3065 88843 28 7684 3648 1877 5949 6.34 13.09/13.14 c 38210 792 3543 108037 30 8645 4013 2355 5956 6.42 13.09/13.14 c 39024 792 4357 145883 33 10261 4415 3169 5978 6.53 13.09/13.14 c 40345 792 3397 100627 29 7708 4857 2209 5949 6.78 13.09/13.14 c 42426 792 5478 200726 36 11863 5343 4290 5965 7.11 13.09/13.14 c 45649 792 5900 224541 38 12708 5878 4712 5956 7.66 13.09/13.14 c 50586 792 4640 185104 39 10187 6466 3452 5856 8.64 13.09/13.14 c 58093 792 5358 197087 36 11623 7113 4170 5641 10.30 13.09/13.14 c 69455 792 5598 218925 39 12104 7825 4410 5482 12.67 13.09/13.14 o 272 13.136 13.19/13.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.19/13.28 c 71990 792 8134 333420 40 17819 3014 6946 5480 13.14 13.19/13.28 c 72091 792 2797 73995 26 6504 3316 1609 5478 13.16 13.19/13.28 c 72341 792 3047 84855 27 7003 3648 1859 5486 13.19 13.19/13.28 c 72816 792 3522 104996 29 7952 4013 2334 5503 13.23 13.19/13.28 o 267 13.273 13.48/13.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.48/13.51 c 73108 792 3815 117298 30 9189 3014 2627 5508 13.27 13.48/13.51 c 73210 792 3917 122687 31 9389 3316 2729 5509 13.29 13.48/13.51 c 73463 792 4170 134387 32 9901 3648 2982 5511 13.33 13.48/13.51 c 73939 792 4646 154857 33 10841 4013 3458 5517 13.40 13.48/13.51 o 257 13.503 13.58/13.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.58/13.68 c 74689 792 3226 92853 28 7999 3014 2038 5530 13.50 13.58/13.68 c 74790 792 3327 97945 29 8207 3316 2139 5533 13.52 13.58/13.68 c 75041 792 3578 108196 30 8708 3648 2390 5535 13.56 13.58/13.68 c 75517 792 4054 125352 30 9671 4013 2866 5541 13.63 13.58/13.68 o 247 13.673 19.88/19.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.88/19.97 c 75794 792 4332 138711 32 10856 3014 3144 5543 13.67 19.88/19.97 c 75896 792 2798 68209 24 6505 3316 1610 5544 13.69 19.88/19.97 c 76146 792 3048 79529 26 7005 3648 1860 5550 13.72 19.88/19.97 c 76621 792 3523 99267 28 7956 4013 2335 5564 13.77 19.88/19.97 c 77435 792 4337 128365 29 9581 4415 3149 5584 13.87 19.88/19.97 c 78755 792 3397 97763 28 7700 4857 2209 5593 14.08 19.88/19.97 c 80836 792 5478 206613 37 11866 5343 4290 5614 14.40 19.88/19.97 c 84061 792 5909 233667 39 12728 5878 4721 5611 14.98 19.88/19.97 c 88998 792 4693 184789 39 10295 6466 3505 5577 15.96 19.88/19.97 c 96507 792 5500 189081 34 11910 7113 4312 5533 17.44 19.88/19.97 c 107869 792 5863 200410 34 12634 7825 4675 5410 19.94 19.88/19.97 o 242 19.97 22.98/23.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.98/23.07 c 108123 792 6118 213251 34 13780 3014 4930 5414 19.97 22.98/23.07 c 108223 792 2796 75306 26 6504 3316 1608 5413 19.99 22.98/23.07 c 108473 792 3046 87233 28 7001 3648 1858 5417 20.02 22.98/23.07 c 108948 792 3521 110822 31 7951 4013 2333 5426 20.08 22.98/23.07 c 109761 792 4334 154068 35 9578 4415 3146 5438 20.18 22.98/23.07 c 111082 792 3397 109252 32 7706 4857 2209 5448 20.39 22.98/23.07 c 113165 792 5480 209485 38 11869 5343 4292 5447 20.77 22.98/23.07 c 116388 792 5887 207609 35 12684 5878 4699 5463 21.30 22.98/23.07 c 121325 792 4663 176761 37 10236 6466 3475 5481 22.13 22.98/23.07 o 237 23.066 26.48/26.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.48/26.57 c 126392 792 6388 256864 40 14327 3014 5200 5479 23.07 26.48/26.57 c 126494 792 2798 75772 27 6505 3316 1610 5479 23.08 26.48/26.57 c 126744 792 3048 85144 27 7004 3648 1860 5484 23.11 26.48/26.57 c 127219 792 3523 106326 30 7960 4013 2335 5489 23.18 26.48/26.57 c 128035 792 4339 154524 35 9582 4415 3151 5501 23.27 26.48/26.57 c 129356 792 3397 119198 35 7701 4857 2209 5511 23.47 26.48/26.57 c 131439 792 5480 207664 37 11871 5343 4292 5529 23.77 26.48/26.57 c 134667 792 5889 209240 35 12686 5878 4701 5525 24.37 26.48/26.57 c 139603 792 4680 171177 36 10268 6466 3492 5521 25.28 26.48/26.57 c 147109 792 5464 181516 33 11835 7113 4276 5541 26.55 26.48/26.57 o 232 26.565 26.68/26.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.68/26.71 c 147240 792 5596 187974 33 12745 3014 4408 5542 26.57 26.68/26.71 c 147341 792 2797 68910 24 6500 3316 1609 5542 26.58 26.68/26.71 c 147591 792 3047 78043 25 7006 3648 1859 5545 26.61 26.68/26.71 c 148066 792 3522 97105 27 7952 4013 2334 5549 26.68 26.68/26.71 o 212 26.699 64.08/64.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 64.08/64.15 c 148195 792 3652 102357 28 8865 3014 2464 5550 26.70 64.08/64.15 c 148296 792 3753 106627 28 9063 3316 2565 5551 26.71 64.08/64.15 c 148546 792 4003 117029 29 9575 3648 2815 5552 26.75 64.08/64.15 c 149022 792 4479 140075 31 10515 4013 3291 5554 26.83 64.08/64.15 c 149835 792 3196 91500 28 7303 4415 2008 5559 26.95 64.08/64.15 c 151155 792 4516 154384 34 9940 4857 3328 5571 27.13 64.08/64.15 c 153236 792 4041 118915 29 8994 5343 2853 5589 27.41 64.08/64.15 c 156459 792 4439 150792 33 9789 5878 3251 5600 27.94 64.08/64.15 c 161395 792 6309 261838 41 13527 6466 5121 5600 28.82 64.08/64.15 c 168901 792 7075 291872 41 15059 7113 5887 5589 30.21 64.08/64.15 c 180264 792 7349 309449 42 15610 7825 6161 5459 33.02 64.08/64.15 c 197408 792 8302 344705 41 17511 8608 7114 5420 36.42 64.08/64.15 c 223228 792 7506 296952 39 15917 9469 6318 5275 42.32 64.08/64.15 c 262060 792 7336 265502 36 15585 10416 6148 4982 52.60 64.08/64.15 o 182 64.14 139.07/139.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 139.07/139.17 c 310569 792 7719 237814 30 16994 3014 6531 4842 64.14 139.07/139.17 c 310669 792 2796 57539 20 6507 3316 1608 4841 64.17 139.07/139.17 c 310920 792 3047 65548 21 7007 3648 1859 4842 64.20 139.07/139.17 c 311397 792 3524 81868 23 7963 4013 2336 4845 64.26 139.07/139.17 c 312210 792 4337 118621 27 9587 4415 3149 4850 64.37 139.07/139.17 c 313530 792 3397 93141 27 7707 4857 2209 4855 64.58 139.07/139.17 c 315611 792 5478 170761 31 11869 5343 4290 4862 64.91 139.07/139.17 c 318834 792 5884 195359 33 12686 5878 4696 4872 65.44 139.07/139.17 c 323771 792 4680 145505 31 10275 6466 3492 4880 66.33 139.07/139.17 c 331280 792 5460 154938 28 11834 7113 4272 4893 67.70 139.07/139.17 c 342644 792 5745 191762 33 12404 7825 4557 4895 69.99 139.07/139.17 c 359788 792 6773 246995 36 14459 8608 5585 4876 73.78 139.07/139.17 c 385608 792 5929 227675 38 12765 9469 4741 4824 79.93 139.07/139.17 c 424441 792 5924 205565 34 12763 10416 4736 4755 89.26 139.07/139.17 c 482793 792 10986 388678 35 22884 11458 9798 4704 102.62 139.07/139.17 c 570425 792 10922 361509 33 22756 12604 9734 4589 124.30 139.07/139.17 o 177 139.144 160.06/160.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 160.06/160.16 c 630435 792 13079 463463 35 27717 3014 11891 4530 139.14 160.06/160.16 c 630535 792 2796 65918 23 6510 3316 1608 4529 139.19 160.06/160.16 c 630785 792 3046 76530 25 7008 3648 1858 4530 139.23 160.06/160.16 c 631260 792 3521 95456 27 7953 4013 2333 4532 139.29 160.06/160.16 c 632073 792 4334 129797 29 9584 4415 3146 4534 139.41 160.06/160.16 c 633394 792 3397 103094 30 7709 4857 2209 4535 139.64 160.06/160.16 c 635477 792 5480 199642 36 11871 5343 4292 4540 139.95 160.06/160.16 c 638701 792 5915 177552 30 12744 5878 4727 4548 140.43 160.06/160.16 c 643637 792 4745 114748 24 10403 6466 3557 4561 141.11 160.06/160.16 c 651143 792 5611 120819 21 12138 7113 4423 4570 142.45 160.06/160.16 c 662504 792 5971 162333 27 12859 7825 4783 4583 144.54 160.06/160.16 c 679648 792 7042 185713 26 14997 8608 5854 4588 148.11 160.06/160.16 c 705467 792 6386 180691 28 13686 9469 5198 4598 153.43 160.06/160.16 o 167 160.131 168.06/168.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 168.06/168.17 c 735688 792 7401 262639 35 16360 3014 6213 4594 160.13 168.06/168.17 c 735788 792 2796 67849 24 6508 3316 1608 4594 160.15 168.06/168.17 c 736039 792 3047 78221 25 7010 3648 1859 4595 160.18 168.06/168.17 c 736514 792 3522 90587 25 7960 4013 2334 4596 160.24 168.06/168.17 c 737327 792 4335 112738 26 9584 4415 3147 4598 160.34 168.06/168.17 c 738648 792 3397 67725 19 7708 4857 2209 4601 160.52 168.06/168.17 c 740730 792 5479 134720 24 11873 5343 4291 4606 160.81 168.06/168.17 c 743955 792 5922 154113 26 12762 5878 4734 4611 161.31 168.06/168.17 c 748891 792 4756 120911 25 10431 6466 3568 4617 162.19 168.06/168.17 c 756398 792 5606 138937 24 12125 7113 4418 4625 163.54 168.06/168.17 c 767760 792 5947 154663 26 12808 7825 4759 4630 165.81 168.06/168.17 o 152 168.144 391.63/391.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 391.63/391.75 c 780309 792 6424 209842 32 14407 3014 5236 4640 168.14 391.63/391.75 c 780413 792 2800 71222 25 6516 3316 1612 4640 168.16 391.63/391.75 c 780665 792 3052 79726 26 7023 3648 1864 4641 168.20 391.63/391.75 c 781141 792 3528 93122 26 7971 4013 2340 4642 168.26 391.63/391.75 c 781956 792 4343 117501 27 9601 4415 3155 4643 168.38 391.63/391.75 c 783276 792 3397 63239 18 7710 4857 2209 4646 168.56 391.63/391.75 c 785358 792 5479 136463 24 11872 5343 4291 4650 168.88 391.63/391.75 c 788582 792 5963 158593 26 12841 5878 4775 4655 169.38 391.63/391.75 c 793518 792 4805 126171 26 10527 6466 3617 4664 170.11 391.63/391.75 c 801024 792 5570 157323 28 12058 7113 4382 4665 171.68 391.63/391.75 c 812387 792 5846 187335 32 12606 7825 4658 4669 173.97 391.63/391.75 c 829533 792 6971 193936 27 14858 8608 5783 4677 177.35 391.63/391.75 c 855352 792 6233 181845 29 13381 9469 5045 4673 183.03 391.63/391.75 c 894184 792 6319 182066 28 13552 10416 5131 4660 191.88 391.63/391.75 c 952537 792 11391 396071 34 23699 11458 10203 4512 211.07 391.63/391.75 c 1040170 792 11498 365784 31 23913 12604 10310 4481 232.13 391.63/391.75 c 1171726 792 8255 227819 27 17427 13865 7067 4421 264.99 391.63/391.75 c 1369159 792 8703 285276 32 18323 15252 7515 4266 320.90 391.63/391.75 o 147 391.683 677.28/677.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 677.28/677.49 c 1595019 792 9719 396295 40 21001 3014 8531 4072 391.68 677.28/677.49 c 1595119 792 2796 74409 26 6511 3316 1608 4072 391.71 677.28/677.49 c 1595369 792 3046 85045 27 7003 3648 1858 4072 391.74 677.28/677.49 c 1595845 792 3522 105071 29 7959 4013 2334 4073 391.81 677.28/677.49 c 1596658 792 4335 138558 31 9582 4415 3147 4073 391.93 677.28/677.49 c 1597979 792 3397 93455 27 7711 4857 2209 4074 392.15 677.28/677.49 c 1600061 792 5479 161910 29 11873 5343 4291 4077 392.42 677.28/677.49 c 1603284 792 5929 171106 28 12773 5878 4741 4080 392.92 677.28/677.49 c 1608220 792 4779 149694 31 10475 6466 3591 4085 393.69 677.28/677.49 c 1615727 792 5555 176187 31 12029 7113 4367 4091 394.90 677.28/677.49 c 1627088 792 5907 225216 38 12726 7825 4719 4097 397.14 677.28/677.49 c 1644232 792 6928 198156 28 14775 8608 5740 4101 400.84 677.28/677.49 c 1670051 792 6062 182195 30 13037 9469 4874 4102 407.10 677.28/677.49 c 1708883 792 5983 208728 34 12881 10416 4795 4098 416.92 677.28/677.49 c 1767238 792 11202 347344 31 23321 11458 10014 4104 430.52 677.28/677.49 c 1854871 792 11111 314158 28 23142 12604 9923 4082 454.36 677.28/677.49 c 1986425 792 7869 226287 28 16650 13865 6681 4063 488.84 677.28/677.49 c 2183858 792 15012 598030 39 30942 15252 13824 4029 541.97 677.28/677.49 c 2480112 792 9152 310294 33 19220 16778 7964 3897 636.30 677.28/677.49 o 137 677.383 688.68/688.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 688.68/688.83 c 2626333 792 10814 372988 34 23198 3014 9626 3877 677.38 688.68/688.83 c 2626433 792 2796 60567 21 6507 3316 1608 3877 677.42 688.68/688.83 c 2626687 792 3050 70212 23 7016 3648 1862 3877 677.45 688.68/688.83 c 2627162 792 3525 88688 25 7966 4013 2337 3877 677.52 688.68/688.83 c 2627975 792 4338 114785 26 9594 4415 3150 3878 677.63 688.68/688.83 c 2629297 792 3397 78517 23 7710 4857 2209 3878 677.83 688.68/688.83 c 2631378 792 5478 155499 28 11875 5343 4290 3880 678.16 688.68/688.83 c 2634602 792 5888 170836 29 12690 5878 4700 3881 678.72 688.68/688.83 c 2639538 792 4723 127809 27 10362 6466 3535 3884 679.57 688.68/688.83 c 2647046 792 5585 140261 25 12088 7113 4397 3887 680.87 688.68/688.83 c 2658407 792 5922 150276 25 12760 7825 4734 3891 683.10 688.68/688.83 c 2675552 792 7055 197941 28 15029 8608 5867 3900 685.94 688.68/688.83 o 127 688.723 1800.02/1800.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.30 c 2691245 792 9502 311810 32 20572 3014 8314 3907 688.72 1800.02/1800.30 c 2691347 792 2798 58249 20 6517 3316 1610 3907 688.75 1800.02/1800.30 c 2691597 792 3048 65166 21 7017 3648 1860 3907 688.78 1800.02/1800.30 c 2692074 792 3525 78792 22 7967 4013 2337 3908 688.84 1800.02/1800.30 c 2692887 792 4338 106848 24 9595 4415 3150 3908 688.95 1800.02/1800.30 c 2694207 792 3397 66523 19 7711 4857 2209 3909 689.13 1800.02/1800.30 c 2696288 792 5478 124293 22 11872 5343 4290 3910 689.43 1800.02/1800.30 c 2699511 792 5950 136024 22 12816 5878 4762 3912 689.96 1800.02/1800.30 c 2704449 792 4828 113615 23 10576 6466 3640 3914 690.88 1800.02/1800.30 c 2711955 792 5724 122227 21 12366 7113 4536 3918 692.16 1800.02/1800.30 c 2723316 792 6118 160783 26 13154 7825 4930 3922 694.20 1800.02/1800.30 c 2740460 792 7280 178222 24 15481 8608 6092 3927 697.80 1800.02/1800.30 c 2766279 792 6569 176160 26 14055 9469 5381 3929 704.03 1800.02/1800.30 c 2805114 792 6717 188514 28 14353 10416 5529 3929 713.89 1800.02/1800.30 c 2863466 792 6521 183642 28 13961 11458 5333 3932 728.19 1800.02/1800.30 c 2951098 792 12630 355719 28 26178 12604 11442 3934 750.04 1800.02/1800.30 c 3082651 792 9623 297850 30 20165 13865 8435 3929 784.45 1800.02/1800.30 c 3280083 792 9725 342539 35 20371 15252 8537 3882 844.93 1800.02/1800.30 c 3576335 792 11738 390788 33 24394 16778 10550 3807 939.33 1800.02/1800.30 c 4020819 792 14007 453078 32 28935 18456 12819 3723 1079.73 1800.02/1800.30 c 4687651 792 17822 653896 36 36563 20302 16634 3565 1314.86 1800.02/1800.30 c 5687997 792 12590 438989 34 26101 22333 11402 3406 1669.85 1800.02/1800.30 c Caught signal: 15 1800.02/1800.30 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 1800.02/1800.30 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.30 c 219 6013890 2461241 13483466 22282 804830 21094 3341 1800.02 1800.02/1800.30 c Objective: 127 1800.02/1800.30 s SATISFIABLE 1800.02/1800.30 c Total time: 1800.02 s
OK 127
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741399-1338758469/watcher-3741399-1338758469 -o /tmp/evaluation-result-3741399-1338758469/solver-3741399-1338758469 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741399-1338758469.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 3/176 10068 /proc/meminfo: memFree=28412180/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=4476 CPUtime=0 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4194304 143 0 0 0 0 0 0 0 20 0 1 0 341975472 4583424 94 33554432000 134512640 135840783 4288119824 4288119164 1542104 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 1119 112 93 325 0 39 0 [startup+0.059974 s] /proc/loadavg: 1.92 1.98 1.99 3/176 10068 /proc/meminfo: memFree=28412180/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=5344 CPUtime=0.05 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 666 0 0 0 5 0 0 0 20 0 1 0 341975472 5472256 590 33554432000 134512640 135840783 4288119824 4288117712 2102567 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 1336 590 348 325 0 272 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5344 [startup+0.100253 s] /proc/loadavg: 1.92 1.98 1.99 3/176 10068 /proc/meminfo: memFree=28412180/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=5476 CPUtime=0.09 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 710 0 0 0 9 0 0 0 20 0 1 0 341975472 5607424 634 33554432000 134512640 135840783 4288119824 4288119184 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 1369 634 348 325 0 305 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5476 [startup+0.300192 s] /proc/loadavg: 1.92 1.98 1.99 3/176 10068 /proc/meminfo: memFree=28412180/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=6400 CPUtime=0.29 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 920 0 0 0 29 0 0 0 20 0 1 0 341975472 6553600 844 33554432000 134512640 135840783 4288119824 4288118912 2102449 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 1600 844 348 325 0 536 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6400 [startup+0.700187 s] /proc/loadavg: 1.92 1.98 1.99 3/176 10068 /proc/meminfo: memFree=28412180/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=7724 CPUtime=0.69 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 1270 0 0 0 69 0 0 0 20 0 1 0 341975472 7909376 1194 33554432000 134512640 135840783 4288119824 4288119184 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 1931 1194 348 325 0 867 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7724 [startup+1.50019 s] /proc/loadavg: 1.92 1.98 1.99 3/177 10069 /proc/meminfo: memFree=28407940/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=8120 CPUtime=1.49 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 1362 0 0 0 149 0 0 0 20 0 1 0 341975472 8314880 1286 33554432000 134512640 135840783 4288119824 4288119184 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 2030 1286 348 325 0 966 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8120 [startup+3.10019 s] /proc/loadavg: 1.92 1.98 1.99 3/177 10069 /proc/meminfo: memFree=28405476/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=9308 CPUtime=3.08 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 1673 0 0 0 308 0 0 0 20 0 1 0 341975472 9531392 1597 33554432000 134512640 135840783 4288119824 4288119184 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 2327 1597 348 325 0 1263 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 9308 [startup+6.30026 s] /proc/loadavg: 1.93 1.98 1.99 3/177 10069 /proc/meminfo: memFree=28402012/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=9680 CPUtime=6.28 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 1746 0 0 0 628 0 0 0 20 0 1 0 341975472 9912320 1670 33554432000 134512640 135840783 4288119824 4288119184 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 2420 1670 348 325 0 1356 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 9680 [startup+12.7003 s] /proc/loadavg: 1.93 1.98 1.99 3/174 10077 /proc/meminfo: memFree=31008424/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=10336 CPUtime=12.68 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 1912 0 0 0 1268 0 0 0 20 0 1 0 341975472 10584064 1836 33554432000 134512640 135840783 4288119824 4288119120 134572716 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 2584 1836 348 325 0 1520 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 10336 [startup+25.5002 s] /proc/loadavg: 2.03 2.00 2.00 3/174 10077 /proc/meminfo: memFree=31008204/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=10196 CPUtime=25.48 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 1914 0 0 0 2548 0 0 0 20 0 1 0 341975472 10440704 1825 33554432000 134512640 135840783 4288119824 4288119184 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 2549 1825 348 325 0 1485 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10196 [startup+51.1003 s] /proc/loadavg: 2.02 2.00 2.00 3/174 10077 /proc/meminfo: memFree=31005600/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=12688 CPUtime=51.08 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 2542 0 0 0 5107 1 0 0 20 0 1 0 341975472 12992512 2436 33554432000 134512640 135840783 4288119824 4288118912 2099973 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 3172 2436 348 325 0 2108 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 12688 [startup+102.307 s] /proc/loadavg: 2.01 2.00 2.00 3/177 10109 /proc/meminfo: memFree=31103672/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=12692 CPUtime=102.28 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 2545 0 0 0 10227 1 0 0 20 0 1 0 341975472 12996608 2438 33554432000 134512640 135840783 4288119824 4288118352 1727234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 3173 2438 348 325 0 2109 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 12692 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10109 /proc/meminfo: memFree=31066996/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=12648 CPUtime=162.26 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 2547 0 0 0 16225 1 0 0 20 0 1 0 341975472 12951552 2438 33554432000 134512640 135840783 4288119824 4288119184 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 3162 2438 348 325 0 2098 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 12648 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10109 /proc/meminfo: memFree=31044792/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=12588 CPUtime=222.25 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 2547 0 0 0 22224 1 0 0 20 0 1 0 341975472 12890112 2423 33554432000 134512640 135840783 4288119824 4288119184 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 3147 2423 348 325 0 2083 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 12588 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10109 /proc/meminfo: memFree=31020528/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=13188 CPUtime=282.24 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 2694 0 0 0 28223 1 0 0 20 0 1 0 341975472 13504512 2570 33554432000 134512640 135840783 4288119824 4288119184 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 3297 2570 348 325 0 2233 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 13188 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10109 /proc/meminfo: memFree=31000972/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=14192 CPUtime=342.23 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 2935 0 0 0 34222 1 0 0 20 0 1 0 341975472 14532608 2810 33554432000 134512640 135840783 4288119824 4288119152 14704625 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 3548 2810 348 325 0 2484 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 14192 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10110 /proc/meminfo: memFree=30983240/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=15432 CPUtime=402.22 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3259 0 0 0 40221 1 0 0 20 0 1 0 341975472 15802368 3134 33554432000 134512640 135840783 4288119824 4288119184 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 3858 3134 348 325 0 2794 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 15432 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10110 /proc/meminfo: memFree=30929136/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=15432 CPUtime=462.21 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3259 0 0 0 46220 1 0 0 20 0 1 0 341975472 15802368 3134 33554432000 134512640 135840783 4288119824 4288119120 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 3858 3134 348 325 0 2794 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 15432 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10110 /proc/meminfo: memFree=30898376/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=15432 CPUtime=522.2 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3259 0 0 0 52219 1 0 0 20 0 1 0 341975472 15802368 3134 33554432000 134512640 135840783 4288119824 4288119120 134572675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 3858 3134 348 325 0 2794 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 15432 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10113 /proc/meminfo: memFree=30868420/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=15956 CPUtime=582.19 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3379 0 0 0 58218 1 0 0 20 0 1 0 341975472 16338944 3253 33554432000 134512640 135840783 4288119824 4288119136 134551469 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 3989 3253 348 325 0 2925 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 15956 [startup+642.3 s] ################ # More data... # ################ /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3795 0 0 0 106211 1 0 0 20 0 1 0 341975472 17850368 3623 33554432000 134512640 135840783 4288119824 4288119136 14713358 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 4358 3623 348 325 0 3294 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 17432 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10116 /proc/meminfo: memFree=30381192/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=18188 CPUtime=1122.11 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3984 0 0 0 112210 1 0 0 20 0 1 0 341975472 18624512 3812 33554432000 134512640 135840783 4288119824 4288119184 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 4547 3812 348 325 0 3483 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 18188 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10119 /proc/meminfo: memFree=30370644/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=18188 CPUtime=1182.1 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3984 0 0 0 118209 1 0 0 20 0 1 0 341975472 18624512 3812 33554432000 134512640 135840783 4288119824 4288119184 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 4547 3812 348 325 0 3483 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 18188 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10119 /proc/meminfo: memFree=30358624/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=18148 CPUtime=1242.09 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3984 0 0 0 124208 1 0 0 20 0 1 0 341975472 18583552 3812 33554432000 134512640 135840783 4288119824 4288119136 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 4537 3812 348 325 0 3473 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 18148 [startup+1302.3 s] /proc/loadavg: 2.05 2.01 2.00 3/178 10121 /proc/meminfo: memFree=30345968/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=18144 CPUtime=1302.09 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3984 0 0 0 130208 1 0 0 20 0 1 0 341975472 18579456 3812 33554432000 134512640 135840783 4288119824 4288119184 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 4536 3812 348 325 0 3472 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 18144 [startup+1362.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 10121 /proc/meminfo: memFree=30334816/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=18124 CPUtime=1362.07 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3986 0 0 0 136206 1 0 0 20 0 1 0 341975472 18558976 3807 33554432000 134512640 135840783 4288119824 4288119248 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 4531 3807 348 325 0 3467 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 18124 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10121 /proc/meminfo: memFree=30320184/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=18604 CPUtime=1422.07 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 4098 0 0 0 142206 1 0 0 20 0 1 0 341975472 19050496 3919 33554432000 134512640 135840783 4288119824 4288119184 134551469 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 4651 3919 348 325 0 3587 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 18604 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10121 /proc/meminfo: memFree=30315348/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=18544 CPUtime=1482.05 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 4098 0 0 0 148204 1 0 0 20 0 1 0 341975472 18989056 3912 33554432000 134512640 135840783 4288119824 4288119184 134551321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 4636 3912 348 325 0 3572 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 18544 [startup+1542.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 10121 /proc/meminfo: memFree=30304288/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=18540 CPUtime=1542.04 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 4098 0 0 0 154203 1 0 0 20 0 1 0 341975472 18984960 3911 33554432000 134512640 135840783 4288119824 4288119184 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 4635 3911 348 325 0 3571 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 18540 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 10122 /proc/meminfo: memFree=30284244/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=18528 CPUtime=1602.04 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 4098 0 0 0 160203 1 0 0 20 0 1 0 341975472 18972672 3908 33554432000 134512640 135840783 4288119824 4288119136 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 4632 3908 348 325 0 3568 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 18528 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 10122 /proc/meminfo: memFree=30268600/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=18524 CPUtime=1662.03 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 4098 0 0 0 166202 1 0 0 20 0 1 0 341975472 18968576 3907 33554432000 134512640 135840783 4288119824 4288119184 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 4631 3907 348 325 0 3567 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 18524 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10122 /proc/meminfo: memFree=30249628/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=19800 CPUtime=1722.02 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 4407 0 0 0 172201 1 0 0 20 0 1 0 341975472 20275200 4216 33554432000 134512640 135840783 4288119824 4288119184 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 4950 4216 348 325 0 3886 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 19800 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10125 /proc/meminfo: memFree=30228416/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=22844 CPUtime=1782.02 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 5177 0 0 0 178200 2 0 0 20 0 1 0 341975472 23392256 4986 33554432000 134512640 135840783 4288119824 4288119184 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 5711 4986 348 325 0 4647 0 Current children cumulated CPU time (s) 1782.02 Current children cumulated vsize (KiB) 22844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10125 /proc/meminfo: memFree=30221604/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=22844 CPUtime=1800.02 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 5177 0 0 0 180000 2 0 0 20 0 1 0 341975472 23392256 4986 33554432000 134512640 135840783 4288119824 4288119184 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 5711 4986 348 325 0 4647 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 22844 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -10068 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 2/178 10126 /proc/meminfo: memFree=30221604/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=22844 CPUtime=1800.02 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) S 10066 10068 9396 0 -1 4202496 5178 0 0 0 180000 2 0 0 20 0 1 0 341975472 23392256 4987 33554432000 134512640 135840783 4288119824 4288117316 7365680 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 5711 4987 349 325 0 4647 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 22844 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 2/178 10126 /proc/meminfo: memFree=30221100/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=22844 CPUtime=1800.02 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) S 10066 10068 9396 0 -1 4202496 5178 0 0 0 180000 2 0 0 20 0 1 0 341975472 23392256 4987 33554432000 134512640 135840783 4288119824 4288117316 7365680 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 5711 4987 349 325 0 4647 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 22844 [startup+1802.2 s] /proc/loadavg: 2.00 2.00 2.00 2/178 10126 /proc/meminfo: memFree=30221100/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=22844 CPUtime=1800.02 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) S 10066 10068 9396 0 -1 4202496 5178 0 0 0 180000 2 0 0 20 0 1 0 341975472 23392256 4987 33554432000 134512640 135840783 4288119824 4288117316 7365680 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 5711 4987 349 325 0 4647 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 22844 [startup+1802.3 s] /proc/loadavg: 2.00 2.00 2.00 2/178 10126 /proc/meminfo: memFree=30221100/32873844 swapFree=8656/8656 [pid=10068] ppid=10066 vsize=22844 CPUtime=1800.02 cores=1,3,5,7 /proc/10068/stat : 10068 (bsolo3.0.17) S 10066 10068 9396 0 -1 4202496 5178 0 0 0 180000 2 0 0 20 0 1 0 341975472 23392256 4987 33554432000 134512640 135840783 4288119824 4288117316 7365680 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0 /proc/10068/statm: 5711 4987 349 325 0 4647 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 22844 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.31 CPU time (s): 1800.03 CPU user time (s): 1800 CPU system time (s): 0.020996 CPU usage (%): 99.8733 Max. virtual memory (cumulated for all children) (KiB): 22844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 0.020996 maximum resident set size= 19948 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5178 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= 20 involuntary context switches= 1852 runsolver used 4.02339 second user time and 18.1972 second system time The end
Begin job on node102 at 2012-06-03 23:21:09 IDJOB=3741399 IDBENCH=89854 IDSOLVER=2318 FILE ID=node102/3741399-1338758469 RUNJOBID= node102-1338747648-9413 PBS_JOBID= 14636781 Free space on /tmp= 70936 MiB SOLVER NAME= PB07: bsolo 3.0.17 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-538867.opb COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741399-1338758469/watcher-3741399-1338758469 -o /tmp/evaluation-result-3741399-1338758469/solver-3741399-1338758469 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741399-1338758469.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3b75c8039d6468258a1aa0343ce1fddb RANDOM SEED=1960865165 node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28412444 kB Buffers: 198216 kB Cached: 883696 kB SwapCached: 5520 kB Active: 3070044 kB Inactive: 618976 kB Active(anon): 2603848 kB Inactive(anon): 5604 kB Active(file): 466196 kB Inactive(file): 613372 kB Unevictable: 8656 kB Mlocked: 8656 kB SwapTotal: 67108856 kB SwapFree: 67097276 kB Dirty: 6544 kB Writeback: 0 kB AnonPages: 2610392 kB Mapped: 10412 kB Shmem: 0 kB Slab: 625572 kB SReclaimable: 66592 kB SUnreclaim: 558980 kB KernelStack: 1448 kB PageTables: 8836 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 2725232 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2381824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71148 MiB End job on node102 at 2012-06-03 23:51:12