Trace number 2655778

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.4bOPT23 340.571 340.715

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_020_area_delay.opb
MD5SUMb63b2d912c01ff826a63051b401330db
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark2.99154
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved YES
Number of variables4427
Total number of constraints12661
Number of constraints which are clauses12661
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 2136
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 2136
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 2136
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-2655778-1276632371.opb.
0.00/0.00	c Instance file HOME/instance-2655778-1276632371.opb
0.00/0.00	c File size is 373906 bytes.
0.02/0.05	c Highest Coefficient sum: 64
0.02/0.06	c ============================[ Problem Statistics ]=============================
0.02/0.06	c |                                                                             |
0.02/0.06	c |  Parsing time:          0.06         s                                      |
0.02/0.06	c |  Number Variables:      4427                                                |
0.02/0.06	c |  Number Clauses:        12661                                               |
0.02/0.06	c |  Number Cardinality:    0                                                   |
0.02/0.06	c |  Number PB Constraints: 0                                                   |
0.09/0.12	c ============================[ Search Statistics ]==============================
0.09/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |    4020    12737    30258 |     5000        0    nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 27
0.09/0.12	o 27
0.09/0.12	c Elapsed CPU time: 0.115982 s	Remaining CPU time: 179.884 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |    4020    12738    32394 |     5000        0    nan |  0.000 % |
0.09/0.16	c |       101 |    4020    12738    32394 |     5500      101     59 |  9.194 % |
0.19/0.21	c |       252 |    4020    12738    32394 |     6050      252     42 |  9.194 % |
0.29/0.31	c |       478 |    4020    12738    32394 |     6655      478     45 |  9.195 % |
0.39/0.43	c |       815 |    4020    12738    32394 |     7320      815     45 |  9.194 % |
0.59/0.67	c |      1321 |    4020    12738    32394 |     8052     1321     41 |  9.195 % |
0.89/0.95	c |      2080 |    4020    12738    32394 |     8857     2080     45 |  9.194 % |
1.49/1.52	c |      3219 |    4020    12738    32394 |     9743     3219     44 |  9.194 % |
1.59/1.63	c ===============================================================================
1.59/1.63	c New solution: 26
1.59/1.63	o 26
1.59/1.63	c Elapsed CPU time: 1.59576 s	Remaining CPU time: 178.404 s
1.59/1.63	c ===============================================================================
1.59/1.63	c |      3520 |    4020    12739    34530 |     5000     3520     43 |  9.194 % |
1.59/1.68	c |      3620 |    4020    12739    34530 |     5500     3620     43 |  9.194 % |
1.69/1.73	c |      3770 |    4020    12739    34530 |     6050     3770     44 |  9.194 % |
1.79/1.85	c |      3996 |    4020    12739    34530 |     6655     3996     44 |  9.194 % |
1.89/1.97	c |      4334 |    4020    12739    34530 |     7320     4334     45 |  9.194 % |
2.10/2.18	c |      4840 |    4020    12739    34530 |     8052     4840     45 |  9.195 % |
2.49/2.54	c |      5599 |    4020    12739    34530 |     8857     5599     44 |  9.194 % |
2.89/2.97	c |      6738 |    4020    12739    34530 |     9743     6738     46 |  9.194 % |
3.59/3.66	c |      8446 |    4020    12739    34530 |    10717     8446     51 |  9.194 % |
4.68/4.73	c |     11008 |    4020    12739    34530 |    11789    11008     52 |  9.194 % |
6.09/6.18	c |     14853 |    4020    12739    34530 |    12968     8068     62 |  9.194 % |
9.39/9.40	c |     20620 |    4020    12739    34530 |    14265    13835     76 |  9.194 % |
12.68/12.72	c |     29269 |    4020    12739    34530 |    15692    14457     73 |  9.194 % |
18.28/18.34	c |     42244 |    4020    12739    34530 |    17261    10401     72 |  9.194 % |
26.39/26.45	c |     61705 |    4020    12739    34530 |    18987    11032     58 |  9.194 % |
38.77/38.80	c |     90899 |    4020    12739    34530 |    20886    19804     64 |  9.194 % |
58.06/58.11	c |    134688 |    4020    12739    34530 |    22974    16519     85 |  9.194 % |
87.25/87.34	c |    200373 |    4020    12739    34530 |    25272    16399     80 |  9.194 % |
135.83/135.93	c |    298900 |    4020    12739    34530 |    27799    21469     67 |  9.194 % |
182.11/182.24	c There are 407 assigned variables. 165 in cost function.
183.01/183.15	c core #1
183.01/183.15	c core #2
183.01/183.15	c core #3
183.01/183.15	c core #4
183.01/183.15	c core #5
183.01/183.15	c core #6
183.01/183.15	c core #7
183.01/183.15	c core #8
183.01/183.15	c core #9
183.01/183.15	c core #10
183.01/183.15	c core #11
183.01/183.15	c core #12
183.01/183.15	c core #13
183.01/183.15	c core #14
183.01/183.15	c core #15
183.01/183.15	c core #16
183.01/183.15	c core #17
183.01/183.15	c core #18
183.01/183.15	c ============================[ Search Statistics ]==============================
183.01/183.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.01/183.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.01/183.15	c ===============================================================================
183.01/183.15	c |         0 |    1175    13370    21276 |     5000        0    nan |  0.000 % |
183.01/183.16	c ===============================================================================
183.01/183.19	c core #19
183.01/183.19	c ============================[ Search Statistics ]==============================
183.01/183.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.01/183.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.01/183.19	c ===============================================================================
183.01/183.19	c |         0 |    1737    13387    22857 |     5000        0    nan |  0.000 % |
183.01/183.20	c ===============================================================================
183.11/183.22	c core #20
183.11/183.22	c ============================[ Search Statistics ]==============================
183.11/183.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.11/183.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.11/183.22	c ===============================================================================
183.11/183.22	c |         0 |    2213    13422    24350 |     5000        0    nan |  0.000 % |
183.11/183.25	c |       102 |    2213    13422    24350 |     5500      102     36 | 57.500 % |
183.11/183.29	c ===============================================================================
183.21/183.33	c core #21
183.21/183.33	c ============================[ Search Statistics ]==============================
183.21/183.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.21/183.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.21/183.33	c ===============================================================================
183.21/183.33	c |         0 |    3238    13726    27459 |     5000        0    nan |  0.000 % |
183.21/183.36	c |       100 |    3238    13726    27459 |     5500      100     96 | 46.150 % |
183.31/183.47	c |       250 |    3238    13726    27459 |     6050      250    115 | 46.150 % |
183.41/183.59	c |       480 |    3238    13726    27459 |     6655      480    103 | 46.150 % |
183.62/183.73	c |       819 |    3238    13726    27459 |     7320      819     80 | 46.150 % |
183.81/183.99	c |      1326 |    3238    13726    27459 |     8052     1326     83 | 46.150 % |
184.31/184.46	c |      2085 |    3238    13726    27459 |     8857     2085     98 | 46.150 % |
185.31/185.47	c |      3224 |    3238    13726    27459 |     9743     3224    107 | 46.150 % |
186.41/186.58	c |      4932 |    3238    13726    27459 |    10717     4932    109 | 46.150 % |
188.71/188.80	c |      7494 |    3238    13726    27459 |    11789     7494    112 | 46.150 % |
192.20/192.35	c |     11341 |    3238    13726    27459 |    12968    11341    111 | 46.150 % |
193.90/194.03	c ===============================================================================
194.20/194.32	c core #22
194.20/194.32	c ============================[ Search Statistics ]==============================
194.20/194.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.20/194.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.20/194.32	c ===============================================================================
194.20/194.32	c |         0 |    4378    14235    31008 |     5000        0    nan |  0.000 % |
194.20/194.36	c |       101 |    4378    14235    31008 |     5500      101     93 | 38.666 % |
194.31/194.46	c |       251 |    4378    14235    31008 |     6050      251    101 | 38.666 % |
194.41/194.60	c |       476 |    4378    14235    31008 |     6655      476     95 | 38.666 % |
194.70/194.80	c |       813 |    4378    14235    31008 |     7320      813    106 | 38.666 % |
194.91/195.03	c |      1319 |    4378    14235    31008 |     8052     1319    110 | 38.666 % |
195.51/195.63	c |      2078 |    4378    14235    31008 |     8857     2078    109 | 38.666 % |
196.51/196.63	c |      3218 |    4378    14235    31008 |     9743     3218    135 | 38.666 % |
197.81/197.99	c |      4926 |    4378    14235    31008 |    10717     4926    123 | 38.666 % |
200.11/200.25	c |      7491 |    4378    14235    31008 |    11789     7491    120 | 38.666 % |
203.90/204.09	c |     11336 |    4378    14235    31008 |    12968    11336    117 | 38.666 % |
211.40/211.59	c |     17103 |    4378    14235    31008 |    14265     8700    124 | 38.666 % |
221.90/222.05	c |     25752 |    4378    14235    31008 |    15692    17349    149 | 38.666 % |
237.99/238.15	c |     38729 |    4378    14235    31008 |    17261    11684    153 | 38.666 % |
264.18/264.39	c |     58198 |    4378    14235    31008 |    18987    10926    177 | 38.666 % |
307.56/307.70	c |     87391 |    4378    14235    31008 |    20886    18104    194 | 38.666 % |
340.45/340.68	c ===============================================================================
340.45/340.68	c #cores: 22
340.45/340.68	c Final Weight: 23
340.45/340.68	o 23
340.45/340.68	s OPTIMUM FOUND
340.45/340.68	v -x176 -x178 -x180 -x182 -x184 -x186 -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 -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 -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 -x624 -x626 -x628 -x630 -x632 -x634 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 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 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 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -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 x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -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 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -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 -x1991 -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 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -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 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -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 -x2383 -x2385 -x2387 -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 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -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 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -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 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -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 -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 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -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 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -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 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 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 -x3358 -x3360 -x3362 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 x3480 -x3482 -x3484 -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 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3601 -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 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -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 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -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 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -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 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -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 -x175 -x177 -x179 -x181 -x183 -x185 -x187 -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 -x1 -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 -x2 -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 -x3 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x4 -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 -x5 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x6 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x7 -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 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x8 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x9 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x10 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x11 -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 -x12 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x13 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x14 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x15 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x16 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x17 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x18 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x19 -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 -x20 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x21 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x22 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x23 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x24 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x25 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x26 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x27 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x28 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x29 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x30 -x1331 -x1333 -x1335 -x31 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1364 -x32 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x33 -x1380 -x1382 -x1384 -x1386 -x1389 -x34 -x1391 -x1393 -x1395 -x35 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x36 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x37 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x38 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x39 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x40 -x1513 -x1515 -x1517 -x41 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x42 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 x1545 -x1547 -x1549 -x1551 -x43 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x44 -x1567 -x1569 -x1571 -x45 -x1573 -x1575 -x1577 -x46 -x1579 -x1581 x1583 x47 -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 -x48 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x49 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x50 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x51 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x52 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x53 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x54 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x55 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x56 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x57 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x58 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x59 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x60 -x1961 -x1963 -x1965 -x61 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1992 -x1994 -x62 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x63 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x64 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x65 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x66 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x67 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x68 -x2112 -x2114 -x2116 -x69 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x70 -x2148 -x2150 -x2152 -x2154 -x2156 -x2159 -x71 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x72 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x73 -x2189 -x2191 -x2193 -x74 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x75 -x2209 -x2211 -x76 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x77 -x2227 -x2229 -x2231 -x78 -x2233 -x2235 -x2237 -x79 -x2239 -x2241 -x2243 -x80 -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 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x81 -x2373 -x2375 -x2377 -x2379 -x2381 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x82 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x83 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x84 -x2526 -x2528 -x2530 -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 -x85 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x86 -x2618 -x2620 -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 -x87 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x88 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x89 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x90 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -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 -x91 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x92 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x93 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x94 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x95 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x96 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x97 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x98 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x99 -x2989 -x2991 -x2993 -x100 -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 -x3049 -x3051 -x3053 -x3055 -x101 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x102 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x103 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x104 -x3131 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x105 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x106 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x107 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x108 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x109 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x110 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x111 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x112 -x3359 -x3361 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x113 -x3388 -x3390 -x3392 -x3394 -x3396 -x3399 -x114 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x115 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x116 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x117 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x118 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x119 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x120 -x3523 -x3525 x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x121 -x3543 -x3545 -x3547 -x122 -x3549 -x3551 -x3553 -x123 -x3555 -x124 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x125 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x126 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x127 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x128 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x129 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x130 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x131 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x132 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x133 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x134 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x135 -x3914 -x3916 -x3918 -x136 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x137 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x138 -x3963 -x3965 -x3967 -x3969 -x3971 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x139 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x140 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x141 -x4018 -x4020 -x4022 -x142 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x143 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x144 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x145 -x4082 -x4084 -x146 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 x4102 -x4104 -x147 -x4106 -x4108 x4110 x148 -x4112 -x149 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x150 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x151 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x152 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x153 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x154 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x155 -x4245 -x4247 -x4249 -x156 -x4251 -x4253 -x4256 -x4258 -x4260 -x4262 -x157 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 x4276 -x4278 -x4280 -x4282 -x158 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x159 -x4298 -x4300 -x4302 x160 -x4304 x4306 -x4308 -x161 -x4310 -x162 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4333 -x4335 -x163 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x164 -x4351 -x4353 -x4355 -x4357 -x4359 -x4362 -x165 -x4364 -x4366 -x4368 -x166 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x167 -x4384 -x4386 -x168 -x4388 -x4390 -x4392 -x169 -x4394 x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x170 -x4408 -x4410 -x4412 -x4414 x4416 x4418 -x4420 x171 x4422 -x4424 -x172 x4426 x173 x174
340.45/340.68	c Total CPU time: 337.603 s

Verifier Data 

OK	23

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655778-1276632371/watcher-2655778-1276632371 -o /tmp/evaluation-result-2655778-1276632371/solver-2655778-1276632371 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655778-1276632371.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.99 1.02 1.00 3/106 7237
/proc/meminfo: memFree=1805272/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=3412 CPUtime=0
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 365 0 0 0 0 0 0 0 16 0 1 0 38838663 3493888 283 1992294400 134512640 135751879 4287824384 18446744073709551615 135206572 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 853 294 141 303 0 456 0

[startup+0.0253781 s]
/proc/loadavg: 0.99 1.02 1.00 3/106 7237
/proc/meminfo: memFree=1805272/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=3860 CPUtime=0.02
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 513 0 0 0 2 0 0 0 16 0 1 0 38838663 3952640 431 1992294400 134512640 135751879 4287824384 18446744073709551615 134561495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 965 431 170 303 0 568 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3860

[startup+0.101392 s]
/proc/loadavg: 0.99 1.02 1.00 3/106 7237
/proc/meminfo: memFree=1805272/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=5220 CPUtime=0.09
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 1022 0 0 0 9 0 0 0 17 0 1 0 38838663 5345280 848 1992294400 134512640 135751879 4287824384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 1305 848 145 303 0 1000 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5220

[startup+0.301431 s]
/proc/loadavg: 0.99 1.02 1.00 3/106 7237
/proc/meminfo: memFree=1805272/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=5352 CPUtime=0.29
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 1038 0 0 0 28 1 0 0 17 0 1 0 38838663 5480448 864 1992294400 134512640 135751879 4287824384 18446744073709551615 134607700 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 1338 864 147 303 0 1033 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5352

[startup+0.701509 s]
/proc/loadavg: 0.99 1.02 1.00 3/106 7237
/proc/meminfo: memFree=1805272/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=5352 CPUtime=0.69
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 1038 0 0 0 67 2 0 0 17 0 1 0 38838663 5480448 864 1992294400 134512640 135751879 4287824384 18446744073709551615 134606574 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 1338 864 147 303 0 1033 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5352

[startup+1.50167 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 7238
/proc/meminfo: memFree=1802288/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=5352 CPUtime=1.49
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 1038 0 0 0 146 3 0 0 18 0 1 0 38838663 5480448 864 1992294400 134512640 135751879 4287824384 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 1338 864 147 303 0 1033 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5352

[startup+3.10098 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 7238
/proc/meminfo: memFree=1801668/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=6404 CPUtime=3.09
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 1306 0 0 0 303 6 0 0 21 0 1 0 38838663 6557696 1132 1992294400 134512640 135751879 4287824384 18446744073709551615 134616344 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 1601 1132 147 303 0 1296 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6404

[startup+6.3016 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 7240
/proc/meminfo: memFree=1798816/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=9420 CPUtime=6.29
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 2059 0 0 0 619 10 0 0 25 0 1 0 38838663 9646080 1885 1992294400 134512640 135751879 4287824384 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 2355 1885 148 303 0 2050 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9420

[startup+12.7009 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 7240
/proc/meminfo: memFree=1792616/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=15204 CPUtime=12.68
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 3516 0 0 0 1251 17 0 0 25 0 1 0 38838663 15568896 3342 1992294400 134512640 135751879 4287824384 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 3801 3342 148 303 0 3496 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15204

[startup+25.5014 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 7240
/proc/meminfo: memFree=1781084/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=26456 CPUtime=25.48
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 6313 0 0 0 2514 34 0 0 25 0 1 0 38838663 27090944 6139 1992294400 134512640 135751879 4287824384 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 6614 6139 148 303 0 6309 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26456

[startup+51.1014 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 7240
/proc/meminfo: memFree=1756904/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=50740 CPUtime=51.06
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 12402 0 0 0 5044 62 0 0 25 0 1 0 38838663 51957760 12228 1992294400 134512640 135751879 4287824384 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 12685 12228 148 303 0 12380 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 50740

[startup+102.308 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 7242
/proc/meminfo: memFree=1711148/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=95836 CPUtime=102.25
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 23674 0 0 0 10098 127 0 0 25 0 1 0 38838663 98136064 23500 1992294400 134512640 135751879 4287824384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 23959 23500 148 303 0 23654 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 95836

[startup+162.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 7244
/proc/meminfo: memFree=1668492/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=138716 CPUtime=162.22
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 34369 0 0 0 16027 195 0 0 25 0 1 0 38838663 142045184 34195 1992294400 134512640 135751879 4287824384 18446744073709551615 134610836 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 34679 34195 148 303 0 34374 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 138716

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 7244
/proc/meminfo: memFree=1640344/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=166312 CPUtime=222.2
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 41480 0 0 0 21984 236 0 0 25 0 1 0 38838663 170303488 41153 1992294400 134512640 135751879 4287824384 18446744073709551615 134518945 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 41578 41153 151 303 0 41273 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 166312

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 7246
/proc/meminfo: memFree=1605872/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=200908 CPUtime=282.17
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 50117 0 0 0 27955 262 0 0 25 0 1 0 38838663 205729792 49790 1992294400 134512640 135751879 4287824384 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 50227 49790 151 303 0 49922 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 200908

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

[startup+307.1 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 7248
/proc/meminfo: memFree=1589752/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=216748 CPUtime=306.96
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 54080 0 0 0 30421 275 0 0 25 0 1 0 38838663 221949952 53753 1992294400 134512640 135751879 4287824384 18446744073709551615 134607732 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 54187 53753 151 303 0 53882 0
Current children cumulated CPU time (s) 306.96
Current children cumulated vsize (KiB) 216748

[startup+319.901 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 7248
/proc/meminfo: memFree=1583304/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=223744 CPUtime=319.76
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 55833 0 0 0 31693 283 0 0 25 0 1 0 38838663 229113856 55506 1992294400 134512640 135751879 4287824384 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 55936 55506 151 303 0 55631 0
Current children cumulated CPU time (s) 319.76
Current children cumulated vsize (KiB) 223744

[startup+332.7 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 7248
/proc/meminfo: memFree=1575120/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=231664 CPUtime=332.54
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 57798 0 0 0 32964 290 0 0 25 0 1 0 38838663 237223936 57471 1992294400 134512640 135751879 4287824384 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 57916 57471 151 303 0 57611 0
Current children cumulated CPU time (s) 332.54
Current children cumulated vsize (KiB) 231664

[startup+335.901 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 7248
/proc/meminfo: memFree=1572268/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=234568 CPUtime=335.75
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 58532 0 0 0 33283 292 0 0 25 0 1 0 38838663 240197632 58205 1992294400 134512640 135751879 4287824384 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 58642 58205 151 303 0 58337 0
Current children cumulated CPU time (s) 335.75
Current children cumulated vsize (KiB) 234568

[startup+339.101 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 7248
/proc/meminfo: memFree=1569664/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=236944 CPUtime=338.95
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 59123 0 0 0 33602 293 0 0 25 0 1 0 38838663 242630656 58796 1992294400 134512640 135751879 4287824384 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 59236 58796 151 303 0 58931 0
Current children cumulated CPU time (s) 338.95
Current children cumulated vsize (KiB) 236944

[startup+339.909 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 7248
/proc/meminfo: memFree=1568920/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=237472 CPUtime=339.76
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 59251 0 0 0 33682 294 0 0 25 0 1 0 38838663 243171328 58924 1992294400 134512640 135751879 4287824384 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 59368 58924 151 303 0 59063 0
Current children cumulated CPU time (s) 339.76
Current children cumulated vsize (KiB) 237472

[startup+340.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 7248
/proc/meminfo: memFree=1568920/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=237604 CPUtime=340.15
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202496 59287 0 0 0 33721 294 0 0 25 0 1 0 38838663 243306496 58960 1992294400 134512640 135751879 4287824384 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7237/statm: 59401 58960 151 303 0 59096 0
Current children cumulated CPU time (s) 340.15
Current children cumulated vsize (KiB) 237604

[startup+340.701 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 7248
/proc/meminfo: memFree=1568920/2059040 swapFree=4136232/4192956
[pid=7237] ppid=7235 vsize=0 CPUtime=340.55
/proc/7237/stat : 7237 (wbo1.4b) R 7235 7237 6069 0 -1 4202500 59332 0 0 0 33760 295 0 0 25 0 1 0 38838663 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/7237/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 340.55
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 340.715
CPU time (s): 340.571
CPU user time (s): 337.603
CPU system time (s): 2.96855
CPU usage (%): 99.9577
Max. virtual memory (cumulated for all children) (KiB): 237736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 337.603
system time used= 2.96855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59332
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= 4
involuntary context switches= 4175

runsolver used 0.574912 second user time and 1.60675 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-15 22:06:11
IDJOB=2655778
IDBENCH=24983
IDSOLVER=1161
FILE ID=node011/2655778-1276632371
PBS_JOBID= 11172341
Free space on /tmp= 62360 MiB

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

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

MD5SUM BENCH= b63b2d912c01ff826a63051b401330db
RANDOM SEED=1873402706

node011.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.264
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.52
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.264
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:       1805800 kB
Buffers:         69088 kB
Cached:         104100 kB
SwapCached:      10072 kB
Active:          81540 kB
Inactive:       105260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1805800 kB
SwapTotal:     4192956 kB
SwapFree:      4136232 kB
Dirty:            3064 kB
Writeback:           0 kB
AnonPages:       12004 kB
Mapped:           9296 kB
Slab:            44660 kB
PageTables:       4104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181836 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= 62360 MiB
End job on node011 at 2010-06-15 22:11:52