Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.13 | 1800.07 |
Name | /PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_10-unsat--soft-66-100-0.wbo |
MD5SUM | 257e79f814ec2395c606dee738edc728 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 3518 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 9638 |
Total number of constraints | 30220 |
Number of soft constraints | 10314 |
Number of constraints which are clauses | 29908 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 312 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 38 |
Top cost | 520266 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 520265 |
Biggest number in a constraint | 20 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 254 |
Number of bits of the biggest sum of numbers | 8 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689775-1277917096.wbo. 0.00/0.00 c Instance file HOME/instance-2689775-1277917096.wbo 0.00/0.00 c File size is 918444 bytes. 0.00/0.06 c Highest Coefficient sum: 254 0.00/0.06 c ============================[ Problem Statistics ]============================= 0.00/0.06 c | | 0.00/0.06 c | Parsing time: 0.06 s | 0.00/0.06 c | Number Variables: 9638 | 0.00/0.06 c | Number Clauses: 29908 | 0.00/0.06 c | Number Cardinality: 0 | 0.00/0.06 c | Number PB Constraints: 312 | 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 3762 30220 41561 | 10073 0 nan | 0.000 % | 0.00/0.08 c | 101 | 3762 30220 41561 | 11080 101 40 | 60.967 % | 0.08/0.09 c | 252 | 3732 30220 41561 | 12188 251 49 | 61.278 % | 0.09/0.12 c | 477 | 3732 30220 41561 | 13407 476 48 | 61.278 % | 0.09/0.16 c | 814 | 3730 30220 41561 | 14748 812 48 | 61.299 % | 0.19/0.23 c | 1321 | 3686 30220 41561 | 16223 1317 47 | 61.756 % | 0.29/0.33 c | 2082 | 3674 30220 41561 | 17845 1810 46 | 61.880 % | 0.49/0.50 c | 3222 | 3674 30220 41561 | 19630 2950 58 | 61.880 % | 0.69/0.74 c | 4930 | 3674 30220 41561 | 21593 4658 60 | 61.880 % | 1.09/1.20 c | 7492 | 3592 30220 41561 | 23752 5097 56 | 62.731 % | 1.89/1.92 c | 11337 | 3568 30220 41561 | 26127 8576 83 | 63.063 % | 3.20/3.23 c | 17104 | 3560 30220 41561 | 28740 14342 107 | 63.063 % | 5.80/5.82 c | 25754 | 3560 30220 41561 | 31614 22992 143 | 63.063 % | 7.09/7.19 c =============================================================================== 7.39/7.42 c core #1 7.39/7.42 c ============================[ Search Statistics ]============================== 7.39/7.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.42 c =============================================================================== 7.39/7.42 c | 0 | 4916 31875 49859 | 10625 0 nan | 0.000 % | 7.39/7.43 c | 100 | 4916 31875 49859 | 11687 100 36 | 54.448 % | 7.39/7.45 c | 250 | 4916 31875 49859 | 12856 250 51 | 54.448 % | 7.39/7.49 c | 475 | 4880 31875 49859 | 14141 474 50 | 54.781 % | 7.49/7.54 c | 812 | 4868 31875 49859 | 15556 810 49 | 54.893 % | 7.49/7.60 c | 1319 | 4868 31875 49859 | 17111 1317 49 | 54.893 % | 7.69/7.71 c | 2079 | 4868 31875 49859 | 18822 2077 56 | 54.893 % | 7.79/7.89 c | 3220 | 4868 31875 49859 | 20705 3218 60 | 54.893 % | 8.09/8.19 c | 4928 | 4868 31875 49859 | 22775 4926 68 | 54.893 % | 8.59/8.60 c | 7490 | 4868 31875 49859 | 25053 7488 80 | 54.893 % | 9.39/9.43 c | 11334 | 4802 31875 49859 | 27558 8574 79 | 55.504 % | 10.70/10.76 c | 17100 | 4791 31875 49859 | 30314 10202 76 | 55.606 % | 12.90/12.94 c | 25750 | 4791 31875 49859 | 33345 18852 101 | 55.606 % | 14.49/14.53 c =============================================================================== 14.69/14.77 c core #2 14.69/14.77 c ============================[ Search Statistics ]============================== 14.69/14.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.69/14.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.69/14.77 c =============================================================================== 14.69/14.77 c | 0 | 6082 33548 58206 | 11182 0 nan | 0.000 % | 14.69/14.79 c | 100 | 6080 33548 58206 | 12300 100 38 | 49.373 % | 14.79/14.81 c | 251 | 6054 33548 58206 | 13531 250 41 | 49.373 % | 14.79/14.84 c | 476 | 6054 33548 58206 | 14884 475 41 | 49.373 % | 14.79/14.89 c | 813 | 6054 33548 58206 | 16372 812 46 | 49.373 % | 14.89/14.96 c | 1319 | 6054 33548 58206 | 18009 1318 51 | 49.373 % | 14.99/15.07 c | 2079 | 6054 33548 58206 | 19810 2078 54 | 49.373 % | 15.19/15.27 c | 3218 | 6014 33548 58206 | 21791 2764 55 | 49.707 % | 15.49/15.55 c | 4926 | 6014 33548 58206 | 23971 4472 62 | 49.707 % | 15.89/16.00 c | 7488 | 6014 33548 58206 | 26368 7034 67 | 49.707 % | 16.79/16.87 c | 11332 | 5975 33548 58206 | 29004 10469 76 | 50.033 % | 18.20/18.28 c | 17099 | 5879 33548 58206 | 31905 12302 71 | 50.836 % | 20.70/20.78 c | 25750 | 5876 33548 58206 | 35095 20953 113 | 50.937 % | 24.29/24.31 c =============================================================================== 24.59/24.60 c core #3 24.59/24.60 c ============================[ Search Statistics ]============================== 24.59/24.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.59/24.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.59/24.60 c =============================================================================== 24.59/24.60 c | 0 | 7257 35221 66618 | 11740 0 nan | 0.000 % | 24.59/24.62 c | 101 | 7257 35221 66618 | 12914 101 38 | 44.742 % | 24.59/24.64 c | 252 | 7257 35221 66618 | 14205 252 36 | 44.742 % | 24.59/24.68 c | 477 | 7213 35221 66618 | 15626 476 40 | 45.077 % | 24.69/24.75 c | 815 | 7193 35221 66618 | 17189 813 47 | 45.230 % | 24.79/24.84 c | 1321 | 7193 35221 66618 | 18907 1319 55 | 45.230 % | 24.89/24.95 c | 2081 | 7193 35221 66618 | 20798 2079 56 | 45.230 % | 25.09/25.17 c | 3220 | 7193 35221 66618 | 22878 3218 60 | 45.230 % | 25.39/25.48 c | 4928 | 7193 35221 66618 | 25166 4926 69 | 45.230 % | 25.99/26.03 c | 7490 | 7193 35221 66618 | 27683 7488 81 | 45.230 % | 26.89/26.99 c | 11334 | 7193 35221 66618 | 30451 11332 105 | 45.230 % | 28.39/28.42 c | 17100 | 7193 35221 66618 | 33496 17098 106 | 45.230 % | 31.19/31.29 c | 25749 | 7169 35221 66618 | 36846 25368 129 | 45.412 % | 36.39/36.47 c | 38725 | 7156 35221 66618 | 40530 38344 157 | 45.740 % | 42.29/42.38 c =============================================================================== 42.80/42.86 c core #4 42.80/42.86 c ============================[ Search Statistics ]============================== 42.80/42.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.80/42.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.80/42.86 c =============================================================================== 42.80/42.86 c | 0 | 8502 36964 75323 | 12321 0 nan | 0.000 % | 42.80/42.89 c | 101 | 8502 36964 75323 | 13553 101 37 | 40.860 % | 42.90/42.91 c | 252 | 8502 36964 75323 | 14908 252 41 | 40.860 % | 42.90/42.95 c | 480 | 8458 36964 75323 | 16399 479 40 | 41.166 % | 42.99/43.01 c | 817 | 8454 36964 75323 | 18039 815 45 | 41.194 % | 43.10/43.10 c | 1324 | 8454 36964 75323 | 19843 1322 48 | 41.194 % | 43.19/43.24 c | 2083 | 8454 36964 75323 | 21827 2081 62 | 41.194 % | 43.39/43.47 c | 3223 | 8454 36964 75323 | 24010 3221 62 | 41.194 % | 43.79/43.82 c | 4931 | 8454 36964 75323 | 26411 4929 72 | 41.194 % | 44.39/44.40 c | 7493 | 8454 36964 75323 | 29053 7491 79 | 41.194 % | 45.30/45.33 c | 11338 | 8424 36964 75323 | 31958 11335 85 | 41.402 % | 46.79/46.82 c | 17104 | 8424 36964 75323 | 35154 17101 100 | 41.402 % | 49.59/49.65 c | 25754 | 8424 36964 75323 | 38669 25751 127 | 41.402 % | 54.69/54.78 c | 38732 | 8243 36964 75323 | 42536 23021 114 | 42.662 % | 60.09/60.16 c =============================================================================== 60.59/60.64 c core #5 60.59/60.64 c ============================[ Search Statistics ]============================== 60.59/60.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 60.59/60.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 60.59/60.64 c =============================================================================== 60.59/60.64 c | 0 | 9747 38675 84059 | 12891 0 nan | 0.000 % | 60.59/60.66 c | 100 | 9747 38675 84059 | 14180 100 37 | 37.869 % | 60.59/60.69 c | 250 | 9745 38675 84059 | 15598 250 42 | 37.869 % | 60.69/60.72 c | 476 | 9703 38675 84059 | 17158 475 45 | 37.869 % | 60.69/60.78 c | 813 | 9699 38675 84059 | 18874 811 51 | 37.895 % | 60.79/60.88 c | 1321 | 9699 38675 84059 | 20762 1319 56 | 37.895 % | 60.99/61.03 c | 2081 | 9699 38675 84059 | 22838 2079 62 | 37.895 % | 61.19/61.25 c | 3220 | 9699 38675 84059 | 25122 3218 85 | 37.895 % | 61.60/61.61 c | 4928 | 9699 38675 84059 | 27634 4926 79 | 37.895 % | 62.09/62.18 c | 7490 | 9699 38675 84059 | 30397 7488 96 | 37.895 % | 63.20/63.23 c | 11334 | 9699 38675 84059 | 33437 11332 107 | 37.895 % | 64.90/64.93 c | 17101 | 9671 38675 84059 | 36781 16396 115 | 38.074 % | 67.89/67.98 c | 25750 | 9671 38675 84059 | 40459 25045 131 | 38.074 % | 73.19/73.23 c | 38725 | 9556 38675 84059 | 44505 21890 99 | 38.926 % | 78.80/78.86 c =============================================================================== 79.29/79.36 c core #6 79.29/79.36 c ============================[ Search Statistics ]============================== 79.29/79.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.29/79.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.29/79.36 c =============================================================================== 79.29/79.36 c | 0 | 11022 40394 92667 | 13464 0 nan | 0.000 % | 79.29/79.39 c | 104 | 11022 40394 92667 | 14811 104 34 | 34.916 % | 79.39/79.41 c | 254 | 11022 40394 92667 | 16292 254 39 | 34.916 % | 79.39/79.46 c | 479 | 10994 40394 92667 | 17921 478 42 | 35.034 % | 79.49/79.52 c | 816 | 10974 40394 92667 | 19713 813 49 | 35.034 % | 79.59/79.63 c | 1323 | 10974 40394 92667 | 21684 1320 51 | 35.034 % | 79.69/79.79 c | 2082 | 10974 40394 92667 | 23853 2079 64 | 35.034 % | 80.00/80.01 c | 3222 | 10974 40394 92667 | 26238 3219 63 | 35.034 % | 80.30/80.38 c | 4930 | 10974 40394 92667 | 28862 4927 68 | 35.034 % | 80.99/81.04 c | 7492 | 10934 40394 92667 | 31748 6853 69 | 35.271 % | 81.90/81.99 c | 11336 | 10934 40394 92667 | 34923 10697 84 | 35.271 % | 83.79/83.80 c | 17103 | 10934 40394 92667 | 38416 16464 108 | 35.271 % | 86.69/86.72 c | 25753 | 10910 40394 92667 | 42257 23425 112 | 35.413 % | 91.79/91.86 c | 38728 | 10886 40394 92667 | 46483 36172 126 | 35.674 % | 100.69/100.73 c | 58190 | 10583 40394 92667 | 51132 12810 64 | 37.627 % | 101.40/101.42 c =============================================================================== 102.00/102.01 c core #7 102.00/102.01 c ============================[ Search Statistics ]============================== 102.00/102.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.00/102.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.00/102.01 c =============================================================================== 102.00/102.01 c | 0 | 12310 42090 101413 | 14030 0 nan | 0.000 % | 102.00/102.04 c | 100 | 12310 42090 101413 | 15433 100 44 | 32.251 % | 102.00/102.07 c | 250 | 12310 42090 101413 | 16976 250 44 | 32.251 % | 102.09/102.11 c | 475 | 12310 42090 101413 | 18673 475 42 | 32.251 % | 102.09/102.16 c | 812 | 12310 42090 101413 | 20541 812 46 | 32.251 % | 102.20/102.26 c | 1318 | 12298 42090 101413 | 22595 1317 51 | 32.317 % | 102.40/102.41 c | 2078 | 12298 42090 101413 | 24855 2077 59 | 32.317 % | 102.60/102.66 c | 3217 | 12296 42090 101413 | 27340 3215 64 | 32.328 % | 102.99/103.06 c | 4925 | 12296 42090 101413 | 30074 4923 72 | 32.328 % | 103.59/103.68 c | 7490 | 12242 42090 101413 | 33082 7485 78 | 32.625 % | 104.70/104.70 c | 11335 | 12210 42090 101413 | 36390 10238 75 | 32.801 % | 106.40/106.42 c | 17101 | 12210 42090 101413 | 40029 16004 90 | 32.801 % | 109.19/109.28 c | 25750 | 12186 42090 101413 | 44032 22264 94 | 32.933 % | 115.09/115.13 c | 38726 | 12138 42090 101413 | 48435 35238 132 | 33.588 % | 124.89/124.97 c | 58187 | 12065 42090 101413 | 53278 49802 161 | 33.610 % | 133.00/133.01 c =============================================================================== 133.70/133.73 c core #8 133.70/133.73 c ============================[ Search Statistics ]============================== 133.70/133.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 133.70/133.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 133.70/133.73 c =============================================================================== 133.70/133.73 c | 0 | 13615 43796 110093 | 14598 0 nan | 0.000 % | 133.70/133.77 c | 101 | 13586 43796 110093 | 16058 100 53 | 30.254 % | 133.79/133.81 c | 251 | 13584 43796 110093 | 17664 250 48 | 30.336 % | 133.79/133.88 c | 476 | 13567 43796 110093 | 19430 473 47 | 30.336 % | 133.90/133.94 c | 813 | 13567 43796 110093 | 21373 810 49 | 30.336 % | 134.00/134.06 c | 1320 | 13567 43796 110093 | 23511 1317 50 | 30.336 % | 134.20/134.25 c | 2079 | 13567 43796 110093 | 25862 2076 53 | 30.336 % | 134.49/134.53 c | 3218 | 13567 43796 110093 | 28448 3215 61 | 30.336 % | 135.00/135.02 c | 4928 | 13567 43796 110093 | 31293 4925 67 | 30.336 % | 135.69/135.79 c | 7490 | 13567 43796 110093 | 34422 7487 75 | 30.336 % | 136.90/136.91 c | 11334 | 13567 43796 110093 | 37865 11331 92 | 30.336 % | 138.70/138.77 c | 17100 | 13567 43796 110093 | 41651 17097 95 | 30.336 % | 141.70/141.74 c | 25749 | 13567 43796 110093 | 45816 25746 104 | 30.336 % | 147.40/147.43 c | 38723 | 13567 43796 110093 | 50398 38720 117 | 30.336 % | 156.59/156.67 c | 58185 | 13333 43796 110093 | 55438 28277 82 | 31.538 % | 163.39/163.42 c =============================================================================== 164.09/164.15 c core #9 164.09/164.15 c ============================[ Search Statistics ]============================== 164.09/164.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 164.09/164.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 164.09/164.15 c =============================================================================== 164.09/164.15 c | 0 | 14999 45486 119048 | 15162 0 nan | 0.000 % | 164.09/164.19 c | 101 | 14999 45486 119048 | 16678 101 28 | 27.948 % | 164.19/164.24 c | 253 | 14995 45486 119048 | 18346 252 44 | 27.968 % | 164.19/164.29 c | 478 | 14995 45486 119048 | 20180 477 43 | 27.968 % | 164.39/164.41 c | 815 | 14943 45486 119048 | 22198 813 46 | 28.217 % | 164.49/164.57 c | 1321 | 14943 45486 119048 | 24418 1319 51 | 28.217 % | 164.80/164.83 c | 2080 | 14943 45486 119048 | 26860 2078 60 | 28.217 % | 165.20/165.20 c | 3219 | 14943 45486 119048 | 29546 3217 62 | 28.217 % | 165.59/165.68 c | 4927 | 14943 45486 119048 | 32501 4925 66 | 28.217 % | 166.40/166.42 c | 7489 | 14943 45486 119048 | 35751 7487 73 | 28.217 % | 167.70/167.77 c | 11333 | 14943 45486 119048 | 39326 11331 80 | 28.217 % | 169.41/169.48 c | 17099 | 14943 45486 119048 | 43258 17097 92 | 28.217 % | 172.90/172.98 c | 25748 | 14915 45486 119048 | 47584 25052 99 | 28.352 % | 179.20/179.26 c | 38724 | 14853 45486 119048 | 52343 32011 120 | 28.650 % | 189.80/189.88 c | 58185 | 14814 45486 119048 | 57577 49037 144 | 28.837 % | 206.80/206.84 c | 87378 | 14780 45486 119048 | 63335 28585 138 | 29.154 % | 218.10/218.14 c =============================================================================== 219.29/219.36 c core #10 219.29/219.36 c ============================[ Search Statistics ]============================== 219.29/219.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.29/219.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.29/219.36 c =============================================================================== 219.29/219.36 c | 0 | 16530 47267 128339 | 15755 0 nan | 0.000 % | 219.40/219.40 c | 100 | 16529 47267 128339 | 17331 100 49 | 26.195 % | 219.40/219.43 c | 250 | 16529 47267 128339 | 19064 250 56 | 26.195 % | 219.40/219.47 c | 476 | 16494 47267 128339 | 20970 475 50 | 26.195 % | 219.50/219.54 c | 815 | 16494 47267 128339 | 23067 814 49 | 26.195 % | 219.60/219.64 c | 1321 | 16494 47267 128339 | 25374 1320 52 | 26.195 % | 219.80/219.82 c | 2080 | 16494 47267 128339 | 27912 2079 66 | 26.195 % | 220.00/220.08 c | 3219 | 16486 47267 128339 | 30703 3217 64 | 26.231 % | 220.40/220.49 c | 4927 | 16486 47267 128339 | 33773 4925 69 | 26.231 % | 221.20/221.20 c | 7490 | 16486 47267 128339 | 37151 7488 87 | 26.231 % | 222.21/222.25 c | 11336 | 16486 47267 128339 | 40866 11334 82 | 26.231 % | 224.00/224.00 c | 17102 | 16486 47267 128339 | 44952 17100 90 | 26.231 % | 227.10/227.19 c | 25753 | 16456 47267 128339 | 49448 25748 114 | 26.365 % | 232.80/232.81 c | 38728 | 16456 47267 128339 | 54392 38723 137 | 26.365 % | 242.60/242.61 c | 58189 | 16386 47267 128339 | 59832 52428 140 | 26.687 % | 258.80/258.84 c | 87381 | 16297 47267 128339 | 65815 21514 127 | 27.219 % | 281.51/281.56 c =============================================================================== 283.00/283.09 c core #11 283.00/283.09 c ============================[ Search Statistics ]============================== 283.00/283.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 283.00/283.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 283.00/283.09 c =============================================================================== 283.00/283.09 c | 0 | 18057 49104 137785 | 16368 0 nan | 0.000 % | 283.10/283.14 c | 100 | 18057 49104 137785 | 18004 100 34 | 24.362 % | 283.10/283.17 c | 250 | 18057 49104 137785 | 19805 250 37 | 24.362 % | 283.20/283.21 c | 475 | 18021 49104 137785 | 21785 474 43 | 24.513 % | 283.20/283.29 c | 812 | 18020 49104 137785 | 23964 811 45 | 24.580 % | 283.30/283.39 c | 1318 | 18005 49104 137785 | 26360 1316 49 | 24.655 % | 283.60/283.61 c | 2079 | 17987 49104 137785 | 28996 2076 52 | 24.655 % | 283.80/283.89 c | 3218 | 17975 49104 137785 | 31896 3214 55 | 24.706 % | 284.30/284.34 c | 4927 | 17971 49104 137785 | 35086 4922 68 | 24.723 % | 284.90/284.98 c | 7490 | 17971 49104 137785 | 38594 7485 68 | 24.723 % | 286.10/286.11 c | 11336 | 17962 49104 137785 | 42454 9897 67 | 24.760 % | 288.00/288.04 c | 17102 | 17962 49104 137785 | 46699 15663 79 | 24.760 % | 291.20/291.21 c | 25752 | 17962 49104 137785 | 51369 24313 94 | 24.760 % | 296.70/296.73 c | 38726 | 17962 49104 137785 | 56506 37287 107 | 24.760 % | 307.30/307.32 c | 58187 | 17921 49104 137785 | 62157 55561 132 | 25.062 % | 324.10/324.10 c | 87379 | 17880 49104 137785 | 68373 25289 146 | 25.267 % | 351.00/351.07 c | 131168 | 17837 49104 137785 | 75210 68777 227 | 25.284 % | 370.20/370.28 c =============================================================================== 372.30/372.36 c core #12 372.30/372.36 c ============================[ Search Statistics ]============================== 372.30/372.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 372.30/372.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 372.30/372.36 c =============================================================================== 372.30/372.36 c | 0 | 19639 50951 147315 | 16983 0 nan | 0.000 % | 372.40/372.42 c | 100 | 19639 50951 147315 | 18682 100 70 | 22.848 % | 372.40/372.45 c | 250 | 19635 50951 147315 | 20550 249 50 | 22.864 % | 372.50/372.51 c | 475 | 19635 50951 147315 | 22605 474 47 | 22.864 % | 372.50/372.59 c | 813 | 19635 50951 147315 | 24865 812 58 | 22.864 % | 372.70/372.73 c | 1322 | 19635 50951 147315 | 27352 1321 59 | 22.864 % | 372.91/372.95 c | 2081 | 19591 50951 147315 | 30087 2079 71 | 23.037 % | 373.30/373.30 c | 3220 | 19591 50951 147315 | 33096 3218 70 | 23.037 % | 373.80/373.80 c | 4928 | 19591 50951 147315 | 36405 4926 80 | 23.037 % | 374.60/374.61 c | 7491 | 19591 50951 147315 | 40046 7489 84 | 23.037 % | 375.80/375.85 c | 11336 | 19591 50951 147315 | 44051 11334 105 | 23.037 % | 377.80/377.83 c | 17103 | 19583 50951 147315 | 48456 17100 105 | 23.068 % | 381.11/381.16 c | 25753 | 19498 50951 147315 | 53302 14965 78 | 23.430 % | 386.20/386.24 c | 38727 | 19491 50951 147315 | 58632 27935 98 | 23.430 % | 395.30/395.34 c | 58188 | 19426 50951 147315 | 64495 24614 64 | 23.685 % | 409.71/409.71 c | 87380 | 19414 50951 147315 | 70944 53805 99 | 23.732 % | 434.71/434.72 c | 131170 | 19314 50951 147315 | 78039 31792 145 | 24.145 % | 453.91/453.99 c =============================================================================== 456.11/456.18 c core #13 456.11/456.18 c ============================[ Search Statistics ]============================== 456.11/456.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 456.11/456.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 456.11/456.18 c =============================================================================== 456.11/456.18 c | 0 | 21374 52813 157375 | 17604 0 nan | 0.000 % | 456.20/456.23 c | 100 | 21374 52813 157375 | 19364 100 43 | 21.436 % | 456.20/456.27 c | 250 | 21374 52813 157375 | 21301 250 40 | 21.436 % | 456.30/456.33 c | 476 | 21334 52813 157375 | 23431 474 44 | 21.451 % | 456.41/456.42 c | 813 | 21334 52813 157375 | 25774 811 48 | 21.451 % | 456.51/456.54 c | 1319 | 21334 52813 157375 | 28351 1317 53 | 21.451 % | 456.70/456.74 c | 2079 | 21318 52813 157375 | 31187 2076 59 | 21.510 % | 457.01/457.01 c | 3218 | 21318 52813 157375 | 34305 3215 70 | 21.510 % | 457.41/457.44 c | 4927 | 21318 52813 157375 | 37736 4924 69 | 21.510 % | 458.11/458.18 c | 7489 | 21318 52813 157375 | 41510 7486 75 | 21.510 % | 459.40/459.47 c | 11335 | 21304 52813 157375 | 45661 11331 87 | 21.591 % | 461.40/461.42 c | 17101 | 21296 52813 157375 | 50227 17063 98 | 21.591 % | 464.70/464.72 c | 25751 | 21296 52813 157375 | 55249 25713 113 | 21.591 % | 471.41/471.48 c | 38725 | 21277 52813 157375 | 60774 38686 131 | 21.745 % | 484.41/484.41 c | 58186 | 21218 52813 157375 | 66852 41863 116 | 21.878 % | 505.20/505.24 c | 87378 | 21212 52813 157375 | 73537 71054 128 | 21.926 % | 537.91/537.93 c | 131170 | 21212 52813 157375 | 80891 51191 251 | 21.926 % | 584.91/584.90 c | 196855 | 21205 52813 157375 | 88980 46933 196 | 21.926 % | 607.71/607.78 c =============================================================================== 611.41/611.43 c core #14 611.41/611.43 c ============================[ Search Statistics ]============================== 611.41/611.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 611.41/611.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 611.41/611.43 c =============================================================================== 611.41/611.43 c | 0 | 23226 54714 167683 | 18238 0 nan | 0.000 % | 611.51/611.52 c | 101 | 23226 54714 167683 | 20061 101 25 | 19.877 % | 611.51/611.58 c | 252 | 23226 54714 167683 | 22067 252 38 | 19.877 % | 611.61/611.66 c | 478 | 23226 54714 167683 | 24274 478 46 | 19.877 % | 611.70/611.75 c | 817 | 23190 54714 167683 | 26702 816 44 | 20.001 % | 611.90/611.90 c | 1324 | 23190 54714 167683 | 29372 1323 53 | 20.001 % | 612.11/612.18 c | 2083 | 23190 54714 167683 | 32309 2082 55 | 20.001 % | 612.51/612.56 c | 3222 | 23190 54714 167683 | 35540 3221 71 | 20.001 % | 613.11/613.11 c | 4931 | 23180 54714 167683 | 39094 4928 76 | 20.077 % | 614.11/614.12 c | 7495 | 23144 54714 167683 | 43004 7486 76 | 20.160 % | 615.41/615.48 c | 11340 | 23144 54714 167683 | 47304 11331 93 | 20.160 % | 618.00/618.10 c | 17106 | 23144 54714 167683 | 52035 17097 100 | 20.160 % | 622.81/622.82 c | 25755 | 23144 54714 167683 | 57238 25746 102 | 20.160 % | 630.22/630.25 c | 38731 | 23104 54714 167683 | 62962 35897 110 | 20.298 % | 642.51/642.57 c | 58192 | 23073 54714 167683 | 69258 37658 86 | 20.405 % | 662.22/662.22 c | 87384 | 23073 54714 167683 | 76184 66850 89 | 20.405 % | 695.02/695.06 c | 131174 | 22956 54714 167683 | 83803 20224 86 | 20.860 % | 737.31/737.36 c | 196858 | 22941 54714 167683 | 92183 85784 142 | 20.860 % | 809.42/809.47 c | 295388 | 22904 54714 167683 | 101401 96626 120 | 20.988 % | 871.72/871.77 c =============================================================================== 876.31/876.31 c core #15 876.31/876.31 c ============================[ Search Statistics ]============================== 876.31/876.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 876.31/876.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 876.31/876.31 c =============================================================================== 876.31/876.31 c | 0 | 25239 56669 178319 | 18889 0 nan | 0.000 % | 876.31/876.39 c | 101 | 25239 56669 178319 | 20778 101 32 | 18.587 % | 876.42/876.45 c | 251 | 25239 56669 178319 | 22856 251 44 | 18.586 % | 876.52/876.53 c | 477 | 25237 56669 178319 | 25142 476 47 | 18.593 % | 876.63/876.63 c | 814 | 25237 56669 178319 | 27656 813 46 | 18.593 % | 876.73/876.77 c | 1321 | 25237 56669 178319 | 30421 1320 50 | 18.593 % | 877.02/877.08 c | 2082 | 25183 56669 178319 | 33464 2078 56 | 18.767 % | 877.42/877.42 c | 3221 | 25183 56669 178319 | 36810 3217 61 | 18.767 % | 878.02/878.09 c | 4930 | 25183 56669 178319 | 40491 4926 69 | 18.767 % | 879.11/879.12 c | 7492 | 25183 56669 178319 | 44540 7488 78 | 18.767 % | 881.02/881.08 c | 11337 | 25183 56669 178319 | 48994 11333 81 | 18.767 % | 883.72/883.77 c | 17103 | 25183 56669 178319 | 53894 17099 89 | 18.767 % | 887.52/887.53 c | 25752 | 25183 56669 178319 | 59283 25748 97 | 18.767 % | 896.22/896.22 c | 38726 | 25183 56669 178319 | 65212 38722 86 | 18.767 % | 907.72/907.77 c | 58189 | 25183 56669 178319 | 71733 58185 115 | 18.767 % | 930.22/930.24 c | 87381 | 25096 56669 178319 | 78906 18541 82 | 19.048 % | 958.02/958.00 c | 131170 | 25096 56669 178319 | 86797 62330 141 | 19.048 % | 1012.92/1012.90 c | 196857 | 25045 56669 178319 | 95477 47520 70 | 19.212 % | 1084.63/1084.63 c | 295384 | 24964 56669 178319 | 105024 56960 151 | 19.474 % | 1198.33/1198.38 c | 443176 | 24964 56669 178319 | 115527 105089 89 | 19.474 % | 1384.53/1384.59 c | 664859 | 24940 56669 178319 | 127080 110418 91 | 19.551 % | 1678.55/1678.56 c | 997384 | 24932 56669 178319 | 139788 78472 78 | 19.577 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689775-1277917096/watcher-2689775-1277917096 -o /tmp/evaluation-result-2689775-1277917096/solver-2689775-1277917096 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689775-1277917096.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 2.00 2.09 3/182 14945 /proc/meminfo: memFree=29423728/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=4096 CPUtime=0 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 445 0 0 0 0 0 0 0 21 0 1 0 133005822 4194304 363 4089446400 134512640 135751879 4287860448 18446744073709551615 134613632 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 1024 363 147 303 0 494 0 [startup+0.0822309 s] /proc/loadavg: 1.92 2.00 2.09 3/182 14945 /proc/meminfo: memFree=29423728/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=6576 CPUtime=0.08 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 1433 0 0 0 8 0 0 0 21 0 1 0 133005822 6733824 1126 4089446400 134512640 135751879 4287860448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 1644 1126 143 303 0 1339 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6576 [startup+0.10023 s] /proc/loadavg: 1.92 2.00 2.09 3/182 14945 /proc/meminfo: memFree=29423728/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=6576 CPUtime=0.09 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 1451 0 0 0 9 0 0 0 21 0 1 0 133005822 6733824 1144 4089446400 134512640 135751879 4287860448 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 1644 1144 143 303 0 1339 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6576 [startup+0.300191 s] /proc/loadavg: 1.92 2.00 2.09 3/182 14945 /proc/meminfo: memFree=29423728/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=7368 CPUtime=0.29 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 1641 0 0 0 29 0 0 0 22 0 1 0 133005822 7544832 1334 4089446400 134512640 135751879 4287860448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 1842 1334 143 303 0 1537 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7368 [startup+0.700107 s] /proc/loadavg: 1.92 2.00 2.09 3/182 14945 /proc/meminfo: memFree=29423728/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=8820 CPUtime=0.69 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 2009 0 0 0 68 1 0 0 23 0 1 0 133005822 9031680 1702 4089446400 134512640 135751879 4287860448 18446744073709551615 134611160 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 2205 1703 143 303 0 1900 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8820 [startup+1.50096 s] /proc/loadavg: 1.92 2.00 2.09 3/183 14946 /proc/meminfo: memFree=29414544/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=11752 CPUtime=1.49 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 2742 0 0 0 147 2 0 0 25 0 1 0 133005822 12034048 2435 4089446400 134512640 135751879 4287860448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 2938 2435 143 303 0 2633 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11752 [startup+3.10067 s] /proc/loadavg: 1.92 2.00 2.09 3/183 14946 /proc/meminfo: memFree=29409088/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=17588 CPUtime=3.09 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 4185 0 0 0 304 5 0 0 25 0 1 0 133005822 18010112 3878 4089446400 134512640 135751879 4287860448 18446744073709551615 134616904 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 4397 3878 143 303 0 4092 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17588 [startup+6.30109 s] /proc/loadavg: 1.93 2.00 2.08 3/183 14946 /proc/meminfo: memFree=29391032/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=28684 CPUtime=6.29 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 6984 0 0 0 622 7 0 0 25 0 1 0 133005822 29372416 6677 4089446400 134512640 135751879 4287860448 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 7171 6677 143 303 0 6866 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28684 [startup+12.7009 s] /proc/loadavg: 1.93 2.00 2.08 3/183 14946 /proc/meminfo: memFree=29373112/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=34472 CPUtime=12.69 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 8596 0 0 0 1257 12 0 0 20 0 1 0 133005822 35299328 8142 4089446400 134512640 135751879 4287860448 18446744073709551615 134616312 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 8618 8142 146 303 0 8313 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34472 [startup+25.5006 s] /proc/loadavg: 1.95 2.00 2.08 3/183 14946 /proc/meminfo: memFree=29328764/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=61844 CPUtime=25.5 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 15610 0 0 0 2526 24 0 0 25 0 1 0 133005822 63328256 14963 4089446400 134512640 135751879 4287860448 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 15461 14963 146 303 0 15156 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 61844 [startup+51.1009 s] /proc/loadavg: 1.96 2.00 2.08 3/183 14947 /proc/meminfo: memFree=29250636/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=106596 CPUtime=51.09 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 26758 0 0 0 5070 39 0 0 25 0 1 0 133005822 109154304 26111 4089446400 134512640 135751879 4287860448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 26649 26111 146 303 0 26344 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 106596 [startup+102.307 s] /proc/loadavg: 2.03 2.01 2.08 3/183 14949 /proc/meminfo: memFree=29068808/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=206368 CPUtime=102.3 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 52159 0 0 0 10159 71 0 0 25 0 1 0 133005822 211320832 51028 4089446400 134512640 135751879 4287860448 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 51592 51028 146 303 0 51287 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 206368 [startup+162.301 s] /proc/loadavg: 2.01 2.01 2.08 3/183 14950 /proc/meminfo: memFree=28911760/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=277324 CPUtime=162.3 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 69998 0 0 0 16125 105 0 0 25 0 1 0 133005822 283979776 68867 4089446400 134512640 135751879 4287860448 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 69331 68867 146 303 0 69026 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 277324 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.07 3/183 14960 /proc/meminfo: memFree=28721312/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=375368 CPUtime=222.3 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 94618 0 0 0 22097 133 0 0 20 0 1 0 133005822 384376832 93243 4089446400 134512640 135751879 4287860448 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 93842 93243 146 303 0 93537 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 375368 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.06 3/183 14962 /proc/meminfo: memFree=28536760/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=475176 CPUtime=282.3 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 119568 0 0 0 28069 161 0 0 25 0 1 0 133005822 486580224 118193 4089446400 134512640 135751879 4287860448 18446744073709551615 134618395 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 118794 118193 146 303 0 118489 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 475176 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.06 3/183 14964 /proc/meminfo: memFree=28365840/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=553952 CPUtime=342.3 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 139592 0 0 0 34040 190 0 0 25 0 1 0 133005822 567246848 137955 4089446400 134512640 135751879 4287860448 18446744073709551615 134616470 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 138488 137956 146 303 0 138183 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 553952 [startup+402.301 s] /proc/loadavg: 2.04 2.01 2.06 3/183 14966 /proc/meminfo: memFree=28195416/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=636256 CPUtime=402.31 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 160348 0 0 0 40013 218 0 0 25 0 1 0 133005822 651526144 158571 4089446400 134512640 135751879 4287860448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 159064 158571 146 303 0 158759 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 636256 [startup+462.301 s] /proc/loadavg: 2.08 2.02 2.06 5/200 15012 /proc/meminfo: memFree=30692328/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=733492 CPUtime=462.31 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 184815 0 0 0 45984 247 0 0 25 0 1 0 133005822 751095808 182888 4089446400 134512640 135751879 4287860448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14945/statm: 183373 182888 146 303 0 183068 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 733492 [startup+522.301 s] /proc/loadavg: 2.03 2.02 2.05 3/183 15214 /proc/meminfo: memFree=30426116/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=784132 CPUtime=522.31 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 197483 0 0 0 51969 262 0 0 25 0 1 0 133005822 802951168 195556 4089446400 134512640 135751879 4287860448 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 196033 195556 146 303 0 195728 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 784132 [startup+582.301 s] /proc/loadavg: 2.04 2.03 2.05 3/183 15216 /proc/meminfo: memFree=30325024/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=882816 CPUtime=582.3 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 222162 0 0 0 57951 279 0 0 25 0 1 0 133005822 904003584 220235 4089446400 134512640 135751879 4287860448 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 220704 220235 146 303 0 220399 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 882816 [startup+642.3 s] /proc/loadavg: 2.16 2.06 2.06 3/183 15218 /proc/meminfo: memFree=30263008/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=945468 CPUtime=642.32 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 238000 0 0 0 63936 296 0 0 25 0 1 0 133005822 968159232 235913 4089446400 134512640 135751879 4287860448 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 236367 235913 146 303 0 236062 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 945468 [startup+702.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.03 2.04 3/183 15222 /proc/meminfo: memFree=30084228/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1122936 CPUtime=822.31 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 282313 0 0 0 81895 336 0 0 25 0 1 0 133005822 1149886464 280226 4089446400 134512640 135751879 4287860448 18446744073709551615 134611192 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 280734 280226 146 303 0 280429 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 1122936 [startup+882.3 s] /proc/loadavg: 2.00 2.02 2.04 3/183 15224 /proc/meminfo: memFree=30003216/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1200772 CPUtime=882.31 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 301911 0 0 0 87883 348 0 0 25 0 1 0 133005822 1229590528 299547 4089446400 134512640 135751879 4287860448 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 300193 299547 146 303 0 299888 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 1200772 [startup+942.301 s] /proc/loadavg: 2.00 2.02 2.03 3/183 15226 /proc/meminfo: memFree=29990768/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1210544 CPUtime=942.32 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 304385 0 0 0 93872 360 0 0 25 0 1 0 133005822 1239597056 302021 4089446400 134512640 135751879 4287860448 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 302636 302021 146 303 0 302331 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 1210544 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.03 3/183 15228 /proc/meminfo: memFree=29950316/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1253368 CPUtime=1002.32 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 315032 0 0 0 99856 376 0 0 25 0 1 0 133005822 1283448832 312668 4089446400 134512640 135751879 4287860448 18446744073709551615 134620388 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 313342 312668 146 303 0 313037 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1253368 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.02 3/183 15229 /proc/meminfo: memFree=29881088/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1324136 CPUtime=1062.32 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 332705 0 0 0 105841 391 0 0 25 0 1 0 133005822 1355915264 330341 4089446400 134512640 135751879 4287860448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 331034 330341 146 303 0 330729 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1324136 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.01 3/183 15230 /proc/meminfo: memFree=29813604/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1390412 CPUtime=1122.32 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 349284 0 0 0 111828 404 0 0 25 0 1 0 133005822 1423781888 346920 4089446400 134512640 135751879 4287860448 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 347603 346920 146 303 0 347298 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1390412 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.01 3/183 15232 /proc/meminfo: memFree=29780828/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1424556 CPUtime=1182.32 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 357807 0 0 0 117815 417 0 0 25 0 1 0 133005822 1458745344 355443 4089446400 134512640 135751879 4287860448 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 356139 355443 146 303 0 355834 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1424556 [startup+1242.3 s] /proc/loadavg: 2.04 2.01 2.01 3/183 15234 /proc/meminfo: memFree=29712344/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1492172 CPUtime=1242.33 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 374714 0 0 0 123802 431 0 0 25 0 1 0 133005822 1527984128 372350 4089446400 134512640 135751879 4287860448 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 373043 372350 146 303 0 372738 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1492172 [startup+1302.3 s] /proc/loadavg: 2.01 2.01 2.00 3/183 15236 /proc/meminfo: memFree=29670888/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1530940 CPUtime=1302.34 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 384330 0 0 0 129791 443 0 0 25 0 1 0 133005822 1567682560 381966 4089446400 134512640 135751879 4287860448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 382735 381966 146 303 0 382430 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1530940 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 15237 /proc/meminfo: memFree=29629940/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1572028 CPUtime=1362.33 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 394545 0 0 0 135780 453 0 0 25 0 1 0 133005822 1609756672 392181 4089446400 134512640 135751879 4287860448 18446744073709551615 134616510 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 393007 392181 146 303 0 392702 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1572028 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/183 15238 /proc/meminfo: memFree=29580564/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1622584 CPUtime=1422.34 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 407118 0 0 0 141771 463 0 0 25 0 1 0 133005822 1661526016 404754 4089446400 134512640 135751879 4287860448 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 405646 404754 146 303 0 405341 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1622584 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 15240 /proc/meminfo: memFree=29539868/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1661860 CPUtime=1482.33 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 416938 0 0 0 147760 473 0 0 25 0 1 0 133005822 1701744640 414574 4089446400 134512640 135751879 4287860448 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 415465 414574 146 303 0 415160 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1661860 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 15242 /proc/meminfo: memFree=29480192/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1720288 CPUtime=1542.34 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 431532 0 0 0 153749 485 0 0 25 0 1 0 133005822 1761574912 429168 4089446400 134512640 135751879 4287860448 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 430072 429168 146 303 0 429767 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1720288 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 15244 /proc/meminfo: memFree=29451276/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1749608 CPUtime=1602.34 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 438840 0 0 0 159738 496 0 0 25 0 1 0 133005822 1791598592 436476 4089446400 134512640 135751879 4287860448 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 437402 436476 146 303 0 437097 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1749608 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 15245 /proc/meminfo: memFree=29425080/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1776152 CPUtime=1662.34 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 445353 0 0 0 165730 504 0 0 25 0 1 0 133005822 1818779648 442989 4089446400 134512640 135751879 4287860448 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 444038 442989 146 303 0 443733 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1776152 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 15246 /proc/meminfo: memFree=29383264/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1817540 CPUtime=1722.34 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 455674 0 0 0 171718 516 0 0 25 0 1 0 133005822 1861160960 453310 4089446400 134512640 135751879 4287860448 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 454385 453310 146 303 0 454080 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1817540 [startup+1782.3 s] /proc/loadavg: 2.08 2.02 2.01 3/183 15248 /proc/meminfo: memFree=29365392/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1835544 CPUtime=1782.34 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 460148 0 0 0 177710 524 0 0 25 0 1 0 133005822 1879597056 457784 4089446400 134512640 135751879 4287860448 18446744073709551615 134611275 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 458886 457784 146 303 0 458581 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1835544 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.19 2.05 2.01 3/183 15249 /proc/meminfo: memFree=29357452/32951124 swapFree=67111528/67111528 [pid=14945] ppid=14943 vsize=1843000 CPUtime=1800.06 /proc/14945/stat : 14945 (wbo1.4a) R 14943 14945 14355 0 -1 4202496 462007 0 0 0 179477 529 0 0 25 0 1 0 133005822 1887232000 459643 4089446400 134512640 135751879 4287860448 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14945/statm: 460750 459643 146 303 0 460445 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1843000 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.07 CPU time (s): 1800.13 CPU user time (s): 1794.77 CPU system time (s): 5.35819 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1843000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.77 system time used= 5.35818 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 462007 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= 23 involuntary context switches= 2109 runsolver used 2.97855 second user time and 6.84696 second system time The end
Begin job on node134 at 2010-06-30 18:58:17 IDJOB=2689775 IDBENCH=79085 IDSOLVER=1200 FILE ID=node134/2689775-1277917096 PBS_JOBID= 11197284 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j605_10-unsat--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689775-1277917096/watcher-2689775-1277917096 -o /tmp/evaluation-result-2689775-1277917096/solver-2689775-1277917096 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689775-1277917096.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 257e79f814ec2395c606dee738edc728 RANDOM SEED=1544257835 node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 7397.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29424380 kB Buffers: 203520 kB Cached: 1096920 kB SwapCached: 0 kB Active: 2677060 kB Inactive: 701376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29424380 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3512 kB Writeback: 0 kB AnonPages: 2078488 kB Mapped: 17160 kB Slab: 79672 kB PageTables: 8800 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 2255940 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node134 at 2010-06-30 19:28:19