Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -21 | 180.863 | 180.906 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb |
MD5SUM | f7a936a02ddf18c17dc27b7b53733ab1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -48 |
Best CPU time to get the best result obtained on this benchmark | 1800.18 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -57 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 126163 |
Number of constraints which are clauses | 126163 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1534 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1534 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1534 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656031-1276511489.opb. 0.00/0.00 c Instance file HOME/instance-2656031-1276511489.opb 0.00/0.00 c File size is 3113083 bytes. 0.39/0.40 c Highest Coefficient sum: 3 0.39/0.41 c ============================[ Problem Statistics ]============================= 0.39/0.41 c | | 0.39/0.41 c | Parsing time: 0.40 s | 0.39/0.41 c | Number Variables: 1534 | 0.39/0.41 c | Number Clauses: 126163 | 0.39/0.41 c | Number Cardinality: 0 | 0.39/0.41 c | Number PB Constraints: 0 | 0.68/0.75 c ============================[ Search Statistics ]============================== 0.68/0.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.68/0.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.68/0.75 c =============================================================================== 0.68/0.75 c | 0 | 1534 126163 252326 | 42054 0 nan | 0.000 % | 0.68/0.76 c =============================================================================== 0.68/0.76 c New solution: 1534 0.68/0.76 o 1534 0.68/0.76 c Elapsed CPU time: 0.743886 s Remaining CPU time: 179.256 s 0.68/0.76 c =============================================================================== 0.68/0.76 c | 0 | 1534 126164 253860 | 42054 0 nan | 0.000 % | 0.68/0.77 c =============================================================================== 0.68/0.77 c New solution: 1533 0.68/0.77 o 1533 0.68/0.77 c Elapsed CPU time: 0.750885 s Remaining CPU time: 179.249 s 0.68/0.77 c =============================================================================== 0.68/0.77 c | 0 | 1534 126165 255394 | 42055 0 nan | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c New solution: 1532 0.79/0.80 o 1532 0.79/0.80 c Elapsed CPU time: 0.776881 s Remaining CPU time: 179.223 s 0.79/0.80 c =============================================================================== 0.79/0.80 c | 17 | 1534 126166 256928 | 42055 17 1524 | 0.000 % | 0.79/0.88 c | 122 | 1534 126166 256928 | 46260 122 1524 | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c New solution: 1531 0.89/0.92 o 1531 0.89/0.92 c Elapsed CPU time: 0.894863 s Remaining CPU time: 179.105 s 0.89/0.92 c =============================================================================== 0.89/0.92 c | 172 | 1534 126167 258462 | 42055 172 1524 | 0.000 % | 0.89/0.98 c | 273 | 1534 126167 258462 | 46261 273 1524 | 0.000 % | 1.00/1.08 c | 434 | 1534 126167 258462 | 50887 434 1525 | 0.000 % | 1.10/1.13 c =============================================================================== 1.10/1.13 c New solution: 1530 1.10/1.13 o 1530 1.10/1.13 c Elapsed CPU time: 1.10483 s Remaining CPU time: 178.895 s 1.10/1.13 c =============================================================================== 1.10/1.13 c | 477 | 1534 126168 259996 | 42056 477 1525 | 0.000 % | 1.10/1.18 c | 580 | 1534 126168 259996 | 46261 580 1524 | 0.000 % | 1.19/1.25 c | 731 | 1534 126168 259996 | 50887 731 1524 | 0.000 % | 1.19/1.27 c =============================================================================== 1.19/1.27 c New solution: 1529 1.19/1.27 o 1529 1.19/1.27 c Elapsed CPU time: 1.24381 s Remaining CPU time: 178.756 s 1.19/1.27 c =============================================================================== 1.19/1.27 c | 744 | 1534 126169 261530 | 42056 744 1524 | 0.000 % | 1.29/1.33 c | 848 | 1534 126169 261530 | 46261 848 1524 | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.40 c New solution: 1528 1.39/1.40 o 1528 1.39/1.40 c Elapsed CPU time: 1.37079 s Remaining CPU time: 178.629 s 1.39/1.40 c =============================================================================== 1.39/1.40 c | 965 | 1534 126170 263064 | 42056 965 1524 | 0.000 % | 1.39/1.45 c | 1066 | 1534 126170 263064 | 46262 1066 1524 | 0.000 % | 1.49/1.52 c | 1216 | 1534 126170 263064 | 50888 1216 1524 | 0.000 % | 1.59/1.62 c | 1441 | 1534 126170 263064 | 55977 1441 1524 | 0.000 % | 1.69/1.79 c | 1779 | 1534 126170 263064 | 61575 1779 1523 | 0.000 % | 1.78/1.82 c =============================================================================== 1.78/1.82 c New solution: 1527 1.78/1.82 o 1527 1.78/1.82 c Elapsed CPU time: 1.78273 s Remaining CPU time: 178.217 s 1.78/1.82 c =============================================================================== 1.78/1.82 c | 1803 | 1534 126171 264598 | 42057 1803 1523 | 0.000 % | 1.78/1.88 c | 1910 | 1534 126171 264598 | 46262 1910 1523 | 0.000 % | 1.89/1.96 c | 2062 | 1534 126171 264598 | 50888 2062 1523 | 0.000 % | 1.99/2.09 c | 2287 | 1534 126171 264598 | 55977 2287 1523 | 0.000 % | 2.09/2.15 c =============================================================================== 2.09/2.15 c New solution: 1526 2.09/2.15 o 1526 2.09/2.15 c Elapsed CPU time: 2.10268 s Remaining CPU time: 177.897 s 2.09/2.15 c =============================================================================== 2.09/2.15 c | 2370 | 1534 126172 266132 | 42057 2370 1523 | 0.000 % | 2.19/2.21 c | 2471 | 1534 126172 266132 | 46263 2471 1523 | 0.000 % | 2.29/2.30 c | 2622 | 1534 126172 266132 | 50889 2622 1523 | 0.000 % | 2.39/2.47 c | 2857 | 1534 126172 266132 | 55978 2857 1523 | 0.000 % | 2.58/2.67 c | 3194 | 1534 126172 266132 | 61576 3194 1522 | 0.000 % | 2.79/2.81 c =============================================================================== 2.79/2.81 c New solution: 1525 2.79/2.81 o 1525 2.79/2.81 c Elapsed CPU time: 2.74458 s Remaining CPU time: 177.255 s 2.79/2.81 c =============================================================================== 2.79/2.81 c | 3400 | 1534 126173 267666 | 42057 3400 1522 | 0.000 % | 2.79/2.86 c | 3500 | 1534 126173 267666 | 46263 3500 1522 | 0.000 % | 2.89/2.96 c | 3654 | 1534 126173 267666 | 50889 3654 1522 | 0.000 % | 2.99/3.03 c =============================================================================== 2.99/3.03 c New solution: 1524 2.99/3.03 o 1524 2.99/3.03 c Elapsed CPU time: 2.96055 s Remaining CPU time: 177.039 s 2.99/3.03 c =============================================================================== 2.99/3.03 c | 3715 | 1534 126174 269200 | 42058 3715 1522 | 0.000 % | 3.09/3.10 c | 3815 | 1534 126174 269200 | 46263 3815 1522 | 0.000 % | 3.19/3.20 c | 3971 | 1534 126174 269200 | 50890 3971 1522 | 0.000 % | 3.30/3.38 c | 4198 | 1534 126174 269200 | 55979 4198 1522 | 0.000 % | 3.59/3.66 c | 4536 | 1534 126174 269200 | 61577 4536 1522 | 0.000 % | 3.99/4.04 c | 5051 | 1534 126174 269200 | 67734 5051 1521 | 0.000 % | 4.49/4.55 c | 5819 | 1534 126174 269200 | 74508 5819 1521 | 0.000 % | 5.09/5.15 c =============================================================================== 5.09/5.15 c New solution: 1523 5.09/5.15 o 1523 5.09/5.15 c Elapsed CPU time: 5.03423 s Remaining CPU time: 174.966 s 5.09/5.15 c =============================================================================== 5.09/5.15 c | 6364 | 1534 126175 270734 | 42058 6364 1521 | 0.000 % | 5.19/5.24 c | 6465 | 1534 126175 270734 | 46264 6465 1521 | 0.000 % | 5.29/5.37 c | 6615 | 1534 126175 270734 | 50890 6615 1521 | 0.000 % | 5.49/5.51 c =============================================================================== 5.49/5.51 c New solution: 1522 5.49/5.51 o 1522 5.49/5.51 c Elapsed CPU time: 5.39418 s Remaining CPU time: 174.606 s 5.49/5.51 c =============================================================================== 5.49/5.51 c | 6711 | 1534 126176 272268 | 42058 6711 1521 | 0.000 % | 5.59/5.61 c | 6812 | 1534 126176 272268 | 46264 6812 1521 | 0.000 % | 5.69/5.76 c | 6963 | 1534 126176 272268 | 50890 6963 1521 | 0.000 % | 5.89/5.99 c | 7191 | 1534 126176 272268 | 55980 7191 1521 | 0.000 % | 6.19/6.28 c =============================================================================== 6.19/6.28 c New solution: 1521 6.19/6.28 o 1521 6.19/6.28 c Elapsed CPU time: 6.14607 s Remaining CPU time: 173.854 s 6.19/6.28 c =============================================================================== 6.19/6.28 c | 7391 | 1534 126177 273802 | 42059 7391 1521 | 0.000 % | 6.39/6.40 c | 7491 | 1534 126177 273802 | 46264 7491 1521 | 0.000 % | 6.49/6.56 c | 7641 | 1534 126177 273802 | 50891 7641 1521 | 0.000 % | 6.79/6.82 c | 7867 | 1534 126177 273802 | 55980 7867 1520 | 0.000 % | 7.19/7.20 c | 8204 | 1534 126177 273802 | 61578 8204 1520 | 0.000 % | 7.79/7.84 c =============================================================================== 7.79/7.84 c New solution: 1520 7.79/7.84 o 1520 7.79/7.84 c Elapsed CPU time: 7.68683 s Remaining CPU time: 172.313 s 7.79/7.84 c =============================================================================== 7.79/7.84 c | 8640 | 1534 126178 275336 | 42059 8640 1520 | 0.000 % | 7.99/8.03 c | 8740 | 1534 126178 275336 | 46265 8740 1520 | 0.000 % | 8.18/8.27 c | 8891 | 1534 126178 275336 | 50891 8891 1520 | 0.000 % | 8.49/8.57 c | 9118 | 1534 126178 275336 | 55980 9118 1520 | 0.000 % | 8.98/9.07 c | 9455 | 1534 126178 275336 | 61579 9455 1520 | 0.000 % | 9.69/9.79 c | 9962 | 1534 126178 275336 | 67736 9962 1520 | 0.000 % | 10.78/10.80 c | 10722 | 1534 126178 275336 | 74510 10722 1520 | 0.000 % | 12.19/12.29 c =============================================================================== 12.19/12.29 c New solution: 1519 12.19/12.29 o 1519 12.19/12.29 c Elapsed CPU time: 12.0972 s Remaining CPU time: 167.903 s 12.19/12.29 c =============================================================================== 12.19/12.29 c | 11458 | 1534 126179 276870 | 42059 11458 1519 | 0.000 % | 12.49/12.52 c | 11558 | 1534 126179 276870 | 46265 11558 1519 | 0.000 % | 12.78/12.87 c | 11709 | 1534 126179 276870 | 50892 11709 1519 | 0.000 % | 13.39/13.42 c | 11935 | 1534 126179 276870 | 55981 11935 1519 | 0.000 % | 14.08/14.12 c | 12274 | 1534 126179 276870 | 61579 12274 1519 | 0.000 % | 15.29/15.39 c | 12780 | 1534 126179 276870 | 67737 12780 1519 | 0.000 % | 16.68/16.79 c =============================================================================== 16.68/16.79 c New solution: 1518 16.68/16.79 o 1518 16.68/16.79 c Elapsed CPU time: 16.5595 s Remaining CPU time: 163.441 s 16.68/16.79 c =============================================================================== 16.68/16.79 c | 13497 | 1534 126180 278404 | 42060 13497 1519 | 0.000 % | 16.98/17.05 c | 13598 | 1534 126180 278404 | 46266 13598 1519 | 0.000 % | 17.29/17.38 c | 13752 | 1534 126180 278404 | 50892 13752 1519 | 0.000 % | 17.89/17.92 c | 13978 | 1534 126180 278404 | 55981 13978 1519 | 0.000 % | 18.88/18.99 c | 14316 | 1534 126180 278404 | 61580 14316 1519 | 0.000 % | 20.89/20.94 c | 14824 | 1534 126180 278404 | 67738 14824 1518 | 0.000 % | 23.09/23.12 c | 15585 | 1534 126180 278404 | 74511 15585 1518 | 0.000 % | 24.98/25.03 c | 16725 | 1534 126180 278404 | 81963 16725 1518 | 0.000 % | 31.19/31.24 c | 18434 | 1534 126180 278404 | 90159 18434 1518 | 0.000 % | 42.68/42.74 c | 20996 | 1534 126180 278404 | 99175 20996 1517 | 0.000 % | 47.68/47.73 c =============================================================================== 47.68/47.73 c New solution: 1517 47.68/47.73 o 1517 47.68/47.73 c Elapsed CPU time: 47.3428 s Remaining CPU time: 132.657 s 47.68/47.73 c =============================================================================== 47.68/47.73 c | 23049 | 1534 126181 279938 | 42060 23049 1517 | 0.000 % | 47.98/48.05 c | 23152 | 1534 126181 279938 | 46266 23152 1517 | 0.000 % | 48.28/48.39 c | 23303 | 1534 126181 279938 | 50893 23303 1517 | 0.000 % | 49.07/49.14 c | 23528 | 1534 126181 279938 | 55982 23528 1517 | 0.000 % | 49.88/49.94 c =============================================================================== 49.88/49.94 c New solution: 1516 49.88/49.94 o 1516 49.88/49.94 c Elapsed CPU time: 49.5355 s Remaining CPU time: 130.465 s 49.88/49.94 c =============================================================================== 49.88/49.94 c | 23754 | 1534 126182 281472 | 42060 23754 1517 | 0.000 % | 50.28/50.36 c | 23856 | 1534 126182 281472 | 46266 23856 1517 | 0.000 % | 50.78/50.87 c =============================================================================== 50.78/50.87 c New solution: 1515 50.78/50.87 o 1515 50.78/50.87 c Elapsed CPU time: 50.4513 s Remaining CPU time: 129.549 s 50.78/50.87 c =============================================================================== 50.78/50.87 c | 24001 | 1534 126183 283006 | 42061 24001 1517 | 0.000 % | 51.18/51.20 c | 24101 | 1534 126183 283006 | 46267 24101 1517 | 0.000 % | 51.48/51.55 c | 24251 | 1534 126183 283006 | 50893 24251 1517 | 0.000 % | 51.68/51.75 c =============================================================================== 51.68/51.75 c New solution: 1514 51.68/51.75 o 1514 51.68/51.75 c Elapsed CPU time: 51.3302 s Remaining CPU time: 128.67 s 51.68/51.75 c =============================================================================== 51.68/51.75 c | 24350 | 1534 126184 284540 | 42061 24350 1517 | 0.000 % | 51.88/51.98 c | 24451 | 1534 126184 284540 | 46267 24451 1517 | 0.000 % | 52.28/52.36 c | 24601 | 1534 126184 284540 | 50894 24601 1517 | 0.000 % | 52.68/52.72 c | 24826 | 1534 126184 284540 | 55983 24826 1517 | 0.000 % | 53.28/53.35 c | 25165 | 1534 126184 284540 | 61581 25165 1517 | 0.000 % | 54.67/54.79 c | 25673 | 1534 126184 284540 | 67740 25673 1517 | 0.000 % | 56.67/56.74 c =============================================================================== 56.67/56.74 c New solution: 1513 56.67/56.74 o 1513 56.67/56.74 c Elapsed CPU time: 56.2854 s Remaining CPU time: 123.715 s 56.67/56.74 c =============================================================================== 56.67/56.74 c | 26411 | 1534 126185 286074 | 42061 26411 1517 | 0.000 % | 56.88/56.98 c | 26513 | 1534 126185 286074 | 46267 26513 1517 | 0.000 % | 57.38/57.47 c | 26664 | 1534 126185 286074 | 50894 26664 1516 | 0.000 % | 58.07/58.10 c | 26891 | 1534 126185 286074 | 55984 26891 1516 | 0.000 % | 58.88/58.90 c | 27229 | 1534 126185 286074 | 61582 27229 1516 | 0.000 % | 60.48/60.52 c | 27735 | 1534 126185 286074 | 67740 27735 1516 | 0.000 % | 61.97/62.06 c | 28495 | 1534 126185 286074 | 74514 28495 1516 | 0.000 % | 67.68/67.73 c | 29634 | 1534 126185 286074 | 81966 29634 1516 | 0.000 % | 73.87/73.94 c | 31342 | 1534 126185 286074 | 90162 31342 1516 | 0.000 % | 91.17/91.22 c | 33906 | 1534 126185 286074 | 99179 33906 1515 | 0.000 % | 127.86/127.90 c | 37750 | 1534 126185 286074 | 109097 37750 1515 | 0.000 % | 180.65/180.74 c There are 0 assigned variables. 0 in cost function. 180.75/180.87 c core #1 180.75/180.87 c #cores: 1 180.75/180.87 c Final Weight: 1513 180.75/180.87 o 1513 180.75/180.87 s OPTIMUM FOUND 180.75/180.87 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 180.75/180.87 c Total CPU time: 180.139 s
OK -21
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656031-1276511489/watcher-2656031-1276511489 -o /tmp/evaluation-result-2656031-1276511489/solver-2656031-1276511489 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656031-1276511489.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.99 0.99 2/106 28016 /proc/meminfo: memFree=1777824/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=5792 CPUtime=0 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 323 0 0 0 0 0 0 0 22 0 1 0 26752817 5931008 242 1992294400 134512640 135751879 4294241232 18446744073709551615 134564675 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 1448 242 141 303 0 382 0 [startup+0.0562109 s] /proc/loadavg: 0.92 0.99 0.99 2/106 28016 /proc/meminfo: memFree=1777824/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=6480 CPUtime=0.05 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 585 0 0 0 5 0 0 0 22 0 1 0 26752817 6635520 504 1992294400 134512640 135751879 4294241232 18446744073709551615 134574084 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 1620 505 228 303 0 554 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 6480 [startup+0.101215 s] /proc/loadavg: 0.92 0.99 0.99 2/106 28016 /proc/meminfo: memFree=1777824/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=7172 CPUtime=0.09 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 833 0 0 0 9 0 0 0 22 0 1 0 26752817 7344128 752 1992294400 134512640 135751879 4294241232 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 1793 752 311 303 0 727 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7172 [startup+0.301231 s] /proc/loadavg: 0.92 0.99 0.99 2/106 28016 /proc/meminfo: memFree=1777824/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=10192 CPUtime=0.29 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 1916 0 0 0 29 0 0 0 23 0 1 0 26752817 10436608 1835 1992294400 134512640 135751879 4294241232 18446744073709551615 134559693 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 2548 1836 683 303 0 1482 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10192 [startup+0.701264 s] /proc/loadavg: 0.92 0.99 0.99 2/106 28016 /proc/meminfo: memFree=1777824/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=17152 CPUtime=0.68 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 4760 0 0 0 67 1 0 0 25 0 1 0 26752817 17563648 3820 1992294400 134512640 135751879 4294241232 18446744073709551615 134527540 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 4288 3820 144 303 0 3983 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 17152 [startup+1.50133 s] /proc/loadavg: 0.92 0.99 0.99 2/107 28017 /proc/meminfo: memFree=1763060/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=17152 CPUtime=1.49 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 4764 0 0 0 146 3 0 0 25 0 1 0 26752817 17563648 3824 1992294400 134512640 135751879 4294241232 18446744073709551615 134607732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 4288 3824 147 303 0 3983 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17152 [startup+3.10146 s] /proc/loadavg: 0.92 0.99 0.99 2/107 28017 /proc/meminfo: memFree=1756612/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=32724 CPUtime=3.09 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 8664 0 0 0 302 7 0 0 25 0 1 0 26752817 33509376 7724 1992294400 134512640 135751879 4294241232 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 8181 7724 147 303 0 7876 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32724 [startup+6.30072 s] /proc/loadavg: 0.93 0.99 0.99 2/107 28017 /proc/meminfo: memFree=1729580/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=54720 CPUtime=6.29 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 14178 0 0 0 616 13 0 0 25 0 1 0 26752817 56033280 13238 1992294400 134512640 135751879 4294241232 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 13680 13238 147 303 0 13375 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54720 [startup+12.7012 s] /proc/loadavg: 0.93 0.99 0.99 2/107 28017 /proc/meminfo: memFree=1700688/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=80556 CPUtime=12.68 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 20628 0 0 0 1249 19 0 0 25 0 1 0 26752817 82489344 19688 1992294400 134512640 135751879 4294241232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 20139 19688 147 303 0 19834 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 80556 [startup+25.5013 s] /proc/loadavg: 0.95 0.99 0.99 2/107 28019 /proc/meminfo: memFree=1667580/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=112552 CPUtime=25.48 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 28609 0 0 0 2521 27 0 0 25 0 1 0 26752817 115253248 27669 1992294400 134512640 135751879 4294241232 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 28138 27669 147 303 0 27833 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 112552 [startup+51.1014 s] /proc/loadavg: 0.96 0.99 0.99 2/107 28019 /proc/meminfo: memFree=1624180/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=156456 CPUtime=51.07 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 39574 0 0 0 5067 40 0 0 25 0 1 0 26752817 160210944 38634 1992294400 134512640 135751879 4294241232 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 39114 38634 147 303 0 38809 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 156456 [startup+102.309 s] /proc/loadavg: 0.98 0.99 0.99 2/107 28021 /proc/meminfo: memFree=1556228/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=223416 CPUtime=102.28 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 56274 0 0 0 10170 58 0 0 25 0 1 0 26752817 228777984 55334 1992294400 134512640 135751879 4294241232 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 55854 55334 147 303 0 55549 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 223416 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 28021 /proc/meminfo: memFree=1521260/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=258272 CPUtime=162.25 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 64968 0 0 0 16159 66 0 0 25 0 1 0 26752817 264470528 64028 1992294400 134512640 135751879 4294241232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 64568 64028 147 303 0 64263 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 258272 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 0.99 0.99 0.99 2/107 28023 /proc/meminfo: memFree=1518656/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=260848 CPUtime=166.25 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 65631 0 0 0 16558 67 0 0 25 0 1 0 26752817 267108352 64691 1992294400 134512640 135751879 4294241232 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 65212 64691 147 303 0 64907 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 260848 [startup+172.708 s] /proc/loadavg: 0.99 0.99 0.99 2/107 28023 /proc/meminfo: memFree=1516176/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=263400 CPUtime=172.66 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 66227 0 0 0 17198 68 0 0 25 0 1 0 26752817 269721600 65287 1992294400 134512640 135751879 4294241232 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 65850 65287 147 303 0 65545 0 Current children cumulated CPU time (s) 172.66 Current children cumulated vsize (KiB) 263400 [startup+175.9 s] /proc/loadavg: 0.99 0.99 0.99 2/107 28023 /proc/meminfo: memFree=1514316/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=265004 CPUtime=175.86 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 66657 0 0 0 17518 68 0 0 25 0 1 0 26752817 271364096 65717 1992294400 134512640 135751879 4294241232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 66251 65717 147 303 0 65946 0 Current children cumulated CPU time (s) 175.86 Current children cumulated vsize (KiB) 265004 [startup+179.101 s] /proc/loadavg: 0.99 0.99 0.99 2/107 28023 /proc/meminfo: memFree=1513696/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=265944 CPUtime=179.04 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 66880 0 0 0 17836 68 0 0 25 0 1 0 26752817 272326656 65940 1992294400 134512640 135751879 4294241232 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 66486 65940 147 303 0 66181 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 265944 [startup+179.901 s] /proc/loadavg: 0.99 0.99 0.99 2/107 28023 /proc/meminfo: memFree=1513448/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=266212 CPUtime=179.84 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 66945 0 0 0 17916 68 0 0 25 0 1 0 26752817 272601088 66005 1992294400 134512640 135751879 4294241232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 66553 66005 147 303 0 66248 0 Current children cumulated CPU time (s) 179.84 Current children cumulated vsize (KiB) 266212 [startup+180.701 s] /proc/loadavg: 0.99 0.99 0.99 2/107 28023 /proc/meminfo: memFree=1513076/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=266344 CPUtime=180.65 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202496 66983 0 0 0 17996 69 0 0 25 0 1 0 26752817 272736256 66043 1992294400 134512640 135751879 4294241232 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28016/statm: 66586 66043 147 303 0 66281 0 Current children cumulated CPU time (s) 180.65 Current children cumulated vsize (KiB) 266344 [startup+180.901 s] /proc/loadavg: 0.99 0.99 0.99 2/107 28023 /proc/meminfo: memFree=1513076/2059040 swapFree=4140200/4192956 [pid=28016] ppid=28014 vsize=0 CPUtime=180.84 /proc/28016/stat : 28016 (wbo1.4b) R 28014 28016 27737 0 -1 4202500 68226 0 0 0 18013 71 0 0 25 0 1 0 26752817 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28016/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 180.84 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 180.906 CPU time (s): 180.863 CPU user time (s): 180.139 CPU system time (s): 0.723889 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 270416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.139 system time used= 0.723889 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68226 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 282 runsolver used 0.288956 second user time and 0.878866 second system time The end
Begin job on node003 at 2010-06-14 12:31:29 IDJOB=2656031 IDBENCH=2268 IDSOLVER=1161 FILE ID=node003/2656031-1276511489 PBS_JOBID= 11173423 Free space on /tmp= 62572 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656031-1276511489/watcher-2656031-1276511489 -o /tmp/evaluation-result-2656031-1276511489/solver-2656031-1276511489 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656031-1276511489.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f7a936a02ddf18c17dc27b7b53733ab1 RANDOM SEED=608389597 node003.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 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.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1778352 kB Buffers: 91736 kB Cached: 109440 kB SwapCached: 5688 kB Active: 100760 kB Inactive: 112824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1778352 kB SwapTotal: 4192956 kB SwapFree: 4140200 kB Dirty: 5764 kB Writeback: 12 kB AnonPages: 10892 kB Mapped: 12960 kB Slab: 45404 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183052 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62568 MiB End job on node003 at 2010-06-14 12:34:30