Trace number 37700

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
Pueblo 1.3SAT770 1782.74 1783.34

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb
MD5SUM6b5a85fbc00dc0684845d7179dbc62de
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark770
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 770
Optimality of the best value was proved NO
Number of variables1704
Total number of constraints118
Number of constraints which are clauses15
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints103
Minimum length of a constraint2
Maximum length of a constraint135
Number of terms in the objective function 1268
Biggest coefficient in the objective function 29693
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 525250
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261970
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 525250
Number of bits of the biggest sum of numbers20
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	c Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
0.03	c starting to Solve
0.03	c #variables read: 1704 - #constraints read: 119
1.23	o 3036
6.27	o 1649
6.27	o 1646
6.35	o 1642
6.49	o 1641
7.91	o 1638
7.96	o 1637
8.09	o 1636
8.10	o 1586
8.10	o 1547
8.10	o 1531
8.11	o 1512
8.11	o 1511
8.11	o 1510
8.11	o 1509
8.12	o 1508
8.12	o 1502
8.12	o 1498
8.13	o 1493
8.13	o 1492
8.13	o 1491
8.13	o 1490
8.14	o 1489
8.14	o 1488
8.14	o 1487
9.28	o 1486
9.28	o 1483
9.30	o 1482
10.09	o 1435
10.09	o 1396
10.10	o 1377
10.10	o 1372
10.10	o 1370
10.11	o 1369
10.29	o 1368
10.29	o 1367
10.29	o 1362
10.32	o 1360
10.78	o 1359
10.80	o 1358
20.70	o 1277
20.70	o 1238
20.71	o 1219
20.71	o 1209
20.71	o 1204
20.71	o 1202
20.71	o 1199
20.72	o 1180
35.61	o 1179
70.65	o 1086
70.86	o 1085
72.63	o 1084
72.73	o 1083
73.45	o 1082
79.54	o 1081
79.63	o 1071
79.63	o 1066
154.71	o 919
154.71	o 918
154.71	o 891
155.07	o 890
155.07	o 888
155.08	o 882
165.04	o 879
165.04	o 876
165.05	o 875
165.05	o 874
165.06	o 873
165.18	o 872
165.21	o 871
165.64	o 869
165.65	o 868
166.16	o 867
166.16	o 866
166.23	o 865
166.23	o 864
186.81	o 863
189.27	o 862
1228.23	o 799
1228.30	o 797
1228.69	o 796
1242.86	o 795
1242.97	o 794
1242.98	o 792
1244.02	o 791
1244.13	o 790
1244.16	o 789
1248.79	o 788
1432.75	o 787
1432.78	o 783
1432.78	o 782
1446.19	o 780
1538.24	o 779
1572.38	o 778
1572.38	o 770
1783.33	c total time              : 1783 s
1783.33	s SATISFIABLE
1783.33	v -x977 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x978 -x979 -x980 x981 -x982 -x983 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538
1783.33	v -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615
1783.33	v -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632
1783.33	v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649
1783.33	v -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666
1783.33	v -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 -x1682 -x1683
1783.33	v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
1783.33	v -x1701 -x1702 -x1703 -x1704 x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559
1783.33	v -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576
1783.33	v x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594
1783.33	v -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1411 -x1412 -x1413 -x1414 -x1415
1783.33	v -x1416 -x1417 -x1418 -x1419 -x1420 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475
1783.33	v -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492
1783.33	v -x1493 -x1494 x1495 x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510
1783.33	v -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521 x1522 -x1523 -x1524 -x1525 x1526 x1527 -x1528
1783.33	v x1529 -x1530 -x1531 -x1532 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434
1783.33	v -x1435 -x1436 -x1437 -x1438 x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 x1448 -x1449 -x1450 -x1451 -x1452
1783.33	v -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13
1783.33	v -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x241 -x242 -x243 -x244 -x245 -x246 -x247
1783.33	v -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 x258 x259 x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269
1783.33	v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
1783.33	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311
1783.33	v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332
1783.33	v -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353
1783.33	v -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374
1783.33	v -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395
1783.33	v -x396 x397 -x398 x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416
1783.33	v -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437
1783.33	v -x438 -x439 -x440 -x441 x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458
1783.33	v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 x468 x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479
1783.33	v -x480 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1783.33	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1783.33	v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1783.33	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1783.33	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147
1783.33	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1783.33	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1783.33	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1783.33	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231
1783.33	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x481 x482 -x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 -x494
1783.33	v -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x721 -x722 -x723 -x724 -x725
1783.33	v -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746
1783.33	v -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767
1783.33	v -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788
1783.33	v -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809
1783.33	v -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
1783.33	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851
1783.33	v -x852 -x853 -x854 x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872
1783.33	v -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893
1783.33	v x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 x904 -x905 -x906 -x907 -x908 x909 x910 x911 x912 x913 -x914 x915
1783.33	v x916 -x917 x918 -x919 x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 x933 x934 -x935 -x936 x937
1783.33	v x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 x948 -x949 x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959
1783.33	v -x960 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
1783.33	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551
1783.33	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572
1783.33	v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593
1783.33	v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614
1783.33	v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635
1783.33	v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656
1783.33	v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677
1783.33	v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698
1783.33	v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719
1783.33	v -x720 x961 x969 x962 x963 x964 x965 x966 -x967 -x968 x970 x971 x972 -x973 x974 -x975 -x976 -x991 -x992 -x993 -x994 -x995 -x996
1783.33	v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014
1783.33	v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031
1783.33	v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049
1783.33	v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066
1783.33	v -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083
1783.33	v -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
1783.33	v x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119
1783.33	v x1120 -x1121 x1122 x1123 x1124 -x1125 -x1126 x1127 -x1128 x1129 x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138
1783.33	v -x1139 -x1140 x1141 x1142 x1143 x1144 x1145 x1146 x1147 x1148 x1149 x1150 x1151 x1152 x1153 x1154 x1155 x1156 x1157 x1158
1783.33	v x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1783.33	v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193
1783.33	v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 x1202 x1203 x1204 x1205 x1206 x1207 x1208 x1209 x1210 x1211 -x1212
1783.33	v x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229
1783.33	v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247
1783.33	v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264
1783.33	v x1265 -x1266 -x1267 x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282
1783.33	v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299
1783.33	v -x1300 -x1301 -x1302 -x1303 x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317
1783.33	v -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335
1783.33	v x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 x1352 x1353
1783.33	v -x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 x1366 x1367 x1368 -x1369 x1370 -x1371 -x1372 x1373
1783.33	v x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
1783.33	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407
1783.33	v -x1408 -x1409 -x1410

Verifier Data (download as text)

OK	770

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node45/watcher-37700-1149350540 -o ROOT/results/node45/solver-37700-1149350540 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node45/37700-1149350540/instance-37700-1149350540.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.98 3/64 28703
/proc/meminfo: memFree=1510344/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=2328 CPUtime=0
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 147 0 0 0 0 0 0 0 18 0 1 0 96491773 2383872 128 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4696952 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 582 128 109 16 0 11 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.95 0.98 2/64 28703
/proc/meminfo: memFree=1505992/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=6660 CPUtime=9.99
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1314 0 0 0 984 15 0 0 25 0 1 0 96491773 6819840 1285 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 1665 1285 205 16 0 1106 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 6660

[startup+20.0082 s]
/proc/loadavg: 0.94 0.96 0.98 2/64 28703
/proc/meminfo: memFree=1505424/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=7264 CPUtime=19.99
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1459 0 0 0 1982 17 0 0 25 0 1 0 96491773 7438336 1430 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 1816 1430 205 16 0 1257 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 7264

[startup+30.014 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 28703
/proc/meminfo: memFree=1505424/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=7204 CPUtime=29.99
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1459 0 0 0 2982 17 0 0 25 0 1 0 96491773 7376896 1427 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528051 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 1801 1427 205 16 0 1242 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 7204

[startup+40.0198 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 28703
/proc/meminfo: memFree=1505424/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=7204 CPUtime=39.99
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1459 0 0 0 3977 22 0 0 25 0 1 0 96491773 7376896 1427 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 1801 1427 205 16 0 1242 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 7204

[startup+50.0256 s]
/proc/loadavg: 0.96 0.96 0.98 2/64 28703
/proc/meminfo: memFree=1505424/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=7204 CPUtime=50
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1459 0 0 0 4967 33 0 0 25 0 1 0 96491773 7376896 1427 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 1801 1427 205 16 0 1242 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 7204

[startup+60.0315 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 28703
/proc/meminfo: memFree=1505424/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=7268 CPUtime=60
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1467 0 0 0 5949 51 0 0 25 0 1 0 96491773 7442432 1435 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 1817 1435 205 16 0 1258 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 7268

[startup+70.0383 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 28703
/proc/meminfo: memFree=1504720/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=7896 CPUtime=70
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1632 0 0 0 6933 67 0 0 25 0 1 0 96491773 8085504 1600 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 1974 1600 205 16 0 1415 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 7896

[startup+80.0451 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 28705
/proc/meminfo: memFree=1504400/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=8408 CPUtime=80.01
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1735 0 0 0 7926 75 0 0 25 0 1 0 96491773 8609792 1703 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 2102 1703 205 16 0 1543 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 8408

[startup+90.052 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 28705
/proc/meminfo: memFree=1504144/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=8668 CPUtime=90.02
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1798 0 0 0 8923 79 0 0 25 0 1 0 96491773 8876032 1766 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 2167 1766 205 16 0 1608 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 8668

[startup+100.059 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 28705
/proc/meminfo: memFree=1504080/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=8640 CPUtime=100.01
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1811 0 0 0 9919 82 0 0 25 0 1 0 96491773 8847360 1779 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 2160 1779 205 16 0 1601 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 8640

[startup+110.066 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 28705
/proc/meminfo: memFree=1504016/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=8768 CPUtime=110.02
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1826 0 0 0 10916 86 0 0 25 0 1 0 96491773 8978432 1794 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 2192 1794 205 16 0 1633 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 8768

[startup+120.071 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1503888/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=8768 CPUtime=120.02
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1848 0 0 0 11913 89 0 0 25 0 1 0 96491773 8978432 1816 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 2192 1816 205 16 0 1633 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 8768

[startup+130.077 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1503888/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=8768 CPUtime=130.02
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1848 0 0 0 12910 92 0 0 25 0 1 0 96491773 8978432 1816 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 2192 1816 205 16 0 1633 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 8768

[startup+140.084 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1503888/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=8768 CPUtime=140.02
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1848 0 0 0 13907 95 0 0 25 0 1 0 96491773 8978432 1816 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 2192 1816 205 16 0 1633 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 8768

[startup+150.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1503888/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=8768 CPUtime=150.03
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1848 0 0 0 14904 99 0 0 25 0 1 0 96491773 8978432 1816 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 2192 1816 205 16 0 1633 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 8768

[startup+160.096 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1503888/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=8768 CPUtime=160.03
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1848 0 0 0 15894 109 0 0 25 0 1 0 96491773 8978432 1816 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 2192 1816 205 16 0 1633 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 8768

[startup+170.102 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1503696/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=8956 CPUtime=170.04
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1898 0 0 0 16892 112 0 0 25 0 1 0 96491773 9170944 1865 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 2239 1865 205 16 0 1680 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 8956

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1503696/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=8944 CPUtime=180.04
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1898 0 0 0 17887 117 0 0 25 0 1 0 96491773 9158656 1862 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 2236 1862 205 16 0 1677 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 8944

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1503696/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=9072 CPUtime=190.04
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1907 0 0 0 18883 121 0 0 25 0 1 0 96491773 9289728 1871 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 2268 1871 205 16 0 1709 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 9072

[startup+200.119 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1503248/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=9368 CPUtime=200.04
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2012 0 0 0 19881 123 0 0 25 0 1 0 96491773 9592832 1968 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 2342 1968 205 16 0 1783 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 9368

[startup+210.125 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1503312/2055920 swapFree=4191900/4192956

################
# More data... #
################

/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1590.42
Current children cumulated vsize (Kb) 12348

[startup+1600.96 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1600.42
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 159494 548 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1600.42
Current children cumulated vsize (Kb) 12348

[startup+1610.97 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500368/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1610.43
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 160494 549 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1610.43
Current children cumulated vsize (Kb) 12348

[startup+1620.98 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500368/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1620.42
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 161493 549 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1620.42
Current children cumulated vsize (Kb) 12348

[startup+1630.98 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500368/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1630.43
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 162493 550 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527652 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1630.43
Current children cumulated vsize (Kb) 12348

[startup+1640.99 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500368/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1640.43
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 163492 551 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1640.43
Current children cumulated vsize (Kb) 12348

[startup+1650.99 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500368/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1650.43
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 164491 552 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1650.43
Current children cumulated vsize (Kb) 12348

[startup+1661 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1660.44
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 165490 554 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527652 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1660.44
Current children cumulated vsize (Kb) 12348

[startup+1671.01 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1670.44
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 166490 554 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1670.44
Current children cumulated vsize (Kb) 12348

[startup+1681.01 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1680.44
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 167489 555 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1680.44
Current children cumulated vsize (Kb) 12348

[startup+1691.02 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1690.44
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 168489 555 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1690.44
Current children cumulated vsize (Kb) 12348

[startup+1701.02 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1700.45
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 169489 556 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1700.45
Current children cumulated vsize (Kb) 12348

[startup+1711.03 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1710.45
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 170488 557 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1710.45
Current children cumulated vsize (Kb) 12348

[startup+1721.03 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1720.45
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 171488 557 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1720.45
Current children cumulated vsize (Kb) 12348

[startup+1731.04 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1730.46
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 172488 558 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527661 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1730.46
Current children cumulated vsize (Kb) 12348

[startup+1741.05 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500368/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1740.46
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 173487 559 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1740.46
Current children cumulated vsize (Kb) 12348

[startup+1751.05 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500368/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1750.46
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 174486 560 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1750.46
Current children cumulated vsize (Kb) 12348

[startup+1761.06 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500368/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1760.46
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 175485 561 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1760.46
Current children cumulated vsize (Kb) 12348

[startup+1771.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1770.46
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 176484 562 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1770.46
Current children cumulated vsize (Kb) 12348

[startup+1781.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1780.47
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 177484 563 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1780.47
Current children cumulated vsize (Kb) 12348

[startup+1782.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1781.47
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 177584 563 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (Kb) 12348

[startup+1783.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 28705
/proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956
[pid=28703] ppid=28701 vsize=12348 CPUtime=1782.47
/proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 177684 563 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/28703/statm: 3087 2711 205 16 0 2528 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (Kb) 12348

Child status: 10
Real time (s): 1783.34
CPU time (s): 1782.74
CPU user time (s): 1777.1
CPU system time (s): 5.63814
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (Kb): 12440

Launcher Data (download as text)

Begin job on node45 on Sat Jun  3 16:02:20 UTC 2006


FILE ID= 37700-1149350540

PBS_JOBID= 310955

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node45/37700-1149350540/instance-37700-1149350540.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-37700-1149350540 -o ROOT/results/node45/solver-37700-1149350540 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node45/37700-1149350540/instance-37700-1149350540.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  6b5a85fbc00dc0684845d7179dbc62de

RANDOM SEED= 113699026


/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.263
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.263
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:       1510552 kB
Buffers:         29304 kB
Cached:         439500 kB
SwapCached:        260 kB
Active:          48456 kB
Inactive:       434220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1510552 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          23016 kB
Slab:            48740 kB
Committed_AS:   296564 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node45 on Sat Jun  3 16:32:04 UTC 2006