Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 29 | 1800.01 | 1800.65 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:100.opb |
MD5SUM | f9ec307a3c8f55679d3b9ab693efbd4c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 5.72913 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 934 |
Total number of constraints | 1063 |
Number of constraints which are clauses | 879 |
Number of constraints which are cardinality constraints (but not clauses) | 184 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 934 |
Biggest coefficient in the objective function | 546 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 2594 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 546 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2594 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 0.04 c Initial problem consists of 934 variables and 1063 constraints. 0.05 c Switching on LPR. 0.05 c No problem reductions applied in OPT. instance. 0.05 c preprocess terminated. Elapsed time: 0.039 0.05 c After prepocess the problem consists of 933 variables and 1062 constraints. 0.40 c Initial Lower Bound: 1 9.81 o 1488 9.81 c NEW SOLUTION FOUND: 1488 @ 9.786 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 o 1487 9.81 c NEW SOLUTION FOUND: 1487 @ 9.788 9.82 o 1486 9.82 c NEW SOLUTION FOUND: 1486 @ 9.793 9.82 c Sol. found (all assignments made)... 9.82 c Sol. found (all assignments made)... 9.82 o 1485 9.82 c NEW SOLUTION FOUND: 1485 @ 9.797 9.83 o 1484 9.83 c NEW SOLUTION FOUND: 1484 @ 9.803 9.83 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.83 o 1483 9.83 c NEW SOLUTION FOUND: 1483 @ 9.808 9.84 o 1482 9.84 c NEW SOLUTION FOUND: 1482 @ 9.815 9.84 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 o 1481 9.85 c NEW SOLUTION FOUND: 1481 @ 9.822 9.86 o 1480 9.86 c NEW SOLUTION FOUND: 1480 @ 9.831 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 o 1479 9.86 c NEW SOLUTION FOUND: 1479 @ 9.838 9.87 o 1478 9.87 c NEW SOLUTION FOUND: 1478 @ 9.848 9.87 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.88 o 1477 9.88 c NEW SOLUTION FOUND: 1477 @ 9.857 9.89 o 1476 9.89 c NEW SOLUTION FOUND: 1476 @ 9.869 9.89 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.90 o 1475 9.90 c NEW SOLUTION FOUND: 1475 @ 9.879 9.92 o 1474 9.92 c NEW SOLUTION FOUND: 1474 @ 9.891 9.92 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.93 o 1473 9.93 c NEW SOLUTION FOUND: 1473 @ 9.903 9.94 o 1471 9.94 c NEW SOLUTION FOUND: 1471 @ 9.919 9.94 c Sol. found (all assignments made)... 9.96 c Sol. found (all assignments made)... 9.96 o 1470 9.96 c NEW SOLUTION FOUND: 1470 @ 9.934 9.98 o 1468 9.98 c NEW SOLUTION FOUND: 1468 @ 9.951 9.98 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 9.99 o 1466 9.99 c NEW SOLUTION FOUND: 1466 @ 9.968 10.02 o 1465 10.02 c NEW SOLUTION FOUND: 1465 @ 9.987 10.02 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.03 o 1463 10.03 c NEW SOLUTION FOUND: 1463 @ 10.005 10.05 o 1461 10.05 c NEW SOLUTION FOUND: 1461 @ 10.026 10.05 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.07 o 1460 10.07 c NEW SOLUTION FOUND: 1460 @ 10.045 10.09 o 1458 10.09 c NEW SOLUTION FOUND: 1458 @ 10.067 10.10 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.12 o 1454 10.12 c NEW SOLUTION FOUND: 1454 @ 10.091 10.15 o 1452 10.15 c NEW SOLUTION FOUND: 1452 @ 10.118 10.15 c Sol. found (all assignments made)... 10.17 c Sol. found (all assignments made)... 10.17 o 1450 10.17 c NEW SOLUTION FOUND: 1450 @ 10.145 10.20 o 1445 10.20 c NEW SOLUTION FOUND: 1445 @ 10.175 10.20 c Sol. found (all assignments made)... 10.23 c Sol. found (all assignments made)... 10.23 o 1444 10.23 c NEW SOLUTION FOUND: 1444 @ 10.203 10.26 o 1441 10.26 c NEW SOLUTION FOUND: 1441 @ 10.234 10.26 c Sol. found (all assignments made)... 10.29 c Sol. found (all assignments made)... 10.29 o 1438 10.29 c NEW SOLUTION FOUND: 1438 @ 10.265 10.33 o 1437 10.33 c NEW SOLUTION FOUND: 1437 @ 10.3 10.33 c Sol. found (all assignments made)... 10.36 c Sol. found (all assignments made)... 10.36 o 1435 10.36 c NEW SOLUTION FOUND: 1435 @ 10.333 10.40 o 1434 10.40 c NEW SOLUTION FOUND: 1434 @ 10.368 10.40 c Sol. found (all assignments made)... 10.43 c Sol. found (all assignments made)... 10.43 o 1431 10.43 c NEW SOLUTION FOUND: 1431 @ 10.403 10.47 o 1430 10.47 c NEW SOLUTION FOUND: 1430 @ 10.44 10.47 c Sol. found (all assignments made)... 10.51 c Sol. found (all assignments made)... 10.51 o 1427 10.51 c NEW SOLUTION FOUND: 1427 @ 10.479 10.55 o 1425 10.55 c NEW SOLUTION FOUND: 1425 @ 10.522 10.55 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 o 1422 10.60 c NEW SOLUTION FOUND: 1422 @ 10.566 10.64 o 1420 10.64 c NEW SOLUTION FOUND: 1420 @ 10.612 10.69 c Sol. found (all assignments made)... 10.69 o 1418 10.69 c NEW SOLUTION FOUND: 1418 @ 10.659 10.74 o 1416 10.74 c NEW SOLUTION FOUND: 1416 @ 10.708 10.78 c Sol. found (all assignments made)... 10.78 o 1415 10.78 c NEW SOLUTION FOUND: 1415 @ 10.755 10.83 o 1414 10.83 c NEW SOLUTION FOUND: 1414 @ 10.804 10.88 c Sol. found (all assignments made)... 10.88 o 1413 10.88 c NEW SOLUTION FOUND: 1413 @ 10.851 10.93 o 1412 10.93 c NEW SOLUTION FOUND: 1412 @ 10.9 10.98 c Sol. found (all assignments made)... 10.98 o 1410 10.98 c NEW SOLUTION FOUND: 1410 @ 10.951 11.03 o 1409 11.03 c NEW SOLUTION FOUND: 1409 @ 11.002 11.09 c Sol. found (all assignments made)... 11.09 o 1408 11.09 c NEW SOLUTION FOUND: 1408 @ 11.059 11.18 o 1407 11.18 c NEW SOLUTION FOUND: 1407 @ 11.15 11.29 c Sol. found (all assignments made)... 11.29 o 1406 11.29 c NEW SOLUTION FOUND: 1406 @ 11.259 11.38 o 1405 11.38 c NEW SOLUTION FOUND: 1405 @ 11.349 11.51 c Sol. found (all assignments made)... 11.51 o 1404 11.51 c NEW SOLUTION FOUND: 1404 @ 11.48 11.62 o 1403 11.62 c NEW SOLUTION FOUND: 1403 @ 11.59 11.75 c Sol. found (all assignments made)... 11.75 o 1402 11.75 c NEW SOLUTION FOUND: 1402 @ 11.721 11.85 o 1401 11.85 c NEW SOLUTION FOUND: 1401 @ 11.814 11.98 c Sol. found (all assignments made)... 11.98 o 1400 11.98 c NEW SOLUTION FOUND: 1400 @ 11.944 12.11 o 1399 12.11 c NEW SOLUTION FOUND: 1399 @ 12.076 12.21 c Sol. found (all assignments made)... 12.21 o 1398 12.21 c NEW SOLUTION FOUND: 1398 @ 12.181 12.34 o 1397 12.34 c NEW SOLUTION FOUND: 1397 @ 12.313 12.45 c Sol. found (all assignments made)... 12.45 o 1396 12.45 c NEW SOLUTION FOUND: 1396 @ 12.417 12.58 o 1395 12.58 c NEW SOLUTION FOUND: 1395 @ 12.551 12.72 c Sol. found (all assignments made)... 12.72 o 1394 12.72 c NEW SOLUTION FOUND: 1394 @ 12.677 12.84 o 1393 12.84 c NEW SOLUTION FOUND: 1393 @ 12.804 12.97 c Sol. found (all assignments made)... 12.97 o 1392 12.97 c NEW SOLUTION FOUND: 1392 @ 12.927 13.10 o 1391 13.10 c NEW SOLUTION FOUND: 1391 @ 13.057 13.20 c Sol. found (all assignments made)... 13.20 o 1390 13.20 c NEW SOLUTION FOUND: 1390 @ 13.157 13.29 o 1389 13.29 c NEW SOLUTION FOUND: 1389 @ 13.253 13.39 o 1388 13.39 c NEW SOLUTION FOUND: 1388 @ 13.354 13.49 o 1387 13.49 c NEW SOLUTION FOUND: 1387 @ 13.445 13.60 o 1386 13.60 c NEW SOLUTION FOUND: 1386 @ 13.558 13.71 o 1385 13.71 c NEW SOLUTION FOUND: 1385 @ 13.674 13.82 o 1384 13.82 c NEW SOLUTION FOUND: 1384 @ 13.783 13.94 o 1383 13.94 c NEW SOLUTION FOUND: 1383 @ 13.898 15.27 c Sol. found (all assignments made)... 15.27 o 1382 15.27 c NEW SOLUTION FOUND: 1382 @ 15.229 15.79 o 1381 15.79 c NEW SOLUTION FOUND: 1381 @ 15.75 16.89 o 1380 16.89 c NEW SOLUTION FOUND: 1380 @ 16.844 17.39 o 1379 17.39 c NEW SOLUTION FOUND: 1379 @ 17.345 18.08 o 1378 18.08 c NEW SOLUTION FOUND: 1378 @ 18.039 18.28 o 1377 18.28 c NEW SOLUTION FOUND: 1377 @ 18.241 18.86 o 1376 18.86 c NEW SOLUTION FOUND: 1376 @ 18.821 19.73 o 1375 19.73 c NEW SOLUTION FOUND: 1375 @ 19.684 20.60 o 1374 20.60 c NEW SOLUTION FOUND: 1374 @ 20.556 20.63 o 1373 20.63 c NEW SOLUTION FOUND: 1373 @ 20.588 20.67 o 1372 20.67 c NEW SOLUTION FOUND: 1372 @ 20.621 20.94 o 1371 20.94 c NEW SOLUTION FOUND: 1371 @ 20.898 21.36 o 1370 21.36 c NEW SOLUTION FOUND: 1370 @ 21.31 21.39 o 1369 21.39 c NEW SOLUTION FOUND: 1369 @ 21.34 21.64 o 1368 21.64 c NEW SOLUTION FOUND: 1368 @ 21.593 22.21 o 1367 22.21 c NEW SOLUTION FOUND: 1367 @ 22.166 22.28 o 1366 22.28 c NEW SOLUTION FOUND: 1366 @ 22.23 22.34 o 1365 22.34 c NEW SOLUTION FOUND: 1365 @ 22.297 22.63 o 1364 22.63 c NEW SOLUTION FOUND: 1364 @ 22.578 22.70 o 1363 22.70 c NEW SOLUTION FOUND: 1363 @ 22.647 23.31 o 1362 23.31 c NEW SOLUTION FOUND: 1362 @ 23.26 23.39 o 1361 23.39 c NEW SOLUTION FOUND: 1361 @ 23.339 23.48 o 1360 23.48 c NEW SOLUTION FOUND: 1360 @ 23.427 24.56 c Restart #1 #Var: 933 LB: 1 @ 24.514 40.89 o 48 40.89 c NEW SOLUTION FOUND: 48 @ 40.823 40.90 o 47 40.90 c NEW SOLUTION FOUND: 47 @ 40.824 40.91 o 46 40.91 c NEW SOLUTION FOUND: 46 @ 40.836 40.91 o 45 40.91 c NEW SOLUTION FOUND: 45 @ 40.84 40.93 o 44 40.93 c NEW SOLUTION FOUND: 44 @ 40.864 40.97 o 43 40.97 c NEW SOLUTION FOUND: 43 @ 40.898 41.87 o 42 41.87 c NEW SOLUTION FOUND: 42 @ 41.803 43.57 c Restart #2 #Var: 933 LB: 1 @ 43.494 58.33 c Restart #3 #Var: 933 LB: 1 @ 58.253 76.19 c Restart #4 #Var: 933 LB: 1 @ 76.086 98.51 c Restart #5 #Var: 933 LB: 1 @ 98.394 117.43 c Restart #6 #Var: 933 LB: 1 @ 117.31 141.95 c Restart #7 #Var: 933 LB: 1 @ 141.82 163.76 c Restart #8 #Var: 933 LB: 1 @ 163.62 188.01 c Restart #9 #Var: 933 LB: 1 @ 187.87 216.91 c Restart #10 #Var: 933 LB: 1 @ 216.76 251.84 c Restart #11 #Var: 933 LB: 1 @ 251.68 287.41 c Restart #12 #Var: 933 LB: 1 @ 287.24 323.98 c Restart #13 #Var: 933 LB: 1 @ 323.8 357.65 c Restart #14 #Var: 933 LB: 1 @ 357.45 393.41 c Restart #15 #Var: 933 LB: 1 @ 393.2 430.52 c Restart #16 #Var: 933 LB: 1 @ 430.31 466.36 c Restart #17 #Var: 933 LB: 1 @ 466.13 507.42 c Restart #18 #Var: 933 LB: 1 @ 507.18 517.17 o 41 517.17 c NEW SOLUTION FOUND: 41 @ 516.93 520.01 o 40 520.01 c NEW SOLUTION FOUND: 40 @ 519.77 522.85 o 39 522.85 c NEW SOLUTION FOUND: 39 @ 522.61 524.76 o 38 524.76 c NEW SOLUTION FOUND: 38 @ 524.51 532.29 o 37 532.29 c NEW SOLUTION FOUND: 37 @ 532.04 538.51 o 36 538.51 c NEW SOLUTION FOUND: 36 @ 538.26 540.25 o 35 540.25 c NEW SOLUTION FOUND: 35 @ 540 541.80 o 34 541.80 c NEW SOLUTION FOUND: 34 @ 541.55 543.56 o 33 543.56 c NEW SOLUTION FOUND: 33 @ 543.31 545.13 o 32 545.13 c NEW SOLUTION FOUND: 32 @ 544.88 546.81 o 31 546.81 c NEW SOLUTION FOUND: 31 @ 546.55 547.98 o 30 547.98 c NEW SOLUTION FOUND: 30 @ 547.72 550.03 o 29 550.03 c NEW SOLUTION FOUND: 29 @ 549.78 580.59 c Restart #19 #Var: 933 LB: 1 @ 580.33 628.16 c Restart #20 #Var: 933 LB: 1 @ 627.89 681.68 c Restart #21 #Var: 933 LB: 1 @ 681.39 732.96 c Restart #22 #Var: 933 LB: 1 @ 732.65 794.97 c Restart #23 #Var: 933 LB: 1 @ 794.64 864.18 c Restart #24 #Var: 933 LB: 1 @ 863.84 942.92 c Restart #25 #Var: 933 LB: 1 @ 942.54 1009.22 c Restart #26 #Var: 933 LB: 1 @ 1008.8 1076.55 c Restart #27 #Var: 933 LB: 1 @ 1076.1 1142.52 c Restart #28 #Var: 933 LB: 1 @ 1142.1 1222.57 c Restart #29 #Var: 933 LB: 1 @ 1222.1 1300.52 c Restart #30 #Var: 933 LB: 1 @ 1300 1371.42 c Restart #31 #Var: 933 LB: 1 @ 1370.9 1463.19 c Restart #32 #Var: 933 LB: 1 @ 1462.7 1549.70 c Restart #33 #Var: 933 LB: 1 @ 1549.1 1640.87 c Restart #34 #Var: 933 LB: 1 @ 1640.3 1735.61 c Restart #35 #Var: 933 LB: 1 @ 1735 1800.64 s SATISFIABLE 1800.64 c Cost: 29 1800.64 v -x854 x783 -x198 x103 -x22 x3 -x856 x104 x2 x786 -x385 -x273 -x197 -x21 x4 -x857 x787 -x77 x56 -x24 x5 -x384 -x276 -x203 -x76 1800.64 v x55 x12 x764 -x388 -x277 -x201 x57 -x25 x6 x763 -x248 -x151 -x78 x58 -x27 x7 x765 -x614 -x389 -x202 -x80 x59 -x40 -x28 x8 x766 1800.64 v -x613 x514 -x251 -x206 -x150 x66 -x39 x767 x619 -x252 -x81 -x60 -x41 -x774 x618 x513 -x327 -x156 -x126 x83 -x61 -x42 x768 -x620 1800.64 v -x154 x84 -x62 -x43 x769 x624 -x594 -x574 x519 x129 -x50 x770 x623 -x578 x517 -x155 -x130 -x44 x730 x621 -x597 -x577 -x159 -x45 1800.64 v x622 -x598 x518 -x46 -x882 x729 x522 -x853 x782 -x193 x105 -x18 -x858 x788 -x538 -x469 x272 -x199 -x23 -x15 -x542 -x72 -x26 1800.64 v -x16 -x860 -x386 -x278 -x204 -x109 -x71 -x30 x11 -x861 -x390 -x29 x791 -x247 -x207 -x146 -x79 -x69 x9 -x205 -x82 x70 x812 x777 1800.64 v -x639 -x509 -x392 -x323 -x281 -x253 -x152 x86 -x65 x778 -x643 -x615 -x393 x85 -x773 -x616 x515 x326 -x157 -x125 -x63 -x53 x617 1800.64 v -x54 -x771 x628 -x593 x520 -x256 -x160 x131 -x49 -x573 -x158 -x878 -x599 -x575 x523 -x47 -x579 x521 -x881 x731 -x134 -x602 1800.64 v -x855 x784 -x465 x268 x106 -x14 -x859 -x380 -x192 -x17 -x13 -x863 x789 -x537 -x489 -x468 x379 x274 -x194 -x110 -x19 -x862 -x541 1800.64 v -x493 -x200 -x108 -x20 x792 -x387 x279 -x243 -x196 -x68 -x34 x790 -x391 -x208 -x73 -x67 -x808 x776 -x395 -x302 x282 -x249 x74 1800.64 v -x10 x775 -x394 x280 -x145 x75 x811 x638 -x322 -x254 -x147 -x121 -x90 -x52 -x642 -x508 -x153 -x51 -x631 -x589 -x510 x328 -x257 1800.64 v -x149 -x127 -x64 -x632 x516 -x255 -x161 -x772 -x627 -x595 x512 x132 x726 x524 -x877 x725 x710 -x625 -x600 -x331 -x135 -x48 1800.64 v -x576 -x133 -x883 x732 -x603 -x587 -x601 x583 x901 x733 -x582 x905 -x734 -x852 x780 -x464 -x423 x107 -x851 x785 -x427 x267 1800.64 v x111 -x867 x781 -x663 -x539 -x488 -x470 x269 -x178 -x37 x793 -x667 -x543 -x492 x381 x275 -x195 -x38 x382 -x298 x271 -x223 -x216 1800.64 v -x33 x383 x283 -x242 -x227 -x212 -x807 -x545 -x473 -x399 -x318 -x301 -x244 -x211 -x93 -x31 -x546 -x250 -x94 x813 x640 -x630 1800.64 v -x324 -x246 -x89 x644 -x629 -x258 -x148 -x120 -x914 -x837 x329 -x169 -x122 -x87 -x918 -x588 -x511 -x165 -x128 -x873 x816 x706 1800.64 v -x646 -x590 -x532 -x348 -x332 -x164 x124 -x647 -x596 x528 -x352 -x330 -x136 -x879 x709 -x626 -x592 -x584 x527 x727 -x604 -x586 1800.64 v -x96 -x884 x728 -x95 x900 x885 -x738 -x580 x904 x886 -x870 -x534 -x466 -x422 -x174 x119 -x36 -x871 x779 -x426 x115 -x35 -x866 1800.64 v x801 -x662 -x540 -x490 -x471 -x213 -x177 x114 x797 -x666 -x544 -x494 x270 -x215 -x864 -x803 x796 x548 -x474 -x451 -x402 -x297 1800.64 v x291 -x222 -x92 x634 x547 -x472 -x403 -x287 -x226 -x91 x809 x633 -x496 -x398 -x303 -x286 -x209 -x32 -x497 -x317 -x245 -x833 1800.64 v x814 x753 x641 -x396 -x319 -x266 -x210 -x166 x645 -x325 -x262 -x168 -x913 -x836 x817 -x649 -x529 x321 -x306 -x261 -x88 -x917 1800.64 v x815 -x648 -x531 -x333 x123 x705 -x347 -x162 x144 -x872 -x591 -x585 -x351 x140 -x874 x711 -x612 x525 -x163 x139 -x880 -x608 1800.64 v x876 -x741 -x607 -x562 -x526 x887 -x742 x566 -x97 x902 -x737 -x714 -x581 -x98 x906 -x868 x798 -x485 -x462 -x424 -x173 x118 1800.64 v x800 -x533 -x467 -x428 -x214 -x664 -x535 -x491 -x463 -x447 -x401 -x293 x288 -x179 x112 -x668 x536 -x495 -x475 -x400 x290 -x865 1800.64 v x794 -x552 -x499 -x450 -x430 -x299 -x224 x113 -x802 -x498 -x431 -x228 -x804 x795 -x749 -x688 x670 -x304 -x284 -x263 -x182 1800.64 v x810 -x692 x671 x635 -x265 -x167 -x832 x806 x752 x636 -x397 -x307 -x285 -x230 x818 x637 -x530 -x320 -x305 -x231 -x915 -x838 1800.64 v -x701 -x653 x341 -x259 -x141 -x919 -x337 x143 x707 -x609 -x349 -x336 -x260 -x611 -x353 x921 -x841 -x740 x712 -x413 -x372 x137 1800.64 v -x922 x897 -x875 -x739 -x376 x896 -x895 x715 -x605 x561 -x355 -x138 x891 -x713 x565 -x356 x903 x890 -x735 -x606 -x101 x907 1800.64 v -x102 -x869 x799 -x659 x425 -x175 x116 -x484 -x461 -x429 x289 -x218 -x665 -x555 -x486 -x483 -x446 -x433 -x217 -x180 -x669 1800.64 v -x556 x487 -x479 -x432 -x292 x673 -x551 -x503 -x478 -x452 -x294 -x225 -x183 x672 -x300 -x264 -x229 -x181 -x828 -x748 x687 1800.64 v -x549 -x296 -x233 -x909 x805 -x691 -x308 -x232 -x908 -x834 x826 x754 -x656 -x455 x338 x822 -x657 -x343 x340 -x142 -x916 -x839 1800.64 v x821 -x652 -x342 -x920 x700 -x610 x924 -x842 x757 x702 -x650 -x409 -x350 -x334 x923 -x840 x708 -x354 -x892 x704 -x412 -x371 1800.64 v -x358 -x335 -x894 x716 -x375 -x357 x563 -x100 x898 x567 -x99 x899 x888 -x736 -x554 -x480 x442 x421 -x171 x117 -x658 -x553 -x482 1800.64 v x420 -x176 -x660 x506 -x448 x437 -x172 x661 x507 -x219 -x184 -x744 x677 -x502 -x476 -x453 -x220 -x295 x221 -x823 -x750 x689 1800.64 v -x655 -x550 -x500 -x477 -x456 -x316 x237 x827 -x825 -x693 -x654 -x454 x339 -x312 x829 x755 -x311 -x910 -x835 -x911 x831 -x819 1800.64 v x758 -x695 x912 -x843 x756 -x696 -x344 x928 -x820 -x651 -x408 -x345 -x893 x703 x558 -x346 x724 x557 -x414 -x373 -x362 x720 1800.64 v -x377 x719 x564 x568 -x889 x569 -x417 x570 x505 -x481 x438 x504 x441 x440 -x170 x680 x443 -x436 -x191 x683 x681 -x449 -x188 1800.64 v x682 x676 x445 -x434 -x313 -x240 -x187 -x824 -x743 x457 -x315 -x241 -x745 x690 x674 -x501 x236 -x751 -x694 x747 -x698 -x309 1800.64 v x234 x830 x759 -x697 x931 x850 -x406 -x310 x932 -x847 -x368 x927 -x846 x721 -x410 -x367 -x365 x723 -x366 x925 -x415 -x374 -x361 1800.64 v x559 -x378 x933 x717 x560 -x418 -x359 -x416 x718 x679 x439 -x190 x678 -x189 -x239 x444 -x314 -x238 x460 -x435 -x185 x684 x458 1800.64 v x685 -x675 x459 -x186 -x746 x686 x930 -x849 x762 x699 -x235 x929 x848 x760 x761 -x364 x722 -x405 -x363 -x844 -x404 -x411 -x369 1800.64 v x926 -x845 -x407 -x370 -x419 x572 x934 -x360 x571 x1 1800.64 c Exit Code: 10 1800.64 c Total time: 1800 s
OK 29
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node92/watcher-40475-1149289358 -o ROOT/results/node92/solver-40475-1149289358 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node92/40475-1149289358/instance-40475-1149289358.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.97 0.93 3/67 28788 /proc/meminfo: memFree=1570184/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=18544 CPUtime=0 /proc/28788/stat : 28788 (runsolver) R 28786 28788 28742 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 194574677 18989056 278 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 214817109015 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/28788/statm: 4636 278 242 16 0 2626 0 [startup+10.0026 s] /proc/loadavg: 0.87 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1566792/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=6980 CPUtime=9.97 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 20117 0 3 0 987 10 0 0 25 0 1 0 194574677 7147520 1069 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160022635 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28788/statm: 1745 1069 432 55 0 636 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 6980 [startup+20.0089 s] /proc/loadavg: 0.89 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1566920/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=7036 CPUtime=19.96 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 79007 0 3 0 1940 56 0 0 25 0 1 0 194574677 7204864 1085 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159470578 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28788/statm: 1759 1085 432 55 0 650 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 7036 [startup+30.0152 s] /proc/loadavg: 0.91 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1566728/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=7220 CPUtime=29.96 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 100669 0 3 0 2926 70 0 0 25 0 1 0 194574677 7393280 1135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535957 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28788/statm: 1805 1135 435 55 0 696 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 7220 [startup+40.0214 s] /proc/loadavg: 0.92 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1566728/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=7424 CPUtime=39.94 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 107465 0 3 0 3921 73 0 0 25 0 1 0 194574677 7602176 1140 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160346504 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28788/statm: 1856 1140 435 55 0 747 0 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 7424 [startup+50.0277 s] /proc/loadavg: 0.93 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1566792/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=7828 CPUtime=49.94 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 119217 0 3 0 4915 79 0 0 25 0 1 0 194574677 8015872 1161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159170582 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28788/statm: 1957 1161 437 55 0 848 0 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 7828 [startup+60.034 s] /proc/loadavg: 0.94 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1566792/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=7780 CPUtime=59.93 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 139400 0 3 0 5904 89 0 0 25 0 1 0 194574677 7966720 1177 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347511 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28788/statm: 1945 1177 437 55 0 836 0 Current children cumulated CPU time (s) 59.93 Current children cumulated vsize (Kb) 7780 [startup+70.0403 s] /proc/loadavg: 0.95 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1566792/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=7220 CPUtime=69.93 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 155024 0 3 0 6898 95 0 0 25 0 1 0 194574677 7393280 1137 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160181895 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28788/statm: 1805 1137 437 55 0 696 0 Current children cumulated CPU time (s) 69.93 Current children cumulated vsize (Kb) 7220 [startup+80.0476 s] /proc/loadavg: 0.96 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1566664/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=7928 CPUtime=79.94 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 181850 0 3 0 7887 107 0 0 25 0 1 0 194574677 8118272 1193 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159351929 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28788/statm: 1982 1193 437 55 0 873 0 Current children cumulated CPU time (s) 79.94 Current children cumulated vsize (Kb) 7928 [startup+90.0539 s] /proc/loadavg: 0.96 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1566600/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=7312 CPUtime=89.94 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 198980 0 3 0 8879 115 0 0 25 0 1 0 194574677 7487488 1160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 1828 1160 437 55 0 719 0 Current children cumulated CPU time (s) 89.94 Current children cumulated vsize (Kb) 7312 [startup+100.059 s] /proc/loadavg: 0.97 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1566408/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=8072 CPUtime=99.93 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 225920 0 3 0 9865 128 0 0 25 0 1 0 194574677 8265728 1229 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159263684 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2018 1229 437 55 0 909 0 Current children cumulated CPU time (s) 99.93 Current children cumulated vsize (Kb) 8072 [startup+110.066 s] /proc/loadavg: 0.97 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1566408/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=7456 CPUtime=109.94 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 248017 0 3 0 10855 139 0 0 25 0 1 0 194574677 7634944 1196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 1864 1196 437 55 0 755 0 Current children cumulated CPU time (s) 109.94 Current children cumulated vsize (Kb) 7456 [startup+120.072 s] /proc/loadavg: 0.98 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1565960/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=8284 CPUtime=119.94 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 277433 0 3 0 11843 151 0 0 25 0 1 0 194574677 8482816 1330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255609 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2071 1330 437 55 0 962 0 Current children cumulated CPU time (s) 119.94 Current children cumulated vsize (Kb) 8284 [startup+130.078 s] /proc/loadavg: 0.98 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1565960/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=7876 CPUtime=129.94 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 284906 0 3 0 12840 154 0 0 25 0 1 0 194574677 8065024 1301 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10015349 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 1969 1301 437 55 0 860 0 Current children cumulated CPU time (s) 129.94 Current children cumulated vsize (Kb) 7876 [startup+140.084 s] /proc/loadavg: 0.98 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1565896/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=7952 CPUtime=139.94 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 303711 0 3 0 13832 162 0 0 25 0 1 0 194574677 8142848 1320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 1988 1320 437 55 0 879 0 Current children cumulated CPU time (s) 139.94 Current children cumulated vsize (Kb) 7952 [startup+150.091 s] /proc/loadavg: 0.98 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1565704/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=8136 CPUtime=149.95 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 314782 0 3 0 14827 168 0 0 25 0 1 0 194574677 8331264 1366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2034 1366 437 55 0 925 0 Current children cumulated CPU time (s) 149.95 Current children cumulated vsize (Kb) 8136 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1565704/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=8136 CPUtime=159.95 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 322901 0 3 0 15822 173 0 0 25 0 1 0 194574677 8331264 1366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2034 1366 437 55 0 925 0 Current children cumulated CPU time (s) 159.95 Current children cumulated vsize (Kb) 8136 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1565704/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=8544 CPUtime=169.96 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 329789 0 3 0 16818 178 0 0 25 0 1 0 194574677 8749056 1390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2136 1390 437 55 0 1027 0 Current children cumulated CPU time (s) 169.96 Current children cumulated vsize (Kb) 8544 [startup+180.109 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1565576/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=8312 CPUtime=179.96 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 355316 0 3 0 17807 189 0 0 25 0 1 0 194574677 8511488 1410 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2078 1410 437 55 0 969 0 Current children cumulated CPU time (s) 179.96 Current children cumulated vsize (Kb) 8312 [startup+190.115 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1565192/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=8984 CPUtime=189.96 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 382351 0 3 0 18794 202 0 0 25 0 1 0 194574677 9199616 1541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159263582 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2246 1541 437 55 0 1137 0 Current children cumulated CPU time (s) 189.96 Current children cumulated vsize (Kb) 8984 [startup+200.121 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1565256/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=8576 CPUtime=199.97 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 390209 0 3 0 19792 205 0 0 25 0 1 0 194574677 8781824 1476 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2144 1476 437 55 0 1035 0 Current children cumulated CPU time (s) 199.97 Current children cumulated vsize (Kb) 8576 [startup+210.127 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1565256/2055892 swapFree=4084900/4096564 ################ # More data... # ################ /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1760.44 Current children cumulated vsize (Kb) 10212 [startup+1771.08 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1770.45 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 176517 528 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1770.45 Current children cumulated vsize (Kb) 10212 [startup+1781.09 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1780.45 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 177516 529 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1780.45 Current children cumulated vsize (Kb) 10212 [startup+1782.09 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1781.46 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 177617 529 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 10212 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1782.46 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 177717 529 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 10212 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1783.46 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 177817 529 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159350911 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1783.46 Current children cumulated vsize (Kb) 10212 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1784.47 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 177918 529 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 10212 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1785.47 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 178018 529 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1785.47 Current children cumulated vsize (Kb) 10212 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1786.48 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 178118 530 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 10212 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1787.49 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 178219 530 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 10212 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1788.49 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 178319 530 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 10212 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1789.49 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 178419 530 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 10212 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1790.49 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 178519 530 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1790.49 Current children cumulated vsize (Kb) 10212 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1791.51 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 178620 531 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535880 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 10212 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1792.51 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 178720 531 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 10212 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1793.51 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 178820 531 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 10212 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1794.51 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 178920 531 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158525090 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 10212 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1795.51 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 179020 531 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (Kb) 10212 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1796.52 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 179121 531 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 10212 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1797.52 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 179221 531 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 10212 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1798.54 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 179322 532 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1798.54 Current children cumulated vsize (Kb) 10212 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.93 2/67 28788 /proc/meminfo: memFree=1563592/2055892 swapFree=4084900/4096564 [pid=28788] ppid=28786 vsize=10212 CPUtime=1799.54 /proc/28788/stat : 28788 (bsolo) R 28786 28788 28742 0 -1 0 744152 0 3 0 179422 532 0 0 25 0 1 0 194574677 10457088 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28788/statm: 2553 1885 437 55 0 1444 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 10212 Child status: 10 Real time (s): 1800.65 CPU time (s): 1800.01 CPU user time (s): 1794.68 CPU system time (s): 5.32619 CPU usage (%): 99.9645 Max. virtual memory (cumulated for all children) (Kb): 10212
Begin job on node92 on Fri Jun 2 23:02:38 UTC 2006 FILE ID= 40475-1149289358 PBS_JOBID= 306782 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node92/40475-1149289358/instance-40475-1149289358.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node92/watcher-40475-1149289358 -o ROOT/results/node92/solver-40475-1149289358 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node92/40475-1149289358/instance-40475-1149289358.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= f9ec307a3c8f55679d3b9ab693efbd4c RANDOM SEED= 370776485 /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.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.19 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.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1570584 kB Buffers: 32152 kB Cached: 383568 kB SwapCached: 2956 kB Active: 26728 kB Inactive: 397808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1570584 kB SwapTotal: 4096564 kB SwapFree: 4084900 kB Dirty: 188 kB Writeback: 0 kB Mapped: 15200 kB Slab: 47536 kB Committed_AS: 290616 kB PageTables: 1256 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node92 on Fri Jun 2 23:32:39 UTC 2006