Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 159 | 1800.13 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_4.opb |
MD5SUM | 8206de06d2228a9d751f3cf3a6d7aa05 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 12 |
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 | 12 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
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 | 14 |
Minimum length of a constraint | 75 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
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 | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1531 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5104 |
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.02 c Initial problem consists of 172 variables and 14 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.009 0.02 c After prepocess the problem consists of 172 variables and 14 constraints. 0.02 c Initial Lower Bound: 0 0.03 c Restart #1 #Var: 172 LB: 0 @ 0.02 0.06 c Restart #2 #Var: 172 LB: 0 @ 0.046 0.10 c Restart #3 #Var: 172 LB: 0 @ 0.086 0.15 c Restart #4 #Var: 172 LB: 0 @ 0.143 0.22 c Restart #5 #Var: 172 LB: 0 @ 0.204 0.27 c Restart #6 #Var: 172 LB: 0 @ 0.262 0.37 c Restart #7 #Var: 172 LB: 0 @ 0.354 0.49 c Restart #8 #Var: 172 LB: 0 @ 0.477 0.61 c Restart #9 #Var: 172 LB: 0 @ 0.598 0.71 c Restart #10 #Var: 172 LB: 0 @ 0.695 0.82 c Restart #11 #Var: 172 LB: 0 @ 0.812 0.96 c Restart #12 #Var: 172 LB: 0 @ 0.944 1.07 c Restart #13 #Var: 172 LB: 0 @ 1.059 1.12 c Sol. found (all assignments made)... 1.12 o 2004 1.12 c NEW SOLUTION FOUND: 2004 @ 1.103 1.12 c Sol. found (all assignments made)... 1.12 o 1748 1.12 c NEW SOLUTION FOUND: 1748 @ 1.104 1.12 c Sol. found (all assignments made)... 1.12 o 1684 1.12 c NEW SOLUTION FOUND: 1684 @ 1.104 1.12 c Sol. found (all assignments made)... 1.12 o 1676 1.12 c NEW SOLUTION FOUND: 1676 @ 1.104 1.12 c Sol. found (all assignments made)... 1.12 o 1672 1.12 c NEW SOLUTION FOUND: 1672 @ 1.107 1.14 c Sol. found (all assignments made)... 1.14 o 1670 1.14 c NEW SOLUTION FOUND: 1670 @ 1.128 1.15 c Sol. found (all assignments made)... 1.15 o 1664 1.15 c NEW SOLUTION FOUND: 1664 @ 1.138 1.17 c Sol. found (all assignments made)... 1.17 o 1658 1.17 c NEW SOLUTION FOUND: 1658 @ 1.163 1.18 c Sol. found (all assignments made)... 1.18 o 1656 1.18 c NEW SOLUTION FOUND: 1656 @ 1.165 1.20 c Sol. found (all assignments made)... 1.20 o 1642 1.20 c NEW SOLUTION FOUND: 1642 @ 1.191 1.20 c Sol. found (all assignments made)... 1.20 o 1640 1.20 c NEW SOLUTION FOUND: 1640 @ 1.192 1.29 c Sol. found (all assignments made)... 1.29 o 1638 1.29 c NEW SOLUTION FOUND: 1638 @ 1.274 1.29 c Sol. found (all assignments made)... 1.29 o 1636 1.29 c NEW SOLUTION FOUND: 1636 @ 1.275 1.33 c Sol. found (all assignments made)... 1.33 o 1634 1.33 c NEW SOLUTION FOUND: 1634 @ 1.314 1.33 c Sol. found (all assignments made)... 1.33 o 1628 1.33 c NEW SOLUTION FOUND: 1628 @ 1.32 1.33 c Sol. found (all assignments made)... 1.33 o 1622 1.33 c NEW SOLUTION FOUND: 1622 @ 1.321 1.33 c Sol. found (all assignments made)... 1.33 o 1620 1.33 c NEW SOLUTION FOUND: 1620 @ 1.321 1.33 c Sol. found (all assignments made)... 1.33 o 1618 1.33 c NEW SOLUTION FOUND: 1618 @ 1.323 1.34 c Sol. found (all assignments made)... 1.34 o 1602 1.34 c NEW SOLUTION FOUND: 1602 @ 1.325 1.34 c Sol. found (all assignments made)... 1.34 o 1586 1.34 c NEW SOLUTION FOUND: 1586 @ 1.327 1.35 c Sol. found (all assignments made)... 1.35 o 1570 1.35 c NEW SOLUTION FOUND: 1570 @ 1.339 1.37 c Sol. found (all assignments made)... 1.37 o 1558 1.37 c NEW SOLUTION FOUND: 1558 @ 1.361 1.37 c Sol. found (all assignments made)... 1.37 o 1556 1.37 c NEW SOLUTION FOUND: 1556 @ 1.361 1.37 c Sol. found (all assignments made)... 1.37 o 1554 1.37 c NEW SOLUTION FOUND: 1554 @ 1.362 1.39 c Sol. found (all assignments made)... 1.39 o 1550 1.39 c NEW SOLUTION FOUND: 1550 @ 1.377 1.39 c Sol. found (all assignments made)... 1.39 o 1542 1.39 c NEW SOLUTION FOUND: 1542 @ 1.378 1.39 c Sol. found (all assignments made)... 1.39 o 1540 1.39 c NEW SOLUTION FOUND: 1540 @ 1.378 1.39 c Sol. found (all assignments made)... 1.39 o 1538 1.39 c NEW SOLUTION FOUND: 1538 @ 1.38 1.56 c Sol. found (all assignments made)... 1.56 o 1536 1.56 c NEW SOLUTION FOUND: 1536 @ 1.545 1.56 c Sol. found (all assignments made)... 1.56 o 1534 1.56 c NEW SOLUTION FOUND: 1534 @ 1.55 1.69 c Sol. found (all assignments made)... 1.69 o 1514 1.69 c NEW SOLUTION FOUND: 1514 @ 1.677 1.69 c Sol. found (all assignments made)... 1.69 o 1512 1.69 c NEW SOLUTION FOUND: 1512 @ 1.679 1.70 c Sol. found (all assignments made)... 1.70 o 1510 1.70 c NEW SOLUTION FOUND: 1510 @ 1.686 1.70 c Sol. found (all assignments made)... 1.70 o 1504 1.70 c NEW SOLUTION FOUND: 1504 @ 1.687 1.70 c Sol. found (all assignments made)... 1.70 o 1496 1.70 c NEW SOLUTION FOUND: 1496 @ 1.689 1.70 c Sol. found (all assignments made)... 1.70 o 1494 1.70 c NEW SOLUTION FOUND: 1494 @ 1.691 1.80 c Sol. found (all assignments made)... 1.80 o 1492 1.80 c NEW SOLUTION FOUND: 1492 @ 1.785 1.80 c Sol. found (all assignments made)... 1.80 o 1490 1.80 c NEW SOLUTION FOUND: 1490 @ 1.789 1.90 c Sol. found (all assignments made)... 1.90 o 1464 1.90 c NEW SOLUTION FOUND: 1464 @ 1.891 1.91 c Sol. found (all assignments made)... 1.91 o 1462 1.91 c NEW SOLUTION FOUND: 1462 @ 1.895 1.91 c Sol. found (all assignments made)... 1.91 o 1450 1.91 c NEW SOLUTION FOUND: 1450 @ 1.9 1.91 c Sol. found (all assignments made)... 1.91 o 1448 1.91 c NEW SOLUTION FOUND: 1448 @ 1.902 1.92 c Sol. found (all assignments made)... 1.92 o 1446 1.92 c NEW SOLUTION FOUND: 1446 @ 1.906 1.97 c Sol. found (all assignments made)... 1.97 o 1444 1.97 c NEW SOLUTION FOUND: 1444 @ 1.962 1.98 c Sol. found (all assignments made)... 1.98 o 1442 1.98 c NEW SOLUTION FOUND: 1442 @ 1.969 2.11 c Sol. found (all assignments made)... 2.11 o 1432 2.11 c NEW SOLUTION FOUND: 1432 @ 2.103 2.12 c Sol. found (all assignments made)... 2.12 o 1424 2.12 c NEW SOLUTION FOUND: 1424 @ 2.109 2.12 c Sol. found (all assignments made)... 2.12 o 1416 2.12 c NEW SOLUTION FOUND: 1416 @ 2.11 2.14 c Sol. found (all assignments made)... 2.14 o 1414 2.14 c NEW SOLUTION FOUND: 1414 @ 2.124 2.15 c Sol. found (all assignments made)... 2.15 o 1412 2.15 c NEW SOLUTION FOUND: 1412 @ 2.141 2.18 c Sol. found (all assignments made)... 2.18 o 1410 2.18 c NEW SOLUTION FOUND: 1410 @ 2.169 2.25 c Sol. found (all assignments made)... 2.25 o 1408 2.25 c NEW SOLUTION FOUND: 1408 @ 2.235 2.27 c Sol. found (all assignments made)... 2.27 o 1406 2.27 c NEW SOLUTION FOUND: 1406 @ 2.258 2.72 c Sol. found (all assignments made)... 2.72 o 1404 2.72 c NEW SOLUTION FOUND: 1404 @ 2.711 2.72 c Sol. found (all assignments made)... 2.72 o 1402 2.72 c NEW SOLUTION FOUND: 1402 @ 2.712 2.73 c Sol. found (all assignments made)... 2.73 o 1400 2.73 c NEW SOLUTION FOUND: 1400 @ 2.712 2.75 c Sol. found (all assignments made)... 2.75 o 1384 2.75 c NEW SOLUTION FOUND: 1384 @ 2.739 2.82 c Sol. found (all assignments made)... 2.82 o 1382 2.82 c NEW SOLUTION FOUND: 1382 @ 2.809 3.14 c Sol. found (all assignments made)... 3.14 o 1368 3.14 c NEW SOLUTION FOUND: 1368 @ 3.126 3.16 c Sol. found (all assignments made)... 3.16 o 1366 3.16 c NEW SOLUTION FOUND: 1366 @ 3.148 3.16 c Sol. found (all assignments made)... 3.16 o 1364 3.16 c NEW SOLUTION FOUND: 1364 @ 3.149 3.20 c Sol. found (all assignments made)... 3.20 o 1352 3.20 c NEW SOLUTION FOUND: 1352 @ 3.188 3.23 c Sol. found (all assignments made)... 3.23 o 1348 3.23 c NEW SOLUTION FOUND: 1348 @ 3.213 3.46 c Sol. found (all assignments made)... 3.46 o 1346 3.46 c NEW SOLUTION FOUND: 1346 @ 3.45 3.68 c Sol. found (all assignments made)... 3.68 o 1344 3.68 c NEW SOLUTION FOUND: 1344 @ 3.671 3.72 c Sol. found (all assignments made)... 3.72 o 1336 3.72 c NEW SOLUTION FOUND: 1336 @ 3.71 3.73 c Sol. found (all assignments made)... 3.73 o 1332 3.73 c NEW SOLUTION FOUND: 1332 @ 3.716 3.77 c Sol. found (all assignments made)... 3.77 o 1330 3.77 c NEW SOLUTION FOUND: 1330 @ 3.753 3.77 c Sol. found (all assignments made)... 3.77 o 1328 3.77 c NEW SOLUTION FOUND: 1328 @ 3.754 4.07 c Sol. found (all assignments made)... 4.07 o 1326 4.07 c NEW SOLUTION FOUND: 1326 @ 4.052 4.51 c Sol. found (all assignments made)... 4.51 o 1320 4.51 c NEW SOLUTION FOUND: 1320 @ 4.494 4.52 c Sol. found (all assignments made)... 4.52 o 1316 4.52 c NEW SOLUTION FOUND: 1316 @ 4.503 4.80 c Sol. found (all assignments made)... 4.80 o 1314 4.80 c NEW SOLUTION FOUND: 1314 @ 4.786 5.02 c Sol. found (all assignments made)... 5.02 o 1306 5.02 c NEW SOLUTION FOUND: 1306 @ 5.007 5.02 c Sol. found (all assignments made)... 5.02 o 1304 5.02 c NEW SOLUTION FOUND: 1304 @ 5.008 5.09 c Sol. found (all assignments made)... 5.09 o 1300 5.09 c NEW SOLUTION FOUND: 1300 @ 5.071 5.17 c Sol. found (all assignments made)... 5.17 o 1296 5.17 c NEW SOLUTION FOUND: 1296 @ 5.153 5.23 c Sol. found (all assignments made)... 5.23 o 1294 5.23 c NEW SOLUTION FOUND: 1294 @ 5.212 5.25 c Sol. found (all assignments made)... 5.25 o 1288 5.25 c NEW SOLUTION FOUND: 1288 @ 5.23 5.26 c Sol. found (all assignments made)... 5.26 o 1284 5.26 c NEW SOLUTION FOUND: 1284 @ 5.239 5.29 c Sol. found (all assignments made)... 5.29 o 1280 5.29 c NEW SOLUTION FOUND: 1280 @ 5.271 5.84 c Sol. found (all assignments made)... 5.84 o 1278 5.84 c NEW SOLUTION FOUND: 1278 @ 5.821 7.93 c Restart #14 #Var: 172 LB: 0 @ 7.908 7.97 c Sol. found (all assignments made)... 7.97 o 1184 7.97 c NEW SOLUTION FOUND: 1184 @ 7.951 7.97 c Sol. found (all assignments made)... 7.97 o 1180 7.97 c NEW SOLUTION FOUND: 1180 @ 7.953 7.97 c Sol. found (all assignments made)... 7.97 o 1178 7.97 c NEW SOLUTION FOUND: 1178 @ 7.954 7.97 c Sol. found (all assignments made)... 7.97 o 1176 7.97 c NEW SOLUTION FOUND: 1176 @ 7.955 8.06 c Sol. found (all assignments made)... 8.06 o 1112 8.06 c NEW SOLUTION FOUND: 1112 @ 8.045 8.06 c Sol. found (all assignments made)... 8.06 o 1110 8.06 c NEW SOLUTION FOUND: 1110 @ 8.045 8.06 c Sol. found (all assignments made)... 8.06 o 1106 8.06 c NEW SOLUTION FOUND: 1106 @ 8.046 8.06 c Sol. found (all assignments made)... 8.06 o 1074 8.06 c NEW SOLUTION FOUND: 1074 @ 8.046 8.17 c Sol. found (all assignments made)... 8.17 o 1062 8.17 c NEW SOLUTION FOUND: 1062 @ 8.151 8.17 c Sol. found (all assignments made)... 8.17 o 1060 8.17 c NEW SOLUTION FOUND: 1060 @ 8.157 8.18 c Sol. found (all assignments made)... 8.18 o 1052 8.18 c NEW SOLUTION FOUND: 1052 @ 8.16 8.20 c Sol. found (all assignments made)... 8.20 o 1044 8.20 c NEW SOLUTION FOUND: 1044 @ 8.184 8.21 c Sol. found (all assignments made)... 8.21 o 1036 8.21 c NEW SOLUTION FOUND: 1036 @ 8.196 8.27 c Sol. found (all assignments made)... 8.27 o 1026 8.27 c NEW SOLUTION FOUND: 1026 @ 8.247 8.32 c Sol. found (all assignments made)... 8.32 o 1004 8.32 c NEW SOLUTION FOUND: 1004 @ 8.302 8.65 c Sol. found (all assignments made)... 8.65 o 996 8.65 c NEW SOLUTION FOUND: 996 @ 8.634 9.47 c Restart #15 #Var: 172 LB: 0 @ 9.456 10.54 c Restart #16 #Var: 172 LB: 0 @ 10.524 12.09 c Sol. found (all assignments made)... 12.09 o 994 12.09 c NEW SOLUTION FOUND: 994 @ 12.076 12.10 c Sol. found (all assignments made)... 12.10 o 992 12.10 c NEW SOLUTION FOUND: 992 @ 12.086 15.25 c Restart #17 #Var: 172 LB: 0 @ 15.23 16.32 c Sol. found (all assignments made)... 16.32 o 961 16.32 c NEW SOLUTION FOUND: 961 @ 16.297 16.32 c Sol. found (all assignments made)... 16.32 o 959 16.32 c NEW SOLUTION FOUND: 959 @ 16.3 16.33 c Sol. found (all assignments made)... 16.33 o 911 16.33 c NEW SOLUTION FOUND: 911 @ 16.313 16.33 c Sol. found (all assignments made)... 16.33 o 903 16.33 c NEW SOLUTION FOUND: 903 @ 16.314 16.33 c Sol. found (all assignments made)... 16.33 o 901 16.33 c NEW SOLUTION FOUND: 901 @ 16.315 16.34 c Sol. found (all assignments made)... 16.34 o 895 16.34 c NEW SOLUTION FOUND: 895 @ 16.316 16.34 c Sol. found (all assignments made)... 16.34 o 801 16.34 c NEW SOLUTION FOUND: 801 @ 16.32 16.35 c Sol. found (all assignments made)... 16.35 o 745 16.35 c NEW SOLUTION FOUND: 745 @ 16.328 16.35 c Sol. found (all assignments made)... 16.35 o 743 16.35 c NEW SOLUTION FOUND: 743 @ 16.329 16.35 c Sol. found (all assignments made)... 16.35 o 737 16.35 c NEW SOLUTION FOUND: 737 @ 16.331 16.36 c Sol. found (all assignments made)... 16.36 o 703 16.36 c NEW SOLUTION FOUND: 703 @ 16.336 17.65 c Sol. found (all assignments made)... 17.65 o 674 17.65 c NEW SOLUTION FOUND: 674 @ 17.627 17.65 c Sol. found (all assignments made)... 17.65 o 666 17.65 c NEW SOLUTION FOUND: 666 @ 17.627 17.65 c Sol. found (all assignments made)... 17.65 o 658 17.65 c NEW SOLUTION FOUND: 658 @ 17.629 17.65 c Sol. found (all assignments made)... 17.65 o 656 17.65 c NEW SOLUTION FOUND: 656 @ 17.634 17.66 c Sol. found (all assignments made)... 17.66 o 652 17.66 c NEW SOLUTION FOUND: 652 @ 17.637 17.66 c Sol. found (all assignments made)... 17.66 o 650 17.66 c NEW SOLUTION FOUND: 650 @ 17.638 17.68 c Sol. found (all assignments made)... 17.68 o 628 17.68 c NEW SOLUTION FOUND: 628 @ 17.662 17.69 c Sol. found (all assignments made)... 17.69 o 624 17.69 c NEW SOLUTION FOUND: 624 @ 17.673 17.70 c Sol. found (all assignments made)... 17.70 o 620 17.70 c NEW SOLUTION FOUND: 620 @ 17.68 17.72 c Sol. found (all assignments made)... 17.72 o 618 17.72 c NEW SOLUTION FOUND: 618 @ 17.697 17.74 c Sol. found (all assignments made)... 17.74 o 612 17.74 c NEW SOLUTION FOUND: 612 @ 17.722 17.75 c Sol. found (all assignments made)... 17.75 o 604 17.75 c NEW SOLUTION FOUND: 604 @ 17.733 17.77 c Sol. found (all assignments made)... 17.77 o 602 17.77 c NEW SOLUTION FOUND: 602 @ 17.747 17.78 c Sol. found (all assignments made)... 17.78 o 596 17.78 c NEW SOLUTION FOUND: 596 @ 17.761 17.79 c Sol. found (all assignments made)... 17.79 o 594 17.79 c NEW SOLUTION FOUND: 594 @ 17.773 17.81 c Sol. found (all assignments made)... 17.81 o 588 17.81 c NEW SOLUTION FOUND: 588 @ 17.79 17.82 c Sol. found (all assignments made)... 17.82 o 586 17.82 c NEW SOLUTION FOUND: 586 @ 17.802 17.83 c Sol. found (all assignments made)... 17.83 o 580 17.83 c NEW SOLUTION FOUND: 580 @ 17.814 17.85 c Sol. found (all assignments made)... 17.85 o 578 17.85 c NEW SOLUTION FOUND: 578 @ 17.826 17.86 c Sol. found (all assignments made)... 17.86 o 524 17.86 c NEW SOLUTION FOUND: 524 @ 17.84 17.87 c Sol. found (all assignments made)... 17.87 o 516 17.87 c NEW SOLUTION FOUND: 516 @ 17.853 17.88 c Sol. found (all assignments made)... 17.88 o 514 17.88 c NEW SOLUTION FOUND: 514 @ 17.865 17.90 c Sol. found (all assignments made)... 17.90 o 508 17.90 c NEW SOLUTION FOUND: 508 @ 17.885 17.92 c Sol. found (all assignments made)... 17.92 o 506 17.92 c NEW SOLUTION FOUND: 506 @ 17.897 17.94 c Sol. found (all assignments made)... 17.94 o 492 17.94 c NEW SOLUTION FOUND: 492 @ 17.915 17.95 c Sol. found (all assignments made)... 17.95 o 490 17.95 c NEW SOLUTION FOUND: 490 @ 17.929 18.04 c Sol. found (all assignments made)... 18.04 o 484 18.04 c NEW SOLUTION FOUND: 484 @ 18.02 18.06 c Sol. found (all assignments made)... 18.06 o 482 18.06 c NEW SOLUTION FOUND: 482 @ 18.036 18.87 c Sol. found (all assignments made)... 18.87 o 478 18.87 c NEW SOLUTION FOUND: 478 @ 18.847 18.88 c Sol. found (all assignments made)... 18.88 o 476 18.88 c NEW SOLUTION FOUND: 476 @ 18.856 18.89 c Sol. found (all assignments made)... 18.89 o 470 18.89 c NEW SOLUTION FOUND: 470 @ 18.869 18.89 c Sol. found (all assignments made)... 18.89 o 468 18.89 c NEW SOLUTION FOUND: 468 @ 18.87 18.90 c Sol. found (all assignments made)... 18.90 o 466 18.90 c NEW SOLUTION FOUND: 466 @ 18.877 18.90 c Sol. found (all assignments made)... 18.90 o 464 18.90 c NEW SOLUTION FOUND: 464 @ 18.883 18.90 c Sol. found (all assignments made)... 18.90 o 458 18.90 c NEW SOLUTION FOUND: 458 @ 18.884 18.90 c Sol. found (all assignments made)... 18.90 o 456 18.90 c NEW SOLUTION FOUND: 456 @ 18.884 18.91 c Sol. found (all assignments made)... 18.91 o 448 18.91 c NEW SOLUTION FOUND: 448 @ 18.885 18.91 c Sol. found (all assignments made)... 18.91 o 442 18.91 c NEW SOLUTION FOUND: 442 @ 18.89 18.91 c Sol. found (all assignments made)... 18.91 o 440 18.91 c NEW SOLUTION FOUND: 440 @ 18.89 18.91 c Sol. found (all assignments made)... 18.91 o 438 18.91 c NEW SOLUTION FOUND: 438 @ 18.894 18.97 c Sol. found (all assignments made)... 18.97 o 434 18.97 c NEW SOLUTION FOUND: 434 @ 18.954 18.97 c Sol. found (all assignments made)... 18.97 o 432 18.97 c NEW SOLUTION FOUND: 432 @ 18.954 18.98 c Sol. found (all assignments made)... 18.98 o 428 18.98 c NEW SOLUTION FOUND: 428 @ 18.964 18.99 c Sol. found (all assignments made)... 18.99 o 424 18.99 c NEW SOLUTION FOUND: 424 @ 18.967 18.99 c Sol. found (all assignments made)... 18.99 o 422 18.99 c NEW SOLUTION FOUND: 422 @ 18.968 19.00 c Sol. found (all assignments made)... 19.00 o 418 19.00 c NEW SOLUTION FOUND: 418 @ 18.975 19.00 c Sol. found (all assignments made)... 19.00 o 416 19.00 c NEW SOLUTION FOUND: 416 @ 18.975 19.06 c Sol. found (all assignments made)... 19.06 o 414 19.06 c NEW SOLUTION FOUND: 414 @ 19.036 19.44 c Sol. found (all assignments made)... 19.44 o 412 19.44 c NEW SOLUTION FOUND: 412 @ 19.41 19.62 c Sol. found (all assignments made)... 19.62 o 410 19.62 c NEW SOLUTION FOUND: 410 @ 19.586 21.42 c Restart #18 #Var: 172 LB: 0 @ 21.387 24.10 c Restart #19 #Var: 172 LB: 0 @ 24.045 27.63 c Restart #20 #Var: 172 LB: 0 @ 27.572 29.03 c Restart #21 #Var: 172 LB: 0 @ 28.971 33.96 c Sol. found (all assignments made)... 33.96 c Sol. found (all assignments made)... 33.96 o 408 33.96 c NEW SOLUTION FOUND: 408 @ 33.901 33.98 c Sol. found (all assignments made)... 33.98 o 404 33.98 c NEW SOLUTION FOUND: 404 @ 33.916 34.05 c Sol. found (all assignments made)... 34.05 o 402 34.05 c NEW SOLUTION FOUND: 402 @ 33.99 35.20 c Sol. found (all assignments made)... 35.20 o 400 35.20 c NEW SOLUTION FOUND: 400 @ 35.129 35.26 c Sol. found (all assignments made)... 35.26 o 398 35.26 c NEW SOLUTION FOUND: 398 @ 35.184 35.50 c Sol. found (all assignments made)... 35.50 o 396 35.50 c NEW SOLUTION FOUND: 396 @ 35.43 37.60 c Sol. found (all assignments made)... 37.60 o 394 37.60 c NEW SOLUTION FOUND: 394 @ 37.52 42.24 c Sol. found (all assignments made)... 42.24 o 392 42.24 c NEW SOLUTION FOUND: 392 @ 42.146 48.03 c Restart #22 #Var: 172 LB: 0 @ 47.921 51.30 c Restart #23 #Var: 172 LB: 0 @ 51.181 51.54 c Sol. found (all assignments made)... 51.54 o 386 51.54 c NEW SOLUTION FOUND: 386 @ 51.424 51.71 c Sol. found (all assignments made)... 51.71 o 374 51.71 c NEW SOLUTION FOUND: 374 @ 51.592 51.73 c Sol. found (all assignments made)... 51.73 o 370 51.73 c NEW SOLUTION FOUND: 370 @ 51.61 51.74 c Sol. found (all assignments made)... 51.74 o 366 51.74 c NEW SOLUTION FOUND: 366 @ 51.626 51.78 c Sol. found (all assignments made)... 51.78 o 346 51.78 c NEW SOLUTION FOUND: 346 @ 51.667 51.80 c Sol. found (all assignments made)... 51.80 o 338 51.80 c NEW SOLUTION FOUND: 338 @ 51.681 51.82 c Sol. found (all assignments made)... 51.82 o 334 51.82 c NEW SOLUTION FOUND: 334 @ 51.7 51.86 c Sol. found (all assignments made)... 51.86 o 326 51.86 c NEW SOLUTION FOUND: 326 @ 51.744 51.88 c Sol. found (all assignments made)... 51.88 o 322 51.88 c NEW SOLUTION FOUND: 322 @ 51.768 52.27 c Sol. found (all assignments made)... 52.27 o 318 52.27 c NEW SOLUTION FOUND: 318 @ 52.148 52.37 c Sol. found (all assignments made)... 52.37 o 306 52.37 c NEW SOLUTION FOUND: 306 @ 52.252 52.72 c Sol. found (all assignments made)... 52.72 o 300 52.72 c NEW SOLUTION FOUND: 300 @ 52.605 58.70 c Sol. found (all assignments made)... 58.70 o 298 58.70 c NEW SOLUTION FOUND: 298 @ 58.579 64.29 c Restart #24 #Var: 172 LB: 0 @ 64.171 70.22 c Restart #25 #Var: 172 LB: 0 @ 70.099 74.57 c Restart #26 #Var: 172 LB: 0 @ 74.446 82.33 c Restart #27 #Var: 172 LB: 0 @ 82.205 87.98 c CHANGE to MIS mode... UB: 298 MIS: 0 LPR: 0 (0.025) Diff: nan 87.98 c Restart #0 #Var: 172 LB: 0 @ 87.848 88.19 c Restart #1 #Var: 172 LB: 0 @ 88.06 88.69 c Restart #2 #Var: 172 LB: 0 @ 88.557 89.56 c Restart #3 #Var: 172 LB: 0 @ 89.432 91.35 c Restart #4 #Var: 172 LB: 0 @ 91.215 93.11 c Restart #5 #Var: 172 LB: 0 @ 92.972 94.44 c Sol. found (all assignments made)... 94.44 o 288 94.44 c NEW SOLUTION FOUND: 288 @ 94.31 94.47 c Sol. found (all assignments made)... 94.47 o 284 94.47 c NEW SOLUTION FOUND: 284 @ 94.337 95.26 c Sol. found (all assignments made)... 95.26 o 282 95.26 c NEW SOLUTION FOUND: 282 @ 95.129 95.50 c Sol. found (all assignments made)... 95.50 o 280 95.50 c NEW SOLUTION FOUND: 280 @ 95.37 96.15 c Restart #6 #Var: 172 LB: 0 @ 96.015 103.06 c Restart #7 #Var: 172 LB: 0 @ 102.92 105.41 c Restart #8 #Var: 172 LB: 0 @ 105.27 108.12 c Restart #9 #Var: 172 LB: 0 @ 107.98 111.55 c Restart #10 #Var: 172 LB: 0 @ 111.41 117.46 c Restart #11 #Var: 172 LB: 0 @ 117.32 120.24 c Restart #12 #Var: 172 LB: 0 @ 120.1 127.53 c Restart #13 #Var: 172 LB: 0 @ 127.39 130.12 c Restart #14 #Var: 172 LB: 0 @ 129.97 132.74 c Restart #15 #Var: 172 LB: 0 @ 132.6 139.96 c Restart #16 #Var: 172 LB: 0 @ 139.81 147.77 c Restart #17 #Var: 172 LB: 0 @ 147.62 156.43 c Restart #18 #Var: 172 LB: 0 @ 156.28 166.65 c Restart #19 #Var: 172 LB: 0 @ 166.5 175.98 c Restart #20 #Var: 172 LB: 0 @ 175.82 189.13 c Restart #21 #Var: 172 LB: 0 @ 188.97 198.78 c Restart #22 #Var: 172 LB: 0 @ 198.62 218.68 c Restart #23 #Var: 172 LB: 0 @ 218.51 231.16 c Restart #24 #Var: 172 LB: 0 @ 230.98 252.20 c Restart #25 #Var: 172 LB: 0 @ 252.03 274.55 c Restart #26 #Var: 172 LB: 0 @ 274.37 295.67 c Restart #27 #Var: 172 LB: 0 @ 295.49 314.87 c Restart #28 #Var: 172 LB: 0 @ 314.68 332.09 c Restart #29 #Var: 172 LB: 0 @ 331.89 346.65 c Restart #30 #Var: 172 LB: 0 @ 346.45 357.60 c Sol. found (all assignments made)... 357.60 c Sol. found (all assignments made)... 357.60 o 278 357.60 c NEW SOLUTION FOUND: 278 @ 357.4 368.20 c Sol. found (all assignments made)... 368.20 o 276 368.20 c NEW SOLUTION FOUND: 276 @ 367.99 370.66 c Sol. found (all assignments made)... 370.66 o 274 370.66 c NEW SOLUTION FOUND: 274 @ 370.45 391.81 c Restart #31 #Var: 172 LB: 0 @ 391.6 416.42 c Sol. found (all assignments made)... 416.42 o 270 416.42 c NEW SOLUTION FOUND: 270 @ 416.2 437.61 c Restart #32 #Var: 172 LB: 0 @ 437.38 459.94 c Restart #33 #Var: 172 LB: 0 @ 459.7 482.36 c Sol. found (all assignments made)... 482.36 o 266 482.36 c NEW SOLUTION FOUND: 266 @ 482.12 482.37 c Sol. found (all assignments made)... 482.37 o 258 482.37 c NEW SOLUTION FOUND: 258 @ 482.12 482.38 c Sol. found (all assignments made)... 482.38 o 256 482.38 c NEW SOLUTION FOUND: 256 @ 482.14 488.05 c Sol. found (all assignments made)... 488.05 o 254 488.06 c NEW SOLUTION FOUND: 254 @ 487.81 495.65 c Sol. found (all assignments made)... 495.65 o 248 495.65 c NEW SOLUTION FOUND: 248 @ 495.41 495.74 c Sol. found (all assignments made)... 495.74 o 246 495.74 c NEW SOLUTION FOUND: 246 @ 495.49 510.06 c Restart #34 #Var: 172 LB: 0 @ 509.81 528.34 c Restart #35 #Var: 172 LB: 0 @ 528.09 552.27 c Sol. found (all assignments made)... 552.27 o 242 552.27 c NEW SOLUTION FOUND: 242 @ 552.01 552.76 c Sol. found (all assignments made)... 552.76 o 240 552.76 c NEW SOLUTION FOUND: 240 @ 552.5 552.86 c Sol. found (all assignments made)... 552.86 o 238 552.86 c NEW SOLUTION FOUND: 238 @ 552.6 552.94 c Sol. found (all assignments made)... 552.94 o 236 552.94 c NEW SOLUTION FOUND: 236 @ 552.68 553.17 c Sol. found (all assignments made)... 553.17 o 230 553.17 c NEW SOLUTION FOUND: 230 @ 552.91 553.26 c Sol. found (all assignments made)... 553.26 o 228 553.26 c NEW SOLUTION FOUND: 228 @ 553 562.18 c Sol. found (all assignments made)... 562.18 o 226 562.18 c NEW SOLUTION FOUND: 226 @ 561.92 562.30 c Sol. found (all assignments made)... 562.30 o 224 562.30 c NEW SOLUTION FOUND: 224 @ 562.04 573.23 c Sol. found (all assignments made)... 573.23 o 222 573.23 c NEW SOLUTION FOUND: 222 @ 572.96 573.33 c Sol. found (all assignments made)... 573.33 o 220 573.33 c NEW SOLUTION FOUND: 220 @ 573.07 577.55 c Sol. found (all assignments made)... 577.55 o 218 577.55 c NEW SOLUTION FOUND: 218 @ 577.28 577.67 c Sol. found (all assignments made)... 577.67 o 214 577.67 c NEW SOLUTION FOUND: 214 @ 577.4 578.77 c Sol. found (all assignments made)... 578.77 o 212 578.77 c NEW SOLUTION FOUND: 212 @ 578.5 581.03 c Sol. found (all assignments made)... 581.03 o 206 581.03 c NEW SOLUTION FOUND: 206 @ 580.76 581.48 c Sol. found (all assignments made)... 581.48 o 204 581.48 c NEW SOLUTION FOUND: 204 @ 581.22 611.36 c Restart #36 #Var: 172 LB: 0 @ 611.08 636.84 c Restart #37 #Var: 172 LB: 0 @ 636.56 661.94 c Restart #38 #Var: 172 LB: 0 @ 661.65 699.19 c Restart #39 #Var: 172 LB: 0 @ 698.89 731.58 c Restart #40 #Var: 172 LB: 0 @ 731.27 770.54 c Restart #41 #Var: 172 LB: 0 @ 770.22 817.96 c Restart #42 #Var: 172 LB: 0 @ 817.63 849.45 c Restart #43 #Var: 172 LB: 0 @ 849.11 904.36 c Restart #44 #Var: 172 LB: 0 @ 904 918.65 c Restart #45 #Var: 172 LB: 0 @ 918.29 982.58 c Restart #46 #Var: 172 LB: 0 @ 982.2 1039.05 c Restart #47 #Var: 172 LB: 0 @ 1038.7 1124.07 c Restart #48 #Var: 172 LB: 0 @ 1123.7 1192.60 c Restart #49 #Var: 172 LB: 0 @ 1192.2 1249.81 c Restart #50 #Var: 172 LB: 0 @ 1249.4 1338.45 c Restart #51 #Var: 172 LB: 0 @ 1338 1420.85 c Restart #52 #Var: 172 LB: 0 @ 1420.4 1534.41 c Restart #53 #Var: 172 LB: 0 @ 1533.9 1673.61 c Restart #54 #Var: 172 LB: 0 @ 1673 1710.08 c Sol. found (all assignments made)... 1710.08 o 203 1710.08 c NEW SOLUTION FOUND: 203 @ 1709.5 1710.57 c Sol. found (all assignments made)... 1710.57 o 191 1710.57 c NEW SOLUTION FOUND: 191 @ 1710 1710.57 c Sol. found (all assignments made)... 1710.57 o 189 1710.57 c NEW SOLUTION FOUND: 189 @ 1710 1710.57 c Sol. found (all assignments made)... 1710.57 o 187 1710.57 c NEW SOLUTION FOUND: 187 @ 1710 1711.04 c Sol. found (all assignments made)... 1711.04 o 179 1711.04 c NEW SOLUTION FOUND: 179 @ 1710.5 1711.13 c Sol. found (all assignments made)... 1711.13 o 177 1711.13 c NEW SOLUTION FOUND: 177 @ 1710.6 1711.30 c Sol. found (all assignments made)... 1711.30 o 175 1711.30 c NEW SOLUTION FOUND: 175 @ 1710.7 1711.49 c Sol. found (all assignments made)... 1711.49 o 165 1711.49 c NEW SOLUTION FOUND: 165 @ 1710.9 1711.52 c Sol. found (all assignments made)... 1711.52 o 163 1711.52 c NEW SOLUTION FOUND: 163 @ 1710.9 1711.69 c Sol. found (all assignments made)... 1711.69 o 161 1711.69 c NEW SOLUTION FOUND: 161 @ 1711.1 1768.56 c Sol. found (all assignments made)... 1768.56 o 159 1768.56 c NEW SOLUTION FOUND: 159 @ 1768 1800.60 s SATISFIABLE 1800.60 c Cost: 159 1800.60 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 1800.60 v -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.60 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.60 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 1800.60 v x108 -x109 -x110 -x111 -x112 x113 x114 -x115 -x116 -x117 x118 x119 -x120 x121 -x122 -x123 x124 x125 x126 -x127 -x128 x129 x130 1800.60 v x131 x132 x133 x134 -x135 -x136 -x137 x138 -x139 -x140 x141 -x142 -x143 -x144 x145 x146 x147 -x148 -x149 -x150 x151 -x152 x153 1800.60 v x154 -x155 x156 x157 x158 x159 x160 -x161 -x162 -x163 x164 -x165 x166 x167 x168 -x169 x170 -x171 x172 1800.60 c Exit Code: 10 1800.60 c Total time: 1800 s
OK 159
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/node20/watcher-50326-1154106041 -o ROOT/results/node20/solver-50326-1154106041 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node20/50326-1154106041/instance-50326-1154106041.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 27093 /proc/meminfo: memFree=1526624/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=3224 CPUtime=0 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 56 0 0 0 0 0 0 0 19 0 1 0 157464631 3301376 38 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7619364 0 0 4096 0 0 0 0 17 1 0 0 /proc/27093/statm: 806 39 29 55 0 40 0 [startup+10.0024 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27093 /proc/meminfo: memFree=1454256/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=76672 CPUtime=9.98 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 18428 0 0 0 985 13 0 0 25 0 1 0 157464631 78512128 18342 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 19168 18342 297 55 0 18060 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 76672 [startup+20.0087 s] /proc/loadavg: 1.00 1.00 1.00 2/70 27119 /proc/meminfo: memFree=1425408/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=104560 CPUtime=19.96 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 25373 0 0 0 1976 20 0 0 25 0 1 0 157464631 107069440 25287 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 26140 25287 297 55 0 25032 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 104560 [startup+30.0159 s] /proc/loadavg: 1.00 1.00 1.00 2/70 27201 /proc/meminfo: memFree=1403704/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=126128 CPUtime=29.95 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 30743 0 0 0 2964 31 0 0 25 0 1 0 157464631 129155072 30655 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 31532 30655 297 55 0 30424 0 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 126128 [startup+40.0221 s] /proc/loadavg: 1.00 1.00 1.00 2/70 27231 /proc/meminfo: memFree=1391480/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=138404 CPUtime=39.93 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 33794 0 0 0 3959 34 0 0 25 0 1 0 157464631 141725696 33706 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 34601 33706 297 55 0 33493 0 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 138404 [startup+50.0293 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=1381600/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=149504 CPUtime=49.9 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 36572 0 0 0 4952 38 0 0 25 0 1 0 157464631 153092096 36484 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 37376 36484 297 55 0 36268 0 Current children cumulated CPU time (s) 49.9 Current children cumulated vsize (Kb) 149504 [startup+60.0356 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=1365288/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=165908 CPUtime=59.91 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 40648 0 0 0 5948 43 0 0 25 0 1 0 157464631 169889792 40560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 41477 40560 297 55 0 40369 0 Current children cumulated CPU time (s) 59.91 Current children cumulated vsize (Kb) 165908 [startup+70.0418 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=1352368/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=178768 CPUtime=69.92 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 43871 0 0 0 6945 47 0 0 25 0 1 0 157464631 183058432 43779 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540733 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 44692 43779 297 55 0 43584 0 Current children cumulated CPU time (s) 69.92 Current children cumulated vsize (Kb) 178768 [startup+80.048 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=1342384/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=188872 CPUtime=79.91 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 46360 0 0 0 7942 49 0 0 25 0 1 0 157464631 193404928 46266 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 47218 46266 297 55 0 46110 0 Current children cumulated CPU time (s) 79.91 Current children cumulated vsize (Kb) 188872 [startup+90.0542 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=1320432/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=210852 CPUtime=89.91 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 51802 0 3 0 8936 55 0 0 25 0 1 0 157464631 215912448 51707 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 52713 51707 420 55 0 51605 0 Current children cumulated CPU time (s) 89.91 Current children cumulated vsize (Kb) 210852 [startup+100.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=1313904/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=217508 CPUtime=99.92 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 53432 0 3 0 9934 58 0 0 25 0 1 0 157464631 222728192 53333 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 54377 53333 420 55 0 53269 0 Current children cumulated CPU time (s) 99.92 Current children cumulated vsize (Kb) 217508 [startup+110.067 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=1306288/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=225188 CPUtime=109.92 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 55353 0 3 0 10931 61 0 0 25 0 1 0 157464631 230592512 55254 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 56297 55254 420 55 0 55189 0 Current children cumulated CPU time (s) 109.92 Current children cumulated vsize (Kb) 225188 [startup+120.073 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=1298480/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=232992 CPUtime=119.92 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 57300 0 3 0 11929 63 0 0 25 0 1 0 157464631 238583808 57200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 58248 57200 420 55 0 57140 0 Current children cumulated CPU time (s) 119.92 Current children cumulated vsize (Kb) 232992 [startup+130.079 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=1290480/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=241044 CPUtime=129.93 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 59300 0 3 0 12927 66 0 0 25 0 1 0 157464631 246829056 59200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 60261 59200 420 55 0 59153 0 Current children cumulated CPU time (s) 129.93 Current children cumulated vsize (Kb) 241044 [startup+140.086 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=1280816/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=250700 CPUtime=139.94 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 61713 0 3 0 13925 69 0 0 25 0 1 0 157464631 256716800 61612 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 62675 61612 420 55 0 61567 0 Current children cumulated CPU time (s) 139.94 Current children cumulated vsize (Kb) 250700 [startup+150.094 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=1274608/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=257044 CPUtime=149.94 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 63261 0 3 0 14923 71 0 0 25 0 1 0 157464631 263213056 63160 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 64261 63160 420 55 0 63153 0 Current children cumulated CPU time (s) 149.94 Current children cumulated vsize (Kb) 257044 [startup+160.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=1268464/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=263152 CPUtime=159.94 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 64786 0 3 0 15920 74 0 0 25 0 1 0 157464631 269467648 64685 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 65788 64685 420 55 0 64680 0 Current children cumulated CPU time (s) 159.94 Current children cumulated vsize (Kb) 263152 [startup+170.106 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=1262512/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=269092 CPUtime=169.94 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 66279 0 3 0 16919 75 0 0 25 0 1 0 157464631 275550208 66178 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 67273 66178 420 55 0 66165 0 Current children cumulated CPU time (s) 169.94 Current children cumulated vsize (Kb) 269092 [startup+180.112 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=1257776/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=273740 CPUtime=179.95 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 67458 0 3 0 17918 77 0 0 25 0 1 0 157464631 280309760 67356 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534141 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 68435 67356 420 55 0 67327 0 Current children cumulated CPU time (s) 179.95 Current children cumulated vsize (Kb) 273740 [startup+190.118 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=1253040/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=278520 CPUtime=189.95 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 68647 0 3 0 18917 78 0 0 25 0 1 0 157464631 285204480 68545 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 69630 68545 420 55 0 68522 0 Current children cumulated CPU time (s) 189.95 Current children cumulated vsize (Kb) 278520 [startup+200.125 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=1246256/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=285256 CPUtime=199.96 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 70334 0 3 0 19915 81 0 0 25 0 1 0 157464631 292102144 70230 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 71314 70230 420 55 0 70206 0 Current children cumulated CPU time (s) 199.96 Current children cumulated vsize (Kb) 285256 [startup+210.132 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.51 Current children cumulated vsize (Kb) 721408 [startup+1771.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=802288/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=731880 CPUtime=1770.51 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 184441 0 3 0 176795 256 0 0 25 0 1 0 157464631 749445120 181007 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 182970 181007 420 55 0 181862 0 Current children cumulated CPU time (s) 1770.51 Current children cumulated vsize (Kb) 731880 [startup+1781.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=799920/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=734256 CPUtime=1780.51 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185040 0 3 0 177794 257 0 0 25 0 1 0 157464631 751878144 181606 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 183564 181606 420 55 0 182456 0 Current children cumulated CPU time (s) 1780.51 Current children cumulated vsize (Kb) 734256 [startup+1782.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=799728/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=734388 CPUtime=1781.52 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185083 0 3 0 177895 257 0 0 25 0 1 0 157464631 752013312 181649 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 183597 181649 420 55 0 182489 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (Kb) 734388 [startup+1783.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=799600/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=734652 CPUtime=1782.53 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185120 0 3 0 177995 258 0 0 25 0 1 0 157464631 752283648 181686 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 183663 181686 420 55 0 182555 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 734652 [startup+1784.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=799408/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=734784 CPUtime=1783.53 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185167 0 3 0 178095 258 0 0 25 0 1 0 157464631 752418816 181733 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 183696 181733 420 55 0 182588 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 734784 [startup+1785.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=799216/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=734916 CPUtime=1784.53 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185206 0 3 0 178195 258 0 0 25 0 1 0 157464631 752553984 181772 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 183729 181772 420 55 0 182621 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 734916 [startup+1786.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=799024/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=735180 CPUtime=1785.54 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185254 0 3 0 178296 258 0 0 25 0 1 0 157464631 752824320 181820 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 183795 181820 420 55 0 182687 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 735180 [startup+1787.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=798768/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=735444 CPUtime=1786.54 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185325 0 3 0 178396 258 0 0 25 0 1 0 157464631 753094656 181891 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 183861 181891 420 55 0 182753 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 735444 [startup+1788.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=798576/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=735576 CPUtime=1787.55 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185367 0 3 0 178497 258 0 0 25 0 1 0 157464631 753229824 181933 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 183894 181933 420 55 0 182786 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 735576 [startup+1789.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=798448/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=735708 CPUtime=1788.55 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185404 0 3 0 178597 258 0 0 25 0 1 0 157464631 753364992 181970 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 183927 181970 420 55 0 182819 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 735708 [startup+1790.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=798256/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=735840 CPUtime=1789.56 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185446 0 3 0 178698 258 0 0 25 0 1 0 157464631 753500160 182012 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 183960 182012 420 55 0 182852 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 735840 [startup+1791.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=798064/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=736104 CPUtime=1790.56 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185502 0 3 0 178798 258 0 0 25 0 1 0 157464631 753770496 182068 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 184026 182068 420 55 0 182918 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 736104 [startup+1792.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=797936/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=736236 CPUtime=1791.56 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185525 0 3 0 178898 258 0 0 25 0 1 0 157464631 753905664 182091 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 184059 182091 420 55 0 182951 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 736236 [startup+1793.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=797872/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=736368 CPUtime=1792.57 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185554 0 3 0 178999 258 0 0 25 0 1 0 157464631 754040832 182120 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 184092 182120 420 55 0 182984 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 736368 [startup+1794.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=797744/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=736500 CPUtime=1793.57 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185586 0 3 0 179099 258 0 0 25 0 1 0 157464631 754176000 182152 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 184125 182152 420 55 0 183017 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 736500 [startup+1795.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=797488/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=736632 CPUtime=1794.58 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185636 0 3 0 179200 258 0 0 25 0 1 0 157464631 754311168 182202 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 184158 182202 420 55 0 183050 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 736632 [startup+1796.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=797232/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=736896 CPUtime=1795.58 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185706 0 3 0 179300 258 0 0 25 0 1 0 157464631 754581504 182272 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 184224 182272 420 55 0 183116 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 736896 [startup+1797.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=796848/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=737292 CPUtime=1796.59 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185796 0 3 0 179401 258 0 0 25 0 1 0 157464631 754987008 182362 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 184323 182362 420 55 0 183215 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 737292 [startup+1798.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=796656/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=737556 CPUtime=1797.59 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185855 0 3 0 179501 258 0 0 25 0 1 0 157464631 755257344 182421 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 184389 182421 420 55 0 183281 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 737556 [startup+1799.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=796528/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=737688 CPUtime=1798.59 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185882 0 3 0 179601 258 0 0 25 0 1 0 157464631 755392512 182448 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 184422 182448 420 55 0 183314 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 737688 [startup+1800.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27291 /proc/meminfo: memFree=796400/2055920 swapFree=4183448/4192956 [pid=27093] ppid=27091 vsize=737820 CPUtime=1799.61 /proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185913 0 3 0 179702 259 0 0 25 0 1 0 157464631 755527680 182479 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27093/statm: 184455 182479 420 55 0 183347 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 737820 Child status: 10 Real time (s): 1800.73 CPU time (s): 1800.13 CPU user time (s): 1797.41 CPU system time (s): 2.71159 CPU usage (%): 99.9663 Max. virtual memory (cumulated for all children) (Kb): 737820 The end
Begin job on node20 on Fri Jul 28 17:00:41 UTC 2006 FILE ID= 50326-1154106041 PBS_JOBID= 886293 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node20/50326-1154106041/instance-50326-1154106041.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-50326-1154106041 -o ROOT/results/node20/solver-50326-1154106041 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node20/50326-1154106041/instance-50326-1154106041.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED= 116689532 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.239 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.239 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: 1526832 kB Buffers: 28996 kB Cached: 435500 kB SwapCached: 3412 kB Active: 48464 kB Inactive: 424704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1526832 kB SwapTotal: 4192956 kB SwapFree: 4183448 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14740 kB Slab: 41996 kB Committed_AS: 632632 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node20 on Fri Jul 28 17:30:42 UTC 2006