Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.62 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-sp98ar.opb |
MD5SUM | d7af4e70b8b5243fa0953f7b849db937 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1566 |
Best CPU time to get the best result obtained on this benchmark | 1801.76 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1229 |
Optimality of the best value was proved | NO |
Number of variables | 15085 |
Total number of constraints | 1430 |
Number of constraints which are clauses | 181 |
Number of constraints which are cardinality constraints (but not clauses) | 837 |
Number of constraints which are nor clauses,nor cardinality constraints | 412 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 4222 |
Number of terms in the objective function | 15085 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 531850 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 531850 |
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/node81/41275-1149259849/instance-41275-1149259849.opb ...... 8.50 c done parsing opb. 8.50 o 50589 12.09 o 50588 15.69 o 50583 19.29 o 50581 22.85 o 50580 26.42 o 50577 29.98 o 50572 33.58 o 50568 37.18 o 50566 40.76 o 50565 44.32 o 50564 47.89 o 50561 51.47 o 50560 55.06 o 50559 58.66 o 50557 62.23 o 50555 65.79 o 50554 69.35 o 50553 72.95 o 50552 76.54 o 50550 80.13 o 50549 83.69 o 50547 87.25 o 50544 90.83 o 50543 94.42 o 50541 98.01 o 50538 101.59 o 50537 105.15 o 50536 108.71 o 50534 112.29 o 50532 115.89 o 50530 119.48 o 50529 123.04 o 50528 126.60 o 50527 130.17 o 50525 133.76 o 50524 137.35 o 50522 140.93 o 50520 144.49 o 50518 148.05 o 50515 151.63 o 50512 155.22 o 50509 158.81 o 50508 162.37 o 50506 165.93 o 50505 169.49 o 50504 173.09 o 50502 176.68 o 50500 180.26 o 50498 183.82 o 50495 187.37 o 50493 190.94 o 50492 194.54 o 50490 198.13 o 50489 201.69 o 50486 205.25 o 50483 208.81 o 50481 212.39 o 50479 215.99 o 50478 219.58 o 50476 223.13 o 50475 226.69 o 50474 230.25 o 50471 233.84 o 50470 237.44 o 50468 241.01 o 50465 244.57 o 50464 248.12 o 50461 251.70 o 50459 255.29 o 50458 258.88 o 50457 262.44 o 50454 266.00 o 50452 269.56 o 50450 273.15 o 50449 276.74 o 50448 280.32 o 50447 283.88 o 50445 287.44 o 50443 291.01 o 50442 294.60 o 50441 298.19 o 50440 301.75 o 50439 305.31 o 50437 308.87 o 50436 312.45 o 50433 316.04 o 50432 319.63 o 50431 323.18 o 50428 326.74 o 50427 330.30 o 50426 333.89 o 50424 337.48 o 50423 341.05 o 50421 344.61 o 50420 348.16 o 50419 351.73 o 50417 355.32 o 50415 358.91 o 50414 362.47 o 50413 366.02 o 50411 369.58 o 50410 373.17 o 50409 376.76 o 50408 380.33 o 50406 383.89 o 50405 387.45 o 50403 391.01 o 50402 394.60 o 50401 398.19 o 50399 401.75 o 50398 405.31 o 50397 408.86 o 50395 412.45 o 50393 416.03 o 50392 419.62 o 50391 423.17 o 50390 426.73 o 50388 430.29 o 50387 433.87 o 50386 437.46 o 50385 441.03 o 50383 444.58 o 50382 448.14 o 50381 451.72 o 50380 455.32 o 50356 458.91 o 50343 462.48 o 50342 466.04 o 50341 469.60 o 50318 473.19 o 50316 476.79 o 50315 480.37 o 50313 483.93 o 50311 487.49 o 50308 491.07 o 50306 494.66 o 50303 498.25 o 50300 501.82 o 50299 505.39 o 50297 508.94 o 50294 512.53 o 50293 516.12 o 50290 519.71 o 50287 523.26 o 50285 526.82 o 50283 530.38 o 50282 533.97 o 50281 537.56 o 50279 541.14 o 50278 544.70 o 50277 548.26 o 50275 551.84 o 50274 555.43 o 50272 559.02 o 50271 562.58 o 50269 566.14 o 50267 569.70 o 50265 573.29 o 50263 576.88 o 50262 580.47 o 49727 584.03 o 49726 587.59 o 49723 591.17 o 49662 594.77 o 49534 598.37 o 49532 601.94 o 49531 605.51 o 49530 609.07 o 49529 612.69 o 49528 616.27 o 49527 619.85 o 49526 623.50 o 49525 627.11 o 49524 630.70 o 49523 634.30 o 49521 637.89 o 49520 641.46 o 49518 645.02 o 49517 648.59 o 49516 652.18 o 49515 655.78 o 49514 659.38 o 49512 662.93 o 49510 666.49 o 49508 670.06 o 49507 673.66 o 49505 677.26 o 49504 680.85 o 49503 684.41 o 49502 687.97 o 49501 691.56 o 49498 695.15 o 49497 698.74 o 49496 702.32 o 49495 705.88 o 49492 709.44 o 49491 713.04 o 49490 716.63 o 49489 720.22 o 49488 723.80 o 46644 727.38 o 46554 730.97 o 46553 734.58 o 46460 738.18 o 46459 741.76 o 46458 747.34 o 46457 750.93 o 46456 754.53 o 46454 758.12 o 46453 761.71 o 46452 765.29 o 46451 768.86 o 46449 772.47 o 46448 776.07 o 46447 779.69 o 46443 783.26 o 46440 786.84 o 46439 790.41 o 46438 794.00 o 46437 797.61 o 46436 801.20 o 46435 804.77 o 46433 808.35 o 46432 811.94 o 46431 815.54 o 46429 819.14 o 46427 822.71 o 46426 826.29 o 46423 829.85 o 46422 833.46 o 46421 837.05 o 46420 840.64 o 46418 844.21 o 46417 847.79 o 46415 851.37 o 46414 854.97 o 46413 858.56 o 46412 862.14 o 46411 865.72 o 44657 869.30 o 44321 872.90 o 44320 876.48 o 44319 880.07 o 44317 883.63 o 44316 887.19 o 44314 890.77 o 44313 894.36 o 44312 897.97 o 44310 901.54 o 44309 905.11 o 44308 908.67 o 44306 912.25 o 44305 915.85 o 44304 922.97 o 44302 926.59 o 39167 930.20 o 39166 933.85 o 39165 937.49 o 39164 941.11 o 39163 944.72 o 39162 948.33 o 39160 951.96 o 39159 955.60 o 39158 959.23 o 39157 962.84 o 39156 966.44 o 39155 970.06 o 39154 973.72 o 39151 977.36 o 39149 980.99 o 39148 984.60 o 39146 988.20 o 39145 991.84 o 39144 995.49 o 39143 999.13 o 39142 1002.74 o 39141 1006.35 o 39140 1009.96 o 39138 1013.63 o 39137 1017.29 o 39135 1025.03 o 39134 1028.65 o 39133 1032.31 o 39132 1035.97 o 39131 1039.63 o 39129 1043.27 o 39128 1046.88 o 39127 1050.51 o 39126 1054.16 o 39124 1057.80 o 39123 1061.44 o 39122 1065.06 o 39120 1072.25 o 39119 1075.94 o 35815 1079.65 o 35567 1083.31 o 35566 1086.97 o 35565 1090.65 o 35405 1094.37 o 35387 1101.61 o 35386 1105.30 o 32340 1109.02 o 32339 1112.76 o 32338 1116.51 o 32337 1120.27 o 32052 1124.00 o 32051 1127.71 o 32050 1131.45 o 32049 1135.19 o 32047 1138.94 o 32046 1142.67 o 32045 1146.39 o 32044 1150.16 o 32043 1153.98 o 32042 1157.80 o 32040 1165.39 o 32039 1169.11 o 32037 1176.52 o 32036 1183.92 o 32035 1187.66 o 31231 1191.47 o 30817 1195.29 o 30816 1199.12 o 30815 1202.92 o 30605 1206.70 o 30604 1210.50 o 30503 1214.32 o 30502 1218.14 o 30501 1221.94 o 30499 1225.72 o 30498 1229.51 o 30497 1233.32 o 30495 1237.13 o 30493 1240.94 o 30492 1244.72 o 30491 1248.49 o 30490 1252.30 o 30489 1256.11 o 30487 1259.93 o 30485 1263.70 o 30483 1267.50 o 30482 1271.30 o 30479 1275.11 o 30478 1278.93 o 30476 1282.71 o 30474 1286.50 o 30472 1290.28 o 30471 1294.09 o 30470 1306.01 o 30468 1309.89 o 30467 1313.81 o 30466 1321.49 o 30465 1329.32 o 30464 1333.11 o 30463 1336.93 o 30462 1340.75 o 30461 1344.53 o 30460 1348.32 o 30458 1352.13 o 30457 1355.95 o 30456 1359.79 o 30455 1363.59 o 30454 1367.38 o 30452 1371.18 o 30451 1374.99 o 30449 1378.81 o 30447 1382.61 o 30446 1386.39 o 30445 1390.18 o 30444 1394.02 o 30443 1397.83 o 30441 1401.64 o 30440 1405.42 o 30439 1409.19 o 30438 1413.02 o 30436 1416.84 o 30434 1420.65 o 30433 1424.44 o 30432 1428.22 o 30431 1432.03 o 30430 1435.84 o 30428 1439.66 o 30426 1443.48 o 30425 1447.30 o 30424 1451.13 o 30423 1454.99 o 30421 1458.86 o 30420 1462.69 o 30418 1466.49 o 30417 1470.31 o 30416 1474.16 o 30415 1478.01 o 30414 1481.85 o 30413 1485.67 o 30412 1489.49 o 30410 1493.32 o 30409 1497.18 o 30408 1501.03 o 30407 1504.85 o 30406 1508.67 o 30405 1512.51 o 30404 1516.37 o 30403 1520.23 o 30402 1524.06 o 30400 1527.88 o 30398 1531.73 o 30397 1535.59 o 30396 1543.90 o 30395 1547.74 o 30394 1551.53 o 30392 1555.36 o 30391 1559.18 o 30390 1562.97 o 30389 1570.48 o 30388 1574.27 o 30387 1578.10 o 30385 1581.96 o 30383 1585.81 o 30382 1589.64 o 30381 1593.52 o 30379 1597.40 o 30378 1601.27 o 30377 1605.13 o 30375 1608.97 o 30374 1612.82 o 30372 1616.70 o 30371 1620.58 o 30370 1624.44 o 30368 1628.28 o 30367 1632.15 o 30365 1636.04 o 30364 1639.94 o 30362 1643.78 o 30361 1647.64 o 30360 1651.52 o 30359 1655.40 o 30358 1659.26 o 30357 1663.10 o 30356 1666.94 o 30354 1670.80 o 30353 1674.68 o 30352 1678.56 o 30351 1686.15 o 30349 1690.45 o 30348 1694.27 o 30346 1698.10 o 30345 1701.90 o 30344 1705.69 o 30342 1709.47 o 30341 1713.28 o 30340 1717.10 o 30339 1720.91 o 30337 1724.71 o 30336 1728.50 o 30335 1732.33 o 30334 1736.19 o 30332 1740.07 o 30331 1743.92 o 30329 1747.77 o 30327 1751.64 o 30326 1755.52 o 30325 1759.41 o 30324 1763.26 o 30322 1767.11 o 30321 1770.96 o 30320 1774.85 o 30319 1778.73 o 30318 1782.57 o 30317 1786.42 o 30315 1790.30 o 30314 1794.18 o 30312 1798.05 o 30311
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/node81/watcher-41275-1149259849 -o ROOT/results/node81/solver-41275-1149259849 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node81/41275-1149259849/instance-41275-1149259849.opb 445135784 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.92 2/68 23143 /proc/meminfo: memFree=1207336/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=2816 CPUtime=0 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 223 0 0 0 0 0 0 0 18 0 1 0 191624316 2883584 208 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 704 210 90 232 0 469 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.95 0.92 2/68 23143 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=9.99 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 997 2 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 18684 [startup+20.0085 s] /proc/loadavg: 0.94 0.96 0.92 2/68 23143 /proc/meminfo: memFree=1189800/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=19.99 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 1997 2 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 18684 [startup+30.0146 s] /proc/loadavg: 0.95 0.96 0.92 2/68 23143 /proc/meminfo: memFree=1189864/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=29.99 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 2996 3 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 18684 [startup+40.0207 s] /proc/loadavg: 0.95 0.96 0.92 2/68 23143 /proc/meminfo: memFree=1189864/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=40 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 3997 3 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 18684 [startup+50.0268 s] /proc/loadavg: 0.96 0.96 0.92 2/68 23143 /proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=50 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 4996 4 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 18684 [startup+60.0319 s] /proc/loadavg: 0.97 0.96 0.92 2/68 23143 /proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=60 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 5996 4 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 18684 [startup+70.038 s] /proc/loadavg: 0.97 0.96 0.92 2/68 23143 /proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=70.01 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 6996 5 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 18684 [startup+80.0442 s] /proc/loadavg: 0.98 0.96 0.92 2/68 23143 /proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=80.01 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 7996 5 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 18684 [startup+90.0503 s] /proc/loadavg: 0.98 0.96 0.92 2/68 23143 /proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=90.01 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 8996 5 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 18684 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.92 2/68 23143 /proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=100.01 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 9996 5 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 18684 [startup+110.062 s] /proc/loadavg: 0.98 0.96 0.92 2/68 23143 /proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=110.03 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 10997 6 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 18684 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23143 /proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=120.03 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 11997 6 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 18684 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23143 /proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=130.03 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 12997 6 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 18684 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23143 /proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=140.03 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 13997 6 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 18684 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23143 /proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=150.04 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 14997 7 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 18684 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23143 /proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=160.04 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 15997 7 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 18684 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23143 /proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=170.04 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 16997 7 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 18684 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23143 /proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=180.04 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 17997 7 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 18684 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23143 /proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=190.05 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 18997 8 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 18684 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23143 /proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18684 CPUtime=200.05 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 19997 8 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551679 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4671 4492 107 232 0 4436 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 18684 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23143 /proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564 ################ # More data... # ################ /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178052 99 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 18940 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1782.52 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178153 99 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 18940 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1783.53 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178253 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 18940 [startup+1785.09 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1784.53 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178353 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 18940 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1785.54 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178454 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 18940 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1786.54 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178554 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 18940 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1787.55 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178655 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 18940 [startup+1789.11 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1788.55 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178755 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 18940 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1789.56 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178856 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 18940 [startup+1791.12 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1790.56 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178956 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 18940 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1791.56 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179056 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 18940 [startup+1793.13 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1792.57 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179157 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 18940 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1793.57 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179257 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 18940 [startup+1795.14 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1794.58 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179358 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 18940 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1795.58 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179458 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 18940 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1796.59 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179559 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 18940 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1797.59 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179659 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 18940 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1798.59 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179759 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 18940 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1799.6 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179860 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 18940 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1800.6 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179960 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 18940 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.92 2/68 23338 /proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564 [pid=23143] ppid=23141 vsize=18940 CPUtime=1800.61 /proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179961 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/23143/statm: 4735 4536 108 232 0 4500 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 18940 Sending SIGTERM to -23143 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.62 CPU user time (s): 1799.61 CPU system time (s): 1.01285 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (Kb): 18940 The end
Begin job on node81 on Fri Jun 2 14:50:49 UTC 2006 FILE ID= 41275-1149259849 PBS_JOBID= 298592 BENCH NAME= ROOT/tmp/node81/41275-1149259849/instance-41275-1149259849.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node81/41275-1149259849/instance-41275-1149259849.opb 445135784 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node81/watcher-41275-1149259849 -o ROOT/results/node81/solver-41275-1149259849 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node81/41275-1149259849/instance-41275-1149259849.opb 445135784 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= d7af4e70b8b5243fa0953f7b849db937 RANDOM SEED= 445135784 /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.248 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.248 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: 1207480 kB Buffers: 44480 kB Cached: 725208 kB SwapCached: 2656 kB Active: 173532 kB Inactive: 605056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1207480 kB SwapTotal: 4096564 kB SwapFree: 4085344 kB Dirty: 152 kB Writeback: 0 kB Mapped: 16516 kB Slab: 56368 kB Committed_AS: 245704 kB PageTables: 1288 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node81 on Fri Jun 2 15:20:50 UTC 2006