Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -20 | 180.821 | 180.881 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb |
MD5SUM | 36a19a7aeba117287b60c4673ad89664 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -47 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
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 | 126082 |
Number of constraints which are clauses | 126082 |
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-2656026-1276510662.opb. 0.00/0.00 c Instance file HOME/instance-2656026-1276510662.opb 0.00/0.00 c File size is 3104013 bytes. 0.39/0.40 c Highest Coefficient sum: 3 0.39/0.40 c ============================[ Problem Statistics ]============================= 0.39/0.40 c | | 0.39/0.40 c | Parsing time: 0.40 s | 0.39/0.40 c | Number Variables: 1534 | 0.39/0.40 c | Number Clauses: 126082 | 0.39/0.40 c | Number Cardinality: 0 | 0.39/0.40 c | Number PB Constraints: 0 | 0.69/0.75 c ============================[ Search Statistics ]============================== 0.69/0.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.75 c =============================================================================== 0.69/0.75 c | 0 | 1534 126082 252164 | 42027 0 nan | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c New solution: 1534 0.69/0.76 o 1534 0.69/0.76 c Elapsed CPU time: 0.740887 s Remaining CPU time: 179.259 s 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 1534 126083 253698 | 42027 0 nan | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c New solution: 1533 0.69/0.77 o 1533 0.69/0.77 c Elapsed CPU time: 0.746886 s Remaining CPU time: 179.253 s 0.69/0.77 c =============================================================================== 0.69/0.77 c | 0 | 1534 126084 255232 | 42028 0 nan | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c New solution: 1532 0.69/0.80 o 1532 0.69/0.80 c Elapsed CPU time: 0.772882 s Remaining CPU time: 179.227 s 0.69/0.80 c =============================================================================== 0.69/0.80 c | 17 | 1534 126085 256766 | 42028 17 1524 | 0.000 % | 0.79/0.86 c | 122 | 1534 126085 256766 | 46231 122 1525 | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: 1531 0.79/0.88 o 1531 0.79/0.88 c Elapsed CPU time: 0.85087 s Remaining CPU time: 179.149 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 124 | 1534 126086 258300 | 42028 124 1525 | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: 1530 0.89/0.91 o 1530 0.89/0.91 c Elapsed CPU time: 0.884865 s Remaining CPU time: 179.115 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 172 | 1534 126087 259834 | 42029 172 1525 | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c New solution: 1529 0.89/0.94 o 1529 0.89/0.94 c Elapsed CPU time: 0.91486 s Remaining CPU time: 179.085 s 0.89/0.94 c =============================================================================== 0.89/0.94 c | 208 | 1534 126088 261368 | 42029 208 1525 | 0.000 % | 0.89/0.99 c | 310 | 1534 126088 261368 | 46232 310 1525 | 0.000 % | 1.00/1.06 c =============================================================================== 1.00/1.06 c New solution: 1528 1.00/1.06 o 1528 1.00/1.06 c Elapsed CPU time: 1.03084 s Remaining CPU time: 178.969 s 1.00/1.06 c =============================================================================== 1.00/1.06 c | 449 | 1534 126089 262902 | 42029 449 1525 | 0.000 % | 1.10/1.10 c | 550 | 1534 126089 262902 | 46232 550 1525 | 0.000 % | 1.10/1.17 c =============================================================================== 1.10/1.17 c New solution: 1527 1.10/1.17 o 1527 1.10/1.17 c Elapsed CPU time: 1.13983 s Remaining CPU time: 178.86 s 1.10/1.17 c =============================================================================== 1.10/1.17 c | 666 | 1534 126090 264436 | 42030 666 1525 | 0.000 % | 1.19/1.22 c | 766 | 1534 126090 264436 | 46233 766 1525 | 0.000 % | 1.19/1.29 c | 918 | 1534 126090 264436 | 50856 918 1525 | 0.000 % | 1.29/1.36 c =============================================================================== 1.29/1.36 c New solution: 1526 1.29/1.36 o 1526 1.29/1.36 c Elapsed CPU time: 1.3328 s Remaining CPU time: 178.667 s 1.29/1.36 c =============================================================================== 1.29/1.36 c | 1048 | 1534 126091 265970 | 42030 1048 1524 | 0.000 % | 1.39/1.43 c | 1149 | 1534 126091 265970 | 46233 1149 1524 | 0.000 % | 1.49/1.51 c | 1299 | 1534 126091 265970 | 50856 1299 1524 | 0.000 % | 1.59/1.65 c | 1524 | 1534 126091 265970 | 55942 1524 1524 | 0.000 % | 1.79/1.85 c | 1861 | 1534 126091 265970 | 61536 1861 1524 | 0.000 % | 2.20/2.23 c | 2368 | 1534 126091 265970 | 67690 2368 1523 | 0.000 % | 2.20/2.28 c =============================================================================== 2.20/2.28 c New solution: 1525 2.20/2.28 o 1525 2.20/2.28 c Elapsed CPU time: 2.23966 s Remaining CPU time: 177.76 s 2.20/2.28 c =============================================================================== 2.20/2.28 c | 2402 | 1534 126092 267504 | 42030 2402 1523 | 0.000 % | 2.29/2.37 c | 2502 | 1534 126092 267504 | 46233 2502 1523 | 0.000 % | 2.39/2.47 c | 2654 | 1534 126092 267504 | 50857 2654 1523 | 0.000 % | 2.59/2.64 c | 2880 | 1534 126092 267504 | 55942 2880 1523 | 0.000 % | 2.89/2.92 c | 3217 | 1534 126092 267504 | 61537 3217 1523 | 0.000 % | 3.20/3.28 c =============================================================================== 3.20/3.28 c New solution: 1524 3.20/3.28 o 1524 3.20/3.28 c Elapsed CPU time: 3.22351 s Remaining CPU time: 176.776 s 3.20/3.28 c =============================================================================== 3.20/3.28 c | 3544 | 1534 126093 269038 | 42031 3544 1523 | 0.000 % | 3.30/3.38 c | 3644 | 1534 126093 269038 | 46234 3644 1523 | 0.000 % | 3.49/3.56 c | 3796 | 1534 126093 269038 | 50857 3796 1522 | 0.000 % | 3.69/3.78 c | 4024 | 1534 126093 269038 | 55943 4024 1522 | 0.000 % | 3.99/4.07 c | 4363 | 1534 126093 269038 | 61537 4363 1522 | 0.000 % | 4.30/4.30 c =============================================================================== 4.30/4.30 c New solution: 1523 4.30/4.30 o 1523 4.30/4.30 c Elapsed CPU time: 4.23436 s Remaining CPU time: 175.766 s 4.30/4.30 c =============================================================================== 4.30/4.30 c | 4637 | 1534 126094 270572 | 42031 4637 1522 | 0.000 % | 4.40/4.44 c | 4738 | 1534 126094 270572 | 46234 4738 1522 | 0.000 % | 4.59/4.62 c | 4889 | 1534 126094 270572 | 50857 4889 1522 | 0.000 % | 4.79/4.84 c | 5114 | 1534 126094 270572 | 55943 5114 1522 | 0.000 % | 5.19/5.23 c =============================================================================== 5.19/5.23 c New solution: 1522 5.19/5.23 o 1522 5.19/5.23 c Elapsed CPU time: 5.14522 s Remaining CPU time: 174.855 s 5.19/5.23 c =============================================================================== 5.19/5.23 c | 5450 | 1534 126095 272106 | 42031 5450 1522 | 0.000 % | 5.29/5.33 c | 5551 | 1534 126095 272106 | 46234 5551 1522 | 0.000 % | 5.40/5.48 c | 5702 | 1534 126095 272106 | 50858 5702 1522 | 0.000 % | 5.79/5.86 c | 5929 | 1534 126095 272106 | 55944 5929 1522 | 0.000 % | 6.19/6.27 c | 6267 | 1534 126095 272106 | 61538 6267 1521 | 0.000 % | 6.79/6.80 c =============================================================================== 6.79/6.80 c New solution: 1521 6.79/6.80 o 1521 6.79/6.80 c Elapsed CPU time: 6.70098 s Remaining CPU time: 173.299 s 6.79/6.80 c =============================================================================== 6.79/6.80 c | 6740 | 1534 126096 273640 | 42032 6740 1521 | 0.000 % | 6.89/6.92 c | 6841 | 1534 126096 273640 | 46235 6841 1521 | 0.000 % | 7.09/7.11 c | 6992 | 1534 126096 273640 | 50858 6992 1521 | 0.000 % | 7.49/7.52 c | 7218 | 1534 126096 273640 | 55944 7218 1521 | 0.000 % | 7.88/7.95 c | 7559 | 1534 126096 273640 | 61539 7559 1521 | 0.000 % | 8.49/8.55 c | 8065 | 1534 126096 273640 | 67692 8065 1521 | 0.000 % | 9.49/9.52 c | 8824 | 1534 126096 273640 | 74462 8824 1521 | 0.000 % | 10.29/10.37 c =============================================================================== 10.29/10.37 c New solution: 1520 10.29/10.37 o 1520 10.29/10.37 c Elapsed CPU time: 10.2344 s Remaining CPU time: 169.766 s 10.29/10.37 c =============================================================================== 10.29/10.37 c | 9422 | 1534 126097 275174 | 42032 9422 1520 | 0.000 % | 10.49/10.51 c | 9523 | 1534 126097 275174 | 46235 9523 1520 | 0.000 % | 10.69/10.74 c | 9673 | 1534 126097 275174 | 50859 9673 1520 | 0.000 % | 11.09/11.10 c | 9899 | 1534 126097 275174 | 55945 9899 1520 | 0.000 % | 11.59/11.63 c | 10237 | 1534 126097 275174 | 61539 10237 1520 | 0.000 % | 12.59/12.62 c | 10745 | 1534 126097 275174 | 67693 10745 1520 | 0.000 % | 12.89/12.96 c =============================================================================== 12.89/12.96 c New solution: 1519 12.89/12.96 o 1519 12.89/12.96 c Elapsed CPU time: 12.7951 s Remaining CPU time: 167.205 s 12.89/12.96 c =============================================================================== 12.89/12.96 c | 10931 | 1534 126098 276708 | 42032 10931 1520 | 0.000 % | 13.09/13.17 c | 11031 | 1534 126098 276708 | 46235 11031 1520 | 0.000 % | 13.39/13.45 c | 11183 | 1534 126098 276708 | 50859 11183 1520 | 0.000 % | 13.89/13.93 c | 11409 | 1534 126098 276708 | 55945 11409 1520 | 0.000 % | 14.49/14.58 c | 11746 | 1534 126098 276708 | 61540 11746 1520 | 0.000 % | 15.49/15.51 c | 12252 | 1534 126098 276708 | 67694 12252 1519 | 0.000 % | 17.28/17.34 c | 13012 | 1534 126098 276708 | 74463 13012 1519 | 0.000 % | 19.98/20.08 c | 14151 | 1534 126098 276708 | 81909 14151 1519 | 0.000 % | 21.78/21.88 c =============================================================================== 21.78/21.88 c New solution: 1518 21.78/21.88 o 1518 21.78/21.88 c Elapsed CPU time: 21.6497 s Remaining CPU time: 158.35 s 21.78/21.88 c =============================================================================== 21.78/21.88 c | 14780 | 1534 126099 278242 | 42033 14780 1519 | 0.000 % | 22.19/22.21 c | 14880 | 1534 126099 278242 | 46236 14880 1519 | 0.000 % | 22.69/22.70 c | 15030 | 1534 126099 278242 | 50859 15030 1519 | 0.000 % | 23.18/23.29 c | 15255 | 1534 126099 278242 | 55945 15255 1519 | 0.000 % | 23.58/23.65 c =============================================================================== 23.58/23.65 c New solution: 1517 23.58/23.65 o 1517 23.58/23.65 c Elapsed CPU time: 23.4114 s Remaining CPU time: 156.589 s 23.58/23.65 c =============================================================================== 23.58/23.65 c | 15398 | 1534 126100 279776 | 42033 15398 1519 | 0.000 % | 23.89/23.92 c | 15499 | 1534 126100 279776 | 46236 15499 1519 | 0.000 % | 24.19/24.25 c | 15650 | 1534 126100 279776 | 50860 15650 1519 | 0.000 % | 24.79/24.89 c =============================================================================== 24.79/24.89 c New solution: 1516 24.79/24.89 o 1516 24.79/24.89 c Elapsed CPU time: 24.6343 s Remaining CPU time: 155.366 s 24.79/24.89 c =============================================================================== 24.79/24.89 c | 15855 | 1534 126101 281310 | 42033 15855 1519 | 0.000 % | 25.19/25.28 c | 15955 | 1534 126101 281310 | 46237 15955 1519 | 0.000 % | 25.78/25.85 c | 16106 | 1534 126101 281310 | 50860 16106 1519 | 0.000 % | 26.48/26.56 c | 16332 | 1534 126101 281310 | 55946 16332 1519 | 0.000 % | 27.49/27.51 c | 16669 | 1534 126101 281310 | 61541 16669 1518 | 0.000 % | 29.19/29.24 c | 17175 | 1534 126101 281310 | 67695 17175 1518 | 0.000 % | 32.18/32.24 c | 17935 | 1534 126101 281310 | 74465 17935 1518 | 0.000 % | 36.68/36.78 c | 19075 | 1534 126101 281310 | 81911 19075 1518 | 0.000 % | 40.87/40.93 c | 20785 | 1534 126101 281310 | 90102 20785 1517 | 0.000 % | 50.07/50.12 c | 23347 | 1534 126101 281310 | 99113 23347 1517 | 0.000 % | 57.97/58.02 c =============================================================================== 57.97/58.02 c New solution: 1515 57.97/58.02 o 1515 57.97/58.02 c Elapsed CPU time: 57.6172 s Remaining CPU time: 122.383 s 57.97/58.02 c =============================================================================== 57.97/58.02 c | 25382 | 1534 126102 282844 | 42034 25382 1517 | 0.000 % | 58.28/58.36 c | 25482 | 1534 126102 282844 | 46237 25482 1517 | 0.000 % | 58.47/58.55 c | 25632 | 1534 126102 282844 | 50861 25632 1517 | 0.000 % | 59.17/59.28 c | 25857 | 1534 126102 282844 | 55947 25857 1517 | 0.000 % | 61.07/61.10 c | 26194 | 1534 126102 282844 | 61541 26194 1517 | 0.000 % | 62.67/62.79 c | 26701 | 1534 126102 282844 | 67696 26701 1516 | 0.000 % | 66.26/66.38 c | 27461 | 1534 126102 282844 | 74465 27461 1516 | 0.000 % | 73.26/73.32 c | 28600 | 1534 126102 282844 | 81912 28600 1516 | 0.000 % | 83.57/83.69 c | 30309 | 1534 126102 282844 | 90103 30309 1516 | 0.000 % | 98.66/98.79 c | 32872 | 1534 126102 282844 | 99113 32872 1516 | 0.000 % | 108.76/108.86 c =============================================================================== 108.76/108.86 c New solution: 1514 108.76/108.86 o 1514 108.76/108.86 c Elapsed CPU time: 108.332 s Remaining CPU time: 71.6685 s 108.76/108.86 c =============================================================================== 108.76/108.86 c | 33785 | 1534 126103 284378 | 42034 33785 1516 | 0.000 % | 109.75/109.80 c | 33886 | 1534 126103 284378 | 46237 33886 1516 | 0.000 % | 111.55/111.60 c | 34037 | 1534 126103 284378 | 50861 34037 1516 | 0.000 % | 113.55/113.61 c | 34262 | 1534 126103 284378 | 55947 34262 1516 | 0.000 % | 116.46/116.50 c | 34599 | 1534 126103 284378 | 61542 34599 1515 | 0.000 % | 123.16/123.25 c | 35106 | 1534 126103 284378 | 67696 35106 1515 | 0.000 % | 128.05/128.11 c | 35866 | 1534 126103 284378 | 74466 35866 1515 | 0.000 % | 135.34/135.44 c | 37009 | 1534 126103 284378 | 81913 37009 1515 | 0.000 % | 156.05/156.17 c | 38718 | 1534 126103 284378 | 90104 38718 1515 | 0.000 % | 179.63/179.77 c | 41280 | 1534 126103 284378 | 99114 41280 1515 | 0.000 % | 180.63/180.72 c There are 0 assigned variables. 0 in cost function. 180.73/180.85 c core #1 180.73/180.85 c #cores: 1 180.73/180.85 c Final Weight: 1514 180.73/180.85 o 1514 180.73/180.85 s OPTIMUM FOUND 180.73/180.85 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.73/180.85 c Total CPU time: 180.153 s
OK -20
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656026-1276510662/watcher-2656026-1276510662 -o /tmp/evaluation-result-2656026-1276510662/solver-2656026-1276510662 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656026-1276510662.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.98 1.00 1.00 3/106 28803 /proc/meminfo: memFree=1794312/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=5780 CPUtime=0 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 339 0 0 0 0 0 0 0 18 0 1 0 26667642 5918720 257 1992294400 134512640 135751879 4289050288 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 1445 257 145 303 0 382 0 [startup+0.0472961 s] /proc/loadavg: 0.98 1.00 1.00 3/106 28803 /proc/meminfo: memFree=1794312/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=6340 CPUtime=0.04 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 547 0 0 0 4 0 0 0 18 0 1 0 26667642 6492160 465 1992294400 134512640 135751879 4289050288 18446744073709551615 135397026 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 1585 465 214 303 0 522 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 6340 [startup+0.100303 s] /proc/loadavg: 0.98 1.00 1.00 3/106 28803 /proc/meminfo: memFree=1794312/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=7168 CPUtime=0.09 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 841 0 0 0 9 0 0 0 18 0 1 0 26667642 7340032 759 1992294400 134512640 135751879 4289050288 18446744073709551615 135008030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 1792 759 313 303 0 729 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7168 [startup+0.300337 s] /proc/loadavg: 0.98 1.00 1.00 3/106 28803 /proc/meminfo: memFree=1794312/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=10188 CPUtime=0.29 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 1924 0 0 0 29 0 0 0 18 0 1 0 26667642 10432512 1842 1992294400 134512640 135751879 4289050288 18446744073709551615 135118951 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 2547 1843 685 303 0 1484 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10188 [startup+0.700406 s] /proc/loadavg: 0.98 1.00 1.00 3/106 28803 /proc/meminfo: memFree=1794312/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=17012 CPUtime=0.69 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 4751 0 0 0 67 2 0 0 18 0 1 0 26667642 17420288 3813 1992294400 134512640 135751879 4289050288 18446744073709551615 134527540 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 4253 3813 144 303 0 3948 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17012 [startup+1.50054 s] /proc/loadavg: 0.98 1.00 1.00 2/107 28804 /proc/meminfo: memFree=1779672/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=17280 CPUtime=1.49 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 4799 0 0 0 146 3 0 0 19 0 1 0 26667642 17694720 3861 1992294400 134512640 135751879 4289050288 18446744073709551615 134611220 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 4320 3861 147 303 0 4015 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17280 [startup+3.10082 s] /proc/loadavg: 0.98 1.00 1.00 2/107 28804 /proc/meminfo: memFree=1773720/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=30080 CPUtime=3.09 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 8001 0 0 0 304 5 0 0 24 0 1 0 26667642 30801920 7063 1992294400 134512640 135751879 4289050288 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 7520 7063 147 303 0 7215 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30080 [startup+6.30137 s] /proc/loadavg: 0.98 1.00 1.00 2/107 28804 /proc/meminfo: memFree=1752392/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=47896 CPUtime=6.29 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 12469 0 0 0 620 9 0 0 25 0 1 0 26667642 49045504 11531 1992294400 134512640 135751879 4289050288 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 11974 11531 147 303 0 11669 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47896 [startup+12.7015 s] /proc/loadavg: 0.98 1.00 1.00 2/107 28804 /proc/meminfo: memFree=1722880/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=75312 CPUtime=12.69 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 19316 0 0 0 1253 16 0 0 25 0 1 0 26667642 77119488 18378 1992294400 134512640 135751879 4289050288 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 18828 18378 147 303 0 18523 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 75312 [startup+25.5007 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28804 /proc/meminfo: memFree=1689276/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=107348 CPUtime=25.48 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 27315 0 0 0 2523 25 0 0 25 0 1 0 26667642 109924352 26377 1992294400 134512640 135751879 4289050288 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 26837 26377 147 303 0 26532 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 107348 [startup+51.1011 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28806 /proc/meminfo: memFree=1643644/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=153632 CPUtime=51.07 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 38857 0 0 0 5071 36 0 0 25 0 1 0 26667642 157319168 37919 1992294400 134512640 135751879 4289050288 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 38408 37919 147 303 0 38103 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 153632 [startup+102.308 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28806 /proc/meminfo: memFree=1583504/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=212612 CPUtime=102.27 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 53576 0 0 0 10178 49 0 0 25 0 1 0 26667642 217714688 52638 1992294400 134512640 135751879 4289050288 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 53153 52638 147 303 0 52848 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 212612 [startup+162.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28808 /proc/meminfo: memFree=1546180/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=249960 CPUtime=162.24 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 62881 0 0 0 16165 59 0 0 25 0 1 0 26667642 255959040 61943 1992294400 134512640 135751879 4289050288 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 62490 61943 147 303 0 62185 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 249960 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28808 /proc/meminfo: memFree=1543204/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=252944 CPUtime=166.24 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 63615 0 0 0 16564 60 0 0 25 0 1 0 26667642 259014656 62677 1992294400 134512640 135751879 4289050288 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 63236 62677 147 303 0 62931 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 252944 [startup+172.708 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28808 /proc/meminfo: memFree=1538864/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=257236 CPUtime=172.64 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 64675 0 0 0 17203 61 0 0 25 0 1 0 26667642 263409664 63737 1992294400 134512640 135751879 4289050288 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 64309 63737 147 303 0 64004 0 Current children cumulated CPU time (s) 172.64 Current children cumulated vsize (KiB) 257236 [startup+175.901 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28808 /proc/meminfo: memFree=1536384/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=259604 CPUtime=175.83 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 65271 0 0 0 17522 61 0 0 25 0 1 0 26667642 265834496 64333 1992294400 134512640 135751879 4289050288 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 64901 64333 147 303 0 64596 0 Current children cumulated CPU time (s) 175.83 Current children cumulated vsize (KiB) 259604 [startup+179.101 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28808 /proc/meminfo: memFree=1534772/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=262068 CPUtime=179.03 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 65890 0 0 0 17841 62 0 0 25 0 1 0 26667642 268357632 64952 1992294400 134512640 135751879 4289050288 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 65517 64952 147 303 0 65212 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 262068 [startup+179.901 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28808 /proc/meminfo: memFree=1533780/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=262600 CPUtime=179.83 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 66003 0 0 0 17920 63 0 0 25 0 1 0 26667642 268902400 65065 1992294400 134512640 135751879 4289050288 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 65650 65065 147 303 0 65345 0 Current children cumulated CPU time (s) 179.83 Current children cumulated vsize (KiB) 262600 [startup+180.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28808 /proc/meminfo: memFree=1533160/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=262868 CPUtime=180.24 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 66067 0 0 0 17961 63 0 0 25 0 1 0 26667642 269176832 65129 1992294400 134512640 135751879 4289050288 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 65717 65129 147 303 0 65412 0 Current children cumulated CPU time (s) 180.24 Current children cumulated vsize (KiB) 262868 [startup+180.701 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28808 /proc/meminfo: memFree=1533160/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=263136 CPUtime=180.63 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 66126 0 0 0 18000 63 0 0 25 0 1 0 26667642 269451264 65188 1992294400 134512640 135751879 4289050288 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 65784 65188 147 303 0 65479 0 Current children cumulated CPU time (s) 180.63 Current children cumulated vsize (KiB) 263136 [startup+180.801 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28808 /proc/meminfo: memFree=1533160/2059040 swapFree=4140084/4192956 [pid=28803] ppid=28801 vsize=268056 CPUtime=180.73 /proc/28803/stat : 28803 (wbo1.4b) R 28801 28803 28600 0 -1 4202496 67359 0 0 0 18010 63 0 0 25 0 1 0 26667642 274489344 66421 1992294400 134512640 135751879 4289050288 18446744073709551615 135201930 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28803/statm: 67014 66421 148 303 0 66709 0 Current children cumulated CPU time (s) 180.73 Current children cumulated vsize (KiB) 268056 Child status: 0 Real time (s): 180.881 CPU time (s): 180.821 CPU user time (s): 180.153 CPU system time (s): 0.667898 CPU usage (%): 99.9668 Max. virtual memory (cumulated for all children) (KiB): 268056 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.153 system time used= 0.667898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67360 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= 9 involuntary context switches= 2326 runsolver used 0.292955 second user time and 0.872867 second system time The end
Begin job on node014 at 2010-06-14 12:17:43 IDJOB=2656026 IDBENCH=2267 IDSOLVER=1161 FILE ID=node014/2656026-1276510662 PBS_JOBID= 11173425 Free space on /tmp= 62504 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-3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656026-1276510662/watcher-2656026-1276510662 -o /tmp/evaluation-result-2656026-1276510662/solver-2656026-1276510662 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656026-1276510662.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 36a19a7aeba117287b60c4673ad89664 RANDOM SEED=949794011 node014.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.258 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.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1794964 kB Buffers: 68992 kB Cached: 103720 kB SwapCached: 6980 kB Active: 100488 kB Inactive: 86268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1794964 kB SwapTotal: 4192956 kB SwapFree: 4140084 kB Dirty: 5732 kB Writeback: 32 kB AnonPages: 11956 kB Mapped: 12932 kB Slab: 55540 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181996 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= 62500 MiB End job on node014 at 2010-06-14 12:20:44