Trace number 4078594

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.19 1800.56

General information on the benchmark

Namenormalized-PB06/SATUNSAT-MEDINT/submitted-PB06/
manquiho/Aardal_1/normalized-prob7.opb
MD5SUM891ef60a3c811d65a65dee7761e3f07c
Bench CategoryDEC-MEDINT (no optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark50.85
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables96
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint96
Maximum length of a constraint96
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 27267752
Number of bits of the biggest number in a constraint 25
Biggest sum of numbers in a constraint 410674921
Number of bits of the biggest sum of numbers29
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:45:28+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-4078594-1465238727.opb"]
0.00/0.01	c use --random-gen="3823768280 1324040204 3648642156 4237374283 424896786 1049124526 1682280802 2721634544 967792811 243480176 4049821392 3059873308 3516822752 3128568559 1973158092 2495212375 422629998 3166624873 1081247118 3081256420 787598083 4056064565 3444521182 3247502043 755162302 3970699277 4003385943 4213323120 1051240196 3737657255 3604887700 570140841 3876636790 1148704128 1367584889 3953779701 576781753 3884797490 2100171425 1852743686 1546174580 1382786122 419254142 1498537313 3019080465 3239359156 2562572718 2270434745 2672207292 316912673 2643735662 2502654532 3815302256 2298661940 2594692669 4159380694 1827097235 2725086532 20211001 964731321 2636640274 1577427216 2413708805 1941639566 1829495971 263362543 1834300195 1610358566 1119610848 1142937161 849907666 799697192 748087264 3207082014 1272841228 3370659903 2469356791 3677383631 1616729252 3123959032 224680635 2194519755 4117873969 3560733640 265022215 295106710 3900859639 1902648607 2033753580 4074932535 689367524 4196879522 3228577146 3826789555 1078174933 2400469232 2650790695 2321514040 3460168026 1011976355 3268896640 479422759 4135163741 2279320700 1520096317 3483521551 526021739 342134770 2987756111 2035344761 2272713199 3326875360 3380990293 3296695399 1380965189 783892459 2341527199 2156686001 3476392345 610776411 1516336956 687578555 4144034736 4294100096 3467499802 2352726940 971296342 1709451815 1388811407 2323996559 2901252621 1283020097 3483946569 1842680967 1143769050 2384411147 2739602846 272900807 1955191623 2919800879 2064889461 2481941725 3843324976 3556276782 3575397794 3680626636 3240587731 1077791398 2555165315 3986279269 2194392011 2613750317 339838000 677763050 2869237742 161090385 2989035276 484740044 4178425105 785943371 4252098698 3486139369 3616349625 2485348895 2997766754 113385755 3549606254 992036041 3324483402 2551982060 2937111998 2414305686 2029532096 303719613 4150398029 1684968158 3893698297 2795844320 1748550980 1890212252 3039723033 4104027176 1985579934 3745855059 3495629575 2562230778 1819753754 1519735852 2039996733 2359764358 388104618 1693104383 3118954905 3339289978 4158519632 2106226633 394507549 2113132765 2358734202 3485184106 1110510370 2988523863 1262831840 3248808307 1105514597 2350898478 2371940241 3638680209 1564183682 1387925089 3634885936 2436605214 2572402011 1171884537 4180157086 1684141458 2346334847 323448945 2793626179 864256732 2111293210 1574812224 2766963409 2931703032 4255932354 3649258089 3362510193 1206251588 68508693 3885228241 774735279 2404604424 1311556719 148345222 2182121380 1403496998 3007874760 2245087434 2347978469 1202709367 3186036517 666091606 3610844015 3282916474 243008128 691206759 114466206 4227927787 3861498671 1908899367 1667527146 3566278774 2554856851 1957255954 2144265293 3128507076 255 362436" option to reproduce the execution
0.00/0.01	c #vars 96
0.00/0.01	c #constraints 2
398.52/398.69	c Solving starts ...
398.52/398.69	c ============================[ Search Statistics ]============================
398.52/398.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
398.52/398.69	c       |         |          |          |    Limit     GC | Var      | Constra 
398.52/398.69	c =============================================================================
398.52/398.69	c  0.0s |       0 |        0 |        0 |       32      0 |        0 |        0
398.62/398.70	c  0.0s |       1 |      114 |      100 |       32      0 |        0 |        0
398.62/398.73	c  0.0s |       2 |      276 |      250 |       36      3 |        0 |        0
398.62/398.77	c  0.1s |       3 |      509 |      475 |       40      8 |        0 |        0
398.72/398.83	c  0.1s |       4 |      858 |      813 |       44     14 |        0 |        0
398.82/398.91	c  0.2s |       5 |     1372 |     1320 |       49     22 |        0 |        0
398.92/399.04	c  0.4s |       6 |     2142 |     2081 |       60     34 |        0 |        0
399.12/399.23	c  0.5s |       7 |     3298 |     3223 |       66     52 |        0 |        0
399.42/399.51	c  0.8s |       8 |     5019 |     4936 |       73     76 |        0 |        0
399.82/399.95	c  1.3s |       9 |     7605 |     7506 |       81    111 |        0 |        0
400.52/400.60	c  1.9s |      10 |    11466 |    11361 |       90    161 |        0 |        0
401.43/401.54	c  2.9s |      11 |    17261 |    17144 |      100    233 |        0 |        0
402.82/402.99	c  4.3s |      12 |    26016 |    25819 |      111    334 |        0 |        0
404.92/405.01	c  6.3s |      12 |    37699 |    37419 |      111    456 |        0 |        0
405.13/405.24	c  6.6s |      13 |    39110 |    38832 |      123    471 |        0 |        0
407.13/407.26	c  8.6s |      13 |    51217 |    50832 |      123    591 |        0 |        0
408.43/408.58	c  9.9s |      14 |    58738 |    58352 |      136    666 |        0 |        0
410.42/410.59	c 11.9s |      14 |    70385 |    69852 |      136    775 |        0 |        0
412.42/412.60	c 13.9s |      14 |    81724 |    81052 |      136    883 |        0 |        0
413.62/413.77	c 15.1s |      15 |    88344 |    87632 |      150    945 |        0 |        0
415.62/415.78	c 17.1s |      15 |    99752 |    98832 |      150   1045 |        0 |        0
417.62/417.79	c 19.1s |      15 |   110738 |   109732 |      150   1143 |        0 |        0
419.62/419.79	c 21.1s |      15 |   121845 |   120732 |      150   1242 |        0 |        0
421.72/421.81	c 23.1s |      15 |   132575 |   131432 |      165   1339 |        0 |        0
421.72/421.83	c 23.1s |      16 |   132691 |   131552 |      165   1340 |        0 |        0
423.72/423.84	c 25.2s |      16 |   143788 |   142552 |      165   1432 |        0 |        0
425.72/425.85	c 27.2s |      16 |   154394 |   153152 |      165   1520 |        0 |        0
427.72/427.86	c 29.2s |      16 |   164814 |   163552 |      165   1608 |        0 |        0
429.72/429.88	c 31.2s |      16 |   175546 |   174252 |      165   1698 |        0 |        0
431.72/431.88	c 33.2s |      16 |   186065 |   184752 |      165   1787 |        0 |        0
433.72/433.89	c 35.2s |      16 |   196290 |   194952 |      165   1873 |        0 |        0
434.21/434.36	c 35.7s |      17 |   198767 |   197432 |      182   1893 |        0 |        0
436.22/436.38	c 37.7s |      17 |   209847 |   208432 |      182   1978 |        0 |        0
438.31/438.40	c 39.7s |      17 |   220556 |   219132 |      182   2061 |        0 |        0
440.32/440.40	c 41.7s |      17 |   231164 |   229732 |      182   2144 |        0 |        0
442.32/442.42	c 43.7s |      17 |   242058 |   240632 |      182   2229 |        0 |        0
444.32/444.43	c 45.7s |      17 |   252759 |   251332 |      182   2313 |        0 |        0
446.31/446.43	c 47.7s |      17 |   263262 |   261832 |      182   2395 |        0 |        0
448.31/448.44	c 49.8s |      17 |   273662 |   272232 |      182   2477 |        0 |        0
450.31/450.45	c 51.8s |      17 |   284060 |   282632 |      182   2558 |        0 |        0
452.31/452.46	c 53.8s |      17 |   294368 |   292932 |      182   2639 |        0 |        0
453.01/453.12	c 54.4s |      18 |   297688 |   296252 |      201   2664 |        0 |        0
455.01/455.14	c 56.5s |      18 |   308181 |   306652 |      201   2739 |        0 |        0
457.01/457.14	c 58.5s |      18 |   318690 |   317152 |      201   2816 |        0 |        0
459.01/459.14	c 60.5s |      18 |   329203 |   327652 |      201   2892 |        0 |        0
461.01/461.15	c 62.5s |      18 |   339599 |   338052 |      201   2968 |        0 |        0
463.01/463.15	c 64.5s |      18 |   349896 |   348352 |      201   3043 |        0 |        0
465.01/465.17	c 66.5s |      18 |   360812 |   359252 |      201   3123 |        0 |        0
467.01/467.17	c 68.5s |      18 |   370910 |   369352 |      201   3196 |        0 |        0
469.01/469.18	c 70.5s |      18 |   381327 |   379752 |      201   3272 |        0 |        0
471.01/471.19	c 72.5s |      18 |   391727 |   390152 |      201   3348 |        0 |        0
473.02/473.19	c 74.5s |      18 |   402132 |   400552 |      201   3424 |        0 |        0
475.01/475.20	c 76.5s |      18 |   412531 |   410952 |      201   3500 |        0 |        0
477.11/477.22	c 78.5s |      18 |   422733 |   421152 |      201   3576 |        0 |        0
479.11/479.22	c 80.5s |      18 |   432833 |   431252 |      201   3651 |        0 |        0
481.11/481.22	c 82.5s |      18 |   443046 |   441452 |      222   3726 |        0 |        0
481.71/481.82	c 83.1s |      19 |   446074 |   444482 |      222   3746 |        0 |        0
483.71/483.83	c 85.1s |      19 |   456658 |   454982 |      222   3816 |        0 |        0
485.71/485.84	c 87.2s |      19 |   467163 |   465482 |      222   3887 |        0 |        0
487.71/487.85	c 89.2s |      19 |   477666 |   475982 |      222   3958 |        0 |        0
489.71/489.86	c 91.2s |      19 |   488083 |   486382 |      222   4027 |        0 |        0
491.72/491.87	c 93.2s |      19 |   498418 |   496682 |      222   4097 |        0 |        0
493.71/493.88	c 95.2s |      19 |   508536 |   506782 |      222   4165 |        0 |        0
495.71/495.88	c 97.2s |      19 |   518584 |   516782 |      222   4233 |        0 |        0
497.71/497.88	c 99.2s |      19 |   528594 |   526782 |      222   4301 |        0 |        0
499.81/499.90	c  101s |      19 |   538811 |   536982 |      222   4371 |        0 |        0
501.81/501.90	c  103s |      19 |   548833 |   546982 |      222   4439 |        0 |        0
503.82/503.90	c  105s |      19 |   558751 |   556882 |      222   4507 |        0 |        0
505.81/505.91	c  107s |      19 |   568978 |   567082 |      222   4576 |        0 |        0
507.81/507.93	c  109s |      19 |   579301 |   577382 |      222   4646 |        0 |        0
509.81/509.93	c  111s |      19 |   589255 |   587282 |      222   4713 |        0 |        0
511.81/511.94	c  113s |      19 |   599180 |   597182 |      222   4781 |        0 |        0
513.81/513.96	c  115s |      19 |   609223 |   607182 |      222   4849 |        0 |        0
515.81/515.97	c  117s |      19 |   619345 |   617282 |      222   4918 |        0 |        0
517.80/517.98	c  119s |      19 |   629484 |   627382 |      222   4987 |        0 |        0
519.80/519.99	c  121s |      19 |   639498 |   637382 |      222   5055 |        0 |        0
521.90/522.00	c  123s |      19 |   649620 |   647482 |      222   5124 |        0 |        0
523.90/524.02	c  125s |      19 |   659852 |   657682 |      222   5194 |        0 |        0
525.71/525.89	c  127s |      20 |   669018 |   666827 |      245   5255 |        0 |        0
527.70/527.89	c  129s |      20 |   679329 |   677027 |      245   5319 |        0 |        0
529.80/529.91	c  131s |      20 |   689452 |   687127 |      245   5382 |        0 |        0
531.80/531.92	c  133s |      20 |   699582 |   697227 |      245   5445 |        0 |        0
533.80/533.92	c  135s |      20 |   709527 |   707127 |      245   5508 |        0 |        0
535.80/535.94	c  137s |      20 |   719661 |   717227 |      245   5571 |        0 |        0
537.80/537.95	c  139s |      20 |   729874 |   727427 |      245   5636 |        0 |        0
539.80/539.95	c  141s |      20 |   740178 |   737727 |      245   5700 |        0 |        0
541.80/541.97	c  143s |      20 |   750388 |   747927 |      245   5763 |        0 |        0
543.80/543.99	c  145s |      20 |   760824 |   758327 |      245   5829 |        0 |        0
545.80/545.99	c  147s |      20 |   771026 |   768527 |      245   5893 |        0 |        0
547.90/548.00	c  149s |      20 |   781159 |   778627 |      245   5957 |        0 |        0
549.90/550.01	c  151s |      20 |   791360 |   788827 |      245   6021 |        0 |        0
551.90/552.02	c  153s |      20 |   801561 |   799027 |      245   6086 |        0 |        0
553.90/554.02	c  155s |      20 |   811661 |   809127 |      245   6150 |        0 |        0
555.90/556.03	c  157s |      20 |   821900 |   819327 |      245   6214 |        0 |        0
557.90/558.04	c  159s |      20 |   831712 |   829127 |      245   6276 |        0 |        0
559.91/560.04	c  161s |      20 |   841427 |   838827 |      245   6338 |        0 |        0
561.90/562.06	c  163s |      20 |   851548 |   848927 |      245   6401 |        0 |        0
563.90/564.07	c  165s |      20 |   861684 |   859027 |      245   6465 |        0 |        0
565.90/566.09	c  167s |      20 |   871808 |   869127 |      245   6528 |        0 |        0
568.00/568.10	c  169s |      20 |   881618 |   878927 |      245   6590 |        0 |        0
570.00/570.12	c  171s |      20 |   891520 |   888827 |      245   6653 |        0 |        0
572.01/572.12	c  173s |      20 |   901425 |   898727 |      245   6715 |        0 |        0
574.00/574.13	c  175s |      20 |   911526 |   908827 |      245   6779 |        0 |        0
576.00/576.14	c  177s |      20 |   921632 |   918927 |      245   6842 |        0 |        0
578.00/578.16	c  179s |      20 |   931732 |   929027 |      245   6906 |        0 |        0
580.00/580.17	c  181s |      20 |   941834 |   939127 |      245   6970 |        0 |        0
582.00/582.17	c  183s |      20 |   951646 |   948927 |      245   7032 |        0 |        0
584.00/584.18	c  185s |      20 |   961749 |   959027 |      245   7095 |        0 |        0
586.10/586.20	c  187s |      20 |   971703 |   968927 |      245   7158 |        0 |        0
588.09/588.22	c  189s |      20 |   981421 |   978627 |      245   7219 |        0 |        0
590.09/590.24	c  191s |      20 |   991472 |   988627 |      245   7283 |        0 |        0
592.09/592.25	c  193s |      20 |  1001403 |   998527 |      270   7343 |        0 |        0
592.49/592.63	c  193s |      21 |  1003232 |  1000345 |      270   7354 |        0 |        0
594.49/594.63	c  195s |      21 |  1013041 |  1010045 |      270   7410 |        0 |        0
596.49/596.65	c  197s |      21 |  1022972 |  1019945 |      270   7468 |        0 |        0
598.49/598.65	c  199s |      21 |  1032723 |  1029645 |      270   7524 |        0 |        0
600.50/600.67	c  201s |      21 |  1042817 |  1039745 |      270   7583 |        0 |        0
602.49/602.68	c  203s |      21 |  1052953 |  1049845 |      270   7642 |        0 |        0
604.49/604.68	c  205s |      21 |  1062953 |  1059845 |      270   7700 |        0 |        0
606.49/606.69	c  208s |      21 |  1072757 |  1069645 |      270   7757 |        0 |        0
608.59/608.71	c  210s |      21 |  1082663 |  1079545 |      270   7815 |        0 |        0
610.59/610.72	c  212s |      21 |  1092965 |  1089845 |      270   7875 |        0 |        0
612.59/612.73	c  214s |      21 |  1103366 |  1100245 |      270   7935 |        0 |        0
614.59/614.74	c  216s |      21 |  1114366 |  1111245 |      270   7999 |        0 |        0
616.59/616.76	c  218s |      21 |  1124569 |  1121445 |      270   8059 |        0 |        0
618.59/618.77	c  220s |      21 |  1134668 |  1131545 |      270   8118 |        0 |        0
620.59/620.79	c  222s |      21 |  1145172 |  1142045 |      270   8179 |        0 |        0
622.69/622.80	c  224s |      21 |  1155169 |  1152045 |      270   8237 |        0 |        0
624.69/624.81	c  226s |      21 |  1165067 |  1161945 |      270   8295 |        0 |        0
626.68/626.83	c  228s |      21 |  1174971 |  1171845 |      270   8353 |        0 |        0
628.68/628.83	c  230s |      21 |  1185376 |  1182245 |      270   8413 |        0 |        0
630.68/630.84	c  232s |      21 |  1195475 |  1192345 |      270   8472 |        0 |        0
632.68/632.85	c  234s |      21 |  1205580 |  1202445 |      270   8531 |        0 |        0
634.69/634.85	c  236s |      21 |  1215476 |  1212345 |      270   8589 |        0 |        0
636.68/636.87	c  238s |      21 |  1225685 |  1222545 |      270   8649 |        0 |        0
638.68/638.87	c  240s |      21 |  1235382 |  1232245 |      270   8706 |        0 |        0
640.68/640.88	c  242s |      21 |  1245187 |  1242045 |      270   8763 |        0 |        0
642.68/642.89	c  244s |      21 |  1255088 |  1251945 |      270   8822 |        0 |        0
644.78/644.90	c  246s |      21 |  1264797 |  1261645 |      270   8878 |        0 |        0
646.80/646.91	c  248s |      21 |  1274602 |  1271445 |      270   8935 |        0 |        0
648.79/648.92	c  250s |      21 |  1284800 |  1281645 |      270   8994 |        0 |        0
650.79/650.93	c  252s |      21 |  1294910 |  1291745 |      270   9053 |        0 |        0
652.79/652.94	c  254s |      21 |  1304909 |  1301745 |      270   9112 |        0 |        0
654.79/654.96	c  256s |      21 |  1314915 |  1311745 |      270   9170 |        0 |        0
656.79/656.97	c  258s |      21 |  1325112 |  1321945 |      270   9230 |        0 |        0
658.79/658.99	c  260s |      21 |  1335215 |  1332045 |      270   9289 |        0 |        0
660.89/661.00	c  262s |      21 |  1345017 |  1341845 |      270   9347 |        0 |        0
662.89/663.01	c  264s |      21 |  1354615 |  1351445 |      270   9403 |        0 |        0
664.89/665.03	c  266s |      21 |  1364516 |  1361345 |      270   9461 |        0 |        0
666.89/667.03	c  268s |      21 |  1374319 |  1371145 |      270   9519 |        0 |        0
668.89/669.04	c  270s |      21 |  1384217 |  1381045 |      270   9577 |        0 |        0
670.89/671.06	c  272s |      21 |  1394821 |  1391645 |      270   9639 |        0 |        0
672.88/673.07	c  274s |      21 |  1405518 |  1402345 |      270   9701 |        0 |        0
674.88/675.07	c  276s |      21 |  1416218 |  1413045 |      270   9764 |        0 |        0
676.88/677.09	c  278s |      21 |  1426623 |  1423445 |      270   9824 |        0 |        0
678.98/679.10	c  280s |      21 |  1436723 |  1433545 |      270   9883 |        0 |        0
680.98/681.12	c  282s |      21 |  1446626 |  1443445 |      270   9941 |        0 |        0
682.99/683.13	c  284s |      21 |  1456425 |  1453245 |      270   9998 |        0 |        0
684.98/685.13	c  286s |      21 |  1466029 |  1462845 |      270  10055 |        0 |        0
686.98/687.14	c  288s |      21 |  1476025 |  1472845 |      270  10112 |        0 |        0
688.98/689.15	c  290s |      21 |  1486227 |  1483045 |      270  10172 |        0 |        0
690.98/691.16	c  292s |      21 |  1495934 |  1492745 |      297  10227 |        0 |        0
692.58/692.74	c  294s |      22 |  1503813 |  1500622 |      297  10270 |        0 |        0
694.58/694.75	c  296s |      22 |  1513681 |  1510422 |      297  10323 |        0 |        0
696.58/696.75	c  298s |      22 |  1523588 |  1520322 |      297  10377 |        0 |        0
698.58/698.76	c  300s |      22 |  1533988 |  1530622 |      297  10432 |        0 |        0
700.58/700.77	c  302s |      22 |  1544072 |  1540622 |      297  10486 |        0 |        0
702.58/702.78	c  304s |      22 |  1554350 |  1550822 |      297  10541 |        0 |        0
704.58/704.78	c  306s |      22 |  1564403 |  1560822 |      297  10596 |        0 |        0
706.58/706.78	c  308s |      22 |  1574415 |  1570822 |      297  10650 |        0 |        0
708.68/708.80	c  310s |      22 |  1584235 |  1580622 |      297  10703 |        0 |        0
710.68/710.82	c  312s |      22 |  1593949 |  1590322 |      297  10756 |        0 |        0
712.68/712.83	c  314s |      22 |  1603779 |  1600122 |      297  10809 |        0 |        0
714.68/714.84	c  316s |      22 |  1613595 |  1609922 |      297  10862 |        0 |        0
716.67/716.84	c  318s |      22 |  1623314 |  1619622 |      297  10915 |        0 |        0
718.67/718.86	c  320s |      22 |  1633046 |  1629322 |      297  10968 |        0 |        0
720.67/720.88	c  322s |      22 |  1642359 |  1638622 |      297  11019 |        0 |        0
722.68/722.89	c  324s |      22 |  1652078 |  1648322 |      297  11072 |        0 |        0
724.78/724.90	c  326s |      22 |  1661643 |  1657822 |      297  11124 |        0 |        0
726.77/726.91	c  328s |      22 |  1671262 |  1667422 |      297  11177 |        0 |        0
728.77/728.93	c  330s |      22 |  1680676 |  1676822 |      297  11228 |        0 |        0
730.77/730.94	c  332s |      22 |  1690374 |  1686522 |      297  11281 |        0 |        0
732.77/732.95	c  334s |      22 |  1700379 |  1696522 |      297  11335 |        0 |        0
734.78/734.96	c  336s |      22 |  1710174 |  1706322 |      297  11388 |        0 |        0
736.77/736.98	c  338s |      22 |  1720078 |  1716222 |      297  11442 |        0 |        0
738.77/738.99	c  340s |      22 |  1729675 |  1725822 |      297  11493 |        0 |        0
740.77/740.99	c  342s |      22 |  1739177 |  1735322 |      297  11545 |        0 |        0
742.87/743.01	c  344s |      22 |  1748677 |  1744822 |      297  11597 |        0 |        0
744.87/745.01	c  346s |      22 |  1758101 |  1754222 |      297  11648 |        0 |        0
746.87/747.03	c  348s |      22 |  1767662 |  1763722 |      297  11700 |        0 |        0
748.87/749.03	c  350s |      22 |  1777030 |  1773022 |      297  11751 |        0 |        0
750.87/751.05	c  352s |      22 |  1786629 |  1782522 |      297  11803 |        0 |        0
752.86/753.06	c  354s |      22 |  1796235 |  1792122 |      297  11856 |        0 |        0
754.87/755.08	c  356s |      22 |  1805937 |  1801822 |      297  11909 |        0 |        0
756.87/757.09	c  358s |      22 |  1815538 |  1811422 |      297  11961 |        0 |        0
758.88/759.09	c  360s |      22 |  1824939 |  1820822 |      297  12013 |        0 |        0
760.97/761.10	c  362s |      22 |  1835469 |  1831322 |      297  12069 |        0 |        0
762.97/763.10	c  364s |      22 |  1845366 |  1841222 |      297  12123 |        0 |        0
764.97/765.11	c  366s |      22 |  1855374 |  1851222 |      297  12177 |        0 |        0
766.97/767.12	c  368s |      22 |  1865182 |  1861022 |      297  12230 |        0 |        0
768.97/769.13	c  370s |      22 |  1874893 |  1870722 |      297  12283 |        0 |        0
770.97/771.13	c  372s |      22 |  1884619 |  1880422 |      297  12335 |        0 |        0
772.97/773.14	c  374s |      22 |  1894321 |  1890122 |      297  12388 |        0 |        0
774.97/775.15	c  376s |      22 |  1904423 |  1900222 |      297  12443 |        0 |        0
776.97/777.16	c  378s |      22 |  1914365 |  1910122 |      297  12497 |        0 |        0
778.96/779.17	c  380s |      22 |  1924294 |  1920022 |      297  12551 |        0 |        0
780.97/781.18	c  382s |      22 |  1934223 |  1929922 |      297  12604 |        0 |        0
782.96/783.19	c  384s |      22 |  1944069 |  1939722 |      297  12658 |        0 |        0
784.96/785.20	c  386s |      22 |  1953776 |  1949422 |      297  12711 |        0 |        0
787.06/787.20	c  388s |      22 |  1963419 |  1959022 |      297  12763 |        0 |        0
789.06/789.21	c  390s |      22 |  1972721 |  1968322 |      297  12815 |        0 |        0
791.06/791.23	c  392s |      22 |  1982330 |  1977922 |      297  12868 |        0 |        0
793.07/793.24	c  394s |      22 |  1992430 |  1988022 |      297  12922 |        0 |        0
795.06/795.24	c  396s |      22 |  2002727 |  1998322 |      297  12978 |        0 |        0
797.06/797.25	c  398s |      22 |  2013034 |  2008622 |      297  13034 |        0 |        0
799.06/799.25	c  400s |      22 |  2022829 |  2018422 |      297  13087 |        0 |        0
801.06/801.26	c  402s |      22 |  2032231 |  2027822 |      297  13138 |        0 |        0
803.06/803.28	c  404s |      22 |  2041535 |  2037122 |      297  13189 |        0 |        0
805.06/805.30	c  406s |      22 |  2051132 |  2046722 |      297  13242 |        0 |        0
807.16/807.32	c  408s |      22 |  2060533 |  2056122 |      297  13293 |        0 |        0
809.16/809.32	c  410s |      22 |  2070133 |  2065722 |      297  13345 |        0 |        0
811.16/811.32	c  412s |      22 |  2079735 |  2075322 |      297  13398 |        0 |        0
813.16/813.33	c  414s |      22 |  2089146 |  2084722 |      297  13449 |        0 |        0
815.16/815.33	c  416s |      22 |  2098948 |  2094522 |      297  13503 |        0 |        0
817.16/817.35	c  418s |      22 |  2109151 |  2104722 |      297  13559 |        0 |        0
819.15/819.35	c  420s |      22 |  2118655 |  2114222 |      297  13611 |        0 |        0
821.15/821.37	c  422s |      22 |  2128059 |  2123622 |      297  13663 |        0 |        0
823.15/823.38	c  424s |      22 |  2137469 |  2133022 |      297  13715 |        0 |        0
825.25/825.40	c  426s |      22 |  2147462 |  2143022 |      297  13769 |        0 |        0
827.25/827.41	c  428s |      22 |  2157068 |  2152622 |      297  13821 |        0 |        0
829.27/829.42	c  430s |      22 |  2166565 |  2162122 |      297  13873 |        0 |        0
831.26/831.43	c  432s |      22 |  2176265 |  2171822 |      297  13926 |        0 |        0
833.26/833.44	c  434s |      22 |  2185604 |  2181122 |      297  13978 |        0 |        0
835.26/835.44	c  436s |      22 |  2195306 |  2190822 |      297  14031 |        0 |        0
837.26/837.44	c  438s |      22 |  2204707 |  2200222 |      297  14084 |        0 |        0
839.26/839.46	c  440s |      22 |  2213907 |  2209422 |      297  14134 |        0 |        0
841.26/841.47	c  442s |      22 |  2223197 |  2218722 |      297  14186 |        0 |        0
843.26/843.49	c  444s |      22 |  2232336 |  2227822 |      297  14236 |        0 |        0
845.26/845.49	c  446s |      22 |  2241352 |  2236822 |      327  14286 |        0 |        0
847.26/847.49	c  448s |      22 |  2250662 |  2246122 |      327  14333 |        0 |        0
848.35/848.59	c  449s |      23 |  2255607 |  2251038 |      327  14358 |        0 |        0
850.45/850.60	c  451s |      23 |  2265433 |  2260738 |      327  14406 |        0 |        0
852.46/852.61	c  453s |      23 |  2275144 |  2270438 |      327  14455 |        0 |        0
854.45/854.61	c  455s |      23 |  2284849 |  2280138 |      327  14503 |        0 |        0
856.45/856.63	c  457s |      23 |  2294660 |  2289938 |      327  14552 |        0 |        0
858.45/858.64	c  459s |      23 |  2303964 |  2299238 |      327  14599 |        0 |        0
860.45/860.64	c  461s |      23 |  2313702 |  2308938 |      327  14648 |        0 |        0
862.45/862.65	c  463s |      23 |  2323634 |  2318838 |      327  14697 |        0 |        0
864.45/864.67	c  465s |      23 |  2333242 |  2328438 |      327  14745 |        0 |        0
866.45/866.69	c  467s |      23 |  2343153 |  2338338 |      327  14795 |        0 |        0
868.55/868.70	c  470s |      23 |  2352962 |  2348138 |      327  14844 |        0 |        0
870.55/870.72	c  472s |      23 |  2362477 |  2357638 |      327  14892 |        0 |        0
872.55/872.73	c  474s |      23 |  2372183 |  2367338 |      327  14941 |        0 |        0
874.56/874.73	c  476s |      23 |  2382183 |  2377338 |      327  14991 |        0 |        0
876.56/876.74	c  478s |      23 |  2391983 |  2387138 |      327  15040 |        0 |        0
878.55/878.75	c  480s |      23 |  2401582 |  2396738 |      327  15088 |        0 |        0
880.55/880.76	c  482s |      23 |  2411286 |  2406438 |      327  15137 |        0 |        0
882.55/882.77	c  484s |      23 |  2420900 |  2416038 |      327  15185 |        0 |        0
884.55/884.79	c  486s |      23 |  2430422 |  2425538 |      327  15233 |        0 |        0
886.65/886.80	c  488s |      23 |  2439952 |  2435038 |      327  15281 |        0 |        0
888.66/888.82	c  490s |      23 |  2449360 |  2444438 |      327  15328 |        0 |        0
890.65/890.84	c  492s |      23 |  2458867 |  2453938 |      327  15376 |        0 |        0
892.65/892.84	c  494s |      23 |  2468297 |  2463338 |      327  15423 |        0 |        0
894.65/894.87	c  496s |      23 |  2477628 |  2472638 |      327  15471 |        0 |        0
896.65/896.87	c  498s |      23 |  2486951 |  2481938 |      327  15518 |        0 |        0
898.66/898.88	c  500s |      23 |  2496465 |  2491438 |      327  15566 |        0 |        0
900.65/900.89	c  502s |      23 |  2506197 |  2501138 |      327  15614 |        0 |        0
902.75/902.91	c  504s |      23 |  2515719 |  2510638 |      327  15662 |        0 |        0
904.75/904.91	c  506s |      23 |  2525223 |  2520138 |      327  15709 |        0 |        0
906.75/906.92	c  508s |      23 |  2534627 |  2529538 |      327  15757 |        0 |        0
908.75/908.94	c  510s |      23 |  2544252 |  2539138 |      327  15805 |        0 |        0
910.75/910.96	c  512s |      23 |  2554065 |  2548938 |      327  15854 |        0 |        0
912.75/912.98	c  514s |      23 |  2563871 |  2558738 |      327  15903 |        0 |        0
914.75/914.99	c  516s |      23 |  2573368 |  2568238 |      327  15951 |        0 |        0
916.75/917.00	c  518s |      23 |  2582769 |  2577638 |      327  15998 |        0 |        0
918.85/919.00	c  520s |      23 |  2592078 |  2586938 |      327  16045 |        0 |        0
920.85/921.01	c  522s |      23 |  2601377 |  2596238 |      327  16093 |        0 |        0
922.85/923.03	c  524s |      23 |  2610576 |  2605438 |      327  16139 |        0 |        0
924.84/925.03	c  526s |      23 |  2620483 |  2615338 |      327  16189 |        0 |        0
926.84/927.05	c  528s |      23 |  2630283 |  2625138 |      327  16238 |        0 |        0
928.84/929.06	c  530s |      23 |  2639895 |  2634738 |      327  16286 |        0 |        0
930.84/931.07	c  532s |      23 |  2649196 |  2644038 |      327  16333 |        0 |        0
932.84/933.09	c  534s |      23 |  2658394 |  2653238 |      327  16380 |        0 |        0
934.95/935.11	c  536s |      23 |  2667797 |  2662638 |      327  16427 |        0 |        0
936.94/937.13	c  538s |      23 |  2677293 |  2672138 |      327  16475 |        0 |        0
938.94/939.14	c  540s |      23 |  2686905 |  2681738 |      327  16523 |        0 |        0
940.94/941.16	c  542s |      23 |  2696217 |  2691038 |      327  16571 |        0 |        0
942.94/943.16	c  544s |      23 |  2705346 |  2700138 |      327  16617 |        0 |        0
944.94/945.18	c  546s |      23 |  2714847 |  2709638 |      327  16665 |        0 |        0
946.94/947.18	c  548s |      23 |  2723748 |  2718538 |      327  16711 |        0 |        0
948.94/949.18	c  550s |      23 |  2733058 |  2727838 |      327  16758 |        0 |        0
950.94/951.19	c  552s |      23 |  2743665 |  2738438 |      327  16811 |        0 |        0
952.94/953.19	c  554s |      23 |  2753873 |  2748638 |      327  16862 |        0 |        0
954.94/955.19	c  556s |      23 |  2763771 |  2758538 |      327  16911 |        0 |        0
957.04/957.21	c  558s |      23 |  2773675 |  2768438 |      327  16961 |        0 |        0
959.04/959.22	c  560s |      23 |  2783573 |  2778338 |      327  17011 |        0 |        0
961.04/961.23	c  562s |      23 |  2793080 |  2787838 |      327  17059 |        0 |        0
963.03/963.24	c  564s |      23 |  2802779 |  2797538 |      327  17108 |        0 |        0
965.03/965.25	c  566s |      23 |  2812582 |  2807338 |      327  17157 |        0 |        0
967.03/967.25	c  568s |      23 |  2822288 |  2817038 |      327  17206 |        0 |        0
969.04/969.26	c  570s |      23 |  2832383 |  2827138 |      327  17256 |        0 |        0
971.03/971.28	c  572s |      23 |  2842384 |  2837138 |      327  17306 |        0 |        0
973.03/973.29	c  574s |      23 |  2852187 |  2846938 |      327  17355 |        0 |        0
975.13/975.30	c  576s |      23 |  2861989 |  2856738 |      327  17404 |        0 |        0
977.13/977.31	c  578s |      23 |  2871489 |  2866238 |      327  17452 |        0 |        0
979.13/979.33	c  580s |      23 |  2881189 |  2875938 |      327  17501 |        0 |        0
981.14/981.35	c  582s |      23 |  2890796 |  2885538 |      327  17550 |        0 |        0
983.13/983.36	c  584s |      23 |  2900700 |  2895438 |      327  17599 |        0 |        0
985.13/985.37	c  586s |      23 |  2910206 |  2904938 |      327  17647 |        0 |        0
987.13/987.38	c  588s |      23 |  2919816 |  2914538 |      327  17696 |        0 |        0
989.22/989.40	c  590s |      23 |  2929618 |  2924338 |      327  17745 |        0 |        0
991.22/991.41	c  592s |      23 |  2939027 |  2933738 |      327  17793 |        0 |        0
993.24/993.44	c  594s |      23 |  2948141 |  2942838 |      327  17839 |        0 |        0
995.23/995.44	c  596s |      23 |  2957860 |  2952538 |      327  17887 |        0 |        0
997.23/997.44	c  598s |      23 |  2967467 |  2962138 |      327  17936 |        0 |        0
999.23/999.45	c  600s |      23 |  2977082 |  2971738 |      327  17984 |        0 |        0
1001.23/1001.45	c  602s |      23 |  2986782 |  2981438 |      327  18032 |        0 |        0
1003.22/1003.46	c  604s |      23 |  2996515 |  2991138 |      327  18081 |        0 |        0
1005.23/1005.47	c  606s |      23 |  3006126 |  3000738 |      327  18130 |        0 |        0
1007.22/1007.48	c  608s |      23 |  3015530 |  3010138 |      327  18177 |        0 |        0
1009.22/1009.49	c  610s |      23 |  3025530 |  3020138 |      327  18228 |        0 |        0
1011.22/1011.49	c  612s |      23 |  3035131 |  3029738 |      327  18276 |        0 |        0
1013.32/1013.50	c  614s |      23 |  3044649 |  3039238 |      327  18324 |        0 |        0
1015.32/1015.51	c  616s |      23 |  3053857 |  3048438 |      327  18370 |        0 |        0
1017.32/1017.53	c  618s |      23 |  3063164 |  3057738 |      327  18417 |        0 |        0
1019.32/1019.53	c  620s |      23 |  3072566 |  3067138 |      327  18465 |        0 |        0
1021.32/1021.53	c  622s |      23 |  3081759 |  3076338 |      327  18512 |        0 |        0
1023.31/1023.54	c  624s |      23 |  3091179 |  3085738 |      327  18559 |        0 |        0
1025.31/1025.57	c  626s |      23 |  3100703 |  3095238 |      327  18607 |        0 |        0
1027.32/1027.58	c  628s |      23 |  3110007 |  3104538 |      327  18653 |        0 |        0
1029.31/1029.58	c  630s |      23 |  3119248 |  3113738 |      327  18700 |        0 |        0
1031.31/1031.59	c  632s |      23 |  3128784 |  3123238 |      327  18747 |        0 |        0
1033.41/1033.62	c  634s |      23 |  3138196 |  3132638 |      327  18795 |        0 |        0
1035.41/1035.64	c  636s |      23 |  3147611 |  3142038 |      327  18842 |        0 |        0
1037.41/1037.65	c  638s |      23 |  3157411 |  3151838 |      327  18891 |        0 |        0
1039.41/1039.66	c  640s |      23 |  3166929 |  3161338 |      327  18939 |        0 |        0
1041.41/1041.68	c  642s |      23 |  3176235 |  3170638 |      327  18986 |        0 |        0
1043.41/1043.68	c  644s |      23 |  3185665 |  3180038 |      327  19034 |        0 |        0
1045.40/1045.69	c  647s |      23 |  3194785 |  3189138 |      327  19080 |        0 |        0
1047.40/1047.69	c  649s |      23 |  3203884 |  3198238 |      327  19126 |        0 |        0
1049.40/1049.69	c  651s |      23 |  3213089 |  3207438 |      327  19173 |        0 |        0
1051.51/1051.71	c  653s |      23 |  3222686 |  3217038 |      327  19221 |        0 |        0
1053.50/1053.72	c  655s |      23 |  3232285 |  3226638 |      327  19270 |        0 |        0
1055.50/1055.74	c  657s |      23 |  3241594 |  3235938 |      327  19317 |        0 |        0
1057.50/1057.76	c  659s |      23 |  3250894 |  3245238 |      327  19364 |        0 |        0
1059.50/1059.78	c  661s |      23 |  3259992 |  3254338 |      327  19410 |        0 |        0
1061.50/1061.79	c  663s |      23 |  3269797 |  3264138 |      327  19459 |        0 |        0
1063.50/1063.80	c  665s |      23 |  3279305 |  3273638 |      327  19507 |        0 |        0
1065.59/1065.80	c  667s |      23 |  3288704 |  3283038 |      327  19555 |        0 |        0
1067.59/1067.82	c  669s |      23 |  3297918 |  3292238 |      327  19603 |        0 |        0
1069.59/1069.84	c  671s |      23 |  3307020 |  3301338 |      327  19649 |        0 |        0
1071.59/1071.86	c  673s |      23 |  3316022 |  3310338 |      327  19696 |        0 |        0
1073.59/1073.88	c  675s |      23 |  3325022 |  3319338 |      327  19742 |        0 |        0
1075.59/1075.89	c  677s |      23 |  3334024 |  3328338 |      327  19788 |        0 |        0
1077.69/1077.90	c  679s |      23 |  3343332 |  3337638 |      327  19835 |        0 |        0
1079.69/1079.92	c  681s |      23 |  3353329 |  3347638 |      327  19885 |        0 |        0
1081.69/1081.94	c  683s |      23 |  3362934 |  3357238 |      360  19931 |        0 |        0
1083.69/1083.94	c  685s |      23 |  3372436 |  3366738 |      360  19975 |        0 |        0
1085.69/1085.95	c  687s |      23 |  3382036 |  3376338 |      360  20019 |        0 |        0
1085.79/1086.01	c  687s |      24 |  3382356 |  3376662 |      360  20021 |        0 |        0
1087.80/1088.01	c  689s |      24 |  3394066 |  3388362 |      360  20075 |        0 |        0
1089.79/1090.02	c  691s |      24 |  3405670 |  3399962 |      360  20129 |        0 |        0
1091.79/1092.04	c  693s |      24 |  3417474 |  3411762 |      360  20184 |        0 |        0
1093.79/1094.04	c  695s |      24 |  3429377 |  3423662 |      360  20240 |        0 |        0
1095.78/1096.05	c  697s |      24 |  3441381 |  3435662 |      360  20297 |        0 |        0
1097.78/1098.05	c  699s |      24 |  3453582 |  3447862 |      360  20355 |        0 |        0
1099.79/1100.06	c  701s |      24 |  3465889 |  3460162 |      360  20414 |        0 |        0
1101.78/1102.07	c  703s |      24 |  3476954 |  3471162 |      360  20466 |        0 |        0
1103.78/1104.09	c  705s |      24 |  3486558 |  3480762 |      360  20510 |        0 |        0
1105.88/1106.10	c  707s |      24 |  3495964 |  3490162 |      360  20553 |        0 |        0
1107.88/1108.10	c  709s |      24 |  3505379 |  3499562 |      360  20597 |        0 |        0
1109.88/1110.12	c  711s |      24 |  3514881 |  3509062 |      360  20642 |        0 |        0
1111.88/1112.13	c  713s |      24 |  3524299 |  3518462 |      360  20686 |        0 |        0
1113.88/1114.14	c  715s |      24 |  3533600 |  3527762 |      360  20729 |        0 |        0
1115.87/1116.15	c  717s |      24 |  3543004 |  3537162 |      360  20772 |        0 |        0
1117.87/1118.15	c  719s |      24 |  3552204 |  3546362 |      360  20815 |        0 |        0
1119.87/1120.16	c  721s |      24 |  3561410 |  3555562 |      360  20857 |        0 |        0
1121.87/1122.17	c  723s |      24 |  3570722 |  3564862 |      360  20901 |        0 |        0
1123.87/1124.19	c  725s |      24 |  3580124 |  3574262 |      360  20944 |        0 |        0
1125.86/1126.19	c  727s |      24 |  3589131 |  3583262 |      360  20986 |        0 |        0
1127.96/1128.20	c  729s |      24 |  3598432 |  3592562 |      360  21030 |        0 |        0
1129.96/1130.21	c  731s |      24 |  3607535 |  3601662 |      360  21072 |        0 |        0
1131.96/1132.21	c  733s |      24 |  3616547 |  3610662 |      360  21115 |        0 |        0
1133.97/1134.21	c  735s |      24 |  3625450 |  3619562 |      360  21156 |        0 |        0
1135.96/1136.22	c  737s |      24 |  3634549 |  3628662 |      360  21198 |        0 |        0
1137.96/1138.23	c  739s |      24 |  3643652 |  3637762 |      360  21240 |        0 |        0
1139.96/1140.24	c  741s |      24 |  3652968 |  3647062 |      360  21283 |        0 |        0
1141.96/1142.24	c  743s |      24 |  3662179 |  3656262 |      360  21326 |        0 |        0
1143.96/1144.26	c  745s |      24 |  3671476 |  3665562 |      360  21370 |        0 |        0
1145.96/1146.26	c  747s |      24 |  3680677 |  3674762 |      360  21413 |        0 |        0
1147.95/1148.27	c  749s |      24 |  3689879 |  3683962 |      360  21455 |        0 |        0
1149.95/1150.29	c  751s |      24 |  3699182 |  3693262 |      360  21499 |        0 |        0
1152.05/1152.30	c  753s |      24 |  3708299 |  3702362 |      360  21541 |        0 |        0
1154.05/1154.32	c  755s |      24 |  3717513 |  3711562 |      360  21584 |        0 |        0
1156.04/1156.34	c  757s |      24 |  3726516 |  3720562 |      360  21627 |        0 |        0
1158.06/1158.35	c  759s |      24 |  3735518 |  3729562 |      360  21668 |        0 |        0
1160.05/1160.37	c  761s |      24 |  3744834 |  3738862 |      360  21712 |        0 |        0
1162.05/1162.38	c  763s |      24 |  3753940 |  3747962 |      360  21754 |        0 |        0
1164.05/1164.39	c  765s |      24 |  3762944 |  3756962 |      360  21796 |        0 |        0
1166.15/1166.41	c  767s |      24 |  3771943 |  3765962 |      360  21839 |        0 |        0
1168.15/1168.42	c  769s |      24 |  3780850 |  3774862 |      360  21881 |        0 |        0
1170.15/1170.42	c  771s |      24 |  3789758 |  3783762 |      360  21923 |        0 |        0
1172.15/1172.44	c  773s |      24 |  3798859 |  3792862 |      360  21965 |        0 |        0
1174.15/1174.45	c  775s |      24 |  3807670 |  3801662 |      360  22007 |        0 |        0
1176.14/1176.47	c  777s |      24 |  3816767 |  3810762 |      360  22049 |        0 |        0
1178.14/1178.48	c  779s |      24 |  3826267 |  3820262 |      360  22093 |        0 |        0
1180.15/1180.49	c  781s |      24 |  3835674 |  3829662 |      360  22136 |        0 |        0
1182.14/1182.49	c  783s |      24 |  3844677 |  3838662 |      360  22178 |        0 |        0
1184.14/1184.49	c  785s |      24 |  3853978 |  3847962 |      360  22221 |        0 |        0
1186.14/1186.49	c  787s |      24 |  3863177 |  3857162 |      360  22264 |        0 |        0
1188.14/1188.50	c  789s |      24 |  3872474 |  3866462 |      360  22307 |        0 |        0
1190.24/1190.51	c  791s |      24 |  3881678 |  3875662 |      360  22350 |        0 |        0
1192.24/1192.51	c  793s |      24 |  3890995 |  3884962 |      360  22393 |        0 |        0
1194.24/1194.53	c  795s |      24 |  3900406 |  3894362 |      360  22437 |        0 |        0
1196.24/1196.53	c  797s |      24 |  3909614 |  3903562 |      360  22480 |        0 |        0
1198.24/1198.55	c  799s |      24 |  3918816 |  3912762 |      360  22523 |        0 |        0
1200.23/1200.56	c  801s |      24 |  3928023 |  3921962 |      360  22566 |        0 |        0
1202.23/1202.58	c  803s |      24 |  3937235 |  3931162 |      360  22609 |        0 |        0
1204.24/1204.60	c  805s |      24 |  3946435 |  3940362 |      360  22653 |        0 |        0
1206.33/1206.62	c  807s |      24 |  3955653 |  3949562 |      360  22696 |        0 |        0
1208.33/1208.63	c  809s |      24 |  3964656 |  3958562 |      360  22738 |        0 |        0
1210.33/1210.64	c  811s |      24 |  3973658 |  3967562 |      360  22780 |        0 |        0
1212.33/1212.65	c  813s |      24 |  3982359 |  3976262 |      360  22821 |        0 |        0
1214.33/1214.65	c  815s |      24 |  3991261 |  3985162 |      360  22863 |        0 |        0
1216.33/1216.67	c  817s |      24 |  4000078 |  3993962 |      360  22905 |        0 |        0
1218.33/1218.67	c  819s |      24 |  4008879 |  4002762 |      360  22947 |        0 |        0
1220.33/1220.68	c  821s |      24 |  4018182 |  4012062 |      360  22991 |        0 |        0
1222.33/1222.70	c  824s |      24 |  4027182 |  4021062 |      360  23033 |        0 |        0
1224.43/1224.71	c  826s |      24 |  4036188 |  4030062 |      360  23075 |        0 |        0
1226.43/1226.71	c  828s |      24 |  4045092 |  4038962 |      360  23117 |        0 |        0
1228.43/1228.72	c  830s |      24 |  4054003 |  4047862 |      360  23160 |        0 |        0
1230.43/1230.73	c  832s |      24 |  4062902 |  4056762 |      360  23202 |        0 |        0
1232.43/1232.75	c  834s |      24 |  4071911 |  4065762 |      360  23244 |        0 |        0
1234.43/1234.77	c  836s |      24 |  4081010 |  4074862 |      360  23287 |        0 |        0
1236.43/1236.78	c  838s |      24 |  4090019 |  4083862 |      360  23330 |        0 |        0
1238.43/1238.79	c  840s |      24 |  4099116 |  4092962 |      360  23373 |        0 |        0
1240.42/1240.80	c  842s |      24 |  4108123 |  4101962 |      360  23416 |        0 |        0
1242.52/1242.80	c  844s |      24 |  4117030 |  4110862 |      360  23458 |        0 |        0
1244.52/1244.82	c  846s |      24 |  4125933 |  4119762 |      360  23501 |        0 |        0
1246.52/1246.82	c  848s |      24 |  4135237 |  4129062 |      360  23543 |        0 |        0
1248.52/1248.84	c  850s |      24 |  4144438 |  4138262 |      360  23586 |        0 |        0
1250.53/1250.86	c  852s |      24 |  4153534 |  4147362 |      360  23628 |        0 |        0
1252.52/1252.87	c  854s |      24 |  4162538 |  4156362 |      360  23670 |        0 |        0
1254.52/1254.87	c  856s |      24 |  4171638 |  4165462 |      360  23712 |        0 |        0
1256.52/1256.87	c  858s |      24 |  4180640 |  4174462 |      360  23753 |        0 |        0
1258.52/1258.88	c  860s |      24 |  4189536 |  4183362 |      360  23795 |        0 |        0
1260.52/1260.88	c  862s |      24 |  4198343 |  4192162 |      360  23836 |        0 |        0
1262.52/1262.88	c  864s |      24 |  4207244 |  4201062 |      360  23877 |        0 |        0
1264.52/1264.89	c  866s |      24 |  4216259 |  4210062 |      360  23919 |        0 |        0
1266.62/1266.90	c  868s |      24 |  4225461 |  4219262 |      360  23962 |        0 |        0
1268.63/1268.92	c  870s |      24 |  4234484 |  4228262 |      360  24004 |        0 |        0
1270.63/1270.95	c  872s |      24 |  4243592 |  4237362 |      360  24047 |        0 |        0
1272.63/1272.95	c  874s |      24 |  4252406 |  4246162 |      360  24088 |        0 |        0
1274.63/1274.96	c  876s |      24 |  4261424 |  4255162 |      360  24130 |        0 |        0
1276.62/1276.96	c  878s |      24 |  4270426 |  4264162 |      360  24172 |        0 |        0
1278.62/1278.97	c  880s |      24 |  4279438 |  4273162 |      360  24214 |        0 |        0
1280.62/1280.98	c  882s |      24 |  4288437 |  4282162 |      360  24256 |        0 |        0
1282.62/1282.98	c  884s |      24 |  4297456 |  4291162 |      360  24299 |        0 |        0
1284.72/1285.00	c  886s |      24 |  4306552 |  4300262 |      360  24341 |        0 |        0
1286.73/1287.00	c  888s |      24 |  4315850 |  4309562 |      360  24384 |        0 |        0
1288.72/1289.01	c  890s |      24 |  4325281 |  4318962 |      360  24428 |        0 |        0
1290.72/1291.02	c  892s |      24 |  4334281 |  4327962 |      360  24471 |        0 |        0
1292.72/1293.03	c  894s |      24 |  4343386 |  4337062 |      360  24513 |        0 |        0
1294.72/1295.03	c  896s |      24 |  4352294 |  4345962 |      360  24555 |        0 |        0
1296.73/1297.04	c  898s |      24 |  4361509 |  4355162 |      360  24599 |        0 |        0
1298.72/1299.04	c  900s |      24 |  4370714 |  4364362 |      360  24641 |        0 |        0
1300.72/1301.05	c  902s |      24 |  4379944 |  4373562 |      360  24685 |        0 |        0
1302.72/1303.06	c  904s |      24 |  4388970 |  4382562 |      360  24727 |        0 |        0
1304.72/1305.07	c  906s |      24 |  4397771 |  4391362 |      360  24768 |        0 |        0
1306.72/1307.09	c  908s |      24 |  4406774 |  4400362 |      360  24811 |        0 |        0
1308.82/1309.11	c  910s |      24 |  4415881 |  4409462 |      360  24854 |        0 |        0
1310.82/1311.11	c  912s |      24 |  4424687 |  4418262 |      360  24896 |        0 |        0
1312.82/1313.11	c  914s |      24 |  4433705 |  4427262 |      360  24938 |        0 |        0
1314.82/1315.12	c  916s |      24 |  4442611 |  4436162 |      360  24981 |        0 |        0
1316.82/1317.14	c  918s |      24 |  4451522 |  4445062 |      360  25023 |        0 |        0
1318.82/1319.14	c  920s |      24 |  4460930 |  4454462 |      360  25068 |        0 |        0
1320.82/1321.15	c  922s |      24 |  4470337 |  4463862 |      360  25111 |        0 |        0
1322.82/1323.16	c  924s |      24 |  4479436 |  4472962 |      360  25154 |        0 |        0
1324.81/1325.17	c  926s |      24 |  4488351 |  4481862 |      360  25196 |        0 |        0
1326.81/1327.17	c  928s |      24 |  4497363 |  4490862 |      360  25238 |        0 |        0
1328.81/1329.17	c  930s |      24 |  4506272 |  4499762 |      360  25280 |        0 |        0
1330.82/1331.17	c  932s |      24 |  4515190 |  4508662 |      360  25322 |        0 |        0
1332.81/1333.18	c  934s |      24 |  4524089 |  4517562 |      360  25365 |        0 |        0
1334.81/1335.19	c  936s |      24 |  4533292 |  4526762 |      360  25408 |        0 |        0
1336.81/1337.19	c  938s |      24 |  4542399 |  4535862 |      360  25450 |        0 |        0
1338.91/1339.21	c  940s |      24 |  4551409 |  4544862 |      360  25493 |        0 |        0
1340.91/1341.22	c  942s |      24 |  4560513 |  4553962 |      360  25536 |        0 |        0
1342.92/1343.24	c  944s |      24 |  4569630 |  4563062 |      360  25579 |        0 |        0
1344.91/1345.26	c  946s |      24 |  4578631 |  4572062 |      360  25622 |        0 |        0
1346.91/1347.27	c  948s |      24 |  4587556 |  4580962 |      360  25664 |        0 |        0
1348.91/1349.28	c  950s |      24 |  4596363 |  4589762 |      360  25706 |        0 |        0
1351.01/1351.30	c  952s |      24 |  4605580 |  4598962 |      360  25749 |        0 |        0
1353.01/1353.30	c  954s |      24 |  4614389 |  4607762 |      360  25790 |        0 |        0
1355.01/1355.31	c  956s |      24 |  4623201 |  4616562 |      360  25832 |        0 |        0
1357.01/1357.31	c  958s |      24 |  4631905 |  4625262 |      360  25873 |        0 |        0
1359.01/1359.32	c  960s |      24 |  4640810 |  4634162 |      360  25915 |        0 |        0
1361.01/1361.33	c  962s |      24 |  4649711 |  4643062 |      360  25957 |        0 |        0
1363.01/1363.35	c  964s |      24 |  4658513 |  4651862 |      360  25999 |        0 |        0
1365.00/1365.37	c  966s |      24 |  4667217 |  4660562 |      360  26040 |        0 |        0
1367.01/1367.38	c  968s |      24 |  4676024 |  4669362 |      360  26082 |        0 |        0
1369.00/1369.38	c  970s |      24 |  4684737 |  4678062 |      360  26123 |        0 |        0
1371.00/1371.39	c  972s |      24 |  4693451 |  4686762 |      360  26165 |        0 |        0
1373.10/1373.40	c  974s |      24 |  4701959 |  4695262 |      360  26205 |        0 |        0
1375.10/1375.40	c  976s |      24 |  4710663 |  4703962 |      360  26246 |        0 |        0
1377.10/1377.42	c  978s |      24 |  4719575 |  4712862 |      360  26289 |        0 |        0
1379.10/1379.43	c  980s |      24 |  4728487 |  4721762 |      360  26332 |        0 |        0
1381.11/1381.44	c  982s |      24 |  4737192 |  4730462 |      360  26374 |        0 |        0
1383.11/1383.46	c  984s |      24 |  4747025 |  4740262 |      360  26419 |        0 |        0
1385.11/1385.47	c  986s |      24 |  4756540 |  4749762 |      360  26463 |        0 |        0
1387.11/1387.47	c  988s |      24 |  4766046 |  4759262 |      360  26507 |        0 |        0
1389.12/1389.49	c  990s |      24 |  4775361 |  4768562 |      360  26550 |        0 |        0
1391.11/1391.49	c  992s |      24 |  4784584 |  4777762 |      360  26594 |        0 |        0
1393.21/1393.50	c  994s |      24 |  4793891 |  4787062 |      360  26637 |        0 |        0
1395.21/1395.52	c  996s |      24 |  4803589 |  4796762 |      360  26682 |        0 |        0
1397.21/1397.52	c  998s |      24 |  4812699 |  4805862 |      360  26724 |        0 |        0
1399.21/1399.52	c 1000s |      24 |  4821809 |  4814962 |      360  26766 |        0 |        0
1401.21/1401.53	c 1002s |      24 |  4831031 |  4824162 |      360  26809 |        0 |        0
1403.20/1403.54	c 1004s |      24 |  4839926 |  4833062 |      360  26850 |        0 |        0
1405.20/1405.55	c 1006s |      24 |  4848829 |  4841962 |      360  26892 |        0 |        0
1407.20/1407.56	c 1008s |      24 |  4857644 |  4850762 |      360  26933 |        0 |        0
1409.20/1409.58	c 1010s |      24 |  4866466 |  4859562 |      360  26975 |        0 |        0
1411.20/1411.58	c 1012s |      24 |  4875662 |  4868762 |      360  27018 |        0 |        0
1413.21/1413.59	c 1014s |      24 |  4884766 |  4877862 |      360  27060 |        0 |        0
1415.30/1415.61	c 1016s |      24 |  4893964 |  4887062 |      360  27103 |        0 |        0
1417.30/1417.62	c 1018s |      24 |  4902979 |  4896062 |      360  27145 |        0 |        0
1419.30/1419.64	c 1020s |      24 |  4912372 |  4905462 |      360  27188 |        0 |        0
1421.30/1421.66	c 1022s |      24 |  4921471 |  4914562 |      360  27231 |        0 |        0
1423.30/1423.66	c 1024s |      24 |  4930482 |  4923562 |      360  27273 |        0 |        0
1425.30/1425.68	c 1026s |      24 |  4939491 |  4932562 |      360  27315 |        0 |        0
1427.40/1427.70	c 1029s |      24 |  4948498 |  4941562 |      360  27357 |        0 |        0
1429.40/1429.71	c 1031s |      24 |  4957698 |  4950762 |      360  27400 |        0 |        0
1431.40/1431.72	c 1033s |      24 |  4966609 |  4959662 |      360  27441 |        0 |        0
1433.40/1433.72	c 1035s |      24 |  4975407 |  4968462 |      360  27482 |        0 |        0
1435.40/1435.72	c 1037s |      24 |  4984412 |  4977462 |      360  27524 |        0 |        0
1437.40/1437.73	c 1039s |      24 |  4993320 |  4986362 |      360  27565 |        0 |        0
1439.40/1439.74	c 1041s |      24 |  5002426 |  4995462 |      360  27608 |        0 |        0
1441.40/1441.76	c 1043s |      24 |  5011254 |  5004262 |      360  27649 |        0 |        0
1443.39/1443.76	c 1045s |      24 |  5020067 |  5013062 |      360  27691 |        0 |        0
1445.39/1445.77	c 1047s |      24 |  5028867 |  5021862 |      360  27732 |        0 |        0
1447.40/1447.79	c 1049s |      24 |  5037676 |  5030662 |      397  27773 |        0 |        0
1449.50/1449.81	c 1051s |      24 |  5046398 |  5039362 |      397  27810 |        0 |        0
1451.49/1451.82	c 1053s |      24 |  5055208 |  5048162 |      397  27849 |        0 |        0
1453.49/1453.83	c 1055s |      24 |  5064436 |  5057362 |      397  27888 |        0 |        0
1455.19/1455.53	c 1056s |      25 |  5072175 |  5065098 |      397  27921 |        0 |        0
1457.19/1457.55	c 1058s |      25 |  5082050 |  5074898 |      397  27963 |        0 |        0
1459.19/1459.56	c 1060s |      25 |  5091759 |  5084598 |      397  28004 |        0 |        0
1461.19/1461.57	c 1062s |      25 |  5101608 |  5094398 |      397  28045 |        0 |        0
1463.19/1463.59	c 1064s |      25 |  5111222 |  5103998 |      397  28086 |        0 |        0
1465.29/1465.60	c 1066s |      25 |  5120941 |  5113698 |      397  28128 |        0 |        0
1467.29/1467.61	c 1068s |      25 |  5130554 |  5123298 |      397  28168 |        0 |        0
1469.29/1469.61	c 1070s |      25 |  5140259 |  5132998 |      397  28210 |        0 |        0
1471.29/1471.62	c 1072s |      25 |  5150065 |  5142798 |      397  28251 |        0 |        0
1473.29/1473.63	c 1074s |      25 |  5159976 |  5152698 |      397  28293 |        0 |        0
1475.29/1475.63	c 1076s |      25 |  5169680 |  5162398 |      397  28334 |        0 |        0
1477.29/1477.65	c 1078s |      25 |  5179391 |  5172098 |      397  28376 |        0 |        0
1479.30/1479.67	c 1080s |      25 |  5188900 |  5181598 |      397  28416 |        0 |        0
1481.29/1481.68	c 1082s |      25 |  5198318 |  5190998 |      397  28456 |        0 |        0
1483.39/1483.70	c 1085s |      25 |  5207724 |  5200398 |      397  28497 |        0 |        0
1485.39/1485.71	c 1087s |      25 |  5217227 |  5209898 |      397  28537 |        0 |        0
1487.39/1487.72	c 1089s |      25 |  5226335 |  5218998 |      397  28576 |        0 |        0
1489.39/1489.72	c 1091s |      25 |  5235449 |  5228098 |      397  28616 |        0 |        0
1491.40/1491.74	c 1093s |      25 |  5244866 |  5237498 |      397  28656 |        0 |        0
1493.39/1493.75	c 1095s |      25 |  5254375 |  5246998 |      397  28696 |        0 |        0
1495.39/1495.76	c 1097s |      25 |  5263996 |  5256598 |      397  28737 |        0 |        0
1497.39/1497.78	c 1099s |      25 |  5273596 |  5266198 |      397  28778 |        0 |        0
1499.39/1499.79	c 1101s |      25 |  5283312 |  5275898 |      397  28819 |        0 |        0
1501.39/1501.79	c 1103s |      25 |  5293026 |  5285598 |      397  28861 |        0 |        0
1503.50/1503.81	c 1105s |      25 |  5302629 |  5295198 |      397  28901 |        0 |        0
1505.49/1505.83	c 1107s |      25 |  5312249 |  5304798 |      397  28943 |        0 |        0
1507.49/1507.84	c 1109s |      25 |  5321672 |  5314198 |      397  28983 |        0 |        0
1509.49/1509.86	c 1111s |      25 |  5331300 |  5323798 |      397  29024 |        0 |        0
1511.49/1511.88	c 1113s |      25 |  5340858 |  5333298 |      397  29065 |        0 |        0
1513.49/1513.89	c 1115s |      25 |  5350175 |  5342598 |      397  29105 |        0 |        0
1515.49/1515.89	c 1117s |      25 |  5359508 |  5351898 |      397  29145 |        0 |        0
1517.59/1517.90	c 1119s |      25 |  5368948 |  5361298 |      397  29185 |        0 |        0
1519.59/1519.91	c 1121s |      25 |  5378354 |  5370698 |      397  29225 |        0 |        0
1521.59/1521.92	c 1123s |      25 |  5387657 |  5379998 |      397  29265 |        0 |        0
1523.58/1523.92	c 1125s |      25 |  5396979 |  5389298 |      397  29305 |        0 |        0
1525.58/1525.92	c 1127s |      25 |  5406317 |  5398598 |      397  29345 |        0 |        0
1527.59/1527.94	c 1129s |      25 |  5416529 |  5408798 |      397  29389 |        0 |        0
1529.58/1529.95	c 1131s |      25 |  5426935 |  5419198 |      397  29433 |        0 |        0
1531.58/1531.96	c 1133s |      25 |  5437138 |  5429398 |      397  29476 |        0 |        0
1533.58/1533.98	c 1135s |      25 |  5447238 |  5439498 |      397  29519 |        0 |        0
1535.58/1535.99	c 1137s |      25 |  5457141 |  5449398 |      397  29561 |        0 |        0
1537.59/1537.99	c 1139s |      25 |  5467251 |  5459498 |      397  29604 |        0 |        0
1539.69/1540.00	c 1141s |      25 |  5477260 |  5469498 |      397  29647 |        0 |        0
1541.68/1542.01	c 1143s |      25 |  5487369 |  5479598 |      397  29690 |        0 |        0
1543.68/1544.01	c 1145s |      25 |  5496868 |  5489098 |      397  29730 |        0 |        0
1545.68/1546.02	c 1147s |      25 |  5506271 |  5498498 |      397  29770 |        0 |        0
1547.68/1548.03	c 1149s |      25 |  5515873 |  5508098 |      397  29811 |        0 |        0
1549.69/1550.05	c 1151s |      25 |  5525780 |  5517998 |      397  29854 |        0 |        0
1551.68/1552.06	c 1153s |      25 |  5535480 |  5527698 |      397  29895 |        0 |        0
1553.68/1554.06	c 1155s |      25 |  5545187 |  5537398 |      397  29936 |        0 |        0
1555.68/1556.08	c 1157s |      25 |  5554996 |  5547198 |      397  29978 |        0 |        0
1557.77/1558.10	c 1159s |      25 |  5564695 |  5556898 |      397  30020 |        0 |        0
1559.77/1560.10	c 1161s |      25 |  5574596 |  5566798 |      397  30062 |        0 |        0
1561.79/1562.12	c 1163s |      25 |  5584203 |  5576398 |      397  30103 |        0 |        0
1563.78/1564.13	c 1165s |      25 |  5593702 |  5585898 |      397  30143 |        0 |        0
1565.78/1566.14	c 1167s |      25 |  5603125 |  5595298 |      397  30184 |        0 |        0
1567.78/1568.16	c 1169s |      25 |  5612548 |  5604698 |      397  30224 |        0 |        0
1569.78/1570.16	c 1171s |      25 |  5621966 |  5614098 |      397  30264 |        0 |        0
1571.78/1572.17	c 1173s |      25 |  5631177 |  5623298 |      397  30304 |        0 |        0
1573.78/1574.18	c 1175s |      25 |  5640683 |  5632798 |      397  30345 |        0 |        0
1575.78/1576.19	c 1177s |      25 |  5649985 |  5642098 |      397  30385 |        0 |        0
1577.78/1578.19	c 1179s |      25 |  5659289 |  5651398 |      397  30425 |        0 |        0
1579.88/1580.21	c 1181s |      25 |  5668499 |  5660598 |      397  30465 |        0 |        0
1581.87/1582.21	c 1183s |      25 |  5677704 |  5669798 |      397  30505 |        0 |        0
1583.87/1584.21	c 1185s |      25 |  5687019 |  5679098 |      397  30545 |        0 |        0
1585.88/1586.22	c 1187s |      25 |  5696339 |  5688398 |      397  30585 |        0 |        0
1587.87/1588.23	c 1189s |      25 |  5705644 |  5697698 |      397  30625 |        0 |        0
1589.87/1590.23	c 1191s |      25 |  5714854 |  5706898 |      397  30665 |        0 |        0
1591.87/1592.24	c 1193s |      25 |  5723871 |  5715898 |      397  30704 |        0 |        0
1593.87/1594.25	c 1195s |      25 |  5733376 |  5725398 |      397  30745 |        0 |        0
1595.88/1596.25	c 1197s |      25 |  5742880 |  5734898 |      397  30785 |        0 |        0
1597.87/1598.26	c 1199s |      25 |  5752379 |  5744398 |      397  30825 |        0 |        0
1599.87/1600.28	c 1201s |      25 |  5761980 |  5753998 |      397  30866 |        0 |        0
1601.87/1602.29	c 1203s |      25 |  5771483 |  5763498 |      397  30906 |        0 |        0
1603.97/1604.31	c 1205s |      25 |  5780884 |  5772898 |      397  30946 |        0 |        0
1605.97/1606.32	c 1207s |      25 |  5790393 |  5782398 |      397  30987 |        0 |        0
1607.98/1608.33	c 1209s |      25 |  5799902 |  5791898 |      397  31028 |        0 |        0
1609.97/1610.35	c 1211s |      25 |  5809420 |  5801398 |      397  31068 |        0 |        0
1611.97/1612.37	c 1213s |      25 |  5818829 |  5810798 |      397  31108 |        0 |        0
1613.97/1614.38	c 1215s |      25 |  5828128 |  5820098 |      397  31148 |        0 |        0
1615.97/1616.38	c 1217s |      25 |  5837341 |  5829298 |      397  31188 |        0 |        0
1618.07/1618.40	c 1219s |      25 |  5847250 |  5839198 |      397  31230 |        0 |        0
1620.07/1620.42	c 1221s |      25 |  5857061 |  5848998 |      397  31272 |        0 |        0
1622.06/1622.42	c 1223s |      25 |  5866662 |  5858598 |      397  31312 |        0 |        0
1624.06/1624.43	c 1225s |      25 |  5876263 |  5868198 |      397  31353 |        0 |        0
1626.06/1626.43	c 1227s |      25 |  5885667 |  5877598 |      397  31393 |        0 |        0
1628.06/1628.44	c 1229s |      25 |  5894975 |  5886898 |      397  31433 |        0 |        0
1630.06/1630.46	c 1231s |      25 |  5904504 |  5896398 |      397  31473 |        0 |        0
1632.08/1632.46	c 1233s |      25 |  5913715 |  5905598 |      397  31513 |        0 |        0
1634.07/1634.46	c 1235s |      25 |  5923040 |  5914898 |      397  31553 |        0 |        0
1636.07/1636.48	c 1237s |      25 |  5932259 |  5924098 |      397  31592 |        0 |        0
1638.17/1638.50	c 1239s |      25 |  5941809 |  5933598 |      397  31633 |        0 |        0
1640.17/1640.51	c 1241s |      25 |  5951152 |  5942898 |      397  31673 |        0 |        0
1642.17/1642.52	c 1243s |      25 |  5960559 |  5952298 |      397  31713 |        0 |        0
1644.17/1644.54	c 1245s |      25 |  5970073 |  5961798 |      397  31754 |        0 |        0
1646.17/1646.55	c 1247s |      25 |  5979582 |  5971298 |      397  31794 |        0 |        0
1648.17/1648.55	c 1249s |      25 |  5988907 |  5980598 |      397  31834 |        0 |        0
1650.17/1650.55	c 1251s |      25 |  5998425 |  5990098 |      397  31875 |        0 |        0
1652.16/1652.56	c 1253s |      25 |  6007753 |  5999398 |      397  31915 |        0 |        0
1654.17/1654.56	c 1255s |      25 |  6017158 |  6008798 |      397  31955 |        0 |        0
1656.16/1656.57	c 1257s |      25 |  6026666 |  6018298 |      397  31996 |        0 |        0
1658.16/1658.59	c 1259s |      25 |  6036288 |  6027898 |      397  32038 |        0 |        0
1660.26/1660.61	c 1261s |      25 |  6045500 |  6037098 |      397  32077 |        0 |        0
1662.26/1662.61	c 1263s |      25 |  6054620 |  6046198 |      397  32116 |        0 |        0
1664.26/1664.62	c 1265s |      25 |  6064326 |  6055898 |      397  32158 |        0 |        0
1666.27/1666.64	c 1267s |      25 |  6073939 |  6065498 |      397  32199 |        0 |        0
1668.26/1668.65	c 1269s |      25 |  6083546 |  6075098 |      397  32240 |        0 |        0
1670.26/1670.67	c 1271s |      25 |  6092948 |  6084498 |      397  32280 |        0 |        0
1672.26/1672.68	c 1273s |      25 |  6102358 |  6093898 |      397  32321 |        0 |        0
1674.36/1674.71	c 1276s |      25 |  6111765 |  6103298 |      397  32361 |        0 |        0
1676.36/1676.72	c 1278s |      25 |  6121073 |  6112598 |      397  32401 |        0 |        0
1678.36/1678.73	c 1280s |      25 |  6130284 |  6121798 |      397  32440 |        0 |        0
1680.36/1680.75	c 1282s |      25 |  6139982 |  6131498 |      397  32482 |        0 |        0
1682.36/1682.76	c 1284s |      25 |  6149290 |  6140798 |      397  32522 |        0 |        0
1684.36/1684.76	c 1286s |      25 |  6158794 |  6150298 |      397  32562 |        0 |        0
1686.36/1686.77	c 1288s |      25 |  6168213 |  6159698 |      397  32603 |        0 |        0
1688.36/1688.78	c 1290s |      25 |  6177542 |  6168998 |      397  32643 |        0 |        0
1690.37/1690.79	c 1292s |      25 |  6186862 |  6178298 |      397  32683 |        0 |        0
1692.36/1692.79	c 1294s |      25 |  6196262 |  6187698 |      397  32723 |        0 |        0
1694.46/1694.80	c 1296s |      25 |  6205660 |  6197098 |      397  32764 |        0 |        0
1696.46/1696.81	c 1298s |      25 |  6215179 |  6206598 |      397  32805 |        0 |        0
1698.46/1698.83	c 1300s |      25 |  6224586 |  6215998 |      397  32846 |        0 |        0
1700.46/1700.84	c 1302s |      25 |  6234005 |  6225398 |      397  32887 |        0 |        0
1702.46/1702.85	c 1304s |      25 |  6243426 |  6234798 |      397  32927 |        0 |        0
1704.46/1704.85	c 1306s |      25 |  6252842 |  6244198 |      397  32968 |        0 |        0
1706.46/1706.86	c 1308s |      25 |  6262342 |  6253698 |      397  33009 |        0 |        0
1708.46/1708.87	c 1310s |      25 |  6271758 |  6263098 |      397  33050 |        0 |        0
1710.46/1710.89	c 1312s |      25 |  6281296 |  6272598 |      397  33091 |        0 |        0
1712.46/1712.89	c 1314s |      25 |  6290610 |  6281898 |      397  33131 |        0 |        0
1714.56/1714.91	c 1316s |      25 |  6300159 |  6291398 |      397  33172 |        0 |        0
1716.56/1716.92	c 1318s |      25 |  6309572 |  6300798 |      397  33213 |        0 |        0
1718.56/1718.92	c 1320s |      25 |  6318888 |  6310098 |      397  33254 |        0 |        0
1720.55/1720.94	c 1322s |      25 |  6328202 |  6319398 |      397  33294 |        0 |        0
1722.55/1722.95	c 1324s |      25 |  6337528 |  6328698 |      397  33335 |        0 |        0
1724.56/1724.96	c 1326s |      25 |  6346838 |  6337998 |      397  33375 |        0 |        0
1726.55/1726.97	c 1328s |      25 |  6356146 |  6347298 |      397  33416 |        0 |        0
1728.55/1728.98	c 1330s |      25 |  6365357 |  6356498 |      397  33456 |        0 |        0
1730.55/1730.98	c 1332s |      25 |  6374464 |  6365598 |      397  33495 |        0 |        0
1732.55/1732.99	c 1334s |      25 |  6384379 |  6375498 |      397  33538 |        0 |        0
1734.65/1735.00	c 1336s |      25 |  6394481 |  6385598 |      397  33581 |        0 |        0
1736.66/1737.00	c 1338s |      25 |  6404382 |  6395498 |      397  33623 |        0 |        0
1738.65/1739.01	c 1340s |      25 |  6414283 |  6405398 |      397  33665 |        0 |        0
1740.65/1741.03	c 1342s |      25 |  6424114 |  6415198 |      397  33706 |        0 |        0
1742.65/1743.04	c 1344s |      25 |  6433753 |  6424798 |      397  33747 |        0 |        0
1744.65/1745.06	c 1346s |      25 |  6443395 |  6434398 |      397  33788 |        0 |        0
1746.65/1747.07	c 1348s |      25 |  6452804 |  6443798 |      397  33828 |        0 |        0
1748.65/1749.08	c 1350s |      25 |  6462317 |  6453298 |      397  33869 |        0 |        0
1750.65/1751.09	c 1352s |      25 |  6471919 |  6462898 |      397  33910 |        0 |        0
1752.75/1753.10	c 1354s |      25 |  6481230 |  6472198 |      397  33950 |        0 |        0
1754.75/1755.10	c 1356s |      25 |  6490542 |  6481498 |      397  33990 |        0 |        0
1756.75/1757.11	c 1358s |      25 |  6499854 |  6490798 |      397  34030 |        0 |        0
1758.75/1759.12	c 1360s |      25 |  6509768 |  6500698 |      397  34072 |        0 |        0
1760.75/1761.13	c 1362s |      25 |  6519469 |  6510398 |      397  34114 |        0 |        0
1762.74/1763.15	c 1364s |      25 |  6528876 |  6519798 |      397  34154 |        0 |        0
1764.74/1765.16	c 1366s |      25 |  6538082 |  6528998 |      397  34194 |        0 |        0
1766.74/1767.16	c 1368s |      25 |  6547387 |  6538298 |      397  34234 |        0 |        0
1768.74/1769.17	c 1370s |      25 |  6556794 |  6547698 |      397  34274 |        0 |        0
1770.75/1771.19	c 1372s |      25 |  6566008 |  6556898 |      397  34314 |        0 |        0
1772.85/1773.21	c 1374s |      25 |  6575616 |  6566498 |      397  34355 |        0 |        0
1774.84/1775.21	c 1376s |      25 |  6585122 |  6575998 |      397  34396 |        0 |        0
1776.84/1777.22	c 1378s |      25 |  6594533 |  6585398 |      397  34436 |        0 |        0
1778.84/1779.23	c 1380s |      25 |  6603741 |  6594598 |      397  34475 |        0 |        0
1780.84/1781.25	c 1382s |      25 |  6613147 |  6603998 |      397  34516 |        0 |        0
1782.85/1783.26	c 1384s |      25 |  6622649 |  6613498 |      397  34557 |        0 |        0
1784.84/1785.27	c 1386s |      25 |  6631762 |  6622598 |      397  34596 |        0 |        0
1786.84/1787.28	c 1388s |      25 |  6640868 |  6631698 |      397  34635 |        0 |        0
1788.94/1789.30	c 1390s |      25 |  6649885 |  6640698 |      397  34674 |        0 |        0
1790.94/1791.31	c 1392s |      25 |  6659099 |  6649898 |      397  34714 |        0 |        0
1792.94/1793.32	c 1394s |      25 |  6668201 |  6658998 |      397  34753 |        0 |        0
1794.95/1795.33	c 1396s |      25 |  6677411 |  6668198 |      397  34793 |        0 |        0
1796.94/1797.34	c 1398s |      25 |  6686720 |  6677498 |      397  34834 |        0 |        0
1798.94/1799.35	c 1400s |      25 |  6696037 |  6686798 |      397  34874 |        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-4078594-1465238727/watcher-4078594-1465238727 -o /tmp/evaluation-result-4078594-1465238727/solver-4078594-1465238727 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078594-1465238727.opb 

pid=662
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.27 2.19 2.18 3/179 665
/proc/meminfo: memFree=29202888/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=472508 CPUtime=0 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 1718 0 0 0 0 0 0 0 20 0 4 0 105805908 483848192 2079 33554432000 4194304 16246674 140734252174032 140734252173456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/665/statm: 118895 2088 441 2943 0 115789 0
[pid=665/tid=666] ppid=662 vsize=779708 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 798420992 3279 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=784828 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 803663872 3296 33554432000 4194304 16246674 140734252174032 139712109976816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=787900 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 806809600 3312 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.27 2.19 2.18 3/179 665
/proc/meminfo: memFree=29202888/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 27586 0 0 0 5 4 0 0 20 0 4 0 105805908 1247350784 27939 33554432000 4194304 16246674 140734252174032 140734252173456 12652961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/665/statm: 304529 27946 603 2943 0 301423 0
[pid=665/tid=666] ppid=662 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 1247350784 27951 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 1247350784 27959 33554432000 4194304 16246674 140734252174032 139712109976816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 1247350784 27965 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200513 s]
/proc/loadavg: 2.27 2.19 2.18 3/179 665
/proc/meminfo: memFree=29202888/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 50864 0 0 0 13 6 0 0 20 0 4 0 105805908 1247350784 51216 33554432000 4194304 16246674 140734252174032 140734252173456 12684188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/665/statm: 304529 51222 603 2943 0 301423 0
[pid=665/tid=666] ppid=662 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 1247350784 51226 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 1247350784 51229 33554432000 4194304 16246674 140734252174032 139712109976816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 1247350784 51233 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30048 s]
/proc/loadavg: 2.27 2.19 2.18 3/179 665
/proc/meminfo: memFree=29202888/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 76233 0 0 0 19 9 0 0 20 0 4 0 105805908 1247350784 76585 33554432000 4194304 16246674 140734252174032 140734252173456 12449399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/665/statm: 304529 76600 603 2943 0 301423 0
[pid=665/tid=666] ppid=662 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 1247350784 76608 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 1247350784 76618 33554432000 4194304 16246674 140734252174032 139712109976816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 1247350784 76627 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700426 s]
/proc/loadavg: 2.27 2.19 2.18 3/179 665
/proc/meminfo: memFree=29202888/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 174191 0 0 0 47 22 0 0 20 0 4 0 105805908 1247350784 174544 33554432000 4194304 16246674 140734252174032 140734252155904 12653060 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/665/statm: 304529 174552 603 2943 0 301423 0
[pid=665/tid=666] ppid=662 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 1247350784 174558 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 1247350784 174564 33554432000 4194304 16246674 140734252174032 139712109976816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 1247350784 174569 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.27 2.19 2.18 4/183 669
/proc/meminfo: memFree=28187372/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=1420868 CPUtime=1.49 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 295974 0 0 0 111 38 0 0 20 0 4 0 105805908 1454968832 296297 33554432000 4194304 16246674 140734252174032 140734252155904 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/665/statm: 355217 296301 653 2943 0 352111 0
[pid=665/tid=666] ppid=662 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 1454968832 296304 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 1454968832 296308 33554432000 4194304 16246674 140734252174032 139712109976592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 1454968832 296310 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1420868

[startup+3.10039 s]
/proc/loadavg: 2.27 2.19 2.18 4/183 669
/proc/meminfo: memFree=28005588/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=1432132 CPUtime=3.09 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 299128 0 0 0 271 38 0 0 20 0 4 0 105805908 1466503168 299436 33554432000 4194304 16246674 140734252174032 140734252171904 4220480 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/665/statm: 358033 299436 822 2943 0 354927 0
[pid=665/tid=666] ppid=662 vsize=1432132 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 1466503168 299436 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=1432132 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 1466503168 299436 33554432000 4194304 16246674 140734252174032 139712109976592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=1432132 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 1466503168 299436 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1432132

[startup+6.30039 s]
/proc/loadavg: 2.25 2.19 2.18 4/183 669
/proc/meminfo: memFree=28005740/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=1435204 CPUtime=6.28 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 299823 0 0 0 590 38 0 0 20 0 4 0 105805908 1469648896 300131 33554432000 4194304 16246674 140734252174032 140734252171904 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/665/statm: 358801 300137 822 2943 0 355695 0
[pid=665/tid=666] ppid=662 vsize=1435204 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 1469648896 300141 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=1435204 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 1469648896 300145 33554432000 4194304 16246674 140734252174032 139712109976592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=1435204 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 1469648896 300149 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1435204

[startup+12.7004 s]
/proc/loadavg: 2.23 2.19 2.18 3/183 669
/proc/meminfo: memFree=27677052/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=1760836 CPUtime=12.69 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 381305 0 0 0 1221 48 0 0 20 0 4 0 105805908 1803096064 381613 33554432000 4194304 16246674 140734252174032 140734252155904 13927272 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/665/statm: 440209 381613 822 2943 0 437103 0
[pid=665/tid=666] ppid=662 vsize=1760836 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 1803096064 381613 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=1760836 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 1803096064 381613 33554432000 4194304 16246674 140734252174032 139712109976816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=1760836 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 1803096064 381613 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1760836

[startup+25.5005 s]
/proc/loadavg: 2.17 2.18 2.18 3/183 669
/proc/meminfo: memFree=27632864/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=1805892 CPUtime=25.48 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 392569 0 0 0 2499 49 0 0 20 0 4 0 105805908 1849233408 392877 33554432000 4194304 16246674 140734252174032 140734252171840 4206912 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/665/statm: 451473 392877 822 2943 0 448367 0
[pid=665/tid=666] ppid=662 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 1849233408 392877 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 1849233408 392877 33554432000 4194304 16246674 140734252174032 139712109976592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=1805892 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 1849233408 392877 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1805892

[startup+51.1005 s]
/proc/loadavg: 2.18 2.18 2.18 3/183 669
/proc/meminfo: memFree=26557324/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=2879044 CPUtime=51.08 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 660857 0 0 0 5021 87 0 0 20 0 4 0 105805908 2948141056 661165 33554432000 4194304 16246674 140734252174032 140734252171904 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/665/statm: 719761 661165 822 2943 0 716655 0
[pid=665/tid=666] ppid=662 vsize=2879044 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 2948141056 661165 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=2879044 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 2948141056 661165 33554432000 4194304 16246674 140734252174032 139712109976816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=2879044 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 2948141056 661165 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2879044

[startup+102.3 s]
/proc/loadavg: 2.26 2.19 2.18 3/183 670
/proc/meminfo: memFree=26429076/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=3010116 CPUtime=102.28 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 723931 0 0 0 10128 100 0 0 20 0 4 0 105805908 3082358784 693775 33554432000 4194304 16246674 140734252174032 140734252171840 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/665/statm: 752529 693777 822 2943 0 749423 0
[pid=665/tid=666] ppid=662 vsize=3011140 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 3083407360 694108 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=3011140 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 3083407360 694114 33554432000 4194304 16246674 140734252174032 139712109976592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=3011140 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 3083407360 694117 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3010116


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

/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 139712109976816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 4287044

[startup+1362.3 s]
/proc/loadavg: 2.13 2.18 2.17 3/183 724
/proc/meminfo: memFree=25141900/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=4287044 CPUtime=1362.01 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 1405250 0 0 0 135941 260 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 140734252155904 5711369 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/665/statm: 1071761 1013238 889 2943 0 1068655 0
[pid=665/tid=666] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 139712109976816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 4287044

[startup+1422.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/183 776
/proc/meminfo: memFree=25762636/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=4287044 CPUtime=1422 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 1405250 0 0 0 141939 261 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 140734252155904 5711584 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/665/statm: 1071761 1013238 889 2943 0 1068655 0
[pid=665/tid=666] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 139712109976816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 4287044

[startup+1482.3 s]
/proc/loadavg: 2.17 2.18 2.17 4/184 780
/proc/meminfo: memFree=25175644/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=4287044 CPUtime=1481.99 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 1405250 0 0 0 147937 262 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 140734252155904 5721669 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/665/statm: 1071761 1013238 889 2943 0 1068655 0
[pid=665/tid=666] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 139712109976816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 4287044

[startup+1542.31 s]
/proc/loadavg: 2.24 2.20 2.18 4/183 781
/proc/meminfo: memFree=25176488/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=4287044 CPUtime=1541.99 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 1405250 0 0 0 153937 262 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 140734252157032 12477709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/665/statm: 1071761 1013238 889 2943 0 1068655 0
[pid=665/tid=666] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 139712109976816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013238 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 4287044

[startup+1602.3 s]
/proc/loadavg: 2.33 2.23 2.19 3/183 782
/proc/meminfo: memFree=25170216/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=4287044 CPUtime=1601.97 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 1405251 0 0 0 159934 263 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 140734252155904 7253032 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/665/statm: 1071761 1013239 890 2943 0 1068655 0
[pid=665/tid=666] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 139712109976816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 4287044

[startup+1662.3 s]
/proc/loadavg: 2.25 2.23 2.19 4/183 783
/proc/meminfo: memFree=25170444/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=4287044 CPUtime=1661.96 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 1405251 0 0 0 165932 264 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 140734252155904 5721579 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/665/statm: 1071761 1013239 890 2943 0 1068655 0
[pid=665/tid=666] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 139712109976816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 4287044

[startup+1722.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 785
/proc/meminfo: memFree=25165288/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=4287044 CPUtime=1721.95 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 1405251 0 0 0 171930 265 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 140734252155904 5840108 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/665/statm: 1071761 1013239 890 2943 0 1068655 0
[pid=665/tid=666] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 139712109976816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 4287044

[startup+1782.3 s]
/proc/loadavg: 2.12 2.19 2.18 3/183 786
/proc/meminfo: memFree=25112384/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=4287044 CPUtime=1781.94 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 1405251 0 0 0 177929 265 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 140734252155904 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/665/statm: 1071761 1013239 890 2943 0 1068655 0
[pid=665/tid=666] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 139712109976816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 4287044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.16 2.19 2.18 4/183 786
/proc/meminfo: memFree=25112228/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=4287044 CPUtime=1800.04 cores=0,2,4,6
/proc/665/stat : 665 (toysat) R 662 665 31655 0 -1 4202496 1405252 0 0 0 179739 265 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 140734252155904 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/665/statm: 1071761 1013239 890 2943 0 1068655 0
[pid=665/tid=666] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) S 662 665 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 139712120466672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=665/tid=667] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/667/stat : 667 (toysat) S 662 665 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 139712109976816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=665/tid=668] ppid=662 vsize=4287044 CPUtime=0 cores=0,2,4,6
/proc/665/task/668/stat : 668 (toysat) S 662 665 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105805908 4389933056 1013239 33554432000 4194304 16246674 140734252174032 139711997799600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 4287044

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

[startup+1800.5 s]
/proc/loadavg: 2.16 2.19 2.18 4/183 786
/proc/meminfo: memFree=25112228/32872528 swapFree=17892/1720544
[pid=665] ppid=662 vsize=0 CPUtime=1800.14 cores=0,2,4,6
/proc/665/stat : 665 (toysat) Z 662 665 31655 0 -1 4203532 1405252 0 0 0 179739 275 0 0 20 0 2 0 105805908 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/665/statm: 0 0 0 0 0 0 0
[pid=665/tid=666] ppid=662 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/665/task/666/stat : 666 (toysat) R 662 665 31655 0 -1 4203588 10 0 0 0 0 8 0 0 20 0 2 0 105805908 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.56
CPU time (s): 1800.19
CPU user time (s): 1797.39
CPU system time (s): 2.79457
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 4427332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.39
system time used= 2.79458
maximum resident set size= 4192956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1405252
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= 481
involuntary context switches= 1845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.573 second user time and 9.25359 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-06 20:45:27
IDJOB=4078594
IDBENCH=2561
IDSOLVER=2542
FILE ID=node117/4078594-1465238727
RUNJOBID= node117-1465227498-31671
PBS_JOBID= 19843241
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob7.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078594-1465238727/watcher-4078594-1465238727 -o /tmp/evaluation-result-4078594-1465238727/solver-4078594-1465238727 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078594-1465238727.opb

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

MD5SUM BENCH= 891ef60a3c811d65a65dee7761e3f07c
RANDOM SEED=1681332636

node117.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		: 2667.088
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	: 5334.17
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		: 2667.088
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		: 2667.088
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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.53
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		: 2667.088
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:        29203100 kB
Buffers:           32988 kB
Cached:           111292 kB
SwapCached:         1396 kB
Active:          1187388 kB
Inactive:          56676 kB
Active(anon):    1099888 kB
Inactive(anon):     2176 kB
Active(file):      87500 kB
Inactive(file):    54500 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67098980 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       2819924 kB
Mapped:            10664 kB
Shmem:                 0 kB
Slab:             568160 kB
SReclaimable:      12192 kB
SUnreclaim:       555968 kB
KernelStack:        1448 kB
PageTables:         9436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2963676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1722368 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 node117 at 2016-06-06 21:15:28