Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.46 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-sp97ic.opb |
MD5SUM | 398f2ddedf5bd2978b4636f0e4bc50cf |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 657 |
Best CPU time to get the best result obtained on this benchmark | 1801.2 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 638 |
Optimality of the best value was proved | NO |
Number of variables | 12497 |
Total number of constraints | 1033 |
Number of constraints which are clauses | 41 |
Number of constraints which are cardinality constraints (but not clauses) | 815 |
Number of constraints which are nor clauses,nor cardinality constraints | 177 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 6739 |
Number of terms in the objective function | 12497 |
Biggest coefficient in the objective function | 172 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 530548 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 172 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 530548 |
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/41305-1149270248/instance-41305-1149270248.opb ...... 8.11 c done parsing opb. 8.11 o 54319 11.94 o 54318 15.75 o 54311 19.58 o 54310 23.43 o 54303 27.28 o 54302 31.09 o 54301 34.90 o 54294 38.72 o 54293 42.57 o 54287 46.42 o 54284 50.24 o 54278 54.04 o 54273 57.86 o 54267 61.70 o 54262 65.55 o 54256 69.37 o 54254 73.18 o 54249 76.99 o 54243 80.83 o 54242 84.67 o 54236 88.51 o 54235 92.32 o 54229 96.13 o 54227 99.96 o 54226 103.80 o 54220 107.65 o 54219 111.46 o 54216 115.26 o 54215 119.08 o 54209 122.93 o 54207 126.77 o 54205 130.59 o 54204 134.40 o 54202 138.21 o 54201 142.06 o 54200 145.90 o 54199 149.72 o 54198 153.53 o 54192 157.34 o 54191 161.18 o 54186 165.02 o 54183 168.85 o 54181 172.66 o 54178 176.47 o 54176 180.30 o 54174 184.15 o 54171 187.99 o 54169 191.79 o 54166 195.60 o 54164 199.43 o 54161 203.27 o 54159 207.12 o 54158 210.93 o 54157 214.74 o 54156 218.55 o 54155 222.40 o 54153 226.24 o 54152 230.06 o 54151 233.87 o 54150 237.68 o 54145 241.52 o 54143 245.37 o 54141 249.20 o 54139 253.00 o 54138 256.81 o 54137 260.65 o 54136 264.49 o 54135 268.33 o 54130 272.14 o 54128 275.94 o 54126 279.77 o 54125 283.62 o 54124 287.46 o 54123 291.27 o 54122 295.08 o 54121 298.90 o 54116 302.74 o 54115 306.59 o 54114 310.41 o 54109 314.21 o 54108 318.02 o 54107 321.87 o 54106 325.71 o 54105 329.54 o 54104 333.35 o 54099 337.15 o 54097 340.99 o 54095 344.84 o 54093 348.67 o 54091 352.48 o 54089 356.29 o 54087 360.12 o 54086 363.96 o 54085 367.81 o 54084 371.61 o 54083 375.42 o 54082 379.25 o 54081 383.09 o 54076 386.94 o 54074 390.75 o 54071 394.56 o 54069 398.37 o 54067 402.22 o 54065 406.06 o 54063 409.89 o 54060 413.70 o 54058 417.51 o 54056 421.35 o 54055 425.19 o 54054 429.02 o 54053 432.83 o 54052 436.64 o 54051 440.48 o 54050 444.32 o 54045 448.16 o 54043 451.97 o 54042 455.78 o 54041 459.61 o 54040 463.45 o 54039 467.30 o 54038 471.11 o 54033 474.92 o 54031 478.74 o 54029 482.58 o 54028 486.43 o 54027 490.25 o 54025 494.06 o 54024 497.87 o 54021 501.71 o 54017 505.56 o 54016 509.39 o 54011 513.20 o 54008 517.00 o 54007 520.84 o 54003 524.69 o 53998 528.53 o 53997 532.33 o 53993 536.14 o 53992 539.97 o 53990 543.82 o 53989 547.66 o 53987 551.47 o 53986 555.28 o 53985 559.10 o 53984 562.95 o 53980 566.79 o 53979 570.61 o 53978 574.42 o 53977 578.23 o 53973 582.08 o 53968 585.92 o 53966 589.75 o 53964 593.56 o 53959 597.37 o 53958 601.21 o 53956 605.06 o 53955 608.89 o 53952 612.70 o 53951 616.51 o 53949 620.34 o 53948 624.19 o 53946 628.03 o 53942 631.84 o 53941 635.65 o 53606 639.48 o 53603 643.32 o 53600 647.17 o 53596 650.99 o 53564 654.80 o 53498 658.62 o 53495 662.47 o 53492 666.31 o 53488 670.14 o 53485 673.95 o 53482 677.76 o 53481 681.60 o 53476 685.45 o 53472 689.28 o 53470 693.09 o 53469 696.90 o 53467 700.73 o 53466 704.58 o 53464 708.42 o 53461 712.23 o 53459 716.04 o 53456 719.87 o 53451 723.72 o 53448 727.57 o 53447 731.38 o 53446 735.19 o 53444 739.01 o 53441 742.86 o 53440 746.71 o 53438 750.53 o 53433 754.34 o 53432 758.15 o 53428 762.00 o 53426 765.85 o 53422 769.68 o 53417 773.49 o 53412 777.30 o 53410 781.14 o 53408 784.98 o 53406 788.82 o 53405 792.64 o 50869 796.45 o 50594 800.29 o 50592 804.14 o 50590 807.99 o 50587 811.81 o 50586 815.62 o 50580 819.46 o 50579 823.31 o 50578 827.16 o 50575 830.98 o 50572 834.79 o 50571 838.61 o 50570 842.47 o 50569 846.32 o 50564 850.15 o 50561 853.96 o 50560 857.78 o 50556 861.63 o 50555 865.48 o 50554 869.31 o 50551 873.13 o 50549 876.94 o 50547 880.78 o 50543 884.63 o 50542 888.48 o 50541 892.29 o 50540 896.10 o 50539 899.93 o 50537 903.78 o 50535 907.64 o 50534 911.45 o 50533 915.26 o 50531 919.09 o 50529 922.94 o 50528 926.79 o 50527 930.62 o 50524 934.43 o 50523 938.25 o 50520 942.10 o 50515 945.96 o 50513 949.79 o 49616 953.59 o 49611 957.40 o 49610 961.24 o 49557 965.08 o 49554 968.92 o 49549 972.73 o 49447 976.54 o 49445 980.37 o 49444 984.21 o 49442 988.06 o 49441 991.86 o 49438 995.67 o 49437 999.50 o 49436 1003.34 o 49435 1007.18 o 49267 1011.00 o 49262 1014.83 o 49152 1018.65 o 49149 1022.52 o 49147 1026.37 o 49146 1030.21 o 49143 1034.02 o 49142 1037.82 o 49139 1041.67 o 49137 1045.52 o 49136 1049.35 o 49133 1053.16 o 49132 1056.97 o 49130 1060.80 o 49035 1064.65 o 49034 1068.49 o 49030 1072.30 o 49029 1076.12 o 49027 1079.95 o 49025 1083.80 o 49024 1087.64 o 49021 1091.45 o 49020 1095.26 o 49018 1099.08 o 49017 1102.93 o 49012 1106.78 o 49011 1110.60 o 49009 1114.41 o 49007 1118.23 o 49005 1122.08 o 49001 1125.92 o 48997 1129.75 o 48996 1133.56 o 48992 1137.38 o 48991 1141.22 o 48990 1145.07 o 48986 1148.91 o 48982 1152.72 o 48980 1156.53 o 48979 1160.36 o 48975 1164.21 o 48972 1168.05 o 48969 1171.87 o 48968 1175.68 o 48965 1179.51 o 48964 1183.36 o 48963 1187.21 o 48960 1191.03 o 48955 1194.84 o 48950 1198.66 o 48948 1202.50 o 48946 1206.35 o 48945 1210.18 o 48944 1213.99 o 48943 1217.80 o 48940 1221.65 o 48939 1225.50 o 48937 1229.33 o 48932 1233.15 o 48927 1236.96 o 48926 1240.80 o 48924 1244.65 o 48922 1248.49 o 48920 1252.31 o 48915 1256.12 o 48912 1259.95 o 48907 1263.80 o 48906 1267.65 o 48904 1271.46 o 48903 1275.28 o 48902 1279.10 o 48897 1282.95 o 48895 1286.79 o 48894 1290.62 o 48893 1294.43 o 48890 1298.24 o 48888 1302.10 o 48887 1305.95 o 48884 1309.78 o 48883 1313.59 o 48880 1317.40 o 48878 1321.25 o 48877 1325.09 o 48876 1328.94 o 48873 1332.75 o 48872 1336.57 o 48869 1340.40 o 48865 1344.25 o 48864 1348.10 o 48863 1351.91 o 48861 1355.72 o 48860 1359.55 o 48859 1363.40 o 48858 1367.25 o 48857 1371.07 o 48856 1374.89 o 48855 1378.71 o 48851 1382.56 o 48849 1386.41 o 48848 1390.24 o 48845 1394.05 o 48840 1397.86 o 48837 1401.71 o 48834 1405.56 o 48829 1409.40 o 48827 1413.21 o 48826 1417.03 o 48822 1420.87 o 48821 1424.71 o 48820 1428.56 o 48815 1432.37 o 48814 1436.19 o 48813 1440.02 o 48812 1443.87 o 48811 1447.72 o 48810 1451.53 o 48808 1455.34 o 48807 1459.16 o 48806 1463.01 o 48804 1466.86 o 48801 1470.69 o 48800 1474.51 o 48798 1478.32 o 48794 1482.18 o 48793 1486.03 o 48789 1489.87 o 48787 1493.68 o 48785 1497.50 o 48781 1501.34 o 48777 1505.19 o 48775 1509.03 o 48771 1512.84 o 48770 1516.66 o 48767 1520.49 o 48765 1524.34 o 48763 1528.19 o 48761 1532.00 o 48759 1535.81 o 48756 1539.64 o 48755 1543.49 o 48753 1547.34 o 48752 1551.16 o 48750 1554.97 o 48748 1558.79 o 48744 1562.64 o 48743 1566.49 o 48742 1570.32 o 48741 1574.14 o 48737 1577.95 o 48736 1581.80 o 48735 1585.65 o 48734 1589.49 o 48730 1593.30 o 48729 1597.12 o 48726 1600.96 o 48724 1604.81 o 48720 1608.66 o 48719 1612.47 o 48718 1616.29 o 48714 1620.12 o 48710 1623.98 o 48708 1627.83 o 48707 1631.64 o 48706 1635.46 o 48702 1639.29 o 48700 1643.14 o 48698 1646.99 o 48693 1650.81 o 48690 1654.63 o 48688 1658.45 o 48687 1662.30 o 48682 1666.15 o 48678 1669.98 o 48676 1673.80 o 48672 1677.61 o 48670 1681.45 o 48669 1685.30 o 48666 1689.14 o 48663 1692.96 o 48662 1696.77 o 48661 1700.60 o 48660 1704.45 o 48659 1708.30 o 48658 1712.12 o 48657 1715.94 o 48655 1719.78 o 48654 1723.63 o 48649 1727.48 o 48646 1731.30 o 48641 1735.11 o 48640 1738.94 o 48638 1742.79 o 48634 1746.64 o 48629 1750.47 o 48626 1754.28 o 48624 1758.09 o 48620 1761.94 o 48618 1765.80 o 48617 1769.64 o 48616 1773.45 o 48614 1777.27 o 48612 1781.11 o 48611 1784.97 o 48608 1788.81 o 48606 1792.63 o 48605 1796.44 o 48603 1800.28 o 48598
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-41305-1149270248 -o ROOT/results/node89/solver-41305-1149270248 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41305-1149270248/instance-41305-1149270248.opb 566909261 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1633048/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=2572 CPUtime=0 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 192663900 2633728 112 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135085963 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 643 113 90 232 0 408 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=9.99 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 998 1 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 12536 [startup+20.0081 s] /proc/loadavg: 0.94 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621784/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=19.98 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 1997 1 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 12536 [startup+30.0139 s] /proc/loadavg: 0.95 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=29.99 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 2997 2 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551626 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 12536 [startup+40.0198 s] /proc/loadavg: 0.96 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621784/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=39.99 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 3997 2 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 12536 [startup+50.0257 s] /proc/loadavg: 0.96 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621784/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=49.99 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 4997 2 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 12536 [startup+60.0315 s] /proc/loadavg: 0.97 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=59.99 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 5997 2 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 12536 [startup+70.0374 s] /proc/loadavg: 0.97 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=70 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 6998 2 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 12536 [startup+80.0432 s] /proc/loadavg: 0.98 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=80 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 7997 3 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551529 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 12536 [startup+90.0491 s] /proc/loadavg: 0.98 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=90.01 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 8998 3 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 12536 [startup+100.055 s] /proc/loadavg: 0.98 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=100.01 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 9998 3 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 12536 [startup+110.061 s] /proc/loadavg: 0.98 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=110.01 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 10998 3 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 12536 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=120.01 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 11998 3 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 12536 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=130.02 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 12998 4 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 12536 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=140.02 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 13998 4 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 12536 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621912/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=150.02 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 14998 4 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 12536 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621912/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=160.02 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 15998 4 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 12536 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=170.03 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 16998 5 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 12536 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=180.03 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 17998 5 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 12536 [startup+190.107 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=190.02 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 18997 5 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 12536 [startup+200.113 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=200.03 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 19997 6 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 12536 [startup+210.119 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16487 /proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564 ################ # More data... # ################ /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178080 56 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1781.36 Current children cumulated vsize (Kb) 12536 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1782.36 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178180 56 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (Kb) 12536 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1783.36 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178280 56 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1783.36 Current children cumulated vsize (Kb) 12536 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1784.38 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178381 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1784.38 Current children cumulated vsize (Kb) 12536 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1785.38 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178481 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1785.38 Current children cumulated vsize (Kb) 12536 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1786.39 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178582 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1786.39 Current children cumulated vsize (Kb) 12536 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1787.39 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178682 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1787.39 Current children cumulated vsize (Kb) 12536 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1788.39 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178782 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1788.39 Current children cumulated vsize (Kb) 12536 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1789.4 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178883 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1789.4 Current children cumulated vsize (Kb) 12536 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1790.4 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178983 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1790.4 Current children cumulated vsize (Kb) 12536 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1791.41 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179084 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551624 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (Kb) 12536 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1792.41 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179184 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1792.41 Current children cumulated vsize (Kb) 12536 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1793.41 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179284 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1793.41 Current children cumulated vsize (Kb) 12536 [startup+1795.12 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1794.42 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179385 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1794.42 Current children cumulated vsize (Kb) 12536 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1795.42 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179485 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1795.42 Current children cumulated vsize (Kb) 12536 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1796.43 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179586 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1796.43 Current children cumulated vsize (Kb) 12536 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1797.43 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179686 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (Kb) 12536 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1798.44 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179787 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1798.44 Current children cumulated vsize (Kb) 12536 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1799.44 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179887 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1799.44 Current children cumulated vsize (Kb) 12536 [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1800.45 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179988 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (Kb) 12536 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.94 2/68 16682 /proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564 [pid=16487] ppid=16485 vsize=12536 CPUtime=1800.45 /proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179988 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/16487/statm: 3134 2957 107 232 0 2899 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (Kb) 12536 Sending SIGTERM to -16487 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.46 CPU user time (s): 1799.89 CPU system time (s): 0.574912 CPU usage (%): 99.9611 Max. virtual memory (cumulated for all children) (Kb): 12536 The end
Begin job on node89 on Fri Jun 2 17:44:08 UTC 2006 FILE ID= 41305-1149270248 PBS_JOBID= 298986 BENCH NAME= ROOT/tmp/node89/41305-1149270248/instance-41305-1149270248.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41305-1149270248/instance-41305-1149270248.opb 566909261 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node89/watcher-41305-1149270248 -o ROOT/results/node89/solver-41305-1149270248 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41305-1149270248/instance-41305-1149270248.opb 566909261 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 398f2ddedf5bd2978b4636f0e4bc50cf RANDOM SEED= 566909261 /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: 1633256 kB Buffers: 31868 kB Cached: 319716 kB SwapCached: 2560 kB Active: 102340 kB Inactive: 258088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1633256 kB SwapTotal: 4096564 kB SwapFree: 4085360 kB Dirty: 132 kB Writeback: 0 kB Mapped: 16532 kB Slab: 48748 kB Committed_AS: 271780 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 18:14:10 UTC 2006