Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | -81 | 72.416 | 72.4341 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-3000opt.opb |
MD5SUM | d02d20784bc67f5ad08bddab69f126bc |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -81 |
Best CPU time to get the best result obtained on this benchmark | 6.25905 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2025 |
Total number of constraints | 30406 |
Number of constraints which are clauses | 30406 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 135 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 340 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 340 |
Number of bits of the biggest sum of numbers | 9 |
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 opb file format. File HOME/instance-2655748-1276687170.opb. 0.00/0.00 c Instance file HOME/instance-2655748-1276687170.opb 0.00/0.00 c File size is 1007225 bytes. 0.09/0.14 c Highest Coefficient sum: 4 0.09/0.14 c ============================[ Problem Statistics ]============================= 0.09/0.14 c | | 0.09/0.14 c | Parsing time: 0.14 s | 0.09/0.14 c | Number Variables: 2025 | 0.09/0.14 c | Number Clauses: 30406 | 0.09/0.14 c | Number Cardinality: 0 | 0.09/0.14 c | Number PB Constraints: 0 | 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1997 30434 90048 | 10135 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 340 0.19/0.20 o 340 0.19/0.20 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1997 30435 90183 | 10145 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 337 0.19/0.20 o 337 0.19/0.20 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1997 30436 90318 | 10145 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 336 0.19/0.21 o 336 0.19/0.21 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 1 | 1997 30437 90453 | 10145 1 134 | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 334 0.19/0.21 o 334 0.19/0.21 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 1 | 1997 30438 90588 | 10146 1 134 | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 333 0.19/0.22 o 333 0.19/0.22 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 1 | 1997 30439 90723 | 10146 1 134 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 332 0.19/0.23 o 332 0.19/0.23 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 1 | 1997 30440 90858 | 10146 1 134 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 331 0.19/0.23 o 331 0.19/0.23 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 1 | 1997 30441 90993 | 10147 1 134 | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 330 0.19/0.24 o 330 0.19/0.24 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 3 | 1997 30442 91128 | 10147 3 89 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: 329 0.19/0.25 o 329 0.19/0.25 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 3 | 1997 30443 91263 | 10147 3 89 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: 328 0.19/0.25 o 328 0.19/0.25 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 5 | 1997 30444 91398 | 10148 5 105 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: 327 0.19/0.26 o 327 0.19/0.26 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 5 | 1997 30445 91533 | 10148 5 105 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 326 0.19/0.27 o 326 0.19/0.27 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 7 | 1997 30446 91668 | 10148 7 94 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 325 0.19/0.27 o 325 0.19/0.27 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 7 | 1997 30447 91803 | 10149 7 94 | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: 324 0.19/0.28 o 324 0.19/0.28 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 7 | 1997 30448 91938 | 10149 7 94 | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: 323 0.19/0.28 o 323 0.19/0.28 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 7 | 1997 30449 92073 | 10149 7 94 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 322 0.19/0.29 o 322 0.19/0.29 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 17 | 1997 30450 92208 | 10150 17 98 | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: 320 0.29/0.30 o 320 0.29/0.30 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 18 | 1997 30451 92343 | 10150 18 100 | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: 319 0.29/0.30 o 319 0.29/0.30 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 19 | 1997 30452 92478 | 10150 19 102 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 318 0.29/0.31 o 318 0.29/0.31 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 24 | 1997 30453 92613 | 10151 24 101 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: 316 0.29/0.32 o 316 0.29/0.32 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 25 | 1997 30454 92748 | 10151 25 102 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: 315 0.29/0.32 o 315 0.29/0.32 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 26 | 1997 30455 92883 | 10151 26 103 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: 313 0.29/0.33 o 313 0.29/0.33 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 31 | 1997 30456 93018 | 10152 31 107 | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: 312 0.29/0.34 o 312 0.29/0.34 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 31 | 1997 30457 93153 | 10152 31 107 | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: 311 0.29/0.35 o 311 0.29/0.35 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 56 | 1997 30458 93288 | 10152 56 110 | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: 310 0.29/0.35 o 310 0.29/0.35 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 56 | 1997 30459 93423 | 10153 56 110 | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: 309 0.29/0.36 o 309 0.29/0.36 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 118 | 1997 30460 93558 | 10153 118 102 | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c New solution: 308 0.29/0.38 o 308 0.29/0.38 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s 0.29/0.38 c =============================================================================== 0.29/0.38 c | 170 | 1997 30461 93693 | 10153 170 105 | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 307 0.29/0.39 o 307 0.29/0.39 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 222 | 1997 30462 93828 | 10154 222 105 | 0.000 % | 0.39/0.40 c | 322 | 1997 30462 93828 | 11169 322 106 | 1.383 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: 306 0.39/0.41 o 306 0.39/0.41 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 356 | 1997 30463 93963 | 10154 356 105 | 1.383 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: 305 0.39/0.42 o 305 0.39/0.42 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 356 | 1997 30464 94098 | 10154 356 105 | 1.383 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: 304 0.39/0.42 o 304 0.39/0.42 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 356 | 1997 30465 94233 | 10155 356 105 | 1.383 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: 303 0.39/0.43 o 303 0.39/0.43 c Elapsed CPU time: 0.39294 s Remaining CPU time: 179.607 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 377 | 1997 30466 94368 | 10155 377 105 | 1.383 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: 302 0.39/0.45 o 302 0.39/0.45 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 458 | 1997 30467 94503 | 10155 458 107 | 1.383 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: 301 0.39/0.46 o 301 0.39/0.46 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 497 | 1997 30468 94638 | 10156 497 107 | 1.383 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: 300 0.39/0.47 o 300 0.39/0.47 c Elapsed CPU time: 0.427934 s Remaining CPU time: 179.572 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 497 | 1997 30469 94773 | 10156 497 107 | 1.383 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c New solution: 299 0.39/0.48 o 299 0.39/0.48 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s 0.39/0.48 c =============================================================================== 0.39/0.48 c | 497 | 1997 30470 94908 | 10156 497 107 | 1.383 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c New solution: 298 0.39/0.48 o 298 0.39/0.48 c Elapsed CPU time: 0.441932 s Remaining CPU time: 179.558 s 0.39/0.48 c =============================================================================== 0.39/0.48 c | 504 | 1997 30471 95043 | 10157 504 107 | 1.383 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c New solution: 297 0.39/0.49 o 297 0.39/0.49 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s 0.39/0.49 c =============================================================================== 0.39/0.49 c | 505 | 1997 30472 95178 | 10157 505 107 | 1.383 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c New solution: 296 0.49/0.50 o 296 0.49/0.50 c Elapsed CPU time: 0.451931 s Remaining CPU time: 179.548 s 0.49/0.50 c =============================================================================== 0.49/0.50 c | 505 | 1997 30473 95313 | 10157 505 107 | 1.383 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c New solution: 295 0.49/0.51 o 295 0.49/0.51 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s 0.49/0.51 c =============================================================================== 0.49/0.51 c | 505 | 1997 30474 95448 | 10158 505 107 | 1.383 % | 0.49/0.52 c | 607 | 1997 30474 95448 | 11173 607 105 | 1.383 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c New solution: 294 0.49/0.53 o 294 0.49/0.53 c Elapsed CPU time: 0.483926 s Remaining CPU time: 179.516 s 0.49/0.53 c =============================================================================== 0.49/0.53 c | 648 | 1997 30475 95583 | 10158 648 105 | 1.383 % | 0.49/0.55 c | 748 | 1997 30475 95583 | 11174 748 104 | 1.383 % | 0.49/0.57 c | 898 | 1997 30475 95583 | 12291 898 103 | 1.383 % | 0.49/0.60 c | 1123 | 1997 30475 95583 | 13520 1123 103 | 1.383 % | 0.59/0.64 c | 1462 | 1997 30475 95583 | 14872 1462 103 | 1.383 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c New solution: 293 0.59/0.66 o 293 0.59/0.66 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s 0.59/0.66 c =============================================================================== 0.59/0.66 c | 1551 | 1997 30476 95718 | 10158 1551 103 | 1.383 % | 0.59/0.68 c | 1651 | 1997 30476 95718 | 11174 1651 103 | 1.383 % | 0.69/0.71 c | 1801 | 1997 30476 95718 | 12291 1801 103 | 1.383 % | 0.69/0.76 c | 2027 | 1997 30476 95718 | 13521 2027 103 | 1.383 % | 0.79/0.84 c | 2365 | 1997 30476 95718 | 14873 2365 103 | 1.383 % | 0.89/0.96 c | 2872 | 1997 30476 95718 | 16360 2872 103 | 1.383 % | 1.10/1.14 c | 3631 | 1997 30476 95718 | 17996 3631 103 | 1.383 % | 1.39/1.48 c | 4773 | 1997 30476 95718 | 19796 4773 105 | 1.383 % | 1.89/1.93 c | 6481 | 1997 30476 95718 | 21776 6481 105 | 1.383 % | 1.99/2.00 c =============================================================================== 1.99/2.00 c New solution: 292 1.99/2.00 o 292 1.99/2.00 c Elapsed CPU time: 1.9447 s Remaining CPU time: 178.055 s 1.99/2.00 c =============================================================================== 1.99/2.00 c | 6688 | 1997 30477 95853 | 10159 6688 105 | 1.383 % | 1.99/2.01 c =============================================================================== 1.99/2.01 c New solution: 290 1.99/2.01 o 290 1.99/2.01 c Elapsed CPU time: 1.9547 s Remaining CPU time: 178.045 s 1.99/2.01 c =============================================================================== 1.99/2.01 c | 6691 | 1997 30478 95988 | 10159 6691 105 | 1.383 % | 1.99/2.02 c =============================================================================== 1.99/2.02 c New solution: 289 1.99/2.02 o 289 1.99/2.02 c Elapsed CPU time: 1.9617 s Remaining CPU time: 178.038 s 1.99/2.02 c =============================================================================== 1.99/2.02 c | 6697 | 1997 30479 96123 | 10159 6697 105 | 1.383 % | 1.99/2.07 c | 6798 | 1997 30479 96123 | 11175 6798 105 | 1.383 % | 2.10/2.12 c | 6950 | 1997 30479 96123 | 12293 6950 106 | 1.383 % | 2.10/2.16 c | 7179 | 1997 30479 96123 | 13522 7179 106 | 1.383 % | 2.20/2.24 c | 7517 | 1997 30479 96123 | 14874 7517 106 | 1.383 % | 2.29/2.38 c | 8024 | 1997 30479 96123 | 16362 8024 106 | 1.383 % | 2.59/2.62 c | 8784 | 1997 30479 96123 | 17998 8784 106 | 1.383 % | 2.99/3.04 c | 9926 | 1997 30479 96123 | 19798 9926 106 | 1.383 % | 3.79/3.85 c =============================================================================== 3.79/3.85 c New solution: 287 3.79/3.85 o 287 3.79/3.85 c Elapsed CPU time: 3.76343 s Remaining CPU time: 176.237 s 3.79/3.85 c =============================================================================== 3.79/3.85 c | 11589 | 1997 30480 96258 | 10160 11589 106 | 1.383 % | 3.89/3.97 c | 11689 | 1997 30480 96258 | 11176 5895 102 | 1.383 % | 3.99/4.04 c | 11840 | 1997 30480 96258 | 12293 6046 102 | 1.383 % | 4.09/4.14 c | 12066 | 1997 30480 96258 | 13522 6272 102 | 1.383 % | 4.19/4.27 c | 12404 | 1997 30480 96258 | 14875 6610 102 | 1.383 % | 4.39/4.49 c | 12910 | 1997 30480 96258 | 16362 7116 102 | 1.383 % | 4.69/4.76 c | 13675 | 1997 30480 96258 | 17999 7881 103 | 1.383 % | 4.79/4.83 c =============================================================================== 4.79/4.83 c New solution: 286 4.79/4.83 o 286 4.79/4.83 c Elapsed CPU time: 4.73728 s Remaining CPU time: 175.263 s 4.79/4.83 c =============================================================================== 4.79/4.83 c | 13892 | 1997 30481 96393 | 10160 8098 103 | 1.383 % | 4.79/4.84 c =============================================================================== 4.79/4.84 c New solution: 285 4.79/4.84 o 285 4.79/4.84 c Elapsed CPU time: 4.74728 s Remaining CPU time: 175.253 s 4.79/4.84 c =============================================================================== 4.79/4.84 c | 13894 | 1997 30482 96528 | 10160 8100 103 | 1.383 % | 4.79/4.85 c =============================================================================== 4.79/4.85 c New solution: 284 4.79/4.85 o 284 4.79/4.85 c Elapsed CPU time: 4.76228 s Remaining CPU time: 175.238 s 4.79/4.85 c =============================================================================== 4.79/4.85 c | 13917 | 1997 30483 96663 | 10161 8123 103 | 1.383 % | 4.79/4.89 c | 14019 | 1997 30483 96663 | 11177 8225 103 | 1.383 % | 4.89/4.95 c | 14170 | 1997 30483 96663 | 12294 8376 103 | 1.383 % | 4.99/5.04 c | 14398 | 1997 30483 96663 | 13524 8604 103 | 1.383 % | 5.09/5.19 c | 14735 | 1997 30483 96663 | 14876 8941 103 | 1.383 % | 5.39/5.50 c | 15245 | 1997 30483 96663 | 16364 9451 103 | 1.383 % | 5.89/5.91 c | 16006 | 1997 30483 96663 | 18000 10212 104 | 1.383 % | 5.89/5.92 c =============================================================================== 5.89/5.92 c New solution: 283 5.89/5.92 o 283 5.89/5.92 c Elapsed CPU time: 5.81912 s Remaining CPU time: 174.181 s 5.89/5.92 c =============================================================================== 5.89/5.92 c | 16013 | 1997 30484 96798 | 10161 10219 104 | 1.383 % | 5.99/6.00 c | 16114 | 1997 30484 96798 | 11177 5211 97 | 1.383 % | 5.99/6.03 c | 16264 | 1997 30484 96798 | 12295 5361 98 | 1.383 % | 5.99/6.09 c | 16489 | 1997 30484 96798 | 13524 5586 98 | 1.383 % | 6.09/6.15 c =============================================================================== 6.09/6.15 c New solution: 282 6.09/6.15 o 282 6.09/6.15 c Elapsed CPU time: 6.04608 s Remaining CPU time: 173.954 s 6.09/6.15 c =============================================================================== 6.09/6.15 c | 16671 | 1997 30485 96933 | 10161 5768 98 | 1.383 % | 6.09/6.16 c =============================================================================== 6.09/6.16 c New solution: 280 6.09/6.16 o 280 6.09/6.16 c Elapsed CPU time: 6.05508 s Remaining CPU time: 173.945 s 6.09/6.16 c =============================================================================== 6.09/6.16 c | 16672 | 1997 30486 97068 | 10162 5769 98 | 1.383 % | 6.09/6.19 c | 16772 | 1997 30486 97068 | 11178 5869 98 | 1.383 % | 6.19/6.24 c | 16925 | 1997 30486 97068 | 12296 6022 98 | 1.383 % | 6.19/6.28 c | 17151 | 1997 30486 97068 | 13525 6248 99 | 1.383 % | 6.29/6.35 c | 17490 | 1997 30486 97068 | 14878 6587 99 | 1.383 % | 6.50/6.52 c | 17996 | 1997 30486 97068 | 16366 7093 100 | 1.383 % | 6.69/6.79 c | 18755 | 1997 30486 97068 | 18002 7852 100 | 1.383 % | 7.29/7.36 c | 19895 | 1997 30486 97068 | 19802 8992 101 | 1.383 % | 8.29/8.33 c | 21604 | 1997 30486 97068 | 21783 10701 101 | 1.383 % | 9.89/9.93 c | 24167 | 1997 30486 97068 | 23961 13264 102 | 1.383 % | 10.59/10.65 c =============================================================================== 10.59/10.65 c New solution: 279 10.59/10.65 o 279 10.59/10.65 c Elapsed CPU time: 10.5094 s Remaining CPU time: 169.491 s 10.59/10.65 c =============================================================================== 10.59/10.65 c | 25400 | 1997 30487 97203 | 10162 14497 103 | 1.383 % | 10.69/10.76 c | 25501 | 1997 30487 97203 | 11178 7350 98 | 1.383 % | 10.79/10.85 c | 25651 | 1997 30487 97203 | 12296 7500 98 | 1.383 % | 11.00/11.01 c | 25882 | 1997 30487 97203 | 13526 7731 98 | 1.383 % | 11.09/11.19 c | 26221 | 1997 30487 97203 | 14878 8070 98 | 1.383 % | 11.39/11.46 c | 26731 | 1997 30487 97203 | 16366 8580 99 | 1.383 % | 11.79/11.86 c | 27491 | 1997 30487 97203 | 18003 9340 99 | 1.383 % | 12.38/12.41 c | 28630 | 1997 30487 97203 | 19803 10479 100 | 1.383 % | 13.38/13.46 c =============================================================================== 13.38/13.46 c New solution: 277 13.38/13.46 o 277 13.38/13.46 c Elapsed CPU time: 13.311 s Remaining CPU time: 166.689 s 13.38/13.46 c =============================================================================== 13.38/13.46 c | 30161 | 1997 30488 97338 | 10162 12010 101 | 1.383 % | 13.49/13.52 c =============================================================================== 13.49/13.52 c New solution: 276 13.49/13.52 o 276 13.49/13.52 c Elapsed CPU time: 13.37 s Remaining CPU time: 166.63 s 13.49/13.52 c =============================================================================== 13.49/13.52 c | 30184 | 1997 30489 97473 | 10163 6028 95 | 1.383 % | 13.49/13.53 c =============================================================================== 13.49/13.53 c New solution: 274 13.49/13.53 o 274 13.49/13.53 c Elapsed CPU time: 13.379 s Remaining CPU time: 166.621 s 13.49/13.53 c =============================================================================== 13.49/13.53 c | 30184 | 1997 30490 97608 | 10163 6028 95 | 1.383 % | 13.49/13.58 c | 30286 | 1997 30490 97608 | 11179 6130 95 | 1.383 % | 13.59/13.67 c | 30439 | 1997 30490 97608 | 12297 6283 95 | 1.383 % | 13.69/13.78 c | 30664 | 1997 30490 97608 | 13527 6508 95 | 1.383 % | 13.99/14.00 c | 31002 | 1997 30490 97608 | 14880 6846 96 | 1.383 % | 14.09/14.19 c | 31510 | 1997 30490 97608 | 16368 7354 96 | 1.383 % | 14.29/14.37 c | 32271 | 1997 30490 97608 | 18004 8115 97 | 1.383 % | 14.89/14.91 c | 33410 | 1997 30490 97608 | 19805 9254 98 | 1.383 % | 16.08/16.16 c | 35120 | 1997 30490 97608 | 21786 10964 98 | 1.383 % | 18.08/18.10 c | 37684 | 1997 30490 97608 | 23964 13528 99 | 1.383 % | 19.99/20.08 c | 41531 | 1997 30490 97608 | 26361 17375 100 | 1.383 % | 24.29/24.33 c | 47302 | 1997 30490 97608 | 28997 23146 102 | 1.383 % | 30.89/30.94 c =============================================================================== 30.89/30.94 c New solution: 273 30.89/30.94 o 273 30.89/30.94 c Elapsed CPU time: 30.6803 s Remaining CPU time: 149.32 s 30.89/30.94 c =============================================================================== 30.89/30.94 c | 51112 | 1997 30491 97743 | 10163 26956 102 | 1.383 % | 31.28/31.31 c | 51212 | 1997 30491 97743 | 11180 5921 92 | 1.383 % | 31.38/31.40 c | 51364 | 1997 30491 97743 | 12298 6073 92 | 1.383 % | 31.48/31.52 c | 51590 | 1997 30491 97743 | 13527 6299 92 | 1.383 % | 31.68/31.70 c | 51928 | 1997 30491 97743 | 14880 6637 93 | 1.383 % | 31.90/31.94 c | 52436 | 1997 30491 97743 | 16368 7145 93 | 1.383 % | 32.39/32.42 c | 53195 | 1997 30491 97743 | 18005 7904 94 | 1.383 % | 33.08/33.13 c | 54334 | 1997 30491 97743 | 19806 9043 95 | 1.383 % | 33.78/33.87 c | 56044 | 1997 30491 97743 | 21786 10753 96 | 1.383 % | 33.99/34.08 c =============================================================================== 33.99/34.08 c New solution: 272 33.99/34.08 o 272 33.99/34.08 c Elapsed CPU time: 33.8089 s Remaining CPU time: 146.191 s 33.99/34.08 c =============================================================================== 33.99/34.08 c | 56441 | 1997 30492 97878 | 10164 11150 96 | 1.383 % | 34.09/34.16 c =============================================================================== 34.09/34.16 c New solution: 271 34.09/34.16 o 271 34.09/34.16 c Elapsed CPU time: 33.8838 s Remaining CPU time: 146.116 s 34.09/34.16 c =============================================================================== 34.09/34.16 c | 56506 | 1997 30493 98013 | 10164 5640 89 | 1.383 % | 34.09/34.19 c | 56606 | 1997 30493 98013 | 11180 5740 89 | 1.383 % | 34.18/34.20 c =============================================================================== 34.18/34.20 c New solution: 270 34.18/34.20 o 270 34.18/34.20 c Elapsed CPU time: 33.9198 s Remaining CPU time: 146.08 s 34.18/34.20 c =============================================================================== 34.18/34.20 c | 56609 | 1997 30494 98148 | 10164 5743 89 | 1.383 % | 34.18/34.23 c =============================================================================== 34.18/34.23 c New solution: 269 34.18/34.23 o 269 34.18/34.23 c Elapsed CPU time: 33.9538 s Remaining CPU time: 146.046 s 34.18/34.23 c =============================================================================== 34.18/34.23 c | 56695 | 1997 30495 98283 | 10165 5829 89 | 1.383 % | 34.18/34.27 c | 56795 | 1997 30495 98283 | 11181 5929 90 | 1.383 % | 34.28/34.32 c | 56947 | 1997 30495 98283 | 12299 6081 90 | 1.383 % | 34.38/34.40 c | 57173 | 1997 30495 98283 | 13529 6307 90 | 1.383 % | 34.48/34.56 c | 57512 | 1997 30495 98283 | 14882 6646 91 | 1.383 % | 34.79/34.80 c | 58018 | 1997 30495 98283 | 16370 7152 92 | 1.383 % | 34.99/35.08 c | 58780 | 1997 30495 98283 | 18007 7914 92 | 1.383 % | 35.48/35.54 c | 59926 | 1997 30495 98283 | 19808 9060 94 | 1.383 % | 36.59/36.65 c | 61636 | 1997 30495 98283 | 21789 10770 95 | 1.383 % | 38.79/38.81 c | 64201 | 1997 30495 98283 | 23968 13335 96 | 1.383 % | 42.08/42.13 c =============================================================================== 42.08/42.13 c New solution: 268 42.08/42.13 o 268 42.08/42.13 c Elapsed CPU time: 41.8076 s Remaining CPU time: 138.192 s 42.08/42.13 c =============================================================================== 42.08/42.13 c | 67708 | 1997 30496 98418 | 10165 16842 97 | 1.383 % | 42.28/42.32 c | 67809 | 1997 30496 98418 | 11181 8522 90 | 1.383 % | 42.38/42.42 c | 67965 | 1997 30496 98418 | 12300 8678 90 | 1.383 % | 42.48/42.53 c | 68191 | 1997 30496 98418 | 13530 8904 91 | 1.383 % | 42.58/42.62 c | 68528 | 1997 30496 98418 | 14883 9241 91 | 1.383 % | 42.78/42.87 c | 69038 | 1997 30496 98418 | 16371 9751 92 | 1.383 % | 43.38/43.42 c | 69798 | 1997 30496 98418 | 18008 10511 92 | 1.383 % | 44.18/44.20 c | 70939 | 1997 30496 98418 | 19809 11652 93 | 1.383 % | 45.38/45.42 c =============================================================================== 45.38/45.42 c New solution: 267 45.38/45.42 o 267 45.38/45.42 c Elapsed CPU time: 45.0861 s Remaining CPU time: 134.914 s 45.38/45.42 c =============================================================================== 45.38/45.42 c | 72237 | 1997 30497 98553 | 10165 12950 94 | 1.383 % | 45.48/45.51 c =============================================================================== 45.48/45.51 c New solution: 266 45.48/45.51 o 266 45.48/45.51 c Elapsed CPU time: 45.1731 s Remaining CPU time: 134.827 s 45.48/45.51 c =============================================================================== 45.48/45.51 c | 72268 | 1997 30498 98688 | 10166 6506 87 | 1.383 % | 45.48/45.53 c =============================================================================== 45.48/45.53 c New solution: 263 45.48/45.53 o 263 45.48/45.53 c Elapsed CPU time: 45.1911 s Remaining CPU time: 134.809 s 45.48/45.53 c =============================================================================== 45.48/45.53 c | 72302 | 1997 30499 98823 | 10166 6540 88 | 1.383 % | 45.48/45.55 c =============================================================================== 45.48/45.55 c New solution: 262 45.48/45.55 o 262 45.48/45.55 c Elapsed CPU time: 45.2131 s Remaining CPU time: 134.787 s 45.48/45.55 c =============================================================================== 45.48/45.55 c | 72350 | 1997 30500 98958 | 10166 6588 88 | 1.383 % | 45.58/45.60 c | 72450 | 1997 30500 98958 | 11183 6688 88 | 1.383 % | 45.58/45.68 c | 72600 | 1997 30500 98958 | 12301 6838 88 | 1.383 % | 45.68/45.79 c | 72826 | 1997 30500 98958 | 13531 7064 88 | 1.383 % | 45.78/45.80 c =============================================================================== 45.78/45.80 c New solution: 261 45.78/45.80 o 261 45.78/45.80 c Elapsed CPU time: 45.4581 s Remaining CPU time: 134.542 s 45.78/45.80 c =============================================================================== 45.78/45.80 c | 72832 | 1997 30501 99093 | 10167 7070 88 | 1.383 % | 45.78/45.88 c | 72933 | 1997 30501 99093 | 11183 7171 88 | 1.383 % | 45.88/45.95 c | 73083 | 1997 30501 99093 | 12302 7321 89 | 1.383 % | 45.98/46.05 c | 73311 | 1997 30501 99093 | 13532 7549 89 | 1.383 % | 46.19/46.26 c | 73649 | 1997 30501 99093 | 14885 7887 89 | 1.383 % | 46.58/46.61 c | 74158 | 1997 30501 99093 | 16374 8396 89 | 1.383 % | 46.97/47.09 c | 74917 | 1997 30501 99093 | 18011 9155 90 | 1.383 % | 47.58/47.61 c | 76057 | 1997 30501 99093 | 19812 10295 90 | 1.383 % | 48.29/48.33 c | 77767 | 1997 30501 99093 | 21793 12005 91 | 1.383 % | 49.58/49.68 c | 80329 | 1997 30501 99093 | 23973 14567 93 | 1.383 % | 53.48/53.56 c | 84183 | 1997 30501 99093 | 26370 18421 94 | 1.383 % | 56.68/56.77 c =============================================================================== 56.68/56.77 c New solution: 260 56.68/56.77 o 260 56.68/56.77 c Elapsed CPU time: 56.3534 s Remaining CPU time: 123.647 s 56.68/56.77 c =============================================================================== 56.68/56.77 c | 87248 | 1997 30502 99228 | 10167 21486 95 | 1.383 % | 57.08/57.12 c | 87348 | 1997 30502 99228 | 11184 5472 83 | 1.383 % | 57.08/57.17 c | 87502 | 1997 30502 99228 | 12302 5626 84 | 1.383 % | 57.18/57.27 c | 87727 | 1997 30502 99228 | 13532 5851 84 | 1.383 % | 57.37/57.47 c | 88067 | 1997 30502 99228 | 14885 6191 84 | 1.383 % | 57.67/57.70 c | 88573 | 1997 30502 99228 | 16374 6697 85 | 1.383 % | 57.98/58.08 c | 89336 | 1997 30502 99228 | 18012 7460 86 | 1.383 % | 58.48/58.51 c | 90480 | 1997 30502 99228 | 19813 8604 88 | 1.383 % | 59.38/59.42 c | 92194 | 1997 30502 99228 | 21794 10318 90 | 1.383 % | 60.98/61.05 c | 94756 | 1997 30502 99228 | 23974 12880 92 | 1.383 % | 64.78/64.83 c | 98600 | 1997 30502 99228 | 26371 16724 93 | 1.383 % | 68.78/68.82 c =============================================================================== 68.78/68.82 c New solution: 259 68.78/68.82 o 259 68.78/68.82 c Elapsed CPU time: 68.3476 s Remaining CPU time: 111.652 s 68.78/68.82 c =============================================================================== 68.78/68.82 c | 102207 | 1997 30503 99363 | 10167 20331 94 | 1.383 % | 68.97/69.03 c | 102309 | 1997 30503 99363 | 11184 10268 89 | 1.383 % | 69.07/69.14 c | 102463 | 1997 30503 99363 | 12302 10422 89 | 1.383 % | 69.18/69.28 c | 102690 | 1997 30503 99363 | 13533 10649 89 | 1.383 % | 69.47/69.55 c | 103034 | 1997 30503 99363 | 14886 10993 90 | 1.383 % | 69.97/70.04 c | 103543 | 1997 30503 99363 | 16375 11502 90 | 1.383 % | 70.67/70.76 c | 104312 | 1997 30503 99363 | 18012 12271 90 | 1.383 % | 71.97/72.07 c | 105451 | 1997 30503 99363 | 19813 13410 90 | 1.383 % | 72.37/72.42 c =============================================================================== 72.37/72.42 c Best Solution: 259 72.37/72.42 s OPTIMUM FOUND 72.37/72.42 c Total CPU time: 71.9331 s 72.37/72.42 v -x1 x2 x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 x14 x15 x16 -x17 -x18 x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 x35 x36 -x37 x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 x553 -x554 -x555 -x556 x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 x599 -x600 x601 x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025
OK -81
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655748-1276687170/watcher-2655748-1276687170 -o /tmp/evaluation-result-2655748-1276687170/solver-2655748-1276687170 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655748-1276687170.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: 1.02 1.04 1.01 3/106 15051 /proc/meminfo: memFree=1704684/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=3820 CPUtime=0 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 347 0 0 0 0 0 0 0 20 0 1 0 10008865 3911680 265 1992294400 134512640 135751879 4286966688 18446744073709551615 134564443 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 955 265 144 303 0 404 0 [startup+0.0489921 s] /proc/loadavg: 1.02 1.04 1.01 3/106 15051 /proc/meminfo: memFree=1704684/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=4300 CPUtime=0.04 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 543 0 0 0 4 0 0 0 20 0 1 0 10008865 4403200 461 1992294400 134512640 135751879 4286966688 18446744073709551615 135118584 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 1075 461 214 303 0 524 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4300 [startup+0.100997 s] /proc/loadavg: 1.02 1.04 1.01 3/106 15051 /proc/meminfo: memFree=1704684/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=4916 CPUtime=0.09 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 783 0 0 0 9 0 0 0 20 0 1 0 10008865 5033984 701 1992294400 134512640 135751879 4286966688 18446744073709551615 134559744 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 1229 702 304 303 0 678 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4916 [startup+0.301016 s] /proc/loadavg: 1.02 1.04 1.01 3/106 15051 /proc/meminfo: memFree=1704684/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=5204 CPUtime=0.29 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 1165 0 0 0 27 2 0 0 20 0 1 0 10008865 5328896 837 1992294400 134512640 135751879 4286966688 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 1301 837 146 303 0 996 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5204 [startup+0.701052 s] /proc/loadavg: 1.02 1.04 1.01 3/106 15051 /proc/meminfo: memFree=1704684/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=5848 CPUtime=0.69 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 1339 0 0 0 64 5 0 0 21 0 1 0 10008865 5988352 1011 1992294400 134512640 135751879 4286966688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 1462 1011 147 303 0 1157 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5848 [startup+1.50113 s] /proc/loadavg: 1.02 1.04 1.01 2/107 15052 /proc/meminfo: memFree=1700460/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=7640 CPUtime=1.49 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 1779 0 0 0 144 5 0 0 23 0 1 0 10008865 7823360 1451 1992294400 134512640 135751879 4286966688 18446744073709551615 134616388 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 1910 1451 147 303 0 1605 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7640 [startup+3.10128 s] /proc/loadavg: 1.02 1.04 1.01 2/107 15052 /proc/meminfo: memFree=1697980/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=10392 CPUtime=3.09 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 2482 0 0 0 302 7 0 0 25 0 1 0 10008865 10641408 2154 1992294400 134512640 135751879 4286966688 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 2598 2154 147 303 0 2293 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10392 [startup+6.30157 s] /proc/loadavg: 1.01 1.04 1.01 2/107 15052 /proc/meminfo: memFree=1693392/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=14292 CPUtime=6.29 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 3458 0 0 0 618 11 0 0 25 0 1 0 10008865 14635008 3130 1992294400 134512640 135751879 4286966688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 3573 3130 148 303 0 3268 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14292 [startup+12.7012 s] /proc/loadavg: 1.01 1.04 1.01 2/107 15052 /proc/meminfo: memFree=1686572/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=20516 CPUtime=12.68 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 5013 0 0 0 1254 14 0 0 25 0 1 0 10008865 21008384 4685 1992294400 134512640 135751879 4286966688 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 5129 4685 148 303 0 4824 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20516 [startup+25.5003 s] /proc/loadavg: 1.01 1.04 1.01 2/107 15052 /proc/meminfo: memFree=1675784/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=30796 CPUtime=25.48 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 7562 0 0 0 2525 23 0 0 25 0 1 0 10008865 31535104 7234 1992294400 134512640 135751879 4286966688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 7699 7234 148 303 0 7394 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30796 [startup+51.1007 s] /proc/loadavg: 1.01 1.03 1.00 2/107 15054 /proc/meminfo: memFree=1659168/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=47604 CPUtime=51.08 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 11769 0 0 0 5070 38 0 0 25 0 1 0 10008865 48746496 11441 1992294400 134512640 135751879 4286966688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 11901 11441 148 303 0 11596 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 47604 Solver just ended. Dumping a history of the last processes samples [startup+63.9009 s] /proc/loadavg: 1.00 1.03 1.00 2/107 15054 /proc/meminfo: memFree=1651232/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=55420 CPUtime=63.88 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 13710 0 0 0 6344 44 0 0 25 0 1 0 10008865 56750080 13382 1992294400 134512640 135751879 4286966688 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 13855 13382 148 303 0 13550 0 Current children cumulated CPU time (s) 63.88 Current children cumulated vsize (KiB) 55420 [startup+67.1092 s] /proc/loadavg: 1.00 1.03 1.00 2/107 15054 /proc/meminfo: memFree=1649744/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=56700 CPUtime=67.08 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 14031 0 0 0 6663 45 0 0 25 0 1 0 10008865 58060800 13703 1992294400 134512640 135751879 4286966688 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 14175 13703 148 303 0 13870 0 Current children cumulated CPU time (s) 67.08 Current children cumulated vsize (KiB) 56700 [startup+70.3005 s] /proc/loadavg: 1.00 1.03 1.00 2/107 15054 /proc/meminfo: memFree=1648132/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=58288 CPUtime=70.28 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 14416 0 0 0 6982 46 0 0 25 0 1 0 10008865 59686912 14088 1992294400 134512640 135751879 4286966688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 14572 14088 148 303 0 14267 0 Current children cumulated CPU time (s) 70.28 Current children cumulated vsize (KiB) 58288 [startup+71.1006 s] /proc/loadavg: 1.00 1.03 1.00 2/107 15054 /proc/meminfo: memFree=1648132/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=58672 CPUtime=71.08 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 14511 0 0 0 7061 47 0 0 25 0 1 0 10008865 60080128 14183 1992294400 134512640 135751879 4286966688 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 14668 14183 148 303 0 14363 0 Current children cumulated CPU time (s) 71.08 Current children cumulated vsize (KiB) 58672 [startup+71.9007 s] /proc/loadavg: 1.00 1.03 1.00 2/107 15054 /proc/meminfo: memFree=1647636/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=58928 CPUtime=71.87 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 14587 0 0 0 7140 47 0 0 25 0 1 0 10008865 60342272 14259 1992294400 134512640 135751879 4286966688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 14732 14259 148 303 0 14427 0 Current children cumulated CPU time (s) 71.87 Current children cumulated vsize (KiB) 58928 [startup+72.3017 s] /proc/loadavg: 1.00 1.03 1.00 2/107 15054 /proc/meminfo: memFree=1647636/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=59056 CPUtime=72.27 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 14630 0 0 0 7180 47 0 0 25 0 1 0 10008865 60473344 14302 1992294400 134512640 135751879 4286966688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 14764 14302 148 303 0 14459 0 Current children cumulated CPU time (s) 72.27 Current children cumulated vsize (KiB) 59056 [startup+72.4017 s] /proc/loadavg: 1.00 1.03 1.00 2/107 15054 /proc/meminfo: memFree=1647636/2059040 swapFree=4187148/4192956 [pid=15051] ppid=15049 vsize=59184 CPUtime=72.37 /proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 14637 0 0 0 7190 47 0 0 25 0 1 0 10008865 60604416 14309 1992294400 134512640 135751879 4286966688 18446744073709551615 134603091 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15051/statm: 14796 14309 148 303 0 14491 0 Current children cumulated CPU time (s) 72.37 Current children cumulated vsize (KiB) 59184 Child status: 0 Real time (s): 72.4341 CPU time (s): 72.416 CPU user time (s): 71.9331 CPU system time (s): 0.482926 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 59184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 71.9331 system time used= 0.482926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14641 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= 26 involuntary context switches= 50 runsolver used 0.119981 second user time and 0.364944 second system time The end
Begin job on node048 at 2010-06-16 13:19:30 IDJOB=2655748 IDBENCH=71837 IDSOLVER=1161 FILE ID=node048/2655748-1276687170 PBS_JOBID= 11172602 Free space on /tmp= 62456 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-3000opt.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655748-1276687170/watcher-2655748-1276687170 -o /tmp/evaluation-result-2655748-1276687170/solver-2655748-1276687170 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655748-1276687170.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d02d20784bc67f5ad08bddab69f126bc RANDOM SEED=1146405146 node048.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.212 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.42 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.212 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1705088 kB Buffers: 99956 kB Cached: 133596 kB SwapCached: 280 kB Active: 100364 kB Inactive: 187068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1705088 kB SwapTotal: 4192956 kB SwapFree: 4187148 kB Dirty: 3660 kB Writeback: 0 kB AnonPages: 53576 kB Mapped: 15340 kB Slab: 44680 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182752 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= 62452 MiB End job on node048 at 2010-06-16 13:20:42