Trace number 373240

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16OPT52 50.9413 50.9546

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir10_area_partials.opb
MD5SUM8e58fdc516472c37b974ebbf77c2a4fa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark52
Best CPU time to get the best result obtained on this benchmark7.08492
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 52
Optimality of the best value was proved YES
Number of variables2091
Total number of constraints7288
Number of constraints which are clauses7288
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint124
Number of terms in the objective function 486
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 486
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 486
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/373240-1177365102/instance-373240-1177365102.opb
0.00/0.00	c File size is 217380 bytes.
0.00/0.04	c Highest Coefficient sum: 486
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.039 s
0.00/0.04	c Var: 2091 Constr: 7288 7288/0/0 Lit: 19014 Watch. Lit: 14530
0.00/0.04	c Obj. Vars: 486 (23.2425 % of total variables)
0.09/0.14	c Formula reductions applied at preprocessing
0.09/0.14	c Pre-processing Time: 0.145 s
1.49/1.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.57	c        0   2027     7242    18968    2    14484    2413      0      0 0.14
1.49/1.57	c Initial Lower Bound: 51
1.49/1.57	c Initial Path Cost: 46
1.49/1.57	o 55	1.573
15.29/15.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.29/15.40	c        0   2027     7243    19390    2    14899    3413      1      0 1.57
15.29/15.40	o 52	15.393 * 
50.88/50.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
50.88/50.95	c        0   2027     7244    19812    2    15317    4413      2      0 15.39
50.88/50.95	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x33 x34 x35 x36 x37 x38 x39 x40 x131 x132 x133 x134 x135 x136 x137
50.88/50.95	v x152 x191 x227 x228 x229 x246 x290 x291 x292 x338 x341 -x343 -x346 -x348 -x353 -x359 -x361 -x362 -x363 -x364 -x365 -x366 -x367
50.88/50.95	v -x368 -x369 -x371 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x388 -x391 -x393 -x395 -x397 x399 x400 -x401 -x402
50.88/50.95	v -x403 -x404 -x405 -x407 -x409 -x410 -x412 -x415 -x421 -x422 -x423 -x424 -x425 -x426 -x428 -x431 -x433 -x434 -x436 -x456 -x457
50.88/50.95	v -x459 -x502 -x503 -x505 -x519 -x539 -x541 -x542 -x543 -x544 -x545 x547 -x565 -x568 -x575 -x592 -x593 -x595 -x597 -x599 -x606
50.88/50.95	v -x608 -x609 -x611 -x617 -x619 -x624 -x626 -x630 -x631 -x633 -x637 -x639 -x649 -x650 -x652 -x654 -x655 -x657 -x673 -x675 -x693
50.88/50.95	v -x702 -x704 -x706 -x725 -x728 -x729 -x731 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x745 -x761 x774 -x775
50.88/50.95	v -x776 -x777 -x778 -x780 -x784 -x785 -x786 -x788 -x795 -x796 -x797 -x799 -x806 -x808 -x814 -x816 -x828 -x833 -x834 -x835 -x837
50.88/50.95	v -x840 -x842 -x846 -x847 -x849 -x868 -x873 -x876 -x878 -x882 -x923 -x927 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x944 -x951
50.88/50.95	v -x952 -x953 -x955 -x974 -x991 -x992 -x994 -x1001 -x1019 -x1021 -x1026 -x1028 -x1031 -x1032 -x1033 -x1034 -x1036 -x1081
50.88/50.95	v -x1083 -x1085 -x1086 -x1087 -x1089 -x1132 -x1133 -x1135 -x1138 -x1139 -x1141 -x1145 -x1147 -x1148 -x1149 -x1150 -x1151
50.88/50.95	v -x1152 -x1153 -x1155 -x1157 -x1159 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173
50.88/50.95	v -x1174 -x1175 -x1177 -x1182 -x1185 -x1186 -x1187 -x1188 -x1190 -x1196 -x1198 -x1204 -x1206 -x1208 -x1215 -x1221 -x1223
50.88/50.95	v -x1228 -x1229 -x1230 -x1232 -x1234 -x1235 -x1237 -x1239 -x1240 -x1241 -x1243 -x1245 -x1246 -x1247 -x1248 -x1249 -x1251
50.88/50.95	v -x1253 -x1254 -x1256 -x1272 -x1273 -x1274 -x1276 -x1279 -x1280 -x1282 -x1284 -x1285 x1287 -x1292 -x1294 -x1299 -x1305
50.88/50.95	v -x1308 -x1326 -x1334 -x1349 -x1350 -x1351 -x1353 -x1371 -x1376 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1402 -x1410
50.88/50.95	v -x1411 -x1412 -x1413 -x1415 -x1417 -x1418 -x1420 -x1436 -x1438 -x1442 -x1456 -x1462 -x1463 -x1465 -x1467 -x1469 -x1475
50.88/50.95	v -x1477 -x1479 -x1480 -x1482 -x1488 -x1489 -x1491 -x1505 -x1506 -x1507 -x1509 -x1520 -x1522 -x1526 -x1532 -x1534 -x1536
50.88/50.95	v -x1537 -x1538 -x1540 -x1543 -x1547 -x1549 -x1553 -x1556 -x1558 -x1561 -x1568 -x1570 -x1577 -x1580 -x1582 -x1583 -x1585
50.88/50.95	v -x1589 -x1592 -x1598 -x1601 -x1604 -x1607 -x1609 -x1622 -x1624 -x1628 -x1630 -x1632 -x1636 -x1641 -x1659 -x1665 -x1668
50.88/50.95	v -x1670 -x1672 -x1677 -x1684 -x1691 -x1709 -x1715 -x1717 -x1719 -x1727 -x1729 -x1730 -x1731 -x1733 -x1751 -x1754 -x1757
50.88/50.95	v -x1764 -x1768 -x1773 -x1789 -x1791 -x1793 -x1797 -x1819 -x1821 -x1824 -x1826 -x1828 -x1832 -x1833 -x1835 -x1838 -x1840
50.88/50.95	v -x1850 -x1852 -x1855 -x1875 -x1877 -x1880 -x1882 -x1883 -x1885 -x1891 -x1900 -x1902 -x1904 -x1905 -x1907 -x1914 -x1917
50.88/50.95	v -x1919 -x1921 -x1923 -x1925 -x1929 -x1936 -x1950 -x1952 -x1954 -x1956 -x1958 -x1967 -x1968 -x1969 -x1971 -x1976 -x1977
50.88/50.95	v -x1978 -x1980 -x1984 -x1993 -x1995 -x1998 -x2004 -x2009 -x2017 -x2020 -x2022 -x2027 -x2028 -x2030 -x2039 -x2059 -x2061
50.88/50.95	v -x2063 -x2065 -x2083 -x2085 -x2086 -x2088 -x2090 -x2091 -x342 -x347 -x352 -x21 -x22 -x23 -x24 -x370 -x25 -x26 -x27 -x28 -x387
50.88/50.95	v -x29 -x396 -x30 -x31 -x406 -x32 -x411 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x458 -x49 -x504 -x50 -x51 -x52 -x53 x546 -x54
50.88/50.95	v -x55 -x594 -x56 -x57 -x58 -x59 -x610 -x60 -x61 -x62 -x63 -x632 -x64 -x65 -x66 -x67 -x68 -x656 -x69 -x70 -x71 -x72 -x705 -x73
50.88/50.95	v -x74 -x75 -x76 -x77 -x78 -x79 -x744 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x815 -x92 -x93 -x94 -x95 -x96
50.88/50.95	v -x97 -x98 -x99 -x881 -x100 -x101 -x102 -x103 -x104 -x105 -x935 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115
50.88/50.95	v -x116 -x117 -x1035 -x118 -x119 -x120 -x1088 -x121 -x1134 -x122 -x1140 -x123 -x124 -x125 -x126 -x127 -x128 -x1158 -x129 -x130
50.88/50.95	v -x692 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x427 -x1176 -x150 -x151 -x153 -x154 -x155
50.88/50.95	v -x156 -x157 -x1197 -x158 -x159 -x1214 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x1255
50.88/50.95	v -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x1307 -x1325 -x1333 -x183 -x184 -x185 -x186 -x1352 -x187 -x188
50.88/50.95	v -x1375 -x189 -x190 -x192 -x193 -x1401 -x194 -x195 -x196 -x197 -x198 -x199 -x1419 -x200 -x1437 -x201 -x1441 -x202 -x1455
50.88/50.95	v -x1464 -x203 -x204 -x1476 -x205 -x206 -x1481 -x207 -x208 -x209 -x1490 -x210 -x211 -x212 -x1508 -x213 -x214 -x1525 -x215
50.88/50.95	v -x216 -x217 -x218 -x219 -x220 -x1533 -x221 -x222 -x223 -x224 -x225 -x1539 -x226 -x230 -x1548 -x231 -x232 -x1304 -x233 -x234
50.88/50.95	v x1286 -x235 -x236 -x1560 -x237 -x238 -x1569 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x1584 -x1588 -x1591 -x1154 -x247
50.88/50.95	v -x1597 -x248 -x249 -x250 -x251 -x252 -x1608 -x253 -x254 -x255 -x256 -x1623 -x1627 -x257 -x258 -x1635 -x259 -x1640 -x260
50.88/50.95	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x1676 -x270 -x271 -x1690 -x1708 -x272 -x273 -x1718 -x274 -x275 -x276
50.88/50.95	v -x277 -x278 -x618 -x279 -x280 -x281 -x282 -x283 -x1732 -x284 -x285 -x286 -x287 -x1756 -x288 -x289 -x1767 -x1772 -x293 -x294
50.88/50.95	v -x295 -x1796 -x296 -x297 -x298 -x1827 -x299 -x300 -x301 -x302 -x303 -x304 -x1854 -x305 -x306 -x307 -x308 -x309 -x310 -x311
50.88/50.95	v -x312 -x313 -x314 -x315 -x316 -x317 -x1928 -x1935 -x318 -x319 -x1957 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328
50.88/50.95	v -x329 -x330 -x331 -x332 -x2029 -x2038 -x333 -x334 -x2064 -x335 -x336 -x337 -x2087 -x339 -x340 -x344 -x345 x349 -x350 -x351
50.88/50.95	v -x358 x354 -x355 -x356 -x357 -x360 -x372 -x373 -x374 -x375 -x392 -x376 -x377 -x389 -x390 -x394 -x398 -x408 -x413 -x414 -x416
50.88/50.95	v -x564 -x538 -x417 -x1082 -x418 -x419 -x420 x429 -x430 -x432 -x435 -x437 -x438 -x926 -x439 -x440 -x441 -x638 -x442 -x787 -x443
50.88/50.95	v -x444 -x445 -x446 -x447 -x867 -x730 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x567 x460 -x461 -x462 -x518 -x463 -x464
50.88/50.95	v -x465 -x466 -x467 -x468 -x469 -x470 -x724 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484
50.88/50.95	v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x674 -x598 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x506 -x507
50.88/50.95	v -x836 -x508 -x943 -x509 -x510 -x1144 -x511 -x512 -x841 -x513 -x1027 -x514 -x515 -x701 -x516 -x517 -x520 -x521 -x522 -x523
50.88/50.95	v -x524 -x525 -x526 -x527 -x528 -x529 -x1020 -x827 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x540 x548 -x549 -x550 -x551
50.88/50.95	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x566 -x569 -x872 -x570 -x571 -x572 -x573 -x574 -x576
50.88/50.95	v -x577 -x807 -x578 -x579 -x651 -x580 -x581 -x582 -x583 -x779 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x596 -x600 -x601
50.88/50.95	v -x602 -x603 -x604 -x605 -x607 x612 -x613 -x614 -x615 -x616 x620 -x621 -x622 -x623 -x625 x627 -x628 -x629 -x634 -x635 -x636
50.88/50.95	v -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x653 -x658 -x659 -x660 -x993 -x661 -x662 -x663 -x664 -x665 -x666 -x667
50.88/50.95	v -x668 -x669 -x670 -x671 -x672 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691
50.88/50.95	v x694 -x695 -x696 -x697 -x698 -x699 -x700 x703 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719
50.88/50.95	v -x720 -x721 -x722 -x723 -x726 -x727 -x732 -x733 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758
50.88/50.95	v -x759 -x760 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x781 -x782 -x783 -x789 -x790 -x791 -x792
50.88/50.95	v -x793 -x794 -x798 -x800 -x801 -x922 -x802 -x803 -x804 -x805 x809 -x810 -x811 -x812 -x813 -x817 -x818 -x819 -x820 -x821 -x877
50.88/50.95	v -x822 -x823 -x824 -x825 -x826 -x829 -x830 -x831 -x832 -x838 -x839 -x843 -x844 -x845 -x848 x850 -x851 -x852 -x853 -x854 -x855
50.88/50.95	v -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x869 -x870 -x871 -x874 -x875 -x879 -x880 -x883 -x884 -x885
50.88/50.95	v -x886 -x887 -x888 -x889 -x890 -x891 -x1000 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904
50.88/50.95	v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x924 -x925 -x928 -x937
50.88/50.95	v -x938 -x939 -x940 -x941 -x942 -x945 -x946 -x947 -x948 -x949 -x950 -x954 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964
50.88/50.95	v -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
50.88/50.95	v -x987 -x988 -x989 -x990 -x995 -x996 -x997 -x998 -x999 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011
50.88/50.95	v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1022 -x1023 -x1024 -x1025 -x1029 -x1030 x1037 -x1038 -x1039 -x1040 -x1041
50.88/50.95	v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058
50.88/50.95	v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
50.88/50.95	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1084 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
50.88/50.95	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117
50.88/50.95	v -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1136 -x1137 -x1142
50.88/50.95	v -x1143 -x1146 x1156 -x1160 -x1161 -x1178 -x1179 -x1180 -x1181 -x1183 -x1184 -x1203 -x1388 -x1189 -x1191 -x1192 -x1193
50.88/50.95	v -x1250 -x1194 -x1195 -x1199 -x1236 -x1200 -x1231 -x1201 -x1202 -x1205 -x1207 x1209 -x1210 -x1211 -x1212 -x1213 -x1281
50.88/50.95	v -x1216 -x1217 -x1218 -x1219 -x1220 -x1370 -x1222 -x1224 -x1392 -x1225 -x1275 -x1226 -x1227 -x1233 x1238 -x1242 -x1244
50.88/50.95	v x1252 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1298 -x1269 -x1270 -x1271 -x1277
50.88/50.95	v -x1278 -x1283 x1288 -x1289 -x1290 -x1291 -x1293 -x1295 -x1296 -x1297 -x1300 -x1301 -x1302 -x1303 x1306 x1309 -x1310 -x1311
50.88/50.95	v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1327 -x1328 -x1329 -x1330
50.88/50.95	v -x1331 -x1332 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1354
50.88/50.95	v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1372 -x1373
50.88/50.95	v -x1374 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1390 -x1394 -x1396 -x1398 -x1399 -x1400
50.88/50.95	v -x1403 -x1404 -x1405 -x1406 -x1521 -x1407 -x1408 -x1409 -x1414 -x1416 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427
50.88/50.95	v -x1468 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1439 -x1440 x1443 -x1444 -x1445 -x1446 -x1447 -x1448
50.88/50.95	v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1457 -x1458 -x1459 -x1460 -x1461 -x1466 -x1470 -x1471 -x1472 -x1473 -x1474
50.88/50.95	v -x1478 -x1483 -x1484 -x1485 -x1486 -x1487 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502
50.88/50.95	v -x1503 -x1504 -x1542 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1523 -x1524 -x1527 -x1528
50.88/50.95	v -x1529 -x1530 -x1531 -x1535 -x1541 -x1544 -x1545 -x1546 -x1550 -x1551 -x1576 -x1552 -x1554 -x1579 -x1555 -x1557 -x1559
50.88/50.95	v -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1571 -x1572 -x1573 -x1574 -x1575 -x1578 -x1581 x1586 -x1587 x1590 x1593 -x1594
50.88/50.95	v -x1595 -x1596 x1599 -x1750 -x1667 -x1763 -x1664 -x1600 -x1602 -x1726 -x1603 -x1605 -x1606 -x1610 -x1658 -x1611 -x1612
50.88/50.95	v -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1625 -x1626 -x1629 -x1631 -x1633 -x1634 x1637 -x1638 -x1639
50.88/50.95	v x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1660
50.88/50.95	v -x1661 -x1662 -x1663 x1666 -x1669 -x1671 -x1673 -x1674 -x1753 -x1675 -x1714 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683
50.88/50.95	v -x1685 -x1686 -x1687 -x1688 -x1689 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703
50.88/50.95	v -x1704 -x1705 -x1706 -x1707 -x1710 -x1711 -x1712 -x1713 -x1716 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1728 -x1734
50.88/50.95	v -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1752 -x1755
50.88/50.95	v x1758 -x1759 -x1760 -x1761 -x1762 -x1765 -x1766 -x1769 -x1770 -x1771 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
50.88/50.95	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1790 -x1792 -x1794 -x1795 -x1823 x1798 -x1799 -x1800 -x1839
50.88/50.95	v -x1890 -x1801 -x1802 -x1803 -x1834 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1997 -x1812 -x1813 -x1814
50.88/50.95	v -x2008 -x1815 -x1816 -x1817 -x1818 -x1820 -x1822 -x1825 -x1829 -x1920 -x1830 -x1831 -x1836 -x1876 -x1837 -x1841 -x1842
50.88/50.95	v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1949 -x1849 -x1851 -x1853 -x1856 -x1857 -x1858 -x1859 -x1906 -x1860 -x1861
50.88/50.95	v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1979 -x1871 -x1872 -x1873 -x1874 -x1878 -x1879 -x1881
50.88/50.95	v -x1884 -x1886 -x1913 -x1887 -x1901 -x1994 -x1924 -x1888 -x1889 -x1892 -x1916 -x2003 -x1893 -x1894 -x1895 -x1896 -x1897
50.88/50.95	v -x1898 -x1899 x1903 -x1908 -x1909 -x2016 -x1910 -x1911 -x1912 x1915 -x1918 -x1922 x1926 -x1927 -x1930 -x1931 -x1932 -x2060
50.88/50.95	v -x1933 -x1934 -x1953 -x1937 -x1938 -x1939 -x2021 -x1940 -x1941 -x1942 -x1943 -x2082 -x1944 -x1970 -x1945 -x1946 -x1947
50.88/50.95	v -x1948 -x1951 -x1955 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1972 -x1973 -x1974 -x1975 -x1981 -x1982
50.88/50.95	v -x1983 x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1996 x1999 -x2000 -x2001 -x2002 -x2005 -x2006 -x2007 x2010
50.88/50.95	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2018 -x2019 -x2023 -x2024 -x2025 -x2026 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036
50.88/50.95	v -x2037 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055
50.88/50.95	v -x2056 -x2057 -x2058 -x2062 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079
50.88/50.95	v -x2080 -x2081 -x2084 -x2089
50.88/50.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
50.88/50.95	c    2       45      1      384     7328    26506     86      0 50.94
50.88/50.95	c Objective: 52
50.88/50.95	s OPTIMUM FOUND
50.88/50.95	c Total time: 50.935 s

Verifier Data (download as text)

OK	52

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node14/watcher-373240-1177365102 -o ROOT/results/node14/solver-373240-1177365102 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373240-1177365102/instance-373240-1177365102.opb 

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.44 0.85 0.90 3/77 16905
/proc/meminfo: memFree=1505600/2055920 swapFree=4148784/4192956
[pid=16905] ppid=16903 vsize=11952 CPUtime=0
/proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 184428015 12238848 336 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16905/statm: 2988 336 281 324 0 2003 0

[startup+0.0612901 s]
/proc/loadavg: 0.44 0.85 0.90 3/77 16905
/proc/meminfo: memFree=1505600/2055920 swapFree=4148784/4192956
[pid=16905] ppid=16903 vsize=5316 CPUtime=0.05
/proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 794 0 0 0 5 0 0 0 18 0 1 0 184428015 5443584 710 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16905/statm: 1329 710 305 324 0 398 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5316

[startup+0.101293 s]
/proc/loadavg: 0.44 0.85 0.90 3/77 16905
/proc/meminfo: memFree=1505600/2055920 swapFree=4148784/4192956
[pid=16905] ppid=16903 vsize=5316 CPUtime=0.09
/proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 795 0 0 0 9 0 0 0 18 0 1 0 184428015 5443584 711 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16905/statm: 1329 711 305 324 0 398 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5316

[startup+0.301313 s]
/proc/loadavg: 0.44 0.85 0.90 3/77 16905
/proc/meminfo: memFree=1505600/2055920 swapFree=4148784/4192956
[pid=16905] ppid=16903 vsize=6108 CPUtime=0.29
/proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 1223 0 0 0 28 1 0 0 19 0 1 0 184428015 6254592 938 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16905/statm: 1527 938 333 324 0 596 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6108

[startup+0.701351 s]
/proc/loadavg: 0.44 0.85 0.90 3/77 16905
/proc/meminfo: memFree=1505600/2055920 swapFree=4148784/4192956
[pid=16905] ppid=16903 vsize=6464 CPUtime=0.69
/proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 19599 0 0 0 63 6 0 0 22 0 1 0 184428015 6619136 1005 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135468242 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16905/statm: 1616 1012 333 324 0 685 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6464

[startup+1.50142 s]
/proc/loadavg: 0.44 0.85 0.90 2/78 16906
/proc/meminfo: memFree=1499768/2055920 swapFree=4148784/4192956
[pid=16905] ppid=16903 vsize=14084 CPUtime=1.49
/proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 46343 0 0 0 136 13 0 0 25 0 1 0 184428015 14422016 1830 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135306705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16905/statm: 3521 1830 391 324 0 2590 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14084

[startup+3.10158 s]
/proc/loadavg: 0.44 0.85 0.90 2/78 16906
/proc/meminfo: memFree=1500024/2055920 swapFree=4148784/4192956
[pid=16905] ppid=16903 vsize=14368 CPUtime=3.09
/proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 52374 0 0 0 293 16 0 0 25 0 1 0 184428015 14712832 1843 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135346067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16905/statm: 3592 1843 393 324 0 2661 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14368

[startup+6.30188 s]
/proc/loadavg: 0.49 0.85 0.90 2/78 16906
/proc/meminfo: memFree=1499128/2055920 swapFree=4148784/4192956
[pid=16905] ppid=16903 vsize=14456 CPUtime=6.29
/proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 58261 0 0 0 609 20 0 0 25 0 1 0 184428015 14802944 1848 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 134941390 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16905/statm: 3614 1848 393 324 0 2683 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14456

[startup+12.7015 s]
/proc/loadavg: 0.53 0.86 0.90 2/78 16906
/proc/meminfo: memFree=1499328/2055920 swapFree=4148784/4192956
[pid=16905] ppid=16903 vsize=14428 CPUtime=12.69
/proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 73739 0 0 0 1242 27 0 0 25 0 1 0 184428015 14774272 1968 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16905/statm: 3607 1968 393 324 0 2676 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14428

[startup+25.5017 s]
/proc/loadavg: 0.63 0.86 0.91 2/78 16906
/proc/meminfo: memFree=1499200/2055920 swapFree=4148784/4192956
[pid=16905] ppid=16903 vsize=12712 CPUtime=25.49
/proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 100641 0 0 0 2508 41 0 0 25 0 1 0 184428015 13017088 1809 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135253502 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16905/statm: 3178 1810 394 324 0 2247 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12712

Solver just ended. Dumping a history of the last processes samples

[startup+38.3019 s]
/proc/loadavg: 0.69 0.87 0.91 2/78 16906
/proc/meminfo: memFree=1499392/2055920 swapFree=4148784/4192956
[pid=16905] ppid=16903 vsize=14348 CPUtime=38.28
/proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 126599 0 0 0 3776 52 0 0 25 0 1 0 184428015 14692352 1943 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16905/statm: 3587 1943 394 324 0 2656 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 14348

[startup+44.7015 s]
/proc/loadavg: 0.73 0.87 0.91 2/78 16906
/proc/meminfo: memFree=1499328/2055920 swapFree=4148784/4192956
[pid=16905] ppid=16903 vsize=14124 CPUtime=44.68
/proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 140388 0 0 0 4410 58 0 0 25 0 1 0 184428015 14462976 1841 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 134694899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16905/statm: 3531 1841 394 324 0 2600 0
Current children cumulated CPU time (s) 44.68
Current children cumulated vsize (KiB) 14124

[startup+47.9018 s]
/proc/loadavg: 0.73 0.87 0.91 2/78 16906
/proc/meminfo: memFree=1499520/2055920 swapFree=4148784/4192956
[pid=16905] ppid=16903 vsize=13900 CPUtime=47.88
/proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 149219 0 0 0 4726 62 0 0 25 0 1 0 184428015 14233600 1824 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135330395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16905/statm: 3475 1824 394 324 0 2544 0
Current children cumulated CPU time (s) 47.88
Current children cumulated vsize (KiB) 13900

[startup+49.5059 s]
/proc/loadavg: 0.76 0.87 0.91 2/78 16906
/proc/meminfo: memFree=1499264/2055920 swapFree=4148784/4192956
[pid=16905] ppid=16903 vsize=13716 CPUtime=49.48
/proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 153956 0 0 0 4883 65 0 0 25 0 1 0 184428015 14045184 1822 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135244606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16905/statm: 3429 1822 394 324 0 2498 0
Current children cumulated CPU time (s) 49.48
Current children cumulated vsize (KiB) 13716

[startup+50.302 s]
/proc/loadavg: 0.76 0.87 0.91 2/78 16906
/proc/meminfo: memFree=1499264/2055920 swapFree=4148784/4192956
[pid=16905] ppid=16903 vsize=13688 CPUtime=50.27
/proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 156508 0 0 0 4961 66 0 0 25 0 1 0 184428015 14016512 1821 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16905/statm: 3422 1821 394 324 0 2491 0
Current children cumulated CPU time (s) 50.27
Current children cumulated vsize (KiB) 13688

[startup+50.7011 s]
/proc/loadavg: 0.76 0.87 0.91 2/78 16906
/proc/meminfo: memFree=1499584/2055920 swapFree=4148784/4192956
[pid=16905] ppid=16903 vsize=13684 CPUtime=50.68
/proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 157744 0 0 0 5001 67 0 0 25 0 1 0 184428015 14012416 1843 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 134700653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16905/statm: 3421 1843 394 324 0 2490 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 13684

[startup+50.9011 s]
/proc/loadavg: 0.76 0.87 0.91 2/78 16906
/proc/meminfo: memFree=1499584/2055920 swapFree=4148784/4192956
[pid=16905] ppid=16903 vsize=6588 CPUtime=50.88
/proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 158840 0 0 0 5021 67 0 0 25 0 1 0 184428015 6746112 1120 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16905/statm: 1647 1120 394 324 0 716 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 6588

Child status: 0
Real time (s): 50.9546
CPU time (s): 50.9413
CPU user time (s): 50.2574
CPU system time (s): 0.683896
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 14700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.2574
system time used= 0.683896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159661
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= 14
involuntary context switches= 123

runsolver used 0.051992 second user time and 0.112982 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Mon Apr 23 21:51:43 UTC 2007

IDJOB= 373240
IDBENCH= 25029
IDSOLVER= 163
FILE ID= node14/373240-1177365102

PBS_JOBID= 4675271

Free space on /tmp= 66205 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373240-1177365102/instance-373240-1177365102.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-373240-1177365102 -o ROOT/results/node14/solver-373240-1177365102 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373240-1177365102/instance-373240-1177365102.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  8e58fdc516472c37b974ebbf77c2a4fa

RANDOM SEED= 624624999

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1505952 kB
Buffers:         82420 kB
Cached:         366528 kB
SwapCached:      11820 kB
Active:         227324 kB
Inactive:       245356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1505952 kB
SwapTotal:     4192956 kB
SwapFree:      4148784 kB
Dirty:            4612 kB
Writeback:           0 kB
Mapped:          30368 kB
Slab:            62716 kB
Committed_AS:  7777960 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= 66205 MiB

End job on node14 on Mon Apr 23 21:52:34 UTC 2007