Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 198.383 | 198.386 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-66-100-0.wbo |
MD5SUM | 67ae8b264a7332f0f782a64868c40f1f |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 0.337948 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 42 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 1838 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 1837 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1147 |
Number of bits of the biggest sum of numbers | 11 |
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-2689848-1277896548.wbo. 0.00/0.00 c Instance file HOME/instance-2689848-1277896548.wbo 0.00/0.00 c File size is 10159 bytes. 0.00/0.00 c Highest Coefficient sum: 1147 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 169 101 1205 | 5500 101 30 | 0.004 % | 0.00/0.00 c | 252 | 169 101 1205 | 6050 252 31 | 0.004 % | 0.00/0.01 c | 478 | 169 101 1205 | 6655 478 33 | 0.004 % | 0.00/0.02 c | 816 | 169 101 1205 | 7320 816 32 | 0.004 % | 0.00/0.03 c | 1324 | 169 101 1205 | 8052 1324 32 | 0.004 % | 0.04/0.05 c | 2083 | 169 101 1205 | 8857 2083 35 | 0.004 % | 0.04/0.09 c | 3224 | 169 101 1205 | 9743 3224 35 | 0.004 % | 0.09/0.16 c | 4932 | 169 101 1205 | 10717 4932 38 | 0.004 % | 0.19/0.29 c | 7494 | 169 101 1205 | 11789 7494 41 | 0.004 % | 0.49/0.52 c | 11341 | 169 101 1205 | 12968 11341 46 | 0.004 % | 0.79/0.87 c | 17108 | 169 101 1205 | 14265 10562 49 | 0.004 % | 1.48/1.53 c | 25757 | 169 101 1205 | 15692 12023 49 | 0.004 % | 2.59/2.64 c | 38732 | 169 101 1205 | 17261 9201 51 | 0.004 % | 4.19/4.29 c | 58193 | 169 101 1205 | 18987 11288 52 | 0.004 % | 6.98/7.08 c | 87387 | 122 101 1205 | 20886 3277 48 | 27.814 % | 7.19/7.23 c =============================================================================== 7.48/7.60 c core #1 7.48/7.60 c ============================[ Search Statistics ]============================== 7.48/7.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.48/7.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.48/7.60 c =============================================================================== 7.48/7.60 c | 0 | 210 142 1713 | 5000 0 nan | 0.000 % | 7.59/7.60 c | 101 | 210 142 1713 | 5500 101 31 | 0.002 % | 7.59/7.61 c | 253 | 210 142 1713 | 6050 253 30 | 0.002 % | 7.59/7.62 c | 478 | 210 142 1713 | 6655 478 32 | 0.002 % | 7.59/7.62 c | 817 | 210 142 1713 | 7320 817 34 | 0.002 % | 7.59/7.64 c | 1323 | 210 142 1713 | 8052 1323 35 | 0.002 % | 7.59/7.66 c | 2082 | 210 142 1713 | 8857 2082 35 | 0.002 % | 7.69/7.71 c | 3221 | 210 142 1713 | 9743 3221 36 | 0.002 % | 7.69/7.77 c | 4929 | 210 142 1713 | 10717 4929 37 | 0.002 % | 7.89/7.90 c | 7491 | 210 142 1713 | 11789 7491 38 | 0.002 % | 8.09/8.12 c | 11335 | 210 142 1713 | 12968 11335 41 | 0.002 % | 8.39/8.49 c | 17101 | 210 142 1713 | 14265 10560 43 | 0.002 % | 8.99/9.07 c | 25752 | 210 142 1713 | 15692 12018 48 | 0.002 % | 9.99/10.08 c | 38727 | 210 142 1713 | 17261 9188 50 | 0.002 % | 11.69/11.75 c | 58189 | 210 142 1713 | 18987 11309 53 | 0.002 % | 14.49/14.53 c | 87383 | 210 142 1713 | 20886 11867 52 | 0.091 % | 15.40/15.48 c =============================================================================== 15.79/15.88 c core #2 15.79/15.88 c ============================[ Search Statistics ]============================== 15.79/15.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.79/15.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.79/15.88 c =============================================================================== 15.79/15.88 c | 0 | 251 183 2221 | 5000 0 nan | 0.000 % | 15.79/15.89 c | 101 | 251 183 2221 | 5500 101 29 | 0.002 % | 15.79/15.89 c | 251 | 251 183 2221 | 6050 251 30 | 0.002 % | 15.89/15.90 c | 477 | 251 183 2221 | 6655 477 32 | 0.002 % | 15.89/15.91 c | 816 | 251 183 2221 | 7320 816 33 | 0.002 % | 15.89/15.92 c | 1322 | 251 183 2221 | 8052 1322 36 | 0.002 % | 15.89/15.95 c | 2083 | 251 183 2221 | 8857 2083 37 | 0.002 % | 15.89/15.99 c | 3223 | 251 183 2221 | 9743 3223 39 | 0.002 % | 15.99/16.07 c | 4935 | 251 183 2221 | 10717 4935 40 | 0.002 % | 16.19/16.21 c | 7499 | 251 183 2221 | 11789 7499 43 | 0.002 % | 16.40/16.47 c | 11344 | 251 183 2221 | 12968 11344 44 | 0.002 % | 16.78/16.87 c | 17113 | 251 183 2221 | 14265 10576 47 | 0.002 % | 17.50/17.58 c | 25763 | 251 183 2221 | 15692 12030 48 | 0.002 % | 18.49/18.60 c | 38741 | 251 183 2221 | 17261 9204 48 | 0.002 % | 20.19/20.22 c | 58203 | 251 183 2221 | 18987 11303 50 | 0.002 % | 21.79/21.87 c =============================================================================== 22.09/22.19 c core #3 22.09/22.19 c ============================[ Search Statistics ]============================== 22.09/22.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.09/22.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.09/22.19 c =============================================================================== 22.09/22.19 c | 0 | 290 223 2712 | 5000 0 nan | 0.000 % | 22.19/22.20 c | 100 | 290 223 2712 | 5500 100 39 | 0.001 % | 22.19/22.20 c | 253 | 290 223 2712 | 6050 253 41 | 0.001 % | 22.19/22.21 c | 481 | 290 223 2712 | 6655 481 41 | 0.001 % | 22.19/22.22 c | 818 | 290 223 2712 | 7320 818 38 | 0.001 % | 22.19/22.24 c | 1324 | 290 223 2712 | 8052 1324 39 | 0.001 % | 22.19/22.26 c | 2084 | 290 223 2712 | 8857 2084 38 | 0.001 % | 22.29/22.31 c | 3223 | 290 223 2712 | 9743 3223 38 | 0.001 % | 22.29/22.38 c | 4931 | 290 223 2712 | 10717 4931 38 | 0.001 % | 22.49/22.52 c | 7496 | 290 223 2712 | 11789 7496 40 | 0.001 % | 22.69/22.74 c | 11340 | 290 223 2712 | 12968 11340 42 | 0.001 % | 23.09/23.19 c | 17110 | 290 223 2712 | 14265 10572 47 | 0.001 % | 23.88/23.93 c | 25761 | 290 223 2712 | 15692 12048 50 | 0.001 % | 24.89/24.93 c | 38737 | 290 223 2712 | 17261 9217 46 | 0.001 % | 26.49/26.51 c | 58198 | 290 223 2712 | 18987 11315 51 | 0.001 % | 29.19/29.24 c | 87392 | 290 223 2712 | 20886 11891 51 | 0.052 % | 29.70/29.70 c =============================================================================== 30.09/30.11 c core #4 30.09/30.11 c ============================[ Search Statistics ]============================== 30.09/30.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.09/30.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.09/30.11 c =============================================================================== 30.09/30.11 c | 0 | 332 263 3209 | 5000 0 nan | 0.000 % | 30.09/30.12 c | 101 | 332 263 3209 | 5500 101 31 | 0.001 % | 30.09/30.12 c | 251 | 332 263 3209 | 6050 251 30 | 0.001 % | 30.09/30.13 c | 476 | 332 263 3209 | 6655 476 28 | 0.001 % | 30.09/30.14 c | 814 | 332 263 3209 | 7320 814 32 | 0.001 % | 30.09/30.15 c | 1320 | 332 263 3209 | 8052 1320 38 | 0.001 % | 30.09/30.18 c | 2080 | 332 263 3209 | 8857 2080 36 | 0.001 % | 30.19/30.22 c | 3219 | 332 263 3209 | 9743 3219 35 | 0.001 % | 30.28/30.30 c | 4928 | 332 263 3209 | 10717 4928 36 | 0.001 % | 30.38/30.45 c | 7493 | 332 263 3209 | 11789 7493 39 | 0.001 % | 30.59/30.70 c | 11337 | 332 263 3209 | 12968 11337 39 | 0.001 % | 30.99/31.08 c | 17103 | 332 263 3209 | 14265 10563 44 | 0.001 % | 31.69/31.70 c | 25754 | 332 263 3209 | 15692 12022 49 | 0.001 % | 32.69/32.74 c | 38728 | 332 263 3209 | 17261 9194 47 | 0.001 % | 34.59/34.69 c | 58189 | 332 263 3209 | 18987 11285 50 | 0.001 % | 37.49/37.57 c | 87381 | 332 263 3209 | 20886 11841 47 | 0.001 % | 39.60/39.60 c =============================================================================== 39.99/40.07 c core #5 39.99/40.07 c ============================[ Search Statistics ]============================== 39.99/40.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.99/40.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.99/40.07 c =============================================================================== 39.99/40.07 c | 0 | 370 301 3688 | 5000 0 nan | 0.000 % | 39.99/40.08 c | 100 | 370 301 3688 | 5500 100 29 | 0.001 % | 39.99/40.09 c | 250 | 370 301 3688 | 6050 250 33 | 0.001 % | 40.09/40.10 c | 475 | 370 301 3688 | 6655 475 32 | 0.001 % | 40.09/40.11 c | 812 | 370 301 3688 | 7320 812 33 | 0.001 % | 40.09/40.12 c | 1319 | 370 301 3688 | 8052 1319 34 | 0.001 % | 40.09/40.15 c | 2078 | 370 301 3688 | 8857 2078 34 | 0.001 % | 40.09/40.19 c | 3218 | 370 301 3688 | 9743 3218 34 | 0.001 % | 40.18/40.27 c | 4927 | 370 301 3688 | 10717 4927 36 | 0.001 % | 40.39/40.42 c | 7490 | 370 301 3688 | 11789 7490 39 | 0.001 % | 40.70/40.73 c | 11335 | 370 301 3688 | 12968 11335 42 | 0.001 % | 41.08/41.15 c | 17101 | 370 301 3688 | 14265 10571 46 | 0.001 % | 41.69/41.80 c | 25751 | 370 301 3688 | 15692 12038 43 | 0.001 % | 42.79/42.84 c | 38726 | 370 301 3688 | 17261 9209 46 | 0.001 % | 44.39/44.43 c | 58188 | 370 301 3688 | 18987 11297 50 | 0.001 % | 47.19/47.23 c | 87387 | 370 301 3688 | 20886 11839 51 | 0.001 % | 47.89/47.97 c =============================================================================== 48.40/48.40 c core #6 48.40/48.40 c ============================[ Search Statistics ]============================== 48.40/48.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.40/48.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.40/48.40 c =============================================================================== 48.40/48.40 c | 0 | 419 343 4223 | 5000 0 nan | 0.000 % | 48.40/48.42 c | 100 | 419 343 4223 | 5500 100 34 | 0.001 % | 48.40/48.42 c | 250 | 419 343 4223 | 6050 250 34 | 0.001 % | 48.40/48.43 c | 478 | 419 343 4223 | 6655 478 37 | 0.001 % | 48.40/48.44 c | 815 | 419 343 4223 | 7320 815 36 | 0.001 % | 48.40/48.46 c | 1321 | 419 343 4223 | 8052 1321 38 | 0.001 % | 48.40/48.48 c | 2081 | 419 343 4223 | 8857 2081 36 | 0.001 % | 48.49/48.53 c | 3220 | 419 343 4223 | 9743 3220 37 | 0.001 % | 48.59/48.61 c | 4929 | 419 343 4223 | 10717 4929 39 | 0.001 % | 48.69/48.75 c | 7492 | 419 343 4223 | 11789 7492 41 | 0.001 % | 48.99/49.01 c | 11336 | 419 343 4223 | 12968 11336 42 | 0.001 % | 49.29/49.38 c | 17105 | 419 343 4223 | 14265 10567 45 | 0.001 % | 49.99/50.06 c | 25754 | 419 343 4223 | 15692 12019 48 | 0.001 % | 51.09/51.16 c | 38729 | 419 343 4223 | 17261 9210 47 | 0.001 % | 52.70/52.76 c | 58190 | 419 343 4223 | 18987 11294 49 | 0.001 % | 55.39/55.46 c | 87384 | 419 343 4223 | 20886 11871 52 | 0.001 % | 56.69/56.71 c =============================================================================== 57.09/57.16 c core #7 57.09/57.16 c ============================[ Search Statistics ]============================== 57.09/57.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 57.09/57.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 57.09/57.16 c =============================================================================== 57.09/57.16 c | 0 | 466 384 4739 | 5000 0 nan | 0.000 % | 57.09/57.17 c | 104 | 466 384 4739 | 5500 104 34 | 0.000 % | 57.09/57.18 c | 257 | 466 384 4739 | 6050 257 34 | 0.000 % | 57.09/57.18 c | 482 | 466 384 4739 | 6655 482 36 | 0.000 % | 57.09/57.20 c | 819 | 466 384 4739 | 7320 819 37 | 0.000 % | 57.19/57.21 c | 1326 | 466 384 4739 | 8052 1326 38 | 0.000 % | 57.19/57.24 c | 2086 | 466 384 4739 | 8857 2086 37 | 0.000 % | 57.19/57.28 c | 3225 | 466 384 4739 | 9743 3225 37 | 0.000 % | 57.29/57.36 c | 4933 | 466 384 4739 | 10717 4933 38 | 0.000 % | 57.49/57.51 c | 7496 | 466 384 4739 | 11789 7496 41 | 0.000 % | 57.69/57.77 c | 11340 | 466 384 4739 | 12968 11340 42 | 0.000 % | 58.09/58.18 c | 17108 | 466 384 4739 | 14265 10547 43 | 0.000 % | 58.68/58.74 c | 25758 | 466 384 4739 | 15692 12013 43 | 0.000 % | 59.69/59.77 c | 38733 | 466 384 4739 | 17261 9184 48 | 0.000 % | 61.29/61.38 c | 58195 | 466 384 4739 | 18987 11287 49 | 0.000 % | 63.88/63.95 c | 87387 | 466 384 4739 | 20886 11843 55 | 0.000 % | 64.89/64.93 c =============================================================================== 65.29/65.34 c core #8 65.29/65.34 c ============================[ Search Statistics ]============================== 65.29/65.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 65.29/65.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 65.29/65.34 c =============================================================================== 65.29/65.34 c | 0 | 517 426 5286 | 5000 0 nan | 0.000 % | 65.29/65.36 c | 100 | 517 426 5286 | 5500 100 30 | 0.000 % | 65.29/65.36 c | 250 | 517 426 5286 | 6050 250 32 | 0.000 % | 65.29/65.37 c | 475 | 517 426 5286 | 6655 475 34 | 0.000 % | 65.29/65.38 c | 812 | 517 426 5286 | 7320 812 34 | 0.000 % | 65.38/65.40 c | 1318 | 517 426 5286 | 8052 1318 32 | 0.000 % | 65.38/65.42 c | 2078 | 517 426 5286 | 8857 2078 32 | 0.000 % | 65.38/65.47 c | 3218 | 517 426 5286 | 9743 3218 34 | 0.000 % | 65.49/65.55 c | 4926 | 517 426 5286 | 10717 4926 33 | 0.000 % | 65.59/65.68 c | 7488 | 517 426 5286 | 11789 7488 36 | 0.000 % | 65.90/65.95 c | 11332 | 517 426 5286 | 12968 11332 38 | 0.000 % | 66.29/66.35 c | 17101 | 517 426 5286 | 14265 10575 44 | 0.000 % | 66.89/66.97 c | 25752 | 517 426 5286 | 15692 12041 46 | 0.000 % | 67.99/68.04 c | 38727 | 517 426 5286 | 17261 9216 48 | 0.000 % | 69.59/69.62 c | 58191 | 517 426 5286 | 18987 11307 47 | 0.000 % | 72.50/72.50 c | 87387 | 517 426 5286 | 20886 11891 46 | 0.000 % | 75.19/75.21 c =============================================================================== 75.69/75.73 c core #9 75.69/75.73 c ============================[ Search Statistics ]============================== 75.69/75.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.69/75.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.69/75.73 c =============================================================================== 75.69/75.73 c | 0 | 556 464 5769 | 5000 0 nan | 0.000 % | 75.69/75.74 c | 101 | 556 464 5769 | 5500 101 39 | 0.000 % | 75.69/75.75 c | 254 | 556 464 5769 | 6050 254 41 | 0.000 % | 75.69/75.76 c | 480 | 556 464 5769 | 6655 480 38 | 0.000 % | 75.69/75.77 c | 817 | 556 464 5769 | 7320 817 37 | 0.000 % | 75.69/75.78 c | 1323 | 556 464 5769 | 8052 1323 36 | 0.000 % | 75.80/75.81 c | 2084 | 556 464 5769 | 8857 2084 35 | 0.000 % | 75.80/75.85 c | 3224 | 556 464 5769 | 9743 3224 36 | 0.000 % | 75.89/75.93 c | 4933 | 556 464 5769 | 10717 4933 37 | 0.000 % | 75.99/76.07 c | 7495 | 556 464 5769 | 11789 7495 39 | 0.000 % | 76.29/76.33 c | 11340 | 556 464 5769 | 12968 11340 40 | 0.000 % | 76.69/76.72 c | 17108 | 556 464 5769 | 14265 10570 44 | 0.000 % | 77.29/77.35 c | 25757 | 556 464 5769 | 15692 12044 44 | 0.000 % | 78.39/78.45 c | 38734 | 556 464 5769 | 17261 9213 47 | 0.000 % | 80.09/80.10 c | 58199 | 556 464 5769 | 18987 11306 49 | 0.000 % | 83.09/83.11 c | 87393 | 556 464 5769 | 20886 11856 51 | 0.000 % | 87.79/87.85 c | 131182 | 556 464 5769 | 22974 13659 50 | 0.000 % | 88.79/88.85 c =============================================================================== 89.49/89.54 c core #10 89.49/89.54 c ============================[ Search Statistics ]============================== 89.49/89.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.49/89.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.49/89.54 c =============================================================================== 89.49/89.54 c | 0 | 598 500 6245 | 5000 0 nan | 0.000 % | 89.49/89.56 c | 100 | 598 500 6245 | 5500 100 32 | 0.000 % | 89.49/89.56 c | 250 | 598 500 6245 | 6050 250 40 | 0.000 % | 89.49/89.57 c | 476 | 598 500 6245 | 6655 476 39 | 0.000 % | 89.49/89.59 c | 813 | 598 500 6245 | 7320 813 37 | 0.000 % | 89.58/89.61 c | 1319 | 598 500 6245 | 8052 1319 36 | 0.000 % | 89.58/89.64 c | 2079 | 598 500 6245 | 8857 2079 37 | 0.000 % | 89.58/89.69 c | 3218 | 598 500 6245 | 9743 3218 39 | 0.000 % | 89.69/89.79 c | 4927 | 598 500 6245 | 10717 4927 41 | 0.000 % | 89.89/89.94 c | 7489 | 598 500 6245 | 11789 7489 40 | 0.000 % | 90.20/90.21 c | 11335 | 598 500 6245 | 12968 11335 43 | 0.000 % | 90.59/90.62 c | 17101 | 598 500 6245 | 14265 10555 45 | 0.000 % | 91.20/91.29 c | 25752 | 598 500 6245 | 15692 12013 45 | 0.000 % | 92.30/92.37 c | 38726 | 598 500 6245 | 17261 9191 48 | 0.000 % | 93.99/94.06 c | 58190 | 598 500 6245 | 18987 11268 48 | 0.000 % | 96.69/96.71 c | 87383 | 598 500 6245 | 20886 11836 48 | 0.000 % | 98.48/98.56 c =============================================================================== 99.00/99.03 c core #11 99.00/99.03 c ============================[ Search Statistics ]============================== 99.00/99.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.00/99.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.00/99.03 c =============================================================================== 99.00/99.03 c | 0 | 658 535 6735 | 5000 0 nan | 0.000 % | 99.00/99.04 c | 101 | 658 535 6735 | 5500 101 30 | 0.000 % | 99.00/99.05 c | 253 | 658 535 6735 | 6050 253 30 | 0.000 % | 99.00/99.06 c | 480 | 658 535 6735 | 6655 480 27 | 0.000 % | 99.00/99.07 c | 819 | 658 535 6735 | 7320 819 29 | 0.000 % | 99.00/99.09 c | 1325 | 658 535 6735 | 8052 1325 33 | 0.000 % | 99.09/99.12 c | 2085 | 658 535 6735 | 8857 2085 37 | 0.000 % | 99.09/99.17 c | 3225 | 658 535 6735 | 9743 3225 38 | 0.000 % | 99.19/99.24 c | 4934 | 658 535 6735 | 10717 4934 39 | 0.000 % | 99.29/99.38 c | 7497 | 658 535 6735 | 11789 7497 39 | 0.000 % | 99.59/99.62 c | 11344 | 658 535 6735 | 12968 11344 40 | 0.000 % | 99.89/99.99 c | 17110 | 658 535 6735 | 14265 10570 44 | 0.000 % | 100.59/100.65 c | 25761 | 658 535 6735 | 15692 12042 45 | 0.000 % | 101.59/101.68 c | 38735 | 658 535 6735 | 17261 9226 47 | 0.000 % | 103.19/103.23 c | 58196 | 658 535 6735 | 18987 11315 47 | 0.000 % | 105.59/105.66 c | 87390 | 658 535 6735 | 20886 11865 47 | 0.000 % | 109.79/109.87 c | 131181 | 658 535 6735 | 22974 13658 52 | 0.000 % | 112.79/112.81 c =============================================================================== 113.49/113.54 c core #12 113.49/113.54 c ============================[ Search Statistics ]============================== 113.49/113.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 113.49/113.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 113.49/113.54 c =============================================================================== 113.49/113.54 c | 0 | 756 573 7348 | 5000 0 nan | 0.000 % | 113.49/113.56 c | 101 | 756 573 7348 | 5500 101 35 | 0.000 % | 113.49/113.56 c | 252 | 756 573 7348 | 6050 252 38 | 0.000 % | 113.49/113.57 c | 477 | 756 573 7348 | 6655 477 39 | 0.000 % | 113.49/113.58 c | 816 | 756 573 7348 | 7320 816 38 | 0.000 % | 113.59/113.60 c | 1323 | 756 573 7348 | 8052 1323 39 | 0.000 % | 113.59/113.63 c | 2082 | 756 573 7348 | 8857 2082 40 | 0.000 % | 113.59/113.67 c | 3221 | 756 573 7348 | 9743 3221 39 | 0.000 % | 113.69/113.75 c | 4929 | 756 573 7348 | 10717 4929 42 | 0.000 % | 113.89/113.90 c | 7493 | 756 573 7348 | 11789 7493 42 | 0.000 % | 114.09/114.13 c | 11337 | 756 573 7348 | 12968 11337 42 | 0.000 % | 114.49/114.52 c | 17104 | 756 573 7348 | 14265 10555 42 | 0.000 % | 115.09/115.14 c | 25753 | 756 573 7348 | 15692 12012 46 | 0.000 % | 116.09/116.19 c | 38728 | 756 573 7348 | 17261 9189 42 | 0.000 % | 117.79/117.86 c | 58189 | 756 573 7348 | 18987 11269 51 | 0.000 % | 120.39/120.47 c | 87383 | 756 573 7348 | 20886 11811 49 | 0.000 % | 122.89/122.94 c =============================================================================== 123.39/123.45 c core #13 123.39/123.45 c ============================[ Search Statistics ]============================== 123.39/123.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 123.39/123.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 123.39/123.45 c =============================================================================== 123.39/123.45 c | 0 | 797 609 7819 | 5000 0 nan | 0.000 % | 123.39/123.47 c | 100 | 797 609 7819 | 5500 100 37 | 0.000 % | 123.39/123.48 c | 251 | 797 609 7819 | 6050 251 36 | 0.000 % | 123.39/123.49 c | 476 | 797 609 7819 | 6655 476 31 | 0.000 % | 123.49/123.50 c | 814 | 797 609 7819 | 7320 814 33 | 0.000 % | 123.49/123.52 c | 1323 | 797 609 7819 | 8052 1323 34 | 0.000 % | 123.49/123.54 c | 2085 | 797 609 7819 | 8857 2085 35 | 0.000 % | 123.49/123.59 c | 3225 | 797 609 7819 | 9743 3225 37 | 0.000 % | 123.59/123.67 c | 4933 | 797 609 7819 | 10717 4933 36 | 0.000 % | 123.79/123.82 c | 7496 | 797 609 7819 | 11789 7496 37 | 0.000 % | 123.99/124.08 c | 11342 | 797 609 7819 | 12968 11342 38 | 0.000 % | 124.39/124.46 c | 17108 | 797 609 7819 | 14265 10577 38 | 0.000 % | 124.99/125.06 c | 25757 | 797 609 7819 | 15692 12027 43 | 0.000 % | 125.99/126.07 c | 38732 | 797 609 7819 | 17261 9208 44 | 0.000 % | 127.50/127.59 c | 58194 | 797 609 7819 | 18987 11306 49 | 0.000 % | 130.09/130.19 c | 87387 | 797 609 7819 | 20886 11862 48 | 0.000 % | 134.49/134.51 c | 131176 | 797 609 7819 | 22974 13663 49 | 0.007 % | 135.59/135.64 c =============================================================================== 136.19/136.22 c core #14 136.19/136.22 c ============================[ Search Statistics ]============================== 136.19/136.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 136.19/136.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 136.19/136.22 c =============================================================================== 136.19/136.22 c | 0 | 835 644 8275 | 5000 0 nan | 0.000 % | 136.19/136.24 c | 100 | 835 644 8275 | 5500 100 32 | 0.000 % | 136.19/136.25 c | 250 | 835 644 8275 | 6050 250 30 | 0.000 % | 136.19/136.26 c | 476 | 835 644 8275 | 6655 476 32 | 0.000 % | 136.19/136.27 c | 813 | 835 644 8275 | 7320 813 32 | 0.000 % | 136.19/136.29 c | 1321 | 835 644 8275 | 8052 1321 31 | 0.000 % | 136.30/136.31 c | 2081 | 835 644 8275 | 8857 2081 32 | 0.000 % | 136.30/136.36 c | 3222 | 835 644 8275 | 9743 3222 34 | 0.000 % | 136.40/136.44 c | 4930 | 835 644 8275 | 10717 4930 36 | 0.000 % | 136.49/136.58 c | 7492 | 835 644 8275 | 11789 7492 36 | 0.000 % | 136.79/136.81 c | 11338 | 835 644 8275 | 12968 11338 38 | 0.000 % | 137.19/137.25 c | 17107 | 835 644 8275 | 14265 10572 42 | 0.000 % | 137.79/137.89 c | 25756 | 835 644 8275 | 15692 12045 40 | 0.000 % | 138.79/138.89 c | 38732 | 835 644 8275 | 17261 9223 40 | 0.000 % | 140.39/140.42 c | 58193 | 835 644 8275 | 18987 11317 45 | 0.000 % | 142.99/143.02 c | 87388 | 835 644 8275 | 20886 11865 52 | 0.000 % | 145.89/145.98 c =============================================================================== 146.49/146.52 c core #15 146.49/146.52 c ============================[ Search Statistics ]============================== 146.49/146.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 146.49/146.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 146.49/146.52 c =============================================================================== 146.49/146.52 c | 0 | 872 676 8695 | 5000 0 nan | 0.000 % | 146.49/146.54 c | 101 | 872 676 8695 | 5500 101 35 | 0.000 % | 146.49/146.55 c | 251 | 872 676 8695 | 6050 251 35 | 0.000 % | 146.49/146.55 c | 479 | 872 676 8695 | 6655 479 36 | 0.000 % | 146.49/146.57 c | 816 | 872 676 8695 | 7320 816 35 | 0.000 % | 146.49/146.58 c | 1322 | 872 676 8695 | 8052 1322 39 | 0.000 % | 146.59/146.62 c | 2081 | 872 676 8695 | 8857 2081 37 | 0.000 % | 146.59/146.66 c | 3220 | 872 676 8695 | 9743 3220 36 | 0.000 % | 146.69/146.74 c | 4930 | 872 676 8695 | 10717 4930 38 | 0.000 % | 146.79/146.89 c | 7493 | 872 676 8695 | 11789 7493 40 | 0.000 % | 147.09/147.17 c | 11338 | 872 676 8695 | 12968 11338 41 | 0.000 % | 147.49/147.58 c | 17107 | 872 676 8695 | 14265 10567 43 | 0.000 % | 148.19/148.22 c | 25756 | 872 676 8695 | 15692 12021 43 | 0.000 % | 149.19/149.23 c | 38730 | 872 676 8695 | 17261 9201 45 | 0.000 % | 150.79/150.84 c | 58192 | 872 676 8695 | 18987 11289 47 | 0.000 % | 153.50/153.52 c | 87386 | 872 676 8695 | 20886 11835 49 | 0.000 % | 157.39/157.47 c | 131178 | 843 676 8695 | 22974 10197 50 | 3.326 % | 157.89/157.97 c =============================================================================== 158.49/158.58 c core #16 158.49/158.58 c ============================[ Search Statistics ]============================== 158.49/158.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 158.49/158.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 158.49/158.58 c =============================================================================== 158.49/158.58 c | 0 | 936 710 9183 | 5000 0 nan | 0.000 % | 158.59/158.60 c | 100 | 936 710 9183 | 5500 100 39 | 0.000 % | 158.59/158.60 c | 250 | 936 710 9183 | 6050 250 41 | 0.000 % | 158.59/158.61 c | 475 | 936 710 9183 | 6655 475 39 | 0.000 % | 158.59/158.63 c | 816 | 936 710 9183 | 7320 816 35 | 0.000 % | 158.59/158.65 c | 1322 | 936 710 9183 | 8052 1322 35 | 0.000 % | 158.59/158.68 c | 2081 | 936 710 9183 | 8857 2081 36 | 0.000 % | 158.69/158.73 c | 3223 | 936 710 9183 | 9743 3223 36 | 0.000 % | 158.80/158.81 c | 4933 | 936 710 9183 | 10717 4933 36 | 0.000 % | 158.89/158.95 c | 7495 | 936 710 9183 | 11789 7495 36 | 0.000 % | 159.09/159.19 c | 11341 | 936 710 9183 | 12968 11341 39 | 0.000 % | 159.59/159.61 c | 17107 | 936 710 9183 | 14265 10565 47 | 0.000 % | 160.19/160.21 c | 25757 | 936 710 9183 | 15692 12033 46 | 0.000 % | 161.19/161.28 c | 38733 | 936 710 9183 | 17261 9204 46 | 0.000 % | 162.70/162.79 c | 58194 | 936 710 9183 | 18987 11279 48 | 0.000 % | 165.20/165.27 c | 87391 | 936 710 9183 | 20886 11865 51 | 0.000 % | 169.79/169.80 c | 131180 | 936 710 9183 | 22974 13660 49 | 0.000 % | 171.09/171.16 c =============================================================================== 171.79/171.84 c core #17 171.79/171.84 c ============================[ Search Statistics ]============================== 171.79/171.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 171.79/171.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 171.79/171.84 c =============================================================================== 171.79/171.84 c | 0 | 975 743 9614 | 5000 0 nan | 0.000 % | 171.79/171.87 c | 101 | 975 743 9614 | 5500 101 38 | 0.000 % | 171.79/171.87 c | 251 | 975 743 9614 | 6050 251 33 | 0.000 % | 171.79/171.88 c | 476 | 975 743 9614 | 6655 476 33 | 0.000 % | 171.79/171.89 c | 814 | 975 743 9614 | 7320 814 35 | 0.000 % | 171.89/171.91 c | 1321 | 975 743 9614 | 8052 1321 34 | 0.000 % | 171.89/171.94 c | 2081 | 975 743 9614 | 8857 2081 35 | 0.000 % | 171.89/171.99 c | 3221 | 975 743 9614 | 9743 3221 35 | 0.000 % | 172.00/172.08 c | 4929 | 975 743 9614 | 10717 4929 36 | 0.000 % | 172.19/172.23 c | 7493 | 975 743 9614 | 11789 7493 38 | 0.000 % | 172.39/172.50 c | 11338 | 975 743 9614 | 12968 11338 39 | 0.000 % | 172.79/172.89 c | 17105 | 975 743 9614 | 14265 10570 40 | 0.000 % | 173.49/173.54 c | 25755 | 975 743 9614 | 15692 12038 41 | 0.000 % | 174.48/174.58 c | 38731 | 975 743 9614 | 17261 9225 45 | 0.000 % | 175.99/176.08 c | 58192 | 975 743 9614 | 18987 11339 43 | 0.000 % | 178.58/178.68 c | 87385 | 975 743 9614 | 20886 11910 48 | 0.000 % | 181.59/181.68 c =============================================================================== 182.19/182.22 c core #18 182.19/182.22 c ============================[ Search Statistics ]============================== 182.19/182.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.19/182.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.19/182.22 c =============================================================================== 182.19/182.22 c | 0 | 1013 774 10020 | 5000 0 nan | 0.000 % | 182.19/182.24 c | 100 | 1013 774 10020 | 5500 100 43 | 0.000 % | 182.19/182.25 c | 251 | 1013 774 10020 | 6050 251 46 | 0.000 % | 182.19/182.26 c | 478 | 1013 774 10020 | 6655 478 46 | 0.000 % | 182.19/182.27 c | 816 | 1013 774 10020 | 7320 816 43 | 0.000 % | 182.19/182.29 c | 1322 | 1013 774 10020 | 8052 1322 41 | 0.000 % | 182.29/182.33 c | 2081 | 1013 774 10020 | 8857 2081 40 | 0.000 % | 182.29/182.38 c | 3220 | 1013 774 10020 | 9743 3220 39 | 0.000 % | 182.39/182.47 c | 4928 | 1013 774 10020 | 10717 4928 39 | 0.000 % | 182.60/182.62 c | 7493 | 1013 774 10020 | 11789 7493 39 | 0.000 % | 182.79/182.87 c | 11337 | 1013 774 10020 | 12968 11337 41 | 0.000 % | 183.29/183.31 c | 17103 | 1013 774 10020 | 14265 10568 45 | 0.000 % | 183.89/183.96 c | 25752 | 1013 774 10020 | 15692 12021 46 | 0.000 % | 184.99/185.08 c | 38728 | 1013 774 10020 | 17261 9191 50 | 0.000 % | 186.79/186.86 c | 58189 | 1013 774 10020 | 18987 11241 49 | 0.000 % | 189.59/189.64 c | 87382 | 1013 774 10020 | 20886 11786 50 | 0.000 % | 193.89/193.98 c | 131173 | 1013 774 10020 | 22974 13582 51 | 0.000 % | 198.29/198.36 c =============================================================================== 198.29/198.36 c #cores: 18 198.29/198.36 c Final Weight: 22 198.29/198.36 o 22 198.29/198.36 s OPTIMUM FOUND 198.29/198.36 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 198.29/198.37 c Total CPU time: 194.504 s
OK 22
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689848-1277896548/watcher-2689848-1277896548 -o /tmp/evaluation-result-2689848-1277896548/solver-2689848-1277896548 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689848-1277896548.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: 2.00 2.00 2.00 3/176 11580 /proc/meminfo: memFree=30928188/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=2572 CPUtime=0 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 285 0 0 0 0 0 0 0 25 0 1 0 130951144 2633728 200 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11580/statm: 643 200 143 303 0 338 0 [startup+0.0546181 s] /proc/loadavg: 2.00 2.00 2.00 3/176 11580 /proc/meminfo: memFree=30928188/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=2968 CPUtime=0.04 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 402 0 0 0 4 0 0 0 25 0 1 0 130951144 3039232 317 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11580/statm: 742 317 143 303 0 437 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2968 [startup+0.100635 s] /proc/loadavg: 2.00 2.00 2.00 3/176 11580 /proc/meminfo: memFree=30928188/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=3364 CPUtime=0.09 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 496 0 0 0 9 0 0 0 25 0 1 0 130951144 3444736 411 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11580/statm: 841 411 143 303 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.3006 s] /proc/loadavg: 2.00 2.00 2.00 3/176 11580 /proc/meminfo: memFree=30928188/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=4684 CPUtime=0.29 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 831 0 0 0 28 1 0 0 25 0 1 0 130951144 4796416 746 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11580/statm: 1171 746 143 303 0 866 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4684 [startup+0.700529 s] /proc/loadavg: 2.00 2.00 2.00 3/176 11580 /proc/meminfo: memFree=30928188/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=6824 CPUtime=0.69 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 1366 0 0 0 67 2 0 0 25 0 1 0 130951144 6987776 1281 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11580/statm: 1706 1281 143 303 0 1401 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6824 [startup+1.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11581 /proc/meminfo: memFree=30922560/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=10520 CPUtime=1.48 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 2263 0 0 0 145 3 0 0 25 0 1 0 130951144 10772480 2178 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11580/statm: 2630 2178 143 303 0 2325 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10520 [startup+3.10111 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11583 /proc/meminfo: memFree=30917476/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=16860 CPUtime=3.09 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 3847 0 0 0 303 6 0 0 25 0 1 0 130951144 17264640 3762 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11580/statm: 4215 3762 143 303 0 3910 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16860 [startup+6.30054 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11583 /proc/meminfo: memFree=30905228/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=28348 CPUtime=6.29 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 6744 0 0 0 616 13 0 0 25 0 1 0 130951144 29028352 6659 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11580/statm: 7087 6659 143 303 0 6782 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28348 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11583 /proc/meminfo: memFree=30888144/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=44352 CPUtime=12.68 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 10748 0 0 0 1240 28 0 0 25 0 1 0 130951144 45416448 10663 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11580/statm: 11088 10663 146 303 0 10783 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44352 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11583 /proc/meminfo: memFree=30859352/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=72668 CPUtime=25.49 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 17825 0 0 0 2494 55 0 0 25 0 1 0 130951144 74412032 17740 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11580/statm: 18167 17740 146 303 0 17862 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 72668 [startup+51.1008 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11583 /proc/meminfo: memFree=30797684/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=134948 CPUtime=51.09 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 33373 0 0 0 5008 101 0 0 25 0 1 0 130951144 138186752 33288 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11580/statm: 33737 33288 146 303 0 33432 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 134948 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11585 /proc/meminfo: memFree=30674696/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=258384 CPUtime=102.3 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 64264 0 0 0 10031 199 0 0 25 0 1 0 130951144 264585216 64179 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11580/statm: 64596 64179 146 303 0 64291 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 258384 [startup+162.301 s] /proc/loadavg: 2.03 2.01 2.00 3/177 11587 /proc/meminfo: memFree=30533400/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=407300 CPUtime=162.29 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 101460 0 0 0 15921 308 0 0 25 0 1 0 130951144 417075200 101375 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11580/statm: 101825 101375 146 303 0 101520 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 407300 Solver just ended. Dumping a history of the last processes samples [startup+179.101 s] /proc/loadavg: 2.02 2.01 2.00 3/195 11680 /proc/meminfo: memFree=30922888/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=448444 CPUtime=179.09 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 111764 0 0 0 17566 343 0 0 25 0 1 0 130951144 459206656 111679 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11580/statm: 112111 111679 146 303 0 111806 0 Current children cumulated CPU time (s) 179.09 Current children cumulated vsize (KiB) 448444 [startup+191.9 s] /proc/loadavg: 2.02 2.01 2.00 3/195 11680 /proc/meminfo: memFree=30875828/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=480564 CPUtime=191.89 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 119799 0 0 0 18817 372 0 0 25 0 1 0 130951144 492097536 119714 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11580/statm: 120141 119714 146 303 0 119836 0 Current children cumulated CPU time (s) 191.89 Current children cumulated vsize (KiB) 480564 [startup+195.101 s] /proc/loadavg: 2.02 2.01 2.00 3/195 11680 /proc/meminfo: memFree=30863804/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=489956 CPUtime=195.09 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 122123 0 0 0 19131 378 0 0 25 0 1 0 130951144 501714944 122038 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11580/statm: 122489 122038 146 303 0 122184 0 Current children cumulated CPU time (s) 195.09 Current children cumulated vsize (KiB) 489956 [startup+196.701 s] /proc/loadavg: 2.02 2.01 2.00 3/195 11680 /proc/meminfo: memFree=30859464/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=494856 CPUtime=196.69 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 123349 0 0 0 19287 382 0 0 25 0 1 0 130951144 506732544 123264 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11580/statm: 123714 123264 146 303 0 123409 0 Current children cumulated CPU time (s) 196.69 Current children cumulated vsize (KiB) 494856 [startup+197.5 s] /proc/loadavg: 2.02 2.01 2.00 3/195 11680 /proc/meminfo: memFree=30853568/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=497236 CPUtime=197.49 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 123960 0 0 0 19365 384 0 0 25 0 1 0 130951144 509169664 123875 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11580/statm: 124309 123875 146 303 0 124004 0 Current children cumulated CPU time (s) 197.49 Current children cumulated vsize (KiB) 497236 [startup+197.9 s] /proc/loadavg: 2.02 2.01 2.00 3/195 11680 /proc/meminfo: memFree=30847244/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=498556 CPUtime=197.9 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 124282 0 0 0 19405 385 0 0 25 0 1 0 130951144 510521344 124197 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11580/statm: 124639 124197 146 303 0 124334 0 Current children cumulated CPU time (s) 197.9 Current children cumulated vsize (KiB) 498556 [startup+198.3 s] /proc/loadavg: 2.02 2.01 2.00 3/195 11680 /proc/meminfo: memFree=30847244/32951132 swapFree=67111528/67111528 [pid=11580] ppid=11578 vsize=499748 CPUtime=198.29 /proc/11580/stat : 11580 (wbo1.4a) R 11578 11580 9609 0 -1 4202496 124592 0 0 0 19443 386 0 0 25 0 1 0 130951144 511741952 124507 4089446400 134512640 135751879 4293194480 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11580/statm: 124937 124507 146 303 0 124632 0 Current children cumulated CPU time (s) 198.29 Current children cumulated vsize (KiB) 499748 Child status: 0 Real time (s): 198.386 CPU time (s): 198.383 CPU user time (s): 194.504 CPU system time (s): 3.87841 CPU usage (%): 99.9984 Max. virtual memory (cumulated for all children) (KiB): 499748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 194.504 system time used= 3.87841 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 124644 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= 7 involuntary context switches= 2093 runsolver used 0.290955 second user time and 0.697893 second system time The end
Begin job on node128 at 2010-06-30 13:15:48 IDJOB=2689848 IDBENCH=78788 IDSOLVER=1200 FILE ID=node128/2689848-1277896548 PBS_JOBID= 11197097 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969860--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-2689848-1277896548/watcher-2689848-1277896548 -o /tmp/evaluation-result-2689848-1277896548/solver-2689848-1277896548 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689848-1277896548.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 67ae8b264a7332f0f782a64868c40f1f RANDOM SEED=468312808 node128.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.853 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.70 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.853 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.853 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.83 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.853 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 : 5332.74 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.853 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.82 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.853 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.75 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.853 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.82 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.853 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 30928716 kB Buffers: 181820 kB Cached: 1008412 kB SwapCached: 0 kB Active: 1096424 kB Inactive: 785784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 30928716 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2808 kB Writeback: 0 kB AnonPages: 692104 kB Mapped: 16352 kB Slab: 76664 kB PageTables: 6456 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 853176 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node128 at 2010-06-30 13:19:07