Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: minisat+ 1.14 | SAT (TO) | -39 | 1800.1 | 1800.41 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb |
MD5SUM | 7262f9f4ab1a3ada75b3b140acf97f7d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -40 |
Best CPU time to get the best result obtained on this benchmark | 269.661 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41605 |
Number of constraints which are clauses | 41605 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 760 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
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 Parsing PB file... 0.39/0.44 c Converting 41605 PB-constraints to clauses... 0.39/0.44 c -- Unit propagations: (none) 0.39/0.44 c -- Detecting intervals from adjacent constraints: (none) 0.39/0.44 c -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.39/0.48 c ==================================[MINISAT+]================================== 0.39/0.48 c | Conflicts | Original | Learnt | Progress | 0.39/0.48 c | | Clauses Literals | Max Clauses Literals LPC | | 0.39/0.48 c ============================================================================== 0.39/0.48 c | 0 | 41605 83210 | 13868 0 0 nan | 0.000 % | 0.39/0.48 c ============================================================================== 0.39/0.48 c [1mFound solution: -29[0m 0.39/0.48 o -29 0.39/0.49 c ---[ 0]---> Sorter-cost:35010 Base: 0.49/0.53 c ==================================[MINISAT+]================================== 0.49/0.53 c | Conflicts | Original | Learnt | Progress | 0.49/0.53 c | | Clauses Literals | Max Clauses Literals LPC | | 0.49/0.53 c ============================================================================== 0.49/0.53 c | 0 | 77753 168122 | 25917 0 0 nan | 0.000 % | 0.49/0.58 c | 101 | 77380 167357 | 28508 74 1087 14.7 | 0.796 % | 0.59/0.63 c | 251 | 76935 166400 | 31359 187 2027 10.8 | 1.831 % | 0.69/0.73 c | 476 | 75593 163504 | 34495 333 4511 13.5 | 4.972 % | 0.79/0.86 c ============================================================================== 0.79/0.86 c [1mFound solution: -32[0m 0.79/0.86 o -32 0.79/0.87 c ---[ 0]---> Sorter-cost: 0 Base: 0.79/0.88 c ==================================[MINISAT+]================================== 0.79/0.88 c | Conflicts | Original | Learnt | Progress | 0.79/0.88 c | | Clauses Literals | Max Clauses Literals LPC | | 0.79/0.88 c ============================================================================== 0.79/0.88 c | 781 | 74235 160714 | 24745 565 8133 14.4 | 4.972 % | 0.89/0.93 c | 881 | 73694 159487 | 27219 640 8842 13.8 | 10.031 % | 0.89/0.97 c | 1031 | 73182 158344 | 29941 742 9894 13.3 | 11.290 % | 1.00/1.07 c | 1256 | 71817 155279 | 32935 908 11980 13.2 | 14.690 % | 1.10/1.18 c | 1593 | 70390 152058 | 36229 1120 14315 12.8 | 18.255 % | 1.29/1.34 c | 2099 | 68314 147352 | 39852 1473 20259 13.8 | 23.529 % | 1.59/1.60 c | 2858 | 64983 139810 | 43837 2005 27170 13.6 | 31.922 % | 1.79/1.87 c | 3997 | 61942 132839 | 48221 2827 38151 13.5 | 39.672 % | 2.20/2.24 c | 5705 | 57794 123031 | 53043 4147 58590 14.1 | 50.708 % | 2.69/2.72 c | 8267 | 53937 113879 | 58347 6175 101349 16.4 | 61.198 % | 3.20/3.27 c | 12111 | 51088 107100 | 64182 9376 209229 22.3 | 68.931 % | 3.59/3.62 c ============================================================================== 3.59/3.62 c [1mFound solution: -33[0m 3.59/3.62 o -33 3.59/3.62 c ---[ 0]---> Sorter-cost: 0 Base: 3.59/3.64 c ==================================[MINISAT+]================================== 3.59/3.64 c | Conflicts | Original | Learnt | Progress | 3.59/3.64 c | | Clauses Literals | Max Clauses Literals LPC | | 3.59/3.64 c ============================================================================== 3.59/3.64 c | 14510 | 50433 105575 | 16811 11454 342561 29.9 | 68.931 % | 3.59/3.66 c | 14610 | 50433 105575 | 18492 11554 344419 29.8 | 70.722 % | 3.59/3.67 c | 14761 | 50433 105575 | 20341 11705 350475 29.9 | 70.722 % | 3.69/3.70 c | 14986 | 50433 105575 | 22375 11930 361583 30.3 | 70.722 % | 3.69/3.78 c | 15324 | 50107 104782 | 24612 12183 372190 30.5 | 71.626 % | 3.79/3.86 c | 15831 | 49933 104364 | 27074 12595 390221 31.0 | 72.104 % | 3.89/3.97 c | 16590 | 49629 103648 | 29781 13283 428057 32.2 | 72.916 % | 4.19/4.20 c | 17729 | 48931 101939 | 32759 14235 473128 33.2 | 74.898 % | 4.40/4.42 c | 19438 | 48867 101783 | 36035 15894 575254 36.2 | 75.083 % | 4.79/4.89 c | 22000 | 48275 100352 | 39639 18090 716401 39.6 | 76.734 % | 5.29/5.36 c ============================================================================== 5.29/5.36 c [1mFound solution: -34[0m 5.29/5.36 o -34 5.29/5.36 c ---[ 0]---> Sorter-cost: 0 Base: 5.29/5.39 c ==================================[MINISAT+]================================== 5.29/5.39 c | Conflicts | Original | Learnt | Progress | 5.29/5.39 c | | Clauses Literals | Max Clauses Literals LPC | | 5.29/5.39 c ============================================================================== 5.29/5.39 c | 24883 | 48095 99832 | 16031 20800 934720 44.9 | 76.734 % | 5.40/5.48 c | 24983 | 47740 98976 | 17634 20624 932425 45.2 | 78.263 % | 5.50/5.51 c | 25133 | 47740 98976 | 19397 20774 941755 45.3 | 78.263 % | 5.50/5.54 c | 25358 | 47702 98882 | 21337 20927 950824 45.4 | 78.376 % | 5.50/5.59 c | 25695 | 47702 98882 | 23470 21264 970411 45.6 | 78.376 % | 5.59/5.67 c | 26201 | 47700 98878 | 25818 21769 1001975 46.0 | 78.380 % | 5.79/5.83 c | 26960 | 47487 98334 | 28399 22339 1043094 46.7 | 79.015 % | 5.99/6.02 c | 28099 | 47449 98246 | 31239 23430 1110397 47.4 | 79.115 % | 6.29/6.33 c | 29807 | 47449 98246 | 34363 25138 1301421 51.8 | 79.115 % | 6.79/6.84 c | 32369 | 47408 98151 | 37800 27600 1517138 55.0 | 79.224 % | 7.39/7.41 c ============================================================================== 7.39/7.41 c [1mFound solution: -35[0m 7.39/7.41 o -35 7.39/7.42 c ---[ 0]---> Sorter-cost: 0 Base: 7.39/7.45 c ==================================[MINISAT+]================================== 7.39/7.45 c | Conflicts | Original | Learnt | Progress | 7.39/7.45 c | | Clauses Literals | Max Clauses Literals LPC | | 7.39/7.45 c ============================================================================== 7.39/7.45 c | 34890 | 47234 97752 | 15744 29984 1760205 58.7 | 79.224 % | 7.39/7.49 c | 34990 | 47194 97654 | 17318 29906 1761335 58.9 | 79.907 % | 7.49/7.52 c | 35140 | 47194 97654 | 19050 30056 1774039 59.0 | 79.907 % | 7.49/7.56 c | 35365 | 47194 97654 | 20955 30281 1792828 59.2 | 79.907 % | 7.59/7.63 c | 35702 | 47194 97654 | 23050 30618 1825661 59.6 | 79.907 % | 7.69/7.72 c | 36208 | 47194 97654 | 25355 31124 1860327 59.8 | 79.907 % | 7.79/7.88 c | 36968 | 47166 97583 | 27891 31860 1920463 60.3 | 79.991 % | 8.09/8.12 c | 38109 | 47162 97573 | 30680 32897 2012855 61.2 | 80.003 % | 8.39/8.49 c | 39818 | 47162 97573 | 33748 34606 2163659 62.5 | 80.003 % | 8.98/9.07 c | 42380 | 47162 97573 | 37123 37168 2449092 65.9 | 80.003 % | 10.08/10.12 c | 46227 | 47060 97338 | 40835 40876 2850607 69.7 | 80.260 % | 11.69/11.76 c | 51994 | 46982 97141 | 44919 46508 3471568 74.6 | 80.484 % | 14.29/14.33 c | 60644 | 46934 97017 | 49411 54952 4522068 82.3 | 80.632 % | 15.88/15.99 c ============================================================================== 15.88/15.99 c [1mFound solution: -36[0m 15.88/15.99 o -36 15.88/15.99 c ---[ 0]---> Sorter-cost: 0 Base: 15.98/16.05 c ==================================[MINISAT+]================================== 15.98/16.05 c | Conflicts | Original | Learnt | Progress | 15.98/16.05 c | | Clauses Literals | Max Clauses Literals LPC | | 15.98/16.05 c ============================================================================== 15.98/16.05 c | 65436 | 46893 96903 | 15631 59362 5113871 86.1 | 80.632 % | 16.08/16.11 c | 65536 | 46893 96903 | 17194 18644 1614753 86.6 | 80.749 % | 16.08/16.17 c | 65686 | 46854 96804 | 18913 18767 1618131 86.2 | 80.869 % | 16.18/16.22 c | 65911 | 46795 96659 | 20804 18985 1627818 85.7 | 81.042 % | 16.18/16.28 c | 66248 | 46795 96659 | 22885 19322 1649457 85.4 | 81.042 % | 16.28/16.35 c | 66756 | 46795 96659 | 25173 19830 1672800 84.4 | 81.042 % | 16.39/16.50 c | 67518 | 46795 96659 | 27691 20592 1744416 84.7 | 81.042 % | 16.68/16.72 c | 68657 | 46795 96659 | 30460 21731 1856295 85.4 | 81.042 % | 16.98/17.03 c | 70366 | 46795 96659 | 33506 23440 1997186 85.2 | 81.042 % | 17.49/17.58 c | 72928 | 46742 96532 | 36857 25984 2212431 85.1 | 81.190 % | 18.38/18.48 c | 76774 | 46714 96464 | 40542 29821 2582192 86.6 | 81.266 % | 19.79/19.83 c | 82540 | 46712 96460 | 44597 35586 3095009 87.0 | 81.270 % | 21.99/22.06 c | 91190 | 46712 96460 | 49056 44236 3866480 87.4 | 81.270 % | 25.68/25.73 c | 104165 | 46623 96245 | 53962 57037 4993464 87.5 | 81.522 % | 31.58/31.66 c | 123626 | 46580 96146 | 59358 20979 1569020 74.8 | 81.634 % | 37.67/37.74 c | 152819 | 46485 95911 | 65294 50114 4321342 86.2 | 81.914 % | 49.47/49.54 c | 196609 | 46391 95677 | 71824 26970 1175384 43.6 | 82.190 % | 67.86/67.97 c | 262293 | 46384 95660 | 79006 92651 5737328 61.9 | 82.211 % | 95.05/95.10 c | 360821 | 46278 95411 | 86907 25024 2605510 104.1 | 82.491 % | 136.26/136.35 c | 508611 | 46094 94961 | 95597 83876 6252924 74.5 | 83.019 % | 199.93/200.01 c ============================================================================== 199.93/200.01 c [1mFound solution: -37[0m 199.93/200.01 o -37 199.93/200.01 c ---[ 0]---> Sorter-cost: 0 Base: 199.93/200.09 c ==================================[MINISAT+]================================== 199.93/200.09 c | Conflicts | Original | Learnt | Progress | 199.93/200.09 c | | Clauses Literals | Max Clauses Literals LPC | | 199.93/200.09 c ============================================================================== 199.93/200.09 c | 717483 | 46005 94755 | 15335 96623 8602712 89.0 | 83.019 % | 200.23/200.33 c | 717587 | 46005 94755 | 16868 22197 1267225 57.1 | 83.286 % | 200.23/200.35 c | 717738 | 46005 94755 | 18555 22348 1275292 57.1 | 83.286 % | 200.23/200.38 c | 717966 | 46005 94755 | 20410 22576 1285093 56.9 | 83.286 % | 200.33/200.44 c | 718303 | 45968 94665 | 22451 22910 1304131 56.9 | 83.386 % | 200.43/200.51 c | 718809 | 45968 94665 | 24697 23416 1340629 57.3 | 83.386 % | 200.53/200.60 c | 719568 | 45968 94665 | 27166 24175 1390694 57.5 | 83.386 % | 200.63/200.77 c | 720707 | 45940 94599 | 29883 25310 1470712 58.1 | 83.462 % | 200.93/201.03 c | 722416 | 45940 94599 | 32871 27019 1600072 59.2 | 83.462 % | 201.33/201.41 c | 724978 | 45940 94599 | 36159 29581 1792036 60.6 | 83.462 % | 201.93/202.06 c | 728822 | 45899 94498 | 39775 33410 2086802 62.5 | 83.578 % | 203.03/203.15 c | 734588 | 45899 94498 | 43752 39176 2585425 66.0 | 83.578 % | 204.83/204.91 c | 743238 | 45899 94498 | 48127 47826 3234109 67.6 | 83.578 % | 207.83/207.94 c | 756213 | 45899 94498 | 52940 60801 4112651 67.6 | 83.578 % | 212.62/212.76 c | 775674 | 45899 94498 | 58234 25812 976849 37.8 | 83.578 % | 218.73/218.88 c | 804866 | 45899 94498 | 64058 55004 3048293 55.4 | 83.578 % | 225.43/225.58 c ============================================================================== 225.43/225.58 c [1mFound solution: -38[0m 225.43/225.58 o -38 225.43/225.58 c ---[ 0]---> Sorter-cost: 0 Base: 225.52/225.63 c ==================================[MINISAT+]================================== 225.52/225.63 c | Conflicts | Original | Learnt | Progress | 225.52/225.63 c | | Clauses Literals | Max Clauses Literals LPC | | 225.52/225.63 c ============================================================================== 225.52/225.63 c | 828882 | 45888 94437 | 15296 79014 3988820 50.5 | 83.578 % | 225.62/225.79 c | 828982 | 45888 94437 | 16825 22761 627140 27.6 | 83.615 % | 225.72/225.82 c | 829132 | 45888 94437 | 18508 22911 630990 27.5 | 83.615 % | 225.72/225.86 c | 829357 | 45888 94437 | 20358 23136 640661 27.7 | 83.615 % | 225.82/225.91 c | 829694 | 45888 94437 | 22394 23473 657843 28.0 | 83.615 % | 225.82/225.99 c | 830200 | 45888 94437 | 24634 23979 684188 28.5 | 83.615 % | 225.92/226.09 c | 830959 | 45888 94437 | 27097 24738 724605 29.3 | 83.615 % | 226.12/226.23 c | 832098 | 45888 94437 | 29807 25877 793788 30.7 | 83.615 % | 226.32/226.42 c | 833807 | 45888 94437 | 32788 27586 909845 33.0 | 83.615 % | 226.62/226.75 c | 836369 | 45888 94437 | 36067 30148 1085925 36.0 | 83.615 % | 227.22/227.31 c | 840215 | 45859 94365 | 39673 33990 1344419 39.6 | 83.695 % | 228.12/228.24 c | 845982 | 45854 94354 | 43641 39754 1665902 41.9 | 83.707 % | 229.62/229.74 c | 854631 | 45854 94354 | 48005 48403 2179968 45.0 | 83.707 % | 232.12/232.21 c | 867605 | 45854 94354 | 52805 61377 2869493 46.8 | 83.707 % | 236.12/236.23 c | 887067 | 45854 94354 | 58086 26347 974862 37.0 | 83.707 % | 241.42/241.50 c | 916259 | 45842 94328 | 63895 55530 2672612 48.1 | 83.735 % | 250.62/250.73 c | 960048 | 45791 94207 | 70284 36113 1076244 29.8 | 83.867 % | 264.62/264.78 c | 1025732 | 45769 94155 | 77313 31589 1033687 32.7 | 83.927 % | 286.61/286.73 c | 1124258 | 45765 94145 | 85044 52954 1908600 36.0 | 83.939 % | 321.71/321.84 c | 1272048 | 45697 93969 | 93548 33998 973037 28.6 | 84.147 % | 375.70/375.82 c | 1493731 | 45669 93899 | 102903 83838 2466700 29.4 | 84.231 % | 453.09/453.22 c | 1826256 | 45530 93562 | 113194 118102 4961674 42.0 | 84.627 % | 574.57/574.72 c | 2325044 | 45423 93303 | 124513 79467 2746416 34.6 | 84.931 % | 630.56/630.79 c ============================================================================== 630.56/630.79 c [1mFound solution: -39[0m 630.56/630.79 o -39 630.56/630.79 c ---[ 0]---> Sorter-cost: 0 Base: 630.66/630.82 c ==================================[MINISAT+]================================== 630.66/630.82 c | Conflicts | Original | Learnt | Progress | 630.66/630.82 c | | Clauses Literals | Max Clauses Literals LPC | | 630.66/630.82 c ============================================================================== 630.66/630.82 c | 2534497 | 45402 93261 | 15134 55317 1659578 30.0 | 84.931 % | 630.76/630.93 c | 2534597 | 45402 93261 | 16647 25512 658480 25.8 | 85.047 % | 630.76/630.95 c | 2534747 | 45402 93261 | 18312 25662 669088 26.1 | 85.047 % | 630.76/630.98 c | 2534972 | 45381 93214 | 20143 25885 676813 26.1 | 85.099 % | 630.86/631.02 c | 2535309 | 45381 93214 | 22157 26222 692101 26.4 | 85.099 % | 630.86/631.08 c | 2535816 | 45381 93214 | 24373 26729 719275 26.9 | 85.099 % | 630.96/631.17 c | 2536575 | 45381 93214 | 26810 27488 757885 27.6 | 85.099 % | 631.16/631.31 c | 2537714 | 45381 93214 | 29491 28627 828159 28.9 | 85.099 % | 631.36/631.52 c | 2539422 | 45381 93214 | 32441 30335 900045 29.7 | 85.099 % | 631.66/631.83 c | 2541987 | 45357 93151 | 35685 32899 999008 30.4 | 85.175 % | 632.16/632.31 c | 2545832 | 45321 93069 | 39253 36729 1168735 31.8 | 85.258 % | 632.96/633.12 c | 2551598 | 45317 93059 | 43179 42492 1374598 32.3 | 85.270 % | 634.26/634.47 c | 2560247 | 45317 93059 | 47496 51141 1657135 32.4 | 85.270 % | 636.46/636.63 c | 2573221 | 45309 93039 | 52246 64109 2144339 33.4 | 85.294 % | 639.76/639.97 c | 2592684 | 45309 93039 | 57471 32865 813385 24.7 | 85.294 % | 644.26/644.50 c | 2621877 | 45307 93035 | 63218 62057 2151680 34.7 | 85.298 % | 652.45/652.60 c | 2665666 | 45304 93028 | 69540 46112 1381925 30.0 | 85.306 % | 664.35/664.52 c | 2731350 | 45208 92775 | 76494 47422 1685177 35.5 | 85.585 % | 683.75/683.97 c | 2829876 | 45116 92530 | 84143 76082 2642202 34.7 | 85.843 % | 712.85/713.08 c | 2977665 | 45061 92391 | 92558 66690 2101097 31.5 | 86.011 % | 762.54/762.77 c | 3199349 | 45035 92331 | 101813 37223 1120347 30.1 | 86.078 % | 841.63/841.86 c | 3531874 | 44995 92227 | 111995 96334 3801024 39.5 | 86.206 % | 952.91/953.13 c | 4030662 | 44923 92018 | 123194 88907 3012836 33.9 | 86.413 % | 1112.58/1112.86 c | 4778846 | 44639 91375 | 135514 112840 4211102 37.3 | 86.863 % | 1367.55/1367.87 c | 5901121 | 44346 90726 | 149065 62189 1519336 24.4 | 87.269 % | 1759.19/1759.50 c | 7584532 | 43994 89962 | 163972 152232 5003446 32.9 | 87.663 % | 1800.09/1800.40 c 1800.09/1800.40 c *** TERMINATED *** 1800.09/1800.40 s SATISFIABLE 1800.09/1800.40 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -39
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-3721300-1338554480/watcher-3721300-1338554480 -o /tmp/evaluation-result-3721300-1338554480/solver-3721300-1338554480 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721300-1338554480.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.19 2.09 1.78 3/176 7445 /proc/meminfo: memFree=28446368/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=1264 CPUtime=0 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 185 0 0 0 0 0 0 0 20 0 1 0 321572597 1294336 143 33554432000 134512640 135395479 4294155968 4294154368 135003007 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 316 143 74 216 0 98 0 [startup+0.0607409 s] /proc/loadavg: 2.19 2.09 1.78 3/176 7445 /proc/meminfo: memFree=28446368/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=2484 CPUtime=0.05 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 474 0 0 0 5 0 0 0 20 0 1 0 321572597 2543616 432 33554432000 134512640 135395479 4294155968 4294154528 134809939 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 621 432 74 216 0 403 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2484 [startup+0.10026 s] /proc/loadavg: 2.19 2.09 1.78 3/176 7445 /proc/meminfo: memFree=28446368/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=3332 CPUtime=0.09 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 683 0 0 0 9 0 0 0 20 0 1 0 321572597 3411968 641 33554432000 134512640 135395479 4294155968 4294154380 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 833 641 74 216 0 615 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3332 [startup+0.300226 s] /proc/loadavg: 2.19 2.09 1.78 3/176 7445 /proc/meminfo: memFree=28446368/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=7520 CPUtime=0.29 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 1731 0 0 0 29 0 0 0 20 0 1 0 321572597 7700480 1689 33554432000 134512640 135395479 4294155968 4294154800 134618678 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 1880 1689 74 216 0 1662 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7520 [startup+0.700238 s] /proc/loadavg: 2.19 2.09 1.78 3/176 7445 /proc/meminfo: memFree=28446368/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=16032 CPUtime=0.69 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 3888 0 0 0 66 3 0 0 20 0 1 0 321572597 16416768 3738 33554432000 134512640 135395479 4294155968 4294154432 134588652 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 4008 3738 110 216 0 3790 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16032 [startup+1.50023 s] /proc/loadavg: 2.19 2.09 1.78 3/177 7446 /proc/meminfo: memFree=28431860/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=16100 CPUtime=1.49 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 3923 0 0 0 146 3 0 0 20 0 1 0 321572597 16486400 3773 33554432000 134512640 135395479 4294155968 4294154320 134581071 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 4025 3773 110 216 0 3807 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16100 [startup+3.10023 s] /proc/loadavg: 2.17 2.09 1.78 3/177 7446 /proc/meminfo: memFree=28431364/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=16100 CPUtime=3.09 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 3923 0 0 0 306 3 0 0 20 0 1 0 321572597 16486400 3773 33554432000 134512640 135395479 4294155968 4294154320 134581028 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 4025 3773 110 216 0 3807 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16100 [startup+6.30022 s] /proc/loadavg: 2.17 2.09 1.78 3/177 7446 /proc/meminfo: memFree=28430248/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=18856 CPUtime=6.29 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 4613 0 0 0 626 3 0 0 20 0 1 0 321572597 19308544 4463 33554432000 134512640 135395479 4294155968 4294154288 134573043 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 4714 4463 110 216 0 4496 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18856 [startup+12.7002 s] /proc/loadavg: 2.16 2.09 1.79 3/177 7447 /proc/meminfo: memFree=28418740/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=30072 CPUtime=12.69 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 7398 0 0 0 1265 4 0 0 20 0 1 0 321572597 30793728 7248 33554432000 134512640 135395479 4294155968 4294154320 134581028 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 7518 7248 110 216 0 7300 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30072 [startup+25.5002 s] /proc/loadavg: 2.12 2.09 1.79 3/177 7447 /proc/meminfo: memFree=28411848/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=35736 CPUtime=25.48 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 8844 0 0 0 2544 4 0 0 20 0 1 0 321572597 36593664 8692 33554432000 134512640 135395479 4294155968 4294154320 134580943 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 8934 8692 110 216 0 8716 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35736 [startup+51.1002 s] /proc/loadavg: 2.08 2.08 1.79 3/177 7447 /proc/meminfo: memFree=28403088/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=44228 CPUtime=51.07 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 10956 0 0 0 5102 5 0 0 20 0 1 0 321572597 45289472 10795 33554432000 134512640 135395479 4294155968 4294153936 134579312 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 11057 10795 110 216 0 10839 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44228 [startup+102.306 s] /proc/loadavg: 2.10 2.08 1.81 3/177 7495 /proc/meminfo: memFree=28356188/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=51844 CPUtime=102.26 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 12842 0 0 0 10221 5 0 0 20 0 1 0 321572597 53088256 12681 33554432000 134512640 135395479 4294155968 4294154320 134580908 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 12961 12681 110 216 0 12743 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 51844 [startup+162.3 s] /proc/loadavg: 2.04 2.06 1.82 3/177 7495 /proc/meminfo: memFree=28286556/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=67528 CPUtime=162.25 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 16769 0 0 0 16218 7 0 0 20 0 1 0 321572597 69148672 16608 33554432000 134512640 135395479 4294155968 4294153840 134574486 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 16882 16608 110 216 0 16664 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 67528 [startup+222.3 s] /proc/loadavg: 2.06 2.06 1.83 3/177 7495 /proc/meminfo: memFree=28272956/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=70064 CPUtime=222.22 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17418 0 0 0 22215 7 0 0 20 0 1 0 321572597 71745536 17246 33554432000 134512640 135395479 4294155968 4294154320 134580947 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17516 17246 110 216 0 17298 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 70064 [startup+282.3 s] /proc/loadavg: 2.10 2.07 1.84 3/177 7495 /proc/meminfo: memFree=28233136/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=70064 CPUtime=282.21 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17418 0 0 0 28214 7 0 0 20 0 1 0 321572597 71745536 17246 33554432000 134512640 135395479 4294155968 4294154432 134588991 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17516 17246 110 216 0 17298 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 70064 [startup+342.3 s] /proc/loadavg: 2.04 2.05 1.85 3/177 7496 /proc/meminfo: memFree=28200584/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=70064 CPUtime=342.2 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17419 0 0 0 34213 7 0 0 20 0 1 0 321572597 71745536 17250 33554432000 134512640 135395479 4294155968 4294152080 134592486 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17516 17250 110 216 0 17298 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 70064 [startup+402.3 s] /proc/loadavg: 2.05 2.05 1.86 3/177 7496 /proc/meminfo: memFree=28200520/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=70064 CPUtime=402.19 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17426 0 0 0 40212 7 0 0 20 0 1 0 321572597 71745536 17257 33554432000 134512640 135395479 4294155968 4294153840 134574486 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17516 17257 110 216 0 17298 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 70064 [startup+462.3 s] /proc/loadavg: 2.02 2.04 1.86 3/177 7496 /proc/meminfo: memFree=28188368/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=70064 CPUtime=462.18 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17436 0 0 0 46211 7 0 0 20 0 1 0 321572597 71745536 17267 33554432000 134512640 135395479 4294155968 4294153840 134573868 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17516 17267 110 216 0 17298 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 70064 [startup+522.3 s] /proc/loadavg: 2.06 2.05 1.88 3/178 7499 /proc/meminfo: memFree=28178780/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=70064 CPUtime=522.17 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17437 0 0 0 52210 7 0 0 20 0 1 0 321572597 71745536 17268 33554432000 134512640 135395479 4294155968 4294153840 134573832 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17516 17268 110 216 0 17298 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 70064 [startup+582.3 s] /proc/loadavg: 2.02 2.04 1.88 3/177 7499 /proc/meminfo: memFree=28178860/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=70064 CPUtime=582.17 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17437 0 0 0 58210 7 0 0 20 0 1 0 321572597 71745536 17268 33554432000 134512640 135395479 4294155968 4294154320 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17516 17268 110 216 0 17298 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 70064 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.03 2.02 1.91 3/177 7500 /proc/meminfo: memFree=28125456/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=70332 CPUtime=822.13 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17449 0 0 0 82206 7 0 0 20 0 1 0 321572597 72019968 17280 33554432000 134512640 135395479 4294155968 4294154016 134584044 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17583 17280 110 216 0 17365 0 Current children cumulated CPU time (s) 822.13 Current children cumulated vsize (KiB) 70332 [startup+882.3 s] /proc/loadavg: 2.01 2.02 1.91 3/177 7500 /proc/meminfo: memFree=28083420/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=70332 CPUtime=882.12 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17449 0 0 0 88205 7 0 0 20 0 1 0 321572597 72019968 17280 33554432000 134512640 135395479 4294155968 4294154320 134581183 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17583 17280 110 216 0 17365 0 Current children cumulated CPU time (s) 882.12 Current children cumulated vsize (KiB) 70332 [startup+942.3 s] /proc/loadavg: 2.00 2.01 1.91 3/177 7501 /proc/meminfo: memFree=28081188/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=70496 CPUtime=942.11 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17478 0 0 0 94204 7 0 0 20 0 1 0 321572597 72187904 17309 33554432000 134512640 135395479 4294155968 4294154320 134580973 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17624 17309 110 216 0 17406 0 Current children cumulated CPU time (s) 942.11 Current children cumulated vsize (KiB) 70496 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 1.91 3/177 7501 /proc/meminfo: memFree=28081116/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=70496 CPUtime=1002.1 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17478 0 0 0 100203 7 0 0 20 0 1 0 321572597 72187904 17309 33554432000 134512640 135395479 4294155968 4294154320 134580768 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17624 17309 110 216 0 17406 0 Current children cumulated CPU time (s) 1002.1 Current children cumulated vsize (KiB) 70496 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 7501 /proc/meminfo: memFree=28081116/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=70496 CPUtime=1062.09 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17478 0 0 0 106202 7 0 0 20 0 1 0 321572597 72187904 17309 33554432000 134512640 135395479 4294155968 4294154320 134581028 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17624 17309 110 216 0 17406 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 70496 [startup+1122.3 s] /proc/loadavg: 2.03 2.01 1.91 3/178 7504 /proc/meminfo: memFree=28080332/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=70660 CPUtime=1122.08 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17510 0 0 0 112201 7 0 0 20 0 1 0 321572597 72355840 17341 33554432000 134512640 135395479 4294155968 4294154016 134584044 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17665 17341 110 216 0 17447 0 Current children cumulated CPU time (s) 1122.08 Current children cumulated vsize (KiB) 70660 [startup+1182.3 s] /proc/loadavg: 2.01 2.01 1.91 5/182 7512 /proc/meminfo: memFree=28080192/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=70824 CPUtime=1182.07 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17552 0 0 0 118200 7 0 0 20 0 1 0 321572597 72523776 17383 33554432000 134512640 135395479 4294155968 4294154320 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17706 17383 110 216 0 17488 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 70824 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 7528 /proc/meminfo: memFree=28080372/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=70824 CPUtime=1242.07 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17555 0 0 0 124199 8 0 0 20 0 1 0 321572597 72523776 17386 33554432000 134512640 135395479 4294155968 4294154320 134581412 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17706 17386 110 216 0 17488 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 70824 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 7528 /proc/meminfo: memFree=28080124/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=70824 CPUtime=1302.07 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17555 0 0 0 130199 8 0 0 20 0 1 0 321572597 72523776 17386 33554432000 134512640 135395479 4294155968 4294154320 134580756 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17706 17386 110 216 0 17488 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 70824 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 7528 /proc/meminfo: memFree=28079876/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=70824 CPUtime=1362.05 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17556 0 0 0 136197 8 0 0 20 0 1 0 321572597 72523776 17387 33554432000 134512640 135395479 4294155968 4294153936 134577189 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17706 17387 110 216 0 17488 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 70824 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.91 3/177 7528 /proc/meminfo: memFree=28080000/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=71152 CPUtime=1422.05 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17641 0 0 0 142197 8 0 0 20 0 1 0 321572597 72859648 17472 33554432000 134512640 135395479 4294155968 4294154320 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17788 17472 110 216 0 17570 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 71152 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 7528 /proc/meminfo: memFree=28080124/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=71152 CPUtime=1482.03 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17642 0 0 0 148195 8 0 0 20 0 1 0 321572597 72859648 17473 33554432000 134512640 135395479 4294155968 4294154320 134581469 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17788 17473 110 216 0 17570 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 71152 [startup+1542.3 s] /proc/loadavg: 2.04 2.01 1.92 3/177 7529 /proc/meminfo: memFree=28079628/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=71496 CPUtime=1542.03 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17707 0 0 0 154195 8 0 0 20 0 1 0 321572597 73211904 17538 33554432000 134512640 135395479 4294155968 4294154320 134580941 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17874 17538 110 216 0 17656 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 71496 [startup+1602.3 s] /proc/loadavg: 2.05 2.02 1.93 3/177 7529 /proc/meminfo: memFree=28079132/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=71952 CPUtime=1602.02 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17773 0 0 0 160194 8 0 0 20 0 1 0 321572597 73678848 17604 33554432000 134512640 135395479 4294155968 4294154320 134581014 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 17988 17604 110 216 0 17770 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 71952 [startup+1662.3 s] /proc/loadavg: 2.02 2.02 1.93 3/177 7529 /proc/meminfo: memFree=28078944/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=72168 CPUtime=1662.01 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17831 0 0 0 166193 8 0 0 20 0 1 0 321572597 73900032 17668 33554432000 134512640 135395479 4294155968 4294153840 134574238 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 18042 17668 110 216 0 17824 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 72168 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.93 3/178 7530 /proc/meminfo: memFree=28078672/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=72328 CPUtime=1722 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17872 0 0 0 172192 8 0 0 20 0 1 0 321572597 74063872 17709 33554432000 134512640 135395479 4294155968 4294153936 134576171 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 18082 17709 110 216 0 17864 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 72328 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.93 3/178 7532 /proc/meminfo: memFree=28078688/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=72700 CPUtime=1781.99 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17956 0 0 0 178191 8 0 0 20 0 1 0 321572597 74444800 17793 33554432000 134512640 135395479 4294155968 4294154320 134580947 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 18175 17793 110 216 0 17957 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 72700 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 1.93 3/177 7532 /proc/meminfo: memFree=28078820/32873844 swapFree=7108/7108 [pid=7445] ppid=7443 vsize=72700 CPUtime=1800.09 cores=0,2,4,6 /proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17957 0 0 0 180001 8 0 0 20 0 1 0 321572597 74444800 17794 33554432000 134512640 135395479 4294155968 4294154320 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/7445/statm: 18175 17794 110 216 0 17957 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 72700 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.41 CPU time (s): 1800.1 CPU user time (s): 1800.02 CPU system time (s): 0.085986 CPU usage (%): 99.983 Max. virtual memory (cumulated for all children) (KiB): 72700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.02 system time used= 0.085986 maximum resident set size= 71184 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17959 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= 32 involuntary context switches= 1875 runsolver used 3.2825 second user time and 8.60269 second system time The end
Begin job on node139 at 2012-06-01 14:41:20 IDJOB=3721300 IDBENCH=2244 IDSOLVER=2306 FILE ID=node139/3721300-1338554480 RUNJOBID= node139-1338552572-7189 PBS_JOBID= 14635845 Free space on /tmp= 71096 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721300-1338554480/watcher-3721300-1338554480 -o /tmp/evaluation-result-3721300-1338554480/solver-3721300-1338554480 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721300-1338554480.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7262f9f4ab1a3ada75b3b140acf97f7d RANDOM SEED=1911456512 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 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 : 2666.750 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 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: 28446904 kB Buffers: 454228 kB Cached: 3085344 kB SwapCached: 828 kB Active: 1563484 kB Inactive: 2005020 kB Active(anon): 22728 kB Inactive(anon): 7964 kB Active(file): 1540756 kB Inactive(file): 1997056 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67104688 kB Dirty: 3132 kB Writeback: 0 kB AnonPages: 34464 kB Mapped: 11948 kB Shmem: 8 kB Slab: 719016 kB SReclaimable: 161400 kB SUnreclaim: 557616 kB KernelStack: 1456 kB PageTables: 3640 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 145828 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721300-1338554480.opb Free space on /tmp at the end= 71092 MiB End job on node139 at 2012-06-01 15:11:23