Trace number 4100673

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.06 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scagr25.opb
MD5SUMb63141b317e602f06e6dedfad8ff4e9a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15000
Total number of constraints471
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 constraints471
Minimum length of a constraint30
Maximum length of a constraint300
Number of terms in the objective function 14250
Biggest coefficient in the objective function 3992
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 536200
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262051
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 536200
Number of bits of the biggest sum of numbers20
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-18T04:29:10+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-4100673-1466216950.opb"]
0.00/0.01	c use --random-gen="3172194564 2403114608 3073076438 22367390 2877134173 1217281844 1118770812 3586676321 2737599088 1659650641 632517898 1723438961 938602593 816897925 1240204592 188603491 3813777328 397797382 2881917274 755729821 2344942133 339933144 3132568539 1154248246 1906341771 953518333 2371398706 2824976702 2588770292 2471364558 437197604 1682613625 505319364 417485890 2917826795 555577713 1203969256 1113548237 3000812943 174998492 425735204 468624953 2607776611 2716643402 1076114013 2251887174 1279527860 1887719120 2502098066 3071978459 103535432 1149121087 3041435826 1507733020 54184656 1388115367 3822482053 3343455344 2772146185 646272718 326653611 41915757 952935081 876045278 649238292 2774064033 3276289541 219337368 2487041693 2357573545 1696273924 3482580869 1432368308 305261274 1469032173 2926323172 1751927978 4140244673 853763368 2260527949 1796067297 1055266166 717653252 830707576 52830821 1028041944 1191750141 3946721436 2037033155 1678213476 1128776836 513328110 1510438537 123353912 2779931567 893123161 561850584 199429093 4129896650 1867709589 145331281 2868253005 2876874985 115595022 1337092688 267632957 3818530051 1185919760 265896184 3754023145 815712701 9296257 772141322 2441367440 1320006909 416619124 3577808344 1170170090 2416698126 639078942 2128941782 2593069256 3843165652 3453985276 2445532728 4038246739 3178404759 1768940318 3598670489 3121082954 3924798818 2607769847 3313065134 1640121238 563074971 1664371934 4021135830 3513600450 1422677989 2766230916 511913154 413328105 1147070653 2830810814 4234166047 389162356 634007512 2832198340 3939209482 2776142513 2376557580 4007310036 3760561038 3373409579 3147624589 3104460968 831057063 135206950 3502105519 2879703232 3081422480 3269162273 2025023006 3175988729 2206067580 3404743754 642709444 191968496 3253208626 1542700492 1308401482 607996678 458390623 3005246987 3421514182 1447135163 3934096010 3462707838 2511202091 2139234305 3127110947 3128815575 2600536925 3075345649 1369001419 3267344937 4187177299 1493931430 2530305816 1863087983 3172725218 2752966860 729807152 2896091592 1814913031 3293499479 4027504403 2361732263 1640537841 317420844 3418689579 2980300721 2521240379 2756378956 1566030140 2976827427 1507770844 1102591804 3270691738 105031335 3578871593 1258264623 538643685 1167569701 3970249144 2959641557 706673334 2204390697 582753138 1561464659 2408285918 844646442 239104086 1933761528 1446457036 3916427417 3526346849 773371154 4125841677 169606570 2949774744 3580440725 1153516735 2039016715 3805723141 2867491673 1512180232 3950911709 1113220385 436549261 205134785 2739642284 1434707604 3242867134 572201131 40412677 3585666320 27906113 1826115406 611536469 4246856390 4256625038 2479049627 3389514771 3570559218 152645511 255 362436" option to reproduce the execution
0.09/0.14	c #vars 15000
0.09/0.14	c #constraints 471
0.69/0.70	c BCD2: Hardening is enabled.
0.69/0.70	c BCD2: BiasedSearch is enabled.
0.69/0.70	c Solving starts ...
0.69/0.70	c ============================[ Search Statistics ]============================
0.69/0.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.70	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.70	c =============================================================================
0.69/0.76	c  0.0s |       0 |        0 |        0 |     5257      0 |     3547 |        0
0.79/0.80	c  0.0s |       1 |      302 |      100 |     5257      0 |     3547 |        0
0.89/0.95	c  0.2s |       2 |      567 |      250 |     5783      0 |     3547 |        0
1.10/1.13	c  0.4s |       3 |      872 |      475 |     6362      0 |     3547 |        0
1.20/1.29	c  0.5s |       4 |     1743 |      813 |     6999      0 |     3585 |        0
1.29/1.37	c  0.6s |       5 |     2418 |     1320 |     7699      0 |     3585 |        0
1.39/1.49	c  0.7s |       6 |     3219 |     2081 |     9316      0 |     3585 |        0
1.99/2.02	c  1.3s |       7 |     4942 |     3223 |    10248      0 |     3586 |        0
2.39/2.42	c  1.7s |       8 |     6827 |     4936 |    11273      0 |     3586 |        0
3.09/3.16	c  2.4s |       9 |    10325 |     7506 |    12401      0 |     3586 |        0
4.89/4.94	c  4.2s |      10 |    14809 |    11361 |    13642      0 |     3586 |        0
6.89/6.96	c  6.2s |      10 |    21702 |    15861 |    13642      0 |     3586 |        0
7.49/7.59	c  6.8s |      11 |    23564 |    17144 |    15007      0 |     3586 |        0
9.59/9.60	c  8.8s |      11 |    30078 |    22444 |    15007      1 |     3586 |        0
10.69/10.76	c 10.0s |      12 |    33628 |    25819 |    16508      1 |     3586 |        0
12.69/12.79	c 12.0s |      12 |    41881 |    33119 |    16508      2 |     3586 |        0
14.68/14.80	c 14.0s |      12 |    45908 |    37019 |    16508      2 |     3586 |        0
15.68/15.70	c 14.9s |      13 |    47827 |    38832 |    18159      2 |     3586 |        0
17.69/17.73	c 17.0s |      13 |    54777 |    44332 |    18159      3 |     3586 |        0
19.68/19.75	c 19.0s |      13 |    58993 |    48532 |    18159      3 |     3586 |        0
21.78/21.81	c 21.1s |      13 |    62603 |    52132 |    18159      3 |     3586 |        0
23.78/23.84	c 23.1s |      13 |    65311 |    54832 |    18159      4 |     3586 |        0
25.78/25.88	c 25.1s |      13 |    68321 |    57832 |    18159      4 |     3586 |        0
26.18/26.22	c 25.5s |      14 |    68844 |    58352 |    19975      4 |     3586 |        0
28.18/28.25	c 27.5s |      14 |    74348 |    61952 |    19975      4 |     3586 |        0
30.18/30.25	c 29.5s |      14 |    80522 |    65852 |    19975      4 |     3586 |        0
32.18/32.28	c 31.5s |      14 |    85954 |    69452 |    19975      5 |     3586 |        0
34.28/34.34	c 33.6s |      14 |    90553 |    72652 |    19975      5 |     3586 |        0
36.39/36.46	c 35.7s |      14 |    94328 |    75252 |    19975      5 |     3586 |        0
38.38/38.47	c 37.7s |      14 |    97989 |    77652 |    19975      5 |     3586 |        0
40.48/40.51	c 39.8s |      14 |   101709 |    80152 |    19975      6 |     3586 |        0
42.48/42.52	c 41.8s |      14 |   105143 |    82552 |    19975      6 |     3586 |        0
44.48/44.57	c 43.8s |      14 |   109079 |    85152 |    19975      6 |     3586 |        0
46.48/46.54	c 45.8s |      15 |   112025 |    87632 |    21973      6 |     3586 |        0
51.18/51.30	c 50.5s |      15 |   115206 |    90232 |    21973      6 |     3586 |        0
53.28/53.32	c 52.6s |      15 |   117640 |    92232 |    21973      7 |     3586 |        0
55.28/55.39	c 54.6s |      15 |   122009 |    95332 |    21973      7 |     3586 |        0
57.38/57.44	c 56.7s |      15 |   125891 |    98232 |    21973      7 |     3586 |        0
59.39/59.46	c 58.7s |      15 |   129114 |   100832 |    21973      7 |     3586 |        0
61.48/61.54	c 60.8s |      15 |   132348 |   103232 |    21973      7 |     3586 |        0
63.48/63.58	c 62.8s |      15 |   135601 |   105732 |    21973      8 |     3586 |        0
65.58/65.63	c 64.9s |      15 |   139017 |   108332 |    21973      8 |     3586 |        0
67.68/67.72	c 67.0s |      15 |   142591 |   111032 |    21973      8 |     3586 |        0
69.68/69.75	c 69.0s |      15 |   146065 |   113932 |    21973      8 |     3586 |        0
71.78/71.82	c 71.1s |      15 |   149627 |   116432 |    21973      8 |     3586 |        0
73.79/73.88	c 73.1s |      15 |   153265 |   118932 |    21973      9 |     3586 |        0
75.89/75.93	c 75.2s |      15 |   156712 |   121732 |    21973      9 |     3586 |        0
77.88/77.95	c 77.2s |      15 |   160015 |   124032 |    21973      9 |     3586 |        0
80.07/80.14	c 79.4s |      15 |   161629 |   125332 |    21973      9 |     3586 |        0
82.07/82.15	c 81.4s |      15 |   164045 |   127732 |    21973      9 |     3586 |        0
84.18/84.23	c 83.5s |      15 |   166053 |   129732 |    21973      9 |     3586 |        0
85.79/85.85	c 85.1s |      16 |   168017 |   131552 |    24171      9 |     3586 |        0
87.78/87.88	c 87.1s |      16 |   175423 |   137252 |    24171     10 |     3586 |        0
89.78/89.89	c 89.1s |      16 |   180102 |   141652 |    24171     10 |     3586 |        0
91.78/91.89	c 91.1s |      16 |   183666 |   144852 |    24171     10 |     3586 |        0
93.88/93.93	c 93.2s |      16 |   187109 |   148152 |    24171     11 |     3586 |        0
95.88/95.98	c 95.2s |      16 |   190197 |   151052 |    24171     11 |     3586 |        0
97.99/98.05	c 97.3s |      16 |   193061 |   153852 |    24171     11 |     3586 |        0
100.09/100.11	c 99.4s |      16 |   195938 |   156552 |    24171     11 |     3586 |        0
102.08/102.16	c  101s |      16 |   198711 |   159252 |    24171     11 |     3586 |        0
104.08/104.18	c  103s |      16 |   201185 |   161652 |    24171     11 |     3586 |        0
106.18/106.23	c  105s |      16 |   203477 |   163852 |    24171     12 |     3586 |        0
108.18/108.29	c  107s |      16 |   205842 |   166052 |    24171     12 |     3586 |        0
110.28/110.30	c  109s |      16 |   208478 |   168652 |    24171     12 |     3586 |        0
112.68/112.80	c  112s |      16 |   210387 |   170452 |    24171     12 |     3586 |        0
114.78/114.81	c  114s |      16 |   212425 |   172452 |    24171     12 |     3586 |        0
116.78/116.86	c  116s |      16 |   215135 |   175052 |    24171     12 |     3586 |        0
118.78/118.90	c  118s |      16 |   217333 |   177052 |    24171     13 |     3586 |        0
120.87/120.96	c  120s |      16 |   220014 |   179652 |    24171     13 |     3586 |        0
122.97/123.01	c  122s |      16 |   222901 |   182452 |    24171     13 |     3586 |        0
125.27/125.32	c  124s |      16 |   223004 |   182552 |    24171     13 |     3586 |        0
127.37/127.41	c  126s |      16 |   223413 |   182952 |    24171     13 |     3586 |        0
129.57/129.61	c  128s |      16 |   224119 |   183652 |    24171     13 |     3586 |        0
131.67/131.76	c  130s |      16 |   225641 |   185152 |    24171     13 |     3586 |        0
133.77/133.81	c  133s |      16 |   227154 |   186652 |    24171     13 |     3586 |        0
135.77/135.85	c  135s |      16 |   228683 |   188152 |    24171     13 |     3586 |        0
137.87/137.92	c  137s |      16 |   230093 |   189552 |    24171     13 |     3586 |        0
139.97/140.01	c  139s |      16 |   231427 |   190852 |    24171     13 |     3586 |        0
142.17/142.26	c  141s |      16 |   231832 |   191252 |    24171     14 |     3586 |        0
144.27/144.35	c  143s |      16 |   233845 |   192952 |    24171     14 |     3586 |        0
147.37/147.46	c  146s |      16 |   235278 |   194352 |    24171     14 |     3586 |        0
149.37/149.47	c  148s |      16 |   237538 |   196452 |    26589     14 |     3586 |        0
150.27/150.32	c  149s |      17 |   238546 |   197432 |    26589     14 |     3586 |        0
152.27/152.34	c  151s |      17 |   241898 |   200432 |    26589     14 |     3586 |        0
154.37/154.41	c  153s |      17 |   244879 |   203232 |    26589     14 |     3586 |        0
156.47/156.50	c  155s |      17 |   247340 |   205532 |    26589     14 |     3586 |        0
158.47/158.51	c  157s |      17 |   252082 |   209432 |    26589     15 |     3586 |        0
161.47/161.58	c  160s |      17 |   259323 |   213632 |    26589     15 |     3588 |        0
164.06/164.18	c  163s |      17 |   263704 |   215432 |    26589     15 |     3601 |        0
166.26/166.38	c  165s |      17 |   264955 |   216032 |    26589     15 |     3601 |        0
168.27/168.39	c  167s |      17 |   270639 |   220932 |    26589     15 |     3601 |        0
170.37/170.42	c  169s |      17 |   276059 |   225732 |    26589     16 |     3601 |        0
172.37/172.44	c  171s |      17 |   280150 |   229332 |    26589     16 |     3601 |        0
174.37/174.47	c  173s |      17 |   283912 |   232932 |    26589     16 |     3601 |        0
176.47/176.53	c  175s |      17 |   287266 |   235932 |    26589     16 |     3601 |        0
178.57/178.60	c  177s |      17 |   289889 |   238432 |    26589     17 |     3601 |        0
180.57/180.65	c  179s |      17 |   293123 |   241432 |    26589     17 |     3601 |        0
182.67/182.77	c  182s |      17 |   295637 |   243832 |    26589     17 |     3601 |        0
184.66/184.78	c  184s |      17 |   298122 |   246132 |    26589     17 |     3601 |        0
186.76/186.81	c  186s |      17 |   300971 |   248932 |    26589     17 |     3601 |        0
188.76/188.85	c  188s |      17 |   303818 |   251532 |    26589     17 |     3601 |        0
191.06/191.11	c  190s |      17 |   305484 |   253132 |    26589     18 |     3601 |        0
193.67/193.70	c  192s |      17 |   307858 |   255432 |    26589     18 |     3601 |        0
195.66/195.71	c  194s |      17 |   310427 |   257932 |    26589     18 |     3601 |        0
197.66/197.75	c  196s |      17 |   312716 |   260132 |    26589     18 |     3601 |        0
199.66/199.78	c  199s |      17 |   315152 |   262432 |    26589     18 |     3601 |        0
201.76/201.83	c  201s |      17 |   317594 |   264832 |    26589     18 |     3601 |        0
203.76/203.88	c  203s |      17 |   319473 |   266532 |    26589     18 |     3601 |        0
205.96/206.02	c  205s |      17 |   321430 |   268332 |    26589     19 |     3601 |        0
207.97/208.08	c  207s |      17 |   323035 |   269832 |    26589     19 |     3601 |        0
210.07/210.19	c  209s |      17 |   324670 |   271332 |    26589     19 |     3601 |        0
212.06/212.19	c  211s |      17 |   327434 |   273932 |    26589     19 |     3601 |        0
214.16/214.28	c  213s |      17 |   329748 |   276132 |    26589     19 |     3601 |        0
216.26/216.30	c  215s |      17 |   333264 |   279432 |    26589     19 |     3601 |        0
218.26/218.36	c  217s |      17 |   337200 |   283132 |    26589     19 |     3601 |        0
220.46/220.50	c  219s |      17 |   340060 |   285832 |    26589     20 |     3601 |        0
222.46/222.50	c  221s |      17 |   342546 |   288132 |    26589     20 |     3601 |        0
224.46/224.54	c  223s |      17 |   345166 |   290632 |    26589     20 |     3601 |        0
226.46/226.58	c  225s |      17 |   347659 |   293032 |    26589     20 |     3601 |        0
228.56/228.61	c  227s |      17 |   350053 |   295332 |    29248     20 |     3601 |        0
229.26/229.35	c  228s |      18 |   351040 |   296252 |    29248     20 |     3601 |        0
231.25/231.39	c  230s |      18 |   357226 |   301952 |    29248     21 |     3601 |        0
233.35/233.44	c  232s |      18 |   361741 |   306052 |    29248     21 |     3601 |        0
235.36/235.47	c  234s |      18 |   367244 |   310552 |    29248     21 |     3601 |        0
237.45/237.53	c  236s |      18 |   373738 |   314652 |    29248     21 |     3601 |        0
239.45/239.58	c  238s |      18 |   377531 |   317852 |    29248     21 |     3601 |        0
241.55/241.61	c  240s |      18 |   381461 |   320452 |    29248     22 |     3601 |        0
243.55/243.67	c  242s |      18 |   386316 |   323752 |    29248     22 |     3601 |        0
245.55/245.68	c  244s |      18 |   390079 |   326552 |    29248     22 |     3601 |        0
247.56/247.68	c  246s |      18 |   393887 |   329152 |    29248     22 |     3601 |        0
249.65/249.72	c  248s |      18 |   397802 |   331752 |    29248     22 |     3601 |        0
251.65/251.79	c  251s |      18 |   401656 |   334252 |    29248     22 |     3601 |        0
253.75/253.86	c  253s |      18 |   405054 |   336852 |    29248     23 |     3601 |        0
255.95/256.07	c  255s |      18 |   407559 |   338852 |    29248     23 |     3601 |        0
258.05/258.12	c  257s |      18 |   411954 |   341052 |    29248     23 |     3601 |        0
260.05/260.13	c  259s |      18 |   414945 |   343052 |    29248     23 |     3601 |        0
262.15/262.20	c  261s |      18 |   418354 |   345452 |    29248     23 |     3601 |        0
264.14/264.22	c  263s |      18 |   421466 |   347852 |    29248     23 |     3601 |        0
266.25/266.39	c  265s |      18 |   427398 |   353752 |    29248     24 |     3601 |        0
268.35/268.41	c  267s |      18 |   431050 |   357352 |    29248     24 |     3601 |        0
270.66/270.73	c  269s |      18 |   433140 |   359252 |    29248     24 |     3601 |        0
272.65/272.79	c  272s |      18 |   437639 |   363052 |    29248     24 |     3601 |        0
274.75/274.82	c  274s |      18 |   441633 |   366552 |    29248     24 |     3601 |        0
276.75/276.86	c  276s |      18 |   444645 |   369252 |    29248     25 |     3601 |        0
278.85/278.90	c  278s |      18 |   448170 |   372252 |    29248     25 |     3601 |        0
280.85/280.91	c  280s |      18 |   451396 |   375052 |    29248     25 |     3601 |        0
282.85/282.93	c  282s |      18 |   455147 |   377952 |    29248     25 |     3601 |        0
284.85/284.99	c  284s |      18 |   458788 |   380652 |    29248     25 |     3601 |        0
286.95/287.03	c  286s |      18 |   462542 |   383152 |    29248     25 |     3601 |        0
288.95/289.05	c  288s |      18 |   465838 |   385552 |    29248     26 |     3601 |        0
290.95/291.08	c  290s |      18 |   469749 |   388252 |    29248     26 |     3601 |        0
292.95/293.09	c  292s |      18 |   472506 |   390452 |    29248     26 |     3601 |        0
295.05/295.11	c  294s |      18 |   475705 |   392852 |    29248     26 |     3601 |        0
297.05/297.14	c  296s |      18 |   478742 |   394752 |    29248     26 |     3601 |        0
299.05/299.20	c  298s |      18 |   481965 |   397052 |    29248     26 |     3601 |        0
301.15/301.23	c  300s |      18 |   484886 |   399152 |    29248     26 |     3601 |        0
303.95/304.03	c  303s |      18 |   487214 |   400952 |    29248     27 |     3601 |        0
307.14/307.28	c  306s |      18 |   489685 |   402652 |    29248     27 |     3601 |        0
309.24/309.35	c  308s |      18 |   493226 |   404752 |    29248     27 |     3601 |        0
311.25/311.40	c  310s |      18 |   496740 |   407352 |    29248     27 |     3601 |        0
313.34/313.41	c  312s |      18 |   499827 |   409352 |    29248     27 |     3601 |        0
315.34/315.46	c  314s |      18 |   502662 |   411152 |    29248     27 |     3601 |        0
317.34/317.48	c  316s |      18 |   505532 |   413252 |    29248     27 |     3601 |        0
319.34/319.49	c  318s |      18 |   508158 |   415152 |    29248     27 |     3601 |        0
321.44/321.52	c  320s |      18 |   510621 |   416952 |    29248     27 |     3601 |        0
323.54/323.67	c  322s |      18 |   512583 |   418252 |    29248     28 |     3601 |        0
325.55/325.69	c  324s |      18 |   515909 |   420452 |    29248     28 |     3601 |        0
327.64/327.77	c  327s |      18 |   520352 |   422752 |    29248     28 |     3601 |        0
329.74/329.84	c  329s |      18 |   524155 |   425352 |    29248     28 |     3601 |        0
331.74/331.87	c  331s |      18 |   527533 |   427752 |    29248     28 |     3601 |        0
333.74/333.87	c  333s |      18 |   530738 |   429952 |    29248     28 |     3601 |        0
335.84/335.94	c  335s |      18 |   533545 |   432052 |    29248     28 |     3601 |        0
337.93/338.09	c  337s |      18 |   536294 |   434052 |    29248     29 |     3601 |        0
340.03/340.12	c  339s |      18 |   539271 |   436252 |    29248     29 |     3601 |        0
344.43/344.54	c  343s |      18 |   541332 |   437852 |    29248     29 |     3601 |        0
346.43/346.60	c  345s |      18 |   544138 |   439752 |    29248     29 |     3601 |        0
348.52/348.67	c  347s |      18 |   547409 |   441952 |    32173     29 |     3601 |        0
350.52/350.68	c  349s |      18 |   550800 |   444052 |    32173     29 |     3601 |        0
350.93/351.06	c  350s |      19 |   551301 |   444482 |    32173     29 |     3601 |        0
353.23/353.33	c  352s |      19 |   551581 |   444582 |    32173     29 |     3601 |        0
356.33/356.41	c  355s |      19 |   551911 |   444882 |    32173     29 |     3601 |        0
358.32/358.43	c  357s |      19 |   558398 |   451282 |    32173     29 |     3601 |        0
360.42/360.50	c  359s |      19 |   562640 |   455382 |    32173     30 |     3601 |        0
362.42/362.53	c  361s |      19 |   565749 |   458482 |    32173     30 |     3601 |        0
364.42/364.53	c  363s |      19 |   568492 |   461182 |    32173     30 |     3601 |        0
366.52/366.61	c  365s |      19 |   571000 |   463682 |    32173     30 |     3601 |        0
368.52/368.63	c  367s |      19 |   573310 |   465982 |    32173     30 |     3601 |        0
370.52/370.67	c  369s |      19 |   575422 |   468082 |    32173     30 |     3601 |        0
372.62/372.77	c  372s |      19 |   577247 |   469882 |    32173     30 |     3601 |        0
375.12/375.22	c  374s |      19 |   578778 |   471382 |    32173     31 |     3601 |        0
377.11/377.30	c  376s |      19 |   580874 |   472882 |    32173     31 |     3601 |        0
379.21/379.33	c  378s |      19 |   585546 |   476382 |    32173     31 |     3601 |        0
381.31/381.40	c  380s |      19 |   588852 |   479382 |    32173     31 |     3601 |        0
383.31/383.43	c  382s |      19 |   592058 |   482482 |    32173     31 |     3601 |        0
385.32/385.45	c  384s |      19 |   594869 |   485282 |    32173     31 |     3601 |        0
387.42/387.52	c  386s |      19 |   597680 |   488082 |    32173     31 |     3601 |        0
389.62/389.76	c  389s |      19 |   599031 |   489382 |    32173     32 |     3601 |        0
391.62/391.78	c  391s |      19 |   602252 |   492382 |    32173     32 |     3601 |        0
393.72/393.82	c  393s |      19 |   604796 |   494882 |    32173     32 |     3601 |        0
395.71/395.86	c  395s |      19 |   607557 |   497582 |    32173     32 |     3601 |        0
397.71/397.89	c  397s |      19 |   610297 |   500282 |    32173     32 |     3601 |        0
399.81/399.92	c  399s |      19 |   613037 |   502982 |    32173     32 |     3601 |        0
401.81/401.94	c  401s |      19 |   615870 |   505582 |    32173     32 |     3601 |        0
404.82/404.94	c  404s |      19 |   618016 |   507582 |    32173     33 |     3601 |        0
406.81/406.96	c  406s |      19 |   620861 |   510382 |    32173     33 |     3601 |        0
409.61/409.70	c  408s |      19 |   621953 |   511382 |    32173     33 |     3601 |        0
411.61/411.75	c  410s |      19 |   624658 |   513982 |    32173     33 |     3601 |        0
413.71/413.84	c  413s |      19 |   627062 |   516282 |    32173     33 |     3601 |        0
415.71/415.89	c  415s |      19 |   628790 |   517982 |    32173     33 |     3601 |        0
417.81/417.93	c  417s |      19 |   630643 |   519782 |    32173     33 |     3601 |        0
419.91/420.02	c  419s |      19 |   632657 |   521782 |    32173     33 |     3601 |        0
422.01/422.19	c  421s |      19 |   634550 |   523582 |    32173     33 |     3601 |        0
424.11/424.21	c  423s |      19 |   636309 |   525282 |    32173     33 |     3601 |        0
426.21/426.39	c  425s |      19 |   636831 |   525782 |    32173     34 |     3601 |        0
428.30/428.41	c  427s |      19 |   639610 |   528482 |    32173     34 |     3601 |        0
430.30/430.43	c  429s |      19 |   641971 |   530782 |    32173     34 |     3601 |        0
432.40/432.50	c  431s |      19 |   644053 |   532782 |    32173     34 |     3601 |        0
434.41/434.51	c  433s |      19 |   646082 |   534782 |    32173     34 |     3601 |        0
436.40/436.53	c  435s |      19 |   648387 |   537082 |    32173     34 |     3601 |        0
438.40/438.60	c  437s |      19 |   650899 |   539582 |    32173     34 |     3601 |        0
440.50/440.66	c  439s |      19 |   653518 |   542182 |    32173     34 |     3601 |        0
442.90/443.01	c  442s |      19 |   654925 |   543582 |    32173     35 |     3601 |        0
444.90/445.04	c  444s |      19 |   657441 |   546082 |    32173     35 |     3601 |        0
446.90/447.08	c  446s |      19 |   660959 |   549582 |    32173     35 |     3601 |        0
449.00/449.11	c  448s |      19 |   664265 |   552882 |    32173     35 |     3601 |        0
451.00/451.13	c  450s |      19 |   666574 |   555182 |    32173     35 |     3601 |        0
453.00/453.13	c  452s |      19 |   668679 |   557282 |    32173     35 |     3601 |        0
455.00/455.15	c  454s |      19 |   670594 |   559182 |    32173     35 |     3601 |        0
457.30/457.48	c  456s |      19 |   672606 |   561182 |    32173     36 |     3601 |        0
459.29/459.48	c  458s |      19 |   674610 |   563182 |    32173     36 |     3601 |        0
461.79/461.94	c  461s |      19 |   677319 |   565882 |    32173     36 |     3601 |        0
463.89/464.01	c  463s |      19 |   679923 |   568482 |    32173     36 |     3601 |        0
465.99/466.10	c  465s |      19 |   682537 |   571082 |    32173     36 |     3601 |        0
467.99/468.12	c  467s |      19 |   684847 |   573382 |    32173     36 |     3601 |        0
470.09/470.24	c  469s |      19 |   686758 |   575282 |    32173     36 |     3601 |        0
472.19/472.38	c  471s |      19 |   688364 |   576882 |    32173     36 |     3601 |        0
474.19/474.39	c  473s |      19 |   690075 |   578582 |    32173     36 |     3601 |        0
476.39/476.51	c  475s |      19 |   690878 |   579382 |    32173     37 |     3601 |        0
478.40/478.58	c  477s |      19 |   693387 |   581882 |    32173     37 |     3601 |        0
480.50/480.63	c  479s |      19 |   696594 |   585082 |    32173     37 |     3601 |        0
482.50/482.66	c  481s |      19 |   698810 |   587282 |    32173     37 |     3601 |        0
499.29/499.46	c  498s |      19 |   700325 |   588782 |    32173     37 |     3601 |        0
505.89/506.10	c  505s |      19 |   700925 |   589382 |    32173     37 |     3601 |        0
507.99/508.11	c  507s |      19 |   703453 |   591882 |    32173     37 |     3601 |        0
510.09/510.20	c  509s |      19 |   705762 |   594182 |    32173     37 |     3601 |        0
512.09/512.21	c  511s |      19 |   707365 |   595782 |    32173     37 |     3601 |        0
517.28/517.46	c  516s |      19 |   708691 |   597082 |    32173     38 |     3601 |        0
520.09/520.25	c  519s |      19 |   711250 |   599582 |    32173     38 |     3601 |        0
522.09/522.25	c  521s |      19 |   713785 |   602082 |    32173     38 |     3601 |        0
524.19/524.34	c  523s |      19 |   716498 |   604782 |    32173     38 |     3601 |        0
526.29/526.44	c  525s |      19 |   719000 |   607282 |    32173     38 |     3601 |        0
528.29/528.49	c  527s |      19 |   720922 |   609182 |    32173     38 |     3601 |        0
530.39/530.52	c  529s |      19 |   722466 |   610682 |    32173     38 |     3601 |        0
532.49/532.62	c  531s |      19 |   723791 |   611982 |    32173     38 |     3601 |        0
534.49/534.64	c  533s |      19 |   725112 |   613282 |    32173     38 |     3601 |        0
536.49/536.66	c  535s |      19 |   726427 |   614582 |    32173     38 |     3601 |        0
538.59/538.72	c  537s |      19 |   727231 |   615382 |    32173     39 |     3601 |        0
540.59/540.74	c  539s |      19 |   729164 |   617282 |    32173     39 |     3601 |        0
542.59/542.75	c  541s |      19 |   731082 |   619182 |    32173     39 |     3601 |        0
545.78/545.90	c  545s |      19 |   732113 |   620182 |    32173     39 |     3601 |        0
547.78/547.98	c  547s |      19 |   734036 |   622082 |    32173     39 |     3601 |        0
549.88/550.06	c  549s |      19 |   735954 |   623982 |    32173     39 |     3601 |        0
551.88/552.09	c  551s |      19 |   737560 |   625582 |    32173     39 |     3601 |        0
553.98/554.17	c  553s |      19 |   739191 |   627182 |    32173     39 |     3601 |        0
555.98/556.20	c  555s |      19 |   740716 |   628682 |    32173     39 |     3601 |        0
558.07/558.26	c  557s |      19 |   742228 |   630182 |    32173     39 |     3601 |        0
560.17/560.39	c  559s |      19 |   743937 |   631882 |    32173     39 |     3601 |        0
563.08/563.21	c  562s |      19 |   745047 |   632982 |    32173     40 |     3601 |        0
565.07/565.27	c  564s |      19 |   747474 |   635382 |    32173     40 |     3601 |        0
567.17/567.35	c  566s |      19 |   749882 |   637782 |    32173     40 |     3601 |        0
569.27/569.40	c  568s |      19 |   752301 |   640182 |    32173     40 |     3601 |        0
571.27/571.41	c  570s |      19 |   754354 |   642182 |    32173     40 |     3601 |        0
573.27/573.49	c  572s |      19 |   756362 |   644182 |    32173     40 |     3601 |        0
575.37/575.52	c  574s |      19 |   757678 |   645482 |    32173     40 |     3601 |        0
577.47/577.62	c  576s |      19 |   759587 |   647382 |    32173     40 |     3601 |        0
579.46/579.68	c  578s |      19 |   761199 |   648982 |    32173     40 |     3601 |        0
581.56/581.76	c  581s |      19 |   762907 |   650682 |    32173     40 |     3601 |        0
583.66/583.82	c  583s |      19 |   764519 |   652282 |    32173     41 |     3601 |        0
585.66/585.86	c  585s |      19 |   765030 |   652782 |    32173     41 |     3601 |        0
587.76/587.91	c  587s |      19 |   767135 |   654882 |    32173     41 |     3601 |        0
589.76/589.92	c  589s |      19 |   769148 |   656882 |    32173     41 |     3601 |        0
591.77/591.95	c  591s |      19 |   770777 |   658482 |    32173     41 |     3601 |        0
593.76/593.97	c  593s |      19 |   772293 |   659982 |    32173     41 |     3601 |        0
595.86/596.06	c  595s |      19 |   774013 |   661682 |    32173     41 |     3601 |        0
609.66/609.84	c  609s |      19 |   774223 |   661882 |    32173     41 |     3601 |        0
611.76/611.96	c  611s |      19 |   775828 |   663482 |    35391     41 |     3601 |        0
613.77/613.99	c  613s |      19 |   777532 |   665182 |    35391     41 |     3601 |        0
615.87/616.08	c  615s |      19 |   779137 |   666782 |    35391     41 |     3601 |        0
615.97/616.14	c  615s |      20 |   779190 |   666827 |    35391     41 |     3601 |        0
620.16/620.37	c  619s |      20 |   779316 |   666927 |    35391     41 |     3601 |        0
625.86/626.09	c  625s |      20 |   780924 |   667027 |    35391     41 |     3603 |        0
627.97/628.14	c  627s |      20 |   788248 |   671527 |    35391     41 |     3603 |        0
629.96/630.19	c  629s |      20 |   794510 |   674827 |    35391     42 |     3603 |        0
631.96/632.19	c  631s |      20 |   799943 |   677827 |    35391     42 |     3603 |        0
634.06/634.21	c  633s |      20 |   804235 |   680527 |    35391     42 |     3603 |        0
636.06/636.25	c  635s |      20 |   808538 |   683527 |    35391     42 |     3603 |        0
638.06/638.26	c  637s |      20 |   812556 |   685827 |    35391     42 |     3603 |        0
640.16/640.31	c  639s |      20 |   816560 |   688127 |    35391     42 |     3603 |        0
642.16/642.40	c  641s |      20 |   820493 |   690227 |    35391     42 |     3603 |        0
644.36/644.50	c  643s |      20 |   824529 |   692327 |    35391     43 |     3603 |        0
646.35/646.56	c  645s |      20 |   828377 |   694227 |    35391     43 |     3603 |        0
648.35/648.59	c  647s |      20 |   832431 |   696227 |    35391     43 |     3603 |        0
650.45/650.64	c  649s |      20 |   836004 |   698127 |    35391     43 |     3603 |        0
652.45/652.66	c  651s |      20 |   840315 |   699927 |    35391     43 |     3603 |        0
654.46/654.69	c  653s |      20 |   843363 |   701327 |    35391     43 |     3603 |        0
656.45/656.70	c  655s |      20 |   847770 |   703027 |    35391     43 |     3603 |        0
658.55/658.76	c  657s |      20 |   852153 |   704727 |    35391     43 |     3603 |        0
660.55/660.79	c  660s |      20 |   857277 |   706327 |    35391     43 |     3603 |        0
662.75/662.91	c  662s |      20 |   861796 |   708027 |    35391     43 |     3603 |        0
664.85/665.01	c  664s |      20 |   864936 |   709327 |    35391     43 |     3603 |        0
666.85/667.05	c  666s |      20 |   869622 |   711027 |    35391     43 |     3603 |        0
669.35/669.58	c  668s |      20 |   872692 |   712427 |    35391     44 |     3603 |        0
671.45/671.64	c  670s |      20 |   876255 |   714327 |    35391     44 |     3603 |        0
673.55/673.70	c  672s |      20 |   880792 |   716527 |    35391     44 |     3603 |        0
675.55/675.77	c  675s |      20 |   882719 |   717627 |    35391     44 |     3603 |        0
677.64/677.84	c  677s |      20 |   886495 |   719327 |    35391     44 |     3603 |        0
679.65/679.89	c  679s |      20 |   890485 |   722027 |    35391     44 |     3603 |        0
681.74/681.90	c  681s |      20 |   894074 |   723427 |    35391     44 |     3603 |        0
683.74/683.92	c  683s |      20 |   896459 |   724827 |    35391     44 |     3603 |        0
685.74/685.98	c  685s |      20 |   899054 |   726327 |    35391     44 |     3603 |        0
687.84/688.09	c  687s |      20 |   901657 |   727827 |    35391     44 |     3603 |        0
689.94/690.12	c  689s |      20 |   903779 |   729227 |    35391     44 |     3603 |        0
691.94/692.12	c  691s |      20 |   906807 |   731427 |    35391     44 |     3603 |        0
694.34/694.53	c  693s |      20 |   908165 |   732127 |    35391     45 |     3603 |        0
696.34/696.53	c  695s |      20 |   912837 |   734527 |    35391     45 |     3603 |        0
698.34/698.53	c  697s |      20 |   916686 |   737227 |    35391     45 |     3603 |        0
700.44/700.68	c  699s |      20 |   919932 |   739427 |    35391     45 |     3603 |        0
702.54/702.78	c  702s |      20 |   921634 |   740327 |    35391     45 |     3603 |        0
704.64/704.83	c  704s |      20 |   923011 |   741227 |    35391     45 |     3603 |        0
707.84/708.06	c  707s |      20 |   923820 |   741827 |    35391     45 |     3603 |        0
710.04/710.24	c  709s |      20 |   924727 |   742727 |    35391     45 |     3603 |        0
712.03/712.24	c  711s |      20 |   926399 |   743827 |    35391     45 |     3603 |        0
714.03/714.26	c  713s |      20 |   929545 |   745127 |    35391     45 |     3603 |        0
716.04/716.28	c  715s |      20 |   932661 |   746627 |    35391     45 |     3603 |        0
718.14/718.33	c  717s |      20 |   936795 |   748127 |    35391     45 |     3603 |        0
720.13/720.33	c  719s |      20 |   939697 |   749627 |    35391     45 |     3603 |        0
722.13/722.35	c  721s |      20 |   944009 |   751327 |    35391     45 |     3603 |        0
724.23/724.41	c  723s |      20 |   946920 |   753127 |    35391     46 |     3603 |        0
726.33/726.51	c  725s |      20 |   950300 |   755027 |    35391     46 |     3603 |        0
728.43/728.60	c  727s |      20 |   951903 |   755827 |    35391     46 |     3603 |        0
730.43/730.67	c  729s |      20 |   956464 |   757527 |    35391     46 |     3603 |        0
734.73/734.98	c  734s |      20 |   957612 |   758127 |    35391     46 |     3604 |        0
736.72/737.00	c  736s |      20 |   959763 |   759727 |    35391     46 |     3604 |        0
738.82/739.01	c  738s |      20 |   966837 |   766127 |    35391     46 |     3604 |        0
740.82/741.01	c  740s |      20 |   971800 |   770727 |    35391     46 |     3604 |        0
742.83/743.02	c  742s |      20 |   975052 |   773327 |    35391     47 |     3604 |        0
744.83/745.02	c  744s |      20 |   979133 |   776627 |    35391     47 |     3604 |        0
746.84/747.05	c  746s |      20 |   985544 |   781827 |    35391     47 |     3604 |        0
748.83/749.09	c  748s |      20 |   988872 |   784627 |    35391     47 |     3604 |        0
750.93/751.10	c  750s |      20 |   992285 |   787827 |    35391     47 |     3604 |        0
753.03/753.25	c  752s |      20 |   995403 |   790727 |    35391     48 |     3604 |        0
755.03/755.27	c  754s |      20 |   998788 |   793927 |    35391     48 |     3604 |        0
757.03/757.28	c  756s |      20 |  1001057 |   796027 |    35391     48 |     3604 |        0
759.13/759.33	c  758s |      20 |  1004522 |   799227 |    35391     48 |     3604 |        0
761.13/761.38	c  760s |      20 |  1007540 |   801827 |    35391     48 |     3604 |        0
763.23/763.43	c  762s |      20 |  1010352 |   804627 |    35391     48 |     3604 |        0
765.23/765.46	c  764s |      20 |  1012865 |   807127 |    35391     48 |     3604 |        0
767.23/767.47	c  766s |      20 |  1015272 |   809527 |    35391     48 |     3604 |        0
769.32/769.50	c  768s |      20 |  1017376 |   811627 |    35391     49 |     3604 |        0
773.13/773.37	c  772s |      20 |  1019087 |   813327 |    35391     49 |     3604 |        0
780.22/780.43	c  779s |      20 |  1021638 |   815827 |    35391     49 |     3604 |        0
782.22/782.43	c  781s |      20 |  1022879 |   817027 |    35391     49 |     3604 |        0
784.22/784.49	c  783s |      20 |  1024804 |   818727 |    35391     49 |     3604 |        0
786.42/786.61	c  785s |      20 |  1026008 |   819927 |    35391     49 |     3604 |        0
791.72/791.98	c  791s |      20 |  1026912 |   820527 |    35391     49 |     3604 |        0
793.72/793.98	c  793s |      20 |  1033742 |   826527 |    35391     49 |     3604 |        0
795.82/796.02	c  795s |      20 |  1038325 |   830727 |    35391     50 |     3604 |        0
797.82/798.03	c  797s |      20 |  1042457 |   834427 |    35391     50 |     3604 |        0
801.12/801.31	c  800s |      20 |  1044770 |   835727 |    35391     50 |     3604 |        0
803.11/803.34	c  802s |      20 |  1047588 |   838527 |    35391     50 |     3604 |        0
805.12/805.35	c  804s |      20 |  1051223 |   842127 |    35391     50 |     3604 |        0
807.22/807.41	c  806s |      20 |  1054556 |   845427 |    35391     50 |     3604 |        0
809.21/809.45	c  808s |      20 |  1057374 |   847827 |    35391     50 |     3604 |        0
811.41/811.61	c  810s |      20 |  1059667 |   849727 |    35391     50 |     3604 |        0
815.01/815.28	c  814s |      20 |  1059972 |   850027 |    35391     51 |     3604 |        0
817.21/817.42	c  816s |      20 |  1061915 |   851927 |    35391     51 |     3604 |        0
819.21/819.42	c  818s |      20 |  1066135 |   855627 |    35391     51 |     3604 |        0
821.21/821.49	c  820s |      20 |  1069378 |   858627 |    35391     51 |     3604 |        0
823.31/823.53	c  822s |      20 |  1072029 |   860927 |    35391     51 |     3604 |        0
825.31/825.56	c  824s |      20 |  1074725 |   863327 |    35391     51 |     3604 |        0
827.40/827.65	c  826s |      20 |  1076864 |   865227 |    35391     51 |     3604 |        0
829.50/829.71	c  828s |      20 |  1078741 |   866927 |    35391     51 |     3604 |        0
831.51/831.74	c  830s |      20 |  1081193 |   868427 |    35391     51 |     3604 |        0
833.61/833.87	c  833s |      20 |  1082438 |   869627 |    35391     52 |     3604 |        0
835.70/835.90	c  835s |      20 |  1083814 |   870927 |    35391     52 |     3604 |        0
837.70/837.97	c  837s |      20 |  1085974 |   872927 |    35391     52 |     3604 |        0
839.80/840.02	c  839s |      20 |  1087867 |   874727 |    35391     52 |     3604 |        0
841.80/842.08	c  841s |      20 |  1089726 |   876327 |    35391     52 |     3604 |        0
844.00/844.20	c  843s |      20 |  1091348 |   877627 |    35391     52 |     3604 |        0
846.00/846.29	c  845s |      20 |  1093023 |   879127 |    35391     52 |     3604 |        0
848.10/848.36	c  847s |      20 |  1094876 |   880627 |    35391     52 |     3604 |        0
850.20/850.47	c  849s |      20 |  1096697 |   882227 |    35391     52 |     3604 |        0
852.30/852.52	c  851s |      20 |  1098595 |   883727 |    35391     52 |     3604 |        0
854.40/854.69	c  853s |      20 |  1100342 |   885127 |    35391     52 |     3604 |        0
856.59/856.81	c  856s |      20 |  1102073 |   886427 |    35391     52 |     3604 |        0
858.59/858.86	c  858s |      20 |  1103072 |   887227 |    35391     52 |     3604 |        0
861.40/861.65	c  860s |      20 |  1103345 |   887427 |    35391     52 |     3604 |        0
863.70/863.93	c  863s |      20 |  1105268 |   889227 |    35391     53 |     3604 |        0
865.70/865.96	c  865s |      20 |  1107108 |   891027 |    35391     53 |     3604 |        0
867.70/867.99	c  867s |      20 |  1108904 |   892627 |    35391     53 |     3604 |        0
870.59/870.87	c  870s |      20 |  1110953 |   894627 |    35391     53 |     3604 |        0
872.59/872.89	c  872s |      20 |  1113341 |   896927 |    35391     53 |     3604 |        0
874.69/874.97	c  874s |      20 |  1116136 |   899627 |    35391     53 |     3604 |        0
876.79/877.01	c  876s |      20 |  1118509 |   901927 |    35391     53 |     3604 |        0
878.80/879.04	c  878s |      20 |  1120632 |   904027 |    35391     53 |     3604 |        0
880.90/881.13	c  880s |      20 |  1122456 |   905827 |    35391     53 |     3604 |        0
882.99/883.25	c  882s |      20 |  1124335 |   907527 |    35391     53 |     3604 |        0
886.89/887.15	c  886s |      20 |  1125744 |   908827 |    35391     54 |     3604 |        0
888.89/889.16	c  888s |      20 |  1128031 |   910927 |    35391     54 |     3604 |        0
890.99/891.21	c  890s |      20 |  1131638 |   914227 |    35391     54 |     3604 |        0
892.99/893.24	c  892s |      20 |  1135636 |   917727 |    35391     54 |     3604 |        0
894.99/895.24	c  894s |      20 |  1139212 |   920927 |    35391     54 |     3604 |        0
897.09/897.30	c  896s |      20 |  1142787 |   924127 |    35391     54 |     3604 |        0
899.29/899.52	c  898s |      20 |  1145479 |   926627 |    35391     54 |     3604 |        0
901.39/901.67	c  900s |      20 |  1146286 |   927427 |    35391     54 |     3604 |        0
903.48/903.76	c  902s |      20 |  1147100 |   928227 |    35391     54 |     3604 |        0
906.38/906.60	c  905s |      20 |  1147402 |   928527 |    35391     55 |     3604 |        0
920.69/920.94	c  920s |      20 |  1147602 |   928727 |    35391     55 |     3604 |        0
922.79/923.03	c  922s |      20 |  1151593 |   932227 |    35391     55 |     3604 |        0
924.79/925.04	c  924s |      20 |  1153420 |   933927 |    35391     55 |     3604 |        0
926.89/927.18	c  926s |      20 |  1155499 |   935927 |    35391     55 |     3604 |        0
928.98/929.21	c  928s |      20 |  1157311 |   937627 |    35391     55 |     3604 |        0
930.98/931.28	c  930s |      20 |  1160178 |   940127 |    35391     55 |     3604 |        0
933.18/933.46	c  932s |      20 |  1162664 |   942527 |    35391     55 |     3604 |        0
935.28/935.53	c  934s |      20 |  1164766 |   944527 |    35391     55 |     3604 |        0
937.48/937.70	c  936s |      20 |  1167055 |   946727 |    35391     55 |     3604 |        0
939.58/939.84	c  939s |      20 |  1168413 |   948027 |    35391     55 |     3604 |        0
941.78/942.03	c  941s |      20 |  1168615 |   948227 |    35391     56 |     3604 |        0
945.38/945.61	c  944s |      20 |  1169155 |   948727 |    35391     56 |     3604 |        0
947.38/947.61	c  946s |      20 |  1171817 |   951327 |    35391     56 |     3604 |        0
950.08/950.38	c  949s |      20 |  1174569 |   953827 |    35391     56 |     3604 |        0
952.08/952.38	c  951s |      20 |  1176796 |   955927 |    35391     56 |     3604 |        0
954.18/954.43	c  953s |      20 |  1178904 |   958027 |    35391     56 |     3604 |        0
956.18/956.49	c  955s |      20 |  1180775 |   959827 |    35391     56 |     3604 |        0
958.28/958.59	c  957s |      20 |  1182741 |   961727 |    35391     56 |     3604 |        0
960.38/960.62	c  959s |      20 |  1185274 |   964227 |    35391     56 |     3604 |        0
962.38/962.65	c  961s |      20 |  1186811 |   965727 |    35391     56 |     3604 |        0
964.48/964.75	c  963s |      20 |  1188567 |   967427 |    35391     56 |     3604 |        0
966.57/966.86	c  966s |      20 |  1188996 |   967827 |    35391     57 |     3604 |        0
968.67/968.93	c  968s |      20 |  1190915 |   969527 |    35391     57 |     3604 |        0
983.87/984.14	c  983s |      20 |  1191036 |   969627 |    35391     57 |     3604 |        0
985.87/986.15	c  985s |      20 |  1193261 |   971627 |    35391     57 |     3604 |        0
987.87/988.20	c  987s |      20 |  1195098 |   973427 |    35391     57 |     3604 |        0
989.97/990.21	c  989s |      20 |  1197129 |   975427 |    35391     57 |     3604 |        0
992.07/992.32	c  991s |      20 |  1199066 |   977327 |    35391     57 |     3604 |        0
994.17/994.44	c  993s |      20 |  1200981 |   979227 |    35391     57 |     3604 |        0
996.26/996.52	c  995s |      20 |  1202588 |   980827 |    35391     57 |     3604 |        0
998.26/998.52	c  997s |      20 |  1204104 |   982327 |    35391     57 |     3604 |        0
1000.26/1000.58	c  999s |      20 |  1205711 |   983927 |    35391     57 |     3604 |        0
1002.36/1002.61	c 1001s |      20 |  1207031 |   985127 |    35391     57 |     3604 |        0
1004.37/1004.62	c 1003s |      20 |  1213135 |   987927 |    35391     57 |     3604 |        0
1006.38/1006.63	c 1005s |      20 |  1219206 |   993727 |    38931     58 |     3604 |        0
1008.37/1008.67	c 1007s |      20 |  1224231 |   998527 |    38931     58 |     3604 |        0
1009.27/1009.50	c 1008s |      21 |  1226116 |  1000345 |    38931     58 |     3604 |        0
1011.27/1011.52	c 1010s |      21 |  1232133 |  1004645 |    38931     58 |     3604 |        0
1013.27/1013.57	c 1012s |      21 |  1236068 |  1008245 |    38931     58 |     3604 |        0
1015.37/1015.67	c 1014s |      21 |  1240643 |  1011845 |    38931     59 |     3604 |        0
1017.37/1017.68	c 1016s |      21 |  1246757 |  1017745 |    38931     59 |     3604 |        0
1019.47/1019.72	c 1018s |      21 |  1252044 |  1022345 |    38931     59 |     3604 |        0
1021.46/1021.74	c 1020s |      21 |  1257227 |  1026645 |    38931     59 |     3604 |        0
1023.46/1023.78	c 1023s |      21 |  1261302 |  1029845 |    38931     59 |     3604 |        0
1025.56/1025.88	c 1025s |      21 |  1265735 |  1033445 |    38931     60 |     3604 |        0
1027.56/1027.88	c 1027s |      21 |  1270005 |  1036945 |    38931     60 |     3604 |        0
1029.66/1029.94	c 1029s |      21 |  1273124 |  1039645 |    38931     60 |     3604 |        0
1031.67/1031.97	c 1031s |      21 |  1275768 |  1041845 |    38931     60 |     3604 |        0
1033.66/1033.99	c 1033s |      21 |  1278756 |  1044345 |    38931     60 |     3604 |        0
1035.76/1036.05	c 1035s |      21 |  1281490 |  1046745 |    38931     60 |     3604 |        0
1037.76/1038.09	c 1037s |      21 |  1283917 |  1048745 |    38931     60 |     3604 |        0
1039.86/1040.16	c 1039s |      21 |  1286220 |  1050745 |    38931     60 |     3604 |        0
1041.96/1042.26	c 1041s |      21 |  1288496 |  1052545 |    38931     60 |     3604 |        0
1044.06/1044.35	c 1043s |      21 |  1290518 |  1054245 |    38931     60 |     3604 |        0
1046.36/1046.61	c 1045s |      21 |  1292868 |  1056245 |    38931     61 |     3604 |        0
1048.36/1048.64	c 1047s |      21 |  1293973 |  1057145 |    38931     61 |     3604 |        0
1051.25/1051.56	c 1050s |      21 |  1295955 |  1058845 |    38931     61 |     3604 |        0
1053.56/1053.84	c 1053s |      21 |  1298133 |  1060745 |    38931     61 |     3604 |        0
1055.55/1055.84	c 1055s |      21 |  1302046 |  1063745 |    38931     61 |     3604 |        0
1057.75/1058.00	c 1057s |      21 |  1304887 |  1066045 |    38931     61 |     3604 |        0
1059.75/1060.07	c 1059s |      21 |  1307404 |  1068245 |    38931     61 |     3604 |        0
1061.75/1062.09	c 1061s |      21 |  1309748 |  1070345 |    38931     61 |     3604 |        0
1063.85/1064.17	c 1063s |      21 |  1312452 |  1072745 |    38931     61 |     3604 |        0
1065.85/1066.19	c 1065s |      21 |  1314825 |  1074845 |    38931     61 |     3604 |        0
1067.96/1068.23	c 1067s |      21 |  1316878 |  1076545 |    38931     61 |     3604 |        0
1070.75/1071.03	c 1070s |      21 |  1317864 |  1077345 |    38931     62 |     3604 |        0
1072.85/1073.15	c 1072s |      21 |  1320769 |  1079845 |    38931     62 |     3604 |        0
1074.95/1075.22	c 1074s |      21 |  1323205 |  1081845 |    38931     62 |     3604 |        0
1076.95/1077.22	c 1076s |      21 |  1325672 |  1083945 |    38931     62 |     3604 |        0
1079.06/1079.31	c 1078s |      21 |  1327855 |  1085845 |    38931     62 |     3604 |        0
1081.16/1081.45	c 1080s |      21 |  1329981 |  1087545 |    38931     62 |     3604 |        0
1083.26/1083.60	c 1082s |      21 |  1332049 |  1089345 |    38931     62 |     3604 |        0
1085.36/1085.64	c 1084s |      21 |  1333908 |  1090945 |    38931     62 |     3604 |        0
1087.36/1087.66	c 1086s |      21 |  1336269 |  1092945 |    38931     62 |     3604 |        0
1089.46/1089.70	c 1088s |      21 |  1339231 |  1095445 |    38931     62 |     3604 |        0
1091.46/1091.78	c 1091s |      21 |  1343016 |  1098545 |    38931     62 |     3604 |        0
1095.25/1095.55	c 1094s |      21 |  1343970 |  1099345 |    38931     63 |     3604 |        0
1097.25/1097.55	c 1096s |      21 |  1347458 |  1102245 |    38931     63 |     3604 |        0
1099.25/1099.56	c 1098s |      21 |  1351062 |  1105145 |    38931     63 |     3604 |        0
1101.35/1101.65	c 1100s |      21 |  1353751 |  1107445 |    38931     63 |     3604 |        0
1103.35/1103.69	c 1102s |      21 |  1356312 |  1109645 |    38931     63 |     3604 |        0
1105.45/1105.75	c 1104s |      21 |  1358733 |  1111745 |    38931     63 |     3604 |        0
1107.55/1107.86	c 1107s |      21 |  1361357 |  1113945 |    38931     63 |     3604 |        0
1109.65/1109.99	c 1109s |      21 |  1363721 |  1115945 |    38931     63 |     3604 |        0
1111.85/1112.11	c 1111s |      21 |  1365842 |  1117845 |    38931     63 |     3604 |        0
1113.85/1114.17	c 1113s |      21 |  1367477 |  1119345 |    38931     63 |     3604 |        0
1116.14/1116.41	c 1115s |      21 |  1368601 |  1120345 |    38931     64 |     3604 |        0
1118.34/1118.68	c 1117s |      21 |  1370566 |  1122045 |    38931     64 |     3604 |        0
1120.44/1120.76	c 1119s |      21 |  1372653 |  1123845 |    38931     64 |     3604 |        0
1122.55/1122.81	c 1122s |      21 |  1373875 |  1124845 |    38931     64 |     3604 |        0
1124.55/1124.86	c 1124s |      21 |  1376146 |  1126745 |    38931     64 |     3604 |        0
1126.55/1126.87	c 1126s |      21 |  1378317 |  1128545 |    38931     64 |     3604 |        0
1128.65/1128.96	c 1128s |      21 |  1380022 |  1129945 |    38931     64 |     3604 |        0
1130.75/1131.04	c 1130s |      21 |  1381851 |  1131445 |    38931     64 |     3604 |        0
1132.76/1133.07	c 1132s |      21 |  1384323 |  1133445 |    38931     64 |     3604 |        0
1134.85/1135.12	c 1134s |      21 |  1387639 |  1136445 |    38931     64 |     3604 |        0
1136.85/1137.15	c 1136s |      21 |  1390507 |  1138845 |    38931     64 |     3604 |        0
1139.85/1140.10	c 1139s |      21 |  1391556 |  1139745 |    38931     64 |     3604 |        0
1141.85/1142.17	c 1141s |      21 |  1395308 |  1142845 |    38931     65 |     3604 |        0
1143.85/1144.19	c 1143s |      21 |  1399485 |  1146545 |    38931     65 |     3604 |        0
1145.84/1146.19	c 1145s |      21 |  1402729 |  1149345 |    38931     65 |     3604 |        0
1147.94/1148.24	c 1147s |      21 |  1406155 |  1152345 |    38931     65 |     3604 |        0
1153.54/1153.85	c 1153s |      21 |  1406880 |  1152945 |    38931     65 |     3604 |        0
1155.64/1155.90	c 1155s |      21 |  1409843 |  1155445 |    38931     65 |     3604 |        0
1157.64/1157.96	c 1157s |      21 |  1413408 |  1158545 |    38931     65 |     3604 |        0
1159.64/1160.00	c 1159s |      21 |  1416459 |  1161145 |    38931     65 |     3604 |        0
1161.74/1162.04	c 1161s |      21 |  1419371 |  1163745 |    38931     65 |     3604 |        0
1163.74/1164.05	c 1163s |      21 |  1421698 |  1165645 |    38931     66 |     3604 |        0
1165.85/1166.13	c 1165s |      21 |  1425665 |  1169045 |    38931     66 |     3604 |        0
1167.84/1168.18	c 1167s |      21 |  1428322 |  1171445 |    38931     66 |     3604 |        0
1170.04/1170.34	c 1169s |      21 |  1431219 |  1173845 |    38931     66 |     3604 |        0
1172.14/1172.45	c 1171s |      21 |  1432929 |  1175545 |    38931     66 |     3604 |        0
1174.24/1174.53	c 1173s |      21 |  1435407 |  1177745 |    38931     66 |     3604 |        0
1176.24/1176.57	c 1175s |      21 |  1437715 |  1179845 |    38931     66 |     3604 |        0
1178.34/1178.64	c 1177s |      21 |  1440004 |  1181945 |    38931     66 |     3604 |        0
1180.44/1180.70	c 1179s |      21 |  1442726 |  1184445 |    38931     66 |     3604 |        0
1182.44/1182.72	c 1181s |      21 |  1444878 |  1186445 |    38931     67 |     3604 |        0
1184.83/1185.13	c 1184s |      21 |  1447182 |  1188645 |    38931     67 |     3604 |        0
1186.93/1187.21	c 1186s |      21 |  1449374 |  1190645 |    38931     67 |     3604 |        0
1188.94/1189.25	c 1188s |      21 |  1451667 |  1192745 |    38931     67 |     3604 |        0
1190.93/1191.28	c 1190s |      21 |  1453952 |  1194845 |    38931     67 |     3604 |        0
1192.93/1193.29	c 1192s |      21 |  1455926 |  1196645 |    38931     67 |     3604 |        0
1195.03/1195.35	c 1194s |      21 |  1458027 |  1198645 |    38931     67 |     3604 |        0
1197.03/1197.37	c 1196s |      21 |  1459822 |  1200345 |    38931     67 |     3604 |        0
1199.13/1199.47	c 1198s |      21 |  1461637 |  1201945 |    38931     67 |     3604 |        0
1201.23/1201.52	c 1200s |      21 |  1463555 |  1203645 |    38931     67 |     3604 |        0
1203.24/1203.58	c 1202s |      21 |  1465159 |  1205145 |    38931     67 |     3604 |        0
1205.34/1205.66	c 1204s |      21 |  1466746 |  1206645 |    38931     67 |     3604 |        0
1207.54/1207.89	c 1207s |      21 |  1467390 |  1207245 |    38931     68 |     3604 |        0
1209.63/1209.93	c 1209s |      21 |  1469173 |  1208945 |    38931     68 |     3604 |        0
1211.63/1211.97	c 1211s |      21 |  1471550 |  1211245 |    38931     68 |     3604 |        0
1214.84/1215.17	c 1214s |      21 |  1472902 |  1212545 |    38931     68 |     3604 |        0
1216.94/1217.27	c 1216s |      21 |  1474978 |  1214445 |    38931     68 |     3604 |        0
1218.94/1219.28	c 1218s |      21 |  1476772 |  1216145 |    38931     68 |     3604 |        0
1227.53/1227.88	c 1227s |      21 |  1478069 |  1217345 |    38931     68 |     3604 |        0
1229.53/1229.88	c 1229s |      21 |  1479861 |  1218845 |    38931     68 |     3604 |        0
1231.63/1231.90	c 1231s |      21 |  1481632 |  1220245 |    38931     68 |     3604 |        0
1233.73/1234.03	c 1233s |      21 |  1483639 |  1221945 |    38931     68 |     3604 |        0
1235.73/1236.04	c 1235s |      21 |  1485634 |  1223645 |    38931     68 |     3604 |        0
1237.72/1238.09	c 1237s |      21 |  1487248 |  1225045 |    38931     68 |     3604 |        0
1239.82/1240.12	c 1239s |      21 |  1488820 |  1226445 |    38931     68 |     3604 |        0
1241.92/1242.25	c 1241s |      21 |  1490892 |  1228245 |    38931     68 |     3604 |        0
1244.02/1244.36	c 1243s |      21 |  1491677 |  1228945 |    38931     69 |     3604 |        0
1248.03/1248.35	c 1247s |      21 |  1493365 |  1230545 |    38931     69 |     3604 |        0
1250.03/1250.37	c 1249s |      21 |  1495858 |  1232645 |    38931     69 |     3604 |        0
1252.13/1252.42	c 1251s |      21 |  1498349 |  1234745 |    38931     69 |     3604 |        0
1254.13/1254.45	c 1253s |      21 |  1500641 |  1236745 |    38931     69 |     3604 |        0
1256.23/1256.53	c 1255s |      21 |  1502733 |  1238645 |    38931     69 |     3604 |        0
1258.24/1258.54	c 1257s |      21 |  1504669 |  1240445 |    38931     69 |     3604 |        0
1260.34/1260.66	c 1259s |      21 |  1506649 |  1242245 |    38931     69 |     3604 |        0
1262.43/1262.74	c 1261s |      21 |  1508722 |  1244145 |    38931     69 |     3604 |        0
1264.53/1264.83	c 1264s |      21 |  1510438 |  1245745 |    38931     69 |     3604 |        0
1266.53/1266.86	c 1266s |      21 |  1512226 |  1247445 |    38931     69 |     3604 |        0
1269.33/1269.65	c 1268s |      21 |  1514547 |  1248645 |    38931     69 |     3604 |        0
1271.33/1271.67	c 1270s |      21 |  1519883 |  1252545 |    38931     70 |     3604 |        0
1273.33/1273.67	c 1272s |      21 |  1525402 |  1256845 |    38931     70 |     3604 |        0
1275.43/1275.72	c 1274s |      21 |  1530967 |  1260645 |    38931     70 |     3604 |        0
1277.42/1277.77	c 1277s |      21 |  1535725 |  1264045 |    38931     70 |     3604 |        0
1279.42/1279.78	c 1279s |      21 |  1539717 |  1267045 |    38931     70 |     3604 |        0
1281.42/1281.79	c 1281s |      21 |  1543474 |  1269945 |    38931     70 |     3604 |        0
1283.62/1283.92	c 1283s |      21 |  1547287 |  1272645 |    38931     71 |     3604 |        0
1285.63/1285.96	c 1285s |      21 |  1550741 |  1275245 |    38931     71 |     3604 |        0
1287.72/1288.07	c 1287s |      21 |  1553677 |  1277045 |    38931     71 |     3604 |        0
1289.82/1290.15	c 1289s |      21 |  1557011 |  1279545 |    38931     71 |     3604 |        0
1291.82/1292.18	c 1291s |      21 |  1560150 |  1281945 |    38931     71 |     3604 |        0
1293.92/1294.23	c 1293s |      21 |  1563195 |  1284045 |    38931     71 |     3604 |        0
1296.02/1296.31	c 1295s |      21 |  1566067 |  1286245 |    38931     71 |     3604 |        0
1298.02/1298.34	c 1297s |      21 |  1568894 |  1288245 |    38931     71 |     3604 |        0
1300.03/1300.39	c 1299s |      21 |  1571425 |  1290245 |    38931     71 |     3604 |        0
1302.13/1302.50	c 1301s |      21 |  1573925 |  1292145 |    38931     71 |     3604 |        0
1304.22/1304.59	c 1303s |      21 |  1576541 |  1294045 |    38931     71 |     3604 |        0
1330.01/1330.37	c 1329s |      21 |  1577435 |  1294645 |    38931     72 |     3604 |        0
1332.01/1332.37	c 1331s |      21 |  1580407 |  1296745 |    38931     72 |     3604 |        0
1334.12/1334.41	c 1333s |      21 |  1583773 |  1299245 |    38931     72 |     3604 |        0
1336.22/1336.51	c 1335s |      21 |  1587118 |  1301645 |    38931     72 |     3604 |        0
1338.21/1338.51	c 1337s |      21 |  1590345 |  1303945 |    38931     72 |     3604 |        0
1340.21/1340.59	c 1339s |      21 |  1593274 |  1306145 |    38931     72 |     3604 |        0
1342.31/1342.62	c 1341s |      21 |  1595819 |  1308045 |    38931     72 |     3604 |        0
1344.41/1344.71	c 1343s |      21 |  1598744 |  1310145 |    38931     72 |     3604 |        0
1346.41/1346.72	c 1345s |      21 |  1601090 |  1311945 |    38931     72 |     3604 |        0
1348.42/1348.79	c 1348s |      21 |  1603405 |  1313745 |    38931     72 |     3604 |        0
1350.51/1350.82	c 1350s |      21 |  1605590 |  1315345 |    38931     72 |     3604 |        0
1352.81/1353.14	c 1352s |      21 |  1606868 |  1316245 |    38931     73 |     3604 |        0
1354.81/1355.19	c 1354s |      21 |  1609120 |  1317945 |    38931     73 |     3604 |        0
1356.91/1357.23	c 1356s |      21 |  1612656 |  1320545 |    38931     73 |     3604 |        0
1359.01/1359.30	c 1358s |      21 |  1615853 |  1322945 |    38931     73 |     3604 |        0
1372.62/1372.92	c 1372s |      21 |  1618708 |  1325045 |    38931     73 |     3604 |        0
1374.61/1374.99	c 1374s |      21 |  1620717 |  1326545 |    38931     73 |     3604 |        0
1376.61/1376.99	c 1376s |      21 |  1623902 |  1329045 |    38931     73 |     3604 |        0
1378.61/1378.99	c 1378s |      21 |  1626093 |  1330745 |    38931     73 |     3604 |        0
1380.71/1381.00	c 1380s |      21 |  1629512 |  1332945 |    38931     73 |     3604 |        0
1382.71/1383.03	c 1382s |      21 |  1632102 |  1334945 |    38931     73 |     3604 |        0
1384.72/1385.06	c 1384s |      21 |  1634750 |  1336745 |    38931     73 |     3604 |        0
1387.31/1387.65	c 1386s |      21 |  1636585 |  1338045 |    38931     74 |     3604 |        0
1389.30/1389.68	c 1388s |      21 |  1638057 |  1339245 |    38931     74 |     3604 |        0
1391.61/1391.90	c 1391s |      21 |  1639702 |  1340445 |    38931     74 |     3604 |        0
1399.02/1399.37	c 1398s |      21 |  1640617 |  1341145 |    38931     74 |     3604 |        0
1401.12/1401.42	c 1400s |      21 |  1644042 |  1343845 |    38931     74 |     3604 |        0
1403.11/1403.47	c 1402s |      21 |  1646655 |  1346045 |    38931     74 |     3604 |        0
1405.21/1405.55	c 1404s |      21 |  1649478 |  1348245 |    38931     74 |     3604 |        0
1407.31/1407.65	c 1406s |      21 |  1652516 |  1350345 |    38931     74 |     3604 |        0
1409.31/1409.68	c 1408s |      21 |  1655361 |  1352545 |    38931     74 |     3604 |        0
1411.41/1411.73	c 1410s |      21 |  1657851 |  1354545 |    38931     74 |     3604 |        0
1413.41/1413.75	c 1412s |      21 |  1659977 |  1356345 |    38931     74 |     3604 |        0
1415.51/1415.81	c 1415s |      21 |  1661977 |  1357845 |    38931     74 |     3604 |        0
1417.51/1417.86	c 1417s |      21 |  1664102 |  1359345 |    38931     74 |     3604 |        0
1427.50/1427.90	c 1427s |      21 |  1665064 |  1360145 |    38931     75 |     3604 |        0
1429.60/1429.93	c 1429s |      21 |  1667582 |  1362245 |    38931     75 |     3604 |        0
1431.70/1432.04	c 1431s |      21 |  1670049 |  1364245 |    38931     75 |     3604 |        0
1433.80/1434.10	c 1433s |      21 |  1672896 |  1366445 |    38931     75 |     3604 |        0
1435.79/1436.15	c 1435s |      21 |  1675534 |  1368545 |    38931     75 |     3604 |        0
1437.89/1438.23	c 1437s |      21 |  1678089 |  1370545 |    38931     75 |     3604 |        0
1439.89/1440.24	c 1439s |      21 |  1680531 |  1372545 |    38931     75 |     3604 |        0
1441.90/1442.25	c 1441s |      21 |  1683170 |  1374545 |    38931     75 |     3604 |        0
1444.00/1444.32	c 1443s |      21 |  1685763 |  1376445 |    38931     75 |     3604 |        0
1445.99/1446.39	c 1445s |      21 |  1688216 |  1378345 |    38931     75 |     3604 |        0
1448.09/1448.45	c 1447s |      21 |  1690579 |  1380345 |    38931     75 |     3604 |        0
1451.40/1451.75	c 1450s |      21 |  1692178 |  1381645 |    38931     76 |     3604 |        0
1453.50/1453.86	c 1453s |      21 |  1694086 |  1383145 |    38931     76 |     3604 |        0
1455.60/1455.92	c 1455s |      21 |  1697635 |  1385945 |    38931     76 |     3604 |        0
1464.69/1465.09	c 1464s |      21 |  1700651 |  1388445 |    38931     76 |     3604 |        0
1466.79/1467.13	c 1466s |      21 |  1703680 |  1390845 |    38931     76 |     3604 |        0
1468.89/1469.24	c 1468s |      21 |  1706013 |  1392645 |    38931     76 |     3604 |        0
1470.99/1471.31	c 1470s |      21 |  1709259 |  1395145 |    38931     76 |     3604 |        0
1472.99/1473.31	c 1472s |      21 |  1712269 |  1397545 |    38931     76 |     3604 |        0
1474.99/1475.32	c 1474s |      21 |  1715280 |  1399945 |    38931     76 |     3604 |        0
1477.00/1477.32	c 1476s |      21 |  1717923 |  1402145 |    38931     76 |     3604 |        0
1479.90/1480.27	c 1479s |      21 |  1719576 |  1403445 |    38931     77 |     3604 |        0
1482.50/1482.86	c 1482s |      21 |  1719997 |  1403745 |    38931     77 |     3604 |        0
1484.59/1484.91	c 1484s |      21 |  1723369 |  1406445 |    38931     77 |     3604 |        0
1486.59/1486.98	c 1486s |      21 |  1726627 |  1409145 |    38931     77 |     3604 |        0
1489.69/1490.08	c 1489s |      21 |  1729465 |  1411545 |    38931     77 |     3604 |        0
1491.79/1492.12	c 1491s |      21 |  1731339 |  1412945 |    38931     77 |     3604 |        0
1493.89/1494.22	c 1493s |      21 |  1733314 |  1414745 |    38931     77 |     3604 |        0
1500.20/1500.50	c 1499s |      21 |  1734056 |  1415445 |    38931     77 |     3604 |        0
1503.29/1503.64	c 1502s |      21 |  1735988 |  1417145 |    38931     77 |     3604 |        0
1505.39/1505.79	c 1505s |      21 |  1737175 |  1418045 |    38931     77 |     3604 |        0
1507.39/1507.79	c 1507s |      21 |  1738253 |  1418945 |    38931     77 |     3604 |        0
1509.49/1509.85	c 1509s |      21 |  1740339 |  1420445 |    38931     77 |     3604 |        0
1511.59/1511.94	c 1511s |      21 |  1742147 |  1421945 |    38931     77 |     3604 |        0
1513.69/1514.07	c 1513s |      21 |  1743796 |  1423345 |    38931     77 |     3604 |        0
1515.79/1516.16	c 1515s |      21 |  1745548 |  1424645 |    38931     77 |     3604 |        0
1518.99/1519.38	c 1518s |      21 |  1746288 |  1425245 |    38931     78 |     3604 |        0
1521.29/1521.68	c 1520s |      21 |  1748061 |  1426745 |    38931     78 |     3604 |        0
1523.39/1523.75	c 1522s |      21 |  1749905 |  1428245 |    38931     78 |     3604 |        0
1525.49/1525.83	c 1525s |      21 |  1751393 |  1429345 |    38931     78 |     3604 |        0
1527.59/1527.92	c 1527s |      21 |  1752781 |  1430545 |    38931     78 |     3604 |        0
1529.59/1529.92	c 1529s |      21 |  1754976 |  1432245 |    38931     78 |     3604 |        0
1531.59/1531.93	c 1531s |      21 |  1757947 |  1434445 |    38931     78 |     3604 |        0
1533.69/1534.02	c 1533s |      21 |  1760700 |  1436445 |    38931     78 |     3604 |        0
1535.79/1536.15	c 1535s |      21 |  1763734 |  1438545 |    38931     78 |     3604 |        0
1537.89/1538.22	c 1537s |      21 |  1766541 |  1440445 |    38931     78 |     3604 |        0
1539.89/1540.26	c 1539s |      21 |  1768962 |  1442145 |    38931     78 |     3604 |        0
1541.99/1542.34	c 1541s |      21 |  1771568 |  1444045 |    38931     78 |     3604 |        0
1544.09/1544.46	c 1543s |      21 |  1773956 |  1445845 |    38931     78 |     3604 |        0
1546.18/1546.58	c 1545s |      21 |  1775644 |  1446945 |    38931     79 |     3604 |        0
1548.28/1548.66	c 1547s |      21 |  1777025 |  1447945 |    38931     79 |     3604 |        0
1550.38/1550.70	c 1549s |      21 |  1780617 |  1450545 |    38931     79 |     3604 |        0
1552.38/1552.74	c 1551s |      21 |  1784058 |  1453045 |    38931     79 |     3604 |        0
1554.48/1554.83	c 1554s |      21 |  1786504 |  1455045 |    38931     79 |     3604 |        0
1556.58/1556.91	c 1556s |      21 |  1789492 |  1457245 |    38931     79 |     3604 |        0
1559.18/1559.54	c 1558s |      21 |  1790411 |  1457945 |    38931     79 |     3604 |        0
1561.28/1561.68	c 1560s |      21 |  1793922 |  1460645 |    38931     79 |     3604 |        0
1563.38/1563.74	c 1562s |      21 |  1794857 |  1461345 |    38931     79 |     3604 |        0
1565.48/1565.80	c 1565s |      21 |  1797601 |  1463645 |    38931     79 |     3604 |        0
1567.48/1567.87	c 1567s |      21 |  1800301 |  1465845 |    38931     79 |     3604 |        0
1569.58/1569.90	c 1569s |      21 |  1802814 |  1467945 |    38931     79 |     3604 |        0
1571.58/1571.93	c 1571s |      21 |  1804178 |  1469145 |    38931     80 |     3604 |        0
1574.08/1574.44	c 1573s |      21 |  1806444 |  1471245 |    38931     80 |     3604 |        0
1576.09/1576.49	c 1575s |      21 |  1809365 |  1473745 |    38931     80 |     3604 |        0
1578.19/1578.50	c 1577s |      21 |  1812970 |  1476745 |    38931     80 |     3604 |        0
1580.18/1580.59	c 1579s |      21 |  1816223 |  1479445 |    38931     80 |     3604 |        0
1582.18/1582.59	c 1581s |      21 |  1819024 |  1481545 |    38931     80 |     3604 |        0
1584.28/1584.68	c 1583s |      21 |  1821441 |  1483445 |    38931     80 |     3604 |        0
1586.38/1586.72	c 1585s |      21 |  1823040 |  1484945 |    38931     80 |     3604 |        0
1588.38/1588.73	c 1587s |      21 |  1824594 |  1486445 |    38931     80 |     3604 |        0
1595.98/1596.35	c 1595s |      21 |  1825902 |  1487645 |    38931     80 |     3604 |        0
1598.08/1598.41	c 1597s |      21 |  1827195 |  1488845 |    38931     80 |     3604 |        0
1600.18/1600.55	c 1599s |      21 |  1829610 |  1490845 |    42825     80 |     3604 |        0
1602.28/1602.68	c 1601s |      21 |  1830937 |  1492145 |    42825     80 |     3604 |        0
1604.38/1604.78	c 1604s |      21 |  1833063 |  1493545 |    42825     80 |     3604 |        0
1607.18/1607.55	c 1606s |      21 |  1835015 |  1494545 |    42825     81 |     3604 |        0
1609.57/1609.91	c 1609s |      21 |  1835799 |  1494945 |    42825     81 |     3604 |        0
1611.57/1611.93	c 1611s |      21 |  1839142 |  1497345 |    42825     81 |     3604 |        0
1613.57/1613.93	c 1613s |      21 |  1841000 |  1498745 |    42825     81 |     3604 |        0
1615.58/1615.97	c 1615s |      21 |  1843290 |  1500245 |    42825     81 |     3604 |        0
1616.07/1616.49	c 1615s |      22 |  1843848 |  1500622 |    42825     81 |     3604 |        0
1618.07/1618.50	c 1617s |      22 |  1849993 |  1506522 |    42825     81 |     3613 |        0
1620.17/1620.53	c 1619s |      22 |  1854113 |  1510622 |    42825     81 |     3613 |        0
1622.18/1622.56	c 1621s |      22 |  1857628 |  1514122 |    42825     81 |     3613 |        0
1624.17/1624.56	c 1623s |      22 |  1860841 |  1517322 |    42825     81 |     3613 |        0
1626.27/1626.63	c 1625s |      22 |  1863349 |  1519822 |    42825     82 |     3613 |        0
1628.27/1628.67	c 1627s |      22 |  1865962 |  1522422 |    42825     82 |     3613 |        0
1630.37/1630.73	c 1629s |      22 |  1868071 |  1524522 |    42825     82 |     3613 |        0
1632.47/1632.82	c 1632s |      22 |  1870179 |  1526622 |    42825     82 |     3613 |        0
1634.47/1634.87	c 1634s |      22 |  1871884 |  1528322 |    42825     82 |     3613 |        0
1636.58/1636.94	c 1636s |      22 |  1873895 |  1530322 |    42825     82 |     3613 |        0
1638.57/1638.97	c 1638s |      22 |  1875799 |  1532222 |    42825     82 |     3613 |        0
1640.67/1641.00	c 1640s |      22 |  1877503 |  1533922 |    42825     82 |     3613 |        0
1642.77/1643.11	c 1642s |      22 |  1879108 |  1535522 |    42825     82 |     3613 |        0
1644.87/1645.23	c 1644s |      22 |  1880617 |  1537022 |    42825     82 |     3613 |        0
1646.87/1647.23	c 1646s |      22 |  1882229 |  1538622 |    42825     82 |     3613 |        0
1648.87/1649.29	c 1648s |      22 |  1883727 |  1540122 |    42825     82 |     3613 |        0
1650.97/1651.39	c 1650s |      22 |  1884530 |  1540922 |    42825     83 |     3613 |        0
1652.97/1653.40	c 1652s |      22 |  1886542 |  1542922 |    42825     83 |     3613 |        0
1655.06/1655.42	c 1654s |      22 |  1889042 |  1545422 |    42825     83 |     3613 |        0
1657.16/1657.52	c 1656s |      22 |  1890858 |  1547222 |    42825     83 |     3613 |        0
1659.16/1659.54	c 1658s |      22 |  1892865 |  1549222 |    42825     83 |     3613 |        0
1661.26/1661.64	c 1660s |      22 |  1894775 |  1551122 |    42825     83 |     3613 |        0
1663.26/1663.66	c 1662s |      22 |  1896482 |  1552822 |    42825     83 |     3613 |        0
1665.36/1665.77	c 1665s |      22 |  1897982 |  1554322 |    42825     83 |     3613 |        0
1667.46/1667.89	c 1667s |      22 |  1899591 |  1555922 |    42825     83 |     3613 |        0
1669.57/1669.92	c 1669s |      22 |  1900991 |  1557322 |    42825     83 |     3613 |        0
1671.56/1671.97	c 1671s |      22 |  1902299 |  1558622 |    42825     83 |     3613 |        0
1673.66/1674.09	c 1673s |      22 |  1903507 |  1559822 |    42825     83 |     3613 |        0
1675.76/1676.13	c 1675s |      22 |  1904913 |  1561222 |    42825     83 |     3613 |        0
1677.86/1678.24	c 1677s |      22 |  1906223 |  1562522 |    42825     83 |     3613 |        0
1679.96/1680.33	c 1679s |      22 |  1907524 |  1563822 |    42825     83 |     3613 |        0
1682.66/1683.02	c 1682s |      22 |  1908123 |  1564422 |    42825     84 |     3613 |        0
1684.76/1685.11	c 1684s |      22 |  1910330 |  1566622 |    42825     84 |     3613 |        0
1703.76/1704.19	c 1703s |      22 |  1912141 |  1568422 |    42825     84 |     3613 |        0
1707.96/1708.30	c 1707s |      22 |  1912344 |  1568622 |    42825     84 |     3613 |        0
1710.05/1710.40	c 1709s |      22 |  1914042 |  1570322 |    42825     84 |     3613 |        0
1712.06/1712.45	c 1711s |      22 |  1915749 |  1572022 |    42825     84 |     3613 |        0
1714.06/1714.47	c 1713s |      22 |  1917555 |  1573822 |    42825     84 |     3613 |        0
1716.16/1716.56	c 1715s |      22 |  1919167 |  1575422 |    42825     84 |     3613 |        0
1718.26/1718.64	c 1717s |      22 |  1920975 |  1577222 |    42825     84 |     3613 |        0
1720.36/1720.78	c 1720s |      22 |  1922478 |  1578722 |    42825     84 |     3613 |        0
1722.56/1722.90	c 1722s |      22 |  1923879 |  1580122 |    42825     84 |     3613 |        0
1724.57/1724.92	c 1724s |      22 |  1925185 |  1581422 |    42825     84 |     3613 |        0
1726.56/1726.98	c 1726s |      22 |  1926486 |  1582722 |    42825     84 |     3613 |        0
1728.66/1729.08	c 1728s |      22 |  1927992 |  1584222 |    42825     84 |     3613 |        0
1730.66/1731.10	c 1730s |      22 |  1929192 |  1585422 |    42825     84 |     3613 |        0
1732.76/1733.19	c 1732s |      22 |  1930398 |  1586622 |    42825     84 |     3613 |        0
1734.96/1735.31	c 1734s |      22 |  1931506 |  1587722 |    42825     84 |     3613 |        0
1737.76/1738.17	c 1737s |      22 |  1931908 |  1588122 |    42825     85 |     3613 |        0
1739.86/1740.23	c 1739s |      22 |  1934321 |  1590522 |    42825     85 |     3613 |        0
1741.96/1742.32	c 1741s |      22 |  1936625 |  1592822 |    42825     85 |     3613 |        0
1744.15/1744.58	c 1743s |      22 |  1937631 |  1593822 |    42825     85 |     3613 |        0
1746.25/1746.68	c 1745s |      22 |  1939633 |  1595822 |    42825     85 |     3613 |        0
1748.35/1748.70	c 1747s |      22 |  1941547 |  1597722 |    42825     85 |     3613 |        0
1750.45/1750.82	c 1750s |      22 |  1943459 |  1599622 |    42825     85 |     3613 |        0
1752.55/1752.90	c 1752s |      22 |  1945158 |  1601322 |    42825     85 |     3613 |        0
1754.55/1754.92	c 1754s |      22 |  1946869 |  1603022 |    42825     85 |     3613 |        0
1756.65/1757.05	c 1756s |      22 |  1948774 |  1604922 |    42825     85 |     3613 |        0
1758.75/1759.12	c 1758s |      22 |  1950383 |  1606522 |    42825     85 |     3613 |        0
1761.45/1761.89	c 1761s |      22 |  1951292 |  1607422 |    42825     85 |     3613 |        0
1763.55/1763.96	c 1763s |      22 |  1952289 |  1608422 |    42825     85 |     3613 |        0
1765.65/1766.09	c 1765s |      22 |  1953697 |  1609822 |    42825     85 |     3613 |        0
1767.75/1768.14	c 1767s |      22 |  1954901 |  1611022 |    42825     85 |     3613 |        0
1769.95/1770.33	c 1769s |      22 |  1955202 |  1611322 |    42825     86 |     3613 |        0
1773.74/1774.11	c 1773s |      22 |  1956310 |  1612422 |    42825     86 |     3613 |        0
1775.74/1776.17	c 1775s |      22 |  1958711 |  1614822 |    42825     86 |     3613 |        0
1777.74/1778.18	c 1777s |      22 |  1960817 |  1616922 |    42825     86 |     3613 |        0
1779.84/1780.21	c 1779s |      22 |  1962825 |  1618922 |    42825     86 |     3613 |        0
1783.14/1783.53	c 1782s |      22 |  1964430 |  1620522 |    42825     86 |     3613 |        0
1785.24/1785.61	c 1784s |      22 |  1965741 |  1621822 |    42825     86 |     3613 |        0
1787.25/1787.61	c 1786s |      22 |  1967046 |  1623122 |    42825     86 |     3613 |        0
1789.35/1789.73	c 1788s |      22 |  1968550 |  1624622 |    42825     86 |     3613 |        0
1791.34/1791.77	c 1791s |      22 |  1970055 |  1626122 |    42825     86 |     3613 |        0
1793.34/1793.78	c 1793s |      22 |  1971761 |  1627822 |    42825     86 |     3613 |        0
1795.44/1795.84	c 1795s |      22 |  1973377 |  1629422 |    42825     86 |     3613 |        0
1797.54/1797.96	c 1797s |      22 |  1974782 |  1630822 |    42825     86 |     3613 |        0
1799.64/1800.08	c 1799s |      22 |  1975985 |  1632022 |    42825     86 |     3613 |        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-4100673-1466216950/watcher-4100673-1466216950 -o /tmp/evaluation-result-4100673-1466216950/solver-4100673-1466216950 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100673-1466216950.opb 

pid=3231
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.11 2.10 2.11 3/179 3234
/proc/meminfo: memFree=29995312/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 2718 0 0 0 0 0 0 0 20 0 4 0 23744217 745992192 2568 33554432000 4194304 16246674 140736809491088 140736809490512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 182639 2578 441 2943 0 179533 0
[pid=3234/tid=3235] ppid=3231 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 763817984 2638 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 768012288 2654 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23744217 772206592 2669 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100206 s]
/proc/loadavg: 2.11 2.10 2.11 3/179 3234
/proc/meminfo: memFree=29995312/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 28427 0 0 0 6 3 0 0 20 0 4 0 23744217 1333334016 28214 33554432000 4194304 16246674 140736809491088 140736809490400 7374276 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 325521 28230 800 2943 0 322415 0
[pid=3234/tid=3235] ppid=3231 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1333334016 28240 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1333334016 28252 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1333334016 28263 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.20052 s]
/proc/loadavg: 2.11 2.10 2.11 3/179 3234
/proc/meminfo: memFree=29995312/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 46276 0 0 0 13 6 0 0 20 0 4 0 23744217 1341722624 46063 33554432000 4194304 16246674 140736809491088 140736809490400 6955355 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 327569 46063 835 2943 0 324463 0
[pid=3234/tid=3235] ppid=3231 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1341722624 46063 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1341722624 46063 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1341722624 46063 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300493 s]
/proc/loadavg: 2.11 2.10 2.11 3/179 3234
/proc/meminfo: memFree=29995312/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1310276 CPUtime=0.29 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 65408 0 0 0 21 8 0 0 20 0 4 0 23744217 1341722624 65196 33554432000 4194304 16246674 140736809491088 140736809490400 12657333 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 327569 65208 835 2943 0 324463 0
[pid=3234/tid=3235] ppid=3231 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1341722624 65215 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1341722624 65222 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1341722624 65228 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1310276

[startup+0.700403 s]
/proc/loadavg: 2.11 2.10 2.11 3/179 3234
/proc/meminfo: memFree=29995312/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1310276 CPUtime=0.69 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 186881 0 0 0 43 26 0 0 20 0 4 0 23744217 1341722624 186669 33554432000 4194304 16246674 140736809491088 140736809472960 6156109 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 327569 186682 836 2943 0 324463 0
[pid=3234/tid=3235] ppid=3231 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1341722624 186691 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1341722624 186699 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1341722624 186707 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1310276

[startup+1.5004 s]
/proc/loadavg: 2.10 2.10 2.11 3/183 3238
/proc/meminfo: memFree=29230796/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1328708 CPUtime=1.49 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 191702 0 0 0 122 27 0 0 20 0 4 0 23744217 1360596992 191489 33554432000 4194304 16246674 140736809491088 140736809472960 5581960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 332177 191489 889 2943 0 329071 0
[pid=3234/tid=3235] ppid=3231 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1360596992 191489 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1360596992 191489 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1360596992 191489 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1328708

[startup+3.10042 s]
/proc/loadavg: 2.10 2.10 2.11 3/183 3238
/proc/meminfo: memFree=29038348/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1328708 CPUtime=3.09 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 273365 0 0 0 271 38 0 0 20 0 4 0 23744217 1360596992 273152 33554432000 4194304 16246674 140736809491088 140736809474088 5712148 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 332177 273152 892 2943 0 329071 0
[pid=3234/tid=3235] ppid=3231 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1360596992 273152 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1360596992 273152 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1360596992 273152 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1328708

[startup+6.30036 s]
/proc/loadavg: 2.09 2.10 2.10 3/183 3238
/proc/meminfo: memFree=28903448/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1328708 CPUtime=6.29 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 273369 0 0 0 591 38 0 0 20 0 4 0 23744217 1360596992 273156 33554432000 4194304 16246674 140736809491088 140736809472960 5754764 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 332177 273156 895 2943 0 329071 0
[pid=3234/tid=3235] ppid=3231 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1360596992 273156 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1360596992 273156 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1360596992 273156 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1328708

[startup+12.7004 s]
/proc/loadavg: 2.08 2.09 2.10 3/183 3238
/proc/meminfo: memFree=28903356/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1328708 CPUtime=12.69 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 273374 0 0 0 1231 38 0 0 20 0 4 0 23744217 1360596992 273161 33554432000 4194304 16246674 140736809491088 140736809472960 5823254 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 332177 273161 897 2943 0 329071 0
[pid=3234/tid=3235] ppid=3231 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1360596992 273161 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1360596992 273161 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1360596992 273161 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1328708

[startup+25.5005 s]
/proc/loadavg: 2.07 2.09 2.10 3/183 3238
/proc/meminfo: memFree=28903900/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1328708 CPUtime=25.48 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 273375 0 0 0 2510 38 0 0 20 0 4 0 23744217 1360596992 273162 33554432000 4194304 16246674 140736809491088 140736809472960 5823512 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 332177 273162 898 2943 0 329071 0
[pid=3234/tid=3235] ppid=3231 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1360596992 273162 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1360596992 273162 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1360596992 273162 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1328708

[startup+51.1004 s]
/proc/loadavg: 2.04 2.08 2.10 3/183 3238
/proc/meminfo: memFree=28899444/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1332804 CPUtime=51.08 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 274399 0 0 0 5069 39 0 0 20 0 4 0 23744217 1364791296 274186 33554432000 4194304 16246674 140736809491088 140736809490264 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 333201 274186 898 2943 0 330095 0
[pid=3234/tid=3235] ppid=3231 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1364791296 274186 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1364791296 274186 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1364791296 274186 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1332804

[startup+102.3 s]
/proc/loadavg: 2.02 2.07 2.09 3/184 3242
/proc/meminfo: memFree=28899460/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1332804 CPUtime=102.29 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 274399 0 0 0 10189 40 0 0 20 0 4 0 23744217 1364791296 274186 33554432000 4194304 16246674 140736809491088 140736809472960 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 333201 274186 898 2943 0 330095 0
[pid=3234/tid=3235] ppid=3231 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1364791296 274186 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1364791296 274186 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1364791296 274186 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1332804


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

/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1446580224 294411 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1412676

[startup+1302.3 s]
/proc/loadavg: 2.25 2.16 2.10 3/184 3321
/proc/meminfo: memFree=28251224/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1413700 CPUtime=1302.02 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 294782 0 0 0 130135 67 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 140736809474088 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 353425 294667 899 2943 0 350319 0
[pid=3234/tid=3235] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1413700

[startup+1362.3 s]
/proc/loadavg: 2.32 2.19 2.11 3/183 3323
/proc/meminfo: memFree=28251780/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1413700 CPUtime=1362.02 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 294782 0 0 0 136132 70 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 140736809490184 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 353425 294667 899 2943 0 350319 0
[pid=3234/tid=3235] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1413700

[startup+1422.3 s]
/proc/loadavg: 2.16 2.17 2.10 3/182 3324
/proc/meminfo: memFree=28222296/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1413700 CPUtime=1422.01 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 294782 0 0 0 142128 73 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 140736809488896 4220817 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 353425 294667 899 2943 0 350319 0
[pid=3234/tid=3235] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1413700

[startup+1482.3 s]
/proc/loadavg: 2.09 2.15 2.10 3/183 3326
/proc/meminfo: memFree=28221000/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1413700 CPUtime=1481.99 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 294782 0 0 0 148124 75 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 140736809488896 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 353425 294667 899 2943 0 350319 0
[pid=3234/tid=3235] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1413700

[startup+1542.31 s]
/proc/loadavg: 2.03 2.12 2.09 3/183 3327
/proc/meminfo: memFree=28221792/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1413700 CPUtime=1541.99 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 294782 0 0 0 154123 76 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 140736809472960 5662871 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 353425 294667 899 2943 0 350319 0
[pid=3234/tid=3235] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1413700

[startup+1602.3 s]
/proc/loadavg: 2.05 2.11 2.09 3/183 3328
/proc/meminfo: memFree=28212020/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1413700 CPUtime=1601.98 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 294782 0 0 0 160121 77 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 140736809472960 5672209 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 353425 294667 899 2943 0 350319 0
[pid=3234/tid=3235] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1413700

[startup+1662.3 s]
/proc/loadavg: 2.23 2.15 2.10 3/183 3330
/proc/meminfo: memFree=28143716/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1413700 CPUtime=1661.96 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 294782 0 0 0 166119 77 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 140736809474088 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 353425 294667 899 2943 0 350319 0
[pid=3234/tid=3235] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1413700

[startup+1722.3 s]
/proc/loadavg: 2.13 2.13 2.09 3/183 3331
/proc/meminfo: memFree=28143424/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1413700 CPUtime=1721.96 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 294782 0 0 0 172115 81 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 140736809472960 5822556 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 353425 294667 899 2943 0 350319 0
[pid=3234/tid=3235] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1413700

[startup+1782.3 s]
/proc/loadavg: 2.15 2.14 2.09 3/183 3332
/proc/meminfo: memFree=28142584/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1413700 CPUtime=1781.94 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 294782 0 0 0 178113 81 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 140736809472960 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 353425 294667 899 2943 0 350319 0
[pid=3234/tid=3235] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 1413700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.12 2.13 2.09 3/183 3332
/proc/meminfo: memFree=28142680/32872528 swapFree=681964/737152
[pid=3234] ppid=3231 vsize=1413700 CPUtime=1800.04 cores=0,2,4,6
/proc/3234/stat : 3234 (toysat) R 3231 3234 1377 0 -1 4202496 294782 0 0 0 179923 81 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 140736809472960 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 353425 294667 899 2943 0 350319 0
[pid=3234/tid=3235] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3235/stat : 3235 (toysat) S 3231 3234 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794444168432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3234/tid=3236] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3236/stat : 3236 (toysat) S 3231 3234 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794433678576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3234/tid=3237] ppid=3231 vsize=1413700 CPUtime=0 cores=0,2,4,6
/proc/3234/task/3237/stat : 3237 (toysat) S 3231 3234 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23744217 1447628800 294667 33554432000 4194304 16246674 140736809491088 139794423205040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1413700

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.24
CPU system time (s): 0.818875
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 1413700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.818875
maximum resident set size= 1178668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294782
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= 173
involuntary context switches= 1954

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53431 second user time and 6.98394 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 04:29:10
IDJOB=4100673
IDBENCH=1647
IDSOLVER=2542
FILE ID=node112/4100673-1466216950
RUNJOBID= node112-1466206100-1394
PBS_JOBID= 19918164
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scagr25.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100673-1466216950/watcher-4100673-1466216950 -o /tmp/evaluation-result-4100673-1466216950/solver-4100673-1466216950 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100673-1466216950.opb

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

MD5SUM BENCH= b63141b317e602f06e6dedfad8ff4e9a
RANDOM SEED=364623704

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
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	: 5321.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29995692 kB
Buffers:           90840 kB
Cached:           117108 kB
SwapCached:         1916 kB
Active:          1293036 kB
Inactive:         113064 kB
Active(anon):    1198696 kB
Inactive(anon):     1572 kB
Active(file):      94340 kB
Inactive(file):   111492 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096988 kB
Dirty:             16704 kB
Writeback:             0 kB
AnonPages:       1885040 kB
Mapped:            10832 kB
Shmem:                 0 kB
Slab:             600200 kB
SReclaimable:      44220 kB
SUnreclaim:       555980 kB
KernelStack:        1520 kB
PageTables:         8280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2078360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1196032 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= 71676 MiB
End job on node112 at 2016-06-18 04:59:10