Trace number 4116589

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.03 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size112-round22-4.opb
MD5SUM1c07e2194ed5ae2388902849ca890320
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:17:41+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-4116589-1466961461.opb"]
0.00/0.01	c use --random-gen="646175695 963095536 2873378866 986180249 136142938 4082262245 2643694607 600323817 3019645361 1102758754 3790095464 156280514 3471619912 2488522764 3058714834 2390176004 4227545394 1901358474 4095140387 1192712363 2092293964 157040844 3323005828 4064560675 129885869 2652725856 2551792410 2396802094 3348055011 3111422029 2655677034 3037901731 289490205 1299078606 2642734125 489061929 3944988722 2148777875 2684632436 2760111719 1724205708 2841540854 546828652 4199151244 1921592038 4016136880 1766433188 1127407814 377783768 3875707750 268607021 1454536081 3482960123 1487147155 2965446244 622049565 1968029475 1817081468 747134760 1470476493 880054284 2399242951 3691126069 3867088150 3218365526 1152985901 2099373150 3330879343 2202561614 540732876 1842230837 3658656370 2564305830 2774294521 2366833266 1056021846 3214603907 2925357629 39199704 3857649943 1026487829 2283070023 1130983150 4142547522 2625678052 3731542759 2184717463 660985887 3087458170 3813797927 126865304 2352261012 154250668 3681287648 23108181 3726154816 4275877163 62576778 191736758 1949413407 458782778 2059151314 3873526017 3676094382 1935288965 4062252006 2434266320 2189477644 3703724797 1065797396 646086574 1099558630 716327605 1655490647 1508729561 1612803715 2775969124 3615884095 1441094165 2630558143 3622818217 1751857825 1069349074 2507624495 2334502543 3555776067 2642470620 449647241 3461955307 711851170 2055995521 896890443 4284314191 4081067175 2758351370 3892069493 2135870742 2337258357 134288857 3353837847 1842654480 1512326140 4264782173 1804042694 2660758684 2695031597 406413615 138859982 2780749356 4045329541 1632729553 3662241776 1903874426 3080630280 3165058239 1784650759 1322229341 1529068870 1548320736 3163388138 1047144812 4149345980 1172809038 2584979952 351118046 1536895660 1541126048 3746961048 3405638145 211922162 2705684513 3036194688 1209511359 1232976530 1895750588 433010166 88705554 3227621999 3132899731 1400075013 2021239412 1787560309 890413656 78530546 267886031 1862267226 3685528637 3352791013 503074358 1221512282 3428961041 819919216 3961476554 578644064 4151537495 433380537 1440264342 439831304 2915016224 2692250809 711892537 2962368627 2114483757 3269177271 3641976258 1617291067 2807566078 3688728308 3239962434 1865099739 3869749601 4263515329 1685381504 684773153 1154505056 1395497172 3208086279 2446581453 97690099 3092226051 2461088075 1740576205 2327422925 1737318403 147184141 2867029748 3824589115 2313323362 4112776017 3515402480 4264341004 3642311938 3684393092 2428464754 1396542842 1927088079 2117344854 4105649791 3654648783 4217992463 738826334 2946068373 1413704072 2963972966 3134795493 3485373029 3469799161 848461111 3769374321 1483565104 2801094485 617138882 971110315 589003038 1609917812 1289208667 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8688
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      709 |        0
0.29/0.34	c  0.1s |       1 |     1107 |      100 |     4234      0 |      710 |      552
0.39/0.48	c  0.2s |       2 |     3716 |      250 |     4658      0 |      710 |      552
0.59/0.63	c  0.4s |       3 |     6118 |      475 |     5124      0 |      711 |      552
0.79/0.88	c  0.6s |       4 |     8506 |      813 |     5637      0 |      711 |      552
1.20/1.26	c  1.0s |       5 |    12429 |     1320 |     6201      0 |      711 |      552
1.99/2.09	c  1.8s |       6 |    14920 |     2081 |     7505      0 |      711 |      552
2.79/2.80	c  2.5s |       7 |    20716 |     3223 |     8256      0 |      711 |      552
3.89/3.98	c  3.7s |       8 |    30259 |     4936 |     9082      0 |      711 |      552
5.99/6.03	c  5.8s |       8 |    34048 |     6636 |     9082      0 |      711 |      552
6.69/6.79	c  6.5s |       9 |    37331 |     7506 |     9991      0 |      711 |      552
8.69/8.80	c  8.5s |       9 |    42715 |     9506 |     9991      0 |      711 |      552
10.79/10.80	c 10.5s |       9 |    43890 |    10506 |     9991      0 |      711 |      552
12.49/12.53	c 12.3s |      10 |    44882 |    11361 |    10991      0 |      711 |      552
14.49/14.57	c 14.3s |      10 |    53945 |    13661 |    10991      1 |      711 |      552
16.49/16.58	c 16.3s |      10 |    59321 |    15761 |    10991      1 |      711 |      552
18.39/18.41	c 18.2s |      11 |    61929 |    17144 |    12091      1 |      711 |      552
20.48/20.55	c 20.3s |      11 |    66353 |    19044 |    12091      1 |      711 |      552
22.58/22.63	c 22.4s |      11 |    67900 |    20344 |    12091      1 |      711 |      552
24.68/24.78	c 24.5s |      11 |    69114 |    21444 |    12091      1 |      711 |      552
26.78/26.80	c 26.5s |      11 |    70899 |    22644 |    12091      2 |      711 |      552
28.78/28.88	c 28.6s |      11 |    72920 |    24244 |    12091      2 |      711 |      552
30.98/31.01	c 30.8s |      11 |    74459 |    25544 |    12091      2 |      711 |      552
31.48/31.54	c 31.3s |      12 |    75167 |    25819 |    13301      2 |      711 |      552
33.48/33.55	c 33.3s |      12 |    83336 |    27819 |    13301      2 |      711 |      552
35.48/35.56	c 35.3s |      12 |    85713 |    29219 |    13301      2 |      711 |      552
37.68/37.72	c 37.5s |      12 |    87413 |    30519 |    13301      2 |      711 |      552
39.69/39.79	c 39.5s |      12 |    88675 |    31519 |    13301      3 |      711 |      552
41.98/42.00	c 41.7s |      12 |    90265 |    32719 |    13301      3 |      711 |      552
43.99/44.01	c 43.8s |      12 |    91530 |    33719 |    13301      3 |      711 |      552
45.98/46.07	c 45.8s |      12 |    92653 |    34619 |    13301      3 |      711 |      552
48.08/48.17	c 47.9s |      12 |    93639 |    35419 |    13301      3 |      711 |      552
50.18/50.22	c 50.0s |      12 |    94572 |    36219 |    13301      3 |      711 |      552
52.48/52.55	c 52.3s |      12 |    95400 |    36919 |    13301      3 |      711 |      552
54.58/54.67	c 54.4s |      12 |    96362 |    37719 |    13301      3 |      711 |      552
56.58/56.68	c 56.4s |      12 |    97168 |    38419 |    13301      3 |      711 |      552
57.78/57.85	c 57.6s |      13 |    97628 |    38832 |    14632      3 |      711 |      552
59.88/59.94	c 59.7s |      13 |   101246 |    40632 |    14632      4 |      711 |      552
61.88/61.97	c 61.7s |      13 |   103064 |    42232 |    14632      4 |      711 |      552
63.98/64.03	c 63.8s |      13 |   104632 |    43632 |    14632      4 |      711 |      552
65.98/66.08	c 65.8s |      13 |   105916 |    44832 |    14632      4 |      711 |      552
68.07/68.13	c 67.9s |      13 |   107210 |    46032 |    14632      4 |      711 |      552
70.27/70.33	c 70.1s |      13 |   108496 |    47232 |    14632      4 |      711 |      552
72.37/72.40	c 72.1s |      13 |   109674 |    48332 |    14632      4 |      711 |      552
74.37/74.44	c 74.2s |      13 |   110665 |    49232 |    14632      5 |      711 |      552
76.37/76.47	c 76.2s |      13 |   111641 |    50132 |    14632      5 |      711 |      552
78.57/78.66	c 78.4s |      13 |   112731 |    51132 |    14632      5 |      711 |      552
80.77/80.86	c 80.6s |      13 |   113681 |    52032 |    14632      5 |      711 |      552
82.87/82.91	c 82.7s |      13 |   114726 |    52932 |    14632      5 |      711 |      552
84.98/85.04	c 84.8s |      13 |   115722 |    53832 |    14632      5 |      711 |      552
87.18/87.21	c 87.0s |      13 |   116708 |    54732 |    14632      5 |      711 |      552
89.28/89.30	c 89.0s |      13 |   117595 |    55532 |    14632      5 |      711 |      552
91.48/91.52	c 91.3s |      13 |   118466 |    56332 |    14632      5 |      711 |      552
93.58/93.66	c 93.4s |      13 |   119332 |    57132 |    14632      5 |      711 |      552
95.88/95.99	c 95.7s |      13 |   120218 |    57932 |    14632      5 |      711 |      552
97.38/97.47	c 97.2s |      14 |   120662 |    58352 |    16096      5 |      711 |      552
99.38/99.49	c 99.2s |      14 |   127008 |    60152 |    16096      6 |      711 |      552
101.58/101.61	c  101s |      14 |   130317 |    62252 |    16096      6 |      711 |      552
103.58/103.67	c  103s |      14 |   132650 |    63952 |    16096      6 |      711 |      552
105.68/105.79	c  105s |      14 |   134545 |    65452 |    16096      6 |      711 |      552
107.78/107.83	c  107s |      14 |   136055 |    66652 |    16096      6 |      711 |      552
109.87/110.00	c  109s |      14 |   137499 |    67852 |    16096      6 |      711 |      552
111.97/112.01	c  111s |      14 |   138600 |    68752 |    16096      7 |      711 |      552
114.07/114.15	c  113s |      14 |   140156 |    69952 |    16096      7 |      711 |      552
116.17/116.24	c  115s |      14 |   141356 |    70952 |    16096      7 |      711 |      552
118.27/118.31	c  118s |      14 |   142584 |    71952 |    16096      7 |      711 |      552
120.47/120.53	c  120s |      14 |   143884 |    72952 |    16096      7 |      711 |      552
122.67/122.73	c  122s |      14 |   145183 |    74052 |    16096      7 |      711 |      552
124.77/124.88	c  124s |      14 |   146365 |    75052 |    16096      7 |      711 |      552
126.77/126.88	c  126s |      14 |   147472 |    75952 |    16096      7 |      711 |      552
128.87/128.97	c  128s |      14 |   148533 |    76852 |    16096      7 |      711 |      552
130.98/131.09	c  130s |      14 |   149681 |    77752 |    16096      7 |      711 |      552
133.27/133.32	c  133s |      14 |   150459 |    78452 |    16096      8 |      711 |      552
135.28/135.40	c  135s |      14 |   151474 |    79352 |    16096      8 |      711 |      552
137.37/137.49	c  137s |      14 |   152541 |    80252 |    16096      8 |      711 |      552
139.57/139.66	c  139s |      14 |   153572 |    81152 |    16096      8 |      711 |      552
141.77/141.84	c  141s |      14 |   154614 |    82052 |    16096      8 |      711 |      552
143.77/143.84	c  143s |      14 |   155549 |    82852 |    16096      8 |      711 |      552
145.97/146.09	c  145s |      14 |   156454 |    83652 |    16096      8 |      711 |      552
148.27/148.30	c  148s |      14 |   157407 |    84452 |    16096      8 |      711 |      552
150.37/150.42	c  150s |      14 |   158377 |    85252 |    16096      8 |      711 |      552
152.57/152.63	c  152s |      14 |   159167 |    85952 |    16096      8 |      711 |      552
154.67/154.71	c  154s |      14 |   159979 |    86652 |    16096      8 |      711 |      552
156.87/156.99	c  156s |      14 |   160764 |    87352 |    17706      8 |      711 |      552
157.97/158.02	c  157s |      15 |   161074 |    87632 |    17706      8 |      711 |      552
160.06/160.11	c  159s |      15 |   164950 |    88832 |    17706      9 |      711 |      552
162.16/162.20	c  161s |      15 |   168042 |    90632 |    17706      9 |      711 |      552
164.26/164.34	c  164s |      15 |   170510 |    92332 |    17706      9 |      711 |      552
166.36/166.45	c  166s |      15 |   172252 |    93632 |    17706      9 |      711 |      552
168.46/168.51	c  168s |      15 |   173686 |    94732 |    17706      9 |      711 |      552
170.47/170.52	c  170s |      15 |   175313 |    95932 |    17706      9 |      711 |      552
172.46/172.59	c  172s |      15 |   176661 |    97032 |    17706      9 |      711 |      552
174.56/174.65	c  174s |      15 |   177893 |    98032 |    17706      9 |      711 |      552
176.86/176.90	c  176s |      15 |   179179 |    99032 |    17706      9 |      711 |      552
178.86/178.97	c  178s |      15 |   180156 |    99832 |    17706     10 |      711 |      552
180.96/181.03	c  180s |      15 |   181174 |   100732 |    17706     10 |      711 |      552
183.06/183.10	c  182s |      15 |   182124 |   101532 |    17706     10 |      711 |      552
185.16/185.22	c  184s |      15 |   183305 |   102432 |    17706     10 |      711 |      552
187.36/187.46	c  187s |      15 |   184378 |   103332 |    17706     10 |      711 |      552
189.36/189.49	c  189s |      15 |   185396 |   104132 |    17706     10 |      711 |      552
191.56/191.61	c  191s |      15 |   186225 |   104832 |    17706     10 |      711 |      552
193.57/193.67	c  193s |      15 |   187094 |   105532 |    17706     10 |      711 |      552
195.87/196.00	c  195s |      15 |   187887 |   106232 |    17706     10 |      711 |      552
197.96/198.06	c  197s |      15 |   188561 |   106832 |    17706     10 |      711 |      552
200.06/200.13	c  199s |      15 |   189453 |   107532 |    17706     10 |      711 |      552
202.36/202.41	c  202s |      15 |   190500 |   108332 |    17706     10 |      711 |      552
204.46/204.60	c  204s |      15 |   191385 |   109032 |    17706     10 |      711 |      552
206.86/206.91	c  206s |      15 |   192116 |   109632 |    17706     11 |      711 |      552
209.06/209.15	c  208s |      15 |   193088 |   110432 |    17706     11 |      711 |      552
211.16/211.25	c  210s |      15 |   194274 |   111332 |    17706     11 |      711 |      552
213.26/213.33	c  213s |      15 |   195275 |   112132 |    17706     11 |      711 |      552
215.46/215.57	c  215s |      15 |   196228 |   112932 |    17706     11 |      711 |      552
217.65/217.70	c  217s |      15 |   197197 |   113732 |    17706     11 |      711 |      552
219.96/220.07	c  219s |      15 |   198129 |   114532 |    17706     11 |      711 |      552
222.05/222.15	c  221s |      15 |   199031 |   115232 |    17706     11 |      711 |      552
224.25/224.36	c  224s |      15 |   199983 |   116032 |    17706     11 |      711 |      552
226.35/226.46	c  226s |      15 |   200854 |   116732 |    17706     11 |      711 |      552
228.55/228.65	c  228s |      15 |   201719 |   117432 |    17706     11 |      711 |      552
230.75/230.83	c  230s |      15 |   202517 |   118132 |    17706     11 |      711 |      552
232.95/233.07	c  232s |      15 |   203324 |   118832 |    17706     11 |      711 |      552
235.25/235.30	c  235s |      15 |   204150 |   119532 |    17706     11 |      711 |      552
237.25/237.39	c  237s |      15 |   204844 |   120132 |    17706     11 |      711 |      552
239.45/239.51	c  239s |      15 |   205534 |   120732 |    17706     12 |      711 |      552
241.65/241.73	c  241s |      15 |   206430 |   121532 |    17706     12 |      711 |      552
243.65/243.75	c  243s |      15 |   207236 |   122232 |    17706     12 |      711 |      552
245.85/245.93	c  245s |      15 |   208077 |   122932 |    17706     12 |      711 |      552
247.85/247.96	c  247s |      15 |   208930 |   123632 |    17706     12 |      711 |      552
250.15/250.24	c  249s |      15 |   209739 |   124332 |    17706     12 |      711 |      552
252.35/252.49	c  252s |      15 |   210558 |   125032 |    17706     12 |      711 |      552
254.45/254.58	c  254s |      15 |   211399 |   125732 |    17706     12 |      711 |      552
256.65/256.77	c  256s |      15 |   212344 |   126532 |    17706     12 |      711 |      552
258.85/258.95	c  258s |      15 |   213194 |   127232 |    17706     12 |      711 |      552
261.15/261.23	c  260s |      15 |   214203 |   128032 |    17706     12 |      711 |      552
263.15/263.27	c  263s |      15 |   215038 |   128732 |    17706     12 |      711 |      552
265.35/265.43	c  265s |      15 |   215879 |   129432 |    17706     12 |      711 |      552
267.55/267.68	c  267s |      15 |   216733 |   130132 |    17706     12 |      711 |      552
269.85/269.92	c  269s |      15 |   217601 |   130832 |    19477     12 |      711 |      552
271.85/271.95	c  271s |      15 |   218305 |   131432 |    19477     12 |      711 |      552
272.25/272.35	c  272s |      16 |   218447 |   131552 |    19477     12 |      711 |      552
274.34/274.48	c  274s |      16 |   222290 |   132852 |    19477     13 |      711 |      552
276.34/276.48	c  276s |      16 |   224030 |   134252 |    19477     13 |      711 |      552
278.54/278.69	c  278s |      16 |   230899 |   136152 |    19477     13 |      711 |      552
280.74/280.88	c  280s |      16 |   232649 |   137452 |    19477     13 |      711 |      552
282.94/283.06	c  282s |      16 |   233686 |   138352 |    19477     13 |      711 |      552
285.04/285.15	c  284s |      16 |   234970 |   139352 |    19477     13 |      711 |      552
287.16/287.25	c  286s |      16 |   236392 |   140552 |    19477     13 |      711 |      552
289.26/289.32	c  289s |      16 |   237458 |   141452 |    19477     13 |      711 |      552
291.35/291.42	c  291s |      16 |   238362 |   142252 |    19477     13 |      711 |      552
293.35/293.46	c  293s |      16 |   239148 |   142952 |    19477     13 |      711 |      552
295.45/295.55	c  295s |      16 |   239690 |   143452 |    19477     14 |      711 |      552
297.55/297.68	c  297s |      16 |   240641 |   144252 |    19477     14 |      711 |      552
299.95/300.01	c  299s |      16 |   241594 |   145052 |    19477     14 |      711 |      552
302.25/302.30	c  302s |      16 |   242396 |   145752 |    19477     14 |      711 |      552
304.35/304.45	c  304s |      16 |   243231 |   146452 |    19477     14 |      711 |      552
306.45/306.56	c  306s |      16 |   243888 |   147052 |    19477     14 |      711 |      552
308.75/308.80	c  308s |      16 |   244562 |   147652 |    19477     14 |      711 |      552
310.74/310.89	c  310s |      16 |   245114 |   148152 |    19477     14 |      711 |      552
313.04/313.15	c  312s |      16 |   245849 |   148852 |    19477     14 |      711 |      552
315.34/315.41	c  315s |      16 |   246585 |   149452 |    19477     14 |      711 |      552
317.54/317.61	c  317s |      16 |   247184 |   149952 |    19477     14 |      711 |      552
319.54/319.69	c  319s |      16 |   247759 |   150452 |    19477     14 |      711 |      552
321.94/322.04	c  321s |      16 |   248296 |   150952 |    19477     14 |      711 |      552
324.24/324.35	c  324s |      16 |   248843 |   151452 |    19477     14 |      711 |      552
326.44/326.55	c  326s |      16 |   249681 |   152152 |    19477     14 |      711 |      552
328.64/328.74	c  328s |      16 |   250372 |   152752 |    19477     14 |      711 |      552
330.94/331.04	c  330s |      16 |   251169 |   153452 |    19477     14 |      711 |      552
333.25/333.32	c  333s |      16 |   251981 |   154152 |    19477     14 |      711 |      552
335.55/335.65	c  335s |      16 |   252688 |   154752 |    19477     15 |      711 |      552
337.84/337.97	c  337s |      16 |   253631 |   155552 |    19477     15 |      711 |      552
340.04/340.18	c  339s |      16 |   254435 |   156252 |    19477     15 |      711 |      552
342.15/342.29	c  342s |      16 |   255152 |   156852 |    19477     15 |      711 |      552
344.44/344.52	c  344s |      16 |   255996 |   157552 |    19477     15 |      711 |      552
346.55/346.64	c  346s |      16 |   256702 |   158152 |    19477     15 |      711 |      552
348.84/348.92	c  348s |      16 |   257506 |   158852 |    19477     15 |      711 |      552
351.14/351.29	c  351s |      16 |   258349 |   159552 |    19477     15 |      711 |      552
353.34/353.45	c  353s |      16 |   258901 |   160052 |    19477     15 |      711 |      552
355.54/355.69	c  355s |      16 |   259584 |   160652 |    19477     15 |      711 |      552
357.84/357.90	c  357s |      16 |   260276 |   161252 |    19477     15 |      711 |      552
359.84/359.97	c  359s |      16 |   260839 |   161752 |    19477     15 |      711 |      552
362.14/362.29	c  362s |      16 |   261513 |   162352 |    19477     15 |      711 |      552
364.34/364.48	c  364s |      16 |   262070 |   162852 |    19477     15 |      711 |      552
366.84/366.92	c  366s |      16 |   262655 |   163352 |    19477     15 |      711 |      552
368.94/369.01	c  368s |      16 |   263219 |   163852 |    19477     15 |      711 |      552
370.94/371.04	c  370s |      16 |   263653 |   164252 |    19477     15 |      711 |      552
373.04/373.16	c  372s |      16 |   264136 |   164652 |    19477     15 |      711 |      552
375.24/375.35	c  375s |      16 |   264587 |   165052 |    19477     15 |      711 |      552
377.34/377.44	c  377s |      16 |   265036 |   165452 |    19477     15 |      711 |      552
379.33/379.46	c  379s |      16 |   265499 |   165852 |    19477     15 |      711 |      552
381.64/381.74	c  381s |      16 |   266008 |   166252 |    19477     16 |      711 |      552
383.94/384.02	c  383s |      16 |   266818 |   166952 |    19477     16 |      711 |      552
386.23/386.35	c  386s |      16 |   267533 |   167552 |    19477     16 |      711 |      552
388.63/388.70	c  388s |      16 |   268238 |   168152 |    19477     16 |      711 |      552
390.83/390.99	c  390s |      16 |   268922 |   168752 |    19477     16 |      711 |      552
392.93/393.01	c  392s |      16 |   269496 |   169252 |    19477     16 |      711 |      552
394.94/395.02	c  394s |      16 |   270099 |   169752 |    19477     16 |      711 |      552
397.04/397.16	c  396s |      16 |   270697 |   170252 |    19477     16 |      711 |      552
399.34/399.48	c  399s |      16 |   271346 |   170852 |    19477     16 |      711 |      552
401.63/401.74	c  401s |      16 |   271929 |   171352 |    19477     16 |      711 |      552
403.74/403.89	c  403s |      16 |   272495 |   171852 |    19477     16 |      711 |      552
405.94/406.01	c  405s |      16 |   273087 |   172352 |    19477     16 |      711 |      552
408.04/408.16	c  407s |      16 |   273672 |   172852 |    19477     16 |      711 |      552
410.34/410.46	c  410s |      16 |   274232 |   173352 |    19477     16 |      711 |      552
412.53/412.65	c  412s |      16 |   274800 |   173852 |    19477     16 |      711 |      552
414.73/414.81	c  414s |      16 |   275506 |   174452 |    19477     16 |      711 |      552
416.93/417.01	c  416s |      16 |   276177 |   175052 |    19477     16 |      711 |      552
418.93/419.04	c  418s |      16 |   276726 |   175552 |    19477     16 |      711 |      552
420.93/421.09	c  420s |      16 |   277257 |   176052 |    19477     16 |      711 |      552
423.33/423.41	c  423s |      16 |   277951 |   176652 |    19477     16 |      711 |      552
425.73/425.85	c  425s |      16 |   278600 |   177252 |    19477     16 |      711 |      552
427.93/428.09	c  427s |      16 |   279156 |   177752 |    19477     17 |      711 |      552
430.03/430.14	c  429s |      16 |   279821 |   178352 |    19477     17 |      711 |      552
432.23/432.38	c  432s |      16 |   280595 |   179052 |    19477     17 |      711 |      552
434.33/434.41	c  434s |      16 |   281280 |   179652 |    19477     17 |      711 |      552
436.63/436.77	c  436s |      16 |   282181 |   180452 |    19477     17 |      711 |      552
438.72/438.87	c  438s |      16 |   282909 |   181152 |    19477     17 |      711 |      552
440.72/440.87	c  440s |      16 |   283561 |   181752 |    19477     17 |      711 |      552
443.02/443.16	c  442s |      16 |   284335 |   182452 |    19477     17 |      711 |      552
445.22/445.34	c  445s |      16 |   284961 |   183052 |    19477     17 |      711 |      552
447.22/447.34	c  447s |      16 |   285485 |   183552 |    19477     17 |      711 |      552
449.42/449.52	c  449s |      16 |   286126 |   184152 |    19477     17 |      711 |      552
451.42/451.54	c  451s |      16 |   286663 |   184652 |    19477     17 |      711 |      552
453.62/453.76	c  453s |      16 |   287190 |   185152 |    19477     17 |      711 |      552
455.92/456.02	c  455s |      16 |   287919 |   185752 |    19477     17 |      711 |      552
457.92/458.10	c  457s |      16 |   288607 |   186352 |    19477     17 |      711 |      552
460.12/460.21	c  459s |      16 |   289303 |   186952 |    19477     17 |      711 |      552
462.52/462.61	c  462s |      16 |   289992 |   187552 |    19477     17 |      711 |      552
464.52/464.65	c  464s |      16 |   290588 |   188052 |    19477     17 |      711 |      552
467.02/467.18	c  466s |      16 |   291109 |   188552 |    19477     18 |      711 |      552
469.32/469.49	c  469s |      16 |   291911 |   189252 |    19477     18 |      711 |      552
471.42/471.56	c  471s |      16 |   292583 |   189852 |    19477     18 |      711 |      552
473.72/473.82	c  473s |      16 |   293398 |   190552 |    19477     18 |      711 |      552
475.92/476.03	c  475s |      16 |   294203 |   191252 |    19477     18 |      711 |      552
477.92/478.03	c  477s |      16 |   294906 |   191852 |    19477     18 |      711 |      552
480.12/480.23	c  479s |      16 |   295570 |   192452 |    19477     18 |      711 |      552
482.32/482.43	c  482s |      16 |   296304 |   193052 |    19477     18 |      711 |      552
484.52/484.61	c  484s |      16 |   297090 |   193752 |    19477     18 |      711 |      552
486.82/486.92	c  486s |      16 |   297912 |   194452 |    19477     18 |      711 |      552
489.02/489.15	c  488s |      16 |   298432 |   194952 |    19477     18 |      711 |      552
491.32/491.42	c  491s |      16 |   298969 |   195452 |    19477     18 |      711 |      552
493.32/493.48	c  493s |      16 |   299652 |   196052 |    19477     18 |      711 |      552
495.62/495.77	c  495s |      16 |   300346 |   196652 |    21425     18 |      711 |      552
497.82/497.94	c  497s |      16 |   300914 |   197152 |    21425     18 |      711 |      552
498.91/499.00	c  498s |      17 |   301245 |   197432 |    21425     18 |      711 |      552
500.91/501.05	c  500s |      17 |   309924 |   199132 |    21425     18 |      711 |      552
503.01/503.13	c  502s |      17 |   313004 |   200432 |    21425     19 |      711 |      552
505.11/505.21	c  504s |      17 |   317452 |   202432 |    21425     19 |      711 |      552
507.12/507.24	c  506s |      17 |   319267 |   203832 |    21425     19 |      711 |      552
509.11/509.28	c  509s |      17 |   320807 |   205032 |    21425     19 |      711 |      552
511.21/511.32	c  511s |      17 |   322114 |   206132 |    21425     19 |      711 |      552
513.41/513.54	c  513s |      17 |   323448 |   207232 |    21425     19 |      711 |      552
515.41/515.57	c  515s |      17 |   324506 |   208132 |    21425     19 |      711 |      552
517.51/517.60	c  517s |      17 |   326283 |   209332 |    21425     19 |      711 |      552
519.51/519.64	c  519s |      17 |   327533 |   210332 |    21425     19 |      711 |      552
521.61/521.71	c  521s |      17 |   328752 |   211332 |    21425     19 |      711 |      552
523.71/523.87	c  523s |      17 |   329989 |   212332 |    21425     19 |      711 |      552
525.91/526.05	c  525s |      17 |   331193 |   213332 |    21425     19 |      711 |      552
528.02/528.16	c  527s |      17 |   332063 |   214032 |    21425     20 |      711 |      552
530.12/530.30	c  530s |      17 |   333307 |   215032 |    21425     20 |      711 |      552
532.21/532.36	c  532s |      17 |   334296 |   215832 |    21425     20 |      711 |      552
534.41/534.56	c  534s |      17 |   335519 |   216832 |    21425     20 |      711 |      552
536.61/536.72	c  536s |      17 |   336738 |   217732 |    21425     20 |      711 |      552
538.81/538.94	c  538s |      17 |   337663 |   218532 |    21425     20 |      711 |      552
540.81/540.95	c  540s |      17 |   338325 |   219132 |    21425     20 |      711 |      552
542.81/542.98	c  542s |      17 |   339175 |   219832 |    21425     20 |      711 |      552
545.11/545.24	c  544s |      17 |   339960 |   220532 |    21425     20 |      711 |      552
547.21/547.34	c  547s |      17 |   340676 |   221132 |    21425     20 |      711 |      552
549.31/549.47	c  549s |      17 |   341344 |   221732 |    21425     20 |      711 |      552
551.51/551.61	c  551s |      17 |   342030 |   222332 |    21425     20 |      711 |      552
553.80/553.92	c  553s |      17 |   342949 |   223032 |    21425     20 |      711 |      552
556.00/556.12	c  555s |      17 |   343627 |   223632 |    21425     20 |      711 |      552
558.00/558.14	c  557s |      17 |   344365 |   224232 |    21425     20 |      711 |      552
560.20/560.39	c  560s |      17 |   345077 |   224832 |    21425     20 |      711 |      552
562.30/562.40	c  562s |      17 |   345680 |   225332 |    21425     20 |      711 |      552
564.40/564.57	c  564s |      17 |   346260 |   225832 |    21425     21 |      711 |      552
566.60/566.71	c  566s |      17 |   347061 |   226532 |    21425     21 |      711 |      552
568.61/568.76	c  568s |      17 |   347754 |   227132 |    21425     21 |      711 |      552
570.70/570.88	c  570s |      17 |   348586 |   227832 |    21425     21 |      711 |      552
572.90/573.04	c  572s |      17 |   349553 |   228632 |    21425     21 |      711 |      552
575.21/575.37	c  575s |      17 |   350322 |   229332 |    21425     21 |      711 |      552
577.51/577.62	c  577s |      17 |   350992 |   229932 |    21425     21 |      711 |      552
579.50/579.68	c  579s |      17 |   351666 |   230532 |    21425     21 |      711 |      552
581.60/581.75	c  581s |      17 |   352369 |   231132 |    21425     21 |      711 |      552
583.70/583.86	c  583s |      17 |   353052 |   231732 |    21425     21 |      711 |      552
585.80/585.97	c  585s |      17 |   353721 |   232332 |    21425     21 |      711 |      552
588.20/588.37	c  588s |      17 |   354385 |   232932 |    21425     21 |      711 |      552
590.40/590.54	c  590s |      17 |   355048 |   233532 |    21425     21 |      711 |      552
592.50/592.61	c  592s |      17 |   355598 |   234032 |    21425     21 |      711 |      552
594.70/594.87	c  594s |      17 |   356165 |   234532 |    21425     21 |      711 |      552
597.00/597.12	c  596s |      17 |   357008 |   235232 |    21425     21 |      711 |      552
599.09/599.25	c  598s |      17 |   357826 |   235932 |    21425     21 |      711 |      552
601.39/601.58	c  601s |      17 |   358667 |   236632 |    21425     21 |      711 |      552
603.69/603.84	c  603s |      17 |   359359 |   237232 |    21425     21 |      711 |      552
605.89/606.03	c  605s |      17 |   360089 |   237832 |    21425     21 |      711 |      552
607.99/608.15	c  607s |      17 |   360740 |   238332 |    21425     22 |      711 |      552
610.09/610.23	c  609s |      17 |   361532 |   239032 |    21425     22 |      711 |      552
612.39/612.53	c  612s |      17 |   362486 |   239832 |    21425     22 |      711 |      552
614.70/614.80	c  614s |      17 |   363289 |   240532 |    21425     22 |      711 |      552
616.80/616.95	c  616s |      17 |   364109 |   241232 |    21425     22 |      711 |      552
619.00/619.19	c  618s |      17 |   364889 |   241932 |    21425     22 |      711 |      552
621.10/621.23	c  620s |      17 |   365536 |   242532 |    21425     22 |      711 |      552
623.20/623.37	c  623s |      17 |   366179 |   243132 |    21425     22 |      711 |      552
625.30/625.50	c  625s |      17 |   366840 |   243732 |    21425     22 |      711 |      552
627.60/627.73	c  627s |      17 |   367475 |   244332 |    21425     22 |      711 |      552
629.80/629.97	c  629s |      17 |   368158 |   244932 |    21425     22 |      711 |      552
631.99/632.10	c  631s |      17 |   368704 |   245432 |    21425     22 |      711 |      552
634.19/634.30	c  634s |      17 |   369418 |   246032 |    21425     22 |      711 |      552
636.39/636.54	c  636s |      17 |   370076 |   246632 |    21425     22 |      711 |      552
638.49/638.64	c  638s |      17 |   370632 |   247132 |    21425     22 |      711 |      552
640.49/640.69	c  640s |      17 |   371192 |   247632 |    21425     22 |      711 |      552
642.89/643.04	c  642s |      17 |   371737 |   248132 |    21425     22 |      711 |      552
645.09/645.20	c  644s |      17 |   372446 |   248732 |    21425     22 |      711 |      552
647.29/647.45	c  647s |      17 |   373122 |   249332 |    21425     22 |      711 |      552
649.39/649.57	c  649s |      17 |   373678 |   249832 |    21425     22 |      711 |      552
651.59/651.74	c  651s |      17 |   374116 |   250232 |    21425     23 |      711 |      552
653.69/653.87	c  653s |      17 |   374781 |   250832 |    21425     23 |      711 |      552
655.79/655.96	c  655s |      17 |   375724 |   251632 |    21425     23 |      711 |      552
658.09/658.21	c  657s |      17 |   376643 |   252432 |    21425     23 |      711 |      552
660.19/660.39	c  660s |      17 |   377455 |   253132 |    21425     23 |      711 |      552
662.49/662.68	c  662s |      17 |   378236 |   253832 |    21425     23 |      711 |      552
664.69/664.84	c  664s |      17 |   378912 |   254432 |    21425     23 |      711 |      552
666.89/667.07	c  666s |      17 |   379602 |   255032 |    21425     23 |      711 |      552
669.09/669.28	c  669s |      17 |   380276 |   255632 |    21425     23 |      711 |      552
671.28/671.48	c  671s |      17 |   380934 |   256232 |    21425     23 |      711 |      552
673.58/673.70	c  673s |      17 |   381611 |   256832 |    21425     23 |      711 |      552
675.58/675.73	c  675s |      17 |   382191 |   257332 |    21425     23 |      711 |      552
677.68/677.85	c  677s |      17 |   382728 |   257832 |    21425     23 |      711 |      552
679.79/679.99	c  679s |      17 |   383284 |   258332 |    21425     23 |      711 |      552
682.08/682.27	c  682s |      17 |   383855 |   258832 |    21425     23 |      711 |      552
684.28/684.48	c  684s |      17 |   384387 |   259332 |    21425     23 |      711 |      552
686.79/686.93	c  686s |      17 |   385045 |   259932 |    21425     23 |      711 |      552
689.09/689.24	c  688s |      17 |   385594 |   260432 |    21425     23 |      711 |      552
691.19/691.32	c  691s |      17 |   386154 |   260932 |    21425     23 |      711 |      552
693.29/693.48	c  693s |      17 |   386722 |   261432 |    21425     23 |      711 |      552
695.69/695.85	c  695s |      17 |   387261 |   261932 |    21425     23 |      711 |      552
698.09/698.21	c  697s |      17 |   387809 |   262432 |    21425     23 |      711 |      552
700.08/700.22	c  699s |      17 |   388251 |   262832 |    21425     24 |      711 |      552
702.18/702.33	c  702s |      17 |   388933 |   263432 |    21425     24 |      711 |      552
704.38/704.56	c  704s |      17 |   389723 |   264132 |    21425     24 |      711 |      552
706.68/706.88	c  706s |      17 |   390391 |   264732 |    21425     24 |      711 |      552
708.78/708.97	c  708s |      17 |   391105 |   265332 |    21425     24 |      711 |      552
711.18/711.30	c  711s |      17 |   391760 |   265932 |    21425     24 |      711 |      552
713.38/713.58	c  713s |      17 |   392405 |   266532 |    21425     24 |      711 |      552
715.58/715.75	c  715s |      17 |   393052 |   267132 |    21425     24 |      711 |      552
717.88/718.00	c  717s |      17 |   393710 |   267732 |    21425     24 |      711 |      552
719.98/720.11	c  719s |      17 |   394372 |   268332 |    21425     24 |      711 |      552
722.28/722.50	c  722s |      17 |   395011 |   268932 |    21425     24 |      711 |      552
724.68/724.81	c  724s |      17 |   395802 |   269632 |    21425     24 |      711 |      552
726.99/727.12	c  726s |      17 |   396589 |   270332 |    21425     24 |      711 |      552
729.29/729.49	c  729s |      17 |   397260 |   270932 |    21425     24 |      711 |      552
731.58/731.78	c  731s |      17 |   397926 |   271532 |    21425     24 |      711 |      552
733.58/733.80	c  733s |      17 |   398469 |   272032 |    21425     24 |      711 |      552
736.07/736.26	c  736s |      17 |   399142 |   272632 |    21425     24 |      711 |      552
738.27/738.44	c  738s |      17 |   399687 |   273132 |    21425     24 |      711 |      552
740.37/740.54	c  740s |      17 |   400246 |   273632 |    21425     24 |      711 |      552
742.57/742.72	c  742s |      17 |   400788 |   274132 |    21425     24 |      711 |      552
744.77/744.94	c  744s |      17 |   401339 |   274632 |    21425     24 |      711 |      552
746.97/747.11	c  746s |      17 |   401772 |   275032 |    21425     25 |      711 |      552
748.97/749.20	c  748s |      17 |   402452 |   275632 |    21425     25 |      711 |      552
751.27/751.42	c  751s |      17 |   403092 |   276232 |    21425     25 |      711 |      552
753.37/753.52	c  753s |      17 |   403746 |   276832 |    21425     25 |      711 |      552
755.57/755.80	c  755s |      17 |   404395 |   277432 |    21425     25 |      711 |      552
757.77/758.00	c  757s |      17 |   405072 |   278032 |    21425     25 |      711 |      552
759.86/760.00	c  759s |      17 |   405603 |   278532 |    21425     25 |      711 |      552
761.86/762.09	c  761s |      17 |   406142 |   279032 |    21425     25 |      711 |      552
764.26/764.49	c  764s |      17 |   406808 |   279632 |    21425     25 |      711 |      552
766.36/766.57	c  766s |      17 |   407344 |   280132 |    21425     25 |      711 |      552
768.56/768.72	c  768s |      17 |   407988 |   280732 |    21425     25 |      711 |      552
770.56/770.75	c  770s |      17 |   408522 |   281232 |    21425     25 |      711 |      552
772.65/772.84	c  772s |      17 |   409062 |   281732 |    21425     25 |      711 |      552
774.95/775.15	c  774s |      17 |   409750 |   282332 |    21425     25 |      711 |      552
777.05/777.24	c  776s |      17 |   410313 |   282832 |    21425     25 |      711 |      552
779.35/779.51	c  779s |      17 |   410862 |   283332 |    21425     25 |      711 |      552
781.55/781.74	c  781s |      17 |   411401 |   283832 |    21425     25 |      711 |      552
783.65/783.84	c  783s |      17 |   411948 |   284332 |    21425     25 |      711 |      552
785.75/785.91	c  785s |      17 |   412493 |   284832 |    21425     25 |      711 |      552
788.05/788.20	c  787s |      17 |   413037 |   285332 |    21425     25 |      711 |      552
790.25/790.41	c  790s |      17 |   413598 |   285832 |    21425     25 |      711 |      552
792.54/792.76	c  792s |      17 |   414150 |   286332 |    21425     25 |      711 |      552
794.54/794.78	c  794s |      17 |   414569 |   286732 |    21425     25 |      711 |      552
797.25/797.43	c  797s |      17 |   415001 |   287132 |    21425     26 |      711 |      552
799.25/799.45	c  799s |      17 |   415541 |   287632 |    21425     26 |      711 |      552
801.45/801.63	c  801s |      17 |   416212 |   288232 |    21425     26 |      711 |      552
803.45/803.68	c  803s |      17 |   416849 |   288832 |    21425     26 |      711 |      552
805.65/805.80	c  805s |      17 |   417623 |   289532 |    21425     26 |      711 |      552
807.75/807.99	c  807s |      17 |   418406 |   290232 |    21425     26 |      711 |      552
809.95/810.10	c  809s |      17 |   419203 |   290932 |    21425     26 |      711 |      552
812.14/812.39	c  812s |      17 |   419994 |   291632 |    21425     26 |      711 |      552
814.34/814.58	c  814s |      17 |   420650 |   292232 |    21425     26 |      711 |      552
816.64/816.88	c  816s |      17 |   421315 |   292832 |    21425     26 |      711 |      552
818.94/819.19	c  818s |      17 |   421989 |   293432 |    21425     26 |      711 |      552
821.04/821.28	c  821s |      17 |   422642 |   294032 |    21425     26 |      711 |      552
823.13/823.36	c  823s |      17 |   423199 |   294532 |    23568     26 |      711 |      552
825.33/825.59	c  825s |      17 |   423862 |   295132 |    23568     26 |      711 |      552
827.63/827.86	c  827s |      17 |   424530 |   295732 |    23568     26 |      711 |      552
829.53/829.79	c  829s |      18 |   425123 |   296252 |    23568     26 |      711 |      552
831.63/831.83	c  831s |      18 |   431758 |   297752 |    23568     26 |      711 |      552
833.64/833.86	c  833s |      18 |   433930 |   299452 |    23568     26 |      711 |      552
835.73/836.00	c  835s |      18 |   437336 |   300752 |    23568     27 |      711 |      552
837.83/838.06	c  837s |      18 |   439396 |   302352 |    23568     27 |      711 |      552
839.93/840.12	c  839s |      18 |   440924 |   303652 |    23568     27 |      711 |      552
842.13/842.37	c  842s |      18 |   442155 |   304752 |    23568     27 |      711 |      552
844.23/844.46	c  844s |      18 |   443141 |   305652 |    23568     27 |      711 |      552
846.23/846.47	c  846s |      18 |   443984 |   306452 |    23568     27 |      711 |      552
848.53/848.71	c  848s |      18 |   444878 |   307252 |    23568     27 |      711 |      552
850.53/850.73	c  850s |      18 |   445765 |   308052 |    23568     27 |      711 |      552
852.52/852.74	c  852s |      18 |   446632 |   308852 |    23568     27 |      711 |      552
854.53/854.78	c  854s |      18 |   447386 |   309552 |    23568     27 |      711 |      552
856.73/856.96	c  856s |      18 |   448126 |   310252 |    23568     27 |      711 |      552
858.82/859.04	c  858s |      18 |   448912 |   310952 |    23568     27 |      711 |      552
861.02/861.26	c  861s |      18 |   449644 |   311652 |    23568     27 |      711 |      552
863.22/863.46	c  863s |      18 |   450407 |   312352 |    23568     27 |      711 |      552
865.42/865.61	c  865s |      18 |   451151 |   313052 |    23568     27 |      711 |      552
867.73/867.92	c  867s |      18 |   451910 |   313752 |    23568     27 |      711 |      552
869.72/869.93	c  869s |      18 |   452424 |   314252 |    23568     27 |      711 |      552
871.82/872.00	c  871s |      18 |   452968 |   314752 |    23568     28 |      711 |      552
874.02/874.27	c  874s |      18 |   453694 |   315452 |    23568     28 |      711 |      552
876.22/876.46	c  876s |      18 |   454322 |   316052 |    23568     28 |      711 |      552
878.32/878.59	c  878s |      18 |   454837 |   316552 |    23568     28 |      711 |      552
880.62/880.82	c  880s |      18 |   455632 |   317252 |    23568     28 |      711 |      552
882.82/883.08	c  882s |      18 |   456648 |   318152 |    23568     28 |      711 |      552
885.02/885.29	c  885s |      18 |   457397 |   318852 |    23568     28 |      711 |      552
887.12/887.39	c  887s |      18 |   458161 |   319552 |    23568     28 |      711 |      552
889.22/889.47	c  889s |      18 |   458950 |   320252 |    23568     28 |      711 |      552
891.22/891.49	c  891s |      18 |   459757 |   320952 |    23568     28 |      711 |      552
893.52/893.77	c  893s |      18 |   460525 |   321652 |    23568     28 |      711 |      552
895.52/895.77	c  895s |      18 |   461192 |   322252 |    23568     28 |      711 |      552
898.02/898.21	c  897s |      18 |   461964 |   322952 |    23568     28 |      711 |      552
900.12/900.38	c  900s |      18 |   462624 |   323552 |    23568     28 |      711 |      552
902.22/902.47	c  902s |      18 |   463292 |   324152 |    23568     28 |      711 |      552
904.32/904.57	c  904s |      18 |   463941 |   324752 |    23568     28 |      711 |      552
906.62/906.81	c  906s |      18 |   464592 |   325352 |    23568     28 |      711 |      552
908.71/908.92	c  908s |      18 |   465256 |   325952 |    23568     28 |      711 |      552
910.81/911.02	c  910s |      18 |   465934 |   326552 |    23568     28 |      711 |      552
913.11/913.32	c  913s |      18 |   466571 |   327152 |    23568     28 |      711 |      552
915.12/915.33	c  915s |      18 |   467263 |   327752 |    23568     28 |      711 |      552
917.41/917.62	c  917s |      18 |   467936 |   328352 |    23568     29 |      711 |      552
919.42/919.65	c  919s |      18 |   468593 |   328952 |    23568     29 |      711 |      552
921.51/921.74	c  921s |      18 |   469391 |   329652 |    23568     29 |      711 |      552
923.71/923.91	c  923s |      18 |   470184 |   330352 |    23568     29 |      711 |      552
925.71/925.99	c  925s |      18 |   470828 |   330952 |    23568     29 |      711 |      552
927.81/928.08	c  927s |      18 |   471488 |   331552 |    23568     29 |      711 |      552
929.91/930.14	c  929s |      18 |   472148 |   332152 |    23568     29 |      711 |      552
931.91/932.16	c  931s |      18 |   472825 |   332752 |    23568     29 |      711 |      552
934.11/934.32	c  934s |      18 |   473499 |   333352 |    23568     29 |      711 |      552
936.31/936.58	c  936s |      18 |   474132 |   333952 |    23568     29 |      711 |      552
938.61/938.82	c  938s |      18 |   474812 |   334552 |    23568     29 |      711 |      552
940.61/940.89	c  940s |      18 |   475505 |   335152 |    23568     29 |      711 |      552
942.71/942.96	c  942s |      18 |   476143 |   335752 |    23568     29 |      711 |      552
944.91/945.14	c  944s |      18 |   477261 |   336552 |    23568     29 |      711 |      552
947.11/947.31	c  947s |      18 |   478286 |   337352 |    23568     29 |      711 |      552
949.11/949.40	c  949s |      18 |   479163 |   338052 |    23568     29 |      711 |      552
951.20/951.40	c  951s |      18 |   480095 |   338752 |    23568     29 |      711 |      552
953.20/953.44	c  953s |      18 |   481030 |   339452 |    23568     29 |      711 |      552
955.20/955.44	c  955s |      18 |   482555 |   340252 |    23568     29 |      711 |      552
957.20/957.48	c  957s |      18 |   484433 |   341152 |    23568     30 |      711 |      552
959.40/959.62	c  959s |      18 |   486808 |   342452 |    23568     30 |      711 |      552
961.50/961.75	c  961s |      18 |   488016 |   343452 |    23568     30 |      711 |      552
963.70/963.97	c  963s |      18 |   489009 |   344352 |    23568     30 |      711 |      552
965.90/966.13	c  965s |      18 |   489898 |   345152 |    23568     30 |      711 |      552
967.91/968.14	c  967s |      18 |   490818 |   345952 |    23568     30 |      711 |      552
969.90/970.20	c  969s |      18 |   491608 |   346652 |    23568     30 |      711 |      552
972.00/972.21	c  971s |      18 |   492296 |   347252 |    23568     30 |      711 |      552
974.10/974.35	c  974s |      18 |   493084 |   347952 |    23568     30 |      711 |      552
976.40/976.65	c  976s |      18 |   493995 |   348752 |    23568     30 |      711 |      552
978.40/978.68	c  978s |      18 |   495031 |   349552 |    23568     30 |      711 |      552
980.60/980.85	c  980s |      18 |   495968 |   350352 |    23568     30 |      711 |      552
982.60/982.88	c  982s |      18 |   496719 |   351052 |    23568     30 |      711 |      552
984.80/985.08	c  984s |      18 |   497495 |   351752 |    23568     30 |      711 |      552
987.10/987.37	c  987s |      18 |   498269 |   352452 |    23568     30 |      711 |      552
989.40/989.64	c  989s |      18 |   499559 |   353352 |    23568     30 |      711 |      552
991.59/991.85	c  991s |      18 |   500496 |   354152 |    23568     30 |      711 |      552
993.69/993.92	c  993s |      18 |   502766 |   355152 |    23568     31 |      711 |      552
995.69/995.95	c  995s |      18 |   504342 |   356352 |    23568     31 |      711 |      552
997.79/998.02	c  997s |      18 |   505586 |   357352 |    23568     31 |      711 |      552
999.89/1000.15	c  999s |      18 |   506745 |   358352 |    23568     31 |      711 |      552
1002.09/1002.30	c 1002s |      18 |   507779 |   359252 |    23568     31 |      711 |      552
1004.10/1004.31	c 1004s |      18 |   508677 |   360052 |    23568     31 |      711 |      552
1006.30/1006.56	c 1006s |      18 |   509555 |   360852 |    23568     31 |      711 |      552
1008.50/1008.73	c 1008s |      18 |   510511 |   361652 |    23568     31 |      711 |      552
1010.70/1010.90	c 1010s |      18 |   511455 |   362452 |    23568     31 |      711 |      552
1012.69/1012.95	c 1012s |      18 |   512275 |   363152 |    23568     31 |      711 |      552
1014.69/1014.99	c 1014s |      18 |   513059 |   363852 |    23568     31 |      711 |      552
1016.99/1017.21	c 1016s |      18 |   513814 |   364552 |    23568     31 |      711 |      552
1018.99/1019.23	c 1018s |      18 |   514600 |   365252 |    23568     31 |      711 |      552
1020.99/1021.26	c 1021s |      18 |   515424 |   365952 |    23568     31 |      711 |      552
1023.19/1023.41	c 1023s |      18 |   516375 |   366752 |    23568     31 |      711 |      552
1025.49/1025.70	c 1025s |      18 |   517161 |   367452 |    23568     31 |      711 |      552
1027.59/1027.83	c 1027s |      18 |   517850 |   368052 |    23568     32 |      711 |      552
1029.69/1029.98	c 1029s |      18 |   518751 |   368852 |    23568     32 |      711 |      552
1031.99/1032.22	c 1031s |      18 |   519667 |   369652 |    23568     32 |      711 |      552
1034.09/1034.40	c 1034s |      18 |   520444 |   370352 |    23568     32 |      711 |      552
1036.49/1036.73	c 1036s |      18 |   521358 |   371152 |    23568     32 |      711 |      552
1038.69/1038.93	c 1038s |      18 |   522136 |   371852 |    23568     32 |      711 |      552
1040.78/1041.04	c 1040s |      18 |   522905 |   372552 |    23568     32 |      711 |      552
1043.08/1043.33	c 1043s |      18 |   523660 |   373252 |    23568     32 |      711 |      552
1045.38/1045.66	c 1045s |      18 |   524428 |   373952 |    23568     32 |      711 |      552
1047.58/1047.80	c 1047s |      18 |   525094 |   374552 |    23568     32 |      711 |      552
1049.88/1050.12	c 1049s |      18 |   525759 |   375152 |    23568     32 |      711 |      552
1051.97/1052.23	c 1051s |      18 |   526432 |   375752 |    23568     32 |      711 |      552
1054.07/1054.38	c 1054s |      18 |   527084 |   376352 |    23568     32 |      711 |      552
1056.47/1056.75	c 1056s |      18 |   527879 |   377052 |    23568     32 |      711 |      552
1058.57/1058.82	c 1058s |      18 |   528591 |   377652 |    23568     32 |      711 |      552
1060.87/1061.12	c 1060s |      18 |   529405 |   378352 |    23568     32 |      711 |      552
1062.87/1063.18	c 1062s |      18 |   530125 |   378952 |    23568     32 |      711 |      552
1064.97/1065.22	c 1064s |      18 |   530794 |   379552 |    23568     32 |      711 |      552
1067.07/1067.30	c 1067s |      18 |   531463 |   380152 |    23568     32 |      711 |      552
1069.17/1069.44	c 1069s |      18 |   532137 |   380752 |    23568     32 |      711 |      552
1071.17/1071.47	c 1071s |      18 |   532592 |   381152 |    23568     33 |      711 |      552
1073.37/1073.67	c 1073s |      18 |   533860 |   382152 |    23568     33 |      711 |      552
1075.67/1075.91	c 1075s |      18 |   534909 |   383052 |    23568     33 |      711 |      552
1077.66/1077.96	c 1077s |      18 |   535988 |   383852 |    23568     33 |      711 |      552
1079.76/1080.03	c 1079s |      18 |   537286 |   384852 |    23568     33 |      711 |      552
1081.85/1082.12	c 1081s |      18 |   538344 |   385752 |    23568     33 |      711 |      552
1083.95/1084.20	c 1083s |      18 |   539306 |   386552 |    23568     33 |      711 |      552
1086.16/1086.45	c 1086s |      18 |   540408 |   387452 |    23568     33 |      711 |      552
1088.36/1088.61	c 1088s |      18 |   541415 |   388252 |    23568     33 |      711 |      552
1090.46/1090.70	c 1090s |      18 |   542530 |   389152 |    23568     33 |      711 |      552
1092.66/1092.96	c 1092s |      18 |   543494 |   389952 |    23568     33 |      711 |      552
1094.76/1095.09	c 1094s |      18 |   544303 |   390652 |    23568     33 |      711 |      552
1096.96/1097.26	c 1097s |      18 |   545139 |   391352 |    23568     33 |      711 |      552
1099.16/1099.43	c 1099s |      18 |   546173 |   392152 |    23568     33 |      711 |      552
1101.45/1101.74	c 1101s |      18 |   547004 |   392852 |    23568     33 |      711 |      552
1103.45/1103.76	c 1103s |      18 |   547912 |   393552 |    23568     33 |      711 |      552
1105.75/1106.03	c 1105s |      18 |   548886 |   394352 |    23568     33 |      711 |      552
1107.95/1108.22	c 1107s |      18 |   549564 |   394952 |    23568     34 |      711 |      552
1110.05/1110.31	c 1110s |      18 |   550460 |   395752 |    23568     34 |      711 |      552
1112.14/1112.48	c 1112s |      18 |   551321 |   396552 |    23568     34 |      711 |      552
1114.24/1114.58	c 1114s |      18 |   552218 |   397352 |    23568     34 |      711 |      552
1116.35/1116.63	c 1116s |      18 |   553013 |   398052 |    23568     34 |      711 |      552
1118.64/1118.90	c 1118s |      18 |   553770 |   398752 |    23568     34 |      711 |      552
1120.65/1120.93	c 1120s |      18 |   555032 |   399652 |    23568     34 |      711 |      552
1122.74/1123.04	c 1122s |      18 |   557083 |   400752 |    23568     34 |      711 |      552
1124.84/1125.10	c 1124s |      18 |   558744 |   401852 |    23568     34 |      711 |      552
1126.94/1127.27	c 1127s |      18 |   560379 |   403052 |    23568     34 |      711 |      552
1129.04/1129.38	c 1129s |      18 |   561684 |   404052 |    23568     34 |      711 |      552
1131.24/1131.58	c 1131s |      18 |   562438 |   404652 |    23568     34 |      711 |      552
1133.33/1133.66	c 1133s |      18 |   563727 |   405552 |    23568     34 |      711 |      552
1135.53/1135.81	c 1135s |      18 |   564889 |   406452 |    23568     34 |      711 |      552
1137.63/1137.97	c 1137s |      18 |   566116 |   407452 |    23568     34 |      711 |      552
1139.83/1140.10	c 1139s |      18 |   566928 |   408152 |    23568     35 |      711 |      552
1141.83/1142.19	c 1141s |      18 |   567967 |   409052 |    23568     35 |      711 |      552
1143.93/1144.28	c 1144s |      18 |   569043 |   409952 |    23568     35 |      711 |      552
1146.03/1146.36	c 1146s |      18 |   570095 |   410852 |    23568     35 |      711 |      552
1148.23/1148.57	c 1148s |      18 |   571151 |   411752 |    23568     35 |      711 |      552
1150.22/1150.60	c 1150s |      18 |   572086 |   412552 |    23568     35 |      711 |      552
1152.52/1152.81	c 1152s |      18 |   573041 |   413352 |    23568     35 |      711 |      552
1154.72/1155.09	c 1154s |      18 |   573877 |   414052 |    23568     35 |      711 |      552
1156.82/1157.20	c 1156s |      18 |   574556 |   414652 |    23568     35 |      711 |      552
1159.02/1159.30	c 1159s |      18 |   575223 |   415252 |    23568     35 |      711 |      552
1161.02/1161.39	c 1161s |      18 |   575922 |   415852 |    23568     35 |      711 |      552
1163.11/1163.47	c 1163s |      18 |   576693 |   416552 |    23568     35 |      711 |      552
1165.31/1165.66	c 1165s |      18 |   577500 |   417252 |    23568     35 |      711 |      552
1167.61/1167.98	c 1167s |      18 |   578532 |   418052 |    23568     35 |      711 |      552
1169.91/1170.26	c 1170s |      18 |   579411 |   418752 |    23568     35 |      711 |      552
1172.21/1172.54	c 1172s |      18 |   580195 |   419452 |    23568     35 |      711 |      552
1174.41/1174.70	c 1174s |      18 |   580886 |   420052 |    23568     35 |      711 |      552
1176.81/1177.14	c 1176s |      18 |   581576 |   420652 |    23568     35 |      711 |      552
1179.30/1179.62	c 1179s |      18 |   582303 |   421252 |    23568     36 |      711 |      552
1181.60/1181.90	c 1181s |      18 |   583249 |   422052 |    23568     36 |      711 |      552
1183.80/1184.14	c 1183s |      18 |   584111 |   422752 |    23568     36 |      711 |      552
1185.90/1186.27	c 1186s |      18 |   584812 |   423352 |    23568     36 |      711 |      552
1188.20/1188.58	c 1188s |      18 |   585597 |   424052 |    23568     36 |      711 |      552
1190.60/1190.94	c 1190s |      18 |   586425 |   424752 |    23568     36 |      711 |      552
1192.79/1193.18	c 1192s |      18 |   587317 |   425452 |    23568     36 |      711 |      552
1195.40/1195.76	c 1195s |      18 |   588111 |   426152 |    23568     36 |      711 |      552
1197.49/1197.86	c 1197s |      18 |   588993 |   426952 |    23568     36 |      711 |      552
1199.59/1199.90	c 1199s |      18 |   589641 |   427552 |    23568     36 |      711 |      552
1201.79/1202.12	c 1201s |      18 |   590326 |   428152 |    23568     36 |      711 |      552
1203.79/1204.13	c 1203s |      18 |   590918 |   428652 |    23568     36 |      711 |      552
1205.79/1206.17	c 1205s |      18 |   591466 |   429152 |    23568     36 |      711 |      552
1208.09/1208.44	c 1208s |      18 |   592145 |   429752 |    23568     36 |      711 |      552
1210.09/1210.45	c 1210s |      18 |   592851 |   430352 |    23568     36 |      711 |      552
1212.48/1212.83	c 1212s |      18 |   593519 |   430952 |    23568     36 |      711 |      552
1214.58/1214.98	c 1214s |      18 |   594176 |   431552 |    23568     36 |      711 |      552
1216.68/1217.06	c 1216s |      18 |   594728 |   432052 |    23568     36 |      711 |      552
1218.68/1219.07	c 1218s |      18 |   595272 |   432552 |    23568     36 |      711 |      552
1220.98/1221.35	c 1221s |      18 |   595811 |   433052 |    23568     36 |      711 |      552
1223.27/1223.63	c 1223s |      18 |   596370 |   433552 |    23568     36 |      711 |      552
1225.37/1225.71	c 1225s |      18 |   596809 |   433952 |    23568     36 |      711 |      552
1227.57/1227.96	c 1227s |      18 |   597391 |   434452 |    23568     37 |      711 |      552
1229.77/1230.19	c 1229s |      18 |   598344 |   435252 |    23568     37 |      711 |      552
1231.86/1232.24	c 1231s |      18 |   599250 |   435952 |    23568     37 |      711 |      552
1233.87/1234.25	c 1233s |      18 |   601148 |   437252 |    23568     37 |      711 |      552
1235.96/1236.36	c 1236s |      18 |   602442 |   438252 |    23568     37 |      711 |      552
1238.27/1238.65	c 1238s |      18 |   603497 |   439152 |    23568     37 |      711 |      552
1240.36/1240.77	c 1240s |      18 |   604548 |   440052 |    23568     37 |      711 |      552
1242.56/1242.92	c 1242s |      18 |   605608 |   440952 |    23568     37 |      711 |      552
1244.56/1244.97	c 1244s |      18 |   607152 |   442052 |    25925     37 |      711 |      552
1246.56/1246.98	c 1246s |      18 |   608115 |   442952 |    25925     37 |      711 |      552
1248.56/1248.98	c 1248s |      18 |   609092 |   443852 |    25925     37 |      711 |      552
1249.96/1250.34	c 1250s |      19 |   609926 |   444482 |    25925     37 |      711 |      552
1252.05/1252.40	c 1252s |      19 |   616670 |   445982 |    25925     37 |      711 |      552
1254.05/1254.47	c 1254s |      19 |   625481 |   448282 |    25925     37 |      711 |      552
1256.65/1257.04	c 1256s |      19 |   628528 |   449882 |    25925     38 |      711 |      552
1258.75/1259.13	c 1258s |      19 |   631020 |   451482 |    25925     38 |      711 |      552
1260.85/1261.23	c 1260s |      19 |   632702 |   452682 |    25925     38 |      711 |      552
1262.94/1263.36	c 1263s |      19 |   635119 |   454082 |    25925     38 |      711 |      552
1265.04/1265.44	c 1265s |      19 |   636797 |   455182 |    25925     38 |      711 |      552
1267.14/1267.59	c 1267s |      19 |   638275 |   456182 |    25925     38 |      711 |      552
1269.34/1269.79	c 1269s |      19 |   639438 |   456982 |    25925     38 |      711 |      552
1271.54/1271.90	c 1271s |      19 |   640459 |   457782 |    25925     38 |      711 |      552
1273.74/1274.15	c 1273s |      19 |   641224 |   458382 |    25925     38 |      711 |      552
1275.94/1276.34	c 1276s |      19 |   642098 |   459082 |    25925     38 |      711 |      552
1278.34/1278.79	c 1278s |      19 |   643023 |   459782 |    25925     38 |      711 |      552
1280.64/1281.09	c 1280s |      19 |   643621 |   460282 |    25925     38 |      711 |      552
1282.73/1283.19	c 1282s |      19 |   644235 |   460782 |    25925     38 |      711 |      552
1285.03/1285.44	c 1285s |      19 |   644808 |   461282 |    25925     38 |      711 |      552
1287.23/1287.63	c 1287s |      19 |   645265 |   461682 |    25925     38 |      711 |      552
1289.33/1289.73	c 1289s |      19 |   645981 |   462182 |    25925     38 |      711 |      552
1291.52/1291.92	c 1291s |      19 |   646957 |   462882 |    25925     38 |      711 |      552
1293.52/1293.97	c 1293s |      19 |   647469 |   463282 |    25925     38 |      711 |      552
1295.72/1296.17	c 1295s |      19 |   648132 |   463782 |    25925     38 |      711 |      552
1297.83/1298.21	c 1297s |      19 |   648883 |   464382 |    25925     38 |      711 |      552
1299.94/1300.34	c 1300s |      19 |   649369 |   464782 |    25925     39 |      711 |      552
1302.03/1302.45	c 1302s |      19 |   649941 |   465282 |    25925     39 |      711 |      552
1304.42/1304.84	c 1304s |      19 |   650587 |   465782 |    25925     39 |      711 |      552
1306.92/1307.32	c 1307s |      19 |   651164 |   466282 |    25925     39 |      711 |      552
1309.12/1309.55	c 1309s |      19 |   651822 |   466782 |    25925     39 |      711 |      552
1311.32/1311.77	c 1311s |      19 |   652551 |   467382 |    25925     39 |      711 |      552
1313.41/1313.83	c 1313s |      19 |   653169 |   467882 |    25925     39 |      711 |      552
1315.81/1316.23	c 1315s |      19 |   653800 |   468382 |    25925     39 |      711 |      552
1317.81/1318.28	c 1318s |      19 |   654248 |   468782 |    25925     39 |      711 |      552
1319.81/1320.29	c 1320s |      19 |   654592 |   469082 |    25925     39 |      711 |      552
1321.91/1322.34	c 1322s |      19 |   655117 |   469482 |    25925     39 |      711 |      552
1324.01/1324.42	c 1324s |      19 |   655742 |   469982 |    25925     39 |      711 |      552
1326.01/1326.42	c 1326s |      19 |   656132 |   470282 |    25925     39 |      711 |      552
1328.01/1328.44	c 1328s |      19 |   656857 |   470782 |    25925     39 |      711 |      552
1330.20/1330.68	c 1330s |      19 |   657885 |   471582 |    25925     39 |      711 |      552
1332.40/1332.82	c 1332s |      19 |   658964 |   472382 |    25925     39 |      711 |      552
1334.50/1334.99	c 1334s |      19 |   659864 |   473082 |    25925     39 |      711 |      552
1336.90/1337.31	c 1337s |      19 |   660697 |   473782 |    25925     39 |      711 |      552
1339.20/1339.61	c 1339s |      19 |   661608 |   474482 |    25925     39 |      711 |      552
1341.30/1341.79	c 1341s |      19 |   662384 |   475082 |    25925     39 |      711 |      552
1343.39/1343.83	c 1343s |      19 |   662968 |   475582 |    25925     39 |      711 |      552
1345.39/1345.89	c 1345s |      19 |   663539 |   476082 |    25925     39 |      711 |      552
1347.69/1348.18	c 1347s |      19 |   664135 |   476582 |    25925     39 |      711 |      552
1349.69/1350.19	c 1349s |      19 |   664698 |   477082 |    25925     39 |      711 |      552
1351.78/1352.23	c 1351s |      19 |   665263 |   477582 |    25925     39 |      711 |      552
1353.88/1354.33	c 1354s |      19 |   665996 |   478182 |    25925     39 |      711 |      552
1355.99/1356.41	c 1356s |      19 |   666703 |   478782 |    25925     39 |      711 |      552
1358.19/1358.67	c 1358s |      19 |   667275 |   479282 |    25925     40 |      711 |      552
1360.30/1360.80	c 1360s |      19 |   668124 |   479982 |    25925     40 |      711 |      552
1362.79/1363.20	c 1362s |      19 |   668949 |   480682 |    25925     40 |      711 |      552
1365.09/1365.55	c 1365s |      19 |   669753 |   481382 |    25925     40 |      711 |      552
1367.09/1367.58	c 1367s |      19 |   670421 |   481982 |    25925     40 |      711 |      552
1369.48/1369.94	c 1369s |      19 |   671097 |   482582 |    25925     40 |      711 |      552
1371.78/1372.27	c 1372s |      19 |   671750 |   483182 |    25925     40 |      711 |      552
1374.08/1374.60	c 1374s |      19 |   672419 |   483782 |    25925     40 |      711 |      552
1376.48/1376.91	c 1376s |      19 |   673089 |   484382 |    25925     40 |      711 |      552
1378.48/1378.97	c 1378s |      19 |   673660 |   484882 |    25925     40 |      711 |      552
1380.88/1381.38	c 1381s |      19 |   674204 |   485382 |    25925     40 |      711 |      552
1383.17/1383.68	c 1383s |      19 |   674767 |   485882 |    25925     40 |      711 |      552
1385.58/1386.02	c 1385s |      19 |   675304 |   486382 |    25925     40 |      711 |      552
1387.57/1388.04	c 1387s |      19 |   675882 |   486882 |    25925     40 |      711 |      552
1389.77/1390.21	c 1389s |      19 |   676421 |   487382 |    25925     40 |      711 |      552
1391.87/1392.33	c 1392s |      19 |   677026 |   487882 |    25925     40 |      711 |      552
1394.08/1394.52	c 1394s |      19 |   677563 |   488382 |    25925     40 |      711 |      552
1396.38/1396.86	c 1396s |      19 |   678128 |   488882 |    25925     40 |      711 |      552
1398.58/1399.01	c 1398s |      19 |   678750 |   489382 |    25925     40 |      711 |      552
1400.58/1401.02	c 1400s |      19 |   679576 |   489982 |    25925     40 |      711 |      552
1402.88/1403.35	c 1403s |      19 |   680356 |   490582 |    25925     40 |      711 |      552
1405.28/1405.70	c 1405s |      19 |   681059 |   491182 |    25925     40 |      711 |      552
1407.28/1407.70	c 1407s |      19 |   681677 |   491682 |    25925     40 |      711 |      552
1409.47/1409.93	c 1409s |      19 |   682428 |   492282 |    25925     40 |      711 |      552
1411.57/1412.00	c 1411s |      19 |   683077 |   492782 |    25925     40 |      711 |      552
1413.67/1414.14	c 1413s |      19 |   683654 |   493282 |    25925     40 |      711 |      552
1416.07/1416.50	c 1416s |      19 |   684138 |   493682 |    25925     41 |      711 |      552
1418.17/1418.62	c 1418s |      19 |   684690 |   494182 |    25925     41 |      711 |      552
1420.17/1420.64	c 1420s |      19 |   685376 |   494782 |    25925     41 |      711 |      552
1422.17/1422.68	c 1422s |      19 |   686032 |   495382 |    25925     41 |      711 |      552
1424.37/1424.84	c 1424s |      19 |   686764 |   495982 |    25925     41 |      711 |      552
1426.67/1427.15	c 1426s |      19 |   687463 |   496582 |    25925     41 |      711 |      552
1428.77/1429.22	c 1428s |      19 |   688032 |   497082 |    25925     41 |      711 |      552
1430.97/1431.46	c 1431s |      19 |   688613 |   497582 |    25925     41 |      711 |      552
1433.17/1433.62	c 1433s |      19 |   689162 |   498082 |    25925     41 |      711 |      552
1435.37/1435.83	c 1435s |      19 |   689731 |   498582 |    25925     41 |      711 |      552
1437.67/1438.10	c 1437s |      19 |   690305 |   499082 |    25925     41 |      711 |      552
1439.97/1440.40	c 1440s |      19 |   690838 |   499582 |    25925     41 |      711 |      552
1441.97/1442.40	c 1442s |      19 |   691277 |   499982 |    25925     41 |      711 |      552
1443.97/1444.47	c 1444s |      19 |   691709 |   500382 |    25925     41 |      711 |      552
1446.26/1446.71	c 1446s |      19 |   692144 |   500782 |    25925     41 |      711 |      552
1448.37/1448.88	c 1448s |      19 |   692573 |   501182 |    25925     41 |      711 |      552
1450.67/1451.18	c 1450s |      19 |   693148 |   501682 |    25925     41 |      711 |      552
1452.87/1453.35	c 1453s |      19 |   693708 |   502182 |    25925     41 |      711 |      552
1455.27/1455.73	c 1455s |      19 |   694268 |   502682 |    25925     41 |      711 |      552
1457.47/1457.98	c 1457s |      19 |   694863 |   503182 |    25925     41 |      711 |      552
1459.87/1460.33	c 1460s |      19 |   695436 |   503682 |    25925     41 |      711 |      552
1461.87/1462.35	c 1462s |      19 |   695882 |   504082 |    25925     41 |      711 |      552
1463.97/1464.41	c 1464s |      19 |   696343 |   504482 |    25925     41 |      711 |      552
1466.17/1466.62	c 1466s |      19 |   697099 |   505082 |    25925     41 |      711 |      552
1468.47/1468.90	c 1468s |      19 |   697844 |   505682 |    25925     41 |      711 |      552
1470.56/1471.00	c 1470s |      19 |   698427 |   506182 |    25925     41 |      711 |      552
1472.76/1473.21	c 1472s |      19 |   699059 |   506682 |    25925     41 |      711 |      552
1475.06/1475.57	c 1475s |      19 |   699621 |   507182 |    25925     41 |      711 |      552
1477.36/1477.88	c 1477s |      19 |   700410 |   507782 |    25925     41 |      711 |      552
1479.46/1479.97	c 1479s |      19 |   700904 |   508182 |    25925     42 |      711 |      552
1481.76/1482.28	c 1482s |      19 |   701745 |   508882 |    25925     42 |      711 |      552
1483.96/1484.49	c 1484s |      19 |   702610 |   509582 |    25925     42 |      711 |      552
1486.26/1486.79	c 1486s |      19 |   703316 |   510182 |    25925     42 |      711 |      552
1488.46/1488.98	c 1488s |      19 |   704195 |   510882 |    25925     42 |      711 |      552
1490.77/1491.26	c 1491s |      19 |   704914 |   511482 |    25925     42 |      711 |      552
1492.97/1493.48	c 1493s |      19 |   705494 |   511982 |    25925     42 |      711 |      552
1495.06/1495.55	c 1495s |      19 |   706080 |   512482 |    25925     42 |      711 |      552
1497.46/1497.91	c 1497s |      19 |   706944 |   513182 |    25925     42 |      711 |      552
1499.76/1500.28	c 1500s |      19 |   707651 |   513782 |    25925     42 |      711 |      552
1501.96/1502.48	c 1502s |      19 |   708221 |   514282 |    25925     42 |      711 |      552
1504.06/1504.57	c 1504s |      19 |   708660 |   514682 |    25925     42 |      711 |      552
1506.16/1506.65	c 1506s |      19 |   709275 |   515182 |    25925     42 |      711 |      552
1508.56/1509.04	c 1508s |      19 |   709815 |   515682 |    25925     42 |      711 |      552
1510.66/1511.10	c 1510s |      19 |   710411 |   516182 |    25925     42 |      711 |      552
1512.66/1513.17	c 1512s |      19 |   711153 |   516782 |    25925     42 |      711 |      552
1514.96/1515.48	c 1515s |      19 |   711752 |   517282 |    25925     42 |      711 |      552
1517.16/1517.66	c 1517s |      19 |   712362 |   517782 |    25925     42 |      711 |      552
1519.26/1519.75	c 1519s |      19 |   712958 |   518282 |    25925     42 |      711 |      552
1521.36/1521.83	c 1521s |      19 |   713444 |   518682 |    25925     42 |      711 |      552
1523.66/1524.12	c 1523s |      19 |   714007 |   519182 |    25925     42 |      711 |      552
1525.86/1526.35	c 1526s |      19 |   714452 |   519582 |    25925     42 |      711 |      552
1527.96/1528.40	c 1528s |      19 |   715122 |   520082 |    25925     42 |      711 |      552
1530.36/1530.83	c 1530s |      19 |   715687 |   520582 |    25925     42 |      711 |      552
1532.36/1532.83	c 1532s |      19 |   716208 |   520982 |    25925     42 |      711 |      552
1534.75/1535.25	c 1534s |      19 |   716683 |   521382 |    25925     42 |      711 |      552
1536.95/1537.46	c 1537s |      19 |   717175 |   521782 |    25925     42 |      711 |      552
1539.05/1539.58	c 1539s |      19 |   717522 |   522082 |    25925     42 |      711 |      552
1541.35/1541.88	c 1541s |      19 |   717843 |   522382 |    25925     43 |      711 |      552
1543.65/1544.16	c 1543s |      19 |   718300 |   522782 |    25925     43 |      711 |      552
1545.75/1546.21	c 1545s |      19 |   718777 |   523182 |    25925     43 |      711 |      552
1548.36/1548.90	c 1548s |      19 |   719348 |   523682 |    25925     43 |      711 |      552
1550.56/1551.07	c 1550s |      19 |   719975 |   524182 |    25925     43 |      711 |      552
1552.76/1553.25	c 1552s |      19 |   721290 |   525082 |    25925     43 |      711 |      552
1554.75/1555.28	c 1555s |      19 |   722261 |   525782 |    25925     43 |      711 |      552
1556.95/1557.48	c 1557s |      19 |   723098 |   526382 |    25925     43 |      711 |      552
1559.05/1559.51	c 1559s |      19 |   724045 |   527082 |    25925     43 |      711 |      552
1561.15/1561.67	c 1561s |      19 |   724990 |   527782 |    25925     43 |      711 |      552
1563.35/1563.88	c 1563s |      19 |   725673 |   528382 |    25925     43 |      711 |      552
1565.45/1565.95	c 1565s |      19 |   726156 |   528782 |    25925     43 |      711 |      552
1567.85/1568.31	c 1568s |      19 |   726722 |   529282 |    25925     43 |      711 |      552
1569.85/1570.37	c 1570s |      19 |   727290 |   529782 |    25925     43 |      711 |      552
1572.05/1572.58	c 1572s |      19 |   727859 |   530282 |    25925     43 |      711 |      552
1574.15/1574.63	c 1574s |      19 |   728492 |   530782 |    25925     43 |      711 |      552
1576.35/1576.83	c 1576s |      19 |   729104 |   531282 |    25925     43 |      711 |      552
1578.55/1579.02	c 1578s |      19 |   729929 |   531882 |    25925     43 |      711 |      552
1580.55/1581.04	c 1580s |      19 |   730886 |   532582 |    25925     43 |      711 |      552
1582.65/1583.19	c 1582s |      19 |   731801 |   533282 |    25925     43 |      711 |      552
1584.85/1585.36	c 1585s |      19 |   732682 |   533982 |    25925     43 |      711 |      552
1587.05/1587.50	c 1587s |      19 |   733492 |   534582 |    25925     43 |      711 |      552
1589.35/1589.83	c 1589s |      19 |   734346 |   535282 |    25925     43 |      711 |      552
1591.65/1592.18	c 1591s |      19 |   735063 |   535882 |    25925     43 |      711 |      552
1593.75/1594.29	c 1594s |      19 |   735639 |   536382 |    25925     43 |      711 |      552
1596.05/1596.55	c 1596s |      19 |   736200 |   536882 |    25925     43 |      711 |      552
1598.05/1598.56	c 1598s |      19 |   736547 |   537182 |    25925     44 |      711 |      552
1600.05/1600.57	c 1600s |      19 |   737118 |   537682 |    25925     44 |      711 |      552
1602.45/1602.97	c 1602s |      19 |   737997 |   538382 |    25925     44 |      711 |      552
1604.64/1605.20	c 1604s |      19 |   738741 |   538982 |    25925     44 |      711 |      552
1606.94/1607.40	c 1607s |      19 |   739442 |   539582 |    25925     44 |      711 |      552
1609.14/1609.64	c 1609s |      19 |   740187 |   540182 |    25925     44 |      711 |      552
1611.44/1611.92	c 1611s |      19 |   740908 |   540782 |    25925     44 |      711 |      552
1613.74/1614.27	c 1614s |      19 |   741591 |   541382 |    25925     44 |      711 |      552
1615.84/1616.34	c 1616s |      19 |   742153 |   541882 |    25925     44 |      711 |      552
1617.94/1618.44	c 1618s |      19 |   742591 |   542282 |    25925     44 |      711 |      552
1620.04/1620.54	c 1620s |      19 |   743205 |   542782 |    25925     44 |      711 |      552
1622.15/1622.65	c 1622s |      19 |   743812 |   543282 |    25925     44 |      711 |      552
1624.35/1624.86	c 1624s |      19 |   744390 |   543782 |    25925     44 |      711 |      552
1626.55/1627.01	c 1626s |      19 |   744980 |   544282 |    25925     44 |      711 |      552
1628.54/1629.07	c 1628s |      19 |   745568 |   544782 |    25925     44 |      711 |      552
1630.54/1631.08	c 1630s |      19 |   746166 |   545282 |    25925     44 |      711 |      552
1632.84/1633.34	c 1633s |      19 |   746877 |   545882 |    25925     44 |      711 |      552
1634.94/1635.43	c 1635s |      19 |   747459 |   546382 |    25925     44 |      711 |      552
1637.04/1637.51	c 1637s |      19 |   748023 |   546882 |    25925     44 |      711 |      552
1639.44/1639.98	c 1639s |      19 |   748729 |   547482 |    25925     44 |      711 |      552
1641.84/1642.32	c 1642s |      19 |   749430 |   548082 |    25925     44 |      711 |      552
1643.84/1644.36	c 1644s |      19 |   750044 |   548582 |    25925     44 |      711 |      552
1645.83/1646.38	c 1646s |      19 |   750857 |   549182 |    25925     44 |      711 |      552
1648.03/1648.53	c 1648s |      19 |   751536 |   549782 |    25925     44 |      711 |      552
1650.13/1650.69	c 1650s |      19 |   752132 |   550282 |    25925     44 |      711 |      552
1652.33/1652.87	c 1652s |      19 |   752747 |   550782 |    25925     44 |      711 |      552
1654.63/1655.18	c 1654s |      19 |   753194 |   551182 |    25925     44 |      711 |      552
1657.34/1657.89	c 1657s |      19 |   753531 |   551482 |    25925     45 |      711 |      552
1659.54/1660.02	c 1659s |      19 |   754223 |   552082 |    25925     45 |      711 |      552
1661.74/1662.22	c 1661s |      19 |   754987 |   552682 |    25925     45 |      711 |      552
1663.73/1664.30	c 1664s |      19 |   755903 |   553382 |    25925     45 |      711 |      552
1666.05/1666.59	c 1666s |      19 |   756758 |   554082 |    25925     45 |      711 |      552
1668.34/1668.86	c 1668s |      19 |   757453 |   554682 |    25925     45 |      711 |      552
1670.34/1670.88	c 1670s |      19 |   758019 |   555182 |    25925     45 |      711 |      552
1672.74/1673.25	c 1672s |      19 |   758598 |   555682 |    25925     45 |      711 |      552
1675.14/1675.61	c 1675s |      19 |   759183 |   556182 |    25925     45 |      711 |      552
1677.44/1677.95	c 1677s |      19 |   759728 |   556682 |    25925     45 |      711 |      552
1679.73/1680.29	c 1680s |      19 |   760274 |   557182 |    25925     45 |      711 |      552
1681.93/1682.41	c 1682s |      19 |   760854 |   557682 |    25925     45 |      711 |      552
1684.13/1684.63	c 1684s |      19 |   761272 |   558082 |    25925     45 |      711 |      552
1686.23/1686.79	c 1686s |      19 |   761712 |   558482 |    25925     45 |      711 |      552
1688.43/1688.93	c 1688s |      19 |   762160 |   558882 |    25925     45 |      711 |      552
1690.53/1691.01	c 1690s |      19 |   762615 |   559282 |    25925     45 |      711 |      552
1692.73/1693.22	c 1692s |      19 |   763188 |   559782 |    25925     45 |      711 |      552
1695.03/1695.50	c 1695s |      19 |   763649 |   560182 |    25925     45 |      711 |      552
1697.33/1697.86	c 1697s |      19 |   764237 |   560682 |    25925     45 |      711 |      552
1699.53/1700.02	c 1699s |      19 |   764678 |   561082 |    25925     45 |      711 |      552
1702.03/1702.56	c 1702s |      19 |   765273 |   561582 |    25925     45 |      711 |      552
1704.33/1704.80	c 1704s |      19 |   765722 |   561982 |    25925     45 |      711 |      552
1706.43/1706.97	c 1706s |      19 |   766172 |   562382 |    25925     45 |      711 |      552
1708.63/1709.16	c 1708s |      19 |   766756 |   562882 |    25925     45 |      711 |      552
1711.03/1711.53	c 1711s |      19 |   767367 |   563382 |    25925     45 |      711 |      552
1713.33/1713.90	c 1713s |      19 |   767995 |   563882 |    25925     45 |      711 |      552
1715.63/1716.18	c 1715s |      19 |   768592 |   564382 |    25925     45 |      711 |      552
1717.92/1718.47	c 1718s |      19 |   769022 |   564782 |    25925     45 |      711 |      552
1720.04/1720.55	c 1720s |      19 |   769462 |   565182 |    25925     45 |      711 |      552
1722.14/1722.62	c 1722s |      19 |   769930 |   565582 |    25925     45 |      711 |      552
1724.34/1724.86	c 1724s |      19 |   770282 |   565882 |    25925     46 |      711 |      552
1726.64/1727.11	c 1726s |      19 |   770861 |   566382 |    25925     46 |      711 |      552
1728.74/1729.30	c 1729s |      19 |   771578 |   566982 |    25925     46 |      711 |      552
1731.04/1731.52	c 1731s |      19 |   772272 |   567582 |    25925     46 |      711 |      552
1733.13/1733.69	c 1733s |      19 |   772984 |   568182 |    25925     46 |      711 |      552
1735.33/1735.83	c 1735s |      19 |   773545 |   568682 |    25925     46 |      711 |      552
1737.73/1738.21	c 1737s |      19 |   774119 |   569182 |    25925     46 |      711 |      552
1740.23/1740.77	c 1740s |      19 |   774677 |   569682 |    25925     46 |      711 |      552
1742.53/1743.09	c 1742s |      19 |   775113 |   570082 |    25925     46 |      711 |      552
1745.02/1745.59	c 1745s |      19 |   775658 |   570582 |    25925     46 |      711 |      552
1747.12/1747.63	c 1747s |      19 |   776102 |   570982 |    25925     46 |      711 |      552
1749.63/1750.19	c 1749s |      19 |   776652 |   571482 |    25925     46 |      711 |      552
1752.02/1752.59	c 1752s |      19 |   777216 |   571982 |    25925     46 |      711 |      552
1754.52/1755.04	c 1754s |      19 |   777769 |   572482 |    25925     46 |      711 |      552
1756.82/1757.33	c 1757s |      19 |   778216 |   572882 |    25925     46 |      711 |      552
1759.22/1759.72	c 1759s |      19 |   778805 |   573382 |    25925     46 |      711 |      552
1761.32/1761.85	c 1761s |      19 |   779265 |   573782 |    25925     46 |      711 |      552
1763.72/1764.26	c 1764s |      19 |   779849 |   574282 |    25925     46 |      711 |      552
1766.22/1766.77	c 1766s |      19 |   780435 |   574782 |    25925     46 |      711 |      552
1768.52/1769.04	c 1768s |      19 |   781016 |   575282 |    25925     46 |      711 |      552
1770.63/1771.15	c 1770s |      19 |   781595 |   575782 |    25925     46 |      711 |      552
1773.02/1773.56	c 1773s |      19 |   782164 |   576282 |    25925     46 |      711 |      552
1775.12/1775.61	c 1775s |      19 |   782607 |   576682 |    25925     46 |      711 |      552
1777.13/1777.63	c 1777s |      19 |   783097 |   577082 |    25925     46 |      711 |      552
1779.22/1779.78	c 1779s |      19 |   783542 |   577482 |    25925     46 |      711 |      552
1781.53/1782.03	c 1781s |      19 |   783959 |   577882 |    25925     46 |      711 |      552
1783.73/1784.24	c 1783s |      19 |   784387 |   578282 |    25925     46 |      711 |      552
1785.72/1786.26	c 1786s |      19 |   784823 |   578682 |    25925     46 |      711 |      552
1788.13/1788.68	c 1788s |      19 |   785294 |   579082 |    25925     46 |      711 |      552
1790.12/1790.68	c 1790s |      19 |   786079 |   579682 |    25925     46 |      711 |      552
1792.42/1792.94	c 1792s |      19 |   786846 |   580282 |    25925     46 |      711 |      552
1794.72/1795.23	c 1794s |      19 |   787325 |   580682 |    25925     47 |      711 |      552
1796.82/1797.32	c 1797s |      19 |   788014 |   581282 |    25925     47 |      711 |      552
1799.12/1799.68	c 1799s |      19 |   788808 |   581982 |    25925     47 |      711 |      552

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.31 2.18 2.16 3/179 23632
/proc/meminfo: memFree=29607440/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=705980 CPUtime=0 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 2629 0 0 0 0 0 0 0 20 0 4 0 29185737 722923520 2989 33554432000 4194304 16246674 140734589473248 140734589472672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 177007 3000 441 2943 0 173901 0
[pid=23632/tid=23633] ppid=23629 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 741797888 3061 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 745992192 3077 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29185737 750186496 3094 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.31 2.18 2.16 3/179 23632
/proc/meminfo: memFree=29607440/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 28276 0 0 0 5 4 0 0 20 0 4 0 29185737 1249447936 28574 33554432000 4194304 16246674 140734589473248 140734589472560 13892882 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 305041 28574 801 2943 0 301935 0
[pid=23632/tid=23633] ppid=23629 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1249447936 28574 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1249447936 28574 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1249447936 28574 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200505 s]
/proc/loadavg: 2.31 2.18 2.16 3/179 23632
/proc/meminfo: memFree=29607440/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 48483 0 0 0 13 6 0 0 20 0 4 0 29185737 1332285440 48781 33554432000 4194304 16246674 140734589473248 140734589472560 6965584 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 325265 48781 842 2943 0 322159 0
[pid=23632/tid=23633] ppid=23629 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1332285440 48781 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1332285440 48781 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1332285440 48781 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300447 s]
/proc/loadavg: 2.31 2.18 2.16 3/179 23632
/proc/meminfo: memFree=29607440/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 50739 0 0 0 23 6 0 0 20 0 4 0 29185737 1332285440 51037 33554432000 4194304 16246674 140734589473248 140734589472560 12479207 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 325265 51045 882 2943 0 322159 0
[pid=23632/tid=23633] ppid=23629 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1332285440 51049 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1332285440 51055 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1332285440 51059 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700438 s]
/proc/loadavg: 2.31 2.18 2.16 3/179 23632
/proc/meminfo: memFree=29607440/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 98590 0 0 0 55 14 0 0 20 0 4 0 29185737 1332285440 98888 33554432000 4194304 16246674 140734589473248 140734589455168 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 325265 98894 882 2943 0 322159 0
[pid=23632/tid=23633] ppid=23629 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1332285440 98898 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1332285440 98902 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1332285440 98906 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50043 s]
/proc/loadavg: 2.29 2.18 2.16 4/183 23636
/proc/meminfo: memFree=29021552/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1301060 CPUtime=1.48 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 195497 0 0 0 122 26 0 0 20 0 4 0 29185737 1332285440 195795 33554432000 4194304 16246674 140734589473248 140734589455168 12478333 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 325265 195804 882 2943 0 322159 0
[pid=23632/tid=23633] ppid=23629 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1332285440 195807 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1332285440 195812 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1332285440 195814 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10045 s]
/proc/loadavg: 2.29 2.18 2.16 4/183 23636
/proc/meminfo: memFree=28562512/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 261093 0 0 0 273 36 0 0 20 0 4 0 29185737 1343819776 261391 33554432000 4194304 16246674 140734589473248 140734589455168 5677667 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 328081 261391 888 2943 0 324975 0
[pid=23632/tid=23633] ppid=23629 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1343819776 261391 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1343819776 261391 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1343819776 261391 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30041 s]
/proc/loadavg: 2.29 2.18 2.16 4/183 23636
/proc/meminfo: memFree=28529064/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 269268 0 0 0 592 37 0 0 20 0 4 0 29185737 1343819776 269566 33554432000 4194304 16246674 140734589473248 140734589455168 5659404 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 328081 269566 888 2943 0 324975 0
[pid=23632/tid=23633] ppid=23629 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1343819776 269566 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1343819776 269566 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1343819776 269566 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.24 2.17 2.16 3/183 23636
/proc/meminfo: memFree=28528624/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 269269 0 0 0 1232 37 0 0 20 0 4 0 29185737 1343819776 269567 33554432000 4194304 16246674 140734589473248 140734589455168 5711568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 328081 269567 889 2943 0 324975 0
[pid=23632/tid=23633] ppid=23629 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1343819776 269567 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1343819776 269567 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1343819776 269567 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.20 2.17 2.16 3/183 23636
/proc/meminfo: memFree=28529528/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1312324 CPUtime=25.48 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 269272 0 0 0 2511 37 0 0 20 0 4 0 29185737 1343819776 269570 33554432000 4194304 16246674 140734589473248 140734589455168 5822556 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 328081 269570 892 2943 0 324975 0
[pid=23632/tid=23633] ppid=23629 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1343819776 269570 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1343819776 269570 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1343819776 269570 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.20 2.17 2.16 3/182 23685
/proc/meminfo: memFree=28565396/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 269272 0 0 0 5071 37 0 0 20 0 4 0 29185737 1343819776 269570 33554432000 4194304 16246674 140734589473248 140734589455168 5545708 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 328081 269570 892 2943 0 324975 0
[pid=23632/tid=23633] ppid=23629 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1343819776 269570 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1343819776 269570 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1343819776 269570 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.19 2.17 2.16 3/183 23687
/proc/meminfo: memFree=28557176/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1321540 CPUtime=102.28 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 271458 0 0 0 10190 38 0 0 20 0 4 0 29185737 1353256960 271756 33554432000 4194304 16246674 140734589473248 140734589455168 12476689 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 330385 271756 892 2943 0 327279 0
[pid=23632/tid=23633] ppid=23629 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1353256960 271756 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1353256960 271756 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1353256960 271756 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1321540


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

/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1329732

[startup+1362.3 s]
/proc/loadavg: 2.18 2.23 2.18 3/184 23721
/proc/meminfo: memFree=28510256/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1329732 CPUtime=1361.89 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 273970 0 0 0 136144 45 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 140734589455168 5712566 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 332433 273925 892 2943 0 329327 0
[pid=23632/tid=23633] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1329732

[startup+1422.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 23722
/proc/meminfo: memFree=28508472/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1329732 CPUtime=1421.88 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 273972 0 0 0 142142 46 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 140734589455168 5822671 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 332433 273925 892 2943 0 329327 0
[pid=23632/tid=23633] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1329732

[startup+1482.3 s]
/proc/loadavg: 2.26 2.24 2.18 3/183 23723
/proc/meminfo: memFree=28509020/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1329732 CPUtime=1481.86 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 273972 0 0 0 148139 47 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 140734589472344 6020832 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 332433 273925 892 2943 0 329327 0
[pid=23632/tid=23633] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1329732

[startup+1542.31 s]
/proc/loadavg: 2.22 2.23 2.18 3/183 23724
/proc/meminfo: memFree=28508904/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1329732 CPUtime=1541.86 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 273972 0 0 0 154138 48 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 140734589455168 5661607 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 332433 273925 892 2943 0 329327 0
[pid=23632/tid=23633] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1329732

[startup+1602.3 s]
/proc/loadavg: 2.34 2.26 2.19 3/183 23725
/proc/meminfo: memFree=28509196/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1329732 CPUtime=1601.85 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 273972 0 0 0 160136 49 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 140734589472424 5545872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 332433 273925 892 2943 0 329327 0
[pid=23632/tid=23633] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1329732

[startup+1662.3 s]
/proc/loadavg: 2.33 2.27 2.20 3/183 23727
/proc/meminfo: memFree=28508708/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1329732 CPUtime=1661.83 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 273972 0 0 0 166134 49 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 140734589455168 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 332433 273925 892 2943 0 329327 0
[pid=23632/tid=23633] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1329732

[startup+1722.3 s]
/proc/loadavg: 2.21 2.25 2.19 3/183 23727
/proc/meminfo: memFree=28509244/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1329732 CPUtime=1721.83 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 273972 0 0 0 172132 51 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 140734589455168 13879886 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 332433 273925 892 2943 0 329327 0
[pid=23632/tid=23633] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1329732

[startup+1782.3 s]
/proc/loadavg: 2.19 2.24 2.19 4/184 23729
/proc/meminfo: memFree=28508780/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1329732 CPUtime=1781.82 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 273972 0 0 0 178130 52 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 140734589472424 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 332433 273925 892 2943 0 329327 0
[pid=23632/tid=23633] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1329732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.29 2.26 2.19 3/183 23729
/proc/meminfo: memFree=28508540/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1329732 CPUtime=1800.02 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 273972 0 0 0 179950 52 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 140734589455168 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 332433 273925 892 2943 0 329327 0
[pid=23632/tid=23633] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1329732

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

[startup+1800.5 s]
/proc/loadavg: 2.29 2.26 2.19 3/183 23729
/proc/meminfo: memFree=28508540/32872528 swapFree=1085692/1157232
[pid=23632] ppid=23629 vsize=1329732 CPUtime=1800.02 cores=0,2,4,6
/proc/23632/stat : 23632 (toysat) R 23629 23632 21062 0 -1 4202496 273972 0 0 0 179950 52 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 140734589455168 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23632/statm: 332433 273925 892 2943 0 329327 0
[pid=23632/tid=23633] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23633/stat : 23633 (toysat) S 23629 23632 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970303995120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23632/tid=23634] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23634/stat : 23634 (toysat) S 23629 23632 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970293505264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/23632/task/23635/stat : 23635 (toysat) S 23629 23632 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29185737 1361645568 273925 33554432000 4194304 16246674 140734589473248 139970283031728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1329732

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.51
CPU system time (s): 0.52292
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1329732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.52292
maximum resident set size= 1095700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273972
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= 363
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.56385 second user time and 7.45887 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 19:17:41
IDJOB=4116589
IDBENCH=109489
IDSOLVER=2542
FILE ID=node114/4116589-1466961461
RUNJOBID= node114-1466944456-21078
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= 1c07e2194ed5ae2388902849ca890320
RANDOM SEED=2056764533

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29607720 kB
Buffers:           32184 kB
Cached:           221268 kB
SwapCached:        38928 kB
Active:          1179112 kB
Inactive:         226884 kB
Active(anon):    1117272 kB
Inactive(anon):    37760 kB
Active(file):      61840 kB
Inactive(file):   189124 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16768 kB
Writeback:             0 kB
AnonPages:       2271928 kB
Mapped:            10656 kB
Shmem:                 0 kB
Slab:             567344 kB
SReclaimable:      11456 kB
SUnreclaim:       555888 kB
KernelStack:        1480 kB
PageTables:         8648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2414068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1179648 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= 71624 MiB
End job on node114 at 2016-06-26 19:47:42