Trace number 2655802

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
wbo 1.4bOPT14 318.747 318.83

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir05_area_delay.opb
MD5SUMb0c7ff7d1fa11c8e15b9d528879223a9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark1.91671
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 14
Optimality of the best value was proved YES
Number of variables3659
Total number of constraints9385
Number of constraints which are clauses9385
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 constraint127
Number of terms in the objective function 1787
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 1787
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1787
Number of bits of the biggest sum of numbers11
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 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655802-1276638044.opb.
0.00/0.00	c Instance file HOME/instance-2655802-1276638044.opb
0.00/0.00	c File size is 284407 bytes.
0.00/0.04	c Highest Coefficient sum: 128
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Parsing time:          0.04         s                                      |
0.00/0.04	c |  Number Variables:      3659                                                |
0.00/0.04	c |  Number Clauses:        9385                                                |
0.00/0.04	c |  Number Cardinality:    0                                                   |
0.00/0.04	c |  Number PB Constraints: 0                                                   |
0.19/0.20	c ============================[ Search Statistics ]==============================
0.19/0.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    3243     9599    21776 |     5000        0    nan |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: 19
0.19/0.21	o 19
0.19/0.21	c Elapsed CPU time: 0.204968 s	Remaining CPU time: 179.795 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |         2 |    3243     9600    23563 |     5000        2      6 |  0.000 % |
0.19/0.24	c |       103 |    3243     9600    23563 |     5500      103     88 | 11.369 % |
0.29/0.30	c |       254 |    3243     9600    23563 |     6050      254     50 | 11.369 % |
0.39/0.40	c |       479 |    3243     9600    23563 |     6655      479     43 | 11.369 % |
0.49/0.54	c |       816 |    3243     9600    23563 |     7320      816     39 | 11.369 % |
0.69/0.72	c |      1323 |    3243     9600    23563 |     8052     1323     48 | 11.369 % |
0.69/0.73	c ===============================================================================
0.69/0.73	c New solution: 17
0.69/0.73	o 17
0.69/0.73	c Elapsed CPU time: 0.724889 s	Remaining CPU time: 179.275 s
0.69/0.73	c ===============================================================================
0.69/0.73	c |      1337 |    3243     9601    25350 |     5000     1337     48 | 11.369 % |
0.69/0.78	c |      1437 |    3243     9601    25350 |     5500     1437     47 | 11.369 % |
0.79/0.83	c |      1588 |    3243     9601    25350 |     6050     1588     46 | 11.369 % |
0.89/0.93	c |      1813 |    3243     9601    25350 |     6655     1813     48 | 11.369 % |
0.99/1.08	c |      2153 |    3243     9601    25350 |     7320     2153     46 | 11.369 % |
1.29/1.30	c |      2660 |    3243     9601    25350 |     8052     2660     45 | 11.369 % |
1.59/1.61	c |      3419 |    3243     9601    25350 |     8857     3419     42 | 11.369 % |
1.99/2.08	c |      4560 |    3243     9601    25350 |     9743     4560     40 | 11.369 % |
2.59/2.65	c |      6269 |    3243     9601    25350 |    10717     6269     43 | 11.369 % |
3.69/3.75	c |      8836 |    3243     9601    25350 |    11789     8836     41 | 11.369 % |
5.19/5.22	c |     12681 |    3243     9601    25350 |    12968     6409     60 | 11.369 % |
6.29/6.35	c ===============================================================================
6.29/6.35	c New solution: 16
6.29/6.35	o 16
6.29/6.35	c Elapsed CPU time: 6.29204 s	Remaining CPU time: 173.708 s
6.29/6.35	c ===============================================================================
6.29/6.35	c |     15000 |    3243     9602    27137 |     5000     8728     52 | 11.369 % |
6.39/6.41	c |     15100 |    3243     9602    27137 |     5500     4464     53 | 11.369 % |
6.39/6.47	c |     15251 |    3243     9602    27137 |     6050     4615     53 | 11.369 % |
6.49/6.58	c |     15477 |    3243     9602    27137 |     6655     4841     51 | 11.369 % |
6.68/6.75	c |     15815 |    3243     9602    27137 |     7320     5179     52 | 11.369 % |
6.89/6.93	c |     16323 |    3243     9602    27137 |     8052     5687     53 | 11.369 % |
7.19/7.23	c |     17083 |    3243     9602    27137 |     8857     6447     56 | 11.369 % |
7.69/7.71	c |     18222 |    3243     9602    27137 |     9743     7586     52 | 11.369 % |
8.29/8.37	c |     19931 |    3243     9602    27137 |    10717     9295     48 | 11.369 % |
9.38/9.43	c |     22493 |    3243     9602    27137 |    11789     6159     53 | 11.369 % |
11.09/11.15	c |     26338 |    3243     9602    27137 |    12968    10004     45 | 11.369 % |
13.69/13.71	c |     32104 |    3243     9602    27137 |    14265     8951     59 | 11.369 % |
17.79/17.84	c |     40753 |    3243     9602    27137 |    15692    10168     39 | 11.369 % |
24.29/24.38	c |     53728 |    3243     9602    27137 |    17261    14967     71 | 11.369 % |
32.99/33.09	c |     73189 |    3243     9602    27137 |    18987    16520     44 | 11.369 % |
46.88/46.97	c |    102381 |    3243     9602    27137 |    20886    16283     31 | 11.369 % |
69.18/69.23	c |    146172 |    3243     9602    27137 |    22974    16882     69 | 11.369 % |
98.67/98.73	c |    211857 |    3243     9602    27137 |    25272    22818     83 | 11.369 % |
151.85/151.93	c |    310383 |    3243     9602    27137 |    27799    18718     33 | 11.369 % |
181.54/181.67	c There are 416 assigned variables. 99 in cost function.
182.14/182.22	c core #1
182.14/182.22	c core #2
182.14/182.22	c core #3
182.14/182.22	c core #4
182.14/182.22	c core #5
182.14/182.22	c core #6
182.14/182.22	c core #7
182.14/182.22	c core #8
182.14/182.22	c core #9
182.14/182.22	c ============================[ Search Statistics ]==============================
182.14/182.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.14/182.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.14/182.22	c ===============================================================================
182.14/182.22	c |         0 |     425     9974    18909 |     5000        0    nan |  0.000 % |
182.14/182.22	c ===============================================================================
182.14/182.25	c core #10
182.14/182.25	c ============================[ Search Statistics ]==============================
182.14/182.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.14/182.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.14/182.25	c ===============================================================================
182.14/182.25	c |         0 |     683    10005    20395 |     5000        0    nan |  0.000 % |
182.14/182.26	c ===============================================================================
182.14/182.28	c core #11
182.14/182.28	c ============================[ Search Statistics ]==============================
182.14/182.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.14/182.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.14/182.28	c ===============================================================================
182.14/182.28	c |         0 |     930    10045    21475 |     5000        0    nan |  0.000 % |
182.14/182.29	c |       101 |     930    10045    21475 |     5500      101     46 | 77.284 % |
182.25/182.31	c |       254 |     930    10045    21475 |     6050      254     56 | 77.284 % |
182.25/182.36	c |       480 |     930    10045    21475 |     6655      480     56 | 77.284 % |
182.34/182.43	c |       817 |     930    10045    21475 |     7320      817     50 | 77.284 % |
182.45/182.51	c |      1324 |     930    10045    21475 |     8052     1324     46 | 77.284 % |
182.55/182.64	c |      2083 |     930    10045    21475 |     8857     2083     43 | 77.284 % |
182.74/182.85	c |      3224 |     930    10045    21475 |     9743     3224     39 | 77.284 % |
183.04/183.13	c ===============================================================================
183.04/183.20	c core #12
183.04/183.20	c ============================[ Search Statistics ]==============================
183.04/183.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.04/183.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.04/183.20	c ===============================================================================
183.04/183.20	c |         0 |    1165    10127    22626 |     5000        0    nan |  0.000 % |
183.14/183.21	c |       100 |    1165    10127    22626 |     5500      100    103 | 73.032 % |
183.14/183.24	c |       250 |    1165    10127    22626 |     6050      250     84 | 73.032 % |
183.14/183.28	c |       475 |    1165    10127    22626 |     6655      475    101 | 73.032 % |
183.25/183.35	c |       812 |    1165    10127    22626 |     7320      812     96 | 73.032 % |
183.34/183.47	c |      1322 |    1165    10127    22626 |     8052     1322     87 | 73.032 % |
183.56/183.65	c |      2082 |    1165    10127    22626 |     8857     2082     85 | 73.032 % |
183.84/183.90	c |      3221 |    1165    10127    22626 |     9743     3221     86 | 73.032 % |
184.24/184.36	c |      4930 |    1165    10127    22626 |    10717     4930     92 | 73.032 % |
185.04/185.17	c |      7495 |    1165    10127    22626 |    11789     7495     95 | 73.032 % |
186.44/186.52	c |     11339 |    1165    10127    22626 |    12968    11339     94 | 73.032 % |
189.15/189.25	c |     17105 |    1165    10127    22626 |    14265     8932    100 | 73.032 % |
192.94/193.07	c |     25754 |    1165    10127    22626 |    15692    17581    102 | 73.032 % |
199.44/199.52	c |     38728 |    1165    10127    22626 |    17261    11428    100 | 73.032 % |
207.63/207.72	c |     58189 |    1165    10127    22626 |    18987    20501    104 | 73.032 % |
220.84/220.93	c |     87381 |    1165    10127    22626 |    20886    16326     92 | 73.032 % |
242.93/243.08	c |    131172 |    1165    10127    22626 |    22974    23791    108 | 73.032 % |
272.62/272.74	c ===============================================================================
276.72/276.85	c core #13
276.72/276.85	c ============================[ Search Statistics ]==============================
276.72/276.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
276.72/276.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
276.72/276.85	c ===============================================================================
276.72/276.85	c |         0 |    1479    10254    24157 |     5000        0    nan |  0.000 % |
276.82/276.93	c |       100 |    1479    10254    24157 |     5500      100    102 | 67.904 % |
276.82/276.96	c |       251 |    1479    10254    24157 |     6050      251     79 | 67.904 % |
276.92/277.00	c |       478 |    1479    10254    24157 |     6655      478     62 | 67.904 % |
276.92/277.08	c |       816 |    1479    10254    24157 |     7320      816     85 | 67.904 % |
277.02/277.18	c |      1328 |    1479    10254    24157 |     8052     1328    101 | 67.904 % |
277.22/277.36	c |      2089 |    1479    10254    24157 |     8857     2089    103 | 67.904 % |
277.52/277.65	c |      3228 |    1479    10254    24157 |     9743     3228    113 | 67.904 % |
278.02/278.17	c |      4937 |    1479    10254    24157 |    10717     4937    136 | 67.904 % |
278.92/279.07	c |      7500 |    1479    10254    24157 |    11789     7500    131 | 67.904 % |
280.21/280.30	c |     11344 |    1479    10254    24157 |    12968    11344    132 | 67.904 % |
282.92/283.09	c |     17113 |    1479    10254    24157 |    14265     8984    153 | 67.904 % |
287.41/287.50	c |     25763 |    1479    10254    24157 |    15692    17634    165 | 67.904 % |
294.31/294.44	c |     38737 |    1479    10254    24157 |    17261    11446    144 | 67.904 % |
306.11/306.20	c |     58202 |    1479    10254    24157 |    18987    10325    149 | 67.904 % |
318.71/318.80	c ===============================================================================
318.71/318.80	c #cores: 13
318.71/318.80	c Final Weight: 14
318.71/318.80	o 14
318.71/318.80	s OPTIMUM FOUND
318.71/318.80	v -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1338 -x1340 -x1342 -x1344 -x1346 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1405 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1721 -x1723 -x1725 -x1727 -x1729 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1902 -x1904 -x1906 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2208 -x2210 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 x2333 -x2335 -x2336 -x2338 -x2340 -x2342 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2360 -x2362 x2363 -x2365 -x2367 -x2369 -x2371 -x2373 x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 x2441 -x2443 -x2445 -x2447 -x2449 -x2451 x2453 -x2455 -x2457 x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2484 -x2486 -x2488 -x2490 -x2492 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2506 -x2508 -x2510 -x2511 -x2513 -x2515 x2516 x2518 -x2520 -x2521 -x2523 -x2525 -x2526 -x2528 x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3291 -x3293 -x3295 -x3297 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3328 -x3330 -x3332 -x3334 -x3336 -x3337 -x3339 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3351 -x3353 -x3355 -x3357 -x3359 -x3360 -x3361 -x3363 -x3364 -x3366 -x3367 -x3369 -x3370 -x3372 -x3374 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3394 -x3396 -x3398 x3399 -x3401 -x3403 -x3405 x3407 -x3409 -x3411 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3452 -x3454 -x3456 -x3458 -x3459 -x3461 -x3463 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3547 -x3549 -x3551 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3565 -x3566 -x3568 -x3570 -x3571 -x3572 -x3573 -x3575 -x3576 -x3577 -x3579 -x3581 -x3583 -x3584 -x3585 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3615 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3631 -x3632 -x3634 -x3636 -x3638 -x3640 -x3641 -x3642 -x3644 -x3646 -x3647 -x3649 -x3651 -x3652 -x3654 -x3655 -x3657 -x3658 -x3659 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x1 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x572 -x574 -x2 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x3 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x4 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x5 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x6 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x989 -x991 -x993 -x995 -x997 -x999 -x7 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x8 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x9 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x10 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1256 -x1258 -x11 -x1260 -x1262 -x1264 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1282 -x1284 -x12 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1339 -x13 -x1341 -x1343 -x1345 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x14 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x15 -x1395 -x1397 -x1399 -x1401 -x1403 -x16 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x17 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1574 -x1576 -x18 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x19 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x20 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x21 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1722 -x1724 -x1726 -x1728 -x1731 -x22 -x1733 -x1735 -x1737 -x1739 -x1741 -x1744 -x1746 -x1748 -x23 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x24 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x25 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x26 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1847 -x1849 -x1851 -x27 -x1853 -x1855 -x1857 -x1860 -x28 -x1862 -x1864 -x1866 -x1868 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x29 -x1885 -x1887 -x1890 -x1892 -x1894 -x30 -x1896 -x1898 -x1900 -x1903 -x31 -x1905 -x1908 -x32 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x33 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x34 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 x2147 -x2149 -x35 -x2151 -x2153 -x2155 -x2157 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x36 -x2198 -x2200 -x2202 -x2204 -x2206 -x2209 -x2212 -x2214 -x2216 -x37 -x2218 -x2220 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x38 -x2238 -x2240 -x2242 -x2244 -x2246 -x39 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x40 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x41 -x2312 -x2314 -x2316 -x2318 -x2321 -x2323 -x2325 -x2327 -x2329 x42 -x2331 -x2334 -x2337 -x43 -x2339 -x2341 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x44 -x2356 -x2358 -x2361 x45 -x2364 -x2366 -x2368 -x2370 -x2372 x46 -x47 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x48 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 x49 -x2436 -x2438 x2440 -x2442 -x2444 -x2446 -x2448 -x2450 x50 x2452 -x2454 -x2456 x51 x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x52 -x2476 -x2478 -x2480 -x2482 -x53 -x2485 -x54 -x55 -x2487 -x2489 -x2491 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x56 -x2507 -x2509 -x57 -x2512 -x2514 x58 x2517 -x2519 -x59 -x2522 -x2524 -x60 -x2527 -x61 x62 -x2530 -x63 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x64 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x65 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x66 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x67 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x68 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x69 -x2794 -x2796 -x2798 -x2800 -x2802 -x2805 -x2807 -x70 -x2809 -x2811 -x2813 -x2815 -x71 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x72 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2963 -x2965 -x2967 -x2969 -x73 -x2971 -x2973 -x2975 -x2977 -x2979 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x74 -x3008 -x3010 -x3012 -x3015 -x3017 -x3019 -x75 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x76 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x77 -x3077 -x3079 -x3081 -x3083 -x3085 -x78 -x3087 -x3089 -x79 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3132 -x3134 -x80 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x81 -x3162 -x3164 -x3166 -x3168 x82 -x3171 -x3173 -x3175 -x3177 -x83 -x3179 -x3181 -x3183 -x3185 -x84 x85 -x3187 -x3189 -x3191 -x3193 -x3196 -x86 -x3198 -x3200 -x3202 -x87 -x3204 x88 -x89 -x3206 -x90 -x3208 -x91 -x3210 -x3212 -x3214 -x3216 -x3218 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3248 -x3250 -x92 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x93 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 x94 -x3277 -x3279 -x95 -x3281 -x3283 -x3285 -x3287 -x3289 -x3292 -x96 -x3294 -x97 -x3296 x98 -x99 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3329 -x3331 -x3333 -x3335 -x100 -x3338 -x3341 -x3343 -x3345 -x3347 -x3349 -x101 -x3352 -x3354 -x3356 -x102 -x3358 x103 -x3362 -x3365 -x104 -x3368 -x105 x106 -x107 -x3371 -x3373 -x3376 -x3378 -x3380 x108 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 x109 -x110 -x111 x112 x113 -x3395 -x3397 -x114 -x3400 x115 x116 -x117 x118 -x3402 -x3404 x3406 -x3408 -x3410 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3442 -x3444 -x3446 -x3448 -x3450 -x119 -x3453 -x3455 -x3457 -x3460 -x3462 -x120 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 x121 -x3477 -x122 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x123 -x3514 -x3516 -x3518 -x124 -x3520 -x3522 -x3524 -x125 x126 -x3526 -x127 x128 -x129 -x3528 -x3530 -x3532 -x3534 -x3537 -x3539 x130 -x131 -x3541 x132 -x3543 -x133 -x3545 -x3548 -x3550 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3567 -x134 -x3569 -x135 -x3574 -x136 x137 -x3578 -x3580 -x3582 -x138 -x139 -x140 -x141 -x3587 -x3589 -x3591 -x3593 -x3595 -x142 -x3597 -x143 x144 -x145 x146 -x147 -x148 x149 -x150 x151 -x152 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3617 -x153 -x3619 -x154 -x3621 -x3623 -x155 -x156 -x3625 -x3627 x157 -x3629 x158 -x159 -x3633 -x3635 -x160 -x3637 -x161 -x3639 -x162 x163 x164 -x165 -x3643 -x166 -x167 x168 x169 x170 x171 x172 x173 x174 -x175 -x3645 x176 x177 x178 -x3648 -x3650 -x179 x180 x181 -x3653 -x3656 x182 x183 x184 x185 x186 x187 x188 -x189 x190 x191 x192 x193 x194
318.71/318.80	c Total CPU time: 315.668 s

Verifier Data 

OK	14

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655802-1276638044/watcher-2655802-1276638044 -o /tmp/evaluation-result-2655802-1276638044/solver-2655802-1276638044 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655802-1276638044.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11396
/proc/meminfo: memFree=1719424/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=3216 CPUtime=0
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 372 0 0 0 0 0 0 0 18 0 1 0 5097264 3293184 290 1992294400 134512640 135751879 4291308656 18446744073709551615 134564675 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 804 291 143 303 0 429 0

[startup+0.079722 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11396
/proc/meminfo: memFree=1719424/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=4704 CPUtime=0.07
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 864 0 0 0 7 0 0 0 20 0 1 0 5097264 4816896 712 1992294400 134512640 135751879 4291308656 18446744073709551615 134579986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 1176 712 145 303 0 871 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4704

[startup+0.100724 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11396
/proc/meminfo: memFree=1719424/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=4704 CPUtime=0.09
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 870 0 0 0 9 0 0 0 20 0 1 0 5097264 4816896 718 1992294400 134512640 135751879 4291308656 18446744073709551615 134579986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 1176 718 145 303 0 871 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4704

[startup+0.300747 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11396
/proc/meminfo: memFree=1719424/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=4704 CPUtime=0.29
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 897 0 0 0 29 0 0 0 20 0 1 0 5097264 4816896 745 1992294400 134512640 135751879 4291308656 18446744073709551615 134616374 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 1176 745 147 303 0 871 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4704

[startup+0.70079 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11396
/proc/meminfo: memFree=1719424/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=4704 CPUtime=0.69
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 897 0 0 0 68 1 0 0 20 0 1 0 5097264 4816896 745 1992294400 134512640 135751879 4291308656 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 1176 745 147 303 0 871 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4704

[startup+1.50088 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11397
/proc/meminfo: memFree=1716812/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=4836 CPUtime=1.49
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 906 0 0 0 148 1 0 0 23 0 1 0 5097264 4952064 754 1992294400 134512640 135751879 4291308656 18446744073709551615 134616683 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 1209 754 147 303 0 904 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4836

[startup+3.10106 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11397
/proc/meminfo: memFree=1716192/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=6024 CPUtime=3.09
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 1219 0 0 0 307 2 0 0 25 0 1 0 5097264 6168576 1067 1992294400 134512640 135751879 4291308656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 1506 1067 147 303 0 1201 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6024

[startup+6.30041 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11397
/proc/meminfo: memFree=1712968/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=8712 CPUtime=6.29
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 1888 0 0 0 624 5 0 0 25 0 1 0 5097264 8921088 1736 1992294400 134512640 135751879 4291308656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 2178 1736 148 303 0 1873 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8712

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11397
/proc/meminfo: memFree=1708256/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=13692 CPUtime=12.69
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 3119 0 0 0 1258 11 0 0 25 0 1 0 5097264 14020608 2967 1992294400 134512640 135751879 4291308656 18446744073709551615 134602700 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 3423 2967 148 303 0 3118 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13692

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11399
/proc/meminfo: memFree=1698088/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=23304 CPUtime=25.49
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 5529 0 0 0 2528 21 0 0 25 0 1 0 5097264 23863296 5377 1992294400 134512640 135751879 4291308656 18446744073709551615 134610803 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 5826 5377 148 303 0 5521 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23304

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11399
/proc/meminfo: memFree=1682836/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=38768 CPUtime=51.08
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 9394 0 0 0 5066 42 0 0 25 0 1 0 5097264 39698432 9242 1992294400 134512640 135751879 4291308656 18446744073709551615 134620520 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 9692 9242 148 303 0 9387 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38768

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11401
/proc/meminfo: memFree=1636460/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=84552 CPUtime=102.27
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 20821 0 0 0 10131 96 0 0 25 0 1 0 5097264 86581248 20669 1992294400 134512640 135751879 4291308656 18446744073709551615 134606459 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 21138 20669 148 303 0 20833 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 84552

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11401
/proc/meminfo: memFree=1606328/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=115024 CPUtime=162.25
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 28428 0 0 0 16081 144 0 0 25 0 1 0 5097264 117784576 28276 1992294400 134512640 135751879 4291308656 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 28756 28276 148 303 0 28451 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 115024

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11403
/proc/meminfo: memFree=1564664/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=156124 CPUtime=222.24
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 38773 0 0 0 22018 206 0 0 25 0 1 0 5097264 159870976 38593 1992294400 134512640 135751879 4291308656 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 39031 38593 151 303 0 38726 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 156124

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11405
/proc/meminfo: memFree=1511964/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=209732 CPUtime=282.22
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 52178 0 0 0 27957 265 0 0 25 0 1 0 5097264 214765568 51998 1992294400 134512640 135751879 4291308656 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 52433 51998 151 303 0 52128 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 209732

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

[startup+294.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11405
/proc/meminfo: memFree=1496712/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=224596 CPUtime=294.21
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 55894 0 0 0 29141 280 0 0 25 0 1 0 5097264 229986304 55714 1992294400 134512640 135751879 4291308656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 56149 55714 151 303 0 55844 0
Current children cumulated CPU time (s) 294.21
Current children cumulated vsize (KiB) 224596

[startup+307.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11405
/proc/meminfo: memFree=1479724/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=241240 CPUtime=307.01
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 60055 0 0 0 30407 294 0 0 25 0 1 0 5097264 247029760 59875 1992294400 134512640 135751879 4291308656 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 60310 59875 151 303 0 60005 0
Current children cumulated CPU time (s) 307.01
Current children cumulated vsize (KiB) 241240

[startup+313.508 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11405
/proc/meminfo: memFree=1470920/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=249560 CPUtime=313.42
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 62133 0 0 0 31043 299 0 0 25 0 1 0 5097264 255549440 61953 1992294400 134512640 135751879 4291308656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 62390 61953 151 303 0 62085 0
Current children cumulated CPU time (s) 313.42
Current children cumulated vsize (KiB) 249560

[startup+316.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11407
/proc/meminfo: memFree=1466580/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=253916 CPUtime=316.62
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 63201 0 0 0 31359 303 0 0 25 0 1 0 5097264 260009984 63021 1992294400 134512640 135751879 4291308656 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 63479 63021 151 303 0 63174 0
Current children cumulated CPU time (s) 316.62
Current children cumulated vsize (KiB) 253916

[startup+317.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11407
/proc/meminfo: memFree=1466580/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=254576 CPUtime=317.41
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 63370 0 0 0 31437 304 0 0 25 0 1 0 5097264 260685824 63190 1992294400 134512640 135751879 4291308656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 63644 63190 151 303 0 63339 0
Current children cumulated CPU time (s) 317.41
Current children cumulated vsize (KiB) 254576

[startup+318.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11407
/proc/meminfo: memFree=1465588/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=255500 CPUtime=318.2
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 63606 0 0 0 31516 304 0 0 25 0 1 0 5097264 261632000 63426 1992294400 134512640 135751879 4291308656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 63875 63426 151 303 0 63570 0
Current children cumulated CPU time (s) 318.2
Current children cumulated vsize (KiB) 255500

[startup+318.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11407
/proc/meminfo: memFree=1465588/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=256028 CPUtime=318.61
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 63747 0 0 0 31556 305 0 0 25 0 1 0 5097264 262172672 63567 1992294400 134512640 135751879 4291308656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 64007 63567 151 303 0 63702 0
Current children cumulated CPU time (s) 318.61
Current children cumulated vsize (KiB) 256028

[startup+318.801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11407
/proc/meminfo: memFree=1465588/2059040 swapFree=4192956/4192956
[pid=11396] ppid=11394 vsize=256160 CPUtime=318.71
/proc/11396/stat : 11396 (wbo1.4b) R 11394 11396 10926 0 -1 4202496 63775 0 0 0 31566 305 0 0 25 0 1 0 5097264 262307840 63595 1992294400 134512640 135751879 4291308656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11396/statm: 64040 63595 151 303 0 63735 0
Current children cumulated CPU time (s) 318.71
Current children cumulated vsize (KiB) 256160

Child status: 0
Real time (s): 318.83
CPU time (s): 318.747
CPU user time (s): 315.669
CPU system time (s): 3.07753
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 256160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 315.669
system time used= 3.07753
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63777
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= 5
involuntary context switches= 186

runsolver used 0.545917 second user time and 1.50277 second system time

The end

Launcher Data 

Begin job on node037 at 2010-06-15 23:40:44
IDJOB=2655802
IDBENCH=25007
IDSOLVER=1161
FILE ID=node037/2655802-1276638044
PBS_JOBID= 11172372
Free space on /tmp= 62584 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655802-1276638044/watcher-2655802-1276638044 -o /tmp/evaluation-result-2655802-1276638044/solver-2655802-1276638044 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655802-1276638044.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= b0c7ff7d1fa11c8e15b9d528879223a9
RANDOM SEED=152625524

node037.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.248
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
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.248
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.55
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1719828 kB
Buffers:         56232 kB
Cached:         147168 kB
SwapCached:          0 kB
Active:         124512 kB
Inactive:       138412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1719828 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2860 kB
Writeback:           0 kB
AnonPages:       59452 kB
Mapped:          15476 kB
Slab:            54616 kB
PageTables:       3988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180944 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62580 MiB
End job on node037 at 2010-06-15 23:46:03