Trace number 4117277

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.04 1800.62

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size80-round22-0.opb
MD5SUM2fda4b5e62de0cf52e0e868680492c08
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark747.322
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 constraints8656
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)368
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-26T17:49:21+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-4117277-1466956160.opb"]
0.00/0.01	c use --random-gen="1210449770 3785331879 3433004450 3872040665 2118344997 4037700659 4153193287 852488120 1333578958 3057987453 1817252091 2113976205 2931609406 2547168447 426123675 3825106225 2300649132 3244752983 3090047348 3249340367 151137773 1216015324 4082111647 2138104665 1618499827 2789962387 1440581407 535816110 1427344012 940152949 3838035078 3641737614 3723257793 2626738851 2044742362 2189496817 3395097147 920419266 2017350300 2258581285 2832645692 3461310525 1127530906 3119573075 3221035871 3331217115 3701407072 2004373218 1753497010 2227857531 144987311 2978266151 4047034496 2778169987 3515170986 2563521650 1512573728 2583125716 3203842042 3115363375 3947923813 3006745481 2216537766 1206718474 2016068101 2466715512 407555590 3596054190 2965370834 3098138035 4050617335 3410109665 225489850 900623759 1988453124 1034724290 3577979925 4071974212 3827289913 4290342594 2436254619 3780850964 2019431507 612865681 947533337 284366746 2258016712 242470653 650640250 1751536042 403232068 2537014370 632252894 540222351 4259557186 1267124269 1750022225 1837096786 1822175865 923239703 10593888 2113623372 4231577578 2870612104 4048123279 417033621 2640219849 1614732150 1313894541 1362490041 1948496748 3476191966 2036404266 262408766 190052586 2004890930 690568191 3003666864 4261922605 2678554042 2374103303 2343020155 2493691376 3235141897 629509805 31066419 2694892546 3481279338 3973350239 3015469912 597719092 2820145468 3362420536 2529297226 625614671 4187864230 2262521613 3335550778 327439889 4003058950 2999874261 3294810055 602848834 3885381716 1855656037 2143012404 1837123092 3942836542 3017014755 414792809 1000357743 1848952730 68338643 512174973 3262474023 1717363692 2960031114 1152123842 3293488761 3431974863 3465090928 4237231695 3131516174 3262865370 1197061552 690753996 3214303039 3581932852 2259403882 4103225392 1278649421 3913099099 3934725703 3349821018 286879947 1817418134 671721335 1081266714 3337129587 1939888253 2800383788 3619650525 3601433283 794621362 3583186205 3195095104 101772524 1373081720 1259003320 1513864933 179307955 1041623273 1453814258 1399049890 421982369 2531819692 258932987 1181315542 3375590578 2423911536 3121304909 3924210070 64132415 1062428786 3792828944 3339771925 3958045455 2955522474 2262560556 2542423453 3170294630 1088397919 3860670896 2535610698 2007678485 4204992578 1657572771 1454428211 1755677521 1988708148 1895765146 2789998831 942423486 4081651159 4286170123 4232149678 1897694706 2439410032 1630900642 481226850 2815339624 4087827965 1352175909 1153621514 888676290 4237434494 1473996338 1946523546 2830644247 2836927558 4257300148 1544284499 3616680044 2060489680 1463689623 3558196340 2310902684 2377773732 908266989 2509467315 2195931900 1044566416 4161950820 792575860 129311267 800945367 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8656
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 |      597 |        0
0.29/0.34	c  0.1s |       1 |      504 |      100 |     4234      0 |      598 |      334
0.38/0.47	c  0.2s |       2 |     2029 |      250 |     4658      0 |      598 |      334
0.58/0.61	c  0.4s |       3 |     3582 |      475 |     5124      0 |      599 |      334
0.79/0.83	c  0.6s |       4 |     6651 |      813 |     5637      0 |      599 |      334
1.39/1.45	c  1.2s |       5 |     9021 |     1320 |     6201      0 |      599 |      334
1.79/1.84	c  1.6s |       6 |    13256 |     2081 |     7505      0 |      599 |      334
3.09/3.15	c  2.9s |       7 |    17121 |     3223 |     8256      0 |      599 |      334
4.89/4.94	c  4.7s |       8 |    20526 |     4936 |     9082      0 |      599 |      334
6.89/6.97	c  6.7s |       8 |    24817 |     6736 |     9082      0 |      599 |      334
7.69/7.76	c  7.5s |       9 |    25831 |     7506 |     9991      0 |      599 |      334
9.79/9.88	c  9.6s |       9 |    32303 |     9606 |     9991      0 |      599 |      334
11.69/11.73	c 11.5s |      10 |    36832 |    11361 |    10991      0 |      599 |      334
13.68/13.75	c 13.5s |      10 |    39793 |    12661 |    10991      0 |      599 |      334
15.68/15.77	c 15.5s |      10 |    41129 |    13861 |    10991      0 |      599 |      334
17.88/17.93	c 17.7s |      10 |    42164 |    14861 |    10991      1 |      599 |      334
19.99/20.07	c 19.8s |      10 |    43345 |    15961 |    10991      1 |      599 |      334
22.10/22.16	c 21.9s |      10 |    44399 |    16961 |    10991      1 |      599 |      334
22.48/22.59	c 22.3s |      11 |    44580 |    17144 |    12091      1 |      599 |      334
24.58/24.67	c 24.4s |      11 |    50671 |    19144 |    12091      1 |      599 |      334
26.68/26.75	c 26.5s |      11 |    59421 |    21744 |    12091      2 |      599 |      334
28.69/28.78	c 28.5s |      11 |    63317 |    23644 |    12091      2 |      599 |      334
30.78/30.88	c 30.6s |      11 |    66134 |    25244 |    12091      2 |      599 |      334
31.78/31.81	c 31.6s |      12 |    66931 |    25819 |    13301      2 |      599 |      334
33.88/33.92	c 33.7s |      12 |    71620 |    27719 |    13301      2 |      599 |      334
35.88/35.93	c 35.7s |      12 |    76331 |    29319 |    13301      2 |      599 |      334
37.88/37.97	c 37.7s |      12 |    81659 |    30919 |    13301      3 |      599 |      334
39.88/39.98	c 39.7s |      12 |    83386 |    32319 |    13301      3 |      599 |      334
42.08/42.11	c 41.9s |      12 |    84879 |    33619 |    13301      3 |      599 |      334
44.19/44.27	c 44.0s |      12 |    86247 |    34819 |    13301      3 |      599 |      334
46.29/46.38	c 46.1s |      12 |    87359 |    35819 |    13301      3 |      599 |      334
48.38/48.42	c 48.2s |      12 |    88437 |    36719 |    13301      3 |      599 |      334
50.58/50.62	c 50.4s |      12 |    89464 |    37619 |    13301      3 |      599 |      334
52.78/52.88	c 52.6s |      12 |    90459 |    38519 |    13301      3 |      599 |      334
53.78/53.80	c 53.5s |      13 |    90809 |    38832 |    14632      3 |      599 |      334
55.78/55.81	c 55.6s |      13 |    98355 |    40932 |    14632      4 |      599 |      334
57.78/57.82	c 57.6s |      13 |   100933 |    42532 |    14632      4 |      599 |      334
59.87/59.91	c 59.7s |      13 |   102515 |    43732 |    14632      4 |      599 |      334
61.87/61.95	c 61.7s |      13 |   103965 |    44932 |    14632      4 |      599 |      334
63.98/64.09	c 63.8s |      13 |   104883 |    45732 |    14632      4 |      599 |      334
66.18/66.22	c 66.0s |      13 |   106094 |    46732 |    14632      4 |      599 |      334
68.28/68.35	c 68.1s |      13 |   107206 |    47632 |    14632      4 |      599 |      334
70.48/70.56	c 70.3s |      13 |   108926 |    48832 |    14632      5 |      599 |      334
72.68/72.78	c 72.5s |      13 |   110325 |    49932 |    14632      5 |      599 |      334
74.67/74.79	c 74.5s |      13 |   111165 |    50632 |    14632      5 |      599 |      334
76.77/76.86	c 76.6s |      13 |   119817 |    52432 |    14632      5 |      599 |      334
78.87/78.90	c 78.6s |      13 |   122641 |    53932 |    14632      5 |      599 |      334
80.97/81.01	c 80.8s |      13 |   124191 |    55132 |    14632      5 |      599 |      334
83.17/83.21	c 83.0s |      13 |   125512 |    56232 |    14632      5 |      599 |      334
85.17/85.29	c 85.0s |      13 |   126549 |    57132 |    14632      5 |      599 |      334
87.47/87.51	c 87.3s |      13 |   127487 |    57932 |    14632      6 |      599 |      334
88.37/88.43	c 88.2s |      14 |   127935 |    58352 |    16096      6 |      599 |      334
90.48/90.52	c 90.3s |      14 |   133426 |    60152 |    16096      6 |      599 |      334
92.59/92.62	c 92.4s |      14 |   135264 |    61652 |    16096      6 |      599 |      334
94.69/94.76	c 94.5s |      14 |   137077 |    63152 |    16096      6 |      599 |      334
96.68/96.79	c 96.5s |      14 |   138580 |    64452 |    16096      6 |      599 |      334
98.88/98.94	c 98.7s |      14 |   139937 |    65652 |    16096      6 |      599 |      334
100.88/100.97	c  100s |      14 |   141170 |    66752 |    16096      6 |      599 |      334
102.98/103.08	c  102s |      14 |   142403 |    67852 |    16096      6 |      599 |      334
105.18/105.26	c  105s |      14 |   143420 |    68752 |    16096      7 |      599 |      334
107.17/107.27	c  107s |      14 |   145501 |    69952 |    16096      7 |      599 |      334
109.27/109.39	c  109s |      14 |   146911 |    71052 |    16096      7 |      599 |      334
111.57/111.60	c  111s |      14 |   147827 |    71852 |    16096      7 |      599 |      334
113.57/113.65	c  113s |      14 |   148604 |    72552 |    16096      7 |      599 |      334
115.58/115.69	c  115s |      14 |   149403 |    73252 |    16096      7 |      599 |      334
117.97/118.07	c  117s |      14 |   150308 |    74052 |    16096      7 |      599 |      334
120.17/120.23	c  119s |      14 |   151087 |    74752 |    16096      7 |      599 |      334
122.37/122.42	c  122s |      14 |   151623 |    75252 |    16096      7 |      599 |      334
124.38/124.47	c  124s |      14 |   152522 |    75952 |    16096      7 |      599 |      334
126.58/126.63	c  126s |      14 |   156482 |    77052 |    16096      8 |      599 |      334
128.67/128.76	c  128s |      14 |   157636 |    78052 |    16096      8 |      599 |      334
130.77/130.87	c  130s |      14 |   158668 |    78952 |    16096      8 |      599 |      334
132.87/132.95	c  132s |      14 |   159696 |    79852 |    16096      8 |      599 |      334
134.87/134.95	c  134s |      14 |   160478 |    80552 |    16096      8 |      599 |      334
136.97/137.03	c  136s |      14 |   161114 |    81152 |    16096      8 |      599 |      334
139.07/139.10	c  138s |      14 |   161882 |    81852 |    16096      8 |      599 |      334
141.17/141.27	c  141s |      14 |   162776 |    82652 |    16096      8 |      599 |      334
143.26/143.36	c  143s |      14 |   163549 |    83352 |    16096      8 |      599 |      334
145.46/145.56	c  145s |      14 |   164297 |    84052 |    16096      8 |      599 |      334
147.86/147.92	c  147s |      14 |   164954 |    84652 |    16096      8 |      599 |      334
150.16/150.29	c  150s |      14 |   165615 |    85252 |    16096      8 |      599 |      334
152.26/152.38	c  152s |      14 |   166426 |    85952 |    16096      8 |      599 |      334
154.36/154.47	c  154s |      14 |   167210 |    86552 |    16096      9 |      599 |      334
156.56/156.62	c  156s |      14 |   168312 |    87452 |    17706      9 |      599 |      334
157.06/157.10	c  156s |      15 |   168582 |    87632 |    17706      9 |      599 |      334
159.06/159.18	c  158s |      15 |   183078 |    90232 |    17706      9 |      599 |      334
161.06/161.18	c  160s |      15 |   184783 |    91532 |    17706      9 |      599 |      334
163.16/163.25	c  162s |      15 |   186550 |    92832 |    17706      9 |      599 |      334
165.26/165.38	c  165s |      15 |   188366 |    94232 |    17706      9 |      599 |      334
167.56/167.60	c  167s |      15 |   189832 |    95332 |    17706      9 |      599 |      334
169.57/169.61	c  169s |      15 |   191108 |    96332 |    17706      9 |      599 |      334
171.77/171.82	c  171s |      15 |   192650 |    97532 |    17706      9 |      599 |      334
173.76/173.86	c  173s |      15 |   193705 |    98332 |    17706     10 |      599 |      334
175.86/175.91	c  175s |      15 |   195046 |    99432 |    17706     10 |      599 |      334
177.86/177.96	c  177s |      15 |   196522 |   100532 |    17706     10 |      599 |      334
179.96/180.02	c  179s |      15 |   197625 |   101432 |    17706     10 |      599 |      334
181.96/182.03	c  181s |      15 |   198570 |   102232 |    17706     10 |      599 |      334
184.06/184.11	c  183s |      15 |   199545 |   103032 |    17706     10 |      599 |      334
186.26/186.31	c  186s |      15 |   200793 |   104032 |    17706     10 |      599 |      334
188.36/188.45	c  188s |      15 |   202001 |   104932 |    17706     10 |      599 |      334
190.56/190.65	c  190s |      15 |   203379 |   105932 |    17706     10 |      599 |      334
192.57/192.67	c  192s |      15 |   204200 |   106632 |    17706     10 |      599 |      334
194.66/194.74	c  194s |      15 |   204978 |   107332 |    17706     10 |      599 |      334
196.76/196.81	c  196s |      15 |   205838 |   108032 |    17706     10 |      599 |      334
198.76/198.89	c  198s |      15 |   206670 |   108732 |    17706     11 |      599 |      334
200.86/200.95	c  200s |      15 |   208066 |   109832 |    17706     11 |      599 |      334
203.06/203.10	c  202s |      15 |   209361 |   110832 |    17706     11 |      599 |      334
205.16/205.29	c  205s |      15 |   210704 |   111832 |    17706     11 |      599 |      334
207.35/207.42	c  207s |      15 |   211940 |   112832 |    17706     11 |      599 |      334
209.35/209.47	c  209s |      15 |   212942 |   113632 |    17706     11 |      599 |      334
211.45/211.52	c  211s |      15 |   214011 |   114432 |    17706     11 |      599 |      334
213.46/213.55	c  213s |      15 |   215142 |   115332 |    17706     11 |      599 |      334
215.66/215.78	c  215s |      15 |   215997 |   116132 |    17706     11 |      599 |      334
217.75/217.81	c  217s |      15 |   217126 |   117032 |    17706     11 |      599 |      334
219.75/219.89	c  219s |      15 |   218314 |   117932 |    17706     11 |      599 |      334
221.95/222.04	c  221s |      15 |   219270 |   118632 |    17706     12 |      599 |      334
224.06/224.11	c  223s |      15 |   223050 |   120432 |    17706     12 |      599 |      334
226.06/226.14	c  225s |      15 |   226234 |   122132 |    17706     12 |      599 |      334
228.06/228.15	c  227s |      15 |   228833 |   123432 |    17706     12 |      599 |      334
230.07/230.19	c  229s |      15 |   241219 |   125732 |    17706     12 |      599 |      334
232.27/232.32	c  232s |      15 |   243143 |   127032 |    17706     12 |      599 |      334
234.46/234.51	c  234s |      15 |   244429 |   128032 |    17706     12 |      599 |      334
236.45/236.52	c  236s |      15 |   247351 |   129332 |    17706     13 |      599 |      334
238.45/238.52	c  238s |      15 |   251596 |   131132 |    19477     13 |      599 |      334
238.65/238.80	c  238s |      16 |   253477 |   131552 |    19477     13 |      599 |      334
240.75/240.87	c  240s |      16 |   256928 |   132952 |    19477     13 |      599 |      334
242.85/242.93	c  242s |      16 |   258389 |   134152 |    19477     13 |      599 |      334
244.95/245.08	c  244s |      16 |   259465 |   135152 |    19477     13 |      599 |      334
247.25/247.32	c  247s |      16 |   260560 |   136152 |    19477     13 |      599 |      334
249.35/249.46	c  249s |      16 |   261382 |   136952 |    19477     13 |      599 |      334
251.55/251.61	c  251s |      16 |   263543 |   138252 |    19477     13 |      599 |      334
253.65/253.74	c  253s |      16 |   264761 |   139252 |    19477     13 |      599 |      334
255.65/255.74	c  255s |      16 |   266933 |   140552 |    19477     13 |      599 |      334
257.65/257.78	c  257s |      16 |   268484 |   141752 |    19477     14 |      599 |      334
259.95/260.01	c  259s |      16 |   270806 |   142952 |    19477     14 |      599 |      334
262.15/262.23	c  261s |      16 |   272030 |   143952 |    19477     14 |      599 |      334
264.25/264.32	c  264s |      16 |   272920 |   144752 |    19477     14 |      599 |      334
266.26/266.35	c  266s |      16 |   274202 |   145752 |    19477     14 |      599 |      334
268.46/268.55	c  268s |      16 |   275084 |   146552 |    19477     14 |      599 |      334
270.55/270.67	c  270s |      16 |   275983 |   147352 |    19477     14 |      599 |      334
272.86/272.94	c  272s |      16 |   276754 |   148052 |    19477     14 |      599 |      334
274.94/275.06	c  274s |      16 |   277291 |   148552 |    19477     14 |      599 |      334
277.04/277.12	c  276s |      16 |   277927 |   149152 |    19477     14 |      599 |      334
279.34/279.48	c  279s |      16 |   278466 |   149652 |    19477     14 |      599 |      334
281.94/282.00	c  281s |      16 |   278987 |   150152 |    19477     14 |      599 |      334
284.44/284.57	c  284s |      16 |   279509 |   150652 |    19477     14 |      599 |      334
286.54/286.67	c  286s |      16 |   279941 |   151052 |    19477     14 |      599 |      334
288.84/288.94	c  288s |      16 |   280518 |   151552 |    19477     14 |      599 |      334
290.94/291.02	c  290s |      16 |   281180 |   152152 |    19477     14 |      599 |      334
293.04/293.12	c  292s |      16 |   281715 |   152652 |    19477     15 |      599 |      334
295.24/295.32	c  295s |      16 |   282348 |   153252 |    19477     15 |      599 |      334
297.44/297.58	c  297s |      16 |   283093 |   153952 |    19477     15 |      599 |      334
299.54/299.62	c  299s |      16 |   283735 |   154552 |    19477     15 |      599 |      334
301.74/301.85	c  301s |      16 |   284425 |   155152 |    19477     15 |      599 |      334
303.84/303.96	c  303s |      16 |   285252 |   155852 |    19477     15 |      599 |      334
306.04/306.17	c  305s |      16 |   286148 |   156652 |    19477     15 |      599 |      334
308.24/308.37	c  308s |      16 |   286790 |   157252 |    19477     15 |      599 |      334
310.54/310.62	c  310s |      16 |   287449 |   157852 |    19477     15 |      599 |      334
312.84/312.93	c  312s |      16 |   288062 |   158452 |    19477     15 |      599 |      334
314.84/314.95	c  314s |      16 |   288575 |   158952 |    19477     15 |      599 |      334
316.95/317.03	c  316s |      16 |   289240 |   159552 |    19477     15 |      599 |      334
319.15/319.24	c  318s |      16 |   290831 |   160552 |    19477     15 |      599 |      334
321.35/321.45	c  321s |      16 |   291910 |   161352 |    19477     15 |      599 |      334
323.45/323.61	c  323s |      16 |   292867 |   162152 |    19477     15 |      599 |      334
325.65/325.74	c  325s |      16 |   293829 |   162952 |    19477     15 |      599 |      334
327.73/327.80	c  327s |      16 |   294610 |   163652 |    19477     15 |      599 |      334
329.93/330.03	c  329s |      16 |   295415 |   164352 |    19477     16 |      599 |      334
332.13/332.27	c  332s |      16 |   296306 |   165152 |    19477     16 |      599 |      334
334.33/334.47	c  334s |      16 |   297063 |   165852 |    19477     16 |      599 |      334
336.53/336.66	c  336s |      16 |   298170 |   166752 |    19477     16 |      599 |      334
338.84/338.91	c  338s |      16 |   299114 |   167552 |    19477     16 |      599 |      334
340.83/340.94	c  340s |      16 |   300059 |   168352 |    19477     16 |      599 |      334
342.93/343.06	c  342s |      16 |   300949 |   169152 |    19477     16 |      599 |      334
345.03/345.19	c  344s |      16 |   301890 |   169952 |    19477     16 |      599 |      334
347.23/347.36	c  347s |      16 |   302722 |   170652 |    19477     16 |      599 |      334
349.53/349.61	c  349s |      16 |   303541 |   171352 |    19477     16 |      599 |      334
351.83/351.94	c  351s |      16 |   304327 |   172052 |    19477     16 |      599 |      334
354.13/354.21	c  353s |      16 |   305172 |   172752 |    19477     16 |      599 |      334
356.13/356.28	c  356s |      16 |   305821 |   173352 |    19477     16 |      599 |      334
358.33/358.43	c  358s |      16 |   306482 |   173952 |    19477     16 |      599 |      334
360.53/360.61	c  360s |      16 |   307147 |   174552 |    19477     16 |      599 |      334
362.93/363.04	c  362s |      16 |   307704 |   175052 |    19477     17 |      599 |      334
365.03/365.11	c  364s |      16 |   308490 |   175752 |    19477     17 |      599 |      334
367.13/367.20	c  366s |      16 |   318015 |   177552 |    19477     17 |      599 |      334
369.13/369.25	c  369s |      16 |   319809 |   178752 |    19477     17 |      599 |      334
371.33/371.46	c  371s |      16 |   321316 |   179852 |    19477     17 |      599 |      334
373.53/373.60	c  373s |      16 |   322448 |   180752 |    19477     17 |      599 |      334
375.62/375.79	c  375s |      16 |   323562 |   181652 |    19477     17 |      599 |      334
377.82/377.92	c  377s |      16 |   324424 |   182352 |    19477     17 |      599 |      334
379.92/380.02	c  379s |      16 |   325126 |   182952 |    19477     17 |      599 |      334
382.22/382.36	c  382s |      16 |   325938 |   183652 |    19477     17 |      599 |      334
384.32/384.40	c  384s |      16 |   326653 |   184252 |    19477     17 |      599 |      334
386.42/386.50	c  386s |      16 |   327376 |   184852 |    19477     17 |      599 |      334
388.62/388.74	c  388s |      16 |   328257 |   185552 |    19477     17 |      599 |      334
390.82/390.90	c  390s |      16 |   329065 |   186152 |    19477     18 |      599 |      334
392.92/393.06	c  392s |      16 |   329982 |   186952 |    19477     18 |      599 |      334
394.93/395.10	c  394s |      16 |   330954 |   187752 |    19477     18 |      599 |      334
397.13/397.21	c  396s |      16 |   331944 |   188552 |    19477     18 |      599 |      334
399.33/399.43	c  399s |      16 |   332938 |   189352 |    19477     18 |      599 |      334
401.63/401.71	c  401s |      16 |   334286 |   190352 |    19477     18 |      599 |      334
403.73/403.86	c  403s |      16 |   335129 |   191052 |    19477     18 |      599 |      334
406.03/406.13	c  405s |      16 |   335948 |   191752 |    19477     18 |      599 |      334
408.02/408.16	c  407s |      16 |   336668 |   192352 |    19477     18 |      599 |      334
410.34/410.48	c  410s |      16 |   337498 |   193052 |    19477     18 |      599 |      334
412.33/412.48	c  412s |      16 |   338258 |   193652 |    19477     18 |      599 |      334
414.43/414.53	c  414s |      16 |   339233 |   194352 |    19477     18 |      599 |      334
416.73/416.89	c  416s |      16 |   340313 |   195152 |    19477     18 |      599 |      334
418.82/418.99	c  418s |      16 |   341264 |   195852 |    19477     18 |      599 |      334
421.02/421.13	c  420s |      16 |   342209 |   196552 |    21425     18 |      599 |      334
423.02/423.17	c  422s |      16 |   342968 |   197152 |    21425     18 |      599 |      334
423.92/424.07	c  423s |      17 |   343355 |   197432 |    21425     18 |      599 |      334
426.02/426.19	c  425s |      17 |   347861 |   198932 |    21425     19 |      599 |      334
428.12/428.29	c  428s |      17 |   349842 |   200332 |    21425     19 |      599 |      334
430.32/430.43	c  430s |      17 |   353387 |   202232 |    21425     19 |      599 |      334
432.33/432.48	c  432s |      17 |   355142 |   203632 |    21425     19 |      599 |      334
434.42/434.60	c  434s |      17 |   357577 |   205232 |    21425     19 |      599 |      334
436.62/436.77	c  436s |      17 |   359173 |   206432 |    21425     19 |      599 |      334
438.72/438.89	c  438s |      17 |   360601 |   207532 |    21425     19 |      599 |      334
440.92/441.03	c  440s |      17 |   361667 |   208432 |    21425     19 |      599 |      334
443.02/443.19	c  442s |      17 |   362860 |   209432 |    21425     19 |      599 |      334
445.22/445.33	c  445s |      17 |   363970 |   210332 |    21425     19 |      599 |      334
447.42/447.50	c  447s |      17 |   364847 |   211032 |    21425     20 |      599 |      334
449.62/449.73	c  449s |      17 |   365994 |   211932 |    21425     20 |      599 |      334
451.71/451.82	c  451s |      17 |   366964 |   212732 |    21425     20 |      599 |      334
453.91/454.06	c  453s |      17 |   367945 |   213532 |    21425     20 |      599 |      334
455.91/456.07	c  455s |      17 |   368763 |   214232 |    21425     20 |      599 |      334
458.01/458.12	c  457s |      17 |   369577 |   214932 |    21425     20 |      599 |      334
460.11/460.21	c  459s |      17 |   370408 |   215632 |    21425     20 |      599 |      334
462.21/462.30	c  462s |      17 |   372585 |   216832 |    21425     20 |      599 |      334
464.11/464.30	c  464s |      17 |   374248 |   217832 |    21425     20 |      599 |      334
466.22/466.35	c  466s |      17 |   375667 |   218832 |    21425     20 |      599 |      334
468.32/468.42	c  468s |      17 |   377410 |   219932 |    21425     20 |      599 |      334
470.42/470.52	c  470s |      17 |   378854 |   220932 |    21425     20 |      599 |      334
472.42/472.59	c  472s |      17 |   379791 |   221632 |    21425     20 |      599 |      334
474.51/474.69	c  474s |      17 |   380588 |   222332 |    21425     20 |      599 |      334
476.91/477.08	c  476s |      17 |   381555 |   223032 |    21425     21 |      599 |      334
479.01/479.12	c  478s |      17 |   382736 |   223932 |    21425     21 |      599 |      334
481.01/481.18	c  480s |      17 |   383947 |   224832 |    21425     21 |      599 |      334
483.21/483.36	c  483s |      17 |   385264 |   225832 |    21425     21 |      599 |      334
485.41/485.52	c  485s |      17 |   386252 |   226632 |    21425     21 |      599 |      334
487.51/487.68	c  487s |      17 |   387237 |   227432 |    21425     21 |      599 |      334
489.52/489.70	c  489s |      17 |   388076 |   228132 |    21425     21 |      599 |      334
491.61/491.70	c  491s |      17 |   388874 |   228832 |    21425     21 |      599 |      334
493.61/493.72	c  493s |      17 |   389681 |   229532 |    21425     21 |      599 |      334
495.81/495.90	c  495s |      17 |   390715 |   230332 |    21425     21 |      599 |      334
498.11/498.24	c  497s |      17 |   391657 |   231132 |    21425     21 |      599 |      334
500.21/500.34	c  500s |      17 |   392325 |   231732 |    21425     21 |      599 |      334
502.31/502.44	c  502s |      17 |   393098 |   232432 |    21425     21 |      599 |      334
504.41/504.51	c  504s |      17 |   393780 |   233032 |    21425     21 |      599 |      334
506.81/506.93	c  506s |      17 |   394447 |   233632 |    21425     21 |      599 |      334
509.01/509.16	c  508s |      17 |   395011 |   234132 |    21425     21 |      599 |      334
511.01/511.19	c  510s |      17 |   395589 |   234632 |    21425     21 |      599 |      334
513.21/513.38	c  513s |      17 |   396120 |   235132 |    21425     21 |      599 |      334
515.41/515.57	c  515s |      17 |   396686 |   235632 |    21425     22 |      599 |      334
517.41/517.58	c  517s |      17 |   397477 |   236332 |    21425     22 |      599 |      334
519.71/519.81	c  519s |      17 |   398265 |   237032 |    21425     22 |      599 |      334
521.91/522.04	c  521s |      17 |   399097 |   237732 |    21425     22 |      599 |      334
523.91/524.09	c  523s |      17 |   399785 |   238332 |    21425     22 |      599 |      334
526.01/526.11	c  525s |      17 |   400596 |   239032 |    21425     22 |      599 |      334
528.01/528.14	c  527s |      17 |   401297 |   239632 |    21425     22 |      599 |      334
530.40/530.51	c  530s |      17 |   401961 |   240232 |    21425     22 |      599 |      334
532.60/532.73	c  532s |      17 |   402618 |   240832 |    21425     22 |      599 |      334
534.80/534.93	c  534s |      17 |   403283 |   241432 |    21425     22 |      599 |      334
536.81/536.98	c  536s |      17 |   404129 |   242132 |    21425     22 |      599 |      334
539.01/539.14	c  538s |      17 |   404950 |   242832 |    21425     22 |      599 |      334
541.31/541.47	c  541s |      17 |   405734 |   243532 |    21425     22 |      599 |      334
543.60/543.75	c  543s |      17 |   406514 |   244232 |    21425     22 |      599 |      334
545.80/545.92	c  545s |      17 |   407324 |   244932 |    21425     22 |      599 |      334
548.00/548.18	c  547s |      17 |   408095 |   245632 |    21425     22 |      599 |      334
550.40/550.52	c  550s |      17 |   408785 |   246232 |    21425     22 |      599 |      334
552.60/552.75	c  552s |      17 |   409459 |   246832 |    21425     22 |      599 |      334
554.60/554.75	c  554s |      17 |   410021 |   247332 |    21425     22 |      599 |      334
556.71/556.83	c  556s |      17 |   410459 |   247732 |    21425     23 |      599 |      334
558.81/558.93	c  558s |      17 |   411463 |   248532 |    21425     23 |      599 |      334
560.80/560.97	c  560s |      17 |   412377 |   249332 |    21425     23 |      599 |      334
562.90/563.04	c  562s |      17 |   413403 |   250232 |    21425     23 |      599 |      334
565.10/565.27	c  565s |      17 |   414301 |   251032 |    21425     23 |      599 |      334
567.40/567.51	c  567s |      17 |   415060 |   251732 |    21425     23 |      599 |      334
569.40/569.54	c  569s |      17 |   415755 |   252332 |    21425     23 |      599 |      334
571.50/571.67	c  571s |      17 |   416625 |   253032 |    21425     23 |      599 |      334
573.60/573.70	c  573s |      17 |   417448 |   253732 |    21425     23 |      599 |      334
575.70/575.83	c  575s |      17 |   418267 |   254432 |    21425     23 |      599 |      334
577.90/578.06	c  577s |      17 |   418928 |   255032 |    21425     23 |      599 |      334
580.20/580.32	c  580s |      17 |   419599 |   255632 |    21425     23 |      599 |      334
582.39/582.55	c  582s |      17 |   420285 |   256232 |    21425     23 |      599 |      334
584.79/584.90	c  584s |      17 |   420963 |   256832 |    21425     23 |      599 |      334
586.89/587.06	c  586s |      17 |   421625 |   257432 |    21425     23 |      599 |      334
589.19/589.35	c  589s |      17 |   422273 |   258032 |    21425     23 |      599 |      334
591.59/591.70	c  591s |      17 |   422937 |   258632 |    21425     23 |      599 |      334
593.89/594.06	c  593s |      17 |   423622 |   259232 |    21425     23 |      599 |      334
595.99/596.14	c  595s |      17 |   424070 |   259632 |    21425     24 |      599 |      334
598.29/598.40	c  598s |      17 |   425024 |   260432 |    21425     24 |      599 |      334
600.29/600.41	c  600s |      17 |   425906 |   261132 |    21425     24 |      599 |      334
602.39/602.50	c  602s |      17 |   426839 |   261932 |    21425     24 |      599 |      334
604.59/604.79	c  604s |      17 |   427746 |   262732 |    21425     24 |      599 |      334
606.79/606.93	c  606s |      17 |   428719 |   263532 |    21425     24 |      599 |      334
608.79/608.98	c  608s |      17 |   429369 |   264132 |    21425     24 |      599 |      334
611.09/611.27	c  611s |      17 |   430144 |   264832 |    21425     24 |      599 |      334
613.29/613.42	c  613s |      17 |   430946 |   265532 |    21425     24 |      599 |      334
615.59/615.76	c  615s |      17 |   431730 |   266232 |    21425     24 |      599 |      334
617.79/617.97	c  617s |      17 |   432381 |   266832 |    21425     24 |      599 |      334
620.09/620.24	c  619s |      17 |   433031 |   267432 |    21425     24 |      599 |      334
622.38/622.58	c  622s |      17 |   433691 |   268032 |    21425     24 |      599 |      334
624.68/624.83	c  624s |      17 |   434340 |   268632 |    21425     24 |      599 |      334
626.78/626.95	c  626s |      17 |   434880 |   269132 |    21425     24 |      599 |      334
628.78/628.98	c  628s |      17 |   435422 |   269632 |    21425     24 |      599 |      334
631.09/631.27	c  631s |      17 |   436199 |   270232 |    21425     24 |      599 |      334
633.38/633.51	c  633s |      17 |   437094 |   270932 |    21425     24 |      599 |      334
635.58/635.70	c  635s |      17 |   437764 |   271532 |    21425     24 |      599 |      334
637.68/637.84	c  637s |      17 |   438966 |   272232 |    21425     25 |      599 |      334
639.68/639.88	c  639s |      17 |   440300 |   273232 |    21425     25 |      599 |      334
641.88/642.06	c  641s |      17 |   441404 |   274132 |    21425     25 |      599 |      334
643.98/644.11	c  643s |      17 |   442549 |   275032 |    21425     25 |      599 |      334
646.18/646.34	c  646s |      17 |   443471 |   275832 |    21425     25 |      599 |      334
648.28/648.44	c  648s |      17 |   444459 |   276632 |    21425     25 |      599 |      334
650.38/650.59	c  650s |      17 |   445435 |   277432 |    21425     25 |      599 |      334
652.57/652.71	c  652s |      17 |   446285 |   278132 |    21425     25 |      599 |      334
654.59/654.77	c  654s |      17 |   447073 |   278832 |    21425     25 |      599 |      334
656.79/656.96	c  656s |      17 |   447889 |   279532 |    21425     25 |      599 |      334
659.07/659.26	c  659s |      17 |   448674 |   280232 |    21425     25 |      599 |      334
661.27/661.49	c  661s |      17 |   449502 |   280932 |    21425     25 |      599 |      334
663.67/663.80	c  663s |      17 |   450353 |   281632 |    21425     25 |      599 |      334
665.67/665.82	c  665s |      17 |   451046 |   282232 |    21425     25 |      599 |      334
667.68/667.88	c  667s |      17 |   451602 |   282732 |    21425     25 |      599 |      334
669.98/670.14	c  669s |      17 |   452293 |   283332 |    21425     25 |      599 |      334
672.08/672.27	c  672s |      17 |   452988 |   283932 |    21425     25 |      599 |      334
674.17/674.32	c  674s |      17 |   453558 |   284432 |    21425     26 |      599 |      334
676.37/676.51	c  676s |      17 |   454329 |   285132 |    21425     26 |      599 |      334
678.47/678.66	c  678s |      17 |   455103 |   285832 |    21425     26 |      599 |      334
680.57/680.72	c  680s |      17 |   455913 |   286532 |    21425     26 |      599 |      334
682.77/682.97	c  682s |      17 |   456577 |   287132 |    21425     26 |      599 |      334
685.07/685.30	c  685s |      17 |   457234 |   287732 |    21425     26 |      599 |      334
687.17/687.36	c  687s |      17 |   457884 |   288332 |    21425     26 |      599 |      334
689.27/689.48	c  689s |      17 |   458593 |   288932 |    21425     26 |      599 |      334
691.47/691.67	c  691s |      17 |   459425 |   289632 |    21425     26 |      599 |      334
693.67/693.80	c  693s |      17 |   460251 |   290332 |    21425     26 |      599 |      334
695.67/695.88	c  695s |      17 |   460945 |   290932 |    21425     26 |      599 |      334
697.97/698.13	c  697s |      17 |   461666 |   291532 |    21425     26 |      599 |      334
700.27/700.43	c  700s |      17 |   462531 |   292232 |    21425     26 |      599 |      334
702.47/702.65	c  702s |      17 |   463338 |   292932 |    21425     26 |      599 |      334
704.77/704.91	c  704s |      17 |   464055 |   293532 |    21425     26 |      599 |      334
707.07/707.20	c  706s |      17 |   464875 |   294232 |    23568     26 |      599 |      334
709.07/709.24	c  708s |      17 |   465551 |   294832 |    23568     26 |      599 |      334
711.07/711.28	c  711s |      17 |   466252 |   295432 |    23568     26 |      599 |      334
713.37/713.51	c  713s |      17 |   466933 |   296032 |    23568     26 |      599 |      334
714.17/714.37	c  714s |      18 |   467191 |   296252 |    23568     26 |      599 |      334
716.27/716.40	c  716s |      18 |   471415 |   297252 |    23568     27 |      599 |      334
718.38/718.54	c  718s |      18 |   474395 |   298952 |    23568     27 |      599 |      334
720.37/720.60	c  720s |      18 |   477507 |   300452 |    23568     27 |      599 |      334
722.57/722.72	c  722s |      18 |   480204 |   302052 |    23568     27 |      599 |      334
724.57/724.74	c  724s |      18 |   481929 |   303252 |    23568     27 |      599 |      334
726.77/726.96	c  726s |      18 |   483594 |   304452 |    23568     27 |      599 |      334
728.87/729.01	c  728s |      18 |   484520 |   305152 |    23568     27 |      599 |      334
731.17/731.30	c  731s |      18 |   485580 |   306052 |    23568     27 |      599 |      334
733.26/733.49	c  733s |      18 |   486658 |   306952 |    23568     27 |      599 |      334
735.46/735.69	c  735s |      18 |   487807 |   307852 |    23568     27 |      599 |      334
737.66/737.87	c  737s |      18 |   489788 |   308952 |    23568     27 |      599 |      334
739.86/740.07	c  739s |      18 |   491073 |   310052 |    23568     27 |      599 |      334
742.47/742.70	c  742s |      18 |   492297 |   311052 |    23568     28 |      599 |      334
744.77/744.93	c  744s |      18 |   494207 |   312152 |    23568     28 |      599 |      334
746.76/746.98	c  746s |      18 |   495291 |   312952 |    23568     28 |      599 |      334
748.96/749.10	c  748s |      18 |   496268 |   313752 |    23568     28 |      599 |      334
751.06/751.25	c  750s |      18 |   497191 |   314552 |    23568     28 |      599 |      334
753.15/753.37	c  753s |      18 |   497965 |   315252 |    23568     28 |      599 |      334
755.25/755.42	c  755s |      18 |   498724 |   315952 |    23568     28 |      599 |      334
757.35/757.59	c  757s |      18 |   499498 |   316652 |    23568     28 |      599 |      334
759.65/759.90	c  759s |      18 |   500266 |   317352 |    23568     28 |      599 |      334
761.75/761.94	c  761s |      18 |   500900 |   317952 |    23568     28 |      599 |      334
763.75/763.96	c  763s |      18 |   501559 |   318552 |    23568     28 |      599 |      334
766.15/766.35	c  766s |      18 |   502203 |   319152 |    23568     28 |      599 |      334
768.25/768.43	c  768s |      18 |   502905 |   319752 |    23568     28 |      599 |      334
770.44/770.63	c  770s |      18 |   503603 |   320352 |    23568     28 |      599 |      334
772.54/772.80	c  772s |      18 |   504286 |   320952 |    23568     28 |      599 |      334
774.84/775.07	c  774s |      18 |   504953 |   321552 |    23568     28 |      599 |      334
776.84/777.09	c  776s |      18 |   505510 |   322052 |    23568     28 |      599 |      334
779.14/779.32	c  779s |      18 |   506172 |   322652 |    23568     28 |      599 |      334
781.54/781.74	c  781s |      18 |   506709 |   323152 |    23568     28 |      599 |      334
783.64/783.83	c  783s |      18 |   507232 |   323652 |    23568     28 |      599 |      334
786.04/786.29	c  786s |      18 |   507760 |   324152 |    23568     28 |      599 |      334
788.44/788.60	c  788s |      18 |   508421 |   324752 |    23568     29 |      599 |      334
790.54/790.73	c  790s |      18 |   509306 |   325552 |    23568     29 |      599 |      334
792.74/792.94	c  792s |      18 |   510115 |   326252 |    23568     29 |      599 |      334
794.84/795.05	c  794s |      18 |   510905 |   326952 |    23568     29 |      599 |      334
797.14/797.32	c  797s |      18 |   511710 |   327652 |    23568     29 |      599 |      334
799.14/799.34	c  799s |      18 |   512254 |   328152 |    23568     29 |      599 |      334
801.24/801.46	c  801s |      18 |   512944 |   328752 |    23568     29 |      599 |      334
803.53/803.71	c  803s |      18 |   513608 |   329352 |    23568     29 |      599 |      334
805.63/805.85	c  805s |      18 |   514246 |   329952 |    23568     29 |      599 |      334
807.84/808.02	c  807s |      18 |   514923 |   330552 |    23568     29 |      599 |      334
810.13/810.30	c  810s |      18 |   515619 |   331152 |    23568     29 |      599 |      334
812.23/812.48	c  812s |      18 |   516277 |   331752 |    23568     29 |      599 |      334
814.53/814.74	c  814s |      18 |   516928 |   332352 |    23568     29 |      599 |      334
816.63/816.82	c  816s |      18 |   517457 |   332852 |    23568     29 |      599 |      334
818.93/819.12	c  818s |      18 |   517976 |   333352 |    23568     29 |      599 |      334
821.24/821.44	c  821s |      18 |   518627 |   333952 |    23568     29 |      599 |      334
823.74/823.91	c  823s |      18 |   519261 |   334552 |    23568     29 |      599 |      334
826.05/826.27	c  826s |      18 |   519784 |   335052 |    23568     29 |      599 |      334
828.14/828.34	c  828s |      18 |   520204 |   335452 |    23568     29 |      599 |      334
830.34/830.50	c  830s |      18 |   520738 |   335952 |    23568     29 |      599 |      334
832.44/832.68	c  832s |      18 |   521267 |   336452 |    23568     29 |      599 |      334
834.85/835.08	c  834s |      18 |   521806 |   336952 |    23568     29 |      599 |      334
836.93/837.18	c  836s |      18 |   522371 |   337452 |    23568     29 |      599 |      334
839.13/839.30	c  839s |      18 |   522804 |   337852 |    23568     30 |      599 |      334
841.23/841.43	c  841s |      18 |   523460 |   338452 |    23568     30 |      599 |      334
843.43/843.67	c  843s |      18 |   524091 |   339052 |    23568     30 |      599 |      334
845.53/845.76	c  845s |      18 |   524735 |   339652 |    23568     30 |      599 |      334
847.83/848.07	c  847s |      18 |   525374 |   340252 |    23568     30 |      599 |      334
850.03/850.22	c  849s |      18 |   525899 |   340752 |    23568     30 |      599 |      334
852.13/852.35	c  852s |      18 |   526435 |   341252 |    23568     30 |      599 |      334
854.53/854.70	c  854s |      18 |   526968 |   341752 |    23568     30 |      599 |      334
856.63/856.87	c  856s |      18 |   527492 |   342252 |    23568     30 |      599 |      334
858.63/858.89	c  858s |      18 |   528061 |   342752 |    23568     30 |      599 |      334
860.83/861.04	c  860s |      18 |   528591 |   343252 |    23568     30 |      599 |      334
862.83/863.08	c  862s |      18 |   529150 |   343752 |    23568     30 |      599 |      334
865.03/865.23	c  864s |      18 |   529678 |   344252 |    23568     30 |      599 |      334
867.33/867.51	c  867s |      18 |   530205 |   344752 |    23568     30 |      599 |      334
869.43/869.60	c  869s |      18 |   530620 |   345152 |    23568     30 |      599 |      334
871.63/871.86	c  871s |      18 |   531178 |   345652 |    23568     30 |      599 |      334
874.03/874.21	c  873s |      18 |   531847 |   346252 |    23568     30 |      599 |      334
876.32/876.51	c  876s |      18 |   532379 |   346752 |    23568     30 |      599 |      334
878.52/878.73	c  878s |      18 |   532906 |   347252 |    23568     30 |      599 |      334
880.82/881.00	c  880s |      18 |   533431 |   347752 |    23568     30 |      599 |      334
882.81/883.04	c  882s |      18 |   533843 |   348152 |    23568     30 |      599 |      334
885.31/885.55	c  885s |      18 |   534367 |   348652 |    23568     30 |      599 |      334
887.41/887.67	c  887s |      18 |   534901 |   349152 |    23568     30 |      599 |      334
889.71/890.00	c  889s |      18 |   535417 |   349652 |    23568     30 |      599 |      334
892.21/892.48	c  892s |      18 |   535929 |   350152 |    23568     30 |      599 |      334
894.61/894.82	c  894s |      18 |   536458 |   350652 |    23568     30 |      599 |      334
896.71/896.90	c  896s |      18 |   536776 |   350952 |    23568     31 |      599 |      334
898.91/899.12	c  898s |      18 |   537407 |   351552 |    23568     31 |      599 |      334
900.92/901.12	c  900s |      18 |   537932 |   352052 |    23568     31 |      599 |      334
902.90/903.14	c  902s |      18 |   538457 |   352552 |    23568     31 |      599 |      334
905.00/905.23	c  904s |      18 |   538978 |   353052 |    23568     31 |      599 |      334
907.10/907.37	c  907s |      18 |   539508 |   353552 |    23568     31 |      599 |      334
909.10/909.39	c  909s |      18 |   540050 |   354052 |    23568     31 |      599 |      334
911.20/911.47	c  911s |      18 |   540595 |   354552 |    23568     31 |      599 |      334
913.49/913.75	c  913s |      18 |   541222 |   355152 |    23568     31 |      599 |      334
915.49/915.78	c  915s |      18 |   541745 |   355652 |    23568     31 |      599 |      334
917.69/917.97	c  917s |      18 |   542279 |   356152 |    23568     31 |      599 |      334
919.99/920.24	c  919s |      18 |   542804 |   356652 |    23568     31 |      599 |      334
921.98/922.26	c  922s |      18 |   543238 |   357052 |    23568     31 |      599 |      334
924.48/924.76	c  924s |      18 |   543774 |   357552 |    23568     31 |      599 |      334
926.48/926.79	c  926s |      18 |   544198 |   357952 |    23568     31 |      599 |      334
929.08/929.32	c  929s |      18 |   544720 |   358452 |    23568     31 |      599 |      334
931.59/931.82	c  931s |      18 |   545238 |   358952 |    23568     31 |      599 |      334
933.68/933.93	c  933s |      18 |   545661 |   359352 |    23568     31 |      599 |      334
935.67/935.99	c  935s |      18 |   546068 |   359752 |    23568     31 |      599 |      334
938.18/938.46	c  938s |      18 |   546596 |   360252 |    23568     31 |      599 |      334
940.57/940.88	c  940s |      18 |   547123 |   360752 |    23568     31 |      599 |      334
942.58/942.89	c  942s |      18 |   547567 |   361152 |    23568     31 |      599 |      334
945.08/945.31	c  945s |      18 |   547977 |   361552 |    23568     31 |      599 |      334
947.28/947.59	c  947s |      18 |   548393 |   361952 |    23568     31 |      599 |      334
949.38/949.66	c  949s |      18 |   548708 |   362252 |    23568     31 |      599 |      334
951.39/951.69	c  951s |      18 |   549029 |   362552 |    23568     31 |      599 |      334
953.87/954.16	c  953s |      18 |   549446 |   362952 |    23568     31 |      599 |      334
956.07/956.37	c  956s |      18 |   549857 |   363352 |    23568     31 |      599 |      334
958.37/958.68	c  958s |      18 |   550266 |   363752 |    23568     31 |      599 |      334
960.67/960.91	c  960s |      18 |   550689 |   364152 |    23568     31 |      599 |      334
962.86/963.13	c  962s |      18 |   551004 |   364452 |    23568     32 |      599 |      334
965.16/965.41	c  965s |      18 |   551538 |   364952 |    23568     32 |      599 |      334
967.16/967.43	c  967s |      18 |   551964 |   365352 |    23568     32 |      599 |      334
969.46/969.75	c  969s |      18 |   552506 |   365852 |    23568     32 |      599 |      334
971.95/972.21	c  971s |      18 |   553039 |   366352 |    23568     32 |      599 |      334
974.15/974.42	c  974s |      18 |   553570 |   366852 |    23568     32 |      599 |      334
976.15/976.49	c  976s |      18 |   553999 |   367252 |    23568     32 |      599 |      334
978.55/978.80	c  978s |      18 |   554513 |   367752 |    23568     32 |      599 |      334
980.95/981.28	c  981s |      18 |   555032 |   368252 |    23568     32 |      599 |      334
983.14/983.40	c  983s |      18 |   555463 |   368652 |    23568     32 |      599 |      334
985.45/985.73	c  985s |      18 |   555996 |   369152 |    23568     32 |      599 |      334
987.84/988.18	c  987s |      18 |   556524 |   369652 |    23568     32 |      599 |      334
990.34/990.67	c  990s |      18 |   557059 |   370152 |    23568     32 |      599 |      334
992.44/992.75	c  992s |      18 |   557474 |   370552 |    23568     32 |      599 |      334
994.63/994.99	c  994s |      18 |   557895 |   370952 |    23568     32 |      599 |      334
996.83/997.12	c  996s |      18 |   558312 |   371352 |    23568     32 |      599 |      334
999.33/999.65	c  999s |      18 |   558853 |   371852 |    23568     32 |      599 |      334
1001.33/1001.69	c 1001s |      18 |   559268 |   372252 |    23568     32 |      599 |      334
1003.83/1004.14	c 1003s |      18 |   559809 |   372752 |    23568     32 |      599 |      334
1006.13/1006.40	c 1006s |      18 |   560235 |   373152 |    23568     32 |      599 |      334
1008.43/1008.72	c 1008s |      18 |   560657 |   373552 |    23568     32 |      599 |      334
1010.53/1010.88	c 1010s |      18 |   561079 |   373952 |    23568     32 |      599 |      334
1012.82/1013.10	c 1012s |      18 |   561498 |   374352 |    23568     32 |      599 |      334
1015.32/1015.60	c 1015s |      18 |   561918 |   374752 |    23568     32 |      599 |      334
1017.82/1018.11	c 1017s |      18 |   562331 |   375152 |    23568     32 |      599 |      334
1020.22/1020.54	c 1020s |      18 |   562747 |   375552 |    23568     32 |      599 |      334
1022.31/1022.68	c 1022s |      18 |   563064 |   375852 |    23568     32 |      599 |      334
1024.41/1024.70	c 1024s |      18 |   563373 |   376152 |    23568     32 |      599 |      334
1026.71/1027.00	c 1026s |      18 |   563813 |   376552 |    23568     32 |      599 |      334
1029.01/1029.34	c 1029s |      18 |   564393 |   377052 |    23568     32 |      599 |      334
1031.01/1031.38	c 1031s |      18 |   564824 |   377452 |    23568     32 |      599 |      334
1033.10/1033.43	c 1033s |      18 |   565148 |   377752 |    23568     33 |      599 |      334
1035.10/1035.45	c 1035s |      18 |   565690 |   378252 |    23568     33 |      599 |      334
1037.40/1037.80	c 1037s |      18 |   566356 |   378852 |    23568     33 |      599 |      334
1039.80/1040.17	c 1039s |      18 |   566999 |   379452 |    23568     33 |      599 |      334
1041.99/1042.38	c 1042s |      18 |   567532 |   379952 |    23568     33 |      599 |      334
1044.19/1044.53	c 1044s |      18 |   568067 |   380452 |    23568     33 |      599 |      334
1046.29/1046.69	c 1046s |      18 |   568602 |   380952 |    23568     33 |      599 |      334
1048.49/1048.87	c 1048s |      18 |   569149 |   381452 |    23568     33 |      599 |      334
1050.59/1050.98	c 1050s |      18 |   569682 |   381952 |    23568     33 |      599 |      334
1052.60/1052.99	c 1052s |      18 |   570113 |   382352 |    23568     33 |      599 |      334
1054.70/1055.09	c 1054s |      18 |   570527 |   382752 |    23568     33 |      599 |      334
1056.79/1057.12	c 1056s |      18 |   570953 |   383152 |    23568     33 |      599 |      334
1058.89/1059.21	c 1058s |      18 |   571425 |   383552 |    23568     33 |      599 |      334
1061.18/1061.52	c 1061s |      18 |   572103 |   384152 |    23568     33 |      599 |      334
1063.49/1063.83	c 1063s |      18 |   572673 |   384652 |    23568     33 |      599 |      334
1065.69/1066.08	c 1065s |      18 |   574051 |   385452 |    23568     33 |      599 |      334
1068.08/1068.46	c 1068s |      18 |   574945 |   386152 |    23568     33 |      599 |      334
1070.29/1070.60	c 1070s |      18 |   575733 |   386752 |    23568     33 |      599 |      334
1072.39/1072.78	c 1072s |      18 |   576441 |   387352 |    23568     33 |      599 |      334
1074.78/1075.18	c 1074s |      18 |   577162 |   387952 |    23568     33 |      599 |      334
1076.98/1077.35	c 1077s |      18 |   577707 |   388452 |    23568     33 |      599 |      334
1079.38/1079.72	c 1079s |      18 |   578238 |   388952 |    23568     33 |      599 |      334
1081.67/1082.05	c 1081s |      18 |   578689 |   389352 |    23568     33 |      599 |      334
1083.67/1084.09	c 1083s |      18 |   579114 |   389752 |    23568     33 |      599 |      334
1086.17/1086.52	c 1086s |      18 |   579674 |   390252 |    23568     33 |      599 |      334
1088.27/1088.63	c 1088s |      18 |   580101 |   390652 |    23568     33 |      599 |      334
1090.37/1090.72	c 1090s |      18 |   580425 |   390952 |    23568     34 |      599 |      334
1092.66/1093.08	c 1092s |      18 |   580955 |   391452 |    23568     34 |      599 |      334
1094.86/1095.23	c 1094s |      18 |   581527 |   391952 |    23568     34 |      599 |      334
1096.86/1097.25	c 1096s |      18 |   582084 |   392452 |    23568     34 |      599 |      334
1099.36/1099.73	c 1099s |      18 |   582733 |   393052 |    23568     34 |      599 |      334
1101.46/1101.82	c 1101s |      18 |   583166 |   393452 |    23568     34 |      599 |      334
1103.65/1104.05	c 1103s |      18 |   583733 |   393952 |    23568     34 |      599 |      334
1106.05/1106.49	c 1106s |      18 |   584280 |   394452 |    23568     34 |      599 |      334
1108.15/1108.59	c 1108s |      18 |   584728 |   394852 |    23568     34 |      599 |      334
1110.65/1111.01	c 1110s |      18 |   585277 |   395352 |    23568     34 |      599 |      334
1112.74/1113.12	c 1112s |      18 |   585704 |   395752 |    23568     34 |      599 |      334
1114.74/1115.18	c 1114s |      18 |   586130 |   396152 |    23568     34 |      599 |      334
1117.24/1117.66	c 1117s |      18 |   586669 |   396652 |    23568     34 |      599 |      334
1119.94/1120.35	c 1120s |      18 |   587212 |   397152 |    23568     34 |      599 |      334
1122.13/1122.57	c 1122s |      18 |   587755 |   397652 |    23568     34 |      599 |      334
1124.43/1124.88	c 1124s |      18 |   588199 |   398052 |    23568     34 |      599 |      334
1126.74/1127.13	c 1126s |      18 |   588605 |   398452 |    23568     34 |      599 |      334
1129.24/1129.66	c 1129s |      18 |   589023 |   398852 |    23568     34 |      599 |      334
1131.64/1132.02	c 1131s |      18 |   589446 |   399252 |    23568     34 |      599 |      334
1133.63/1134.08	c 1133s |      18 |   589879 |   399652 |    23568     34 |      599 |      334
1135.73/1136.12	c 1135s |      18 |   590206 |   399952 |    23568     34 |      599 |      334
1137.73/1138.14	c 1137s |      18 |   590522 |   400252 |    23568     34 |      599 |      334
1139.83/1140.27	c 1140s |      18 |   590838 |   400552 |    23568     34 |      599 |      334
1142.22/1142.62	c 1142s |      18 |   591274 |   400952 |    23568     34 |      599 |      334
1144.72/1145.20	c 1144s |      18 |   591704 |   401352 |    23568     34 |      599 |      334
1147.42/1147.81	c 1147s |      18 |   592139 |   401752 |    23568     34 |      599 |      334
1149.82/1150.23	c 1149s |      18 |   592580 |   402152 |    23568     34 |      599 |      334
1152.21/1152.64	c 1152s |      18 |   593015 |   402552 |    23568     34 |      599 |      334
1154.61/1155.10	c 1154s |      18 |   593436 |   402952 |    23568     34 |      599 |      334
1156.71/1157.10	c 1156s |      18 |   593760 |   403252 |    23568     34 |      599 |      334
1158.91/1159.31	c 1159s |      18 |   594081 |   403552 |    23568     34 |      599 |      334
1161.60/1162.00	c 1161s |      18 |   594500 |   403952 |    23568     34 |      599 |      334
1164.10/1164.50	c 1164s |      18 |   594811 |   404252 |    23568     35 |      599 |      334
1166.10/1166.57	c 1166s |      18 |   595225 |   404652 |    23568     35 |      599 |      334
1168.20/1168.68	c 1168s |      18 |   595647 |   405052 |    23568     35 |      599 |      334
1170.40/1170.87	c 1170s |      18 |   596055 |   405452 |    23568     35 |      599 |      334
1172.59/1173.03	c 1172s |      18 |   596673 |   405852 |    23568     35 |      599 |      334
1174.69/1175.11	c 1174s |      18 |   597467 |   406452 |    23568     35 |      599 |      334
1176.70/1177.13	c 1176s |      18 |   598118 |   406952 |    23568     35 |      599 |      334
1178.79/1179.28	c 1179s |      18 |   598714 |   407452 |    23568     35 |      599 |      334
1180.89/1181.30	c 1181s |      18 |   599318 |   407952 |    23568     35 |      599 |      334
1183.18/1183.67	c 1183s |      18 |   599864 |   408452 |    23568     35 |      599 |      334
1185.28/1185.72	c 1185s |      18 |   600301 |   408852 |    23568     35 |      599 |      334
1187.58/1188.05	c 1187s |      18 |   600880 |   409352 |    23568     35 |      599 |      334
1189.58/1190.09	c 1189s |      18 |   601327 |   409752 |    23568     35 |      599 |      334
1191.77/1192.27	c 1192s |      18 |   601765 |   410152 |    23568     35 |      599 |      334
1193.87/1194.30	c 1194s |      18 |   602207 |   410552 |    23568     35 |      599 |      334
1196.27/1196.76	c 1196s |      18 |   602784 |   411052 |    23568     35 |      599 |      334
1198.57/1199.03	c 1198s |      18 |   603334 |   411552 |    23568     35 |      599 |      334
1200.57/1201.04	c 1200s |      18 |   603759 |   411952 |    23568     35 |      599 |      334
1202.76/1203.28	c 1203s |      18 |   604283 |   412452 |    23568     35 |      599 |      334
1204.96/1205.41	c 1205s |      18 |   604696 |   412852 |    23568     35 |      599 |      334
1207.16/1207.68	c 1207s |      18 |   605240 |   413352 |    23568     35 |      599 |      334
1209.57/1210.00	c 1209s |      18 |   605664 |   413752 |    23568     35 |      599 |      334
1211.97/1212.49	c 1212s |      18 |   606087 |   414152 |    23568     35 |      599 |      334
1214.17/1214.68	c 1214s |      18 |   606506 |   414552 |    23568     35 |      599 |      334
1216.37/1216.90	c 1216s |      18 |   606930 |   414952 |    23568     35 |      599 |      334
1218.76/1219.21	c 1218s |      18 |   607356 |   415352 |    23568     35 |      599 |      334
1221.06/1221.54	c 1221s |      18 |   607782 |   415752 |    23568     35 |      599 |      334
1223.15/1223.65	c 1223s |      18 |   608230 |   416152 |    23568     35 |      599 |      334
1225.35/1225.84	c 1225s |      18 |   608663 |   416552 |    23568     35 |      599 |      334
1227.45/1227.97	c 1227s |      18 |   609097 |   416952 |    23568     35 |      599 |      334
1229.95/1230.46	c 1230s |      18 |   609522 |   417352 |    23568     35 |      599 |      334
1232.24/1232.73	c 1232s |      18 |   609840 |   417652 |    23568     36 |      599 |      334
1234.44/1234.96	c 1234s |      18 |   610253 |   418052 |    23568     36 |      599 |      334
1236.84/1237.39	c 1237s |      18 |   610814 |   418552 |    23568     36 |      599 |      334
1238.94/1239.42	c 1239s |      18 |   612098 |   419352 |    23568     36 |      599 |      334
1241.14/1241.65	c 1241s |      18 |   613050 |   420052 |    23568     36 |      599 |      334
1243.23/1243.74	c 1243s |      18 |   613883 |   420752 |    23568     36 |      599 |      334
1245.63/1246.14	c 1245s |      18 |   614537 |   421352 |    23568     36 |      599 |      334
1247.63/1248.18	c 1247s |      18 |   615081 |   421852 |    23568     36 |      599 |      334
1249.73/1250.25	c 1249s |      18 |   615637 |   422352 |    23568     36 |      599 |      334
1251.93/1252.48	c 1252s |      18 |   616796 |   422952 |    23568     36 |      599 |      334
1253.93/1254.48	c 1254s |      18 |   617483 |   423552 |    23568     36 |      599 |      334
1256.03/1256.57	c 1256s |      18 |   618158 |   424152 |    23568     36 |      599 |      334
1258.23/1258.76	c 1258s |      18 |   619049 |   424852 |    23568     36 |      599 |      334
1260.34/1260.86	c 1260s |      18 |   619943 |   425552 |    23568     36 |      599 |      334
1262.53/1263.03	c 1262s |      18 |   620622 |   426152 |    23568     36 |      599 |      334
1264.52/1265.05	c 1264s |      18 |   621327 |   426752 |    23568     36 |      599 |      334
1266.83/1267.39	c 1267s |      18 |   622039 |   427352 |    23568     36 |      599 |      334
1268.92/1269.42	c 1269s |      18 |   622662 |   427852 |    23568     36 |      599 |      334
1271.12/1271.68	c 1271s |      18 |   623351 |   428452 |    23568     36 |      599 |      334
1273.31/1273.81	c 1273s |      18 |   623980 |   428952 |    23568     36 |      599 |      334
1275.62/1276.12	c 1275s |      18 |   624558 |   429452 |    23568     36 |      599 |      334
1277.92/1278.44	c 1278s |      18 |   625101 |   429952 |    23568     36 |      599 |      334
1280.12/1280.65	c 1280s |      18 |   625630 |   430452 |    23568     36 |      599 |      334
1282.40/1282.90	c 1282s |      18 |   626076 |   430852 |    23568     37 |      599 |      334
1284.60/1285.10	c 1284s |      18 |   626773 |   431452 |    23568     37 |      599 |      334
1286.80/1287.32	c 1287s |      18 |   627434 |   432052 |    23568     37 |      599 |      334
1288.81/1289.35	c 1289s |      18 |   627969 |   432552 |    23568     37 |      599 |      334
1291.11/1291.67	c 1291s |      18 |   628514 |   433052 |    23568     37 |      599 |      334
1293.31/1293.82	c 1293s |      18 |   629076 |   433552 |    23568     37 |      599 |      334
1295.30/1295.87	c 1295s |      18 |   629607 |   434052 |    23568     37 |      599 |      334
1297.40/1297.94	c 1297s |      18 |   630203 |   434552 |    23568     37 |      599 |      334
1299.70/1300.22	c 1299s |      18 |   630743 |   435052 |    23568     37 |      599 |      334
1301.90/1302.43	c 1302s |      18 |   631289 |   435552 |    23568     37 |      599 |      334
1304.00/1304.53	c 1304s |      18 |   631713 |   435952 |    23568     37 |      599 |      334
1306.20/1306.74	c 1306s |      18 |   632154 |   436352 |    23568     37 |      599 |      334
1308.39/1308.99	c 1308s |      18 |   632564 |   436752 |    23568     37 |      599 |      334
1310.59/1311.16	c 1310s |      18 |   633145 |   437252 |    23568     37 |      599 |      334
1312.79/1313.32	c 1313s |      18 |   633682 |   437752 |    23568     37 |      599 |      334
1315.09/1315.61	c 1315s |      18 |   634237 |   438252 |    23568     37 |      599 |      334
1317.40/1317.99	c 1317s |      18 |   634793 |   438752 |    23568     37 |      599 |      334
1319.79/1320.35	c 1320s |      18 |   635322 |   439252 |    23568     37 |      599 |      334
1322.09/1322.69	c 1322s |      18 |   635898 |   439752 |    23568     37 |      599 |      334
1324.49/1325.06	c 1324s |      18 |   636539 |   440252 |    23568     37 |      599 |      334
1326.49/1327.08	c 1326s |      18 |   636987 |   440652 |    23568     37 |      599 |      334
1328.99/1329.52	c 1329s |      18 |   637561 |   441152 |    23568     37 |      599 |      334
1331.39/1331.99	c 1331s |      18 |   638116 |   441652 |    25925     37 |      599 |      334
1333.49/1334.07	c 1333s |      18 |   638549 |   442052 |    25925     37 |      599 |      334
1335.69/1336.25	c 1336s |      18 |   639559 |   442652 |    25925     37 |      599 |      334
1338.09/1338.64	c 1338s |      18 |   640160 |   443152 |    25925     37 |      599 |      334
1340.29/1340.84	c 1340s |      18 |   640749 |   443652 |    25925     37 |      599 |      334
1342.49/1343.09	c 1342s |      18 |   641315 |   444152 |    25925     37 |      599 |      334
1344.29/1344.86	c 1344s |      19 |   641692 |   444482 |    25925     37 |      599 |      334
1346.39/1346.94	c 1346s |      19 |   644619 |   444982 |    25925     38 |      599 |      334
1348.39/1348.97	c 1348s |      19 |   653980 |   447082 |    25925     38 |      599 |      334
1350.50/1351.06	c 1350s |      19 |   664112 |   449182 |    25925     38 |      599 |      334
1352.48/1353.07	c 1352s |      19 |   673463 |   451282 |    25925     38 |      599 |      334
1354.69/1355.26	c 1355s |      19 |   676076 |   452682 |    25925     38 |      599 |      334
1356.78/1357.42	c 1357s |      19 |   678126 |   453982 |    25925     38 |      599 |      334
1356.78/1359.61	c 1359s |      19 |   679283 |   454882 |    25925     38 |      599 |      334
1356.78/1361.62	c 1361s |      19 |   680165 |   455582 |    25925     38 |      599 |      334
1363.23/1363.75	c 1363s |      19 |   681056 |   456282 |    25925     38 |      599 |      334
1364.30/1365.98	c 1365s |      19 |   681809 |   456882 |    25925     38 |      599 |      334
1364.30/1368.22	c 1367s |      19 |   682665 |   457582 |    25925     38 |      599 |      334
1368.86/1370.66	c 1370s |      19 |   683412 |   458182 |    25925     38 |      599 |      334
1370.20/1373.08	c 1372s |      19 |   684128 |   458782 |    25925     38 |      599 |      334
1372.90/1375.15	c 1374s |      19 |   685044 |   459482 |    25925     38 |      599 |      334
1372.90/1377.86	c 1377s |      19 |   685706 |   459982 |    25925     39 |      599 |      334
1377.78/1380.03	c 1379s |      19 |   686347 |   460482 |    25925     39 |      599 |      334
1381.13/1382.13	c 1381s |      19 |   687145 |   461082 |    25925     39 |      599 |      334
1381.13/1384.32	c 1384s |      19 |   688082 |   461782 |    25925     39 |      599 |      334
1381.13/1386.69	c 1386s |      19 |   688678 |   462282 |    25925     39 |      599 |      334
1381.13/1388.98	c 1388s |      19 |   689505 |   462882 |    25925     39 |      599 |      334
1381.13/1391.54	c 1391s |      19 |   690077 |   463382 |    25925     39 |      599 |      334
1381.13/1393.90	c 1393s |      19 |   690664 |   463882 |    25925     39 |      599 |      334
1381.13/1396.35	c 1396s |      19 |   691268 |   464382 |    25925     39 |      599 |      334
1381.13/1398.58	c 1398s |      19 |   691760 |   464782 |    25925     39 |      599 |      334
1381.13/1401.03	c 1400s |      19 |   692220 |   465182 |    25925     39 |      599 |      334
1402.22/1403.09	c 1402s |      19 |   692535 |   465482 |    25925     39 |      599 |      334
1403.79/1405.15	c 1404s |      19 |   692869 |   465782 |    25925     39 |      599 |      334
1403.79/1407.69	c 1407s |      19 |   693312 |   466182 |    25925     39 |      599 |      334
1409.22/1410.07	c 1409s |      19 |   693770 |   466582 |    25925     39 |      599 |      334
1411.46/1412.33	c 1412s |      19 |   694103 |   466882 |    25925     39 |      599 |      334
1412.87/1414.80	c 1414s |      19 |   694528 |   467282 |    25925     39 |      599 |      334
1416.64/1417.26	c 1417s |      19 |   694979 |   467682 |    25925     39 |      599 |      334
1416.90/1419.63	c 1419s |      19 |   695594 |   468182 |    25925     39 |      599 |      334
1421.29/1422.00	c 1421s |      19 |   696324 |   468782 |    25925     39 |      599 |      334
1421.61/1424.44	c 1424s |      19 |   696911 |   469282 |    25925     39 |      599 |      334
1421.61/1426.77	c 1426s |      19 |   697532 |   469782 |    25925     39 |      599 |      334
1421.61/1429.13	c 1428s |      19 |   698187 |   470282 |    25925     39 |      599 |      334
1421.61/1431.14	c 1430s |      19 |   698796 |   470782 |    25925     39 |      599 |      334
1431.95/1433.63	c 1433s |      19 |   699308 |   471182 |    25925     39 |      599 |      334
1435.41/1436.03	c 1435s |      19 |   699667 |   471482 |    25925     39 |      599 |      334
1435.41/1438.80	c 1438s |      19 |   700171 |   471882 |    25925     39 |      599 |      334
1438.44/1441.11	c 1440s |      19 |   700673 |   472282 |    25925     39 |      599 |      334
1438.44/1443.44	c 1443s |      19 |   701362 |   472782 |    25925     39 |      599 |      334
1445.00/1445.89	c 1445s |      19 |   701962 |   473282 |    25925     39 |      599 |      334
1446.94/1448.17	c 1447s |      19 |   702642 |   473782 |    25925     39 |      599 |      334
1447.71/1450.18	c 1449s |      19 |   703255 |   474282 |    25925     39 |      599 |      334
1451.23/1452.39	c 1452s |      19 |   703616 |   474582 |    25925     40 |      599 |      334
1451.99/1454.79	c 1454s |      19 |   704195 |   475082 |    25925     40 |      599 |      334
1456.16/1457.21	c 1456s |      19 |   704801 |   475582 |    25925     40 |      599 |      334
1456.16/1459.47	c 1459s |      19 |   705524 |   476182 |    25925     40 |      599 |      334
1456.16/1461.73	c 1461s |      19 |   706263 |   476782 |    25925     40 |      599 |      334
1461.52/1463.88	c 1463s |      19 |   706868 |   477282 |    25925     40 |      599 |      334
1461.52/1466.08	c 1465s |      19 |   709326 |   478182 |    25925     40 |      599 |      334
1461.52/1468.31	c 1468s |      19 |   710537 |   479082 |    25925     40 |      599 |      334
1461.52/1470.37	c 1470s |      19 |   711479 |   479782 |    25925     40 |      599 |      334
1461.52/1472.59	c 1472s |      19 |   713407 |   480582 |    25925     40 |      599 |      334
1461.52/1474.79	c 1474s |      19 |   715374 |   481582 |    25925     40 |      599 |      334
1461.52/1476.80	c 1476s |      19 |   716331 |   482282 |    25925     40 |      599 |      334
1461.52/1478.93	c 1478s |      19 |   716967 |   482782 |    25925     40 |      599 |      334
1479.77/1480.94	c 1480s |      19 |   717794 |   483482 |    25925     40 |      599 |      334
1482.42/1483.01	c 1482s |      19 |   718447 |   483982 |    25925     40 |      599 |      334
1484.49/1485.10	c 1484s |      19 |   719256 |   484682 |    25925     40 |      599 |      334
1486.58/1487.31	c 1487s |      19 |   719830 |   485182 |    25925     40 |      599 |      334
1488.51/1489.69	c 1489s |      19 |   720481 |   485682 |    25925     40 |      599 |      334
1491.27/1492.02	c 1491s |      19 |   721107 |   486182 |    25925     40 |      599 |      334
1493.51/1494.37	c 1494s |      19 |   721717 |   486682 |    25925     40 |      599 |      334
1493.51/1496.74	c 1496s |      19 |   722468 |   487282 |    25925     40 |      599 |      334
1497.41/1498.79	c 1498s |      19 |   723425 |   487882 |    25925     40 |      599 |      334
1499.93/1501.05	c 1500s |      19 |   724374 |   488582 |    25925     40 |      599 |      334
1501.79/1503.57	c 1503s |      19 |   725170 |   489182 |    25925     41 |      599 |      334
1505.04/1505.70	c 1505s |      19 |   726081 |   489882 |    25925     41 |      599 |      334
1506.51/1507.94	c 1507s |      19 |   727007 |   490582 |    25925     41 |      599 |      334
1509.46/1510.07	c 1509s |      19 |   727751 |   491182 |    25925     41 |      599 |      334
1509.68/1512.14	c 1511s |      19 |   728349 |   491682 |    25925     41 |      599 |      334
1509.68/1514.25	c 1514s |      19 |   729049 |   492182 |    25925     41 |      599 |      334
1509.68/1516.38	c 1516s |      19 |   729809 |   492782 |    25925     41 |      599 |      334
1509.68/1518.84	c 1518s |      19 |   730535 |   493382 |    25925     41 |      599 |      334
1509.68/1521.22	c 1520s |      19 |   731127 |   493882 |    25925     41 |      599 |      334
1521.58/1523.33	c 1523s |      19 |   731732 |   494382 |    25925     41 |      599 |      334
1521.58/1525.63	c 1525s |      19 |   732316 |   494882 |    25925     41 |      599 |      334
1521.58/1527.73	c 1527s |      19 |   732761 |   495282 |    25925     41 |      599 |      334
1521.58/1529.97	c 1529s |      19 |   733377 |   495782 |    25925     41 |      599 |      334
1521.58/1532.30	c 1532s |      19 |   733987 |   496282 |    25925     41 |      599 |      334
1521.58/1534.64	c 1534s |      19 |   734774 |   496882 |    25925     41 |      599 |      334
1521.58/1536.93	c 1536s |      19 |   735297 |   497282 |    25925     41 |      599 |      334
1521.58/1539.63	c 1539s |      19 |   735840 |   497782 |    25925     41 |      599 |      334
1540.29/1542.09	c 1541s |      19 |   736296 |   498182 |    25925     41 |      599 |      334
1540.29/1544.31	c 1544s |      19 |   736755 |   498582 |    25925     41 |      599 |      334
1540.29/1546.65	c 1546s |      19 |   737500 |   499182 |    25925     41 |      599 |      334
1540.29/1548.69	c 1548s |      19 |   738181 |   499682 |    25925     41 |      599 |      334
1540.29/1550.79	c 1550s |      19 |   738789 |   500182 |    25925     41 |      599 |      334
1551.40/1552.98	c 1552s |      19 |   739541 |   500782 |    25925     41 |      599 |      334
1552.46/1555.11	c 1554s |      19 |   740264 |   501382 |    25925     41 |      599 |      334
1556.77/1557.39	c 1557s |      19 |   740998 |   501982 |    25925     41 |      599 |      334
1558.79/1559.56	c 1559s |      19 |   741572 |   502482 |    25925     41 |      599 |      334
1560.22/1561.82	c 1561s |      19 |   742318 |   503082 |    25925     41 |      599 |      334
1563.17/1564.25	c 1563s |      19 |   743049 |   503682 |    25925     41 |      599 |      334
1565.71/1566.52	c 1566s |      19 |   743866 |   504282 |    25925     42 |      599 |      334
1565.71/1568.87	c 1568s |      19 |   744722 |   504882 |    25925     42 |      599 |      334
1565.71/1571.21	c 1570s |      19 |   745606 |   505582 |    25925     42 |      599 |      334
1565.71/1573.44	c 1573s |      19 |   746338 |   506182 |    25925     42 |      599 |      334
1574.37/1575.68	c 1575s |      19 |   746938 |   506682 |    25925     42 |      599 |      334
1574.37/1577.88	c 1577s |      19 |   747287 |   506982 |    25925     42 |      599 |      334
1578.54/1580.29	c 1580s |      19 |   747845 |   507482 |    25925     42 |      599 |      334
1582.12/1582.74	c 1582s |      19 |   748457 |   507982 |    25925     42 |      599 |      334
1583.15/1584.77	c 1584s |      19 |   748919 |   508382 |    25925     42 |      599 |      334
1583.15/1587.10	c 1586s |      19 |   749385 |   508782 |    25925     42 |      599 |      334
1583.15/1589.30	c 1589s |      19 |   750115 |   509382 |    25925     42 |      599 |      334
1583.15/1591.59	c 1591s |      19 |   750709 |   509882 |    25925     42 |      599 |      334
1583.15/1593.99	c 1593s |      19 |   751344 |   510382 |    25925     42 |      599 |      334
1595.67/1596.43	c 1596s |      19 |   751911 |   510882 |    25925     42 |      599 |      334
1596.46/1598.81	c 1598s |      19 |   752373 |   511282 |    25925     42 |      599 |      334
1600.49/1601.13	c 1600s |      19 |   752843 |   511682 |    25925     42 |      599 |      334
1601.66/1603.61	c 1603s |      19 |   753293 |   512082 |    25925     42 |      599 |      334
1601.66/1605.74	c 1605s |      19 |   753880 |   512582 |    25925     42 |      599 |      334
1601.66/1607.76	c 1607s |      19 |   754582 |   513082 |    25925     42 |      599 |      334
1601.66/1609.80	c 1609s |      19 |   755207 |   513582 |    25925     42 |      599 |      334
1601.66/1612.08	c 1611s |      19 |   755855 |   514082 |    25925     42 |      599 |      334
1613.62/1614.36	c 1614s |      19 |   756441 |   514582 |    25925     42 |      599 |      334
1616.25/1616.86	c 1616s |      19 |   757019 |   515082 |    25925     42 |      599 |      334
1618.36/1618.91	c 1618s |      19 |   757666 |   515582 |    25925     42 |      599 |      334
1620.36/1620.98	c 1620s |      19 |   758263 |   516082 |    25925     42 |      599 |      334
1621.20/1623.26	c 1623s |      19 |   758841 |   516582 |    25925     42 |      599 |      334
1621.20/1625.29	c 1625s |      19 |   759432 |   517082 |    25925     42 |      599 |      334
1621.20/1627.61	c 1627s |      19 |   759998 |   517582 |    25925     42 |      599 |      334
1621.20/1630.32	c 1630s |      19 |   760504 |   517982 |    25925     43 |      599 |      334
1621.20/1632.33	c 1632s |      19 |   761269 |   518582 |    25925     43 |      599 |      334
1621.20/1634.76	c 1634s |      19 |   761870 |   519082 |    25925     43 |      599 |      334
1621.20/1636.96	c 1636s |      19 |   762482 |   519582 |    25925     43 |      599 |      334
1621.20/1639.25	c 1638s |      19 |   763136 |   520082 |    25925     43 |      599 |      334
1621.20/1641.46	c 1641s |      19 |   763876 |   520682 |    25925     43 |      599 |      334
1643.15/1643.72	c 1643s |      19 |   764479 |   521182 |    25925     43 |      599 |      334
1643.95/1646.14	c 1645s |      19 |   765052 |   521682 |    25925     43 |      599 |      334
1648.15/1648.85	c 1648s |      19 |   765642 |   522182 |    25925     43 |      599 |      334
1650.39/1651.38	c 1651s |      19 |   766126 |   522582 |    25925     43 |      599 |      334
1652.34/1653.63	c 1653s |      19 |   766578 |   522982 |    25925     43 |      599 |      334
1655.54/1656.16	c 1655s |      19 |   767044 |   523382 |    25925     43 |      599 |      334
1658.05/1658.65	c 1658s |      19 |   767489 |   523782 |    25925     43 |      599 |      334
1660.35/1660.92	c 1660s |      19 |   768010 |   524182 |    25925     43 |      599 |      334
1662.55/1663.14	c 1662s |      19 |   768601 |   524682 |    25925     43 |      599 |      334
1664.64/1665.26	c 1665s |      19 |   769050 |   525082 |    25925     43 |      599 |      334
1667.03/1667.65	c 1667s |      19 |   769640 |   525582 |    25925     43 |      599 |      334
1669.14/1669.79	c 1669s |      19 |   770095 |   525982 |    25925     43 |      599 |      334
1671.24/1671.89	c 1671s |      19 |   770599 |   526382 |    25925     43 |      599 |      334
1673.33/1673.92	c 1673s |      19 |   771064 |   526782 |    25925     43 |      599 |      334
1675.43/1676.03	c 1675s |      19 |   771513 |   527182 |    25925     43 |      599 |      334
1677.94/1678.58	c 1678s |      19 |   771968 |   527582 |    25925     43 |      599 |      334
1680.04/1680.61	c 1680s |      19 |   772319 |   527882 |    25925     43 |      599 |      334
1682.03/1682.64	c 1682s |      19 |   772640 |   528182 |    25925     43 |      599 |      334
1684.55/1685.12	c 1684s |      19 |   772968 |   528482 |    25925     43 |      599 |      334
1686.75/1687.35	c 1687s |      19 |   773313 |   528782 |    25925     43 |      599 |      334
1689.03/1689.66	c 1689s |      19 |   773766 |   529182 |    25925     43 |      599 |      334
1691.63/1692.22	c 1691s |      19 |   774220 |   529582 |    25925     43 |      599 |      334
1693.93/1694.57	c 1694s |      19 |   774570 |   529882 |    25925     43 |      599 |      334
1696.43/1697.00	c 1696s |      19 |   775015 |   530282 |    25925     43 |      599 |      334
1698.84/1699.43	c 1699s |      19 |   775361 |   530582 |    25925     43 |      599 |      334
1701.63/1702.20	c 1701s |      19 |   775814 |   530982 |    25925     43 |      599 |      334
1703.93/1704.50	c 1704s |      19 |   776162 |   531282 |    25925     43 |      599 |      334
1706.13/1706.77	c 1706s |      19 |   776502 |   531582 |    25925     43 |      599 |      334
1708.23/1708.88	c 1708s |      19 |   776990 |   531982 |    25925     43 |      599 |      334
1710.94/1711.55	c 1711s |      19 |   777446 |   532382 |    25925     44 |      599 |      334
1713.33/1713.91	c 1713s |      19 |   778153 |   532982 |    25925     44 |      599 |      334
1715.63/1716.28	c 1716s |      19 |   778846 |   533582 |    25925     44 |      599 |      334
1718.12/1718.70	c 1718s |      19 |   779429 |   534082 |    25925     44 |      599 |      334
1720.12/1720.79	c 1720s |      19 |   779928 |   534482 |    25925     44 |      599 |      334
1722.42/1723.04	c 1722s |      19 |   780493 |   534982 |    25925     44 |      599 |      334
1724.92/1725.53	c 1725s |      19 |   780944 |   535382 |    25925     44 |      599 |      334
1727.43/1728.01	c 1727s |      19 |   781417 |   535782 |    25925     44 |      599 |      334
1730.12/1730.70	c 1730s |      19 |   781980 |   536282 |    25925     44 |      599 |      334
1732.12/1732.73	c 1732s |      19 |   782336 |   536582 |    25925     44 |      599 |      334
1734.82/1735.41	c 1735s |      19 |   782895 |   537082 |    25925     44 |      599 |      334
1737.33/1737.91	c 1737s |      19 |   783462 |   537582 |    25925     44 |      599 |      334
1739.53/1740.13	c 1739s |      19 |   783789 |   537882 |    25925     44 |      599 |      334
1741.52/1742.18	c 1741s |      19 |   784237 |   538282 |    25925     44 |      599 |      334
1744.02/1744.62	c 1744s |      19 |   784691 |   538682 |    25925     44 |      599 |      334
1746.13/1746.71	c 1746s |      19 |   785047 |   538982 |    25925     44 |      599 |      334
1748.23/1748.90	c 1748s |      19 |   785488 |   539382 |    25925     44 |      599 |      334
1750.62/1751.21	c 1750s |      19 |   785832 |   539682 |    25925     44 |      599 |      334
1753.02/1753.66	c 1753s |      19 |   786270 |   540082 |    25925     44 |      599 |      334
1755.22/1755.85	c 1755s |      19 |   786824 |   540582 |    25925     44 |      599 |      334
1757.32/1757.99	c 1757s |      19 |   787411 |   541082 |    25925     44 |      599 |      334
1759.33/1759.99	c 1759s |      19 |   787763 |   541382 |    25925     44 |      599 |      334
1761.43/1762.04	c 1761s |      19 |   788276 |   541782 |    25925     44 |      599 |      334
1763.52/1764.19	c 1763s |      19 |   788742 |   542182 |    25925     44 |      599 |      334
1765.62/1766.27	c 1766s |      19 |   789430 |   542682 |    25925     44 |      599 |      334
1767.82/1768.48	c 1768s |      19 |   790058 |   543182 |    25925     44 |      599 |      334
1769.92/1770.51	c 1770s |      19 |   790507 |   543582 |    25925     44 |      599 |      334
1772.22/1772.84	c 1772s |      19 |   791468 |   544182 |    25925     44 |      599 |      334
1774.73/1775.37	c 1775s |      19 |   792158 |   544682 |    25925     44 |      599 |      334
1776.93/1777.51	c 1777s |      19 |   792845 |   545182 |    25925     44 |      599 |      334
1778.92/1779.52	c 1779s |      19 |   793333 |   545582 |    25925     44 |      599 |      334
1781.23/1781.90	c 1781s |      19 |   793996 |   546082 |    25925     44 |      599 |      334
1783.32/1784.00	c 1783s |      19 |   794623 |   546582 |    25925     44 |      599 |      334
1785.63/1786.29	c 1786s |      19 |   795004 |   546882 |    25925     45 |      599 |      334
1787.93/1788.59	c 1788s |      19 |   795476 |   547282 |    25925     45 |      599 |      334
1790.03/1790.70	c 1790s |      19 |   796520 |   547882 |    25925     45 |      599 |      334
1792.23/1792.86	c 1792s |      19 |   797312 |   548482 |    25925     45 |      599 |      334
1794.32/1794.97	c 1794s |      19 |   798110 |   549082 |    25925     45 |      599 |      334
1796.32/1796.97	c 1796s |      19 |   798925 |   549682 |    25925     45 |      599 |      334
1798.42/1799.03	c 1798s |      19 |   799722 |   550282 |    25925     45 |      599 |      334

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-4117277-1466956160/watcher-4117277-1466956160 -o /tmp/evaluation-result-4117277-1466956160/solver-4117277-1466956160 -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-4117277-1466956160.opb 

pid=2692
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.07 2.08 3/261 2695
/proc/meminfo: memFree=30840624/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1049020 CPUtime=0 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 3968 0 0 0 0 0 0 0 20 0 4 0 28654232 1074196480 4329 33554432000 4194304 16246674 140733893632512 140733893631936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 262767 4337 441 2943 0 259661 0
[pid=2695/tid=2696] ppid=2692 vsize=1103292 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1129771008 4542 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1107388 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1133965312 4560 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1112508 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28654232 1139208192 4579 33554432000 4194304 16246674 140733893632512 140630439222448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0

[startup+0.100143 s]
/proc/loadavg: 2.07 2.07 2.08 3/261 2695
/proc/meminfo: memFree=30840624/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1220164 CPUtime=0.09 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 28276 0 0 0 6 3 0 0 20 0 4 0 28654232 1249447936 28574 33554432000 4194304 16246674 140733893632512 140733893631824 4220965 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 305041 28574 801 2943 0 301935 0
[pid=2695/tid=2696] ppid=2692 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1249447936 28574 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1249447936 28574 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1249447936 28574 33554432000 4194304 16246674 140733893632512 140630439222448 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.200551 s]
/proc/loadavg: 2.07 2.07 2.08 3/261 2695
/proc/meminfo: memFree=30840624/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1301060 CPUtime=0.19 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 48483 0 0 0 13 6 0 0 20 0 4 0 28654232 1332285440 48781 33554432000 4194304 16246674 140733893632512 140733893631824 6757328 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 325265 48781 842 2943 0 322159 0
[pid=2695/tid=2696] ppid=2692 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1332285440 48781 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1332285440 48781 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1332285440 48781 33554432000 4194304 16246674 140733893632512 140630439222448 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.300487 s]
/proc/loadavg: 2.07 2.07 2.08 3/261 2695
/proc/meminfo: memFree=30840624/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1301060 CPUtime=0.29 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 50717 0 0 0 23 6 0 0 20 0 4 0 28654232 1332285440 51015 33554432000 4194304 16246674 140733893632512 140733893631824 5677277 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 325265 51020 882 2943 0 322159 0
[pid=2695/tid=2696] ppid=2692 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1332285440 51023 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1332285440 51026 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1332285440 51029 33554432000 4194304 16246674 140733893632512 140630439222448 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.700419 s]
/proc/loadavg: 2.07 2.07 2.08 3/261 2695
/proc/meminfo: memFree=30840624/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1301060 CPUtime=0.68 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 103637 0 0 0 55 13 0 0 20 0 4 0 28654232 1332285440 103935 33554432000 4194304 16246674 140733893632512 140733893614400 5677541 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 325265 103941 882 2943 0 322159 0
[pid=2695/tid=2696] ppid=2692 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1332285440 103945 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1332285440 103947 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1332285440 103949 33554432000 4194304 16246674 140733893632512 140630439222448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1301060

[startup+1.50041 s]
/proc/loadavg: 2.07 2.07 2.08 3/265 2699
/proc/meminfo: memFree=30226116/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1312324 CPUtime=1.49 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 177151 0 0 0 124 25 0 0 20 0 4 0 28654232 1343819776 177449 33554432000 4194304 16246674 140733893632512 140733893614400 13954494 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 328081 177449 888 2943 0 324975 0
[pid=2695/tid=2696] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 177449 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 177449 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 177449 33554432000 4194304 16246674 140733893632512 140630439222448 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.1004 s]
/proc/loadavg: 2.07 2.07 2.08 3/265 2699
/proc/meminfo: memFree=30082036/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1312324 CPUtime=3.09 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 247744 0 0 0 274 35 0 0 20 0 4 0 28654232 1343819776 248042 33554432000 4194304 16246674 140733893632512 140733893614400 12477776 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 328081 248042 889 2943 0 324975 0
[pid=2695/tid=2696] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 248042 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 248042 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 248042 33554432000 4194304 16246674 140733893632512 140630439222448 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.3004 s]
/proc/loadavg: 2.06 2.07 2.08 3/265 2699
/proc/meminfo: memFree=29849144/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1312324 CPUtime=6.29 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 247745 0 0 0 594 35 0 0 20 0 4 0 28654232 1343819776 248043 33554432000 4194304 16246674 140733893632512 140733893614400 5545784 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 328081 248043 889 2943 0 324975 0
[pid=2695/tid=2696] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 248043 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 248043 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 248043 33554432000 4194304 16246674 140733893632512 140630439222448 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.06 2.07 2.08 3/265 2699
/proc/meminfo: memFree=29848812/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1312324 CPUtime=12.69 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 247745 0 0 0 1234 35 0 0 20 0 4 0 28654232 1343819776 248043 33554432000 4194304 16246674 140733893632512 140733893614400 5712547 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 328081 248043 889 2943 0 324975 0
[pid=2695/tid=2696] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 248043 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 248043 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 248043 33554432000 4194304 16246674 140733893632512 140630439222448 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.5107 s]
/proc/loadavg: 2.04 2.06 2.08 3/265 2699
/proc/meminfo: memFree=29823016/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1312324 CPUtime=25.5 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 254360 0 0 0 2514 36 0 0 20 0 4 0 28654232 1343819776 254658 33554432000 4194304 16246674 140733893632512 140733893615512 5712698 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 328081 254658 891 2943 0 324975 0
[pid=2695/tid=2696] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 254658 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 254658 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 254658 33554432000 4194304 16246674 140733893632512 140630439222448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.03 2.06 2.07 3/266 2702
/proc/meminfo: memFree=29823448/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1312324 CPUtime=51.08 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 254361 0 0 0 5072 36 0 0 20 0 4 0 28654232 1343819776 254659 33554432000 4194304 16246674 140733893632512 140733893614400 5523192 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 328081 254659 892 2943 0 324975 0
[pid=2695/tid=2696] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 254659 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 254659 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1343819776 254659 33554432000 4194304 16246674 140733893632512 140630439222448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.17 2.08 2.08 3/264 2703
/proc/meminfo: memFree=29816752/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1319492 CPUtime=102.28 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 255945 0 0 0 10191 37 0 0 20 0 4 0 28654232 1351159808 256243 33554432000 4194304 16246674 140733893632512 140733893614400 12483272 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 329873 256243 892 2943 0 326767 0
[pid=2695/tid=2696] ppid=2692 vsize=1319492 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1351159808 256243 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1319492 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1351159808 256243 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1319492 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1351159808 256243 33554432000 4194304 16246674 140733893632512 140630439222448 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) 1319492


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

/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630439222448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1336900

[startup+1302.3 s]
/proc/loadavg: 2.21 2.14 2.10 3/265 2806
/proc/meminfo: memFree=29748884/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1336900 CPUtime=1301.8 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 275758 0 0 0 130130 50 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140733893614400 4220897 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 334225 275970 892 2943 0 331119 0
[pid=2695/tid=2696] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630439222448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 1336900

[startup+1362.32 s]
/proc/loadavg: 2.14 2.13 2.09 3/265 2808
/proc/meminfo: memFree=29748152/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1336900 CPUtime=1361.8 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 275758 0 0 0 136130 50 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140733893614400 5712604 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 334225 275970 892 2943 0 331119 0
[pid=2695/tid=2696] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630439222448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1336900

[startup+1432.47 s]
/proc/loadavg: 2.32 2.18 2.11 3/265 2808
/proc/meminfo: memFree=29747300/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1336900 CPUtime=1431.95 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 275758 0 0 0 143143 52 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140733893614400 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 334225 275970 892 2943 0 331119 0
[pid=2695/tid=2696] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630439222448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1431.95
Current children cumulated vsize (KiB) 1336900

[startup+1482.81 s]
/proc/loadavg: 2.19 2.16 2.10 3/265 2809
/proc/meminfo: memFree=29746108/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1336900 CPUtime=1482.28 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 275758 0 0 0 148176 52 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140733893614400 5823674 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 334225 275970 892 2943 0 331119 0
[pid=2695/tid=2696] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630439222448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 1336900

[startup+1551.94 s]
/proc/loadavg: 2.04 2.11 2.09 4/265 2810
/proc/meminfo: memFree=29745796/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1336900 CPUtime=1551.4 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 275758 0 0 0 155087 53 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140733893631688 5822484 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 334225 275970 892 2943 0 331119 0
[pid=2695/tid=2696] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630439222448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1551.4
Current children cumulated vsize (KiB) 1336900

[startup+1612.08 s]
/proc/loadavg: 2.08 2.11 2.09 3/265 2811
/proc/meminfo: memFree=29745984/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1336900 CPUtime=1611.55 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 275758 0 0 0 161101 54 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140733893614400 5828996 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 334225 275970 892 2943 0 331119 0
[pid=2695/tid=2696] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630439222448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1611.55
Current children cumulated vsize (KiB) 1336900

[startup+1662.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/265 2813
/proc/meminfo: memFree=29746300/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1336900 CPUtime=1661.73 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 275758 0 0 0 166119 54 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140733893631608 5722402 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 334225 275970 892 2943 0 331119 0
[pid=2695/tid=2696] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630439222448 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) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/265 2814
/proc/meminfo: memFree=29746180/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1336900 CPUtime=1721.72 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 275758 0 0 0 172117 55 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140733893614400 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 334225 275970 892 2943 0 331119 0
[pid=2695/tid=2696] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630439222448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/265 2815
/proc/meminfo: memFree=29745648/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1336900 CPUtime=1781.72 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 275758 0 0 0 178116 56 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140733893614400 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 334225 275970 892 2943 0 331119 0
[pid=2695/tid=2696] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630439222448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.61 s]
/proc/loadavg: 2.05 2.07 2.08 3/265 2815
/proc/meminfo: memFree=29746252/32872528 swapFree=7556/7556
[pid=2695] ppid=2692 vsize=1336900 CPUtime=1800.03 cores=4-7,12-15
/proc/2695/stat : 2695 (toysat) R 2692 2695 32495 0 -1 4202496 275758 0 0 0 179947 56 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140733893631688 12415804 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2695/statm: 334225 275970 892 2943 0 331119 0
[pid=2695/tid=2696] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2696/stat : 2696 (toysat) S 2692 2695 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630530436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2695/tid=2697] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2697/stat : 2697 (toysat) S 2692 2695 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630449695984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2695/tid=2698] ppid=2692 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/2695/task/2698/stat : 2698 (toysat) S 2692 2695 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28654232 1368985600 275970 33554432000 4194304 16246674 140733893632512 140630439222448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1336900

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 2695 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.62
CPU time (s): 1800.04
CPU user time (s): 1799.48
CPU system time (s): 0.560914
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.560914
maximum resident set size= 1103880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275758
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= 357
involuntary context switches= 2070

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3801 second user time and 15.1557 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 17:49:20
IDJOB=4117277
IDBENCH=109575
IDSOLVER=2542
FILE ID=node132/4117277-1466956160
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-size80-round22-0.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117277-1466956160/watcher-4117277-1466956160 -o /tmp/evaluation-result-4117277-1466956160/solver-4117277-1466956160 -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-4117277-1466956160.opb

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

MD5SUM BENCH= 2fda4b5e62de0cf52e0e868680492c08
RANDOM SEED=251710545

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:        30841416 kB
Buffers:           29620 kB
Cached:           178064 kB
SwapCached:         1784 kB
Active:          1167984 kB
Inactive:         146048 kB
Active(anon):    1106660 kB
Inactive(anon):     1700 kB
Active(file):      61324 kB
Inactive(file):   144348 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16968 kB
Writeback:             0 kB
AnonPages:       1114492 kB
Mapped:            10780 kB
Shmem:                 0 kB
Slab:             570720 kB
SReclaimable:      11300 kB
SUnreclaim:       559420 kB
KernelStack:        2248 kB
PageTables:         5980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1255232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    131072 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 18:19:21