Trace number 4116109

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.09 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size112-round22-7.opb
MD5SUM327e503a7a4a8903035a4425581c59c7
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8688
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-26T19:06:03+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-4116109-1466960762.opb"]
0.00/0.01	c use --random-gen="4219831477 566951377 1010684688 86482054 865540727 2475642075 64149600 876108074 3893560759 3159925749 2551281760 3824364586 1704868254 449237636 2895721039 2378518481 3879235712 2286857905 2063600811 4224257597 1845904827 3935674322 3063581407 1282227797 4003696498 3126370318 2574901971 34877516 3156985663 1327153160 2702715031 1216534404 1469785019 2394141417 1564923502 2605771971 2723198831 3879989370 3816590183 2322480811 1124923109 3674048825 906060099 2436249885 105125180 2268448917 1288266340 3053724862 858981730 1579570760 1425797098 75230225 1941114364 2446194197 4173420363 981826046 1444770510 1694138164 2502002135 1666304071 3412225188 3401221278 1137928190 469342082 1287941893 1582469975 981451480 1796076487 2602290180 285633771 3908891733 923831216 1660454504 4192523134 3187455473 861545076 2309080440 3411043957 2176016808 3163270921 286075044 1857831893 1652840488 2861043101 3201072455 887321747 1500598235 4178044342 314903490 3479511487 2341002401 560120801 1063747663 3092561542 1629379962 2816379990 250301117 320212887 1894857436 4087320577 3146270690 2875239032 2167816957 1697657473 897199602 2356636491 1718366315 4239439742 2300393765 2982145878 1405786482 2997309946 1572899766 2064816471 3923050324 1691438549 1511972966 1524925167 1182090567 1888112869 525143497 3517223226 187003715 1088096643 216452784 2559526446 2074803887 372574213 4021053717 1058368651 2307448703 294929054 3377055191 2168117291 2154231364 1758394758 2970820055 591654579 2864821295 3099944404 165679546 2447848256 988957439 3151662606 3085866834 3955571530 1212621652 1372699398 3714246239 1835551474 2593538753 968779209 3137714019 576269291 114094267 2663405418 700628025 2248578054 3682910940 1130562208 2562817462 3285684579 511334284 3786264724 1234446956 3351799250 1165798611 1869566212 1432631734 2004217986 1447719237 3757558293 2635184954 2464134946 3204323940 2544668184 1953319000 2242224822 3060429264 4159617394 1812209379 647728214 2490711067 1353670241 2750738103 1201870125 978819219 2107386485 2444440375 2830669674 2448563555 1599348441 3173866495 2554807920 539215128 3464990133 4097409640 920004037 1430902449 1477608653 1940234255 4055182442 4206989487 403498884 2795499615 3209995639 2552299578 190749822 685448055 4144398947 157737218 139110618 2564593031 1992524120 1112940581 533954138 3557492615 3796978831 1183836664 3208906841 4123895726 1422038258 3242505741 1406100450 3676894932 2075741776 4079858450 4197693309 4099692180 1380837042 458138837 1287247357 90866545 454757778 2900993253 225146944 1741158790 2994340259 2505007864 1659731018 3412543495 1882085273 122521112 3259195302 3232776195 3243529211 1256268870 2488056969 853663777 2768806975 3706815441 749691881 1804881519 1402091976 3218388126 1539321285 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8688
0.18/0.25	c Solving starts ...
0.18/0.25	c ============================[ Search Statistics ]============================
0.18/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.25	c =============================================================================
0.18/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      710 |        0
0.29/0.35	c  0.1s |       1 |     1222 |      100 |     4234      0 |      711 |      536
0.38/0.47	c  0.2s |       2 |     1917 |      250 |     4658      0 |      711 |      536
0.58/0.61	c  0.4s |       3 |     4005 |      475 |     5124      0 |      711 |      536
0.79/0.85	c  0.6s |       4 |     5691 |      813 |     5637      0 |      711 |      536
1.20/1.26	c  1.0s |       5 |     8999 |     1320 |     6201      0 |      711 |      536
1.79/1.81	c  1.6s |       6 |    13096 |     2081 |     7505      0 |      711 |      536
2.89/2.99	c  2.7s |       7 |    17032 |     3223 |     8256      0 |      711 |      536
4.40/4.41	c  4.2s |       8 |    24504 |     4936 |     9082      0 |      712 |      536
6.38/6.42	c  6.2s |       8 |    34481 |     7336 |     9082      0 |      712 |      536
6.48/6.55	c  6.3s |       9 |    34756 |     7506 |     9991      0 |      712 |      536
8.58/8.62	c  8.4s |       9 |    43857 |     9906 |     9991      0 |      712 |      536
9.99/10.04	c  9.8s |      10 |    47519 |    11361 |    10991      0 |      712 |      536
11.98/12.07	c 11.8s |      10 |    53560 |    13161 |    10991      0 |      712 |      536
14.29/14.34	c 14.1s |      10 |    55254 |    14561 |    10991      1 |      712 |      536
16.38/16.45	c 16.2s |      10 |    56455 |    15661 |    10991      1 |      712 |      536
18.48/18.56	c 18.3s |      10 |    57541 |    16661 |    10991      1 |      712 |      536
19.68/19.76	c 19.5s |      11 |    58052 |    17144 |    12091      1 |      712 |      536
21.68/21.78	c 21.5s |      11 |    65351 |    19544 |    12091      1 |      712 |      536
23.89/23.91	c 23.7s |      11 |    69525 |    21644 |    12091      1 |      712 |      536
25.89/25.96	c 25.7s |      11 |    71871 |    23244 |    12091      2 |      712 |      536
27.89/27.98	c 27.7s |      11 |    74969 |    24644 |    12091      2 |      712 |      536
29.49/29.52	c 29.3s |      12 |    76273 |    25819 |    13301      2 |      712 |      536
31.49/31.55	c 31.3s |      12 |    88167 |    28219 |    13301      2 |      712 |      536
33.49/33.55	c 33.3s |      12 |    92204 |    30119 |    13301      2 |      712 |      536
35.49/35.58	c 35.3s |      12 |    94155 |    31419 |    13301      3 |      712 |      536
37.59/37.66	c 37.4s |      12 |    95586 |    32619 |    13301      3 |      712 |      536
39.70/39.78	c 39.5s |      12 |    96979 |    33819 |    13301      3 |      712 |      536
41.90/41.94	c 41.7s |      12 |    98099 |    34819 |    13301      3 |      712 |      536
44.10/44.11	c 43.9s |      12 |    99289 |    35819 |    13301      3 |      712 |      536
46.20/46.28	c 46.0s |      12 |   100497 |    36819 |    13301      3 |      712 |      536
48.29/48.31	c 48.1s |      12 |   101299 |    37519 |    13301      3 |      712 |      536
50.39/50.42	c 50.2s |      12 |   102094 |    38219 |    13301      3 |      712 |      536
52.19/52.20	c 51.9s |      13 |   102809 |    38832 |    14632      3 |      712 |      536
54.18/54.29	c 54.0s |      13 |   107462 |    40732 |    14632      4 |      712 |      536
56.38/56.40	c 56.1s |      13 |   109546 |    42432 |    14632      4 |      712 |      536
58.48/58.52	c 58.3s |      13 |   111361 |    43932 |    14632      4 |      712 |      536
60.49/60.60	c 60.3s |      13 |   113689 |    45632 |    14632      4 |      712 |      536
62.69/62.71	c 62.5s |      13 |   115219 |    46932 |    14632      4 |      712 |      536
64.68/64.71	c 64.5s |      13 |   116462 |    48032 |    14632      4 |      712 |      536
66.68/66.73	c 66.5s |      13 |   117595 |    49032 |    14632      5 |      712 |      536
68.78/68.83	c 68.6s |      13 |   118842 |    50132 |    14632      5 |      712 |      536
70.78/70.83	c 70.6s |      13 |   119813 |    51032 |    14632      5 |      712 |      536
72.88/72.94	c 72.7s |      13 |   121138 |    52132 |    14632      5 |      712 |      536
74.89/74.94	c 74.7s |      13 |   122326 |    53132 |    14632      5 |      712 |      536
76.88/76.95	c 76.7s |      13 |   123376 |    54032 |    14632      5 |      712 |      536
78.98/79.01	c 78.8s |      13 |   124543 |    54932 |    14632      5 |      712 |      536
81.18/81.20	c 80.9s |      13 |   125383 |    55632 |    14632      5 |      712 |      536
83.38/83.42	c 83.2s |      13 |   126427 |    56532 |    14632      5 |      712 |      536
85.38/85.46	c 85.2s |      13 |   128167 |    57532 |    14632      5 |      712 |      536
86.58/86.64	c 86.4s |      14 |   129767 |    58352 |    16096      6 |      712 |      536
88.57/88.64	c 88.4s |      14 |   141888 |    61552 |    16096      6 |      712 |      536
90.57/90.67	c 90.4s |      14 |   145024 |    63452 |    16096      6 |      712 |      536
92.77/92.80	c 92.5s |      14 |   147231 |    65152 |    16096      6 |      712 |      536
94.87/94.90	c 94.6s |      14 |   148751 |    66452 |    16096      6 |      712 |      536
96.97/97.03	c 96.8s |      14 |   150132 |    67652 |    16096      6 |      712 |      536
98.98/99.06	c 98.8s |      14 |   151391 |    68652 |    16096      7 |      712 |      536
101.18/101.22	c  100s |      14 |   152621 |    69652 |    16096      7 |      712 |      536
103.27/103.30	c  103s |      14 |   154023 |    70752 |    16096      7 |      712 |      536
105.27/105.37	c  105s |      14 |   155263 |    71752 |    16096      7 |      712 |      536
107.27/107.38	c  107s |      14 |   156549 |    72752 |    16096      7 |      712 |      536
109.37/109.46	c  109s |      14 |   157769 |    73752 |    16096      7 |      712 |      536
111.47/111.55	c  111s |      14 |   158808 |    74652 |    16096      7 |      712 |      536
113.67/113.71	c  113s |      14 |   159846 |    75552 |    16096      7 |      712 |      536
115.97/116.00	c  115s |      14 |   160879 |    76452 |    16096      7 |      712 |      536
117.97/118.06	c  117s |      14 |   161921 |    77352 |    16096      7 |      712 |      536
120.17/120.23	c  119s |      14 |   162929 |    78152 |    16096      8 |      712 |      536
122.27/122.35	c  122s |      14 |   164117 |    79152 |    16096      8 |      712 |      536
124.38/124.47	c  124s |      14 |   165152 |    80052 |    16096      8 |      712 |      536
126.37/126.49	c  126s |      14 |   166077 |    80852 |    16096      8 |      712 |      536
128.68/128.71	c  128s |      14 |   166949 |    81652 |    16096      8 |      712 |      536
130.88/131.01	c  130s |      14 |   167873 |    82452 |    16096      8 |      712 |      536
132.97/133.02	c  132s |      14 |   168675 |    83152 |    16096      8 |      712 |      536
135.17/135.27	c  135s |      14 |   169569 |    83952 |    16096      8 |      712 |      536
137.27/137.33	c  137s |      14 |   170381 |    84652 |    16096      8 |      712 |      536
139.37/139.42	c  139s |      14 |   171339 |    85452 |    16096      8 |      712 |      536
141.67/141.72	c  141s |      14 |   172304 |    86252 |    16096      8 |      712 |      536
143.67/143.78	c  143s |      14 |   173093 |    86952 |    16096      8 |      712 |      536
145.07/145.15	c  144s |      15 |   174615 |    87632 |    17706      8 |      712 |      536
147.06/147.18	c  146s |      15 |   178615 |    89132 |    17706      9 |      712 |      536
149.16/149.27	c  149s |      15 |   180513 |    90732 |    17706      9 |      712 |      536
151.26/151.33	c  151s |      15 |   182314 |    92232 |    17706      9 |      712 |      536
153.36/153.48	c  153s |      15 |   183793 |    93532 |    17706      9 |      712 |      536
155.36/155.48	c  155s |      15 |   185072 |    94632 |    17706      9 |      712 |      536
157.56/157.61	c  157s |      15 |   186465 |    95832 |    17706      9 |      712 |      536
159.66/159.78	c  159s |      15 |   187720 |    96932 |    17706      9 |      712 |      536
161.67/161.80	c  161s |      15 |   188797 |    97932 |    17706      9 |      712 |      536
163.87/163.91	c  163s |      15 |   189938 |    98932 |    17706      9 |      712 |      536
165.96/166.06	c  165s |      15 |   190836 |    99732 |    17706     10 |      712 |      536
168.16/168.21	c  167s |      15 |   191841 |   100632 |    17706     10 |      712 |      536
170.16/170.24	c  169s |      15 |   192865 |   101532 |    17706     10 |      712 |      536
172.26/172.36	c  172s |      15 |   193920 |   102432 |    17706     10 |      712 |      536
174.36/174.48	c  174s |      15 |   194938 |   103332 |    17706     10 |      712 |      536
176.46/176.59	c  176s |      15 |   196032 |   104232 |    17706     10 |      712 |      536
178.56/178.66	c  178s |      15 |   196954 |   105032 |    17706     10 |      712 |      536
180.66/180.76	c  180s |      15 |   197761 |   105732 |    17706     10 |      712 |      536
182.86/182.90	c  182s |      15 |   198698 |   106532 |    17706     10 |      712 |      536
184.87/184.92	c  184s |      15 |   199381 |   107132 |    17706     10 |      712 |      536
186.97/187.08	c  186s |      15 |   200204 |   107832 |    17706     10 |      712 |      536
189.06/189.17	c  188s |      15 |   200848 |   108432 |    17706     10 |      712 |      536
191.16/191.27	c  191s |      15 |   201529 |   109032 |    17706     10 |      712 |      536
193.67/193.79	c  193s |      15 |   202299 |   109732 |    17706     11 |      712 |      536
195.87/195.97	c  195s |      15 |   203177 |   110532 |    17706     11 |      712 |      536
198.07/198.16	c  197s |      15 |   204600 |   111632 |    17706     11 |      712 |      536
200.06/200.16	c  199s |      15 |   205591 |   112532 |    17706     11 |      712 |      536
202.16/202.25	c  201s |      15 |   206755 |   113532 |    17706     11 |      712 |      536
204.26/204.37	c  204s |      15 |   207775 |   114432 |    17706     11 |      712 |      536
206.46/206.56	c  206s |      15 |   208675 |   115232 |    17706     11 |      712 |      536
208.56/208.64	c  208s |      15 |   209622 |   116032 |    17706     11 |      712 |      536
210.76/210.84	c  210s |      15 |   210664 |   116932 |    17706     11 |      712 |      536
212.76/212.88	c  212s |      15 |   211686 |   117732 |    17706     11 |      712 |      536
214.86/214.95	c  214s |      15 |   212471 |   118432 |    17706     11 |      712 |      536
216.96/217.08	c  216s |      15 |   213435 |   119232 |    17706     11 |      712 |      536
219.36/219.42	c  219s |      15 |   214225 |   119932 |    17706     11 |      712 |      536
221.56/221.62	c  221s |      15 |   215028 |   120632 |    17706     12 |      712 |      536
223.66/223.72	c  223s |      15 |   216035 |   121532 |    17706     12 |      712 |      536
225.76/225.89	c  225s |      15 |   217070 |   122432 |    17706     12 |      712 |      536
227.86/227.98	c  227s |      15 |   218091 |   123332 |    17706     12 |      712 |      536
230.16/230.25	c  229s |      15 |   219146 |   124232 |    17706     12 |      712 |      536
232.26/232.37	c  232s |      15 |   219914 |   124932 |    17706     12 |      712 |      536
234.46/234.56	c  234s |      15 |   220683 |   125632 |    17706     12 |      712 |      536
236.76/236.85	c  236s |      15 |   221573 |   126432 |    17706     12 |      712 |      536
238.77/238.89	c  238s |      15 |   222348 |   127132 |    17706     12 |      712 |      536
241.06/241.19	c  240s |      15 |   223276 |   127932 |    17706     12 |      712 |      536
243.26/243.34	c  243s |      15 |   224057 |   128632 |    17706     12 |      712 |      536
245.36/245.45	c  245s |      15 |   224702 |   129232 |    17706     12 |      712 |      536
247.56/247.68	c  247s |      15 |   225356 |   129832 |    17706     12 |      712 |      536
249.95/250.01	c  249s |      15 |   226147 |   130532 |    17706     12 |      712 |      536
251.96/252.05	c  251s |      15 |   226818 |   131132 |    19477     12 |      712 |      536
253.35/253.48	c  253s |      16 |   227272 |   131552 |    19477     12 |      712 |      536
255.45/255.54	c  255s |      16 |   235313 |   133452 |    19477     13 |      712 |      536
257.46/257.55	c  257s |      16 |   242089 |   135652 |    19477     13 |      712 |      536
259.56/259.62	c  259s |      16 |   247070 |   137752 |    19477     13 |      712 |      536
261.65/261.78	c  261s |      16 |   248854 |   138852 |    19477     13 |      712 |      536
264.15/264.22	c  263s |      16 |   249968 |   139752 |    19477     13 |      712 |      536
266.35/266.41	c  266s |      16 |   250728 |   140452 |    19477     13 |      712 |      536
268.46/268.56	c  268s |      16 |   251215 |   140852 |    19477     13 |      712 |      536
270.66/270.78	c  270s |      16 |   251693 |   141252 |    19477     13 |      712 |      536
273.65/273.70	c  273s |      16 |   252042 |   141552 |    19477     13 |      712 |      536
276.16/276.27	c  276s |      16 |   252477 |   141952 |    19477     13 |      712 |      536
278.64/278.74	c  278s |      16 |   253823 |   142952 |    19477     13 |      712 |      536
281.24/281.31	c  281s |      16 |   254542 |   143552 |    19477     14 |      712 |      536
283.44/283.52	c  283s |      16 |   255749 |   144552 |    19477     14 |      712 |      536
285.64/285.76	c  285s |      16 |   256680 |   145352 |    19477     14 |      712 |      536
287.74/287.85	c  287s |      16 |   258935 |   146552 |    19477     14 |      712 |      536
289.74/289.86	c  289s |      16 |   261034 |   147752 |    19477     14 |      712 |      536
291.84/291.93	c  291s |      16 |   262753 |   148852 |    19477     14 |      712 |      536
293.84/293.98	c  293s |      16 |   264924 |   150052 |    19477     14 |      712 |      536
295.85/295.98	c  295s |      16 |   266394 |   151052 |    19477     14 |      712 |      536
297.94/298.04	c  297s |      16 |   267880 |   152052 |    19477     14 |      712 |      536
299.94/300.05	c  299s |      16 |   268886 |   152852 |    19477     14 |      712 |      536
302.04/302.17	c  301s |      16 |   269984 |   153652 |    19477     14 |      712 |      536
304.14/304.21	c  303s |      16 |   271107 |   154452 |    19477     14 |      712 |      536
306.44/306.53	c  306s |      16 |   272028 |   155152 |    19477     15 |      712 |      536
308.44/308.58	c  308s |      16 |   273616 |   156052 |    19477     15 |      712 |      536
310.54/310.64	c  310s |      16 |   274520 |   156752 |    19477     15 |      712 |      536
312.64/312.78	c  312s |      16 |   275480 |   157452 |    19477     15 |      712 |      536
314.84/314.91	c  314s |      16 |   276628 |   158252 |    19477     15 |      712 |      536
316.94/317.00	c  316s |      16 |   277307 |   158752 |    19477     15 |      712 |      536
319.14/319.24	c  318s |      16 |   278142 |   159452 |    19477     15 |      712 |      536
321.84/321.97	c  321s |      16 |   278964 |   160152 |    19477     15 |      712 |      536
323.94/324.08	c  323s |      16 |   279433 |   160552 |    19477     15 |      712 |      536
326.24/326.37	c  326s |      16 |   279862 |   160952 |    19477     15 |      712 |      536
328.34/328.47	c  328s |      16 |   280330 |   161352 |    19477     15 |      712 |      536
330.34/330.49	c  330s |      16 |   287186 |   162652 |    19477     15 |      712 |      536
332.54/332.64	c  332s |      16 |   290926 |   164452 |    19477     15 |      712 |      536
334.74/334.84	c  334s |      16 |   292764 |   165752 |    19477     15 |      712 |      536
336.84/336.95	c  336s |      16 |   293906 |   166652 |    19477     16 |      712 |      536
338.85/338.99	c  338s |      16 |   295262 |   167752 |    19477     16 |      712 |      536
341.05/341.19	c  340s |      16 |   296469 |   168752 |    19477     16 |      712 |      536
343.24/343.31	c  343s |      16 |   298302 |   169952 |    19477     16 |      712 |      536
345.23/345.32	c  345s |      16 |   299373 |   170852 |    19477     16 |      712 |      536
347.33/347.44	c  347s |      16 |   300733 |   171852 |    19477     16 |      712 |      536
349.53/349.62	c  349s |      16 |   301889 |   172852 |    19477     16 |      712 |      536
351.63/351.73	c  351s |      16 |   302792 |   173652 |    19477     16 |      712 |      536
353.73/353.83	c  353s |      16 |   303701 |   174452 |    19477     16 |      712 |      536
355.73/355.86	c  355s |      16 |   304458 |   175152 |    19477     16 |      712 |      536
357.93/358.03	c  357s |      16 |   305377 |   175952 |    19477     16 |      712 |      536
359.93/360.05	c  359s |      16 |   306177 |   176652 |    19477     16 |      712 |      536
362.13/362.29	c  362s |      16 |   307004 |   177352 |    19477     17 |      712 |      536
364.23/364.38	c  364s |      16 |   307783 |   178052 |    19477     17 |      712 |      536
366.43/366.57	c  366s |      16 |   308548 |   178752 |    19477     17 |      712 |      536
368.73/368.82	c  368s |      16 |   309353 |   179452 |    19477     17 |      712 |      536
370.74/370.87	c  370s |      16 |   310032 |   180052 |    19477     17 |      712 |      536
372.83/372.98	c  372s |      16 |   310679 |   180652 |    19477     17 |      712 |      536
375.03/375.13	c  374s |      16 |   311326 |   181252 |    19477     17 |      712 |      536
377.23/377.35	c  377s |      16 |   311997 |   181852 |    19477     17 |      712 |      536
379.43/379.59	c  379s |      16 |   312640 |   182452 |    19477     17 |      712 |      536
381.63/381.79	c  381s |      16 |   313315 |   183052 |    19477     17 |      712 |      536
383.83/383.92	c  383s |      16 |   313872 |   183552 |    19477     17 |      712 |      536
386.13/386.25	c  385s |      16 |   314531 |   184152 |    19477     17 |      712 |      536
388.52/388.65	c  388s |      16 |   315230 |   184752 |    19477     17 |      712 |      536
390.82/390.92	c  390s |      16 |   315898 |   185352 |    19477     17 |      712 |      536
392.82/392.95	c  392s |      16 |   316456 |   185852 |    19477     17 |      712 |      536
394.93/395.03	c  394s |      16 |   317014 |   186352 |    19477     17 |      712 |      536
397.02/397.13	c  396s |      16 |   317543 |   186852 |    19477     17 |      712 |      536
399.11/399.22	c  398s |      16 |   318099 |   187352 |    19477     17 |      712 |      536
401.52/401.61	c  401s |      16 |   318843 |   187952 |    19477     17 |      712 |      536
403.51/403.64	c  403s |      16 |   323869 |   189552 |    19477     18 |      712 |      536
405.51/405.65	c  405s |      16 |   326608 |   191252 |    19477     18 |      712 |      536
407.61/407.71	c  407s |      16 |   328751 |   192752 |    19477     18 |      712 |      536
409.61/409.77	c  409s |      16 |   330593 |   194152 |    19477     18 |      712 |      536
411.71/411.89	c  411s |      16 |   332173 |   195452 |    19477     18 |      712 |      536
413.81/413.98	c  413s |      16 |   333524 |   196552 |    21425     18 |      712 |      536
415.91/416.09	c  415s |      17 |   334549 |   197432 |    21425     18 |      712 |      536
418.11/418.27	c  418s |      17 |   338102 |   198632 |    21425     18 |      712 |      536
420.22/420.32	c  420s |      17 |   339339 |   199732 |    21425     18 |      712 |      536
422.20/422.38	c  422s |      17 |   340880 |   200832 |    21425     18 |      712 |      536
424.30/424.44	c  424s |      17 |   344790 |   202032 |    21425     19 |      712 |      536
426.30/426.47	c  426s |      17 |   346214 |   203332 |    21425     19 |      712 |      536
428.40/428.53	c  428s |      17 |   347498 |   204532 |    21425     19 |      712 |      536
430.40/430.57	c  430s |      17 |   348929 |   205832 |    21425     19 |      712 |      536
432.60/432.76	c  432s |      17 |   349989 |   206832 |    21425     19 |      712 |      536
434.80/434.92	c  434s |      17 |   351171 |   207932 |    21425     19 |      712 |      536
437.00/437.11	c  436s |      17 |   352118 |   208832 |    21425     19 |      712 |      536
439.00/439.17	c  438s |      17 |   352953 |   209632 |    21425     19 |      712 |      536
441.11/441.26	c  441s |      17 |   357419 |   210832 |    21425     19 |      712 |      536
443.21/443.38	c  443s |      17 |   359299 |   212132 |    21425     19 |      712 |      536
445.20/445.39	c  445s |      17 |   361123 |   213232 |    21425     19 |      712 |      536
447.30/447.40	c  447s |      17 |   363270 |   214332 |    21425     20 |      712 |      536
449.29/449.42	c  449s |      17 |   364437 |   215232 |    21425     20 |      712 |      536
451.39/451.57	c  451s |      17 |   365816 |   216232 |    21425     20 |      712 |      536
453.59/453.74	c  453s |      17 |   367099 |   217232 |    21425     20 |      712 |      536
455.59/455.76	c  455s |      17 |   368213 |   218032 |    21425     20 |      712 |      536
457.69/457.80	c  457s |      17 |   369489 |   218932 |    21425     20 |      712 |      536
459.89/460.01	c  459s |      17 |   370427 |   219732 |    21425     20 |      712 |      536
462.09/462.22	c  461s |      17 |   371236 |   220432 |    21425     20 |      712 |      536
464.20/464.38	c  464s |      17 |   371920 |   221032 |    21425     20 |      712 |      536
466.60/466.73	c  466s |      17 |   372897 |   221832 |    21425     20 |      712 |      536
468.70/468.90	c  468s |      17 |   373755 |   222532 |    21425     20 |      712 |      536
471.00/471.15	c  470s |      17 |   374594 |   223232 |    21425     20 |      712 |      536
473.01/473.18	c  472s |      17 |   375279 |   223832 |    21425     20 |      712 |      536
475.21/475.33	c  475s |      17 |   375957 |   224432 |    21425     20 |      712 |      536
477.31/477.44	c  477s |      17 |   376636 |   225032 |    21425     20 |      712 |      536
479.51/479.70	c  479s |      17 |   377332 |   225632 |    21425     20 |      712 |      536
481.60/481.79	c  481s |      17 |   377906 |   226132 |    21425     21 |      712 |      536
483.91/484.04	c  483s |      17 |   378686 |   226832 |    21425     21 |      712 |      536
486.00/486.12	c  485s |      17 |   379342 |   227432 |    21425     21 |      712 |      536
488.10/488.24	c  487s |      17 |   380023 |   228032 |    21425     21 |      712 |      536
490.30/490.49	c  490s |      17 |   380821 |   228732 |    21425     21 |      712 |      536
492.40/492.59	c  492s |      17 |   381811 |   229432 |    21425     21 |      712 |      536
494.49/494.66	c  494s |      17 |   382767 |   230232 |    21425     21 |      712 |      536
496.69/496.89	c  496s |      17 |   383706 |   231032 |    21425     21 |      712 |      536
498.99/499.13	c  498s |      17 |   384657 |   231832 |    21425     21 |      712 |      536
501.09/501.29	c  501s |      17 |   385484 |   232532 |    21425     21 |      712 |      536
503.29/503.41	c  503s |      17 |   386306 |   233232 |    21425     21 |      712 |      536
505.29/505.46	c  505s |      17 |   387148 |   233932 |    21425     21 |      712 |      536
507.39/507.59	c  507s |      17 |   387863 |   234532 |    21425     21 |      712 |      536
509.69/509.86	c  509s |      17 |   388659 |   235232 |    21425     21 |      712 |      536
511.89/512.02	c  511s |      17 |   389370 |   235832 |    21425     21 |      712 |      536
514.19/514.30	c  514s |      17 |   390039 |   236432 |    21425     21 |      712 |      536
516.49/516.64	c  516s |      17 |   390737 |   237032 |    21425     21 |      712 |      536
518.79/518.97	c  518s |      17 |   391438 |   237632 |    21425     21 |      712 |      536
521.49/521.61	c  521s |      17 |   392110 |   238232 |    21425     22 |      712 |      536
523.50/523.69	c  523s |      17 |   393056 |   239032 |    21425     22 |      712 |      536
525.70/525.82	c  525s |      17 |   394018 |   239832 |    21425     22 |      712 |      536
528.00/528.14	c  527s |      17 |   394965 |   240632 |    21425     22 |      712 |      536
529.99/530.14	c  529s |      17 |   395776 |   241332 |    21425     22 |      712 |      536
532.29/532.42	c  532s |      17 |   396657 |   242032 |    21425     22 |      712 |      536
534.38/534.51	c  534s |      17 |   397477 |   242732 |    21425     22 |      712 |      536
536.48/536.67	c  536s |      17 |   398462 |   243532 |    21425     22 |      712 |      536
538.68/538.82	c  538s |      17 |   399252 |   244232 |    21425     22 |      712 |      536
540.68/540.86	c  540s |      17 |   399955 |   244832 |    21425     22 |      712 |      536
542.88/543.01	c  542s |      17 |   400796 |   245532 |    21425     22 |      712 |      536
545.08/545.22	c  544s |      17 |   401484 |   246132 |    21425     22 |      712 |      536
547.28/547.48	c  547s |      17 |   402176 |   246732 |    21425     22 |      712 |      536
549.58/549.73	c  549s |      17 |   402862 |   247332 |    21425     22 |      712 |      536
551.87/552.00	c  551s |      17 |   403549 |   247932 |    21425     22 |      712 |      536
554.07/554.24	c  553s |      17 |   404086 |   248432 |    21425     22 |      712 |      536
556.27/556.49	c  556s |      17 |   404636 |   248932 |    21425     22 |      712 |      536
558.57/558.77	c  558s |      17 |   405309 |   249532 |    21425     22 |      712 |      536
560.67/560.88	c  560s |      17 |   405862 |   250032 |    21425     22 |      712 |      536
563.07/563.27	c  563s |      17 |   406429 |   250532 |    21425     23 |      712 |      536
565.37/565.59	c  565s |      17 |   407211 |   251232 |    21425     23 |      712 |      536
567.76/567.90	c  567s |      17 |   407988 |   251932 |    21425     23 |      712 |      536
569.86/570.09	c  569s |      17 |   408662 |   252532 |    21425     23 |      712 |      536
572.16/572.31	c  572s |      17 |   409342 |   253132 |    21425     23 |      712 |      536
574.25/574.49	c  574s |      17 |   409891 |   253632 |    21425     23 |      712 |      536
576.45/576.61	c  576s |      17 |   410603 |   254232 |    21425     23 |      712 |      536
578.46/578.66	c  578s |      17 |   411295 |   254832 |    21425     23 |      712 |      536
580.85/581.01	c  580s |      17 |   411975 |   255432 |    21425     23 |      712 |      536
583.15/583.30	c  583s |      17 |   412637 |   256032 |    21425     23 |      712 |      536
585.55/585.73	c  585s |      17 |   413311 |   256632 |    21425     23 |      712 |      536
587.55/587.75	c  587s |      17 |   413887 |   257132 |    21425     23 |      712 |      536
589.75/589.97	c  589s |      17 |   414567 |   257732 |    21425     23 |      712 |      536
591.94/592.18	c  591s |      17 |   415219 |   258332 |    21425     23 |      712 |      536
594.34/594.56	c  594s |      17 |   415887 |   258932 |    21425     23 |      712 |      536
596.44/596.61	c  596s |      17 |   416446 |   259432 |    21425     23 |      712 |      536
598.54/598.74	c  598s |      17 |   417147 |   260032 |    21425     23 |      712 |      536
600.84/601.06	c  600s |      17 |   417849 |   260632 |    21425     23 |      712 |      536
603.14/603.35	c  603s |      17 |   418573 |   261232 |    21425     23 |      712 |      536
605.64/605.86	c  605s |      17 |   419111 |   261732 |    21425     23 |      712 |      536
607.94/608.11	c  607s |      17 |   419646 |   262232 |    21425     23 |      712 |      536
610.14/610.39	c  610s |      17 |   420201 |   262732 |    21425     24 |      712 |      536
612.23/612.47	c  612s |      17 |   421242 |   263532 |    21425     24 |      712 |      536
614.33/614.53	c  614s |      17 |   422222 |   264332 |    21425     24 |      712 |      536
616.43/616.66	c  616s |      17 |   423201 |   265132 |    21425     24 |      712 |      536
618.53/618.74	c  618s |      17 |   424028 |   265832 |    21425     24 |      712 |      536
620.74/620.95	c  620s |      17 |   424847 |   266532 |    21425     24 |      712 |      536
623.04/623.24	c  622s |      17 |   425689 |   267232 |    21425     24 |      712 |      536
625.04/625.29	c  625s |      17 |   426557 |   267932 |    21425     24 |      712 |      536
627.14/627.32	c  627s |      17 |   427420 |   268632 |    21425     24 |      712 |      536
629.24/629.47	c  629s |      17 |   428238 |   269332 |    21425     24 |      712 |      536
631.43/631.61	c  631s |      17 |   428950 |   269932 |    21425     24 |      712 |      536
633.44/633.64	c  633s |      17 |   429686 |   270532 |    21425     24 |      712 |      536
635.74/635.92	c  635s |      17 |   430559 |   271232 |    21425     24 |      712 |      536
637.94/638.18	c  637s |      17 |   431249 |   271832 |    21425     24 |      712 |      536
640.23/640.46	c  640s |      17 |   431834 |   272332 |    21425     24 |      712 |      536
642.43/642.65	c  642s |      17 |   432812 |   273132 |    21425     24 |      712 |      536
644.63/644.85	c  644s |      17 |   433553 |   273832 |    21425     24 |      712 |      536
646.63/646.90	c  646s |      17 |   434197 |   274432 |    21425     24 |      712 |      536
648.94/649.13	c  648s |      17 |   434739 |   274932 |    21425     25 |      712 |      536
651.03/651.27	c  651s |      17 |   435370 |   275532 |    21425     25 |      712 |      536
653.33/653.59	c  653s |      17 |   436134 |   276232 |    21425     25 |      712 |      536
655.53/655.77	c  655s |      17 |   436906 |   276932 |    21425     25 |      712 |      536
657.92/658.11	c  657s |      17 |   437788 |   277732 |    21425     25 |      712 |      536
660.02/660.29	c  660s |      17 |   438681 |   278532 |    21425     25 |      712 |      536
662.21/662.43	c  662s |      17 |   439343 |   279132 |    21425     25 |      712 |      536
664.32/664.51	c  664s |      17 |   439991 |   279732 |    21425     25 |      712 |      536
666.52/666.79	c  666s |      17 |   440620 |   280332 |    21425     25 |      712 |      536
668.81/669.04	c  668s |      17 |   441662 |   281132 |    21425     25 |      712 |      536
670.92/671.13	c  670s |      17 |   443232 |   282032 |    21425     25 |      712 |      536
673.01/673.26	c  673s |      17 |   444285 |   282932 |    21425     25 |      712 |      536
675.10/675.38	c  675s |      17 |   445201 |   283732 |    21425     25 |      712 |      536
677.20/677.49	c  677s |      17 |   446387 |   284532 |    21425     25 |      712 |      536
679.50/679.72	c  679s |      17 |   447199 |   285232 |    21425     25 |      712 |      536
681.49/681.75	c  681s |      17 |   447858 |   285832 |    21425     25 |      712 |      536
683.49/683.76	c  683s |      17 |   448555 |   286432 |    21425     25 |      712 |      536
685.69/685.91	c  685s |      17 |   449281 |   287032 |    21425     26 |      712 |      536
687.69/687.97	c  687s |      17 |   450329 |   287932 |    21425     26 |      712 |      536
689.79/690.04	c  689s |      17 |   451242 |   288732 |    21425     26 |      712 |      536
691.89/692.18	c  691s |      17 |   451991 |   289432 |    21425     26 |      712 |      536
694.09/694.34	c  694s |      17 |   452974 |   290232 |    21425     26 |      712 |      536
696.29/696.50	c  696s |      17 |   454121 |   291232 |    21425     26 |      712 |      536
698.39/698.64	c  698s |      17 |   454885 |   291932 |    21425     26 |      712 |      536
700.49/700.80	c  700s |      17 |   455520 |   292532 |    21425     26 |      712 |      536
702.58/702.89	c  702s |      17 |   456338 |   293232 |    21425     26 |      712 |      536
704.89/705.11	c  704s |      17 |   457240 |   294032 |    21425     26 |      712 |      536
706.88/707.15	c  706s |      17 |   458127 |   294832 |    23568     26 |      712 |      536
708.88/709.18	c  708s |      17 |   458996 |   295532 |    23568     26 |      712 |      536
710.68/710.91	c  710s |      18 |   459862 |   296252 |    23568     26 |      712 |      536
712.69/712.92	c  712s |      18 |   465780 |   298152 |    23568     26 |      712 |      536
714.79/715.05	c  714s |      18 |   469864 |   300152 |    23568     26 |      712 |      536
716.88/717.15	c  716s |      18 |   471378 |   301252 |    23568     27 |      712 |      536
718.97/719.27	c  719s |      18 |   472987 |   302552 |    23568     27 |      712 |      536
720.97/721.29	c  721s |      18 |   474173 |   303552 |    23568     27 |      712 |      536
722.97/723.30	c  723s |      18 |   475691 |   304652 |    23568     27 |      712 |      536
725.07/725.33	c  725s |      18 |   476884 |   305552 |    23568     27 |      712 |      536
727.07/727.34	c  727s |      18 |   477930 |   306352 |    23568     27 |      712 |      536
729.18/729.45	c  729s |      18 |   479401 |   307452 |    23568     27 |      712 |      536
731.27/731.54	c  731s |      18 |   481293 |   308752 |    23568     27 |      712 |      536
733.26/733.58	c  733s |      18 |   482809 |   309952 |    23568     27 |      712 |      536
735.46/735.73	c  735s |      18 |   484126 |   310952 |    23568     27 |      712 |      536
737.67/737.95	c  737s |      18 |   485248 |   311852 |    23568     27 |      712 |      536
739.87/740.12	c  739s |      18 |   486201 |   312652 |    23568     27 |      712 |      536
742.06/742.30	c  742s |      18 |   487064 |   313352 |    23568     27 |      712 |      536
744.16/744.47	c  744s |      18 |   487859 |   314052 |    23568     27 |      712 |      536
746.67/746.94	c  746s |      18 |   488668 |   314752 |    23568     28 |      712 |      536
748.66/748.99	c  748s |      18 |   489661 |   315552 |    23568     28 |      712 |      536
750.86/751.17	c  750s |      18 |   490502 |   316252 |    23568     28 |      712 |      536
752.95/753.26	c  753s |      18 |   491368 |   316952 |    23568     28 |      712 |      536
754.95/755.26	c  755s |      18 |   492241 |   317652 |    23568     28 |      712 |      536
757.05/757.32	c  757s |      18 |   493118 |   318352 |    23568     28 |      712 |      536
759.15/759.48	c  759s |      18 |   494007 |   319052 |    23568     28 |      712 |      536
761.25/761.53	c  761s |      18 |   495069 |   319852 |    23568     28 |      712 |      536
763.35/763.67	c  763s |      18 |   496073 |   320652 |    23568     28 |      712 |      536
765.46/765.71	c  765s |      18 |   496899 |   321352 |    23568     28 |      712 |      536
767.75/768.01	c  767s |      18 |   497610 |   321952 |    23568     28 |      712 |      536
770.04/770.36	c  770s |      18 |   498324 |   322552 |    23568     28 |      712 |      536
772.24/772.59	c  772s |      18 |   499177 |   323252 |    23568     28 |      712 |      536
774.64/774.90	c  774s |      18 |   500021 |   323952 |    23568     28 |      712 |      536
776.94/777.23	c  776s |      18 |   500847 |   324652 |    23568     28 |      712 |      536
778.94/779.25	c  778s |      18 |   501444 |   325152 |    23568     28 |      712 |      536
781.24/781.54	c  781s |      18 |   502172 |   325752 |    23568     28 |      712 |      536
783.24/783.56	c  783s |      18 |   502960 |   326352 |    23568     28 |      712 |      536
785.34/785.69	c  785s |      18 |   503696 |   326952 |    23568     28 |      712 |      536
787.45/787.77	c  787s |      18 |   504423 |   327552 |    23568     28 |      712 |      536
789.93/790.23	c  789s |      18 |   505010 |   328052 |    23568     29 |      712 |      536
792.23/792.52	c  792s |      18 |   505799 |   328752 |    23568     29 |      712 |      536
794.43/794.73	c  794s |      18 |   506671 |   329452 |    23568     29 |      712 |      536
796.53/796.81	c  796s |      18 |   507558 |   330152 |    23568     29 |      712 |      536
798.53/798.87	c  798s |      18 |   508278 |   330752 |    23568     29 |      712 |      536
800.82/801.12	c  800s |      18 |   509105 |   331452 |    23568     29 |      712 |      536
802.92/803.21	c  802s |      18 |   509783 |   332052 |    23568     29 |      712 |      536
805.12/805.40	c  805s |      18 |   510449 |   332652 |    23568     29 |      712 |      536
807.23/807.52	c  807s |      18 |   511160 |   333252 |    23568     29 |      712 |      536
809.43/809.79	c  809s |      18 |   511844 |   333852 |    23568     29 |      712 |      536
811.62/811.96	c  811s |      18 |   512397 |   334352 |    23568     29 |      712 |      536
814.11/814.43	c  814s |      18 |   513054 |   334952 |    23568     29 |      712 |      536
816.11/816.49	c  816s |      18 |   513631 |   335452 |    23568     29 |      712 |      536
818.22/818.54	c  818s |      18 |   514174 |   335952 |    23568     29 |      712 |      536
820.61/820.93	c  820s |      18 |   514844 |   336552 |    23568     29 |      712 |      536
822.70/823.03	c  822s |      18 |   515450 |   337052 |    23568     29 |      712 |      536
825.00/825.31	c  825s |      18 |   516216 |   337652 |    23568     29 |      712 |      536
827.30/827.62	c  827s |      18 |   516921 |   338252 |    23568     29 |      712 |      536
829.40/829.79	c  829s |      18 |   517474 |   338752 |    23568     29 |      712 |      536
831.59/831.95	c  831s |      18 |   518201 |   339352 |    23568     29 |      712 |      536
833.99/834.35	c  834s |      18 |   518729 |   339852 |    23568     29 |      712 |      536
836.39/836.72	c  836s |      18 |   519297 |   340352 |    23568     29 |      712 |      536
838.89/839.22	c  838s |      18 |   519869 |   340852 |    23568     29 |      712 |      536
841.78/842.14	c  841s |      18 |   520439 |   341352 |    23568     30 |      712 |      536
844.08/844.42	c  844s |      18 |   521249 |   342052 |    23568     30 |      712 |      536
846.08/846.45	c  846s |      18 |   521943 |   342652 |    23568     30 |      712 |      536
848.18/848.51	c  848s |      18 |   522786 |   343352 |    23568     30 |      712 |      536
850.28/850.64	c  850s |      18 |   523612 |   344052 |    23568     30 |      712 |      536
852.38/852.73	c  852s |      18 |   524165 |   344552 |    23568     30 |      712 |      536
854.68/855.08	c  854s |      18 |   524846 |   345152 |    23568     30 |      712 |      536
856.78/857.10	c  856s |      18 |   525409 |   345652 |    23568     30 |      712 |      536
858.78/859.19	c  858s |      18 |   525974 |   346152 |    23568     30 |      712 |      536
861.17/861.51	c  861s |      18 |   526515 |   346652 |    23568     30 |      712 |      536
863.37/863.77	c  863s |      18 |   527112 |   347152 |    23568     30 |      712 |      536
865.48/865.81	c  865s |      18 |   527685 |   347652 |    23568     30 |      712 |      536
867.68/868.09	c  867s |      18 |   528256 |   348152 |    23568     30 |      712 |      536
869.97/870.35	c  870s |      18 |   528812 |   348652 |    23568     30 |      712 |      536
872.26/872.68	c  872s |      18 |   529365 |   349152 |    23568     30 |      712 |      536
874.66/875.02	c  874s |      18 |   529903 |   349652 |    23568     30 |      712 |      536
876.76/877.19	c  876s |      18 |   530455 |   350152 |    23568     30 |      712 |      536
878.86/879.23	c  878s |      18 |   530895 |   350552 |    23568     30 |      712 |      536
880.95/881.36	c  881s |      18 |   531341 |   350952 |    23568     30 |      712 |      536
883.35/883.71	c  883s |      18 |   531916 |   351452 |    23568     30 |      712 |      536
885.55/885.91	c  885s |      18 |   532455 |   351952 |    23568     30 |      712 |      536
888.05/888.46	c  888s |      18 |   532993 |   352452 |    23568     30 |      712 |      536
890.35/890.77	c  890s |      18 |   533731 |   353052 |    23568     30 |      712 |      536
892.44/892.84	c  892s |      18 |   534301 |   353552 |    23568     30 |      712 |      536
894.64/895.07	c  894s |      18 |   534889 |   354052 |    23568     30 |      712 |      536
896.64/897.08	c  896s |      18 |   535448 |   354552 |    23568     30 |      712 |      536
898.94/899.30	c  899s |      18 |   535791 |   354852 |    23568     31 |      712 |      536
901.15/901.56	c  901s |      18 |   536458 |   355452 |    23568     31 |      712 |      536
903.45/903.86	c  903s |      18 |   537115 |   356052 |    23568     31 |      712 |      536
905.65/906.02	c  905s |      18 |   537981 |   356752 |    23568     31 |      712 |      536
907.95/908.32	c  908s |      18 |   538801 |   357452 |    23568     31 |      712 |      536
910.05/910.46	c  910s |      18 |   539517 |   358052 |    23568     31 |      712 |      536
912.24/912.62	c  912s |      18 |   540053 |   358552 |    23568     31 |      712 |      536
914.34/914.79	c  914s |      18 |   540612 |   359052 |    23568     31 |      712 |      536
916.54/916.99	c  916s |      18 |   541334 |   359652 |    23568     31 |      712 |      536
918.74/919.13	c  918s |      18 |   542034 |   360252 |    23568     31 |      712 |      536
920.94/921.39	c  921s |      18 |   542755 |   360852 |    23568     31 |      712 |      536
923.03/923.48	c  923s |      18 |   543482 |   361452 |    23568     31 |      712 |      536
925.23/925.64	c  925s |      18 |   544062 |   361952 |    23568     31 |      712 |      536
927.23/927.69	c  927s |      18 |   544521 |   362352 |    23568     31 |      712 |      536
929.33/929.77	c  929s |      18 |   545107 |   362852 |    23568     31 |      712 |      536
931.44/931.81	c  931s |      18 |   545691 |   363352 |    23568     31 |      712 |      536
933.54/933.98	c  933s |      18 |   546265 |   363852 |    23568     31 |      712 |      536
935.73/936.16	c  935s |      18 |   546844 |   364352 |    23568     31 |      712 |      536
938.04/938.42	c  938s |      18 |   547483 |   364852 |    23568     31 |      712 |      536
940.03/940.47	c  940s |      18 |   547948 |   365252 |    23568     31 |      712 |      536
942.33/942.73	c  942s |      18 |   548507 |   365752 |    23568     31 |      712 |      536
944.72/945.15	c  944s |      18 |   549073 |   366252 |    23568     31 |      712 |      536
946.73/947.17	c  946s |      18 |   549645 |   366752 |    23568     31 |      712 |      536
948.72/949.19	c  948s |      18 |   550196 |   367252 |    23568     31 |      712 |      536
951.01/951.42	c  951s |      18 |   550780 |   367752 |    23568     31 |      712 |      536
953.81/954.22	c  953s |      18 |   551358 |   368252 |    23568     32 |      712 |      536
955.91/956.33	c  956s |      18 |   552049 |   368852 |    23568     32 |      712 |      536
957.91/958.34	c  958s |      18 |   552774 |   369452 |    23568     32 |      712 |      536
960.11/960.59	c  960s |      18 |   553627 |   370152 |    23568     32 |      712 |      536
962.22/962.65	c  962s |      18 |   554302 |   370752 |    23568     32 |      712 |      536
964.32/964.73	c  964s |      18 |   554887 |   371252 |    23568     32 |      712 |      536
966.52/966.97	c  966s |      18 |   555430 |   371752 |    23568     32 |      712 |      536
968.72/969.14	c  968s |      18 |   556136 |   372352 |    23568     32 |      712 |      536
971.21/971.61	c  971s |      18 |   556807 |   372952 |    23568     32 |      712 |      536
973.41/973.82	c  973s |      18 |   557413 |   373452 |    23568     32 |      712 |      536
975.42/975.86	c  975s |      18 |   558172 |   374052 |    23568     32 |      712 |      536
977.71/978.18	c  977s |      18 |   559003 |   374752 |    23568     32 |      712 |      536
980.11/980.50	c  980s |      18 |   559730 |   375352 |    23568     32 |      712 |      536
982.20/982.61	c  982s |      18 |   560305 |   375852 |    23568     32 |      712 |      536
984.21/984.62	c  984s |      18 |   560765 |   376252 |    23568     32 |      712 |      536
986.50/986.92	c  986s |      18 |   561234 |   376652 |    23568     32 |      712 |      536
988.80/989.23	c  988s |      18 |   561788 |   377152 |    23568     32 |      712 |      536
991.20/991.60	c  991s |      18 |   562350 |   377652 |    23568     32 |      712 |      536
993.40/993.88	c  993s |      18 |   562898 |   378152 |    23568     32 |      712 |      536
995.40/995.88	c  995s |      18 |   563485 |   378652 |    23568     32 |      712 |      536
997.50/997.96	c  997s |      18 |   564077 |   379152 |    23568     32 |      712 |      536
999.51/999.98	c  999s |      18 |   564525 |   379552 |    23568     32 |      712 |      536
1001.71/1002.15	c 1001s |      18 |   564963 |   379952 |    23568     32 |      712 |      536
1003.80/1004.20	c 1003s |      18 |   565428 |   380352 |    23568     32 |      712 |      536
1005.90/1006.38	c 1006s |      18 |   566019 |   380852 |    23568     32 |      712 |      536
1008.00/1008.47	c 1008s |      18 |   566474 |   381252 |    23568     32 |      712 |      536
1010.30/1010.76	c 1010s |      18 |   566805 |   381552 |    23568     33 |      712 |      536
1012.60/1013.05	c 1012s |      18 |   567362 |   382052 |    23568     33 |      712 |      536
1014.60/1015.06	c 1014s |      18 |   567938 |   382552 |    23568     33 |      712 |      536
1016.60/1017.06	c 1016s |      18 |   568498 |   383052 |    23568     33 |      712 |      536
1018.90/1019.31	c 1019s |      18 |   569264 |   383652 |    23568     33 |      712 |      536
1021.10/1021.59	c 1021s |      18 |   570110 |   384352 |    23568     33 |      712 |      536
1023.60/1024.00	c 1023s |      18 |   570807 |   384952 |    23568     33 |      712 |      536
1025.70/1026.19	c 1025s |      18 |   571648 |   385652 |    23568     33 |      712 |      536
1027.89/1028.32	c 1028s |      18 |   572246 |   386152 |    23568     33 |      712 |      536
1029.89/1030.37	c 1030s |      18 |   572828 |   386652 |    23568     33 |      712 |      536
1031.99/1032.46	c 1032s |      18 |   573590 |   387252 |    23568     33 |      712 |      536
1034.09/1034.50	c 1034s |      18 |   574178 |   387752 |    23568     33 |      712 |      536
1036.39/1036.89	c 1036s |      18 |   574893 |   388352 |    23568     33 |      712 |      536
1038.49/1038.91	c 1038s |      18 |   575484 |   388852 |    23568     33 |      712 |      536
1040.89/1041.35	c 1041s |      18 |   576203 |   389452 |    23568     33 |      712 |      536
1042.89/1043.39	c 1043s |      18 |   576781 |   389952 |    23568     33 |      712 |      536
1044.99/1045.40	c 1045s |      18 |   577230 |   390352 |    23568     33 |      712 |      536
1047.19/1047.64	c 1047s |      18 |   577821 |   390852 |    23568     33 |      712 |      536
1049.39/1049.86	c 1049s |      18 |   578420 |   391352 |    23568     33 |      712 |      536
1051.89/1052.33	c 1052s |      18 |   578995 |   391852 |    23568     33 |      712 |      536
1054.19/1054.63	c 1054s |      18 |   579557 |   392352 |    23568     33 |      712 |      536
1056.49/1056.91	c 1056s |      18 |   580165 |   392852 |    23568     33 |      712 |      536
1058.59/1059.01	c 1058s |      18 |   580610 |   393252 |    23568     33 |      712 |      536
1060.89/1061.39	c 1061s |      18 |   581188 |   393752 |    23568     33 |      712 |      536
1063.09/1063.50	c 1063s |      18 |   581637 |   394152 |    23568     33 |      712 |      536
1065.09/1065.55	c 1065s |      18 |   582141 |   394552 |    23568     33 |      712 |      536
1067.49/1067.93	c 1067s |      18 |   582628 |   394952 |    23568     34 |      712 |      536
1069.79/1070.20	c 1069s |      18 |   583315 |   395552 |    23568     34 |      712 |      536
1072.10/1072.53	c 1072s |      18 |   584005 |   396152 |    23568     34 |      712 |      536
1074.19/1074.67	c 1074s |      18 |   584717 |   396752 |    23568     34 |      712 |      536
1076.60/1077.03	c 1076s |      18 |   585423 |   397352 |    23568     34 |      712 |      536
1078.89/1079.34	c 1079s |      18 |   586149 |   397952 |    23568     34 |      712 |      536
1081.00/1081.43	c 1081s |      18 |   586720 |   398452 |    23568     34 |      712 |      536
1082.99/1083.48	c 1083s |      18 |   587173 |   398852 |    23568     34 |      712 |      536
1085.19/1085.64	c 1085s |      18 |   587985 |   399452 |    23568     34 |      712 |      536
1087.18/1087.66	c 1087s |      18 |   588551 |   399952 |    23568     34 |      712 |      536
1089.28/1089.74	c 1089s |      18 |   589151 |   400452 |    23568     34 |      712 |      536
1091.78/1092.20	c 1091s |      18 |   589885 |   401052 |    23568     34 |      712 |      536
1093.88/1094.34	c 1094s |      18 |   590469 |   401552 |    23568     34 |      712 |      536
1096.08/1096.59	c 1096s |      18 |   591070 |   402052 |    23568     34 |      712 |      536
1098.18/1098.67	c 1098s |      18 |   591670 |   402552 |    23568     34 |      712 |      536
1100.28/1100.72	c 1100s |      18 |   592260 |   403052 |    23568     34 |      712 |      536
1102.28/1102.72	c 1102s |      18 |   593024 |   403652 |    23568     34 |      712 |      536
1104.28/1104.75	c 1104s |      18 |   593825 |   404252 |    23568     34 |      712 |      536
1106.68/1107.17	c 1106s |      18 |   594554 |   404852 |    23568     34 |      712 |      536
1108.78/1109.25	c 1109s |      18 |   595266 |   405452 |    23568     34 |      712 |      536
1110.88/1111.38	c 1111s |      18 |   596138 |   406152 |    23568     34 |      712 |      536
1112.98/1113.41	c 1113s |      18 |   596858 |   406752 |    23568     34 |      712 |      536
1115.09/1115.53	c 1115s |      18 |   597511 |   407252 |    23568     34 |      712 |      536
1117.19/1117.62	c 1117s |      18 |   598263 |   407852 |    23568     34 |      712 |      536
1119.58/1120.05	c 1119s |      18 |   598740 |   408252 |    23568     35 |      712 |      536
1121.59/1122.10	c 1121s |      18 |   599443 |   408852 |    23568     35 |      712 |      536
1123.79/1124.22	c 1123s |      18 |   600308 |   409552 |    23568     35 |      712 |      536
1125.88/1126.31	c 1126s |      18 |   601054 |   410152 |    23568     35 |      712 |      536
1127.98/1128.48	c 1128s |      18 |   602063 |   410952 |    23568     35 |      712 |      536
1130.28/1130.76	c 1130s |      18 |   602806 |   411552 |    23568     35 |      712 |      536
1132.59/1133.04	c 1132s |      18 |   603533 |   412152 |    23568     35 |      712 |      536
1134.68/1135.17	c 1134s |      18 |   604114 |   412652 |    23568     35 |      712 |      536
1136.88/1137.34	c 1137s |      18 |   604722 |   413152 |    23568     35 |      712 |      536
1139.08/1139.50	c 1139s |      18 |   605454 |   413752 |    23568     35 |      712 |      536
1141.08/1141.52	c 1141s |      18 |   606264 |   414452 |    23568     35 |      712 |      536
1143.18/1143.62	c 1143s |      18 |   606957 |   415052 |    23568     35 |      712 |      536
1145.17/1145.63	c 1145s |      18 |   607689 |   415652 |    23568     35 |      712 |      536
1147.27/1147.75	c 1147s |      18 |   608382 |   416252 |    23568     35 |      712 |      536
1149.57/1150.04	c 1149s |      18 |   609079 |   416852 |    23568     35 |      712 |      536
1151.77/1152.21	c 1151s |      18 |   609801 |   417452 |    23568     35 |      712 |      536
1153.97/1154.41	c 1154s |      18 |   610372 |   417952 |    23568     35 |      712 |      536
1156.38/1156.84	c 1156s |      18 |   611058 |   418552 |    23568     35 |      712 |      536
1158.68/1159.16	c 1158s |      18 |   611844 |   419152 |    23568     35 |      712 |      536
1160.78/1161.20	c 1160s |      18 |   612579 |   419752 |    23568     35 |      712 |      536
1162.88/1163.31	c 1163s |      18 |   613198 |   420252 |    23568     35 |      712 |      536
1165.08/1165.56	c 1165s |      18 |   613774 |   420752 |    23568     35 |      712 |      536
1167.58/1168.01	c 1167s |      18 |   614525 |   421352 |    23568     35 |      712 |      536
1169.68/1170.11	c 1169s |      18 |   615007 |   421752 |    23568     36 |      712 |      536
1171.78/1172.24	c 1171s |      18 |   615702 |   422352 |    23568     36 |      712 |      536
1173.88/1174.33	c 1174s |      18 |   616272 |   422852 |    23568     36 |      712 |      536
1176.18/1176.69	c 1176s |      18 |   616983 |   423452 |    23568     36 |      712 |      536
1178.58/1179.08	c 1178s |      18 |   617690 |   424052 |    23568     36 |      712 |      536
1180.88/1181.31	c 1181s |      18 |   618386 |   424652 |    23568     36 |      712 |      536
1183.08/1183.59	c 1183s |      18 |   619108 |   425252 |    23568     36 |      712 |      536
1185.49/1185.92	c 1185s |      18 |   619793 |   425852 |    23568     36 |      712 |      536
1187.58/1188.02	c 1187s |      18 |   620381 |   426352 |    23568     36 |      712 |      536
1189.68/1190.17	c 1189s |      18 |   620978 |   426852 |    23568     36 |      712 |      536
1192.08/1192.54	c 1192s |      18 |   621532 |   427352 |    23568     36 |      712 |      536
1194.37/1194.86	c 1194s |      18 |   622129 |   427852 |    23568     36 |      712 |      536
1196.87/1197.35	c 1197s |      18 |   622824 |   428452 |    23568     36 |      712 |      536
1198.87/1199.35	c 1199s |      18 |   623449 |   428952 |    23568     36 |      712 |      536
1201.07/1201.53	c 1201s |      18 |   623937 |   429352 |    23568     36 |      712 |      536
1203.47/1203.95	c 1203s |      18 |   624521 |   429852 |    23568     36 |      712 |      536
1205.47/1205.98	c 1205s |      18 |   625135 |   430352 |    23568     36 |      712 |      536
1207.67/1208.15	c 1207s |      18 |   625708 |   430852 |    23568     36 |      712 |      536
1210.07/1210.50	c 1210s |      18 |   626321 |   431352 |    23568     36 |      712 |      536
1212.27/1212.76	c 1212s |      18 |   626962 |   431852 |    23568     36 |      712 |      536
1214.77/1215.22	c 1214s |      18 |   627531 |   432352 |    23568     36 |      712 |      536
1217.28/1217.76	c 1217s |      18 |   628117 |   432852 |    23568     36 |      712 |      536
1219.67/1220.15	c 1219s |      18 |   628747 |   433352 |    23568     36 |      712 |      536
1222.07/1222.54	c 1222s |      18 |   629342 |   433852 |    23568     36 |      712 |      536
1224.27/1224.75	c 1224s |      18 |   629815 |   434252 |    23568     36 |      712 |      536
1226.57/1227.07	c 1226s |      18 |   630285 |   434652 |    23568     36 |      712 |      536
1228.67/1229.16	c 1228s |      18 |   630605 |   434952 |    23568     36 |      712 |      536
1230.87/1231.30	c 1231s |      18 |   630934 |   435252 |    23568     37 |      712 |      536
1232.96/1233.48	c 1233s |      18 |   631494 |   435752 |    23568     37 |      712 |      536
1235.06/1235.51	c 1235s |      18 |   631939 |   436152 |    23568     37 |      712 |      536
1237.36/1237.86	c 1237s |      18 |   632673 |   436752 |    23568     37 |      712 |      536
1239.46/1239.97	c 1239s |      18 |   633411 |   437352 |    23568     37 |      712 |      536
1241.86/1242.31	c 1242s |      18 |   634115 |   437952 |    23568     37 |      712 |      536
1244.06/1244.51	c 1244s |      18 |   634698 |   438452 |    23568     37 |      712 |      536
1246.36/1246.88	c 1246s |      18 |   635418 |   439052 |    23568     37 |      712 |      536
1248.66/1249.11	c 1248s |      18 |   636256 |   439752 |    23568     37 |      712 |      536
1250.96/1251.41	c 1251s |      18 |   636943 |   440352 |    23568     37 |      712 |      536
1253.06/1253.53	c 1253s |      18 |   637524 |   440852 |    23568     37 |      712 |      536
1255.36/1255.88	c 1255s |      18 |   638231 |   441452 |    25925     37 |      712 |      536
1257.56/1258.04	c 1257s |      18 |   638992 |   442052 |    25925     37 |      712 |      536
1259.56/1260.09	c 1259s |      18 |   639635 |   442552 |    25925     37 |      712 |      536
1261.76/1262.26	c 1262s |      18 |   640360 |   443152 |    25925     37 |      712 |      536
1263.76/1264.28	c 1264s |      18 |   640950 |   443652 |    25925     37 |      712 |      536
1266.06/1266.56	c 1266s |      18 |   641538 |   444152 |    25925     37 |      712 |      536
1267.26/1267.72	c 1267s |      19 |   641912 |   444482 |    25925     37 |      712 |      536
1269.26/1269.75	c 1269s |      19 |   644869 |   445382 |    25925     37 |      712 |      536
1271.46/1271.91	c 1271s |      19 |   646092 |   446482 |    25925     37 |      712 |      536
1273.66/1274.11	c 1273s |      19 |   647377 |   447582 |    25925     37 |      712 |      536
1275.67/1276.12	c 1275s |      19 |   648381 |   448482 |    25925     37 |      712 |      536
1277.76/1278.24	c 1277s |      19 |   649496 |   449482 |    25925     37 |      712 |      536
1279.96/1280.44	c 1280s |      19 |   650488 |   450382 |    25925     37 |      712 |      536
1282.05/1282.58	c 1282s |      19 |   651196 |   450982 |    25925     38 |      712 |      536
1284.36/1284.82	c 1284s |      19 |   652205 |   451882 |    25925     38 |      712 |      536
1286.35/1286.89	c 1286s |      19 |   653257 |   452782 |    25925     38 |      712 |      536
1288.45/1288.94	c 1288s |      19 |   654133 |   453582 |    25925     38 |      712 |      536
1290.65/1291.13	c 1290s |      19 |   655039 |   454382 |    25925     38 |      712 |      536
1292.75/1293.28	c 1293s |      19 |   655826 |   455082 |    25925     38 |      712 |      536
1295.15/1295.67	c 1295s |      19 |   656486 |   455682 |    25925     38 |      712 |      536
1297.25/1297.76	c 1297s |      19 |   657161 |   456282 |    25925     38 |      712 |      536
1299.35/1299.89	c 1299s |      19 |   657908 |   456982 |    25925     38 |      712 |      536
1301.45/1301.92	c 1301s |      19 |   658695 |   457682 |    25925     38 |      712 |      536
1303.55/1304.08	c 1303s |      19 |   659463 |   458382 |    25925     38 |      712 |      536
1305.75/1306.24	c 1305s |      19 |   660108 |   458982 |    25925     38 |      712 |      536
1308.15/1308.60	c 1308s |      19 |   660737 |   459582 |    25925     38 |      712 |      536
1310.25/1310.78	c 1310s |      19 |   661374 |   460182 |    25925     38 |      712 |      536
1312.35/1312.81	c 1312s |      19 |   661892 |   460682 |    25925     38 |      712 |      536
1314.45/1314.91	c 1314s |      19 |   662430 |   461182 |    25925     38 |      712 |      536
1316.75/1317.26	c 1317s |      19 |   663094 |   461782 |    25925     38 |      712 |      536
1319.05/1319.60	c 1319s |      19 |   663756 |   462382 |    25925     38 |      712 |      536
1321.25/1321.79	c 1321s |      19 |   664419 |   462982 |    25925     38 |      712 |      536
1323.65/1324.10	c 1323s |      19 |   665060 |   463582 |    25925     38 |      712 |      536
1325.66/1326.16	c 1325s |      19 |   665589 |   464082 |    25925     38 |      712 |      536
1327.86/1328.36	c 1328s |      19 |   666169 |   464582 |    25925     38 |      712 |      536
1330.06/1330.51	c 1330s |      19 |   666842 |   465182 |    25925     38 |      712 |      536
1332.06/1332.56	c 1332s |      19 |   667428 |   465682 |    25925     39 |      712 |      536
1334.15/1334.63	c 1334s |      19 |   668223 |   466382 |    25925     39 |      712 |      536
1336.16/1336.68	c 1336s |      19 |   668885 |   466982 |    25925     39 |      712 |      536
1338.26/1338.80	c 1338s |      19 |   669539 |   467582 |    25925     39 |      712 |      536
1340.56/1341.02	c 1340s |      19 |   670194 |   468182 |    25925     39 |      712 |      536
1342.76/1343.21	c 1342s |      19 |   670831 |   468782 |    25925     39 |      712 |      536
1344.86/1345.37	c 1345s |      19 |   671490 |   469382 |    25925     39 |      712 |      536
1347.06/1347.51	c 1347s |      19 |   672145 |   469982 |    25925     39 |      712 |      536
1349.15/1349.63	c 1349s |      19 |   672677 |   470482 |    25925     39 |      712 |      536
1351.15/1351.69	c 1351s |      19 |   673223 |   470982 |    25925     39 |      712 |      536
1353.55/1354.09	c 1353s |      19 |   673761 |   471482 |    25925     39 |      712 |      536
1355.75/1356.21	c 1355s |      19 |   674290 |   471982 |    25925     39 |      712 |      536
1357.85/1358.36	c 1358s |      19 |   674821 |   472482 |    25925     39 |      712 |      536
1360.05/1360.56	c 1360s |      19 |   675354 |   472982 |    25925     39 |      712 |      536
1362.35/1362.82	c 1362s |      19 |   675900 |   473482 |    25925     39 |      712 |      536
1364.85/1365.32	c 1365s |      19 |   676457 |   473982 |    25925     39 |      712 |      536
1367.05/1367.57	c 1367s |      19 |   676885 |   474382 |    25925     39 |      712 |      536
1369.25/1369.70	c 1369s |      19 |   677304 |   474782 |    25925     39 |      712 |      536
1371.26/1371.80	c 1371s |      19 |   677734 |   475182 |    25925     39 |      712 |      536
1373.75/1374.25	c 1374s |      19 |   678263 |   475682 |    25925     39 |      712 |      536
1376.25/1376.70	c 1376s |      19 |   678793 |   476182 |    25925     39 |      712 |      536
1378.25/1378.76	c 1378s |      19 |   679222 |   476582 |    25925     39 |      712 |      536
1380.75/1381.25	c 1380s |      19 |   679750 |   477082 |    25925     39 |      712 |      536
1383.14/1383.63	c 1383s |      19 |   680281 |   477582 |    25925     39 |      712 |      536
1385.44/1385.90	c 1385s |      19 |   680795 |   478082 |    25925     39 |      712 |      536
1387.75/1388.30	c 1388s |      19 |   681346 |   478582 |    25925     39 |      712 |      536
1390.24/1390.78	c 1390s |      19 |   681890 |   479082 |    25925     39 |      712 |      536
1392.34/1392.82	c 1392s |      19 |   682317 |   479482 |    25925     39 |      712 |      536
1394.84/1395.33	c 1395s |      19 |   682857 |   479982 |    25925     39 |      712 |      536
1397.04/1397.57	c 1397s |      19 |   683301 |   480382 |    25925     40 |      712 |      536
1399.04/1399.59	c 1399s |      19 |   683836 |   480882 |    25925     40 |      712 |      536
1401.24/1401.74	c 1401s |      19 |   684360 |   481382 |    25925     40 |      712 |      536
1403.34/1403.85	c 1403s |      19 |   684885 |   481882 |    25925     40 |      712 |      536
1405.54/1406.03	c 1405s |      19 |   685403 |   482382 |    25925     40 |      712 |      536
1407.74/1408.27	c 1408s |      19 |   685923 |   482882 |    25925     40 |      712 |      536
1410.14/1410.61	c 1410s |      19 |   686444 |   483382 |    25925     40 |      712 |      536
1412.24/1412.72	c 1412s |      19 |   686858 |   483782 |    25925     40 |      712 |      536
1414.44/1414.91	c 1414s |      19 |   687406 |   484282 |    25925     40 |      712 |      536
1416.64/1417.14	c 1416s |      19 |   687938 |   484782 |    25925     40 |      712 |      536
1418.94/1419.47	c 1419s |      19 |   688465 |   485282 |    25925     40 |      712 |      536
1421.34/1421.80	c 1421s |      19 |   689021 |   485782 |    25925     40 |      712 |      536
1423.74/1424.20	c 1423s |      19 |   689541 |   486282 |    25925     40 |      712 |      536
1425.74/1426.22	c 1425s |      19 |   689993 |   486682 |    25925     40 |      712 |      536
1428.14/1428.67	c 1428s |      19 |   690534 |   487182 |    25925     40 |      712 |      536
1430.44/1430.94	c 1430s |      19 |   691081 |   487682 |    25925     40 |      712 |      536
1432.74/1433.27	c 1433s |      19 |   691619 |   488182 |    25925     40 |      712 |      536
1435.23/1435.75	c 1435s |      19 |   692153 |   488682 |    25925     40 |      712 |      536
1437.24/1437.80	c 1437s |      19 |   692576 |   489082 |    25925     40 |      712 |      536
1437.53/1440.13	c 1439s |      19 |   693123 |   489582 |    25925     40 |      712 |      536
1437.53/1442.19	c 1441s |      19 |   693549 |   489982 |    25925     40 |      712 |      536
1437.53/1444.75	c 1444s |      19 |   694092 |   490482 |    25925     40 |      712 |      536
1446.17/1446.97	c 1446s |      19 |   694516 |   490882 |    25925     40 |      712 |      536
1447.04/1449.08	c 1448s |      19 |   694941 |   491282 |    25925     40 |      712 |      536
1449.94/1451.25	c 1450s |      19 |   695350 |   491682 |    25925     40 |      712 |      536
1449.94/1453.33	c 1453s |      19 |   695790 |   492082 |    25925     40 |      712 |      536
1449.94/1455.66	c 1455s |      19 |   696456 |   492682 |    25925     40 |      712 |      536
1449.94/1457.79	c 1457s |      19 |   697013 |   493182 |    25925     40 |      712 |      536
1449.94/1460.04	c 1459s |      19 |   697427 |   493582 |    25925     40 |      712 |      536
1449.94/1462.29	c 1462s |      19 |   697853 |   493982 |    25925     40 |      712 |      536
1462.82/1464.42	c 1464s |      19 |   698263 |   494382 |    25925     40 |      712 |      536
1465.97/1467.17	c 1466s |      19 |   698694 |   494782 |    25925     41 |      712 |      536
1468.91/1469.49	c 1469s |      19 |   699221 |   495282 |    25925     41 |      712 |      536
1470.32/1471.51	c 1471s |      19 |   699748 |   495782 |    25925     41 |      712 |      536
1472.84/1473.64	c 1473s |      19 |   700279 |   496282 |    25925     41 |      712 |      536
1474.54/1475.66	c 1475s |      19 |   700819 |   496782 |    25925     41 |      712 |      536
1474.54/1477.91	c 1477s |      19 |   701459 |   497382 |    25925     41 |      712 |      536
1474.54/1480.00	c 1479s |      19 |   701997 |   497882 |    25925     41 |      712 |      536
1481.39/1482.02	c 1481s |      19 |   702526 |   498382 |    25925     41 |      712 |      536
1482.85/1484.14	c 1483s |      19 |   703051 |   498882 |    25925     41 |      712 |      536
1486.04/1486.57	c 1486s |      19 |   703574 |   499382 |    25925     41 |      712 |      536
1488.39/1488.94	c 1488s |      19 |   704229 |   499982 |    25925     41 |      712 |      536
1488.59/1491.17	c 1490s |      19 |   704758 |   500482 |    25925     41 |      712 |      536
1490.95/1493.27	c 1493s |      19 |   705305 |   500982 |    25925     41 |      712 |      536
1494.32/1495.68	c 1495s |      19 |   705967 |   501582 |    25925     41 |      712 |      536
1497.01/1497.76	c 1497s |      19 |   706495 |   502082 |    25925     41 |      712 |      536
1498.93/1500.04	c 1499s |      19 |   707020 |   502582 |    25925     41 |      712 |      536
1501.85/1502.41	c 1502s |      19 |   707560 |   503082 |    25925     41 |      712 |      536
1504.40/1504.92	c 1504s |      19 |   708085 |   503582 |    25925     41 |      712 |      536
1505.47/1507.08	c 1506s |      19 |   708645 |   504082 |    25925     41 |      712 |      536
1508.14/1509.48	c 1509s |      19 |   709183 |   504582 |    25925     41 |      712 |      536
1510.96/1511.99	c 1511s |      19 |   709728 |   505082 |    25925     41 |      712 |      536
1510.96/1514.33	c 1514s |      19 |   710254 |   505582 |    25925     41 |      712 |      536
1515.72/1516.50	c 1516s |      19 |   710687 |   505982 |    25925     41 |      712 |      536
1517.87/1518.56	c 1518s |      19 |   711127 |   506382 |    25925     41 |      712 |      536
1520.12/1520.68	c 1520s |      19 |   711554 |   506782 |    25925     41 |      712 |      536
1522.18/1522.83	c 1522s |      19 |   711973 |   507182 |    25925     41 |      712 |      536
1524.02/1525.14	c 1524s |      19 |   712397 |   507582 |    25925     41 |      712 |      536
1524.02/1527.32	c 1527s |      19 |   712819 |   507982 |    25925     41 |      712 |      536
1524.02/1529.38	c 1529s |      19 |   713288 |   508382 |    25925     41 |      712 |      536
1530.79/1531.44	c 1531s |      19 |   713745 |   508782 |    25925     41 |      712 |      536
1532.94/1533.54	c 1533s |      19 |   714194 |   509182 |    25925     41 |      712 |      536
1535.15/1535.81	c 1535s |      19 |   714517 |   509482 |    25925     42 |      712 |      536
1536.77/1537.86	c 1537s |      19 |   715045 |   509982 |    25925     42 |      712 |      536
1536.77/1540.12	c 1539s |      19 |   715578 |   510482 |    25925     42 |      712 |      536
1541.72/1542.21	c 1541s |      19 |   716102 |   510982 |    25925     42 |      712 |      536
1543.49/1544.41	c 1544s |      19 |   716644 |   511482 |    25925     42 |      712 |      536
1543.49/1546.62	c 1546s |      19 |   717173 |   511982 |    25925     42 |      712 |      536
1543.49/1548.85	c 1548s |      19 |   717704 |   512482 |    25925     42 |      712 |      536
1543.49/1551.26	c 1551s |      19 |   718237 |   512982 |    25925     42 |      712 |      536
1552.65/1553.31	c 1553s |      19 |   718678 |   513382 |    25925     42 |      712 |      536
1554.22/1555.38	c 1555s |      19 |   719242 |   513882 |    25925     42 |      712 |      536
1557.03/1557.71	c 1557s |      19 |   719771 |   514382 |    25925     42 |      712 |      536
1557.03/1560.11	c 1559s |      19 |   720325 |   514882 |    25925     42 |      712 |      536
1560.87/1562.35	c 1562s |      19 |   720866 |   515382 |    25925     42 |      712 |      536
1563.00/1564.77	c 1564s |      19 |   721542 |   515982 |    25925     42 |      712 |      536
1565.72/1566.78	c 1566s |      19 |   721985 |   516382 |    25925     42 |      712 |      536
1568.03/1569.29	c 1569s |      19 |   722524 |   516882 |    25925     42 |      712 |      536
1568.03/1571.33	c 1571s |      19 |   722958 |   517282 |    25925     42 |      712 |      536
1573.11/1573.70	c 1573s |      19 |   723500 |   517782 |    25925     42 |      712 |      536
1575.52/1576.08	c 1575s |      19 |   724051 |   518282 |    25925     42 |      712 |      536
1577.14/1578.54	c 1578s |      19 |   724612 |   518782 |    25925     42 |      712 |      536
1577.14/1580.57	c 1580s |      19 |   725048 |   519182 |    25925     42 |      712 |      536
1577.14/1582.60	c 1582s |      19 |   725479 |   519582 |    25925     42 |      712 |      536
1577.14/1584.77	c 1584s |      19 |   725912 |   519982 |    25925     42 |      712 |      536
1577.14/1587.09	c 1586s |      19 |   726472 |   520482 |    25925     42 |      712 |      536
1588.82/1589.36	c 1589s |      19 |   726910 |   520882 |    25925     42 |      712 |      536
1589.05/1591.60	c 1591s |      19 |   727333 |   521282 |    25925     42 |      712 |      536
1589.05/1593.76	c 1593s |      19 |   727758 |   521682 |    25925     42 |      712 |      536
1595.51/1596.00	c 1595s |      19 |   728199 |   522082 |    25925     42 |      712 |      536
1597.93/1598.43	c 1598s |      19 |   728633 |   522482 |    25925     42 |      712 |      536
1599.10/1600.83	c 1600s |      19 |   729062 |   522882 |    25925     42 |      712 |      536
1600.55/1603.28	c 1603s |      19 |   729489 |   523282 |    25925     42 |      712 |      536
1600.55/1605.48	c 1605s |      19 |   729923 |   523682 |    25925     42 |      712 |      536
1607.58/1608.29	c 1608s |      19 |   730349 |   524082 |    25925     43 |      712 |      536
1608.53/1610.49	c 1610s |      19 |   730986 |   524682 |    25925     43 |      712 |      536
1608.53/1612.60	c 1612s |      19 |   731622 |   525282 |    25925     43 |      712 |      536
1608.53/1614.88	c 1614s |      19 |   732296 |   525882 |    25925     43 |      712 |      536
1615.81/1617.04	c 1616s |      19 |   732936 |   526482 |    25925     43 |      712 |      536
1615.81/1619.19	c 1618s |      19 |   733617 |   527082 |    25925     43 |      712 |      536
1615.81/1621.45	c 1621s |      19 |   734430 |   527782 |    25925     43 |      712 |      536
1622.46/1623.74	c 1623s |      19 |   735089 |   528382 |    25925     43 |      712 |      536
1625.45/1626.00	c 1625s |      19 |   735737 |   528982 |    25925     43 |      712 |      536
1625.77/1628.04	c 1627s |      19 |   736266 |   529482 |    25925     43 |      712 |      536
1628.70/1630.46	c 1630s |      19 |   736793 |   529982 |    25925     43 |      712 |      536
1630.39/1632.64	c 1632s |      19 |   737337 |   530482 |    25925     43 |      712 |      536
1633.86/1634.83	c 1634s |      19 |   737857 |   530982 |    25925     43 |      712 |      536
1633.86/1637.14	c 1636s |      19 |   738374 |   531482 |    25925     43 |      712 |      536
1633.86/1639.28	c 1639s |      19 |   738889 |   531982 |    25925     43 |      712 |      536
1640.86/1641.44	c 1641s |      19 |   739406 |   532482 |    25925     43 |      712 |      536
1640.86/1643.83	c 1643s |      19 |   739937 |   532982 |    25925     43 |      712 |      536
1640.86/1645.91	c 1645s |      19 |   740356 |   533382 |    25925     43 |      712 |      536
1646.91/1648.36	c 1648s |      19 |   740881 |   533882 |    25925     43 |      712 |      536
1646.91/1650.42	c 1650s |      19 |   741296 |   534282 |    25925     43 |      712 |      536
1650.68/1652.62	c 1652s |      19 |   741700 |   534682 |    25925     43 |      712 |      536
1652.97/1654.71	c 1654s |      19 |   742113 |   535082 |    25925     43 |      712 |      536
1652.97/1656.87	c 1656s |      19 |   742521 |   535482 |    25925     43 |      712 |      536
1652.97/1658.87	c 1658s |      19 |   742932 |   535882 |    25925     43 |      712 |      536
1660.04/1660.88	c 1660s |      19 |   743349 |   536282 |    25925     43 |      712 |      536
1662.39/1662.89	c 1662s |      19 |   743770 |   536682 |    25925     43 |      712 |      536
1662.39/1664.93	c 1664s |      19 |   744199 |   537082 |    25925     43 |      712 |      536
1665.80/1666.96	c 1666s |      19 |   744619 |   537482 |    25925     43 |      712 |      536
1667.60/1669.05	c 1668s |      19 |   745039 |   537882 |    25925     43 |      712 |      536
1670.77/1671.28	c 1671s |      19 |   745458 |   538282 |    25925     43 |      712 |      536
1672.91/1674.23	c 1673s |      19 |   745871 |   538682 |    25925     44 |      712 |      536
1675.90/1676.46	c 1676s |      19 |   746389 |   539182 |    25925     44 |      712 |      536
1678.11/1678.71	c 1678s |      19 |   746918 |   539682 |    25925     44 |      712 |      536
1678.70/1680.82	c 1680s |      19 |   747447 |   540182 |    25925     44 |      712 |      536
1678.70/1682.83	c 1682s |      19 |   747976 |   540682 |    25925     44 |      712 |      536
1678.70/1685.14	c 1684s |      19 |   748505 |   541182 |    25925     44 |      712 |      536
1678.70/1687.39	c 1687s |      19 |   749026 |   541682 |    25925     44 |      712 |      536
1678.70/1689.73	c 1689s |      19 |   749557 |   542182 |    25925     44 |      712 |      536
1690.79/1692.22	c 1691s |      19 |   750087 |   542682 |    25925     44 |      712 |      536
1690.79/1694.68	c 1694s |      19 |   750617 |   543182 |    25925     44 |      712 |      536
1694.85/1697.23	c 1696s |      19 |   751141 |   543682 |    25925     44 |      712 |      536
1696.78/1699.29	c 1699s |      19 |   751553 |   544082 |    25925     44 |      712 |      536
1696.78/1701.51	c 1701s |      19 |   751966 |   544482 |    25925     44 |      712 |      536
1696.78/1703.72	c 1703s |      19 |   752386 |   544882 |    25925     44 |      712 |      536
1696.78/1705.84	c 1705s |      19 |   752794 |   545282 |    25925     44 |      712 |      536
1696.78/1707.84	c 1707s |      19 |   753217 |   545682 |    25925     44 |      712 |      536
1707.42/1710.03	c 1709s |      19 |   753626 |   546082 |    25925     44 |      712 |      536
1710.96/1712.09	c 1711s |      19 |   754049 |   546482 |    25925     44 |      712 |      536
1713.31/1714.17	c 1713s |      19 |   754462 |   546882 |    25925     44 |      712 |      536
1714.02/1716.44	c 1716s |      19 |   754892 |   547282 |    25925     44 |      712 |      536
1716.69/1718.84	c 1718s |      19 |   755411 |   547782 |    25925     44 |      712 |      536
1716.69/1721.25	c 1720s |      19 |   755948 |   548282 |    25925     44 |      712 |      536
1716.69/1723.34	c 1723s |      19 |   756365 |   548682 |    25925     44 |      712 |      536
1725.21/1725.78	c 1725s |      19 |   756883 |   549182 |    25925     44 |      712 |      536
1727.31/1728.00	c 1727s |      19 |   757570 |   549782 |    25925     44 |      712 |      536
1727.31/1730.06	c 1729s |      19 |   758007 |   550182 |    25925     44 |      712 |      536
1731.71/1732.55	c 1732s |      19 |   758557 |   550682 |    25925     44 |      712 |      536
1733.73/1734.71	c 1734s |      19 |   758976 |   551082 |    25925     44 |      712 |      536
1735.73/1736.74	c 1736s |      19 |   759433 |   551482 |    25925     44 |      712 |      536
1738.19/1738.77	c 1738s |      19 |   759884 |   551882 |    25925     44 |      712 |      536
1740.29/1740.80	c 1740s |      19 |   760325 |   552282 |    25925     44 |      712 |      536
1742.39/1742.95	c 1742s |      19 |   760891 |   552782 |    25925     44 |      712 |      536
1745.19/1745.74	c 1745s |      19 |   761324 |   553182 |    25925     45 |      712 |      536
1747.59/1748.18	c 1747s |      19 |   761950 |   553782 |    25925     45 |      712 |      536
1750.00/1750.52	c 1750s |      19 |   762584 |   554382 |    25925     45 |      712 |      536
1751.99/1752.56	c 1752s |      19 |   763108 |   554882 |    25925     45 |      712 |      536
1753.99/1754.56	c 1754s |      19 |   763650 |   555382 |    25925     45 |      712 |      536
1756.39/1756.99	c 1756s |      19 |   764294 |   555982 |    25925     45 |      712 |      536
1758.70/1759.28	c 1759s |      19 |   764939 |   556582 |    25925     45 |      712 |      536
1760.90/1761.42	c 1761s |      19 |   765470 |   557082 |    25925     45 |      712 |      536
1763.20/1763.71	c 1763s |      19 |   765987 |   557582 |    25925     45 |      712 |      536
1765.19/1765.75	c 1765s |      19 |   766576 |   558082 |    25925     45 |      712 |      536
1767.39/1767.93	c 1767s |      19 |   767139 |   558582 |    25925     45 |      712 |      536
1769.70/1770.29	c 1770s |      19 |   767694 |   559082 |    25925     45 |      712 |      536
1771.79/1772.37	c 1772s |      19 |   768129 |   559482 |    25925     45 |      712 |      536
1773.89/1774.44	c 1774s |      19 |   768548 |   559882 |    25925     45 |      712 |      536
1776.09/1776.68	c 1776s |      19 |   769082 |   560382 |    25925     45 |      712 |      536
1778.49/1779.02	c 1778s |      19 |   769615 |   560882 |    25925     45 |      712 |      536
1780.48/1781.06	c 1780s |      19 |   770051 |   561282 |    25925     45 |      712 |      536
1782.68/1783.23	c 1782s |      19 |   770601 |   561782 |    25925     45 |      712 |      536
1784.98/1785.53	c 1785s |      19 |   771132 |   562282 |    25925     45 |      712 |      536
1787.18/1787.77	c 1787s |      19 |   771658 |   562782 |    25925     45 |      712 |      536
1789.28/1789.81	c 1789s |      19 |   772075 |   563182 |    25925     45 |      712 |      536
1791.48/1792.04	c 1791s |      19 |   772483 |   563582 |    25925     45 |      712 |      536
1793.58/1794.17	c 1793s |      19 |   772914 |   563982 |    25925     45 |      712 |      536
1795.88/1796.45	c 1796s |      19 |   773435 |   564482 |    25925     45 |      712 |      536
1798.08/1798.63	c 1798s |      19 |   773864 |   564882 |    25925     45 |      712 |      536

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

pid=3097
running on 8 cores: 0-3,8-11

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.14 2.11 2.09 3/261 3100
/proc/meminfo: memFree=30839164/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1126980 CPUtime=0 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 4278 0 0 0 0 0 0 0 20 0 4 0 29114430 1154027520 4128 33554432000 4194304 16246674 140734876829520 140734876828944 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 282257 4137 442 2943 0 279151 0
[pid=3100/tid=3101] ppid=3097 vsize=1181252 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1209602048 4339 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1185348 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1213796352 4358 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1190468 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29114430 1219039232 4375 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.100136 s]
/proc/loadavg: 2.14 2.11 2.09 3/261 3100
/proc/meminfo: memFree=30839164/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1220164 CPUtime=0.09 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 28281 0 0 0 6 3 0 0 20 0 4 0 29114430 1249447936 28068 33554432000 4194304 16246674 140734876829520 140734876828832 4220880 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 305041 28068 802 2943 0 301935 0
[pid=3100/tid=3101] ppid=3097 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1249447936 28068 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1249447936 28068 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1249447936 28068 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200479 s]
/proc/loadavg: 2.14 2.11 2.09 3/261 3100
/proc/meminfo: memFree=30839164/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1301060 CPUtime=0.18 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 48488 0 0 0 14 4 0 0 20 0 4 0 29114430 1332285440 48275 33554432000 4194304 16246674 140734876829520 140734876828832 13786136 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 325265 48275 843 2943 0 322159 0
[pid=3100/tid=3101] ppid=3097 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1332285440 48275 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1332285440 48275 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1332285440 48275 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1301060

[startup+0.300466 s]
/proc/loadavg: 2.14 2.11 2.09 3/261 3100
/proc/meminfo: memFree=30839164/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1301060 CPUtime=0.29 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 50204 0 0 0 24 5 0 0 20 0 4 0 29114430 1332285440 49991 33554432000 4194304 16246674 140734876829520 140734876828832 5677277 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 325265 49993 883 2943 0 322159 0
[pid=3100/tid=3101] ppid=3097 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1332285440 49995 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1332285440 49998 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1332285440 50001 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700395 s]
/proc/loadavg: 2.14 2.11 2.09 3/261 3100
/proc/meminfo: memFree=30839164/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1301060 CPUtime=0.69 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 101218 0 0 0 56 13 0 0 20 0 4 0 29114430 1332285440 101005 33554432000 4194304 16246674 140734876829520 140734876811392 5601494 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 325265 101010 883 2943 0 322159 0
[pid=3100/tid=3101] ppid=3097 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1332285440 101013 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1332285440 101016 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1332285440 101020 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50038 s]
/proc/loadavg: 2.14 2.11 2.09 3/265 3104
/proc/meminfo: memFree=30235564/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1301060 CPUtime=1.49 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 201949 0 0 0 121 28 0 0 20 0 4 0 29114430 1332285440 201736 33554432000 4194304 16246674 140734876829520 140734876811392 5546098 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 325265 201742 883 2943 0 322159 0
[pid=3100/tid=3101] ppid=3097 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1332285440 201745 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1332285440 201749 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1332285440 201753 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.14 2.11 2.09 3/265 3104
/proc/meminfo: memFree=29763440/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1312324 CPUtime=3.09 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 269264 0 0 0 272 37 0 0 20 0 4 0 29114430 1343819776 269051 33554432000 4194304 16246674 140734876829520 140734876811392 5672188 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 328081 269051 892 2943 0 324975 0
[pid=3100/tid=3101] ppid=3097 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1343819776 269051 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1343819776 269051 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1343819776 269051 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.3004 s]
/proc/loadavg: 2.12 2.10 2.09 3/265 3104
/proc/meminfo: memFree=29762956/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1312324 CPUtime=6.28 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 269275 0 0 0 591 37 0 0 20 0 4 0 29114430 1343819776 269062 33554432000 4194304 16246674 140734876829520 140734876811392 5822298 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 328081 269062 892 2943 0 324975 0
[pid=3100/tid=3101] ppid=3097 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1343819776 269062 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1343819776 269062 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1343819776 269062 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.11 2.10 2.09 3/265 3104
/proc/meminfo: memFree=29762888/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1312324 CPUtime=12.68 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 269275 0 0 0 1231 37 0 0 20 0 4 0 29114430 1343819776 269062 33554432000 4194304 16246674 140734876829520 140734876811392 5717604 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 328081 269062 892 2943 0 324975 0
[pid=3100/tid=3101] ppid=3097 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1343819776 269062 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1343819776 269062 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1343819776 269062 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.09 2.10 2.09 3/265 3104
/proc/meminfo: memFree=29763396/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1312324 CPUtime=25.49 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 269276 0 0 0 2511 38 0 0 20 0 4 0 29114430 1343819776 269063 33554432000 4194304 16246674 140734876829520 140734876811392 12461836 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 328081 269063 892 2943 0 324975 0
[pid=3100/tid=3101] ppid=3097 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1343819776 269063 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1343819776 269063 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1343819776 269063 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.06 2.09 2.09 3/265 3104
/proc/meminfo: memFree=29763380/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1312324 CPUtime=51.09 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 269276 0 0 0 5071 38 0 0 20 0 4 0 29114430 1343819776 269063 33554432000 4194304 16246674 140734876829520 140734876828696 12483337 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 328081 269063 892 2943 0 324975 0
[pid=3100/tid=3101] ppid=3097 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1343819776 269063 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1343819776 269063 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1343819776 269063 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/265 3105
/proc/meminfo: memFree=29756552/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1319492 CPUtime=102.28 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 270830 0 0 0 10190 38 0 0 20 0 4 0 29114430 1351159808 270617 33554432000 4194304 16246674 140734876829520 140734876811392 5717604 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 329873 270617 893 2943 0 326767 0
[pid=3100/tid=3101] ppid=3097 vsize=1319492 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1351159808 270617 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1319492 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1351159808 270617 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1319492 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1351159808 270617 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492


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

/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1328708

[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.06 3/265 3185
/proc/meminfo: memFree=29751276/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1328708 CPUtime=1361.85 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 273715 0 0 0 136139 46 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140734876811392 5823443 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 332177 273416 893 2943 0 329071 0
[pid=3100/tid=3101] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1328708

[startup+1422.3 s]
/proc/loadavg: 2.09 2.05 2.06 3/265 3187
/proc/meminfo: memFree=29751264/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1328708 CPUtime=1421.85 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 273715 0 0 0 142139 46 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140734876811392 5822428 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 332177 273416 893 2943 0 329071 0
[pid=3100/tid=3101] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1328708

[startup+1482.33 s]
/proc/loadavg: 2.03 2.04 2.05 3/266 3191
/proc/meminfo: memFree=29751332/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1328708 CPUtime=1481.85 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 273715 0 0 0 148139 46 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140734876811392 5822252 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 332177 273416 893 2943 0 329071 0
[pid=3100/tid=3101] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1328708

[startup+1543.08 s]
/proc/loadavg: 2.05 2.04 2.05 3/265 3192
/proc/meminfo: memFree=29749924/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1328708 CPUtime=1542.59 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 273715 0 0 0 154213 46 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140734876811392 5677376 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 332177 273416 893 2943 0 329071 0
[pid=3100/tid=3101] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1542.59
Current children cumulated vsize (KiB) 1328708

[startup+1607.67 s]
/proc/loadavg: 2.02 2.03 2.04 3/265 3193
/proc/meminfo: memFree=29749088/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1328708 CPUtime=1607.17 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 273715 0 0 0 160671 46 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140734876811392 13923640 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 332177 273416 893 2943 0 329071 0
[pid=3100/tid=3101] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1607.17
Current children cumulated vsize (KiB) 1328708

[startup+1662.5 s]
/proc/loadavg: 2.06 2.04 2.04 3/265 3194
/proc/meminfo: memFree=29749020/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1328708 CPUtime=1661.99 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 273715 0 0 0 166153 46 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140734876811392 5711439 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 332177 273416 893 2943 0 329071 0
[pid=3100/tid=3101] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1328708

[startup+1724.49 s]
/proc/loadavg: 2.10 2.04 2.04 3/265 3197
/proc/meminfo: memFree=29748956/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1328708 CPUtime=1723.99 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 273715 0 0 0 172352 47 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140734876811392 5822428 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 332177 273416 893 2943 0 329071 0
[pid=3100/tid=3101] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1723.99
Current children cumulated vsize (KiB) 1328708

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.04 3/265 3198
/proc/meminfo: memFree=29750352/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1328708 CPUtime=1781.79 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 273715 0 0 0 178132 47 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140734876811392 5822604 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 332177 273416 893 2943 0 329071 0
[pid=3100/tid=3101] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1328708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.09 2.04 2.04 3/265 3198
/proc/meminfo: memFree=29750432/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1328708 CPUtime=1800.08 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 273715 0 0 0 179961 47 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140734876811392 5711439 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 332177 273416 893 2943 0 329071 0
[pid=3100/tid=3101] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1328708

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

[startup+1800.6 s]
/proc/loadavg: 2.09 2.04 2.04 3/265 3198
/proc/meminfo: memFree=29750432/32872528 swapFree=7556/7556
[pid=3100] ppid=3097 vsize=1328708 CPUtime=1800.08 cores=0-3,8-11
/proc/3100/stat : 3100 (toysat) R 3097 3100 32495 0 -1 4202496 273715 0 0 0 179961 47 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140734876811392 5711439 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3100/statm: 332177 273416 893 2943 0 329071 0
[pid=3100/tid=3101] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3101/stat : 3101 (toysat) S 3097 3100 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659550825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3100/tid=3102] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3102/stat : 3102 (toysat) S 3097 3100 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659540335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3100/tid=3103] ppid=3097 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/3100/task/3103/stat : 3103 (toysat) S 3097 3100 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29114430 1360596992 273416 33554432000 4194304 16246674 140734876829520 140659529862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1328708

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.62
CPU system time (s): 0.474927
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 1328708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.474927
maximum resident set size= 1093664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273715
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= 359
involuntary context switches= 1952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.84011 second user time and 8.25874 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 19:06:02
IDJOB=4116109
IDBENCH=109429
IDSOLVER=2542
FILE ID=node132/4116109-1466960762
RUNJOBID= node132-1466939688-32511
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-7.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116109-1466960762/watcher-4116109-1466960762 -o /tmp/evaluation-result-4116109-1466960762/solver-4116109-1466960762 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466939688-32511 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116109-1466960762.opb

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

MD5SUM BENCH= 327e503a7a4a8903035a4425581c59c7
RANDOM SEED=47019909

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30839196 kB
Buffers:           36784 kB
Cached:           180712 kB
SwapCached:         1784 kB
Active:          1163208 kB
Inactive:         155108 kB
Active(anon):    1101472 kB
Inactive(anon):     1776 kB
Active(file):      61736 kB
Inactive(file):   153332 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16976 kB
Writeback:             0 kB
AnonPages:       1207668 kB
Mapped:            10952 kB
Shmem:                 0 kB
Slab:             570780 kB
SReclaimable:      11312 kB
SUnreclaim:       559468 kB
KernelStack:        2240 kB
PageTables:         6660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1250412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    739328 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= 71496 MiB
End job on node132 at 2016-06-26 19:36:03