Trace number 4116517

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size80-round23-1.opb
MD5SUM8da99d58ed47e2ffaa19ff7cece0b095
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9456
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)368
Number of constraints which are nor clauses,nor cardinality constraints896
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-26T22:35:02+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-4116517-1466973302.opb"]
0.00/0.01	c use --random-gen="3307263455 3539062650 4114845180 4094826802 1337599867 336075366 806404612 3012811145 2242538190 1040123308 2858880195 419991045 3936731942 476371889 3470665952 3465604307 3505194770 3491517087 140929888 4047414057 3183398546 222924601 1907349696 1676117191 1197613901 2243498843 3030285674 2071720724 3572368878 2390884154 2814613607 949260052 1849744333 3246800605 3383389422 3855951644 1076205558 1063150155 4122130722 4287788588 3753502010 2209425255 3933008993 1402419102 2625934121 2849417698 4115064445 876445386 602763611 34853378 3262633388 770360760 122693300 9894523 2757126995 1445823430 4087940522 3708717541 771223065 3284092814 870829766 3993650809 3607422131 3410071770 388509050 641726806 2824156091 630689982 50363503 2546930920 127742323 1106424127 1361464123 2798612913 3790878791 631502251 3580806503 2800903465 1448156450 2905671394 452493928 3460870908 3978306563 677933789 947465435 2407376434 1856423005 1595163354 3046442528 3560767761 1875214420 3485257104 2524001303 1020347960 2567108185 4147581200 2645960949 2910312888 1592001836 315038787 1153800027 1129418995 2689209923 1546105597 1036730844 4045858967 3530330799 1994021335 2271973089 955094559 1823624215 1934311073 1036472226 572297664 3195267916 3521213572 2311375055 338451533 2889469985 3493180270 192258569 839960959 2094312750 1332363399 1470312635 2093756740 674132401 1802242996 2188807286 3990499229 4199455333 3115935346 805985495 261818525 1208556680 1963073034 3120421023 3983359202 3017029804 2201306135 3410056907 593685720 1615519082 1775412088 342387999 1028257267 3618898602 2538676779 3964151161 1340321285 3191927148 4192254609 2617565326 3131808126 864733820 3425358496 581302836 3463982080 2508906742 1207677163 2087966396 3785792433 1879673874 1114316112 3414163092 1095995715 3070422924 2507572251 178999319 3995165971 613627626 3777461644 2642430065 3960737432 3229060914 1343495056 3705291692 2426121047 2430738985 3145588325 40292404 2836477083 812184683 3221264147 1538223786 3906365047 3418836996 596664234 1494684753 3228763361 311912415 3730949562 376586279 3842369736 267052964 1448658559 3769065717 987607725 312852938 452134531 752558352 132043262 983315325 3350204860 3221542429 3254395777 3404683777 3089821627 3214129426 3893126558 807166138 3384963088 393208602 1034895720 1099860983 328257128 2673932232 2462431642 1427814996 1414123256 125339603 3649576893 1244137064 3807916080 3042264502 3317200930 2202300466 3919271671 1797921691 1208746149 2330629392 1278612096 816550869 3241521896 3718538838 1871167328 814349005 2740358353 3483701712 543193605 1474591342 2858298045 3156785050 2286661464 493283228 2637861224 658712542 290438276 2327495455 110928183 2461311027 1822530575 4103411278 1079555923 743423186 2733032470 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9456
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     4565      0 |      598 |        0
0.29/0.34	c  0.1s |       1 |      627 |      100 |     4565      0 |      598 |      382
0.39/0.48	c  0.2s |       2 |     2508 |      250 |     5022      0 |      598 |      382
0.59/0.63	c  0.4s |       3 |     4818 |      475 |     5525      0 |      599 |      382
0.79/0.86	c  0.6s |       4 |     7499 |      813 |     6078      0 |      599 |      382
1.39/1.44	c  1.2s |       5 |     9310 |     1320 |     6686      0 |      599 |      382
2.09/2.17	c  1.9s |       6 |    15754 |     2081 |     8091      0 |      599 |      382
2.99/3.01	c  2.7s |       7 |    24384 |     3223 |     8901      0 |      599 |      382
4.29/4.30	c  4.0s |       8 |    28601 |     4936 |     9792      0 |      599 |      382
6.39/6.40	c  6.1s |       8 |    35271 |     7036 |     9792      0 |      599 |      382
6.89/6.91	c  6.6s |       9 |    36805 |     7506 |    10772      0 |      599 |      382
8.90/8.97	c  8.7s |       9 |    43037 |     9506 |    10772      0 |      600 |      382
10.49/10.50	c 10.2s |      10 |    49330 |    11361 |    11850      0 |      600 |      382
12.49/12.53	c 12.3s |      10 |    53019 |    12861 |    11850      0 |      600 |      382
14.49/14.57	c 14.3s |      10 |    55104 |    14261 |    11850      0 |      600 |      382
16.60/16.65	c 16.4s |      10 |    56262 |    15261 |    11850      0 |      600 |      382
18.80/18.83	c 18.6s |      10 |    57408 |    16261 |    11850      1 |      600 |      382
20.49/20.59	c 20.3s |      11 |    58417 |    17144 |    13036      1 |      600 |      382
22.59/22.61	c 22.3s |      11 |    65337 |    19344 |    13036      1 |      600 |      382
24.59/24.67	c 24.4s |      11 |    67983 |    21044 |    13036      1 |      600 |      382
26.59/26.67	c 26.4s |      11 |    69507 |    22344 |    13036      1 |      600 |      382
28.59/28.69	c 28.4s |      11 |    71177 |    23644 |    13036      1 |      600 |      382
30.79/30.83	c 30.6s |      11 |    72710 |    24744 |    13036      2 |      600 |      382
31.79/31.86	c 31.6s |      12 |    75696 |    25819 |    14340      2 |      600 |      382
33.88/33.97	c 33.7s |      12 |    79179 |    27419 |    14340      2 |      600 |      382
35.88/36.00	c 35.7s |      12 |    81162 |    28819 |    14340      2 |      600 |      382
38.08/38.17	c 37.9s |      12 |    83999 |    30519 |    14340      2 |      600 |      382
40.18/40.25	c 40.0s |      12 |    86025 |    31919 |    14340      2 |      600 |      382
42.28/42.38	c 42.1s |      12 |    87484 |    33119 |    14340      2 |      600 |      382
44.38/44.49	c 44.2s |      12 |    88551 |    34019 |    14340      3 |      600 |      382
46.48/46.53	c 46.3s |      12 |    89573 |    34919 |    14340      3 |      600 |      382
48.58/48.61	c 48.3s |      12 |    90601 |    35819 |    14340      3 |      600 |      382
50.69/50.79	c 50.5s |      12 |    91625 |    36719 |    14340      3 |      600 |      382
52.79/52.91	c 52.6s |      12 |    92623 |    37619 |    14340      3 |      600 |      382
55.09/55.11	c 54.8s |      12 |    93513 |    38419 |    14340      3 |      600 |      382
56.28/56.35	c 56.1s |      13 |    93979 |    38832 |    15775      3 |      600 |      382
58.29/58.39	c 58.1s |      13 |   102151 |    40932 |    15775      3 |      600 |      382
60.38/60.45	c 60.2s |      13 |   107868 |    43332 |    15775      3 |      600 |      382
62.48/62.55	c 62.3s |      13 |   109669 |    44632 |    15775      4 |      600 |      382
64.58/64.62	c 64.3s |      13 |   111314 |    45932 |    15775      4 |      600 |      382
66.68/66.76	c 66.5s |      13 |   112855 |    47132 |    15775      4 |      600 |      382
68.78/68.88	c 68.6s |      13 |   114127 |    48232 |    15775      4 |      600 |      382
70.88/70.91	c 70.6s |      13 |   115401 |    49232 |    15775      4 |      600 |      382
73.08/73.11	c 72.8s |      13 |   116621 |    50232 |    15775      4 |      600 |      382
75.08/75.19	c 74.9s |      13 |   117524 |    51032 |    15775      4 |      600 |      382
77.18/77.21	c 76.9s |      13 |   118330 |    51732 |    15775      4 |      600 |      382
79.19/79.24	c 79.0s |      13 |   119413 |    52632 |    15775      4 |      600 |      382
81.28/81.34	c 81.1s |      13 |   120532 |    53532 |    15775      4 |      600 |      382
83.27/83.34	c 83.1s |      13 |   121466 |    54332 |    15775      5 |      600 |      382
85.47/85.56	c 85.3s |      13 |   122539 |    55232 |    15775      5 |      600 |      382
87.67/87.75	c 87.5s |      13 |   123648 |    56132 |    15775      5 |      600 |      382
89.77/89.81	c 89.5s |      13 |   124537 |    56932 |    15775      5 |      600 |      382
91.97/92.09	c 91.8s |      13 |   125431 |    57732 |    15775      5 |      600 |      382
93.77/93.80	c 93.5s |      14 |   126144 |    58352 |    17353      5 |      600 |      382
95.79/95.85	c 95.6s |      14 |   133223 |    60252 |    17353      5 |      600 |      382
97.78/97.90	c 97.6s |      14 |   136332 |    62052 |    17353      5 |      600 |      382
99.88/99.92	c 99.6s |      14 |   138897 |    63652 |    17353      5 |      600 |      382
101.88/101.94	c  101s |      14 |   141727 |    64952 |    17353      6 |      600 |      382
103.98/104.06	c  103s |      14 |   143486 |    66352 |    17353      6 |      600 |      382
106.08/106.10	c  105s |      14 |   144823 |    67452 |    17353      6 |      600 |      382
108.18/108.25	c  107s |      14 |   146021 |    68452 |    17353      6 |      600 |      382
110.28/110.33	c  110s |      14 |   147072 |    69352 |    17353      6 |      600 |      382
112.37/112.42	c  112s |      14 |   148827 |    70752 |    17353      6 |      600 |      382
114.38/114.43	c  114s |      14 |   150404 |    71952 |    17353      6 |      600 |      382
116.37/116.46	c  116s |      14 |   151471 |    72852 |    17353      6 |      600 |      382
118.37/118.48	c  118s |      14 |   152430 |    73652 |    17353      6 |      600 |      382
120.57/120.62	c  120s |      14 |   153738 |    74652 |    17353      6 |      600 |      382
122.57/122.68	c  122s |      14 |   154704 |    75452 |    17353      7 |      600 |      382
124.67/124.79	c  124s |      14 |   155611 |    76252 |    17353      7 |      600 |      382
126.77/126.80	c  126s |      14 |   156578 |    77052 |    17353      7 |      600 |      382
128.78/128.84	c  128s |      14 |   157796 |    77952 |    17353      7 |      600 |      382
130.77/130.88	c  130s |      14 |   158740 |    78752 |    17353      7 |      600 |      382
132.97/133.08	c  132s |      14 |   159583 |    79452 |    17353      7 |      600 |      382
135.28/135.38	c  135s |      14 |   160443 |    80152 |    17353      7 |      600 |      382
137.37/137.41	c  137s |      14 |   161123 |    80752 |    17353      7 |      600 |      382
139.47/139.53	c  139s |      14 |   161844 |    81352 |    17353      7 |      600 |      382
141.77/141.85	c  141s |      14 |   162703 |    82052 |    17353      7 |      600 |      382
144.08/144.17	c  143s |      14 |   163351 |    82652 |    17353      7 |      600 |      382
146.28/146.33	c  146s |      14 |   164037 |    83252 |    17353      7 |      600 |      382
148.47/148.58	c  148s |      14 |   164880 |    83952 |    17353      7 |      600 |      382
150.67/150.78	c  150s |      14 |   165684 |    84652 |    17353      7 |      600 |      382
153.36/153.41	c  153s |      14 |   166525 |    85352 |    17353      8 |      600 |      382
155.46/155.59	c  155s |      14 |   167311 |    86052 |    17353      8 |      600 |      382
157.56/157.64	c  157s |      14 |   167950 |    86652 |    17353      8 |      600 |      382
159.76/159.83	c  159s |      14 |   168716 |    87352 |    19089      8 |      600 |      382
160.67/160.76	c  160s |      15 |   169015 |    87632 |    19089      8 |      600 |      382
162.77/162.82	c  162s |      15 |   176311 |    89732 |    19089      8 |      600 |      382
164.86/164.94	c  164s |      15 |   179595 |    91532 |    19089      8 |      600 |      382
166.96/167.06	c  166s |      15 |   181438 |    92932 |    19089      8 |      600 |      382
169.06/169.14	c  168s |      15 |   183154 |    94132 |    19089      8 |      600 |      382
171.06/171.18	c  170s |      15 |   184178 |    94932 |    19089      8 |      600 |      382
173.26/173.32	c  173s |      15 |   185132 |    95732 |    19089      8 |      600 |      382
175.27/175.36	c  175s |      15 |   186346 |    96632 |    19089      8 |      600 |      382
177.47/177.50	c  177s |      15 |   187200 |    97332 |    19089      9 |      600 |      382
179.67/179.74	c  179s |      15 |   188095 |    98132 |    19089      9 |      600 |      382
181.77/181.86	c  181s |      15 |   188871 |    98832 |    19089      9 |      600 |      382
183.87/183.95	c  183s |      15 |   189718 |    99532 |    19089      9 |      600 |      382
186.17/186.27	c  185s |      15 |   190665 |   100332 |    19089      9 |      600 |      382
188.47/188.57	c  188s |      15 |   191451 |   101032 |    19089      9 |      600 |      382
190.57/190.62	c  190s |      15 |   192261 |   101732 |    19089      9 |      600 |      382
192.77/192.88	c  192s |      15 |   193076 |   102432 |    19089      9 |      600 |      382
194.87/194.95	c  194s |      15 |   193941 |   103132 |    19089      9 |      600 |      382
196.98/197.08	c  196s |      15 |   194776 |   103832 |    19089      9 |      600 |      382
199.07/199.19	c  198s |      15 |   195453 |   104432 |    19089      9 |      600 |      382
201.27/201.40	c  201s |      15 |   196359 |   105132 |    19089      9 |      600 |      382
203.36/203.46	c  203s |      15 |   197065 |   105732 |    19089      9 |      600 |      382
205.46/205.50	c  205s |      15 |   197641 |   106232 |    19089      9 |      600 |      382
207.46/207.55	c  207s |      15 |   198559 |   106932 |    19089      9 |      600 |      382
209.76/209.88	c  209s |      15 |   199320 |   107632 |    19089      9 |      600 |      382
212.16/212.24	c  211s |      15 |   199980 |   108232 |    19089      9 |      600 |      382
214.26/214.34	c  214s |      15 |   200741 |   108832 |    19089     10 |      600 |      382
216.36/216.43	c  216s |      15 |   201716 |   109632 |    19089     10 |      600 |      382
218.36/218.44	c  218s |      15 |   202434 |   110232 |    19089     10 |      600 |      382
220.46/220.59	c  220s |      15 |   203120 |   110832 |    19089     10 |      600 |      382
222.56/222.62	c  222s |      15 |   203837 |   111432 |    19089     10 |      600 |      382
224.85/224.98	c  224s |      15 |   204665 |   112132 |    19089     10 |      600 |      382
227.06/227.10	c  226s |      15 |   205360 |   112732 |    19089     10 |      600 |      382
229.06/229.12	c  228s |      15 |   205928 |   113232 |    19089     10 |      600 |      382
231.25/231.31	c  231s |      15 |   206639 |   113832 |    19089     10 |      600 |      382
233.45/233.58	c  233s |      15 |   207345 |   114432 |    19089     10 |      600 |      382
235.65/235.79	c  235s |      15 |   207895 |   114932 |    19089     10 |      600 |      382
238.05/238.12	c  237s |      15 |   208568 |   115532 |    19089     10 |      600 |      382
240.45/240.51	c  240s |      15 |   209264 |   116132 |    19089     10 |      600 |      382
242.65/242.71	c  242s |      15 |   209833 |   116632 |    19089     10 |      600 |      382
244.85/244.94	c  244s |      15 |   210383 |   117132 |    19089     10 |      600 |      382
247.25/247.30	c  247s |      15 |   210936 |   117632 |    19089     10 |      600 |      382
249.55/249.66	c  249s |      15 |   211510 |   118132 |    19089     10 |      600 |      382
251.86/251.94	c  251s |      15 |   212082 |   118632 |    19089     10 |      600 |      382
253.95/254.05	c  253s |      15 |   212622 |   119132 |    19089     10 |      600 |      382
256.75/256.81	c  256s |      15 |   213188 |   119632 |    19089     11 |      600 |      382
258.95/259.05	c  258s |      15 |   213872 |   120232 |    19089     11 |      600 |      382
261.25/261.33	c  261s |      15 |   214553 |   120832 |    19089     11 |      600 |      382
263.35/263.48	c  263s |      15 |   215225 |   121432 |    19089     11 |      600 |      382
265.55/265.62	c  265s |      15 |   215755 |   121932 |    19089     11 |      600 |      382
267.75/267.89	c  267s |      15 |   216289 |   122432 |    19089     11 |      600 |      382
270.05/270.15	c  269s |      15 |   216856 |   122932 |    19089     11 |      600 |      382
272.04/272.16	c  271s |      15 |   217556 |   123532 |    19089     11 |      600 |      382
274.44/274.50	c  274s |      15 |   218257 |   124132 |    19089     11 |      600 |      382
276.64/276.71	c  276s |      15 |   218961 |   124732 |    19089     11 |      600 |      382
278.95/279.03	c  278s |      15 |   219644 |   125332 |    19089     11 |      600 |      382
281.05/281.18	c  280s |      15 |   220244 |   125832 |    19089     11 |      600 |      382
283.25/283.35	c  283s |      15 |   220815 |   126332 |    19089     11 |      600 |      382
285.35/285.47	c  285s |      15 |   221422 |   126832 |    19089     11 |      600 |      382
287.65/287.77	c  287s |      15 |   222127 |   127432 |    19089     11 |      600 |      382
289.65/289.79	c  289s |      15 |   222737 |   127932 |    19089     11 |      600 |      382
291.85/291.98	c  291s |      15 |   223291 |   128432 |    19089     11 |      600 |      382
294.15/294.27	c  293s |      15 |   223980 |   129032 |    19089     11 |      600 |      382
296.35/296.43	c  296s |      15 |   224532 |   129532 |    19089     11 |      600 |      382
298.45/298.52	c  298s |      15 |   225105 |   130032 |    19089     11 |      600 |      382
300.65/300.72	c  300s |      15 |   225706 |   130532 |    19089     11 |      600 |      382
303.04/303.15	c  302s |      15 |   226280 |   131032 |    20998     11 |      600 |      382
305.34/305.44	c  305s |      15 |   226850 |   131532 |    20998     11 |      600 |      382
305.44/305.53	c  305s |      16 |   226869 |   131552 |    20998     11 |      600 |      382
307.44/307.59	c  307s |      16 |   228717 |   132452 |    20998     12 |      600 |      382
309.54/309.63	c  309s |      16 |   232702 |   134452 |    20998     12 |      600 |      382
311.64/311.74	c  311s |      16 |   235808 |   136252 |    20998     12 |      600 |      382
313.64/313.77	c  313s |      16 |   237570 |   137652 |    20998     12 |      600 |      382
315.75/315.83	c  315s |      16 |   238959 |   138852 |    20998     12 |      600 |      382
317.85/317.92	c  317s |      16 |   240183 |   139952 |    20998     12 |      600 |      382
320.05/320.13	c  319s |      16 |   241277 |   140952 |    20998     12 |      600 |      382
322.04/322.14	c  321s |      16 |   242565 |   142052 |    20998     12 |      600 |      382
324.14/324.20	c  323s |      16 |   244415 |   143452 |    20998     12 |      600 |      382
326.24/326.31	c  326s |      16 |   245783 |   144352 |    20998     13 |      600 |      382
328.24/328.36	c  328s |      16 |   247412 |   145552 |    20998     13 |      600 |      382
330.34/330.46	c  330s |      16 |   249081 |   146852 |    20998     13 |      600 |      382
332.44/332.52	c  332s |      16 |   250272 |   147852 |    20998     13 |      600 |      382
334.45/334.58	c  334s |      16 |   251699 |   148952 |    20998     13 |      600 |      382
336.65/336.77	c  336s |      16 |   253027 |   150052 |    20998     13 |      600 |      382
338.75/338.88	c  338s |      16 |   254308 |   151052 |    20998     13 |      600 |      382
340.95/341.07	c  340s |      16 |   255340 |   151952 |    20998     13 |      600 |      382
343.15/343.27	c  342s |      16 |   256359 |   152852 |    20998     13 |      600 |      382
345.23/345.36	c  345s |      16 |   257153 |   153552 |    20998     13 |      600 |      382
347.43/347.59	c  347s |      16 |   258094 |   154352 |    20998     13 |      600 |      382
349.63/349.80	c  349s |      16 |   259318 |   155252 |    20998     13 |      600 |      382
351.73/351.86	c  351s |      16 |   260350 |   156052 |    20998     13 |      600 |      382
353.73/353.87	c  353s |      16 |   261200 |   156752 |    20998     14 |      600 |      382
355.93/356.04	c  355s |      16 |   262376 |   157752 |    20998     14 |      600 |      382
358.03/358.13	c  357s |      16 |   263441 |   158652 |    20998     14 |      600 |      382
360.13/360.26	c  359s |      16 |   264522 |   159552 |    20998     14 |      600 |      382
362.43/362.52	c  362s |      16 |   265660 |   160452 |    20998     14 |      600 |      382
364.53/364.64	c  364s |      16 |   266818 |   161352 |    20998     14 |      600 |      382
366.53/366.64	c  366s |      16 |   267840 |   162152 |    20998     14 |      600 |      382
368.54/368.66	c  368s |      16 |   268790 |   162952 |    20998     14 |      600 |      382
370.64/370.76	c  370s |      16 |   269793 |   163752 |    20998     14 |      600 |      382
372.63/372.78	c  372s |      16 |   270771 |   164552 |    20998     14 |      600 |      382
374.73/374.82	c  374s |      16 |   271673 |   165352 |    20998     14 |      600 |      382
376.93/377.06	c  376s |      16 |   272578 |   166152 |    20998     14 |      600 |      382
379.03/379.18	c  378s |      16 |   273350 |   166852 |    20998     14 |      600 |      382
381.23/381.30	c  381s |      16 |   274199 |   167552 |    20998     14 |      600 |      382
383.43/383.57	c  383s |      16 |   275000 |   168252 |    20998     14 |      600 |      382
386.23/386.32	c  386s |      16 |   275790 |   168952 |    20998     15 |      600 |      382
388.34/388.42	c  388s |      16 |   276698 |   169752 |    20998     15 |      600 |      382
390.44/390.57	c  390s |      16 |   277464 |   170452 |    20998     15 |      600 |      382
392.43/392.58	c  392s |      16 |   278288 |   171152 |    20998     15 |      600 |      382
394.63/394.76	c  394s |      16 |   279638 |   172152 |    20998     15 |      600 |      382
396.83/396.90	c  396s |      16 |   280908 |   173152 |    20998     15 |      600 |      382
398.83/398.97	c  398s |      16 |   281867 |   173952 |    20998     15 |      600 |      382
401.13/401.22	c  400s |      16 |   282800 |   174752 |    20998     15 |      600 |      382
403.13/403.23	c  402s |      16 |   283744 |   175552 |    20998     15 |      600 |      382
405.22/405.39	c  405s |      16 |   284682 |   176352 |    20998     15 |      600 |      382
407.33/407.42	c  407s |      16 |   285512 |   177052 |    20998     15 |      600 |      382
409.42/409.54	c  409s |      16 |   286484 |   177852 |    20998     15 |      600 |      382
411.52/411.64	c  411s |      16 |   287280 |   178552 |    20998     15 |      600 |      382
413.82/413.90	c  413s |      16 |   288088 |   179252 |    20998     15 |      600 |      382
416.12/416.21	c  415s |      16 |   288913 |   179952 |    20998     15 |      600 |      382
418.12/418.22	c  417s |      16 |   289751 |   180652 |    20998     15 |      600 |      382
420.23/420.38	c  420s |      16 |   290440 |   181252 |    20998     16 |      600 |      382
422.43/422.51	c  422s |      16 |   291506 |   182152 |    20998     16 |      600 |      382
424.42/424.59	c  424s |      16 |   292397 |   182952 |    20998     16 |      600 |      382
426.73/426.83	c  426s |      16 |   293427 |   183852 |    20998     16 |      600 |      382
428.93/429.04	c  428s |      16 |   294347 |   184652 |    20998     16 |      600 |      382
431.23/431.36	c  431s |      16 |   295129 |   185352 |    20998     16 |      600 |      382
433.22/433.39	c  433s |      16 |   295921 |   186052 |    20998     16 |      600 |      382
435.42/435.55	c  435s |      16 |   296731 |   186752 |    20998     16 |      600 |      382
437.84/437.94	c  437s |      16 |   297545 |   187452 |    20998     16 |      600 |      382
440.04/440.13	c  439s |      16 |   298214 |   188052 |    20998     16 |      600 |      382
442.14/442.22	c  441s |      16 |   298869 |   188652 |    20998     16 |      600 |      382
444.23/444.30	c  444s |      16 |   299546 |   189252 |    20998     16 |      600 |      382
446.43/446.50	c  446s |      16 |   300206 |   189852 |    20998     16 |      600 |      382
448.63/448.73	c  448s |      16 |   300897 |   190452 |    20998     16 |      600 |      382
450.94/451.02	c  450s |      16 |   301565 |   191052 |    20998     16 |      600 |      382
453.24/453.37	c  453s |      16 |   302260 |   191652 |    20998     16 |      600 |      382
455.33/455.44	c  455s |      16 |   302973 |   192252 |    20998     16 |      600 |      382
457.43/457.60	c  457s |      16 |   303678 |   192852 |    20998     16 |      600 |      382
459.63/459.80	c  459s |      16 |   304273 |   193352 |    20998     17 |      600 |      382
461.72/461.85	c  461s |      16 |   305053 |   194052 |    20998     17 |      600 |      382
463.92/464.00	c  463s |      16 |   305815 |   194752 |    20998     17 |      600 |      382
466.02/466.12	c  465s |      16 |   306586 |   195452 |    20998     17 |      600 |      382
468.12/468.21	c  467s |      16 |   307501 |   196252 |    23098     17 |      600 |      382
470.12/470.22	c  469s |      16 |   308279 |   196952 |    23098     17 |      600 |      382
471.42/471.54	c  471s |      17 |   308809 |   197432 |    23098     17 |      600 |      382
473.52/473.63	c  473s |      17 |   314943 |   199332 |    23098     17 |      600 |      382
475.52/475.65	c  475s |      17 |   318249 |   201032 |    23098     17 |      600 |      382
477.62/477.72	c  477s |      17 |   321053 |   202632 |    23098     17 |      600 |      382
479.72/479.87	c  479s |      17 |   322823 |   203932 |    23098     17 |      600 |      382
481.73/481.87	c  481s |      17 |   323828 |   204832 |    23098     17 |      600 |      382
483.72/483.89	c  483s |      17 |   325041 |   205832 |    23098     17 |      600 |      382
485.82/485.93	c  485s |      17 |   326173 |   206732 |    23098     17 |      600 |      382
488.22/488.38	c  488s |      17 |   327113 |   207532 |    23098     18 |      600 |      382
490.41/490.60	c  490s |      17 |   328142 |   208432 |    23098     18 |      600 |      382
492.51/492.63	c  492s |      17 |   334455 |   210332 |    23098     18 |      600 |      382
494.51/494.68	c  494s |      17 |   336816 |   211732 |    23098     18 |      600 |      382
496.71/496.81	c  496s |      17 |   338735 |   213032 |    23098     18 |      600 |      382
498.71/498.83	c  498s |      17 |   339862 |   213932 |    23098     18 |      600 |      382
500.81/500.91	c  500s |      17 |   342220 |   215232 |    23098     18 |      600 |      382
502.81/502.92	c  502s |      17 |   344218 |   216432 |    23098     18 |      600 |      382
504.82/504.99	c  504s |      17 |   345785 |   217432 |    23098     18 |      600 |      382
506.91/507.03	c  506s |      17 |   347412 |   218532 |    23098     18 |      600 |      382
508.91/509.06	c  508s |      17 |   348918 |   219532 |    23098     18 |      600 |      382
511.11/511.22	c  510s |      17 |   349950 |   220332 |    23098     18 |      600 |      382
513.21/513.37	c  513s |      17 |   351085 |   221132 |    23098     19 |      600 |      382
515.41/515.57	c  515s |      17 |   352228 |   222032 |    23098     19 |      600 |      382
517.41/517.59	c  517s |      17 |   353199 |   222832 |    23098     19 |      600 |      382
519.61/519.77	c  519s |      17 |   354610 |   223832 |    23098     19 |      600 |      382
521.81/521.91	c  521s |      17 |   356269 |   224932 |    23098     19 |      600 |      382
523.81/523.98	c  523s |      17 |   357677 |   225932 |    23098     19 |      600 |      382
526.01/526.12	c  525s |      17 |   359114 |   226932 |    23098     19 |      600 |      382
528.11/528.21	c  527s |      17 |   360017 |   227632 |    23098     19 |      600 |      382
530.12/530.26	c  529s |      17 |   360940 |   228332 |    23098     19 |      600 |      382
532.21/532.40	c  532s |      17 |   361897 |   229132 |    23098     19 |      600 |      382
534.31/534.46	c  534s |      17 |   363087 |   230032 |    23098     19 |      600 |      382
536.41/536.50	c  536s |      17 |   364206 |   230832 |    23098     19 |      600 |      382
538.51/538.66	c  538s |      17 |   365340 |   231632 |    23098     19 |      600 |      382
540.70/540.88	c  540s |      17 |   366218 |   232332 |    23098     19 |      600 |      382
543.00/543.10	c  542s |      17 |   367238 |   233132 |    23098     19 |      600 |      382
545.20/545.34	c  545s |      17 |   368076 |   233832 |    23098     19 |      600 |      382
547.30/547.43	c  547s |      17 |   368768 |   234432 |    23098     20 |      600 |      382
549.40/549.50	c  549s |      17 |   369703 |   235232 |    23098     20 |      600 |      382
551.40/551.55	c  551s |      17 |   370474 |   235932 |    23098     20 |      600 |      382
553.50/553.66	c  553s |      17 |   371518 |   236732 |    23098     20 |      600 |      382
555.70/555.86	c  555s |      17 |   372401 |   237432 |    23098     20 |      600 |      382
557.90/558.06	c  557s |      17 |   373285 |   238132 |    23098     20 |      600 |      382
560.10/560.27	c  559s |      17 |   374149 |   238832 |    23098     20 |      600 |      382
562.40/562.57	c  562s |      17 |   374846 |   239432 |    23098     20 |      600 |      382
564.60/564.77	c  564s |      17 |   375290 |   239832 |    23098     20 |      600 |      382
566.80/566.98	c  566s |      17 |   375878 |   240332 |    23098     20 |      600 |      382
568.80/568.98	c  568s |      17 |   376568 |   240932 |    23098     20 |      600 |      382
571.10/571.28	c  571s |      17 |   377478 |   241632 |    23098     20 |      600 |      382
573.40/573.54	c  573s |      17 |   378211 |   242232 |    23098     20 |      600 |      382
575.60/575.72	c  575s |      17 |   379022 |   242932 |    23098     20 |      600 |      382
577.70/577.83	c  577s |      17 |   379653 |   243432 |    23098     20 |      600 |      382
580.10/580.26	c  579s |      17 |   380219 |   243932 |    23098     20 |      600 |      382
582.40/582.53	c  582s |      17 |   380963 |   244532 |    23098     20 |      600 |      382
584.50/584.66	c  584s |      17 |   381667 |   245132 |    23098     20 |      600 |      382
586.50/586.68	c  586s |      17 |   382390 |   245732 |    23098     20 |      600 |      382
588.80/588.92	c  588s |      17 |   383108 |   246332 |    23098     20 |      600 |      382
590.90/591.08	c  590s |      17 |   383702 |   246832 |    23098     20 |      600 |      382
593.00/593.18	c  592s |      17 |   384190 |   247232 |    23098     21 |      600 |      382
595.20/595.31	c  595s |      17 |   385245 |   248032 |    23098     21 |      600 |      382
597.21/597.40	c  597s |      17 |   386235 |   248732 |    23098     21 |      600 |      382
599.60/599.76	c  599s |      17 |   387298 |   249532 |    23098     21 |      600 |      382
601.90/602.05	c  601s |      17 |   388282 |   250332 |    23098     21 |      600 |      382
604.00/604.18	c  603s |      17 |   389247 |   251132 |    23098     21 |      600 |      382
606.20/606.34	c  606s |      17 |   390246 |   251932 |    23098     21 |      600 |      382
608.31/608.47	c  608s |      17 |   391077 |   252632 |    23098     21 |      600 |      382
610.41/610.59	c  610s |      17 |   391916 |   253332 |    23098     21 |      600 |      382
612.50/612.69	c  612s |      17 |   392752 |   254032 |    23098     21 |      600 |      382
614.60/614.76	c  614s |      17 |   393458 |   254632 |    23098     21 |      600 |      382
616.90/617.05	c  616s |      17 |   394307 |   255332 |    23098     21 |      600 |      382
619.21/619.31	c  619s |      17 |   395057 |   255932 |    23098     21 |      600 |      382
621.30/621.41	c  621s |      17 |   395771 |   256532 |    23098     21 |      600 |      382
623.40/623.50	c  623s |      17 |   396460 |   257132 |    23098     21 |      600 |      382
625.50/625.62	c  625s |      17 |   397304 |   257832 |    23098     21 |      600 |      382
627.59/627.79	c  627s |      17 |   398007 |   258432 |    23098     21 |      600 |      382
629.79/629.90	c  629s |      17 |   398595 |   258932 |    23098     21 |      600 |      382
631.89/632.04	c  631s |      17 |   399153 |   259432 |    23098     21 |      600 |      382
634.09/634.22	c  633s |      17 |   399907 |   260032 |    23098     21 |      600 |      382
636.19/636.38	c  636s |      17 |   400361 |   260432 |    23098     22 |      600 |      382
638.59/638.71	c  638s |      17 |   401176 |   261132 |    23098     22 |      600 |      382
640.69/640.86	c  640s |      17 |   401849 |   261732 |    23098     22 |      600 |      382
642.89/643.03	c  642s |      17 |   402973 |   262532 |    23098     22 |      600 |      382
644.89/645.05	c  644s |      17 |   403903 |   263332 |    23098     22 |      600 |      382
647.19/647.32	c  647s |      17 |   404910 |   264132 |    23098     22 |      600 |      382
649.19/649.36	c  649s |      17 |   405921 |   264932 |    23098     22 |      600 |      382
651.29/651.40	c  651s |      17 |   406922 |   265732 |    23098     22 |      600 |      382
653.30/653.42	c  653s |      17 |   407798 |   266432 |    23098     22 |      600 |      382
655.29/655.48	c  655s |      17 |   408512 |   267032 |    23098     22 |      600 |      382
657.59/657.73	c  657s |      17 |   409258 |   267632 |    23098     22 |      600 |      382
659.90/660.09	c  659s |      17 |   410078 |   268332 |    23098     22 |      600 |      382
662.20/662.34	c  662s |      17 |   410794 |   268932 |    23098     22 |      600 |      382
664.40/664.55	c  664s |      17 |   411695 |   269632 |    23098     22 |      600 |      382
666.39/666.58	c  666s |      17 |   412400 |   270232 |    23098     22 |      600 |      382
668.49/668.61	c  668s |      17 |   412969 |   270732 |    23098     22 |      600 |      382
670.59/670.77	c  670s |      17 |   413679 |   271332 |    23098     22 |      600 |      382
672.59/672.77	c  672s |      17 |   414241 |   271832 |    23098     22 |      600 |      382
674.89/675.09	c  674s |      17 |   414956 |   272432 |    23098     22 |      600 |      382
677.09/677.26	c  676s |      17 |   415531 |   272932 |    23098     22 |      600 |      382
679.09/679.28	c  679s |      17 |   416011 |   273332 |    23098     23 |      600 |      382
681.29/681.44	c  681s |      17 |   416880 |   274032 |    23098     23 |      600 |      382
683.39/683.51	c  683s |      17 |   417941 |   274832 |    23098     23 |      600 |      382
685.49/685.66	c  685s |      17 |   419079 |   275632 |    23098     23 |      600 |      382
687.89/688.02	c  687s |      17 |   419997 |   276332 |    23098     23 |      600 |      382
689.89/690.03	c  689s |      17 |   420764 |   276932 |    23098     23 |      600 |      382
692.08/692.21	c  691s |      17 |   421748 |   277732 |    23098     23 |      600 |      382
694.18/694.32	c  694s |      17 |   422547 |   278432 |    23098     23 |      600 |      382
696.29/696.46	c  696s |      17 |   423216 |   279032 |    23098     23 |      600 |      382
698.39/698.58	c  698s |      17 |   423773 |   279532 |    23098     23 |      600 |      382
700.38/700.58	c  700s |      17 |   424422 |   280032 |    23098     23 |      600 |      382
702.48/702.70	c  702s |      17 |   425265 |   280732 |    23098     23 |      600 |      382
704.58/704.70	c  704s |      17 |   425988 |   281332 |    23098     23 |      600 |      382
706.88/707.05	c  706s |      17 |   426851 |   282032 |    23098     23 |      600 |      382
709.08/709.23	c  708s |      17 |   427641 |   282632 |    23098     23 |      600 |      382
711.18/711.30	c  711s |      17 |   429000 |   283532 |    23098     23 |      600 |      382
713.28/713.47	c  713s |      17 |   430280 |   284432 |    23098     23 |      600 |      382
715.58/715.75	c  715s |      17 |   431472 |   285232 |    23098     23 |      600 |      382
717.68/717.87	c  717s |      17 |   432476 |   285932 |    23098     23 |      600 |      382
719.78/719.98	c  719s |      17 |   433814 |   286732 |    23098     24 |      600 |      382
721.98/722.11	c  721s |      17 |   435121 |   287732 |    23098     24 |      600 |      382
723.98/724.17	c  723s |      17 |   436168 |   288632 |    23098     24 |      600 |      382
725.99/726.18	c  725s |      17 |   437151 |   289432 |    23098     24 |      600 |      382
728.09/728.30	c  728s |      17 |   438080 |   290232 |    23098     24 |      600 |      382
730.39/730.51	c  730s |      17 |   438873 |   290932 |    23098     24 |      600 |      382
732.48/732.65	c  732s |      17 |   439685 |   291632 |    23098     24 |      600 |      382
734.68/734.87	c  734s |      17 |   440885 |   292532 |    23098     24 |      600 |      382
736.88/737.04	c  736s |      17 |   441831 |   293332 |    23098     24 |      600 |      382
739.08/739.24	c  738s |      17 |   442841 |   294132 |    23098     24 |      600 |      382
741.28/741.44	c  741s |      17 |   443673 |   294832 |    25408     24 |      600 |      382
743.48/743.70	c  743s |      17 |   444478 |   295532 |    25408     24 |      600 |      382
745.87/746.03	c  745s |      17 |   445289 |   296232 |    25408     24 |      600 |      382
745.97/746.10	c  745s |      18 |   445314 |   296252 |    25408     24 |      600 |      382
747.98/748.17	c  747s |      18 |   448840 |   297852 |    25408     24 |      600 |      382
750.08/750.23	c  749s |      18 |   450872 |   299352 |    25408     24 |      600 |      382
752.17/752.40	c  752s |      18 |   452421 |   300752 |    25408     24 |      600 |      382
754.37/754.50	c  754s |      18 |   453298 |   301552 |    25408     24 |      600 |      382
756.69/756.83	c  756s |      18 |   454239 |   302352 |    25408     25 |      600 |      382
758.89/759.03	c  758s |      18 |   455239 |   303252 |    25408     25 |      600 |      382
760.98/761.16	c  760s |      18 |   456234 |   304152 |    25408     25 |      600 |      382
763.18/763.40	c  763s |      18 |   457201 |   305052 |    25408     25 |      600 |      382
765.68/765.81	c  765s |      18 |   458065 |   305852 |    25408     25 |      600 |      382
767.69/767.89	c  767s |      18 |   458717 |   306452 |    25408     25 |      600 |      382
769.89/770.02	c  769s |      18 |   459499 |   307152 |    25408     25 |      600 |      382
771.87/772.03	c  771s |      18 |   460487 |   307952 |    25408     25 |      600 |      382
774.17/774.31	c  774s |      18 |   461122 |   308552 |    25408     25 |      600 |      382
776.17/776.34	c  776s |      18 |   462100 |   309352 |    25408     25 |      600 |      382
778.27/778.41	c  778s |      18 |   462790 |   309952 |    25408     25 |      600 |      382
780.37/780.50	c  780s |      18 |   463586 |   310652 |    25408     25 |      600 |      382
782.37/782.59	c  782s |      18 |   464136 |   311152 |    25408     25 |      600 |      382
784.57/784.78	c  784s |      18 |   464559 |   311552 |    25408     25 |      600 |      382
786.77/786.95	c  786s |      18 |   465081 |   312052 |    25408     25 |      600 |      382
788.87/789.08	c  788s |      18 |   465515 |   312452 |    25408     25 |      600 |      382
790.97/791.12	c  790s |      18 |   466115 |   312852 |    25408     25 |      600 |      382
792.98/793.20	c  792s |      18 |   468577 |   314452 |    25408     25 |      600 |      382
795.28/795.43	c  795s |      18 |   470712 |   315852 |    25408     25 |      600 |      382
797.27/797.46	c  797s |      18 |   472241 |   316852 |    25408     26 |      600 |      382
799.27/799.47	c  799s |      18 |   473946 |   318052 |    25408     26 |      600 |      382
801.47/801.64	c  801s |      18 |   475508 |   319252 |    25408     26 |      600 |      382
803.57/803.74	c  803s |      18 |   476689 |   320252 |    25408     26 |      600 |      382
805.67/805.85	c  805s |      18 |   477737 |   321152 |    25408     26 |      600 |      382
807.77/807.92	c  807s |      18 |   478806 |   322052 |    25408     26 |      600 |      382
809.86/810.01	c  809s |      18 |   479720 |   322852 |    25408     26 |      600 |      382
812.06/812.23	c  811s |      18 |   480832 |   323752 |    25408     26 |      600 |      382
814.16/814.33	c  814s |      18 |   481807 |   324552 |    25408     26 |      600 |      382
816.26/816.46	c  816s |      18 |   482777 |   325352 |    25408     26 |      600 |      382
818.46/818.68	c  818s |      18 |   483718 |   326152 |    25408     26 |      600 |      382
820.57/820.76	c  820s |      18 |   484520 |   326852 |    25408     26 |      600 |      382
822.77/822.92	c  822s |      18 |   485352 |   327552 |    25408     26 |      600 |      382
825.06/825.21	c  824s |      18 |   486135 |   328252 |    25408     26 |      600 |      382
827.36/827.59	c  827s |      18 |   486939 |   328952 |    25408     26 |      600 |      382
829.46/829.67	c  829s |      18 |   487599 |   329552 |    25408     26 |      600 |      382
831.47/831.70	c  831s |      18 |   488275 |   330152 |    25408     26 |      600 |      382
833.56/833.71	c  833s |      18 |   488973 |   330752 |    25408     26 |      600 |      382
835.76/835.96	c  835s |      18 |   489784 |   331452 |    25408     27 |      600 |      382
837.96/838.17	c  837s |      18 |   490694 |   332252 |    25408     27 |      600 |      382
840.06/840.25	c  839s |      18 |   491442 |   332952 |    25408     27 |      600 |      382
842.16/842.34	c  842s |      18 |   492215 |   333652 |    25408     27 |      600 |      382
844.45/844.68	c  844s |      18 |   492980 |   334352 |    25408     27 |      600 |      382
846.55/846.72	c  846s |      18 |   493769 |   335052 |    25408     27 |      600 |      382
848.65/848.86	c  848s |      18 |   494550 |   335752 |    25408     27 |      600 |      382
850.95/851.17	c  850s |      18 |   495321 |   336452 |    25408     27 |      600 |      382
853.35/853.50	c  853s |      18 |   496083 |   337152 |    25408     27 |      600 |      382
855.55/855.77	c  855s |      18 |   496845 |   337852 |    25408     27 |      600 |      382
857.65/857.83	c  857s |      18 |   497507 |   338452 |    25408     27 |      600 |      382
859.65/859.85	c  859s |      18 |   498184 |   339052 |    25408     27 |      600 |      382
861.75/861.98	c  861s |      18 |   498841 |   339652 |    25408     27 |      600 |      382
863.95/864.17	c  863s |      18 |   499505 |   340252 |    25408     27 |      600 |      382
866.15/866.33	c  866s |      18 |   500174 |   340852 |    25408     27 |      600 |      382
868.34/868.53	c  868s |      18 |   500814 |   341452 |    25408     27 |      600 |      382
870.64/870.85	c  870s |      18 |   501447 |   342052 |    25408     27 |      600 |      382
872.94/873.14	c  872s |      18 |   502115 |   342652 |    25408     27 |      600 |      382
875.34/875.54	c  875s |      18 |   502774 |   343252 |    25408     27 |      600 |      382
877.65/877.88	c  877s |      18 |   503444 |   343852 |    25408     27 |      600 |      382
880.04/880.21	c  879s |      18 |   504107 |   344452 |    25408     27 |      600 |      382
882.05/882.24	c  881s |      18 |   504655 |   344952 |    25408     27 |      600 |      382
884.14/884.41	c  884s |      18 |   505092 |   345352 |    25408     28 |      600 |      382
886.34/886.53	c  886s |      18 |   505857 |   346052 |    25408     28 |      600 |      382
888.53/888.78	c  888s |      18 |   506645 |   346752 |    25408     28 |      600 |      382
890.63/890.81	c  890s |      18 |   507301 |   347352 |    25408     28 |      600 |      382
892.73/892.99	c  892s |      18 |   507999 |   347952 |    25408     28 |      600 |      382
894.93/895.12	c  894s |      18 |   508785 |   348652 |    25408     28 |      600 |      382
896.93/897.19	c  896s |      18 |   509648 |   349352 |    25408     28 |      600 |      382
899.13/899.36	c  899s |      18 |   510626 |   350152 |    25408     28 |      600 |      382
901.33/901.59	c  901s |      18 |   511420 |   350852 |    25408     28 |      600 |      382
903.43/903.62	c  903s |      18 |   512196 |   351552 |    25408     28 |      600 |      382
905.63/905.83	c  905s |      18 |   512984 |   352252 |    25408     28 |      600 |      382
907.83/908.01	c  907s |      18 |   513785 |   352952 |    25408     28 |      600 |      382
910.03/910.22	c  909s |      18 |   514574 |   353652 |    25408     28 |      600 |      382
912.13/912.33	c  912s |      18 |   515233 |   354252 |    25408     28 |      600 |      382
914.13/914.34	c  914s |      18 |   515788 |   354752 |    25408     28 |      600 |      382
916.33/916.59	c  916s |      18 |   516677 |   355452 |    25408     28 |      600 |      382
918.52/918.70	c  918s |      18 |   517803 |   356252 |    25408     28 |      600 |      382
920.53/920.75	c  920s |      18 |   518663 |   356952 |    25408     28 |      600 |      382
922.52/922.78	c  922s |      18 |   519357 |   357552 |    25408     28 |      600 |      382
924.62/924.88	c  924s |      18 |   520027 |   358152 |    25408     28 |      600 |      382
926.62/926.89	c  926s |      18 |   521121 |   358852 |    25408     28 |      600 |      382
928.72/928.94	c  928s |      18 |   522975 |   360452 |    25408     29 |      600 |      382
930.82/931.01	c  930s |      18 |   524733 |   361952 |    25408     29 |      600 |      382
932.82/933.05	c  932s |      18 |   526547 |   363252 |    25408     29 |      600 |      382
934.93/935.19	c  934s |      18 |   528279 |   364752 |    25408     29 |      600 |      382
937.02/937.25	c  936s |      18 |   529745 |   366052 |    25408     29 |      600 |      382
939.01/939.29	c  939s |      18 |   532430 |   367252 |    25408     29 |      600 |      382
941.11/941.36	c  941s |      18 |   534502 |   368552 |    25408     29 |      600 |      382
943.11/943.37	c  943s |      18 |   535957 |   369652 |    25408     29 |      600 |      382
945.21/945.44	c  945s |      18 |   537195 |   370652 |    25408     29 |      600 |      382
947.51/947.71	c  947s |      18 |   538604 |   371752 |    25408     29 |      600 |      382
949.70/949.94	c  949s |      18 |   539649 |   372652 |    25408     29 |      600 |      382
951.91/952.12	c  951s |      18 |   540602 |   373452 |    25408     29 |      600 |      382
954.10/954.30	c  954s |      18 |   541430 |   374152 |    25408     30 |      600 |      382
956.10/956.36	c  956s |      18 |   543325 |   375352 |    25408     30 |      600 |      382
958.20/958.44	c  958s |      18 |   545558 |   376752 |    25408     30 |      600 |      382
960.21/960.49	c  960s |      18 |   547067 |   377952 |    25408     30 |      600 |      382
962.31/962.58	c  962s |      18 |   548455 |   379052 |    25408     30 |      600 |      382
964.51/964.76	c  964s |      18 |   549606 |   380052 |    25408     30 |      600 |      382
966.81/967.03	c  966s |      18 |   550617 |   380952 |    25408     30 |      600 |      382
969.01/969.28	c  969s |      18 |   551595 |   381852 |    25408     30 |      600 |      382
971.00/971.30	c  971s |      18 |   552522 |   382652 |    25408     30 |      600 |      382
973.10/973.33	c  973s |      18 |   553277 |   383352 |    25408     30 |      600 |      382
975.40/975.62	c  975s |      18 |   554160 |   384152 |    25408     30 |      600 |      382
977.59/977.88	c  977s |      18 |   555031 |   384952 |    25408     30 |      600 |      382
979.69/979.97	c  979s |      18 |   555780 |   385652 |    25408     30 |      600 |      382
981.99/982.22	c  981s |      18 |   556538 |   386352 |    25408     30 |      600 |      382
984.09/984.36	c  984s |      18 |   557324 |   387052 |    25408     30 |      600 |      382
986.29/986.53	c  986s |      18 |   558146 |   387752 |    25408     30 |      600 |      382
988.49/988.73	c  988s |      18 |   558820 |   388352 |    25408     31 |      600 |      382
990.79/991.05	c  990s |      18 |   559700 |   389152 |    25408     31 |      600 |      382
992.99/993.26	c  992s |      18 |   560453 |   389852 |    25408     31 |      600 |      382
995.09/995.35	c  995s |      18 |   561203 |   390552 |    25408     31 |      600 |      382
997.38/997.61	c  997s |      18 |   562072 |   391352 |    25408     31 |      600 |      382
999.39/999.68	c  999s |      18 |   562832 |   392052 |    25408     31 |      600 |      382
1001.39/1001.68	c 1001s |      18 |   563482 |   392652 |    25408     31 |      600 |      382
1003.49/1003.78	c 1003s |      18 |   564137 |   393252 |    25408     31 |      600 |      382
1005.79/1006.02	c 1005s |      18 |   564924 |   393952 |    25408     31 |      600 |      382
1007.79/1008.06	c 1007s |      18 |   565593 |   394552 |    25408     31 |      600 |      382
1010.09/1010.34	c 1010s |      18 |   566366 |   395252 |    25408     31 |      600 |      382
1012.19/1012.45	c 1012s |      18 |   567048 |   395852 |    25408     31 |      600 |      382
1014.29/1014.52	c 1014s |      18 |   567711 |   396452 |    25408     31 |      600 |      382
1016.59/1016.83	c 1016s |      18 |   568385 |   397052 |    25408     31 |      600 |      382
1018.78/1019.08	c 1018s |      18 |   569048 |   397652 |    25408     31 |      600 |      382
1021.08/1021.33	c 1021s |      18 |   569737 |   398252 |    25408     31 |      600 |      382
1023.38/1023.61	c 1023s |      18 |   570381 |   398852 |    25408     31 |      600 |      382
1025.48/1025.70	c 1025s |      18 |   570920 |   399352 |    25408     31 |      600 |      382
1027.58/1027.89	c 1027s |      18 |   571458 |   399852 |    25408     31 |      600 |      382
1029.68/1029.90	c 1029s |      18 |   572018 |   400352 |    25408     31 |      600 |      382
1031.88/1032.11	c 1031s |      18 |   572579 |   400852 |    25408     31 |      600 |      382
1034.07/1034.33	c 1034s |      18 |   573130 |   401352 |    25408     31 |      600 |      382
1036.37/1036.64	c 1036s |      18 |   573667 |   401852 |    25408     31 |      600 |      382
1038.57/1038.85	c 1038s |      18 |   574214 |   402352 |    25408     31 |      600 |      382
1041.07/1041.30	c 1041s |      18 |   574635 |   402752 |    25408     32 |      600 |      382
1043.27/1043.54	c 1043s |      18 |   575282 |   403352 |    25408     32 |      600 |      382
1045.37/1045.62	c 1045s |      18 |   575927 |   403952 |    25408     32 |      600 |      382
1047.37/1047.64	c 1047s |      18 |   576619 |   404552 |    25408     32 |      600 |      382
1049.67/1049.91	c 1049s |      18 |   577547 |   405352 |    25408     32 |      600 |      382
1051.66/1051.93	c 1051s |      18 |   578213 |   405952 |    25408     32 |      600 |      382
1053.96/1054.21	c 1053s |      18 |   578987 |   406652 |    25408     32 |      600 |      382
1056.16/1056.43	c 1056s |      18 |   579758 |   407352 |    25408     32 |      600 |      382
1058.16/1058.49	c 1058s |      18 |   580449 |   407952 |    25408     32 |      600 |      382
1060.46/1060.70	c 1060s |      18 |   581103 |   408552 |    25408     32 |      600 |      382
1062.66/1062.92	c 1062s |      18 |   581755 |   409152 |    25408     32 |      600 |      382
1064.96/1065.29	c 1065s |      18 |   582394 |   409752 |    25408     32 |      600 |      382
1067.05/1067.32	c 1067s |      18 |   582955 |   410252 |    25408     32 |      600 |      382
1069.06/1069.38	c 1069s |      18 |   583488 |   410752 |    25408     32 |      600 |      382
1071.26/1071.58	c 1071s |      18 |   584034 |   411252 |    25408     32 |      600 |      382
1073.65/1073.96	c 1073s |      18 |   584674 |   411852 |    25408     32 |      600 |      382
1076.05/1076.32	c 1076s |      18 |   585325 |   412452 |    25408     32 |      600 |      382
1078.14/1078.47	c 1078s |      18 |   585879 |   412952 |    25408     32 |      600 |      382
1080.14/1080.48	c 1080s |      18 |   586430 |   413452 |    25408     32 |      600 |      382
1082.34/1082.63	c 1082s |      18 |   586980 |   413952 |    25408     32 |      600 |      382
1084.64/1084.90	c 1084s |      18 |   587511 |   414452 |    25408     32 |      600 |      382
1086.83/1087.17	c 1086s |      18 |   588060 |   414952 |    25408     32 |      600 |      382
1089.13/1089.41	c 1089s |      18 |   588601 |   415452 |    25408     32 |      600 |      382
1091.43/1091.72	c 1091s |      18 |   589162 |   415952 |    25408     32 |      600 |      382
1093.83/1094.19	c 1093s |      18 |   589706 |   416452 |    25408     32 |      600 |      382
1096.03/1096.31	c 1096s |      18 |   590250 |   416952 |    25408     32 |      600 |      382
1098.12/1098.44	c 1098s |      18 |   590674 |   417352 |    25408     33 |      600 |      382
1100.42/1100.71	c 1100s |      18 |   591437 |   418052 |    25408     33 |      600 |      382
1102.52/1102.82	c 1102s |      18 |   592091 |   418652 |    25408     33 |      600 |      382
1104.92/1105.22	c 1104s |      18 |   592854 |   419352 |    25408     33 |      600 |      382
1107.12/1107.44	c 1107s |      18 |   593495 |   419952 |    25408     33 |      600 |      382
1109.32/1109.68	c 1109s |      18 |   594141 |   420552 |    25408     33 |      600 |      382
1111.72/1112.03	c 1111s |      18 |   594789 |   421152 |    25408     33 |      600 |      382
1114.03/1114.34	c 1114s |      18 |   595431 |   421752 |    25408     33 |      600 |      382
1116.23/1116.56	c 1116s |      18 |   596075 |   422352 |    25408     33 |      600 |      382
1118.21/1118.60	c 1118s |      18 |   596780 |   422952 |    25408     33 |      600 |      382
1120.31/1120.69	c 1120s |      18 |   597457 |   423552 |    25408     33 |      600 |      382
1122.51/1122.86	c 1122s |      18 |   598120 |   424152 |    25408     33 |      600 |      382
1124.61/1124.93	c 1124s |      18 |   598809 |   424752 |    25408     33 |      600 |      382
1126.90/1127.23	c 1126s |      18 |   599459 |   425352 |    25408     33 |      600 |      382
1129.20/1129.57	c 1129s |      18 |   600104 |   425952 |    25408     33 |      600 |      382
1131.40/1131.72	c 1131s |      18 |   600645 |   426452 |    25408     33 |      600 |      382
1133.40/1133.79	c 1133s |      18 |   601176 |   426952 |    25408     33 |      600 |      382
1135.50/1135.88	c 1135s |      18 |   601715 |   427452 |    25408     33 |      600 |      382
1137.70/1138.03	c 1137s |      18 |   602246 |   427952 |    25408     33 |      600 |      382
1139.79/1140.19	c 1139s |      18 |   602791 |   428452 |    25408     33 |      600 |      382
1141.99/1142.34	c 1142s |      18 |   603328 |   428952 |    25408     33 |      600 |      382
1144.19/1144.56	c 1144s |      18 |   603872 |   429452 |    25408     33 |      600 |      382
1146.49/1146.81	c 1146s |      18 |   604422 |   429952 |    25408     33 |      600 |      382
1148.69/1149.02	c 1148s |      18 |   604961 |   430452 |    25408     33 |      600 |      382
1151.19/1151.52	c 1151s |      18 |   605621 |   431052 |    25408     33 |      600 |      382
1153.89/1154.25	c 1153s |      18 |   606172 |   431552 |    25408     34 |      600 |      382
1155.99/1156.33	c 1156s |      18 |   606985 |   432252 |    25408     34 |      600 |      382
1158.09/1158.44	c 1158s |      18 |   607757 |   432952 |    25408     34 |      600 |      382
1160.30/1160.63	c 1160s |      18 |   608537 |   433652 |    25408     34 |      600 |      382
1162.29/1162.67	c 1162s |      18 |   609200 |   434252 |    25408     34 |      600 |      382
1164.49/1164.90	c 1164s |      18 |   609981 |   434952 |    25408     34 |      600 |      382
1166.59/1166.99	c 1166s |      18 |   611440 |   435652 |    25408     34 |      600 |      382
1168.78/1169.15	c 1168s |      18 |   613564 |   436852 |    25408     34 |      600 |      382
1170.88/1171.29	c 1171s |      18 |   615306 |   438052 |    25408     34 |      600 |      382
1172.98/1173.37	c 1173s |      18 |   616466 |   439052 |    25408     34 |      600 |      382
1175.08/1175.48	c 1175s |      18 |   617523 |   439952 |    25408     34 |      600 |      382
1177.37/1177.74	c 1177s |      18 |   618695 |   440952 |    25408     34 |      600 |      382
1179.57/1179.98	c 1179s |      18 |   619764 |   441852 |    27949     34 |      600 |      382
1181.67/1182.06	c 1181s |      18 |   622765 |   443052 |    27949     34 |      600 |      382
1183.77/1184.11	c 1183s |      18 |   624237 |   444152 |    27949     34 |      600 |      382
1184.38/1184.79	c 1184s |      19 |   624618 |   444482 |    27949     34 |      600 |      382
1186.58/1186.93	c 1186s |      19 |   628212 |   445682 |    27949     34 |      600 |      382
1188.67/1189.02	c 1188s |      19 |   629595 |   446782 |    27949     34 |      600 |      382
1190.76/1191.19	c 1190s |      19 |   630662 |   447682 |    27949     34 |      600 |      382
1193.17/1193.51	c 1193s |      19 |   631480 |   448382 |    27949     35 |      600 |      382
1195.16/1195.52	c 1195s |      19 |   632694 |   449382 |    27949     35 |      600 |      382
1197.16/1197.52	c 1197s |      19 |   633823 |   450282 |    27949     35 |      600 |      382
1199.16/1199.55	c 1199s |      19 |   634913 |   451182 |    27949     35 |      600 |      382
1201.35/1201.75	c 1201s |      19 |   635966 |   452082 |    27949     35 |      600 |      382
1203.35/1203.77	c 1203s |      19 |   636760 |   452782 |    27949     35 |      600 |      382
1205.45/1205.80	c 1205s |      19 |   637550 |   453482 |    27949     35 |      600 |      382
1207.46/1207.87	c 1207s |      19 |   638359 |   454182 |    27949     35 |      600 |      382
1209.66/1210.04	c 1209s |      19 |   639161 |   454882 |    27949     35 |      600 |      382
1211.86/1212.24	c 1211s |      19 |   639922 |   455582 |    27949     35 |      600 |      382
1213.85/1214.29	c 1214s |      19 |   640580 |   456182 |    27949     35 |      600 |      382
1216.05/1216.47	c 1216s |      19 |   641235 |   456782 |    27949     35 |      600 |      382
1218.14/1218.59	c 1218s |      19 |   641907 |   457382 |    27949     35 |      600 |      382
1220.54/1220.93	c 1220s |      19 |   642544 |   457982 |    27949     35 |      600 |      382
1222.54/1222.94	c 1222s |      19 |   643244 |   458582 |    27949     35 |      600 |      382
1224.64/1225.03	c 1224s |      19 |   644446 |   459382 |    27949     35 |      600 |      382
1226.83/1227.25	c 1226s |      19 |   645782 |   460482 |    27949     35 |      600 |      382
1228.93/1229.32	c 1229s |      19 |   646879 |   461382 |    27949     35 |      600 |      382
1231.03/1231.47	c 1231s |      19 |   648001 |   462282 |    27949     35 |      600 |      382
1233.03/1233.48	c 1233s |      19 |   648835 |   462982 |    27949     35 |      600 |      382
1235.13/1235.54	c 1235s |      19 |   649596 |   463682 |    27949     35 |      600 |      382
1237.32/1237.72	c 1237s |      19 |   650336 |   464282 |    27949     36 |      600 |      382
1239.52/1239.93	c 1239s |      19 |   651454 |   465182 |    27949     36 |      600 |      382
1241.53/1241.97	c 1241s |      19 |   652432 |   465982 |    27949     36 |      600 |      382
1243.73/1244.17	c 1243s |      19 |   653413 |   466782 |    27949     36 |      600 |      382
1245.93/1246.39	c 1246s |      19 |   654343 |   467582 |    27949     36 |      600 |      382
1248.12/1248.59	c 1248s |      19 |   655145 |   468282 |    27949     36 |      600 |      382
1250.42/1250.82	c 1250s |      19 |   655955 |   468982 |    27949     36 |      600 |      382
1252.52/1252.99	c 1252s |      19 |   656763 |   469682 |    27949     36 |      600 |      382
1254.61/1255.01	c 1254s |      19 |   657448 |   470282 |    27949     36 |      600 |      382
1256.81/1257.30	c 1257s |      19 |   658244 |   470982 |    27949     36 |      600 |      382
1259.01/1259.45	c 1259s |      19 |   658913 |   471582 |    27949     36 |      600 |      382
1261.21/1261.66	c 1261s |      19 |   659595 |   472182 |    27949     36 |      600 |      382
1263.52/1263.91	c 1263s |      19 |   660287 |   472782 |    27949     36 |      600 |      382
1265.82/1266.23	c 1265s |      19 |   660978 |   473382 |    27949     36 |      600 |      382
1267.91/1268.33	c 1268s |      19 |   661523 |   473882 |    27949     36 |      600 |      382
1270.21/1270.61	c 1270s |      19 |   662206 |   474482 |    27949     36 |      600 |      382
1272.41/1272.88	c 1272s |      19 |   662891 |   475082 |    27949     36 |      600 |      382
1274.61/1275.02	c 1274s |      19 |   663454 |   475582 |    27949     36 |      600 |      382
1277.09/1277.52	c 1277s |      19 |   664145 |   476182 |    27949     36 |      600 |      382
1279.29/1279.77	c 1279s |      19 |   664712 |   476682 |    27949     36 |      600 |      382
1281.59/1282.00	c 1281s |      19 |   665271 |   477182 |    27949     36 |      600 |      382
1283.89/1284.36	c 1284s |      19 |   665842 |   477682 |    27949     36 |      600 |      382
1286.39/1286.89	c 1286s |      19 |   666373 |   478182 |    27949     36 |      600 |      382
1288.49/1288.93	c 1288s |      19 |   666810 |   478582 |    27949     36 |      600 |      382
1290.49/1290.95	c 1290s |      19 |   667251 |   478982 |    27949     36 |      600 |      382
1292.90/1293.34	c 1293s |      19 |   667796 |   479482 |    27949     36 |      600 |      382
1295.00/1295.44	c 1295s |      19 |   668125 |   479782 |    27949     37 |      600 |      382
1297.19/1297.68	c 1297s |      19 |   668658 |   480282 |    27949     37 |      600 |      382
1299.39/1299.88	c 1299s |      19 |   669214 |   480782 |    27949     37 |      600 |      382
1301.79/1302.26	c 1301s |      19 |   669868 |   481382 |    27949     37 |      600 |      382
1303.99/1304.44	c 1304s |      19 |   670414 |   481882 |    27949     37 |      600 |      382
1306.39/1306.84	c 1306s |      19 |   670963 |   482382 |    27949     37 |      600 |      382
1308.59/1309.09	c 1308s |      19 |   671504 |   482882 |    27949     37 |      600 |      382
1310.89/1311.33	c 1311s |      19 |   672200 |   483482 |    27949     37 |      600 |      382
1313.09/1313.56	c 1313s |      19 |   672876 |   484082 |    27949     37 |      600 |      382
1315.38/1315.82	c 1315s |      19 |   673534 |   484682 |    27949     37 |      600 |      382
1317.67/1318.17	c 1317s |      19 |   674218 |   485282 |    27949     37 |      600 |      382
1319.97/1320.41	c 1320s |      19 |   674906 |   485882 |    27949     37 |      600 |      382
1321.97/1322.49	c 1322s |      19 |   675449 |   486382 |    27949     37 |      600 |      382
1324.17/1324.66	c 1324s |      19 |   676013 |   486882 |    27949     37 |      600 |      382
1326.37/1326.86	c 1326s |      19 |   676605 |   487382 |    27949     37 |      600 |      382
1328.56/1329.07	c 1328s |      19 |   677183 |   487882 |    27949     37 |      600 |      382
1330.86/1331.35	c 1331s |      19 |   677740 |   488382 |    27949     37 |      600 |      382
1333.26/1333.75	c 1333s |      19 |   678291 |   488882 |    27949     37 |      600 |      382
1335.56/1336.00	c 1335s |      19 |   678837 |   489382 |    27949     37 |      600 |      382
1337.66/1338.12	c 1337s |      19 |   679267 |   489782 |    27949     37 |      600 |      382
1339.96/1340.47	c 1340s |      19 |   679832 |   490282 |    27949     37 |      600 |      382
1342.36/1342.89	c 1342s |      19 |   680380 |   490782 |    27949     37 |      600 |      382
1344.56/1345.00	c 1344s |      19 |   680809 |   491182 |    27949     37 |      600 |      382
1346.75/1347.29	c 1347s |      19 |   681232 |   491582 |    27949     37 |      600 |      382
1348.85/1349.33	c 1349s |      19 |   681680 |   491982 |    27949     37 |      600 |      382
1351.25/1351.74	c 1351s |      19 |   682111 |   492382 |    27949     37 |      600 |      382
1353.35/1353.82	c 1353s |      19 |   682559 |   492782 |    27949     37 |      600 |      382
1355.45/1355.96	c 1355s |      19 |   682995 |   493182 |    27949     37 |      600 |      382
1357.64/1358.12	c 1357s |      19 |   683428 |   493582 |    27949     37 |      600 |      382
1359.94/1360.40	c 1360s |      19 |   683862 |   493982 |    27949     37 |      600 |      382
1362.14/1362.66	c 1362s |      19 |   684294 |   494382 |    27949     37 |      600 |      382
1364.75/1365.24	c 1364s |      19 |   684728 |   494782 |    27949     37 |      600 |      382
1367.23/1367.76	c 1367s |      19 |   685172 |   495182 |    27949     37 |      600 |      382
1369.43/1369.93	c 1369s |      19 |   685401 |   495382 |    27949     38 |      600 |      382
1371.53/1372.07	c 1371s |      19 |   685942 |   495882 |    27949     38 |      600 |      382
1373.73/1374.20	c 1373s |      19 |   686497 |   496382 |    27949     38 |      600 |      382
1375.74/1376.23	c 1375s |      19 |   687031 |   496882 |    27949     38 |      600 |      382
1377.84/1378.33	c 1378s |      19 |   687579 |   497382 |    27949     38 |      600 |      382
1379.93/1380.45	c 1380s |      19 |   688150 |   497882 |    27949     38 |      600 |      382
1382.13/1382.70	c 1382s |      19 |   688823 |   498482 |    27949     38 |      600 |      382
1384.23/1384.70	c 1384s |      19 |   689382 |   498982 |    27949     38 |      600 |      382
1386.23/1386.78	c 1386s |      19 |   689915 |   499482 |    27949     38 |      600 |      382
1388.42/1388.90	c 1388s |      19 |   690458 |   499982 |    27949     38 |      600 |      382
1390.82/1391.38	c 1391s |      19 |   691150 |   500582 |    27949     38 |      600 |      382
1392.92/1393.43	c 1393s |      19 |   691707 |   501082 |    27949     38 |      600 |      382
1395.22/1395.70	c 1395s |      19 |   692250 |   501582 |    27949     38 |      600 |      382
1397.22/1397.72	c 1397s |      19 |   692680 |   501982 |    27949     38 |      600 |      382
1399.62/1400.18	c 1399s |      19 |   693241 |   502482 |    27949     38 |      600 |      382
1401.72/1402.20	c 1401s |      19 |   693681 |   502882 |    27949     38 |      600 |      382
1404.12/1404.69	c 1404s |      19 |   694235 |   503382 |    27949     38 |      600 |      382
1406.22/1406.75	c 1406s |      19 |   694661 |   503782 |    27949     38 |      600 |      382
1408.32/1408.87	c 1408s |      19 |   695103 |   504182 |    27949     38 |      600 |      382
1410.62/1411.14	c 1410s |      19 |   695645 |   504682 |    27949     38 |      600 |      382
1412.72/1413.22	c 1412s |      19 |   696099 |   505082 |    27949     38 |      600 |      382
1414.82/1415.37	c 1415s |      19 |   696528 |   505482 |    27949     38 |      600 |      382
1417.12/1417.60	c 1417s |      19 |   696968 |   505882 |    27949     38 |      600 |      382
1419.42/1419.91	c 1419s |      19 |   697520 |   506382 |    27949     38 |      600 |      382
1421.83/1422.36	c 1422s |      19 |   698081 |   506882 |    27949     38 |      600 |      382
1424.42/1424.91	c 1424s |      19 |   698617 |   507382 |    27949     38 |      600 |      382
1426.52/1427.07	c 1426s |      19 |   699066 |   507782 |    27949     38 |      600 |      382
1429.01/1429.60	c 1429s |      19 |   699606 |   508282 |    27949     38 |      600 |      382
1431.41/1431.90	c 1431s |      19 |   700069 |   508682 |    27949     38 |      600 |      382
1433.71/1434.23	c 1433s |      19 |   700494 |   509082 |    27949     38 |      600 |      382
1436.01/1436.60	c 1436s |      19 |   700923 |   509482 |    27949     38 |      600 |      382
1438.61/1439.10	c 1438s |      19 |   701354 |   509882 |    27949     38 |      600 |      382
1441.01/1441.51	c 1441s |      19 |   701793 |   510282 |    27949     38 |      600 |      382
1443.51/1444.05	c 1443s |      19 |   702234 |   510682 |    27949     38 |      600 |      382
1446.21/1446.78	c 1446s |      19 |   702570 |   510982 |    27949     39 |      600 |      382
1448.61/1449.18	c 1448s |      19 |   703189 |   511582 |    27949     39 |      600 |      382
1450.81/1451.40	c 1451s |      19 |   703740 |   512082 |    27949     39 |      600 |      382
1453.11/1453.65	c 1453s |      19 |   704276 |   512582 |    27949     39 |      600 |      382
1455.41/1455.99	c 1455s |      19 |   704824 |   513082 |    27949     39 |      600 |      382
1457.91/1458.40	c 1458s |      19 |   705364 |   513582 |    27949     39 |      600 |      382
1459.91/1460.43	c 1460s |      19 |   705786 |   513982 |    27949     39 |      600 |      382
1462.21/1462.73	c 1462s |      19 |   706320 |   514482 |    27949     39 |      600 |      382
1464.31/1464.82	c 1464s |      19 |   706849 |   514982 |    27949     39 |      600 |      382
1466.41/1466.99	c 1466s |      19 |   707386 |   515482 |    27949     39 |      600 |      382
1468.91/1469.49	c 1469s |      19 |   707916 |   515982 |    27949     39 |      600 |      382
1471.11/1471.67	c 1471s |      19 |   708342 |   516382 |    27949     39 |      600 |      382
1473.52/1474.03	c 1473s |      19 |   708873 |   516882 |    27949     39 |      600 |      382
1475.91/1476.42	c 1476s |      19 |   709424 |   517382 |    27949     39 |      600 |      382
1477.92/1478.44	c 1478s |      19 |   709869 |   517782 |    27949     39 |      600 |      382
1480.02/1480.54	c 1480s |      19 |   710295 |   518182 |    27949     39 |      600 |      382
1482.11/1482.62	c 1482s |      19 |   710721 |   518582 |    27949     39 |      600 |      382
1484.41/1484.99	c 1484s |      19 |   711152 |   518982 |    27949     39 |      600 |      382
1486.91/1487.48	c 1487s |      19 |   711695 |   519482 |    27949     39 |      600 |      382
1489.11/1489.61	c 1489s |      19 |   712139 |   519882 |    27949     39 |      600 |      382
1491.22/1491.78	c 1491s |      19 |   712566 |   520282 |    27949     39 |      600 |      382
1493.51/1494.02	c 1493s |      19 |   713021 |   520682 |    27949     39 |      600 |      382
1495.81/1496.38	c 1496s |      19 |   713441 |   521082 |    27949     39 |      600 |      382
1498.01/1498.56	c 1498s |      19 |   713886 |   521482 |    27949     39 |      600 |      382
1500.11/1500.66	c 1500s |      19 |   714318 |   521882 |    27949     39 |      600 |      382
1502.31/1502.85	c 1502s |      19 |   714750 |   522282 |    27949     39 |      600 |      382
1504.51/1505.06	c 1504s |      19 |   715192 |   522682 |    27949     39 |      600 |      382
1506.91/1507.46	c 1507s |      19 |   715616 |   523082 |    27949     39 |      600 |      382
1509.21/1509.70	c 1509s |      19 |   716054 |   523482 |    27949     39 |      600 |      382
1511.51/1512.01	c 1511s |      19 |   716472 |   523882 |    27949     39 |      600 |      382
1514.11/1514.62	c 1514s |      19 |   716879 |   524282 |    27949     39 |      600 |      382
1516.11/1516.63	c 1516s |      19 |   717195 |   524582 |    27949     39 |      600 |      382
1518.11/1518.68	c 1518s |      19 |   717514 |   524882 |    27949     39 |      600 |      382
1520.20/1520.77	c 1520s |      19 |   717827 |   525182 |    27949     39 |      600 |      382
1522.90/1523.43	c 1523s |      19 |   718249 |   525582 |    27949     39 |      600 |      382
1525.40/1525.96	c 1525s |      19 |   718679 |   525982 |    27949     39 |      600 |      382
1527.90/1528.41	c 1528s |      19 |   719102 |   526382 |    27949     39 |      600 |      382
1530.71/1531.21	c 1530s |      19 |   719425 |   526682 |    27949     40 |      600 |      382
1532.70/1533.21	c 1532s |      19 |   719849 |   527082 |    27949     40 |      600 |      382
1535.00/1535.56	c 1535s |      19 |   720384 |   527582 |    27949     40 |      600 |      382
1537.41/1537.98	c 1537s |      19 |   720927 |   528082 |    27949     40 |      600 |      382
1540.20/1540.71	c 1540s |      19 |   721362 |   528482 |    27949     40 |      600 |      382
1542.20/1542.77	c 1542s |      19 |   721902 |   528982 |    27949     40 |      600 |      382
1544.40/1544.91	c 1544s |      19 |   722437 |   529482 |    27949     40 |      600 |      382
1546.70/1547.23	c 1546s |      19 |   722961 |   529982 |    27949     40 |      600 |      382
1548.90/1549.40	c 1549s |      19 |   723523 |   530482 |    27949     40 |      600 |      382
1551.20/1551.79	c 1551s |      19 |   724050 |   530982 |    27949     40 |      600 |      382
1553.30/1553.83	c 1553s |      19 |   724496 |   531382 |    27949     40 |      600 |      382
1555.60/1556.15	c 1555s |      19 |   725032 |   531882 |    27949     40 |      600 |      382
1557.90/1558.44	c 1558s |      19 |   725560 |   532382 |    27949     40 |      600 |      382
1559.90/1560.49	c 1560s |      19 |   725969 |   532782 |    27949     40 |      600 |      382
1562.30/1562.85	c 1562s |      19 |   726520 |   533282 |    27949     40 |      600 |      382
1564.70/1565.30	c 1565s |      19 |   727053 |   533782 |    27949     40 |      600 |      382
1566.89/1567.42	c 1567s |      19 |   727642 |   534282 |    27949     40 |      600 |      382
1568.99/1569.57	c 1569s |      19 |   728178 |   534782 |    27949     40 |      600 |      382
1571.19/1571.77	c 1571s |      19 |   728752 |   535282 |    27949     40 |      600 |      382
1573.70/1574.21	c 1573s |      19 |   729293 |   535782 |    27949     40 |      600 |      382
1575.69/1576.29	c 1576s |      19 |   729852 |   536282 |    27949     40 |      600 |      382
1578.00/1578.53	c 1578s |      19 |   730539 |   536882 |    27949     40 |      600 |      382
1580.09/1580.62	c 1580s |      19 |   731083 |   537382 |    27949     40 |      600 |      382
1582.19/1582.70	c 1582s |      19 |   731503 |   537782 |    27949     40 |      600 |      382
1584.19/1584.77	c 1584s |      19 |   731919 |   538182 |    27949     40 |      600 |      382
1586.69/1587.25	c 1586s |      19 |   732473 |   538682 |    27949     40 |      600 |      382
1589.10/1589.65	c 1589s |      19 |   733036 |   539182 |    27949     40 |      600 |      382
1591.20/1591.71	c 1591s |      19 |   733477 |   539582 |    27949     40 |      600 |      382
1593.40/1593.93	c 1593s |      19 |   733943 |   539982 |    27949     40 |      600 |      382
1595.49/1596.08	c 1595s |      19 |   734386 |   540382 |    27949     40 |      600 |      382
1597.59/1598.12	c 1597s |      19 |   734843 |   540782 |    27949     40 |      600 |      382
1599.89/1600.45	c 1600s |      19 |   735261 |   541182 |    27949     40 |      600 |      382
1602.09/1602.70	c 1602s |      19 |   735708 |   541582 |    27949     40 |      600 |      382
1604.29/1604.83	c 1604s |      19 |   736152 |   541982 |    27949     40 |      600 |      382
1607.39/1607.90	c 1607s |      19 |   736583 |   542382 |    27949     41 |      600 |      382
1609.49/1610.08	c 1609s |      19 |   737108 |   542882 |    27949     41 |      600 |      382
1611.99/1612.50	c 1612s |      19 |   737770 |   543482 |    27949     41 |      600 |      382
1614.09/1614.65	c 1614s |      19 |   738319 |   543982 |    27949     41 |      600 |      382
1616.19/1616.77	c 1616s |      19 |   738866 |   544482 |    27949     41 |      600 |      382
1618.39/1618.95	c 1618s |      19 |   739405 |   544982 |    27949     41 |      600 |      382
1620.59/1621.15	c 1620s |      19 |   739957 |   545482 |    27949     41 |      600 |      382
1622.59/1623.15	c 1622s |      19 |   740377 |   545882 |    27949     41 |      600 |      382
1624.59/1625.17	c 1624s |      19 |   740796 |   546282 |    27949     41 |      600 |      382
1626.99/1627.53	c 1627s |      19 |   741337 |   546782 |    27949     41 |      600 |      382
1629.29/1629.87	c 1629s |      19 |   741884 |   547282 |    27949     41 |      600 |      382
1631.39/1631.96	c 1631s |      19 |   742346 |   547682 |    27949     41 |      600 |      382
1633.78/1634.34	c 1634s |      19 |   742905 |   548182 |    27949     41 |      600 |      382
1636.18/1636.74	c 1636s |      19 |   743430 |   548682 |    27949     41 |      600 |      382
1638.38/1638.97	c 1638s |      19 |   743977 |   549182 |    27949     41 |      600 |      382
1640.69/1641.29	c 1641s |      19 |   744517 |   549682 |    27949     41 |      600 |      382
1643.08/1643.60	c 1643s |      19 |   745037 |   550182 |    27949     41 |      600 |      382
1645.58/1646.10	c 1645s |      19 |   745576 |   550682 |    27949     41 |      600 |      382
1647.68/1648.28	c 1648s |      19 |   746012 |   551082 |    27949     41 |      600 |      382
1650.08/1650.69	c 1650s |      19 |   746564 |   551582 |    27949     41 |      600 |      382
1652.18/1652.78	c 1652s |      19 |   747006 |   551982 |    27949     41 |      600 |      382
1654.18/1654.79	c 1654s |      19 |   747455 |   552382 |    27949     41 |      600 |      382
1656.28/1656.80	c 1656s |      19 |   747903 |   552782 |    27949     41 |      600 |      382
1658.68/1659.23	c 1658s |      19 |   748454 |   553282 |    27949     41 |      600 |      382
1660.98/1661.58	c 1661s |      19 |   748891 |   553682 |    27949     41 |      600 |      382
1663.18/1663.78	c 1663s |      19 |   749329 |   554082 |    27949     41 |      600 |      382
1665.48/1666.02	c 1665s |      19 |   749775 |   554482 |    27949     41 |      600 |      382
1667.78/1668.35	c 1668s |      19 |   750201 |   554882 |    27949     41 |      600 |      382
1669.98/1670.57	c 1670s |      19 |   750640 |   555282 |    27949     41 |      600 |      382
1672.48/1673.03	c 1672s |      19 |   751075 |   555682 |    27949     41 |      600 |      382
1674.48/1675.04	c 1674s |      19 |   751403 |   555982 |    27949     41 |      600 |      382
1676.99/1677.58	c 1677s |      19 |   751834 |   556382 |    27949     41 |      600 |      382
1679.48/1680.01	c 1679s |      19 |   752263 |   556782 |    27949     41 |      600 |      382
1681.68/1682.21	c 1681s |      19 |   752692 |   557182 |    27949     41 |      600 |      382
1683.88/1684.47	c 1684s |      19 |   753127 |   557582 |    27949     41 |      600 |      382
1687.07/1687.68	c 1687s |      19 |   753558 |   557982 |    27949     42 |      600 |      382
1689.47/1690.10	c 1689s |      19 |   754078 |   558482 |    27949     42 |      600 |      382
1691.98/1692.51	c 1692s |      19 |   754610 |   558982 |    27949     42 |      600 |      382
1694.28/1694.85	c 1694s |      19 |   755134 |   559482 |    27949     42 |      600 |      382
1696.28/1696.87	c 1696s |      19 |   755550 |   559882 |    27949     42 |      600 |      382
1698.38/1698.98	c 1698s |      19 |   755989 |   560282 |    27949     42 |      600 |      382
1700.68/1701.21	c 1700s |      19 |   756416 |   560682 |    27949     42 |      600 |      382
1702.78/1703.37	c 1703s |      19 |   756837 |   561082 |    27949     42 |      600 |      382
1705.28/1705.85	c 1705s |      19 |   757409 |   561582 |    27949     42 |      600 |      382
1707.68/1708.23	c 1707s |      19 |   757947 |   562082 |    27949     42 |      600 |      382
1709.99/1710.51	c 1710s |      19 |   758475 |   562582 |    27949     42 |      600 |      382
1712.19/1712.73	c 1712s |      19 |   758897 |   562982 |    27949     42 |      600 |      382
1714.39/1714.99	c 1714s |      19 |   759464 |   563482 |    27949     42 |      600 |      382
1716.59/1717.17	c 1716s |      19 |   759901 |   563882 |    27949     42 |      600 |      382
1718.98/1719.58	c 1719s |      19 |   760468 |   564382 |    27949     42 |      600 |      382
1721.38/1721.92	c 1721s |      19 |   761004 |   564882 |    27949     42 |      600 |      382
1723.48/1724.03	c 1723s |      19 |   761444 |   565282 |    27949     42 |      600 |      382
1725.98/1726.53	c 1726s |      19 |   761981 |   565782 |    27949     42 |      600 |      382
1728.28/1728.82	c 1728s |      19 |   762399 |   566182 |    27949     42 |      600 |      382
1730.57/1731.16	c 1730s |      19 |   762828 |   566582 |    27949     42 |      600 |      382
1732.77/1733.32	c 1733s |      19 |   763258 |   566982 |    27949     42 |      600 |      382
1734.87/1735.49	c 1735s |      19 |   763693 |   567382 |    27949     42 |      600 |      382
1737.17/1737.75	c 1737s |      19 |   764114 |   567782 |    27949     42 |      600 |      382
1739.57/1740.13	c 1739s |      19 |   764534 |   568182 |    27949     42 |      600 |      382
1741.88/1742.41	c 1742s |      19 |   764958 |   568582 |    27949     42 |      600 |      382
1743.97/1744.60	c 1744s |      19 |   765408 |   568982 |    27949     42 |      600 |      382
1746.17/1746.75	c 1746s |      19 |   765854 |   569382 |    27949     42 |      600 |      382
1748.37/1748.94	c 1748s |      19 |   766271 |   569782 |    27949     42 |      600 |      382
1750.68/1751.24	c 1750s |      19 |   766706 |   570182 |    27949     42 |      600 |      382
1752.88/1753.48	c 1753s |      19 |   767132 |   570582 |    27949     42 |      600 |      382
1755.18/1755.79	c 1755s |      19 |   767567 |   570982 |    27949     42 |      600 |      382
1757.67/1758.24	c 1757s |      19 |   767996 |   571382 |    27949     42 |      600 |      382
1759.87/1760.48	c 1760s |      19 |   768432 |   571782 |    27949     42 |      600 |      382
1762.17/1762.70	c 1762s |      19 |   768905 |   572182 |    27949     42 |      600 |      382
1764.67/1765.25	c 1764s |      19 |   769344 |   572582 |    27949     42 |      600 |      382
1766.87/1767.48	c 1767s |      19 |   769795 |   572982 |    27949     42 |      600 |      382
1769.38/1769.99	c 1769s |      19 |   770226 |   573382 |    27949     42 |      600 |      382
1771.97/1772.56	c 1772s |      19 |   770560 |   573682 |    27949     43 |      600 |      382
1774.17/1774.77	c 1774s |      19 |   771104 |   574182 |    27949     43 |      600 |      382
1776.27/1776.86	c 1776s |      19 |   771658 |   574682 |    27949     43 |      600 |      382
1778.37/1778.92	c 1778s |      19 |   772211 |   575182 |    27949     43 |      600 |      382
1780.48/1781.05	c 1780s |      19 |   772623 |   575582 |    27949     43 |      600 |      382
1782.87/1783.46	c 1783s |      19 |   773152 |   576082 |    27949     43 |      600 |      382
1785.16/1785.78	c 1785s |      19 |   773707 |   576582 |    27949     43 |      600 |      382
1787.66/1788.20	c 1787s |      19 |   774250 |   577082 |    27949     43 |      600 |      382
1790.06/1790.66	c 1790s |      19 |   774780 |   577582 |    27949     43 |      600 |      382
1792.16/1792.76	c 1792s |      19 |   775214 |   577982 |    27949     43 |      600 |      382
1794.36/1794.94	c 1794s |      19 |   775635 |   578382 |    27949     43 |      600 |      382
1796.56/1797.19	c 1796s |      19 |   776061 |   578782 |    27949     43 |      600 |      382
1798.96/1799.57	c 1799s |      19 |   776481 |   579182 |    27949     43 |      600 |      382

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

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

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


[startup+0 s]
/proc/loadavg: 2.17 2.11 2.03 3/261 4167
/proc/meminfo: memFree=30809456/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1126844 CPUtime=0 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 4277 0 0 0 0 0 0 0 20 0 4 0 30368369 1153888256 4637 33554432000 4194304 16246674 140736104848640 140736104848064 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 282735 4649 441 2943 0 279629 0
[pid=4167/tid=4168] ppid=4164 vsize=1177020 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1205268480 4833 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1182140 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1210511360 4850 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1186236 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1214705664 4867 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.17 2.11 2.03 3/261 4167
/proc/meminfo: memFree=30809456/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1220164 CPUtime=0.09 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 28468 0 0 0 6 3 0 0 20 0 4 0 30368369 1249447936 28766 33554432000 4194304 16246674 140736104848640 140736104847952 4220897 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 305041 28766 801 2943 0 301935 0
[pid=4167/tid=4168] ppid=4164 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1249447936 28766 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1249447936 28766 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1249447936 28766 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200497 s]
/proc/loadavg: 2.17 2.11 2.03 3/261 4167
/proc/meminfo: memFree=30809456/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1301060 CPUtime=0.19 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 48675 0 0 0 13 6 0 0 20 0 4 0 30368369 1332285440 48973 33554432000 4194304 16246674 140736104848640 140736104847952 6763048 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 325265 48973 842 2943 0 322159 0
[pid=4167/tid=4168] ppid=4164 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1332285440 48973 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1332285440 48973 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1332285440 48973 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300434 s]
/proc/loadavg: 2.17 2.11 2.03 3/261 4167
/proc/meminfo: memFree=30809456/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1301060 CPUtime=0.29 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 54695 0 0 0 22 7 0 0 20 0 4 0 30368369 1332285440 54994 33554432000 4194304 16246674 140736104848640 140736104847952 5675357 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 325265 54998 882 2943 0 322159 0
[pid=4167/tid=4168] ppid=4164 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1332285440 55001 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1332285440 55005 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1332285440 55008 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.70041 s]
/proc/loadavg: 2.17 2.11 2.03 3/261 4167
/proc/meminfo: memFree=30809456/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1301060 CPUtime=0.69 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 105523 0 0 0 55 14 0 0 20 0 4 0 30368369 1332285440 105821 33554432000 4194304 16246674 140736104848640 140736104847952 12415740 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 325265 105827 882 2943 0 322159 0
[pid=4167/tid=4168] ppid=4164 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1332285440 105831 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1332285440 105835 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1332285440 105838 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50041 s]
/proc/loadavg: 2.17 2.11 2.03 3/265 4171
/proc/meminfo: memFree=30182580/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1302084 CPUtime=1.49 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 210039 0 0 0 120 29 0 0 20 0 4 0 30368369 1333334016 210337 33554432000 4194304 16246674 140736104848640 140736104830528 5661166 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 325521 210341 882 2943 0 322415 0
[pid=4167/tid=4168] ppid=4164 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1333334016 210343 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1333334016 210345 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1333334016 210347 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10042 s]
/proc/loadavg: 2.16 2.11 2.03 3/265 4171
/proc/meminfo: memFree=29729848/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1313348 CPUtime=3.09 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 269499 0 0 0 273 36 0 0 20 0 4 0 30368369 1344868352 269797 33554432000 4194304 16246674 140736104848640 140736104830528 13954184 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 328337 269797 889 2943 0 325231 0
[pid=4167/tid=4168] ppid=4164 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1344868352 269797 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1344868352 269797 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1344868352 269797 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30039 s]
/proc/loadavg: 2.16 2.11 2.03 3/265 4171
/proc/meminfo: memFree=29729492/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1313348 CPUtime=6.29 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 269527 0 0 0 593 36 0 0 20 0 4 0 30368369 1344868352 269825 33554432000 4194304 16246674 140736104848640 140736104830528 12477776 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 328337 269825 891 2943 0 325231 0
[pid=4167/tid=4168] ppid=4164 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1344868352 269825 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1344868352 269825 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1344868352 269825 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.13 2.11 2.03 3/265 4171
/proc/meminfo: memFree=29729088/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1313348 CPUtime=12.69 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 269527 0 0 0 1233 36 0 0 20 0 4 0 30368369 1344868352 269825 33554432000 4194304 16246674 140736104848640 140736104830528 12483276 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 328337 269825 891 2943 0 325231 0
[pid=4167/tid=4168] ppid=4164 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1344868352 269825 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1344868352 269825 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1344868352 269825 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.19 2.12 2.03 3/265 4171
/proc/meminfo: memFree=29729956/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1313348 CPUtime=25.49 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 269528 0 0 0 2513 36 0 0 20 0 4 0 30368369 1344868352 269826 33554432000 4194304 16246674 140736104848640 140736104830528 12415766 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 328337 269826 892 2943 0 325231 0
[pid=4167/tid=4168] ppid=4164 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1344868352 269826 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1344868352 269826 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1344868352 269826 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.12 2.11 2.03 3/265 4171
/proc/meminfo: memFree=29729416/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1313348 CPUtime=51.08 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 269528 0 0 0 5072 36 0 0 20 0 4 0 30368369 1344868352 269826 33554432000 4194304 16246674 140736104848640 140736104830528 12415777 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 328337 269826 892 2943 0 325231 0
[pid=4167/tid=4168] ppid=4164 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1344868352 269826 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1344868352 269826 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1344868352 269826 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.16 2.13 2.04 3/265 4172
/proc/meminfo: memFree=29726156/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1316420 CPUtime=102.29 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 270089 0 0 0 10192 37 0 0 20 0 4 0 30368369 1348014080 270387 33554432000 4194304 16246674 140736104848640 140736104830528 5722816 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 329105 270387 892 2943 0 325999 0
[pid=4167/tid=4168] ppid=4164 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1348014080 270387 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1348014080 270387 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1348014080 270387 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1316420


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

/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1362694144 274367 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1330756

[startup+1302.3 s]
/proc/loadavg: 1.02 1.18 1.56 2/255 4234
/proc/meminfo: memFree=30829960/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1330756 CPUtime=1301.89 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 274128 0 0 0 130144 45 0 0 20 0 4 0 30368369 1362694144 274367 33554432000 4194304 16246674 140736104848640 140736104830528 12415827 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 332689 274367 892 2943 0 329583 0
[pid=4167/tid=4168] ppid=4164 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1362694144 274367 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1362694144 274367 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1362694144 274367 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1330756

[startup+1362.3 s]
/proc/loadavg: 1.11 1.18 1.53 2/255 4235
/proc/meminfo: memFree=30829992/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1330756 CPUtime=1361.84 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 274175 0 0 0 136139 45 0 0 20 0 4 0 30368369 1362694144 274367 33554432000 4194304 16246674 140736104848640 140736104830528 5600072 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 332689 274367 892 2943 0 329583 0
[pid=4167/tid=4168] ppid=4164 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1362694144 274367 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1362694144 274367 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1362694144 274367 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1330756

[startup+1422.3 s]
/proc/loadavg: 1.08 1.16 1.50 2/255 4236
/proc/meminfo: memFree=30822912/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1337924 CPUtime=1421.83 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 275915 0 0 0 142138 45 0 0 20 0 4 0 30368369 1370034176 276088 33554432000 4194304 16246674 140736104848640 140736104830528 12875464 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 334481 276088 892 2943 0 331375 0
[pid=4167/tid=4168] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276088 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276088 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276088 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1337924

[startup+1482.3 s]
/proc/loadavg: 1.12 1.16 1.48 2/255 4237
/proc/meminfo: memFree=30822772/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1337924 CPUtime=1481.81 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 276053 0 0 0 148135 46 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140736104830528 5672188 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 334481 276226 892 2943 0 331375 0
[pid=4167/tid=4168] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1337924

[startup+1542.31 s]
/proc/loadavg: 1.09 1.14 1.45 2/256 4242
/proc/meminfo: memFree=30823252/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1337924 CPUtime=1541.81 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 276053 0 0 0 154135 46 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140736104830528 13943668 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 334481 276226 892 2943 0 331375 0
[pid=4167/tid=4168] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1337924

[startup+1602.3 s]
/proc/loadavg: 1.03 1.11 1.42 2/256 4266
/proc/meminfo: memFree=30822472/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1337924 CPUtime=1601.79 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 276053 0 0 0 160133 46 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140736104830528 5822484 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 334481 276226 892 2943 0 331375 0
[pid=4167/tid=4168] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1337924

[startup+1662.3 s]
/proc/loadavg: 1.22 1.15 1.41 2/255 4267
/proc/meminfo: memFree=30822628/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1337924 CPUtime=1661.78 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 276053 0 0 0 166132 46 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140736104830528 5711688 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 334481 276226 892 2943 0 331375 0
[pid=4167/tid=4168] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1337924

[startup+1722.3 s]
/proc/loadavg: 1.27 1.18 1.40 2/255 4268
/proc/meminfo: memFree=30822504/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1337924 CPUtime=1721.78 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 276053 0 0 0 172131 47 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140736104830528 5546098 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 334481 276226 892 2943 0 331375 0
[pid=4167/tid=4168] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1337924

[startup+1782.3 s]
/proc/loadavg: 1.10 1.14 1.37 2/255 4269
/proc/meminfo: memFree=30822012/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1337924 CPUtime=1781.77 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 276053 0 0 0 178130 47 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140736104830528 5822252 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 334481 276226 892 2943 0 331375 0
[pid=4167/tid=4168] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1337924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.30 1.18 1.38 2/255 4270
/proc/meminfo: memFree=30822156/32872528 swapFree=7556/7556
[pid=4167] ppid=4164 vsize=1337924 CPUtime=1800.06 cores=0-3,8-11
/proc/4167/stat : 4167 (toysat) R 4164 4167 32495 0 -1 4202496 276053 0 0 0 179959 47 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140736104830528 5523188 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4167/statm: 334481 276226 892 2943 0 331375 0
[pid=4167/tid=4168] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4168/stat : 4168 (toysat) S 4164 4167 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486961507568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4167/tid=4169] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4169/stat : 4169 (toysat) S 4164 4167 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486951017712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4167/tid=4170] ppid=4164 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/4167/task/4170/stat : 4170 (toysat) S 4164 4167 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30368369 1370034176 276226 33554432000 4194304 16246674 140736104848640 140486836743344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1337924

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.6
CPU system time (s): 0.475927
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 1337924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.475927
maximum resident set size= 1104904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276053
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= 397
involuntary context switches= 1945

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5003 second user time and 20.7398 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 22:35:02
IDJOB=4116517
IDBENCH=109480
IDSOLVER=2542
FILE ID=node132/4116517-1466973302
RUNJOBID= node132-1466939688-32511
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= 8da99d58ed47e2ffaa19ff7cece0b095
RANDOM SEED=472275543

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:        30809744 kB
Buffers:           56396 kB
Cached:           187200 kB
SwapCached:         1780 kB
Active:          1168552 kB
Inactive:         178160 kB
Active(anon):    1104336 kB
Inactive(anon):     1700 kB
Active(file):      64216 kB
Inactive(file):   176460 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098640 kB
Dirty:             16488 kB
Writeback:             0 kB
AnonPages:       1233208 kB
Mapped:            10956 kB
Shmem:                 0 kB
Slab:             571692 kB
SReclaimable:      12208 kB
SUnreclaim:       559484 kB
KernelStack:        2240 kB
PageTables:         6236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1253488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1208320 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= 71512 MiB
End job on node132 at 2016-06-26 23:05:03