| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| oree 0.1.2 alpha | ? (TO) | 1800.36 | 1800.89 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb |
| MD5SUM | d5dba1ae5450ecccd67bf40744af7c62 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 733406 |
| Total number of constraints | 12168 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12168 |
| Minimum length of a constraint | 13 |
| Maximum length of a constraint | 6840 |
| Number of terms in the objective function | 374066 |
| Biggest coefficient in the objective function | 2150851580428025856 |
| Number of bits for the biggest coefficient in the objective function | 61 |
| Sum of the numbers in the objective function | 1765505311698925020552 |
| Number of bits of the sum of numbers in the objective function | 71 |
| Biggest number in a constraint | 53687091200000000000 |
| Number of bits of the biggest number in a constraint | 66 |
| Biggest sum of numbers in a constraint | 4277072243466308763648 |
| Number of bits of the biggest sum of numbers | 72 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 10.29/10.32 c ...done 10.29/10.32 c #vars=733406 #constraints=24311 hasObjective=yes 16.69/16.78 c res. mode=mod 16.69/16.78 c VSIDS like heuristics 16.69/16.78 c complete search running 27.28/27.33 c restart after 401 decisions 29.18/29.27 c nbDecision=500 #constraints=24323 35.17/35.21 c restart after 801 decisions 39.07/39.13 c nbDecision=1000 #constraints=24341 48.86/48.94 c nbDecision=1500 #constraints=24345 50.86/50.91 c restart after 1601 decisions 58.56/58.67 c nbDecision=2000 #constraints=24350 68.36/68.47 c nbDecision=2500 #constraints=24352 78.45/78.57 c nbDecision=3000 #constraints=24404 82.46/82.52 c restart after 3201 decisions 88.25/88.39 c nbDecision=3500 #constraints=24405 98.06/98.12 c nbDecision=4000 #constraints=24407 107.85/107.99 c nbDecision=4500 #constraints=24420 117.65/117.72 c nbDecision=5000 #constraints=24422 127.64/127.79 c nbDecision=5500 #constraints=24457 137.54/137.69 c nbDecision=6000 #constraints=24478 145.44/145.57 c restart after 6401 decisions 147.44/147.52 c nbDecision=6500 #constraints=24481 157.14/157.21 c nbDecision=7000 #constraints=24485 166.93/167.09 c nbDecision=7500 #constraints=24491 176.93/177.00 c nbDecision=8000 #constraints=24516 186.72/186.82 c nbDecision=8500 #constraints=24522 196.43/196.55 c nbDecision=9000 #constraints=24525 206.23/206.31 c nbDecision=9500 #constraints=24525 215.92/216.07 c nbDecision=10000 #constraints=24531 225.72/225.86 c nbDecision=10500 #constraints=24537 235.52/235.64 c nbDecision=11000 #constraints=24554 245.31/245.46 c nbDecision=11500 #constraints=24558 255.01/255.15 c nbDecision=12000 #constraints=24560 265.01/265.10 c nbDecision=12500 #constraints=24585 270.80/270.99 c restart after 12801 decisions 274.70/274.87 c nbDecision=13000 #constraints=24586 284.50/284.63 c nbDecision=13500 #constraints=24587 294.29/294.49 c nbDecision=14000 #constraints=24611 304.19/304.36 c nbDecision=14500 #constraints=24626 313.89/314.06 c nbDecision=15000 #constraints=24627 323.69/323.85 c nbDecision=15500 #constraints=24642 333.49/333.63 c nbDecision=16000 #constraints=24642 343.19/343.35 c nbDecision=16500 #constraints=24646 353.28/353.49 c nbDecision=17000 #constraints=24672 363.18/363.38 c nbDecision=17500 #constraints=24689 373.17/373.30 c nbDecision=18000 #constraints=24708 382.77/382.98 c nbDecision=18500 #constraints=24710 392.97/393.10 c nbDecision=19000 #constraints=24732 402.66/402.85 c nbDecision=19500 #constraints=24735 412.57/412.74 c nbDecision=20000 #constraints=24752 422.56/422.70 c nbDecision=20500 #constraints=24761 432.17/432.39 c nbDecision=21000 #constraints=24762 442.06/442.21 c nbDecision=21500 #constraints=24766 451.75/451.93 c nbDecision=22000 #constraints=24768 461.75/461.90 c nbDecision=22500 #constraints=24795 471.45/471.64 c nbDecision=23000 #constraints=24796 481.24/481.43 c nbDecision=23500 #constraints=24812 491.44/491.63 c nbDecision=24000 #constraints=24828 501.14/501.33 c nbDecision=24500 #constraints=24830 510.94/511.12 c nbDecision=25000 #constraints=24832 520.74/520.95 c nbDecision=25500 #constraints=24848 522.74/522.93 c restart after 25601 decisions 530.53/530.75 c nbDecision=26000 #constraints=24848 540.33/540.58 c nbDecision=26500 #constraints=24863 550.32/550.50 c nbDecision=27000 #constraints=24880 560.02/560.20 c nbDecision=27500 #constraints=24882 569.72/570.00 c nbDecision=28000 #constraints=24888 579.52/579.71 c nbDecision=28500 #constraints=24889 589.21/589.42 c nbDecision=29000 #constraints=24890 599.02/599.20 c nbDecision=29500 #constraints=24893 608.91/609.18 c nbDecision=30000 #constraints=24915 618.91/619.11 c nbDecision=30500 #constraints=24939 628.91/629.10 c nbDecision=31000 #constraints=24962 638.60/638.86 c nbDecision=31500 #constraints=24978 648.40/648.66 c nbDecision=32000 #constraints=24980 658.09/658.31 c nbDecision=32500 #constraints=24983 667.89/668.15 c nbDecision=33000 #constraints=24984 677.49/677.79 c nbDecision=33500 #constraints=24984 687.48/687.74 c nbDecision=34000 #constraints=25011 697.09/697.38 c nbDecision=34500 #constraints=25011 706.89/707.19 c nbDecision=35000 #constraints=25017 716.68/716.91 c nbDecision=35500 #constraints=25017 726.48/726.72 c nbDecision=36000 #constraints=25031 736.17/736.46 c nbDecision=36500 #constraints=25047 745.97/746.27 c nbDecision=37000 #constraints=25048 755.67/755.95 c nbDecision=37500 #constraints=25048 765.46/765.77 c nbDecision=38000 #constraints=25053 775.36/775.69 c nbDecision=38500 #constraints=25072 785.36/785.63 c nbDecision=39000 #constraints=25090 795.15/795.45 c nbDecision=39500 #constraints=25101 805.05/805.36 c nbDecision=40000 #constraints=25117 814.85/815.16 c nbDecision=40500 #constraints=25128 824.75/825.00 c nbDecision=41000 #constraints=25145 834.55/834.88 c nbDecision=41500 #constraints=25150 844.34/844.62 c nbDecision=42000 #constraints=25151 854.04/854.34 c nbDecision=42500 #constraints=25154 863.74/864.07 c nbDecision=43000 #constraints=25154 873.53/873.88 c nbDecision=43500 #constraints=25171 883.23/883.57 c nbDecision=44000 #constraints=25173 892.93/893.24 c nbDecision=44500 #constraints=25177 902.73/903.05 c nbDecision=45000 #constraints=25189 912.42/912.79 c nbDecision=45500 #constraints=25192 922.22/922.51 c nbDecision=46000 #constraints=25192 932.02/932.35 c nbDecision=46500 #constraints=25206 941.72/942.08 c nbDecision=47000 #constraints=25206 951.51/951.89 c nbDecision=47500 #constraints=25220 961.21/961.53 c nbDecision=48000 #constraints=25222 971.01/971.34 c nbDecision=48500 #constraints=25223 980.70/981.02 c nbDecision=49000 #constraints=25224 990.40/990.74 c nbDecision=49500 #constraints=25227 1000.10/1000.49 c nbDecision=50000 #constraints=25234 1009.89/1010.22 c nbDecision=50500 #constraints=25235 1019.49/1019.89 c nbDecision=51000 #constraints=25240 1023.59/1024.00 c restart after 51201 decisions 1029.49/1029.86 c nbDecision=51500 #constraints=25258 1039.19/1039.54 c nbDecision=52000 #constraints=25258 1048.88/1049.25 c nbDecision=52500 #constraints=25259 1058.58/1058.95 c nbDecision=53000 #constraints=25265 1068.38/1068.70 c nbDecision=53500 #constraints=25266 1077.98/1078.39 c nbDecision=54000 #constraints=25267 1087.97/1088.40 c nbDecision=54500 #constraints=25288 1097.67/1098.04 c nbDecision=55000 #constraints=25288 1107.46/1107.85 c nbDecision=55500 #constraints=25291 1117.06/1117.50 c nbDecision=56000 #constraints=25291 1126.86/1127.27 c nbDecision=56500 #constraints=25292 1136.55/1136.93 c nbDecision=57000 #constraints=25292 1146.25/1146.69 c nbDecision=57500 #constraints=25293 1155.95/1156.36 c nbDecision=58000 #constraints=25293 1165.74/1166.11 c nbDecision=58500 #constraints=25294 1175.45/1175.81 c nbDecision=59000 #constraints=25295 1185.14/1185.50 c nbDecision=59500 #constraints=25297 1194.84/1195.28 c nbDecision=60000 #constraints=25305 1204.54/1204.96 c nbDecision=60500 #constraints=25305 1214.23/1214.65 c nbDecision=61000 #constraints=25312 1224.03/1224.44 c nbDecision=61500 #constraints=25313 1233.73/1234.14 c nbDecision=62000 #constraints=25313 1243.42/1243.82 c nbDecision=62500 #constraints=25314 1253.02/1253.48 c nbDecision=63000 #constraints=25315 1262.82/1263.25 c nbDecision=63500 #constraints=25316 1272.51/1272.97 c nbDecision=64000 #constraints=25316 1282.21/1282.64 c nbDecision=64500 #constraints=25319 1291.91/1292.39 c nbDecision=65000 #constraints=25320 1301.71/1302.10 c nbDecision=65500 #constraints=25320 1311.31/1311.77 c nbDecision=66000 #constraints=25320 1321.01/1321.45 c nbDecision=66500 #constraints=25323 1330.80/1331.23 c nbDecision=67000 #constraints=25323 1340.40/1340.89 c nbDecision=67500 #constraints=25324 1350.10/1350.57 c nbDecision=68000 #constraints=25325 1359.79/1360.29 c nbDecision=68500 #constraints=25326 1369.59/1370.02 c nbDecision=69000 #constraints=25326 1379.28/1379.75 c nbDecision=69500 #constraints=25336 1389.08/1389.59 c nbDecision=70000 #constraints=25352 1398.88/1399.31 c nbDecision=70500 #constraints=25352 1408.58/1409.04 c nbDecision=71000 #constraints=25352 1418.17/1418.64 c nbDecision=71500 #constraints=25352 1427.97/1428.44 c nbDecision=72000 #constraints=25369 1437.77/1438.28 c nbDecision=72500 #constraints=25384 1447.57/1448.06 c nbDecision=73000 #constraints=25385 1457.17/1457.69 c nbDecision=73500 #constraints=25385 1466.87/1467.37 c nbDecision=74000 #constraints=25387 1476.56/1477.08 c nbDecision=74500 #constraints=25389 1486.36/1486.85 c nbDecision=75000 #constraints=25390 1495.95/1496.49 c nbDecision=75500 #constraints=25390 1505.65/1506.15 c nbDecision=76000 #constraints=25390 1515.35/1515.84 c nbDecision=76500 #constraints=25398 1525.15/1525.61 c nbDecision=77000 #constraints=25413 1534.74/1535.23 c nbDecision=77500 #constraints=25415 1544.44/1544.93 c nbDecision=78000 #constraints=25420 1554.13/1554.62 c nbDecision=78500 #constraints=25424 1564.03/1564.52 c nbDecision=79000 #constraints=25432 1573.73/1574.22 c nbDecision=79500 #constraints=25432 1583.33/1583.88 c nbDecision=80000 #constraints=25432 1593.13/1593.63 c nbDecision=80500 #constraints=25440 1602.72/1603.29 c nbDecision=81000 #constraints=25443 1612.42/1612.94 c nbDecision=81500 #constraints=25445 1622.02/1622.58 c nbDecision=82000 #constraints=25447 1631.71/1632.22 c nbDecision=82500 #constraints=25448 1641.41/1641.91 c nbDecision=83000 #constraints=25452 1651.80/1652.37 c nbDecision=83500 #constraints=25484 1661.50/1662.04 c nbDecision=84000 #constraints=25484 1671.20/1671.72 c nbDecision=84500 #constraints=25486 1680.79/1681.35 c nbDecision=85000 #constraints=25488 1690.49/1691.05 c nbDecision=85500 #constraints=25493 1700.59/1701.16 c nbDecision=86000 #constraints=25520 1710.39/1710.90 c nbDecision=86500 #constraints=25521 1719.99/1720.53 c nbDecision=87000 #constraints=25521 1729.58/1730.20 c nbDecision=87500 #constraints=25522 1739.28/1739.81 c nbDecision=88000 #constraints=25524 1749.48/1750.05 c nbDecision=88500 #constraints=25556 1759.07/1759.67 c nbDecision=89000 #constraints=25556 1768.77/1769.36 c nbDecision=89500 #constraints=25557 1778.37/1779.00 c nbDecision=90000 #constraints=25562 1788.07/1788.68 c nbDecision=90500 #constraints=25565 1797.97/1798.58 c nbDecision=91000 #constraints=25585 1800.07/1800.60 Received signal 15 1800.07/1800.61 1800.07/1800.61 s UNKNOWN 1800.07/1800.61 1800.07/1800.61 c user time= 1799.59 s 1800.07/1800.61 c system time= 0.494924 s 1800.07/1800.61 c wall clock time=1800.62
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-357216-1176991465 -o ROOT/results/node17/solver-357216-1176991465 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357216-1176991465/instance-357216-1176991465.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.95 0.98 3/77 1289 /proc/meminfo: memFree=1601656/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=1468 CPUtime=0 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147064260 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134709504 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 367 160 127 317 0 46 0 [startup+0.0302639 s] /proc/loadavg: 0.92 0.95 0.98 3/77 1289 /proc/meminfo: memFree=1601656/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=1880 CPUtime=0.02 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 295 0 0 0 2 0 0 0 18 0 1 0 147064260 1925120 244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135096813 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 470 244 127 317 0 149 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1880 [startup+0.10127 s] /proc/loadavg: 0.92 0.95 0.98 3/77 1289 /proc/meminfo: memFree=1601656/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=3956 CPUtime=0.09 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 772 0 0 0 9 0 0 0 18 0 1 0 147064260 4050944 656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270591 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 989 656 127 317 0 668 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3956 [startup+0.301291 s] /proc/loadavg: 0.92 0.95 0.98 3/77 1289 /proc/meminfo: memFree=1601656/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=5520 CPUtime=0.29 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 1548 0 0 0 29 0 0 0 19 0 1 0 147064260 5652480 1046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134542989 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 1380 1047 127 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.701332 s] /proc/loadavg: 0.92 0.95 0.98 3/77 1289 /proc/meminfo: memFree=1601656/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=9548 CPUtime=0.69 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 3103 0 0 0 68 1 0 0 23 0 1 0 147064260 9777152 2088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 2387 2088 127 317 0 2066 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9548 [startup+1.50142 s] /proc/loadavg: 0.92 0.95 0.98 2/78 1290 /proc/meminfo: memFree=1588336/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=17736 CPUtime=1.49 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 5693 0 0 0 147 2 0 0 25 0 1 0 147064260 18161664 3653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 4434 3653 128 317 0 4113 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17736 [startup+3.10158 s] /proc/loadavg: 0.92 0.95 0.98 2/78 1290 /proc/meminfo: memFree=1582768/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=42996 CPUtime=3.09 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 11859 0 0 0 304 5 0 0 25 0 1 0 147064260 44027904 9819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 10749 9819 131 317 0 10428 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 42996 [startup+6.30192 s] /proc/loadavg: 0.93 0.95 0.98 2/78 1290 /proc/meminfo: memFree=1515184/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=110660 CPUtime=6.3 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 28520 0 0 0 615 15 0 0 25 0 1 0 147064260 113315840 26480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 27665 26480 131 317 0 27344 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 110660 [startup+12.7016 s] /proc/loadavg: 0.93 0.96 0.98 2/78 1290 /proc/meminfo: memFree=1342064/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=272204 CPUtime=12.69 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 68570 0 0 0 1239 30 0 0 25 0 1 0 147064260 278736896 66530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 68051 66530 137 317 0 67730 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 272204 [startup+25.5019 s] /proc/loadavg: 0.95 0.96 0.98 2/78 1290 /proc/meminfo: memFree=1307376/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=301512 CPUtime=25.48 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 75888 0 0 0 2515 33 0 0 25 0 1 0 147064260 308748288 73681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 75378 73681 139 317 0 75057 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 301512 [startup+51.1016 s] /proc/loadavg: 0.96 0.96 0.98 2/78 1290 /proc/meminfo: memFree=1307632/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=301512 CPUtime=51.06 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 75888 0 0 0 5073 33 0 0 25 0 1 0 147064260 308748288 73681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 75378 73681 139 317 0 75057 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 301512 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.98 2/78 1290 /proc/meminfo: memFree=1307632/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=301512 CPUtime=102.26 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 75888 0 0 0 10192 34 0 0 25 0 1 0 147064260 308748288 73681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 75378 73681 139 317 0 75057 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 301512 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1290 /proc/meminfo: memFree=1307056/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=302044 CPUtime=162.23 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 76043 0 0 0 16189 34 0 0 25 0 1 0 147064260 309293056 73836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 75511 73836 139 317 0 75190 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 302044 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1290 /proc/meminfo: memFree=1306480/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=302572 CPUtime=222.22 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 76174 0 0 0 22187 35 0 0 25 0 1 0 147064260 309833728 73967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 75643 73967 139 317 0 75322 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 302572 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1290 /proc/meminfo: memFree=1306032/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=303096 CPUtime=282.2 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 76326 0 0 0 28185 35 0 0 25 0 1 0 147064260 310370304 74119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 75774 74119 170 317 0 75453 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 303096 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1290 /proc/meminfo: memFree=1305584/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=303492 CPUtime=342.19 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 76437 0 0 0 34183 36 0 0 25 0 1 0 147064260 310775808 74230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 75873 74230 170 317 0 75552 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 303492 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1290 /proc/meminfo: memFree=1303152/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=306268 CPUtime=402.16 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 77061 0 0 0 40180 36 0 0 25 0 1 0 147064260 313618432 74854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385272 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 76567 74854 170 317 0 76246 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 306268 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1290 /proc/meminfo: memFree=1301424/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=308132 CPUtime=462.15 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 77495 0 0 0 46178 37 0 0 25 0 1 0 147064260 315527168 75288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 77033 75288 170 317 0 76712 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 308132 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1290 /proc/meminfo: memFree=1299568/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=309932 CPUtime=522.14 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 77945 0 0 0 52176 38 0 0 25 0 1 0 147064260 317370368 75738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 77483 75738 170 317 0 77162 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 309932 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1290 /proc/meminfo: memFree=1298736/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=310896 CPUtime=582.11 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 78152 0 0 0 58173 38 0 0 25 0 1 0 147064260 318357504 75945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 77724 75945 170 317 0 77403 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 310896 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1290 /proc/meminfo: memFree=1296688/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=312932 CPUtime=642.1 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 78654 0 0 0 64171 39 0 0 25 0 1 0 147064260 320442368 76447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 78233 76447 170 317 0 77912 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 312932 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1290 /proc/meminfo: memFree=1293488/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=316156 CPUtime=882.03 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 79442 0 0 0 88162 41 0 0 25 0 1 0 147064260 323743744 77235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 79039 77235 170 317 0 78718 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 316156 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1290 /proc/meminfo: memFree=1293168/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=316432 CPUtime=942.02 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 79535 0 0 0 94160 42 0 0 25 0 1 0 147064260 324026368 77328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 79108 77328 170 317 0 78787 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 316432 [startup+1002.3 s] /proc/loadavg: 1.04 0.99 0.98 2/78 1290 /proc/meminfo: memFree=1292592/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=317112 CPUtime=1001.99 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 79680 0 0 0 100157 42 0 0 25 0 1 0 147064260 324722688 77473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 79278 77473 170 317 0 78957 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 317112 [startup+1062.3 s] /proc/loadavg: 1.01 0.99 0.98 2/78 1290 /proc/meminfo: memFree=1291824/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=317728 CPUtime=1061.98 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 79854 0 0 0 106155 43 0 0 25 0 1 0 147064260 325353472 77647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 79432 77647 170 317 0 79111 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 317728 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 1290 /proc/meminfo: memFree=1290800/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=318788 CPUtime=1121.96 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 80108 0 0 0 112153 43 0 0 25 0 1 0 147064260 326438912 77901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 79697 77901 170 317 0 79376 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 318788 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 1290 /proc/meminfo: memFree=1290736/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=318932 CPUtime=1181.95 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 80128 0 0 0 118151 44 0 0 25 0 1 0 147064260 326586368 77921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 79733 77921 170 317 0 79412 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 318932 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 1290 /proc/meminfo: memFree=1290288/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=319348 CPUtime=1241.92 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 80248 0 0 0 124148 44 0 0 25 0 1 0 147064260 327012352 78041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 79837 78041 170 317 0 79516 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 319348 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 1290 /proc/meminfo: memFree=1290160/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=319484 CPUtime=1301.92 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 80265 0 0 0 130147 45 0 0 25 0 1 0 147064260 327151616 78058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 79871 78058 170 317 0 79550 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 319484 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 1290 /proc/meminfo: memFree=1290032/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=319616 CPUtime=1361.89 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 80287 0 0 0 136144 45 0 0 25 0 1 0 147064260 327286784 78080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 79904 78080 170 317 0 79583 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 319616 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/78 1290 /proc/meminfo: memFree=1289520/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=320004 CPUtime=1421.87 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 80399 0 0 0 142142 45 0 0 25 0 1 0 147064260 327684096 78192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385340 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 80001 78192 170 317 0 79680 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 320004 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 1290 /proc/meminfo: memFree=1289136/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=320408 CPUtime=1481.86 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 80487 0 0 0 148140 46 0 0 25 0 1 0 147064260 328097792 78280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385260 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 80102 78280 170 317 0 79781 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 320408 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 1290 /proc/meminfo: memFree=1288816/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=320800 CPUtime=1541.84 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 80594 0 0 0 154138 46 0 0 25 0 1 0 147064260 328499200 78387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 80200 78387 170 317 0 79879 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 320800 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 1290 /proc/meminfo: memFree=1288112/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=321612 CPUtime=1601.82 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 80776 0 0 0 160135 47 0 0 25 0 1 0 147064260 329330688 78569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 80403 78569 170 317 0 80082 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 321612 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 1290 /proc/meminfo: memFree=1287152/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=322520 CPUtime=1661.8 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 81016 0 0 0 166133 47 0 0 25 0 1 0 147064260 330260480 78809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 80630 78809 170 317 0 80309 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 322520 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 1290 /proc/meminfo: memFree=1286512/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=323136 CPUtime=1721.79 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 81179 0 0 0 172131 48 0 0 25 0 1 0 147064260 330891264 78972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 80784 78972 170 317 0 80463 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 323136 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 1290 /proc/meminfo: memFree=1285360/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=324324 CPUtime=1781.77 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 81461 0 0 0 178128 49 0 0 25 0 1 0 147064260 332107776 79254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384537 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 81081 79254 170 317 0 80760 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 324324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.98 2/78 1290 /proc/meminfo: memFree=1285104/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=324584 CPUtime=1800.07 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 81522 0 0 0 179958 49 0 0 25 0 1 0 147064260 332374016 79315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 81146 79315 170 317 0 80825 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 324584 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.98 2/78 1290 /proc/meminfo: memFree=1285104/2055920 swapFree=4141660/4192956 [pid=1289] ppid=1287 vsize=308916 CPUtime=1800.26 /proc/1289/stat : 1289 (oree) R 1287 1289 986 0 -1 4194304 81538 0 0 0 179977 49 0 0 25 0 1 0 147064260 316329984 75572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135138633 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1289/statm: 77229 75572 186 317 0 76908 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 308916 Child status: 0 Real time (s): 1800.89 CPU time (s): 1800.36 CPU user time (s): 1799.81 CPU system time (s): 0.544917 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 324584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.81 system time used= 0.544917 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81538 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9 involuntary context switches= 37851 runsolver used 2.12968 second user time and 4.30734 second system time The end
Begin job on node17 on Thu Apr 19 14:04:27 UTC 2007 IDJOB= 357216 IDBENCH= 2277 IDSOLVER= 172 FILE ID= node17/357216-1176991465 PBS_JOBID= 4630469 Free space on /tmp= 66354 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb COMMAND LINE= oree /tmp/evaluation/357216-1176991465/instance-357216-1176991465.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-357216-1176991465 -o ROOT/results/node17/solver-357216-1176991465 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357216-1176991465/instance-357216-1176991465.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d5dba1ae5450ecccd67bf40744af7c62 RANDOM SEED= 422995673 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.240 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 : 5914.62 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.240 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1602192 kB Buffers: 36576 kB Cached: 335812 kB SwapCached: 14192 kB Active: 162996 kB Inactive: 232928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1602192 kB SwapTotal: 4192956 kB SwapFree: 4141660 kB Dirty: 40180 kB Writeback: 0 kB Mapped: 29704 kB Slab: 43256 kB Committed_AS: 7106220 kB PageTables: 1796 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66354 MiB End job on node17 on Thu Apr 19 14:34:31 UTC 2007