Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 1595.19 | 1595.83 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-maros.opb |
MD5SUM | a4588bb38746a3d57566a2a5df85a941 |
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 | 42240 |
Total number of constraints | 836 |
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 | 836 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 4740 |
Number of terms in the objective function | 10110 |
Biggest coefficient in the objective function | 330175610880000000 |
Number of bits for the biggest coefficient in the objective function | 59 |
Sum of the numbers in the objective function | 14934064445704252926 |
Number of bits of the sum of numbers in the objective function | 64 |
Biggest number in a constraint | 330175610880000000 |
Number of bits of the biggest number in a constraint | 59 |
Biggest sum of numbers in a constraint | 14934064445704252926 |
Number of bits of the biggest sum of numbers | 64 |
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... 1.00/1.02 c ...done 1.00/1.02 c #vars=42240 #constraints=1159 hasObjective=yes 1.49/1.55 c res. mode=mod 1.49/1.55 c VSIDS like heuristics 1.49/1.55 c complete search running 1.99/2.03 c restart after 401 decisions 1.99/2.09 c nbDecision=500 #constraints=1161 2.19/2.27 c restart after 801 decisions 2.29/2.39 c nbDecision=1000 #constraints=1166 2.69/2.77 c nbDecision=1500 #constraints=1181 2.79/2.86 c restart after 1601 decisions 2.99/3.08 c nbDecision=2000 #constraints=1185 3.79/3.81 c nbDecision=2500 #constraints=1236 4.49/4.53 c nbDecision=3000 #constraints=1268 4.69/4.76 c restart after 3201 decisions 4.89/4.92 c nbDecision=3500 #constraints=1283 5.50/5.56 c nbDecision=4000 #constraints=1309 6.09/6.11 c nbDecision=4500 #constraints=1325 6.89/6.90 c nbDecision=5000 #constraints=1360 7.60/7.68 c nbDecision=5500 #constraints=1397 8.29/8.32 c nbDecision=6000 #constraints=1417 8.69/8.77 c restart after 6401 decisions 8.79/8.85 c nbDecision=6500 #constraints=1429 9.29/9.31 c nbDecision=7000 #constraints=1438 9.69/9.74 c nbDecision=7500 #constraints=1448 10.39/10.49 c nbDecision=8000 #constraints=1481 11.09/11.14 c nbDecision=8500 #constraints=1505 11.89/11.95 c nbDecision=9000 #constraints=1528 13.29/13.40 c nbDecision=9500 #constraints=1572 14.68/14.77 c nbDecision=10000 #constraints=1626 15.58/15.60 c nbDecision=10500 #constraints=1653 16.19/16.26 c nbDecision=11000 #constraints=1669 17.68/17.71 c nbDecision=11500 #constraints=1724 18.38/18.48 c nbDecision=12000 #constraints=1749 19.19/19.22 c nbDecision=12500 #constraints=1774 19.69/19.75 c restart after 12801 decisions 19.89/19.98 c nbDecision=13000 #constraints=1793 20.59/20.62 c nbDecision=13500 #constraints=1812 21.38/21.42 c nbDecision=14000 #constraints=1835 22.08/22.17 c nbDecision=14500 #constraints=1855 23.27/23.34 c nbDecision=15000 #constraints=1902 24.76/24.85 c nbDecision=15500 #constraints=1956 26.96/27.09 c nbDecision=16000 #constraints=2034 28.76/28.85 c nbDecision=16500 #constraints=2105 31.16/31.26 c nbDecision=17000 #constraints=2189 32.86/32.94 c nbDecision=17500 #constraints=2254 33.97/34.01 c nbDecision=18000 #constraints=2282 35.16/35.29 c nbDecision=18500 #constraints=2317 36.36/36.47 c nbDecision=19000 #constraints=2347 39.26/39.32 c nbDecision=19500 #constraints=2423 42.76/42.87 c nbDecision=20000 #constraints=2507 45.06/45.19 c nbDecision=20500 #constraints=2554 47.66/47.74 c nbDecision=21000 #constraints=2612 48.66/48.76 c nbDecision=21500 #constraints=2644 49.75/49.87 c nbDecision=22000 #constraints=2674 51.06/51.14 c nbDecision=22500 #constraints=2703 53.55/53.69 c nbDecision=23000 #constraints=2756 56.55/56.68 c nbDecision=23500 #constraints=2826 59.85/59.99 c nbDecision=24000 #constraints=2912 63.26/63.35 c nbDecision=24500 #constraints=2996 66.25/66.35 c nbDecision=25000 #constraints=3079 70.05/70.14 c nbDecision=25500 #constraints=3179 70.75/70.89 c restart after 25601 decisions 72.05/72.17 c nbDecision=26000 #constraints=3196 74.85/74.96 c nbDecision=26500 #constraints=3255 79.65/79.79 c nbDecision=27000 #constraints=3367 84.55/84.69 c nbDecision=27500 #constraints=3463 87.84/87.98 c nbDecision=28000 #constraints=3537 92.74/92.87 c nbDecision=28500 #constraints=3626 98.14/98.27 c nbDecision=29000 #constraints=3713 103.54/103.62 c nbDecision=29500 #constraints=3808 107.53/107.62 c nbDecision=30000 #constraints=3879 112.93/113.09 c nbDecision=30500 #constraints=3968 116.93/117.09 c nbDecision=31000 #constraints=4057 121.33/121.44 c nbDecision=31500 #constraints=4151 125.34/125.46 c nbDecision=32000 #constraints=4246 130.03/130.16 c nbDecision=32500 #constraints=4339 135.73/135.88 c nbDecision=33000 #constraints=4443 142.33/142.41 c nbDecision=33500 #constraints=4556 143.83/143.91 c nbDecision=34000 #constraints=4587 144.63/144.77 c nbDecision=34500 #constraints=4611 145.32/145.44 c nbDecision=35000 #constraints=4629 146.32/146.48 c nbDecision=35500 #constraints=4660 147.23/147.32 c nbDecision=36000 #constraints=4688 148.53/148.70 c nbDecision=36500 #constraints=4725 150.53/150.66 c nbDecision=37000 #constraints=4772 154.42/154.58 c nbDecision=37500 #constraints=4836 160.02/160.17 c nbDecision=38000 #constraints=4922 166.12/166.23 c nbDecision=38500 #constraints=5019 172.42/172.59 c nbDecision=39000 #constraints=5122 176.22/176.32 c nbDecision=39500 #constraints=5185 183.71/183.82 c nbDecision=40000 #constraints=5281 191.51/191.62 c nbDecision=40500 #constraints=5381 199.71/199.81 c nbDecision=41000 #constraints=5482 206.91/207.10 c nbDecision=41500 #constraints=5579 214.60/214.79 c nbDecision=42000 #constraints=5672 221.80/221.95 c nbDecision=42500 #constraints=5766 230.50/230.63 c nbDecision=43000 #constraints=5867 238.09/238.26 c nbDecision=43500 #constraints=5951 245.00/245.15 c nbDecision=44000 #constraints=6028 252.69/252.85 c nbDecision=44500 #constraints=6108 261.59/261.70 c nbDecision=45000 #constraints=6198 267.78/267.94 c nbDecision=45500 #constraints=6272 271.38/271.54 c nbDecision=46000 #constraints=6337 278.38/278.51 c nbDecision=46500 #constraints=6551 289.18/289.36 c nbDecision=47000 #constraints=6800 300.77/300.94 c nbDecision=47500 #constraints=7036 312.67/312.81 c nbDecision=48000 #constraints=7268 330.66/330.81 c nbDecision=48500 #constraints=7539 352.46/352.68 c nbDecision=49000 #constraints=7885 370.76/370.99 c nbDecision=49500 #constraints=8146 403.34/403.56 c nbDecision=50000 #constraints=8532 439.53/439.70 c nbDecision=50500 #constraints=8919 486.02/486.25 c nbDecision=51000 #constraints=9310 509.01/509.21 c restart after 51201 decisions 516.98/517.24 c nbDecision=51500 #constraints=9487 521.37/521.62 c nbDecision=52000 #constraints=9507 524.26/524.55 c nbDecision=52500 #constraints=9531 526.16/526.49 c nbDecision=53000 #constraints=9555 528.64/528.96 c nbDecision=53500 #constraints=9592 530.65/530.99 c nbDecision=54000 #constraints=9617 532.94/533.27 c nbDecision=54500 #constraints=9639 535.73/536.02 c nbDecision=55000 #constraints=9661 546.81/547.16 c nbDecision=55500 #constraints=9722 547.91/548.25 c nbDecision=56000 #constraints=9730 560.10/560.49 c nbDecision=56500 #constraints=9802 574.18/574.59 c nbDecision=57000 #constraints=9885 589.88/590.28 c nbDecision=57500 #constraints=9973 599.27/599.62 c nbDecision=58000 #constraints=10024 601.08/601.42 c nbDecision=58500 #constraints=10055 603.28/603.63 c nbDecision=59000 #constraints=10084 606.67/607.07 c nbDecision=59500 #constraints=10117 612.17/612.53 c nbDecision=60000 #constraints=10155 614.07/614.47 c nbDecision=60500 #constraints=10173 616.77/617.17 c nbDecision=61000 #constraints=10197 626.87/627.25 c nbDecision=61500 #constraints=10261 639.16/639.51 c nbDecision=62000 #constraints=10338 647.96/648.31 c nbDecision=62500 #constraints=10395 658.16/658.51 c nbDecision=63000 #constraints=10458 666.96/667.38 c nbDecision=63500 #constraints=10510 680.05/680.50 c nbDecision=64000 #constraints=10586 690.44/690.89 c nbDecision=64500 #constraints=10645 702.94/703.35 c nbDecision=65000 #constraints=10715 713.54/713.90 c nbDecision=65500 #constraints=10773 724.93/725.39 c nbDecision=66000 #constraints=10842 733.83/734.24 c nbDecision=66500 #constraints=10894 741.33/741.73 c nbDecision=67000 #constraints=10954 748.63/749.06 c nbDecision=67500 #constraints=11011 757.53/757.94 c nbDecision=68000 #constraints=11076 770.12/770.60 c nbDecision=68500 #constraints=11141 779.11/779.58 c nbDecision=69000 #constraints=11198 787.41/787.80 c nbDecision=69500 #constraints=11262 796.91/797.33 c nbDecision=70000 #constraints=11332 804.31/804.74 c nbDecision=70500 #constraints=11387 812.90/813.37 c nbDecision=71000 #constraints=11450 821.20/821.62 c nbDecision=71500 #constraints=11508 829.70/830.18 c nbDecision=72000 #constraints=11571 838.59/839.03 c nbDecision=72500 #constraints=11628 846.70/847.15 c nbDecision=73000 #constraints=11687 856.99/857.49 c nbDecision=73500 #constraints=11748 866.29/866.78 c nbDecision=74000 #constraints=11816 879.28/879.79 c nbDecision=74500 #constraints=11902 892.58/893.05 c nbDecision=75000 #constraints=11976 905.98/906.47 c nbDecision=75500 #constraints=12058 917.38/917.84 c nbDecision=76000 #constraints=12124 927.27/927.77 c nbDecision=76500 #constraints=12177 938.76/939.21 c nbDecision=77000 #constraints=12246 952.56/953.07 c nbDecision=77500 #constraints=12326 968.35/968.84 c nbDecision=78000 #constraints=12418 980.86/981.37 c nbDecision=78500 #constraints=12477 995.65/996.17 c nbDecision=79000 #constraints=12547 1007.14/1007.61 c nbDecision=79500 #constraints=12607 1020.54/1021.08 c nbDecision=80000 #constraints=12678 1034.54/1035.04 c nbDecision=80500 #constraints=12752 1049.02/1049.57 c nbDecision=81000 #constraints=12833 1063.42/1063.97 c nbDecision=81500 #constraints=12904 1076.33/1076.88 c nbDecision=82000 #constraints=12964 1086.92/1087.45 c nbDecision=82500 #constraints=13022 1088.82/1089.39 c nbDecision=83000 #constraints=13032 1092.51/1093.09 c nbDecision=83500 #constraints=13053 1101.72/1102.20 c nbDecision=84000 #constraints=13107 1112.50/1113.05 c nbDecision=84500 #constraints=13170 1126.91/1127.43 c nbDecision=85000 #constraints=13238 1141.40/1141.93 c nbDecision=85500 #constraints=13310 1153.40/1153.93 c nbDecision=86000 #constraints=13379 1163.69/1164.23 c nbDecision=86500 #constraints=13446 1174.89/1175.46 c nbDecision=87000 #constraints=13516 1192.19/1192.73 c nbDecision=87500 #constraints=13603 1209.88/1210.48 c nbDecision=88000 #constraints=13683 1220.27/1220.82 c nbDecision=88500 #constraints=13742 1222.17/1222.75 c nbDecision=89000 #constraints=13755 1229.07/1229.63 c nbDecision=89500 #constraints=13804 1244.76/1245.37 c nbDecision=90000 #constraints=13888 1260.97/1261.52 c nbDecision=90500 #constraints=13957 1275.85/1276.41 c nbDecision=91000 #constraints=14033 1293.06/1293.66 c nbDecision=91500 #constraints=14104 1312.44/1313.00 c nbDecision=92000 #constraints=14177 1325.44/1326.06 c nbDecision=92500 #constraints=14242 1339.54/1340.11 c nbDecision=93000 #constraints=14309 1353.23/1353.81 c nbDecision=93500 #constraints=14388 1364.53/1365.11 c nbDecision=94000 #constraints=14456 1376.23/1376.83 c nbDecision=94500 #constraints=14522 1386.12/1386.70 c nbDecision=95000 #constraints=14582 1399.12/1399.74 c nbDecision=95500 #constraints=14654 1410.31/1410.98 c nbDecision=96000 #constraints=14717 1423.01/1423.62 c nbDecision=96500 #constraints=14781 1435.00/1435.61 c nbDecision=97000 #constraints=14844 1446.60/1447.24 c nbDecision=97500 #constraints=14908 1457.30/1457.98 c nbDecision=98000 #constraints=14963 1468.39/1469.09 c nbDecision=98500 #constraints=15027 1471.10/1471.78 c nbDecision=99000 #constraints=15047 1484.19/1484.83 c nbDecision=99500 #constraints=15123 1495.98/1496.66 c nbDecision=100000 #constraints=15188 1514.48/1515.14 c nbDecision=100500 #constraints=15267 1525.08/1525.74 c nbDecision=101000 #constraints=15318 1527.38/1528.03 c nbDecision=101500 #constraints=15335 1531.78/1532.45 c nbDecision=102000 #constraints=15368 1533.98/1534.63 c restart after 102401 decisions 1542.37/1543.09 c nbDecision=102500 #constraints=15396 1557.66/1558.34 c nbDecision=103000 #constraints=15433 1584.36/1585.00 c nbDecision=103500 #constraints=15550 1594.86/1595.50 Received signal 15 1594.86/1595.55 1594.86/1595.55 s UNKNOWN 1594.86/1595.55 1594.86/1595.55 c user time= 1593.27 s 1594.86/1595.55 c system time= 1.64475 s 1594.86/1595.55 c wall clock time=1595.55
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-357323-1176994348 -o ROOT/results/node39/solver-357323-1176994348 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357323-1176994348/instance-357323-1176994348.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.93 0.96 0.97 3/77 2613 /proc/meminfo: memFree=1514592/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=1468 CPUtime=0 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147346890 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135290291 0 0 4096 17474 0 0 0 17 0 0 0 /proc/2613/statm: 367 161 127 317 0 46 0 [startup+0.0912591 s] /proc/loadavg: 0.93 0.96 0.97 3/77 2613 /proc/meminfo: memFree=1514592/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=3124 CPUtime=0.08 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 564 0 0 0 8 0 0 0 18 0 1 0 147346890 3198976 513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 0 0 0 /proc/2613/statm: 781 513 131 317 0 460 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3124 [startup+0.101262 s] /proc/loadavg: 0.93 0.96 0.97 3/77 2613 /proc/meminfo: memFree=1514592/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=3256 CPUtime=0.09 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 616 0 0 0 9 0 0 0 18 0 1 0 147346890 3334144 565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284183 0 0 4096 17474 0 0 0 17 0 0 0 /proc/2613/statm: 814 565 131 317 0 493 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3256 [startup+0.301296 s] /proc/loadavg: 0.93 0.96 0.97 3/77 2613 /proc/meminfo: memFree=1514592/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=6532 CPUtime=0.29 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 1361 0 0 0 29 0 0 0 19 0 1 0 147346890 6688768 1310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 0 0 0 /proc/2613/statm: 1633 1310 131 317 0 1312 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6532 [startup+0.701363 s] /proc/loadavg: 0.93 0.96 0.97 3/77 2613 /proc/meminfo: memFree=1514592/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=12672 CPUtime=0.69 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 2797 0 0 0 68 1 0 0 23 0 1 0 147346890 12976128 2746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 0 0 0 /proc/2613/statm: 3168 2746 131 317 0 2847 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12672 [startup+1.5025 s] /proc/loadavg: 0.93 0.96 0.97 2/78 2614 /proc/meminfo: memFree=1499480/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=24964 CPUtime=1.49 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 5813 0 0 0 147 2 0 0 25 0 1 0 147346890 25563136 5762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 0 0 0 /proc/2613/statm: 6241 5762 137 317 0 5920 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24964 [startup+3.10177 s] /proc/loadavg: 0.93 0.96 0.97 2/78 2614 /proc/meminfo: memFree=1490968/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=26800 CPUtime=3.09 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 6234 0 0 0 307 2 0 0 25 0 1 0 147346890 27443200 6183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541595 0 0 4096 17474 0 0 0 17 0 0 0 /proc/2613/statm: 6700 6183 139 317 0 6379 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26800 [startup+6.30231 s] /proc/loadavg: 0.93 0.96 0.97 2/78 2614 /proc/meminfo: memFree=1485016/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=34832 CPUtime=6.29 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 7992 0 0 0 626 3 0 0 25 0 1 0 147346890 35667968 7941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 0 0 0 /proc/2613/statm: 8708 7941 170 317 0 8387 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34832 [startup+12.7014 s] /proc/loadavg: 0.94 0.96 0.97 2/78 2614 /proc/meminfo: memFree=1472176/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=49188 CPUtime=12.69 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 11115 0 0 0 1264 5 0 0 25 0 1 0 147346890 50368512 11064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 0 0 0 /proc/2613/statm: 12297 11064 170 317 0 11976 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49188 [startup+25.5016 s] /proc/loadavg: 0.95 0.96 0.97 2/78 2614 /proc/meminfo: memFree=1440048/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=82544 CPUtime=25.47 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 18940 0 0 0 2539 8 0 0 25 0 1 0 147346890 84525056 18889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 20636 18889 170 317 0 20315 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 82544 [startup+51.1017 s] /proc/loadavg: 0.97 0.96 0.97 2/78 2614 /proc/meminfo: memFree=1378224/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=150860 CPUtime=51.06 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 34509 0 0 0 5092 14 0 0 25 0 1 0 147346890 154480640 34456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 37715 34456 170 317 0 37394 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 150860 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.97 2/78 2614 /proc/meminfo: memFree=1278832/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=259172 CPUtime=102.24 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 59073 0 0 0 10200 24 0 0 25 0 1 0 147346890 265392128 59020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 64793 59020 170 317 0 64472 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 259172 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 2614 /proc/meminfo: memFree=1187760/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=357320 CPUtime=162.22 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 82047 0 0 0 16187 35 0 0 25 0 1 0 147346890 365895680 81993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272627 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 89330 81993 170 317 0 89009 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 357320 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 2614 /proc/meminfo: memFree=1092080/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=472152 CPUtime=222.2 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 105655 0 0 0 22177 43 0 0 25 0 1 0 147346890 483483648 105600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 118038 105600 170 317 0 117717 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 472152 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 2614 /proc/meminfo: memFree=1015408/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=550156 CPUtime=282.18 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 125149 0 0 0 28167 51 0 0 25 0 1 0 147346890 563359744 125014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 137539 125014 170 317 0 137218 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 550156 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 2614 /proc/meminfo: memFree=853232/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=730128 CPUtime=342.16 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 165751 0 0 0 34150 66 0 0 25 0 1 0 147346890 747651072 165363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 182532 165363 170 317 0 182211 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 730128 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 2614 /proc/meminfo: memFree=753072/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=829136 CPUtime=402.14 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 190986 0 0 0 40137 77 0 0 25 0 1 0 147346890 849035264 190369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 207284 190369 170 317 0 206963 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 829136 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 2614 /proc/meminfo: memFree=665840/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=918152 CPUtime=462.13 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 213057 0 0 0 46127 86 0 0 25 0 1 0 147346890 940187648 212006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 229538 212006 170 317 0 229217 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 918152 [startup+522.301 s] /proc/loadavg: 1.04 0.99 0.97 2/84 2686 /proc/meminfo: memFree=597104/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=997164 CPUtime=522.06 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 230133 0 0 0 52113 93 0 0 25 0 1 0 147346890 1021095936 228897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 249291 228897 170 317 0 248970 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 997164 [startup+582.301 s] /proc/loadavg: 1.05 1.00 0.98 2/78 2812 /proc/meminfo: memFree=533360/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=1088272 CPUtime=581.98 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 246272 0 0 0 58098 100 0 0 25 0 1 0 147346890 1114390528 245017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563527 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 272068 245017 170 317 0 271747 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 1088272 [startup+642.302 s] /proc/loadavg: 1.09 1.03 0.99 2/78 2812 /proc/meminfo: memFree=492272/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=1132132 CPUtime=641.97 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 256435 0 0 0 64094 103 0 0 25 0 1 0 147346890 1159303168 255161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 283033 255161 170 317 0 282712 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 1132132 [startup+702.301 s] /proc/loadavg: 1.03 1.02 0.99 2/78 2812 /proc/meminfo: memFree=459184/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=1170304 CPUtime=701.94 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 264763 0 0 0 70087 107 0 0 25 0 1 0 147346890 1198391296 263478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 292576 263478 170 317 0 292255 0 Current children cumulated CPU time (s) 701.94 Current children cumulated vsize (KiB) 1170304 [startup+762.305 s] /proc/loadavg: 1.01 1.01 0.99 2/78 2812 /proc/meminfo: memFree=420016/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=1213676 CPUtime=761.92 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 274552 0 0 0 76082 110 0 0 25 0 1 0 147346890 1242804224 273205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718422 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 303419 273205 170 317 0 303098 0 Current children cumulated CPU time (s) 761.92 Current children cumulated vsize (KiB) 1213676 [startup+822.302 s] /proc/loadavg: 1.00 1.01 0.99 2/78 2812 /proc/meminfo: memFree=379504/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=1259312 CPUtime=821.9 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 284860 0 0 0 82075 115 0 0 25 0 1 0 147346890 1289535488 283433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 314828 283433 170 317 0 314507 0 Current children cumulated CPU time (s) 821.9 Current children cumulated vsize (KiB) 1259312 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2812 /proc/meminfo: memFree=337200/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=1304992 CPUtime=881.88 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 295310 0 0 0 88069 119 0 0 25 0 1 0 147346890 1336311808 293826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 326248 293826 170 317 0 325927 0 Current children cumulated CPU time (s) 881.88 Current children cumulated vsize (KiB) 1304992 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2812 /proc/meminfo: memFree=304112/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=1344772 CPUtime=941.86 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 303688 0 0 0 94064 122 0 0 25 0 1 0 147346890 1377046528 302167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 336193 302167 170 317 0 335872 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 1344772 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2812 /proc/meminfo: memFree=274608/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=1378360 CPUtime=1001.84 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 311109 0 0 0 100058 126 0 0 25 0 1 0 147346890 1411440640 309518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 344590 309518 170 317 0 344269 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 1378360 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2812 /proc/meminfo: memFree=231920/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=1435960 CPUtime=1061.82 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 321925 0 0 0 106052 130 0 0 25 0 1 0 147346890 1470423040 320221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 358990 320221 170 317 0 358669 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 1435960 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2812 /proc/meminfo: memFree=198576/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=1472152 CPUtime=1121.81 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 330259 0 0 0 112048 133 0 0 25 0 1 0 147346890 1507483648 328480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 368038 328480 170 317 0 367717 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 1472152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2812 /proc/meminfo: memFree=162032/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=1511076 CPUtime=1181.78 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 339503 0 0 0 118042 136 0 0 25 0 1 0 147346890 1547341824 337674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 377769 337674 170 317 0 377448 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 1511076 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2812 /proc/meminfo: memFree=99504/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=1605772 CPUtime=1241.76 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 355036 0 0 0 124034 142 0 0 25 0 1 0 147346890 1644310528 353179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 401443 353179 170 317 0 401122 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 1605772 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2812 /proc/meminfo: memFree=69296/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=1636984 CPUtime=1301.76 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 362535 0 0 0 130030 146 0 0 25 0 1 0 147346890 1676271616 360647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 409246 360647 170 317 0 408925 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 1636984 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2812 /proc/meminfo: memFree=15152/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=1718088 CPUtime=1361.73 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 376599 0 0 0 136022 151 0 0 25 0 1 0 147346890 1759322112 374690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 429522 374690 170 317 0 429201 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 1718088 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2812 /proc/meminfo: memFree=15792/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=1756472 CPUtime=1421.71 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 385048 0 0 0 142016 155 0 0 25 0 1 0 147346890 1798627328 383124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284120 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 439118 383124 170 317 0 438797 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 1756472 [startup+1482.3 s] /proc/loadavg: 1.04 1.01 0.99 2/78 2812 /proc/meminfo: memFree=15152/2055920 swapFree=4154524/4192956 [pid=2613] ppid=2611 vsize=1793096 CPUtime=1481.69 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 393795 0 0 0 148010 159 0 0 25 0 1 0 147346890 1836130304 391861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 448274 391861 170 317 0 447953 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 1793096 [startup+1542.3 s] /proc/loadavg: 1.01 1.01 0.99 2/78 2812 /proc/meminfo: memFree=14960/2055920 swapFree=4154924/4192956 [pid=2613] ppid=2611 vsize=1820152 CPUtime=1541.67 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 399877 0 0 0 154005 162 0 0 25 0 1 0 147346890 1863835648 397929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 455038 397929 170 317 0 454717 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 1820152 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1595.5 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2812 /proc/meminfo: memFree=15024/2055920 swapFree=4154924/4192956 [pid=2613] ppid=2611 vsize=1843204 CPUtime=1594.86 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194304 405498 0 0 0 159322 164 0 0 25 0 1 0 147346890 1887440896 403550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 460801 403550 170 317 0 460480 0 Current children cumulated CPU time (s) 1594.86 Current children cumulated vsize (KiB) 1843204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1595.8 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2812 /proc/meminfo: memFree=15024/2055920 swapFree=4154924/4192956 [pid=2613] ppid=2611 vsize=0 CPUtime=1595.15 /proc/2613/stat : 2613 (oree) R 2611 2613 2092 0 -1 4194308 405536 0 0 0 159328 187 0 0 25 0 1 0 147346890 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2613/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1595.15 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1595.83 CPU time (s): 1595.19 CPU user time (s): 1593.29 CPU system time (s): 1.90271 CPU usage (%): 99.96 Max. virtual memory (cumulated for all children) (KiB): 1843204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1593.29 system time used= 1.90271 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 405536 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= 26560 runsolver used 1.71974 second user time and 4.10438 second system time The end
Begin job on node39 on Thu Apr 19 14:52:28 UTC 2007 IDJOB= 357323 IDBENCH= 2406 IDSOLVER= 172 FILE ID= node39/357323-1176994348 PBS_JOBID= 4630459 Free space on /tmp= 66483 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-maros.opb COMMAND LINE= oree /tmp/evaluation/357323-1176994348/instance-357323-1176994348.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-357323-1176994348 -o ROOT/results/node39/solver-357323-1176994348 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357323-1176994348/instance-357323-1176994348.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a4588bb38746a3d57566a2a5df85a941 RANDOM SEED= 814692428 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.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.256 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.256 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: 1515008 kB Buffers: 46068 kB Cached: 401868 kB SwapCached: 18408 kB Active: 178708 kB Inactive: 297784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1515008 kB SwapTotal: 4192956 kB SwapFree: 4154524 kB Dirty: 6028 kB Writeback: 0 kB Mapped: 30704 kB Slab: 49664 kB Committed_AS: 1772036 kB PageTables: 2012 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= 66483 MiB End job on node39 on Thu Apr 19 15:19:06 UTC 2007