Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.37 | 1800.97 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome11.opb |
MD5SUM | af7b516198b9fda389a0d83cfb6c28d1 |
Bench Category | OPT-SMALLINT (optimisation, small 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 | 639 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 887406 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 887406 |
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/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... 7.88/7.97 c ...done 7.88/7.97 c #vars=733406 #constraints=24311 hasObjective=yes 14.39/14.41 c res. mode=mod 14.39/14.41 c VSIDS like heuristics 14.39/14.41 c complete search running 24.68/24.78 c restart after 401 decisions 26.78/26.82 c nbDecision=500 #constraints=24424 33.28/33.30 c restart after 801 decisions 37.38/37.49 c nbDecision=1000 #constraints=24516 47.67/47.73 c nbDecision=1500 #constraints=24565 49.77/49.84 c restart after 1601 decisions 58.07/58.13 c nbDecision=2000 #constraints=24622 68.07/68.19 c nbDecision=2500 #constraints=24648 78.87/78.97 c nbDecision=3000 #constraints=24736 83.17/83.29 c restart after 3201 decisions 89.27/89.39 c nbDecision=3500 #constraints=24798 99.97/100.00 c nbDecision=4000 #constraints=24874 110.36/110.42 c nbDecision=4500 #constraints=24927 120.65/120.77 c nbDecision=5000 #constraints=24965 131.05/131.16 c nbDecision=5500 #constraints=25024 141.35/141.41 c nbDecision=6000 #constraints=25049 149.75/149.88 c restart after 6401 decisions 151.75/151.85 c nbDecision=6500 #constraints=25129 162.15/162.24 c nbDecision=7000 #constraints=25185 172.75/172.84 c nbDecision=7500 #constraints=25258 183.35/183.43 c nbDecision=8000 #constraints=25330 193.64/193.73 c nbDecision=8500 #constraints=25347 203.94/204.08 c nbDecision=9000 #constraints=25391 214.24/214.36 c nbDecision=9500 #constraints=25424 224.73/224.84 c nbDecision=10000 #constraints=25482 235.13/235.21 c nbDecision=10500 #constraints=25524 245.63/245.73 c nbDecision=11000 #constraints=25593 256.13/256.29 c nbDecision=11500 #constraints=25662 266.32/266.42 c nbDecision=12000 #constraints=25674 276.52/276.70 c nbDecision=12500 #constraints=25700 282.81/282.91 c restart after 12801 decisions 286.81/286.91 c nbDecision=13000 #constraints=25734 296.91/297.09 c nbDecision=13500 #constraints=25746 307.31/307.42 c nbDecision=14000 #constraints=25787 317.60/317.73 c nbDecision=14500 #constraints=25811 327.80/327.93 c nbDecision=15000 #constraints=25853 338.10/338.24 c nbDecision=15500 #constraints=25882 348.50/348.61 c nbDecision=16000 #constraints=25930 358.50/358.62 c nbDecision=16500 #constraints=25935 368.59/368.75 c nbDecision=17000 #constraints=25952 379.29/379.46 c nbDecision=17500 #constraints=26036 389.58/389.74 c nbDecision=18000 #constraints=26065 399.98/400.10 c nbDecision=18500 #constraints=26104 410.08/410.28 c nbDecision=19000 #constraints=26125 420.57/420.72 c nbDecision=19500 #constraints=26172 430.77/430.94 c nbDecision=20000 #constraints=26194 441.17/441.33 c nbDecision=20500 #constraints=26235 451.37/451.56 c nbDecision=21000 #constraints=26260 461.57/461.79 c nbDecision=21500 #constraints=26279 471.87/472.06 c nbDecision=22000 #constraints=26305 482.06/482.26 c nbDecision=22500 #constraints=26323 492.36/492.54 c nbDecision=23000 #constraints=26354 502.56/502.75 c nbDecision=23500 #constraints=26375 512.96/513.12 c nbDecision=24000 #constraints=26412 523.05/523.27 c nbDecision=24500 #constraints=26426 533.35/533.58 c nbDecision=25000 #constraints=26457 543.75/543.92 c nbDecision=25500 #constraints=26494 545.75/545.96 c restart after 25601 decisions 553.74/553.93 c nbDecision=26000 #constraints=26498 563.94/564.19 c nbDecision=26500 #constraints=26528 574.44/574.66 c nbDecision=27000 #constraints=26587 584.73/584.90 c nbDecision=27500 #constraints=26627 594.93/595.17 c nbDecision=28000 #constraints=26649 605.13/605.31 c nbDecision=28500 #constraints=26665 615.22/615.41 c nbDecision=29000 #constraints=26688 625.32/625.52 c nbDecision=29500 #constraints=26693 635.72/635.93 c nbDecision=30000 #constraints=26733 645.91/646.19 c nbDecision=30500 #constraints=26761 656.11/656.39 c nbDecision=31000 #constraints=26774 666.41/666.66 c nbDecision=31500 #constraints=26804 676.81/677.05 c nbDecision=32000 #constraints=26837 687.00/687.23 c nbDecision=32500 #constraints=26855 697.20/697.43 c nbDecision=33000 #constraints=26868 707.40/707.68 c nbDecision=33500 #constraints=26895 717.69/717.97 c nbDecision=34000 #constraints=26917 727.99/728.23 c nbDecision=34500 #constraints=26949 738.19/738.46 c nbDecision=35000 #constraints=26961 748.39/748.65 c nbDecision=35500 #constraints=26982 758.79/759.00 c nbDecision=36000 #constraints=27013 768.99/769.22 c nbDecision=36500 #constraints=27035 779.29/779.57 c nbDecision=37000 #constraints=27068 789.49/789.77 c nbDecision=37500 #constraints=27083 799.68/799.94 c nbDecision=38000 #constraints=27093 809.88/810.16 c nbDecision=38500 #constraints=27115 820.28/820.51 c nbDecision=39000 #constraints=27149 830.37/830.70 c nbDecision=39500 #constraints=27164 840.67/840.92 c nbDecision=40000 #constraints=27176 850.97/851.21 c nbDecision=40500 #constraints=27203 861.16/861.41 c nbDecision=41000 #constraints=27218 871.36/871.66 c nbDecision=41500 #constraints=27244 881.66/881.96 c nbDecision=42000 #constraints=27266 891.95/892.20 c nbDecision=42500 #constraints=27285 902.15/902.48 c nbDecision=43000 #constraints=27311 912.45/912.70 c nbDecision=43500 #constraints=27329 922.55/922.86 c nbDecision=44000 #constraints=27340 932.84/933.13 c nbDecision=44500 #constraints=27362 943.24/943.51 c nbDecision=45000 #constraints=27395 953.44/953.73 c nbDecision=45500 #constraints=27409 963.83/964.16 c nbDecision=46000 #constraints=27452 974.03/974.33 c nbDecision=46500 #constraints=27464 984.13/984.49 c nbDecision=47000 #constraints=27477 994.42/994.71 c nbDecision=47500 #constraints=27491 1004.62/1004.91 c nbDecision=48000 #constraints=27507 1014.92/1015.25 c nbDecision=48500 #constraints=27535 1025.12/1025.49 c nbDecision=49000 #constraints=27557 1035.41/1035.76 c nbDecision=49500 #constraints=27571 1045.61/1045.92 c nbDecision=50000 #constraints=27587 1055.81/1056.11 c nbDecision=50500 #constraints=27598 1065.91/1066.25 c nbDecision=51000 #constraints=27607 1070.10/1070.41 c restart after 51201 decisions 1076.10/1076.48 c nbDecision=51500 #constraints=27628 1086.20/1086.53 c nbDecision=52000 #constraints=27634 1096.60/1096.97 c nbDecision=52500 #constraints=27692 1106.89/1107.26 c nbDecision=53000 #constraints=27744 1117.09/1117.47 c nbDecision=53500 #constraints=27756 1127.59/1127.94 c nbDecision=54000 #constraints=27820 1138.09/1138.45 c nbDecision=54500 #constraints=27893 1148.48/1148.82 c nbDecision=55000 #constraints=27935 1158.98/1159.31 c nbDecision=55500 #constraints=27971 1169.37/1169.73 c nbDecision=56000 #constraints=28006 1179.67/1180.06 c nbDecision=56500 #constraints=28028 1190.07/1190.43 c nbDecision=57000 #constraints=28064 1200.26/1200.69 c nbDecision=57500 #constraints=28083 1210.36/1210.80 c nbDecision=58000 #constraints=28089 1220.76/1221.15 c nbDecision=58500 #constraints=28111 1230.95/1231.32 c nbDecision=59000 #constraints=28122 1241.46/1241.87 c nbDecision=59500 #constraints=28167 1251.96/1252.34 c nbDecision=60000 #constraints=28201 1262.36/1262.78 c nbDecision=60500 #constraints=28235 1272.55/1272.97 c nbDecision=61000 #constraints=28247 1282.75/1283.14 c nbDecision=61500 #constraints=28256 1293.25/1293.66 c nbDecision=62000 #constraints=28297 1303.74/1304.14 c nbDecision=62500 #constraints=28332 1314.04/1314.45 c nbDecision=63000 #constraints=28355 1324.24/1324.68 c nbDecision=63500 #constraints=28367 1334.74/1335.13 c nbDecision=64000 #constraints=28397 1345.03/1345.45 c nbDecision=64500 #constraints=28419 1355.23/1355.63 c nbDecision=65000 #constraints=28427 1365.53/1365.91 c nbDecision=65500 #constraints=28447 1375.82/1376.22 c nbDecision=66000 #constraints=28474 1385.92/1386.40 c nbDecision=66500 #constraints=28498 1396.52/1396.96 c nbDecision=67000 #constraints=28583 1406.61/1407.09 c nbDecision=67500 #constraints=28592 1417.11/1417.52 c nbDecision=68000 #constraints=28627 1427.21/1427.61 c nbDecision=68500 #constraints=28649 1437.70/1438.15 c nbDecision=69000 #constraints=28718 1447.80/1448.29 c nbDecision=69500 #constraints=28731 1458.10/1458.55 c nbDecision=70000 #constraints=28756 1468.39/1468.84 c nbDecision=70500 #constraints=28804 1478.79/1479.23 c nbDecision=71000 #constraints=28840 1489.09/1489.56 c nbDecision=71500 #constraints=28881 1499.49/1499.93 c nbDecision=72000 #constraints=28935 1509.68/1510.17 c nbDecision=72500 #constraints=28961 1520.28/1520.71 c nbDecision=73000 #constraints=29002 1530.68/1531.19 c nbDecision=73500 #constraints=29044 1541.08/1541.59 c nbDecision=74000 #constraints=29076 1551.28/1551.79 c nbDecision=74500 #constraints=29090 1561.48/1561.96 c nbDecision=75000 #constraints=29097 1574.17/1574.68 c nbDecision=75500 #constraints=29285 1584.67/1585.19 c nbDecision=76000 #constraints=29315 1595.36/1595.80 c nbDecision=76500 #constraints=29361 1605.76/1606.29 c nbDecision=77000 #constraints=29396 1616.06/1616.51 c nbDecision=77500 #constraints=29405 1626.25/1626.73 c nbDecision=78000 #constraints=29419 1636.55/1637.04 c nbDecision=78500 #constraints=29431 1646.85/1647.30 c nbDecision=79000 #constraints=29448 1657.15/1657.62 c nbDecision=79500 #constraints=29467 1667.34/1667.89 c nbDecision=80000 #constraints=29490 1677.64/1678.14 c nbDecision=80500 #constraints=29499 1687.94/1688.40 c nbDecision=81000 #constraints=29520 1698.21/1698.73 c nbDecision=81500 #constraints=29535 1708.38/1708.91 c nbDecision=82000 #constraints=29549 1718.66/1719.20 c nbDecision=82500 #constraints=29561 1728.83/1729.50 c nbDecision=83000 #constraints=29581 1739.23/1739.81 c nbDecision=83500 #constraints=29599 1749.43/1750.05 c nbDecision=84000 #constraints=29618 1759.60/1760.24 c nbDecision=84500 #constraints=29637 1769.79/1770.43 c nbDecision=85000 #constraints=29650 1780.09/1780.76 c nbDecision=85500 #constraints=29676 1790.28/1790.97 c nbDecision=86000 #constraints=29689 1800.09/1800.70 Received signal 15 1800.09/1800.71 1800.09/1800.71 s UNKNOWN 1800.09/1800.71 1800.09/1800.71 c user time= 1799.7 s 1800.09/1800.71 c system time= 0.409937 s 1800.09/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node62/watcher-356861-1176845560 -o ROOT/results/node62/solver-356861-1176845560 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356861-1176845560/instance-356861-1176845560.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.91 0.95 0.90 3/64 5515 /proc/meminfo: memFree=1805120/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=1620 CPUtime=0 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 3132305 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 405 175 126 317 0 84 0 [startup+0.0352989 s] /proc/loadavg: 0.91 0.95 0.90 3/64 5515 /proc/meminfo: memFree=1805120/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=2400 CPUtime=0.03 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 470 0 0 0 3 0 0 0 18 0 1 0 3132305 2457600 354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 600 354 126 317 0 279 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2400 [startup+0.101306 s] /proc/loadavg: 0.91 0.95 0.90 3/64 5515 /proc/meminfo: memFree=1805120/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=5624 CPUtime=0.09 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 960 0 0 0 9 0 0 0 18 0 1 0 3132305 5758976 715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 1406 718 126 317 0 1085 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5624 [startup+0.301335 s] /proc/loadavg: 0.91 0.95 0.90 3/64 5515 /proc/meminfo: memFree=1805120/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=9548 CPUtime=0.29 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 2911 0 0 0 28 1 0 0 19 0 1 0 3132305 9777152 1896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 2387 1897 126 317 0 2066 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9548 [startup+0.701375 s] /proc/loadavg: 0.91 0.95 0.90 3/64 5515 /proc/meminfo: memFree=1805120/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=17736 CPUtime=0.69 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 5692 0 0 0 66 3 0 0 22 0 1 0 3132305 18161664 3652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712505 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 4434 3652 127 317 0 4113 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17736 [startup+1.50147 s] /proc/loadavg: 0.91 0.95 0.90 2/65 5516 /proc/meminfo: memFree=1787064/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=34096 CPUtime=1.49 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 9684 0 0 0 144 5 0 0 25 0 1 0 3132305 34914304 7644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 8524 7644 131 317 0 8203 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34096 [startup+3.10166 s] /proc/loadavg: 0.92 0.95 0.90 2/65 5516 /proc/meminfo: memFree=1760312/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=74144 CPUtime=3.09 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 19517 0 0 0 300 9 0 0 25 0 1 0 3132305 75923456 17477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 18536 17479 131 317 0 18215 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 74144 [startup+6.30103 s] /proc/loadavg: 0.92 0.95 0.90 2/65 5516 /proc/meminfo: memFree=1678904/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=154284 CPUtime=6.29 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 39226 0 0 0 610 19 0 0 25 0 1 0 3132305 157986816 37186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 38571 37186 131 317 0 38250 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 154284 [startup+12.7028 s] /proc/loadavg: 0.93 0.96 0.91 2/65 5516 /proc/meminfo: memFree=1531000/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=280320 CPUtime=12.69 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 70626 0 0 0 1237 32 0 0 25 0 1 0 3132305 287047680 68586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 70080 68586 137 317 0 69759 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 280320 [startup+25.5013 s] /proc/loadavg: 0.94 0.96 0.91 2/65 5516 /proc/meminfo: memFree=1510712/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=301180 CPUtime=25.48 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 75834 0 0 0 2514 34 0 0 25 0 1 0 3132305 308408320 73627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 75295 73627 139 317 0 74974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 301180 [startup+51.1012 s] /proc/loadavg: 0.96 0.96 0.91 2/65 5516 /proc/meminfo: memFree=1510840/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=301180 CPUtime=51.07 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 75837 0 0 0 5073 34 0 0 25 0 1 0 3132305 308408320 73630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385260 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 75295 73630 139 317 0 74974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 301180 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.91 2/65 5516 /proc/meminfo: memFree=1509816/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=302368 CPUtime=102.27 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 76132 0 0 0 10192 35 0 0 25 0 1 0 3132305 309624832 73925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 75592 73925 139 317 0 75271 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 302368 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5516 /proc/meminfo: memFree=1508664/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=303416 CPUtime=162.25 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 76397 0 0 0 16189 36 0 0 25 0 1 0 3132305 310697984 74190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 75854 74190 139 317 0 75533 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 303416 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5516 /proc/meminfo: memFree=1506424/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=305544 CPUtime=222.24 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 76979 0 0 0 22188 36 0 0 25 0 1 0 3132305 312877056 74772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 76386 74772 170 317 0 76065 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 305544 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5516 /proc/meminfo: memFree=1505144/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=306864 CPUtime=282.21 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 77296 0 0 0 28185 36 0 0 25 0 1 0 3132305 314228736 75089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 76716 75089 170 317 0 76395 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 306864 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5516 /proc/meminfo: memFree=1504120/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=307776 CPUtime=342.2 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 77535 0 0 0 34184 36 0 0 25 0 1 0 3132305 315162624 75328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 76944 75328 170 317 0 76623 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 307776 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5516 /proc/meminfo: memFree=1502776/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=309092 CPUtime=402.18 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 77873 0 0 0 40182 36 0 0 25 0 1 0 3132305 316510208 75666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 77273 75666 170 317 0 76952 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 309092 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5516 /proc/meminfo: memFree=1501240/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=310660 CPUtime=462.17 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 78244 0 0 0 46180 37 0 0 25 0 1 0 3132305 318115840 76037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 77665 76037 170 317 0 77344 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 310660 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5516 /proc/meminfo: memFree=1500088/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=311828 CPUtime=522.15 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 78548 0 0 0 52178 37 0 0 25 0 1 0 3132305 319311872 76341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 77957 76341 170 317 0 77636 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 311828 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5516 /proc/meminfo: memFree=1499064/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=312760 CPUtime=582.13 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 78796 0 0 0 58176 37 0 0 25 0 1 0 3132305 320266240 76589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 78190 76589 170 317 0 77869 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 312760 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5516 /proc/meminfo: memFree=1498232/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=313556 CPUtime=642.12 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 78993 0 0 0 64175 37 0 0 25 0 1 0 3132305 321081344 76786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 78389 76786 170 317 0 78068 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 313556 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5516 /proc/meminfo: memFree=1491704/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=320148 CPUtime=942.04 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 80620 0 0 0 94166 38 0 0 25 0 1 0 3132305 327831552 78413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 80037 78413 170 317 0 79716 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 320148 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5516 /proc/meminfo: memFree=1490616/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=321180 CPUtime=1002.02 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 80904 0 0 0 100164 38 0 0 25 0 1 0 3132305 328888320 78697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 80295 78697 170 317 0 79974 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 321180 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5516 /proc/meminfo: memFree=1489592/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=322244 CPUtime=1062.01 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 81148 0 0 0 106163 38 0 0 25 0 1 0 3132305 329977856 78941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 80561 78941 170 317 0 80240 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 322244 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5516 /proc/meminfo: memFree=1488056/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=323856 CPUtime=1121.99 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 81534 0 0 0 112161 38 0 0 25 0 1 0 3132305 331628544 79327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 80964 79327 170 317 0 80643 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 323856 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5518 /proc/meminfo: memFree=1485560/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=326252 CPUtime=1181.97 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 82142 0 0 0 118159 38 0 0 25 0 1 0 3132305 334082048 79935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 81563 79935 170 317 0 81242 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 326252 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5518 /proc/meminfo: memFree=1482872/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=329408 CPUtime=1241.95 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 82818 0 0 0 124157 38 0 0 25 0 1 0 3132305 337313792 80611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 82352 80611 170 317 0 82031 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 329408 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5518 /proc/meminfo: memFree=1480760/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=331540 CPUtime=1301.95 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 83339 0 0 0 130156 39 0 0 25 0 1 0 3132305 339496960 81132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 82885 81132 170 317 0 82564 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 331540 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5518 /proc/meminfo: memFree=1479288/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=332852 CPUtime=1361.93 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 83684 0 0 0 136154 39 0 0 25 0 1 0 3132305 340840448 81477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 83213 81477 170 317 0 82892 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 332852 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5518 /proc/meminfo: memFree=1478136/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=334040 CPUtime=1421.91 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 83975 0 0 0 142152 39 0 0 25 0 1 0 3132305 342056960 81768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 83510 81768 170 317 0 83189 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 334040 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5518 /proc/meminfo: memFree=1477112/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=335100 CPUtime=1481.89 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 84233 0 0 0 148150 39 0 0 25 0 1 0 3132305 343142400 82026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 83775 82026 170 317 0 83454 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 335100 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5518 /proc/meminfo: memFree=1474936/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=336828 CPUtime=1541.88 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 84781 0 0 0 154148 40 0 0 25 0 1 0 3132305 344911872 82574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 84207 82574 170 317 0 83886 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 336828 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5518 /proc/meminfo: memFree=1469560/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=342120 CPUtime=1601.86 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 86110 0 0 0 160146 40 0 0 25 0 1 0 3132305 350330880 83903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 85530 83903 170 317 0 85209 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 342120 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5518 /proc/meminfo: memFree=1468408/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=343172 CPUtime=1661.84 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 86383 0 0 0 166144 40 0 0 25 0 1 0 3132305 351408128 84176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 85793 84176 170 317 0 85472 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 343172 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/71 5640 /proc/meminfo: memFree=1466024/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=344224 CPUtime=1721.75 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 86643 0 0 0 172135 40 0 0 25 0 1 0 3132305 352485376 84436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 86056 84436 170 317 0 85735 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 344224 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5716 /proc/meminfo: memFree=1466168/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=345276 CPUtime=1781.69 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 86908 0 0 0 178129 40 0 0 25 0 1 0 3132305 353562624 84701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 86319 84701 170 317 0 85998 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 345276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5716 /proc/meminfo: memFree=1465848/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=345532 CPUtime=1800.09 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 86991 0 0 0 179969 40 0 0 25 0 1 0 3132305 353824768 84784 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 86383 84784 170 317 0 86062 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 345532 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5716 /proc/meminfo: memFree=1465848/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=329864 CPUtime=1800.19 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 87007 0 0 0 179978 41 0 0 25 0 1 0 3132305 337780736 81012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266215 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 82466 81012 186 317 0 82145 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 329864 [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5716 /proc/meminfo: memFree=1465848/2055920 swapFree=4192956/4192956 [pid=5515] ppid=5513 vsize=329864 CPUtime=1800.29 /proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 87007 0 0 0 179988 41 0 0 25 0 1 0 3132305 337780736 81012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5515/statm: 82466 81012 186 317 0 82145 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 329864 Child status: 0 Real time (s): 1800.97 CPU time (s): 1800.37 CPU user time (s): 1799.9 CPU system time (s): 0.460929 CPU usage (%): 99.9663 Max. virtual memory (cumulated for all children) (KiB): 345532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.9 system time used= 0.460929 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87007 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= 8 involuntary context switches= 2240 runsolver used 1.18782 second user time and 3.80542 second system time The end
Begin job on node62 on Tue Apr 17 21:32:43 UTC 2007 IDJOB= 356861 IDBENCH= 1537 IDSOLVER= 172 FILE ID= node62/356861-1176845560 PBS_JOBID= 4590172 Free space on /tmp= 66490 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome11.opb COMMAND LINE= oree /tmp/evaluation/356861-1176845560/instance-356861-1176845560.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-356861-1176845560 -o ROOT/results/node62/solver-356861-1176845560 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356861-1176845560/instance-356861-1176845560.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= af7b516198b9fda389a0d83cfb6c28d1 RANDOM SEED= 670445076 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node62.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.216 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.216 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: 1805464 kB Buffers: 22172 kB Cached: 171016 kB SwapCached: 0 kB Active: 101220 kB Inactive: 107452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1805464 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 30120 kB Writeback: 0 kB Mapped: 25660 kB Slab: 27728 kB Committed_AS: 55864 kB PageTables: 1460 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= 66490 MiB End job on node62 on Tue Apr 17 22:02:46 UTC 2007