Trace number 2655777

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.4bOPT25 436.043 436.158

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_030_area_delay.opb
MD5SUM55bd571d186b9003e67d2301a4d2bce5
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark2.94955
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables4666
Total number of constraints12693
Number of constraints which are clauses12693
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 constraint63
Number of terms in the objective function 2273
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 2273
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2273
Number of bits of the biggest sum of numbers12
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-2655777-1276632240.opb.
0.00/0.00	c Instance file HOME/instance-2655777-1276632240.opb
0.00/0.00	c File size is 374479 bytes.
0.00/0.05	c Highest Coefficient sum: 64
0.00/0.05	c ============================[ Problem Statistics ]=============================
0.00/0.05	c |                                                                             |
0.00/0.05	c |  Parsing time:          0.06         s                                      |
0.00/0.05	c |  Number Variables:      4666                                                |
0.00/0.05	c |  Number Clauses:        12693                                               |
0.00/0.05	c |  Number Cardinality:    0                                                   |
0.00/0.05	c |  Number PB Constraints: 0                                                   |
0.09/0.16	c ============================[ Search Statistics ]==============================
0.09/0.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |    4336    12702    30514 |     5000        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c New solution: 31
0.09/0.16	o 31
0.09/0.16	c Elapsed CPU time: 0.154976 s	Remaining CPU time: 179.845 s
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |    4336    12703    32787 |     5000        0    nan |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c New solution: 29
0.09/0.17	o 29
0.09/0.17	c Elapsed CPU time: 0.162975 s	Remaining CPU time: 179.837 s
0.09/0.17	c ===============================================================================
0.09/0.17	c |         8 |    4336    12704    35060 |     5000        8     49 |  0.000 % |
0.19/0.21	c |       109 |    4336    12704    35060 |     5500      109     39 |  7.072 % |
0.19/0.28	c |       261 |    4336    12704    35060 |     6050      261     45 |  7.074 % |
0.29/0.35	c |       486 |    4336    12704    35060 |     6655      486     40 |  7.072 % |
0.49/0.50	c |       823 |    4336    12704    35060 |     7320      823     40 |  7.073 % |
0.69/0.73	c |      1329 |    4336    12704    35060 |     8052     1329     43 |  7.073 % |
1.00/1.05	c |      2088 |    4336    12704    35060 |     8857     2088     49 |  7.072 % |
1.49/1.53	c |      3228 |    4336    12704    35060 |     9743     3228     56 |  7.073 % |
2.19/2.22	c |      4936 |    4336    12704    35060 |    10717     4936     60 |  7.072 % |
3.39/3.46	c |      7499 |    4336    12704    35060 |    11789     7499     63 |  7.072 % |
4.99/5.02	c |     11347 |    4336    12704    35060 |    12968    11347     63 |  7.072 % |
7.70/7.71	c |     17114 |    4336    12704    35060 |    14265     9893     61 |  7.072 % |
10.99/11.08	c |     25763 |    4336    12704    35060 |    15692    10459     70 |  7.072 % |
16.68/16.72	c |     38737 |    4336    12704    35060 |    17261    14615     73 |  7.072 % |
25.69/25.74	c |     58198 |    4336    12704    35060 |    18987    15130     77 |  7.072 % |
39.68/39.71	c |     87390 |    4336    12704    35060 |    20886    13367     74 |  7.072 % |
60.67/60.77	c |    131180 |    4336    12704    35060 |    22974    21754     72 |  7.073 % |
92.38/92.41	c |    196864 |    4336    12704    35060 |    25272    18737     99 |  7.072 % |
156.16/156.28	c |    295391 |    4336    12704    35060 |    27799    25182     61 |  7.072 % |
181.64/181.75	c There are 330 assigned variables. 164 in cost function.
182.64/182.74	c core #1
182.64/182.74	c core #2
182.64/182.74	c core #3
182.64/182.74	c core #4
182.64/182.74	c core #5
182.64/182.74	c core #6
182.64/182.74	c core #7
182.64/182.74	c core #8
182.64/182.74	c core #9
182.64/182.74	c core #10
182.64/182.74	c core #11
182.64/182.74	c core #12
182.64/182.74	c core #13
182.64/182.74	c core #14
182.64/182.74	c core #15
182.64/182.74	c core #16
182.64/182.74	c core #17
182.64/182.74	c core #18
182.64/182.74	c core #19
182.64/182.74	c core #20
182.64/182.74	c core #21
182.64/182.74	c ============================[ Search Statistics ]==============================
182.64/182.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.64/182.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.64/182.74	c ===============================================================================
182.64/182.74	c |         0 |    1455    14391    23849 |     5000        0    nan |  0.000 % |
182.64/182.74	c ===============================================================================
182.64/182.77	c core #22
182.64/182.77	c ============================[ Search Statistics ]==============================
182.64/182.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.64/182.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.64/182.77	c ===============================================================================
182.64/182.77	c |         0 |    1976    14398    25200 |     5000        0    nan |  0.000 % |
182.64/182.79	c ===============================================================================
182.74/182.82	c core #23
182.74/182.82	c ============================[ Search Statistics ]==============================
182.74/182.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.74/182.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.74/182.82	c ===============================================================================
182.74/182.82	c |         0 |    2281    14439    25952 |     5000        0    nan |  0.000 % |
182.74/182.85	c |       102 |    2281    14439    25952 |     5500      102     48 | 58.633 % |
182.74/182.88	c |       253 |    2281    14439    25952 |     6050      253     42 | 58.633 % |
182.84/182.95	c ===============================================================================
182.84/182.99	c core #24
182.84/182.99	c ============================[ Search Statistics ]==============================
182.84/182.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.84/182.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.84/182.99	c ===============================================================================
182.84/182.99	c |         0 |    3438    14671    29293 |     5000        0    nan |  0.000 % |
182.94/183.02	c |       102 |    3438    14671    29293 |     5500      102     72 | 44.656 % |
182.94/183.06	c |       252 |    3438    14671    29293 |     6050      252     58 | 44.656 % |
183.04/183.16	c |       477 |    3438    14671    29293 |     6655      477     60 | 44.656 % |
183.14/183.29	c |       814 |    3438    14671    29293 |     7320      814     63 | 44.656 % |
183.44/183.57	c |      1320 |    3438    14671    29293 |     8052     1320     72 | 44.656 % |
183.84/183.98	c |      2080 |    3438    14671    29293 |     8857     2080     77 | 44.656 % |
184.45/184.56	c |      3220 |    3438    14671    29293 |     9743     3220     79 | 44.656 % |
185.75/185.81	c |      4930 |    3438    14671    29293 |    10717     4930     86 | 44.656 % |
187.34/187.45	c |      7492 |    3438    14671    29293 |    11789     7492     90 | 44.656 % |
189.25/189.36	c ===============================================================================
189.45/189.57	c core #25
189.45/189.57	c ============================[ Search Statistics ]==============================
189.45/189.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.45/189.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.45/189.57	c ===============================================================================
189.45/189.57	c |         0 |    4552    15107    32398 |     5035        0    nan |  0.000 % |
189.54/189.62	c |       101 |    4552    15107    32398 |     5539      101    125 | 37.865 % |
189.54/189.69	c |       254 |    4552    15107    32398 |     6093      254     70 | 37.865 % |
189.74/189.80	c |       479 |    4552    15107    32398 |     6702      479     76 | 37.865 % |
189.85/189.95	c |       817 |    4552    15107    32398 |     7372      817     74 | 37.865 % |
190.04/190.11	c |      1324 |    4552    15107    32398 |     8109     1324     71 | 37.865 % |
190.34/190.43	c |      2084 |    4552    15107    32398 |     8920     2084     61 | 37.865 % |
191.25/191.35	c |      3223 |    4552    15107    32398 |     9813     3223     85 | 37.865 % |
192.14/192.21	c |      4932 |    4552    15107    32398 |    10794     4932     74 | 37.865 % |
194.34/194.45	c |      7497 |    4552    15107    32398 |    11873     7497    114 | 37.865 % |
197.24/197.30	c |     11342 |    4552    15107    32398 |    13061    11342    116 | 37.865 % |
201.83/201.98	c |     17108 |    4552    15107    32398 |    14367     8971    119 | 37.865 % |
210.13/210.23	c |     25759 |    4552    15107    32398 |    15804     8904    139 | 37.865 % |
223.34/223.41	c |     38733 |    4552    15107    32398 |    17384    12383    157 | 37.865 % |
244.13/244.29	c |     58196 |    4552    15107    32398 |    19122    11406    100 | 37.865 % |
277.72/277.84	c |     87388 |    4552    15107    32398 |    21035    18361    142 | 37.865 % |
329.41/329.52	c |    131177 |    4552    15107    32398 |    23138    13458    181 | 37.865 % |
416.39/416.57	c |    196862 |    4552    15107    32398 |    25452    25904    122 | 37.865 % |
435.98/436.12	c ===============================================================================
435.98/436.13	c #cores: 25
435.98/436.13	c Final Weight: 25
435.98/436.13	o 25
435.98/436.13	s OPTIMUM FOUND
435.98/436.13	v -x189 -x191 -x193 -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 -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 -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 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 x751 -x753 -x755 -x757 -x759 -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 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -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 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -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 -x1147 -x1149 -x1151 -x1153 -x1155 -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 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -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 -x1574 -x1576 -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 -x1630 -x1632 -x1634 -x1636 -x1638 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -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 -x1992 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -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 -x2077 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -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 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -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 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -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 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 x3479 -x3481 -x3483 -x3485 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 x4117 -x4119 -x4121 -x4122 -x4124 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4142 -x4144 -x4146 -x4148 x4150 -x4152 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4442 -x4444 -x4446 -x4447 -x4449 x4451 -x4453 -x4455 -x4457 -x4459 -x4460 -x4462 x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 x4559 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 x4576 -x4578 -x4579 -x4581 -x4583 x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 x4608 -x4610 -x4612 -x4614 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 x4636 -x4638 -x4640 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4660 x4662 -x4664 x4665 x4666 -x188 -x190 -x192 -x194 -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 -x1 -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 -x2 -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 -x3 -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 -x4 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x5 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x6 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x7 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x8 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -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 -x9 -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 -x10 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x11 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x12 -x976 -x978 -x980 -x982 -x984 -x986 -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 -x13 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x14 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x15 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x16 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x17 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x18 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x19 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x20 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x21 -x1325 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x22 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x23 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1387 -x1389 -x1391 -x1393 -x1395 -x24 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x25 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x26 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x27 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x28 -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 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x29 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x30 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x31 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x32 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x33 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x34 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x35 -x1668 -x1670 -x1672 -x36 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x37 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x38 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x39 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x40 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x41 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x42 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x43 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x44 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x45 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x46 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x47 -x1953 -x1955 -x1957 -x48 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x49 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x50 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x51 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x52 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x53 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x54 -x2137 -x2139 -x2142 -x2144 -x2146 -x2148 -x55 -x2150 -x2152 -x2154 -x2156 -x2159 -x2161 -x56 -x2163 -x2165 -x2167 -x57 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x58 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x59 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x60 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x61 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x62 -x2271 -x2273 -x2275 -x63 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x64 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x65 -x2305 -x2307 -x2309 -x66 -x2311 -x2313 -x2315 -x2317 -x2320 -x2322 -x67 -x2324 -x2326 -x2328 -x68 -x2330 -x2332 -x69 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2390 -x2392 -x2394 -x2396 -x70 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 x2446 -x2448 -x2450 -x2452 -x2454 -x71 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x72 -x2487 -x2489 -x2491 -x2493 -x2495 -x2498 -x73 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x74 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x75 -x2592 -x2594 -x2596 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x76 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x77 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x78 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x79 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x80 -x2756 -x2758 -x2760 -x2762 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x81 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x82 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x83 -x2858 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 x2877 -x2879 -x2881 -x2883 -x84 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x85 -x2899 -x2901 -x2903 -x86 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x87 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x88 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x89 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x90 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x91 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x92 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x93 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x94 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x95 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x96 -x3151 -x3153 -x3155 -x97 -x3157 -x3159 -x3161 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3213 -x3215 -x98 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x99 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3267 -x3269 -x3271 -x3273 -x100 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x101 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x102 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x103 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x104 -x3347 -x3349 -x3351 -x3353 -x3355 -x3358 -x105 -x3360 -x3362 -x3364 -x106 -x3366 -x3368 -x3370 -x3372 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x107 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x108 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x109 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3464 -x110 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 x3478 -x3480 -x3482 -x3484 -x3487 -x3489 -x3491 -x111 -x3493 -x3495 -x112 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x113 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x114 -x3525 -x3527 -x3529 -x115 -x3531 -x3533 -x3535 -x3538 -x3540 -x3542 -x116 -x3544 -x3546 -x3548 -x117 -x3550 -x3552 -x118 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x119 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x120 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x121 -x3676 -x3678 -x3681 -x3683 -x3685 -x3687 -x122 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x123 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x124 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x125 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x126 -x3793 -x3795 -x3797 -x3799 -x3801 -x3804 -x127 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x128 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x129 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x130 -x3864 -x3866 -x3868 -x131 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x132 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x133 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x134 -x3944 -x3946 -x3948 -x3951 -x3953 -x3955 -x135 -x3957 -x3959 -x3961 -x3963 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x136 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x137 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x138 -x4013 -x4015 -x4017 -x139 -x4019 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4035 -x4037 -x4039 -x4041 -x4043 -x140 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 x4080 -x4082 -x4084 -x4086 -x4088 -x141 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x142 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 x4116 x143 -x4118 -x4120 -x144 -x4123 -x4126 -x4128 -x4130 -x4132 -x4134 -x145 -x4136 -x4138 -x4140 -x4143 -x4145 -x4147 x4149 -x4151 -x146 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x147 -x4168 -x4170 -x4172 -x148 -x4174 -x4176 -x149 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 x4207 -x4209 -x150 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x151 -x4241 -x4244 -x4246 -x4248 -x4250 -x4252 -x152 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x153 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4287 -x4289 -x4291 -x4293 -x4295 -x154 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x155 -x4311 -x4313 -x4315 -x4318 -x4320 -x4322 -x156 -x4324 -x4326 -x4328 -x157 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 x4368 -x4370 -x4372 -x158 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x159 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x160 -x4400 -x4402 -x4404 -x161 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x162 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x163 -x4434 -x4436 -x164 -x4438 -x4440 -x4443 -x4445 -x4448 x165 x4450 -x4452 -x4454 -x166 -x4456 -x4458 -x167 -x4461 x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4482 -x4484 -x4486 -x4488 -x4490 -x168 -x4492 -x4494 -x4496 -x4499 -x4501 -x4503 -x169 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x170 -x4519 -x4521 -x4523 -x4525 -x4527 -x4530 -x171 -x4532 -x4534 -x4536 -x172 -x4538 -x4540 -x4542 -x4544 -x4547 -x4549 -x173 -x4551 -x4553 -x4555 -x4557 -x4561 -x4563 -x4565 -x4567 -x174 -x4569 -x4571 -x4573 x4575 -x4577 -x175 -x4580 -x4582 -x4585 -x4587 -x4589 -x4591 -x4593 -x176 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 x4607 x177 -x4609 -x4611 -x4613 -x178 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x179 -x4628 -x4630 -x180 -x4632 -x4634 x181 -x4637 -x182 -x4639 -x4642 -x4644 -x4646 -x4648 -x183 -x4650 -x4652 -x4654 -x184 -x4656 -x4658 -x185 x4661 -x4663 x186 x187
435.98/436.13	c Total CPU time: 433.091 s

Verifier Data 

OK	25

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655777-1276632240/watcher-2655777-1276632240 -o /tmp/evaluation-result-2655777-1276632240/solver-2655777-1276632240 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655777-1276632240.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: 0.85 0.97 0.99 3/106 11143
/proc/meminfo: memFree=1833516/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=3412 CPUtime=0
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 403 0 0 0 0 0 0 0 20 0 1 0 4516490 3493888 322 1992294400 134512640 135751879 4293877456 18446744073709551615 134613979 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 853 323 143 303 0 456 0

[startup+0.086711 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 11143
/proc/meminfo: memFree=1833516/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=5388 CPUtime=0.08
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 1051 0 0 0 8 0 0 0 20 0 1 0 4516490 5517312 878 1992294400 134512640 135751879 4293877456 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 1347 878 145 303 0 1042 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5388

[startup+0.101711 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 11143
/proc/meminfo: memFree=1833516/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=5388 CPUtime=0.09
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 1053 0 0 0 9 0 0 0 20 0 1 0 4516490 5517312 880 1992294400 134512640 135751879 4293877456 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 1347 880 145 303 0 1042 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5388

[startup+0.301734 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 11143
/proc/meminfo: memFree=1833516/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=5388 CPUtime=0.29
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 1075 0 0 0 27 2 0 0 20 0 1 0 4516490 5517312 902 1992294400 134512640 135751879 4293877456 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 1347 902 147 303 0 1042 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5388

[startup+0.701777 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 11143
/proc/meminfo: memFree=1833516/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=5388 CPUtime=0.69
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 1080 0 0 0 66 3 0 0 21 0 1 0 4516490 5517312 907 1992294400 134512640 135751879 4293877456 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 1347 907 147 303 0 1042 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5388

[startup+1.50186 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 11144
/proc/meminfo: memFree=1830532/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=5388 CPUtime=1.49
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 1080 0 0 0 145 4 0 0 23 0 1 0 4516490 5517312 907 1992294400 134512640 135751879 4293877456 18446744073709551615 134611230 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 1347 907 147 303 0 1042 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5388

[startup+3.10104 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 11144
/proc/meminfo: memFree=1829912/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=6700 CPUtime=3.09
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 1400 0 0 0 303 6 0 0 25 0 1 0 4516490 6860800 1227 1992294400 134512640 135751879 4293877456 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 1675 1227 147 303 0 1370 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6700

[startup+6.30139 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 11144
/proc/meminfo: memFree=1826936/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=9444 CPUtime=6.29
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 2071 0 0 0 618 11 0 0 25 0 1 0 4516490 9670656 1898 1992294400 134512640 135751879 4293877456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 2361 1898 147 303 0 2056 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9444

[startup+12.7011 s]
/proc/loadavg: 0.87 0.97 0.99 2/107 11144
/proc/meminfo: memFree=1820736/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=15444 CPUtime=12.69
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 3593 0 0 0 1251 18 0 0 25 0 1 0 4516490 15814656 3420 1992294400 134512640 135751879 4293877456 18446744073709551615 134616332 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 3861 3420 148 303 0 3556 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15444

[startup+25.5015 s]
/proc/loadavg: 0.90 0.97 0.99 2/107 11144
/proc/meminfo: memFree=1808584/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=27408 CPUtime=25.48
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 6560 0 0 0 2518 30 0 0 25 0 1 0 4516490 28065792 6387 1992294400 134512640 135751879 4293877456 18446744073709551615 134620388 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 6852 6387 148 303 0 6547 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27408

[startup+51.1013 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 11146
/proc/meminfo: memFree=1786636/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=49708 CPUtime=51.08
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 12145 0 0 0 5054 54 0 0 25 0 1 0 4516490 50900992 11972 1992294400 134512640 135751879 4293877456 18446744073709551615 134606459 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 12427 11972 148 303 0 12122 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49708

[startup+102.309 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 11146
/proc/meminfo: memFree=1740880/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=94752 CPUtime=102.27
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 23408 0 0 0 10130 97 0 0 25 0 1 0 4516490 97026048 23235 1992294400 134512640 135751879 4293877456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 23688 23235 148 303 0 23383 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 94752

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11148
/proc/meminfo: memFree=1707648/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=128616 CPUtime=162.25
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 31842 0 0 0 16073 152 0 0 25 0 1 0 4516490 131702784 31669 1992294400 134512640 135751879 4293877456 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 32154 31669 148 303 0 31849 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 128616

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11150
/proc/meminfo: memFree=1679996/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=155540 CPUtime=222.23
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 38755 0 0 0 22032 191 0 0 25 0 1 0 4516490 159272960 38440 1992294400 134512640 135751879 4293877456 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 38885 38440 151 303 0 38580 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 155540

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11152
/proc/meminfo: memFree=1646144/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=189292 CPUtime=282.22
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 47210 0 0 0 28007 215 0 0 25 0 1 0 4516490 193835008 46895 1992294400 134512640 135751879 4293877456 18446744073709551615 134616353 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 47323 46895 151 303 0 47018 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 189292

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11152
/proc/meminfo: memFree=1609688/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=225384 CPUtime=342.2
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 56226 0 0 0 33975 245 0 0 25 0 1 0 4516490 230793216 55911 1992294400 134512640 135751879 4293877456 18446744073709551615 134609005 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 56346 55911 151 303 0 56041 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 225384

[startup+402.302 s]
/proc/loadavg: 1.05 0.99 0.99 2/107 11154
/proc/meminfo: memFree=1581664/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=253780 CPUtime=402.18
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 63337 0 0 0 39943 275 0 0 25 0 1 0 4516490 259870720 63022 1992294400 134512640 135751879 4293877456 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 63445 63022 151 303 0 63140 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 253780

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

[startup+409.501 s]
/proc/loadavg: 1.04 0.99 0.99 2/107 11154
/proc/meminfo: memFree=1577200/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=257872 CPUtime=409.38
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 64337 0 0 0 40660 278 0 0 25 0 1 0 4516490 264060928 64022 1992294400 134512640 135751879 4293877456 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 64468 64022 151 303 0 64163 0
Current children cumulated CPU time (s) 409.38
Current children cumulated vsize (KiB) 257872

[startup+422.301 s]
/proc/loadavg: 1.03 0.99 0.99 2/107 11156
/proc/meminfo: memFree=1570132/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=264748 CPUtime=422.19
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 66058 0 0 0 41935 284 0 0 25 0 1 0 4516490 271101952 65743 1992294400 134512640 135751879 4293877456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 66187 65743 151 303 0 65882 0
Current children cumulated CPU time (s) 422.19
Current children cumulated vsize (KiB) 264748

[startup+428.702 s]
/proc/loadavg: 1.03 0.99 0.99 2/107 11156
/proc/meminfo: memFree=1566040/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=269500 CPUtime=428.58
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 67246 0 0 0 42570 288 0 0 25 0 1 0 4516490 275968000 66931 1992294400 134512640 135751879 4293877456 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 67375 66931 151 303 0 67070 0
Current children cumulated CPU time (s) 428.58
Current children cumulated vsize (KiB) 269500

[startup+431.901 s]
/proc/loadavg: 1.03 0.99 0.99 2/107 11156
/proc/meminfo: memFree=1563188/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=272404 CPUtime=431.78
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 67965 0 0 0 42888 290 0 0 25 0 1 0 4516490 278941696 67650 1992294400 134512640 135751879 4293877456 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 68101 67650 151 303 0 67796 0
Current children cumulated CPU time (s) 431.78
Current children cumulated vsize (KiB) 272404

[startup+433.501 s]
/proc/loadavg: 1.03 0.99 0.99 2/107 11156
/proc/meminfo: memFree=1561824/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=273196 CPUtime=433.38
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 68169 0 0 0 43047 291 0 0 25 0 1 0 4516490 279752704 67854 1992294400 134512640 135751879 4293877456 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 68299 67854 151 303 0 67994 0
Current children cumulated CPU time (s) 433.38
Current children cumulated vsize (KiB) 273196

[startup+435.101 s]
/proc/loadavg: 1.03 0.99 0.99 2/107 11156
/proc/meminfo: memFree=1561204/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=274120 CPUtime=434.98
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 68384 0 0 0 43206 292 0 0 25 0 1 0 4516490 280698880 68069 1992294400 134512640 135751879 4293877456 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 68530 68069 151 303 0 68225 0
Current children cumulated CPU time (s) 434.98
Current children cumulated vsize (KiB) 274120

[startup+435.901 s]
/proc/loadavg: 1.03 0.99 0.99 2/107 11156
/proc/meminfo: memFree=1560460/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=274648 CPUtime=435.78
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 68542 0 0 0 43286 292 0 0 25 0 1 0 4516490 281239552 68227 1992294400 134512640 135751879 4293877456 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 68662 68227 151 303 0 68357 0
Current children cumulated CPU time (s) 435.78
Current children cumulated vsize (KiB) 274648

[startup+436.101 s]
/proc/loadavg: 1.03 0.99 0.99 2/107 11156
/proc/meminfo: memFree=1560460/2059040 swapFree=4192956/4192956
[pid=11143] ppid=11141 vsize=274912 CPUtime=435.98
/proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 68589 0 0 0 43306 292 0 0 25 0 1 0 4516490 281509888 68274 1992294400 134512640 135751879 4293877456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11143/statm: 68728 68274 151 303 0 68423 0
Current children cumulated CPU time (s) 435.98
Current children cumulated vsize (KiB) 274912

Child status: 0
Real time (s): 436.158
CPU time (s): 436.043
CPU user time (s): 433.091
CPU system time (s): 2.95155
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 274912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 433.091
system time used= 2.95155
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68601
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= 9
involuntary context switches= 389

runsolver used 0.723889 second user time and 2.06569 second system time

The end

Launcher Data 

Begin job on node042 at 2010-06-15 22:04:00
IDJOB=2655777
IDBENCH=24982
IDSOLVER=1161
FILE ID=node042/2655777-1276632240
PBS_JOBID= 11172390
Free space on /tmp= 62580 MiB

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

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

MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5
RANDOM SEED=131785983

node042.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.213
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.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1834168 kB
Buffers:          6464 kB
Cached:          94680 kB
SwapCached:          0 kB
Active:          36564 kB
Inactive:       123888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1834168 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3108 kB
Writeback:           0 kB
AnonPages:       59292 kB
Mapped:          15296 kB
Slab:            42600 kB
PageTables:       4056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183624 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 node042 at 2010-06-15 22:11:16