Trace number 4116749

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.02 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round22-6.opb
MD5SUM11fccc9b5639e41e584928c6062c3dc6
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 constraints8720
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)432
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-26T20:49:27+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-4116749-1466966967.opb"]
0.00/0.01	c use --random-gen="439840163 3650664624 884123956 2178920692 35748809 833240336 1510951855 3221812426 3551193981 1867973594 1555273823 2938199582 2034952778 800111997 2768752519 855598348 189421202 2597122874 2719362909 2551353022 1839194804 1741350118 1297190854 2879703526 3268635045 3695912651 1526079517 2390375777 3971458306 1000650751 391895186 2350207984 3455631018 3156913217 1468846038 4157652963 3953001353 368228162 1440714488 946130039 153254569 1857167770 3031015037 3689717337 921181552 344803723 3310818360 3030080159 2912704498 2629863180 1122496240 3285840608 2791642965 4278926506 3297192717 2890703988 1400145091 1804720611 1462468802 1014131103 1459659365 775888820 2676591535 399510886 539896284 3261322311 1545237101 3935220910 769280840 3613387327 2706039213 2437653109 4084833186 347589793 1417799829 3839091586 3623774785 1208820812 3807572306 3243757179 4035428875 342708172 3266903379 3679990987 3935082896 2978624861 3261135515 2162442522 2457283801 2467899647 1898851153 1991554945 3580955213 1278018398 2920233020 2885420944 3106780038 141984281 790240458 2066005322 1252796810 340511293 2410611766 3476494235 3351259822 1428263885 4277548 1387444111 2952702278 4249293102 169299522 603110506 999451998 639939543 3829694219 2827684232 3573607070 1242757692 1073372048 4240687646 1574092728 3229165403 3410580624 3669271225 2634444946 1183826192 188252505 2855358464 1966074401 450595900 125462780 2055437420 1957651367 1640704871 2567906421 3503456507 1683226484 2484941819 3482651972 4149400524 820361815 4117602304 3666270715 1656555491 715409290 2148073264 2716641346 2689994357 1801117804 2297063574 510387664 418755602 3857716450 3156365899 1560283061 1307264563 231111885 1758018132 3645630109 1882946256 1324974386 2502518590 164486817 4090217554 3763488383 2844673822 101566446 3736966304 1168569781 1298904507 2095963535 2793772923 1699422007 832049444 1136314745 2010729840 2397313120 1178786 1932850400 2243198336 3079584527 1521298516 3383355710 3346949412 1187639510 1270691553 2739413659 2337795817 3593530000 3295816764 1693485363 154716325 2995007409 2147882127 466496344 36027330 4204921725 2598205027 363963387 2411963291 3722087763 242446285 3454505667 4085033340 656263472 1926699885 1693201641 2786195633 3178738981 2772809389 4276997576 2628234266 3025474398 1796372825 1940176817 317829238 1650516942 73954459 1006497215 2408466103 1526081100 218228523 525936573 3569741946 526802572 3359313304 3635363452 1759168937 1180284293 1069365075 428212713 3397048246 4125893660 1468540663 1703978984 698910648 1278102516 3846248128 1393137521 1599518873 2899770945 3320569593 3527479961 3166038991 3393094067 2374488399 3241189499 3343373197 382540026 42838092 716738763 3061771472 1793630182 100290427 535095272 2890573499 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8720
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 |      837 |        0
0.29/0.32	c  0.1s |       1 |      499 |      100 |     4234      0 |      837 |      766
0.39/0.41	c  0.2s |       2 |     2096 |      250 |     4658      0 |      837 |      766
0.49/0.59	c  0.3s |       3 |     4011 |      475 |     5124      0 |      838 |      766
0.89/0.96	c  0.7s |       4 |     5538 |      813 |     5637      0 |      838 |      766
1.49/1.54	c  1.3s |       5 |     7959 |     1320 |     6201      0 |      838 |      766
2.09/2.19	c  1.9s |       6 |    10809 |     2081 |     7505      0 |      838 |      766
3.09/3.14	c  2.9s |       7 |    14417 |     3223 |     8256      0 |      838 |      766
5.09/5.15	c  4.9s |       8 |    17952 |     4936 |     9082      0 |      838 |      766
7.09/7.13	c  6.9s |       9 |    26844 |     7506 |     9991      0 |      838 |      766
9.09/9.16	c  8.9s |       9 |    38028 |    10106 |     9991      0 |      838 |      766
10.69/10.75	c 10.5s |      10 |    40279 |    11361 |    10991      0 |      838 |      766
12.79/12.81	c 12.6s |      10 |    48045 |    13561 |    10991      1 |      839 |      766
14.88/14.91	c 14.7s |      10 |    52016 |    15561 |    10991      1 |      839 |      766
16.49/16.58	c 16.3s |      11 |    53890 |    17144 |    12091      1 |      839 |      766
18.58/18.61	c 18.4s |      11 |    62823 |    19444 |    12091      1 |      839 |      766
20.58/20.64	c 20.4s |      11 |    65096 |    20844 |    12091      1 |      839 |      766
22.78/22.82	c 22.6s |      11 |    66625 |    22044 |    12091      2 |      839 |      766
24.98/25.03	c 24.8s |      11 |    68104 |    23244 |    12091      2 |      839 |      766
27.08/27.10	c 26.8s |      11 |    69558 |    24344 |    12091      2 |      839 |      766
29.18/29.27	c 29.0s |      11 |    71039 |    25544 |    12091      2 |      839 |      766
29.88/29.91	c 29.7s |      12 |    71350 |    25819 |    13301      2 |      839 |      766
31.89/31.92	c 31.7s |      12 |    78312 |    28119 |    13301      2 |      839 |      766
33.89/33.93	c 33.7s |      12 |    79993 |    29619 |    13301      2 |      839 |      766
35.89/35.94	c 35.7s |      12 |    81339 |    30819 |    13301      3 |      839 |      766
37.89/37.96	c 37.7s |      12 |    82874 |    32219 |    13301      3 |      839 |      766
39.99/40.04	c 39.8s |      12 |    84057 |    33319 |    13301      3 |      839 |      766
42.09/42.17	c 41.9s |      12 |    85199 |    34419 |    13301      3 |      839 |      766
44.19/44.23	c 44.0s |      12 |    86276 |    35419 |    13301      3 |      839 |      766
46.30/46.31	c 46.1s |      12 |    87222 |    36319 |    13301      3 |      839 |      766
48.40/48.42	c 48.2s |      12 |    88166 |    37219 |    13301      3 |      839 |      766
50.49/50.53	c 50.3s |      12 |    89094 |    38119 |    13301      3 |      839 |      766
52.39/52.44	c 52.2s |      13 |    89837 |    38832 |    14632      4 |      839 |      766
54.48/54.52	c 54.3s |      13 |    97047 |    41032 |    14632      4 |      839 |      766
56.58/56.66	c 56.4s |      13 |    99497 |    42632 |    14632      4 |      839 |      766
58.68/58.77	c 58.5s |      13 |   102104 |    44432 |    14632      4 |      839 |      766
60.78/60.87	c 60.6s |      13 |   104141 |    46132 |    14632      4 |      839 |      766
62.88/62.97	c 62.7s |      13 |   105997 |    47732 |    14632      4 |      839 |      766
64.89/64.98	c 64.7s |      13 |   107377 |    48932 |    14632      5 |      839 |      766
67.09/67.17	c 66.9s |      13 |   108952 |    50332 |    14632      5 |      839 |      766
69.18/69.25	c 69.0s |      13 |   110437 |    51632 |    14632      5 |      839 |      766
71.18/71.27	c 71.0s |      13 |   111719 |    52732 |    14632      5 |      839 |      766
73.38/73.40	c 73.1s |      13 |   113014 |    53832 |    14632      5 |      839 |      766
75.48/75.54	c 75.3s |      13 |   114108 |    54832 |    14632      5 |      839 |      766
77.68/77.75	c 77.5s |      13 |   115223 |    55832 |    14632      5 |      839 |      766
79.68/79.78	c 79.5s |      13 |   116245 |    56732 |    14632      5 |      839 |      766
81.78/81.83	c 81.6s |      13 |   117673 |    57832 |    14632      6 |      839 |      766
82.59/82.68	c 82.4s |      14 |   118330 |    58352 |    16096      6 |      839 |      766
84.69/84.74	c 84.5s |      14 |   122845 |    60052 |    16096      6 |      839 |      766
86.77/86.81	c 86.6s |      14 |   130375 |    62152 |    16096      6 |      839 |      766
88.87/88.93	c 88.7s |      14 |   135029 |    64052 |    16096      6 |      839 |      766
91.07/91.10	c 90.8s |      14 |   136211 |    65152 |    16096      6 |      839 |      766
93.17/93.29	c 93.0s |      14 |   137184 |    66052 |    16096      6 |      839 |      766
95.27/95.35	c 95.1s |      14 |   138031 |    66852 |    16096      6 |      839 |      766
97.57/97.62	c 97.4s |      14 |   138921 |    67652 |    16096      7 |      839 |      766
99.57/99.62	c 99.4s |      14 |   139797 |    68352 |    16096      7 |      839 |      766
101.57/101.63	c  101s |      14 |   140655 |    69152 |    16096      7 |      839 |      766
103.77/103.89	c  103s |      14 |   141602 |    69952 |    16096      7 |      839 |      766
105.97/106.00	c  105s |      14 |   143867 |    71252 |    16096      7 |      839 |      766
107.97/108.06	c  107s |      14 |   145013 |    72152 |    16096      7 |      839 |      766
109.98/110.07	c  109s |      14 |   145977 |    72952 |    16096      7 |      839 |      766
112.37/112.48	c  112s |      14 |   146883 |    73752 |    16096      7 |      839 |      766
114.48/114.52	c  114s |      14 |   148029 |    74652 |    16096      7 |      839 |      766
116.58/116.67	c  116s |      14 |   149120 |    75552 |    16096      7 |      839 |      766
118.67/118.73	c  118s |      14 |   151258 |    76552 |    16096      7 |      839 |      766
120.77/120.89	c  120s |      14 |   152332 |    77352 |    16096      8 |      839 |      766
122.97/123.01	c  122s |      14 |   153400 |    78252 |    16096      8 |      839 |      766
125.07/125.12	c  124s |      14 |   155182 |    79352 |    16096      8 |      839 |      766
127.17/127.21	c  126s |      14 |   156508 |    80352 |    16096      8 |      839 |      766
129.17/129.23	c  128s |      14 |   157428 |    81052 |    16096      8 |      839 |      766
131.17/131.26	c  131s |      14 |   158267 |    81752 |    16096      8 |      839 |      766
133.27/133.39	c  133s |      14 |   159018 |    82352 |    16096      8 |      839 |      766
135.87/135.94	c  135s |      14 |   159845 |    83052 |    16096      8 |      839 |      766
138.17/138.24	c  137s |      14 |   160522 |    83652 |    16096      8 |      839 |      766
140.27/140.36	c  140s |      14 |   161527 |    84452 |    16096      8 |      839 |      766
142.37/142.43	c  142s |      14 |   162562 |    85252 |    16096      8 |      839 |      766
144.67/144.71	c  144s |      14 |   163502 |    86052 |    16096      8 |      839 |      766
146.77/146.85	c  146s |      14 |   164368 |    86752 |    16096      8 |      839 |      766
148.77/148.88	c  148s |      14 |   165052 |    87352 |    17706      9 |      839 |      766
149.58/149.66	c  149s |      15 |   165380 |    87632 |    17706      9 |      839 |      766
151.67/151.72	c  151s |      15 |   171389 |    89832 |    17706      9 |      839 |      766
153.67/153.78	c  153s |      15 |   176425 |    91932 |    17706      9 |      839 |      766
155.87/155.95	c  155s |      15 |   178216 |    93332 |    17706      9 |      839 |      766
157.97/158.05	c  157s |      15 |   179632 |    94432 |    17706      9 |      839 |      766
159.97/160.09	c  159s |      15 |   181437 |    95732 |    17706      9 |      839 |      766
162.17/162.25	c  161s |      15 |   183239 |    97032 |    17706      9 |      839 |      766
164.37/164.43	c  164s |      15 |   184477 |    98032 |    17706      9 |      839 |      766
166.57/166.60	c  166s |      15 |   185169 |    98632 |    17706     10 |      839 |      766
168.57/168.67	c  168s |      15 |   186094 |    99332 |    17706     10 |      839 |      766
170.67/170.74	c  170s |      15 |   187452 |   100332 |    17706     10 |      839 |      766
172.78/172.88	c  172s |      15 |   188439 |   101132 |    17706     10 |      839 |      766
174.88/174.96	c  174s |      15 |   189582 |   102032 |    17706     10 |      839 |      766
177.08/177.12	c  176s |      15 |   190491 |   102732 |    17706     10 |      839 |      766
179.27/179.36	c  179s |      15 |   191281 |   103432 |    17706     10 |      839 |      766
181.36/181.48	c  181s |      15 |   192001 |   104032 |    17706     10 |      839 |      766
183.56/183.62	c  183s |      15 |   192739 |   104632 |    17706     10 |      839 |      766
185.66/185.73	c  185s |      15 |   193596 |   105332 |    17706     10 |      839 |      766
187.76/187.88	c  187s |      15 |   194455 |   106032 |    17706     10 |      839 |      766
189.96/190.03	c  189s |      15 |   195191 |   106632 |    17706     10 |      839 |      766
192.16/192.21	c  191s |      15 |   195880 |   107232 |    17706     10 |      839 |      766
194.26/194.36	c  194s |      15 |   196716 |   107932 |    17706     10 |      839 |      766
196.56/196.67	c  196s |      15 |   197390 |   108532 |    17706     10 |      839 |      766
198.96/199.00	c  198s |      15 |   198330 |   109232 |    17706     11 |      839 |      766
201.27/201.34	c  201s |      15 |   199264 |   110032 |    17706     11 |      839 |      766
203.26/203.38	c  203s |      15 |   200284 |   110832 |    17706     11 |      839 |      766
205.56/205.68	c  205s |      15 |   201073 |   111532 |    17706     11 |      839 |      766
207.66/207.75	c  207s |      15 |   201770 |   112132 |    17706     11 |      839 |      766
209.96/210.00	c  209s |      15 |   202592 |   112832 |    17706     11 |      839 |      766
211.96/212.03	c  211s |      15 |   203330 |   113432 |    17706     11 |      839 |      766
214.06/214.12	c  213s |      15 |   204003 |   114032 |    17706     11 |      839 |      766
216.16/216.29	c  216s |      15 |   204682 |   114632 |    17706     11 |      839 |      766
218.45/218.50	c  218s |      15 |   205383 |   115232 |    17706     11 |      839 |      766
220.55/220.67	c  220s |      15 |   206062 |   115832 |    17706     11 |      839 |      766
222.75/222.85	c  222s |      15 |   206725 |   116432 |    17706     11 |      839 |      766
225.05/225.10	c  224s |      15 |   207635 |   117132 |    17706     11 |      839 |      766
227.25/227.40	c  227s |      15 |   208343 |   117732 |    17706     11 |      839 |      766
229.65/229.75	c  229s |      15 |   209030 |   118332 |    17706     11 |      839 |      766
231.85/231.98	c  231s |      15 |   209591 |   118832 |    17706     11 |      839 |      766
233.95/234.02	c  233s |      15 |   210042 |   119232 |    17706     12 |      839 |      766
236.15/236.30	c  236s |      15 |   210730 |   119832 |    17706     12 |      839 |      766
238.35/238.49	c  238s |      15 |   211277 |   120332 |    17706     12 |      839 |      766
240.55/240.66	c  240s |      15 |   211863 |   120832 |    17706     12 |      839 |      766
242.95/243.06	c  242s |      15 |   212406 |   121332 |    17706     12 |      839 |      766
245.15/245.26	c  245s |      15 |   213103 |   121932 |    17706     12 |      839 |      766
247.36/247.45	c  247s |      15 |   213931 |   122632 |    17706     12 |      839 |      766
249.77/249.85	c  249s |      15 |   214736 |   123332 |    17706     12 |      839 |      766
252.06/252.17	c  251s |      15 |   215421 |   123932 |    17706     12 |      839 |      766
254.07/254.18	c  253s |      15 |   215976 |   124432 |    17706     12 |      839 |      766
256.46/256.55	c  256s |      15 |   216674 |   125032 |    17706     12 |      839 |      766
258.85/258.97	c  258s |      15 |   217355 |   125632 |    17706     12 |      839 |      766
260.85/260.98	c  260s |      15 |   217939 |   126132 |    17706     12 |      839 |      766
263.15/263.24	c  262s |      15 |   218640 |   126732 |    17706     12 |      839 |      766
265.16/265.29	c  265s |      15 |   219241 |   127232 |    17706     12 |      839 |      766
267.55/267.67	c  267s |      15 |   219912 |   127832 |    17706     12 |      839 |      766
269.75/269.89	c  269s |      15 |   220475 |   128332 |    17706     12 |      839 |      766
271.85/271.98	c  271s |      15 |   221054 |   128832 |    17706     12 |      839 |      766
273.96/274.03	c  273s |      15 |   221640 |   129332 |    17706     12 |      839 |      766
275.95/276.05	c  275s |      15 |   222080 |   129732 |    17706     13 |      839 |      766
278.15/278.29	c  278s |      15 |   222636 |   130232 |    17706     13 |      839 |      766
280.35/280.49	c  280s |      15 |   223462 |   130932 |    19477     13 |      839 |      766
282.25/282.30	c  282s |      16 |   224222 |   131552 |    19477     13 |      839 |      766
284.34/284.43	c  284s |      16 |   228572 |   133252 |    19477     13 |      839 |      766
286.44/286.56	c  286s |      16 |   229965 |   134452 |    19477     13 |      839 |      766
288.44/288.58	c  288s |      16 |   231606 |   135752 |    19477     13 |      839 |      766
290.64/290.74	c  290s |      16 |   233120 |   137052 |    19477     13 |      839 |      766
292.65/292.74	c  292s |      16 |   234414 |   138152 |    19477     13 |      839 |      766
294.64/294.79	c  294s |      16 |   235836 |   139352 |    19477     13 |      839 |      766
296.64/296.79	c  296s |      16 |   237075 |   140352 |    19477     13 |      839 |      766
298.84/298.94	c  298s |      16 |   238329 |   141452 |    19477     13 |      839 |      766
300.94/301.09	c  300s |      16 |   239311 |   142252 |    19477     14 |      839 |      766
303.04/303.14	c  302s |      16 |   240371 |   143152 |    19477     14 |      839 |      766
305.04/305.15	c  304s |      16 |   241249 |   143952 |    19477     14 |      839 |      766
307.14/307.25	c  306s |      16 |   242133 |   144752 |    19477     14 |      839 |      766
309.24/309.33	c  309s |      16 |   243026 |   145552 |    19477     14 |      839 |      766
311.25/311.39	c  311s |      16 |   243993 |   146352 |    19477     14 |      839 |      766
313.34/313.50	c  313s |      16 |   244909 |   147152 |    19477     14 |      839 |      766
315.44/315.59	c  315s |      16 |   245816 |   147952 |    19477     14 |      839 |      766
317.74/317.83	c  317s |      16 |   246800 |   148752 |    19477     14 |      839 |      766
319.94/320.08	c  319s |      16 |   247575 |   149452 |    19477     14 |      839 |      766
322.14/322.23	c  321s |      16 |   248218 |   150052 |    19477     14 |      839 |      766
324.24/324.33	c  324s |      16 |   249086 |   150752 |    19477     14 |      839 |      766
326.44/326.53	c  326s |      16 |   250016 |   151552 |    19477     14 |      839 |      766
328.44/328.59	c  328s |      16 |   250819 |   152252 |    19477     14 |      839 |      766
330.54/330.67	c  330s |      16 |   251615 |   152952 |    19477     14 |      839 |      766
332.54/332.67	c  332s |      16 |   252321 |   153552 |    19477     15 |      839 |      766
334.64/334.77	c  334s |      16 |   253260 |   154352 |    19477     15 |      839 |      766
336.65/336.79	c  336s |      16 |   254195 |   155152 |    19477     15 |      839 |      766
338.85/338.99	c  338s |      16 |   255138 |   155952 |    19477     15 |      839 |      766
340.95/341.07	c  340s |      16 |   255912 |   156652 |    19477     15 |      839 |      766
343.04/343.20	c  342s |      16 |   256742 |   157352 |    19477     15 |      839 |      766
345.24/345.38	c  345s |      16 |   257572 |   158052 |    19477     15 |      839 |      766
347.55/347.64	c  347s |      16 |   258210 |   158652 |    19477     15 |      839 |      766
349.85/349.98	c  349s |      16 |   259011 |   159352 |    19477     15 |      839 |      766
352.05/352.11	c  351s |      16 |   259778 |   160052 |    19477     15 |      839 |      766
354.15/354.30	c  354s |      16 |   260975 |   160952 |    19477     15 |      839 |      766
356.24/356.30	c  356s |      16 |   262165 |   161852 |    19477     15 |      839 |      766
358.24/358.37	c  358s |      16 |   263134 |   162652 |    19477     15 |      839 |      766
360.34/360.48	c  360s |      16 |   264169 |   163452 |    19477     15 |      839 |      766
362.43/362.57	c  362s |      16 |   265026 |   164152 |    19477     15 |      839 |      766
364.53/364.63	c  364s |      16 |   266191 |   165052 |    19477     16 |      839 |      766
366.73/366.87	c  366s |      16 |   267586 |   166152 |    19477     16 |      839 |      766
368.93/369.06	c  368s |      16 |   268913 |   167152 |    19477     16 |      839 |      766
371.13/371.27	c  371s |      16 |   270065 |   168052 |    19477     16 |      839 |      766
373.33/373.44	c  373s |      16 |   270991 |   168852 |    19477     16 |      839 |      766
375.43/375.56	c  375s |      16 |   271809 |   169552 |    19477     16 |      839 |      766
377.73/377.87	c  377s |      16 |   272804 |   170352 |    19477     16 |      839 |      766
380.03/380.13	c  379s |      16 |   273613 |   171052 |    19477     16 |      839 |      766
382.03/382.14	c  381s |      16 |   274476 |   171752 |    19477     16 |      839 |      766
384.33/384.40	c  384s |      16 |   275419 |   172552 |    19477     16 |      839 |      766
386.63/386.79	c  386s |      16 |   276403 |   173352 |    19477     16 |      839 |      766
388.93/389.01	c  388s |      16 |   277229 |   174052 |    19477     16 |      839 |      766
391.13/391.23	c  390s |      16 |   278098 |   174752 |    19477     16 |      839 |      766
393.33/393.47	c  393s |      16 |   278967 |   175452 |    19477     16 |      839 |      766
395.63/395.70	c  395s |      16 |   279706 |   176052 |    19477     17 |      839 |      766
397.63/397.75	c  397s |      16 |   280503 |   176752 |    19477     17 |      839 |      766
399.63/399.78	c  399s |      16 |   281328 |   177452 |    19477     17 |      839 |      766
401.83/401.90	c  401s |      16 |   282347 |   178252 |    19477     17 |      839 |      766
404.03/404.14	c  403s |      16 |   283330 |   179052 |    19477     17 |      839 |      766
406.13/406.23	c  405s |      16 |   284190 |   179752 |    19477     17 |      839 |      766
408.23/408.38	c  408s |      16 |   285064 |   180452 |    19477     17 |      839 |      766
410.33/410.48	c  410s |      16 |   285937 |   181152 |    19477     17 |      839 |      766
412.62/412.73	c  412s |      16 |   286747 |   181852 |    19477     17 |      839 |      766
414.63/414.74	c  414s |      16 |   287283 |   182352 |    19477     17 |      839 |      766
416.72/416.81	c  416s |      16 |   287977 |   182952 |    19477     17 |      839 |      766
418.92/419.00	c  418s |      16 |   288845 |   183652 |    19477     17 |      839 |      766
420.92/421.05	c  420s |      16 |   289568 |   184252 |    19477     17 |      839 |      766
423.22/423.39	c  423s |      16 |   290366 |   184952 |    19477     17 |      839 |      766
425.42/425.59	c  425s |      16 |   291174 |   185652 |    19477     17 |      839 |      766
427.62/427.70	c  427s |      16 |   292046 |   186352 |    19477     17 |      839 |      766
429.72/429.81	c  429s |      16 |   292729 |   186952 |    19477     17 |      839 |      766
432.02/432.10	c  431s |      16 |   293386 |   187552 |    19477     18 |      839 |      766
434.23/434.34	c  434s |      16 |   294338 |   188352 |    19477     18 |      839 |      766
436.33/436.43	c  436s |      16 |   295176 |   189052 |    19477     18 |      839 |      766
438.33/438.45	c  438s |      16 |   296009 |   189752 |    19477     18 |      839 |      766
440.53/440.69	c  440s |      16 |   297153 |   190652 |    19477     18 |      839 |      766
442.73/442.85	c  442s |      16 |   298303 |   191552 |    19477     18 |      839 |      766
444.93/445.05	c  444s |      16 |   299559 |   192452 |    19477     18 |      839 |      766
447.13/447.27	c  447s |      16 |   300413 |   193152 |    19477     18 |      839 |      766
449.12/449.27	c  449s |      16 |   301218 |   193852 |    19477     18 |      839 |      766
451.42/451.58	c  451s |      16 |   302222 |   194652 |    19477     18 |      839 |      766
453.82/453.91	c  453s |      16 |   303011 |   195352 |    19477     18 |      839 |      766
455.92/456.09	c  455s |      16 |   303877 |   196052 |    19477     18 |      839 |      766
458.02/458.14	c  457s |      16 |   304617 |   196652 |    21425     18 |      839 |      766
460.12/460.23	c  459s |      16 |   305298 |   197252 |    21425     18 |      839 |      766
460.72/460.85	c  460s |      17 |   305517 |   197432 |    21425     18 |      839 |      766
462.72/462.88	c  462s |      17 |   313709 |   199132 |    21425     19 |      839 |      766
464.92/465.02	c  464s |      17 |   319089 |   201232 |    21425     19 |      839 |      766
467.02/467.11	c  466s |      17 |   320261 |   202232 |    21425     19 |      839 |      766
469.12/469.23	c  468s |      17 |   321443 |   203232 |    21425     19 |      839 |      766
471.32/471.48	c  471s |      17 |   322622 |   204232 |    21425     19 |      839 |      766
473.62/473.79	c  473s |      17 |   323529 |   205032 |    21425     19 |      839 |      766
475.82/475.90	c  475s |      17 |   324375 |   205732 |    21425     19 |      839 |      766
477.92/478.03	c  477s |      17 |   325065 |   206332 |    21425     19 |      839 |      766
480.02/480.17	c  479s |      17 |   326246 |   207232 |    21425     19 |      839 |      766
482.22/482.31	c  482s |      17 |   327763 |   208432 |    21425     19 |      839 |      766
484.32/484.42	c  484s |      17 |   329076 |   209432 |    21425     19 |      839 |      766
486.42/486.53	c  486s |      17 |   330080 |   210232 |    21425     19 |      839 |      766
488.52/488.61	c  488s |      17 |   331128 |   211032 |    21425     19 |      839 |      766
490.71/490.85	c  490s |      17 |   331988 |   211732 |    21425     19 |      839 |      766
492.72/492.89	c  492s |      17 |   333683 |   212632 |    21425     20 |      839 |      766
494.81/494.95	c  494s |      17 |   334756 |   213432 |    21425     20 |      839 |      766
496.91/497.08	c  496s |      17 |   335854 |   214232 |    21425     20 |      839 |      766
499.01/499.14	c  498s |      17 |   336721 |   214932 |    21425     20 |      839 |      766
501.21/501.39	c  501s |      17 |   337564 |   215632 |    21425     20 |      839 |      766
503.41/503.52	c  503s |      17 |   338493 |   216332 |    21425     20 |      839 |      766
505.41/505.54	c  505s |      17 |   339199 |   216932 |    21425     20 |      839 |      766
507.41/507.56	c  507s |      17 |   339965 |   217532 |    21425     20 |      839 |      766
509.61/509.76	c  509s |      17 |   340843 |   218232 |    21425     20 |      839 |      766
511.71/511.81	c  511s |      17 |   341379 |   218732 |    21425     20 |      839 |      766
513.81/513.94	c  513s |      17 |   341917 |   219232 |    21425     20 |      839 |      766
516.12/516.22	c  515s |      17 |   342681 |   219832 |    21425     20 |      839 |      766
518.13/518.22	c  517s |      17 |   343280 |   220332 |    21425     20 |      839 |      766
520.23/520.38	c  520s |      17 |   343852 |   220832 |    21425     20 |      839 |      766
522.32/522.44	c  522s |      17 |   345017 |   221432 |    21425     20 |      839 |      766
524.41/524.51	c  524s |      17 |   347178 |   222532 |    21425     20 |      839 |      766
526.41/526.57	c  526s |      17 |   350229 |   223532 |    21425     21 |      839 |      766
528.51/528.61	c  528s |      17 |   353124 |   224932 |    21425     21 |      839 |      766
530.51/530.62	c  530s |      17 |   355731 |   226232 |    21425     21 |      839 |      766
532.51/532.65	c  532s |      17 |   357367 |   227332 |    21425     21 |      839 |      766
534.62/534.79	c  534s |      17 |   359319 |   228532 |    21425     21 |      839 |      766
536.82/536.99	c  536s |      17 |   360542 |   229532 |    21425     21 |      839 |      766
539.02/539.14	c  538s |      17 |   361792 |   230532 |    21425     21 |      839 |      766
541.01/541.15	c  540s |      17 |   362913 |   231432 |    21425     21 |      839 |      766
543.21/543.34	c  543s |      17 |   363976 |   232332 |    21425     21 |      839 |      766
545.41/545.52	c  545s |      17 |   364921 |   233132 |    21425     21 |      839 |      766
547.61/547.72	c  547s |      17 |   365692 |   233832 |    21425     21 |      839 |      766
549.61/549.77	c  549s |      17 |   366471 |   234532 |    21425     21 |      839 |      766
551.71/551.84	c  551s |      17 |   367277 |   235232 |    21425     21 |      839 |      766
553.91/554.09	c  553s |      17 |   368060 |   235932 |    21425     21 |      839 |      766
556.11/556.25	c  555s |      17 |   368749 |   236532 |    21425     22 |      839 |      766
558.11/558.29	c  558s |      17 |   369689 |   237332 |    21425     22 |      839 |      766
560.21/560.37	c  560s |      17 |   370675 |   238132 |    21425     22 |      839 |      766
562.31/562.49	c  562s |      17 |   371736 |   239032 |    21425     22 |      839 |      766
564.51/564.67	c  564s |      17 |   373257 |   240032 |    21425     22 |      839 |      766
566.71/566.83	c  566s |      17 |   374175 |   240832 |    21425     22 |      839 |      766
568.72/568.87	c  568s |      17 |   375006 |   241532 |    21425     22 |      839 |      766
571.00/571.10	c  570s |      17 |   375810 |   242232 |    21425     22 |      839 |      766
573.01/573.13	c  572s |      17 |   376501 |   242832 |    21425     22 |      839 |      766
575.10/575.26	c  575s |      17 |   377167 |   243432 |    21425     22 |      839 |      766
577.20/577.35	c  577s |      17 |   377842 |   244032 |    21425     22 |      839 |      766
579.61/579.71	c  579s |      17 |   378500 |   244632 |    21425     22 |      839 |      766
581.60/581.78	c  581s |      17 |   379242 |   245232 |    21425     22 |      839 |      766
583.70/583.80	c  583s |      17 |   379973 |   245832 |    21425     22 |      839 |      766
585.70/585.89	c  585s |      17 |   380771 |   246532 |    21425     22 |      839 |      766
588.00/588.16	c  587s |      17 |   381565 |   247232 |    21425     22 |      839 |      766
590.30/590.47	c  590s |      17 |   382237 |   247832 |    21425     22 |      839 |      766
592.60/592.75	c  592s |      17 |   382931 |   248432 |    21425     22 |      839 |      766
594.60/594.76	c  594s |      17 |   383475 |   248932 |    21425     23 |      839 |      766
596.80/596.99	c  596s |      17 |   384269 |   249632 |    21425     23 |      839 |      766
598.90/599.02	c  598s |      17 |   384954 |   250232 |    21425     23 |      839 |      766
600.99/601.12	c  600s |      17 |   385618 |   250832 |    21425     23 |      839 |      766
603.29/603.42	c  603s |      17 |   386654 |   251632 |    21425     23 |      839 |      766
605.29/605.44	c  605s |      17 |   387441 |   252332 |    21425     23 |      839 |      766
607.59/607.76	c  607s |      17 |   388235 |   253032 |    21425     23 |      839 |      766
609.70/609.82	c  609s |      17 |   388900 |   253632 |    21425     23 |      839 |      766
612.00/612.11	c  611s |      17 |   389655 |   254332 |    21425     23 |      839 |      766
614.10/614.27	c  614s |      17 |   390339 |   254932 |    21425     23 |      839 |      766
616.20/616.31	c  616s |      17 |   391021 |   255532 |    21425     23 |      839 |      766
618.40/618.50	c  618s |      17 |   391666 |   256132 |    21425     23 |      839 |      766
620.41/620.54	c  620s |      17 |   392359 |   256732 |    21425     23 |      839 |      766
622.51/622.67	c  622s |      17 |   393267 |   257432 |    21425     23 |      839 |      766
624.81/624.95	c  624s |      17 |   394075 |   258132 |    21425     23 |      839 |      766
627.01/627.11	c  626s |      17 |   394902 |   258832 |    21425     23 |      839 |      766
628.99/629.17	c  628s |      17 |   395599 |   259432 |    21425     23 |      839 |      766
631.19/631.32	c  631s |      17 |   396471 |   260132 |    21425     23 |      839 |      766
633.39/633.58	c  633s |      17 |   397047 |   260632 |    21425     24 |      839 |      766
635.59/635.77	c  635s |      17 |   397830 |   261332 |    21425     24 |      839 |      766
637.79/637.91	c  637s |      17 |   399441 |   262332 |    21425     24 |      839 |      766
639.79/639.93	c  639s |      17 |   400776 |   263232 |    21425     24 |      839 |      766
641.89/642.00	c  641s |      17 |   401741 |   264032 |    21425     24 |      839 |      766
644.09/644.21	c  643s |      17 |   402691 |   264832 |    21425     24 |      839 |      766
646.08/646.24	c  645s |      17 |   403962 |   265732 |    21425     24 |      839 |      766
648.08/648.26	c  648s |      17 |   404803 |   266432 |    21425     24 |      839 |      766
650.18/650.36	c  650s |      17 |   405650 |   267132 |    21425     24 |      839 |      766
652.29/652.45	c  652s |      17 |   406459 |   267832 |    21425     24 |      839 |      766
654.58/654.71	c  654s |      17 |   407286 |   268532 |    21425     24 |      839 |      766
656.78/656.92	c  656s |      17 |   407955 |   269132 |    21425     24 |      839 |      766
658.97/659.19	c  658s |      17 |   408655 |   269732 |    21425     24 |      839 |      766
661.27/661.40	c  661s |      17 |   409312 |   270332 |    21425     24 |      839 |      766
663.28/663.48	c  663s |      17 |   409980 |   270932 |    21425     24 |      839 |      766
665.67/665.80	c  665s |      17 |   410636 |   271532 |    21425     24 |      839 |      766
667.68/667.86	c  667s |      17 |   411186 |   272032 |    21425     24 |      839 |      766
670.07/670.23	c  669s |      17 |   411866 |   272632 |    21425     24 |      839 |      766
672.17/672.34	c  672s |      17 |   412307 |   273032 |    21425     25 |      839 |      766
674.28/674.45	c  674s |      17 |   413434 |   273832 |    21425     25 |      839 |      766
676.27/676.50	c  676s |      17 |   414222 |   274532 |    21425     25 |      839 |      766
678.57/678.75	c  678s |      17 |   415213 |   275332 |    21425     25 |      839 |      766
680.66/680.84	c  680s |      17 |   415988 |   275932 |    21425     25 |      839 |      766
682.76/682.92	c  682s |      17 |   416674 |   276532 |    21425     25 |      839 |      766
685.06/685.29	c  685s |      17 |   417323 |   277132 |    21425     25 |      839 |      766
687.47/687.61	c  687s |      17 |   418257 |   277932 |    21425     25 |      839 |      766
689.57/689.78	c  689s |      17 |   419056 |   278632 |    21425     25 |      839 |      766
691.77/691.92	c  691s |      17 |   419884 |   279332 |    21425     25 |      839 |      766
693.86/694.03	c  693s |      17 |   420515 |   279832 |    21425     25 |      839 |      766
695.86/696.06	c  695s |      17 |   420939 |   280232 |    21425     25 |      839 |      766
698.16/698.39	c  698s |      17 |   421475 |   280732 |    21425     25 |      839 |      766
700.25/700.40	c  700s |      17 |   422015 |   281232 |    21425     25 |      839 |      766
702.45/702.61	c  702s |      17 |   422582 |   281732 |    21425     25 |      839 |      766
704.65/704.86	c  704s |      17 |   423128 |   282232 |    21425     25 |      839 |      766
706.75/706.94	c  706s |      17 |   423562 |   282632 |    21425     25 |      839 |      766
708.85/709.05	c  708s |      17 |   423973 |   283032 |    21425     25 |      839 |      766
711.46/711.61	c  711s |      17 |   424519 |   283532 |    21425     25 |      839 |      766
713.56/713.78	c  713s |      17 |   424945 |   283932 |    21425     25 |      839 |      766
715.56/715.79	c  715s |      17 |   425513 |   284432 |    21425     25 |      839 |      766
717.66/717.82	c  717s |      17 |   426072 |   284932 |    21425     25 |      839 |      766
719.85/720.09	c  719s |      17 |   426502 |   285332 |    21425     26 |      839 |      766
722.05/722.24	c  721s |      17 |   427380 |   286032 |    21425     26 |      839 |      766
724.35/724.57	c  724s |      17 |   428271 |   286832 |    21425     26 |      839 |      766
726.55/726.79	c  726s |      17 |   429056 |   287532 |    21425     26 |      839 |      766
728.65/728.87	c  728s |      17 |   429807 |   288232 |    21425     26 |      839 |      766
730.95/731.16	c  730s |      17 |   430595 |   288932 |    21425     26 |      839 |      766
733.15/733.32	c  733s |      17 |   431376 |   289632 |    21425     26 |      839 |      766
735.55/735.71	c  735s |      17 |   432176 |   290332 |    21425     26 |      839 |      766
737.75/737.97	c  737s |      17 |   432871 |   290932 |    21425     26 |      839 |      766
739.95/740.15	c  739s |      17 |   433530 |   291532 |    21425     26 |      839 |      766
742.05/742.28	c  742s |      17 |   434083 |   292032 |    21425     26 |      839 |      766
744.35/744.54	c  744s |      17 |   434747 |   292632 |    21425     26 |      839 |      766
746.65/746.87	c  746s |      17 |   435397 |   293232 |    21425     26 |      839 |      766
748.65/748.88	c  748s |      17 |   435938 |   293732 |    21425     26 |      839 |      766
750.84/751.05	c  750s |      17 |   436497 |   294232 |    23568     26 |      839 |      766
753.04/753.26	c  753s |      17 |   437186 |   294832 |    23568     26 |      839 |      766
755.34/755.51	c  755s |      17 |   437920 |   295432 |    23568     26 |      839 |      766
757.54/757.79	c  757s |      17 |   438612 |   296032 |    23568     26 |      839 |      766
758.44/758.69	c  758s |      18 |   438851 |   296252 |    23568     26 |      839 |      766
760.55/760.75	c  760s |      18 |   441988 |   297452 |    23568     26 |      839 |      766
762.75/762.93	c  762s |      18 |   443673 |   298952 |    23568     26 |      839 |      766
764.75/764.95	c  764s |      18 |   444680 |   299852 |    23568     27 |      839 |      766
766.75/766.97	c  766s |      18 |   445989 |   301052 |    23568     27 |      839 |      766
768.94/769.10	c  768s |      18 |   447367 |   302252 |    23568     27 |      839 |      766
770.95/771.11	c  770s |      18 |   448917 |   303552 |    23568     27 |      839 |      766
772.94/773.13	c  772s |      18 |   450160 |   304652 |    23568     27 |      839 |      766
775.04/775.26	c  775s |      18 |   451298 |   305652 |    23568     27 |      839 |      766
777.24/777.45	c  777s |      18 |   452412 |   306652 |    23568     27 |      839 |      766
779.23/779.45	c  779s |      18 |   453454 |   307552 |    23568     27 |      839 |      766
781.43/781.61	c  781s |      18 |   454639 |   308552 |    23568     27 |      839 |      766
783.63/783.85	c  783s |      18 |   455624 |   309452 |    23568     27 |      839 |      766
785.83/786.02	c  785s |      18 |   456508 |   310252 |    23568     27 |      839 |      766
788.03/788.25	c  787s |      18 |   457360 |   311052 |    23568     27 |      839 |      766
790.32/790.53	c  790s |      18 |   458251 |   311852 |    23568     27 |      839 |      766
792.32/792.59	c  792s |      18 |   459030 |   312552 |    23568     27 |      839 |      766
794.42/794.61	c  794s |      18 |   460940 |   313652 |    23568     28 |      839 |      766
796.52/796.71	c  796s |      18 |   463628 |   315452 |    23568     28 |      839 |      766
798.62/798.85	c  798s |      18 |   465808 |   316952 |    23568     28 |      839 |      766
800.63/800.86	c  800s |      18 |   467502 |   318152 |    23568     28 |      839 |      766
802.83/803.10	c  802s |      18 |   468916 |   319252 |    23568     28 |      839 |      766
804.92/805.13	c  804s |      18 |   470134 |   320152 |    23568     28 |      839 |      766
806.92/807.16	c  806s |      18 |   471356 |   321152 |    23568     28 |      839 |      766
809.01/809.29	c  809s |      18 |   472774 |   322152 |    23568     28 |      839 |      766
811.11/811.39	c  811s |      18 |   474691 |   323452 |    23568     28 |      839 |      766
813.21/813.46	c  813s |      18 |   476565 |   325052 |    23568     28 |      839 |      766
815.21/815.47	c  815s |      18 |   477965 |   326352 |    23568     28 |      839 |      766
817.31/817.56	c  817s |      18 |   479130 |   327452 |    23568     29 |      839 |      766
819.41/819.67	c  819s |      18 |   480468 |   328752 |    23568     29 |      839 |      766
821.51/821.72	c  821s |      18 |   481650 |   329852 |    23568     29 |      839 |      766
823.60/823.85	c  823s |      18 |   482786 |   330952 |    23568     29 |      839 |      766
825.80/826.02	c  825s |      18 |   483805 |   331952 |    23568     29 |      839 |      766
827.90/828.18	c  827s |      18 |   484829 |   332952 |    23568     29 |      839 |      766
830.10/830.34	c  830s |      18 |   485843 |   333952 |    23568     29 |      839 |      766
832.30/832.51	c  832s |      18 |   486812 |   334852 |    23568     29 |      839 |      766
834.30/834.57	c  834s |      18 |   488041 |   335852 |    23568     29 |      839 |      766
836.50/836.73	c  836s |      18 |   490002 |   337252 |    23568     29 |      839 |      766
838.50/838.76	c  838s |      18 |   491964 |   338552 |    23568     29 |      839 |      766
840.60/840.88	c  840s |      18 |   493918 |   339952 |    23568     29 |      839 |      766
842.80/843.02	c  842s |      18 |   495757 |   341252 |    23568     30 |      839 |      766
844.80/845.05	c  844s |      18 |   497305 |   342452 |    23568     30 |      839 |      766
846.91/847.13	c  846s |      18 |   499044 |   343752 |    23568     30 |      839 |      766
848.89/849.16	c  848s |      18 |   500878 |   344952 |    23568     30 |      839 |      766
850.99/851.23	c  850s |      18 |   502386 |   346052 |    23568     30 |      839 |      766
853.09/853.31	c  853s |      18 |   503858 |   347152 |    23568     30 |      839 |      766
855.09/855.33	c  855s |      18 |   505137 |   348152 |    23568     30 |      839 |      766
857.19/857.43	c  857s |      18 |   506178 |   348952 |    23568     30 |      839 |      766
859.18/859.48	c  859s |      18 |   507227 |   349752 |    23568     30 |      839 |      766
861.38/861.66	c  861s |      18 |   508432 |   350752 |    23568     30 |      839 |      766
863.39/863.68	c  863s |      18 |   509645 |   351752 |    23568     30 |      839 |      766
865.68/865.91	c  865s |      18 |   510927 |   352752 |    23568     30 |      839 |      766
867.79/868.06	c  867s |      18 |   511997 |   353552 |    23568     31 |      839 |      766
869.89/870.11	c  869s |      18 |   513278 |   354552 |    23568     31 |      839 |      766
871.88/872.13	c  871s |      18 |   514794 |   355652 |    23568     31 |      839 |      766
873.88/874.17	c  873s |      18 |   516334 |   356752 |    23568     31 |      839 |      766
875.98/876.23	c  875s |      18 |   517662 |   357752 |    23568     31 |      839 |      766
878.08/878.30	c  878s |      18 |   518904 |   358652 |    23568     31 |      839 |      766
880.27/880.54	c  880s |      18 |   520135 |   359552 |    23568     31 |      839 |      766
882.47/882.75	c  882s |      18 |   521140 |   360352 |    23568     31 |      839 |      766
884.67/884.94	c  884s |      18 |   522007 |   361052 |    23568     31 |      839 |      766
886.77/887.04	c  886s |      18 |   523129 |   361952 |    23568     31 |      839 |      766
888.77/889.07	c  888s |      18 |   524151 |   362752 |    23568     31 |      839 |      766
890.97/891.23	c  890s |      18 |   525266 |   363652 |    23568     31 |      839 |      766
892.98/893.30	c  893s |      18 |   526307 |   364452 |    23568     31 |      839 |      766
895.06/895.35	c  895s |      18 |   527410 |   365252 |    23568     31 |      839 |      766
897.06/897.39	c  897s |      18 |   528470 |   366052 |    23568     31 |      839 |      766
899.67/899.92	c  899s |      18 |   529491 |   366852 |    23568     32 |      839 |      766
901.66/901.96	c  901s |      18 |   530607 |   367752 |    23568     32 |      839 |      766
903.86/904.15	c  903s |      18 |   531880 |   368752 |    23568     32 |      839 |      766
905.96/906.22	c  905s |      18 |   532974 |   369552 |    23568     32 |      839 |      766
908.16/908.41	c  908s |      18 |   534205 |   370452 |    23568     32 |      839 |      766
910.35/910.63	c  910s |      18 |   535221 |   371252 |    23568     32 |      839 |      766
912.45/912.76	c  912s |      18 |   536071 |   371952 |    23568     32 |      839 |      766
914.65/914.95	c  914s |      18 |   537108 |   372752 |    23568     32 |      839 |      766
916.95/917.25	c  917s |      18 |   537916 |   373452 |    23568     32 |      839 |      766
919.25/919.55	c  919s |      18 |   538916 |   374252 |    23568     32 |      839 |      766
921.45/921.70	c  921s |      18 |   539811 |   374952 |    23568     32 |      839 |      766
923.65/923.91	c  923s |      18 |   540675 |   375652 |    23568     32 |      839 |      766
925.85/926.12	c  925s |      18 |   541566 |   376352 |    23568     32 |      839 |      766
927.94/928.28	c  928s |      18 |   542583 |   377152 |    23568     32 |      839 |      766
930.04/930.38	c  930s |      18 |   543646 |   377952 |    23568     32 |      839 |      766
932.34/932.62	c  932s |      18 |   544611 |   378752 |    23568     32 |      839 |      766
934.34/934.66	c  934s |      18 |   545486 |   379452 |    23568     32 |      839 |      766
936.54/936.84	c  936s |      18 |   546428 |   380152 |    23568     33 |      839 |      766
938.63/938.98	c  938s |      18 |   547687 |   381152 |    23568     33 |      839 |      766
940.83/941.15	c  940s |      18 |   549129 |   382252 |    23568     33 |      839 |      766
942.83/943.17	c  942s |      18 |   550694 |   383652 |    23568     33 |      839 |      766
944.93/945.29	c  945s |      18 |   551960 |   384852 |    23568     33 |      839 |      766
947.03/947.38	c  947s |      18 |   553097 |   385952 |    23568     33 |      839 |      766
949.23/949.58	c  949s |      18 |   554236 |   387052 |    23568     33 |      839 |      766
951.43/951.73	c  951s |      18 |   555239 |   387952 |    23568     33 |      839 |      766
953.54/953.86	c  953s |      18 |   556500 |   388952 |    23568     33 |      839 |      766
955.82/956.12	c  955s |      18 |   557648 |   389952 |    23568     33 |      839 |      766
958.02/958.37	c  958s |      18 |   558754 |   390852 |    23568     33 |      839 |      766
960.22/960.54	c  960s |      18 |   559955 |   391852 |    23568     33 |      839 |      766
962.33/962.64	c  962s |      18 |   560812 |   392652 |    23568     33 |      839 |      766
964.32/964.70	c  964s |      18 |   561424 |   393252 |    23568     34 |      839 |      766
966.52/966.87	c  966s |      18 |   562481 |   394152 |    23568     34 |      839 |      766
968.62/968.90	c  968s |      18 |   563538 |   395052 |    23568     34 |      839 |      766
970.62/970.98	c  970s |      18 |   564818 |   396052 |    23568     34 |      839 |      766
972.72/973.07	c  972s |      18 |   566003 |   397052 |    23568     34 |      839 |      766
974.72/975.09	c  974s |      18 |   567316 |   398052 |    23568     34 |      839 |      766
976.82/977.12	c  976s |      18 |   568445 |   398952 |    23568     34 |      839 |      766
978.83/979.14	c  978s |      18 |   569212 |   399652 |    23568     34 |      839 |      766
981.03/981.34	c  981s |      18 |   570284 |   400552 |    23568     34 |      839 |      766
983.02/983.39	c  983s |      18 |   571298 |   401352 |    23568     34 |      839 |      766
985.22/985.53	c  985s |      18 |   572385 |   402252 |    23568     34 |      839 |      766
987.22/987.53	c  987s |      18 |   573198 |   402952 |    23568     34 |      839 |      766
989.31/989.62	c  989s |      18 |   574548 |   404052 |    23568     34 |      839 |      766
991.51/991.82	c  991s |      18 |   576000 |   405152 |    23568     34 |      839 |      766
993.71/994.02	c  993s |      18 |   577370 |   406252 |    23568     34 |      839 |      766
995.81/996.11	c  995s |      18 |   578200 |   406952 |    23568     35 |      839 |      766
997.91/998.25	c  997s |      18 |   579646 |   408052 |    23568     35 |      839 |      766
999.91/1000.25	c  999s |      18 |   580887 |   409052 |    23568     35 |      839 |      766
1002.00/1002.38	c 1002s |      18 |   582262 |   410152 |    23568     35 |      839 |      766
1004.20/1004.50	c 1004s |      18 |   583362 |   411052 |    23568     35 |      839 |      766
1006.40/1006.70	c 1006s |      18 |   584700 |   412052 |    23568     35 |      839 |      766
1008.69/1009.07	c 1008s |      18 |   585718 |   412852 |    23568     35 |      839 |      766
1010.89/1011.29	c 1011s |      18 |   586586 |   413552 |    23568     35 |      839 |      766
1013.19/1013.55	c 1013s |      18 |   587732 |   414452 |    23568     35 |      839 |      766
1015.29/1015.65	c 1015s |      18 |   588889 |   415352 |    23568     35 |      839 |      766
1017.39/1017.77	c 1017s |      18 |   589931 |   416152 |    23568     35 |      839 |      766
1019.50/1019.84	c 1019s |      18 |   590798 |   416852 |    23568     35 |      839 |      766
1021.70/1022.08	c 1021s |      18 |   591783 |   417652 |    23568     35 |      839 |      766
1023.80/1024.15	c 1023s |      18 |   592739 |   418452 |    23568     35 |      839 |      766
1025.89/1026.20	c 1025s |      18 |   593617 |   419152 |    23568     35 |      839 |      766
1027.98/1028.38	c 1028s |      18 |   594520 |   419852 |    23568     35 |      839 |      766
1030.08/1030.47	c 1030s |      18 |   595369 |   420452 |    23568     36 |      839 |      766
1032.28/1032.64	c 1032s |      18 |   596501 |   421352 |    23568     36 |      839 |      766
1034.38/1034.75	c 1034s |      18 |   597593 |   422252 |    23568     36 |      839 |      766
1036.68/1037.05	c 1036s |      18 |   598724 |   423152 |    23568     36 |      839 |      766
1038.98/1039.34	c 1039s |      18 |   599559 |   423852 |    23568     36 |      839 |      766
1041.17/1041.52	c 1041s |      18 |   600184 |   424352 |    23568     36 |      839 |      766
1043.47/1043.84	c 1043s |      18 |   600956 |   424952 |    23568     36 |      839 |      766
1045.57/1045.91	c 1045s |      18 |   601676 |   425552 |    23568     36 |      839 |      766
1047.87/1048.22	c 1047s |      18 |   602494 |   426252 |    23568     36 |      839 |      766
1050.17/1050.60	c 1050s |      18 |   603193 |   426852 |    23568     36 |      839 |      766
1052.37/1052.79	c 1052s |      18 |   603780 |   427352 |    23568     36 |      839 |      766
1054.57/1054.92	c 1054s |      18 |   604526 |   427952 |    23568     36 |      839 |      766
1056.66/1057.04	c 1056s |      18 |   605366 |   428652 |    23568     36 |      839 |      766
1058.65/1059.10	c 1058s |      18 |   606277 |   429352 |    23568     36 |      839 |      766
1060.95/1061.37	c 1061s |      18 |   607215 |   430152 |    23568     36 |      839 |      766
1063.05/1063.43	c 1063s |      18 |   607982 |   430752 |    23568     36 |      839 |      766
1065.05/1065.43	c 1065s |      18 |   608712 |   431352 |    23568     36 |      839 |      766
1067.25/1067.63	c 1067s |      18 |   609477 |   431952 |    23568     36 |      839 |      766
1069.64/1070.06	c 1069s |      18 |   610406 |   432652 |    23568     36 |      839 |      766
1071.94/1072.31	c 1072s |      18 |   611075 |   433152 |    23568     36 |      839 |      766
1074.04/1074.49	c 1074s |      18 |   611769 |   433652 |    23568     37 |      839 |      766
1076.34/1076.79	c 1076s |      18 |   612881 |   434552 |    23568     37 |      839 |      766
1078.34/1078.79	c 1078s |      18 |   613699 |   435252 |    23568     37 |      839 |      766
1080.63/1081.05	c 1080s |      18 |   614559 |   435952 |    23568     37 |      839 |      766
1082.83/1083.24	c 1082s |      18 |   615538 |   436752 |    23568     37 |      839 |      766
1084.83/1085.26	c 1085s |      18 |   616396 |   437452 |    23568     37 |      839 |      766
1087.13/1087.53	c 1087s |      18 |   617500 |   438352 |    23568     37 |      839 |      766
1089.12/1089.57	c 1089s |      18 |   618350 |   439052 |    23568     37 |      839 |      766
1091.12/1091.58	c 1091s |      18 |   619192 |   439752 |    23568     37 |      839 |      766
1093.32/1093.76	c 1093s |      18 |   620017 |   440452 |    23568     37 |      839 |      766
1095.82/1096.27	c 1096s |      18 |   620729 |   441052 |    23568     37 |      839 |      766
1098.02/1098.43	c 1098s |      18 |   621441 |   441652 |    25925     37 |      839 |      766
1100.32/1100.71	c 1100s |      18 |   622145 |   442252 |    25925     37 |      839 |      766
1102.42/1102.81	c 1102s |      18 |   623018 |   442952 |    25925     37 |      839 |      766
1104.42/1104.81	c 1104s |      18 |   623726 |   443552 |    25925     37 |      839 |      766
1106.52/1106.92	c 1106s |      18 |   624318 |   444052 |    25925     37 |      839 |      766
1107.92/1108.35	c 1108s |      19 |   624886 |   444482 |    25925     37 |      839 |      766
1110.02/1110.40	c 1110s |      19 |   633944 |   445882 |    25925     37 |      839 |      766
1112.02/1112.44	c 1112s |      19 |   637310 |   447482 |    25925     37 |      839 |      766
1114.03/1114.49	c 1114s |      19 |   642324 |   448682 |    25925     38 |      839 |      766
1116.13/1116.57	c 1116s |      19 |   651006 |   451082 |    25925     38 |      839 |      766
1118.22/1118.60	c 1118s |      19 |   656256 |   452982 |    25925     38 |      839 |      766
1120.41/1120.81	c 1120s |      19 |   659479 |   454582 |    25925     38 |      839 |      766
1122.41/1122.87	c 1122s |      19 |   660789 |   455582 |    25925     38 |      839 |      766
1124.61/1125.02	c 1124s |      19 |   662132 |   456582 |    25925     38 |      839 |      766
1126.61/1127.04	c 1126s |      19 |   663163 |   457382 |    25925     38 |      839 |      766
1128.80/1129.25	c 1128s |      19 |   664322 |   458282 |    25925     38 |      839 |      766
1130.90/1131.35	c 1131s |      19 |   665255 |   459082 |    25925     38 |      839 |      766
1133.20/1133.66	c 1133s |      19 |   666175 |   459882 |    25925     38 |      839 |      766
1135.20/1135.69	c 1135s |      19 |   666877 |   460482 |    25925     38 |      839 |      766
1137.60/1138.02	c 1137s |      19 |   667735 |   461182 |    25925     38 |      839 |      766
1139.79/1140.23	c 1139s |      19 |   669518 |   462282 |    25925     38 |      839 |      766
1141.89/1142.38	c 1142s |      19 |   670748 |   463182 |    25925     38 |      839 |      766
1144.19/1144.60	c 1144s |      19 |   671603 |   463782 |    25925     39 |      839 |      766
1146.19/1146.60	c 1146s |      19 |   672714 |   464582 |    25925     39 |      839 |      766
1148.39/1148.80	c 1148s |      19 |   673510 |   465282 |    25925     39 |      839 |      766
1150.79/1151.25	c 1150s |      19 |   674388 |   465982 |    25925     39 |      839 |      766
1152.79/1153.26	c 1153s |      19 |   675131 |   466582 |    25925     39 |      839 |      766
1154.99/1155.48	c 1155s |      19 |   676000 |   467282 |    25925     39 |      839 |      766
1157.28/1157.71	c 1157s |      19 |   676690 |   467882 |    25925     39 |      839 |      766
1159.28/1159.74	c 1159s |      19 |   677234 |   468382 |    25925     39 |      839 |      766
1161.29/1161.75	c 1161s |      19 |   677805 |   468882 |    25925     39 |      839 |      766
1163.49/1163.98	c 1163s |      19 |   678528 |   469482 |    25925     39 |      839 |      766
1165.78/1166.20	c 1165s |      19 |   679255 |   470082 |    25925     39 |      839 |      766
1168.08/1168.50	c 1168s |      19 |   680087 |   470782 |    25925     39 |      839 |      766
1170.37/1170.83	c 1170s |      19 |   681001 |   471482 |    25925     39 |      839 |      766
1172.47/1172.90	c 1172s |      19 |   681687 |   472082 |    25925     39 |      839 |      766
1174.57/1175.00	c 1174s |      19 |   682430 |   472682 |    25925     39 |      839 |      766
1176.77/1177.24	c 1176s |      19 |   683128 |   473282 |    25925     39 |      839 |      766
1179.26/1179.72	c 1179s |      19 |   683816 |   473882 |    25925     39 |      839 |      766
1181.46/1181.97	c 1181s |      19 |   684721 |   474582 |    25925     39 |      839 |      766
1183.66/1184.11	c 1183s |      19 |   685327 |   475082 |    25925     39 |      839 |      766
1185.96/1186.42	c 1186s |      19 |   685902 |   475582 |    25925     39 |      839 |      766
1187.96/1188.45	c 1188s |      19 |   686547 |   476082 |    25925     39 |      839 |      766
1190.15/1190.61	c 1190s |      19 |   687190 |   476582 |    25925     39 |      839 |      766
1192.45/1192.91	c 1192s |      19 |   687752 |   477082 |    25925     39 |      839 |      766
1194.75/1195.26	c 1195s |      19 |   688308 |   477582 |    25925     39 |      839 |      766
1197.25/1197.76	c 1197s |      19 |   688759 |   477982 |    25925     40 |      839 |      766
1199.34/1199.83	c 1199s |      19 |   689321 |   478482 |    25925     40 |      839 |      766
1201.54/1202.05	c 1201s |      19 |   689883 |   478982 |    25925     40 |      839 |      766
1203.54/1204.09	c 1203s |      19 |   690509 |   479482 |    25925     40 |      839 |      766
1205.64/1206.16	c 1205s |      19 |   691112 |   479982 |    25925     40 |      839 |      766
1207.74/1208.25	c 1207s |      19 |   691654 |   480482 |    25925     40 |      839 |      766
1210.13/1210.69	c 1210s |      19 |   692233 |   480982 |    25925     40 |      839 |      766
1212.23/1212.72	c 1212s |      19 |   692699 |   481382 |    25925     40 |      839 |      766
1214.63/1215.16	c 1214s |      19 |   693289 |   481882 |    25925     40 |      839 |      766
1217.03/1217.50	c 1217s |      19 |   693737 |   482282 |    25925     40 |      839 |      766
1219.44/1219.94	c 1219s |      19 |   694317 |   482782 |    25925     40 |      839 |      766
1221.64/1222.18	c 1221s |      19 |   694871 |   483282 |    25925     40 |      839 |      766
1224.13/1224.67	c 1224s |      19 |   695452 |   483782 |    25925     40 |      839 |      766
1226.53/1227.08	c 1226s |      19 |   696026 |   484282 |    25925     40 |      839 |      766
1228.72/1229.25	c 1228s |      19 |   696469 |   484682 |    25925     40 |      839 |      766
1230.92/1231.44	c 1231s |      19 |   697053 |   485182 |    25925     40 |      839 |      766
1233.22/1233.76	c 1233s |      19 |   697612 |   485682 |    25925     40 |      839 |      766
1235.82/1236.35	c 1236s |      19 |   698228 |   486182 |    25925     40 |      839 |      766
1238.01/1238.61	c 1238s |      19 |   698561 |   486482 |    25925     40 |      839 |      766
1240.43/1240.91	c 1240s |      19 |   698777 |   486682 |    25925     40 |      839 |      766
1242.63/1243.12	c 1242s |      19 |   699226 |   487082 |    25925     40 |      839 |      766
1244.73/1245.29	c 1245s |      19 |   699770 |   487582 |    25925     40 |      839 |      766
1246.82/1247.38	c 1247s |      19 |   700229 |   487982 |    25925     40 |      839 |      766
1249.01/1249.53	c 1249s |      19 |   700687 |   488382 |    25925     40 |      839 |      766
1251.11/1251.64	c 1251s |      19 |   701131 |   488782 |    25925     40 |      839 |      766
1253.31/1253.81	c 1253s |      19 |   701589 |   489182 |    25925     40 |      839 |      766
1255.82/1256.32	c 1256s |      19 |   702021 |   489582 |    25925     40 |      839 |      766
1257.92/1258.45	c 1258s |      19 |   702338 |   489882 |    25925     40 |      839 |      766
1260.00/1260.59	c 1260s |      19 |   702809 |   490282 |    25925     40 |      839 |      766
1262.10/1262.69	c 1262s |      19 |   703280 |   490682 |    25925     40 |      839 |      766
1264.30/1264.88	c 1264s |      19 |   703737 |   491082 |    25925     40 |      839 |      766
1266.81/1267.36	c 1267s |      19 |   704199 |   491482 |    25925     40 |      839 |      766
1269.09/1269.67	c 1269s |      19 |   704657 |   491882 |    25925     40 |      839 |      766
1271.59/1272.15	c 1271s |      19 |   705103 |   492282 |    25925     40 |      839 |      766
1274.09/1274.63	c 1274s |      19 |   705442 |   492582 |    25925     41 |      839 |      766
1276.29/1276.81	c 1276s |      19 |   705878 |   492982 |    25925     41 |      839 |      766
1278.80/1279.33	c 1279s |      19 |   706420 |   493482 |    25925     41 |      839 |      766
1281.00/1281.55	c 1281s |      19 |   707069 |   493982 |    25925     41 |      839 |      766
1283.59/1284.18	c 1283s |      19 |   707843 |   494582 |    25925     41 |      839 |      766
1286.19/1286.78	c 1286s |      19 |   708401 |   495082 |    25925     41 |      839 |      766
1288.39/1288.94	c 1288s |      19 |   708913 |   495482 |    25925     41 |      839 |      766
1290.78/1291.34	c 1291s |      19 |   709487 |   495982 |    25925     41 |      839 |      766
1292.88/1293.48	c 1293s |      19 |   709937 |   496382 |    25925     41 |      839 |      766
1295.29/1295.85	c 1295s |      19 |   710489 |   496882 |    25925     41 |      839 |      766
1297.38/1297.95	c 1297s |      19 |   710918 |   497282 |    25925     41 |      839 |      766
1299.48/1300.00	c 1299s |      19 |   711381 |   497682 |    25925     41 |      839 |      766
1301.78/1302.33	c 1302s |      19 |   711814 |   498082 |    25925     41 |      839 |      766
1304.19/1304.78	c 1304s |      19 |   712389 |   498582 |    25925     41 |      839 |      766
1306.29/1306.89	c 1306s |      19 |   712848 |   498982 |    25925     41 |      839 |      766
1308.38/1308.90	c 1308s |      19 |   713309 |   499382 |    25925     41 |      839 |      766
1310.38/1310.94	c 1310s |      19 |   713639 |   499682 |    25925     41 |      839 |      766
1312.78/1313.30	c 1313s |      19 |   714114 |   500082 |    25925     41 |      839 |      766
1314.98/1315.51	c 1315s |      19 |   714435 |   500382 |    25925     41 |      839 |      766
1317.39/1317.99	c 1317s |      19 |   714898 |   500782 |    25925     41 |      839 |      766
1319.78/1320.33	c 1320s |      19 |   715334 |   501182 |    25925     41 |      839 |      766
1322.08/1322.63	c 1322s |      19 |   715663 |   501482 |    25925     41 |      839 |      766
1324.78/1325.32	c 1325s |      19 |   716107 |   501882 |    25925     41 |      839 |      766
1326.88/1327.44	c 1327s |      19 |   716433 |   502182 |    25925     41 |      839 |      766
1328.98/1329.60	c 1329s |      19 |   716778 |   502482 |    25925     41 |      839 |      766
1331.17/1331.74	c 1331s |      19 |   717244 |   502882 |    25925     41 |      839 |      766
1333.27/1333.88	c 1333s |      19 |   717904 |   503382 |    25925     41 |      839 |      766
1335.67/1336.21	c 1335s |      19 |   718715 |   503982 |    25925     41 |      839 |      766
1337.87/1338.46	c 1338s |      19 |   719297 |   504482 |    25925     41 |      839 |      766
1340.17/1340.70	c 1340s |      19 |   719849 |   504982 |    25925     41 |      839 |      766
1342.58/1343.19	c 1342s |      19 |   720416 |   505482 |    25925     41 |      839 |      766
1344.78/1345.40	c 1345s |      19 |   721064 |   505982 |    25925     41 |      839 |      766
1347.27/1347.80	c 1347s |      19 |   721860 |   506582 |    25925     41 |      839 |      766
1349.37/1349.90	c 1349s |      19 |   722208 |   506882 |    25925     42 |      839 |      766
1351.38/1351.96	c 1351s |      19 |   722884 |   507482 |    25925     42 |      839 |      766
1353.77/1354.38	c 1354s |      19 |   723537 |   508082 |    25925     42 |      839 |      766
1355.89/1356.44	c 1356s |      19 |   724093 |   508582 |    25925     42 |      839 |      766
1357.88/1358.49	c 1358s |      19 |   724654 |   509082 |    25925     42 |      839 |      766
1360.08/1360.67	c 1360s |      19 |   725216 |   509582 |    25925     42 |      839 |      766
1362.08/1362.68	c 1362s |      19 |   725656 |   509982 |    25925     42 |      839 |      766
1364.17/1364.71	c 1364s |      19 |   726291 |   510482 |    25925     42 |      839 |      766
1366.37/1366.97	c 1366s |      19 |   726903 |   510982 |    25925     42 |      839 |      766
1368.87/1369.46	c 1369s |      19 |   727483 |   511482 |    25925     42 |      839 |      766
1371.37/1371.92	c 1371s |      19 |   728023 |   511982 |    25925     42 |      839 |      766
1373.67/1374.20	c 1373s |      19 |   728614 |   512482 |    25925     42 |      839 |      766
1376.07/1376.65	c 1376s |      19 |   729165 |   512982 |    25925     42 |      839 |      766
1378.27/1378.82	c 1378s |      19 |   729592 |   513382 |    25925     42 |      839 |      766
1380.37/1380.91	c 1380s |      19 |   730030 |   513782 |    25925     42 |      839 |      766
1382.37/1382.93	c 1382s |      19 |   730474 |   514182 |    25925     42 |      839 |      766
1384.67/1385.23	c 1384s |      19 |   730925 |   514582 |    25925     42 |      839 |      766
1386.77/1387.35	c 1387s |      19 |   731384 |   514982 |    25925     42 |      839 |      766
1388.88/1389.49	c 1389s |      19 |   731843 |   515382 |    25925     42 |      839 |      766
1391.17/1391.78	c 1391s |      19 |   732276 |   515782 |    25925     42 |      839 |      766
1393.37/1393.99	c 1393s |      19 |   732744 |   516182 |    25925     42 |      839 |      766
1395.67/1396.27	c 1396s |      19 |   733185 |   516582 |    25925     42 |      839 |      766
1397.77/1398.31	c 1398s |      19 |   733514 |   516882 |    25925     42 |      839 |      766
1400.17/1400.78	c 1400s |      19 |   733962 |   517282 |    25925     42 |      839 |      766
1402.77/1403.36	c 1403s |      19 |   734418 |   517682 |    25925     42 |      839 |      766
1405.27/1405.86	c 1405s |      19 |   734878 |   518082 |    25925     42 |      839 |      766
1407.76/1408.31	c 1408s |      19 |   735331 |   518482 |    25925     42 |      839 |      766
1410.06/1410.64	c 1410s |      19 |   735759 |   518882 |    25925     42 |      839 |      766
1412.56/1413.13	c 1412s |      19 |   736197 |   519282 |    25925     42 |      839 |      766
1414.66/1415.24	c 1414s |      19 |   736530 |   519582 |    25925     42 |      839 |      766
1417.06/1417.64	c 1417s |      19 |   736953 |   519982 |    25925     42 |      839 |      766
1419.46/1420.07	c 1419s |      19 |   737391 |   520382 |    25925     42 |      839 |      766
1421.87/1422.44	c 1422s |      19 |   737836 |   520782 |    25925     42 |      839 |      766
1424.56/1425.16	c 1424s |      19 |   738284 |   521182 |    25925     42 |      839 |      766
1426.96/1427.50	c 1427s |      19 |   738616 |   521482 |    25925     43 |      839 |      766
1428.96/1429.50	c 1429s |      19 |   739032 |   521882 |    25925     43 |      839 |      766
1431.36/1431.91	c 1431s |      19 |   739570 |   522382 |    25925     43 |      839 |      766
1433.36/1433.98	c 1433s |      19 |   739991 |   522782 |    25925     43 |      839 |      766
1435.86/1436.45	c 1436s |      19 |   740518 |   523282 |    25925     43 |      839 |      766
1437.96/1438.57	c 1438s |      19 |   740944 |   523682 |    25925     43 |      839 |      766
1440.06/1440.68	c 1440s |      19 |   741360 |   524082 |    25925     43 |      839 |      766
1442.26/1442.89	c 1442s |      19 |   741808 |   524482 |    25925     43 |      839 |      766
1444.46/1445.03	c 1444s |      19 |   742330 |   524882 |    25925     43 |      839 |      766
1446.76/1447.30	c 1447s |      19 |   743070 |   525482 |    25925     43 |      839 |      766
1448.96/1449.54	c 1449s |      19 |   743868 |   526082 |    25925     43 |      839 |      766
1451.05/1451.65	c 1451s |      19 |   744477 |   526582 |    25925     43 |      839 |      766
1453.15/1453.74	c 1453s |      19 |   745028 |   527082 |    25925     43 |      839 |      766
1455.15/1455.78	c 1455s |      19 |   745587 |   527582 |    25925     43 |      839 |      766
1457.25/1457.84	c 1457s |      19 |   746181 |   528082 |    25925     43 |      839 |      766
1459.36/1459.99	c 1459s |      19 |   746787 |   528582 |    25925     43 |      839 |      766
1461.86/1462.42	c 1462s |      19 |   747382 |   529082 |    25925     43 |      839 |      766
1464.26/1464.84	c 1464s |      19 |   747995 |   529582 |    25925     43 |      839 |      766
1466.66/1467.20	c 1466s |      19 |   748552 |   530082 |    25925     43 |      839 |      766
1469.07/1469.68	c 1469s |      19 |   749097 |   530582 |    25925     43 |      839 |      766
1471.27/1471.86	c 1471s |      19 |   749531 |   530982 |    25925     43 |      839 |      766
1473.47/1474.02	c 1473s |      19 |   749959 |   531382 |    25925     43 |      839 |      766
1475.56/1476.14	c 1475s |      19 |   750546 |   531782 |    25925     43 |      839 |      766
1477.66/1478.28	c 1478s |      19 |   750984 |   532182 |    25925     43 |      839 |      766
1479.86/1480.46	c 1480s |      19 |   751659 |   532682 |    25925     43 |      839 |      766
1482.05/1482.68	c 1482s |      19 |   752491 |   533282 |    25925     43 |      839 |      766
1484.15/1484.74	c 1484s |      19 |   753270 |   533782 |    25925     43 |      839 |      766
1486.55/1487.15	c 1486s |      19 |   753896 |   534282 |    25925     43 |      839 |      766
1488.75/1489.33	c 1489s |      19 |   754385 |   534682 |    25925     43 |      839 |      766
1491.25/1491.89	c 1491s |      19 |   754875 |   535082 |    25925     43 |      839 |      766
1493.45/1494.02	c 1493s |      19 |   755219 |   535382 |    25925     43 |      839 |      766
1497.05/1497.65	c 1497s |      19 |   755568 |   535682 |    25925     44 |      839 |      766
1499.35/1499.96	c 1499s |      19 |   755891 |   535982 |    25925     44 |      839 |      766
1501.65/1502.21	c 1501s |      19 |   756405 |   536382 |    25925     44 |      839 |      766
1503.75/1504.38	c 1504s |      19 |   757214 |   536982 |    25925     44 |      839 |      766
1506.15/1506.75	c 1506s |      19 |   757940 |   537582 |    25925     44 |      839 |      766
1508.45/1509.04	c 1508s |      19 |   758531 |   538082 |    25925     44 |      839 |      766
1510.55/1511.13	c 1510s |      19 |   759134 |   538582 |    25925     44 |      839 |      766
1512.75/1513.30	c 1513s |      19 |   759713 |   539082 |    25925     44 |      839 |      766
1514.75/1515.35	c 1515s |      19 |   760304 |   539582 |    25925     44 |      839 |      766
1516.95/1517.52	c 1517s |      19 |   760973 |   540082 |    25925     44 |      839 |      766
1519.35/1519.96	c 1519s |      19 |   761563 |   540582 |    25925     44 |      839 |      766
1521.45/1522.08	c 1521s |      19 |   762035 |   540982 |    25925     44 |      839 |      766
1523.55/1524.19	c 1523s |      19 |   762602 |   541482 |    25925     44 |      839 |      766
1526.04/1526.68	c 1526s |      19 |   763169 |   541982 |    25925     44 |      839 |      766
1528.34/1528.95	c 1528s |      19 |   763721 |   542482 |    25925     44 |      839 |      766
1530.84/1531.45	c 1531s |      19 |   764282 |   542982 |    25925     44 |      839 |      766
1533.24/1533.89	c 1533s |      19 |   764726 |   543382 |    25925     44 |      839 |      766
1535.85/1536.45	c 1536s |      19 |   765155 |   543782 |    25925     44 |      839 |      766
1538.55/1539.10	c 1538s |      19 |   765589 |   544182 |    25925     44 |      839 |      766
1541.05/1541.63	c 1541s |      19 |   766017 |   544582 |    25925     44 |      839 |      766
1543.45/1544.07	c 1543s |      19 |   766515 |   544982 |    25925     44 |      839 |      766
1545.45/1546.09	c 1545s |      19 |   767184 |   545482 |    25925     44 |      839 |      766
1547.55/1548.14	c 1547s |      19 |   767819 |   545982 |    25925     44 |      839 |      766
1549.65/1550.21	c 1549s |      19 |   768512 |   546482 |    25925     44 |      839 |      766
1552.05/1552.60	c 1552s |      19 |   769178 |   546982 |    25925     44 |      839 |      766
1554.14/1554.76	c 1554s |      19 |   769803 |   547482 |    25925     44 |      839 |      766
1556.24/1556.83	c 1556s |      19 |   770312 |   547882 |    25925     44 |      839 |      766
1558.64/1559.21	c 1558s |      19 |   770797 |   548282 |    25925     44 |      839 |      766
1561.04/1561.62	c 1561s |      19 |   771432 |   548782 |    25925     44 |      839 |      766
1563.14/1563.70	c 1563s |      19 |   771899 |   549182 |    25925     44 |      839 |      766
1565.34/1565.96	c 1565s |      19 |   772344 |   549582 |    25925     44 |      839 |      766
1567.54/1568.15	c 1567s |      19 |   772781 |   549982 |    25925     44 |      839 |      766
1570.14/1570.72	c 1570s |      19 |   773125 |   550282 |    25925     45 |      839 |      766
1572.14/1572.80	c 1572s |      19 |   773737 |   550782 |    25925     45 |      839 |      766
1574.44/1575.05	c 1574s |      19 |   774470 |   551382 |    25925     45 |      839 |      766
1576.64/1577.20	c 1576s |      19 |   775063 |   551882 |    25925     45 |      839 |      766
1578.74/1579.39	c 1579s |      19 |   775634 |   552382 |    25925     45 |      839 |      766
1581.04/1581.63	c 1581s |      19 |   776213 |   552882 |    25925     45 |      839 |      766
1583.45/1584.08	c 1583s |      19 |   776760 |   553382 |    25925     45 |      839 |      766
1585.84/1586.43	c 1586s |      19 |   777358 |   553882 |    25925     45 |      839 |      766
1587.85/1588.46	c 1588s |      19 |   777994 |   554382 |    25925     45 |      839 |      766
1590.04/1590.67	c 1590s |      19 |   778725 |   554982 |    25925     45 |      839 |      766
1592.43/1593.05	c 1592s |      19 |   779308 |   555482 |    25925     45 |      839 |      766
1594.73/1595.34	c 1595s |      19 |   779934 |   555982 |    25925     45 |      839 |      766
1597.14/1597.78	c 1597s |      19 |   780561 |   556482 |    25925     45 |      839 |      766
1599.54/1600.13	c 1599s |      19 |   781137 |   556982 |    25925     45 |      839 |      766
1601.54/1602.14	c 1601s |      19 |   781588 |   557382 |    25925     45 |      839 |      766
1603.84/1604.40	c 1604s |      19 |   782038 |   557782 |    25925     45 |      839 |      766
1605.94/1606.58	c 1606s |      19 |   782501 |   558182 |    25925     45 |      839 |      766
1608.04/1608.61	c 1608s |      19 |   782996 |   558582 |    25925     45 |      839 |      766
1610.54/1611.14	c 1610s |      19 |   783582 |   559082 |    25925     45 |      839 |      766
1612.74/1613.31	c 1613s |      19 |   784043 |   559482 |    25925     45 |      839 |      766
1614.94/1615.50	c 1615s |      19 |   784607 |   559982 |    25925     45 |      839 |      766
1617.33/1617.90	c 1617s |      19 |   785193 |   560482 |    25925     45 |      839 |      766
1619.63/1620.30	c 1620s |      19 |   785655 |   560882 |    25925     45 |      839 |      766
1621.94/1622.55	c 1622s |      19 |   786088 |   561282 |    25925     45 |      839 |      766
1624.33/1624.94	c 1624s |      19 |   786542 |   561682 |    25925     45 |      839 |      766
1626.73/1627.31	c 1627s |      19 |   786998 |   562082 |    25925     45 |      839 |      766
1629.13/1629.72	c 1629s |      19 |   787456 |   562482 |    25925     45 |      839 |      766
1631.43/1632.09	c 1631s |      19 |   787919 |   562882 |    25925     45 |      839 |      766
1633.83/1634.44	c 1634s |      19 |   788546 |   563382 |    25925     45 |      839 |      766
1635.93/1636.50	c 1636s |      19 |   789045 |   563782 |    25925     45 |      839 |      766
1638.23/1638.83	c 1638s |      19 |   789718 |   564282 |    25925     45 |      839 |      766
1641.03/1641.62	c 1641s |      19 |   790217 |   564682 |    25925     46 |      839 |      766
1643.33/1643.95	c 1643s |      19 |   790964 |   565282 |    25925     46 |      839 |      766
1645.63/1646.20	c 1645s |      19 |   791659 |   565882 |    25925     46 |      839 |      766
1648.03/1648.65	c 1648s |      19 |   792217 |   566382 |    25925     46 |      839 |      766
1650.13/1650.70	c 1650s |      19 |   792808 |   566882 |    25925     46 |      839 |      766
1652.33/1652.97	c 1652s |      19 |   793376 |   567382 |    25925     46 |      839 |      766
1654.53/1655.11	c 1654s |      19 |   793974 |   567882 |    25925     46 |      839 |      766
1656.73/1657.34	c 1657s |      19 |   794569 |   568382 |    25925     46 |      839 |      766
1658.93/1659.58	c 1659s |      19 |   795189 |   568882 |    25925     46 |      839 |      766
1661.13/1661.70	c 1661s |      19 |   795680 |   569282 |    25925     46 |      839 |      766
1663.53/1664.18	c 1663s |      19 |   796275 |   569782 |    25925     46 |      839 |      766
1665.62/1666.25	c 1666s |      19 |   796741 |   570182 |    25925     46 |      839 |      766
1667.82/1668.43	c 1668s |      19 |   797185 |   570582 |    25925     46 |      839 |      766
1670.02/1670.65	c 1670s |      19 |   797840 |   571082 |    25925     46 |      839 |      766
1672.23/1672.84	c 1672s |      19 |   798299 |   571482 |    25925     46 |      839 |      766
1674.63/1675.30	c 1675s |      19 |   798736 |   571882 |    25925     46 |      839 |      766
1677.04/1677.68	c 1677s |      19 |   799164 |   572282 |    25925     46 |      839 |      766
1679.14/1679.74	c 1679s |      19 |   799502 |   572582 |    25925     46 |      839 |      766
1681.53/1682.10	c 1681s |      19 |   800083 |   573082 |    25925     46 |      839 |      766
1683.93/1684.60	c 1684s |      19 |   800652 |   573582 |    25925     46 |      839 |      766
1686.02/1686.62	c 1686s |      19 |   801090 |   573982 |    25925     46 |      839 |      766
1688.42/1689.04	c 1688s |      19 |   801549 |   574382 |    25925     46 |      839 |      766
1690.62/1691.26	c 1691s |      19 |   802033 |   574782 |    25925     46 |      839 |      766
1692.82/1693.41	c 1693s |      19 |   802495 |   575182 |    25925     46 |      839 |      766
1695.32/1695.98	c 1695s |      19 |   802928 |   575582 |    25925     46 |      839 |      766
1697.62/1698.29	c 1698s |      19 |   803388 |   575982 |    25925     46 |      839 |      766
1700.22/1700.82	c 1700s |      19 |   803823 |   576382 |    25925     46 |      839 |      766
1702.52/1703.10	c 1702s |      19 |   804280 |   576782 |    25925     46 |      839 |      766
1705.12/1705.76	c 1705s |      19 |   804693 |   577182 |    25925     46 |      839 |      766
1707.22/1707.82	c 1707s |      19 |   805011 |   577482 |    25925     46 |      839 |      766
1709.82/1710.41	c 1710s |      19 |   805465 |   577882 |    25925     46 |      839 |      766
1712.42/1713.00	c 1712s |      19 |   805899 |   578282 |    25925     46 |      839 |      766
1714.52/1715.11	c 1714s |      19 |   806230 |   578582 |    25925     46 |      839 |      766
1717.12/1717.72	c 1717s |      19 |   806670 |   578982 |    25925     46 |      839 |      766
1719.52/1720.17	c 1719s |      19 |   806993 |   579282 |    25925     47 |      839 |      766
1721.71/1722.38	c 1722s |      19 |   807421 |   579682 |    25925     47 |      839 |      766
1723.91/1724.52	c 1724s |      19 |   807857 |   580082 |    25925     47 |      839 |      766
1726.11/1726.74	c 1726s |      19 |   808453 |   580582 |    25925     47 |      839 |      766
1728.11/1728.77	c 1728s |      19 |   808884 |   580982 |    25925     47 |      839 |      766
1730.21/1730.84	c 1730s |      19 |   809345 |   581382 |    25925     47 |      839 |      766
1732.41/1733.01	c 1732s |      19 |   809788 |   581782 |    25925     47 |      839 |      766
1734.41/1735.02	c 1734s |      19 |   810231 |   582182 |    25925     47 |      839 |      766
1736.91/1737.59	c 1737s |      19 |   810670 |   582582 |    25925     47 |      839 |      766
1739.11/1739.74	c 1739s |      19 |   811120 |   582982 |    25925     47 |      839 |      766
1741.51/1742.18	c 1741s |      19 |   811559 |   583382 |    25925     47 |      839 |      766
1743.81/1744.46	c 1744s |      19 |   811981 |   583782 |    25925     47 |      839 |      766
1746.32/1746.97	c 1746s |      19 |   812434 |   584182 |    25925     47 |      839 |      766
1748.53/1749.19	c 1748s |      19 |   813075 |   584682 |    25925     47 |      839 |      766
1750.63/1751.26	c 1751s |      19 |   813771 |   585182 |    25925     47 |      839 |      766
1752.62/1753.29	c 1753s |      19 |   814696 |   585682 |    25925     47 |      839 |      766
1754.72/1755.30	c 1755s |      19 |   816240 |   586482 |    25925     47 |      839 |      766
1756.91/1757.53	c 1757s |      19 |   817851 |   587382 |    25925     47 |      839 |      766
1759.31/1759.94	c 1759s |      19 |   818719 |   588082 |    25925     47 |      839 |      766
1761.41/1762.00	c 1761s |      19 |   819915 |   588882 |    25925     47 |      839 |      766
1763.51/1764.16	c 1763s |      19 |   821129 |   589682 |    25925     47 |      839 |      766
1765.61/1766.22	c 1765s |      19 |   821846 |   590282 |    25925     47 |      839 |      766
1767.71/1768.35	c 1768s |      19 |   822578 |   590882 |    25925     47 |      839 |      766
1770.01/1770.64	c 1770s |      19 |   823544 |   591582 |    25925     47 |      839 |      766
1772.11/1772.79	c 1772s |      19 |   824364 |   592182 |    25925     47 |      839 |      766
1774.51/1775.11	c 1774s |      19 |   825284 |   592882 |    25925     47 |      839 |      766
1776.51/1777.13	c 1776s |      19 |   825907 |   593382 |    25925     47 |      839 |      766
1778.71/1779.32	c 1779s |      19 |   826371 |   593782 |    25925     48 |      839 |      766
1780.81/1781.48	c 1781s |      19 |   827222 |   594482 |    25925     48 |      839 |      766
1783.01/1783.68	c 1783s |      19 |   828094 |   595182 |    25925     48 |      839 |      766
1785.31/1785.91	c 1785s |      19 |   828790 |   595782 |    25925     48 |      839 |      766
1787.51/1788.13	c 1787s |      19 |   829487 |   596382 |    25925     48 |      839 |      766
1789.81/1790.41	c 1790s |      19 |   830365 |   597082 |    25925     48 |      839 |      766
1792.11/1792.73	c 1792s |      19 |   831066 |   597682 |    25925     48 |      839 |      766
1794.51/1795.12	c 1794s |      19 |   831740 |   598282 |    25925     48 |      839 |      766
1796.71/1797.36	c 1797s |      19 |   832427 |   598882 |    25925     48 |      839 |      766
1798.91/1799.50	c 1799s |      19 |   832992 |   599382 |    25925     48 |      839 |      766

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

pid=3617
running on 8 cores: 4-7,12-15

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.07 2.05 2.02 2/261 3620
/proc/meminfo: memFree=30819004/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1072572 CPUtime=0 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 4060 0 0 0 0 0 0 0 20 0 4 0 29734911 1098313728 4932 33554432000 4194304 16246674 140736991941008 140736991924000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 268911 4941 441 2943 0 265805 0
[pid=3620/tid=3621] ppid=3617 vsize=1121724 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1148645376 5124 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1125820 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1152839680 5140 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1129916 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1157033984 5157 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 2.07 2.05 2.02 2/261 3620
/proc/meminfo: memFree=30819004/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1220164 CPUtime=0.09 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 28274 0 0 0 5 4 0 0 20 0 4 0 29734911 1249447936 29083 33554432000 4194304 16246674 140736991941008 140736991940320 4221040 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 305041 29083 801 2943 0 301935 0
[pid=3620/tid=3621] ppid=3617 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1249447936 29083 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1249447936 29083 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1249447936 29083 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200499 s]
/proc/loadavg: 2.07 2.05 2.02 2/261 3620
/proc/meminfo: memFree=30819004/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1301060 CPUtime=0.19 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 48481 0 0 0 13 6 0 0 20 0 4 0 29734911 1332285440 49290 33554432000 4194304 16246674 140736991941008 140736991940320 12477692 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 325265 49290 842 2943 0 322159 0
[pid=3620/tid=3621] ppid=3617 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1332285440 49290 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1332285440 49290 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1332285440 49290 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300465 s]
/proc/loadavg: 2.07 2.05 2.02 2/261 3620
/proc/meminfo: memFree=30819004/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1301060 CPUtime=0.29 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 50854 0 0 0 23 6 0 0 20 0 4 0 29734911 1332285440 51663 33554432000 4194304 16246674 140736991941008 140736991940320 13780501 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 325265 51669 882 2943 0 322159 0
[pid=3620/tid=3621] ppid=3617 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1332285440 51673 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1332285440 51677 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1332285440 51681 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.70036 s]
/proc/loadavg: 2.07 2.05 2.02 2/261 3620
/proc/meminfo: memFree=30819004/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1301060 CPUtime=0.69 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 102240 0 0 0 54 15 0 0 20 0 4 0 29734911 1332285440 103049 33554432000 4194304 16246674 140736991941008 140736991922880 5546181 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 325265 103056 882 2943 0 322159 0
[pid=3620/tid=3621] ppid=3617 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1332285440 103060 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1332285440 103063 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1332285440 103068 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 2.06 2.05 2.02 3/265 3624
/proc/meminfo: memFree=30197868/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1312324 CPUtime=1.49 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 206288 0 0 0 120 29 0 0 20 0 4 0 29734911 1343819776 207097 33554432000 4194304 16246674 140736991941008 140736991922880 4221105 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 328081 207099 889 2943 0 324975 0
[pid=3620/tid=3621] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 207100 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 207102 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 207103 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.10038 s]
/proc/loadavg: 2.06 2.05 2.02 3/265 3624
/proc/meminfo: memFree=29991348/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1312324 CPUtime=3.09 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 269243 0 0 0 273 36 0 0 20 0 4 0 29734911 1343819776 270052 33554432000 4194304 16246674 140736991941008 140736991922880 5712760 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 328081 270052 889 2943 0 324975 0
[pid=3620/tid=3621] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 270052 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 270052 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 270052 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30037 s]
/proc/loadavg: 2.06 2.05 2.02 3/265 3624
/proc/meminfo: memFree=29739732/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1312324 CPUtime=6.29 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 269266 0 0 0 593 36 0 0 20 0 4 0 29734911 1343819776 270075 33554432000 4194304 16246674 140736991941008 140736991922880 5822604 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 328081 270075 889 2943 0 324975 0
[pid=3620/tid=3621] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 270075 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 270075 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 270075 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 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.05 2.05 2.02 3/265 3624
/proc/meminfo: memFree=29739536/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1312324 CPUtime=12.69 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 269268 0 0 0 1233 36 0 0 20 0 4 0 29734911 1343819776 270077 33554432000 4194304 16246674 140736991941008 140736991922880 5721776 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 328081 270077 891 2943 0 324975 0
[pid=3620/tid=3621] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 270077 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 270077 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 270077 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5006 s]
/proc/loadavg: 2.05 2.04 2.02 3/265 3624
/proc/meminfo: memFree=29740148/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1312324 CPUtime=25.48 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 269269 0 0 0 2512 36 0 0 20 0 4 0 29734911 1343819776 270078 33554432000 4194304 16246674 140736991941008 140736991922880 12415740 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 328081 270078 891 2943 0 324975 0
[pid=3620/tid=3621] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 270078 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 270078 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 270078 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.09 2.05 2.02 3/266 3627
/proc/meminfo: memFree=29740096/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1312324 CPUtime=51.09 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 269270 0 0 0 5072 37 0 0 20 0 4 0 29734911 1343819776 270079 33554432000 4194304 16246674 140736991941008 140736991922880 5523192 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 328081 270079 892 2943 0 324975 0
[pid=3620/tid=3621] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 270079 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 270079 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1343819776 270079 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/265 3628
/proc/meminfo: memFree=29730820/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1321540 CPUtime=102.28 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 271417 0 0 0 10191 37 0 0 20 0 4 0 29734911 1353256960 272226 33554432000 4194304 16246674 140736991941008 140736991922880 13760237 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 330385 272226 892 2943 0 327279 0
[pid=3620/tid=3621] ppid=3617 vsize=1321540 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1353256960 272226 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1321540 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1353256960 272226 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1321540 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1353256960 272226 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1321540


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

/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1340996

[startup+1302.3 s]
/proc/loadavg: 2.25 2.11 2.03 3/265 3730
/proc/meminfo: memFree=29718160/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1340996 CPUtime=1301.78 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 276846 0 0 0 130130 48 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 140736991922880 5546173 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 335249 277250 892 2943 0 332143 0
[pid=3620/tid=3621] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1340996

[startup+1362.3 s]
/proc/loadavg: 2.24 2.13 2.04 3/265 3731
/proc/meminfo: memFree=29718208/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1340996 CPUtime=1361.78 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 276846 0 0 0 136129 49 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 140736991922880 13950202 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 335249 277250 892 2943 0 332143 0
[pid=3620/tid=3621] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1340996

[startup+1422.3 s]
/proc/loadavg: 2.30 2.17 2.06 3/265 3733
/proc/meminfo: memFree=29717964/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1340996 CPUtime=1421.77 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 276846 0 0 0 142128 49 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 140736991922880 5712608 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 335249 277250 892 2943 0 332143 0
[pid=3620/tid=3621] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1340996

[startup+1482.3 s]
/proc/loadavg: 2.18 2.16 2.06 3/265 3734
/proc/meminfo: memFree=29717824/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1340996 CPUtime=1481.75 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 276846 0 0 0 148125 50 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 140736991922880 5672197 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 335249 277250 892 2943 0 332143 0
[pid=3620/tid=3621] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1340996

[startup+1542.31 s]
/proc/loadavg: 2.12 2.15 2.06 3/265 3735
/proc/meminfo: memFree=29717964/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1340996 CPUtime=1541.76 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 276846 0 0 0 154125 51 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 140736991922880 5822488 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 335249 277250 892 2943 0 332143 0
[pid=3620/tid=3621] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1340996

[startup+1602.3 s]
/proc/loadavg: 2.09 2.13 2.06 3/265 3736
/proc/meminfo: memFree=29717692/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1340996 CPUtime=1601.74 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 276846 0 0 0 160122 52 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 140736991940104 5677667 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 335249 277250 892 2943 0 332143 0
[pid=3620/tid=3621] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1340996

[startup+1662.3 s]
/proc/loadavg: 2.13 2.14 2.06 3/265 3737
/proc/meminfo: memFree=29717204/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1340996 CPUtime=1661.73 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 276846 0 0 0 166121 52 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 140736991922880 5827966 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 335249 277250 892 2943 0 332143 0
[pid=3620/tid=3621] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1340996

[startup+1722.3 s]
/proc/loadavg: 2.05 2.11 2.06 3/265 3739
/proc/meminfo: memFree=29717428/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1340996 CPUtime=1721.71 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 276846 0 0 0 172118 53 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 140736991922880 5711439 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 335249 277250 892 2943 0 332143 0
[pid=3620/tid=3621] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1340996

[startup+1782.3 s]
/proc/loadavg: 2.06 2.10 2.06 3/265 3740
/proc/meminfo: memFree=29715824/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1340996 CPUtime=1781.71 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 276846 0 0 0 178117 54 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 140736991922880 12483198 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 335249 277250 892 2943 0 332143 0
[pid=3620/tid=3621] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1340996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.05 2.10 2.06 3/265 3740
/proc/meminfo: memFree=29716252/32872528 swapFree=7556/7556
[pid=3620] ppid=3617 vsize=1340996 CPUtime=1800.01 cores=4-7,12-15
/proc/3620/stat : 3620 (toysat) R 3617 3620 32495 0 -1 4202496 276846 0 0 0 179947 54 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 140736991922880 5822484 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3620/statm: 335249 277250 892 2943 0 332143 0
[pid=3620/tid=3621] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3621/stat : 3621 (toysat) S 3617 3620 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786184535280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3620/tid=3622] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3622/stat : 3622 (toysat) S 3617 3620 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786174045424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3620/tid=3623] ppid=3617 vsize=1340996 CPUtime=0 cores=4-7,12-15
/proc/3620/task/3623/stat : 3623 (toysat) S 3617 3620 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29734911 1373179904 277250 33554432000 4194304 16246674 140736991941008 139786085985456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1340996

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.02
CPU user time (s): 1799.48
CPU system time (s): 0.542917
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 1340996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.542917
maximum resident set size= 1109000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276846
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= 423
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.44272 second user time and 11.1133 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 20:49:27
IDJOB=4116749
IDBENCH=109509
IDSOLVER=2542
FILE ID=node132/4116749-1466966967
RUNJOBID= node132-1466939688-32512
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= 11fccc9b5639e41e584928c6062c3dc6
RANDOM SEED=1783495852

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30819092 kB
Buffers:           46464 kB
Cached:           183156 kB
SwapCached:         1784 kB
Active:          1169220 kB
Inactive:         166772 kB
Active(anon):    1106620 kB
Inactive(anon):     1700 kB
Active(file):      62600 kB
Inactive(file):   165072 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16976 kB
Writeback:             0 kB
AnonPages:       1115112 kB
Mapped:            10780 kB
Shmem:                 0 kB
Slab:             571504 kB
SReclaimable:      12080 kB
SUnreclaim:       559424 kB
KernelStack:        2216 kB
PageTables:         6372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1257428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71496 MiB
End job on node132 at 2016-06-26 21:19:28