Trace number 4116453

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size80-round23-4.opb
MD5SUMa5c6e946be43647eb79fff224be4b296
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:17:49+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-4116453-1466972268.opb"]
0.00/0.01	c use --random-gen="239074491 2554994467 126276466 4106788472 4148632741 1343154746 3183815825 819457718 2560690308 226680238 2679456432 3282209126 1863745086 4025459889 3729438449 976063533 2090642532 313579894 2900544586 745387445 4063029175 2618299311 314919227 2319140440 4293720242 2172555685 2266830607 1548239167 2588228999 1205718985 154846321 495634952 2676653465 2881315226 1988404000 3677856316 622975623 3592418559 1648488194 1497774914 2979365185 538751682 1235638796 3759079505 1450729304 2438456321 313298972 640848635 3404363071 3621897674 1331737999 2853427972 432301013 3200281502 2705649928 3049405356 2682941031 4117862203 3180452700 386665438 3379220048 2934650754 2502925757 3000386842 2970372030 3449034445 2215392719 3040161145 1050101951 3723358599 3748356894 3642029650 1176901523 315911854 4227519 83188093 1762603871 2276035304 4221877694 1477256640 3965110181 145712382 1835746140 229990308 728750983 4206355651 2559223186 3799750189 3571048140 3010154725 1565689627 662734286 3046571938 1115477936 533208999 2838007716 1803869299 374402381 1679734801 897505936 546280807 1530691183 3490744930 3759982007 4074558442 2975266956 593698457 1801811791 4033556139 3902301117 3327801058 407639135 655815718 4166522379 1915327213 579803378 3741281619 2544120765 994132060 1863065860 516180254 626499205 402061717 256080127 739946864 2739771745 672607076 4023246738 1162128723 215631894 4110056364 766235358 757192241 2660650286 2309598411 2488976359 887439466 1418237798 4208034633 3291175386 1606390793 677989437 348710743 835051345 1702210048 1914703079 1182557753 2428909715 2570184034 995089994 914053839 3080347771 773520495 3777437580 3552687627 942946561 2271248563 1822444124 4256788596 1141168048 394199707 2747160658 2965457807 1198221817 3043781552 2236326017 3545351426 610294591 983759345 3161936781 2611228325 2878679035 2230938928 1019477696 2411160198 3005850295 2396160829 189408344 2958983906 1437408508 3253974313 2908839416 1587489174 1380318020 2555433569 4169117149 1034862268 466284326 1586262198 3185169696 2772616441 2252871041 32957435 1951594693 1734712302 2931983946 4081649314 2297665864 2868963558 2849084220 4268402069 535658327 1976706826 1412562383 3169809522 3289994127 1669305640 2951315515 3466118764 3259306033 3516393763 2592173026 4005351254 2676854440 1021475106 165192112 361778331 1561112352 1378792321 4022778418 1152548317 2212487302 1353310524 68590307 1039971538 4247745725 3561335352 4167301278 2908042050 4287901169 4197544448 1667594243 4019551349 1010431036 1190638144 3917177550 448406471 2961117737 1516309846 2432368226 3135999110 4239733964 735571469 1174608508 647128001 177366349 3323348659 2489566205 2433851348 3954551654 1575982504 3263154970 688039154 78563857 2581517325 849605575 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9456
0.39/0.40	c Solving starts ...
0.39/0.40	c ============================[ Search Statistics ]============================
0.39/0.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.40	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.40	c =============================================================================
0.39/0.40	c  0.0s |       0 |        0 |        0 |     4565      0 |      612 |        0
0.39/0.40	c  0.1s |       1 |     1199 |      100 |     4565      0 |      613 |      374
0.39/0.46	c  0.2s |       2 |     2389 |      250 |     5022      0 |      613 |      374
0.59/0.62	c  0.3s |       3 |     4793 |      475 |     5525      0 |      614 |      374
0.98/1.00	c  0.7s |       4 |     6988 |      813 |     6078      0 |      614 |      374
1.39/1.40	c  1.1s |       5 |    10986 |     1320 |     6686      0 |      614 |      374
2.19/2.29	c  2.0s |       6 |    14995 |     2081 |     8091      0 |      614 |      374
3.09/3.13	c  2.9s |       7 |    19698 |     3223 |     8901      0 |      614 |      374
5.09/5.14	c  4.9s |       7 |    25054 |     4923 |     9792      0 |      614 |      374
5.09/5.15	c  4.9s |       8 |    25075 |     4936 |     9792      0 |      614 |      374
7.18/7.25	c  7.0s |       8 |    32349 |     7436 |     9792      0 |      614 |      374
7.28/7.33	c  7.1s |       9 |    32430 |     7506 |    10772      0 |      614 |      374
9.38/9.48	c  9.2s |       9 |    37881 |     9206 |    10772      0 |      614 |      374
11.68/11.71	c 11.4s |       9 |    42541 |    10906 |    10772      0 |      614 |      374
12.29/12.33	c 12.0s |      10 |    43817 |    11361 |    11850      0 |      614 |      374
14.49/14.57	c 14.3s |      10 |    56994 |    14161 |    11850      1 |      614 |      374
16.48/16.60	c 16.3s |      10 |    61965 |    16261 |    11850      1 |      614 |      374
17.58/17.60	c 17.3s |      11 |    63783 |    17144 |    13036      1 |      614 |      374
19.58/19.68	c 19.4s |      11 |    69057 |    18844 |    13036      1 |      614 |      374
21.68/21.78	c 21.5s |      11 |    72550 |    20444 |    13036      1 |      614 |      374
23.88/23.90	c 23.6s |      11 |    73912 |    21644 |    13036      1 |      614 |      374
25.98/26.04	c 25.8s |      11 |    75261 |    22744 |    13036      1 |      614 |      374
28.18/28.22	c 27.9s |      11 |    76127 |    23544 |    13036      2 |      614 |      374
30.18/30.24	c 30.0s |      11 |    76981 |    24344 |    13036      2 |      614 |      374
32.38/32.43	c 32.1s |      11 |    77998 |    25244 |    13036      2 |      614 |      374
33.98/34.06	c 33.8s |      12 |    78619 |    25819 |    14340      2 |      614 |      374
36.08/36.10	c 35.8s |      12 |    89483 |    28019 |    14340      2 |      614 |      374
38.08/38.13	c 37.8s |      12 |    99018 |    30519 |    14340      2 |      614 |      374
40.18/40.24	c 40.0s |      12 |   103162 |    32419 |    14340      2 |      614 |      374
42.18/42.24	c 42.0s |      12 |   104671 |    33519 |    14340      3 |      614 |      374
44.28/44.32	c 44.0s |      12 |   106950 |    35019 |    14340      3 |      614 |      374
46.28/46.32	c 46.0s |      12 |   109506 |    36519 |    14340      3 |      614 |      374
48.38/48.40	c 48.1s |      12 |   111681 |    37819 |    14340      3 |      614 |      374
50.08/50.11	c 49.8s |      13 |   112920 |    38832 |    15775      3 |      614 |      374
52.18/52.25	c 52.0s |      13 |   116281 |    40432 |    15775      3 |      614 |      374
54.28/54.30	c 54.0s |      13 |   117637 |    41632 |    15775      3 |      614 |      374
56.28/56.37	c 56.1s |      13 |   118905 |    42732 |    15775      3 |      614 |      374
58.38/58.42	c 58.1s |      13 |   120057 |    43732 |    15775      4 |      614 |      374
60.47/60.56	c 60.3s |      13 |   121282 |    44832 |    15775      4 |      614 |      374
62.57/62.60	c 62.3s |      13 |   122284 |    45732 |    15775      4 |      614 |      374
64.67/64.75	c 64.5s |      13 |   123271 |    46632 |    15775      4 |      614 |      374
66.87/66.99	c 66.7s |      13 |   124237 |    47532 |    15775      4 |      614 |      374
69.07/69.12	c 68.8s |      13 |   125353 |    48532 |    15775      4 |      614 |      374
71.17/71.24	c 71.0s |      13 |   126736 |    49632 |    15775      4 |      614 |      374
73.37/73.40	c 73.1s |      13 |   128039 |    50732 |    15775      4 |      614 |      374
75.37/75.43	c 75.1s |      13 |   129222 |    51732 |    15775      4 |      614 |      374
77.47/77.58	c 77.3s |      13 |   130384 |    52732 |    15775      4 |      614 |      374
79.77/79.81	c 79.5s |      13 |   131459 |    53632 |    15775      5 |      614 |      374
81.87/81.94	c 81.7s |      13 |   132653 |    54632 |    15775      5 |      614 |      374
83.97/84.00	c 83.7s |      13 |   133670 |    55532 |    15775      5 |      614 |      374
86.07/86.12	c 85.8s |      13 |   134754 |    56432 |    15775      5 |      614 |      374
88.18/88.23	c 88.0s |      13 |   135872 |    57332 |    15775      5 |      614 |      374
90.17/90.29	c 90.0s |      13 |   136765 |    58132 |    17353      5 |      614 |      374
90.57/90.67	c 90.4s |      14 |   137030 |    58352 |    17353      5 |      614 |      374
92.58/92.68	c 92.4s |      14 |   143981 |    60252 |    17353      5 |      614 |      374
94.78/94.81	c 94.5s |      14 |   146899 |    61952 |    17353      5 |      614 |      374
96.77/96.82	c 96.5s |      14 |   149999 |    63752 |    17353      5 |      614 |      374
98.77/98.86	c 98.6s |      14 |   151783 |    65052 |    17353      6 |      614 |      374
100.87/100.93	c  100s |      14 |   153742 |    66452 |    17353      6 |      614 |      374
102.97/103.03	c  102s |      14 |   155480 |    67752 |    17353      6 |      614 |      374
105.17/105.21	c  104s |      14 |   156862 |    68852 |    17353      6 |      614 |      374
107.27/107.32	c  107s |      14 |   158014 |    69752 |    17353      6 |      614 |      374
109.37/109.42	c  109s |      14 |   159247 |    70752 |    17353      6 |      614 |      374
111.57/111.66	c  111s |      14 |   160443 |    71752 |    17353      6 |      614 |      374
113.77/113.80	c  113s |      14 |   161362 |    72552 |    17353      6 |      614 |      374
115.77/115.81	c  115s |      14 |   162492 |    73452 |    17353      6 |      614 |      374
117.77/117.81	c  117s |      14 |   163465 |    74252 |    17353      6 |      614 |      374
119.76/119.82	c  119s |      14 |   164292 |    74952 |    17353      7 |      614 |      374
121.86/121.90	c  121s |      14 |   165531 |    75952 |    17353      7 |      614 |      374
123.86/124.00	c  123s |      14 |   166600 |    76852 |    17353      7 |      614 |      374
126.16/126.20	c  125s |      14 |   167527 |    77652 |    17353      7 |      614 |      374
128.46/128.50	c  128s |      14 |   168453 |    78452 |    17353      7 |      614 |      374
130.46/130.57	c  130s |      14 |   169122 |    79052 |    17353      7 |      614 |      374
132.56/132.60	c  132s |      14 |   169685 |    79552 |    17353      7 |      614 |      374
134.66/134.73	c  134s |      14 |   170353 |    80152 |    17353      7 |      614 |      374
136.86/136.93	c  136s |      14 |   171178 |    80852 |    17353      7 |      614 |      374
138.96/139.03	c  138s |      14 |   171901 |    81452 |    17353      7 |      614 |      374
141.06/141.17	c  140s |      14 |   172745 |    82152 |    17353      7 |      614 |      374
143.36/143.42	c  143s |      14 |   173572 |    82852 |    17353      7 |      614 |      374
145.37/145.49	c  145s |      14 |   174244 |    83452 |    17353      7 |      614 |      374
147.57/147.65	c  147s |      14 |   174940 |    84052 |    17353      7 |      614 |      374
149.67/149.75	c  149s |      14 |   175621 |    84652 |    17353      7 |      614 |      374
151.87/152.00	c  151s |      14 |   176289 |    85252 |    17353      8 |      614 |      374
154.07/154.16	c  153s |      14 |   177609 |    86252 |    17353      8 |      614 |      374
156.16/156.23	c  155s |      14 |   178771 |    87252 |    19089      8 |      614 |      374
156.86/156.92	c  156s |      15 |   179305 |    87632 |    19089      8 |      614 |      374
158.86/158.95	c  158s |      15 |   183759 |    89232 |    19089      8 |      614 |      374
160.86/160.95	c  160s |      15 |   185294 |    90532 |    19089      8 |      614 |      374
162.86/162.98	c  162s |      15 |   187701 |    91832 |    19089      8 |      614 |      374
164.96/165.02	c  164s |      15 |   192107 |    93632 |    19089      8 |      614 |      374
167.06/167.18	c  166s |      15 |   194304 |    95132 |    19089      8 |      614 |      374
169.06/169.19	c  168s |      15 |   195669 |    96232 |    19089      8 |      614 |      374
171.36/171.41	c  171s |      15 |   196648 |    97032 |    19089      9 |      614 |      374
173.45/173.52	c  173s |      15 |   197601 |    97832 |    19089      9 |      614 |      374
175.55/175.63	c  175s |      15 |   198527 |    98632 |    19089      9 |      614 |      374
177.65/177.77	c  177s |      15 |   199414 |    99432 |    19089      9 |      614 |      374
179.85/179.96	c  179s |      15 |   200463 |   100332 |    19089      9 |      614 |      374
181.95/182.05	c  181s |      15 |   201266 |   101032 |    19089      9 |      614 |      374
184.05/184.14	c  183s |      15 |   202064 |   101732 |    19089      9 |      614 |      374
186.15/186.24	c  185s |      15 |   205001 |   103132 |    19089      9 |      614 |      374
188.26/188.37	c  188s |      15 |   206591 |   104332 |    19089      9 |      614 |      374
190.36/190.45	c  190s |      15 |   207523 |   105132 |    19089      9 |      614 |      374
192.45/192.56	c  192s |      15 |   209031 |   106132 |    19089      9 |      614 |      374
194.65/194.73	c  194s |      15 |   210615 |   107232 |    19089      9 |      614 |      374
196.65/196.77	c  196s |      15 |   211695 |   108132 |    19089      9 |      614 |      374
198.85/198.92	c  198s |      15 |   212493 |   108832 |    19089     10 |      614 |      374
200.85/200.94	c  200s |      15 |   213375 |   109632 |    19089     10 |      614 |      374
203.15/203.20	c  202s |      15 |   214225 |   110432 |    19089     10 |      614 |      374
205.15/205.28	c  205s |      15 |   215524 |   111332 |    19089     10 |      614 |      374
207.45/207.55	c  207s |      15 |   216726 |   112232 |    19089     10 |      614 |      374
209.46/209.56	c  209s |      15 |   217917 |   113032 |    19089     10 |      614 |      374
211.66/211.76	c  211s |      15 |   219037 |   113932 |    19089     10 |      614 |      374
213.86/213.93	c  213s |      15 |   219871 |   114632 |    19089     10 |      614 |      374
215.86/215.95	c  215s |      15 |   220854 |   115432 |    19089     10 |      614 |      374
218.15/218.20	c  217s |      15 |   221808 |   116232 |    19089     10 |      614 |      374
220.25/220.37	c  220s |      15 |   222719 |   116932 |    19089     10 |      614 |      374
222.55/222.69	c  222s |      15 |   223681 |   117732 |    19089     10 |      614 |      374
224.85/224.93	c  224s |      15 |   224375 |   118332 |    19089     10 |      614 |      374
227.05/227.12	c  226s |      15 |   225324 |   119032 |    19089     10 |      614 |      374
229.35/229.40	c  229s |      15 |   226170 |   119732 |    19089     11 |      614 |      374
231.45/231.50	c  231s |      15 |   227145 |   120532 |    19089     11 |      614 |      374
233.45/233.53	c  233s |      15 |   227989 |   121232 |    19089     11 |      614 |      374
235.65/235.71	c  235s |      15 |   229007 |   122032 |    19089     11 |      614 |      374
237.85/237.91	c  237s |      15 |   229815 |   122732 |    19089     11 |      614 |      374
239.96/240.06	c  239s |      15 |   230658 |   123432 |    19089     11 |      614 |      374
242.05/242.14	c  241s |      15 |   231375 |   124032 |    19089     11 |      614 |      374
244.15/244.28	c  243s |      15 |   232068 |   124632 |    19089     11 |      614 |      374
246.25/246.33	c  246s |      15 |   232761 |   125232 |    19089     11 |      614 |      374
248.35/248.49	c  248s |      15 |   233477 |   125832 |    19089     11 |      614 |      374
250.54/250.65	c  250s |      15 |   234140 |   126432 |    19089     11 |      614 |      374
252.74/252.86	c  252s |      15 |   234977 |   127132 |    19089     11 |      614 |      374
255.04/255.18	c  254s |      15 |   235787 |   127832 |    19089     11 |      614 |      374
257.14/257.27	c  256s |      15 |   236355 |   128332 |    19089     11 |      614 |      374
259.34/259.43	c  259s |      15 |   236914 |   128832 |    19089     11 |      614 |      374
261.54/261.64	c  261s |      15 |   237605 |   129432 |    19089     11 |      614 |      374
263.84/263.92	c  263s |      15 |   238333 |   130032 |    19089     11 |      614 |      374
266.14/266.22	c  265s |      15 |   239040 |   130632 |    19089     11 |      614 |      374
268.24/268.34	c  268s |      15 |   239601 |   131132 |    20998     11 |      614 |      374
269.84/269.97	c  269s |      16 |   240077 |   131552 |    20998     11 |      614 |      374
271.94/272.00	c  271s |      16 |   243314 |   132552 |    20998     12 |      614 |      374
273.95/274.05	c  273s |      16 |   244808 |   133852 |    20998     12 |      614 |      374
276.15/276.22	c  275s |      16 |   246241 |   135152 |    20998     12 |      614 |      374
278.14/278.25	c  277s |      16 |   247435 |   136252 |    20998     12 |      614 |      374
280.24/280.38	c  280s |      16 |   248504 |   137252 |    20998     12 |      614 |      374
282.34/282.49	c  282s |      16 |   249868 |   138352 |    20998     12 |      614 |      374
284.64/284.70	c  284s |      16 |   251060 |   139452 |    20998     12 |      614 |      374
286.74/286.80	c  286s |      16 |   251981 |   140252 |    20998     12 |      614 |      374
288.84/288.94	c  288s |      16 |   253004 |   141152 |    20998     12 |      614 |      374
290.84/290.96	c  290s |      16 |   253942 |   141952 |    20998     12 |      614 |      374
292.94/293.08	c  292s |      16 |   262591 |   143852 |    20998     13 |      614 |      374
295.04/295.18	c  294s |      16 |   264351 |   145252 |    20998     13 |      614 |      374
297.14/297.29	c  297s |      16 |   265799 |   146452 |    20998     13 |      614 |      374
299.24/299.36	c  299s |      16 |   267124 |   147552 |    20998     13 |      614 |      374
301.24/301.40	c  301s |      16 |   268853 |   148752 |    20998     13 |      614 |      374
303.33/303.45	c  303s |      16 |   270604 |   150152 |    20998     13 |      614 |      374
305.43/305.56	c  305s |      16 |   272749 |   151552 |    20998     13 |      614 |      374
307.53/307.64	c  307s |      16 |   274196 |   152652 |    20998     13 |      614 |      374
309.63/309.73	c  309s |      16 |   275548 |   153752 |    20998     13 |      614 |      374
311.73/311.84	c  311s |      16 |   276756 |   154752 |    20998     13 |      614 |      374
313.93/314.03	c  313s |      16 |   277690 |   155552 |    20998     14 |      614 |      374
316.03/316.15	c  315s |      16 |   278794 |   156452 |    20998     14 |      614 |      374
318.04/318.15	c  317s |      16 |   280032 |   157452 |    20998     14 |      614 |      374
320.03/320.19	c  319s |      16 |   281192 |   158352 |    20998     14 |      614 |      374
322.34/322.40	c  322s |      16 |   282377 |   159252 |    20998     14 |      614 |      374
324.54/324.69	c  324s |      16 |   283301 |   160052 |    20998     14 |      614 |      374
326.84/326.97	c  326s |      16 |   284233 |   160852 |    20998     14 |      614 |      374
329.13/329.27	c  328s |      16 |   285050 |   161552 |    20998     14 |      614 |      374
331.33/331.48	c  331s |      16 |   285870 |   162252 |    20998     14 |      614 |      374
333.53/333.64	c  333s |      16 |   286691 |   162952 |    20998     14 |      614 |      374
335.73/335.86	c  335s |      16 |   287480 |   163652 |    20998     14 |      614 |      374
337.84/337.99	c  337s |      16 |   288145 |   164252 |    20998     14 |      614 |      374
339.83/340.00	c  339s |      16 |   288821 |   164852 |    20998     14 |      614 |      374
342.13/342.20	c  341s |      16 |   289517 |   165452 |    20998     14 |      614 |      374
344.23/344.35	c  344s |      16 |   290177 |   166052 |    20998     14 |      614 |      374
346.53/346.64	c  346s |      16 |   291009 |   166752 |    20998     14 |      614 |      374
348.73/348.82	c  348s |      16 |   291694 |   167352 |    20998     14 |      614 |      374
350.93/351.09	c  350s |      16 |   292241 |   167852 |    20998     15 |      614 |      374
353.14/353.29	c  353s |      16 |   293291 |   168752 |    20998     15 |      614 |      374
355.23/355.40	c  355s |      16 |   294218 |   169552 |    20998     15 |      614 |      374
357.33/357.42	c  357s |      16 |   295162 |   170352 |    20998     15 |      614 |      374
359.43/359.57	c  359s |      16 |   296941 |   171452 |    20998     15 |      614 |      374
361.53/361.65	c  361s |      16 |   300241 |   172852 |    20998     15 |      614 |      374
363.53/363.69	c  363s |      16 |   301911 |   174052 |    20998     15 |      614 |      374
365.73/365.85	c  365s |      16 |   303266 |   175152 |    20998     15 |      614 |      374
368.03/368.12	c  367s |      16 |   304472 |   176152 |    20998     15 |      614 |      374
370.13/370.20	c  369s |      16 |   305553 |   177052 |    20998     15 |      614 |      374
372.13/372.27	c  371s |      16 |   306647 |   177952 |    20998     15 |      614 |      374
374.14/374.29	c  374s |      16 |   307563 |   178752 |    20998     15 |      614 |      374
376.34/376.45	c  376s |      16 |   308489 |   179552 |    20998     15 |      614 |      374
378.43/378.58	c  378s |      16 |   309328 |   180252 |    20998     16 |      614 |      374
380.43/380.60	c  380s |      16 |   310227 |   181052 |    20998     16 |      614 |      374
382.73/382.83	c  382s |      16 |   311108 |   181852 |    20998     16 |      614 |      374
384.73/384.86	c  384s |      16 |   312150 |   182652 |    20998     16 |      614 |      374
386.73/386.89	c  386s |      16 |   313467 |   183652 |    20998     16 |      614 |      374
388.83/388.99	c  388s |      16 |   315996 |   184952 |    20998     16 |      614 |      374
390.93/391.07	c  390s |      16 |   317750 |   186052 |    20998     16 |      614 |      374
393.03/393.15	c  392s |      16 |   318803 |   186952 |    20998     16 |      614 |      374
395.13/395.28	c  394s |      16 |   319856 |   187852 |    20998     16 |      614 |      374
397.13/397.30	c  397s |      16 |   320988 |   188752 |    20998     16 |      614 |      374
399.23/399.34	c  399s |      16 |   321957 |   189552 |    20998     16 |      614 |      374
401.43/401.51	c  401s |      16 |   322862 |   190352 |    20998     16 |      614 |      374
403.52/403.69	c  403s |      16 |   323659 |   191052 |    20998     16 |      614 |      374
405.82/405.94	c  405s |      16 |   324620 |   191852 |    20998     16 |      614 |      374
407.82/407.99	c  407s |      16 |   325317 |   192452 |    20998     17 |      614 |      374
409.92/410.03	c  409s |      16 |   326086 |   193152 |    20998     17 |      614 |      374
411.92/412.09	c  411s |      16 |   327023 |   193952 |    20998     17 |      614 |      374
414.12/414.22	c  413s |      16 |   327805 |   194652 |    20998     17 |      614 |      374
416.22/416.33	c  416s |      16 |   328617 |   195352 |    20998     17 |      614 |      374
418.52/418.62	c  418s |      16 |   329380 |   196052 |    20998     17 |      614 |      374
420.62/420.74	c  420s |      16 |   330047 |   196652 |    23098     17 |      614 |      374
422.82/422.90	c  422s |      16 |   330703 |   197252 |    23098     17 |      614 |      374
423.42/423.55	c  423s |      17 |   330920 |   197432 |    23098     17 |      614 |      374
425.62/425.77	c  425s |      17 |   335555 |   199132 |    23098     17 |      614 |      374
427.62/427.77	c  427s |      17 |   339964 |   201032 |    23098     17 |      614 |      374
429.72/429.84	c  429s |      17 |   346693 |   203132 |    23098     17 |      614 |      374
431.72/431.86	c  431s |      17 |   356319 |   205132 |    23098     18 |      614 |      374
433.82/433.92	c  433s |      17 |   362201 |   207632 |    23098     18 |      614 |      374
435.92/436.00	c  435s |      17 |   368509 |   209432 |    23098     18 |      614 |      374
437.93/438.02	c  437s |      17 |   375856 |   211532 |    23098     18 |      614 |      374
440.13/440.21	c  439s |      17 |   378362 |   213032 |    23098     18 |      614 |      374
442.22/442.37	c  442s |      17 |   379440 |   213932 |    23098     18 |      614 |      374
444.32/444.50	c  444s |      17 |   380796 |   214932 |    23098     18 |      614 |      374
446.52/446.67	c  446s |      17 |   381908 |   215932 |    23098     18 |      614 |      374
448.72/448.81	c  448s |      17 |   382986 |   216832 |    23098     18 |      614 |      374
450.72/450.86	c  450s |      17 |   383743 |   217532 |    23098     18 |      614 |      374
453.32/453.43	c  453s |      17 |   384607 |   218332 |    23098     19 |      614 |      374
455.52/455.63	c  455s |      17 |   385765 |   219232 |    23098     19 |      614 |      374
457.62/457.78	c  457s |      17 |   387758 |   220432 |    23098     19 |      614 |      374
459.92/460.05	c  459s |      17 |   388898 |   221332 |    23098     19 |      614 |      374
462.02/462.12	c  461s |      17 |   389735 |   222032 |    23098     19 |      614 |      374
464.11/464.29	c  464s |      17 |   390603 |   222732 |    23098     19 |      614 |      374
466.31/466.46	c  466s |      17 |   391581 |   223532 |    23098     19 |      614 |      374
468.31/468.49	c  468s |      17 |   392417 |   224232 |    23098     19 |      614 |      374
470.71/470.87	c  470s |      17 |   393213 |   224932 |    23098     19 |      614 |      374
472.81/472.95	c  472s |      17 |   394021 |   225632 |    23098     19 |      614 |      374
474.91/475.00	c  474s |      17 |   394699 |   226232 |    23098     19 |      614 |      374
477.11/477.23	c  476s |      17 |   395478 |   226932 |    23098     19 |      614 |      374
479.21/479.33	c  479s |      17 |   396172 |   227532 |    23098     19 |      614 |      374
481.51/481.62	c  481s |      17 |   396995 |   228232 |    23098     19 |      614 |      374
483.61/483.77	c  483s |      17 |   398206 |   229032 |    23098     19 |      614 |      374
485.71/485.83	c  485s |      17 |   398965 |   229632 |    23098     19 |      614 |      374
487.81/487.93	c  487s |      17 |   400345 |   230532 |    23098     19 |      614 |      374
489.81/489.98	c  489s |      17 |   401468 |   231332 |    23098     19 |      614 |      374
492.01/492.16	c  491s |      17 |   402191 |   231932 |    23098     20 |      614 |      374
494.31/494.41	c  494s |      17 |   403140 |   232732 |    23098     20 |      614 |      374
496.41/496.50	c  496s |      17 |   403940 |   233432 |    23098     20 |      614 |      374
498.51/498.65	c  498s |      17 |   404810 |   234132 |    23098     20 |      614 |      374
500.71/500.85	c  500s |      17 |   405664 |   234832 |    23098     20 |      614 |      374
502.71/502.90	c  502s |      17 |   406380 |   235432 |    23098     20 |      614 |      374
505.11/505.21	c  504s |      17 |   407207 |   236132 |    23098     20 |      614 |      374
507.21/507.38	c  507s |      17 |   408061 |   236832 |    23098     20 |      614 |      374
509.31/509.49	c  509s |      17 |   408785 |   237432 |    23098     20 |      614 |      374
511.40/511.58	c  511s |      17 |   409478 |   238032 |    23098     20 |      614 |      374
513.81/513.95	c  513s |      17 |   410163 |   238632 |    23098     20 |      614 |      374
516.10/516.24	c  515s |      17 |   411041 |   239332 |    23098     20 |      614 |      374
518.31/518.43	c  518s |      17 |   411720 |   239932 |    23098     20 |      614 |      374
520.51/520.64	c  520s |      17 |   412420 |   240532 |    23098     20 |      614 |      374
522.81/522.96	c  522s |      17 |   413125 |   241132 |    23098     20 |      614 |      374
525.21/525.34	c  525s |      17 |   413818 |   241732 |    23098     20 |      614 |      374
527.51/527.63	c  527s |      17 |   414399 |   242232 |    23098     20 |      614 |      374
529.81/529.91	c  529s |      17 |   414949 |   242732 |    23098     20 |      614 |      374
532.00/532.13	c  531s |      17 |   415534 |   243232 |    23098     20 |      614 |      374
534.20/534.38	c  534s |      17 |   416070 |   243732 |    23098     20 |      614 |      374
536.40/536.55	c  536s |      17 |   416625 |   244232 |    23098     20 |      614 |      374
539.11/539.24	c  538s |      17 |   417193 |   244732 |    23098     21 |      614 |      374
541.31/541.44	c  541s |      17 |   417851 |   245332 |    23098     21 |      614 |      374
543.41/543.56	c  543s |      17 |   418544 |   245932 |    23098     21 |      614 |      374
545.71/545.89	c  545s |      17 |   419438 |   246632 |    23098     21 |      614 |      374
547.91/548.04	c  547s |      17 |   420132 |   247232 |    23098     21 |      614 |      374
550.11/550.27	c  549s |      17 |   420803 |   247832 |    23098     21 |      614 |      374
552.21/552.31	c  552s |      17 |   421384 |   248332 |    23098     21 |      614 |      374
554.20/554.39	c  554s |      17 |   421933 |   248832 |    23098     21 |      614 |      374
556.40/556.54	c  556s |      17 |   422488 |   249332 |    23098     21 |      614 |      374
558.60/558.70	c  558s |      17 |   423016 |   249832 |    23098     21 |      614 |      374
560.70/560.85	c  560s |      17 |   423531 |   250332 |    23098     21 |      614 |      374
562.90/563.00	c  562s |      17 |   424088 |   250832 |    23098     21 |      614 |      374
565.10/565.22	c  564s |      17 |   424647 |   251332 |    23098     21 |      614 |      374
567.19/567.36	c  567s |      17 |   425455 |   251932 |    23098     21 |      614 |      374
569.49/569.67	c  569s |      17 |   426168 |   252532 |    23098     21 |      614 |      374
571.79/571.96	c  571s |      17 |   426906 |   253132 |    23098     21 |      614 |      374
574.09/574.24	c  573s |      17 |   427610 |   253732 |    23098     21 |      614 |      374
576.19/576.32	c  576s |      17 |   428171 |   254232 |    23098     21 |      614 |      374
578.29/578.40	c  578s |      17 |   428758 |   254732 |    23098     21 |      614 |      374
580.59/580.75	c  580s |      17 |   429322 |   255232 |    23098     21 |      614 |      374
583.01/583.16	c  582s |      17 |   429877 |   255732 |    23098     21 |      614 |      374
585.40/585.59	c  585s |      17 |   430439 |   256232 |    23098     21 |      614 |      374
587.80/587.96	c  587s |      17 |   430982 |   256732 |    23098     21 |      614 |      374
590.30/590.40	c  590s |      17 |   431556 |   257232 |    23098     21 |      614 |      374
592.40/592.50	c  592s |      17 |   432005 |   257632 |    23098     21 |      614 |      374
594.70/594.85	c  594s |      17 |   432450 |   258032 |    23098     22 |      614 |      374
597.00/597.17	c  596s |      17 |   433128 |   258632 |    23098     22 |      614 |      374
599.40/599.54	c  599s |      17 |   433773 |   259232 |    23098     22 |      614 |      374
601.60/601.78	c  601s |      17 |   434440 |   259832 |    23098     22 |      614 |      374
604.10/604.22	c  603s |      17 |   435120 |   260432 |    23098     22 |      614 |      374
606.50/606.62	c  606s |      17 |   435813 |   261032 |    23098     22 |      614 |      374
608.50/608.68	c  608s |      17 |   436397 |   261532 |    23098     22 |      614 |      374
610.60/610.72	c  610s |      17 |   436963 |   262032 |    23098     22 |      614 |      374
612.89/613.09	c  612s |      17 |   437523 |   262532 |    23098     22 |      614 |      374
615.09/615.24	c  614s |      17 |   438095 |   263032 |    23098     22 |      614 |      374
617.49/617.64	c  617s |      17 |   438645 |   263532 |    23098     22 |      614 |      374
619.69/619.80	c  619s |      17 |   439108 |   263932 |    23098     22 |      614 |      374
621.99/622.15	c  621s |      17 |   439680 |   264432 |    23098     22 |      614 |      374
623.99/624.16	c  623s |      17 |   440252 |   264932 |    23098     22 |      614 |      374
626.09/626.23	c  625s |      17 |   440824 |   265432 |    23098     22 |      614 |      374
628.20/628.36	c  628s |      17 |   441370 |   265932 |    23098     22 |      614 |      374
630.59/630.71	c  630s |      17 |   442053 |   266532 |    23098     22 |      614 |      374
632.69/632.85	c  632s |      17 |   442649 |   267032 |    23098     22 |      614 |      374
634.70/634.86	c  634s |      17 |   443226 |   267532 |    23098     22 |      614 |      374
637.00/637.11	c  636s |      17 |   443760 |   268032 |    23098     22 |      614 |      374
638.99/639.20	c  638s |      17 |   444212 |   268432 |    23098     22 |      614 |      374
641.49/641.60	c  641s |      17 |   444755 |   268932 |    23098     22 |      614 |      374
643.89/644.04	c  643s |      17 |   445298 |   269432 |    23098     22 |      614 |      374
646.18/646.38	c  646s |      17 |   445831 |   269932 |    23098     22 |      614 |      374
648.18/648.39	c  648s |      17 |   446265 |   270332 |    23098     22 |      614 |      374
650.28/650.49	c  650s |      17 |   446691 |   270732 |    23098     22 |      614 |      374
652.48/652.64	c  652s |      17 |   447014 |   271032 |    23098     23 |      614 |      374
654.78/654.99	c  654s |      17 |   447694 |   271632 |    23098     23 |      614 |      374
657.08/657.20	c  656s |      17 |   448369 |   272232 |    23098     23 |      614 |      374
659.08/659.27	c  658s |      17 |   448920 |   272732 |    23098     23 |      614 |      374
661.38/661.51	c  661s |      17 |   449459 |   273232 |    23098     23 |      614 |      374
663.39/663.58	c  663s |      17 |   449985 |   273732 |    23098     23 |      614 |      374
665.49/665.61	c  665s |      17 |   450534 |   274232 |    23098     23 |      614 |      374
667.58/667.76	c  667s |      17 |   451083 |   274732 |    23098     23 |      614 |      374
669.78/669.97	c  669s |      17 |   451623 |   275232 |    23098     23 |      614 |      374
671.88/672.01	c  671s |      17 |   452065 |   275632 |    23098     23 |      614 |      374
674.38/674.51	c  674s |      17 |   452603 |   276132 |    23098     23 |      614 |      374
676.48/676.63	c  676s |      17 |   453167 |   276632 |    23098     23 |      614 |      374
678.47/678.64	c  678s |      17 |   453759 |   277132 |    23098     23 |      614 |      374
680.47/680.66	c  680s |      17 |   454337 |   277632 |    23098     23 |      614 |      374
682.57/682.78	c  682s |      17 |   454887 |   278132 |    23098     23 |      614 |      374
684.87/685.02	c  684s |      17 |   455442 |   278632 |    23098     23 |      614 |      374
686.87/687.09	c  686s |      17 |   456020 |   279132 |    23098     23 |      614 |      374
689.26/689.40	c  689s |      17 |   456573 |   279632 |    23098     23 |      614 |      374
691.66/691.86	c  691s |      17 |   457116 |   280132 |    23098     23 |      614 |      374
694.18/694.31	c  694s |      17 |   457651 |   280632 |    23098     23 |      614 |      374
696.28/696.42	c  696s |      17 |   458096 |   281032 |    23098     23 |      614 |      374
698.27/698.42	c  698s |      17 |   458544 |   281432 |    23098     23 |      614 |      374
700.37/700.54	c  700s |      17 |   458988 |   281832 |    23098     23 |      614 |      374
702.87/703.10	c  702s |      17 |   459514 |   282332 |    23098     23 |      614 |      374
705.07/705.26	c  704s |      17 |   459936 |   282732 |    23098     23 |      614 |      374
707.37/707.58	c  707s |      17 |   460375 |   283132 |    23098     23 |      614 |      374
709.57/709.72	c  709s |      17 |   460852 |   283532 |    23098     23 |      614 |      374
712.56/712.76	c  712s |      17 |   461607 |   284132 |    23098     24 |      614 |      374
714.86/715.06	c  714s |      17 |   462277 |   284732 |    23098     24 |      614 |      374
717.17/717.35	c  717s |      17 |   462963 |   285332 |    23098     24 |      614 |      374
719.55/719.72	c  719s |      17 |   463619 |   285932 |    23098     24 |      614 |      374
721.75/721.97	c  721s |      17 |   464324 |   286532 |    23098     24 |      614 |      374
723.95/724.12	c  723s |      17 |   465024 |   287132 |    23098     24 |      614 |      374
726.06/726.22	c  725s |      17 |   465576 |   287632 |    23098     24 |      614 |      374
728.05/728.26	c  727s |      17 |   466115 |   288132 |    23098     24 |      614 |      374
730.46/730.63	c  730s |      17 |   466778 |   288732 |    23098     24 |      614 |      374
732.45/732.65	c  732s |      17 |   467328 |   289232 |    23098     24 |      614 |      374
734.76/734.96	c  734s |      17 |   467866 |   289732 |    23098     24 |      614 |      374
736.96/737.14	c  736s |      17 |   468418 |   290232 |    23098     24 |      614 |      374
739.05/739.22	c  738s |      17 |   469035 |   290732 |    23098     24 |      614 |      374
741.35/741.52	c  741s |      17 |   469586 |   291232 |    23098     24 |      614 |      374
743.44/743.64	c  743s |      17 |   470206 |   291732 |    23098     24 |      614 |      374
745.55/745.74	c  745s |      17 |   470790 |   292232 |    23098     24 |      614 |      374
747.65/747.89	c  747s |      17 |   471345 |   292732 |    23098     24 |      614 |      374
749.95/750.14	c  749s |      17 |   471901 |   293232 |    23098     24 |      614 |      374
752.45/752.68	c  752s |      17 |   472437 |   293732 |    23098     24 |      614 |      374
754.95/755.14	c  754s |      17 |   472995 |   294232 |    25408     24 |      614 |      374
757.25/757.46	c  757s |      17 |   473589 |   294732 |    25408     24 |      614 |      374
759.45/759.63	c  759s |      17 |   474144 |   295232 |    25408     24 |      614 |      374
761.75/761.99	c  761s |      17 |   474698 |   295732 |    25408     24 |      614 |      374
763.94/764.18	c  763s |      17 |   475277 |   296232 |    25408     24 |      614 |      374
764.04/764.27	c  763s |      18 |   475298 |   296252 |    25408     24 |      614 |      374
766.14/766.34	c  766s |      18 |   481880 |   297852 |    25408     24 |      614 |      374
768.14/768.37	c  768s |      18 |   484117 |   299452 |    25408     24 |      614 |      374
770.24/770.41	c  770s |      18 |   485511 |   300352 |    25408     25 |      614 |      374
772.25/772.44	c  772s |      18 |   487340 |   301552 |    25408     25 |      614 |      374
774.35/774.57	c  774s |      18 |   490597 |   303152 |    25408     25 |      614 |      374
776.55/776.70	c  776s |      18 |   492296 |   304352 |    25408     25 |      614 |      374
778.74/778.91	c  778s |      18 |   494234 |   305752 |    25408     25 |      614 |      374
780.84/781.02	c  780s |      18 |   495409 |   306652 |    25408     25 |      614 |      374
782.94/783.12	c  782s |      18 |   496537 |   307552 |    25408     25 |      614 |      374
785.14/785.38	c  785s |      18 |   497465 |   308352 |    25408     25 |      614 |      374
787.24/787.40	c  787s |      18 |   498396 |   309152 |    25408     25 |      614 |      374
789.24/789.46	c  789s |      18 |   499202 |   309852 |    25408     25 |      614 |      374
791.24/791.49	c  791s |      18 |   500026 |   310552 |    25408     25 |      614 |      374
793.53/793.76	c  793s |      18 |   500955 |   311352 |    25408     25 |      614 |      374
795.63/795.81	c  795s |      18 |   502036 |   312152 |    25408     25 |      614 |      374
797.73/797.94	c  797s |      18 |   503192 |   313052 |    25408     25 |      614 |      374
799.93/800.16	c  799s |      18 |   504106 |   313852 |    25408     25 |      614 |      374
802.03/802.25	c  801s |      18 |   506011 |   314752 |    25408     26 |      614 |      374
804.14/804.35	c  804s |      18 |   508746 |   315952 |    25408     26 |      614 |      374
806.13/806.40	c  806s |      18 |   510468 |   317152 |    25408     26 |      614 |      374
808.23/808.40	c  808s |      18 |   512273 |   318252 |    25408     26 |      614 |      374
810.33/810.54	c  810s |      18 |   514926 |   319552 |    25408     26 |      614 |      374
812.53/812.73	c  812s |      18 |   516539 |   320752 |    25408     26 |      614 |      374
814.73/814.90	c  814s |      18 |   518782 |   321952 |    25408     26 |      614 |      374
816.73/816.92	c  816s |      18 |   520034 |   322852 |    25408     26 |      614 |      374
818.93/819.10	c  818s |      18 |   521308 |   323752 |    25408     26 |      614 |      374
820.93/821.18	c  820s |      18 |   522354 |   324552 |    25408     26 |      614 |      374
823.13/823.34	c  823s |      18 |   524104 |   325552 |    25408     26 |      614 |      374
825.13/825.37	c  825s |      18 |   525329 |   326352 |    25408     26 |      614 |      374
827.23/827.47	c  827s |      18 |   526270 |   327152 |    25408     26 |      614 |      374
829.33/829.54	c  829s |      18 |   527270 |   327952 |    25408     26 |      614 |      374
831.43/831.63	c  831s |      18 |   528162 |   328652 |    25408     27 |      614 |      374
833.43/833.67	c  833s |      18 |   529257 |   329552 |    25408     27 |      614 |      374
835.63/835.87	c  835s |      18 |   530229 |   330352 |    25408     27 |      614 |      374
837.62/837.87	c  837s |      18 |   531289 |   331152 |    25408     27 |      614 |      374
839.82/840.07	c  839s |      18 |   532255 |   331952 |    25408     27 |      614 |      374
842.02/842.30	c  842s |      18 |   533249 |   332752 |    25408     27 |      614 |      374
844.42/844.60	c  844s |      18 |   534150 |   333552 |    25408     27 |      614 |      374
846.72/846.93	c  846s |      18 |   534806 |   334152 |    25408     27 |      614 |      374
848.92/849.11	c  848s |      18 |   535604 |   334852 |    25408     27 |      614 |      374
851.13/851.39	c  851s |      18 |   536490 |   335552 |    25408     27 |      614 |      374
853.33/853.53	c  853s |      18 |   537274 |   336152 |    25408     27 |      614 |      374
855.43/855.64	c  855s |      18 |   538113 |   336852 |    25408     27 |      614 |      374
857.53/857.70	c  857s |      18 |   538830 |   337452 |    25408     27 |      614 |      374
859.63/859.81	c  859s |      18 |   539378 |   337952 |    25408     27 |      614 |      374
861.93/862.16	c  861s |      18 |   540062 |   338552 |    25408     27 |      614 |      374
863.93/864.19	c  863s |      18 |   540724 |   339152 |    25408     27 |      614 |      374
866.33/866.56	c  866s |      18 |   541360 |   339752 |    25408     27 |      614 |      374
868.63/868.81	c  868s |      18 |   542032 |   340352 |    25408     27 |      614 |      374
870.62/870.89	c  870s |      18 |   542604 |   340852 |    25408     27 |      614 |      374
873.02/873.23	c  872s |      18 |   543170 |   341352 |    25408     27 |      614 |      374
875.22/875.46	c  875s |      18 |   543736 |   341852 |    25408     27 |      614 |      374
877.62/877.87	c  877s |      18 |   544412 |   342452 |    25408     27 |      614 |      374
879.72/879.92	c  879s |      18 |   544872 |   342852 |    25408     28 |      614 |      374
881.92/882.19	c  881s |      18 |   545678 |   343552 |    25408     28 |      614 |      374
884.12/884.37	c  884s |      18 |   546517 |   344252 |    25408     28 |      614 |      374
886.22/886.46	c  886s |      18 |   547197 |   344852 |    25408     28 |      614 |      374
888.32/888.55	c  888s |      18 |   547864 |   345452 |    25408     28 |      614 |      374
890.31/890.56	c  890s |      18 |   548429 |   345952 |    25408     28 |      614 |      374
892.51/892.70	c  892s |      18 |   549101 |   346552 |    25408     28 |      614 |      374
894.71/894.98	c  894s |      18 |   549791 |   347152 |    25408     28 |      614 |      374
897.11/897.30	c  897s |      18 |   550461 |   347752 |    25408     28 |      614 |      374
899.31/899.54	c  899s |      18 |   551161 |   348352 |    25408     28 |      614 |      374
901.51/901.72	c  901s |      18 |   551737 |   348852 |    25408     28 |      614 |      374
903.51/903.74	c  903s |      18 |   552331 |   349352 |    25408     28 |      614 |      374
905.61/905.84	c  905s |      18 |   552888 |   349852 |    25408     28 |      614 |      374
907.71/907.94	c  907s |      18 |   553460 |   350352 |    25408     28 |      614 |      374
909.80/910.04	c  909s |      18 |   553907 |   350752 |    25408     28 |      614 |      374
911.81/912.09	c  911s |      18 |   554357 |   351152 |    25408     28 |      614 |      374
914.30/914.57	c  914s |      18 |   554928 |   351652 |    25408     28 |      614 |      374
916.60/916.80	c  916s |      18 |   555504 |   352152 |    25408     28 |      614 |      374
918.99/919.24	c  918s |      18 |   556062 |   352652 |    25408     28 |      614 |      374
921.19/921.49	c  921s |      18 |   556637 |   353152 |    25408     28 |      614 |      374
923.59/923.89	c  923s |      18 |   557197 |   353652 |    25408     28 |      614 |      374
925.69/925.98	c  925s |      18 |   557783 |   354152 |    25408     28 |      614 |      374
927.79/928.01	c  927s |      18 |   558358 |   354652 |    25408     28 |      614 |      374
929.98/930.28	c  929s |      18 |   558924 |   355152 |    25408     28 |      614 |      374
932.38/932.65	c  932s |      18 |   559609 |   355752 |    25408     28 |      614 |      374
934.48/934.77	c  934s |      18 |   560191 |   356252 |    25408     28 |      614 |      374
936.68/936.99	c  936s |      18 |   560896 |   356852 |    25408     28 |      614 |      374
938.98/939.20	c  938s |      18 |   561351 |   357252 |    25408     29 |      614 |      374
941.18/941.43	c  941s |      18 |   562045 |   357852 |    25408     29 |      614 |      374
943.18/943.45	c  943s |      18 |   562732 |   358452 |    25408     29 |      614 |      374
945.37/945.63	c  945s |      18 |   563406 |   359052 |    25408     29 |      614 |      374
947.47/947.75	c  947s |      18 |   563935 |   359552 |    25408     29 |      614 |      374
949.47/949.77	c  949s |      18 |   564519 |   360052 |    25408     29 |      614 |      374
951.57/951.89	c  951s |      18 |   565067 |   360552 |    25408     29 |      614 |      374
954.07/954.30	c  954s |      18 |   565770 |   361152 |    25408     29 |      614 |      374
956.18/956.42	c  956s |      18 |   566328 |   361652 |    25408     29 |      614 |      374
958.48/958.71	c  958s |      18 |   567023 |   362252 |    25408     29 |      614 |      374
960.47/960.77	c  960s |      18 |   567576 |   362752 |    25408     29 |      614 |      374
962.57/962.88	c  962s |      18 |   568148 |   363252 |    25408     29 |      614 |      374
964.97/965.21	c  964s |      18 |   568690 |   363752 |    25408     29 |      614 |      374
967.17/967.48	c  967s |      18 |   569229 |   364252 |    25408     29 |      614 |      374
969.47/969.70	c  969s |      18 |   569802 |   364752 |    25408     29 |      614 |      374
971.87/972.10	c  971s |      18 |   570475 |   365352 |    25408     29 |      614 |      374
974.06/974.34	c  974s |      18 |   571041 |   365852 |    25408     29 |      614 |      374
976.56/976.82	c  976s |      18 |   571596 |   366352 |    25408     29 |      614 |      374
978.66/978.92	c  978s |      18 |   572148 |   366852 |    25408     29 |      614 |      374
981.06/981.31	c  981s |      18 |   572749 |   367352 |    25408     29 |      614 |      374
983.06/983.35	c  983s |      18 |   573174 |   367752 |    25408     29 |      614 |      374
985.36/985.65	c  985s |      18 |   573741 |   368252 |    25408     29 |      614 |      374
987.56/987.87	c  987s |      18 |   574181 |   368652 |    25408     29 |      614 |      374
989.75/990.07	c  989s |      18 |   574607 |   369052 |    25408     29 |      614 |      374
992.35/992.63	c  992s |      18 |   575171 |   369552 |    25408     29 |      614 |      374
994.35/994.66	c  994s |      18 |   575618 |   369952 |    25408     29 |      614 |      374
996.65/996.96	c  996s |      18 |   576072 |   370352 |    25408     29 |      614 |      374
999.04/999.36	c  999s |      18 |   576512 |   370752 |    25408     29 |      614 |      374
1001.84/1002.11	c 1001s |      18 |   576975 |   371152 |    25408     30 |      614 |      374
1004.25/1004.52	c 1004s |      18 |   577660 |   371752 |    25408     30 |      614 |      374
1006.35/1006.70	c 1006s |      18 |   578343 |   372352 |    25408     30 |      614 |      374
1008.44/1008.73	c 1008s |      18 |   578910 |   372852 |    25408     30 |      614 |      374
1010.74/1011.07	c 1010s |      18 |   579603 |   373452 |    25408     30 |      614 |      374
1012.94/1013.21	c 1012s |      18 |   580162 |   373952 |    25408     30 |      614 |      374
1015.24/1015.52	c 1015s |      18 |   580851 |   374552 |    25408     30 |      614 |      374
1017.34/1017.66	c 1017s |      18 |   581401 |   375052 |    25408     30 |      614 |      374
1019.43/1019.71	c 1019s |      18 |   581961 |   375552 |    25408     30 |      614 |      374
1021.53/1021.83	c 1021s |      18 |   582538 |   376052 |    25408     30 |      614 |      374
1023.83/1024.11	c 1023s |      18 |   583100 |   376552 |    25408     30 |      614 |      374
1025.93/1026.25	c 1025s |      18 |   583645 |   377052 |    25408     30 |      614 |      374
1028.03/1028.30	c 1028s |      18 |   584069 |   377452 |    25408     30 |      614 |      374
1030.13/1030.40	c 1030s |      18 |   584518 |   377852 |    25408     30 |      614 |      374
1032.13/1032.47	c 1032s |      18 |   584975 |   378252 |    25408     30 |      614 |      374
1034.23/1034.56	c 1034s |      18 |   585412 |   378652 |    25408     30 |      614 |      374
1036.63/1036.90	c 1036s |      18 |   585986 |   379152 |    25408     30 |      614 |      374
1038.92/1039.26	c 1038s |      18 |   586551 |   379652 |    25408     30 |      614 |      374
1041.12/1041.43	c 1041s |      18 |   586993 |   380052 |    25408     30 |      614 |      374
1043.32/1043.67	c 1043s |      18 |   587415 |   380452 |    25408     30 |      614 |      374
1045.62/1045.96	c 1045s |      18 |   587840 |   380852 |    25408     30 |      614 |      374
1047.72/1048.06	c 1047s |      18 |   588305 |   381252 |    25408     30 |      614 |      374
1050.21/1050.51	c 1050s |      18 |   588978 |   381852 |    25408     30 |      614 |      374
1052.62/1052.95	c 1052s |      18 |   589551 |   382352 |    25408     30 |      614 |      374
1054.72/1055.08	c 1054s |      18 |   590028 |   382752 |    25408     30 |      614 |      374
1056.81/1057.18	c 1056s |      18 |   590464 |   383152 |    25408     30 |      614 |      374
1059.31/1059.65	c 1059s |      18 |   590909 |   383552 |    25408     30 |      614 |      374
1061.62/1061.90	c 1061s |      18 |   591357 |   383952 |    25408     30 |      614 |      374
1063.92/1064.26	c 1063s |      18 |   591795 |   384352 |    25408     30 |      614 |      374
1066.32/1066.61	c 1066s |      18 |   592234 |   384752 |    25408     30 |      614 |      374
1068.52/1068.88	c 1068s |      18 |   592681 |   385152 |    25408     30 |      614 |      374
1070.71/1071.05	c 1070s |      18 |   593006 |   385452 |    25408     31 |      614 |      374
1072.91/1073.21	c 1072s |      18 |   593577 |   385952 |    25408     31 |      614 |      374
1075.11/1075.44	c 1075s |      18 |   594137 |   386452 |    25408     31 |      614 |      374
1077.21/1077.57	c 1077s |      18 |   594726 |   386952 |    25408     31 |      614 |      374
1079.60/1079.96	c 1079s |      18 |   595264 |   387452 |    25408     31 |      614 |      374
1081.80/1082.16	c 1081s |      18 |   595838 |   387952 |    25408     31 |      614 |      374
1084.10/1084.42	c 1084s |      18 |   596381 |   388452 |    25408     31 |      614 |      374
1086.50/1086.81	c 1086s |      18 |   596949 |   388952 |    25408     31 |      614 |      374
1088.80/1089.15	c 1088s |      18 |   597487 |   389452 |    25408     31 |      614 |      374
1091.10/1091.44	c 1091s |      18 |   598043 |   389952 |    25408     31 |      614 |      374
1093.30/1093.68	c 1093s |      18 |   598620 |   390452 |    25408     31 |      614 |      374
1095.60/1095.99	c 1095s |      18 |   599188 |   390952 |    25408     31 |      614 |      374
1097.89/1098.21	c 1097s |      18 |   599748 |   391452 |    25408     31 |      614 |      374
1099.99/1100.31	c 1100s |      18 |   600187 |   391852 |    25408     31 |      614 |      374
1102.10/1102.48	c 1102s |      18 |   600627 |   392252 |    25408     31 |      614 |      374
1104.30/1104.66	c 1104s |      18 |   601069 |   392652 |    25408     31 |      614 |      374
1106.69/1107.06	c 1106s |      18 |   601656 |   393152 |    25408     31 |      614 |      374
1108.88/1109.22	c 1108s |      18 |   602087 |   393552 |    25408     31 |      614 |      374
1110.98/1111.39	c 1111s |      18 |   602539 |   393952 |    25408     31 |      614 |      374
1113.18/1113.55	c 1113s |      18 |   602976 |   394352 |    25408     31 |      614 |      374
1115.29/1115.63	c 1115s |      18 |   603437 |   394752 |    25408     31 |      614 |      374
1117.68/1118.02	c 1117s |      18 |   603868 |   395152 |    25408     31 |      614 |      374
1120.18/1120.52	c 1120s |      18 |   604289 |   395552 |    25408     31 |      614 |      374
1122.38/1122.76	c 1122s |      18 |   604600 |   395852 |    25408     31 |      614 |      374
1124.68/1125.01	c 1124s |      18 |   605246 |   396352 |    25408     31 |      614 |      374
1126.88/1127.20	c 1126s |      18 |   606001 |   396952 |    25408     31 |      614 |      374
1129.17/1129.51	c 1129s |      18 |   606715 |   397552 |    25408     31 |      614 |      374
1131.37/1131.73	c 1131s |      18 |   607499 |   398152 |    25408     31 |      614 |      374
1133.47/1133.85	c 1133s |      18 |   608113 |   398652 |    25408     31 |      614 |      374
1135.47/1135.89	c 1135s |      18 |   608722 |   399152 |    25408     31 |      614 |      374
1138.27/1138.63	c 1138s |      18 |   609361 |   399652 |    25408     32 |      614 |      374
1140.47/1140.80	c 1140s |      18 |   610113 |   400252 |    25408     32 |      614 |      374
1142.67/1143.04	c 1142s |      18 |   610678 |   400752 |    25408     32 |      614 |      374
1145.06/1145.46	c 1145s |      18 |   611394 |   401352 |    25408     32 |      614 |      374
1147.36/1147.70	c 1147s |      18 |   612074 |   401952 |    25408     32 |      614 |      374
1149.75/1150.14	c 1149s |      18 |   612769 |   402552 |    25408     32 |      614 |      374
1151.85/1152.20	c 1151s |      18 |   613208 |   402952 |    25408     32 |      614 |      374
1153.95/1154.33	c 1154s |      18 |   613799 |   403452 |    25408     32 |      614 |      374
1155.96/1156.39	c 1156s |      18 |   614357 |   403952 |    25408     32 |      614 |      374
1158.25/1158.67	c 1158s |      18 |   615044 |   404552 |    25408     32 |      614 |      374
1160.35/1160.79	c 1160s |      18 |   615603 |   405052 |    25408     32 |      614 |      374
1162.55/1162.91	c 1162s |      18 |   616154 |   405552 |    25408     32 |      614 |      374
1164.75/1165.14	c 1164s |      18 |   616730 |   406052 |    25408     32 |      614 |      374
1166.74/1167.15	c 1166s |      18 |   617165 |   406452 |    25408     32 |      614 |      374
1168.84/1169.23	c 1168s |      18 |   617756 |   406952 |    25408     32 |      614 |      374
1170.94/1171.38	c 1171s |      18 |   618342 |   407452 |    25408     32 |      614 |      374
1173.04/1173.40	c 1173s |      18 |   618783 |   407852 |    25408     32 |      614 |      374
1175.24/1175.61	c 1175s |      18 |   619327 |   408352 |    25408     32 |      614 |      374
1177.64/1178.05	c 1177s |      18 |   619888 |   408852 |    25408     32 |      614 |      374
1179.73/1180.16	c 1179s |      18 |   620338 |   409252 |    25408     32 |      614 |      374
1181.83/1182.21	c 1181s |      18 |   620791 |   409652 |    25408     32 |      614 |      374
1184.23/1184.68	c 1184s |      18 |   621348 |   410152 |    25408     32 |      614 |      374
1186.33/1186.76	c 1186s |      18 |   621803 |   410552 |    25408     32 |      614 |      374
1188.63/1189.08	c 1188s |      18 |   622231 |   410952 |    25408     32 |      614 |      374
1190.73/1191.14	c 1190s |      18 |   622681 |   411352 |    25408     32 |      614 |      374
1192.72/1193.16	c 1192s |      18 |   623149 |   411752 |    25408     32 |      614 |      374
1194.92/1195.32	c 1195s |      18 |   623600 |   412152 |    25408     32 |      614 |      374
1197.02/1197.48	c 1197s |      18 |   624044 |   412552 |    25408     32 |      614 |      374
1199.52/1199.92	c 1199s |      18 |   624600 |   413052 |    25408     32 |      614 |      374
1201.52/1201.93	c 1201s |      18 |   625060 |   413452 |    25408     32 |      614 |      374
1204.43/1204.81	c 1204s |      18 |   625498 |   413852 |    25408     33 |      614 |      374
1206.63/1207.01	c 1206s |      18 |   626085 |   414352 |    25408     33 |      614 |      374
1208.82/1209.21	c 1208s |      18 |   626776 |   414952 |    25408     33 |      614 |      374
1211.12/1211.54	c 1211s |      18 |   627456 |   415552 |    25408     33 |      614 |      374
1213.22/1213.60	c 1213s |      18 |   628010 |   416052 |    25408     33 |      614 |      374
1215.33/1215.73	c 1215s |      18 |   628584 |   416552 |    25408     33 |      614 |      374
1217.32/1217.77	c 1217s |      18 |   629178 |   417052 |    25408     33 |      614 |      374
1219.42/1219.81	c 1219s |      18 |   629745 |   417552 |    25408     33 |      614 |      374
1221.72/1222.12	c 1221s |      18 |   630304 |   418052 |    25408     33 |      614 |      374
1223.92/1224.38	c 1224s |      18 |   630887 |   418552 |    25408     33 |      614 |      374
1226.11/1226.56	c 1226s |      18 |   632006 |   419252 |    25408     33 |      614 |      374
1228.11/1228.59	c 1228s |      18 |   632806 |   419852 |    25408     33 |      614 |      374
1230.31/1230.79	c 1230s |      18 |   633515 |   420452 |    25408     33 |      614 |      374
1232.31/1232.79	c 1232s |      18 |   634253 |   421052 |    25408     33 |      614 |      374
1234.61/1235.00	c 1234s |      18 |   634988 |   421652 |    25408     33 |      614 |      374
1237.01/1237.44	c 1237s |      18 |   635689 |   422252 |    25408     33 |      614 |      374
1239.30/1239.80	c 1239s |      18 |   636446 |   422852 |    25408     33 |      614 |      374
1241.50/1241.93	c 1241s |      18 |   637041 |   423352 |    25408     33 |      614 |      374
1243.81/1244.30	c 1244s |      18 |   637608 |   423852 |    25408     33 |      614 |      374
1246.11/1246.59	c 1246s |      18 |   638184 |   424352 |    25408     33 |      614 |      374
1248.31/1248.71	c 1248s |      18 |   638800 |   424852 |    25408     33 |      614 |      374
1250.40/1250.90	c 1250s |      18 |   639397 |   425352 |    25408     33 |      614 |      374
1252.79/1253.20	c 1252s |      18 |   639956 |   425852 |    25408     33 |      614 |      374
1254.80/1255.22	c 1254s |      18 |   640405 |   426252 |    25408     33 |      614 |      374
1256.79/1257.28	c 1256s |      18 |   640851 |   426652 |    25408     33 |      614 |      374
1259.30/1259.71	c 1259s |      18 |   641399 |   427152 |    25408     33 |      614 |      374
1261.59/1262.03	c 1261s |      18 |   641956 |   427652 |    25408     33 |      614 |      374
1264.49/1264.90	c 1264s |      18 |   642410 |   428052 |    25408     34 |      614 |      374
1266.79/1267.25	c 1266s |      18 |   643085 |   428652 |    25408     34 |      614 |      374
1268.88/1269.31	c 1269s |      18 |   643650 |   429152 |    25408     34 |      614 |      374
1271.08/1271.54	c 1271s |      18 |   644343 |   429752 |    25408     34 |      614 |      374
1273.18/1273.65	c 1273s |      18 |   644894 |   430252 |    25408     34 |      614 |      374
1275.18/1275.67	c 1275s |      18 |   645483 |   430752 |    25408     34 |      614 |      374
1277.58/1278.07	c 1277s |      18 |   646159 |   431352 |    25408     34 |      614 |      374
1279.87/1280.34	c 1280s |      18 |   646718 |   431852 |    25408     34 |      614 |      374
1282.07/1282.54	c 1282s |      18 |   647273 |   432352 |    25408     34 |      614 |      374
1284.37/1284.87	c 1284s |      18 |   648001 |   432952 |    25408     34 |      614 |      374
1286.78/1287.27	c 1286s |      18 |   648697 |   433552 |    25408     34 |      614 |      374
1288.87/1289.35	c 1289s |      18 |   649289 |   434052 |    25408     34 |      614 |      374
1291.07/1291.50	c 1291s |      18 |   649863 |   434552 |    25408     34 |      614 |      374
1293.27/1293.72	c 1293s |      18 |   650470 |   435052 |    25408     34 |      614 |      374
1295.47/1295.92	c 1295s |      18 |   651057 |   435552 |    25408     34 |      614 |      374
1297.67/1298.12	c 1297s |      18 |   651600 |   436052 |    25408     34 |      614 |      374
1299.66/1300.18	c 1299s |      18 |   652238 |   436552 |    25408     34 |      614 |      374
1301.96/1302.44	c 1302s |      18 |   653580 |   437352 |    25408     34 |      614 |      374
1304.27/1304.73	c 1304s |      18 |   654478 |   438052 |    25408     34 |      614 |      374
1306.47/1306.97	c 1306s |      18 |   655194 |   438652 |    25408     34 |      614 |      374
1308.56/1309.03	c 1308s |      18 |   655916 |   439252 |    25408     34 |      614 |      374
1310.97/1311.43	c 1311s |      18 |   656610 |   439852 |    25408     34 |      614 |      374
1313.07/1313.55	c 1313s |      18 |   657193 |   440352 |    25408     34 |      614 |      374
1315.37/1315.84	c 1315s |      18 |   657993 |   441052 |    25408     34 |      614 |      374
1317.57/1318.03	c 1317s |      18 |   658597 |   441552 |    27949     34 |      614 |      374
1319.86/1320.33	c 1320s |      18 |   659149 |   442052 |    27949     34 |      614 |      374
1322.16/1322.63	c 1322s |      18 |   659764 |   442552 |    27949     34 |      614 |      374
1324.26/1324.75	c 1324s |      18 |   660332 |   443052 |    27949     34 |      614 |      374
1326.66/1327.16	c 1326s |      18 |   660936 |   443552 |    27949     34 |      614 |      374
1328.86/1329.35	c 1329s |      18 |   661630 |   444152 |    27949     34 |      614 |      374
1330.66/1331.10	c 1330s |      19 |   661998 |   444482 |    27949     34 |      614 |      374
1332.66/1333.15	c 1332s |      19 |   664471 |   444882 |    27949     35 |      614 |      374
1334.66/1335.16	c 1334s |      19 |   679093 |   447182 |    27949     35 |      614 |      374
1336.65/1337.17	c 1336s |      19 |   681098 |   448582 |    27949     35 |      614 |      374
1338.75/1339.20	c 1338s |      19 |   684012 |   449882 |    27949     35 |      614 |      374
1340.75/1341.25	c 1340s |      19 |   692625 |   452082 |    27949     35 |      614 |      374
1342.76/1343.28	c 1342s |      19 |   696914 |   453982 |    27949     35 |      614 |      374
1344.96/1345.45	c 1345s |      19 |   698427 |   455182 |    27949     35 |      614 |      374
1347.05/1347.59	c 1347s |      19 |   700104 |   456382 |    27949     35 |      614 |      374
1349.25/1349.78	c 1349s |      19 |   701278 |   457382 |    27949     35 |      614 |      374
1351.35/1351.82	c 1351s |      19 |   702364 |   458282 |    27949     35 |      614 |      374
1353.45/1353.98	c 1353s |      19 |   703423 |   459182 |    27949     35 |      614 |      374
1355.55/1356.06	c 1355s |      19 |   704334 |   459982 |    27949     35 |      614 |      374
1357.75/1358.27	c 1357s |      19 |   705005 |   460582 |    27949     36 |      614 |      374
1359.86/1360.36	c 1360s |      19 |   706025 |   461382 |    27949     36 |      614 |      374
1361.86/1362.39	c 1362s |      19 |   709211 |   462682 |    27949     36 |      614 |      374
1364.06/1364.59	c 1364s |      19 |   710531 |   463682 |    27949     36 |      614 |      374
1366.36/1366.83	c 1366s |      19 |   711549 |   464482 |    27949     36 |      614 |      374
1368.56/1369.08	c 1368s |      19 |   712386 |   465182 |    27949     36 |      614 |      374
1370.76/1371.24	c 1370s |      19 |   713372 |   465982 |    27949     36 |      614 |      374
1372.76/1373.27	c 1372s |      19 |   714214 |   466682 |    27949     36 |      614 |      374
1374.86/1375.32	c 1375s |      19 |   715039 |   467382 |    27949     36 |      614 |      374
1377.16/1377.63	c 1377s |      19 |   715976 |   468182 |    27949     36 |      614 |      374
1379.26/1379.78	c 1379s |      19 |   716790 |   468882 |    27949     36 |      614 |      374
1381.36/1381.86	c 1381s |      19 |   717481 |   469482 |    27949     36 |      614 |      374
1383.76/1384.26	c 1383s |      19 |   718177 |   470082 |    27949     36 |      614 |      374
1385.86/1386.33	c 1386s |      19 |   718745 |   470582 |    27949     36 |      614 |      374
1388.06/1388.56	c 1388s |      19 |   719294 |   471082 |    27949     36 |      614 |      374
1390.16/1390.63	c 1390s |      19 |   719880 |   471582 |    27949     36 |      614 |      374
1392.15/1392.65	c 1392s |      19 |   720493 |   472082 |    27949     36 |      614 |      374
1394.35/1394.82	c 1394s |      19 |   721182 |   472682 |    27949     36 |      614 |      374
1396.66/1397.11	c 1396s |      19 |   721893 |   473282 |    27949     36 |      614 |      374
1398.86/1399.37	c 1399s |      19 |   722460 |   473782 |    27949     36 |      614 |      374
1401.25/1401.72	c 1401s |      19 |   723005 |   474282 |    27949     36 |      614 |      374
1403.36/1403.85	c 1403s |      19 |   723581 |   474782 |    27949     36 |      614 |      374
1405.65/1406.16	c 1405s |      19 |   724272 |   475382 |    27949     36 |      614 |      374
1408.05/1408.51	c 1408s |      19 |   724828 |   475882 |    27949     37 |      614 |      374
1410.15/1410.62	c 1410s |      19 |   725496 |   476482 |    27949     37 |      614 |      374
1412.45/1412.96	c 1412s |      19 |   726278 |   477182 |    27949     37 |      614 |      374
1414.55/1415.05	c 1414s |      19 |   726968 |   477782 |    27949     37 |      614 |      374
1416.65/1417.11	c 1416s |      19 |   727670 |   478382 |    27949     37 |      614 |      374
1418.76/1419.28	c 1418s |      19 |   728639 |   479082 |    27949     37 |      614 |      374
1420.86/1421.37	c 1421s |      19 |   729341 |   479682 |    27949     37 |      614 |      374
1423.16/1423.64	c 1423s |      19 |   730063 |   480282 |    27949     37 |      614 |      374
1425.25/1425.72	c 1425s |      19 |   730801 |   480882 |    27949     37 |      614 |      374
1427.35/1427.81	c 1427s |      19 |   731559 |   481482 |    27949     37 |      614 |      374
1429.95/1430.47	c 1430s |      19 |   732255 |   482082 |    27949     37 |      614 |      374
1432.45/1432.92	c 1432s |      19 |   732708 |   482482 |    27949     37 |      614 |      374
1434.55/1435.09	c 1434s |      19 |   733173 |   482882 |    27949     37 |      614 |      374
1437.05/1437.59	c 1437s |      19 |   733663 |   483282 |    27949     37 |      614 |      374
1439.25/1439.72	c 1439s |      19 |   734123 |   483682 |    27949     37 |      614 |      374
1441.35/1441.85	c 1441s |      19 |   734577 |   484082 |    27949     37 |      614 |      374
1443.95/1444.49	c 1444s |      19 |   734904 |   484382 |    27949     37 |      614 |      374
1446.25/1446.77	c 1446s |      19 |   735459 |   484882 |    27949     37 |      614 |      374
1448.35/1448.90	c 1448s |      19 |   736016 |   485382 |    27949     37 |      614 |      374
1450.84/1451.38	c 1451s |      19 |   736608 |   485882 |    27949     37 |      614 |      374
1453.24/1453.71	c 1453s |      19 |   737149 |   486382 |    27949     37 |      614 |      374
1455.24/1455.75	c 1455s |      19 |   737649 |   486782 |    27949     37 |      614 |      374
1457.54/1458.05	c 1457s |      19 |   738151 |   487182 |    27949     37 |      614 |      374
1459.84/1460.39	c 1460s |      19 |   738603 |   487582 |    27949     37 |      614 |      374
1461.94/1462.40	c 1462s |      19 |   739048 |   487982 |    27949     37 |      614 |      374
1464.04/1464.56	c 1464s |      19 |   739517 |   488382 |    27949     37 |      614 |      374
1466.34/1466.83	c 1466s |      19 |   739994 |   488782 |    27949     37 |      614 |      374
1468.34/1468.86	c 1468s |      19 |   740477 |   489182 |    27949     37 |      614 |      374
1470.74/1471.28	c 1470s |      19 |   740808 |   489482 |    27949     37 |      614 |      374
1473.04/1473.55	c 1473s |      19 |   741313 |   489882 |    27949     37 |      614 |      374
1475.24/1475.72	c 1475s |      19 |   741768 |   490282 |    27949     37 |      614 |      374
1477.54/1478.07	c 1477s |      19 |   742256 |   490682 |    27949     37 |      614 |      374
1479.94/1480.43	c 1480s |      19 |   742817 |   491182 |    27949     37 |      614 |      374
1482.94/1483.44	c 1483s |      19 |   743404 |   491682 |    27949     38 |      614 |      374
1485.23/1485.71	c 1485s |      19 |   744072 |   492282 |    27949     38 |      614 |      374
1487.53/1488.01	c 1487s |      19 |   744790 |   492882 |    27949     38 |      614 |      374
1489.73/1490.23	c 1489s |      19 |   745462 |   493482 |    27949     38 |      614 |      374
1491.73/1492.23	c 1491s |      19 |   746025 |   493982 |    27949     38 |      614 |      374
1494.03/1494.50	c 1494s |      19 |   746687 |   494582 |    27949     38 |      614 |      374
1496.23/1496.72	c 1496s |      19 |   747362 |   495182 |    27949     38 |      614 |      374
1498.33/1498.84	c 1498s |      19 |   747912 |   495682 |    27949     38 |      614 |      374
1500.33/1500.88	c 1500s |      19 |   748443 |   496182 |    27949     38 |      614 |      374
1502.53/1503.09	c 1502s |      19 |   749023 |   496682 |    27949     38 |      614 |      374
1504.63/1505.13	c 1504s |      19 |   749588 |   497182 |    27949     38 |      614 |      374
1506.64/1507.20	c 1506s |      19 |   750129 |   497682 |    27949     38 |      614 |      374
1508.94/1509.47	c 1509s |      19 |   750671 |   498182 |    27949     38 |      614 |      374
1511.14/1511.64	c 1511s |      19 |   751222 |   498682 |    27949     38 |      614 |      374
1513.24/1513.76	c 1513s |      19 |   751778 |   499182 |    27949     38 |      614 |      374
1515.53/1516.02	c 1515s |      19 |   752322 |   499682 |    27949     38 |      614 |      374
1517.73/1518.29	c 1518s |      19 |   752890 |   500182 |    27949     38 |      614 |      374
1520.13/1520.63	c 1520s |      19 |   753441 |   500682 |    27949     38 |      614 |      374
1522.34/1522.87	c 1522s |      19 |   754021 |   501182 |    27949     38 |      614 |      374
1524.74/1525.24	c 1524s |      19 |   754569 |   501682 |    27949     38 |      614 |      374
1526.83/1527.36	c 1527s |      19 |   755028 |   502082 |    27949     38 |      614 |      374
1528.93/1529.49	c 1529s |      19 |   755468 |   502482 |    27949     38 |      614 |      374
1531.33/1531.81	c 1531s |      19 |   756031 |   502982 |    27949     38 |      614 |      374
1533.33/1533.86	c 1533s |      19 |   756473 |   503382 |    27949     38 |      614 |      374
1535.43/1535.92	c 1535s |      19 |   756913 |   503782 |    27949     38 |      614 |      374
1537.54/1538.02	c 1537s |      19 |   757372 |   504182 |    27949     38 |      614 |      374
1539.74/1540.22	c 1539s |      19 |   757817 |   504582 |    27949     38 |      614 |      374
1541.94/1542.43	c 1542s |      19 |   758268 |   504982 |    27949     38 |      614 |      374
1544.14/1544.61	c 1544s |      19 |   758708 |   505382 |    27949     38 |      614 |      374
1546.43/1546.92	c 1546s |      19 |   759135 |   505782 |    27949     38 |      614 |      374
1548.54/1549.06	c 1548s |      19 |   759567 |   506182 |    27949     38 |      614 |      374
1550.74/1551.21	c 1550s |      19 |   760003 |   506582 |    27949     38 |      614 |      374
1552.73/1553.26	c 1552s |      19 |   760435 |   506982 |    27949     38 |      614 |      374
1555.63/1556.14	c 1555s |      19 |   760871 |   507382 |    27949     39 |      614 |      374
1557.83/1558.36	c 1558s |      19 |   761409 |   507882 |    27949     39 |      614 |      374
1560.23/1560.76	c 1560s |      19 |   761942 |   508382 |    27949     39 |      614 |      374
1562.53/1563.08	c 1562s |      19 |   762487 |   508882 |    27949     39 |      614 |      374
1564.63/1565.15	c 1564s |      19 |   763030 |   509382 |    27949     39 |      614 |      374
1566.93/1567.42	c 1567s |      19 |   763713 |   509982 |    27949     39 |      614 |      374
1569.13/1569.60	c 1569s |      19 |   764251 |   510482 |    27949     39 |      614 |      374
1571.43/1571.96	c 1571s |      19 |   764859 |   510982 |    27949     39 |      614 |      374
1573.73/1574.22	c 1573s |      19 |   765565 |   511582 |    27949     39 |      614 |      374
1576.03/1576.55	c 1576s |      19 |   766226 |   512182 |    27949     39 |      614 |      374
1578.13/1578.67	c 1578s |      19 |   766816 |   512682 |    27949     39 |      614 |      374
1580.23/1580.71	c 1580s |      19 |   767395 |   513182 |    27949     39 |      614 |      374
1582.42/1582.94	c 1582s |      19 |   767943 |   513682 |    27949     39 |      614 |      374
1584.52/1585.08	c 1584s |      19 |   768526 |   514182 |    27949     39 |      614 |      374
1586.72/1587.21	c 1586s |      19 |   769100 |   514682 |    27949     39 |      614 |      374
1588.82/1589.37	c 1589s |      19 |   769711 |   515182 |    27949     39 |      614 |      374
1590.82/1591.38	c 1591s |      19 |   770282 |   515682 |    27949     39 |      614 |      374
1593.12/1593.66	c 1593s |      19 |   770838 |   516182 |    27949     39 |      614 |      374
1595.32/1595.83	c 1595s |      19 |   771392 |   516682 |    27949     39 |      614 |      374
1597.52/1598.00	c 1597s |      19 |   771944 |   517182 |    27949     39 |      614 |      374
1599.72/1600.29	c 1600s |      19 |   772509 |   517682 |    27949     39 |      614 |      374
1601.82/1602.30	c 1602s |      19 |   772925 |   518082 |    27949     39 |      614 |      374
1603.92/1604.47	c 1604s |      19 |   773362 |   518482 |    27949     39 |      614 |      374
1606.32/1606.86	c 1606s |      19 |   773789 |   518882 |    27949     39 |      614 |      374
1608.82/1609.31	c 1609s |      19 |   774238 |   519282 |    27949     39 |      614 |      374
1610.92/1611.49	c 1611s |      19 |   774663 |   519682 |    27949     39 |      614 |      374
1613.02/1613.59	c 1613s |      19 |   775094 |   520082 |    27949     39 |      614 |      374
1615.63/1616.12	c 1615s |      19 |   775629 |   520582 |    27949     39 |      614 |      374
1617.92/1618.42	c 1618s |      19 |   776059 |   520982 |    27949     39 |      614 |      374
1620.32/1620.89	c 1620s |      19 |   776608 |   521482 |    27949     39 |      614 |      374
1622.92/1623.40	c 1623s |      19 |   777193 |   521982 |    27949     39 |      614 |      374
1624.92/1625.49	c 1625s |      19 |   777628 |   522382 |    27949     39 |      614 |      374
1627.02/1627.59	c 1627s |      19 |   778056 |   522782 |    27949     39 |      614 |      374
1629.32/1629.86	c 1629s |      19 |   778372 |   523082 |    27949     40 |      614 |      374
1631.42/1631.92	c 1631s |      19 |   778930 |   523582 |    27949     40 |      614 |      374
1633.52/1634.05	c 1633s |      19 |   779478 |   524082 |    27949     40 |      614 |      374
1635.72/1636.20	c 1635s |      19 |   780038 |   524582 |    27949     40 |      614 |      374
1638.12/1638.63	c 1638s |      19 |   780587 |   525082 |    27949     40 |      614 |      374
1640.42/1640.96	c 1640s |      19 |   781130 |   525582 |    27949     40 |      614 |      374
1642.62/1643.19	c 1642s |      19 |   781679 |   526082 |    27949     40 |      614 |      374
1645.01/1645.55	c 1645s |      19 |   782220 |   526582 |    27949     40 |      614 |      374
1647.21/1647.74	c 1647s |      19 |   782798 |   527082 |    27949     40 |      614 |      374
1649.21/1649.77	c 1649s |      19 |   783332 |   527582 |    27949     40 |      614 |      374
1651.31/1651.87	c 1651s |      19 |   783890 |   528082 |    27949     40 |      614 |      374
1653.51/1654.05	c 1653s |      19 |   784445 |   528582 |    27949     40 |      614 |      374
1655.71/1656.26	c 1655s |      19 |   784995 |   529082 |    27949     40 |      614 |      374
1657.91/1658.41	c 1658s |      19 |   785567 |   529582 |    27949     40 |      614 |      374
1660.11/1660.65	c 1660s |      19 |   786098 |   530082 |    27949     40 |      614 |      374
1662.51/1663.07	c 1662s |      19 |   786655 |   530582 |    27949     40 |      614 |      374
1665.12/1665.63	c 1665s |      19 |   787269 |   531082 |    27949     40 |      614 |      374
1667.51/1668.01	c 1667s |      19 |   787964 |   531682 |    27949     40 |      614 |      374
1669.61/1670.18	c 1669s |      19 |   788514 |   532182 |    27949     40 |      614 |      374
1671.81/1672.31	c 1672s |      19 |   789120 |   532682 |    27949     40 |      614 |      374
1674.01/1674.54	c 1674s |      19 |   789737 |   533182 |    27949     40 |      614 |      374
1676.31/1676.86	c 1676s |      19 |   790310 |   533682 |    27949     40 |      614 |      374
1678.61/1679.12	c 1678s |      19 |   790865 |   534182 |    27949     40 |      614 |      374
1680.91/1681.44	c 1681s |      19 |   791298 |   534582 |    27949     40 |      614 |      374
1683.31/1683.88	c 1683s |      19 |   791863 |   535082 |    27949     40 |      614 |      374
1685.71/1686.25	c 1685s |      19 |   792447 |   535582 |    27949     40 |      614 |      374
1688.01/1688.52	c 1688s |      19 |   793013 |   536082 |    27949     40 |      614 |      374
1690.51/1691.01	c 1690s |      19 |   793566 |   536582 |    27949     40 |      614 |      374
1692.51/1693.09	c 1692s |      19 |   794003 |   536982 |    27949     40 |      614 |      374
1694.60/1695.11	c 1694s |      19 |   794439 |   537382 |    27949     40 |      614 |      374
1696.91/1697.41	c 1697s |      19 |   795005 |   537882 |    27949     40 |      614 |      374
1699.21/1699.78	c 1699s |      19 |   795585 |   538382 |    27949     40 |      614 |      374
1701.31/1701.86	c 1701s |      19 |   795923 |   538682 |    27949     41 |      614 |      374
1703.30/1703.88	c 1703s |      19 |   796488 |   539182 |    27949     41 |      614 |      374
1705.50/1706.07	c 1705s |      19 |   797040 |   539682 |    27949     41 |      614 |      374
1707.60/1708.14	c 1707s |      19 |   797574 |   540182 |    27949     41 |      614 |      374
1709.90/1710.47	c 1710s |      19 |   798272 |   540782 |    27949     41 |      614 |      374
1712.31/1712.83	c 1712s |      19 |   798994 |   541382 |    27949     41 |      614 |      374
1714.40/1714.96	c 1714s |      19 |   799549 |   541882 |    27949     41 |      614 |      374
1716.70/1717.27	c 1716s |      19 |   800098 |   542382 |    27949     41 |      614 |      374
1719.20/1719.78	c 1719s |      19 |   800652 |   542882 |    27949     41 |      614 |      374
1721.60/1722.19	c 1721s |      19 |   801202 |   543382 |    27949     41 |      614 |      374
1723.80/1724.34	c 1724s |      19 |   801639 |   543782 |    27949     41 |      614 |      374
1726.30/1726.83	c 1726s |      19 |   802190 |   544282 |    27949     41 |      614 |      374
1728.60/1729.18	c 1728s |      19 |   802733 |   544782 |    27949     41 |      614 |      374
1731.10/1731.62	c 1731s |      19 |   803340 |   545282 |    27949     41 |      614 |      374
1733.20/1733.78	c 1733s |      19 |   803778 |   545682 |    27949     41 |      614 |      374
1735.29/1735.89	c 1735s |      19 |   804228 |   546082 |    27949     41 |      614 |      374
1737.79/1738.38	c 1738s |      19 |   804800 |   546582 |    27949     41 |      614 |      374
1740.09/1740.60	c 1740s |      19 |   805246 |   546982 |    27949     41 |      614 |      374
1742.10/1742.61	c 1742s |      19 |   805691 |   547382 |    27949     41 |      614 |      374
1744.30/1744.81	c 1744s |      19 |   806126 |   547782 |    27949     41 |      614 |      374
1746.60/1747.12	c 1746s |      19 |   806562 |   548182 |    27949     41 |      614 |      374
1748.80/1749.33	c 1749s |      19 |   807001 |   548582 |    27949     41 |      614 |      374
1751.10/1751.66	c 1751s |      19 |   807425 |   548982 |    27949     41 |      614 |      374
1753.40/1753.95	c 1753s |      19 |   807859 |   549382 |    27949     41 |      614 |      374
1755.60/1756.12	c 1755s |      19 |   808304 |   549782 |    27949     41 |      614 |      374
1758.00/1758.57	c 1758s |      19 |   808858 |   550282 |    27949     41 |      614 |      374
1760.10/1760.66	c 1760s |      19 |   809292 |   550682 |    27949     41 |      614 |      374
1762.40/1762.95	c 1762s |      19 |   809738 |   551082 |    27949     41 |      614 |      374
1764.70/1765.20	c 1764s |      19 |   810172 |   551482 |    27949     41 |      614 |      374
1766.80/1767.31	c 1767s |      19 |   810609 |   551882 |    27949     41 |      614 |      374
1768.80/1769.34	c 1769s |      19 |   811048 |   552282 |    27949     41 |      614 |      374
1770.80/1771.38	c 1771s |      19 |   811550 |   552682 |    27949     41 |      614 |      374
1772.90/1773.43	c 1773s |      19 |   812003 |   553082 |    27949     41 |      614 |      374
1775.00/1775.59	c 1775s |      19 |   812443 |   553482 |    27949     41 |      614 |      374
1777.79/1778.34	c 1778s |      19 |   812877 |   553882 |    27949     42 |      614 |      374
1779.89/1780.45	c 1780s |      19 |   813439 |   554382 |    27949     42 |      614 |      374
1781.99/1782.54	c 1782s |      19 |   813977 |   554882 |    27949     42 |      614 |      374
1784.29/1784.89	c 1784s |      19 |   814649 |   555482 |    27949     42 |      614 |      374
1786.39/1786.92	c 1786s |      19 |   815187 |   555982 |    27949     42 |      614 |      374
1788.59/1789.17	c 1788s |      19 |   815734 |   556482 |    27949     42 |      614 |      374
1790.89/1791.46	c 1791s |      19 |   816276 |   556982 |    27949     42 |      614 |      374
1793.39/1793.97	c 1793s |      19 |   816841 |   557482 |    27949     42 |      614 |      374
1795.39/1795.97	c 1795s |      19 |   817410 |   557982 |    27949     42 |      614 |      374
1797.59/1798.16	c 1797s |      19 |   817953 |   558482 |    27949     42 |      614 |      374
1799.89/1800.42	c 1800s |      19 |   818509 |   558982 |    27949     42 |      614 |      374

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

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.21 2.18 3/179 24555
/proc/meminfo: memFree=29591096/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=494012 CPUtime=0 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 1806 0 0 0 0 0 0 0 20 0 4 0 30266470 505868288 2166 33554432000 4194304 16246674 140736339772016 140736339771440 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24555/statm: 124271 2176 441 2943 0 121165 0
[pid=24555/tid=24556] ppid=24552 vsize=511420 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 523694080 2231 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=514492 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 526839808 2244 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=515516 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 527888384 2247 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.19 2.21 2.18 3/179 24555
/proc/meminfo: memFree=29591096/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 27751 0 0 0 5 4 0 0 20 0 4 0 30266470 1249447936 28049 33554432000 4194304 16246674 140736339772016 140736339771328 7371468 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24555/statm: 305041 28064 801 2943 0 301935 0
[pid=24555/tid=24556] ppid=24552 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1249447936 28074 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1249447936 28086 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1249447936 28096 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.361767 s]
/proc/loadavg: 2.19 2.21 2.18 3/179 24555
/proc/meminfo: memFree=29591096/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1301060 CPUtime=0.35 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 60879 0 0 0 27 8 0 0 20 0 4 0 30266470 1332285440 61177 33554432000 4194304 16246674 140736339772016 140736339753920 6016320 0 0 0 34082818 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/24555/statm: 325265 61177 882 2943 0 322159 0
[pid=24555/tid=24556] ppid=24552 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1332285440 61177 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1332285440 61177 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1332285440 61177 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 1301060

[startup+0.400348 s]
/proc/loadavg: 2.19 2.21 2.18 3/179 24555
/proc/meminfo: memFree=29591096/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1301060 CPUtime=0.39 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 65732 0 0 0 30 9 0 0 20 0 4 0 30266470 1332285440 66030 33554432000 4194304 16246674 140736339772016 140736339753920 5661532 0 0 0 34082818 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/24555/statm: 325265 66030 882 2943 0 322159 0
[pid=24555/tid=24556] ppid=24552 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1332285440 66030 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1332285440 66030 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1332285440 66030 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 1301060

[startup+0.700263 s]
/proc/loadavg: 2.19 2.21 2.18 3/179 24555
/proc/meminfo: memFree=29591096/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 101813 0 0 0 56 13 0 0 20 0 4 0 30266470 1332285440 102111 33554432000 4194304 16246674 140736339772016 140736339753920 12483674 0 0 0 34082818 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/24555/statm: 325265 102111 882 2943 0 322159 0
[pid=24555/tid=24556] ppid=24552 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1332285440 102111 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1332285440 102111 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1332285440 102111 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50035 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 24559
/proc/meminfo: memFree=28926384/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 199831 0 0 0 122 27 0 0 20 0 4 0 30266470 1332285440 200129 33554432000 4194304 16246674 140736339772016 140736339753920 13191638 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24555/statm: 325265 200135 882 2943 0 322159 0
[pid=24555/tid=24556] ppid=24552 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1332285440 200137 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1332285440 200140 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1332285440 200142 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10037 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 24559
/proc/meminfo: memFree=28513588/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 269503 0 0 0 272 37 0 0 20 0 4 0 30266470 1344868352 269801 33554432000 4194304 16246674 140736339772016 140736339753920 5711518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24555/statm: 328337 269801 888 2943 0 325231 0
[pid=24555/tid=24556] ppid=24552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1344868352 269801 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1344868352 269801 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1344868352 269801 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.17 2.20 2.18 3/183 24559
/proc/meminfo: memFree=28513004/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 269525 0 0 0 592 37 0 0 20 0 4 0 30266470 1344868352 269823 33554432000 4194304 16246674 140736339772016 140736339753920 5827686 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24555/statm: 328337 269823 888 2943 0 325231 0
[pid=24555/tid=24556] ppid=24552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1344868352 269823 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1344868352 269823 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1344868352 269823 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.15 2.20 2.18 3/183 24559
/proc/meminfo: memFree=28512684/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1313348 CPUtime=12.68 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 269527 0 0 0 1231 37 0 0 20 0 4 0 30266470 1344868352 269825 33554432000 4194304 16246674 140736339772016 140736339755008 5523192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24555/statm: 328337 269825 890 2943 0 325231 0
[pid=24555/tid=24556] ppid=24552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1344868352 269825 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1344868352 269825 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1344868352 269825 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5072 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 24559
/proc/meminfo: memFree=28512808/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 269528 0 0 0 2512 37 0 0 20 0 4 0 30266470 1344868352 269826 33554432000 4194304 16246674 140736339772016 140736339753920 13874575 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24555/statm: 328337 269826 891 2943 0 325231 0
[pid=24555/tid=24556] ppid=24552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1344868352 269826 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1344868352 269826 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1344868352 269826 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1004 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 24608
/proc/meminfo: memFree=28541808/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1314372 CPUtime=51.08 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 269723 0 0 0 5071 37 0 0 20 0 4 0 30266470 1345916928 270021 33554432000 4194304 16246674 140736339772016 140736339753920 5675184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24555/statm: 328593 270021 891 2943 0 325487 0
[pid=24555/tid=24556] ppid=24552 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1345916928 270021 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1345916928 270021 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1345916928 270021 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.14 2.18 2.17 3/183 24609
/proc/meminfo: memFree=28540872/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1314372 CPUtime=102.27 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 269784 0 0 0 10190 37 0 0 20 0 4 0 30266470 1345916928 270082 33554432000 4194304 16246674 140736339772016 140736339753920 5665479 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24555/statm: 328593 270082 891 2943 0 325487 0
[pid=24555/tid=24556] ppid=24552 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1345916928 270082 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1345916928 270082 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1345916928 270082 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1314372


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

/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1332804

[startup+1362.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/184 24643
/proc/meminfo: memFree=28496940/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1332804 CPUtime=1361.86 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 274763 0 0 0 136137 49 0 0 20 0 4 0 30266470 1364791296 274947 33554432000 4194304 16246674 140736339772016 140736339753920 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24555/statm: 333201 274947 892 2943 0 330095 0
[pid=24555/tid=24556] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1332804

[startup+1422.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 24644
/proc/meminfo: memFree=28497188/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1332804 CPUtime=1421.85 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 274763 0 0 0 142136 49 0 0 20 0 4 0 30266470 1364791296 274947 33554432000 4194304 16246674 140736339772016 140736339753920 5712690 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24555/statm: 333201 274947 892 2943 0 330095 0
[pid=24555/tid=24556] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1332804

[startup+1482.3 s]
/proc/loadavg: 2.25 2.20 2.18 4/183 24646
/proc/meminfo: memFree=28496928/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1332804 CPUtime=1481.84 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 274763 0 0 0 148135 49 0 0 20 0 4 0 30266470 1364791296 274947 33554432000 4194304 16246674 140736339772016 140736339753920 13780664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24555/statm: 333201 274947 892 2943 0 330095 0
[pid=24555/tid=24556] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1332804

[startup+1542.3 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 24647
/proc/meminfo: memFree=28497176/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1332804 CPUtime=1541.84 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 274763 0 0 0 154134 50 0 0 20 0 4 0 30266470 1364791296 274947 33554432000 4194304 16246674 140736339772016 140736339753920 5523460 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24555/statm: 333201 274947 892 2943 0 330095 0
[pid=24555/tid=24556] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1332804

[startup+1602.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/183 24648
/proc/meminfo: memFree=28496888/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1332804 CPUtime=1601.82 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 274763 0 0 0 160132 50 0 0 20 0 4 0 30266470 1364791296 274947 33554432000 4194304 16246674 140736339772016 140736339753920 5600249 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24555/statm: 333201 274947 892 2943 0 330095 0
[pid=24555/tid=24556] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1332804

[startup+1662.31 s]
/proc/loadavg: 2.17 2.17 2.17 4/183 24649
/proc/meminfo: memFree=28496444/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1332804 CPUtime=1661.82 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 274763 0 0 0 166132 50 0 0 20 0 4 0 30266470 1364791296 274947 33554432000 4194304 16246674 140736339772016 140736339753920 5754924 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24555/statm: 333201 274947 892 2943 0 330095 0
[pid=24555/tid=24556] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1332804

[startup+1722.3 s]
/proc/loadavg: 2.06 2.14 2.16 3/183 24650
/proc/meminfo: memFree=28496676/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1332804 CPUtime=1721.8 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 274763 0 0 0 172130 50 0 0 20 0 4 0 30266470 1364791296 274947 33554432000 4194304 16246674 140736339772016 140736339753920 12483187 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24555/statm: 333201 274947 892 2943 0 330095 0
[pid=24555/tid=24556] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1332804

[startup+1782.3 s]
/proc/loadavg: 2.10 2.13 2.16 3/183 24652
/proc/meminfo: memFree=28496200/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1332804 CPUtime=1781.79 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 274763 0 0 0 178128 51 0 0 20 0 4 0 30266470 1364791296 274947 33554432000 4194304 16246674 140736339772016 140736339753920 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24555/statm: 333201 274947 892 2943 0 330095 0
[pid=24555/tid=24556] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1332804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.08 2.12 2.15 4/183 24652
/proc/meminfo: memFree=28496308/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1332804 CPUtime=1800.09 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 274763 0 0 0 179958 51 0 0 20 0 4 0 30266470 1364791296 274947 33554432000 4194304 16246674 140736339772016 140736339753920 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24555/statm: 333201 274947 892 2943 0 330095 0
[pid=24555/tid=24556] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1332804

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

[startup+1800.6 s]
/proc/loadavg: 2.08 2.12 2.15 4/183 24652
/proc/meminfo: memFree=28496308/32872528 swapFree=1085692/1157232
[pid=24555] ppid=24552 vsize=1332804 CPUtime=1800.09 cores=0,2,4,6
/proc/24555/stat : 24555 (toysat) R 24552 24555 21062 0 -1 4202496 274763 0 0 0 179958 51 0 0 20 0 4 0 30266470 1364791296 274947 33554432000 4194304 16246674 140736339772016 140736339753920 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24555/statm: 333201 274947 892 2943 0 330095 0
[pid=24555/tid=24556] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24556/stat : 24556 (toysat) S 24552 24555 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708765023472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24555/tid=24557] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24557/stat : 24557 (toysat) S 24552 24555 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708754533616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24555/tid=24558] ppid=24552 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24555/task/24558/stat : 24558 (toysat) S 24552 24555 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30266471 1364791296 274947 33554432000 4194304 16246674 140736339772016 139708642356400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1332804

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.59
CPU system time (s): 0.514921
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 1332804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.514921
maximum resident set size= 1099788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274763
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= 384
involuntary context switches= 1867

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51231 second user time and 7.00394 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 22:17:48
IDJOB=4116453
IDBENCH=109472
IDSOLVER=2542
FILE ID=node114/4116453-1466972268
RUNJOBID= node114-1466944456-21078
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= a5c6e946be43647eb79fff224be4b296
RANDOM SEED=1224607242

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29591864 kB
Buffers:           48868 kB
Cached:           225332 kB
SwapCached:        38928 kB
Active:          1174416 kB
Inactive:         246212 kB
Active(anon):    1110636 kB
Inactive(anon):    37760 kB
Active(file):      63780 kB
Inactive(file):   208452 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16704 kB
Writeback:             0 kB
AnonPages:       2355776 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             567628 kB
SReclaimable:      11916 kB
SUnreclaim:       555712 kB
KernelStack:        1520 kB
PageTables:         8148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2410996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1263616 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node114 at 2016-06-26 22:47:49