Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.54 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-sp98ic.opb |
MD5SUM | c7b5febdd9943d6f5734f2bb85a2dc73 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 832 |
Best CPU time to get the best result obtained on this benchmark | 1782.77 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 801 |
Optimality of the best value was proved | NO |
Number of variables | 10894 |
Total number of constraints | 825 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 624 |
Number of constraints which are nor clauses,nor cardinality constraints | 181 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5038 |
Number of terms in the objective function | 10894 |
Biggest coefficient in the objective function | 187 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 529756 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 187 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 529756 |
Number of bits of the biggest sum of numbers | 20 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node89/41281-1149261214/instance-41281-1149261214.opb ...... 7.72 c done parsing opb. 7.72 o 50821 11.41 o 50818 15.11 o 50809 18.82 o 50808 22.49 o 50800 26.16 o 50797 29.84 o 50793 33.54 o 50792 37.25 o 50790 40.94 o 50783 44.61 o 50781 48.28 o 50778 51.97 o 50776 55.68 o 50774 59.38 o 50773 63.06 o 50772 66.73 o 50765 70.41 o 50762 74.11 o 50760 77.82 o 50758 81.50 o 50756 85.17 o 50755 88.84 o 50754 92.54 o 50753 96.25 o 50752 99.95 o 50745 103.62 o 50744 107.29 o 50743 110.97 o 50736 114.68 o 50734 118.38 o 50733 122.06 o 50726 125.73 o 50724 129.40 o 50723 133.11 o 50721 136.81 o 50720 140.50 o 50713 144.17 o 50711 147.84 o 50708 151.53 o 50706 155.24 o 50703 158.94 o 50701 162.62 o 50698 166.29 o 50697 169.96 o 50696 173.66 o 50694 177.37 o 50693 181.06 o 50692 184.73 o 50685 188.40 o 50684 192.09 o 50677 195.80 o 50676 199.50 o 50675 203.17 o 50673 206.84 o 50672 210.52 o 50671 214.22 o 50664 217.93 o 50661 221.61 o 50658 225.28 o 50655 228.95 o 50651 232.65 o 50648 236.36 o 50645 240.06 o 50644 243.72 o 50643 247.39 o 50641 251.08 o 50639 254.78 o 50637 258.49 o 50636 262.17 o 50635 265.84 o 50628 269.50 o 50623 273.21 o 50621 276.91 o 50618 280.61 o 50616 284.28 o 50613 287.95 o 50611 291.64 o 50610 295.34 o 50609 299.04 o 50608 302.72 o 50606 306.39 o 50605 310.06 o 50603 313.77 o 50602 317.47 o 50601 321.16 o 50594 324.83 o 50591 328.50 o 50588 332.20 o 50585 335.90 o 50584 339.60 o 50582 343.27 o 50580 346.94 o 50579 350.62 o 50577 354.33 o 50576 358.03 o 50575 361.71 o 50574 365.38 o 50567 369.05 o 50563 372.75 o 50558 376.45 o 50555 380.15 o 50552 383.82 o 50550 387.49 o 50547 391.17 o 50545 394.88 o 50543 398.58 o 50542 402.26 o 50540 405.93 o 50539 409.60 o 50538 413.30 o 50537 417.00 o 50530 420.70 o 50528 424.37 o 50527 428.04 o 50525 431.73 o 50524 435.43 o 50522 439.13 o 50521 442.81 o 50520 446.48 o 50519 450.15 o 50512 453.85 o 50509 457.56 o 50506 461.25 o 50505 464.92 o 50503 468.59 o 50499 472.28 o 50497 475.99 o 50496 479.69 o 50494 483.36 o 50493 487.03 o 50489 490.71 o 50488 494.41 o 50487 498.11 o 50485 501.80 o 50484 505.47 o 50480 509.14 o 50479 512.84 o 50472 516.54 o 50470 520.24 o 50468 523.91 o 50466 527.58 o 50459 531.27 o 50456 534.97 o 50453 538.67 o 50450 542.35 o 50446 546.02 o 50443 549.69 o 50442 553.39 o 50440 557.10 o 50439 560.79 o 50437 564.46 o 50435 568.13 o 50434 571.82 o 50433 575.53 o 50425 579.23 o 50422 582.90 o 50419 586.57 o 50416 590.25 o 50413 593.95 o 50410 597.66 o 50409 601.35 o 50407 605.02 o 50405 608.69 o 50403 612.38 o 50327 616.09 o 50325 619.79 o 50230 623.46 o 50225 627.14 o 50221 630.82 o 50219 634.52 o 50214 638.23 o 50213 641.91 o 50209 645.58 o 50208 649.25 o 50206 652.95 o 50204 656.66 o 50199 660.35 o 50196 664.02 o 50194 667.70 o 50187 671.38 o 50186 675.09 o 50180 678.79 o 50165 682.47 o 50164 686.14 o 50160 689.81 o 50159 693.52 o 50157 697.22 o 50156 700.92 o 50150 704.59 o 50148 708.26 o 50146 711.95 o 50144 715.66 o 50143 719.36 o 50139 723.03 o 50134 726.70 o 50132 730.38 o 50127 734.08 o 50126 737.79 o 50121 741.48 o 50116 745.15 o 50115 748.82 o 50114 752.52 o 50113 756.22 o 50112 759.93 o 50110 763.60 o 47968 767.27 o 47967 770.95 o 47965 774.65 o 47964 778.36 o 47962 782.04 o 47961 785.71 o 47951 789.38 o 47949 793.08 o 47819 796.78 o 47815 800.48 o 47809 804.15 o 47807 807.82 o 47805 811.50 o 47802 815.20 o 47801 818.91 o 47797 822.58 o 47796 826.25 o 47793 829.92 o 47790 833.63 o 47789 837.33 o 47787 841.02 o 47785 844.69 o 47784 848.36 o 47782 852.05 o 47776 855.76 o 47775 859.46 o 47774 863.13 o 47770 866.80 o 47769 870.47 o 47767 874.18 o 47761 877.88 o 47760 881.57 o 47759 885.24 o 47756 888.91 o 47754 892.60 o 47752 896.31 o 47746 900.01 o 47742 903.68 o 47741 907.35 o 47740 911.03 o 47736 914.73 o 45987 918.43 o 45986 922.10 o 45980 925.76 o 45974 929.42 o 45973 933.11 o 45971 936.81 o 45855 940.50 o 45854 944.16 o 45850 947.83 o 45847 951.51 o 45846 955.20 o 45840 958.90 o 45833 962.57 o 45831 966.23 o 45827 969.90 o 45826 973.60 o 45825 977.29 o 45819 980.98 o 45815 984.64 o 45813 988.30 o 45807 991.98 o 45805 995.68 o 45804 999.38 o 45802 1003.05 o 45799 1006.71 o 45797 1010.38 o 45796 1014.08 o 45795 1017.78 o 45792 1021.46 o 45791 1025.12 o 45789 1028.78 o 45787 1032.47 o 45782 1036.17 o 45538 1039.86 o 45537 1043.52 o 45536 1047.19 o 45532 1050.87 o 45525 1054.57 o 45522 1058.27 o 45518 1061.95 o 45517 1065.61 o 45516 1069.28 o 45514 1072.97 o 45509 1076.67 o 45506 1080.37 o 45505 1084.04 o 45500 1087.70 o 45499 1091.39 o 45497 1095.08 o 45493 1098.78 o 45488 1102.46 o 45487 1106.12 o 45481 1109.79 o 45479 1113.49 o 45477 1117.19 o 45476 1120.87 o 45471 1124.54 o 45470 1128.21 o 45467 1131.90 o 45463 1135.60 o 45458 1139.31 o 45455 1142.98 o 45454 1146.64 o 45449 1150.30 o 45445 1154.01 o 45444 1157.71 o 45438 1161.40 o 45435 1165.06 o 45432 1168.72 o 45429 1172.41 o 45426 1176.12 o 45420 1179.82 o 45419 1183.49 o 45417 1187.15 o 45413 1190.83 o 45410 1194.53 o 45408 1198.23 o 45407 1201.92 o 45405 1205.59 o 45402 1209.26 o 45401 1212.95 o 45398 1216.66 o 45396 1220.35 o 45395 1224.02 o 45389 1227.69 o 45388 1231.37 o 45387 1235.07 o 45383 1238.77 o 45381 1242.45 o 45377 1246.11 o 45376 1249.78 o 45374 1253.49 o 45373 1257.19 o 45369 1260.88 o 45364 1264.54 o 45358 1268.21 o 45354 1271.89 o 45353 1275.59 o 45348 1279.29 o 45347 1282.96 o 45346 1286.63 o 45345 1290.31 o 45341 1294.01 o 45340 1297.71 o 45339 1301.39 o 45336 1305.06 o 45335 1308.73 o 45332 1312.42 o 45331 1316.12 o 45327 1319.83 o 45320 1323.50 o 45314 1327.17 o 45308 1330.85 o 45304 1334.56 o 45299 1338.26 o 45298 1341.94 o 45293 1345.61 o 45292 1349.28 o 45286 1352.97 o 45283 1356.68 o 45279 1360.37 o 45278 1364.04 o 45277 1367.70 o 45275 1371.38 o 45270 1375.09 o 45269 1378.79 o 45268 1382.47 o 45265 1386.14 o 45263 1389.81 o 45262 1393.51 o 45257 1397.20 o 45255 1400.90 o 45253 1404.57 o 45250 1408.23 o 45245 1411.92 o 45239 1415.62 o 45238 1419.32 o 45237 1423.00 o 45236 1426.66 o 45230 1430.33 o 45228 1434.04 o 45227 1437.74 o 45223 1441.43 o 45220 1445.10 o 45218 1448.76 o 45217 1452.46 o 45215 1456.16 o 45212 1459.86 o 45211 1463.53 o 45210 1467.19 o 45209 1470.87 o 45204 1474.58 o 45199 1478.28 o 45193 1481.97 o 45192 1485.64 o 45189 1489.31 o 45184 1493.01 o 45182 1496.72 o 45177 1500.42 o 45176 1504.09 o 45175 1507.76 o 45173 1511.44 o 45170 1515.15 o 45165 1518.85 o 45164 1522.52 o 45163 1526.19 o 45162 1529.85 o 45158 1533.55 o 45155 1537.26 o 45152 1540.95 o 45149 1544.62 o 45144 1548.29 o 45143 1551.97 o 45142 1555.67 o 45140 1559.37 o 45138 1563.04 o 45135 1566.72 o 45130 1570.39 o 45127 1574.09 o 45125 1577.80 o 45121 1581.49 o 45116 1585.16 o 45115 1588.83 o 45112 1592.52 o 45108 1596.23 o 45106 1599.93 o 45101 1603.60 o 45097 1607.27 o 45095 1610.95 o 45094 1614.66 o 45093 1618.37 o 45092 1622.05 o 45091 1625.72 o 45088 1629.38 o 45087 1633.09 o 45084 1636.79 o 45082 1640.49 o 45081 1644.16 o 45080 1647.83 o 45078 1651.51 o 45076 1655.22 o 45074 1658.93 o 45073 1662.60 o 45072 1666.27 o 45070 1669.95 o 45065 1673.65 o 45063 1677.36 o 45060 1681.05 o 45057 1684.72 o 45056 1688.38 o 45053 1692.07 o 45048 1695.78 o 45046 1699.49 o 45045 1703.16 o 45044 1706.83 o 45043 1710.51 o 45039 1714.23 o 45038 1717.93 o 45037 1721.62 o 45030 1725.30 o 45024 1728.98 o 45019 1732.68 o 45017 1736.38 o 45014 1740.08 o 45009 1743.76 o 45007 1747.43 o 45006 1751.12 o 45002 1754.83 o 44997 1758.52 o 44991 1762.20 o 44990 1765.87 o 44983 1769.54 o 44976 1773.24 o 44975 1776.95 o 44974 1780.65 o 44971 1784.32 o 44969 1788.00 o 44968 1791.68 o 44964 1795.39 o 44962 1799.10 o 44959
ERROR: no interpretation found !
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/node89/watcher-41281-1149261214 -o ROOT/results/node89/solver-41281-1149261214 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41281-1149261214/instance-41281-1149261214.opb 547970267 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 1.01 0.96 2/68 15774 /proc/meminfo: memFree=1640856/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=2424 CPUtime=0 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 191760438 2482176 167 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 606 169 90 232 0 371 0 [startup+10.0031 s] /proc/loadavg: 0.99 1.01 0.96 2/68 15774 /proc/meminfo: memFree=1629656/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=9.99 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 998 1 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 12200 [startup+20.0099 s] /proc/loadavg: 0.99 1.01 0.96 2/68 15774 /proc/meminfo: memFree=1629848/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=19.99 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 1998 1 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 12200 [startup+30.0158 s] /proc/loadavg: 0.99 1.01 0.96 2/68 15774 /proc/meminfo: memFree=1629912/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=30 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 2998 2 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 12200 [startup+40.0216 s] /proc/loadavg: 0.99 1.01 0.96 2/68 15774 /proc/meminfo: memFree=1629912/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=40 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 3998 2 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 12200 [startup+50.0285 s] /proc/loadavg: 0.99 1.01 0.96 2/68 15774 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=50 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 4998 2 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 12200 [startup+60.0343 s] /proc/loadavg: 0.99 1.01 0.96 2/68 15774 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=60 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 5998 2 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 12200 [startup+70.0402 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15774 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=70 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 6998 2 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 12200 [startup+80.0461 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15774 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=80 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 7998 2 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 12200 [startup+90.0519 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15774 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=90.01 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 8998 3 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 12200 [startup+100.058 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15774 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=100.01 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 9998 3 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546505 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 12200 [startup+110.064 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15774 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=110.01 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 10998 3 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 12200 [startup+120.069 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15774 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=120.01 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 11998 3 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 12200 [startup+130.075 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15774 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=130.02 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 12998 4 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 12200 [startup+140.081 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15774 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=140.02 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 13998 4 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 12200 [startup+150.087 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15774 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=150.02 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 14998 4 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 12200 [startup+160.093 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15774 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=160.03 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 15998 5 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 12200 [startup+170.099 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15774 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=170.03 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 16998 5 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 12200 [startup+180.105 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15774 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=180.03 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 17998 5 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 12200 [startup+190.11 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15774 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=190.03 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 18998 5 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 12200 [startup+200.116 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15774 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=200.03 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 19998 5 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 12200 [startup+210.122 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15774 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 ################ # More data... # ################ /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178089 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 12200 [startup+1783.06 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1782.44 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178189 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1782.44 Current children cumulated vsize (Kb) 12200 [startup+1784.06 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1783.45 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178290 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1783.45 Current children cumulated vsize (Kb) 12200 [startup+1785.07 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1784.45 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178390 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1784.45 Current children cumulated vsize (Kb) 12200 [startup+1786.07 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1785.46 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178491 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1785.46 Current children cumulated vsize (Kb) 12200 [startup+1787.08 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1786.46 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178591 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1786.46 Current children cumulated vsize (Kb) 12200 [startup+1788.08 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1787.46 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178691 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1787.46 Current children cumulated vsize (Kb) 12200 [startup+1789.09 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1788.47 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178792 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1788.47 Current children cumulated vsize (Kb) 12200 [startup+1790.09 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1789.47 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178892 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1789.47 Current children cumulated vsize (Kb) 12200 [startup+1791.1 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1790.48 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178993 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1790.48 Current children cumulated vsize (Kb) 12200 [startup+1792.1 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1791.48 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179093 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (Kb) 12200 [startup+1793.11 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1792.48 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179193 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1792.48 Current children cumulated vsize (Kb) 12200 [startup+1794.11 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1793.49 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179294 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1793.49 Current children cumulated vsize (Kb) 12200 [startup+1795.11 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1794.49 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179394 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (Kb) 12200 [startup+1796.12 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1795.5 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179495 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1795.5 Current children cumulated vsize (Kb) 12200 [startup+1797.13 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1796.5 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179595 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1796.5 Current children cumulated vsize (Kb) 12200 [startup+1798.13 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1797.51 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179695 56 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1797.51 Current children cumulated vsize (Kb) 12200 [startup+1799.13 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1798.52 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179796 56 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (Kb) 12200 [startup+1800.14 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1799.52 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179896 56 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1799.52 Current children cumulated vsize (Kb) 12200 [startup+1801.14 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1800.53 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179997 56 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 12200 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 0.99 1.00 0.96 2/68 15776 /proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564 [pid=15774] ppid=15772 vsize=12200 CPUtime=1800.53 /proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179997 56 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/15774/statm: 3050 2865 107 232 0 2815 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 12200 Sending SIGTERM to -15774 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.54 CPU user time (s): 1799.97 CPU system time (s): 0.564914 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (Kb): 12200 The end
Begin job on node89 on Fri Jun 2 15:13:34 UTC 2006 FILE ID= 41281-1149261214 PBS_JOBID= 298672 BENCH NAME= ROOT/tmp/node89/41281-1149261214/instance-41281-1149261214.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41281-1149261214/instance-41281-1149261214.opb 547970267 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node89/watcher-41281-1149261214 -o ROOT/results/node89/solver-41281-1149261214 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41281-1149261214/instance-41281-1149261214.opb 547970267 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= c7b5febdd9943d6f5734f2bb85a2dc73 RANDOM SEED= 547970267 /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.265 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.16 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.265 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1641064 kB Buffers: 31348 kB Cached: 312416 kB SwapCached: 2560 kB Active: 100708 kB Inactive: 251932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1641064 kB SwapTotal: 4096564 kB SwapFree: 4085360 kB Dirty: 192 kB Writeback: 0 kB Mapped: 16532 kB Slab: 48772 kB Committed_AS: 269504 kB PageTables: 1300 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node89 on Fri Jun 2 15:43:35 UTC 2006