Trace number 4079043

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
toysat 2016-05-02? (TO) 1800.09 1800.38

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb
MD5SUM077c926419792cafad737b20a04bb1ea
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark680450
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 525312
Optimality of the best value was proved NO
Number of variables1260
Total number of constraints104
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint12
Maximum length of a constraint127
Number of terms in the objective function 1160
Biggest coefficient in the objective function 196608
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 15892320
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 25600000000
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 232836875088
Number of bits of the biggest sum of numbers38
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 2016-06-06T20:38:52+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079043-1465238332.opb"]
0.00/0.01	c use --random-gen="3540992837 1326789193 3338513049 1967963516 1371246779 3578840372 3283819400 3966953153 3881027241 302504681 1622986142 289816621 2117818556 80885769 2328092623 80476270 3950188609 83721190 1693940484 104322862 2165864373 1777317463 3034767173 1287269596 3340213015 3753458215 3933965327 978554188 2568149380 1543494708 2341203908 1126175297 3804802594 2732264942 3151126122 887742827 414685492 1067725833 4230126892 3062727600 2998124503 1208144518 3928013971 3909458000 1579128616 2736854481 3999885868 3033821141 791977376 2622961410 2469745395 1532826695 880406479 1398298052 559171579 2450077435 1153916588 2743604067 4179899781 3086795883 856281559 2042241599 2746030598 2481801423 2811078164 3690019073 1021436587 3739393609 1131566334 2618720440 3238601023 1967414974 1113087240 1524650278 3237795652 1917763497 2269997736 3734088392 1589900119 2281015236 865561243 4123862200 872870118 4008609791 2372954327 3658042025 3203045853 3154511300 3285116241 4154860687 4258680299 2647490430 1819971775 2282706893 4223875610 3770390176 949537696 919387295 1231692136 1463018556 1835671410 272657009 3694100670 2911137116 4047917101 4128851085 355746259 3162817248 1729362711 3240196187 22427269 595349410 2076720084 3023030709 1255214736 453084896 3365582196 886952653 2597920052 2251261922 4019914144 3386400326 1404890618 3826448950 3442150027 1293455845 2276218220 712906734 3716417643 4292902965 3154474123 81725578 3041589425 1036994455 308907717 3059573816 3492897875 709619111 2710156500 881567433 1152758882 2641361773 2745197704 727128328 2326020885 2114559272 1411092129 1637196549 1581516798 2141986623 1443538743 196565583 1086592844 3724629796 4052765538 319231922 3579253459 655292851 2705748284 1629652304 2613112599 1272681351 1114003609 2660860510 4009222031 3215221099 2408439883 3362612498 2197296664 1193848236 3283843322 741416608 397470676 483577031 1431579456 1261965213 2462137864 2538483165 1678915951 3476492044 1754914504 2410959796 1565788582 1755993872 2508855339 548075233 2217131517 1637059286 1901830848 3516244273 2071564554 3121907061 1241108887 1980011896 3306855388 1759919796 2144960973 675353730 3179544652 2391736672 1805193871 1292960147 3356480097 3211236685 3009443737 1701844132 3442047523 1686267821 1088821380 2714915940 2752528324 4030914284 2631742263 2764683845 3796205720 2930424447 737994690 1836682456 3349579366 3201074983 2927644566 1276547959 1433146751 2447575660 4197428312 1453324108 3053057148 4143549178 1092302859 2234404676 1137844435 1025987555 294885897 276638082 1715130007 1045138903 151842328 4162841091 3410737389 2143575653 1587132828 401420108 1267361138 863253337 3957978467 865277273 2174293034 1612605067 3623564204 4210586593 4076259926 3478046695 1527753012 3881352645 1694763196 1422347030 255 362436" option to reproduce the execution
0.00/0.02	c #vars 1260
0.00/0.02	c #constraints 104
468.52/468.62	c BCD2: Hardening is enabled.
468.52/468.62	c BCD2: BiasedSearch is enabled.
468.52/468.62	c Solving starts ...
468.52/468.62	c ============================[ Search Statistics ]============================
468.52/468.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
468.52/468.62	c       |         |          |          |    Limit     GC | Var      | Constra 
468.52/468.62	c =============================================================================
468.52/468.62	c  0.0s |       0 |        0 |        0 |      461      0 |        0 |        0
468.52/468.64	c  0.0s |       1 |      238 |      100 |      461      0 |        0 |        0
468.52/468.66	c  0.0s |       2 |      405 |      250 |      508      0 |        0 |        0
468.52/468.69	c  0.1s |       3 |      647 |      475 |      559      0 |        0 |        0
468.62/468.75	c  0.1s |       4 |     1005 |      813 |      615      1 |        0 |        0
468.71/468.85	c  0.2s |       5 |     1530 |     1320 |      677      2 |        0 |        0
468.81/468.98	c  0.4s |       6 |     2310 |     2081 |      820      4 |        0 |        0
469.01/469.19	c  0.6s |       7 |     3471 |     3223 |      903      6 |        0 |        0
469.41/469.51	c  0.9s |       8 |     5206 |     4936 |      994     10 |        0 |        0
469.91/470.00	c  1.4s |       9 |     7817 |     7506 |     1094     14 |        0 |        0
470.72/470.82	c  2.2s |      10 |    11724 |    11361 |     1204     21 |        0 |        0
471.92/472.08	c  3.5s |      11 |    17589 |    17144 |     1325     30 |        0 |        0
473.82/473.98	c  5.4s |      12 |    26375 |    25819 |     1458     42 |        0 |        0
475.82/475.99	c  7.4s |      12 |    35902 |    35219 |     1458     54 |        0 |        0
476.62/476.78	c  8.2s |      13 |    39555 |    38832 |     1604     59 |        0 |        0
478.62/478.79	c 10.2s |      13 |    48973 |    48132 |     1604     70 |        0 |        0
480.63/480.79	c 12.2s |      13 |    58403 |    57432 |     1604     81 |        0 |        0
480.82/480.99	c 12.4s |      14 |    59328 |    58352 |     1765     82 |        0 |        0
482.93/483.02	c 14.4s |      14 |    67817 |    66752 |     1765     91 |        0 |        0
484.92/485.02	c 16.4s |      14 |    76149 |    75052 |     1765    100 |        0 |        0
486.92/487.05	c 18.4s |      14 |    84390 |    83252 |     1765    109 |        0 |        0
488.02/488.14	c 19.5s |      15 |    88797 |    87632 |     1942    114 |        0 |        0
490.02/490.17	c 21.5s |      15 |    97363 |    96032 |     1942    122 |        0 |        0
492.02/492.19	c 23.6s |      15 |   105568 |   104132 |     1942    130 |        0 |        0
494.12/494.21	c 25.6s |      15 |   114013 |   112432 |     1942    138 |        0 |        0
496.12/496.21	c 27.6s |      15 |   122211 |   120532 |     1942    146 |        0 |        0
498.12/498.23	c 29.6s |      15 |   130301 |   128532 |     1942    154 |        0 |        0
498.82/498.95	c 30.3s |      16 |   133338 |   131552 |     2137    157 |        0 |        0
500.82/500.96	c 32.3s |      16 |   141245 |   139352 |     2137    164 |        0 |        0
502.82/502.96	c 34.3s |      16 |   148906 |   146952 |     2137    171 |        0 |        0
504.82/504.96	c 36.3s |      16 |   156778 |   154752 |     2137    178 |        0 |        0
506.82/506.98	c 38.4s |      16 |   164556 |   162452 |     2137    185 |        0 |        0
508.82/508.99	c 40.4s |      16 |   172419 |   170252 |     2137    192 |        0 |        0
510.92/511.00	c 42.4s |      16 |   180321 |   178052 |     2137    199 |        0 |        0
512.92/513.01	c 44.4s |      16 |   187883 |   185552 |     2137    206 |        0 |        0
514.91/515.03	c 46.4s |      16 |   195766 |   193352 |     2137    213 |        0 |        0
516.01/516.13	c 47.5s |      17 |   199866 |   197432 |     2351    217 |        0 |        0
518.02/518.14	c 49.5s |      17 |   207672 |   205132 |     2351    223 |        0 |        0
520.01/520.14	c 51.5s |      17 |   215238 |   212632 |     2351    229 |        0 |        0
522.01/522.16	c 53.5s |      17 |   222188 |   219532 |     2351    235 |        0 |        0
524.01/524.18	c 55.6s |      17 |   229750 |   227032 |     2351    241 |        0 |        0
526.11/526.20	c 57.6s |      17 |   237413 |   234632 |     2351    247 |        0 |        0
528.11/528.21	c 59.6s |      17 |   245045 |   242232 |     2351    254 |        0 |        0
530.12/530.23	c 61.6s |      17 |   252800 |   249932 |     2351    260 |        0 |        0
532.11/532.24	c 63.6s |      17 |   260346 |   257432 |     2351    266 |        0 |        0
534.11/534.24	c 65.6s |      17 |   267796 |   264832 |     2351    273 |        0 |        0
536.11/536.25	c 67.6s |      17 |   275365 |   272332 |     2351    279 |        0 |        0
538.11/538.25	c 69.6s |      17 |   283136 |   280032 |     2351    285 |        0 |        0
540.12/540.25	c 71.6s |      17 |   290506 |   287332 |     2351    291 |        0 |        0
542.11/542.28	c 73.7s |      17 |   298092 |   294832 |     2587    297 |        0 |        0
542.51/542.67	c 74.0s |      18 |   299521 |   296252 |     2587    298 |        0 |        0
544.52/544.68	c 76.1s |      18 |   306935 |   303552 |     2587    304 |        0 |        0
546.61/546.71	c 78.1s |      18 |   314194 |   310752 |     2587    309 |        0 |        0
548.61/548.72	c 80.1s |      18 |   321330 |   317852 |     2587    314 |        0 |        0
550.61/550.72	c 82.1s |      18 |   328796 |   325252 |     2587    320 |        0 |        0
552.61/552.73	c 84.1s |      18 |   335934 |   332352 |     2587    325 |        0 |        0
554.61/554.73	c 86.1s |      18 |   342881 |   339252 |     2587    331 |        0 |        0
556.61/556.74	c 88.1s |      18 |   349919 |   346252 |     2587    336 |        0 |        0
558.61/558.76	c 90.1s |      18 |   357055 |   353352 |     2587    341 |        0 |        0
560.60/560.78	c 92.2s |      18 |   364410 |   360652 |     2587    347 |        0 |        0
562.60/562.79	c 94.2s |      18 |   371444 |   367652 |     2587    352 |        0 |        0
564.70/564.80	c 96.2s |      18 |   378593 |   374752 |     2587    357 |        0 |        0
566.70/566.83	c 98.2s |      18 |   385424 |   381552 |     2587    363 |        0 |        0
568.71/568.84	c  100s |      18 |   392565 |   388652 |     2587    368 |        0 |        0
570.70/570.85	c  102s |      18 |   399711 |   395752 |     2587    373 |        0 |        0
572.70/572.88	c  104s |      18 |   406871 |   402852 |     2587    379 |        0 |        0
574.80/574.90	c  106s |      18 |   414119 |   410052 |     2587    384 |        0 |        0
576.80/576.93	c  108s |      18 |   421169 |   417052 |     2587    389 |        0 |        0
578.80/578.94	c  110s |      18 |   428528 |   424352 |     2587    395 |        0 |        0
580.80/580.95	c  112s |      18 |   435669 |   431452 |     2587    400 |        0 |        0
582.80/582.97	c  114s |      18 |   442908 |   438652 |     2587    406 |        0 |        0
584.50/584.64	c  116s |      19 |   448767 |   444482 |     2846    410 |        0 |        0
586.50/586.66	c  118s |      19 |   455467 |   451082 |     2846    414 |        0 |        0
588.50/588.67	c  120s |      19 |   462314 |   457882 |     2846    419 |        0 |        0
590.61/590.71	c  122s |      19 |   468949 |   464482 |     2846    424 |        0 |        0
592.60/592.73	c  124s |      19 |   475687 |   471182 |     2846    428 |        0 |        0
594.60/594.74	c  126s |      19 |   482422 |   477882 |     2846    433 |        0 |        0
596.60/596.74	c  128s |      19 |   488848 |   484282 |     2846    437 |        0 |        0
598.60/598.75	c  130s |      19 |   495779 |   491182 |     2846    442 |        0 |        0
600.61/600.76	c  132s |      19 |   502418 |   497782 |     2846    446 |        0 |        0
602.60/602.77	c  134s |      19 |   509057 |   504382 |     2846    451 |        0 |        0
604.60/604.78	c  136s |      19 |   515683 |   510982 |     2846    455 |        0 |        0
606.60/606.78	c  138s |      19 |   522416 |   517682 |     2846    460 |        0 |        0
608.60/608.79	c  140s |      19 |   529344 |   524582 |     2846    465 |        0 |        0
610.70/610.82	c  142s |      19 |   536093 |   531282 |     2846    469 |        0 |        0
612.70/612.83	c  144s |      19 |   542621 |   537782 |     2846    474 |        0 |        0
614.70/614.85	c  146s |      19 |   549459 |   544582 |     2846    478 |        0 |        0
616.70/616.85	c  148s |      19 |   555887 |   550982 |     2846    483 |        0 |        0
618.70/618.88	c  150s |      19 |   562824 |   557882 |     2846    488 |        0 |        0
620.80/620.90	c  152s |      19 |   569683 |   564682 |     2846    492 |        0 |        0
622.79/622.92	c  154s |      19 |   576218 |   571182 |     2846    497 |        0 |        0
624.80/624.92	c  156s |      19 |   582846 |   577782 |     2846    501 |        0 |        0
626.79/626.93	c  158s |      19 |   589083 |   583982 |     2846    505 |        0 |        0
628.79/628.98	c  160s |      19 |   596023 |   590882 |     2846    510 |        0 |        0
630.89/631.00	c  162s |      19 |   602760 |   597582 |     2846    515 |        0 |        0
632.89/633.03	c  164s |      19 |   609401 |   604182 |     2846    519 |        0 |        0
634.89/635.04	c  166s |      19 |   616561 |   611282 |     2846    524 |        0 |        0
636.90/637.05	c  168s |      19 |   623509 |   618182 |     2846    529 |        0 |        0
638.89/639.07	c  170s |      19 |   630349 |   624982 |     2846    534 |        0 |        0
640.89/641.08	c  172s |      19 |   637092 |   631682 |     2846    538 |        0 |        0
642.89/643.09	c  174s |      19 |   644037 |   638582 |     2846    543 |        0 |        0
644.99/645.12	c  176s |      19 |   650468 |   644982 |     2846    547 |        0 |        0
646.99/647.13	c  178s |      19 |   657336 |   651782 |     2846    552 |        0 |        0
649.00/649.14	c  180s |      19 |   664184 |   658582 |     2846    557 |        0 |        0
650.99/651.15	c  182s |      19 |   670830 |   665182 |     3131    561 |        0 |        0
651.49/651.66	c  183s |      20 |   672483 |   666827 |     3131    562 |        0 |        0
653.49/653.66	c  185s |      20 |   678455 |   672727 |     3131    566 |        0 |        0
655.49/655.68	c  187s |      20 |   684588 |   678827 |     3131    569 |        0 |        0
657.49/657.68	c  189s |      20 |   690608 |   684827 |     3131    573 |        0 |        0
659.59/659.71	c  191s |      20 |   696634 |   690827 |     3131    577 |        0 |        0
661.59/661.72	c  193s |      20 |   702365 |   696527 |     3131    580 |        0 |        0
663.59/663.73	c  195s |      20 |   708198 |   702327 |     3131    584 |        0 |        0
665.59/665.76	c  197s |      20 |   714332 |   708427 |     3131    588 |        0 |        0
667.59/667.80	c  199s |      20 |   720278 |   714327 |     3131    592 |        0 |        0
669.68/669.80	c  201s |      20 |   726214 |   720227 |     3131    595 |        0 |        0
671.68/671.82	c  203s |      20 |   732366 |   726327 |     3131    599 |        0 |        0
673.68/673.88	c  205s |      20 |   738201 |   732127 |     3131    603 |        0 |        0
675.68/675.89	c  207s |      20 |   744427 |   738327 |     3131    607 |        0 |        0
677.79/677.93	c  209s |      20 |   750463 |   744327 |     3131    610 |        0 |        0
679.80/679.98	c  211s |      20 |   756494 |   750327 |     3131    614 |        0 |        0
681.79/681.98	c  213s |      20 |   762527 |   756327 |     3131    618 |        0 |        0
683.89/684.00	c  215s |      20 |   768557 |   762327 |     3131    622 |        0 |        0
685.89/686.02	c  217s |      20 |   774793 |   768527 |     3131    625 |        0 |        0
687.89/688.04	c  219s |      20 |   780626 |   774327 |     3131    629 |        0 |        0
689.89/690.05	c  221s |      20 |   786659 |   780327 |     3131    633 |        0 |        0
691.90/692.07	c  223s |      20 |   792589 |   786227 |     3131    637 |        0 |        0
693.89/694.09	c  225s |      20 |   798726 |   792327 |     3131    640 |        0 |        0
695.99/696.10	c  227s |      20 |   804452 |   798027 |     3131    644 |        0 |        0
697.99/698.12	c  229s |      20 |   810285 |   803827 |     3131    648 |        0 |        0
699.99/700.14	c  231s |      20 |   816603 |   810127 |     3131    651 |        0 |        0
701.99/702.16	c  233s |      20 |   822330 |   815827 |     3131    655 |        0 |        0
703.99/704.17	c  235s |      20 |   828369 |   821827 |     3131    659 |        0 |        0
706.09/706.21	c  237s |      20 |   834298 |   827727 |     3131    663 |        0 |        0
708.08/708.21	c  239s |      20 |   840229 |   833627 |     3131    666 |        0 |        0
710.08/710.23	c  241s |      20 |   846265 |   839627 |     3131    670 |        0 |        0
712.08/712.25	c  243s |      20 |   852203 |   845527 |     3131    674 |        0 |        0
714.08/714.28	c  245s |      20 |   858146 |   851427 |     3131    677 |        0 |        0
716.09/716.29	c  247s |      20 |   863987 |   857227 |     3131    681 |        0 |        0
718.19/718.31	c  249s |      20 |   869827 |   863027 |     3131    685 |        0 |        0
720.18/720.36	c  251s |      20 |   876158 |   869327 |     3131    689 |        0 |        0
722.18/722.39	c  253s |      20 |   882000 |   875127 |     3131    692 |        0 |        0
724.28/724.41	c  255s |      20 |   888234 |   881327 |     3131    696 |        0 |        0
726.28/726.41	c  257s |      20 |   894381 |   887427 |     3131    700 |        0 |        0
728.28/728.43	c  259s |      20 |   900213 |   893227 |     3131    704 |        0 |        0
730.28/730.44	c  261s |      20 |   906060 |   899027 |     3131    707 |        0 |        0
732.28/732.45	c  263s |      20 |   911902 |   904827 |     3131    711 |        0 |        0
734.28/734.50	c  265s |      20 |   917938 |   910827 |     3131    715 |        0 |        0
736.38/736.52	c  267s |      20 |   924151 |   917027 |     3131    718 |        0 |        0
738.38/738.53	c  269s |      20 |   929790 |   922627 |     3131    722 |        0 |        0
740.38/740.57	c  271s |      20 |   935625 |   928427 |     3131    726 |        0 |        0
742.38/742.59	c  273s |      20 |   941756 |   934527 |     3131    729 |        0 |        0
744.38/744.59	c  275s |      20 |   947689 |   940427 |     3131    733 |        0 |        0
746.48/746.61	c  277s |      20 |   953227 |   945927 |     3131    737 |        0 |        0
748.48/748.61	c  279s |      20 |   959769 |   952427 |     3131    741 |        0 |        0
750.47/750.62	c  281s |      20 |   965898 |   958527 |     3131    744 |        0 |        0
752.47/752.62	c  284s |      20 |   971547 |   964127 |     3131    748 |        0 |        0
754.48/754.65	c  286s |      20 |   977788 |   970327 |     3131    752 |        0 |        0
756.47/756.69	c  288s |      20 |   983725 |   976227 |     3131    756 |        0 |        0
758.47/758.69	c  290s |      20 |   990049 |   982527 |     3131    759 |        0 |        0
760.57/760.72	c  292s |      20 |   995987 |   988427 |     3131    763 |        0 |        0
762.57/762.73	c  294s |      20 |  1001908 |   994327 |     3445    767 |        0 |        0
764.57/764.74	c  296s |      20 |  1007541 |   999927 |     3445    770 |        0 |        0
764.67/764.87	c  296s |      21 |  1007965 |  1000345 |     3445    770 |        0 |        0
766.68/766.89	c  298s |      21 |  1014074 |  1006345 |     3445    773 |        0 |        0
768.67/768.90	c  300s |      21 |  1020514 |  1012745 |     3445    777 |        0 |        0
770.77/770.91	c  302s |      21 |  1026855 |  1019045 |     3445    781 |        0 |        0
772.77/772.94	c  304s |      21 |  1033310 |  1025445 |     3445    784 |        0 |        0
774.77/774.96	c  306s |      21 |  1039344 |  1031445 |     3445    788 |        0 |        0
776.78/776.97	c  308s |      21 |  1045684 |  1037745 |     3445    791 |        0 |        0
778.78/778.98	c  310s |      21 |  1051815 |  1043845 |     3445    795 |        0 |        0
780.77/780.99	c  312s |      21 |  1057942 |  1049945 |     3445    798 |        0 |        0
782.87/783.01	c  314s |      21 |  1064086 |  1056045 |     3445    802 |        0 |        0
784.87/785.04	c  316s |      21 |  1070328 |  1062245 |     3445    805 |        0 |        0
786.87/787.06	c  318s |      21 |  1076481 |  1068345 |     3445    809 |        0 |        0
788.87/789.08	c  320s |      21 |  1082420 |  1074245 |     3445    812 |        0 |        0
790.97/791.10	c  322s |      21 |  1088578 |  1080345 |     3445    816 |        0 |        0
792.98/793.13	c  324s |      21 |  1094623 |  1086345 |     3445    819 |        0 |        0
794.97/795.16	c  326s |      21 |  1100679 |  1092345 |     3445    822 |        0 |        0
796.97/797.18	c  328s |      21 |  1107019 |  1098645 |     3445    826 |        0 |        0
798.97/799.19	c  330s |      21 |  1113551 |  1105145 |     3445    830 |        0 |        0
801.07/801.20	c  332s |      21 |  1119786 |  1111345 |     3445    833 |        0 |        0
803.07/803.24	c  334s |      21 |  1125528 |  1117045 |     3445    837 |        0 |        0
805.07/805.25	c  336s |      21 |  1132083 |  1123545 |     3445    840 |        0 |        0
807.17/807.34	c  338s |      21 |  1138227 |  1129645 |     3445    844 |        0 |        0
809.17/809.34	c  340s |      21 |  1144893 |  1136245 |     3445    847 |        0 |        0
811.16/811.35	c  342s |      21 |  1151135 |  1142445 |     3445    851 |        0 |        0
813.16/813.37	c  344s |      21 |  1157169 |  1148445 |     3445    854 |        0 |        0
815.16/815.37	c  346s |      21 |  1163304 |  1154545 |     3445    858 |        0 |        0
817.17/817.40	c  348s |      21 |  1169451 |  1160645 |     3445    861 |        0 |        0
819.26/819.42	c  350s |      21 |  1175795 |  1166945 |     3445    865 |        0 |        0
821.26/821.43	c  352s |      21 |  1181837 |  1172945 |     3445    868 |        0 |        0
823.26/823.44	c  354s |      21 |  1188078 |  1179145 |     3445    872 |        0 |        0
825.26/825.46	c  356s |      21 |  1194222 |  1185245 |     3445    875 |        0 |        0
827.26/827.47	c  358s |      21 |  1200459 |  1191445 |     3445    879 |        0 |        0
829.27/829.49	c  360s |      21 |  1206387 |  1197345 |     3445    882 |        0 |        0
831.36/831.50	c  362s |      21 |  1212227 |  1203145 |     3445    886 |        0 |        0
833.36/833.51	c  364s |      21 |  1218373 |  1209245 |     3445    889 |        0 |        0
835.36/835.54	c  366s |      21 |  1224513 |  1215345 |     3445    893 |        0 |        0
837.36/837.55	c  368s |      21 |  1230758 |  1221545 |     3445    896 |        0 |        0
839.36/839.58	c  370s |      21 |  1236582 |  1227345 |     3445    899 |        0 |        0
841.37/841.58	c  372s |      21 |  1242829 |  1233545 |     3445    903 |        0 |        0
843.46/843.60	c  374s |      21 |  1248876 |  1239545 |     3445    906 |        0 |        0
845.46/845.62	c  376s |      21 |  1255012 |  1245645 |     3445    910 |        0 |        0
847.46/847.62	c  379s |      21 |  1261040 |  1251645 |     3445    913 |        0 |        0
849.46/849.64	c  381s |      21 |  1267275 |  1257845 |     3445    917 |        0 |        0
851.46/851.67	c  383s |      21 |  1273608 |  1264145 |     3445    920 |        0 |        0
853.56/853.75	c  385s |      21 |  1279664 |  1270145 |     3445    924 |        0 |        0
855.56/855.77	c  387s |      21 |  1285996 |  1276445 |     3445    927 |        0 |        0
857.66/857.80	c  389s |      21 |  1292038 |  1282445 |     3445    931 |        0 |        0
859.66/859.81	c  391s |      21 |  1297670 |  1288045 |     3445    934 |        0 |        0
861.66/861.82	c  393s |      21 |  1303898 |  1294245 |     3445    937 |        0 |        0
863.66/863.83	c  395s |      21 |  1309939 |  1300245 |     3445    941 |        0 |        0
865.67/865.84	c  397s |      21 |  1315767 |  1306045 |     3445    944 |        0 |        0
867.66/867.84	c  399s |      21 |  1321914 |  1311845 |     3445    947 |        0 |        0
869.66/869.87	c  401s |      21 |  1327535 |  1317145 |     3445    949 |        0 |        0
871.76/871.91	c  403s |      21 |  1332345 |  1321845 |     3445    952 |        0 |        0
873.76/873.95	c  405s |      21 |  1337141 |  1326545 |     3445    954 |        0 |        0
875.76/875.98	c  407s |      21 |  1341066 |  1330445 |     3445    956 |        0 |        0
877.86/878.02	c  409s |      21 |  1345001 |  1334345 |     3445    958 |        0 |        0
879.87/880.02	c  411s |      21 |  1348835 |  1338145 |     3445    959 |        0 |        0
881.86/882.06	c  413s |      21 |  1352359 |  1341645 |     3445    961 |        0 |        0
883.86/884.07	c  415s |      21 |  1355995 |  1345245 |     3445    963 |        0 |        0
885.96/886.10	c  417s |      21 |  1359711 |  1348945 |     3445    965 |        0 |        0
888.06/888.20	c  419s |      21 |  1363747 |  1352945 |     3445    967 |        0 |        0
890.06/890.24	c  421s |      21 |  1367684 |  1356845 |     3445    968 |        0 |        0
892.06/892.28	c  423s |      21 |  1371618 |  1360745 |     3445    970 |        0 |        0
894.16/894.32	c  425s |      21 |  1375561 |  1364645 |     3445    972 |        0 |        0
896.16/896.34	c  427s |      21 |  1379492 |  1368545 |     3445    974 |        0 |        0
898.16/898.39	c  429s |      21 |  1383234 |  1372245 |     3445    976 |        0 |        0
900.16/900.39	c  431s |      21 |  1387060 |  1376045 |     3445    978 |        0 |        0
902.25/902.44	c  433s |      21 |  1391190 |  1380145 |     3445    979 |        0 |        0
904.25/904.45	c  435s |      21 |  1395116 |  1384045 |     3445    981 |        0 |        0
906.26/906.46	c  437s |      21 |  1399147 |  1388045 |     3445    983 |        0 |        0
908.25/908.47	c  439s |      21 |  1403167 |  1392045 |     3445    985 |        0 |        0
910.35/910.51	c  441s |      21 |  1406895 |  1395745 |     3445    987 |        0 |        0
912.35/912.55	c  443s |      21 |  1410815 |  1399645 |     3445    989 |        0 |        0
914.35/914.57	c  445s |      21 |  1414751 |  1403545 |     3445    991 |        0 |        0
916.45/916.60	c  447s |      21 |  1418674 |  1407445 |     3445    992 |        0 |        0
918.46/918.62	c  449s |      21 |  1422601 |  1411345 |     3445    994 |        0 |        0
920.45/920.64	c  452s |      21 |  1426215 |  1414945 |     3445    996 |        0 |        0
922.45/922.67	c  454s |      21 |  1430045 |  1418745 |     3445    998 |        0 |        0
924.45/924.68	c  456s |      21 |  1433868 |  1422545 |     3445   1000 |        0 |        0
926.55/926.71	c  458s |      21 |  1437892 |  1426545 |     3445   1002 |        0 |        0
928.55/928.75	c  460s |      21 |  1441606 |  1430245 |     3445   1003 |        0 |        0
930.55/930.75	c  462s |      21 |  1445525 |  1434145 |     3445   1005 |        0 |        0
932.55/932.76	c  464s |      21 |  1449350 |  1437945 |     3445   1007 |        0 |        0
934.65/934.80	c  466s |      21 |  1453382 |  1441945 |     3445   1009 |        0 |        0
936.65/936.81	c  468s |      21 |  1457205 |  1445745 |     3445   1011 |        0 |        0
938.65/938.82	c  470s |      21 |  1460939 |  1449445 |     3445   1012 |        0 |        0
940.65/940.85	c  472s |      21 |  1464770 |  1453245 |     3445   1014 |        0 |        0
942.65/942.85	c  474s |      21 |  1468703 |  1457145 |     3445   1016 |        0 |        0
944.64/944.87	c  476s |      21 |  1472530 |  1460945 |     3445   1018 |        0 |        0
946.74/946.90	c  478s |      21 |  1476369 |  1464745 |     3445   1020 |        0 |        0
948.74/948.91	c  480s |      21 |  1480097 |  1468445 |     3445   1021 |        0 |        0
950.74/950.94	c  482s |      21 |  1483938 |  1472245 |     3445   1023 |        0 |        0
952.74/952.98	c  484s |      21 |  1487872 |  1476145 |     3445   1025 |        0 |        0
954.75/954.99	c  486s |      21 |  1491701 |  1479945 |     3445   1027 |        0 |        0
956.85/957.02	c  488s |      21 |  1495427 |  1483645 |     3445   1029 |        0 |        0
958.84/959.03	c  490s |      21 |  1499269 |  1487445 |     3445   1031 |        0 |        0
960.84/961.03	c  492s |      21 |  1503402 |  1491545 |     3790   1032 |        0 |        0
962.84/963.03	c  494s |      21 |  1507226 |  1495345 |     3790   1034 |        0 |        0
964.84/965.03	c  496s |      21 |  1510958 |  1499045 |     3790   1036 |        0 |        0
965.65/965.83	c  497s |      22 |  1512549 |  1500622 |     3790   1036 |        0 |        0
967.74/967.91	c  499s |      22 |  1516937 |  1504922 |     3790   1039 |        0 |        0
969.74/969.93	c  501s |      22 |  1521354 |  1509322 |     3790   1041 |        0 |        0
971.74/971.98	c  503s |      22 |  1525475 |  1513422 |     3790   1043 |        0 |        0
973.84/974.00	c  505s |      22 |  1529603 |  1517522 |     3790   1045 |        0 |        0
975.84/976.01	c  507s |      22 |  1533538 |  1521422 |     3790   1047 |        0 |        0
977.84/978.05	c  509s |      22 |  1537667 |  1525522 |     3790   1049 |        0 |        0
979.84/980.09	c  511s |      22 |  1541795 |  1529622 |     3790   1051 |        0 |        0
981.94/982.11	c  513s |      22 |  1545818 |  1533622 |     3790   1053 |        0 |        0
983.94/984.15	c  515s |      22 |  1550056 |  1537822 |     3790   1055 |        0 |        0
985.94/986.17	c  517s |      22 |  1553985 |  1541722 |     3790   1057 |        0 |        0
988.04/988.20	c  519s |      22 |  1558112 |  1545822 |     3790   1060 |        0 |        0
990.04/990.23	c  521s |      22 |  1562238 |  1549922 |     3790   1062 |        0 |        0
992.04/992.27	c  523s |      22 |  1566569 |  1554222 |     3790   1064 |        0 |        0
994.14/994.30	c  525s |      22 |  1570787 |  1558422 |     3790   1066 |        0 |        0
996.14/996.31	c  527s |      22 |  1574608 |  1562222 |     3790   1068 |        0 |        0
998.14/998.31	c  529s |      22 |  1578738 |  1566322 |     3790   1070 |        0 |        0
1000.14/1000.35	c  531s |      22 |  1582774 |  1570322 |     3790   1072 |        0 |        0
1002.13/1002.36	c  533s |      22 |  1586982 |  1574522 |     3790   1074 |        0 |        0
1004.14/1004.38	c  535s |      22 |  1591111 |  1578622 |     3790   1076 |        0 |        0
1006.23/1006.40	c  537s |      22 |  1595239 |  1582722 |     3790   1078 |        0 |        0
1008.24/1008.43	c  539s |      22 |  1599256 |  1586722 |     3790   1080 |        0 |        0
1010.24/1010.45	c  541s |      22 |  1603283 |  1590722 |     3790   1082 |        0 |        0
1012.24/1012.47	c  543s |      22 |  1607712 |  1595122 |     3790   1085 |        0 |        0
1014.34/1014.51	c  545s |      22 |  1611733 |  1599122 |     3790   1087 |        0 |        0
1016.35/1016.52	c  547s |      22 |  1615963 |  1603322 |     3790   1089 |        0 |        0
1018.34/1018.52	c  549s |      22 |  1619788 |  1607122 |     3790   1091 |        0 |        0
1020.34/1020.54	c  551s |      22 |  1623924 |  1611222 |     3790   1093 |        0 |        0
1022.34/1022.57	c  553s |      22 |  1627940 |  1615222 |     3790   1095 |        0 |        0
1024.34/1024.57	c  555s |      22 |  1631863 |  1619122 |     3790   1097 |        0 |        0
1026.34/1026.58	c  557s |      22 |  1635776 |  1623022 |     3790   1099 |        0 |        0
1028.44/1028.62	c  559s |      22 |  1639993 |  1627222 |     3790   1101 |        0 |        0
1030.44/1030.65	c  562s |      22 |  1644007 |  1631222 |     3790   1103 |        0 |        0
1032.44/1032.65	c  564s |      22 |  1648128 |  1635322 |     3790   1105 |        0 |        0
1034.44/1034.65	c  566s |      22 |  1651954 |  1639122 |     3790   1107 |        0 |        0
1036.44/1036.66	c  568s |      22 |  1656076 |  1643222 |     3790   1109 |        0 |        0
1038.44/1038.67	c  570s |      22 |  1660088 |  1647222 |     3790   1111 |        0 |        0
1040.44/1040.70	c  572s |      22 |  1664313 |  1651422 |     3790   1113 |        0 |        0
1042.53/1042.72	c  574s |      22 |  1668037 |  1655122 |     3790   1115 |        0 |        0
1044.53/1044.76	c  576s |      22 |  1672256 |  1659322 |     3790   1117 |        0 |        0
1046.53/1046.77	c  578s |      22 |  1676280 |  1663322 |     3790   1119 |        0 |        0
1048.63/1048.82	c  580s |      22 |  1680501 |  1667522 |     3790   1122 |        0 |        0
1050.63/1050.84	c  582s |      22 |  1684323 |  1671322 |     3790   1123 |        0 |        0
1052.73/1052.98	c  584s |      22 |  1688048 |  1675022 |     3790   1125 |        0 |        0
1054.84/1055.02	c  586s |      22 |  1692360 |  1679322 |     3790   1128 |        0 |        0
1056.83/1057.03	c  588s |      22 |  1696397 |  1683322 |     3790   1130 |        0 |        0
1058.83/1059.05	c  590s |      22 |  1700611 |  1687522 |     3790   1132 |        0 |        0
1060.83/1061.08	c  592s |      22 |  1704329 |  1691222 |     3790   1134 |        0 |        0
1062.93/1063.11	c  594s |      22 |  1708544 |  1695422 |     3790   1136 |        0 |        0
1064.93/1065.14	c  596s |      22 |  1712667 |  1699522 |     3790   1138 |        0 |        0
1066.94/1067.15	c  598s |      22 |  1716884 |  1703722 |     3790   1140 |        0 |        0
1068.93/1069.19	c  600s |      22 |  1721007 |  1707822 |     3790   1142 |        0 |        0
1071.03/1071.20	c  602s |      22 |  1725028 |  1711822 |     3790   1144 |        0 |        0
1073.03/1073.22	c  604s |      22 |  1729053 |  1715822 |     3790   1146 |        0 |        0
1075.03/1075.23	c  606s |      22 |  1733267 |  1720022 |     3790   1148 |        0 |        0
1077.03/1077.24	c  608s |      22 |  1737095 |  1723822 |     3790   1150 |        0 |        0
1079.03/1079.27	c  610s |      22 |  1741414 |  1728122 |     3790   1152 |        0 |        0
1081.03/1081.27	c  612s |      22 |  1745333 |  1732022 |     3790   1154 |        0 |        0
1083.13/1083.32	c  614s |      22 |  1749559 |  1736222 |     3790   1157 |        0 |        0
1085.13/1085.33	c  616s |      22 |  1753481 |  1740122 |     3790   1158 |        0 |        0
1087.12/1087.34	c  618s |      22 |  1757605 |  1744222 |     3790   1161 |        0 |        0
1089.12/1089.35	c  620s |      22 |  1761619 |  1748222 |     3790   1163 |        0 |        0
1091.13/1091.39	c  622s |      22 |  1765949 |  1752522 |     3790   1165 |        0 |        0
1093.12/1093.39	c  624s |      22 |  1769769 |  1756322 |     3790   1167 |        0 |        0
1095.22/1095.43	c  626s |      22 |  1773893 |  1760422 |     3790   1169 |        0 |        0
1097.22/1097.44	c  628s |      22 |  1777812 |  1764322 |     3790   1171 |        0 |        0
1099.22/1099.49	c  630s |      22 |  1781926 |  1768422 |     3790   1173 |        0 |        0
1101.32/1101.50	c  632s |      22 |  1785845 |  1772322 |     3790   1175 |        0 |        0
1103.32/1103.53	c  634s |      22 |  1790062 |  1776522 |     3790   1177 |        0 |        0
1105.33/1105.57	c  636s |      22 |  1793987 |  1780422 |     3790   1179 |        0 |        0
1107.32/1107.58	c  638s |      22 |  1798011 |  1784422 |     3790   1181 |        0 |        0
1109.42/1109.61	c  640s |      22 |  1801633 |  1788022 |     3790   1183 |        0 |        0
1111.42/1111.64	c  643s |      22 |  1805849 |  1792222 |     3790   1185 |        0 |        0
1113.42/1113.66	c  645s |      22 |  1809970 |  1796322 |     3790   1187 |        0 |        0
1115.42/1115.67	c  647s |      22 |  1814193 |  1800522 |     3790   1189 |        0 |        0
1117.42/1117.67	c  649s |      22 |  1817809 |  1804122 |     3790   1191 |        0 |        0
1119.52/1119.70	c  651s |      22 |  1821930 |  1808222 |     3790   1193 |        0 |        0
1121.52/1121.79	c  653s |      22 |  1826050 |  1812322 |     3790   1195 |        0 |        0
1123.62/1123.81	c  655s |      22 |  1830269 |  1816522 |     3790   1197 |        0 |        0
1125.62/1125.88	c  657s |      22 |  1834399 |  1820622 |     3790   1200 |        0 |        0
1127.72/1127.90	c  659s |      22 |  1838821 |  1825022 |     3790   1202 |        0 |        0
1129.72/1129.92	c  661s |      22 |  1842941 |  1829122 |     3790   1204 |        0 |        0
1131.72/1131.95	c  663s |      22 |  1847061 |  1833222 |     3790   1206 |        0 |        0
1133.71/1134.00	c  665s |      22 |  1851295 |  1837422 |     3790   1208 |        0 |        0
1135.81/1136.03	c  667s |      22 |  1855122 |  1841222 |     3790   1210 |        0 |        0
1137.81/1138.04	c  669s |      22 |  1859237 |  1845322 |     3790   1212 |        0 |        0
1139.81/1140.08	c  671s |      22 |  1863458 |  1849522 |     3790   1214 |        0 |        0
1141.92/1142.11	c  673s |      22 |  1867377 |  1853422 |     3790   1216 |        0 |        0
1143.93/1144.15	c  675s |      22 |  1871603 |  1857622 |     3790   1218 |        0 |        0
1145.92/1146.16	c  677s |      22 |  1875431 |  1861422 |     3790   1220 |        0 |        0
1148.02/1148.20	c  679s |      22 |  1879551 |  1865522 |     3790   1222 |        0 |        0
1150.12/1150.35	c  681s |      22 |  1883775 |  1869722 |     3790   1225 |        0 |        0
1152.12/1152.35	c  683s |      22 |  1888101 |  1874022 |     3790   1227 |        0 |        0
1154.12/1154.37	c  685s |      22 |  1892246 |  1878122 |     3790   1229 |        0 |        0
1156.12/1156.38	c  687s |      22 |  1896468 |  1882322 |     3790   1231 |        0 |        0
1158.22/1158.40	c  689s |      22 |  1900705 |  1886522 |     3790   1233 |        0 |        0
1160.21/1160.42	c  691s |      22 |  1904524 |  1890322 |     3790   1235 |        0 |        0
1162.21/1162.42	c  693s |      22 |  1908651 |  1894422 |     3790   1237 |        0 |        0
1164.21/1164.46	c  695s |      22 |  1912975 |  1898722 |     3790   1239 |        0 |        0
1166.21/1166.47	c  697s |      22 |  1916804 |  1902522 |     3790   1241 |        0 |        0
1168.31/1168.50	c  699s |      22 |  1920827 |  1906522 |     3790   1243 |        0 |        0
1170.32/1170.52	c  701s |      22 |  1924854 |  1910522 |     3790   1245 |        0 |        0
1172.31/1172.54	c  703s |      22 |  1928874 |  1914522 |     3790   1247 |        0 |        0
1174.31/1174.56	c  705s |      22 |  1933004 |  1918622 |     3790   1249 |        0 |        0
1176.41/1176.62	c  708s |      22 |  1937116 |  1922722 |     3790   1252 |        0 |        0
1178.41/1178.65	c  710s |      22 |  1941141 |  1926722 |     3790   1254 |        0 |        0
1180.41/1180.65	c  712s |      22 |  1945276 |  1930822 |     3790   1256 |        0 |        0
1182.41/1182.65	c  714s |      22 |  1949510 |  1935022 |     3790   1258 |        0 |        0
1184.41/1184.68	c  716s |      22 |  1953843 |  1939322 |     3790   1260 |        0 |        0
1186.41/1186.69	c  718s |      22 |  1958067 |  1943522 |     3790   1262 |        0 |        0
1188.41/1188.69	c  720s |      22 |  1961990 |  1947422 |     3790   1264 |        0 |        0
1190.51/1190.72	c  722s |      22 |  1966424 |  1951822 |     3790   1266 |        0 |        0
1192.51/1192.76	c  724s |      22 |  1970049 |  1955422 |     3790   1268 |        0 |        0
1194.61/1194.80	c  726s |      22 |  1974484 |  1959822 |     3790   1270 |        0 |        0
1196.61/1196.83	c  728s |      22 |  1978811 |  1964122 |     3790   1273 |        0 |        0
1198.60/1198.84	c  730s |      22 |  1982833 |  1968122 |     3790   1275 |        0 |        0
1200.60/1200.87	c  732s |      22 |  1987062 |  1972322 |     3790   1277 |        0 |        0
1202.71/1202.91	c  734s |      22 |  1990685 |  1975922 |     3790   1279 |        0 |        0
1204.71/1204.91	c  736s |      22 |  1995004 |  1980222 |     3790   1281 |        0 |        0
1206.71/1206.94	c  738s |      22 |  1999034 |  1984222 |     3790   1283 |        0 |        0
1208.82/1209.03	c  740s |      22 |  2003353 |  1988522 |     3790   1285 |        0 |        0
1210.81/1211.06	c  742s |      22 |  2007682 |  1992822 |     3790   1287 |        0 |        0
1212.81/1213.06	c  744s |      22 |  2011595 |  1996722 |     3790   1289 |        0 |        0
1214.81/1215.08	c  746s |      22 |  2015925 |  2001022 |     3790   1291 |        0 |        0
1216.91/1217.11	c  748s |      22 |  2019850 |  2004922 |     3790   1293 |        0 |        0
1218.91/1219.11	c  750s |      22 |  2023983 |  2009022 |     3790   1295 |        0 |        0
1220.91/1221.12	c  752s |      22 |  2028011 |  2013022 |     3790   1298 |        0 |        0
1222.90/1223.14	c  754s |      22 |  2032130 |  2017122 |     3790   1300 |        0 |        0
1224.90/1225.16	c  756s |      22 |  2036149 |  2021122 |     3790   1302 |        0 |        0
1226.90/1227.17	c  758s |      22 |  2040369 |  2025322 |     3790   1304 |        0 |        0
1228.90/1229.18	c  760s |      22 |  2044190 |  2029122 |     3790   1306 |        0 |        0
1230.90/1231.18	c  762s |      22 |  2048410 |  2033322 |     3790   1308 |        0 |        0
1232.91/1233.20	c  764s |      22 |  2052227 |  2037122 |     3790   1310 |        0 |        0
1235.00/1235.21	c  766s |      22 |  2056449 |  2041322 |     3790   1312 |        0 |        0
1237.00/1237.25	c  768s |      22 |  2060368 |  2045222 |     3790   1314 |        0 |        0
1239.00/1239.28	c  770s |      22 |  2064687 |  2049522 |     3790   1316 |        0 |        0
1241.10/1241.31	c  772s |      22 |  2068908 |  2053722 |     3790   1318 |        0 |        0
1243.10/1243.36	c  774s |      22 |  2072930 |  2057722 |     3790   1320 |        0 |        0
1245.11/1245.37	c  776s |      22 |  2077053 |  2061822 |     3790   1322 |        0 |        0
1247.10/1247.37	c  778s |      22 |  2081178 |  2065922 |     3790   1324 |        0 |        0
1249.10/1249.39	c  780s |      22 |  2085202 |  2069922 |     3790   1326 |        0 |        0
1251.10/1251.39	c  782s |      22 |  2089328 |  2074022 |     3790   1329 |        0 |        0
1253.20/1253.42	c  784s |      22 |  2093548 |  2078222 |     3790   1331 |        0 |        0
1255.20/1255.44	c  786s |      22 |  2097669 |  2082322 |     3790   1333 |        0 |        0
1257.20/1257.48	c  788s |      22 |  2101786 |  2086422 |     3790   1335 |        0 |        0
1259.30/1259.57	c  790s |      22 |  2105806 |  2090422 |     3790   1337 |        0 |        0
1261.40/1261.60	c  792s |      22 |  2109929 |  2094522 |     3790   1339 |        0 |        0
1263.40/1263.60	c  794s |      22 |  2113848 |  2098422 |     3790   1341 |        0 |        0
1265.40/1265.63	c  797s |      22 |  2118077 |  2102622 |     3790   1343 |        0 |        0
1267.40/1267.64	c  799s |      22 |  2122296 |  2106822 |     3790   1345 |        0 |        0
1269.40/1269.67	c  801s |      22 |  2126015 |  2110522 |     3790   1347 |        0 |        0
1271.40/1271.68	c  803s |      22 |  2130226 |  2114722 |     3790   1349 |        0 |        0
1273.60/1273.82	c  805s |      22 |  2134455 |  2118922 |     3790   1351 |        0 |        0
1275.60/1275.86	c  807s |      22 |  2138673 |  2123122 |     3790   1354 |        0 |        0
1277.59/1277.89	c  809s |      22 |  2142905 |  2127322 |     3790   1356 |        0 |        0
1279.69/1279.92	c  811s |      22 |  2146931 |  2131322 |     3790   1358 |        0 |        0
1281.69/1281.96	c  813s |      22 |  2150844 |  2135222 |     3790   1360 |        0 |        0
1283.79/1284.00	c  815s |      22 |  2154973 |  2139322 |     3790   1362 |        0 |        0
1285.80/1286.04	c  817s |      22 |  2159095 |  2143422 |     3790   1364 |        0 |        0
1287.79/1288.07	c  819s |      22 |  2163020 |  2147322 |     3790   1366 |        0 |        0
1289.89/1290.12	c  821s |      22 |  2167140 |  2151422 |     3790   1368 |        0 |        0
1291.89/1292.15	c  823s |      22 |  2171355 |  2155622 |     3790   1370 |        0 |        0
1293.99/1294.20	c  825s |      22 |  2175286 |  2159522 |     3790   1372 |        0 |        0
1295.99/1296.21	c  827s |      22 |  2179205 |  2163422 |     3790   1374 |        0 |        0
1297.99/1298.23	c  829s |      22 |  2183233 |  2167422 |     3790   1376 |        0 |        0
1300.00/1300.25	c  831s |      22 |  2187260 |  2171422 |     3790   1378 |        0 |        0
1301.99/1302.26	c  833s |      22 |  2191517 |  2175622 |     3790   1380 |        0 |        0
1304.09/1304.31	c  835s |      22 |  2195636 |  2179722 |     3790   1382 |        0 |        0
1306.09/1306.33	c  837s |      22 |  2199659 |  2183722 |     3790   1384 |        0 |        0
1308.09/1308.38	c  839s |      22 |  2203781 |  2187822 |     3790   1387 |        0 |        0
1310.19/1310.40	c  841s |      22 |  2207906 |  2191922 |     3790   1389 |        0 |        0
1312.19/1312.43	c  843s |      22 |  2212241 |  2196222 |     3790   1391 |        0 |        0
1314.19/1314.45	c  845s |      22 |  2216356 |  2200322 |     3790   1393 |        0 |        0
1316.19/1316.47	c  847s |      22 |  2220493 |  2204422 |     3790   1395 |        0 |        0
1318.29/1318.55	c  849s |      22 |  2224511 |  2208422 |     3790   1397 |        0 |        0
1320.29/1320.59	c  851s |      22 |  2228429 |  2212322 |     3790   1399 |        0 |        0
1322.39/1322.63	c  854s |      22 |  2232664 |  2216522 |     3790   1401 |        0 |        0
1324.39/1324.67	c  856s |      22 |  2236581 |  2220422 |     3790   1403 |        0 |        0
1326.49/1326.72	c  858s |      22 |  2240803 |  2224622 |     3790   1405 |        0 |        0
1328.48/1328.72	c  860s |      22 |  2244926 |  2228722 |     3790   1407 |        0 |        0
1330.48/1330.73	c  862s |      22 |  2248651 |  2232422 |     3790   1409 |        0 |        0
1332.48/1332.75	c  864s |      22 |  2252684 |  2236422 |     4169   1411 |        0 |        0
1334.48/1334.78	c  866s |      22 |  2256811 |  2240522 |     4169   1413 |        0 |        0
1336.58/1336.81	c  868s |      22 |  2260331 |  2244022 |     4169   1415 |        0 |        0
1338.59/1338.85	c  870s |      22 |  2264449 |  2248122 |     4169   1417 |        0 |        0
1339.98/1340.26	c  871s |      23 |  2267376 |  2251038 |     4169   1418 |        0 |        0
1342.08/1342.33	c  873s |      23 |  2270830 |  2254438 |     4169   1420 |        0 |        0
1344.09/1344.35	c  875s |      23 |  2274549 |  2258138 |     4169   1421 |        0 |        0
1346.08/1346.36	c  877s |      23 |  2278387 |  2261938 |     4169   1423 |        0 |        0
1348.08/1348.39	c  879s |      23 |  2282316 |  2265838 |     4169   1425 |        0 |        0
1350.18/1350.45	c  881s |      23 |  2286053 |  2269538 |     4169   1427 |        0 |        0
1352.18/1352.48	c  883s |      23 |  2290008 |  2273438 |     4169   1428 |        0 |        0
1354.28/1354.52	c  885s |      23 |  2293931 |  2277338 |     4169   1430 |        0 |        0
1356.28/1356.55	c  887s |      23 |  2297667 |  2281038 |     4169   1432 |        0 |        0
1358.29/1358.58	c  889s |      23 |  2301687 |  2285038 |     4169   1434 |        0 |        0
1360.28/1360.59	c  891s |      23 |  2305613 |  2288938 |     4169   1436 |        0 |        0
1362.38/1362.64	c  894s |      23 |  2309335 |  2292638 |     4169   1437 |        0 |        0
1364.48/1364.70	c  896s |      23 |  2313366 |  2296638 |     4169   1439 |        0 |        0
1366.48/1366.71	c  898s |      23 |  2316888 |  2300138 |     4169   1441 |        0 |        0
1368.48/1368.74	c  900s |      23 |  2320417 |  2303638 |     4169   1442 |        0 |        0
1370.48/1370.76	c  902s |      23 |  2324443 |  2307638 |     4169   1444 |        0 |        0
1372.48/1372.79	c  904s |      23 |  2328365 |  2311538 |     4169   1446 |        0 |        0
1374.58/1374.83	c  906s |      23 |  2332184 |  2315338 |     4169   1448 |        0 |        0
1376.59/1376.87	c  908s |      23 |  2336098 |  2319238 |     4169   1450 |        0 |        0
1378.58/1378.88	c  910s |      23 |  2339435 |  2322538 |     4169   1451 |        0 |        0
1380.58/1380.88	c  912s |      23 |  2343060 |  2326138 |     4169   1453 |        0 |        0
1382.68/1382.90	c  914s |      23 |  2346683 |  2329738 |     4169   1454 |        0 |        0
1384.69/1384.91	c  916s |      23 |  2350423 |  2333438 |     4169   1456 |        0 |        0
1386.68/1386.92	c  918s |      23 |  2353960 |  2336938 |     4169   1458 |        0 |        0
1388.68/1388.97	c  920s |      23 |  2357990 |  2340938 |     4169   1460 |        0 |        0
1390.68/1390.98	c  922s |      23 |  2361820 |  2344738 |     4169   1461 |        0 |        0
1392.78/1393.00	c  924s |      23 |  2365345 |  2348238 |     4169   1463 |        0 |        0
1394.78/1395.03	c  926s |      23 |  2369185 |  2352038 |     4169   1465 |        0 |        0
1396.78/1397.05	c  928s |      23 |  2372608 |  2355438 |     4169   1466 |        0 |        0
1398.78/1399.09	c  930s |      23 |  2376638 |  2359438 |     4169   1468 |        0 |        0
1400.88/1401.13	c  932s |      23 |  2380670 |  2363438 |     4169   1470 |        0 |        0
1402.88/1403.14	c  934s |      23 |  2384606 |  2367338 |     4169   1472 |        0 |        0
1404.88/1405.17	c  936s |      23 |  2388538 |  2371238 |     4169   1474 |        0 |        0
1406.98/1407.22	c  938s |      23 |  2392471 |  2375138 |     4169   1476 |        0 |        0
1408.98/1409.25	c  940s |      23 |  2396302 |  2378938 |     4169   1477 |        0 |        0
1410.97/1411.28	c  942s |      23 |  2400335 |  2382938 |     4169   1479 |        0 |        0
1413.07/1413.32	c  944s |      23 |  2403967 |  2386538 |     4169   1481 |        0 |        0
1415.07/1415.35	c  946s |      23 |  2407681 |  2390238 |     4169   1483 |        0 |        0
1417.07/1417.37	c  948s |      23 |  2411508 |  2394038 |     4169   1484 |        0 |        0
1419.17/1419.41	c  950s |      23 |  2415529 |  2398038 |     4169   1486 |        0 |        0
1421.17/1421.42	c  952s |      23 |  2419154 |  2401638 |     4169   1488 |        0 |        0
1423.18/1423.44	c  954s |      23 |  2422682 |  2405138 |     4169   1489 |        0 |        0
1425.27/1425.50	c  956s |      23 |  2426711 |  2409138 |     4169   1491 |        0 |        0
1427.27/1427.53	c  958s |      23 |  2430417 |  2412838 |     4169   1493 |        0 |        0
1429.27/1429.53	c  960s |      23 |  2433934 |  2416338 |     4169   1495 |        0 |        0
1431.27/1431.58	c  962s |      23 |  2437561 |  2419938 |     4169   1496 |        0 |        0
1433.37/1433.61	c  964s |      23 |  2441285 |  2423638 |     4169   1498 |        0 |        0
1435.38/1435.63	c  967s |      23 |  2445015 |  2427338 |     4169   1500 |        0 |        0
1437.37/1437.63	c  969s |      23 |  2448743 |  2431038 |     4169   1502 |        0 |        0
1439.37/1439.67	c  971s |      23 |  2452665 |  2434938 |     4169   1503 |        0 |        0
1441.47/1441.78	c  973s |      23 |  2456290 |  2438538 |     4169   1505 |        0 |        0
1443.57/1443.81	c  975s |      23 |  2460335 |  2442538 |     4169   1507 |        0 |        0
1445.57/1445.89	c  977s |      23 |  2463969 |  2446138 |     4169   1509 |        0 |        0
1447.77/1448.06	c  979s |      23 |  2468299 |  2450438 |     4169   1511 |        0 |        0
1449.77/1450.06	c  981s |      23 |  2472443 |  2454538 |     4169   1512 |        0 |        0
1451.77/1452.07	c  983s |      23 |  2476377 |  2458438 |     4169   1514 |        0 |        0
1453.77/1454.08	c  985s |      23 |  2479999 |  2462038 |     4169   1516 |        0 |        0
1455.77/1456.09	c  987s |      23 |  2484034 |  2466038 |     4169   1518 |        0 |        0
1457.87/1458.13	c  989s |      23 |  2487776 |  2469738 |     4169   1519 |        0 |        0
1459.87/1460.16	c  991s |      23 |  2491717 |  2473638 |     4169   1521 |        0 |        0
1461.87/1462.16	c  993s |      23 |  2495755 |  2477638 |     4169   1523 |        0 |        0
1463.87/1464.18	c  995s |      23 |  2499671 |  2481538 |     4169   1525 |        0 |        0
1465.87/1466.18	c  997s |      23 |  2503292 |  2485138 |     4169   1527 |        0 |        0
1467.96/1468.20	c  999s |      23 |  2506919 |  2488738 |     4169   1528 |        0 |        0
1469.96/1470.23	c 1001s |      23 |  2510840 |  2492638 |     4169   1530 |        0 |        0
1471.96/1472.28	c 1003s |      23 |  2514467 |  2496238 |     4169   1532 |        0 |        0
1473.96/1474.28	c 1005s |      23 |  2518081 |  2499838 |     4169   1533 |        0 |        0
1475.97/1476.30	c 1007s |      23 |  2522007 |  2503738 |     4169   1535 |        0 |        0
1478.06/1478.31	c 1009s |      23 |  2525824 |  2507538 |     4169   1537 |        0 |        0
1480.06/1480.35	c 1011s |      23 |  2529457 |  2511138 |     4169   1539 |        0 |        0
1482.06/1482.36	c 1013s |      23 |  2533485 |  2515138 |     4169   1541 |        0 |        0
1484.06/1484.38	c 1015s |      23 |  2537310 |  2518938 |     4169   1542 |        0 |        0
1486.16/1486.41	c 1017s |      23 |  2541236 |  2522838 |     4169   1544 |        0 |        0
1488.17/1488.46	c 1019s |      23 |  2545370 |  2526938 |     4169   1546 |        0 |        0
1490.16/1490.49	c 1021s |      23 |  2548800 |  2530338 |     4169   1548 |        0 |        0
1492.26/1492.51	c 1023s |      23 |  2552621 |  2534138 |     4169   1549 |        0 |        0
1494.26/1494.56	c 1025s |      23 |  2556445 |  2537938 |     4169   1551 |        0 |        0
1496.36/1496.60	c 1027s |      23 |  2560585 |  2542038 |     4169   1553 |        0 |        0
1498.37/1498.64	c 1030s |      23 |  2564407 |  2545838 |     4169   1555 |        0 |        0
1500.37/1500.68	c 1032s |      23 |  2568338 |  2549738 |     4169   1557 |        0 |        0
1502.37/1502.68	c 1034s |      23 |  2572156 |  2553538 |     4169   1558 |        0 |        0
1504.47/1504.72	c 1036s |      23 |  2575973 |  2557338 |     4169   1560 |        0 |        0
1506.47/1506.74	c 1038s |      23 |  2579799 |  2561138 |     4169   1562 |        0 |        0
1508.47/1508.75	c 1040s |      23 |  2583725 |  2565038 |     4169   1564 |        0 |        0
1510.47/1510.77	c 1042s |      23 |  2587550 |  2568838 |     4169   1566 |        0 |        0
1512.57/1512.81	c 1044s |      23 |  2591300 |  2572538 |     4169   1567 |        0 |        0
1514.57/1514.81	c 1046s |      23 |  2595125 |  2576338 |     4169   1569 |        0 |        0
1516.56/1516.84	c 1048s |      23 |  2599067 |  2580238 |     4169   1571 |        0 |        0
1518.56/1518.88	c 1050s |      23 |  2602793 |  2583938 |     4169   1573 |        0 |        0
1520.76/1521.05	c 1052s |      23 |  2606822 |  2587938 |     4169   1574 |        0 |        0
1522.76/1523.06	c 1054s |      23 |  2610656 |  2591738 |     4169   1576 |        0 |        0
1524.76/1525.09	c 1056s |      23 |  2614575 |  2595638 |     4169   1578 |        0 |        0
1526.76/1527.09	c 1058s |      23 |  2617992 |  2599038 |     4169   1580 |        0 |        0
1528.77/1529.09	c 1060s |      23 |  2621904 |  2602938 |     4169   1581 |        0 |        0
1530.86/1531.11	c 1062s |      23 |  2625546 |  2606538 |     4169   1583 |        0 |        0
1532.86/1533.13	c 1064s |      23 |  2629374 |  2610338 |     4169   1585 |        0 |        0
1534.86/1535.14	c 1066s |      23 |  2633185 |  2614138 |     4169   1587 |        0 |        0
1536.86/1537.18	c 1068s |      23 |  2637311 |  2618238 |     4169   1588 |        0 |        0
1538.96/1539.20	c 1070s |      23 |  2641138 |  2622038 |     4169   1590 |        0 |        0
1540.96/1541.22	c 1072s |      23 |  2645171 |  2626038 |     4169   1592 |        0 |        0
1542.96/1543.22	c 1074s |      23 |  2648694 |  2629538 |     4169   1594 |        0 |        0
1544.96/1545.25	c 1076s |      23 |  2652619 |  2633438 |     4169   1596 |        0 |        0
1546.96/1547.28	c 1078s |      23 |  2656364 |  2637138 |     4169   1597 |        0 |        0
1548.96/1549.29	c 1080s |      23 |  2660193 |  2640938 |     4169   1599 |        0 |        0
1551.06/1551.33	c 1082s |      23 |  2664021 |  2644738 |     4169   1601 |        0 |        0
1553.06/1553.34	c 1084s |      23 |  2667962 |  2648638 |     4169   1603 |        0 |        0
1555.16/1555.40	c 1086s |      23 |  2672089 |  2652738 |     4169   1605 |        0 |        0
1557.15/1557.45	c 1088s |      23 |  2675822 |  2656438 |     4169   1606 |        0 |        0
1559.15/1559.48	c 1090s |      23 |  2679862 |  2660438 |     4169   1608 |        0 |        0
1561.25/1561.51	c 1092s |      23 |  2683692 |  2664238 |     4169   1610 |        0 |        0
1563.25/1563.54	c 1094s |      23 |  2687629 |  2668138 |     4169   1612 |        0 |        0
1565.25/1565.58	c 1096s |      23 |  2691368 |  2671838 |     4169   1613 |        0 |        0
1567.36/1567.61	c 1098s |      23 |  2695185 |  2675638 |     4169   1615 |        0 |        0
1569.35/1569.64	c 1101s |      23 |  2698997 |  2679438 |     4169   1617 |        0 |        0
1571.35/1571.67	c 1103s |      23 |  2702729 |  2683138 |     4169   1619 |        0 |        0
1573.45/1573.72	c 1105s |      23 |  2706856 |  2687238 |     4169   1621 |        0 |        0
1575.45/1575.75	c 1107s |      23 |  2710686 |  2691038 |     4169   1622 |        0 |        0
1577.45/1577.79	c 1109s |      23 |  2714613 |  2694938 |     4169   1624 |        0 |        0
1579.45/1579.79	c 1111s |      23 |  2718327 |  2698638 |     4169   1626 |        0 |        0
1581.45/1581.80	c 1113s |      23 |  2722253 |  2702538 |     4169   1628 |        0 |        0
1583.55/1583.84	c 1115s |      23 |  2726082 |  2706338 |     4169   1629 |        0 |        0
1585.55/1585.87	c 1117s |      23 |  2729796 |  2710038 |     4169   1631 |        0 |        0
1587.65/1587.92	c 1119s |      23 |  2733206 |  2713438 |     4169   1633 |        0 |        0
1589.65/1589.92	c 1121s |      23 |  2736926 |  2717138 |     4169   1634 |        0 |        0
1591.65/1591.95	c 1123s |      23 |  2740766 |  2720938 |     4169   1636 |        0 |        0
1593.75/1594.06	c 1125s |      23 |  2744686 |  2724838 |     4169   1638 |        0 |        0
1595.75/1596.07	c 1127s |      23 |  2748201 |  2728338 |     4169   1640 |        0 |        0
1597.85/1598.12	c 1129s |      23 |  2752033 |  2732138 |     4169   1641 |        0 |        0
1599.84/1600.12	c 1131s |      23 |  2755776 |  2735838 |     4169   1643 |        0 |        0
1601.84/1602.14	c 1133s |      23 |  2759509 |  2739538 |     4169   1645 |        0 |        0
1603.84/1604.16	c 1135s |      23 |  2762932 |  2742938 |     4169   1646 |        0 |        0
1605.94/1606.21	c 1137s |      23 |  2766744 |  2746738 |     4169   1648 |        0 |        0
1607.95/1608.24	c 1139s |      23 |  2770266 |  2750238 |     4169   1650 |        0 |        0
1609.94/1610.26	c 1141s |      23 |  2773986 |  2753938 |     4169   1652 |        0 |        0
1611.94/1612.28	c 1143s |      23 |  2777816 |  2757738 |     4169   1653 |        0 |        0
1614.04/1614.32	c 1145s |      23 |  2781539 |  2761438 |     4169   1655 |        0 |        0
1616.04/1616.37	c 1147s |      23 |  2785276 |  2765138 |     4169   1657 |        0 |        0
1618.04/1618.39	c 1149s |      23 |  2788999 |  2768838 |     4169   1658 |        0 |        0
1620.15/1620.41	c 1151s |      23 |  2792734 |  2772538 |     4169   1660 |        0 |        0
1622.14/1622.44	c 1153s |      23 |  2796660 |  2776438 |     4169   1662 |        0 |        0
1624.14/1624.48	c 1155s |      23 |  2800397 |  2780138 |     4169   1664 |        0 |        0
1626.24/1626.51	c 1157s |      23 |  2804321 |  2784038 |     4169   1665 |        0 |        0
1628.24/1628.55	c 1159s |      23 |  2807974 |  2787638 |     4169   1667 |        0 |        0
1630.24/1630.59	c 1161s |      23 |  2811825 |  2791438 |     4169   1669 |        0 |        0
1632.34/1632.61	c 1163s |      23 |  2815670 |  2795238 |     4169   1671 |        0 |        0
1634.34/1634.65	c 1166s |      23 |  2819406 |  2798938 |     4169   1672 |        0 |        0
1636.34/1636.67	c 1168s |      23 |  2823222 |  2802738 |     4169   1674 |        0 |        0
1638.44/1638.70	c 1170s |      23 |  2827149 |  2806638 |     4169   1676 |        0 |        0
1640.44/1640.71	c 1172s |      23 |  2830774 |  2810238 |     4169   1678 |        0 |        0
1642.44/1642.73	c 1174s |      23 |  2834396 |  2813838 |     4169   1679 |        0 |        0
1644.44/1644.76	c 1176s |      23 |  2838219 |  2817638 |     4169   1681 |        0 |        0
1646.44/1646.80	c 1178s |      23 |  2842051 |  2821438 |     4169   1683 |        0 |        0
1648.54/1648.84	c 1180s |      23 |  2845466 |  2824838 |     4169   1684 |        0 |        0
1650.54/1650.87	c 1182s |      23 |  2849190 |  2828538 |     4169   1686 |        0 |        0
1652.53/1652.88	c 1184s |      23 |  2852818 |  2832138 |     4169   1688 |        0 |        0
1654.64/1654.93	c 1186s |      23 |  2856453 |  2835738 |     4169   1690 |        0 |        0
1656.64/1656.96	c 1188s |      23 |  2860189 |  2839438 |     4169   1691 |        0 |        0
1658.65/1658.97	c 1190s |      23 |  2863814 |  2843038 |     4169   1693 |        0 |        0
1660.64/1661.00	c 1192s |      23 |  2867447 |  2846638 |     4169   1695 |        0 |        0
1662.74/1663.05	c 1194s |      23 |  2871470 |  2850638 |     4169   1696 |        0 |        0
1664.74/1665.06	c 1196s |      23 |  2874993 |  2854138 |     4169   1698 |        0 |        0
1666.84/1667.10	c 1198s |      23 |  2878724 |  2857838 |     4169   1700 |        0 |        0
1668.84/1669.11	c 1200s |      23 |  2882459 |  2861538 |     4169   1701 |        0 |        0
1670.84/1671.14	c 1202s |      23 |  2886488 |  2865538 |     4169   1703 |        0 |        0
1672.85/1673.18	c 1204s |      23 |  2890334 |  2869338 |     4169   1705 |        0 |        0
1674.94/1675.22	c 1206s |      23 |  2894064 |  2873038 |     4169   1707 |        0 |        0
1676.94/1677.25	c 1208s |      23 |  2898002 |  2876938 |     4169   1709 |        0 |        0
1678.94/1679.27	c 1210s |      23 |  2901630 |  2880538 |     4169   1710 |        0 |        0
1681.04/1681.30	c 1212s |      23 |  2905452 |  2884338 |     4169   1712 |        0 |        0
1683.04/1683.31	c 1214s |      23 |  2909079 |  2887938 |     4169   1714 |        0 |        0
1685.04/1685.32	c 1216s |      23 |  2912909 |  2891738 |     4169   1716 |        0 |        0
1687.03/1687.33	c 1218s |      23 |  2916639 |  2895438 |     4169   1717 |        0 |        0
1689.03/1689.37	c 1220s |      23 |  2920575 |  2899338 |     4169   1719 |        0 |        0
1691.13/1691.40	c 1222s |      23 |  2924721 |  2903438 |     4169   1721 |        0 |        0
1693.13/1693.42	c 1224s |      23 |  2928249 |  2906938 |     4169   1723 |        0 |        0
1695.13/1695.43	c 1226s |      23 |  2931875 |  2910538 |     4169   1724 |        0 |        0
1697.14/1697.44	c 1228s |      23 |  2935610 |  2914238 |     4169   1726 |        0 |        0
1699.13/1699.49	c 1230s |      23 |  2939337 |  2917938 |     4169   1728 |        0 |        0
1701.23/1701.53	c 1232s |      23 |  2943162 |  2921738 |     4169   1729 |        0 |        0
1703.23/1703.54	c 1234s |      23 |  2946898 |  2925438 |     4169   1731 |        0 |        0
1705.23/1705.56	c 1236s |      23 |  2950614 |  2929138 |     4169   1733 |        0 |        0
1707.23/1707.56	c 1238s |      23 |  2953742 |  2932238 |     4169   1734 |        0 |        0
1709.24/1709.58	c 1240s |      23 |  2957472 |  2935938 |     4169   1736 |        0 |        0
1711.23/1711.59	c 1242s |      23 |  2960997 |  2939438 |     4169   1738 |        0 |        0
1713.33/1713.62	c 1244s |      23 |  2964736 |  2943138 |     4169   1739 |        0 |        0
1715.33/1715.64	c 1247s |      23 |  2968671 |  2947038 |     4169   1741 |        0 |        0
1717.33/1717.64	c 1249s |      23 |  2972506 |  2950838 |     4169   1743 |        0 |        0
1719.33/1719.64	c 1251s |      23 |  2976048 |  2954338 |     4169   1745 |        0 |        0
1721.43/1721.72	c 1253s |      23 |  2980163 |  2958438 |     4169   1747 |        0 |        0
1723.43/1723.77	c 1255s |      23 |  2984196 |  2962438 |     4169   1748 |        0 |        0
1725.53/1725.80	c 1257s |      23 |  2988230 |  2966438 |     4169   1750 |        0 |        0
1727.52/1727.83	c 1259s |      23 |  2991984 |  2970138 |     4169   1752 |        0 |        0
1729.52/1729.86	c 1261s |      23 |  2995920 |  2974038 |     4169   1754 |        0 |        0
1731.52/1731.89	c 1263s |      23 |  2999738 |  2977838 |     4169   1756 |        0 |        0
1733.62/1733.93	c 1265s |      23 |  3003559 |  2981638 |     4169   1757 |        0 |        0
1735.63/1735.94	c 1267s |      23 |  3007281 |  2985338 |     4169   1759 |        0 |        0
1737.62/1737.94	c 1269s |      23 |  3010504 |  2988538 |     4169   1760 |        0 |        0
1739.62/1739.96	c 1271s |      23 |  3014527 |  2992538 |     4169   1762 |        0 |        0
1741.72/1742.00	c 1273s |      23 |  3018247 |  2996238 |     4169   1764 |        0 |        0
1743.72/1744.04	c 1275s |      23 |  3022269 |  3000238 |     4169   1766 |        0 |        0
1745.72/1746.08	c 1277s |      23 |  3026084 |  3004038 |     4169   1768 |        0 |        0
1747.82/1748.10	c 1279s |      23 |  3030014 |  3007938 |     4169   1770 |        0 |        0
1749.83/1750.14	c 1281s |      23 |  3033736 |  3011638 |     4169   1771 |        0 |        0
1751.83/1752.17	c 1283s |      23 |  3036962 |  3014838 |     4169   1773 |        0 |        0
1753.83/1754.19	c 1285s |      23 |  3040880 |  3018738 |     4169   1775 |        0 |        0
1755.93/1756.23	c 1287s |      23 |  3044804 |  3022638 |     4169   1776 |        0 |        0
1757.93/1758.27	c 1289s |      23 |  3048823 |  3026638 |     4169   1778 |        0 |        0
1759.93/1760.30	c 1291s |      23 |  3052338 |  3030138 |     4169   1780 |        0 |        0
1762.03/1762.36	c 1293s |      23 |  3055962 |  3033738 |     4169   1781 |        0 |        0
1764.02/1764.36	c 1295s |      23 |  3059894 |  3037638 |     4169   1783 |        0 |        0
1766.12/1766.40	c 1297s |      23 |  3063913 |  3041638 |     4169   1785 |        0 |        0
1768.12/1768.42	c 1299s |      23 |  3067730 |  3045438 |     4169   1787 |        0 |        0
1770.12/1770.46	c 1301s |      23 |  3071061 |  3048738 |     4169   1788 |        0 |        0
1772.12/1772.48	c 1303s |      23 |  3074781 |  3052438 |     4169   1790 |        0 |        0
1774.13/1774.48	c 1305s |      23 |  3078196 |  3055838 |     4169   1792 |        0 |        0
1776.23/1776.52	c 1307s |      23 |  3082027 |  3059638 |     4169   1794 |        0 |        0
1778.22/1778.56	c 1309s |      23 |  3085964 |  3063538 |     4169   1795 |        0 |        0
1780.32/1780.60	c 1311s |      23 |  3089693 |  3067238 |     4169   1797 |        0 |        0
1782.32/1782.61	c 1313s |      23 |  3093519 |  3071038 |     4169   1799 |        0 |        0
1784.32/1784.63	c 1316s |      23 |  3097240 |  3074738 |     4169   1801 |        0 |        0
1786.32/1786.68	c 1318s |      23 |  3100984 |  3078438 |     4169   1802 |        0 |        0
1788.33/1788.70	c 1320s |      23 |  3104807 |  3082238 |     4169   1804 |        0 |        0
1790.42/1790.71	c 1322s |      23 |  3108532 |  3085938 |     4169   1806 |        0 |        0
1792.42/1792.75	c 1324s |      23 |  3112252 |  3089638 |     4169   1807 |        0 |        0
1794.42/1794.76	c 1326s |      23 |  3115870 |  3093238 |     4169   1809 |        0 |        0
1796.52/1796.81	c 1328s |      23 |  3119692 |  3097038 |     4169   1811 |        0 |        0
1798.52/1798.86	c 1330s |      23 |  3123517 |  3100838 |     4169   1813 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

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-4079043-1465238332/watcher-4079043-1465238332 -o /tmp/evaluation-result-4079043-1465238332/solver-4079043-1465238332 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1858 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079043-1465238332.opb 

pid=5240
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.16 2.10 2.06 3/179 5243
/proc/meminfo: memFree=31016464/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=734652 CPUtime=0 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 2745 0 0 0 0 0 0 0 20 0 4 0 105768163 752283648 2594 33554432000 4194304 16246674 140736066033136 140736066032560 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5243/statm: 184175 2604 441 2943 0 181069 0
[pid=5243/tid=5244] ppid=5240 vsize=752060 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 770109440 2664 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=757180 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 775352320 2682 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=761276 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105768163 779546624 2699 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.16 2.10 2.06 3/179 5243
/proc/meminfo: memFree=31016464/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 29142 0 0 0 5 3 0 0 20 0 4 0 105768163 1247350784 28982 33554432000 4194304 16246674 140736066033136 140736066015040 12429797 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5243/statm: 304529 28987 637 2943 0 301423 0
[pid=5243/tid=5244] ppid=5240 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1247350784 28991 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1247350784 28995 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105768163 1247350784 28999 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200601 s]
/proc/loadavg: 2.16 2.10 2.06 3/179 5243
/proc/meminfo: memFree=31016464/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 52163 0 0 0 12 7 0 0 20 0 4 0 105768163 1247350784 52003 33554432000 4194304 16246674 140736066033136 140736066015040 6958849 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5243/statm: 304529 52014 637 2943 0 301423 0
[pid=5243/tid=5244] ppid=5240 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1247350784 52022 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1247350784 52029 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105768163 1247350784 52036 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300523 s]
/proc/loadavg: 2.16 2.10 2.06 3/179 5243
/proc/meminfo: memFree=31016464/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 75724 0 0 0 19 10 0 0 20 0 4 0 105768163 1247350784 75565 33554432000 4194304 16246674 140736066033136 140736066015040 12449399 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5243/statm: 304529 75578 637 2943 0 301423 0
[pid=5243/tid=5244] ppid=5240 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1247350784 75587 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1247350784 75597 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105768163 1247350784 75607 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70041 s]
/proc/loadavg: 2.16 2.10 2.06 3/179 5243
/proc/meminfo: memFree=31016464/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 172985 0 0 0 47 22 0 0 20 0 4 0 105768163 1247350784 172826 33554432000 4194304 16246674 140736066033136 140736066015040 12429797 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5243/statm: 304529 172831 637 2943 0 301423 0
[pid=5243/tid=5244] ppid=5240 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1247350784 172835 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1247350784 172839 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105768163 1247350784 172842 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.16 2.10 2.06 3/183 5247
/proc/meminfo: memFree=29513644/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 267227 0 0 0 115 34 0 0 20 0 4 0 105768163 1336479744 267023 33554432000 4194304 16246674 140736066033136 140736066032448 12371164 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5243/statm: 326289 267023 834 2943 0 323183 0
[pid=5243/tid=5244] ppid=5240 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1336479744 267023 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1336479744 267023 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1336479744 267023 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10042 s]
/proc/loadavg: 2.16 2.10 2.06 3/183 5247
/proc/meminfo: memFree=29209100/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1305156 CPUtime=3.09 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 267402 0 0 0 275 34 0 0 20 0 4 0 105768163 1336479744 267198 33554432000 4194304 16246674 140736066033136 140736066030976 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5243/statm: 326289 267198 834 2943 0 323183 0
[pid=5243/tid=5244] ppid=5240 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1336479744 267198 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1336479744 267198 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1336479744 267198 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1305156

[startup+6.30043 s]
/proc/loadavg: 2.14 2.10 2.06 3/183 5247
/proc/meminfo: memFree=29209100/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1305156 CPUtime=6.29 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 267402 0 0 0 595 34 0 0 20 0 4 0 105768163 1336479744 267198 33554432000 4194304 16246674 140736066033136 140736066032448 12449436 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5243/statm: 326289 267198 834 2943 0 323183 0
[pid=5243/tid=5244] ppid=5240 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1336479744 267198 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1336479744 267198 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1336479744 267198 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1305156

[startup+12.7004 s]
/proc/loadavg: 2.13 2.10 2.06 3/183 5247
/proc/meminfo: memFree=28857996/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1409604 CPUtime=12.69 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 293514 0 0 0 1231 38 0 0 20 0 4 0 105768163 1443434496 293310 33554432000 4194304 16246674 140736066033136 140736066032448 12429091 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5243/statm: 352401 293310 834 2943 0 349295 0
[pid=5243/tid=5244] ppid=5240 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1443434496 293310 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1443434496 293310 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1443434496 293310 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1409604

[startup+25.5005 s]
/proc/loadavg: 2.10 2.09 2.06 3/183 5247
/proc/meminfo: memFree=28241048/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1716804 CPUtime=25.5 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 370314 0 0 0 2503 47 0 0 20 0 4 0 105768163 1758007296 370110 33554432000 4194304 16246674 140736066033136 140736066032448 12654426 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5243/statm: 429201 370110 834 2943 0 426095 0
[pid=5243/tid=5244] ppid=5240 vsize=1716804 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1758007296 370110 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1716804 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1758007296 370110 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1716804 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1758007296 370110 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1716804

[startup+51.1005 s]
/proc/loadavg: 2.07 2.08 2.05 3/183 5247
/proc/meminfo: memFree=27359548/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1716804 CPUtime=51.09 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 370314 0 0 0 5062 47 0 0 20 0 4 0 105768163 1758007296 370110 33554432000 4194304 16246674 140736066033136 140736066015040 12656213 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5243/statm: 429201 370110 834 2943 0 426095 0
[pid=5243/tid=5244] ppid=5240 vsize=1716804 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1758007296 370110 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1716804 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1758007296 370110 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1716804 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1758007296 370110 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1716804

[startup+102.301 s]
/proc/loadavg: 2.08 2.08 2.05 3/184 5251
/proc/meminfo: memFree=27529960/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1529412 CPUtime=102.28 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 376203 0 0 0 10180 48 0 0 20 0 4 0 105768163 1566117888 323263 33554432000 4194304 16246674 140736066033136 140736066032352 12371226 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5243/statm: 382353 323263 835 2943 0 379247 0
[pid=5243/tid=5244] ppid=5240 vsize=1529412 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1566117888 323263 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1529412 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1566117888 323263 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1529412 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1566117888 323263 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1529412


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

/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356103 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1660484

[startup+1362.3 s]
/proc/loadavg: 2.04 2.13 2.09 3/184 5305
/proc/meminfo: memFree=26973420/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1660484 CPUtime=1362.08 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 409043 0 0 0 136147 61 0 0 20 0 4 0 105768163 1700335616 356103 33554432000 4194304 16246674 140736066033136 140736066016136 12477821 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5243/statm: 415121 356103 902 2943 0 412015 0
[pid=5243/tid=5244] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356103 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356103 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356103 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1660484

[startup+1422.3 s]
/proc/loadavg: 2.01 2.10 2.08 3/183 5307
/proc/meminfo: memFree=26973576/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1660484 CPUtime=1422.08 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 409044 0 0 0 142146 62 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 140736066015040 13759937 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5243/statm: 415121 356104 903 2943 0 412015 0
[pid=5243/tid=5244] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1660484

[startup+1482.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/183 5308
/proc/meminfo: memFree=26973268/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1660484 CPUtime=1482.06 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 409044 0 0 0 148144 62 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 140736066015040 13927272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5243/statm: 415121 356104 903 2943 0 412015 0
[pid=5243/tid=5244] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1660484

[startup+1542.31 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 5309
/proc/meminfo: memFree=26973016/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1660484 CPUtime=1542.07 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 409044 0 0 0 154144 63 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 140736066015040 12483300 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5243/statm: 415121 356104 903 2943 0 412015 0
[pid=5243/tid=5244] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.07
Current children cumulated vsize (KiB) 1660484

[startup+1602.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/183 5310
/proc/meminfo: memFree=26973372/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1660484 CPUtime=1602.04 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 409044 0 0 0 160141 63 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 140736066015040 6018832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5243/statm: 415121 356104 903 2943 0 412015 0
[pid=5243/tid=5244] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1660484

[startup+1662.3 s]
/proc/loadavg: 2.12 2.09 2.08 3/183 5311
/proc/meminfo: memFree=26973412/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1660484 CPUtime=1662.04 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 409044 0 0 0 166140 64 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 140736066015040 5712756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5243/statm: 415121 356104 903 2943 0 412015 0
[pid=5243/tid=5244] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1660484

[startup+1722.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 5313
/proc/meminfo: memFree=26973544/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1660484 CPUtime=1722.03 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 409044 0 0 0 172139 64 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 140736066015040 5711640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5243/statm: 415121 356104 903 2943 0 412015 0
[pid=5243/tid=5244] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 1660484

[startup+1782.3 s]
/proc/loadavg: 2.08 2.09 2.09 4/183 5314
/proc/meminfo: memFree=26972780/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1660484 CPUtime=1782.02 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 409044 0 0 0 178137 65 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 140736066015040 12478198 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5243/statm: 415121 356104 903 2943 0 412015 0
[pid=5243/tid=5244] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1660484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.06 2.09 2.08 3/183 5314
/proc/meminfo: memFree=26973260/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1660484 CPUtime=1800.02 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 409044 0 0 0 179937 65 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 140736066015040 5754924 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5243/statm: 415121 356104 903 2943 0 412015 0
[pid=5243/tid=5244] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1660484

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 5243 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.06 2.09 2.08 3/183 5314
/proc/meminfo: memFree=26973260/32872528 swapFree=13600/559348
[pid=5243] ppid=5240 vsize=1660484 CPUtime=1800.02 cores=0,2,4,6
/proc/5243/stat : 5243 (toysat) R 5240 5243 1842 0 -1 4202496 409044 0 0 0 179937 65 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 140736066015040 5754924 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5243/statm: 415121 356104 903 2943 0 412015 0
[pid=5243/tid=5244] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5244/stat : 5244 (toysat) S 5240 5243 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908812352752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5243/tid=5245] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5245/stat : 5245 (toysat) S 5240 5243 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908801862896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5243/tid=5246] ppid=5240 vsize=1660484 CPUtime=0 cores=0,2,4,6
/proc/5243/task/5246/stat : 5246 (toysat) S 5240 5243 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105768163 1700335616 356104 33554432000 4194304 16246674 140736066033136 139908791389360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1660484

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.38
CPU time (s): 1800.09
CPU user time (s): 1799.37
CPU system time (s): 0.72089
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 1716804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.72089
maximum resident set size= 1480440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 409044
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= 1374
involuntary context switches= 3053

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96394 second user time and 9.09262 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-06 20:38:52
IDJOB=4079043
IDBENCH=2492
IDSOLVER=2542
FILE ID=node106/4079043-1465238332
RUNJOBID= node106-1465219870-1858
PBS_JOBID= 19843217
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079043-1465238332/watcher-4079043-1465238332 -o /tmp/evaluation-result-4079043-1465238332/solver-4079043-1465238332 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1858 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079043-1465238332.opb

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

MD5SUM BENCH= 077c926419792cafad737b20a04bb1ea
RANDOM SEED=1099882571

node106.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.775
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.55
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.775
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.775
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.56
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.775
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.55
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.775
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.64
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.775
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.56
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.775
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.775
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:        31027136 kB
Buffers:           36940 kB
Cached:           128248 kB
SwapCached:         1852 kB
Active:           496356 kB
Inactive:          85924 kB
Active(anon):     417424 kB
Inactive(anon):     1280 kB
Active(file):      78932 kB
Inactive(file):    84644 kB
Unevictable:      559348 kB
Mlocked:           13600 kB
SwapTotal:      67108856 kB
SwapFree:       67098528 kB
Dirty:             32720 kB
Writeback:             0 kB
AnonPages:        975040 kB
Mapped:            10124 kB
Shmem:                 0 kB
Slab:             568576 kB
SReclaimable:      12528 kB
SUnreclaim:       556048 kB
KernelStack:        1432 kB
PageTables:         6556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1691604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    546816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node106 at 2016-06-06 21:08:53