Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 304 | 213.382 | 213.466 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb |
MD5SUM | dcfce19ac0444148b26b7675e35c76bc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 304 |
Best CPU time to get the best result obtained on this benchmark | 0.030994 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 304 |
Optimality of the best value was proved | YES |
Number of variables | 257 |
Total number of constraints | 97 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 97 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 44 |
Number of terms in the objective function | 173 |
Biggest coefficient in the objective function | 100 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 8448 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 100 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 8448 |
Number of bits of the biggest sum of numbers | 14 |
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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680866-1277455086.opb. 0.00/0.00 c Instance file HOME/instance-2680866-1277455086.opb 0.00/0.00 c File size is 8127 bytes. 0.00/0.00 c Highest Coefficient sum: 62 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: 257 | 0.00/0.00 c | Number Clauses: 125 | 0.00/0.00 c | Number Cardinality: 56 | 0.00/0.00 c | Number PB Constraints: 0 | 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 | 216 221 864 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 1417 0.00/0.00 o 1417 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 216 222 999 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 1416 0.00/0.00 o 1416 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 216 223 1134 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 1415 0.00/0.00 o 1415 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 216 224 1269 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 1414 0.00/0.00 o 1414 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 21 | 216 225 1404 | 5000 21 42 | 0.000 % | 0.00/0.01 c | 121 | 216 225 1404 | 5500 121 64 | 15.955 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 1334 0.00/0.01 o 1334 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 210 | 216 226 1539 | 5000 210 61 | 15.955 % | 0.00/0.02 c | 311 | 216 226 1539 | 5500 311 60 | 15.955 % | 0.00/0.02 c | 461 | 216 226 1539 | 6050 461 60 | 15.955 % | 0.00/0.03 c | 686 | 216 226 1539 | 6655 686 60 | 15.955 % | 0.04/0.05 c | 1024 | 216 226 1539 | 7320 1024 59 | 15.955 % | 0.04/0.07 c | 1530 | 216 226 1539 | 8052 1530 59 | 15.955 % | 0.09/0.11 c | 2289 | 216 226 1539 | 8857 2289 59 | 15.955 % | 0.09/0.18 c | 3428 | 216 226 1539 | 9743 3428 59 | 15.955 % | 0.19/0.29 c | 5136 | 216 226 1539 | 10717 5136 59 | 15.955 % | 0.39/0.47 c | 7698 | 216 226 1539 | 11789 7698 59 | 15.955 % | 0.79/0.84 c | 11542 | 216 226 1539 | 12968 11542 59 | 15.955 % | 1.39/1.45 c | 17308 | 216 226 1539 | 14265 10765 59 | 15.955 % | 2.29/2.33 c | 25958 | 216 226 1539 | 15692 12223 59 | 15.955 % | 3.69/3.78 c | 38933 | 216 226 1539 | 17261 9386 57 | 15.955 % | 6.39/6.41 c | 58395 | 216 226 1539 | 18987 11475 57 | 15.955 % | 10.90/10.94 c | 87588 | 216 226 1539 | 20886 12006 58 | 15.955 % | 18.38/18.47 c | 131378 | 216 226 1539 | 22974 13784 57 | 15.955 % | 30.38/30.42 c | 197062 | 216 226 1539 | 25272 17824 56 | 15.955 % | 44.37/44.43 c =============================================================================== 44.37/44.43 c New solution: 1333 44.37/44.43 o 1333 44.37/44.43 c Elapsed CPU time: 43.6544 s Remaining CPU time: 136.346 s 44.37/44.43 c =============================================================================== 44.37/44.43 c | 274639 | 216 227 1674 | 5000 22592 54 | 15.955 % | 44.47/44.57 c | 274740 | 216 227 1674 | 5500 2780 54 | 15.955 % | 44.47/44.58 c | 274890 | 216 227 1674 | 6050 2930 54 | 15.955 % | 44.47/44.59 c | 275116 | 216 227 1674 | 6655 3156 54 | 15.955 % | 44.57/44.62 c | 275453 | 216 227 1674 | 7320 3493 54 | 15.955 % | 44.57/44.65 c | 275959 | 216 227 1674 | 8052 3999 54 | 15.955 % | 44.57/44.69 c | 276719 | 216 227 1674 | 8857 4759 54 | 15.955 % | 44.67/44.77 c | 277859 | 216 227 1674 | 9743 5899 55 | 15.955 % | 44.87/44.90 c | 279567 | 216 227 1674 | 10717 7607 55 | 15.955 % | 45.08/45.12 c | 282131 | 216 227 1674 | 11789 10171 55 | 15.955 % | 45.37/45.46 c | 285976 | 216 227 1674 | 12968 8070 56 | 15.955 % | 45.97/46.05 c | 291742 | 216 227 1674 | 14265 7297 57 | 15.955 % | 46.97/47.04 c | 300392 | 216 227 1674 | 15692 8759 57 | 15.955 % | 48.57/48.67 c | 313366 | 216 227 1674 | 17261 13835 57 | 15.955 % | 51.47/51.54 c | 332828 | 216 227 1674 | 18987 15926 57 | 15.955 % | 56.07/56.13 c | 362020 | 216 227 1674 | 20886 16462 55 | 15.955 % | 63.37/63.42 c | 405809 | 216 227 1674 | 22974 18255 54 | 15.955 % | 75.46/75.52 c | 471494 | 216 227 1674 | 25272 22176 51 | 15.955 % | 82.95/83.09 c =============================================================================== 82.95/83.09 c New solution: 1332 82.95/83.09 o 1332 82.95/83.09 c Elapsed CPU time: 81.6206 s Remaining CPU time: 98.3794 s 82.95/83.09 c =============================================================================== 82.95/83.09 c | 512792 | 216 228 1809 | 5000 19814 51 | 15.955 % | 83.06/83.19 c | 512892 | 216 228 1809 | 5500 5054 51 | 15.955 % | 83.16/83.20 c | 513043 | 216 228 1809 | 6050 5205 51 | 15.955 % | 83.16/83.21 c | 513269 | 216 228 1809 | 6655 5431 51 | 15.955 % | 83.16/83.24 c | 513607 | 216 228 1809 | 7320 5769 51 | 15.955 % | 83.16/83.28 c | 514113 | 216 228 1809 | 8052 6275 51 | 15.955 % | 83.26/83.33 c | 514872 | 216 228 1809 | 8857 7034 51 | 15.955 % | 83.36/83.43 c | 516011 | 216 228 1809 | 9743 8173 51 | 15.955 % | 83.36/83.43 c =============================================================================== 83.36/83.43 c New solution: 1331 83.36/83.43 o 1331 83.36/83.43 c Elapsed CPU time: 81.9465 s Remaining CPU time: 98.0535 s 83.36/83.43 c =============================================================================== 83.36/83.43 c | 516013 | 216 229 1944 | 5000 8175 51 | 15.955 % | 83.36/83.47 c | 516114 | 216 229 1944 | 5500 4189 52 | 15.955 % | 83.36/83.48 c | 516265 | 216 229 1944 | 6050 4340 52 | 15.955 % | 83.36/83.49 c | 516491 | 216 229 1944 | 6655 4566 52 | 15.955 % | 83.46/83.52 c | 516828 | 216 229 1944 | 7320 4903 52 | 15.955 % | 83.46/83.56 c | 517335 | 216 229 1944 | 8052 5410 52 | 15.955 % | 83.56/83.61 c | 518095 | 216 229 1944 | 8857 6170 52 | 15.955 % | 83.65/83.71 c | 519234 | 216 229 1944 | 9743 7309 51 | 15.955 % | 83.76/83.85 c | 520943 | 216 229 1944 | 10717 9018 51 | 15.955 % | 84.06/84.13 c | 523505 | 216 229 1944 | 11789 6167 51 | 15.955 % | 84.36/84.48 c | 527349 | 216 229 1944 | 12968 10011 51 | 15.955 % | 85.06/85.15 c | 533115 | 216 229 1944 | 14265 9238 51 | 15.955 % | 86.06/86.19 c | 541765 | 216 229 1944 | 15692 10700 52 | 15.955 % | 87.86/87.95 c | 554740 | 216 229 1944 | 17261 15772 51 | 15.955 % | 90.45/90.51 c =============================================================================== 90.45/90.51 c New solution: 1330 90.45/90.51 o 1330 90.45/90.51 c Elapsed CPU time: 88.8605 s Remaining CPU time: 91.1395 s 90.45/90.51 c =============================================================================== 90.45/90.51 c | 572531 | 216 230 2079 | 5000 16198 51 | 15.955 % | 90.45/90.59 c | 572632 | 216 230 2079 | 5500 4151 52 | 15.955 % | 90.55/90.60 c | 572782 | 216 230 2079 | 6050 4301 52 | 15.955 % | 90.55/90.62 c | 573008 | 216 230 2079 | 6655 4527 52 | 15.955 % | 90.55/90.64 c | 573345 | 216 230 2079 | 7320 4864 52 | 15.955 % | 90.55/90.68 c | 573852 | 216 230 2079 | 8052 5371 52 | 15.955 % | 90.66/90.73 c | 574611 | 216 230 2079 | 8857 6130 53 | 15.955 % | 90.76/90.82 c | 575750 | 216 230 2079 | 9743 7269 53 | 15.955 % | 90.85/90.98 c | 577459 | 216 230 2079 | 10717 8978 53 | 15.955 % | 91.16/91.25 c | 580022 | 216 230 2079 | 11789 6126 55 | 15.955 % | 91.56/91.61 c | 583867 | 216 230 2079 | 12968 9971 56 | 15.955 % | 92.26/92.31 c | 589633 | 216 230 2079 | 14265 9198 56 | 15.955 % | 93.36/93.45 c | 598282 | 216 230 2079 | 15692 10657 56 | 15.955 % | 95.15/95.28 c | 611256 | 216 230 2079 | 17261 15727 56 | 15.955 % | 98.15/98.25 c | 630718 | 216 230 2079 | 18987 9127 54 | 15.955 % | 102.55/102.68 c | 659910 | 216 230 2079 | 20886 9672 54 | 15.955 % | 110.14/110.21 c | 703699 | 216 230 2079 | 22974 11468 54 | 15.955 % | 121.34/121.40 c | 769384 | 216 230 2079 | 25272 15395 51 | 15.955 % | 141.43/141.56 c | 867910 | 216 230 2079 | 27799 12058 50 | 15.955 % | 157.13/157.26 c =============================================================================== 157.13/157.26 c New solution: 1329 157.13/157.26 o 1329 157.13/157.26 c Elapsed CPU time: 154.561 s Remaining CPU time: 25.4395 s 157.13/157.26 c =============================================================================== 157.13/157.26 c | 940310 | 216 231 2214 | 5000 16512 49 | 15.955 % | 157.23/157.33 c | 940410 | 216 231 2214 | 5500 4228 49 | 15.955 % | 157.23/157.34 c | 940560 | 216 231 2214 | 6050 4378 49 | 15.955 % | 157.23/157.36 c | 940785 | 216 231 2214 | 6655 4603 50 | 15.955 % | 157.23/157.38 c | 941123 | 216 231 2214 | 7320 4941 50 | 15.955 % | 157.33/157.42 c | 941630 | 216 231 2214 | 8052 5448 50 | 15.955 % | 157.33/157.49 c | 942390 | 216 231 2214 | 8857 6208 50 | 15.955 % | 157.43/157.58 c | 943529 | 216 231 2214 | 9743 7347 51 | 15.955 % | 157.63/157.74 c | 945238 | 216 231 2214 | 10717 9056 51 | 15.955 % | 157.92/158.03 c | 947800 | 216 231 2214 | 11789 6209 53 | 15.955 % | 158.33/158.41 c | 951644 | 216 231 2214 | 12968 10053 53 | 15.955 % | 158.92/159.06 c | 957410 | 216 231 2214 | 14265 9280 53 | 15.955 % | 160.03/160.13 c | 966059 | 216 231 2214 | 15692 10742 53 | 15.955 % | 161.73/161.83 c | 979034 | 216 231 2214 | 17261 7916 52 | 15.955 % | 164.33/164.47 c | 998496 | 216 231 2214 | 18987 10013 51 | 15.955 % | 168.72/168.84 c | 1027688 | 216 231 2214 | 20886 10553 52 | 15.955 % | 176.02/176.14 c | 1071478 | 216 231 2214 | 22974 12347 50 | 15.955 % | 182.92/183.10 c =============================================================================== 182.92/183.10 c New solution: 1328 182.92/183.10 o 1328 182.92/183.10 c Elapsed CPU time: 179.906 s Remaining CPU time: 0.09435 s 182.92/183.10 c =============================================================================== 182.92/183.10 c | 1111313 | 216 232 2349 | 5000 15134 49 | 15.955 % | 183.02/183.16 c | 1111413 | 216 232 2349 | 5500 3884 48 | 15.955 % | 183.02/183.17 c | 1111563 | 216 232 2349 | 6050 4034 48 | 15.955 % | 183.02/183.19 c | 1111789 | 216 232 2349 | 6655 4260 48 | 15.955 % | 183.02/183.19 c There are 41 assigned variables. 1 in cost function. 184.32/184.44 c core #1 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 1 Total Weight: -29 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #2 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 1 Total Weight: -28 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #3 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 1 Total Weight: -27 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #4 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 1 Total Weight: -26 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #5 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 1 Total Weight: -25 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #6 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 1 Total Weight: -24 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #7 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 1 Total Weight: -23 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #8 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 1 Total Weight: -22 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #9 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 1 Total Weight: -21 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #10 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 1 Total Weight: -20 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #11 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 1 Total Weight: -19 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #12 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 1 Total Weight: -18 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #13 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 1 Total Weight: -17 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #14 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 1 Total Weight: -16 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #15 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 1 Total Weight: -15 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #16 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 1 Total Weight: -14 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #17 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 1 Total Weight: -13 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #18 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 2 Core Weight: 100 Total Weight: 87 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #19 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 23 Core Weight: 1 Total Weight: 88 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #20 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 3 Core Weight: 1 Total Weight: 89 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #21 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 3 Core Weight: 1 Total Weight: 90 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #22 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 3 Core Weight: 1 Total Weight: 91 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #23 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 5 Core Weight: 100 Total Weight: 191 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #24 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 3 Core Weight: 1 Total Weight: 192 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #25 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 5 Core Weight: 100 Total Weight: 292 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #26 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 3 Core Weight: 1 Total Weight: 293 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #27 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 3 Core Weight: 1 Total Weight: 294 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #28 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 3 Core Weight: 1 Total Weight: 295 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c core #29 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 16 Core Weight: 1 Total Weight: 296 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c ============================[ Search Statistics ]============================== 184.32/184.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.32/184.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.32/184.44 c =============================================================================== 184.32/184.44 c | 0 | 185 351 989 | 5000 0 nan | 0.000 % | 184.32/184.44 c =============================================================================== 184.32/184.44 c core #30 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 45 Core Weight: 1 Total Weight: 297 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c ============================[ Search Statistics ]============================== 184.32/184.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.32/184.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.32/184.44 c =============================================================================== 184.32/184.44 c | 0 | 219 379 1030 | 5000 0 nan | 0.000 % | 184.32/184.44 c =============================================================================== 184.32/184.44 c core #31 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 48 Core Weight: 1 Total Weight: 298 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c ============================[ Search Statistics ]============================== 184.32/184.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.32/184.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.32/184.44 c =============================================================================== 184.32/184.44 c | 0 | 256 407 1077 | 5000 0 nan | 0.000 % | 184.32/184.44 c =============================================================================== 184.32/184.44 c core #32 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c Core size: 53 Core Weight: 1 Total Weight: 299 184.32/184.44 c 184.32/184.44 c 184.32/184.44 c ============================[ Search Statistics ]============================== 184.32/184.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.32/184.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.32/184.44 c =============================================================================== 184.32/184.44 c | 0 | 297 435 1132 | 5000 0 nan | 0.000 % | 184.32/184.45 c | 102 | 293 435 1132 | 5500 68 11 | 33.561 % | 184.32/184.45 c =============================================================================== 184.32/184.45 c core #33 184.32/184.45 c 184.32/184.45 c 184.32/184.45 c Core size: 56 Core Weight: 1 Total Weight: 300 184.32/184.45 c 184.32/184.45 c 184.32/184.45 c ============================[ Search Statistics ]============================== 184.32/184.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.32/184.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.32/184.45 c =============================================================================== 184.32/184.45 c | 0 | 342 463 1195 | 5000 0 nan | 0.000 % | 184.32/184.45 c | 101 | 341 463 1195 | 5500 101 13 | 30.041 % | 184.32/184.46 c | 252 | 340 463 1195 | 6050 250 17 | 30.042 % | 184.32/184.47 c =============================================================================== 184.32/184.47 c core #34 184.32/184.47 c 184.32/184.47 c 184.32/184.47 c Core size: 69 Core Weight: 1 Total Weight: 301 184.32/184.47 c 184.32/184.47 c 184.32/184.47 c ============================[ Search Statistics ]============================== 184.32/184.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.32/184.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.32/184.47 c =============================================================================== 184.32/184.47 c | 0 | 397 493 1276 | 5000 0 nan | 0.000 % | 184.32/184.48 c | 100 | 397 493 1276 | 5500 100 30 | 26.618 % | 184.32/184.49 c | 251 | 397 493 1276 | 6050 251 29 | 26.618 % | 184.42/184.50 c | 479 | 396 493 1276 | 6655 478 28 | 26.803 % | 184.42/184.53 c | 816 | 395 493 1276 | 7320 814 29 | 26.987 % | 184.42/184.58 c | 1322 | 395 493 1276 | 8052 1320 29 | 27.172 % | 184.51/184.66 c | 2081 | 394 493 1276 | 8857 2078 28 | 27.172 % | 184.63/184.76 c =============================================================================== 184.63/184.78 c core #35 184.63/184.78 c 184.63/184.78 c 184.63/184.78 c Core size: 69 Core Weight: 1 Total Weight: 302 184.63/184.78 c 184.63/184.78 c 184.63/184.78 c ============================[ Search Statistics ]============================== 184.63/184.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.63/184.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.63/184.78 c =============================================================================== 184.63/184.78 c | 0 | 450 521 1355 | 5000 0 nan | 0.000 % | 184.63/184.79 c | 103 | 447 521 1355 | 5500 100 30 | 24.748 % | 184.63/184.80 c | 255 | 447 521 1355 | 6050 252 31 | 24.748 % | 184.72/184.81 c | 481 | 447 521 1355 | 6655 478 35 | 24.748 % | 184.72/184.84 c | 819 | 447 521 1355 | 7320 816 36 | 24.748 % | 184.72/184.88 c | 1326 | 446 521 1355 | 8052 1322 35 | 24.916 % | 184.81/184.96 c | 2085 | 446 521 1355 | 8857 2081 36 | 24.916 % | 185.02/185.12 c | 3226 | 445 521 1355 | 9743 3221 38 | 25.084 % | 185.32/185.45 c | 4937 | 445 521 1355 | 10717 4932 38 | 25.421 % | 185.83/185.97 c | 7501 | 443 521 1355 | 11789 7494 38 | 25.590 % | 187.22/187.38 c | 11346 | 441 521 1355 | 12968 11337 38 | 26.263 % | 188.11/188.20 c =============================================================================== 188.21/188.36 c core #36 188.21/188.36 c 188.21/188.36 c 188.21/188.36 c Core size: 68 Core Weight: 1 Total Weight: 303 188.21/188.36 c 188.21/188.36 c 188.21/188.36 c ============================[ Search Statistics ]============================== 188.21/188.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.21/188.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.21/188.36 c =============================================================================== 188.21/188.36 c | 0 | 503 549 1434 | 5000 0 nan | 0.000 % | 188.21/188.36 c | 101 | 503 549 1434 | 5500 101 36 | 22.257 % | 188.21/188.37 c | 252 | 503 549 1434 | 6050 252 31 | 22.257 % | 188.21/188.39 c | 477 | 503 549 1434 | 6655 477 32 | 22.257 % | 188.32/188.41 c | 817 | 503 549 1434 | 7320 817 42 | 22.257 % | 188.32/188.47 c | 1325 | 503 549 1434 | 8052 1325 50 | 22.257 % | 188.41/188.56 c | 2086 | 502 549 1434 | 8857 2085 55 | 22.566 % | 188.61/188.75 c | 3226 | 502 549 1434 | 9743 3225 59 | 22.566 % | 189.12/189.20 c | 4934 | 501 549 1434 | 10717 4932 62 | 22.720 % | 189.82/189.98 c | 7496 | 496 549 1434 | 11789 7489 62 | 23.339 % | 191.51/191.61 c | 11341 | 496 549 1434 | 12968 11334 61 | 23.957 % | 194.11/194.28 c | 17108 | 496 549 1434 | 14265 10473 59 | 24.266 % | 198.81/198.95 c | 25757 | 489 549 1434 | 15692 11827 58 | 24.421 % | 205.41/205.58 c | 38731 | 489 549 1434 | 17261 8807 60 | 24.421 % | 212.30/212.42 c =============================================================================== 213.00/213.19 c core #37 213.00/213.19 c 213.00/213.19 c 213.00/213.19 c Core size: 65 Core Weight: 1 Total Weight: 304 213.00/213.19 c 213.00/213.19 c 213.00/213.19 c ============================[ Search Statistics ]============================== 213.00/213.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.00/213.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.00/213.19 c =============================================================================== 213.00/213.19 c | 0 | 556 577 1513 | 5000 0 nan | 0.000 % | 213.10/213.21 c | 102 | 542 577 1513 | 5500 88 40 | 22.572 % | 213.10/213.22 c | 253 | 542 577 1513 | 6050 239 44 | 22.572 % | 213.10/213.24 c | 478 | 542 577 1513 | 6655 464 39 | 22.572 % | 213.10/213.26 c | 815 | 542 577 1513 | 7320 801 43 | 22.572 % | 213.21/213.31 c | 1322 | 541 577 1513 | 8052 1307 52 | 22.714 % | 213.21/213.40 c | 2083 | 541 577 1513 | 8857 2068 55 | 22.714 % | 213.31/213.42 c =============================================================================== 213.31/213.42 c #cores: 37 213.31/213.42 c Final Weight: 304 213.31/213.42 o 393 213.31/213.42 s OPTIMUM FOUND 213.31/213.42 v x134 x178 -x218 x4 x180 x8 x9 -x97 x185 -x225 -x186 x226 x11 -x99 -x143 -x187 x227 x100 x13 x14 x15 -x59 x104 x61 -x105 -x149 x230 x62 x20 -x108 -x109 x153 -x22 -x110 x154 -x111 x155 x112 -x192 x232 x27 -x71 x237 x118 -x198 x238 -x199 x239 x119 -x200 x240 x164 x121 -x202 x242 -x203 x243 x122 x204 -x244 -x124 x168 -x206 x246 -x125 x247 x38 -x126 -x170 -x208 x248 x127 x249 -x40 x172 x250 -x213 x253 x130 -x214 x254 x131 -x215 x255 x132 -x216 x256 x133 x257 -x2 -x46 -x90 -x91 -x179 -x48 -x220 -x222 -x224 -x53 -x141 -x12 -x56 -x144 -x228 -x57 -x145 -x229 -x58 -x146 -x103 -x147 -x16 -x148 -x18 -x150 x19 -x63 -x107 -x151 -x152 -x66 -x24 -x68 -x156 -x25 x69 -x113 -x157 -x191 x231 -x159 -x233 -x234 -x235 -x236 -x30 -x74 -x162 -x31 -x75 -x163 -x76 -x120 -x241 -x33 -x77 -x165 -x34 -x166 -x35 -x79 -x245 -x80 -x81 -x169 -x82 -x39 -x83 -x171 -x84 -x128 -x42 -x86 -x174 -x43 -x87 -x175 -x44 -x88 -x176 -x177 -x217 x1 -x3 -x5 -x6 -x7 -x10 -x17 -x21 -x23 -x26 -x28 -x29 -x32 -x36 x37 -x41 -x45 -x47 -x49 -x50 -x51 -x52 x54 -x55 -x60 -x64 -x65 -x67 x70 x72 x73 -x78 x85 -x89 -x92 -x93 -x94 -x95 -x96 -x98 -x101 -x102 -x106 -x114 -x115 -x116 -x117 -x123 -x129 x135 -x136 x137 x138 x139 -x140 -x142 -x158 -x160 -x161 x167 -x173 x181 x182 x183 x184 x188 x189 -x190 x193 x194 x195 x196 -x197 x201 x205 -x207 -x209 -x210 x211 x212 x219 -x221 -x223 -x251 -x252 213.31/213.42 c Total CPU time: 209.994 s
OK 304
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680866-1277455086/watcher-2680866-1277455086 -o /tmp/evaluation-result-2680866-1277455086/solver-2680866-1277455086 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680866-1277455086.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.94 3/106 20862 /proc/meminfo: memFree=1861064/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=2572 CPUtime=0 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 291 0 0 0 0 0 0 0 17 0 1 0 119164901 2633728 208 1992294400 134512640 135752675 4287026896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 643 208 144 303 0 338 0 [startup+0.050303 s] /proc/loadavg: 0.92 0.98 0.94 3/106 20862 /proc/meminfo: memFree=1861064/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=2828 CPUtime=0.04 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 371 0 0 0 4 0 0 0 17 0 1 0 119164901 2895872 288 1992294400 134512640 135752675 4287026896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 740 289 145 303 0 435 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2828 [startup+0.101312 s] /proc/loadavg: 0.92 0.98 0.94 3/106 20862 /proc/meminfo: memFree=1861064/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=3216 CPUtime=0.09 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 457 0 0 0 9 0 0 0 17 0 1 0 119164901 3293184 374 1992294400 134512640 135752675 4287026896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 804 374 145 303 0 499 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3216 [startup+0.301349 s] /proc/loadavg: 0.92 0.98 0.94 3/106 20862 /proc/meminfo: memFree=1861064/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=4388 CPUtime=0.29 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 744 0 0 0 28 1 0 0 17 0 1 0 119164901 4493312 661 1992294400 134512640 135752675 4287026896 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 1097 661 145 303 0 792 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4388 [startup+0.701424 s] /proc/loadavg: 0.92 0.98 0.94 3/106 20862 /proc/meminfo: memFree=1861064/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=5984 CPUtime=0.69 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 1159 0 0 0 68 1 0 0 17 0 1 0 119164901 6127616 1076 1992294400 134512640 135752675 4287026896 18446744073709551615 134611636 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 1496 1076 145 303 0 1191 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5984 [startup+1.50157 s] /proc/loadavg: 0.92 0.98 0.94 2/107 20863 /proc/meminfo: memFree=1856344/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=8600 CPUtime=1.49 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 1807 0 0 0 146 3 0 0 18 0 1 0 119164901 8806400 1724 1992294400 134512640 135752675 4287026896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 2150 1724 145 303 0 1845 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8600 [startup+3.10087 s] /proc/loadavg: 0.92 0.98 0.94 2/107 20863 /proc/meminfo: memFree=1852624/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=13912 CPUtime=3.09 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 3108 0 0 0 302 7 0 0 21 0 1 0 119164901 14245888 3025 1992294400 134512640 135752675 4287026896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 3478 3025 145 303 0 3173 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13912 [startup+6.30147 s] /proc/loadavg: 0.93 0.98 0.94 2/107 20865 /proc/meminfo: memFree=1841148/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=21576 CPUtime=6.29 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 5036 0 0 0 616 13 0 0 25 0 1 0 119164901 22093824 4953 1992294400 134512640 135752675 4287026896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 5394 4953 145 303 0 5089 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21576 [startup+12.7007 s] /proc/loadavg: 1.01 1.00 0.95 2/108 20866 /proc/meminfo: memFree=1785992/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=35100 CPUtime=12.68 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 8405 0 0 0 1244 24 0 0 25 0 1 0 119164901 35942400 8322 1992294400 134512640 135752675 4287026896 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 8775 8322 145 303 0 8470 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 35100 [startup+25.5011 s] /proc/loadavg: 1.01 1.00 0.95 2/107 20868 /proc/meminfo: memFree=1762688/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=57928 CPUtime=25.48 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 14108 0 0 0 2503 45 0 0 25 0 1 0 119164901 59318272 14025 1992294400 134512640 135752675 4287026896 18446744073709551615 134611642 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 14482 14025 145 303 0 14177 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 57928 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20868 /proc/meminfo: memFree=1713088/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=108108 CPUtime=51.07 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 26650 0 0 0 5016 91 0 0 25 0 1 0 119164901 110702592 26567 1992294400 134512640 135752675 4287026896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 27027 26567 145 303 0 26722 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 108108 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20870 /proc/meminfo: memFree=1611284/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=208480 CPUtime=102.26 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 51730 0 0 0 10042 184 0 0 25 0 1 0 119164901 213483520 51647 1992294400 134512640 135752675 4287026896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 52120 51647 145 303 0 51815 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 208480 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20870 /proc/meminfo: memFree=1515556/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=305668 CPUtime=162.22 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 76009 0 0 0 15946 276 0 0 25 0 1 0 119164901 313004032 75926 1992294400 134512640 135752675 4287026896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 76417 75926 145 303 0 76112 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 305668 Solver just ended. Dumping a history of the last processes samples [startup+179.102 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20872 /proc/meminfo: memFree=1484556/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=336740 CPUtime=179.02 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 83802 0 0 0 17595 307 0 0 25 0 1 0 119164901 344821760 83719 1992294400 134512640 135752675 4287026896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 84185 83719 145 303 0 83880 0 Current children cumulated CPU time (s) 179.02 Current children cumulated vsize (KiB) 336740 [startup+191.901 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20872 /proc/meminfo: memFree=1474016/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=345396 CPUtime=191.81 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 86038 0 0 0 18861 320 0 0 25 0 1 0 119164901 353685504 85927 1992294400 134512640 135752675 4287026896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 86349 85927 146 303 0 86044 0 Current children cumulated CPU time (s) 191.81 Current children cumulated vsize (KiB) 345396 [startup+204.701 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20872 /proc/meminfo: memFree=1466328/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=352892 CPUtime=204.61 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 87905 0 0 0 20133 328 0 0 25 0 1 0 119164901 361361408 87794 1992294400 134512640 135752675 4287026896 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 88223 87794 146 303 0 87918 0 Current children cumulated CPU time (s) 204.61 Current children cumulated vsize (KiB) 352892 [startup+207.908 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20872 /proc/meminfo: memFree=1464096/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=355004 CPUtime=207.81 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 88432 0 0 0 20450 331 0 0 25 0 1 0 119164901 363524096 88321 1992294400 134512640 135752675 4287026896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 88751 88321 146 303 0 88446 0 Current children cumulated CPU time (s) 207.81 Current children cumulated vsize (KiB) 355004 [startup+211.101 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20872 /proc/meminfo: memFree=1462484/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=356620 CPUtime=211.02 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 88825 0 0 0 20769 333 0 0 25 0 1 0 119164901 365178880 88714 1992294400 134512640 135752675 4287026896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 89155 88714 146 303 0 88850 0 Current children cumulated CPU time (s) 211.02 Current children cumulated vsize (KiB) 356620 [startup+212.701 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20872 /proc/meminfo: memFree=1461616/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=357700 CPUtime=212.6 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 89084 0 0 0 20927 333 0 0 25 0 1 0 119164901 366284800 88973 1992294400 134512640 135752675 4287026896 18446744073709551615 134516406 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 89425 88973 146 303 0 89120 0 Current children cumulated CPU time (s) 212.6 Current children cumulated vsize (KiB) 357700 [startup+213.101 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20872 /proc/meminfo: memFree=1461616/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=357700 CPUtime=213 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 89084 0 0 0 20967 333 0 0 25 0 1 0 119164901 366284800 88973 1992294400 134512640 135752675 4287026896 18446744073709551615 134615261 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 89425 88973 146 303 0 89120 0 Current children cumulated CPU time (s) 213 Current children cumulated vsize (KiB) 357700 [startup+213.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20872 /proc/meminfo: memFree=1461368/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=357836 CPUtime=213.21 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 89106 0 0 0 20987 334 0 0 25 0 1 0 119164901 366424064 88995 1992294400 134512640 135752675 4287026896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 89459 88995 146 303 0 89154 0 Current children cumulated CPU time (s) 213.21 Current children cumulated vsize (KiB) 357836 [startup+213.408 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20872 /proc/meminfo: memFree=1461368/2059040 swapFree=4140004/4192956 [pid=20862] ppid=20860 vsize=357836 CPUtime=213.31 /proc/20862/stat : 20862 (wbo1.4b) R 20860 20862 20682 0 -1 4202496 89106 0 0 0 20997 334 0 0 25 0 1 0 119164901 366424064 88995 1992294400 134512640 135752675 4287026896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20862/statm: 89459 88995 146 303 0 89154 0 Current children cumulated CPU time (s) 213.31 Current children cumulated vsize (KiB) 357836 Child status: 0 Real time (s): 213.466 CPU time (s): 213.382 CPU user time (s): 209.994 CPU system time (s): 3.38749 CPU usage (%): 99.9606 Max. virtual memory (cumulated for all children) (KiB): 357836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 209.994 system time used= 3.38748 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 89107 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= 683 runsolver used 0.332949 second user time and 1.05384 second system time The end
Begin job on node019 at 2010-06-25 10:38:06 IDJOB=2680866 IDBENCH=2232 IDSOLVER=1190 FILE ID=node019/2680866-1277455086 PBS_JOBID= 11188140 Free space on /tmp= 62276 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680866-1277455086/watcher-2680866-1277455086 -o /tmp/evaluation-result-2680866-1277455086/solver-2680866-1277455086 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680866-1277455086.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dcfce19ac0444148b26b7675e35c76bc RANDOM SEED=172133165 node019.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1861592 kB Buffers: 13700 kB Cached: 96608 kB SwapCached: 5532 kB Active: 25528 kB Inactive: 97848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1861592 kB SwapTotal: 4192956 kB SwapFree: 4140004 kB Dirty: 2620 kB Writeback: 0 kB AnonPages: 11828 kB Mapped: 11972 kB Slab: 52104 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182808 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62276 MiB End job on node019 at 2010-06-25 10:41:39