Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -18 | 180.812 | 180.866 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb |
MD5SUM | a2418d45f4247bab260506429e96e746 |
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.1 |
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 | 126555 |
Number of constraints which are clauses | 126555 |
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-2655912-1276509172.opb. 0.00/0.00 c Instance file HOME/instance-2655912-1276509172.opb 0.00/0.00 c File size is 3122761 bytes. 0.39/0.41 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: 126555 | 0.39/0.41 c | Number Cardinality: 0 | 0.39/0.41 c | Number PB Constraints: 0 | 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 1534 126555 253110 | 42185 0 nan | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c New solution: 1534 0.69/0.77 o 1534 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 126556 254644 | 42185 0 nan | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: 1533 0.69/0.78 o 1533 0.69/0.78 c Elapsed CPU time: 0.754885 s Remaining CPU time: 179.245 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 1534 126557 256178 | 42185 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.780881 s Remaining CPU time: 179.219 s 0.79/0.80 c =============================================================================== 0.79/0.80 c | 17 | 1534 126558 257712 | 42186 17 1524 | 0.000 % | 0.79/0.89 c | 122 | 1534 126558 257712 | 46404 122 1524 | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.93 c New solution: 1531 0.89/0.93 o 1531 0.89/0.93 c Elapsed CPU time: 0.900863 s Remaining CPU time: 179.099 s 0.89/0.93 c =============================================================================== 0.89/0.93 c | 171 | 1534 126559 259246 | 42186 171 1524 | 0.000 % | 0.89/0.98 c | 276 | 1534 126559 259246 | 46404 276 1525 | 0.000 % | 1.00/1.03 c =============================================================================== 1.00/1.03 c New solution: 1530 1.00/1.03 o 1530 1.00/1.03 c Elapsed CPU time: 0.999848 s Remaining CPU time: 179 s 1.00/1.03 c =============================================================================== 1.00/1.03 c | 307 | 1534 126560 260780 | 42186 307 1524 | 0.000 % | 1.10/1.11 c | 413 | 1534 126560 260780 | 46405 413 1524 | 0.000 % | 1.19/1.21 c =============================================================================== 1.19/1.21 c New solution: 1529 1.19/1.21 o 1529 1.19/1.21 c Elapsed CPU time: 1.17582 s Remaining CPU time: 178.824 s 1.19/1.21 c =============================================================================== 1.19/1.21 c | 550 | 1534 126561 262314 | 42187 550 1524 | 0.000 % | 1.19/1.27 c | 651 | 1534 126561 262314 | 46405 651 1524 | 0.000 % | 1.29/1.38 c | 804 | 1534 126561 262314 | 51046 804 1524 | 0.000 % | 1.39/1.46 c =============================================================================== 1.39/1.46 c New solution: 1528 1.39/1.46 o 1528 1.39/1.46 c Elapsed CPU time: 1.42378 s Remaining CPU time: 178.576 s 1.39/1.46 c =============================================================================== 1.39/1.46 c | 926 | 1534 126562 263848 | 42187 926 1524 | 0.000 % | 1.49/1.52 c | 1032 | 1534 126562 263848 | 46406 1032 1524 | 0.000 % | 1.59/1.60 c | 1184 | 1534 126562 263848 | 51046 1184 1524 | 0.000 % | 1.69/1.74 c =============================================================================== 1.69/1.74 c New solution: 1527 1.69/1.74 o 1527 1.69/1.74 c Elapsed CPU time: 1.69674 s Remaining CPU time: 178.303 s 1.69/1.74 c =============================================================================== 1.69/1.74 c | 1406 | 1534 126563 265382 | 42187 1406 1524 | 0.000 % | 1.79/1.80 c | 1507 | 1534 126563 265382 | 46406 1507 1524 | 0.000 % | 1.79/1.88 c | 1660 | 1534 126563 265382 | 51047 1660 1523 | 0.000 % | 1.99/2.02 c | 1888 | 1534 126563 265382 | 56151 1888 1523 | 0.000 % | 2.20/2.23 c | 2225 | 1534 126563 265382 | 61766 2225 1523 | 0.000 % | 2.39/2.44 c =============================================================================== 2.39/2.44 c New solution: 1526 2.39/2.44 o 1526 2.39/2.44 c Elapsed CPU time: 2.38064 s Remaining CPU time: 177.619 s 2.39/2.44 c =============================================================================== 2.39/2.44 c | 2505 | 1534 126564 266916 | 42188 2505 1523 | 0.000 % | 2.49/2.52 c | 2606 | 1534 126564 266916 | 46406 2606 1523 | 0.000 % | 2.59/2.62 c | 2756 | 1534 126564 266916 | 51047 2756 1523 | 0.000 % | 2.69/2.77 c | 2982 | 1534 126564 266916 | 56152 2982 1523 | 0.000 % | 2.99/3.05 c | 3319 | 1534 126564 266916 | 61767 3319 1522 | 0.000 % | 3.09/3.12 c =============================================================================== 3.09/3.12 c New solution: 1525 3.09/3.12 o 1525 3.09/3.12 c Elapsed CPU time: 3.04754 s Remaining CPU time: 176.952 s 3.09/3.12 c =============================================================================== 3.09/3.12 c | 3400 | 1534 126565 268450 | 42188 3400 1522 | 0.000 % | 3.20/3.22 c | 3503 | 1534 126565 268450 | 46407 3503 1522 | 0.000 % | 3.30/3.34 c | 3653 | 1534 126565 268450 | 51047 3653 1522 | 0.000 % | 3.49/3.55 c | 3879 | 1534 126565 268450 | 56152 3879 1522 | 0.000 % | 3.59/3.66 c =============================================================================== 3.59/3.66 c New solution: 1524 3.59/3.66 o 1524 3.59/3.66 c Elapsed CPU time: 3.58446 s Remaining CPU time: 176.416 s 3.59/3.66 c =============================================================================== 3.59/3.66 c | 3926 | 1534 126566 269984 | 42188 3926 1522 | 0.000 % | 3.69/3.76 c | 4026 | 1534 126566 269984 | 46407 4026 1522 | 0.000 % | 3.79/3.88 c | 4177 | 1534 126566 269984 | 51048 4177 1522 | 0.000 % | 4.09/4.12 c | 4403 | 1534 126566 269984 | 56153 4403 1522 | 0.000 % | 4.40/4.44 c | 4744 | 1534 126566 269984 | 61768 4744 1522 | 0.000 % | 4.99/5.08 c | 5250 | 1534 126566 269984 | 67945 5250 1522 | 0.000 % | 5.69/5.78 c =============================================================================== 5.69/5.78 c New solution: 1523 5.69/5.78 o 1523 5.69/5.78 c Elapsed CPU time: 5.67614 s Remaining CPU time: 174.324 s 5.69/5.78 c =============================================================================== 5.69/5.78 c | 5840 | 1534 126567 271518 | 42189 5840 1521 | 0.000 % | 5.88/5.94 c | 5940 | 1534 126567 271518 | 46407 5940 1521 | 0.000 % | 6.09/6.13 c | 6091 | 1534 126567 271518 | 51048 6091 1521 | 0.000 % | 6.39/6.45 c | 6319 | 1534 126567 271518 | 56153 6319 1521 | 0.000 % | 6.78/6.90 c | 6656 | 1534 126567 271518 | 61768 6656 1521 | 0.000 % | 7.49/7.57 c | 7163 | 1534 126567 271518 | 67945 7163 1521 | 0.000 % | 7.88/7.99 c =============================================================================== 7.88/7.99 c New solution: 1522 7.88/7.99 o 1522 7.88/7.99 c Elapsed CPU time: 7.8578 s Remaining CPU time: 172.142 s 7.88/7.99 c =============================================================================== 7.88/7.99 c | 7622 | 1534 126568 273052 | 42189 7622 1521 | 0.000 % | 7.99/8.09 c | 7722 | 1534 126568 273052 | 46408 7722 1521 | 0.000 % | 8.19/8.23 c | 7872 | 1534 126568 273052 | 51049 7872 1521 | 0.000 % | 8.39/8.49 c | 8097 | 1534 126568 273052 | 56154 8097 1521 | 0.000 % | 8.99/9.03 c | 8435 | 1534 126568 273052 | 61769 8435 1521 | 0.000 % | 9.79/9.85 c | 8942 | 1534 126568 273052 | 67946 8942 1521 | 0.000 % | 10.79/10.89 c =============================================================================== 10.79/10.89 c New solution: 1521 10.79/10.89 o 1521 10.79/10.89 c Elapsed CPU time: 10.7264 s Remaining CPU time: 169.274 s 10.79/10.89 c =============================================================================== 10.79/10.89 c | 9679 | 1534 126569 274586 | 42189 9679 1520 | 0.000 % | 11.09/11.16 c | 9784 | 1534 126569 274586 | 46408 9784 1520 | 0.000 % | 11.29/11.32 c | 9936 | 1534 126569 274586 | 51049 9936 1520 | 0.000 % | 11.69/11.75 c | 10162 | 1534 126569 274586 | 56154 10162 1520 | 0.000 % | 11.79/11.83 c =============================================================================== 11.79/11.83 c New solution: 1520 11.79/11.83 o 1520 11.79/11.83 c Elapsed CPU time: 11.6502 s Remaining CPU time: 168.35 s 11.79/11.83 c =============================================================================== 11.79/11.83 c | 10218 | 1534 126570 276120 | 42190 10218 1520 | 0.000 % | 12.00/12.05 c | 10318 | 1534 126570 276120 | 46409 10318 1520 | 0.000 % | 12.29/12.32 c | 10471 | 1534 126570 276120 | 51049 10471 1520 | 0.000 % | 12.68/12.70 c | 10698 | 1534 126570 276120 | 56154 10698 1520 | 0.000 % | 13.10/13.17 c | 11035 | 1534 126570 276120 | 61770 11035 1520 | 0.000 % | 13.98/14.02 c | 11541 | 1534 126570 276120 | 67947 11541 1520 | 0.000 % | 14.30/14.35 c =============================================================================== 14.30/14.35 c New solution: 1519 14.30/14.35 o 1519 14.30/14.35 c Elapsed CPU time: 14.1458 s Remaining CPU time: 165.854 s 14.30/14.35 c =============================================================================== 14.30/14.35 c | 11676 | 1534 126571 277654 | 42190 11676 1520 | 0.000 % | 14.49/14.55 c | 11776 | 1534 126571 277654 | 46409 11776 1520 | 0.000 % | 14.78/14.83 c | 11927 | 1534 126571 277654 | 51050 11927 1520 | 0.000 % | 15.29/15.38 c | 12152 | 1534 126571 277654 | 56155 12152 1520 | 0.000 % | 16.19/16.27 c | 12489 | 1534 126571 277654 | 61770 12489 1520 | 0.000 % | 16.69/16.71 c =============================================================================== 16.69/16.71 c New solution: 1518 16.69/16.71 o 1518 16.69/16.71 c Elapsed CPU time: 16.4845 s Remaining CPU time: 163.516 s 16.69/16.71 c =============================================================================== 16.69/16.71 c | 12650 | 1534 126572 279188 | 42190 12650 1520 | 0.000 % | 16.79/16.88 c | 12751 | 1534 126572 279188 | 46409 12751 1520 | 0.000 % | 17.08/17.14 c | 12901 | 1534 126572 279188 | 51050 12901 1519 | 0.000 % | 17.69/17.71 c | 13128 | 1534 126572 279188 | 56155 13128 1519 | 0.000 % | 18.39/18.48 c | 13467 | 1534 126572 279188 | 61771 13467 1519 | 0.000 % | 18.69/18.73 c =============================================================================== 18.69/18.73 c New solution: 1517 18.69/18.73 o 1517 18.69/18.73 c Elapsed CPU time: 18.4882 s Remaining CPU time: 161.512 s 18.69/18.73 c =============================================================================== 18.69/18.73 c | 13584 | 1534 126573 280722 | 42191 13584 1519 | 0.000 % | 18.89/18.90 c | 13685 | 1534 126573 280722 | 46410 13685 1519 | 0.000 % | 19.19/19.27 c | 13838 | 1534 126573 280722 | 51051 13838 1519 | 0.000 % | 19.79/19.88 c | 14065 | 1534 126573 280722 | 56156 14065 1519 | 0.000 % | 20.59/20.66 c | 14402 | 1534 126573 280722 | 61771 14402 1519 | 0.000 % | 21.38/21.46 c | 14910 | 1534 126573 280722 | 67949 14910 1519 | 0.000 % | 22.99/23.06 c | 15670 | 1534 126573 280722 | 74743 15670 1518 | 0.000 % | 25.38/25.40 c | 16809 | 1534 126573 280722 | 82218 16809 1518 | 0.000 % | 31.68/31.77 c | 18518 | 1534 126573 280722 | 90440 18518 1518 | 0.000 % | 46.47/46.55 c | 21080 | 1534 126573 280722 | 99484 21080 1517 | 0.000 % | 71.87/71.99 c | 24924 | 1534 126573 280722 | 109432 24924 1517 | 0.000 % | 82.76/82.81 c =============================================================================== 82.76/82.81 c New solution: 1516 82.76/82.81 o 1516 82.76/82.81 c Elapsed CPU time: 82.3585 s Remaining CPU time: 97.6415 s 82.76/82.81 c =============================================================================== 82.76/82.81 c | 26564 | 1534 126574 282256 | 42191 26564 1517 | 0.000 % | 83.57/83.63 c | 26664 | 1534 126574 282256 | 46410 26664 1517 | 0.000 % | 85.07/85.15 c | 26816 | 1534 126574 282256 | 51051 26816 1517 | 0.000 % | 86.96/87.04 c | 27042 | 1534 126574 282256 | 56156 27042 1517 | 0.000 % | 89.46/89.60 c | 27381 | 1534 126574 282256 | 61772 27381 1517 | 0.000 % | 92.76/92.83 c | 27887 | 1534 126574 282256 | 67949 27887 1516 | 0.000 % | 96.56/96.66 c | 28647 | 1534 126574 282256 | 74744 28647 1516 | 0.000 % | 101.76/101.87 c | 29786 | 1534 126574 282256 | 82218 29786 1516 | 0.000 % | 110.46/110.57 c | 31494 | 1534 126574 282256 | 90440 31494 1516 | 0.000 % | 134.74/134.81 c | 34056 | 1534 126574 282256 | 99484 34056 1516 | 0.000 % | 157.15/157.28 c | 37900 | 1534 126574 282256 | 109433 37900 1516 | 0.000 % | 180.64/180.71 c There are 0 assigned variables. 0 in cost function. 180.74/180.83 c core #1 180.74/180.83 c #cores: 1 180.74/180.83 c Final Weight: 1516 180.74/180.83 o 1516 180.74/180.83 s OPTIMUM FOUND 180.74/180.83 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.74/180.83 c Total CPU time: 180.129 s
OK -18
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655912-1276509172/watcher-2655912-1276509172 -o /tmp/evaluation-result-2655912-1276509172/solver-2655912-1276509172 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655912-1276509172.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29886 /proc/meminfo: memFree=1794728/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=5800 CPUtime=0 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 334 0 0 0 0 0 0 0 20 0 1 0 26520885 5939200 253 1992294400 134512640 135751879 4291319648 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 1450 253 145 303 0 382 0 [startup+0.0338841 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29886 /proc/meminfo: memFree=1794728/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=6228 CPUtime=0.03 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 472 0 0 0 3 0 0 0 20 0 1 0 26520885 6377472 391 1992294400 134512640 135751879 4291319648 18446744073709551615 134560803 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 1557 391 190 303 0 489 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6228 [startup+0.10089 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29886 /proc/meminfo: memFree=1794728/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=7184 CPUtime=0.09 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 838 0 0 0 9 0 0 0 20 0 1 0 26520885 7356416 757 1992294400 134512640 135751879 4291319648 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 1796 757 312 303 0 728 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7184 [startup+0.300914 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29886 /proc/meminfo: memFree=1794728/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=10024 CPUtime=0.29 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 1911 0 0 0 29 0 0 0 20 0 1 0 26520885 10264576 1830 1992294400 134512640 135751879 4291319648 18446744073709551615 134560550 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 2506 1830 680 303 0 1438 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10024 [startup+0.70096 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29886 /proc/meminfo: memFree=1794728/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=17204 CPUtime=0.69 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 4774 0 0 0 67 2 0 0 21 0 1 0 26520885 17616896 3833 1992294400 134512640 135751879 4291319648 18446744073709551615 134586943 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 4301 3833 144 303 0 3996 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17204 [startup+1.50105 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29887 /proc/meminfo: memFree=1779964/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=17204 CPUtime=1.49 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 4778 0 0 0 145 4 0 0 23 0 1 0 26520885 17616896 3837 1992294400 134512640 135751879 4291319648 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 4301 3837 147 303 0 3996 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17204 [startup+3.10124 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29887 /proc/meminfo: memFree=1775252/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=30264 CPUtime=3.09 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 8041 0 0 0 302 7 0 0 25 0 1 0 26520885 30990336 7100 1992294400 134512640 135751879 4291319648 18446744073709551615 134616714 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 7566 7100 147 303 0 7261 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30264 [startup+6.30061 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29887 /proc/meminfo: memFree=1753676/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=47416 CPUtime=6.29 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 12339 0 0 0 618 11 0 0 25 0 1 0 26520885 48553984 11398 1992294400 134512640 135751879 4291319648 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 11854 11398 147 303 0 11549 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47416 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29887 /proc/meminfo: memFree=1724164/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=74984 CPUtime=12.68 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 19223 0 0 0 1250 18 0 0 25 0 1 0 26520885 76783616 18282 1992294400 134512640 135751879 4291319648 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 18746 18282 147 303 0 18441 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 74984 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29887 /proc/meminfo: memFree=1684856/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=112240 CPUtime=25.48 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 28536 0 0 0 2520 28 0 0 25 0 1 0 26520885 114933760 27595 1992294400 134512640 135751879 4291319648 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 28060 27595 147 303 0 27755 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 112240 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29889 /proc/meminfo: memFree=1655592/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=141436 CPUtime=51.07 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 35821 0 0 0 5072 35 0 0 25 0 1 0 26520885 144830464 34880 1992294400 134512640 135751879 4291319648 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 35359 34881 147 303 0 35054 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 141436 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29889 /proc/meminfo: memFree=1604380/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=192080 CPUtime=102.26 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 48448 0 0 0 10178 48 0 0 25 0 1 0 26520885 196689920 47507 1992294400 134512640 135751879 4291319648 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 48020 47507 147 303 0 47715 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 192080 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29891 /proc/meminfo: memFree=1553292/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=243344 CPUtime=162.24 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 61241 0 0 0 16163 61 0 0 25 0 1 0 26520885 249184256 60300 1992294400 134512640 135751879 4291319648 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 60836 60300 147 303 0 60531 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 243344 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29891 /proc/meminfo: memFree=1551804/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=244536 CPUtime=166.24 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 61542 0 0 0 16562 62 0 0 25 0 1 0 26520885 250404864 60601 1992294400 134512640 135751879 4291319648 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 61134 60601 147 303 0 60829 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 244536 [startup+172.709 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29891 /proc/meminfo: memFree=1549324/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=247120 CPUtime=172.65 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 62172 0 0 0 17202 63 0 0 25 0 1 0 26520885 253050880 61231 1992294400 134512640 135751879 4291319648 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 61780 61231 147 303 0 61475 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 247120 [startup+175.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29891 /proc/meminfo: memFree=1547960/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=248316 CPUtime=175.84 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 62484 0 0 0 17521 63 0 0 25 0 1 0 26520885 254275584 61543 1992294400 134512640 135751879 4291319648 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 62079 61543 147 303 0 61774 0 Current children cumulated CPU time (s) 175.84 Current children cumulated vsize (KiB) 248316 [startup+179.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29891 /proc/meminfo: memFree=1546100/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=251316 CPUtime=179.04 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 63193 0 0 0 17840 64 0 0 25 0 1 0 26520885 257347584 62252 1992294400 134512640 135751879 4291319648 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 62829 62252 147 303 0 62524 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 251316 [startup+179.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29891 /proc/meminfo: memFree=1544984/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=252764 CPUtime=179.83 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 63560 0 0 0 17919 64 0 0 25 0 1 0 26520885 258830336 62619 1992294400 134512640 135751879 4291319648 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 63191 62619 147 303 0 62886 0 Current children cumulated CPU time (s) 179.83 Current children cumulated vsize (KiB) 252764 [startup+180.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29891 /proc/meminfo: memFree=1543000/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=253432 CPUtime=180.24 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 63725 0 0 0 17960 64 0 0 25 0 1 0 26520885 259514368 62784 1992294400 134512640 135751879 4291319648 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 63358 62784 147 303 0 63053 0 Current children cumulated CPU time (s) 180.24 Current children cumulated vsize (KiB) 253432 [startup+180.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29891 /proc/meminfo: memFree=1543000/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=253828 CPUtime=180.64 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 63844 0 0 0 17999 65 0 0 25 0 1 0 26520885 259919872 62903 1992294400 134512640 135751879 4291319648 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 63457 62903 147 303 0 63152 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 253828 [startup+180.801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29891 /proc/meminfo: memFree=1543000/2059040 swapFree=4140108/4192956 [pid=29886] ppid=29884 vsize=258864 CPUtime=180.74 /proc/29886/stat : 29886 (wbo1.4b) R 29884 29886 29685 0 -1 4202496 65079 0 0 0 18009 65 0 0 25 0 1 0 26520885 265076736 64138 1992294400 134512640 135751879 4291319648 18446744073709551615 135201654 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29886/statm: 64716 64138 148 303 0 64411 0 Current children cumulated CPU time (s) 180.74 Current children cumulated vsize (KiB) 258864 Child status: 0 Real time (s): 180.866 CPU time (s): 180.812 CPU user time (s): 180.129 CPU system time (s): 0.682896 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 258864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.129 system time used= 0.682896 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65080 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= 7 involuntary context switches= 693 runsolver used 0.308953 second user time and 0.859869 second system time The end
Begin job on node006 at 2010-06-14 11:52:52 IDJOB=2655912 IDBENCH=2265 IDSOLVER=1161 FILE ID=node006/2655912-1276509172 PBS_JOBID= 11173422 Free space on /tmp= 62472 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-1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655912-1276509172/watcher-2655912-1276509172 -o /tmp/evaluation-result-2655912-1276509172/solver-2655912-1276509172 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655912-1276509172.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a2418d45f4247bab260506429e96e746 RANDOM SEED=1507201417 node006.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.204 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.40 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.204 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: 1795256 kB Buffers: 78260 kB Cached: 104924 kB SwapCached: 6484 kB Active: 100612 kB Inactive: 96140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1795256 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 5756 kB Writeback: 0 kB AnonPages: 11876 kB Mapped: 12920 kB Slab: 45252 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180880 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= 62468 MiB End job on node006 at 2010-06-14 11:55:53