Trace number 4114939

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
minisatp 2012-10-02 git-d91742bSAT (TO)-2 1800.01 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534-max.opb
MD5SUM11b19c0232a5dd1a01e7c4342698e58e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -2
Optimality of the best value was proved NO
Number of variables5251
Total number of constraints15301
Number of constraints which are clauses15300
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint5100
Number of terms in the objective function 51
Biggest coefficient in the objective function 1125899906842624
Number of bits for the biggest coefficient in the objective function 51
Sum of the numbers in the objective function 2251799813685247
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 713623846352979940529142984724747568191373312
Number of bits of the biggest number in a constraint 150
Biggest sum of numbers in a constraint 2854495385411919137542539254950202185769575159
Number of bits of the biggest sum of numbers151
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.19/0.25	c Converting 15302 PB-constraints to clauses...
0.19/0.25	c   -- Unit propagations: (none)
0.28/0.37	c   -- Detecting intervals from adjacent constraints: #
0.28/0.37	c   -- Clauses(.)/Splits(s): ..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.28/0.39	c ---[   0]---> Adder-cost: 7544   maxlim: 64007104044095414359322528816395   bits: 106/106
1508.54/1508.88	|  Eliminated clauses:           0.00 Mb                                      |
1508.54/1508.88	============================[ Search Statistics ]==============================
1508.54/1508.88	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1508.54/1508.88	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1508.54/1508.88	===============================================================================
1508.54/1508.88	|       100 |   11233    63778   210738 |    23385      100      3 | 12.620 % |
1508.54/1508.88	|       250 |   11233    63778   210738 |    25723      250     11 | 12.620 % |
1508.54/1508.88	|       475 |   11233    63778   210738 |    28296      475     23 | 12.620 % |
1508.54/1508.88	|       812 |   11233    63778   210738 |    31125      812     27 | 12.620 % |
1508.54/1508.88	|      1318 |   11233    63778   210738 |    34238     1318     29 | 12.623 % |
1508.54/1508.88	|      2077 |   11231    63778   210738 |    37662     2075     69 | 12.636 % |
1508.54/1508.88	|      3216 |   11231    63778   210738 |    41428     3214     59 | 12.637 % |
1508.54/1508.88	|      4924 |   11231    63778   210738 |    45571     4922     51 | 12.636 % |
1508.54/1508.88	|      7486 |   11231    63778   210738 |    50128     7484     50 | 12.636 % |
1508.54/1508.88	|     11330 |   11225    63778   210738 |    55141    11322     61 | 12.682 % |
1508.54/1508.88	|     17096 |   11225    63778   210738 |    60655    17088     55 | 12.682 % |
1508.54/1508.88	|     25745 |   11225    63778   210738 |    66720    25737     50 | 12.682 % |
1508.54/1508.88	|     38719 |   11221    63778   210738 |    73392    38707     63 | 12.713 % |
1508.54/1508.88	|     58180 |   11219    63778   210738 |    80732    58166     65 | 12.729 % |
1508.54/1508.88	|     87372 |   11219    63778   210738 |    88805    22908     52 | 12.729 % |
1508.54/1508.88	|    131161 |   11219    63778   210738 |    97686    66697     59 | 12.730 % |
1508.54/1508.88	|    196845 |   11217    63778   210738 |   107454    52277     70 | 12.744 % |
1508.54/1508.88	|    295371 |   11215    63778   210738 |   118200    64546     59 | 12.760 % |
1508.54/1508.88	|    443160 |   11214    63778   210738 |   130020   112978     95 | 12.767 % |
1508.54/1508.88	|    664843 |   11214    63778   210738 |   143022   110280     99 | 12.767 % |
1508.54/1508.88	|    997368 |   11214    63778   210738 |   157324    70906    177 | 12.767 % |
1508.54/1508.88	|   1496156 |   11214    63778   210738 |   173056   151652     71 | 12.769 % |
1508.54/1508.88	|   2244338 |   11213    63778   210738 |   190362   154163    197 | 12.775 % |
1508.54/1508.88	|   3366612 |   11212    63778   210738 |   209398    85851     70 | 12.785 % |
1508.54/1508.88	|   5050023 |   11210    63778   210738 |   230338    67727    109 | 12.798 % |
1508.54/1508.88	===============================================================================
1508.54/1508.88	c Found solution: -2
1508.54/1508.88	c ---[   0]---> BDD-cost:   50
1800.00/1800.30	|  Eliminated clauses:           0.00 Mb                                      |
1800.00/1800.30	============================[ Search Statistics ]==============================
1800.00/1800.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.00/1800.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.00/1800.30	===============================================================================
1800.00/1800.30	|   5359962 |   11181    63503   209834 |    23284    12145     14 | 12.804 % |
1800.00/1800.30	|   5360112 |   11181    63503   209834 |    25612    12295     14 | 12.804 % |
1800.00/1800.30	|   5360337 |   11181    63503   209834 |    28174    12520     14 | 12.804 % |
1800.00/1800.30	|   5360674 |   11181    63503   209834 |    30991    12857     15 | 12.805 % |
1800.00/1800.30	|   5361180 |   11181    63503   209834 |    34090    13363     16 | 12.804 % |
1800.00/1800.30	|   5361939 |   11181    63503   209834 |    37499    14122     17 | 12.804 % |
1800.00/1800.30	|   5363078 |   11181    63503   209834 |    41249    15261     20 | 12.804 % |
1800.00/1800.30	|   5364786 |   11181    63503   209834 |    45374    16969     22 | 12.804 % |
1800.00/1800.30	|   5367348 |   11181    63503   209834 |    49912    19531     31 | 12.806 % |
1800.00/1800.30	|   5371192 |   11181    63503   209834 |    54903    23375     33 | 12.806 % |
1800.00/1800.30	|   5376958 |   11181    63503   209834 |    60393    29141     39 | 12.804 % |
1800.00/1800.30	|   5385607 |   11181    63503   209834 |    66433    37790     52 | 12.805 % |
1800.00/1800.30	|   5398581 |   11181    63503   209834 |    73076    50764     52 | 12.804 % |
1800.00/1800.30	|   5418042 |   11181    63503   209834 |    80384    70225     50 | 12.804 % |
1800.00/1800.30	|   5447234 |   11181    63503   209834 |    88422    44685     60 | 12.804 % |
1800.00/1800.30	|   5491023 |   11181    63503   209834 |    97264    88474     73 | 12.804 % |
1800.00/1800.30	|   5556707 |   11181    63503   209834 |   106991    76136     75 | 12.804 % |
1800.00/1800.30	|   5655233 |   11181    63503   209834 |   117690    88793     80 | 12.804 % |
1800.00/1800.30	|   5803022 |   11180    63503   209834 |   129459    35859     88 | 12.812 % |
1800.00/1800.30	|   6024705 |   11179    63503   209834 |   142405    53221     41 | 12.820 % |
1800.00/1800.30	|   6357230 |   11179    63503   209834 |   156646    45057    122 | 12.820 % |
1800.00/1800.30	|   6856018 |   11178    63503   209834 |   172310   149687     54 | 12.827 % |
1800.00/1800.30	c 
1800.00/1800.30	c *** TERMINATED ***
1800.00/1800.30	s SATISFIABLE
1800.00/1800.30	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x152 x52 -x153 x53 -x154 -x54 -x155 x55 -x156 x56 -x157 x57 -x158 x58 -x159 -x59 -x160 x60 -x161 -x61 -x162 -x62 -x163 -x63 -x164 x64 -x165 x65 -x166 -x66 -x167 -x67 -x168 -x68 -x169 -x69 -x170 -x70 -x171 x71 -x172 x72 -x173 -x73 -x174 x74 -x175 x75 -x176 -x76 -x177 -x77 -x178 x78 -x179 x79 -x180 -x80 -x181 -x81 -x182 -x82 -x183 x83 -x184 x84 -x185 -x85 -x186 -x86 -x187 x87 -x188 x88 -x189 x89 -x190 x90 -x191 -x91 -x192 x92 -x193 x93 -x194 x94 -x195 x95 -x196 x96 -x197 x97 -x198 x98 -x199 x99 -x200 x100 -x201 x101 -x202 -x102 -x203 x103 -x204 x104 -x205 -x105 -x206 -x106 -x207 x107 -x208 -x108 -x209 x109 -x210 x110 -x211 -x111 -x212 -x112 -x213 x113 -x214 -x114 -x215 -x115 -x216 -x116 -x217 x117 -x218 -x118 -x219 x119 -x220 -x120 -x221 -x121 -x222 -x122 -x223 -x123 -x224 -x124 -x225 -x125 -x226 x126 -x227 x127 -x228 x128 -x229 x129 -x230 -x130 -x231 -x131 -x232 -x132 -x233 x133 -x234 -x134 -x235 -x135 -x236 x136 -x237 x137 -x238 x138 -x239 x139 -x240 -x140 -x241 x141 -x242 x142 -x243 x143 -x244 -x144 -x245 -x145 -x246 -x146 -x247 -x147 -x248 -x148 -x249 -x149 -x250 x150 -x251 -x151 x1252 x1253 -x1254 x1255 x1256 x1257 x1258 -x1259 x1260 -x1261 -x1262 -x1263 x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 x1272 -x1273 x1274 x1275 -x1276 -x1277 x1278 x1279 -x1280 -x1281 -x1282 x1283 x1284 -x1285 -x1286 x1287 x1288 x1289 x1290 -x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 -x1302 x1303 x1304 -x1305 -x1306 x1307 -x1308 x1309 x1310 -x1311 -x1312 x1313 -x1314 -x1315 -x1316 x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 x1326 x1327 x1328 x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 x1336 x1337 x1338 x1339 -x1340 x1341 x1342 x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751

Verifier Data 

OK	-2

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4114939-1466562753/watcher-4114939-1466562753 -o /tmp/evaluation-result-4114939-1466562753/solver-4114939-1466562753 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466551504-32680 --watchdog 1960 minisatp HOME/instance-4114939-1466562753.opb 

pid=2048
running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.37 2.30 2.27 3/177 2051
/proc/meminfo: memFree=30183308/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=6512 CPUtime=0 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 340 0 0 0 0 0 0 0 20 0 1 0 58321911 6668288 216 33554432000 4194304 5646918 140736748818592 140737147488568 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 1628 216 94 355 0 1269 0

[startup+0.100126 s]
/proc/loadavg: 2.37 2.30 2.27 3/177 2051
/proc/meminfo: memFree=30183308/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=12704 CPUtime=0.09 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 1858 0 0 0 9 0 0 0 20 0 1 0 58321911 13008896 1734 33554432000 4194304 5646918 140736748818592 140737147488568 4251237 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 3176 1735 94 355 0 2817 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12704

[startup+0.200308 s]
/proc/loadavg: 2.37 2.30 2.27 3/177 2051
/proc/meminfo: memFree=30183308/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=19580 CPUtime=0.19 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 3588 0 0 0 19 0 0 0 20 0 1 0 58321911 20049920 3464 33554432000 4194304 5646918 140736748818592 140737147488568 4824627 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 4895 3464 94 355 0 4536 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19580

[startup+0.300339 s]
/proc/loadavg: 2.37 2.30 2.27 3/177 2051
/proc/meminfo: memFree=30183308/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=20380 CPUtime=0.28 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 4176 0 0 0 28 0 0 0 20 0 1 0 58321911 20869120 3572 33554432000 4194304 5646918 140736748818592 140737147488568 4457005 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 5095 3572 105 355 0 4736 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20380

[startup+0.70027 s]
/proc/loadavg: 2.37 2.30 2.27 3/177 2051
/proc/meminfo: memFree=30183308/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=38264 CPUtime=0.69 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 8877 0 0 0 68 1 0 0 20 0 1 0 58321911 39182336 8090 33554432000 4194304 5646918 140736748818592 140736748808376 4476906 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 9566 8090 120 355 0 9207 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38264

[startup+1.50027 s]
/proc/loadavg: 2.37 2.30 2.27 3/178 2052
/proc/meminfo: memFree=30151112/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=38264 CPUtime=1.49 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 8880 0 0 0 148 1 0 0 20 0 1 0 58321911 39182336 8093 33554432000 4194304 5646918 140736748818592 140736748808376 4565261 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 9566 8093 120 355 0 9207 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38264

[startup+3.10023 s]
/proc/loadavg: 2.37 2.30 2.27 3/178 2052
/proc/meminfo: memFree=30150616/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=40376 CPUtime=3.08 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 9984 0 0 0 307 1 0 0 20 0 1 0 58321911 41345024 9368 33554432000 4194304 5646918 140736748818592 140736748808920 4403040 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 10094 9368 183 355 0 9735 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 40376

[startup+6.30025 s]
/proc/loadavg: 2.34 2.29 2.27 3/178 2052
/proc/meminfo: memFree=30140196/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=47516 CPUtime=6.29 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 11015 0 0 0 627 2 0 0 20 0 1 0 58321911 48656384 11408 33554432000 4194304 5646918 140736748818592 140736748817288 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 11879 11408 183 355 0 11520 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47516

[startup+12.7002 s]
/proc/loadavg: 2.32 2.29 2.27 3/178 2052
/proc/meminfo: memFree=30125484/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=66372 CPUtime=12.69 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 12056 0 0 0 1267 2 0 0 20 0 1 0 58321911 67964928 14485 33554432000 4194304 5646918 140736748818592 140736748817288 4402832 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 16593 14485 183 355 0 16234 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66372

[startup+25.5003 s]
/proc/loadavg: 2.25 2.27 2.26 4/178 2052
/proc/meminfo: memFree=30140124/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=54576 CPUtime=25.49 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 14432 0 0 0 2545 4 0 0 20 0 1 0 58321911 55885824 11584 33554432000 4194304 5646918 140736748818592 140736748817304 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 13644 11584 185 355 0 13285 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54576

[startup+51.1003 s]
/proc/loadavg: 2.22 2.27 2.26 3/178 2052
/proc/meminfo: memFree=30084888/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=134356 CPUtime=51.08 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 15808 0 0 0 5103 5 0 0 20 0 1 0 58321911 137580544 25304 33554432000 4194304 5646918 140736748818592 140736748816888 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 33589 25304 185 355 0 33230 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 134356

[startup+102.3 s]
/proc/loadavg: 2.31 2.29 2.27 3/177 2053
/proc/meminfo: memFree=30079284/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=134356 CPUtime=102.28 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 17267 0 0 0 10220 8 0 0 20 0 1 0 58321911 137580544 25306 33554432000 4194304 5646918 140736748818592 140736748816888 4397622 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 33589 25306 185 355 0 33230 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 134356

[startup+162.3 s]
/proc/loadavg: 2.31 2.28 2.27 4/177 2054
/proc/meminfo: memFree=30098816/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=85204 CPUtime=162.27 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 18737 0 0 0 16216 11 0 0 20 0 1 0 58321911 87248896 20291 33554432000 4194304 5646918 140736748818592 140736748816840 4402832 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 21301 20291 185 355 0 20942 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 85204

[startup+222.307 s]
/proc/loadavg: 2.27 2.27 2.26 3/177 2055
/proc/meminfo: memFree=29986712/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=215432 CPUtime=222.27 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 20693 0 0 0 22213 14 0 0 20 0 1 0 58321911 220602368 48388 33554432000 4194304 5646918 140736748818592 140736748817288 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 53858 48388 185 355 0 53499 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 215432

[startup+282.3 s]
/proc/loadavg: 2.18 2.25 2.26 3/177 2057
/proc/meminfo: memFree=30096204/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=85204 CPUtime=282.25 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 22145 0 0 0 28208 17 0 0 20 0 1 0 58321911 87248896 20988 33554432000 4194304 5646918 140736748818592 140736748817304 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 21301 20988 185 355 0 20942 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 85204

[startup+342.3 s]
/proc/loadavg: 2.24 2.26 2.26 4/177 2058
/proc/meminfo: memFree=30095956/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=85204 CPUtime=342.24 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 24037 0 0 0 34204 20 0 0 20 0 1 0 58321911 87248896 20988 33554432000 4194304 5646918 140736748818592 140736748817304 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 21301 20988 185 355 0 20942 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 85204

[startup+402.3 s]
/proc/loadavg: 2.31 2.28 2.27 3/177 2059
/proc/meminfo: memFree=30091556/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=85204 CPUtime=402.23 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 25944 0 0 0 40200 23 0 0 20 0 1 0 58321911 87248896 20988 33554432000 4194304 5646918 140736748818592 140736748817304 4389251 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 21301 20988 185 355 0 20942 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 85204

[startup+462.3 s]
/proc/loadavg: 2.43 2.32 2.28 3/178 2063
/proc/meminfo: memFree=30008364/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=215432 CPUtime=462.22 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 28299 0 0 0 46195 27 0 0 20 0 1 0 58321911 220602368 41732 33554432000 4194304 5646918 140736748818592 140736748817288 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 53858 41732 185 355 0 53499 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 215432

[startup+522.3 s]
/proc/loadavg: 2.51 2.36 2.29 4/177 2064
/proc/meminfo: memFree=30042036/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=165344 CPUtime=522.21 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 29856 0 0 0 52192 29 0 0 20 0 1 0 58321911 169312256 34263 33554432000 4194304 5646918 140736748818592 140736748817288 4402958 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 41336 34263 185 355 0 40977 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 165344

[startup+582.3 s]
/proc/loadavg: 2.42 2.37 2.30 3/177 2066
/proc/meminfo: memFree=30046572/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=154152 CPUtime=582.2 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 30860 0 0 0 58188 32 0 0 20 0 1 0 58321911 157851648 32898 33554432000 4194304 5646918 140736748818592 140736748816888 4403170 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 38538 32898 185 355 0 38179 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 154152


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


[startup+942.3 s]
/proc/loadavg: 2.51 2.40 2.31 3/177 2130
/proc/meminfo: memFree=29890804/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=104832 CPUtime=942.13 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 40292 0 0 0 94164 49 0 0 20 0 1 0 58321911 107347968 24898 33554432000 4194304 5646918 140736748818592 140736748817304 4402650 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 26208 24898 185 355 0 25849 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 104832

[startup+1002.3 s]
/proc/loadavg: 2.34 2.37 2.30 3/177 2131
/proc/meminfo: memFree=29682676/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=184972 CPUtime=1002.11 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 42666 0 0 0 100158 53 0 0 20 0 1 0 58321911 189411328 41757 33554432000 4194304 5646918 140736748818592 140736748817288 4403408 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 46243 41757 185 355 0 45884 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 184972

[startup+1062.3 s]
/proc/loadavg: 2.25 2.35 2.29 4/178 2135
/proc/meminfo: memFree=29640864/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=104832 CPUtime=1062.1 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 44003 0 0 0 106154 56 0 0 20 0 1 0 58321911 107347968 24898 33554432000 4194304 5646918 140736748818592 140736748817304 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 26208 24898 185 355 0 25849 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 104832

[startup+1122.3 s]
/proc/loadavg: 2.22 2.32 2.29 3/177 2136
/proc/meminfo: memFree=29820800/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=209200 CPUtime=1122.09 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 46233 0 0 0 112149 60 0 0 20 0 1 0 58321911 214220800 47448 33554432000 4194304 5646918 140736748818592 140736748817288 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 52300 47448 185 355 0 51941 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 209200

[startup+1182.3 s]
/proc/loadavg: 2.28 2.32 2.29 3/177 2138
/proc/meminfo: memFree=29870908/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=209200 CPUtime=1182.09 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 48048 0 0 0 118145 64 0 0 20 0 1 0 58321911 214220800 45854 33554432000 4194304 5646918 140736748818592 140736748817288 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 52300 45854 185 355 0 51941 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 209200

[startup+1242.3 s]
/proc/loadavg: 2.38 2.35 2.29 4/177 2139
/proc/meminfo: memFree=29684896/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=340676 CPUtime=1242.08 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 48910 0 0 0 124142 66 0 0 20 0 1 0 58321911 348852224 70731 33554432000 4194304 5646918 140736748818592 140736748817288 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 85169 70731 185 355 0 84810 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 340676

[startup+1302.3 s]
/proc/loadavg: 2.33 2.34 2.29 3/177 2140
/proc/meminfo: memFree=29815920/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=178380 CPUtime=1302.07 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 49347 0 0 0 130140 67 0 0 20 0 1 0 58321911 182661120 38107 33554432000 4194304 5646918 140736748818592 140736748816888 4399826 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 44595 38107 185 355 0 44236 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 178380

[startup+1362.3 s]
/proc/loadavg: 2.20 2.31 2.28 3/177 2141
/proc/meminfo: memFree=29611792/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=259288 CPUtime=1362.07 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 50254 0 0 0 136138 69 0 0 20 0 1 0 58321911 265510912 49739 33554432000 4194304 5646918 140736748818592 140736748817288 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 64822 49739 185 355 0 64463 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 259288

[startup+1422.3 s]
/proc/loadavg: 2.18 2.29 2.27 4/177 2142
/proc/meminfo: memFree=29468224/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=259288 CPUtime=1422.06 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 50270 0 0 0 142137 69 0 0 20 0 1 0 58321911 265510912 57931 33554432000 4194304 5646918 140736748818592 140736748817288 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 64822 57931 185 355 0 64463 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 259288

[startup+1482.3 s]
/proc/loadavg: 2.20 2.28 2.27 3/177 2144
/proc/meminfo: memFree=29418228/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=209200 CPUtime=1482.04 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 51294 0 0 0 148133 71 0 0 20 0 1 0 58321911 214220800 43806 33554432000 4194304 5646918 140736748818592 140736748817288 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 52300 43806 185 355 0 51941 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 209200

[startup+1542.31 s]
/proc/loadavg: 2.16 2.25 2.26 3/177 2145
/proc/meminfo: memFree=29392680/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=129060 CPUtime=1542.04 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 52472 0 0 0 154130 74 0 0 20 0 1 0 58321911 132157440 28485 33554432000 4194304 5646918 140736748818592 140736748816888 4403372 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 32265 28485 187 355 0 31906 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 129060

[startup+1602.3 s]
/proc/loadavg: 2.29 2.28 2.27 4/177 2146
/proc/meminfo: memFree=29310988/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=129060 CPUtime=1602.02 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 54357 0 0 0 160125 77 0 0 20 0 1 0 58321911 132157440 28997 33554432000 4194304 5646918 140736748818592 140736748817304 4403116 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 32265 28997 187 355 0 31906 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 129060

[startup+1662.3 s]
/proc/loadavg: 2.28 2.28 2.27 3/178 2150
/proc/meminfo: memFree=29152044/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=192900 CPUtime=1662.02 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 57031 0 0 0 166122 80 0 0 20 0 1 0 58321911 197529600 44697 33554432000 4194304 5646918 140736748818592 140736748816888 4399431 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 48225 44697 187 355 0 47866 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 192900

[startup+1722.3 s]
/proc/loadavg: 2.30 2.29 2.27 3/178 2173
/proc/meminfo: memFree=29844528/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=192900 CPUtime=1722.01 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 59509 0 0 0 172116 85 0 0 20 0 1 0 58321911 197529600 47883 33554432000 4194304 5646918 140736748818592 140736748816888 4402806 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 48225 47883 187 355 0 47866 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 192900

[startup+1782.3 s]
/proc/loadavg: 2.30 2.29 2.27 4/176 2174
/proc/meminfo: memFree=29804876/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=143580 CPUtime=1782 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 61430 0 0 0 178112 88 0 0 20 0 1 0 58321911 147025920 35585 33554432000 4194304 5646918 140736748818592 140736748817304 4402867 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 35895 35585 187 355 0 35536 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 143580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.34 2.31 2.27 4/177 2175
/proc/meminfo: memFree=29710508/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=223720 CPUtime=1800 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 62450 0 0 0 179910 90 0 0 20 0 1 0 58321911 229089280 53468 33554432000 4194304 5646918 140736748818592 140736748817288 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 55930 53468 187 355 0 55571 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 223720

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2051 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.34 2.31 2.27 4/177 2175
/proc/meminfo: memFree=29710508/32872528 swapFree=1543496/1696796
[pid=2051] ppid=2048 vsize=223720 CPUtime=1800 cores=0,2,4,6
/proc/2051/stat : 2051 (minisatp) R 2048 2051 32664 0 -1 4202496 62450 0 0 0 179910 90 0 0 20 0 1 0 58321911 229089280 53468 33554432000 4194304 5646918 140736748818592 140736748817288 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/2051/statm: 55930 53468 187 355 0 55571 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 223720

Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1799.1
CPU system time (s): 0.905862
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 340676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 0.905862
maximum resident set size= 301356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62450
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= 31
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.73728 second user time and 6.81496 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-22 04:32:33
IDJOB=4114939
IDBENCH=3022
IDSOLVER=2555
FILE ID=node125/4114939-1466562753
RUNJOBID= node125-1466551504-32680
PBS_JOBID= 19943333
Free space on /tmp= 71740 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534-max.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114939-1466562753/watcher-4114939-1466562753 -o /tmp/evaluation-result-4114939-1466562753/solver-4114939-1466562753 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466551504-32680 --watchdog 1960  minisatp HOME/instance-4114939-1466562753.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 11b19c0232a5dd1a01e7c4342698e58e
RANDOM SEED=696903369

node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30183968 kB
Buffers:           83988 kB
Cached:           147528 kB
SwapCached:         2360 kB
Active:            89020 kB
Inactive:         166808 kB
Active(anon):      24816 kB
Inactive(anon):     1932 kB
Active(file):      64204 kB
Inactive(file):   164876 kB
Unevictable:     1696796 kB
Mlocked:         1543496 kB
SwapTotal:      67108856 kB
SwapFree:       67097172 kB
Dirty:              5368 kB
Writeback:             0 kB
AnonPages:       1720320 kB
Mapped:             8944 kB
Shmem:                 0 kB
Slab:             603104 kB
SReclaimable:      46188 kB
SUnreclaim:       556916 kB
KernelStack:        1448 kB
PageTables:         7444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1834980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4114939-1466562753.opb

Free space on /tmp at the end= 71736 MiB
End job on node125 at 2016-06-22 05:02:33