Trace number 4116629

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size80-round22-9.opb
MD5SUM81dca3335c3cf7d906003948f483aa96
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark650.938
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8656
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)368
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T17:19:19+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-4116629-1466954359.opb"]
0.00/0.01	c use --random-gen="2440246904 2902918948 1284530950 126670675 1715575989 1623830063 3874740937 357791229 424664921 2379460372 1522121827 4087036393 74215752 3575415273 2536915745 2527406425 1994403457 1141806094 2121924583 4043104789 3534443942 2787729577 3279733226 3766477506 2106838051 502601632 1750813233 1460659681 3476542859 1610083900 743893560 3384324457 979353127 1704289919 1407261863 1256540783 531474693 397964626 892334170 2065823514 788104248 2331641973 2306154816 3986263575 2478984221 1770681323 2730330007 1171545495 1352921222 711773658 2272734846 2077690792 3097849108 976108165 3375723987 2261391501 1784722327 3139679265 2062533 2417000814 3198828367 2533152167 2640738803 355262574 3126334317 3230336244 3833677946 2661314743 2228432948 224080981 44490145 1618185535 1309246084 3848298726 2502898394 1376395390 3790733942 2100139889 3613174147 2581857746 3968789066 2383216963 2659813371 1297457663 2948961445 3727838701 784389212 653354112 573245540 1375594387 2597843151 2151600823 4058455289 2959177727 1557527045 1524639171 1623875790 3609762079 2672583120 3205819959 2385022928 1346760698 3540392306 3337798709 2806750400 2515691619 1812329215 3248076713 3099148154 3472396330 3039072380 3101708233 2010257602 1789252404 981645262 162768832 1835155087 2398925555 3065436878 3171781755 857840785 2315389566 774657402 3920551499 3144485053 537953557 2729763815 1904375171 2528074803 1593573933 3062421661 204739909 639662539 2127661548 1611173034 471786735 4083726448 1849742840 2552888690 17927189 1353319602 2197467618 901647207 359493728 4213322226 839660860 1522147369 2377730331 962731895 3244968727 4235134428 560401265 1362288005 2538279773 2354962664 598849343 3219163141 1286534327 305179004 2407651799 1862898272 3378649487 178167177 1156429680 2273591346 3950296970 1262212131 2149391774 2547861792 95077726 3701189008 1948781349 3109493034 4138383475 3403414883 2285981617 2517083984 3392041262 676703468 325739982 2577863460 174011305 4264809898 2925395196 3554604308 3928829576 968379600 2562226878 1497162322 107560736 890035483 3489350125 896189365 139322162 3326530929 1220819325 2713378752 1160570037 738860056 3214510931 344390217 2530416909 1359448788 1104178714 1224016215 664065438 818589913 822905164 3041421550 3259643962 3778593596 635166210 2966678215 880587897 735470689 3832829346 1566415480 1427341159 832446034 883479450 554409225 427827046 3989578792 674407596 3626756388 1260704077 699859615 935120818 984119740 857399 778690173 1171786815 3065316636 636421106 943806071 3529480383 3332568323 435187879 3158659890 289906596 2841548274 142614933 1046002392 3374745931 1258684932 309232763 3576052847 775039414 805121326 1049739905 2274789476 1458068263 2846823279 3063834049 2430436545 995690468 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8656
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      602 |        0
0.29/0.33	c  0.1s |       1 |      616 |      100 |     4234      0 |      602 |      322
0.39/0.42	c  0.2s |       2 |     1415 |      250 |     4658      0 |      602 |      322
0.59/0.65	c  0.4s |       3 |     3303 |      475 |     5124      0 |      602 |      322
0.89/0.91	c  0.7s |       4 |     5109 |      813 |     5637      0 |      602 |      322
1.39/1.47	c  1.2s |       5 |     6559 |     1320 |     6201      0 |      602 |      322
1.99/2.05	c  1.8s |       6 |    12653 |     2081 |     7505      0 |      602 |      322
2.69/2.73	c  2.5s |       7 |    19601 |     3223 |     8256      0 |      603 |      322
4.19/4.21	c  4.0s |       8 |    25439 |     4936 |     9082      0 |      604 |      322
6.19/6.24	c  6.0s |       8 |    31575 |     6936 |     9082      0 |      604 |      322
6.79/6.87	c  6.6s |       9 |    32672 |     7506 |     9991      0 |      604 |      322
8.80/8.88	c  8.6s |       9 |    41927 |     9706 |     9991      0 |      604 |      322
10.89/10.96	c 10.7s |       9 |    43847 |    11306 |    10991      0 |      604 |      322
11.00/11.03	c 10.8s |      10 |    43919 |    11361 |    10991      0 |      604 |      322
13.09/13.14	c 12.9s |      10 |    50587 |    13661 |    10991      0 |      604 |      322
15.08/15.17	c 14.9s |      10 |    53046 |    15561 |    10991      1 |      604 |      322
17.19/17.25	c 17.0s |      11 |    54990 |    17144 |    12091      1 |      604 |      322
19.19/19.26	c 19.0s |      11 |    58196 |    19144 |    12091      1 |      604 |      322
21.29/21.38	c 21.1s |      11 |    60078 |    20744 |    12091      1 |      604 |      322
23.49/23.55	c 23.3s |      11 |    61615 |    22044 |    12091      1 |      604 |      322
25.59/25.65	c 25.4s |      11 |    62893 |    23144 |    12091      2 |      604 |      322
27.69/27.77	c 27.5s |      11 |    64228 |    24344 |    12091      2 |      604 |      322
29.79/29.83	c 29.6s |      11 |    65324 |    25344 |    12091      2 |      604 |      322
30.80/30.81	c 30.6s |      12 |    65866 |    25819 |    13301      2 |      604 |      322
32.79/32.83	c 32.6s |      12 |    73953 |    28119 |    13301      2 |      604 |      322
34.79/34.87	c 34.6s |      12 |    76755 |    29819 |    13301      2 |      604 |      322
36.89/36.93	c 36.7s |      12 |    79706 |    31319 |    13301      3 |      604 |      322
38.88/38.99	c 38.7s |      12 |    82678 |    33119 |    13301      3 |      604 |      322
41.08/41.11	c 40.9s |      12 |    84253 |    34319 |    13301      3 |      604 |      322
43.19/43.24	c 43.0s |      12 |    86100 |    35719 |    13301      3 |      604 |      322
45.19/45.28	c 45.0s |      12 |    87433 |    36819 |    13301      3 |      604 |      322
47.39/47.43	c 47.2s |      12 |    89907 |    38219 |    13301      3 |      604 |      322
48.58/48.65	c 48.4s |      13 |    90648 |    38832 |    14632      3 |      604 |      322
50.59/50.70	c 50.4s |      13 |    96302 |    40732 |    14632      4 |      604 |      322
52.68/52.71	c 52.5s |      13 |    98916 |    42432 |    14632      4 |      604 |      322
54.68/54.78	c 54.5s |      13 |   100867 |    43732 |    14632      4 |      604 |      322
56.78/56.88	c 56.6s |      13 |   105039 |    45732 |    14632      4 |      604 |      322
58.98/59.09	c 58.8s |      13 |   106794 |    47132 |    14632      4 |      604 |      322
61.08/61.15	c 60.9s |      13 |   108725 |    48432 |    14632      4 |      604 |      322
63.28/63.37	c 63.1s |      13 |   109786 |    49332 |    14632      5 |      604 |      322
65.28/65.38	c 65.1s |      13 |   110921 |    50232 |    14632      5 |      604 |      322
67.48/67.51	c 67.3s |      13 |   112172 |    51232 |    14632      5 |      604 |      322
69.48/69.57	c 69.3s |      13 |   113596 |    52332 |    14632      5 |      604 |      322
71.59/71.62	c 71.4s |      13 |   114695 |    53232 |    14632      5 |      604 |      322
73.58/73.69	c 73.4s |      13 |   115874 |    54232 |    14632      5 |      604 |      322
75.67/75.71	c 75.5s |      13 |   117075 |    55232 |    14632      5 |      604 |      322
77.67/77.73	c 77.5s |      13 |   118128 |    56132 |    14632      5 |      604 |      322
79.77/79.85	c 79.6s |      13 |   119323 |    57132 |    14632      5 |      604 |      322
81.87/81.93	c 81.7s |      13 |   120146 |    57832 |    14632      6 |      604 |      322
82.98/83.00	c 82.7s |      14 |   120907 |    58352 |    16096      6 |      604 |      322
84.97/85.03	c 84.8s |      14 |   126926 |    59952 |    16096      6 |      604 |      322
86.98/87.09	c 86.8s |      14 |   131267 |    61752 |    16096      6 |      604 |      322
89.09/89.17	c 88.9s |      14 |   134152 |    63352 |    16096      6 |      604 |      322
91.39/91.42	c 91.2s |      14 |   137492 |    64752 |    16096      6 |      604 |      322
93.37/93.42	c 93.2s |      14 |   138876 |    65752 |    16096      6 |      604 |      322
95.47/95.51	c 95.3s |      14 |   140073 |    66752 |    16096      6 |      604 |      322
97.68/97.75	c 97.5s |      14 |   141003 |    67552 |    16096      6 |      604 |      322
99.67/99.78	c 99.5s |      14 |   141686 |    68152 |    16096      7 |      604 |      322
101.88/101.95	c  101s |      14 |   143127 |    69252 |    16096      7 |      604 |      322
104.07/104.11	c  103s |      14 |   144240 |    70152 |    16096      7 |      604 |      322
106.07/106.17	c  105s |      14 |   145284 |    71052 |    16096      7 |      604 |      322
108.07/108.17	c  107s |      14 |   146314 |    71852 |    16096      7 |      604 |      322
110.28/110.37	c  110s |      14 |   147502 |    72752 |    16096      7 |      604 |      322
112.37/112.42	c  112s |      14 |   148169 |    73352 |    16096      7 |      604 |      322
114.57/114.62	c  114s |      14 |   149016 |    74052 |    16096      7 |      604 |      322
116.78/116.80	c  116s |      14 |   149836 |    74752 |    16096      7 |      604 |      322
118.78/118.88	c  118s |      14 |   150852 |    75552 |    16096      7 |      604 |      322
120.87/120.98	c  120s |      14 |   151687 |    76252 |    16096      7 |      604 |      322
123.18/123.30	c  123s |      14 |   152485 |    76952 |    16096      7 |      604 |      322
125.38/125.41	c  125s |      14 |   153176 |    77552 |    16096      7 |      604 |      322
127.47/127.54	c  127s |      14 |   153744 |    78052 |    16096      8 |      604 |      322
129.78/129.82	c  129s |      14 |   154402 |    78652 |    16096      8 |      604 |      322
131.87/131.92	c  131s |      14 |   154957 |    79152 |    16096      8 |      604 |      322
133.97/134.06	c  133s |      14 |   155833 |    79952 |    16096      8 |      604 |      322
136.17/136.20	c  135s |      14 |   156593 |    80652 |    16096      8 |      604 |      322
138.36/138.44	c  138s |      14 |   157358 |    81352 |    16096      8 |      604 |      322
140.47/140.50	c  140s |      14 |   158030 |    81952 |    16096      8 |      604 |      322
142.57/142.61	c  142s |      14 |   158682 |    82552 |    16096      8 |      604 |      322
144.77/144.86	c  144s |      14 |   159607 |    83352 |    16096      8 |      604 |      322
146.86/146.90	c  146s |      14 |   160287 |    83952 |    16096      8 |      604 |      322
149.07/149.20	c  148s |      14 |   161073 |    84652 |    16096      8 |      604 |      322
151.26/151.30	c  151s |      14 |   161716 |    85252 |    16096      8 |      604 |      322
153.37/153.43	c  153s |      14 |   162285 |    85752 |    16096      8 |      604 |      322
155.37/155.47	c  155s |      14 |   162841 |    86252 |    16096      8 |      604 |      322
157.67/157.70	c  157s |      14 |   163467 |    86752 |    16096      8 |      604 |      322
159.76/159.88	c  159s |      14 |   164394 |    87452 |    17706      8 |      604 |      322
160.47/160.52	c  160s |      15 |   164608 |    87632 |    17706      8 |      604 |      322
162.47/162.54	c  162s |      15 |   169599 |    88932 |    17706      9 |      604 |      322
164.57/164.60	c  164s |      15 |   172094 |    90632 |    17706      9 |      604 |      322
166.76/166.81	c  166s |      15 |   175308 |    92532 |    17706      9 |      604 |      322
168.76/168.84	c  168s |      15 |   177169 |    93932 |    17706      9 |      604 |      322
170.86/170.94	c  170s |      15 |   178456 |    95032 |    17706      9 |      604 |      322
172.97/173.03	c  172s |      15 |   179743 |    96132 |    17706      9 |      604 |      322
175.17/175.22	c  174s |      15 |   180860 |    97132 |    17706      9 |      604 |      322
177.17/177.25	c  177s |      15 |   182020 |    98132 |    17706      9 |      604 |      322
179.27/179.40	c  179s |      15 |   182938 |    98932 |    17706     10 |      604 |      322
181.37/181.45	c  181s |      15 |   183892 |    99732 |    17706     10 |      604 |      322
183.36/183.49	c  183s |      15 |   184808 |   100532 |    17706     10 |      604 |      322
185.56/185.67	c  185s |      15 |   185700 |   101332 |    17706     10 |      604 |      322
187.86/187.92	c  187s |      15 |   186625 |   102132 |    17706     10 |      604 |      322
189.86/189.93	c  189s |      15 |   187451 |   102832 |    17706     10 |      604 |      322
192.16/192.23	c  191s |      15 |   188458 |   103632 |    17706     10 |      604 |      322
194.26/194.30	c  194s |      15 |   189255 |   104332 |    17706     10 |      604 |      322
196.46/196.55	c  196s |      15 |   190153 |   105132 |    17706     10 |      604 |      322
198.56/198.64	c  198s |      15 |   190946 |   105832 |    17706     10 |      604 |      322
200.76/200.83	c  200s |      15 |   191770 |   106532 |    17706     10 |      604 |      322
202.76/202.87	c  202s |      15 |   192455 |   107132 |    17706     10 |      604 |      322
204.95/205.04	c  204s |      15 |   193118 |   107732 |    17706     10 |      604 |      322
207.26/207.34	c  207s |      15 |   193771 |   108332 |    17706     10 |      604 |      322
209.45/209.59	c  209s |      15 |   194414 |   108932 |    17706     10 |      604 |      322
211.65/211.72	c  211s |      15 |   194957 |   109432 |    17706     11 |      604 |      322
213.65/213.75	c  213s |      15 |   196481 |   110432 |    17706     11 |      604 |      322
215.75/215.85	c  215s |      15 |   197733 |   111432 |    17706     11 |      604 |      322
217.95/218.07	c  217s |      15 |   198971 |   112432 |    17706     11 |      604 |      322
220.06/220.18	c  219s |      15 |   199914 |   113232 |    17706     11 |      604 |      322
222.16/222.30	c  222s |      15 |   200880 |   114032 |    17706     11 |      604 |      322
224.36/224.42	c  224s |      15 |   201710 |   114732 |    17706     11 |      604 |      322
226.55/226.66	c  226s |      15 |   202544 |   115432 |    17706     11 |      604 |      322
228.75/228.82	c  228s |      15 |   203323 |   116132 |    17706     11 |      604 |      322
230.74/230.85	c  230s |      15 |   204169 |   116832 |    17706     11 |      604 |      322
232.85/232.92	c  232s |      15 |   204948 |   117532 |    17706     11 |      604 |      322
235.04/235.10	c  234s |      15 |   205857 |   118332 |    17706     11 |      604 |      322
237.15/237.25	c  236s |      15 |   206653 |   119032 |    17706     11 |      604 |      322
239.14/239.26	c  239s |      15 |   207346 |   119632 |    17706     11 |      604 |      322
241.25/241.30	c  241s |      15 |   208142 |   120332 |    17706     12 |      604 |      322
243.24/243.33	c  243s |      15 |   208921 |   121032 |    17706     12 |      604 |      322
245.25/245.37	c  245s |      15 |   209821 |   121832 |    17706     12 |      604 |      322
247.64/247.72	c  247s |      15 |   210715 |   122632 |    17706     12 |      604 |      322
249.65/249.76	c  249s |      15 |   211750 |   123432 |    17706     12 |      604 |      322
251.85/251.93	c  251s |      15 |   212701 |   124232 |    17706     12 |      604 |      322
254.15/254.24	c  253s |      15 |   213590 |   125032 |    17706     12 |      604 |      322
256.35/256.49	c  256s |      15 |   214413 |   125732 |    17706     12 |      604 |      322
258.55/258.69	c  258s |      15 |   215360 |   126532 |    17706     12 |      604 |      322
260.65/260.74	c  260s |      15 |   216135 |   127232 |    17706     12 |      604 |      322
262.95/263.03	c  262s |      15 |   216929 |   127932 |    17706     12 |      604 |      322
265.05/265.16	c  264s |      15 |   217604 |   128532 |    17706     12 |      604 |      322
267.35/267.42	c  267s |      15 |   218269 |   129132 |    17706     12 |      604 |      322
269.45/269.55	c  269s |      15 |   218938 |   129732 |    17706     12 |      604 |      322
271.54/271.65	c  271s |      15 |   219650 |   130332 |    17706     13 |      604 |      322
273.73/273.88	c  273s |      15 |   220717 |   131232 |    19477     13 |      604 |      322
274.54/274.67	c  274s |      16 |   221083 |   131552 |    19477     13 |      604 |      322
276.63/276.70	c  276s |      16 |   227786 |   133352 |    19477     13 |      604 |      322
278.74/278.81	c  278s |      16 |   229588 |   134852 |    19477     13 |      604 |      322
280.83/280.95	c  280s |      16 |   231076 |   136052 |    19477     13 |      604 |      322
282.83/282.98	c  282s |      16 |   232382 |   137152 |    19477     13 |      604 |      322
285.03/285.16	c  284s |      16 |   233519 |   138152 |    19477     13 |      604 |      322
287.23/287.33	c  287s |      16 |   234644 |   139152 |    19477     13 |      604 |      322
289.23/289.34	c  289s |      16 |   235705 |   140052 |    19477     13 |      604 |      322
291.33/291.48	c  291s |      16 |   236733 |   140952 |    19477     13 |      604 |      322
293.53/293.61	c  293s |      16 |   237641 |   141752 |    19477     13 |      604 |      322
296.02/296.11	c  295s |      16 |   238398 |   142452 |    19477     14 |      604 |      322
298.22/298.35	c  298s |      16 |   239298 |   143252 |    19477     14 |      604 |      322
300.42/300.50	c  300s |      16 |   240193 |   144052 |    19477     14 |      604 |      322
302.72/302.81	c  302s |      16 |   241075 |   144852 |    19477     14 |      604 |      322
304.92/305.05	c  304s |      16 |   241865 |   145552 |    19477     14 |      604 |      322
307.11/307.29	c  307s |      16 |   242637 |   146252 |    19477     14 |      604 |      322
309.52/309.62	c  309s |      16 |   243298 |   146852 |    19477     14 |      604 |      322
311.81/311.90	c  311s |      16 |   244115 |   147552 |    19477     14 |      604 |      322
314.11/314.21	c  313s |      16 |   244878 |   148252 |    19477     14 |      604 |      322
316.11/316.27	c  316s |      16 |   245604 |   148852 |    19477     14 |      604 |      322
318.41/318.58	c  318s |      16 |   246358 |   149552 |    19477     14 |      604 |      322
320.51/320.65	c  320s |      16 |   247032 |   150152 |    19477     14 |      604 |      322
322.60/322.73	c  322s |      16 |   247714 |   150752 |    19477     14 |      604 |      322
324.90/325.05	c  324s |      16 |   248345 |   151352 |    19477     14 |      604 |      322
327.10/327.20	c  326s |      16 |   248992 |   151952 |    19477     14 |      604 |      322
329.41/329.52	c  329s |      16 |   249628 |   152552 |    19477     14 |      604 |      322
331.60/331.74	c  331s |      16 |   250267 |   153152 |    19477     14 |      604 |      322
334.01/334.11	c  333s |      16 |   250891 |   153752 |    19477     14 |      604 |      322
336.30/336.43	c  336s |      16 |   251525 |   154352 |    19477     15 |      604 |      322
338.41/338.53	c  338s |      16 |   252292 |   155052 |    19477     15 |      604 |      322
340.50/340.62	c  340s |      16 |   252939 |   155652 |    19477     15 |      604 |      322
342.50/342.64	c  342s |      16 |   253578 |   156252 |    19477     15 |      604 |      322
344.60/344.77	c  344s |      16 |   254223 |   156852 |    19477     15 |      604 |      322
346.81/346.90	c  346s |      16 |   254868 |   157452 |    19477     15 |      604 |      322
349.11/349.20	c  348s |      16 |   255510 |   158052 |    19477     15 |      604 |      322
351.10/351.23	c  350s |      16 |   256038 |   158552 |    19477     15 |      604 |      322
353.20/353.35	c  353s |      16 |   256561 |   159052 |    19477     15 |      604 |      322
355.31/355.45	c  355s |      16 |   257214 |   159652 |    19477     15 |      604 |      322
357.60/357.73	c  357s |      16 |   257867 |   160252 |    19477     15 |      604 |      322
359.62/359.78	c  359s |      16 |   258408 |   160752 |    19477     15 |      604 |      322
361.81/361.93	c  361s |      16 |   259063 |   161352 |    19477     15 |      604 |      322
364.11/364.24	c  363s |      16 |   259713 |   161952 |    19477     15 |      604 |      322
366.21/366.38	c  366s |      16 |   260260 |   162452 |    19477     15 |      604 |      322
368.51/368.63	c  368s |      16 |   260887 |   163052 |    19477     15 |      604 |      322
370.71/370.84	c  370s |      16 |   261421 |   163552 |    19477     15 |      604 |      322
372.91/373.07	c  372s |      16 |   261963 |   164052 |    19477     15 |      604 |      322
375.11/375.25	c  374s |      16 |   262490 |   164552 |    19477     15 |      604 |      322
377.21/377.39	c  377s |      16 |   263017 |   165052 |    19477     15 |      604 |      322
379.40/379.57	c  379s |      16 |   263442 |   165452 |    19477     16 |      604 |      322
381.61/381.79	c  381s |      16 |   264081 |   166052 |    19477     16 |      604 |      322
383.99/384.10	c  383s |      16 |   264856 |   166752 |    19477     16 |      604 |      322
385.89/386.10	c  385s |      16 |   265481 |   167352 |    19477     16 |      604 |      322
388.31/388.42	c  388s |      16 |   266235 |   168052 |    19477     16 |      604 |      322
390.30/390.46	c  390s |      16 |   266779 |   168552 |    19477     16 |      604 |      322
392.50/392.70	c  392s |      16 |   267436 |   169152 |    19477     16 |      604 |      322
394.59/394.70	c  394s |      16 |   267972 |   169652 |    19477     16 |      604 |      322
396.89/397.05	c  396s |      16 |   268605 |   170252 |    19477     16 |      604 |      322
398.99/399.19	c  398s |      16 |   269266 |   170852 |    19477     16 |      604 |      322
401.30/401.45	c  401s |      16 |   269890 |   171452 |    19477     16 |      604 |      322
403.60/403.78	c  403s |      16 |   270531 |   172052 |    19477     16 |      604 |      322
406.00/406.13	c  405s |      16 |   271175 |   172652 |    19477     16 |      604 |      322
408.00/408.19	c  407s |      16 |   271693 |   173152 |    19477     16 |      604 |      322
410.30/410.49	c  410s |      16 |   272351 |   173752 |    19477     16 |      604 |      322
412.69/412.81	c  412s |      16 |   272989 |   174352 |    19477     16 |      604 |      322
414.79/414.97	c  414s |      16 |   273528 |   174852 |    19477     16 |      604 |      322
417.29/417.40	c  417s |      16 |   274207 |   175452 |    19477     16 |      604 |      322
419.59/419.78	c  419s |      16 |   274878 |   176052 |    19477     16 |      604 |      322
421.89/422.07	c  421s |      16 |   275325 |   176452 |    19477     17 |      604 |      322
424.09/424.27	c  424s |      16 |   276063 |   177152 |    19477     17 |      604 |      322
426.19/426.33	c  426s |      16 |   276881 |   177852 |    19477     17 |      604 |      322
428.19/428.39	c  428s |      16 |   277544 |   178452 |    19477     17 |      604 |      322
430.49/430.66	c  430s |      16 |   278347 |   179152 |    19477     17 |      604 |      322
432.69/432.83	c  432s |      16 |   279007 |   179752 |    19477     17 |      604 |      322
434.68/434.85	c  434s |      16 |   279653 |   180352 |    19477     17 |      604 |      322
436.99/437.19	c  436s |      16 |   280291 |   180952 |    19477     17 |      604 |      322
439.09/439.27	c  439s |      16 |   281020 |   181552 |    19477     17 |      604 |      322
441.28/441.49	c  441s |      16 |   281679 |   182152 |    19477     17 |      604 |      322
443.39/443.59	c  443s |      16 |   282366 |   182752 |    19477     17 |      604 |      322
445.78/445.94	c  445s |      16 |   283009 |   183352 |    19477     17 |      604 |      322
447.98/448.16	c  447s |      16 |   283682 |   183952 |    19477     17 |      604 |      322
450.38/450.52	c  450s |      16 |   284342 |   184552 |    19477     17 |      604 |      322
452.38/452.58	c  452s |      16 |   284892 |   185052 |    19477     17 |      604 |      322
454.58/454.73	c  454s |      16 |   285447 |   185552 |    19477     17 |      604 |      322
456.78/456.91	c  456s |      16 |   285997 |   186052 |    19477     17 |      604 |      322
458.78/458.97	c  458s |      16 |   286551 |   186552 |    19477     17 |      604 |      322
461.18/461.36	c  461s |      16 |   287091 |   187052 |    19477     17 |      604 |      322
463.48/463.67	c  463s |      16 |   287630 |   187552 |    19477     17 |      604 |      322
465.78/465.92	c  465s |      16 |   288188 |   188052 |    19477     18 |      604 |      322
467.98/468.11	c  467s |      16 |   288942 |   188752 |    19477     18 |      604 |      322
470.08/470.20	c  469s |      16 |   289568 |   189352 |    19477     18 |      604 |      322
472.08/472.26	c  472s |      16 |   290212 |   189952 |    19477     18 |      604 |      322
474.28/474.44	c  474s |      16 |   290865 |   190552 |    19477     18 |      604 |      322
476.68/476.82	c  476s |      16 |   291522 |   191152 |    19477     18 |      604 |      322
478.97/479.11	c  478s |      16 |   292185 |   191752 |    19477     18 |      604 |      322
480.97/481.13	c  480s |      16 |   292723 |   192252 |    19477     18 |      604 |      322
482.97/483.18	c  482s |      16 |   293252 |   192752 |    19477     18 |      604 |      322
485.27/485.42	c  485s |      16 |   293778 |   193252 |    19477     18 |      604 |      322
487.29/487.46	c  487s |      16 |   294326 |   193752 |    19477     18 |      604 |      322
489.28/489.51	c  489s |      16 |   294874 |   194252 |    19477     18 |      604 |      322
491.38/491.54	c  491s |      16 |   295418 |   194752 |    19477     18 |      604 |      322
493.47/493.67	c  493s |      16 |   295957 |   195252 |    19477     18 |      604 |      322
495.68/495.87	c  495s |      16 |   296503 |   195752 |    19477     18 |      604 |      322
498.07/498.23	c  497s |      16 |   297027 |   196252 |    21425     18 |      604 |      322
500.27/500.47	c  500s |      16 |   297558 |   196752 |    21425     18 |      604 |      322
502.68/502.82	c  502s |      16 |   298079 |   197252 |    21425     18 |      604 |      322
503.57/503.74	c  503s |      17 |   298272 |   197432 |    21425     18 |      604 |      322
505.57/505.74	c  505s |      17 |   303812 |   199232 |    21425     18 |      604 |      322
507.67/507.80	c  507s |      17 |   307025 |   200832 |    21425     19 |      604 |      322
509.67/509.83	c  509s |      17 |   312450 |   202632 |    21425     19 |      604 |      322
511.77/511.96	c  511s |      17 |   313852 |   203832 |    21425     19 |      604 |      322
513.76/513.99	c  513s |      17 |   314930 |   204832 |    21425     19 |      604 |      322
515.87/516.05	c  515s |      17 |   318012 |   206432 |    21425     19 |      604 |      322
517.97/518.12	c  517s |      17 |   319407 |   207632 |    21425     19 |      604 |      322
520.06/520.27	c  520s |      17 |   320652 |   208732 |    21425     19 |      604 |      322
522.25/522.41	c  522s |      17 |   321800 |   209732 |    21425     19 |      604 |      322
524.35/524.59	c  524s |      17 |   322941 |   210732 |    21425     19 |      604 |      322
526.55/526.72	c  526s |      17 |   323948 |   211632 |    21425     19 |      604 |      322
528.75/528.95	c  528s |      17 |   324965 |   212532 |    21425     19 |      604 |      322
530.95/531.18	c  530s |      17 |   325720 |   213232 |    21425     20 |      604 |      322
533.24/533.46	c  533s |      17 |   326724 |   214132 |    21425     20 |      604 |      322
535.34/535.58	c  535s |      17 |   328797 |   215232 |    21425     20 |      604 |      322
537.44/537.60	c  537s |      17 |   330323 |   216332 |    21425     20 |      604 |      322
539.54/539.71	c  539s |      17 |   331629 |   217332 |    21425     20 |      604 |      322
541.54/541.73	c  541s |      17 |   332746 |   218232 |    21425     20 |      604 |      322
543.64/543.84	c  543s |      17 |   333795 |   219132 |    21425     20 |      604 |      322
545.93/546.10	c  545s |      17 |   334715 |   219932 |    21425     20 |      604 |      322
547.93/548.19	c  547s |      17 |   335520 |   220632 |    21425     20 |      604 |      322
550.03/550.22	c  549s |      17 |   336319 |   221332 |    21425     20 |      604 |      322
552.05/552.23	c  551s |      17 |   337331 |   222132 |    21425     20 |      604 |      322
554.04/554.28	c  554s |      17 |   338105 |   222832 |    21425     20 |      604 |      322
556.13/556.30	c  556s |      17 |   338909 |   223532 |    21425     20 |      604 |      322
558.34/558.55	c  558s |      17 |   339676 |   224232 |    21425     20 |      604 |      322
560.33/560.56	c  560s |      17 |   340376 |   224832 |    21425     20 |      604 |      322
562.63/562.86	c  562s |      17 |   341149 |   225532 |    21425     20 |      604 |      322
564.73/564.90	c  564s |      17 |   341695 |   226032 |    21425     21 |      604 |      322
566.83/567.03	c  566s |      17 |   342436 |   226732 |    21425     21 |      604 |      322
568.92/569.13	c  568s |      17 |   343199 |   227432 |    21425     21 |      604 |      322
571.13/571.35	c  571s |      17 |   343986 |   228132 |    21425     21 |      604 |      322
573.32/573.56	c  573s |      17 |   344645 |   228732 |    21425     21 |      604 |      322
575.53/575.77	c  575s |      17 |   345305 |   229332 |    21425     21 |      604 |      322
577.63/577.84	c  577s |      17 |   345972 |   229932 |    21425     21 |      604 |      322
579.73/579.95	c  579s |      17 |   347120 |   230732 |    21425     21 |      604 |      322
581.84/582.05	c  581s |      17 |   348098 |   231532 |    21425     21 |      604 |      322
583.82/584.09	c  583s |      17 |   349042 |   232332 |    21425     21 |      604 |      322
586.02/586.20	c  585s |      17 |   349880 |   233032 |    21425     21 |      604 |      322
588.33/588.51	c  588s |      17 |   350673 |   233732 |    21425     21 |      604 |      322
590.42/590.61	c  590s |      17 |   351307 |   234332 |    21425     21 |      604 |      322
592.51/592.71	c  592s |      17 |   353078 |   235232 |    21425     21 |      604 |      322
594.52/594.78	c  594s |      17 |   354727 |   236232 |    21425     21 |      604 |      322
596.62/596.86	c  596s |      17 |   355873 |   237132 |    21425     21 |      604 |      322
599.02/599.27	c  599s |      17 |   356876 |   237932 |    21425     22 |      604 |      322
601.11/601.30	c  601s |      17 |   358098 |   238832 |    21425     22 |      604 |      322
603.11/603.34	c  603s |      17 |   359914 |   239932 |    21425     22 |      604 |      322
605.11/605.39	c  605s |      17 |   361659 |   241032 |    21425     22 |      604 |      322
607.21/607.43	c  607s |      17 |   362800 |   241932 |    21425     22 |      604 |      322
609.22/609.46	c  609s |      17 |   363787 |   242732 |    21425     22 |      604 |      322
611.31/611.56	c  611s |      17 |   364740 |   243532 |    21425     22 |      604 |      322
613.50/613.80	c  613s |      17 |   365625 |   244332 |    21425     22 |      604 |      322
615.60/615.81	c  615s |      17 |   366499 |   245032 |    21425     22 |      604 |      322
617.70/617.91	c  617s |      17 |   367583 |   245832 |    21425     22 |      604 |      322
619.90/620.10	c  619s |      17 |   368481 |   246532 |    21425     22 |      604 |      322
622.10/622.33	c  622s |      17 |   369313 |   247232 |    21425     22 |      604 |      322
624.29/624.55	c  624s |      17 |   370391 |   248032 |    21425     22 |      604 |      322
626.30/626.57	c  626s |      17 |   371269 |   248732 |    21425     22 |      604 |      322
628.49/628.73	c  628s |      17 |   372106 |   249432 |    21425     22 |      604 |      322
630.60/630.81	c  630s |      17 |   372819 |   250032 |    21425     23 |      604 |      322
632.78/633.02	c  632s |      17 |   373737 |   250832 |    21425     23 |      604 |      322
634.99/635.24	c  634s |      17 |   374662 |   251632 |    21425     23 |      604 |      322
636.99/637.25	c  636s |      17 |   375466 |   252332 |    21425     23 |      604 |      322
639.18/639.45	c  639s |      17 |   376287 |   253032 |    21425     23 |      604 |      322
641.28/641.50	c  641s |      17 |   376984 |   253632 |    21425     23 |      604 |      322
643.47/643.77	c  643s |      17 |   377813 |   254332 |    21425     23 |      604 |      322
645.88/646.11	c  645s |      17 |   378623 |   255032 |    21425     23 |      604 |      322
647.98/648.27	c  648s |      17 |   379280 |   255632 |    21425     23 |      604 |      322
650.27/650.53	c  650s |      17 |   379991 |   256232 |    21425     23 |      604 |      322
652.47/652.75	c  652s |      17 |   380805 |   256932 |    21425     23 |      604 |      322
654.77/655.06	c  654s |      17 |   381612 |   257632 |    21425     23 |      604 |      322
656.77/657.08	c  656s |      17 |   382337 |   258232 |    21425     23 |      604 |      322
659.07/659.32	c  659s |      17 |   383045 |   258832 |    21425     23 |      604 |      322
661.07/661.35	c  661s |      17 |   383736 |   259432 |    21425     23 |      604 |      322
663.26/663.50	c  663s |      17 |   384438 |   260032 |    21425     23 |      604 |      322
665.46/665.78	c  665s |      17 |   385103 |   260632 |    21425     23 |      604 |      322
667.47/667.79	c  667s |      17 |   385634 |   261132 |    21425     23 |      604 |      322
669.56/669.84	c  669s |      17 |   386189 |   261632 |    21425     23 |      604 |      322
672.35/672.68	c  672s |      17 |   386868 |   262232 |    21425     24 |      604 |      322
674.55/674.81	c  674s |      17 |   387518 |   262832 |    21425     24 |      604 |      322
676.85/677.12	c  676s |      17 |   388289 |   263532 |    21425     24 |      604 |      322
678.95/679.21	c  678s |      17 |   389078 |   264232 |    21425     24 |      604 |      322
680.95/681.22	c  680s |      17 |   389852 |   264932 |    21425     24 |      604 |      322
682.95/683.28	c  683s |      17 |   390541 |   265532 |    21425     24 |      604 |      322
685.24/685.50	c  685s |      17 |   391209 |   266132 |    21425     24 |      604 |      322
687.54/687.83	c  687s |      17 |   391897 |   266732 |    21425     24 |      604 |      322
689.85/690.13	c  689s |      17 |   392546 |   267332 |    21425     24 |      604 |      322
691.94/692.22	c  691s |      17 |   393092 |   267832 |    21425     24 |      604 |      322
694.04/694.38	c  694s |      17 |   393640 |   268332 |    21425     24 |      604 |      322
696.14/696.48	c  696s |      17 |   394202 |   268832 |    21425     24 |      604 |      322
698.35/698.64	c  698s |      17 |   394753 |   269332 |    21425     24 |      604 |      322
700.54/700.85	c  700s |      17 |   395319 |   269832 |    21425     24 |      604 |      322
702.83/703.15	c  702s |      17 |   395860 |   270332 |    21425     24 |      604 |      322
705.02/705.39	c  705s |      17 |   396825 |   271032 |    21425     24 |      604 |      322
707.33/707.67	c  707s |      17 |   397740 |   271732 |    21425     24 |      604 |      322
709.43/709.76	c  709s |      17 |   398348 |   272232 |    21425     24 |      604 |      322
711.63/711.94	c  711s |      17 |   398928 |   272732 |    21425     24 |      604 |      322
713.63/713.95	c  713s |      17 |   399554 |   273232 |    21425     24 |      604 |      322
715.83/716.13	c  715s |      17 |   400288 |   273832 |    21425     24 |      604 |      322
718.13/718.46	c  718s |      17 |   400845 |   274332 |    21425     25 |      604 |      322
720.42/720.73	c  720s |      17 |   401676 |   275032 |    21425     25 |      604 |      322
722.52/722.83	c  722s |      17 |   402481 |   275732 |    21425     25 |      604 |      322
724.72/725.08	c  724s |      17 |   403433 |   276532 |    21425     25 |      604 |      322
727.01/727.30	c  727s |      17 |   404216 |   277232 |    21425     25 |      604 |      322
729.21/729.53	c  729s |      17 |   404997 |   277932 |    21425     25 |      604 |      322
731.41/731.71	c  731s |      17 |   405805 |   278632 |    21425     25 |      604 |      322
733.60/733.98	c  733s |      17 |   406665 |   279332 |    21425     25 |      604 |      322
735.80/736.12	c  735s |      17 |   407342 |   279932 |    21425     25 |      604 |      322
738.00/738.34	c  738s |      17 |   408018 |   280532 |    21425     25 |      604 |      322
740.01/740.39	c  740s |      17 |   408698 |   281132 |    21425     25 |      604 |      322
742.39/742.78	c  742s |      17 |   409378 |   281732 |    21425     25 |      604 |      322
744.59/744.94	c  744s |      17 |   409950 |   282232 |    21425     25 |      604 |      322
746.79/747.14	c  746s |      17 |   410653 |   282832 |    21425     25 |      604 |      322
748.99/749.37	c  749s |      17 |   411419 |   283432 |    21425     25 |      604 |      322
751.10/751.46	c  751s |      17 |   412264 |   284032 |    21425     25 |      604 |      322
753.38/753.75	c  753s |      17 |   413498 |   284832 |    21425     25 |      604 |      322
755.68/756.02	c  755s |      17 |   414454 |   285532 |    21425     25 |      604 |      322
757.88/758.25	c  757s |      17 |   415396 |   286232 |    21425     25 |      604 |      322
760.18/760.53	c  760s |      17 |   416214 |   286832 |    21425     26 |      604 |      322
762.28/762.60	c  762s |      17 |   417057 |   287532 |    21425     26 |      604 |      322
764.28/764.61	c  764s |      17 |   417910 |   288232 |    21425     26 |      604 |      322
766.38/766.74	c  766s |      17 |   418761 |   288932 |    21425     26 |      604 |      322
768.38/768.77	c  768s |      17 |   419474 |   289532 |    21425     26 |      604 |      322
770.67/771.02	c  770s |      17 |   420296 |   290232 |    21425     26 |      604 |      322
772.66/773.06	c  772s |      17 |   420987 |   290832 |    21425     26 |      604 |      322
774.66/775.07	c  774s |      17 |   421701 |   291432 |    21425     26 |      604 |      322
776.77/777.14	c  776s |      17 |   422256 |   291932 |    21425     26 |      604 |      322
778.86/779.28	c  779s |      17 |   422998 |   292532 |    21425     26 |      604 |      322
780.96/781.36	c  781s |      17 |   423715 |   293132 |    21425     26 |      604 |      322
783.25/783.60	c  783s |      17 |   424402 |   293732 |    21425     26 |      604 |      322
785.65/786.01	c  785s |      17 |   425058 |   294332 |    23568     26 |      604 |      322
787.86/788.20	c  787s |      17 |   425620 |   294832 |    23568     26 |      604 |      322
790.05/790.41	c  790s |      17 |   426170 |   295332 |    23568     26 |      604 |      322
792.24/792.66	c  792s |      17 |   426711 |   295832 |    23568     26 |      604 |      322
794.15/794.58	c  794s |      18 |   427190 |   296252 |    23568     26 |      604 |      322
796.24/796.69	c  796s |      18 |   432481 |   297452 |    23568     26 |      604 |      322
798.35/798.72	c  798s |      18 |   434463 |   298852 |    23568     26 |      604 |      322
800.55/800.91	c  800s |      18 |   436108 |   300152 |    23568     26 |      604 |      322
802.84/803.28	c  803s |      18 |   437194 |   301052 |    23568     27 |      604 |      322
805.04/805.44	c  805s |      18 |   438552 |   302152 |    23568     27 |      604 |      322
807.04/807.49	c  807s |      18 |   442299 |   303452 |    23568     27 |      604 |      322
809.24/809.63	c  809s |      18 |   444035 |   304752 |    23568     27 |      604 |      322
811.34/811.77	c  811s |      18 |   445207 |   305752 |    23568     27 |      604 |      322
813.32/813.78	c  813s |      18 |   446224 |   306652 |    23568     27 |      604 |      322
815.63/816.00	c  815s |      18 |   447279 |   307552 |    23568     27 |      604 |      322
817.73/818.10	c  817s |      18 |   448184 |   308352 |    23568     27 |      604 |      322
819.83/820.22	c  819s |      18 |   449075 |   309152 |    23568     27 |      604 |      322
822.02/822.47	c  822s |      18 |   449849 |   309852 |    23568     27 |      604 |      322
824.22/824.68	c  824s |      18 |   450598 |   310552 |    23568     27 |      604 |      322
826.42/826.80	c  826s |      18 |   451383 |   311252 |    23568     27 |      604 |      322
828.51/828.97	c  828s |      18 |   452201 |   311952 |    23568     27 |      604 |      322
830.72/831.14	c  830s |      18 |   452984 |   312652 |    23568     27 |      604 |      322
832.91/833.32	c  833s |      18 |   453639 |   313252 |    23568     27 |      604 |      322
835.01/835.49	c  835s |      18 |   454314 |   313852 |    23568     27 |      604 |      322
837.31/837.76	c  837s |      18 |   454985 |   314452 |    23568     27 |      604 |      322
839.62/840.06	c  839s |      18 |   455520 |   314952 |    23568     28 |      604 |      322
841.81/842.26	c  842s |      18 |   456199 |   315552 |    23568     28 |      604 |      322
844.00/844.41	c  844s |      18 |   457021 |   316252 |    23568     28 |      604 |      322
846.20/846.60	c  846s |      18 |   457677 |   316852 |    23568     28 |      604 |      322
848.20/848.61	c  848s |      18 |   465497 |   318452 |    23568     28 |      604 |      322
850.30/850.75	c  850s |      18 |   467810 |   320052 |    23568     28 |      604 |      322
852.40/852.80	c  852s |      18 |   469230 |   321252 |    23568     28 |      604 |      322
854.49/854.93	c  854s |      18 |   471164 |   322552 |    23568     28 |      604 |      322
856.69/857.11	c  856s |      18 |   472549 |   323552 |    23568     28 |      604 |      322
858.71/859.21	c  858s |      18 |   473576 |   324352 |    23568     28 |      604 |      322
860.79/861.29	c  861s |      18 |   474755 |   325252 |    23568     28 |      604 |      322
862.99/863.44	c  863s |      18 |   478724 |   326152 |    23568     29 |      604 |      322
865.09/865.53	c  865s |      18 |   480464 |   327252 |    23568     29 |      604 |      322
867.29/867.70	c  867s |      18 |   482024 |   328352 |    23568     29 |      604 |      322
869.29/869.76	c  869s |      18 |   483296 |   329352 |    23568     29 |      604 |      322
871.39/871.85	c  871s |      18 |   484244 |   330152 |    23568     29 |      604 |      322
873.49/873.95	c  873s |      18 |   485229 |   330952 |    23568     29 |      604 |      322
875.59/876.02	c  875s |      18 |   486221 |   331752 |    23568     29 |      604 |      322
877.59/878.07	c  877s |      18 |   487219 |   332552 |    23568     29 |      604 |      322
879.60/880.09	c  879s |      18 |   487915 |   333152 |    23568     29 |      604 |      322
881.89/882.37	c  882s |      18 |   488742 |   333852 |    23568     29 |      604 |      322
884.19/884.63	c  884s |      18 |   489520 |   334552 |    23568     29 |      604 |      322
886.30/886.73	c  886s |      18 |   494108 |   335452 |    23568     29 |      604 |      322
888.39/888.86	c  888s |      18 |   502191 |   337052 |    23568     29 |      604 |      322
890.49/890.96	c  890s |      18 |   506229 |   338252 |    23568     29 |      604 |      322
892.58/893.00	c  892s |      18 |   507907 |   339352 |    23568     29 |      604 |      322
894.68/895.13	c  894s |      18 |   510132 |   340252 |    23568     30 |      604 |      322
896.89/897.37	c  897s |      18 |   511586 |   341452 |    23568     30 |      604 |      322
898.98/899.43	c  899s |      18 |   516397 |   342652 |    23568     30 |      604 |      322
900.98/901.47	c  901s |      18 |   517614 |   343652 |    23568     30 |      604 |      322
903.18/903.68	c  903s |      18 |   518832 |   344552 |    23568     30 |      604 |      322
905.28/905.79	c  905s |      18 |   519912 |   345452 |    23568     30 |      604 |      322
907.48/907.90	c  907s |      18 |   521017 |   346352 |    23568     30 |      604 |      322
909.68/910.19	c  909s |      18 |   522018 |   347252 |    23568     30 |      604 |      322
911.88/912.37	c  912s |      18 |   522924 |   348052 |    23568     30 |      604 |      322
913.88/914.38	c  914s |      18 |   523732 |   348752 |    23568     30 |      604 |      322
916.08/916.59	c  916s |      18 |   524820 |   349552 |    23568     30 |      604 |      322
918.20/918.68	c  918s |      18 |   525889 |   350252 |    23568     30 |      604 |      322
920.29/920.73	c  920s |      18 |   526987 |   351052 |    23568     30 |      604 |      322
922.38/922.88	c  922s |      18 |   527718 |   351652 |    23568     30 |      604 |      322
924.49/924.95	c  924s |      18 |   528754 |   352252 |    23568     30 |      604 |      322
926.69/927.10	c  926s |      18 |   529699 |   352852 |    23568     31 |      604 |      322
928.88/929.34	c  929s |      18 |   530979 |   353752 |    23568     31 |      604 |      322
930.88/931.38	c  931s |      18 |   532008 |   354552 |    23568     31 |      604 |      322
933.18/933.61	c  933s |      18 |   533588 |   355452 |    23568     31 |      604 |      322
935.28/935.71	c  935s |      18 |   534851 |   356352 |    23568     31 |      604 |      322
937.28/937.75	c  937s |      18 |   535885 |   357152 |    23568     31 |      604 |      322
939.38/939.82	c  939s |      18 |   536834 |   357852 |    23568     31 |      604 |      322
941.68/942.15	c  941s |      18 |   537810 |   358652 |    23568     31 |      604 |      322
943.97/944.47	c  944s |      18 |   538689 |   359352 |    23568     31 |      604 |      322
946.07/946.53	c  946s |      18 |   539463 |   359952 |    23568     31 |      604 |      322
948.38/948.82	c  948s |      18 |   540342 |   360652 |    23568     31 |      604 |      322
950.58/951.00	c  950s |      18 |   542906 |   361752 |    23568     31 |      604 |      322
952.68/953.12	c  952s |      18 |   544059 |   362552 |    23568     31 |      604 |      322
954.88/955.36	c  955s |      18 |   544867 |   363252 |    23568     31 |      604 |      322
956.88/957.39	c  957s |      18 |   545713 |   363952 |    23568     31 |      604 |      322
959.28/959.75	c  959s |      18 |   546394 |   364552 |    23568     31 |      604 |      322
961.48/961.99	c  961s |      18 |   547053 |   365152 |    23568     31 |      604 |      322
963.68/964.12	c  963s |      18 |   547745 |   365752 |    23568     31 |      604 |      322
966.27/966.71	c  966s |      18 |   548403 |   366352 |    23568     32 |      604 |      322
968.47/968.98	c  968s |      18 |   549194 |   367052 |    23568     32 |      604 |      322
970.67/971.13	c  970s |      18 |   550255 |   367852 |    23568     32 |      604 |      322
972.67/973.16	c  972s |      18 |   551084 |   368552 |    23568     32 |      604 |      322
974.78/975.20	c  974s |      18 |   551891 |   369252 |    23568     32 |      604 |      322
976.87/977.39	c  977s |      18 |   552733 |   369952 |    23568     32 |      604 |      322
979.27/979.71	c  979s |      18 |   553550 |   370652 |    23568     32 |      604 |      322
981.37/981.82	c  981s |      18 |   554228 |   371252 |    23568     32 |      604 |      322
983.57/984.07	c  983s |      18 |   555103 |   371952 |    23568     32 |      604 |      322
985.67/986.15	c  985s |      18 |   555810 |   372552 |    23568     32 |      604 |      322
987.97/988.42	c  988s |      18 |   556503 |   373152 |    23568     32 |      604 |      322
990.27/990.71	c  990s |      18 |   557207 |   373752 |    23568     32 |      604 |      322
992.27/992.73	c  992s |      18 |   557824 |   374252 |    23568     32 |      604 |      322
994.37/994.81	c  994s |      18 |   558440 |   374752 |    23568     32 |      604 |      322
996.37/996.84	c  996s |      18 |   559047 |   375252 |    23568     32 |      604 |      322
998.37/998.90	c  998s |      18 |   559506 |   375652 |    23568     32 |      604 |      322
1000.58/1001.03	c 1000s |      18 |   561451 |   376352 |    23568     32 |      604 |      322
1002.57/1003.10	c 1002s |      18 |   563324 |   377152 |    23568     32 |      604 |      322
1004.67/1005.16	c 1004s |      18 |   565293 |   378152 |    23568     32 |      604 |      322
1006.67/1007.19	c 1006s |      18 |   566672 |   379052 |    23568     32 |      604 |      322
1009.17/1009.64	c 1009s |      18 |   567529 |   379652 |    23568     33 |      604 |      322
1011.37/1011.89	c 1011s |      18 |   568558 |   380452 |    23568     33 |      604 |      322
1013.78/1014.28	c 1014s |      18 |   569399 |   381152 |    23568     33 |      604 |      322
1016.08/1016.52	c 1016s |      18 |   570342 |   381852 |    23568     33 |      604 |      322
1018.07/1018.60	c 1018s |      18 |   571210 |   382552 |    23568     33 |      604 |      322
1020.17/1020.67	c 1020s |      18 |   572097 |   383252 |    23568     33 |      604 |      322
1022.37/1022.83	c 1022s |      18 |   572967 |   383952 |    23568     33 |      604 |      322
1024.77/1025.22	c 1024s |      18 |   573697 |   384552 |    23568     33 |      604 |      322
1026.97/1027.45	c 1027s |      18 |   574310 |   385052 |    23568     33 |      604 |      322
1029.27/1029.73	c 1029s |      18 |   574913 |   385552 |    23568     33 |      604 |      322
1031.56/1032.07	c 1031s |      18 |   575587 |   386152 |    23568     33 |      604 |      322
1033.96/1034.48	c 1034s |      18 |   576284 |   386752 |    23568     33 |      604 |      322
1036.56/1037.02	c 1036s |      18 |   576850 |   387252 |    23568     33 |      604 |      322
1038.76/1039.20	c 1038s |      18 |   577454 |   387752 |    23568     33 |      604 |      322
1040.96/1041.41	c 1041s |      18 |   577902 |   388152 |    23568     33 |      604 |      322
1043.06/1043.58	c 1043s |      18 |   578461 |   388652 |    23568     33 |      604 |      322
1045.56/1046.03	c 1045s |      18 |   579062 |   389152 |    23568     33 |      604 |      322
1047.97/1048.47	c 1048s |      18 |   579626 |   389652 |    23568     33 |      604 |      322
1050.26/1050.74	c 1050s |      18 |   580095 |   390052 |    23568     33 |      604 |      322
1052.56/1053.07	c 1052s |      18 |   580680 |   390552 |    23568     33 |      604 |      322
1055.06/1055.50	c 1055s |      18 |   581256 |   391052 |    23568     33 |      604 |      322
1057.36/1057.85	c 1057s |      18 |   581833 |   391552 |    23568     33 |      604 |      322
1059.36/1059.87	c 1059s |      18 |   582275 |   391952 |    23568     33 |      604 |      322
1061.66/1062.10	c 1061s |      18 |   582745 |   392352 |    23568     33 |      604 |      322
1063.66/1064.16	c 1063s |      18 |   583202 |   392752 |    23568     33 |      604 |      322
1065.86/1066.39	c 1066s |      18 |   583667 |   393152 |    23568     34 |      604 |      322
1067.96/1068.43	c 1068s |      18 |   584232 |   393652 |    23568     34 |      604 |      322
1070.46/1070.92	c 1070s |      18 |   584801 |   394152 |    23568     34 |      604 |      322
1072.76/1073.25	c 1072s |      18 |   585353 |   394652 |    23568     34 |      604 |      322
1075.26/1075.76	c 1075s |      18 |   585907 |   395152 |    23568     34 |      604 |      322
1077.36/1077.87	c 1077s |      18 |   586367 |   395552 |    23568     34 |      604 |      322
1079.96/1080.42	c 1080s |      18 |   586945 |   396052 |    23568     34 |      604 |      322
1082.15/1082.68	c 1082s |      18 |   587399 |   396452 |    23568     34 |      604 |      322
1084.75/1085.29	c 1085s |      18 |   587832 |   396852 |    23568     34 |      604 |      322
1087.25/1087.74	c 1087s |      18 |   588278 |   397252 |    23568     34 |      604 |      322
1089.55/1090.00	c 1089s |      18 |   588791 |   397652 |    23568     34 |      604 |      322
1092.05/1092.54	c 1092s |      18 |   589399 |   398152 |    23568     34 |      604 |      322
1094.16/1094.66	c 1094s |      18 |   590130 |   398652 |    23568     34 |      604 |      322
1096.27/1096.76	c 1096s |      18 |   590640 |   399052 |    23568     34 |      604 |      322
1098.35/1098.81	c 1098s |      18 |   591109 |   399452 |    23568     34 |      604 |      322
1100.67/1101.12	c 1100s |      18 |   591693 |   399952 |    23568     34 |      604 |      322
1102.66/1103.18	c 1102s |      18 |   592228 |   400352 |    23568     34 |      604 |      322
1104.86/1105.35	c 1105s |      18 |   592756 |   400752 |    23568     34 |      604 |      322
1106.96/1107.45	c 1107s |      18 |   593207 |   401152 |    23568     34 |      604 |      322
1109.16/1109.66	c 1109s |      18 |   593858 |   401652 |    23568     34 |      604 |      322
1111.66/1112.16	c 1111s |      18 |   594317 |   402052 |    23568     34 |      604 |      322
1113.76/1114.25	c 1114s |      18 |   594778 |   402452 |    23568     34 |      604 |      322
1116.26/1116.71	c 1116s |      18 |   595729 |   403052 |    23568     34 |      604 |      322
1118.55/1119.04	c 1118s |      18 |   596373 |   403552 |    23568     34 |      604 |      322
1121.05/1121.51	c 1121s |      18 |   596984 |   404052 |    23568     34 |      604 |      322
1123.55/1124.07	c 1123s |      18 |   597581 |   404552 |    23568     34 |      604 |      322
1125.84/1126.33	c 1126s |      18 |   598095 |   404952 |    23568     34 |      604 |      322
1127.84/1128.37	c 1128s |      18 |   598578 |   405352 |    23568     34 |      604 |      322
1130.45/1130.92	c 1130s |      18 |   599205 |   405852 |    23568     34 |      604 |      322
1132.85/1133.35	c 1133s |      18 |   599540 |   406152 |    23568     35 |      604 |      322
1135.05/1135.57	c 1135s |      18 |   599990 |   406552 |    23568     35 |      604 |      322
1137.35/1137.89	c 1137s |      18 |   600555 |   407052 |    23568     35 |      604 |      322
1139.55/1140.05	c 1139s |      18 |   601128 |   407552 |    23568     35 |      604 |      322
1141.75/1142.25	c 1141s |      18 |   601743 |   408052 |    23568     35 |      604 |      322
1143.95/1144.44	c 1144s |      18 |   602318 |   408552 |    23568     35 |      604 |      322
1146.15/1146.66	c 1146s |      18 |   602893 |   409052 |    23568     35 |      604 |      322
1148.55/1149.09	c 1148s |      18 |   603442 |   409552 |    23568     35 |      604 |      322
1150.65/1151.16	c 1150s |      18 |   603878 |   409952 |    23568     35 |      604 |      322
1152.65/1153.18	c 1152s |      18 |   604306 |   410352 |    23568     35 |      604 |      322
1155.05/1155.59	c 1155s |      18 |   604875 |   410852 |    23568     35 |      604 |      322
1157.14/1157.67	c 1157s |      18 |   605359 |   411252 |    23568     35 |      604 |      322
1159.54/1160.00	c 1159s |      18 |   605945 |   411752 |    23568     35 |      604 |      322
1161.64/1162.16	c 1161s |      18 |   606384 |   412152 |    23568     35 |      604 |      322
1163.84/1164.36	c 1164s |      18 |   606821 |   412552 |    23568     35 |      604 |      322
1166.14/1166.64	c 1166s |      18 |   607296 |   412952 |    23568     35 |      604 |      322
1168.34/1168.88	c 1168s |      18 |   607879 |   413452 |    23568     35 |      604 |      322
1170.34/1170.88	c 1170s |      18 |   608359 |   413852 |    23568     35 |      604 |      322
1172.44/1172.98	c 1172s |      18 |   608816 |   414252 |    23568     35 |      604 |      322
1174.84/1175.38	c 1175s |      18 |   609279 |   414652 |    23568     35 |      604 |      322
1177.24/1177.72	c 1177s |      18 |   609742 |   415052 |    23568     35 |      604 |      322
1179.75/1180.27	c 1180s |      18 |   610178 |   415452 |    23568     35 |      604 |      322
1182.05/1182.53	c 1182s |      18 |   610669 |   415852 |    23568     35 |      604 |      322
1184.44/1184.95	c 1184s |      18 |   611135 |   416252 |    23568     35 |      604 |      322
1186.55/1187.04	c 1186s |      18 |   611595 |   416652 |    23568     35 |      604 |      322
1188.75/1189.25	c 1188s |      18 |   612073 |   417052 |    23568     35 |      604 |      322
1191.04/1191.50	c 1191s |      18 |   612551 |   417452 |    23568     35 |      604 |      322
1193.44/1193.91	c 1193s |      18 |   613018 |   417852 |    23568     35 |      604 |      322
1196.13/1196.60	c 1196s |      18 |   613465 |   418252 |    23568     35 |      604 |      322
1198.23/1198.73	c 1198s |      18 |   613794 |   418552 |    23568     35 |      604 |      322
1200.43/1200.90	c 1200s |      18 |   614125 |   418852 |    23568     35 |      604 |      322
1202.83/1203.39	c 1203s |      18 |   614561 |   419252 |    23568     35 |      604 |      322
1205.33/1205.87	c 1205s |      18 |   614878 |   419552 |    23568     36 |      604 |      322
1207.83/1208.35	c 1208s |      18 |   615457 |   420052 |    23568     36 |      604 |      322
1209.83/1210.37	c 1210s |      18 |   615914 |   420452 |    23568     36 |      604 |      322
1212.23/1212.74	c 1212s |      18 |   616475 |   420952 |    23568     36 |      604 |      322
1214.23/1214.78	c 1214s |      18 |   616926 |   421352 |    23568     36 |      604 |      322
1216.53/1217.02	c 1216s |      18 |   617350 |   421752 |    23568     36 |      604 |      322
1218.83/1219.36	c 1219s |      18 |   617797 |   422152 |    23568     36 |      604 |      322
1221.03/1221.56	c 1221s |      18 |   618237 |   422552 |    23568     36 |      604 |      322
1223.53/1224.03	c 1223s |      18 |   618779 |   423052 |    23568     36 |      604 |      322
1225.63/1226.15	c 1225s |      18 |   619236 |   423452 |    23568     36 |      604 |      322
1228.03/1228.58	c 1228s |      18 |   619692 |   423852 |    23568     36 |      604 |      322
1230.44/1230.99	c 1230s |      18 |   620134 |   424252 |    23568     36 |      604 |      322
1232.43/1232.99	c 1232s |      18 |   620462 |   424552 |    23568     36 |      604 |      322
1235.13/1235.69	c 1235s |      18 |   620906 |   424952 |    23568     36 |      604 |      322
1237.43/1237.99	c 1237s |      18 |   621219 |   425252 |    23568     36 |      604 |      322
1239.93/1240.41	c 1240s |      18 |   621688 |   425652 |    23568     36 |      604 |      322
1242.13/1242.65	c 1242s |      18 |   622134 |   426052 |    23568     36 |      604 |      322
1244.13/1244.68	c 1244s |      18 |   622464 |   426352 |    23568     36 |      604 |      322
1246.83/1247.35	c 1247s |      18 |   622912 |   426752 |    23568     36 |      604 |      322
1248.83/1249.38	c 1249s |      18 |   623230 |   427052 |    23568     36 |      604 |      322
1251.34/1251.82	c 1251s |      18 |   623674 |   427452 |    23568     36 |      604 |      322
1253.33/1253.85	c 1253s |      18 |   623985 |   427752 |    23568     36 |      604 |      322
1255.93/1256.40	c 1256s |      18 |   624416 |   428152 |    23568     36 |      604 |      322
1258.33/1258.87	c 1258s |      18 |   624851 |   428552 |    23568     36 |      604 |      322
1260.83/1261.39	c 1261s |      18 |   625272 |   428952 |    23568     36 |      604 |      322
1263.54/1264.06	c 1263s |      18 |   625725 |   429352 |    23568     36 |      604 |      322
1266.03/1266.58	c 1266s |      18 |   626177 |   429752 |    23568     36 |      604 |      322
1268.33/1268.86	c 1268s |      18 |   626508 |   430052 |    23568     36 |      604 |      322
1270.53/1271.00	c 1270s |      18 |   626832 |   430352 |    23568     36 |      604 |      322
1272.53/1273.04	c 1272s |      18 |   627165 |   430652 |    23568     36 |      604 |      322
1274.62/1275.11	c 1274s |      18 |   627481 |   430952 |    23568     36 |      604 |      322
1276.63/1277.15	c 1276s |      18 |   627818 |   431252 |    23568     36 |      604 |      322
1279.22/1279.80	c 1279s |      18 |   628255 |   431652 |    23568     36 |      604 |      322
1281.32/1281.82	c 1281s |      18 |   628591 |   431952 |    23568     36 |      604 |      322
1283.42/1283.93	c 1283s |      18 |   628924 |   432252 |    23568     36 |      604 |      322
1285.82/1286.34	c 1286s |      18 |   629247 |   432552 |    23568     36 |      604 |      322
1288.62/1289.17	c 1288s |      18 |   629563 |   432852 |    23568     37 |      604 |      322
1290.62/1291.18	c 1290s |      18 |   630011 |   433252 |    23568     37 |      604 |      322
1292.82/1293.31	c 1293s |      18 |   630458 |   433652 |    23568     37 |      604 |      322
1295.34/1295.84	c 1295s |      18 |   630920 |   434052 |    23568     37 |      604 |      322
1297.43/1297.91	c 1297s |      18 |   631545 |   434552 |    23568     37 |      604 |      322
1299.74/1300.23	c 1299s |      18 |   632123 |   435052 |    23568     37 |      604 |      322
1302.13/1302.64	c 1302s |      18 |   632717 |   435552 |    23568     37 |      604 |      322
1304.33/1304.88	c 1304s |      18 |   633260 |   436052 |    23568     37 |      604 |      322
1306.63/1307.15	c 1306s |      18 |   633853 |   436552 |    23568     37 |      604 |      322
1308.63/1309.17	c 1308s |      18 |   634278 |   436952 |    23568     37 |      604 |      322
1310.83/1311.31	c 1311s |      18 |   634767 |   437352 |    23568     37 |      604 |      322
1313.03/1313.53	c 1313s |      18 |   635213 |   437752 |    23568     37 |      604 |      322
1315.13/1315.70	c 1315s |      18 |   635648 |   438152 |    23568     37 |      604 |      322
1317.72/1318.21	c 1317s |      18 |   636101 |   438552 |    23568     37 |      604 |      322
1320.02/1320.53	c 1320s |      18 |   636550 |   438952 |    23568     37 |      604 |      322
1322.42/1322.95	c 1322s |      18 |   637107 |   439452 |    23568     37 |      604 |      322
1324.92/1325.41	c 1325s |      18 |   637552 |   439852 |    23568     37 |      604 |      322
1326.91/1327.47	c 1327s |      18 |   637886 |   440152 |    23568     37 |      604 |      322
1329.21/1329.79	c 1329s |      18 |   638364 |   440552 |    23568     37 |      604 |      322
1331.73/1332.28	c 1332s |      18 |   638810 |   440952 |    23568     37 |      604 |      322
1334.32/1334.87	c 1334s |      18 |   639244 |   441352 |    25925     37 |      604 |      322
1336.52/1337.00	c 1336s |      18 |   639670 |   441752 |    25925     37 |      604 |      322
1338.92/1339.41	c 1339s |      18 |   640095 |   442152 |    25925     37 |      604 |      322
1341.72/1342.21	c 1341s |      18 |   640569 |   442552 |    25925     37 |      604 |      322
1344.32/1344.83	c 1344s |      18 |   641007 |   442952 |    25925     37 |      604 |      322
1346.92/1347.41	c 1347s |      18 |   641453 |   443352 |    25925     37 |      604 |      322
1348.92/1349.43	c 1349s |      18 |   641775 |   443652 |    25925     37 |      604 |      322
1351.01/1351.50	c 1351s |      18 |   642118 |   443952 |    25925     37 |      604 |      322
1353.11/1353.61	c 1353s |      18 |   642570 |   444352 |    25925     37 |      604 |      322
1353.82/1354.39	c 1354s |      19 |   642719 |   444482 |    25925     37 |      604 |      322
1355.82/1356.39	c 1356s |      19 |   646653 |   445582 |    25925     37 |      604 |      322
1357.92/1358.47	c 1358s |      19 |   649297 |   447282 |    25925     37 |      604 |      322
1360.01/1360.54	c 1360s |      19 |   651404 |   448282 |    25925     38 |      604 |      322
1362.11/1362.60	c 1362s |      19 |   656286 |   450082 |    25925     38 |      604 |      322
1364.11/1364.64	c 1364s |      19 |   658320 |   451582 |    25925     38 |      604 |      322
1366.11/1366.66	c 1366s |      19 |   659882 |   452782 |    25925     38 |      604 |      322
1368.22/1368.72	c 1368s |      19 |   661965 |   454082 |    25925     38 |      604 |      322
1370.42/1370.92	c 1370s |      19 |   663158 |   455182 |    25925     38 |      604 |      322
1372.52/1373.08	c 1372s |      19 |   664373 |   456282 |    25925     38 |      604 |      322
1374.71/1375.26	c 1375s |      19 |   665482 |   457282 |    25925     38 |      604 |      322
1376.91/1377.47	c 1377s |      19 |   666574 |   458282 |    25925     38 |      604 |      322
1379.21/1379.72	c 1379s |      19 |   667441 |   459082 |    25925     38 |      604 |      322
1381.22/1381.76	c 1381s |      19 |   668250 |   459782 |    25925     38 |      604 |      322
1383.51/1384.04	c 1383s |      19 |   669144 |   460582 |    25925     38 |      604 |      322
1385.81/1386.30	c 1386s |      19 |   669919 |   461282 |    25925     38 |      604 |      322
1387.91/1388.50	c 1388s |      19 |   670680 |   461982 |    25925     38 |      604 |      322
1390.20/1390.71	c 1390s |      19 |   671419 |   462682 |    25925     38 |      604 |      322
1392.40/1392.96	c 1392s |      19 |   671970 |   463182 |    25925     39 |      604 |      322
1394.50/1395.02	c 1394s |      19 |   672746 |   463882 |    25925     39 |      604 |      322
1396.90/1397.41	c 1397s |      19 |   673483 |   464582 |    25925     39 |      604 |      322
1398.90/1399.48	c 1399s |      19 |   674113 |   465182 |    25925     39 |      604 |      322
1401.20/1401.79	c 1401s |      19 |   674869 |   465882 |    25925     39 |      604 |      322
1403.30/1403.81	c 1403s |      19 |   675428 |   466382 |    25925     39 |      604 |      322
1405.31/1405.85	c 1405s |      19 |   677111 |   467482 |    25925     39 |      604 |      322
1407.40/1407.97	c 1407s |      19 |   680563 |   468682 |    25925     39 |      604 |      322
1409.40/1409.98	c 1409s |      19 |   682172 |   469682 |    25925     39 |      604 |      322
1411.60/1412.18	c 1411s |      19 |   683341 |   470582 |    25925     39 |      604 |      322
1413.80/1414.36	c 1414s |      19 |   684314 |   471382 |    25925     39 |      604 |      322
1416.10/1416.64	c 1416s |      19 |   685031 |   471982 |    25925     39 |      604 |      322
1418.10/1418.68	c 1418s |      19 |   685900 |   472782 |    25925     39 |      604 |      322
1420.40/1420.94	c 1420s |      19 |   687047 |   473682 |    25925     39 |      604 |      322
1422.60/1423.10	c 1422s |      19 |   688180 |   474582 |    25925     39 |      604 |      322
1424.70/1425.25	c 1424s |      19 |   689717 |   475582 |    25925     39 |      604 |      322
1426.90/1427.44	c 1427s |      19 |   690877 |   476582 |    25925     39 |      604 |      322
1428.90/1429.44	c 1429s |      19 |   692070 |   477482 |    25925     39 |      604 |      322
1431.00/1431.51	c 1431s |      19 |   693048 |   478282 |    25925     40 |      604 |      322
1433.10/1433.61	c 1433s |      19 |   694237 |   479282 |    25925     40 |      604 |      322
1435.20/1435.74	c 1435s |      19 |   695448 |   480282 |    25925     40 |      604 |      322
1437.50/1438.06	c 1437s |      19 |   696515 |   481182 |    25925     40 |      604 |      322
1439.60/1440.17	c 1439s |      19 |   697336 |   481882 |    25925     40 |      604 |      322
1441.80/1442.32	c 1442s |      19 |   698319 |   482682 |    25925     40 |      604 |      322
1443.91/1444.42	c 1444s |      19 |   699332 |   483482 |    25925     40 |      604 |      322
1446.00/1446.60	c 1446s |      19 |   700225 |   484282 |    25925     40 |      604 |      322
1448.09/1448.64	c 1448s |      19 |   701026 |   484982 |    25925     40 |      604 |      322
1450.30/1450.89	c 1450s |      19 |   701804 |   485682 |    25925     40 |      604 |      322
1452.49/1453.08	c 1452s |      19 |   702424 |   486282 |    25925     40 |      604 |      322
1454.59/1455.16	c 1454s |      19 |   703076 |   486882 |    25925     40 |      604 |      322
1456.69/1457.20	c 1456s |      19 |   703759 |   487482 |    25925     40 |      604 |      322
1458.89/1459.44	c 1459s |      19 |   704395 |   488082 |    25925     40 |      604 |      322
1460.99/1461.57	c 1461s |      19 |   705058 |   488682 |    25925     40 |      604 |      322
1463.39/1463.93	c 1463s |      19 |   705706 |   489282 |    25925     40 |      604 |      322
1465.69/1466.29	c 1466s |      19 |   706386 |   489882 |    25925     40 |      604 |      322
1467.69/1468.29	c 1468s |      19 |   706961 |   490382 |    25925     40 |      604 |      322
1469.89/1470.45	c 1470s |      19 |   707512 |   490882 |    25925     40 |      604 |      322
1471.99/1472.55	c 1472s |      19 |   708056 |   491382 |    25925     40 |      604 |      322
1474.19/1474.77	c 1474s |      19 |   708600 |   491882 |    25925     40 |      604 |      322
1476.49/1477.09	c 1476s |      19 |   709031 |   492282 |    25925     41 |      604 |      322
1478.79/1479.31	c 1479s |      19 |   709853 |   492982 |    25925     41 |      604 |      322
1480.99/1481.55	c 1481s |      19 |   710641 |   493682 |    25925     41 |      604 |      322
1483.29/1483.88	c 1483s |      19 |   711405 |   494382 |    25925     41 |      604 |      322
1485.49/1486.00	c 1485s |      19 |   712191 |   495082 |    25925     41 |      604 |      322
1487.49/1488.04	c 1487s |      19 |   712844 |   495682 |    25925     41 |      604 |      322
1489.69/1490.25	c 1490s |      19 |   713499 |   496282 |    25925     41 |      604 |      322
1491.89/1492.44	c 1492s |      19 |   714156 |   496882 |    25925     41 |      604 |      322
1493.99/1494.56	c 1494s |      19 |   714721 |   497382 |    25925     41 |      604 |      322
1496.19/1496.76	c 1496s |      19 |   715279 |   497882 |    25925     41 |      604 |      322
1498.39/1498.95	c 1498s |      19 |   716122 |   498582 |    25925     41 |      604 |      322
1500.59/1501.12	c 1500s |      19 |   716959 |   499282 |    25925     41 |      604 |      322
1502.69/1503.22	c 1502s |      19 |   717646 |   499882 |    25925     41 |      604 |      322
1504.89/1505.44	c 1505s |      19 |   718312 |   500482 |    25925     41 |      604 |      322
1507.19/1507.70	c 1507s |      19 |   719039 |   501082 |    25925     41 |      604 |      322
1509.19/1509.73	c 1509s |      19 |   719605 |   501582 |    25925     41 |      604 |      322
1511.29/1511.82	c 1511s |      19 |   720165 |   502082 |    25925     41 |      604 |      322
1513.39/1513.94	c 1513s |      19 |   720707 |   502582 |    25925     41 |      604 |      322
1515.40/1515.99	c 1515s |      19 |   721270 |   503082 |    25925     41 |      604 |      322
1517.60/1518.17	c 1517s |      19 |   721819 |   503582 |    25925     41 |      604 |      322
1519.99/1520.54	c 1520s |      19 |   722489 |   504182 |    25925     41 |      604 |      322
1522.09/1522.65	c 1522s |      19 |   723053 |   504682 |    25925     41 |      604 |      322
1524.39/1524.97	c 1524s |      19 |   723592 |   505182 |    25925     41 |      604 |      322
1526.58/1527.14	c 1526s |      19 |   724148 |   505682 |    25925     41 |      604 |      322
1528.99/1529.51	c 1529s |      19 |   724699 |   506182 |    25925     41 |      604 |      322
1532.09/1532.67	c 1532s |      19 |   725225 |   506682 |    25925     42 |      604 |      322
1534.39/1534.91	c 1534s |      19 |   725886 |   507282 |    25925     42 |      604 |      322
1536.48/1537.04	c 1536s |      19 |   726440 |   507782 |    25925     42 |      604 |      322
1538.58/1539.11	c 1538s |      19 |   727147 |   508382 |    25925     42 |      604 |      322
1540.78/1541.37	c 1541s |      19 |   727924 |   509082 |    25925     42 |      604 |      322
1542.98/1543.57	c 1543s |      19 |   728605 |   509682 |    25925     42 |      604 |      322
1545.09/1545.64	c 1545s |      19 |   729298 |   510282 |    25925     42 |      604 |      322
1547.08/1547.65	c 1547s |      19 |   729976 |   510882 |    25925     42 |      604 |      322
1549.08/1549.66	c 1549s |      19 |   730525 |   511382 |    25925     42 |      604 |      322
1551.18/1551.77	c 1551s |      19 |   731086 |   511882 |    25925     42 |      604 |      322
1553.38/1553.96	c 1553s |      19 |   731754 |   512482 |    25925     42 |      604 |      322
1555.58/1556.17	c 1555s |      19 |   732443 |   513082 |    25925     42 |      604 |      322
1557.78/1558.30	c 1558s |      19 |   733143 |   513682 |    25925     42 |      604 |      322
1559.98/1560.56	c 1560s |      19 |   733968 |   514382 |    25925     42 |      604 |      322
1562.18/1562.79	c 1562s |      19 |   734657 |   514982 |    25925     42 |      604 |      322
1564.48/1565.02	c 1564s |      19 |   735528 |   515682 |    25925     42 |      604 |      322
1566.48/1567.07	c 1566s |      19 |   736211 |   516282 |    25925     42 |      604 |      322
1568.88/1569.40	c 1569s |      19 |   736987 |   516982 |    25925     42 |      604 |      322
1570.88/1571.46	c 1571s |      19 |   737681 |   517582 |    25925     42 |      604 |      322
1573.08/1573.65	c 1573s |      19 |   738377 |   518182 |    25925     42 |      604 |      322
1575.28/1575.88	c 1575s |      19 |   739052 |   518782 |    25925     42 |      604 |      322
1577.38/1577.92	c 1577s |      19 |   739764 |   519382 |    25925     42 |      604 |      322
1579.68/1580.24	c 1579s |      19 |   740459 |   519982 |    25925     42 |      604 |      322
1581.88/1582.41	c 1582s |      19 |   741013 |   520482 |    25925     42 |      604 |      322
1583.88/1584.49	c 1584s |      19 |   741562 |   520982 |    25925     42 |      604 |      322
1586.18/1586.77	c 1586s |      19 |   742017 |   521382 |    25925     43 |      604 |      322
1588.18/1588.77	c 1588s |      19 |   742698 |   521982 |    25925     43 |      604 |      322
1590.37/1590.92	c 1590s |      19 |   743351 |   522582 |    25925     43 |      604 |      322
1592.58/1593.14	c 1592s |      19 |   744235 |   523282 |    25925     43 |      604 |      322
1594.59/1595.18	c 1594s |      19 |   745205 |   524082 |    25925     43 |      604 |      322
1596.79/1597.34	c 1597s |      19 |   746116 |   524882 |    25925     43 |      604 |      322
1598.89/1599.51	c 1599s |      19 |   747040 |   525682 |    25925     43 |      604 |      322
1601.09/1601.68	c 1601s |      19 |   747827 |   526382 |    25925     43 |      604 |      322
1603.29/1603.87	c 1603s |      19 |   748638 |   527082 |    25925     43 |      604 |      322
1605.37/1605.94	c 1605s |      19 |   749315 |   527682 |    25925     43 |      604 |      322
1607.37/1607.99	c 1607s |      19 |   749969 |   528282 |    25925     43 |      604 |      322
1609.67/1610.29	c 1610s |      19 |   750615 |   528882 |    25925     43 |      604 |      322
1611.87/1612.48	c 1612s |      19 |   751279 |   529482 |    25925     43 |      604 |      322
1614.29/1614.85	c 1614s |      19 |   751947 |   530082 |    25925     43 |      604 |      322
1616.37/1616.90	c 1616s |      19 |   752483 |   530582 |    25925     43 |      604 |      322
1618.38/1618.95	c 1618s |      19 |   753043 |   531082 |    25925     43 |      604 |      322
1620.48/1621.09	c 1620s |      19 |   753589 |   531582 |    25925     43 |      604 |      322
1622.77/1623.36	c 1623s |      19 |   754127 |   532082 |    25925     43 |      604 |      322
1625.17/1625.72	c 1625s |      19 |   754668 |   532582 |    25925     43 |      604 |      322
1627.48/1628.03	c 1627s |      19 |   755209 |   533082 |    25925     43 |      604 |      322
1629.57/1630.15	c 1629s |      19 |   755771 |   533582 |    25925     43 |      604 |      322
1631.88/1632.47	c 1632s |      19 |   756294 |   534082 |    25925     43 |      604 |      322
1634.18/1634.72	c 1634s |      19 |   756846 |   534582 |    25925     43 |      604 |      322
1636.17/1636.77	c 1636s |      19 |   757281 |   534982 |    25925     43 |      604 |      322
1638.37/1638.95	c 1638s |      19 |   757833 |   535482 |    25925     43 |      604 |      322
1640.68/1641.24	c 1640s |      19 |   758270 |   535882 |    25925     44 |      604 |      322
1642.77/1643.33	c 1643s |      19 |   758928 |   536482 |    25925     44 |      604 |      322
1645.07/1645.65	c 1645s |      19 |   759591 |   537082 |    25925     44 |      604 |      322
1647.37/1647.98	c 1647s |      19 |   760249 |   537682 |    25925     44 |      604 |      322
1649.77/1650.37	c 1650s |      19 |   760913 |   538282 |    25925     44 |      604 |      322
1652.17/1652.77	c 1652s |      19 |   761575 |   538882 |    25925     44 |      604 |      322
1654.27/1654.87	c 1654s |      19 |   762120 |   539382 |    25925     44 |      604 |      322
1656.37/1656.96	c 1656s |      19 |   762683 |   539882 |    25925     44 |      604 |      322
1658.56/1659.10	c 1658s |      19 |   763231 |   540382 |    25925     44 |      604 |      322
1660.76/1661.33	c 1661s |      19 |   763770 |   540882 |    25925     44 |      604 |      322
1663.06/1663.70	c 1663s |      19 |   764444 |   541482 |    25925     44 |      604 |      322
1665.16/1665.75	c 1665s |      19 |   764991 |   541982 |    25925     44 |      604 |      322
1667.17/1667.78	c 1667s |      19 |   765551 |   542482 |    25925     44 |      604 |      322
1669.27/1669.83	c 1669s |      19 |   766114 |   542982 |    25925     44 |      604 |      322
1671.27/1671.85	c 1671s |      19 |   766665 |   543482 |    25925     44 |      604 |      322
1673.46/1674.00	c 1673s |      19 |   767200 |   543982 |    25925     44 |      604 |      322
1675.76/1676.30	c 1676s |      19 |   767746 |   544482 |    25925     44 |      604 |      322
1678.07/1678.68	c 1678s |      19 |   768283 |   544982 |    25925     44 |      604 |      322
1680.46/1681.00	c 1680s |      19 |   768853 |   545482 |    25925     44 |      604 |      322
1682.86/1683.41	c 1683s |      19 |   769395 |   545982 |    25925     44 |      604 |      322
1685.26/1685.86	c 1685s |      19 |   769937 |   546482 |    25925     44 |      604 |      322
1687.67/1688.28	c 1688s |      19 |   770473 |   546982 |    25925     44 |      604 |      322
1690.17/1690.79	c 1690s |      19 |   771006 |   547482 |    25925     44 |      604 |      322
1692.56/1693.11	c 1692s |      19 |   771581 |   547982 |    25925     44 |      604 |      322
1694.86/1695.41	c 1695s |      19 |   772142 |   548482 |    25925     44 |      604 |      322
1697.26/1697.83	c 1697s |      19 |   772665 |   548982 |    25925     44 |      604 |      322
1699.66/1700.28	c 1700s |      19 |   773222 |   549482 |    25925     44 |      604 |      322
1702.15/1702.78	c 1702s |      19 |   773759 |   549982 |    25925     44 |      604 |      322
1705.05/1705.60	c 1705s |      19 |   774187 |   550382 |    25925     45 |      604 |      322
1707.25/1707.81	c 1707s |      19 |   774840 |   550982 |    25925     45 |      604 |      322
1709.45/1710.05	c 1709s |      19 |   775619 |   551682 |    25925     45 |      604 |      322
1711.56/1712.13	c 1711s |      19 |   776260 |   552282 |    25925     45 |      604 |      322
1713.76/1714.31	c 1714s |      19 |   776916 |   552882 |    25925     45 |      604 |      322
1716.06/1716.65	c 1716s |      19 |   777603 |   553482 |    25925     45 |      604 |      322
1718.46/1719.03	c 1718s |      19 |   778258 |   554082 |    25925     45 |      604 |      322
1720.76/1721.34	c 1721s |      19 |   778913 |   554682 |    25925     45 |      604 |      322
1723.06/1723.64	c 1723s |      19 |   779561 |   555282 |    25925     45 |      604 |      322
1725.16/1725.74	c 1725s |      19 |   780112 |   555782 |    25925     45 |      604 |      322
1727.25/1727.81	c 1727s |      19 |   780653 |   556282 |    25925     45 |      604 |      322
1729.45/1730.00	c 1729s |      19 |   781195 |   556782 |    25925     45 |      604 |      322
1731.55/1732.12	c 1731s |      19 |   781732 |   557282 |    25925     45 |      604 |      322
1733.65/1734.25	c 1734s |      19 |   782475 |   557882 |    25925     45 |      604 |      322
1735.75/1736.39	c 1736s |      19 |   783332 |   558582 |    25925     45 |      604 |      322
1737.95/1738.53	c 1738s |      19 |   784154 |   559282 |    25925     45 |      604 |      322
1740.15/1740.70	c 1740s |      19 |   784813 |   559882 |    25925     45 |      604 |      322
1742.15/1742.77	c 1742s |      19 |   785497 |   560482 |    25925     45 |      604 |      322
1744.35/1744.92	c 1744s |      19 |   786163 |   561082 |    25925     45 |      604 |      322
1746.36/1746.97	c 1746s |      19 |   786882 |   561682 |    25925     45 |      604 |      322
1748.35/1749.00	c 1748s |      19 |   787453 |   562182 |    25925     45 |      604 |      322
1750.45/1751.06	c 1750s |      19 |   788023 |   562682 |    25925     45 |      604 |      322
1752.55/1753.14	c 1752s |      19 |   788582 |   563182 |    25925     45 |      604 |      322
1754.75/1755.36	c 1755s |      19 |   789140 |   563682 |    25925     45 |      604 |      322
1757.15/1757.76	c 1757s |      19 |   789699 |   564182 |    25925     45 |      604 |      322
1759.35/1759.92	c 1759s |      19 |   790283 |   564682 |    25925     45 |      604 |      322
1761.55/1762.16	c 1761s |      19 |   790735 |   565082 |    25925     46 |      604 |      322
1763.75/1764.32	c 1764s |      19 |   791549 |   565782 |    25925     46 |      604 |      322
1765.95/1766.59	c 1766s |      19 |   792355 |   566482 |    25925     46 |      604 |      322
1767.95/1768.59	c 1768s |      19 |   793039 |   567082 |    25925     46 |      604 |      322
1770.15/1770.74	c 1770s |      19 |   793708 |   567682 |    25925     46 |      604 |      322
1772.35/1772.92	c 1772s |      19 |   794384 |   568282 |    25925     46 |      604 |      322
1774.35/1774.95	c 1774s |      19 |   794926 |   568782 |    25925     46 |      604 |      322
1776.55/1777.11	c 1776s |      19 |   795604 |   569382 |    25925     46 |      604 |      322
1778.85/1779.41	c 1779s |      19 |   796267 |   569982 |    25925     46 |      604 |      322
1781.15/1781.76	c 1781s |      19 |   796929 |   570582 |    25925     46 |      604 |      322
1783.25/1783.88	c 1783s |      19 |   797489 |   571082 |    25925     46 |      604 |      322
1785.35/1785.95	c 1785s |      19 |   798036 |   571582 |    25925     46 |      604 |      322
1787.55/1788.11	c 1787s |      19 |   798689 |   572182 |    25925     46 |      604 |      322
1789.85/1790.40	c 1790s |      19 |   799342 |   572782 |    25925     46 |      604 |      322
1792.05/1792.64	c 1792s |      19 |   800005 |   573382 |    25925     46 |      604 |      322
1794.45/1795.00	c 1794s |      19 |   800673 |   573982 |    25925     46 |      604 |      322
1796.55/1797.17	c 1796s |      19 |   801222 |   574482 |    25925     46 |      604 |      322
1798.55/1799.18	c 1798s |      19 |   801764 |   574982 |    25925     46 |      604 |      322

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

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

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


[startup+0 s]
/proc/loadavg: 2.11 2.13 2.09 3/261 2552
/proc/meminfo: memFree=30852220/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1079740 CPUtime=0 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 4093 0 0 0 0 0 0 0 20 0 4 0 28474117 1105653760 4453 33554432000 4194304 16246674 140736599965648 140736599965072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 270447 4461 441 2943 0 267341 0
[pid=2552/tid=2553] ppid=2549 vsize=1134012 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1161228288 4665 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1139132 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1166471168 4683 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1144252 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1171714048 4702 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.11 2.13 2.09 3/261 2552
/proc/meminfo: memFree=30852220/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1220164 CPUtime=0.09 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 28276 0 0 0 5 4 0 0 20 0 4 0 28474117 1249447936 28574 33554432000 4194304 16246674 140736599965648 140736599964960 4220897 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 305041 28574 801 2943 0 301935 0
[pid=2552/tid=2553] ppid=2549 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1249447936 28574 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1249447936 28574 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1249447936 28574 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200544 s]
/proc/loadavg: 2.11 2.13 2.09 3/261 2552
/proc/meminfo: memFree=30852220/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1301060 CPUtime=0.19 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 48487 0 0 0 12 7 0 0 20 0 4 0 28474117 1332285440 48785 33554432000 4194304 16246674 140736599965648 140736599964960 12369913 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 325265 48785 845 2943 0 322159 0
[pid=2552/tid=2553] ppid=2549 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1332285440 48785 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1332285440 48785 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1332285440 48785 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.30049 s]
/proc/loadavg: 2.11 2.13 2.09 3/261 2552
/proc/meminfo: memFree=30852220/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1301060 CPUtime=0.29 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 50614 0 0 0 21 8 0 0 20 0 4 0 28474117 1332285440 50912 33554432000 4194304 16246674 140736599965648 140736599964960 12460548 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 325265 50916 885 2943 0 322159 0
[pid=2552/tid=2553] ppid=2549 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1332285440 50919 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1332285440 50923 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1332285440 50926 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700393 s]
/proc/loadavg: 2.11 2.13 2.09 3/261 2552
/proc/meminfo: memFree=30852220/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1301060 CPUtime=0.69 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 102285 0 0 0 51 18 0 0 20 0 4 0 28474117 1332285440 102583 33554432000 4194304 16246674 140736599965648 140736599947520 5675357 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 325265 102588 885 2943 0 322159 0
[pid=2552/tid=2553] ppid=2549 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1332285440 102591 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1332285440 102595 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1332285440 102599 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.5004 s]
/proc/loadavg: 2.18 2.14 2.10 3/265 2556
/proc/meminfo: memFree=30227048/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1301060 CPUtime=1.49 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 216701 0 0 0 110 39 0 0 20 0 4 0 28474117 1332285440 216999 33554432000 4194304 16246674 140736599965648 140736599947520 5675357 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 325265 217004 885 2943 0 322159 0
[pid=2552/tid=2553] ppid=2549 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1332285440 217007 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1332285440 217011 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1332285440 217014 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10041 s]
/proc/loadavg: 2.18 2.14 2.10 3/265 2556
/proc/meminfo: memFree=29773696/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1312324 CPUtime=3.09 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 269208 0 0 0 249 60 0 0 20 0 4 0 28474117 1343819776 269506 33554432000 4194304 16246674 140736599965648 140736599947520 5829088 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 328081 269506 892 2943 0 324975 0
[pid=2552/tid=2553] ppid=2549 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1343819776 269506 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1343819776 269506 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1343819776 269506 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30042 s]
/proc/loadavg: 2.18 2.14 2.10 3/265 2556
/proc/meminfo: memFree=29773796/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1312324 CPUtime=6.29 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 269272 0 0 0 542 87 0 0 20 0 4 0 28474117 1343819776 269570 33554432000 4194304 16246674 140736599965648 140736599947520 12477921 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 328081 269570 892 2943 0 324975 0
[pid=2552/tid=2553] ppid=2549 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1343819776 269570 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1343819776 269570 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1343819776 269570 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.15 2.14 2.09 3/265 2556
/proc/meminfo: memFree=29772960/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1312324 CPUtime=12.69 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 269272 0 0 0 1127 142 0 0 20 0 4 0 28474117 1343819776 269570 33554432000 4194304 16246674 140736599965648 140736599947520 5711688 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 328081 269570 892 2943 0 324975 0
[pid=2552/tid=2553] ppid=2549 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1343819776 269570 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1343819776 269570 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1343819776 269570 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.13 2.13 2.09 3/265 2556
/proc/meminfo: memFree=29773588/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1312324 CPUtime=25.49 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 269273 0 0 0 2303 246 0 0 20 0 4 0 28474117 1343819776 269571 33554432000 4194304 16246674 140736599965648 140736599947520 6012004 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 328081 269571 893 2943 0 324975 0
[pid=2552/tid=2553] ppid=2549 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1343819776 269571 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1343819776 269571 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1343819776 269571 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.08 2.12 2.09 3/266 2560
/proc/meminfo: memFree=29770264/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1316420 CPUtime=51.08 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 270145 0 0 0 4646 462 0 0 20 0 4 0 28474117 1348014080 270443 33554432000 4194304 16246674 140736599965648 140736599947520 12477756 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 329105 270443 893 2943 0 325999 0
[pid=2552/tid=2553] ppid=2549 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1348014080 270443 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1348014080 270443 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1348014080 270443 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/265 2561
/proc/meminfo: memFree=29769072/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1316420 CPUtime=102.29 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 270146 0 0 0 9311 918 0 0 20 0 4 0 28474117 1348014080 270444 33554432000 4194304 16246674 140736599965648 140736599947520 5677784 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 329105 270444 893 2943 0 325999 0
[pid=2552/tid=2553] ppid=2549 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1348014080 270444 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1348014080 270444 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1348014080 270444 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1316420


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

/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1361645568 274056 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1329732

[startup+1302.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/266 2640
/proc/meminfo: memFree=29746128/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1329732 CPUtime=1301.83 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 273937 0 0 0 118591 11592 0 0 20 0 4 0 28474117 1361645568 274180 33554432000 4194304 16246674 140736599965648 140736599947520 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 332433 274180 893 2943 0 329327 0
[pid=2552/tid=2553] ppid=2549 vsize=1329732 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1361645568 274180 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1329732 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1361645568 274180 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1329732 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1361645568 274180 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1329732

[startup+1362.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/266 2642
/proc/meminfo: memFree=29745984/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1329732 CPUtime=1361.81 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 273937 0 0 0 123989 12192 0 0 20 0 4 0 28474117 1361645568 274180 33554432000 4194304 16246674 140736599965648 140736599947520 12483572 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 332433 274180 893 2943 0 329327 0
[pid=2552/tid=2553] ppid=2549 vsize=1329732 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1361645568 274180 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1329732 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1361645568 274180 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1329732 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1361645568 274180 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1329732

[startup+1422.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/265 2643
/proc/meminfo: memFree=29745072/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1331780 CPUtime=1421.81 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 274209 0 0 0 129390 12791 0 0 20 0 4 0 28474117 1363742720 274452 33554432000 4194304 16246674 140736599965648 140736599947520 5712672 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 332945 274452 893 2943 0 329839 0
[pid=2552/tid=2553] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274452 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274452 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274452 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/265 2644
/proc/meminfo: memFree=29744460/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1331780 CPUtime=1481.79 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 274209 0 0 0 134788 13391 0 0 20 0 4 0 28474117 1363742720 274452 33554432000 4194304 16246674 140736599965648 140736599947520 5546200 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 332945 274452 893 2943 0 329839 0
[pid=2552/tid=2553] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274452 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274452 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274452 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1331780

[startup+1542.31 s]
/proc/loadavg: 2.01 2.06 2.08 3/265 2645
/proc/meminfo: memFree=29743708/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1331780 CPUtime=1541.79 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 274449 0 0 0 140189 13990 0 0 20 0 4 0 28474117 1363742720 274692 33554432000 4194304 16246674 140736599965648 140736599947520 5672188 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 332945 274692 893 2943 0 329839 0
[pid=2552/tid=2553] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.08 2.06 2.08 3/265 2647
/proc/meminfo: memFree=29743280/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1331780 CPUtime=1601.78 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 274449 0 0 0 145588 14590 0 0 20 0 4 0 28474117 1363742720 274692 33554432000 4194304 16246674 140736599965648 140736599947520 4220897 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 332945 274692 893 2943 0 329839 0
[pid=2552/tid=2553] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1331780

[startup+1662.3 s]
/proc/loadavg: 2.12 2.08 2.08 3/265 2648
/proc/meminfo: memFree=29743380/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1331780 CPUtime=1661.76 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 274449 0 0 0 150987 15189 0 0 20 0 4 0 28474117 1363742720 274692 33554432000 4194304 16246674 140736599965648 140736599948648 13774516 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 332945 274692 893 2943 0 329839 0
[pid=2552/tid=2553] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.10 2.08 2.08 3/265 2649
/proc/meminfo: memFree=29743072/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1331780 CPUtime=1721.76 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 274450 0 0 0 156388 15788 0 0 20 0 4 0 28474117 1363742720 274692 33554432000 4194304 16246674 140736599965648 140736599964824 5711688 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 332945 274692 893 2943 0 329839 0
[pid=2552/tid=2553] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.10 2.08 2.08 3/265 2650
/proc/meminfo: memFree=29742328/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1331780 CPUtime=1781.75 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 274450 0 0 0 161787 16388 0 0 20 0 4 0 28474117 1363742720 274692 33554432000 4194304 16246674 140736599965648 140736599947520 5546098 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 332945 274692 893 2943 0 329839 0
[pid=2552/tid=2553] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.16 2.09 2.09 3/265 2650
/proc/meminfo: memFree=29742616/32872528 swapFree=7556/7556
[pid=2552] ppid=2549 vsize=1331780 CPUtime=1800.05 cores=4-7,12-15
/proc/2552/stat : 2552 (toysat) R 2549 2552 32495 0 -1 4202496 274450 0 0 0 163434 16571 0 0 20 0 4 0 28474117 1363742720 274692 33554432000 4194304 16246674 140736599965648 140736599947520 5712004 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2552/statm: 332945 274692 893 2943 0 329839 0
[pid=2552/tid=2553] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2553/stat : 2553 (toysat) S 2549 2552 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838826196208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2552/tid=2554] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2554/stat : 2554 (toysat) S 2549 2552 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838815706352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2552/tid=2555] ppid=2549 vsize=1331780 CPUtime=0 cores=4-7,12-15
/proc/2552/task/2555/stat : 2555 (toysat) S 2549 2552 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28474118 1363742720 274692 33554432000 4194304 16246674 140736599965648 139838699334832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1331780

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1634.34
CPU system time (s): 165.713
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1634.34
system time used= 165.713
maximum resident set size= 1098768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274450
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= 328
involuntary context switches= 2069

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94894 second user time and 10.0645 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 17:19:19
IDJOB=4116629
IDBENCH=109494
IDSOLVER=2542
FILE ID=node132/4116629-1466954359
RUNJOBID= node132-1466939688-32512
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= 81dca3335c3cf7d906003948f483aa96
RANDOM SEED=1212780447

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30852656 kB
Buffers:           26840 kB
Cached:           177684 kB
SwapCached:         1784 kB
Active:          1162780 kB
Inactive:         142812 kB
Active(anon):    1101760 kB
Inactive(anon):     1700 kB
Active(file):      61020 kB
Inactive(file):   141112 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16548 kB
Writeback:             0 kB
AnonPages:       1109556 kB
Mapped:            10688 kB
Shmem:                 0 kB
Slab:             570400 kB
SReclaimable:      10892 kB
SUnreclaim:       559508 kB
KernelStack:        2208 kB
PageTables:         6140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1251284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    804864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71496 MiB
End job on node132 at 2016-06-26 17:49:20