Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 113 | 1800.19 | 1800.79 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_4.opb |
MD5SUM | 740b964ee569656e2f29dedde6e3939b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4 |
Optimality of the best value was proved | NO |
Number of variables | 146 |
Total number of constraints | 12 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 12 |
Minimum length of a constraint | 62 |
Maximum length of a constraint | 66 |
Number of terms in the objective function | 96 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3060 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1486 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4969 |
Number of bits of the biggest sum of numbers | 13 |
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 c Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 0.10 c Initial problem consists of 146 variables and 12 constraints. 0.11 c No problem reductions applied in OPT. instance. 0.11 c preprocess terminated. Elapsed time: 0.011 0.11 c After prepocess the problem consists of 146 variables and 12 constraints. 0.11 c Initial Lower Bound: 0 0.12 c Restart #1 #Var: 146 LB: 0 @ 0.021 0.14 c Restart #2 #Var: 146 LB: 0 @ 0.042 0.17 c Restart #3 #Var: 146 LB: 0 @ 0.078 0.21 c Restart #4 #Var: 146 LB: 0 @ 0.121 0.26 c Restart #5 #Var: 146 LB: 0 @ 0.163 0.31 c Restart #6 #Var: 146 LB: 0 @ 0.22 0.37 c Restart #7 #Var: 146 LB: 0 @ 0.279 0.44 c Restart #8 #Var: 146 LB: 0 @ 0.347 0.51 c Restart #9 #Var: 146 LB: 0 @ 0.419 0.58 c Sol. found (all assignments made)... 0.58 o 1516 0.58 c NEW SOLUTION FOUND: 1516 @ 0.482 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 o 1452 0.58 c NEW SOLUTION FOUND: 1452 @ 0.482 0.58 c Sol. found (all assignments made)... 0.58 o 1388 0.58 c NEW SOLUTION FOUND: 1388 @ 0.482 0.58 c Sol. found (all assignments made)... 0.58 o 1372 0.58 c NEW SOLUTION FOUND: 1372 @ 0.482 0.58 c Sol. found (all assignments made)... 0.58 o 1356 0.58 c NEW SOLUTION FOUND: 1356 @ 0.483 0.58 c Sol. found (all assignments made)... 0.58 o 1340 0.58 c NEW SOLUTION FOUND: 1340 @ 0.484 0.58 c Sol. found (all assignments made)... 0.58 o 1324 0.58 c NEW SOLUTION FOUND: 1324 @ 0.485 0.58 c Sol. found (all assignments made)... 0.58 o 1308 0.58 c NEW SOLUTION FOUND: 1308 @ 0.486 0.58 c Sol. found (all assignments made)... 0.58 o 1276 0.58 c NEW SOLUTION FOUND: 1276 @ 0.486 0.59 c Sol. found (all assignments made)... 0.59 o 1268 0.59 c NEW SOLUTION FOUND: 1268 @ 0.496 0.60 c Sol. found (all assignments made)... 0.60 o 1264 0.60 c NEW SOLUTION FOUND: 1264 @ 0.506 0.70 c Restart #10 #Var: 146 LB: 0 @ 0.608 0.81 c Restart #11 #Var: 146 LB: 0 @ 0.714 0.86 c Sol. found (all assignments made)... 0.86 o 1111 0.86 c NEW SOLUTION FOUND: 1111 @ 0.762 0.86 c Sol. found (all assignments made)... 0.86 o 1079 0.86 c NEW SOLUTION FOUND: 1079 @ 0.762 0.86 c Sol. found (all assignments made)... 0.86 o 1047 0.86 c NEW SOLUTION FOUND: 1047 @ 0.763 0.86 c Sol. found (all assignments made)... 0.86 o 1015 0.86 c NEW SOLUTION FOUND: 1015 @ 0.765 0.86 c Sol. found (all assignments made)... 0.86 o 1011 0.86 c NEW SOLUTION FOUND: 1011 @ 0.766 0.86 c Sol. found (all assignments made)... 0.86 o 991 0.86 c NEW SOLUTION FOUND: 991 @ 0.768 0.87 c Sol. found (all assignments made)... 0.87 o 989 0.87 c NEW SOLUTION FOUND: 989 @ 0.774 0.87 c Sol. found (all assignments made)... 0.87 o 987 0.87 c NEW SOLUTION FOUND: 987 @ 0.779 0.88 c Sol. found (all assignments made)... 0.88 o 985 0.88 c NEW SOLUTION FOUND: 985 @ 0.785 0.88 c Sol. found (all assignments made)... 0.88 o 981 0.88 c NEW SOLUTION FOUND: 981 @ 0.785 0.88 c Sol. found (all assignments made)... 0.88 o 977 0.88 c NEW SOLUTION FOUND: 977 @ 0.786 0.88 c Sol. found (all assignments made)... 0.88 o 973 0.88 c NEW SOLUTION FOUND: 973 @ 0.789 0.88 c Sol. found (all assignments made)... 0.88 o 971 0.88 c NEW SOLUTION FOUND: 971 @ 0.79 0.93 c Sol. found (all assignments made)... 0.93 o 969 0.93 c NEW SOLUTION FOUND: 969 @ 0.84 0.98 c Sol. found (all assignments made)... 0.98 o 967 0.98 c NEW SOLUTION FOUND: 967 @ 0.89 0.98 c Sol. found (all assignments made)... 0.98 o 963 0.98 c NEW SOLUTION FOUND: 963 @ 0.89 0.98 c Sol. found (all assignments made)... 0.98 o 961 0.98 c NEW SOLUTION FOUND: 961 @ 0.89 1.00 c Sol. found (all assignments made)... 1.00 o 959 1.00 c NEW SOLUTION FOUND: 959 @ 0.904 1.31 c Sol. found (all assignments made)... 1.31 o 957 1.31 c NEW SOLUTION FOUND: 957 @ 1.218 1.32 c Sol. found (all assignments made)... 1.32 o 955 1.32 c NEW SOLUTION FOUND: 955 @ 1.227 1.99 c Restart #12 #Var: 146 LB: 0 @ 1.893 2.18 c Sol. found (all assignments made)... 2.18 o 951 2.18 c NEW SOLUTION FOUND: 951 @ 2.09 2.19 c Sol. found (all assignments made)... 2.19 o 947 2.19 c NEW SOLUTION FOUND: 947 @ 2.091 2.19 c Sol. found (all assignments made)... 2.19 o 945 2.19 c NEW SOLUTION FOUND: 945 @ 2.095 2.66 c Restart #13 #Var: 146 LB: 0 @ 2.566 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 o 933 2.73 c NEW SOLUTION FOUND: 933 @ 2.64 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 o 931 2.80 c NEW SOLUTION FOUND: 931 @ 2.705 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 o 929 2.80 c NEW SOLUTION FOUND: 929 @ 2.705 2.81 c Sol. found (all assignments made)... 2.81 o 927 2.81 c NEW SOLUTION FOUND: 927 @ 2.717 3.00 c Sol. found (all assignments made)... 3.00 o 851 3.00 c NEW SOLUTION FOUND: 851 @ 2.909 3.01 c Sol. found (all assignments made)... 3.01 o 815 3.01 c NEW SOLUTION FOUND: 815 @ 2.917 3.02 c Sol. found (all assignments made)... 3.02 o 787 3.02 c NEW SOLUTION FOUND: 787 @ 2.926 3.02 c Sol. found (all assignments made)... 3.02 o 783 3.02 c NEW SOLUTION FOUND: 783 @ 2.926 3.02 c Sol. found (all assignments made)... 3.02 o 755 3.02 c NEW SOLUTION FOUND: 755 @ 2.927 3.02 c Sol. found (all assignments made)... 3.02 o 751 3.02 c NEW SOLUTION FOUND: 751 @ 2.928 3.04 c Sol. found (all assignments made)... 3.04 o 719 3.04 c NEW SOLUTION FOUND: 719 @ 2.941 3.04 c Sol. found (all assignments made)... 3.04 o 691 3.04 c NEW SOLUTION FOUND: 691 @ 2.944 3.04 c Sol. found (all assignments made)... 3.04 o 687 3.04 c NEW SOLUTION FOUND: 687 @ 2.944 3.04 c Sol. found (all assignments made)... 3.04 o 655 3.04 c NEW SOLUTION FOUND: 655 @ 2.949 3.05 c Sol. found (all assignments made)... 3.05 o 627 3.05 c NEW SOLUTION FOUND: 627 @ 2.952 3.05 c Sol. found (all assignments made)... 3.05 o 623 3.05 c NEW SOLUTION FOUND: 623 @ 2.952 3.69 c Restart #14 #Var: 146 LB: 0 @ 3.592 5.02 c Restart #15 #Var: 146 LB: 0 @ 4.93 5.51 c Sol. found (all assignments made)... 5.51 o 579 5.51 c NEW SOLUTION FOUND: 579 @ 5.42 5.52 c Sol. found (all assignments made)... 5.52 o 577 5.52 c NEW SOLUTION FOUND: 577 @ 5.42 5.53 c Sol. found (all assignments made)... 5.53 o 575 5.53 c NEW SOLUTION FOUND: 575 @ 5.44 5.54 c Sol. found (all assignments made)... 5.54 o 573 5.54 c NEW SOLUTION FOUND: 573 @ 5.443 5.88 c Sol. found (all assignments made)... 5.88 o 571 5.88 c NEW SOLUTION FOUND: 571 @ 5.789 5.88 c Sol. found (all assignments made)... 5.88 o 567 5.88 c NEW SOLUTION FOUND: 567 @ 5.789 5.96 c Sol. found (all assignments made)... 5.96 o 565 5.96 c NEW SOLUTION FOUND: 565 @ 5.867 7.03 c Sol. found (all assignments made)... 7.03 o 563 7.03 c NEW SOLUTION FOUND: 563 @ 6.929 7.34 c Sol. found (all assignments made)... 7.34 o 561 7.34 c NEW SOLUTION FOUND: 561 @ 7.243 7.47 c Sol. found (all assignments made)... 7.47 o 557 7.47 c NEW SOLUTION FOUND: 557 @ 7.373 7.47 c Sol. found (all assignments made)... 7.47 o 555 7.47 c NEW SOLUTION FOUND: 555 @ 7.374 7.47 c Sol. found (all assignments made)... 7.47 o 553 7.47 c NEW SOLUTION FOUND: 553 @ 7.375 7.49 c Sol. found (all assignments made)... 7.49 o 549 7.49 c NEW SOLUTION FOUND: 549 @ 7.391 7.79 c Sol. found (all assignments made)... 7.79 o 547 7.79 c NEW SOLUTION FOUND: 547 @ 7.699 10.58 c Restart #16 #Var: 146 LB: 0 @ 10.476 12.36 c Restart #17 #Var: 146 LB: 0 @ 12.262 14.16 c Restart #18 #Var: 146 LB: 0 @ 14.06 17.78 c Restart #19 #Var: 146 LB: 0 @ 17.677 21.23 c CHANGE to MIS mode... UB: 547 MIS: 0 LPR: 0 (0.012) Diff: nan 21.23 c Restart #0 #Var: 146 LB: 0 @ 21.127 21.48 c Restart #1 #Var: 146 LB: 0 @ 21.381 22.17 c Restart #2 #Var: 146 LB: 0 @ 22.064 23.42 c Restart #3 #Var: 146 LB: 0 @ 23.313 24.35 c Restart #4 #Var: 146 LB: 0 @ 24.244 26.10 c Restart #5 #Var: 146 LB: 0 @ 25.997 27.04 c Restart #6 #Var: 146 LB: 0 @ 26.941 27.40 c Sol. found (all assignments made)... 27.40 o 533 27.40 c NEW SOLUTION FOUND: 533 @ 27.292 27.47 c Sol. found (all assignments made)... 27.47 o 527 27.47 c NEW SOLUTION FOUND: 527 @ 27.363 27.47 c Sol. found (all assignments made)... 27.47 o 523 27.47 c NEW SOLUTION FOUND: 523 @ 27.366 27.47 c Sol. found (all assignments made)... 27.47 o 521 27.47 c NEW SOLUTION FOUND: 521 @ 27.366 27.47 c Sol. found (all assignments made)... 27.47 o 519 27.47 c NEW SOLUTION FOUND: 519 @ 27.366 27.59 c Sol. found (all assignments made)... 27.59 o 515 27.59 c NEW SOLUTION FOUND: 515 @ 27.481 27.63 c Sol. found (all assignments made)... 27.63 o 513 27.63 c NEW SOLUTION FOUND: 513 @ 27.525 27.67 c Sol. found (all assignments made)... 27.67 o 511 27.67 c NEW SOLUTION FOUND: 511 @ 27.569 27.67 c Sol. found (all assignments made)... 27.67 o 503 27.67 c NEW SOLUTION FOUND: 503 @ 27.569 27.67 c Sol. found (all assignments made)... 27.67 o 501 27.67 c NEW SOLUTION FOUND: 501 @ 27.57 27.69 c Sol. found (all assignments made)... 27.69 o 499 27.69 c NEW SOLUTION FOUND: 499 @ 27.588 27.81 c Sol. found (all assignments made)... 27.81 o 489 27.81 c NEW SOLUTION FOUND: 489 @ 27.711 27.82 c Sol. found (all assignments made)... 27.82 o 487 27.82 c NEW SOLUTION FOUND: 487 @ 27.711 27.82 c Sol. found (all assignments made)... 27.82 o 483 27.82 c NEW SOLUTION FOUND: 483 @ 27.711 27.82 c Sol. found (all assignments made)... 27.82 o 481 27.82 c NEW SOLUTION FOUND: 481 @ 27.712 27.82 c Sol. found (all assignments made)... 27.82 o 471 27.82 c NEW SOLUTION FOUND: 471 @ 27.712 27.82 c Sol. found (all assignments made)... 27.82 o 469 27.82 c NEW SOLUTION FOUND: 469 @ 27.713 27.82 c Sol. found (all assignments made)... 27.82 o 467 27.82 c NEW SOLUTION FOUND: 467 @ 27.713 27.99 c Sol. found (all assignments made)... 27.99 o 441 27.99 c NEW SOLUTION FOUND: 441 @ 27.89 27.99 c Sol. found (all assignments made)... 27.99 o 435 27.99 c NEW SOLUTION FOUND: 435 @ 27.891 28.00 c Sol. found (all assignments made)... 28.00 o 429 28.00 c NEW SOLUTION FOUND: 429 @ 27.893 28.00 c Sol. found (all assignments made)... 28.00 o 427 28.00 c NEW SOLUTION FOUND: 427 @ 27.893 28.00 c Sol. found (all assignments made)... 28.00 o 425 28.00 c NEW SOLUTION FOUND: 425 @ 27.894 28.00 c Sol. found (all assignments made)... 28.00 o 423 28.00 c NEW SOLUTION FOUND: 423 @ 27.897 28.01 c Sol. found (all assignments made)... 28.01 o 421 28.01 c NEW SOLUTION FOUND: 421 @ 27.905 28.02 c Sol. found (all assignments made)... 28.02 o 419 28.02 c NEW SOLUTION FOUND: 419 @ 27.916 28.04 c Sol. found (all assignments made)... 28.04 o 415 28.04 c NEW SOLUTION FOUND: 415 @ 27.94 28.05 c Sol. found (all assignments made)... 28.05 o 409 28.05 c NEW SOLUTION FOUND: 409 @ 27.942 28.05 c Sol. found (all assignments made)... 28.05 o 407 28.05 c NEW SOLUTION FOUND: 407 @ 27.942 28.05 c Sol. found (all assignments made)... 28.05 o 405 28.05 c NEW SOLUTION FOUND: 405 @ 27.944 28.09 c Sol. found (all assignments made)... 28.09 o 403 28.09 c NEW SOLUTION FOUND: 403 @ 27.989 28.11 c Sol. found (all assignments made)... 28.11 o 389 28.11 c NEW SOLUTION FOUND: 389 @ 28.008 29.82 c Restart #7 #Var: 146 LB: 0 @ 29.716 31.00 c Restart #8 #Var: 146 LB: 0 @ 30.89 33.07 c Sol. found (all assignments made)... 33.07 o 387 33.07 c NEW SOLUTION FOUND: 387 @ 32.96 36.62 c Restart #9 #Var: 146 LB: 0 @ 36.51 38.40 c Restart #10 #Var: 146 LB: 0 @ 38.297 42.67 c Restart #11 #Var: 146 LB: 0 @ 42.559 45.70 c Restart #12 #Var: 146 LB: 0 @ 45.586 47.33 c Sol. found (all assignments made)... 47.33 o 385 47.33 c NEW SOLUTION FOUND: 385 @ 47.218 47.34 c Sol. found (all assignments made)... 47.34 o 381 47.34 c NEW SOLUTION FOUND: 381 @ 47.225 47.40 c Sol. found (all assignments made)... 47.40 o 377 47.40 c NEW SOLUTION FOUND: 377 @ 47.288 47.43 c Sol. found (all assignments made)... 47.43 o 369 47.43 c NEW SOLUTION FOUND: 369 @ 47.321 47.45 c Sol. found (all assignments made)... 47.45 o 365 47.45 c NEW SOLUTION FOUND: 365 @ 47.34 47.70 c Restart #13 #Var: 146 LB: 0 @ 47.59 51.27 c Restart #14 #Var: 146 LB: 0 @ 51.162 52.25 c Restart #15 #Var: 146 LB: 0 @ 52.142 53.78 c Restart #16 #Var: 146 LB: 0 @ 53.67 55.31 c Sol. found (all assignments made)... 55.31 o 361 55.31 c NEW SOLUTION FOUND: 361 @ 55.201 58.85 c Sol. found (all assignments made)... 58.85 o 359 58.85 c NEW SOLUTION FOUND: 359 @ 58.733 62.23 c Restart #17 #Var: 146 LB: 0 @ 62.119 65.34 c Restart #18 #Var: 146 LB: 0 @ 65.228 72.49 c Restart #19 #Var: 146 LB: 0 @ 72.369 74.56 c Restart #20 #Var: 146 LB: 0 @ 74.446 81.38 c Restart #21 #Var: 146 LB: 0 @ 81.26 90.21 c Restart #22 #Var: 146 LB: 0 @ 90.093 100.24 c Restart #23 #Var: 146 LB: 0 @ 100.11 103.78 c Sol. found (all assignments made)... 103.78 o 346 103.78 c NEW SOLUTION FOUND: 346 @ 103.66 103.79 c Sol. found (all assignments made)... 103.79 o 344 103.79 c NEW SOLUTION FOUND: 344 @ 103.66 103.79 c Sol. found (all assignments made)... 103.79 o 338 103.79 c NEW SOLUTION FOUND: 338 @ 103.66 103.79 c Sol. found (all assignments made)... 103.79 o 336 103.79 c NEW SOLUTION FOUND: 336 @ 103.66 103.79 c Sol. found (all assignments made)... 103.79 o 332 103.79 c NEW SOLUTION FOUND: 332 @ 103.66 103.85 c Sol. found (all assignments made)... 103.85 c Sol. found (all assignments made)... 105.06 c Sol. found (all assignments made)... 105.06 o 322 105.06 c NEW SOLUTION FOUND: 322 @ 104.94 105.07 c Sol. found (all assignments made)... 105.07 o 318 105.07 c NEW SOLUTION FOUND: 318 @ 104.94 105.07 c Sol. found (all assignments made)... 105.07 o 314 105.07 c NEW SOLUTION FOUND: 314 @ 104.94 105.08 c Sol. found (all assignments made)... 105.08 o 306 105.08 c NEW SOLUTION FOUND: 306 @ 104.95 105.09 c Sol. found (all assignments made)... 105.09 o 302 105.09 c NEW SOLUTION FOUND: 302 @ 104.97 105.14 c Sol. found (all assignments made)... 105.14 o 300 105.14 c NEW SOLUTION FOUND: 300 @ 105.01 105.31 c Sol. found (all assignments made)... 105.31 o 298 105.31 c NEW SOLUTION FOUND: 298 @ 105.19 105.93 c Sol. found (all assignments made)... 105.93 o 296 105.93 c NEW SOLUTION FOUND: 296 @ 105.81 106.18 c Sol. found (all assignments made)... 106.18 o 280 106.18 c NEW SOLUTION FOUND: 280 @ 106.05 106.21 c Sol. found (all assignments made)... 106.21 o 276 106.21 c NEW SOLUTION FOUND: 276 @ 106.09 106.25 c Sol. found (all assignments made)... 106.25 o 274 106.25 c NEW SOLUTION FOUND: 274 @ 106.12 106.33 c Sol. found (all assignments made)... 106.33 o 272 106.33 c NEW SOLUTION FOUND: 272 @ 106.2 106.35 c Sol. found (all assignments made)... 106.35 o 268 106.35 c NEW SOLUTION FOUND: 268 @ 106.23 106.51 c Sol. found (all assignments made)... 106.51 o 266 106.51 c NEW SOLUTION FOUND: 266 @ 106.39 107.11 c Sol. found (all assignments made)... 107.11 o 264 107.11 c NEW SOLUTION FOUND: 264 @ 106.98 107.25 c Sol. found (all assignments made)... 107.25 o 260 107.25 c NEW SOLUTION FOUND: 260 @ 107.12 107.30 c Sol. found (all assignments made)... 107.30 o 256 107.30 c NEW SOLUTION FOUND: 256 @ 107.18 107.33 c Sol. found (all assignments made)... 107.33 o 252 107.33 c NEW SOLUTION FOUND: 252 @ 107.2 107.42 c Sol. found (all assignments made)... 107.42 o 250 107.42 c NEW SOLUTION FOUND: 250 @ 107.29 107.58 c Sol. found (all assignments made)... 107.58 o 248 107.58 c NEW SOLUTION FOUND: 248 @ 107.45 107.75 c Sol. found (all assignments made)... 107.75 o 234 107.75 c NEW SOLUTION FOUND: 234 @ 107.62 110.43 c Sol. found (all assignments made)... 110.43 o 230 110.43 c NEW SOLUTION FOUND: 230 @ 110.3 110.43 c Sol. found (all assignments made)... 110.43 o 222 110.43 c NEW SOLUTION FOUND: 222 @ 110.3 110.43 c Sol. found (all assignments made)... 110.43 o 220 110.43 c NEW SOLUTION FOUND: 220 @ 110.31 113.65 c Sol. found (all assignments made)... 113.65 o 218 113.65 c NEW SOLUTION FOUND: 218 @ 113.52 123.29 c Restart #24 #Var: 146 LB: 0 @ 123.16 127.67 c Restart #25 #Var: 146 LB: 0 @ 127.54 129.23 c Restart #26 #Var: 146 LB: 0 @ 129.09 133.84 c Restart #27 #Var: 146 LB: 0 @ 133.71 135.33 c Restart #28 #Var: 146 LB: 0 @ 135.19 136.35 c Restart #29 #Var: 146 LB: 0 @ 136.21 138.21 c Restart #30 #Var: 146 LB: 0 @ 138.07 144.49 c Restart #31 #Var: 146 LB: 0 @ 144.36 164.13 c Restart #32 #Var: 146 LB: 0 @ 163.99 165.93 c Restart #33 #Var: 146 LB: 0 @ 165.79 175.33 c Restart #34 #Var: 146 LB: 0 @ 175.18 201.09 c Restart #35 #Var: 146 LB: 0 @ 200.94 220.90 c Sol. found (all assignments made)... 224.62 c Sol. found (all assignments made)... 224.62 o 211 224.62 c NEW SOLUTION FOUND: 211 @ 224.46 224.73 c Sol. found (all assignments made)... 224.73 o 207 224.73 c NEW SOLUTION FOUND: 207 @ 224.57 224.92 c Sol. found (all assignments made)... 224.92 o 205 224.92 c NEW SOLUTION FOUND: 205 @ 224.76 225.06 c Sol. found (all assignments made)... 225.06 o 203 225.06 c NEW SOLUTION FOUND: 203 @ 224.9 225.29 c Sol. found (all assignments made)... 225.29 o 197 225.29 c NEW SOLUTION FOUND: 197 @ 225.13 229.43 c Sol. found (all assignments made)... 229.43 o 195 229.43 c NEW SOLUTION FOUND: 195 @ 229.27 230.09 c Sol. found (all assignments made)... 230.09 o 193 230.09 c NEW SOLUTION FOUND: 193 @ 229.93 269.03 c Sol. found (all assignments made)... 269.03 o 191 269.03 c NEW SOLUTION FOUND: 191 @ 268.86 269.66 c Sol. found (all assignments made)... 269.66 o 189 269.66 c NEW SOLUTION FOUND: 189 @ 269.49 271.14 c Sol. found (all assignments made)... 271.14 o 187 271.14 c NEW SOLUTION FOUND: 187 @ 270.96 271.40 c Sol. found (all assignments made)... 271.40 o 185 271.40 c NEW SOLUTION FOUND: 185 @ 271.23 321.34 c Restart #36 #Var: 146 LB: 0 @ 321.16 368.29 c Restart #37 #Var: 146 LB: 0 @ 368.09 407.23 c Restart #38 #Var: 146 LB: 0 @ 407.02 417.87 c Sol. found (all assignments made)... 417.87 o 182 417.87 c NEW SOLUTION FOUND: 182 @ 417.66 417.93 c Sol. found (all assignments made)... 417.93 c Sol. found (all assignments made)... 417.97 c Sol. found (all assignments made)... 417.97 o 180 417.97 c NEW SOLUTION FOUND: 180 @ 417.76 418.00 c Sol. found (all assignments made)... 418.00 o 178 418.00 c NEW SOLUTION FOUND: 178 @ 417.79 445.15 c Restart #39 #Var: 146 LB: 0 @ 444.93 507.28 c Sol. found (all assignments made)... 507.28 o 176 507.28 c NEW SOLUTION FOUND: 176 @ 507.05 507.29 c Sol. found (all assignments made)... 507.29 o 172 507.29 c NEW SOLUTION FOUND: 172 @ 507.05 507.46 c Sol. found (all assignments made)... 507.46 o 170 507.46 c NEW SOLUTION FOUND: 170 @ 507.23 507.48 c Sol. found (all assignments made)... 507.48 o 166 507.48 c NEW SOLUTION FOUND: 166 @ 507.25 507.51 c Sol. found (all assignments made)... 507.51 o 164 507.51 c NEW SOLUTION FOUND: 164 @ 507.28 507.75 c Sol. found (all assignments made)... 507.75 o 162 507.75 c NEW SOLUTION FOUND: 162 @ 507.51 510.77 c Sol. found (all assignments made)... 510.77 o 160 510.77 c NEW SOLUTION FOUND: 160 @ 510.53 511.02 c Sol. found (all assignments made)... 511.02 o 158 511.02 c NEW SOLUTION FOUND: 158 @ 510.78 534.82 c Restart #40 #Var: 146 LB: 0 @ 534.58 560.07 c Sol. found (all assignments made)... 560.07 o 152 560.07 c NEW SOLUTION FOUND: 152 @ 559.82 560.19 c Sol. found (all assignments made)... 560.19 o 150 560.20 c NEW SOLUTION FOUND: 150 @ 559.94 572.42 c Sol. found (all assignments made)... 572.42 o 148 572.42 c NEW SOLUTION FOUND: 148 @ 572.17 572.53 c Sol. found (all assignments made)... 572.53 o 146 572.53 c NEW SOLUTION FOUND: 146 @ 572.27 618.80 c Restart #41 #Var: 146 LB: 0 @ 618.53 649.42 c Restart #42 #Var: 146 LB: 0 @ 649.15 711.20 c Restart #43 #Var: 146 LB: 0 @ 710.9 808.56 c Restart #44 #Var: 146 LB: 0 @ 808.25 882.19 c Restart #45 #Var: 146 LB: 0 @ 881.85 977.17 c Restart #46 #Var: 146 LB: 0 @ 976.81 1065.07 c Restart #47 #Var: 146 LB: 0 @ 1064.7 1124.61 c Restart #48 #Var: 146 LB: 0 @ 1124.2 1153.18 c Sol. found (all assignments made)... 1153.18 o 140 1153.18 c NEW SOLUTION FOUND: 140 @ 1152.8 1155.79 c Sol. found (all assignments made)... 1155.79 o 138 1155.79 c NEW SOLUTION FOUND: 138 @ 1155.4 1177.63 c Sol. found (all assignments made)... 1177.63 o 136 1177.63 c NEW SOLUTION FOUND: 136 @ 1177.2 1294.81 c Sol. found (all assignments made)... 1294.81 o 127 1294.81 c NEW SOLUTION FOUND: 127 @ 1294.4 1295.31 c Sol. found (all assignments made)... 1295.31 o 125 1295.31 c NEW SOLUTION FOUND: 125 @ 1294.9 1297.40 c Sol. found (all assignments made)... 1297.40 o 123 1297.40 c NEW SOLUTION FOUND: 123 @ 1296.9 1297.50 c Sol. found (all assignments made)... 1297.50 o 119 1297.50 c NEW SOLUTION FOUND: 119 @ 1297 1298.04 c Sol. found (all assignments made)... 1298.04 o 117 1298.04 c NEW SOLUTION FOUND: 117 @ 1297.6 1345.64 c Sol. found (all assignments made)... 1345.64 o 115 1345.64 c NEW SOLUTION FOUND: 115 @ 1345.2 1423.32 c Sol. found (all assignments made)... 1423.32 o 113 1423.32 c NEW SOLUTION FOUND: 113 @ 1422.8 1550.78 c Restart #49 #Var: 146 LB: 0 @ 1550.3 1678.83 c Restart #50 #Var: 144 LB: 0 @ 1678.3 1800.71 s SATISFIABLE 1800.71 c Cost: 113 1800.71 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 1800.71 v -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 1800.71 v -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 1800.71 v -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 1800.71 v -x109 -x110 -x111 x112 x113 x114 -x115 -x116 x117 -x118 x119 x120 -x121 x122 -x123 -x124 x125 x126 -x127 -x128 x129 x130 x131 1800.71 v -x132 x133 x134 x135 -x136 x137 x138 -x139 x140 -x141 -x142 x143 -x144 -x145 x146 1800.71 c Exit Code: 10 1800.71 c Total time: 1800.1 s
OK 113
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node60/watcher-50330-1154107601 -o ROOT/results/node60/solver-50330-1154107601 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node60/50330-1154107601/instance-50330-1154107601.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 1378 /proc/meminfo: memFree=1493568/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=2900 CPUtime=0 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 44 0 0 0 0 0 0 0 19 0 1 0 157629942 2969600 27 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 5534500 0 0 4096 0 0 0 0 17 1 0 0 /proc/1378/statm: 725 27 19 55 0 38 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1432208/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=65848 CPUtime=9.89 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 15715 0 0 0 978 11 0 0 25 0 1 0 157629942 67428352 15629 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 16462 15629 297 55 0 15354 0 Current children cumulated CPU time (s) 9.89 Current children cumulated vsize (Kb) 65848 [startup+20.0087 s] /proc/loadavg: 0.94 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1413400/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=84752 CPUtime=19.9 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 20411 0 0 0 1973 17 0 0 25 0 1 0 157629942 86786048 20324 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 21188 20324 297 55 0 20080 0 Current children cumulated CPU time (s) 19.9 Current children cumulated vsize (Kb) 84752 [startup+30.0147 s] /proc/loadavg: 0.95 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1398488/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=100040 CPUtime=29.9 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 24250 0 0 0 2968 22 0 0 25 0 1 0 157629942 102440960 24158 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 25010 24158 420 55 0 23902 0 Current children cumulated CPU time (s) 29.9 Current children cumulated vsize (Kb) 100040 [startup+40.0207 s] /proc/loadavg: 0.96 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1389528/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=109028 CPUtime=39.9 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 26483 0 0 0 3965 25 0 0 25 0 1 0 157629942 111644672 26391 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 27257 26391 420 55 0 26149 0 Current children cumulated CPU time (s) 39.9 Current children cumulated vsize (Kb) 109028 [startup+50.0267 s] /proc/loadavg: 0.96 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1376344/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=122296 CPUtime=49.9 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 29778 0 0 0 4961 29 0 0 25 0 1 0 157629942 125231104 29685 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 30574 29685 420 55 0 29466 0 Current children cumulated CPU time (s) 49.9 Current children cumulated vsize (Kb) 122296 [startup+60.0327 s] /proc/loadavg: 0.97 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1362968/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=135644 CPUtime=59.91 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 33108 0 0 0 5959 32 0 0 25 0 1 0 157629942 138899456 33013 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 33911 33013 420 55 0 32803 0 Current children cumulated CPU time (s) 59.91 Current children cumulated vsize (Kb) 135644 [startup+70.0397 s] /proc/loadavg: 0.97 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1352344/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=146428 CPUtime=69.91 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 35761 0 0 0 6955 36 0 0 25 0 1 0 157629942 149942272 35659 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 36607 35659 420 55 0 35499 0 Current children cumulated CPU time (s) 69.91 Current children cumulated vsize (Kb) 146428 [startup+80.0457 s] /proc/loadavg: 0.98 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1341976/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=156744 CPUtime=79.92 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 38349 0 0 0 7952 40 0 0 25 0 1 0 157629942 160505856 38245 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 39186 38245 420 55 0 38078 0 Current children cumulated CPU time (s) 79.92 Current children cumulated vsize (Kb) 156744 [startup+90.0517 s] /proc/loadavg: 0.98 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1334616/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=164224 CPUtime=89.92 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 40679 0 0 0 8949 43 0 0 25 0 1 0 157629942 168165376 40087 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 41056 40087 420 55 0 39948 0 Current children cumulated CPU time (s) 89.92 Current children cumulated vsize (Kb) 164224 [startup+100.058 s] /proc/loadavg: 0.98 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1329240/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=169504 CPUtime=99.93 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 42017 0 0 0 9947 46 0 0 25 0 1 0 157629942 173572096 41425 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 42376 41425 420 55 0 41268 0 Current children cumulated CPU time (s) 99.93 Current children cumulated vsize (Kb) 169504 [startup+110.064 s] /proc/loadavg: 0.98 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1319768/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=179228 CPUtime=109.93 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 44382 0 0 0 10945 48 0 0 25 0 1 0 157629942 183529472 43788 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 44807 43788 420 55 0 43699 0 Current children cumulated CPU time (s) 109.93 Current children cumulated vsize (Kb) 179228 [startup+120.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1314136/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=184800 CPUtime=119.93 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 45786 0 0 0 11943 50 0 0 25 0 1 0 157629942 189235200 45190 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 46200 45190 420 55 0 45092 0 Current children cumulated CPU time (s) 119.93 Current children cumulated vsize (Kb) 184800 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1296216/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=202620 CPUtime=129.94 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 50245 0 0 0 12939 55 0 0 25 0 1 0 157629942 207482880 49649 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 50655 49649 420 55 0 49547 0 Current children cumulated CPU time (s) 129.94 Current children cumulated vsize (Kb) 202620 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1269528/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=229336 CPUtime=139.94 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 56906 0 0 0 13935 59 0 0 25 0 1 0 157629942 234840064 56307 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 57334 56307 420 55 0 56226 0 Current children cumulated CPU time (s) 139.94 Current children cumulated vsize (Kb) 229336 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1261912/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=237056 CPUtime=149.94 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 58815 0 0 0 14933 61 0 0 25 0 1 0 157629942 242745344 58213 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 59264 58213 420 55 0 58156 0 Current children cumulated CPU time (s) 149.94 Current children cumulated vsize (Kb) 237056 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1258904/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=239960 CPUtime=159.95 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 59553 0 0 0 15932 63 0 0 25 0 1 0 157629942 245719040 58951 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 59990 58951 420 55 0 58882 0 Current children cumulated CPU time (s) 159.95 Current children cumulated vsize (Kb) 239960 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1245272/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=253596 CPUtime=169.95 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 62959 0 0 0 16930 65 0 0 25 0 1 0 157629942 259682304 62356 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 63399 62356 420 55 0 62291 0 Current children cumulated CPU time (s) 169.95 Current children cumulated vsize (Kb) 253596 [startup+180.107 s] /proc/loadavg: 0.99 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1238808/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=260160 CPUtime=179.96 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 64572 0 0 0 17928 68 0 0 25 0 1 0 157629942 266403840 63964 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 65040 63964 420 55 0 63932 0 Current children cumulated CPU time (s) 179.96 Current children cumulated vsize (Kb) 260160 [startup+190.113 s] /proc/loadavg: 0.99 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1236312/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=262668 CPUtime=189.95 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 65195 0 0 0 18927 68 0 0 25 0 1 0 157629942 268972032 64587 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 65667 64587 420 55 0 64559 0 Current children cumulated CPU time (s) 189.95 Current children cumulated vsize (Kb) 262668 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.99 2/64 1378 /proc/meminfo: memFree=1234072/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=264912 CPUtime=199.95 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 65758 0 0 0 19926 69 0 0 25 0 1 0 157629942 271269888 65150 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 66228 65150 420 55 0 65120 0 Current children cumulated CPU time (s) 199.95 Current children cumulated vsize (Kb) 264912 [startup+210.124 s] /proc/loadavg: 0.99 0.98 0.99 2/64 1378 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.47 Current children cumulated vsize (Kb) 494956 [startup+1771.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1004384/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=495880 CPUtime=1770.47 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124077 0 0 0 176869 178 0 0 25 0 1 0 157629942 507781120 122396 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 123970 122396 420 55 0 122862 0 Current children cumulated CPU time (s) 1770.47 Current children cumulated vsize (Kb) 495880 [startup+1781.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1003616/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=496672 CPUtime=1780.47 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124272 0 0 0 177869 178 0 0 25 0 1 0 157629942 508592128 122591 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134535005 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124168 122591 420 55 0 123060 0 Current children cumulated CPU time (s) 1780.47 Current children cumulated vsize (Kb) 496672 [startup+1782.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1003552/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=496804 CPUtime=1781.47 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124285 0 0 0 177969 178 0 0 25 0 1 0 157629942 508727296 122604 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124201 122604 420 55 0 123093 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 496804 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1003488/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=496804 CPUtime=1782.48 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124302 0 0 0 178070 178 0 0 25 0 1 0 157629942 508727296 122621 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124201 122621 420 55 0 123093 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 496804 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1003424/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=496936 CPUtime=1783.49 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124327 0 0 0 178170 179 0 0 25 0 1 0 157629942 508862464 122646 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124234 122646 420 55 0 123126 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 496936 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1003360/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=496936 CPUtime=1784.49 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124335 0 0 0 178270 179 0 0 25 0 1 0 157629942 508862464 122654 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124234 122654 420 55 0 123126 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 496936 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1003360/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=496936 CPUtime=1785.5 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124344 0 0 0 178371 179 0 0 25 0 1 0 157629942 508862464 122663 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124234 122663 420 55 0 123126 0 Current children cumulated CPU time (s) 1785.5 Current children cumulated vsize (Kb) 496936 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1003168/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=497068 CPUtime=1786.5 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124378 0 0 0 178471 179 0 0 25 0 1 0 157629942 508997632 122697 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124267 122697 420 55 0 123159 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (Kb) 497068 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1003040/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=497200 CPUtime=1787.51 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124414 0 0 0 178572 179 0 0 25 0 1 0 157629942 509132800 122733 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124300 122733 420 55 0 123192 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 497200 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1002912/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=497332 CPUtime=1788.51 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124444 0 0 0 178672 179 0 0 25 0 1 0 157629942 509267968 122763 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124333 122763 420 55 0 123225 0 Current children cumulated CPU time (s) 1788.51 Current children cumulated vsize (Kb) 497332 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1002720/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=497596 CPUtime=1789.51 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124491 0 0 0 178772 179 0 0 25 0 1 0 157629942 509538304 122810 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124399 122810 420 55 0 123291 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 497596 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1002592/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=497728 CPUtime=1790.52 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124519 0 0 0 178873 179 0 0 25 0 1 0 157629942 509673472 122838 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124432 122838 420 55 0 123324 0 Current children cumulated CPU time (s) 1790.52 Current children cumulated vsize (Kb) 497728 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1002528/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=497728 CPUtime=1791.52 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124538 0 0 0 178973 179 0 0 25 0 1 0 157629942 509673472 122857 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124432 122857 420 55 0 123324 0 Current children cumulated CPU time (s) 1791.52 Current children cumulated vsize (Kb) 497728 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1002464/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=497860 CPUtime=1792.52 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124557 0 0 0 179073 179 0 0 25 0 1 0 157629942 509808640 122876 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529180 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124465 122876 420 55 0 123357 0 Current children cumulated CPU time (s) 1792.52 Current children cumulated vsize (Kb) 497860 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1002400/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=497860 CPUtime=1793.53 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124577 0 0 0 179174 179 0 0 25 0 1 0 157629942 509808640 122896 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124465 122896 420 55 0 123357 0 Current children cumulated CPU time (s) 1793.53 Current children cumulated vsize (Kb) 497860 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1002336/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=497992 CPUtime=1794.53 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124594 0 0 0 179274 179 0 0 25 0 1 0 157629942 509943808 122913 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124498 122913 420 55 0 123390 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 497992 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1002208/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=498124 CPUtime=1795.54 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124621 0 0 0 179375 179 0 0 25 0 1 0 157629942 510078976 122940 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124531 122940 420 55 0 123423 0 Current children cumulated CPU time (s) 1795.54 Current children cumulated vsize (Kb) 498124 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1002144/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=498124 CPUtime=1796.54 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124631 0 0 0 179475 179 0 0 25 0 1 0 157629942 510078976 122950 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124531 122950 420 55 0 123423 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 498124 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1002080/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=498256 CPUtime=1797.56 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124653 0 0 0 179576 180 0 0 25 0 1 0 157629942 510214144 122972 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124564 122972 420 55 0 123456 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 498256 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1002016/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=498256 CPUtime=1798.56 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124671 0 0 0 179676 180 0 0 25 0 1 0 157629942 510214144 122990 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124564 122990 420 55 0 123456 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (Kb) 498256 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1380 /proc/meminfo: memFree=1001952/2055920 swapFree=4184148/4192956 [pid=1378] ppid=1376 vsize=498388 CPUtime=1799.56 /proc/1378/stat : 1378 (bsolo) R 1376 1378 1329 0 -1 0 124684 0 0 0 179776 180 0 0 25 0 1 0 157629942 510349312 123003 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1378/statm: 124597 123003 420 55 0 123489 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (Kb) 498388 Child status: 10 Real time (s): 1800.79 CPU time (s): 1800.19 CPU user time (s): 1798.31 CPU system time (s): 1.87871 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (Kb): 498388 The end
Begin job on node60 on Fri Jul 28 17:26:41 UTC 2006 FILE ID= 50330-1154107601 PBS_JOBID= 886345 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node60/50330-1154107601/instance-50330-1154107601.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-50330-1154107601 -o ROOT/results/node60/solver-50330-1154107601 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node60/50330-1154107601/instance-50330-1154107601.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 740b964ee569656e2f29dedde6e3939b RANDOM SEED= 194445830 TIMEOUT= 1800 seconds /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.231 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.231 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1493776 kB Buffers: 32156 kB Cached: 455684 kB SwapCached: 2576 kB Active: 50496 kB Inactive: 445928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1493776 kB SwapTotal: 4192956 kB SwapFree: 4184148 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14584 kB Slab: 51768 kB Committed_AS: 1124604 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node60 on Fri Jul 28 17:56:42 UTC 2006