Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.11 | 1800.69 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-kb2.opb |
MD5SUM | 7bb51fb18714f8fdd98e0de4fc62f6d8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 1096 |
Total number of constraints | 52 |
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 | 52 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 48 |
Biggest coefficient in the objective function | 4325376 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 12058535 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 5715913739337728 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 75299293548900036 |
Number of bits of the biggest sum of numbers | 57 |
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... 0.00/0.03 c ...done 0.00/0.03 c #vars=1096 #constraints=69 hasObjective=yes 0.00/0.03 c res. mode=mod 0.00/0.03 c VSIDS like heuristics 0.00/0.03 c complete search running 0.10/0.15 c restart after 401 decisions 0.10/0.16 c nbDecision=500 #constraints=136 0.19/0.23 c restart after 801 decisions 0.29/0.39 c nbDecision=1000 #constraints=202 2.09/2.18 c nbDecision=1500 #constraints=583 2.58/2.61 c restart after 1601 decisions 3.79/3.83 c nbDecision=2000 #constraints=846 6.39/6.50 c nbDecision=2500 #constraints=1167 8.79/8.85 c nbDecision=3000 #constraints=1468 9.89/9.98 c restart after 3201 decisions 10.19/10.24 c nbDecision=3500 #constraints=1615 11.19/11.28 c nbDecision=4000 #constraints=1734 13.68/13.78 c nbDecision=4500 #constraints=1949 15.09/15.16 c nbDecision=5000 #constraints=2073 16.69/16.79 c nbDecision=5500 #constraints=2193 21.39/21.48 c nbDecision=6000 #constraints=2540 25.59/25.62 c restart after 6401 decisions 25.78/25.80 c nbDecision=6500 #constraints=2840 27.08/27.16 c nbDecision=7000 #constraints=2904 29.48/29.52 c nbDecision=7500 #constraints=3028 30.88/30.90 c nbDecision=8000 #constraints=3105 33.48/33.52 c nbDecision=8500 #constraints=3237 36.49/36.59 c nbDecision=9000 #constraints=3383 39.28/39.36 c nbDecision=9500 #constraints=3536 44.88/44.91 c nbDecision=10000 #constraints=3771 48.97/49.05 c nbDecision=10500 #constraints=3947 52.38/52.49 c nbDecision=11000 #constraints=4068 55.77/55.83 c nbDecision=11500 #constraints=4190 60.38/60.47 c nbDecision=12000 #constraints=4366 65.98/66.07 c nbDecision=12500 #constraints=4573 68.08/68.16 c restart after 12801 decisions 69.08/69.11 c nbDecision=13000 #constraints=4655 72.37/72.43 c nbDecision=13500 #constraints=4756 76.47/76.59 c nbDecision=14000 #constraints=4881 81.87/81.92 c nbDecision=14500 #constraints=5051 90.27/90.37 c nbDecision=15000 #constraints=5354 98.97/99.08 c nbDecision=15500 #constraints=5619 106.87/106.98 c nbDecision=16000 #constraints=5868 116.93/117.09 c nbDecision=16500 #constraints=6151 127.90/128.08 c nbDecision=17000 #constraints=6434 139.88/140.01 c nbDecision=17500 #constraints=6739 151.17/151.32 c nbDecision=18000 #constraints=7000 162.26/162.50 c nbDecision=18500 #constraints=7241 174.05/174.26 c nbDecision=19000 #constraints=7479 184.95/185.13 c nbDecision=19500 #constraints=7677 196.54/196.70 c nbDecision=20000 #constraints=7924 209.23/209.42 c nbDecision=20500 #constraints=8169 219.74/219.95 c nbDecision=21000 #constraints=8362 233.93/234.20 c nbDecision=21500 #constraints=8634 247.93/248.12 c nbDecision=22000 #constraints=8876 260.92/261.14 c nbDecision=22500 #constraints=9105 272.72/272.96 c nbDecision=23000 #constraints=9322 284.52/284.74 c nbDecision=23500 #constraints=9528 295.11/295.36 c nbDecision=24000 #constraints=9697 310.21/310.43 c nbDecision=24500 #constraints=9918 324.41/324.69 c nbDecision=25000 #constraints=10128 337.91/338.13 c nbDecision=25500 #constraints=10336 340.21/340.43 c restart after 25601 decisions 346.21/346.48 c nbDecision=26000 #constraints=10466 352.30/352.58 c nbDecision=26500 #constraints=10542 362.40/362.60 c nbDecision=27000 #constraints=10679 375.00/375.26 c nbDecision=27500 #constraints=10838 384.99/385.21 c nbDecision=28000 #constraints=10979 391.49/391.71 c nbDecision=28500 #constraints=11072 401.29/401.55 c nbDecision=29000 #constraints=11204 409.09/409.36 c nbDecision=29500 #constraints=11327 419.99/420.29 c nbDecision=30000 #constraints=11486 432.28/432.56 c nbDecision=30500 #constraints=11744 444.09/444.31 c nbDecision=31000 #constraints=11939 452.68/452.95 c nbDecision=31500 #constraints=12054 463.47/463.78 c nbDecision=32000 #constraints=12190 473.36/473.61 c nbDecision=32500 #constraints=12301 484.96/485.24 c nbDecision=33000 #constraints=12459 497.66/497.91 c nbDecision=33500 #constraints=12662 509.96/510.30 c nbDecision=34000 #constraints=12859 519.46/519.70 c nbDecision=34500 #constraints=12981 529.25/529.55 c nbDecision=35000 #constraints=13104 547.15/547.50 c nbDecision=35500 #constraints=13381 563.65/563.99 c nbDecision=36000 #constraints=13633 575.54/575.84 c nbDecision=36500 #constraints=13781 584.84/585.18 c nbDecision=37000 #constraints=13882 598.94/599.23 c nbDecision=37500 #constraints=14055 610.43/610.79 c nbDecision=38000 #constraints=14185 622.92/623.28 c nbDecision=38500 #constraints=14308 638.43/638.78 c nbDecision=39000 #constraints=14478 659.01/659.37 c nbDecision=39500 #constraints=14706 669.82/670.18 c nbDecision=40000 #constraints=14847 682.31/682.66 c nbDecision=40500 #constraints=14964 695.11/695.47 c nbDecision=41000 #constraints=15088 707.71/708.06 c nbDecision=41500 #constraints=15205 723.30/723.67 c nbDecision=42000 #constraints=15393 746.99/747.36 c nbDecision=42500 #constraints=15614 762.09/762.48 c nbDecision=43000 #constraints=15766 777.18/777.56 c nbDecision=43500 #constraints=15914 794.68/795.08 c nbDecision=44000 #constraints=16061 811.48/811.81 c nbDecision=44500 #constraints=16235 826.18/826.52 c nbDecision=45000 #constraints=16388 840.27/840.67 c nbDecision=45500 #constraints=16527 853.96/854.35 c nbDecision=46000 #constraints=16655 874.86/875.22 c nbDecision=46500 #constraints=16883 894.56/894.93 c nbDecision=47000 #constraints=17095 913.45/913.88 c nbDecision=47500 #constraints=17254 928.45/928.80 c nbDecision=48000 #constraints=17397 942.64/943.04 c nbDecision=48500 #constraints=17527 959.24/959.66 c nbDecision=49000 #constraints=17661 976.84/977.25 c nbDecision=49500 #constraints=17827 991.83/992.27 c nbDecision=50000 #constraints=17949 1007.23/1007.63 c nbDecision=50500 #constraints=18054 1024.53/1024.99 c nbDecision=51000 #constraints=18218 1030.82/1031.23 c restart after 51201 decisions 1037.62/1038.08 c nbDecision=51500 #constraints=18318 1057.61/1058.07 c nbDecision=52000 #constraints=18523 1074.40/1074.82 c nbDecision=52500 #constraints=18679 1088.41/1088.85 c nbDecision=53000 #constraints=18785 1101.50/1101.94 c nbDecision=53500 #constraints=18871 1115.01/1115.49 c nbDecision=54000 #constraints=18980 1127.00/1127.49 c nbDecision=54500 #constraints=19057 1142.09/1142.58 c nbDecision=55000 #constraints=19181 1152.99/1153.43 c nbDecision=55500 #constraints=19258 1166.38/1166.87 c nbDecision=56000 #constraints=19360 1176.88/1177.31 c nbDecision=56500 #constraints=19435 1190.48/1190.91 c nbDecision=57000 #constraints=19523 1205.17/1205.66 c nbDecision=57500 #constraints=19637 1217.07/1217.58 c nbDecision=58000 #constraints=19732 1229.86/1230.31 c nbDecision=58500 #constraints=19825 1245.96/1246.42 c nbDecision=59000 #constraints=19940 1257.06/1257.57 c nbDecision=59500 #constraints=20032 1268.76/1269.22 c nbDecision=60000 #constraints=20112 1281.95/1282.49 c nbDecision=60500 #constraints=20216 1291.15/1291.63 c nbDecision=61000 #constraints=20267 1300.65/1301.18 c nbDecision=61500 #constraints=20327 1315.64/1316.15 c nbDecision=62000 #constraints=20423 1331.13/1331.67 c nbDecision=62500 #constraints=20537 1342.54/1343.05 c nbDecision=63000 #constraints=20600 1354.13/1354.65 c nbDecision=63500 #constraints=20665 1364.73/1365.27 c nbDecision=64000 #constraints=20721 1380.12/1380.61 c nbDecision=64500 #constraints=20832 1397.32/1397.80 c nbDecision=65000 #constraints=20974 1409.42/1409.92 c nbDecision=65500 #constraints=21084 1422.42/1422.95 c nbDecision=66000 #constraints=21178 1431.91/1432.50 c nbDecision=66500 #constraints=21226 1441.71/1442.27 c nbDecision=67000 #constraints=21285 1455.31/1455.83 c nbDecision=67500 #constraints=21389 1468.90/1469.49 c nbDecision=68000 #constraints=21474 1483.70/1484.26 c nbDecision=68500 #constraints=21583 1499.20/1499.73 c nbDecision=69000 #constraints=21687 1512.29/1512.84 c nbDecision=69500 #constraints=21792 1523.29/1523.82 c nbDecision=70000 #constraints=21868 1535.09/1535.68 c nbDecision=70500 #constraints=21972 1547.19/1547.74 c nbDecision=71000 #constraints=22052 1560.48/1561.01 c nbDecision=71500 #constraints=22147 1574.37/1574.97 c nbDecision=72000 #constraints=22240 1587.97/1588.51 c nbDecision=72500 #constraints=22336 1602.47/1603.05 c nbDecision=73000 #constraints=22445 1616.16/1616.71 c nbDecision=73500 #constraints=22549 1629.56/1630.12 c nbDecision=74000 #constraints=22638 1644.66/1645.23 c nbDecision=74500 #constraints=22740 1659.65/1660.27 c nbDecision=75000 #constraints=22866 1671.94/1672.56 c nbDecision=75500 #constraints=22972 1687.05/1687.64 c nbDecision=76000 #constraints=23086 1701.74/1702.38 c nbDecision=76500 #constraints=23181 1716.63/1717.23 c nbDecision=77000 #constraints=23284 1734.73/1735.36 c nbDecision=77500 #constraints=23418 1750.73/1751.32 c nbDecision=78000 #constraints=23509 1767.62/1768.30 c nbDecision=78500 #constraints=23616 1782.52/1783.17 c nbDecision=79000 #constraints=23704 1795.92/1796.57 c nbDecision=79500 #constraints=23768 1800.02/1800.60 Received signal 15 1800.02/1800.61 1800.02/1800.61 s UNKNOWN 1800.02/1800.61 1800.02/1800.61 c user time= 1799.22 s 1800.02/1800.61 c system time= 0.814876 s 1800.02/1800.61 c wall clock time=1800.61
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-357330-1176994751 -o ROOT/results/node19/solver-357330-1176994751 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357330-1176994751/instance-357330-1176994751.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: 1.00 1.00 0.97 3/77 26463 /proc/meminfo: memFree=1720704/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=1468 CPUtime=0 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 147392496 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135174573 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 367 164 131 317 0 46 0 [startup+0.0548301 s] /proc/loadavg: 1.00 1.00 0.97 3/77 26463 /proc/meminfo: memFree=1720704/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=2128 CPUtime=0.05 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 366 0 0 0 5 0 0 0 18 0 1 0 147392496 2179072 348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 532 348 139 317 0 211 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2128 [startup+0.10283 s] /proc/loadavg: 1.00 1.00 0.97 3/77 26463 /proc/meminfo: memFree=1720704/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=2528 CPUtime=0.1 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 468 0 0 0 10 0 0 0 18 0 1 0 147392496 2588672 450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 632 450 170 317 0 311 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2528 [startup+0.30185 s] /proc/loadavg: 1.00 1.00 0.97 3/77 26463 /proc/meminfo: memFree=1720704/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=3452 CPUtime=0.29 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 709 0 0 0 29 0 0 0 19 0 1 0 147392496 3534848 691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 863 691 170 317 0 542 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3452 [startup+0.701894 s] /proc/loadavg: 1.00 1.00 0.97 3/77 26463 /proc/meminfo: memFree=1720704/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=5448 CPUtime=0.69 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 1217 0 0 0 69 0 0 0 22 0 1 0 147392496 5578752 1199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272922 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 1362 1199 170 317 0 1041 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5448 [startup+1.50198 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26464 /proc/meminfo: memFree=1715000/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=9564 CPUtime=1.49 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 2256 0 0 0 149 0 0 0 25 0 1 0 147392496 9793536 2238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 2391 2238 170 317 0 2070 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9564 [startup+3.10115 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26464 /proc/meminfo: memFree=1710200/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=16052 CPUtime=3.09 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 3863 0 0 0 308 1 0 0 25 0 1 0 147392496 16437248 3845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 4013 3845 170 317 0 3692 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16052 [startup+6.3015 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26464 /proc/meminfo: memFree=1700536/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=23284 CPUtime=6.29 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 5643 0 0 0 628 1 0 0 25 0 1 0 147392496 23842816 5625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 5821 5625 170 317 0 5500 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23284 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26464 /proc/meminfo: memFree=1685048/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=37708 CPUtime=12.68 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 9271 0 0 0 1266 2 0 0 25 0 1 0 147392496 38612992 9253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 9427 9253 170 317 0 9106 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 37708 [startup+25.5026 s] /proc/loadavg: 1.00 1.00 0.97 3/78 26464 /proc/meminfo: memFree=1662392/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=61644 CPUtime=25.49 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 14785 0 0 0 2544 5 0 0 25 0 1 0 147392496 63123456 14767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 15411 14767 170 317 0 15090 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 61644 [startup+51.1024 s] /proc/loadavg: 1.00 1.00 0.97 3/78 26464 /proc/meminfo: memFree=1642808/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=79968 CPUtime=51.08 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 19675 0 0 0 5099 9 0 0 25 0 1 0 147392496 81887232 19657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 19992 19657 170 317 0 19671 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 79968 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26464 /proc/meminfo: memFree=1607032/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=119708 CPUtime=102.27 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 28530 0 0 0 10213 14 0 0 25 0 1 0 147392496 122580992 28512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718422 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 29927 28512 170 317 0 29606 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 119708 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.97 2/84 26642 /proc/meminfo: memFree=1575872/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=147544 CPUtime=162.16 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 35982 0 0 0 16196 20 0 0 25 0 1 0 147392496 151085056 35964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 36886 35964 170 317 0 36565 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 147544 [startup+222.303 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1554104/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=169308 CPUtime=222.14 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 41715 0 0 0 22189 25 0 0 25 0 1 0 147392496 173371392 41640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 42327 41640 170 317 0 42006 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 169308 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1522936/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=212664 CPUtime=282.12 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 49521 0 0 0 28182 30 0 0 25 0 1 0 147392496 217767936 49446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 53166 49446 170 317 0 52845 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 212664 [startup+342.303 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1504824/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=229532 CPUtime=342.11 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 54027 0 0 0 34178 33 0 0 25 0 1 0 147392496 235040768 53952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 57383 53952 170 317 0 57062 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 229532 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1491064/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=243176 CPUtime=402.09 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 57464 0 0 0 40174 35 0 0 25 0 1 0 147392496 249012224 57389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 60794 57389 170 317 0 60473 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 243176 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1476024/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=256876 CPUtime=462.07 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 61235 0 0 0 46169 38 0 0 25 0 1 0 147392496 263041024 61160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 64219 61160 170 317 0 63898 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 256876 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1462840/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=269276 CPUtime=522.06 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 64541 0 0 0 52165 41 0 0 25 0 1 0 147392496 275738624 64466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 67319 64466 170 317 0 66998 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 269276 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1450360/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=281528 CPUtime=582.04 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 67619 0 0 0 58161 43 0 0 25 0 1 0 147392496 288284672 67544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 70382 67544 170 317 0 70061 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 281528 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1440248/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=290940 CPUtime=642.03 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 70138 0 0 0 64158 45 0 0 25 0 1 0 147392496 297922560 70063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 72735 70063 170 317 0 72414 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 290940 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1409848/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=318676 CPUtime=821.98 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 77724 0 0 0 82145 53 0 0 25 0 1 0 147392496 326324224 77649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 79669 77649 170 317 0 79348 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 318676 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1399224/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=330280 CPUtime=881.96 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 80707 0 0 0 88142 54 0 0 25 0 1 0 147392496 338206720 80288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 82570 80288 170 317 0 82249 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 330280 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1386296/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=354728 CPUtime=941.94 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 86106 0 0 0 94137 57 0 0 25 0 1 0 147392496 363241472 83509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 88682 83509 170 317 0 88361 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 354728 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1377464/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=362784 CPUtime=1001.92 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 88312 0 0 0 100133 59 0 0 25 0 1 0 147392496 371490816 85715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 90696 85715 170 317 0 90375 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 362784 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1368696/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=373180 CPUtime=1061.91 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 90798 0 0 0 106130 61 0 0 25 0 1 0 147392496 382136320 87937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 93295 87937 170 317 0 92974 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 373180 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1358328/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=392956 CPUtime=1121.9 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 95203 0 0 0 112126 64 0 0 25 0 1 0 147392496 402386944 90494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 98239 90494 170 317 0 97918 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 392956 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1351224/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=399508 CPUtime=1181.87 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 96981 0 0 0 118122 65 0 0 25 0 1 0 147392496 409096192 92272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 99877 92272 170 317 0 99556 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 399508 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1343800/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=407780 CPUtime=1241.86 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 99066 0 0 0 124119 67 0 0 25 0 1 0 147392496 417566720 94093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 101945 94093 170 317 0 101624 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 407780 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1336568/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=414040 CPUtime=1301.86 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 100865 0 0 0 130117 69 0 0 25 0 1 0 147392496 423976960 95892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 103510 95892 170 317 0 103189 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 414040 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1330936/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=420524 CPUtime=1361.83 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 102416 0 0 0 136113 70 0 0 25 0 1 0 147392496 430616576 97311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 105131 97311 170 317 0 104810 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 420524 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1324280/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=426232 CPUtime=1421.82 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 104087 0 0 0 142110 72 0 0 25 0 1 0 147392496 436461568 98982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 106558 98982 170 317 0 106237 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 426232 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1318072/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=431928 CPUtime=1481.8 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 105629 0 0 0 148107 73 0 0 25 0 1 0 147392496 442294272 100524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 107982 100524 170 317 0 107661 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 431928 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1311352/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=437916 CPUtime=1541.78 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 107290 0 0 0 154103 75 0 0 25 0 1 0 147392496 448425984 102185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 109479 102185 170 317 0 109158 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 437916 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1304888/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=443584 CPUtime=1601.77 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 108929 0 0 0 160101 76 0 0 25 0 1 0 147392496 454230016 103824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 110896 103824 170 317 0 110575 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 443584 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1297208/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=450328 CPUtime=1661.75 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 110859 0 0 0 166098 77 0 0 25 0 1 0 147392496 461135872 105721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 112582 105721 170 317 0 112261 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 450328 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 26662 /proc/meminfo: memFree=1290360/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=457092 CPUtime=1721.73 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 112618 0 0 0 172095 78 0 0 25 0 1 0 147392496 468062208 107414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 114273 107414 170 317 0 113952 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 457092 [startup+1782.3 s] /proc/loadavg: 1.06 1.03 0.98 2/78 26662 /proc/meminfo: memFree=1283128/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=463292 CPUtime=1781.72 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 114438 0 0 0 178092 80 0 0 25 0 1 0 147392496 474411008 109201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 115823 109201 170 317 0 115502 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 463292 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.05 1.02 0.98 2/78 26662 /proc/meminfo: memFree=1281848/2055920 swapFree=4159444/4192956 [pid=26463] ppid=26461 vsize=464460 CPUtime=1800.02 /proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 114756 0 0 0 179921 81 0 0 25 0 1 0 147392496 475607040 109519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26463/statm: 116115 109519 170 317 0 115794 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 464460 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.69 CPU time (s): 1800.11 CPU user time (s): 1799.23 CPU system time (s): 0.885865 CPU usage (%): 99.968 Max. virtual memory (cumulated for all children) (KiB): 464460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.23 system time used= 0.885865 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 114772 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= 1379 runsolver used 2.16667 second user time and 4.38733 second system time The end
Begin job on node19 on Thu Apr 19 14:59:11 UTC 2007 IDJOB= 357330 IDBENCH= 2418 IDSOLVER= 172 FILE ID= node19/357330-1176994751 PBS_JOBID= 4630466 Free space on /tmp= 66449 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-kb2.opb COMMAND LINE= oree /tmp/evaluation/357330-1176994751/instance-357330-1176994751.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-357330-1176994751 -o ROOT/results/node19/solver-357330-1176994751 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357330-1176994751/instance-357330-1176994751.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 7bb51fb18714f8fdd98e0de4fc62f6d8 RANDOM SEED= 332080211 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1721176 kB Buffers: 34448 kB Cached: 211772 kB SwapCached: 2320 kB Active: 140344 kB Inactive: 128764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1721176 kB SwapTotal: 4192956 kB SwapFree: 4159444 kB Dirty: 1424 kB Writeback: 0 kB Mapped: 30864 kB Slab: 51172 kB Committed_AS: 3018580 kB PageTables: 1784 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= 66449 MiB End job on node19 on Thu Apr 19 15:29:14 UTC 2007