Trace number 4116781

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size112-round22-3.opb
MD5SUMf2a41252146eb1b2fe320d81ba48ff06
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 benchmark200.673
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 constraints8688
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)400
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-26T19:19:24+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-4116781-1466961564.opb"]
0.00/0.01	c use --random-gen="3147984472 3478830989 2664309641 2540370864 1904177667 3903582318 1636891671 1979261591 1715633752 994973756 4122150534 802705927 1581435854 1863794100 2663626569 3611841938 3429110713 3808713661 1273332954 628967380 2978695470 1279173952 572397223 2530898945 4032096636 3624034742 4079947288 630024820 1283505730 2954954022 1026014023 1351927223 2141121132 3568364573 3252026185 4178249380 3081802289 2020547427 2166337603 1052692264 3496944443 3715140836 1471980666 1233394492 4061087784 3975770091 1703497963 1493651392 1582340425 124289499 1430000938 3094136916 41434204 2715525202 2925381714 2459617968 2812892461 3631470948 914959826 1031359132 4253956948 3237206251 1239788120 2802534780 4136337139 3447749468 50048113 159003654 2414365696 1231490006 408621359 2909151177 845395611 2305382234 3700718621 580309708 2723390943 887661205 1433988651 2120223035 3748635437 2333114727 447661721 2923238673 3414755094 849154628 420571707 3474932010 2006215148 1774724133 1975810105 332443124 3866761527 1883064916 930439692 2288212270 3991257064 1275896864 3472224295 1211224194 3121959539 3636739581 722475376 3533863288 3819006236 3755676750 3550898196 2075357405 1226250224 520719929 1303086133 58717007 2144862806 1289320040 4049016074 3919499931 3943143939 1500522779 95785313 686888157 942113107 2360761282 1532305593 3756914181 2561309109 398589407 1082561641 1479230257 49576268 3934902173 3982783776 539728964 1050107270 1293341452 452240812 3972064250 738594298 3745579247 69808449 1905173738 4179004992 4032285340 3695538235 3713326562 1857164379 876366542 1519715805 3771538603 1253065989 2030562530 3336135749 3503484686 1643673164 841309734 267706826 3510930839 2486589187 3367981527 1349616944 1688274475 2617007036 2046999836 1269977394 1589198793 3909631028 1441192960 208243438 568231154 4017809897 85575814 3223389865 135626013 4088428824 3549912944 2610569512 586357272 1112638367 2708482016 913575794 2976859840 2631642757 1277047174 3497040966 3306189792 615116465 2385853915 389027123 374665014 2981296846 4085826359 437672215 1235131316 4160474623 3210408722 1206304202 4250139918 3795157988 1413349478 2092005441 3456047427 2350170015 2709967593 670045938 802097679 449785176 252668876 216418025 4038090906 864952939 87227471 583458508 1165521434 1708916295 2098369965 702552939 1386894440 2330955620 2340387531 389860276 125462395 3637588526 2073351376 1630825268 2192292593 1723536241 3967279589 42635188 3536836186 231243309 3104783758 3653771755 2145540520 469330870 4287895856 1809988757 1591051020 257805572 2833919403 2154260924 2679746089 3825956613 3529252951 2243497435 2092688007 2943407167 287088923 2000007673 1594126406 1822842656 1832715568 110486649 1605535191 865358201 3604240037 51808095 1156704101 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8688
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.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      678 |        0
0.29/0.34	c  0.1s |       1 |      557 |      100 |     4234      0 |      679 |      500
0.39/0.44	c  0.2s |       2 |     2227 |      250 |     4658      0 |      680 |      500
0.59/0.60	c  0.3s |       3 |     5486 |      475 |     5124      0 |      680 |      500
0.89/0.94	c  0.7s |       4 |     7448 |      813 |     5637      0 |      680 |      500
1.29/1.30	c  1.0s |       5 |    11292 |     1320 |     6201      0 |      680 |      500
2.30/2.36	c  2.1s |       6 |    13469 |     2081 |     7505      0 |      680 |      500
3.30/3.33	c  3.1s |       7 |    17400 |     3223 |     8256      0 |      680 |      500
4.78/4.88	c  4.6s |       8 |    23709 |     4936 |     9082      0 |      680 |      500
6.88/6.95	c  6.7s |       8 |    29936 |     7036 |     9082      0 |      680 |      500
7.58/7.61	c  7.4s |       9 |    30526 |     7506 |     9991      0 |      680 |      500
9.58/9.63	c  9.4s |       9 |    37305 |     9806 |     9991      0 |      680 |      500
11.68/11.74	c 11.5s |       9 |    39177 |    11206 |     9991      0 |      680 |      500
11.88/11.98	c 11.7s |      10 |    39379 |    11361 |    10991      0 |      680 |      500
13.98/14.06	c 13.8s |      10 |    54129 |    14161 |    10991      1 |      680 |      500
16.08/16.13	c 15.9s |      10 |    55985 |    15761 |    10991      1 |      680 |      500
18.08/18.12	c 17.9s |      11 |    57599 |    17144 |    12091      1 |      680 |      500
20.08/20.16	c 19.9s |      11 |    64035 |    19444 |    12091      1 |      680 |      500
22.28/22.30	c 22.0s |      11 |    68697 |    21544 |    12091      2 |      680 |      500
24.29/24.36	c 24.1s |      11 |    75175 |    24044 |    12091      2 |      680 |      500
26.18/26.21	c 26.0s |      12 |    77249 |    25819 |    13301      2 |      680 |      500
28.18/28.28	c 28.0s |      12 |    83814 |    27819 |    13301      2 |      680 |      500
30.29/30.32	c 30.1s |      12 |    85479 |    29319 |    13301      2 |      680 |      500
32.39/32.44	c 32.2s |      12 |    86587 |    30319 |    13301      3 |      680 |      500
34.49/34.52	c 34.3s |      12 |    89340 |    31819 |    13301      3 |      680 |      500
36.59/36.64	c 36.4s |      12 |    91338 |    33219 |    13301      3 |      680 |      500
38.60/38.68	c 38.4s |      12 |    92693 |    34319 |    13301      3 |      680 |      500
40.80/40.83	c 40.6s |      12 |    94986 |    35719 |    13301      3 |      680 |      500
42.90/42.91	c 42.7s |      12 |    96356 |    36919 |    13301      3 |      680 |      500
44.89/44.95	c 44.7s |      12 |    97563 |    38019 |    13301      3 |      680 |      500
46.48/46.57	c 46.3s |      13 |    98462 |    38832 |    14632      3 |      680 |      500
48.58/48.62	c 48.4s |      13 |   104897 |    40632 |    14632      4 |      680 |      500
50.59/50.63	c 50.4s |      13 |   114798 |    43032 |    14632      4 |      680 |      500
52.68/52.77	c 52.5s |      13 |   116850 |    44532 |    14632      4 |      680 |      500
54.68/54.78	c 54.5s |      13 |   118169 |    45732 |    14632      4 |      680 |      500
56.88/56.91	c 56.7s |      13 |   119286 |    46732 |    14632      4 |      680 |      500
58.88/58.91	c 58.7s |      13 |   120262 |    47632 |    14632      4 |      680 |      500
60.98/61.02	c 60.8s |      13 |   121130 |    48432 |    14632      5 |      680 |      500
63.08/63.15	c 62.9s |      13 |   122279 |    49432 |    14632      5 |      680 |      500
65.18/65.28	c 65.0s |      13 |   123330 |    50332 |    14632      5 |      680 |      500
67.28/67.39	c 67.1s |      13 |   124189 |    51132 |    14632      5 |      680 |      500
69.48/69.51	c 69.3s |      13 |   126680 |    52332 |    14632      5 |      680 |      500
71.49/71.58	c 71.3s |      13 |   133336 |    54232 |    14632      5 |      680 |      500
73.58/73.64	c 73.4s |      13 |   136036 |    55632 |    14632      6 |      680 |      500
75.68/75.77	c 75.5s |      13 |   138302 |    57232 |    14632      6 |      680 |      500
77.38/77.40	c 77.1s |      14 |   139768 |    58352 |    16096      6 |      680 |      500
79.38/79.45	c 79.2s |      14 |   150577 |    60852 |    16096      6 |      680 |      500
81.39/81.46	c 81.2s |      14 |   156372 |    62752 |    16096      6 |      680 |      500
83.48/83.58	c 83.3s |      14 |   163884 |    64752 |    16096      6 |      680 |      500
85.48/85.59	c 85.3s |      14 |   165183 |    65852 |    16096      6 |      680 |      500
87.58/87.62	c 87.4s |      14 |   167077 |    66952 |    16096      7 |      680 |      500
89.68/89.72	c 89.5s |      14 |   168600 |    68252 |    16096      7 |      680 |      500
91.68/91.75	c 91.5s |      14 |   169853 |    69252 |    16096      7 |      680 |      500
93.88/93.92	c 93.7s |      14 |   171235 |    70352 |    16096      7 |      680 |      500
95.88/95.94	c 95.7s |      14 |   172148 |    71152 |    16096      7 |      680 |      500
98.18/98.23	c 98.0s |      14 |   173081 |    71952 |    16096      7 |      680 |      500
100.27/100.30	c  100s |      14 |   173876 |    72652 |    16096      7 |      680 |      500
102.28/102.39	c  102s |      14 |   174639 |    73352 |    16096      7 |      680 |      500
104.48/104.54	c  104s |      14 |   175396 |    74052 |    16096      7 |      680 |      500
106.68/106.76	c  106s |      14 |   176147 |    74752 |    16096      7 |      680 |      500
108.88/108.93	c  108s |      14 |   176932 |    75452 |    16096      7 |      680 |      500
111.18/111.21	c  110s |      14 |   177844 |    76252 |    16096      7 |      680 |      500
113.28/113.35	c  113s |      14 |   178538 |    76852 |    16096      8 |      680 |      500
115.48/115.56	c  115s |      14 |   179294 |    77552 |    16096      8 |      680 |      500
117.57/117.61	c  117s |      14 |   180096 |    78252 |    16096      8 |      680 |      500
119.88/119.94	c  119s |      14 |   180891 |    78952 |    16096      8 |      680 |      500
121.97/122.03	c  121s |      14 |   181567 |    79552 |    16096      8 |      680 |      500
124.07/124.14	c  123s |      14 |   182315 |    80152 |    16096      8 |      680 |      500
126.17/126.25	c  125s |      14 |   184044 |    81152 |    16096      8 |      680 |      500
128.17/128.25	c  127s |      14 |   184995 |    81952 |    16096      8 |      680 |      500
130.27/130.35	c  130s |      14 |   185915 |    82752 |    16096      8 |      680 |      500
132.57/132.63	c  132s |      14 |   186881 |    83552 |    16096      8 |      680 |      500
134.67/134.78	c  134s |      14 |   187668 |    84252 |    16096      8 |      680 |      500
136.77/136.89	c  136s |      14 |   188333 |    84852 |    16096      8 |      680 |      500
138.86/138.93	c  138s |      14 |   189031 |    85452 |    16096      8 |      680 |      500
140.87/140.99	c  140s |      14 |   189785 |    86152 |    16096      8 |      680 |      500
143.07/143.14	c  142s |      14 |   190912 |    86952 |    16096      9 |      680 |      500
144.46/144.59	c  144s |      15 |   191780 |    87632 |    17706      9 |      680 |      500
146.56/146.61	c  146s |      15 |   200502 |    89932 |    17706      9 |      680 |      500
148.66/148.79	c  148s |      15 |   204823 |    91932 |    17706      9 |      680 |      500
150.77/150.88	c  150s |      15 |   206179 |    92932 |    17706      9 |      680 |      500
152.87/152.98	c  152s |      15 |   207525 |    94032 |    17706      9 |      680 |      500
154.96/155.00	c  154s |      15 |   208478 |    94832 |    17706      9 |      680 |      500
156.97/157.06	c  156s |      15 |   209634 |    95732 |    17706      9 |      680 |      500
159.37/159.44	c  159s |      15 |   210484 |    96432 |    17706      9 |      680 |      500
161.47/161.59	c  161s |      15 |   211464 |    97232 |    17706      9 |      680 |      500
163.67/163.75	c  163s |      15 |   212167 |    97832 |    17706     10 |      680 |      500
165.67/165.79	c  165s |      15 |   212738 |    98332 |    17706     10 |      680 |      500
167.97/168.01	c  167s |      15 |   213620 |    99032 |    17706     10 |      680 |      500
170.27/170.37	c  170s |      15 |   214410 |    99732 |    17706     10 |      680 |      500
172.57/172.64	c  172s |      15 |   214974 |   100232 |    17706     10 |      680 |      500
174.67/174.74	c  174s |      15 |   215523 |   100732 |    17706     10 |      680 |      500
176.87/176.98	c  176s |      15 |   216061 |   101232 |    17706     10 |      680 |      500
179.28/179.33	c  179s |      15 |   216616 |   101732 |    17706     10 |      680 |      500
181.37/181.50	c  181s |      15 |   217158 |   102232 |    17706     10 |      680 |      500
183.57/183.64	c  183s |      15 |   217758 |   102732 |    17706     10 |      680 |      500
185.66/185.76	c  185s |      15 |   218210 |   103132 |    17706     10 |      680 |      500
187.86/187.93	c  187s |      15 |   218689 |   103532 |    17706     10 |      680 |      500
189.86/189.98	c  189s |      15 |   219542 |   104232 |    17706     10 |      680 |      500
192.16/192.21	c  191s |      15 |   220509 |   105032 |    17706     10 |      680 |      500
194.46/194.53	c  194s |      15 |   221436 |   105832 |    17706     10 |      680 |      500
196.56/196.64	c  196s |      15 |   222246 |   106532 |    17706     10 |      680 |      500
198.86/198.92	c  198s |      15 |   223162 |   107332 |    17706     10 |      680 |      500
201.16/201.24	c  200s |      15 |   223990 |   108032 |    17706     11 |      680 |      500
203.36/203.42	c  203s |      15 |   224884 |   108832 |    17706     11 |      680 |      500
205.45/205.53	c  205s |      15 |   225801 |   109632 |    17706     11 |      680 |      500
207.55/207.64	c  207s |      15 |   226588 |   110332 |    17706     11 |      680 |      500
209.65/209.72	c  209s |      15 |   227382 |   111032 |    17706     11 |      680 |      500
211.65/211.77	c  211s |      15 |   228040 |   111632 |    17706     11 |      680 |      500
213.75/213.82	c  213s |      15 |   228720 |   112232 |    17706     11 |      680 |      500
216.05/216.19	c  215s |      15 |   229519 |   112932 |    17706     11 |      680 |      500
218.15/218.22	c  217s |      15 |   230195 |   113532 |    17706     11 |      680 |      500
220.15/220.22	c  219s |      15 |   230730 |   114032 |    17706     11 |      680 |      500
222.35/222.46	c  222s |      15 |   231378 |   114632 |    17706     11 |      680 |      500
224.46/224.55	c  224s |      15 |   231925 |   115132 |    17706     11 |      680 |      500
226.56/226.68	c  226s |      15 |   232681 |   115732 |    17706     11 |      680 |      500
228.86/228.97	c  228s |      15 |   233720 |   116532 |    17706     11 |      680 |      500
231.06/231.14	c  230s |      15 |   234519 |   117232 |    17706     11 |      680 |      500
233.05/233.16	c  232s |      15 |   235337 |   117932 |    17706     11 |      680 |      500
235.46/235.51	c  235s |      15 |   236040 |   118532 |    17706     12 |      680 |      500
237.66/237.75	c  237s |      15 |   237283 |   119532 |    17706     12 |      680 |      500
239.86/239.99	c  239s |      15 |   238169 |   120332 |    17706     12 |      680 |      500
241.96/242.01	c  241s |      15 |   239012 |   121032 |    17706     12 |      680 |      500
244.16/244.25	c  243s |      15 |   239821 |   121732 |    17706     12 |      680 |      500
246.36/246.45	c  246s |      15 |   240625 |   122432 |    17706     12 |      680 |      500
248.56/248.67	c  248s |      15 |   241315 |   123032 |    17706     12 |      680 |      500
250.85/250.98	c  250s |      15 |   241990 |   123632 |    17706     12 |      680 |      500
252.95/253.09	c  252s |      15 |   242705 |   124232 |    17706     12 |      680 |      500
255.15/255.22	c  254s |      15 |   243246 |   124732 |    17706     12 |      680 |      500
257.35/257.47	c  257s |      15 |   243788 |   125232 |    17706     12 |      680 |      500
259.55/259.68	c  259s |      15 |   244478 |   125832 |    17706     12 |      680 |      500
261.75/261.83	c  261s |      15 |   245050 |   126332 |    17706     12 |      680 |      500
263.74/263.89	c  263s |      15 |   245591 |   126832 |    17706     12 |      680 |      500
265.94/266.04	c  265s |      15 |   246164 |   127332 |    17706     12 |      680 |      500
268.04/268.18	c  267s |      15 |   246829 |   127932 |    17706     12 |      680 |      500
270.23/270.33	c  270s |      15 |   247524 |   128532 |    17706     12 |      680 |      500
272.53/272.61	c  272s |      15 |   248070 |   129032 |    17706     13 |      680 |      500
274.53/274.64	c  274s |      15 |   248885 |   129732 |    17706     13 |      680 |      500
276.63/276.79	c  276s |      15 |   249687 |   130432 |    17706     13 |      680 |      500
278.93/279.08	c  278s |      15 |   250460 |   131132 |    19477     13 |      680 |      500
280.33/280.44	c  280s |      16 |   250920 |   131552 |    19477     13 |      680 |      500
282.33/282.47	c  282s |      16 |   253711 |   133152 |    19477     13 |      680 |      500
284.43/284.55	c  284s |      16 |   256966 |   134652 |    19477     13 |      680 |      500
286.53/286.61	c  286s |      16 |   258842 |   136152 |    19477     13 |      680 |      500
288.63/288.72	c  288s |      16 |   260570 |   137752 |    19477     13 |      680 |      500
290.83/290.91	c  290s |      16 |   261879 |   138952 |    19477     13 |      680 |      500
292.93/293.08	c  292s |      16 |   263053 |   140052 |    19477     13 |      680 |      500
295.03/295.19	c  294s |      16 |   264220 |   141152 |    19477     13 |      680 |      500
297.22/297.35	c  297s |      16 |   265066 |   141952 |    19477     14 |      680 |      500
299.32/299.42	c  299s |      16 |   266013 |   142852 |    19477     14 |      680 |      500
301.62/301.70	c  301s |      16 |   266975 |   143752 |    19477     14 |      680 |      500
303.63/303.79	c  303s |      16 |   267836 |   144552 |    19477     14 |      680 |      500
305.73/305.82	c  305s |      16 |   268679 |   145352 |    19477     14 |      680 |      500
307.72/307.87	c  307s |      16 |   269546 |   146152 |    19477     14 |      680 |      500
309.82/309.97	c  309s |      16 |   270381 |   146952 |    19477     14 |      680 |      500
312.02/312.14	c  311s |      16 |   271208 |   147752 |    19477     14 |      680 |      500
314.02/314.18	c  313s |      16 |   271942 |   148452 |    19477     14 |      680 |      500
316.32/316.47	c  316s |      16 |   272661 |   149152 |    19477     14 |      680 |      500
318.42/318.56	c  318s |      16 |   273283 |   149752 |    19477     14 |      680 |      500
320.62/320.79	c  320s |      16 |   273907 |   150352 |    19477     14 |      680 |      500
322.92/323.00	c  322s |      16 |   274537 |   150952 |    19477     14 |      680 |      500
325.02/325.18	c  324s |      16 |   275184 |   151552 |    19477     14 |      680 |      500
327.22/327.34	c  327s |      16 |   275824 |   152152 |    19477     14 |      680 |      500
329.82/329.92	c  329s |      16 |   276451 |   152752 |    19477     15 |      680 |      500
331.81/331.98	c  331s |      16 |   277198 |   153452 |    19477     15 |      680 |      500
333.81/333.98	c  333s |      16 |   277818 |   154052 |    19477     15 |      680 |      500
336.01/336.11	c  335s |      16 |   278438 |   154652 |    19477     15 |      680 |      500
338.21/338.31	c  338s |      16 |   279190 |   155352 |    19477     15 |      680 |      500
340.51/340.60	c  340s |      16 |   279821 |   155952 |    19477     15 |      680 |      500
342.61/342.78	c  342s |      16 |   280454 |   156552 |    19477     15 |      680 |      500
344.81/344.94	c  344s |      16 |   281093 |   157152 |    19477     15 |      680 |      500
346.91/347.10	c  346s |      16 |   281730 |   157752 |    19477     15 |      680 |      500
349.20/349.32	c  349s |      16 |   282705 |   158652 |    19477     15 |      680 |      500
351.40/351.55	c  351s |      16 |   283660 |   159552 |    19477     15 |      680 |      500
353.60/353.71	c  353s |      16 |   284513 |   160352 |    19477     15 |      680 |      500
355.80/355.91	c  355s |      16 |   285506 |   161252 |    19477     15 |      680 |      500
357.90/358.00	c  357s |      16 |   286347 |   162052 |    19477     15 |      680 |      500
359.90/360.03	c  359s |      16 |   287087 |   162752 |    19477     15 |      680 |      500
361.91/362.07	c  361s |      16 |   287816 |   163452 |    19477     15 |      680 |      500
364.01/364.18	c  363s |      16 |   288467 |   164052 |    19477     16 |      680 |      500
366.00/366.18	c  365s |      16 |   289416 |   164952 |    19477     16 |      680 |      500
368.10/368.20	c  367s |      16 |   290364 |   165852 |    19477     16 |      680 |      500
370.29/370.40	c  370s |      16 |   291408 |   166852 |    19477     16 |      680 |      500
372.29/372.49	c  372s |      16 |   292369 |   167752 |    19477     16 |      680 |      500
374.59/374.73	c  374s |      16 |   293350 |   168652 |    19477     16 |      680 |      500
376.60/376.79	c  376s |      16 |   294198 |   169452 |    19477     16 |      680 |      500
378.80/378.98	c  378s |      16 |   295055 |   170252 |    19477     16 |      680 |      500
380.79/381.00	c  380s |      16 |   295787 |   170952 |    19477     16 |      680 |      500
382.89/383.04	c  382s |      16 |   296524 |   171652 |    19477     16 |      680 |      500
385.09/385.27	c  385s |      16 |   297263 |   172352 |    19477     16 |      680 |      500
387.29/387.45	c  387s |      16 |   297979 |   173052 |    19477     16 |      680 |      500
389.59/389.73	c  389s |      16 |   298711 |   173752 |    19477     16 |      680 |      500
391.89/392.00	c  391s |      16 |   299451 |   174452 |    19477     16 |      680 |      500
393.89/394.01	c  393s |      16 |   300081 |   175052 |    19477     16 |      680 |      500
395.90/396.07	c  395s |      16 |   300698 |   175652 |    19477     17 |      680 |      500
398.10/398.24	c  397s |      16 |   301654 |   176552 |    19477     17 |      680 |      500
400.08/400.28	c  400s |      16 |   302501 |   177352 |    19477     17 |      680 |      500
402.28/402.40	c  402s |      16 |   303332 |   178152 |    19477     17 |      680 |      500
404.38/404.56	c  404s |      16 |   304052 |   178852 |    19477     17 |      680 |      500
406.58/406.71	c  406s |      16 |   304903 |   179652 |    19477     17 |      680 |      500
408.58/408.72	c  408s |      16 |   305534 |   180252 |    19477     17 |      680 |      500
410.58/410.76	c  410s |      16 |   306287 |   180952 |    19477     17 |      680 |      500
412.68/412.85	c  412s |      16 |   307016 |   181652 |    19477     17 |      680 |      500
414.78/414.99	c  414s |      16 |   307755 |   182352 |    19477     17 |      680 |      500
417.08/417.30	c  417s |      16 |   308485 |   183052 |    19477     17 |      680 |      500
419.37/419.52	c  419s |      16 |   309226 |   183752 |    19477     17 |      680 |      500
421.37/421.57	c  421s |      16 |   309869 |   184352 |    19477     17 |      680 |      500
423.67/423.83	c  423s |      16 |   310616 |   185052 |    19477     17 |      680 |      500
425.68/425.89	c  425s |      16 |   311255 |   185652 |    19477     17 |      680 |      500
428.07/428.25	c  427s |      16 |   311990 |   186352 |    19477     17 |      680 |      500
430.27/430.42	c  430s |      16 |   312614 |   186952 |    19477     18 |      680 |      500
432.37/432.55	c  432s |      16 |   313445 |   187752 |    19477     18 |      680 |      500
434.57/434.73	c  434s |      16 |   314286 |   188552 |    19477     18 |      680 |      500
436.77/436.94	c  436s |      16 |   315127 |   189352 |    19477     18 |      680 |      500
438.88/439.05	c  438s |      16 |   315853 |   190052 |    19477     18 |      680 |      500
440.86/441.10	c  440s |      16 |   316583 |   190752 |    19477     18 |      680 |      500
442.96/443.11	c  442s |      16 |   317324 |   191452 |    19477     18 |      680 |      500
444.96/445.11	c  444s |      16 |   318073 |   192152 |    19477     18 |      680 |      500
446.96/447.15	c  446s |      16 |   318795 |   192852 |    19477     18 |      680 |      500
449.26/449.40	c  449s |      16 |   319533 |   193552 |    19477     18 |      680 |      500
451.26/451.41	c  451s |      16 |   320156 |   194152 |    19477     18 |      680 |      500
453.36/453.55	c  453s |      16 |   320782 |   194752 |    19477     18 |      680 |      500
455.46/455.63	c  455s |      16 |   321405 |   195352 |    19477     18 |      680 |      500
457.76/457.92	c  457s |      16 |   322039 |   195952 |    19477     18 |      680 |      500
459.86/460.05	c  459s |      16 |   322663 |   196552 |    21425     18 |      680 |      500
461.96/462.14	c  461s |      16 |   323280 |   197152 |    21425     18 |      680 |      500
462.96/463.18	c  462s |      17 |   323564 |   197432 |    21425     18 |      680 |      500
464.95/465.19	c  464s |      17 |   332980 |   199032 |    21425     19 |      680 |      500
467.05/467.22	c  466s |      17 |   342782 |   201732 |    21425     19 |      680 |      500
469.25/469.41	c  469s |      17 |   344668 |   203132 |    21425     19 |      680 |      500
471.24/471.46	c  471s |      17 |   345612 |   204032 |    21425     19 |      680 |      500
473.34/473.51	c  473s |      17 |   346567 |   204932 |    21425     19 |      680 |      500
475.34/475.52	c  475s |      17 |   347707 |   205932 |    21425     19 |      680 |      500
477.44/477.61	c  477s |      17 |   348937 |   206932 |    21425     19 |      680 |      500
479.55/479.74	c  479s |      17 |   350034 |   207832 |    21425     19 |      680 |      500
481.84/482.01	c  481s |      17 |   350932 |   208632 |    21425     19 |      680 |      500
483.85/484.05	c  483s |      17 |   351703 |   209332 |    21425     19 |      680 |      500
485.94/486.10	c  485s |      17 |   352582 |   210132 |    21425     19 |      680 |      500
487.94/488.13	c  487s |      17 |   353343 |   210832 |    21425     19 |      680 |      500
490.13/490.36	c  490s |      17 |   353993 |   211432 |    21425     20 |      680 |      500
492.23/492.46	c  492s |      17 |   354751 |   212132 |    21425     20 |      680 |      500
494.34/494.54	c  494s |      17 |   355510 |   212832 |    21425     20 |      680 |      500
496.54/496.73	c  496s |      17 |   356260 |   213532 |    21425     20 |      680 |      500
498.84/499.06	c  498s |      17 |   356979 |   214232 |    21425     20 |      680 |      500
501.14/501.35	c  501s |      17 |   357602 |   214832 |    21425     20 |      680 |      500
503.44/503.60	c  503s |      17 |   358222 |   215432 |    21425     20 |      680 |      500
505.44/505.61	c  505s |      17 |   358734 |   215932 |    21425     20 |      680 |      500
507.44/507.68	c  507s |      17 |   359245 |   216432 |    21425     20 |      680 |      500
509.64/509.87	c  509s |      17 |   359763 |   216932 |    21425     20 |      680 |      500
511.93/512.14	c  511s |      17 |   360409 |   217532 |    21425     20 |      680 |      500
514.13/514.31	c  514s |      17 |   361068 |   218132 |    21425     20 |      680 |      500
516.13/516.33	c  516s |      17 |   361609 |   218632 |    21425     20 |      680 |      500
518.13/518.37	c  518s |      17 |   362142 |   219132 |    21425     20 |      680 |      500
520.42/520.69	c  520s |      17 |   362834 |   219732 |    21425     20 |      680 |      500
522.72/522.90	c  522s |      17 |   363766 |   220432 |    21425     20 |      680 |      500
524.72/524.97	c  524s |      17 |   364732 |   221132 |    21425     20 |      680 |      500
526.92/527.10	c  526s |      17 |   365576 |   221832 |    21425     20 |      680 |      500
529.22/529.42	c  529s |      17 |   366459 |   222532 |    21425     20 |      680 |      500
531.52/531.72	c  531s |      17 |   367183 |   223132 |    21425     20 |      680 |      500
533.82/534.02	c  533s |      17 |   367751 |   223632 |    21425     21 |      680 |      500
535.92/536.19	c  535s |      17 |   368542 |   224332 |    21425     21 |      680 |      500
538.02/538.24	c  537s |      17 |   369702 |   225132 |    21425     21 |      680 |      500
540.03/540.27	c  540s |      17 |   370859 |   225932 |    21425     21 |      680 |      500
542.13/542.40	c  542s |      17 |   371790 |   226732 |    21425     21 |      680 |      500
544.43/544.64	c  544s |      17 |   372761 |   227532 |    21425     21 |      680 |      500
546.63/546.85	c  546s |      17 |   373613 |   228232 |    21425     21 |      680 |      500
548.73/548.97	c  548s |      17 |   374524 |   228932 |    21425     21 |      680 |      500
551.03/551.26	c  551s |      17 |   375219 |   229532 |    21425     21 |      680 |      500
553.12/553.38	c  553s |      17 |   375949 |   230132 |    21425     21 |      680 |      500
555.32/555.54	c  555s |      17 |   376799 |   230832 |    21425     21 |      680 |      500
557.31/557.57	c  557s |      17 |   377731 |   231532 |    21425     21 |      680 |      500
559.51/559.70	c  559s |      17 |   378430 |   232132 |    21425     21 |      680 |      500
561.71/561.92	c  561s |      17 |   379133 |   232732 |    21425     21 |      680 |      500
563.81/564.06	c  563s |      17 |   379853 |   233332 |    21425     21 |      680 |      500
565.92/566.18	c  565s |      17 |   380407 |   233832 |    21425     21 |      680 |      500
568.11/568.31	c  568s |      17 |   381153 |   234432 |    21425     21 |      680 |      500
570.41/570.60	c  570s |      17 |   381900 |   235032 |    21425     21 |      680 |      500
572.51/572.73	c  572s |      17 |   382598 |   235632 |    21425     21 |      680 |      500
574.71/574.99	c  574s |      17 |   383186 |   236132 |    21425     22 |      680 |      500
576.81/577.03	c  576s |      17 |   383972 |   236832 |    21425     22 |      680 |      500
579.11/579.32	c  579s |      17 |   384867 |   237632 |    21425     22 |      680 |      500
581.40/581.62	c  581s |      17 |   385773 |   238432 |    21425     22 |      680 |      500
583.50/583.73	c  583s |      17 |   386614 |   239132 |    21425     22 |      680 |      500
585.50/585.77	c  585s |      17 |   387299 |   239732 |    21425     22 |      680 |      500
587.70/587.99	c  587s |      17 |   388317 |   240532 |    21425     22 |      680 |      500
590.10/590.38	c  590s |      17 |   389112 |   241232 |    21425     22 |      680 |      500
592.49/592.73	c  592s |      17 |   389901 |   241932 |    21425     22 |      680 |      500
594.59/594.85	c  594s |      17 |   390580 |   242532 |    21425     22 |      680 |      500
596.79/597.03	c  596s |      17 |   391277 |   243132 |    21425     22 |      680 |      500
598.89/599.12	c  598s |      17 |   392010 |   243732 |    21425     22 |      680 |      500
600.98/601.24	c  600s |      17 |   392552 |   244232 |    21425     22 |      680 |      500
602.98/603.27	c  603s |      17 |   393072 |   244732 |    21425     22 |      680 |      500
605.08/605.35	c  605s |      17 |   393635 |   245232 |    21425     22 |      680 |      500
607.28/607.52	c  607s |      17 |   394188 |   245732 |    21425     22 |      680 |      500
609.48/609.70	c  609s |      17 |   394710 |   246232 |    21425     22 |      680 |      500
611.67/611.94	c  611s |      17 |   395339 |   246832 |    21425     22 |      680 |      500
613.97/614.25	c  613s |      17 |   396058 |   247432 |    21425     22 |      680 |      500
616.07/616.38	c  616s |      17 |   396825 |   248032 |    21425     22 |      680 |      500
618.17/618.43	c  618s |      17 |   397276 |   248432 |    21425     23 |      680 |      500
620.18/620.46	c  620s |      17 |   397946 |   249032 |    21425     23 |      680 |      500
622.27/622.56	c  622s |      17 |   398702 |   249732 |    21425     23 |      680 |      500
624.46/624.76	c  624s |      17 |   399524 |   250432 |    21425     23 |      680 |      500
626.56/626.88	c  626s |      17 |   400215 |   251032 |    21425     23 |      680 |      500
628.76/629.00	c  628s |      17 |   400880 |   251632 |    21425     23 |      680 |      500
630.96/631.22	c  630s |      17 |   401526 |   252232 |    21425     23 |      680 |      500
633.26/633.50	c  633s |      17 |   402182 |   252832 |    21425     23 |      680 |      500
635.26/635.52	c  635s |      17 |   402852 |   253432 |    21425     23 |      680 |      500
636.56/637.85	c  637s |      17 |   403528 |   254032 |    21425     23 |      680 |      500
636.56/639.99	c  639s |      17 |   404188 |   254632 |    21425     23 |      680 |      500
636.56/642.16	c  641s |      17 |   404728 |   255132 |    21425     23 |      680 |      500
643.35/644.24	c  643s |      17 |   405283 |   255632 |    21425     23 |      680 |      500
645.97/646.36	c  646s |      17 |   405813 |   256132 |    21425     23 |      680 |      500
645.97/648.36	c  648s |      17 |   406387 |   256632 |    21425     23 |      680 |      500
648.89/650.71	c  650s |      17 |   407076 |   257232 |    21425     23 |      680 |      500
648.89/652.78	c  652s |      17 |   407633 |   257732 |    21425     23 |      680 |      500
648.89/655.16	c  654s |      17 |   408159 |   258232 |    21425     23 |      680 |      500
648.89/657.59	c  657s |      17 |   408698 |   258732 |    21425     23 |      680 |      500
648.89/659.82	c  659s |      17 |   409243 |   259232 |    21425     23 |      680 |      500
648.89/662.01	c  661s |      17 |   409765 |   259732 |    21425     23 |      680 |      500
661.76/664.03	c  663s |      17 |   410197 |   260132 |    21425     23 |      680 |      500
666.06/666.36	c  666s |      17 |   410645 |   260532 |    21425     24 |      680 |      500
667.85/668.64	c  668s |      17 |   411589 |   261332 |    21425     24 |      680 |      500
669.66/670.76	c  670s |      17 |   412350 |   262032 |    21425     24 |      680 |      500
669.66/673.04	c  672s |      17 |   413109 |   262732 |    21425     24 |      680 |      500
669.66/675.24	c  674s |      17 |   413729 |   263332 |    21425     24 |      680 |      500
669.66/677.57	c  677s |      17 |   414470 |   264032 |    21425     24 |      680 |      500
669.66/679.80	c  679s |      17 |   415249 |   264732 |    21425     24 |      680 |      500
680.97/681.97	c  681s |      17 |   415923 |   265332 |    21425     24 |      680 |      500
683.66/684.31	c  684s |      17 |   416658 |   266032 |    21425     24 |      680 |      500
684.98/686.51	c  686s |      17 |   417286 |   266632 |    21425     24 |      680 |      500
686.77/688.65	c  688s |      17 |   417801 |   267132 |    21425     24 |      680 |      500
689.81/690.80	c  690s |      17 |   418329 |   267632 |    21425     24 |      680 |      500
689.81/692.94	c  692s |      17 |   418862 |   268132 |    21425     24 |      680 |      500
693.29/695.15	c  694s |      17 |   419515 |   268732 |    21425     24 |      680 |      500
695.93/697.45	c  697s |      17 |   420184 |   269332 |    21425     24 |      680 |      500
697.81/699.65	c  699s |      17 |   420931 |   269932 |    21425     24 |      680 |      500
700.79/701.92	c  701s |      17 |   421708 |   270532 |    21425     24 |      680 |      500
703.23/704.20	c  703s |      17 |   422469 |   271132 |    21425     24 |      680 |      500
705.55/706.23	c  705s |      17 |   423050 |   271632 |    21425     24 |      680 |      500
707.35/708.41	c  708s |      17 |   423613 |   272132 |    21425     24 |      680 |      500
709.91/710.46	c  710s |      17 |   424166 |   272632 |    21425     24 |      680 |      500
709.91/712.65	c  712s |      17 |   424747 |   273132 |    21425     25 |      680 |      500
709.91/714.91	c  714s |      17 |   425580 |   273832 |    21425     25 |      680 |      500
715.68/717.02	c  716s |      17 |   426339 |   274532 |    21425     25 |      680 |      500
715.68/719.03	c  718s |      17 |   426979 |   275132 |    21425     25 |      680 |      500
719.05/721.19	c  720s |      17 |   427760 |   275832 |    21425     25 |      680 |      500
719.05/723.22	c  722s |      17 |   428434 |   276432 |    21425     25 |      680 |      500
723.45/725.49	c  725s |      17 |   429096 |   277032 |    21425     25 |      680 |      500
723.45/727.50	c  727s |      17 |   429635 |   277532 |    21425     25 |      680 |      500
728.11/729.70	c  729s |      17 |   430188 |   278032 |    21425     25 |      680 |      500
731.34/731.70	c  731s |      17 |   430757 |   278532 |    21425     25 |      680 |      500
733.22/733.85	c  733s |      17 |   431308 |   279032 |    21425     25 |      680 |      500
734.52/735.88	c  735s |      17 |   431879 |   279532 |    21425     25 |      680 |      500
734.52/738.14	c  737s |      17 |   432589 |   280132 |    21425     25 |      680 |      500
739.05/740.25	c  739s |      17 |   433153 |   280632 |    21425     25 |      680 |      500
741.61/742.54	c  742s |      17 |   433687 |   281132 |    21425     25 |      680 |      500
741.61/744.75	c  744s |      17 |   434224 |   281632 |    21425     25 |      680 |      500
741.61/747.26	c  747s |      17 |   434762 |   282132 |    21425     25 |      680 |      500
741.61/749.70	c  749s |      17 |   435303 |   282632 |    21425     25 |      680 |      500
751.18/751.75	c  751s |      17 |   435730 |   283032 |    21425     25 |      680 |      500
753.18/754.08	c  753s |      17 |   436318 |   283532 |    21425     25 |      680 |      500
753.77/756.32	c  756s |      17 |   436857 |   284032 |    21425     25 |      680 |      500
753.77/758.54	c  758s |      17 |   437390 |   284532 |    21425     25 |      680 |      500
758.63/760.60	c  760s |      17 |   437829 |   284932 |    21425     25 |      680 |      500
761.91/762.85	c  762s |      17 |   438242 |   285332 |    21425     26 |      680 |      500
764.63/765.05	c  764s |      17 |   438934 |   285932 |    21425     26 |      680 |      500
764.63/767.17	c  766s |      17 |   439448 |   286432 |    21425     26 |      680 |      500
766.85/769.55	c  769s |      17 |   440123 |   287032 |    21425     26 |      680 |      500
771.09/771.61	c  771s |      17 |   440660 |   287532 |    21425     26 |      680 |      500
773.22/773.69	c  773s |      17 |   441230 |   288032 |    21425     26 |      680 |      500
773.59/775.93	c  775s |      17 |   442089 |   288732 |    21425     26 |      680 |      500
776.02/778.09	c  777s |      17 |   442930 |   289432 |    21425     26 |      680 |      500
776.02/780.24	c  779s |      17 |   443645 |   290032 |    21425     26 |      680 |      500
776.02/782.29	c  782s |      17 |   444384 |   290632 |    21425     26 |      680 |      500
776.02/784.36	c  784s |      17 |   444954 |   291132 |    21425     26 |      680 |      500
776.02/786.51	c  786s |      17 |   445523 |   291632 |    21425     26 |      680 |      500
787.82/788.57	c  788s |      17 |   445971 |   292032 |    21425     26 |      680 |      500
790.33/790.72	c  790s |      17 |   446511 |   292532 |    21425     26 |      680 |      500
792.57/793.14	c  792s |      17 |   447164 |   293132 |    21425     26 |      680 |      500
792.89/795.49	c  795s |      17 |   447724 |   293632 |    21425     26 |      680 |      500
797.17/797.66	c  797s |      17 |   448278 |   294132 |    21425     26 |      680 |      500
799.41/799.79	c  799s |      17 |   448710 |   294532 |    23568     26 |      680 |      500
799.41/802.10	c  801s |      17 |   449258 |   295032 |    23568     26 |      680 |      500
799.41/804.39	c  804s |      17 |   449789 |   295532 |    23568     26 |      680 |      500
806.28/806.74	c  806s |      17 |   450348 |   296032 |    23568     26 |      680 |      500
806.45/807.84	c  807s |      18 |   450589 |   296252 |    23568     26 |      680 |      500
806.45/809.93	c  809s |      18 |   457163 |   298052 |    23568     26 |      680 |      500
806.45/811.98	c  811s |      18 |   462285 |   299952 |    23568     27 |      680 |      500
813.57/814.06	c  813s |      18 |   464363 |   301452 |    23568     27 |      680 |      500
814.48/816.13	c  815s |      18 |   465845 |   302652 |    23568     27 |      680 |      500
817.75/818.15	c  817s |      18 |   467045 |   303652 |    23568     27 |      680 |      500
817.75/820.40	c  820s |      18 |   468520 |   304752 |    23568     27 |      680 |      500
821.56/822.47	c  822s |      18 |   469597 |   305652 |    23568     27 |      680 |      500
821.56/824.60	c  824s |      18 |   471409 |   306852 |    23568     27 |      680 |      500
825.12/826.66	c  826s |      18 |   473360 |   308152 |    23568     27 |      680 |      500
827.29/828.72	c  828s |      18 |   474958 |   309352 |    23568     27 |      680 |      500
829.55/830.86	c  830s |      18 |   476049 |   310252 |    23568     27 |      680 |      500
829.55/832.94	c  832s |      18 |   477147 |   311152 |    23568     27 |      680 |      500
832.93/835.07	c  834s |      18 |   478092 |   311952 |    23568     27 |      680 |      500
832.93/837.15	c  836s |      18 |   479050 |   312752 |    23568     27 |      680 |      500
832.93/839.35	c  839s |      18 |   479747 |   313352 |    23568     28 |      680 |      500
839.00/841.44	c  841s |      18 |   480545 |   314052 |    23568     28 |      680 |      500
839.00/843.71	c  843s |      18 |   481462 |   314852 |    23568     28 |      680 |      500
839.00/845.91	c  845s |      18 |   482257 |   315552 |    23568     28 |      680 |      500
846.38/848.05	c  847s |      18 |   483067 |   316252 |    23568     28 |      680 |      500
849.54/850.09	c  849s |      18 |   483908 |   316952 |    23568     28 |      680 |      500
849.54/852.33	c  852s |      18 |   485048 |   317852 |    23568     28 |      680 |      500
849.54/854.50	c  854s |      18 |   486077 |   318652 |    23568     28 |      680 |      500
849.54/856.75	c  856s |      18 |   487018 |   319452 |    23568     28 |      680 |      500
857.82/858.99	c  858s |      18 |   487798 |   320152 |    23568     28 |      680 |      500
860.15/861.02	c  860s |      18 |   488487 |   320752 |    23568     28 |      680 |      500
861.23/863.26	c  863s |      18 |   489295 |   321452 |    23568     28 |      680 |      500
864.68/865.31	c  865s |      18 |   490008 |   322052 |    23568     28 |      680 |      500
864.68/867.61	c  867s |      18 |   490656 |   322652 |    23568     28 |      680 |      500
869.50/869.91	c  869s |      18 |   491476 |   323352 |    23568     28 |      680 |      500
871.62/872.10	c  871s |      18 |   492316 |   324052 |    23568     28 |      680 |      500
873.06/874.46	c  874s |      18 |   493121 |   324752 |    23568     28 |      680 |      500
875.12/876.66	c  876s |      18 |   493777 |   325352 |    23568     28 |      680 |      500
877.52/879.00	c  878s |      18 |   494464 |   325952 |    23568     28 |      680 |      500
877.52/881.27	c  881s |      18 |   494895 |   326352 |    23568     29 |      680 |      500
877.52/883.39	c  883s |      18 |   495685 |   327052 |    23568     29 |      680 |      500
877.52/885.54	c  885s |      18 |   496343 |   327652 |    23568     29 |      680 |      500
877.52/887.70	c  887s |      18 |   497021 |   328252 |    23568     29 |      680 |      500
889.15/890.00	c  889s |      18 |   497708 |   328852 |    23568     29 |      680 |      500
889.61/892.04	c  891s |      18 |   498403 |   329452 |    23568     29 |      680 |      500
893.66/894.07	c  893s |      18 |   499098 |   330052 |    23568     29 |      680 |      500
895.61/896.42	c  896s |      18 |   499857 |   330752 |    23568     29 |      680 |      500
895.61/898.43	c  898s |      18 |   500543 |   331352 |    23568     29 |      680 |      500
898.03/900.47	c  900s |      18 |   501098 |   331852 |    23568     29 |      680 |      500
898.03/902.80	c  902s |      18 |   501764 |   332452 |    23568     29 |      680 |      500
898.03/904.90	c  904s |      18 |   502515 |   333052 |    23568     29 |      680 |      500
906.24/907.18	c  906s |      18 |   503314 |   333752 |    23568     29 |      680 |      500
906.24/909.34	c  909s |      18 |   503955 |   334352 |    23568     29 |      680 |      500
910.99/911.45	c  911s |      18 |   504645 |   334952 |    23568     29 |      680 |      500
912.56/913.59	c  913s |      18 |   505593 |   335752 |    23568     29 |      680 |      500
912.56/915.71	c  915s |      18 |   506447 |   336452 |    23568     29 |      680 |      500
912.56/917.92	c  917s |      18 |   507239 |   337152 |    23568     29 |      680 |      500
918.75/920.04	c  919s |      18 |   507953 |   337752 |    23568     29 |      680 |      500
918.75/922.34	c  922s |      18 |   508626 |   338352 |    23568     29 |      680 |      500
923.53/924.71	c  924s |      18 |   509287 |   338952 |    23568     29 |      680 |      500
926.11/926.97	c  926s |      18 |   509822 |   339452 |    23568     29 |      680 |      500
926.11/929.28	c  929s |      18 |   510372 |   339952 |    23568     30 |      680 |      500
929.68/931.34	c  931s |      18 |   511028 |   340552 |    23568     30 |      680 |      500
932.38/933.54	c  933s |      18 |   511836 |   341252 |    23568     30 |      680 |      500
933.52/935.71	c  935s |      18 |   512660 |   341952 |    23568     30 |      680 |      500
937.40/937.90	c  937s |      18 |   513456 |   342652 |    23568     30 |      680 |      500
939.60/940.03	c  939s |      18 |   514114 |   343252 |    23568     30 |      680 |      500
941.70/942.12	c  941s |      18 |   514791 |   343852 |    23568     30 |      680 |      500
943.80/944.21	c  943s |      18 |   515453 |   344452 |    23568     30 |      680 |      500
945.90/946.32	c  946s |      18 |   516563 |   345152 |    23568     30 |      680 |      500
948.09/948.50	c  948s |      18 |   517636 |   345952 |    23568     30 |      680 |      500
950.39/950.81	c  950s |      18 |   518473 |   346652 |    23568     30 |      680 |      500
952.49/952.90	c  952s |      18 |   519174 |   347252 |    23568     30 |      680 |      500
954.59/955.09	c  954s |      18 |   519903 |   347852 |    23568     30 |      680 |      500
956.69/957.12	c  956s |      18 |   520585 |   348452 |    23568     30 |      680 |      500
958.79/959.28	c  959s |      18 |   521255 |   349052 |    23568     30 |      680 |      500
960.89/961.30	c  961s |      18 |   522012 |   349652 |    23568     30 |      680 |      500
963.19/963.60	c  963s |      18 |   522735 |   350252 |    23568     30 |      680 |      500
965.29/965.79	c  965s |      18 |   523739 |   350952 |    23568     30 |      680 |      500
967.49/967.90	c  967s |      18 |   524759 |   351652 |    23568     30 |      680 |      500
969.69/970.15	c  969s |      18 |   525714 |   352352 |    23568     30 |      680 |      500
971.70/972.17	c  971s |      18 |   526326 |   352852 |    23568     30 |      680 |      500
973.90/974.33	c  974s |      18 |   526963 |   353352 |    23568     31 |      680 |      500
975.89/976.37	c  976s |      18 |   527634 |   353952 |    23568     31 |      680 |      500
978.19/978.64	c  978s |      18 |   528553 |   354752 |    23568     31 |      680 |      500
980.29/980.78	c  980s |      18 |   529365 |   355452 |    23568     31 |      680 |      500
982.59/983.05	c  982s |      18 |   530152 |   356152 |    23568     31 |      680 |      500
984.79/985.29	c  985s |      18 |   531016 |   356852 |    23568     31 |      680 |      500
987.10/987.56	c  987s |      18 |   531956 |   357652 |    23568     31 |      680 |      500
989.19/989.70	c  989s |      18 |   532775 |   358352 |    23568     31 |      680 |      500
991.49/991.96	c  991s |      18 |   533719 |   359152 |    23568     31 |      680 |      500
993.79/994.21	c  993s |      18 |   534561 |   359852 |    23568     31 |      680 |      500
995.78/996.24	c  995s |      18 |   535272 |   360452 |    23568     31 |      680 |      500
997.98/998.46	c  998s |      18 |   535946 |   361052 |    23568     31 |      680 |      500
1000.29/1000.72	c 1000s |      18 |   536664 |   361652 |    23568     31 |      680 |      500
1002.38/1002.85	c 1002s |      18 |   537339 |   362252 |    23568     31 |      680 |      500
1004.58/1005.04	c 1004s |      18 |   538042 |   362852 |    23568     31 |      680 |      500
1006.89/1007.35	c 1007s |      18 |   538612 |   363352 |    23568     31 |      680 |      500
1009.09/1009.54	c 1009s |      18 |   539181 |   363852 |    23568     31 |      680 |      500
1011.39/1011.87	c 1011s |      18 |   539863 |   364452 |    23568     31 |      680 |      500
1013.78/1014.26	c 1014s |      18 |   540430 |   364952 |    23568     31 |      680 |      500
1016.09/1016.57	c 1016s |      18 |   541134 |   365552 |    23568     31 |      680 |      500
1018.49/1018.97	c 1018s |      18 |   541792 |   366152 |    23568     31 |      680 |      500
1020.69/1021.16	c 1020s |      18 |   542258 |   366552 |    23568     32 |      680 |      500
1022.89/1023.33	c 1023s |      18 |   542936 |   367152 |    23568     32 |      680 |      500
1025.19/1025.61	c 1025s |      18 |   543615 |   367752 |    23568     32 |      680 |      500
1027.39/1027.86	c 1027s |      18 |   544167 |   368252 |    23568     32 |      680 |      500
1029.69/1030.19	c 1029s |      18 |   544717 |   368752 |    23568     32 |      680 |      500
1032.09/1032.57	c 1032s |      18 |   545270 |   369252 |    23568     32 |      680 |      500
1034.18/1034.60	c 1034s |      18 |   545703 |   369652 |    23568     32 |      680 |      500
1036.48/1036.93	c 1036s |      18 |   546251 |   370152 |    23568     32 |      680 |      500
1038.48/1038.96	c 1038s |      18 |   546866 |   370652 |    23568     32 |      680 |      500
1040.58/1041.04	c 1040s |      18 |   547589 |   371252 |    23568     32 |      680 |      500
1042.58/1043.08	c 1042s |      18 |   548266 |   371852 |    23568     32 |      680 |      500
1044.58/1045.08	c 1044s |      18 |   548853 |   372352 |    23568     32 |      680 |      500
1046.78/1047.29	c 1047s |      18 |   549489 |   372952 |    23568     32 |      680 |      500
1048.88/1049.35	c 1049s |      18 |   550148 |   373552 |    23568     32 |      680 |      500
1051.28/1051.76	c 1051s |      18 |   550822 |   374152 |    23568     32 |      680 |      500
1053.38/1053.80	c 1053s |      18 |   551381 |   374652 |    23568     32 |      680 |      500
1055.78/1056.21	c 1055s |      18 |   552037 |   375252 |    23568     32 |      680 |      500
1057.98/1058.43	c 1058s |      18 |   552579 |   375752 |    23568     32 |      680 |      500
1060.28/1060.74	c 1060s |      18 |   553117 |   376252 |    23568     32 |      680 |      500
1062.58/1063.08	c 1062s |      18 |   553805 |   376852 |    23568     32 |      680 |      500
1065.08/1065.54	c 1065s |      18 |   554455 |   377452 |    23568     32 |      680 |      500
1067.49/1067.91	c 1067s |      18 |   555004 |   377952 |    23568     32 |      680 |      500
1069.59/1070.07	c 1069s |      18 |   555552 |   378452 |    23568     32 |      680 |      500
1071.89/1072.32	c 1072s |      18 |   556109 |   378952 |    23568     32 |      680 |      500
1074.28/1074.75	c 1074s |      18 |   556656 |   379452 |    23568     32 |      680 |      500
1076.58/1077.02	c 1076s |      18 |   557138 |   379852 |    23568     33 |      680 |      500
1078.68/1079.18	c 1078s |      18 |   557804 |   380452 |    23568     33 |      680 |      500
1081.07/1081.56	c 1081s |      18 |   558473 |   381052 |    23568     33 |      680 |      500
1083.17/1083.65	c 1083s |      18 |   559181 |   381652 |    23568     33 |      680 |      500
1085.17/1085.69	c 1085s |      18 |   559895 |   382252 |    23568     33 |      680 |      500
1087.37/1087.82	c 1087s |      18 |   560689 |   382952 |    23568     33 |      680 |      500
1089.57/1090.00	c 1089s |      18 |   561530 |   383652 |    23568     33 |      680 |      500
1091.68/1092.14	c 1091s |      18 |   562187 |   384252 |    23568     33 |      680 |      500
1093.88/1094.34	c 1094s |      18 |   562847 |   384852 |    23568     33 |      680 |      500
1096.17/1096.61	c 1096s |      18 |   563569 |   385452 |    23568     33 |      680 |      500
1098.18/1098.69	c 1098s |      18 |   564129 |   385952 |    23568     33 |      680 |      500
1100.67/1101.11	c 1100s |      18 |   564813 |   386552 |    23568     33 |      680 |      500
1102.97/1103.48	c 1103s |      18 |   565487 |   387152 |    23568     33 |      680 |      500
1105.27/1105.75	c 1105s |      18 |   566159 |   387752 |    23568     33 |      680 |      500
1107.37/1107.89	c 1107s |      18 |   566828 |   388352 |    23568     33 |      680 |      500
1109.77/1110.24	c 1109s |      18 |   567490 |   388952 |    23568     33 |      680 |      500
1111.77/1112.28	c 1112s |      18 |   568063 |   389452 |    23568     33 |      680 |      500
1113.87/1114.35	c 1114s |      18 |   568631 |   389952 |    23568     33 |      680 |      500
1116.07/1116.51	c 1116s |      18 |   569224 |   390452 |    23568     33 |      680 |      500
1118.17/1118.67	c 1118s |      18 |   569791 |   390952 |    23568     33 |      680 |      500
1120.28/1120.75	c 1120s |      18 |   570358 |   391452 |    23568     33 |      680 |      500
1122.48/1122.92	c 1122s |      18 |   570912 |   391952 |    23568     33 |      680 |      500
1124.47/1124.93	c 1124s |      18 |   571496 |   392452 |    23568     33 |      680 |      500
1126.78/1127.28	c 1127s |      18 |   572034 |   392952 |    23568     33 |      680 |      500
1128.98/1129.44	c 1129s |      18 |   572472 |   393352 |    23568     34 |      680 |      500
1131.07/1131.56	c 1131s |      18 |   573146 |   393952 |    23568     34 |      680 |      500
1133.47/1133.92	c 1133s |      18 |   573790 |   394552 |    23568     34 |      680 |      500
1135.46/1135.93	c 1135s |      18 |   574358 |   395052 |    23568     34 |      680 |      500
1137.66/1138.10	c 1137s |      18 |   575034 |   395652 |    23568     34 |      680 |      500
1139.76/1140.29	c 1140s |      18 |   575680 |   396252 |    23568     34 |      680 |      500
1141.96/1142.48	c 1142s |      18 |   576323 |   396852 |    23568     34 |      680 |      500
1144.26/1144.70	c 1144s |      18 |   576996 |   397452 |    23568     34 |      680 |      500
1146.26/1146.74	c 1146s |      18 |   577542 |   397952 |    23568     34 |      680 |      500
1148.36/1148.83	c 1148s |      18 |   578261 |   398552 |    23568     34 |      680 |      500
1150.36/1150.89	c 1150s |      18 |   578943 |   399152 |    23568     34 |      680 |      500
1152.76/1153.22	c 1152s |      18 |   579601 |   399752 |    23568     34 |      680 |      500
1155.07/1155.51	c 1155s |      18 |   580254 |   400352 |    23568     34 |      680 |      500
1157.27/1157.76	c 1157s |      18 |   580915 |   400952 |    23568     34 |      680 |      500
1159.57/1160.02	c 1159s |      18 |   581567 |   401552 |    23568     34 |      680 |      500
1161.67/1162.14	c 1161s |      18 |   582235 |   402152 |    23568     34 |      680 |      500
1163.77/1164.22	c 1163s |      18 |   582772 |   402652 |    23568     34 |      680 |      500
1165.96/1166.48	c 1166s |      18 |   583298 |   403152 |    23568     34 |      680 |      500
1168.06/1168.52	c 1168s |      18 |   583852 |   403652 |    23568     34 |      680 |      500
1170.36/1170.88	c 1170s |      18 |   584514 |   404252 |    23568     34 |      680 |      500
1172.36/1172.89	c 1172s |      18 |   585072 |   404752 |    23568     34 |      680 |      500
1174.56/1175.02	c 1174s |      18 |   585618 |   405252 |    23568     34 |      680 |      500
1176.86/1177.36	c 1177s |      18 |   586272 |   405852 |    23568     34 |      680 |      500
1179.36/1179.87	c 1179s |      18 |   586812 |   406352 |    23568     35 |      680 |      500
1181.46/1181.95	c 1181s |      18 |   587493 |   406952 |    23568     35 |      680 |      500
1183.66/1184.12	c 1183s |      18 |   588141 |   407552 |    23568     35 |      680 |      500
1185.86/1186.35	c 1186s |      18 |   588811 |   408152 |    23568     35 |      680 |      500
1188.16/1188.69	c 1188s |      18 |   589579 |   408852 |    23568     35 |      680 |      500
1190.46/1190.91	c 1190s |      18 |   590350 |   409552 |    23568     35 |      680 |      500
1192.56/1193.04	c 1192s |      18 |   591020 |   410152 |    23568     35 |      680 |      500
1194.97/1195.44	c 1195s |      18 |   591655 |   410752 |    23568     35 |      680 |      500
1196.96/1197.49	c 1197s |      18 |   592192 |   411252 |    23568     35 |      680 |      500
1199.16/1199.66	c 1199s |      18 |   592754 |   411752 |    23568     35 |      680 |      500
1201.46/1201.93	c 1201s |      18 |   593291 |   412252 |    23568     35 |      680 |      500
1203.87/1204.33	c 1204s |      18 |   593839 |   412752 |    23568     35 |      680 |      500
1205.85/1206.34	c 1206s |      18 |   594420 |   413252 |    23568     35 |      680 |      500
1208.05/1208.59	c 1208s |      18 |   594996 |   413752 |    23568     35 |      680 |      500
1210.36/1210.87	c 1210s |      18 |   595546 |   414252 |    23568     35 |      680 |      500
1212.35/1212.88	c 1212s |      18 |   596167 |   414752 |    23568     35 |      680 |      500
1214.35/1214.89	c 1214s |      18 |   596734 |   415252 |    23568     35 |      680 |      500
1216.85/1217.32	c 1217s |      18 |   597427 |   415852 |    23568     35 |      680 |      500
1219.05/1219.52	c 1219s |      18 |   597994 |   416352 |    23568     35 |      680 |      500
1221.05/1221.52	c 1221s |      18 |   598416 |   416752 |    23568     35 |      680 |      500
1223.35/1223.85	c 1223s |      18 |   598985 |   417252 |    23568     35 |      680 |      500
1225.45/1225.94	c 1225s |      18 |   599403 |   417652 |    23568     35 |      680 |      500
1227.96/1228.44	c 1228s |      18 |   599995 |   418152 |    23568     35 |      680 |      500
1230.46/1230.97	c 1230s |      18 |   600563 |   418652 |    23568     35 |      680 |      500
1232.85/1233.30	c 1233s |      18 |   601116 |   419152 |    23568     35 |      680 |      500
1235.25/1235.73	c 1235s |      18 |   601652 |   419652 |    23568     35 |      680 |      500
1237.25/1237.78	c 1237s |      18 |   602137 |   420052 |    23568     36 |      680 |      500
1239.45/1239.90	c 1239s |      18 |   602809 |   420652 |    23568     36 |      680 |      500
1241.45/1241.91	c 1241s |      18 |   603342 |   421152 |    23568     36 |      680 |      500
1243.65/1244.16	c 1243s |      18 |   603986 |   421752 |    23568     36 |      680 |      500
1245.66/1246.16	c 1245s |      18 |   604539 |   422252 |    23568     36 |      680 |      500
1247.76/1248.21	c 1247s |      18 |   605073 |   422752 |    23568     36 |      680 |      500
1249.75/1250.29	c 1250s |      18 |   605733 |   423352 |    23568     36 |      680 |      500
1251.85/1252.32	c 1252s |      18 |   606294 |   423852 |    23568     36 |      680 |      500
1253.95/1254.44	c 1254s |      18 |   608604 |   424852 |    23568     36 |      680 |      500
1256.15/1256.60	c 1256s |      18 |   610227 |   425952 |    23568     36 |      680 |      500
1258.24/1258.79	c 1258s |      18 |   611248 |   426752 |    23568     36 |      680 |      500
1260.54/1261.01	c 1260s |      18 |   612195 |   427552 |    23568     36 |      680 |      500
1262.74/1263.20	c 1262s |      18 |   613301 |   428452 |    23568     36 |      680 |      500
1264.85/1265.38	c 1265s |      18 |   614245 |   429252 |    23568     36 |      680 |      500
1266.85/1267.39	c 1267s |      18 |   615083 |   429952 |    23568     36 |      680 |      500
1269.15/1269.66	c 1269s |      18 |   615893 |   430652 |    23568     36 |      680 |      500
1271.45/1271.94	c 1271s |      18 |   616854 |   431452 |    23568     36 |      680 |      500
1273.65/1274.12	c 1273s |      18 |   617564 |   432052 |    23568     36 |      680 |      500
1275.95/1276.42	c 1276s |      18 |   618132 |   432552 |    23568     36 |      680 |      500
1277.95/1278.44	c 1278s |      18 |   618609 |   432952 |    23568     37 |      680 |      500
1280.05/1280.58	c 1280s |      18 |   619329 |   433552 |    23568     37 |      680 |      500
1282.35/1282.82	c 1282s |      18 |   620155 |   434252 |    23568     37 |      680 |      500
1284.44/1284.90	c 1284s |      18 |   620953 |   434952 |    23568     37 |      680 |      500
1286.44/1286.98	c 1286s |      18 |   621620 |   435552 |    23568     37 |      680 |      500
1288.74/1289.28	c 1289s |      18 |   622551 |   436352 |    23568     37 |      680 |      500
1290.94/1291.41	c 1291s |      18 |   623408 |   437052 |    23568     37 |      680 |      500
1292.95/1293.44	c 1293s |      18 |   624131 |   437652 |    23568     37 |      680 |      500
1295.15/1295.65	c 1295s |      18 |   624794 |   438252 |    23568     37 |      680 |      500
1297.35/1297.81	c 1297s |      18 |   625478 |   438852 |    23568     37 |      680 |      500
1299.55/1300.05	c 1299s |      18 |   626181 |   439452 |    23568     37 |      680 |      500
1301.75/1302.24	c 1301s |      18 |   626870 |   440052 |    23568     37 |      680 |      500
1303.74/1304.29	c 1304s |      18 |   627534 |   440652 |    23568     37 |      680 |      500
1305.84/1306.31	c 1306s |      18 |   628075 |   441152 |    23568     37 |      680 |      500
1308.04/1308.58	c 1308s |      18 |   628749 |   441752 |    25925     37 |      680 |      500
1310.24/1310.72	c 1310s |      18 |   629309 |   442252 |    25925     37 |      680 |      500
1312.24/1312.73	c 1312s |      18 |   629866 |   442752 |    25925     37 |      680 |      500
1314.54/1315.07	c 1314s |      18 |   630431 |   443252 |    25925     37 |      680 |      500
1316.64/1317.12	c 1316s |      18 |   631075 |   443752 |    25925     37 |      680 |      500
1318.64/1319.12	c 1318s |      18 |   631668 |   444252 |    25925     37 |      680 |      500
1319.64/1320.10	c 1319s |      19 |   631934 |   444482 |    25925     37 |      680 |      500
1321.74/1322.22	c 1321s |      19 |   638055 |   445782 |    25925     37 |      680 |      500
1323.83/1324.33	c 1324s |      19 |   642082 |   447682 |    25925     37 |      680 |      500
1325.84/1326.37	c 1326s |      19 |   643836 |   448782 |    25925     38 |      680 |      500
1327.93/1328.43	c 1328s |      19 |   646504 |   450382 |    25925     38 |      680 |      500
1329.93/1330.49	c 1330s |      19 |   649632 |   451782 |    25925     38 |      680 |      500
1332.13/1332.62	c 1332s |      19 |   651502 |   453182 |    25925     38 |      680 |      500
1334.23/1334.80	c 1334s |      19 |   652623 |   454182 |    25925     38 |      680 |      500
1336.33/1336.84	c 1336s |      19 |   653663 |   455082 |    25925     38 |      680 |      500
1338.43/1338.93	c 1338s |      19 |   654553 |   455882 |    25925     38 |      680 |      500
1340.73/1341.20	c 1340s |      19 |   655529 |   456782 |    25925     38 |      680 |      500
1342.93/1343.43	c 1343s |      19 |   656281 |   457482 |    25925     38 |      680 |      500
1344.93/1345.44	c 1345s |      19 |   657069 |   458182 |    25925     38 |      680 |      500
1347.13/1347.69	c 1347s |      19 |   658082 |   459082 |    25925     38 |      680 |      500
1349.23/1349.75	c 1349s |      19 |   658895 |   459782 |    25925     38 |      680 |      500
1351.33/1351.84	c 1351s |      19 |   659649 |   460482 |    25925     38 |      680 |      500
1353.63/1354.16	c 1353s |      19 |   660557 |   461282 |    25925     38 |      680 |      500
1355.73/1356.20	c 1355s |      19 |   661198 |   461882 |    25925     38 |      680 |      500
1357.74/1358.30	c 1358s |      19 |   661848 |   462482 |    25925     38 |      680 |      500
1360.05/1360.58	c 1360s |      19 |   662526 |   463082 |    25925     38 |      680 |      500
1362.43/1362.90	c 1362s |      19 |   663167 |   463682 |    25925     39 |      680 |      500
1364.44/1364.98	c 1364s |      19 |   663806 |   464282 |    25925     39 |      680 |      500
1366.64/1367.12	c 1366s |      19 |   664456 |   464882 |    25925     39 |      680 |      500
1368.63/1369.15	c 1368s |      19 |   665105 |   465482 |    25925     39 |      680 |      500
1370.94/1371.45	c 1371s |      19 |   665879 |   466182 |    25925     39 |      680 |      500
1373.24/1373.72	c 1373s |      19 |   666515 |   466782 |    25925     39 |      680 |      500
1375.23/1375.73	c 1375s |      19 |   667053 |   467282 |    25925     39 |      680 |      500
1377.33/1377.81	c 1377s |      19 |   667584 |   467782 |    25925     39 |      680 |      500
1379.33/1379.84	c 1379s |      19 |   668140 |   468282 |    25925     39 |      680 |      500
1381.53/1382.04	c 1381s |      19 |   668691 |   468782 |    25925     39 |      680 |      500
1383.63/1384.18	c 1383s |      19 |   669237 |   469282 |    25925     39 |      680 |      500
1385.83/1386.33	c 1386s |      19 |   669775 |   469782 |    25925     39 |      680 |      500
1388.13/1388.64	c 1388s |      19 |   670308 |   470282 |    25925     39 |      680 |      500
1390.23/1390.73	c 1390s |      19 |   670858 |   470782 |    25925     39 |      680 |      500
1392.53/1393.05	c 1392s |      19 |   671376 |   471282 |    25925     39 |      680 |      500
1395.03/1395.57	c 1395s |      19 |   671909 |   471782 |    25925     39 |      680 |      500
1397.33/1397.87	c 1397s |      19 |   672434 |   472282 |    25925     39 |      680 |      500
1399.43/1399.98	c 1399s |      19 |   672959 |   472782 |    25925     39 |      680 |      500
1401.62/1402.18	c 1401s |      19 |   673391 |   473182 |    25925     39 |      680 |      500
1403.72/1404.27	c 1404s |      19 |   673827 |   473582 |    25925     39 |      680 |      500
1406.23/1406.74	c 1406s |      19 |   674358 |   474082 |    25925     39 |      680 |      500
1408.72/1409.28	c 1409s |      19 |   674904 |   474582 |    25925     39 |      680 |      500
1411.12/1411.67	c 1411s |      19 |   675440 |   475082 |    25925     39 |      680 |      500
1413.32/1413.85	c 1413s |      19 |   675860 |   475482 |    25925     39 |      680 |      500
1415.52/1416.02	c 1415s |      19 |   676273 |   475882 |    25925     39 |      680 |      500
1417.72/1418.23	c 1417s |      19 |   676730 |   476282 |    25925     39 |      680 |      500
1420.32/1420.80	c 1420s |      19 |   677152 |   476682 |    25925     39 |      680 |      500
1422.32/1422.81	c 1422s |      19 |   677466 |   476982 |    25925     39 |      680 |      500
1424.72/1425.30	c 1425s |      19 |   677900 |   477382 |    25925     39 |      680 |      500
1426.82/1427.32	c 1427s |      19 |   678179 |   477582 |    25925     40 |      680 |      500
1428.82/1429.32	c 1429s |      19 |   679161 |   478282 |    25925     40 |      680 |      500
1431.02/1431.53	c 1431s |      19 |   679985 |   478982 |    25925     40 |      680 |      500
1433.22/1433.74	c 1433s |      19 |   680833 |   479682 |    25925     40 |      680 |      500
1435.42/1435.96	c 1435s |      19 |   681633 |   480282 |    25925     40 |      680 |      500
1437.72/1438.20	c 1437s |      19 |   682652 |   481082 |    25925     40 |      680 |      500
1439.92/1440.42	c 1440s |      19 |   683332 |   481682 |    25925     40 |      680 |      500
1441.92/1442.49	c 1442s |      19 |   684017 |   482282 |    25925     40 |      680 |      500
1444.02/1444.52	c 1444s |      19 |   684721 |   482882 |    25925     40 |      680 |      500
1446.02/1446.54	c 1446s |      19 |   685423 |   483482 |    25925     40 |      680 |      500
1448.03/1448.55	c 1448s |      19 |   686146 |   484082 |    25925     40 |      680 |      500
1450.42/1450.90	c 1450s |      19 |   686810 |   484682 |    25925     40 |      680 |      500
1452.62/1453.12	c 1452s |      19 |   687491 |   485282 |    25925     40 |      680 |      500
1454.72/1455.27	c 1455s |      19 |   688233 |   485882 |    25925     40 |      680 |      500
1456.83/1457.38	c 1457s |      19 |   688687 |   486282 |    25925     40 |      680 |      500
1459.03/1459.55	c 1459s |      19 |   689120 |   486682 |    25925     40 |      680 |      500
1461.42/1461.93	c 1461s |      19 |   689771 |   487282 |    25925     40 |      680 |      500
1463.72/1464.25	c 1463s |      19 |   690202 |   487682 |    25925     40 |      680 |      500
1465.82/1466.34	c 1466s |      19 |   690770 |   488182 |    25925     40 |      680 |      500
1468.22/1468.70	c 1468s |      19 |   691309 |   488682 |    25925     40 |      680 |      500
1470.32/1470.88	c 1470s |      19 |   691871 |   489182 |    25925     40 |      680 |      500
1472.62/1473.14	c 1472s |      19 |   692434 |   489682 |    25925     40 |      680 |      500
1475.11/1475.65	c 1475s |      19 |   693008 |   490182 |    25925     40 |      680 |      500
1477.21/1477.79	c 1477s |      19 |   693440 |   490582 |    25925     40 |      680 |      500
1479.71/1480.21	c 1479s |      19 |   693993 |   491082 |    25925     40 |      680 |      500
1481.91/1482.46	c 1482s |      19 |   694425 |   491482 |    25925     40 |      680 |      500
1484.11/1484.66	c 1484s |      19 |   694854 |   491882 |    25925     40 |      680 |      500
1486.42/1486.91	c 1486s |      19 |   695171 |   492182 |    25925     41 |      680 |      500
1488.41/1488.98	c 1488s |      19 |   695719 |   492682 |    25925     41 |      680 |      500
1490.51/1491.03	c 1490s |      19 |   696269 |   493182 |    25925     41 |      680 |      500
1492.61/1493.19	c 1492s |      19 |   696818 |   493682 |    25925     41 |      680 |      500
1494.81/1495.38	c 1495s |      19 |   697368 |   494182 |    25925     41 |      680 |      500
1497.01/1497.59	c 1497s |      19 |   698029 |   494782 |    25925     41 |      680 |      500
1499.51/1500.07	c 1499s |      19 |   698555 |   495282 |    25925     41 |      680 |      500
1501.71/1502.20	c 1501s |      19 |   698994 |   495682 |    25925     41 |      680 |      500
1503.91/1504.43	c 1504s |      19 |   699426 |   496082 |    25925     41 |      680 |      500
1506.11/1506.62	c 1506s |      19 |   699955 |   496582 |    25925     41 |      680 |      500
1508.31/1508.85	c 1508s |      19 |   700391 |   496982 |    25925     41 |      680 |      500
1510.41/1510.99	c 1510s |      19 |   700809 |   497382 |    25925     41 |      680 |      500
1512.92/1513.48	c 1513s |      19 |   701354 |   497882 |    25925     41 |      680 |      500
1515.01/1515.57	c 1515s |      19 |   701787 |   498282 |    25925     41 |      680 |      500
1517.21/1517.74	c 1517s |      19 |   702231 |   498682 |    25925     41 |      680 |      500
1519.70/1520.28	c 1520s |      19 |   702663 |   499082 |    25925     41 |      680 |      500
1522.00/1522.57	c 1522s |      19 |   703238 |   499582 |    25925     41 |      680 |      500
1524.60/1525.17	c 1524s |      19 |   703786 |   500082 |    25925     41 |      680 |      500
1526.90/1527.49	c 1527s |      19 |   704208 |   500482 |    25925     41 |      680 |      500
1529.70/1530.26	c 1530s |      19 |   704756 |   500982 |    25925     41 |      680 |      500
1531.80/1532.32	c 1532s |      19 |   705078 |   501282 |    25925     41 |      680 |      500
1534.30/1534.88	c 1534s |      19 |   705495 |   501682 |    25925     41 |      680 |      500
1536.40/1536.90	c 1536s |      19 |   705927 |   502082 |    25925     41 |      680 |      500
1538.90/1539.43	c 1539s |      19 |   706246 |   502382 |    25925     41 |      680 |      500
1541.41/1541.94	c 1541s |      19 |   706556 |   502682 |    25925     41 |      680 |      500
1543.71/1544.27	c 1544s |      19 |   707102 |   503182 |    25925     41 |      680 |      500
1546.00/1546.56	c 1546s |      19 |   707529 |   503582 |    25925     41 |      680 |      500
1548.30/1548.87	c 1548s |      19 |   707981 |   503982 |    25925     41 |      680 |      500
1550.40/1550.92	c 1550s |      19 |   708432 |   504382 |    25925     41 |      680 |      500
1552.60/1553.14	c 1552s |      19 |   708858 |   504782 |    25925     41 |      680 |      500
1554.80/1555.37	c 1555s |      19 |   709302 |   505182 |    25925     41 |      680 |      500
1557.00/1557.59	c 1557s |      19 |   709753 |   505582 |    25925     41 |      680 |      500
1559.30/1559.85	c 1559s |      19 |   710173 |   505982 |    25925     41 |      680 |      500
1561.70/1562.27	c 1562s |      19 |   710596 |   506382 |    25925     41 |      680 |      500
1563.80/1564.30	c 1564s |      19 |   710926 |   506682 |    25925     42 |      680 |      500
1565.80/1566.35	c 1566s |      19 |   711460 |   507182 |    25925     42 |      680 |      500
1568.00/1568.53	c 1568s |      19 |   712131 |   507782 |    25925     42 |      680 |      500
1570.20/1570.70	c 1570s |      19 |   712678 |   508282 |    25925     42 |      680 |      500
1572.40/1572.90	c 1572s |      19 |   713219 |   508782 |    25925     42 |      680 |      500
1574.60/1575.12	c 1574s |      19 |   713773 |   509282 |    25925     42 |      680 |      500
1576.90/1577.45	c 1577s |      19 |   714318 |   509782 |    25925     42 |      680 |      500
1579.30/1579.89	c 1579s |      19 |   714851 |   510282 |    25925     42 |      680 |      500
1581.70/1582.27	c 1582s |      19 |   715394 |   510782 |    25925     42 |      680 |      500
1583.80/1584.33	c 1584s |      19 |   715815 |   511182 |    25925     42 |      680 |      500
1585.89/1586.45	c 1586s |      19 |   716232 |   511582 |    25925     42 |      680 |      500
1587.89/1588.49	c 1588s |      19 |   716651 |   511982 |    25925     42 |      680 |      500
1589.99/1590.53	c 1590s |      19 |   717075 |   512382 |    25925     42 |      680 |      500
1592.00/1592.57	c 1592s |      19 |   717513 |   512782 |    25925     42 |      680 |      500
1594.09/1594.70	c 1594s |      19 |   717929 |   513182 |    25925     42 |      680 |      500
1596.40/1596.96	c 1596s |      19 |   718352 |   513582 |    25925     42 |      680 |      500
1598.60/1599.14	c 1598s |      19 |   718783 |   513982 |    25925     42 |      680 |      500
1600.69/1601.27	c 1601s |      19 |   719318 |   514482 |    25925     42 |      680 |      500
1602.69/1603.27	c 1603s |      19 |   719648 |   514782 |    25925     42 |      680 |      500
1605.20/1605.78	c 1605s |      19 |   720065 |   515182 |    25925     42 |      680 |      500
1607.69/1608.23	c 1607s |      19 |   720472 |   515582 |    25925     42 |      680 |      500
1610.29/1610.80	c 1610s |      19 |   720892 |   515982 |    25925     42 |      680 |      500
1612.39/1612.96	c 1612s |      19 |   721323 |   516382 |    25925     42 |      680 |      500
1614.99/1615.56	c 1615s |      19 |   721743 |   516782 |    25925     42 |      680 |      500
1617.49/1618.00	c 1617s |      19 |   722163 |   517182 |    25925     42 |      680 |      500
1619.49/1620.09	c 1619s |      19 |   722590 |   517582 |    25925     42 |      680 |      500
1621.89/1622.44	c 1622s |      19 |   723029 |   517982 |    25925     42 |      680 |      500
1624.00/1624.56	c 1624s |      19 |   723348 |   518282 |    25925     42 |      680 |      500
1625.98/1626.57	c 1626s |      19 |   723660 |   518582 |    25925     42 |      680 |      500
1628.58/1629.10	c 1628s |      19 |   724098 |   518982 |    25925     42 |      680 |      500
1630.79/1631.36	c 1631s |      19 |   724532 |   519382 |    25925     42 |      680 |      500
1632.99/1633.58	c 1633s |      19 |   724952 |   519782 |    25925     42 |      680 |      500
1635.29/1635.87	c 1635s |      19 |   725370 |   520182 |    25925     42 |      680 |      500
1637.49/1638.07	c 1637s |      19 |   725799 |   520582 |    25925     42 |      680 |      500
1639.89/1640.42	c 1640s |      19 |   726125 |   520882 |    25925     43 |      680 |      500
1641.89/1642.46	c 1642s |      19 |   726684 |   521382 |    25925     43 |      680 |      500
1644.09/1644.61	c 1644s |      19 |   727224 |   521882 |    25925     43 |      680 |      500
1646.19/1646.79	c 1646s |      19 |   727755 |   522382 |    25925     43 |      680 |      500
1648.69/1649.23	c 1648s |      19 |   728381 |   522982 |    25925     43 |      680 |      500
1650.99/1651.54	c 1651s |      19 |   729044 |   523582 |    25925     43 |      680 |      500
1653.18/1653.79	c 1653s |      19 |   729694 |   524182 |    25925     43 |      680 |      500
1655.58/1656.15	c 1655s |      19 |   730363 |   524782 |    25925     43 |      680 |      500
1657.58/1658.16	c 1657s |      19 |   730815 |   525182 |    25925     43 |      680 |      500
1659.98/1660.52	c 1660s |      19 |   731353 |   525682 |    25925     43 |      680 |      500
1662.28/1662.90	c 1662s |      19 |   731906 |   526182 |    25925     43 |      680 |      500
1664.78/1665.39	c 1665s |      19 |   732433 |   526682 |    25925     43 |      680 |      500
1667.18/1667.73	c 1667s |      19 |   732854 |   527082 |    25925     43 |      680 |      500
1669.38/1669.95	c 1669s |      19 |   733259 |   527482 |    25925     43 |      680 |      500
1671.58/1672.13	c 1671s |      19 |   733682 |   527882 |    25925     43 |      680 |      500
1673.98/1674.53	c 1674s |      19 |   734241 |   528382 |    25925     43 |      680 |      500
1676.29/1676.82	c 1676s |      19 |   734789 |   528882 |    25925     43 |      680 |      500
1678.49/1679.06	c 1678s |      19 |   735347 |   529382 |    25925     43 |      680 |      500
1680.59/1681.17	c 1680s |      19 |   735882 |   529882 |    25925     43 |      680 |      500
1682.99/1683.58	c 1683s |      19 |   736408 |   530382 |    25925     43 |      680 |      500
1685.38/1685.91	c 1685s |      19 |   736822 |   530782 |    25925     43 |      680 |      500
1687.58/1688.17	c 1687s |      19 |   737253 |   531182 |    25925     43 |      680 |      500
1689.78/1690.32	c 1690s |      19 |   737687 |   531582 |    25925     43 |      680 |      500
1691.98/1692.59	c 1692s |      19 |   738113 |   531982 |    25925     43 |      680 |      500
1694.48/1695.07	c 1694s |      19 |   738533 |   532382 |    25925     43 |      680 |      500
1696.78/1697.32	c 1697s |      19 |   738972 |   532782 |    25925     43 |      680 |      500
1698.88/1699.48	c 1699s |      19 |   739384 |   533182 |    25925     43 |      680 |      500
1701.18/1701.76	c 1701s |      19 |   739810 |   533582 |    25925     43 |      680 |      500
1703.28/1703.86	c 1703s |      19 |   740245 |   533982 |    25925     43 |      680 |      500
1705.68/1706.22	c 1705s |      19 |   740658 |   534382 |    25925     43 |      680 |      500
1707.88/1708.46	c 1708s |      19 |   741065 |   534782 |    25925     43 |      680 |      500
1710.48/1711.02	c 1710s |      19 |   741508 |   535182 |    25925     43 |      680 |      500
1712.78/1713.31	c 1713s |      19 |   741830 |   535482 |    25925     44 |      680 |      500
1715.19/1715.79	c 1715s |      19 |   742349 |   535982 |    25925     44 |      680 |      500
1717.67/1718.28	c 1718s |      19 |   742872 |   536482 |    25925     44 |      680 |      500
1719.77/1720.33	c 1720s |      19 |   743288 |   536882 |    25925     44 |      680 |      500
1721.88/1722.47	c 1722s |      19 |   743739 |   537282 |    25925     44 |      680 |      500
1723.87/1724.50	c 1724s |      19 |   744283 |   537782 |    25925     44 |      680 |      500
1726.07/1726.63	c 1726s |      19 |   744829 |   538282 |    25925     44 |      680 |      500
1728.38/1728.98	c 1728s |      19 |   745457 |   538882 |    25925     44 |      680 |      500
1730.47/1731.00	c 1730s |      19 |   746007 |   539382 |    25925     44 |      680 |      500
1732.67/1733.21	c 1732s |      19 |   746568 |   539882 |    25925     44 |      680 |      500
1734.87/1735.48	c 1735s |      19 |   747118 |   540382 |    25925     44 |      680 |      500
1737.37/1737.96	c 1737s |      19 |   747664 |   540882 |    25925     44 |      680 |      500
1739.38/1740.00	c 1739s |      19 |   748085 |   541282 |    25925     44 |      680 |      500
1741.77/1742.37	c 1742s |      19 |   748619 |   541782 |    25925     44 |      680 |      500
1743.88/1744.42	c 1744s |      19 |   749037 |   542182 |    25925     44 |      680 |      500
1745.98/1746.57	c 1746s |      19 |   749594 |   542682 |    25925     44 |      680 |      500
1748.07/1748.70	c 1748s |      19 |   750019 |   543082 |    25925     44 |      680 |      500
1750.27/1750.89	c 1750s |      19 |   750446 |   543482 |    25925     44 |      680 |      500
1752.77/1753.38	c 1753s |      19 |   751026 |   543982 |    25925     44 |      680 |      500
1755.17/1755.74	c 1755s |      19 |   751565 |   544482 |    25925     44 |      680 |      500
1757.67/1758.25	c 1757s |      19 |   752107 |   544982 |    25925     44 |      680 |      500
1759.97/1760.50	c 1760s |      19 |   752647 |   545482 |    25925     44 |      680 |      500
1761.97/1762.51	c 1762s |      19 |   753076 |   545882 |    25925     44 |      680 |      500
1764.37/1764.98	c 1764s |      19 |   753607 |   546382 |    25925     44 |      680 |      500
1766.87/1767.47	c 1767s |      19 |   754130 |   546882 |    25925     44 |      680 |      500
1769.07/1769.64	c 1769s |      19 |   754555 |   547282 |    25925     44 |      680 |      500
1771.37/1771.91	c 1771s |      19 |   754973 |   547682 |    25925     44 |      680 |      500
1773.47/1774.04	c 1773s |      19 |   755433 |   548082 |    25925     44 |      680 |      500
1775.77/1776.32	c 1776s |      19 |   755861 |   548482 |    25925     44 |      680 |      500
1777.76/1778.35	c 1778s |      19 |   756280 |   548882 |    25925     44 |      680 |      500
1780.17/1780.80	c 1780s |      19 |   756718 |   549282 |    25925     44 |      680 |      500
1782.76/1783.31	c 1783s |      19 |   757139 |   549682 |    25925     44 |      680 |      500
1784.86/1785.48	c 1785s |      19 |   757469 |   549982 |    25925     45 |      680 |      500
1787.16/1787.74	c 1787s |      19 |   758005 |   550482 |    25925     45 |      680 |      500
1789.46/1790.01	c 1789s |      19 |   758531 |   550982 |    25925     45 |      680 |      500
1791.86/1792.46	c 1792s |      19 |   759044 |   551482 |    25925     45 |      680 |      500
1794.37/1794.92	c 1794s |      19 |   759571 |   551982 |    25925     45 |      680 |      500
1796.57/1797.19	c 1796s |      19 |   760115 |   552482 |    25925     45 |      680 |      500
1798.87/1799.47	c 1799s |      19 |   760637 |   552982 |    25925     45 |      680 |      500

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

pid=3165
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.05 2.05 2.07 3/261 3168
/proc/meminfo: memFree=30841796/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1050044 CPUtime=0 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 3977 0 0 0 0 0 0 0 20 0 4 0 29194557 1075245056 4337 33554432000 4194304 16246674 140734460041232 140734460040656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 263279 4346 441 2943 0 260173 0
[pid=3168/tid=3169] ppid=3165 vsize=1103292 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1129771008 4545 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1108412 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1135013888 4565 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1112508 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29194558 1139208192 4581 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.05 2.05 2.07 3/261 3168
/proc/meminfo: memFree=30841796/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1220164 CPUtime=0.09 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 28279 0 0 0 5 4 0 0 20 0 4 0 29194557 1249447936 28577 33554432000 4194304 16246674 140734460041232 140734460023104 4220897 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 305041 28577 802 2943 0 301935 0
[pid=3168/tid=3169] ppid=3165 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1249447936 28577 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1249447936 28577 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1249447936 28577 33554432000 4194304 16246674 140734460041232 140203937221808 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.200536 s]
/proc/loadavg: 2.05 2.05 2.07 3/261 3168
/proc/meminfo: memFree=30841796/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1301060 CPUtime=0.19 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 48486 0 0 0 12 7 0 0 20 0 4 0 29194557 1332285440 48784 33554432000 4194304 16246674 140734460041232 140734460023104 12369262 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 325265 48784 843 2943 0 322159 0
[pid=3168/tid=3169] ppid=3165 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1332285440 48784 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1332285440 48784 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1332285440 48784 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300487 s]
/proc/loadavg: 2.05 2.05 2.07 3/261 3168
/proc/meminfo: memFree=30841796/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1301060 CPUtime=0.29 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 50547 0 0 0 22 7 0 0 20 0 4 0 29194557 1332285440 50845 33554432000 4194304 16246674 140734460041232 140734460023104 12460548 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 325265 50855 883 2943 0 322159 0
[pid=3168/tid=3169] ppid=3165 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1332285440 50859 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1332285440 50862 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1332285440 50866 33554432000 4194304 16246674 140734460041232 140203937221808 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.700407 s]
/proc/loadavg: 2.05 2.05 2.07 3/261 3168
/proc/meminfo: memFree=30841796/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1301060 CPUtime=0.69 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 99774 0 0 0 56 13 0 0 20 0 4 0 29194557 1332285440 100073 33554432000 4194304 16246674 140734460041232 140734460023104 13954518 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 325265 100079 883 2943 0 322159 0
[pid=3168/tid=3169] ppid=3165 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1332285440 100083 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1332285440 100085 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1332285440 100086 33554432000 4194304 16246674 140734460041232 140203937221808 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.05 2.05 2.07 3/265 3172
/proc/meminfo: memFree=30222840/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1301060 CPUtime=1.49 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 206294 0 0 0 121 28 0 0 20 0 4 0 29194557 1332285440 206592 33554432000 4194304 16246674 140734460041232 140734460023104 5674637 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 325265 206596 883 2943 0 322159 0
[pid=3168/tid=3169] ppid=3165 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1332285440 206598 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1332285440 206600 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1332285440 206602 33554432000 4194304 16246674 140734460041232 140203937221808 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.05 2.05 2.07 3/265 3172
/proc/meminfo: memFree=29764056/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1312324 CPUtime=3.09 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 269266 0 0 0 273 36 0 0 20 0 4 0 29194557 1343819776 269564 33554432000 4194304 16246674 140734460041232 140734460023104 5828829 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 328081 269564 890 2943 0 324975 0
[pid=3168/tid=3169] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269564 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269564 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269564 33554432000 4194304 16246674 140734460041232 140203937221808 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.04 2.05 2.07 3/265 3172
/proc/meminfo: memFree=29763928/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1312324 CPUtime=6.28 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 269271 0 0 0 592 36 0 0 20 0 4 0 29194557 1343819776 269569 33554432000 4194304 16246674 140734460041232 140734460023104 5822306 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 328081 269569 890 2943 0 324975 0
[pid=3168/tid=3169] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269569 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269569 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269569 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.04 2.05 2.07 3/265 3172
/proc/meminfo: memFree=29763224/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1312324 CPUtime=12.68 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 269271 0 0 0 1232 36 0 0 20 0 4 0 29194557 1343819776 269569 33554432000 4194304 16246674 140734460041232 140734460023104 13923839 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 328081 269569 890 2943 0 324975 0
[pid=3168/tid=3169] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269569 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269569 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269569 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.03 2.05 2.07 3/265 3172
/proc/meminfo: memFree=29763472/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1312324 CPUtime=25.48 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 269274 0 0 0 2512 36 0 0 20 0 4 0 29194557 1343819776 269572 33554432000 4194304 16246674 140734460041232 140734460023104 5712072 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 328081 269572 893 2943 0 324975 0
[pid=3168/tid=3169] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269572 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269572 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269572 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.08 2.06 2.07 3/266 3175
/proc/meminfo: memFree=29763296/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1312324 CPUtime=51.08 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 269275 0 0 0 5071 37 0 0 20 0 4 0 29194557 1343819776 269573 33554432000 4194304 16246674 140734460041232 140734460023104 12483624 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 328081 269573 893 2943 0 324975 0
[pid=3168/tid=3169] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269573 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269573 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269573 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.09 2.06 2.07 3/265 3176
/proc/meminfo: memFree=29763080/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1312324 CPUtime=102.28 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 269275 0 0 0 10191 37 0 0 20 0 4 0 29194557 1343819776 269573 33554432000 4194304 16246674 140734460041232 140734460023104 6021174 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 328081 269573 893 2943 0 324975 0
[pid=3168/tid=3169] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269573 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269573 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1343819776 269573 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1355354112 272392 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1323588

[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.02 3/266 3258
/proc/meminfo: memFree=29752516/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1327684 CPUtime=1361.84 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 273492 0 0 0 136133 51 0 0 20 0 4 0 29194557 1359548416 273416 33554432000 4194304 16246674 140734460041232 140734460023104 5712204 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 331921 273416 893 2943 0 328815 0
[pid=3168/tid=3169] ppid=3165 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1359548416 273416 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1359548416 273416 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1359548416 273416 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1327684

[startup+1422.3 s]
/proc/loadavg: 2.21 2.08 2.03 3/265 3259
/proc/meminfo: memFree=29752500/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1327684 CPUtime=1421.82 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 273492 0 0 0 142131 51 0 0 20 0 4 0 29194557 1359548416 273416 33554432000 4194304 16246674 140734460041232 140734460023104 13943664 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 331921 273416 893 2943 0 328815 0
[pid=3168/tid=3169] ppid=3165 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1359548416 273416 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1359548416 273416 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1359548416 273416 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1327684

[startup+1482.3 s]
/proc/loadavg: 2.15 2.08 2.03 3/265 3260
/proc/meminfo: memFree=29751848/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1328708 CPUtime=1481.81 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 273611 0 0 0 148129 52 0 0 20 0 4 0 29194557 1360596992 273535 33554432000 4194304 16246674 140734460041232 140734460023104 5722960 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 332177 273535 893 2943 0 329071 0
[pid=3168/tid=3169] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273535 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273535 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273535 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1328708

[startup+1542.3 s]
/proc/loadavg: 2.09 2.08 2.03 3/265 3262
/proc/meminfo: memFree=29751120/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1328708 CPUtime=1541.8 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 273611 0 0 0 154128 52 0 0 20 0 4 0 29194557 1360596992 273535 33554432000 4194304 16246674 140734460041232 140734460023104 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 332177 273535 893 2943 0 329071 0
[pid=3168/tid=3169] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273535 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273535 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273535 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1328708

[startup+1602.3 s]
/proc/loadavg: 2.49 2.18 2.07 3/264 3263
/proc/meminfo: memFree=29752052/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1328708 CPUtime=1601.79 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 273611 0 0 0 160126 53 0 0 20 0 4 0 29194557 1360596992 273535 33554432000 4194304 16246674 140734460041232 140734460023104 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 332177 273535 893 2943 0 329071 0
[pid=3168/tid=3169] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273535 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273535 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273535 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1328708

[startup+1662.3 s]
/proc/loadavg: 2.51 2.22 2.09 3/265 3265
/proc/meminfo: memFree=29750044/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1328708 CPUtime=1661.78 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 273748 0 0 0 166124 54 0 0 20 0 4 0 29194557 1360596992 273672 33554432000 4194304 16246674 140734460041232 140734460023104 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 332177 273672 893 2943 0 329071 0
[pid=3168/tid=3169] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273672 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273672 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273672 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1328708

[startup+1722.3 s]
/proc/loadavg: 2.33 2.23 2.09 3/265 3266
/proc/meminfo: memFree=29748864/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1328708 CPUtime=1721.78 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 273748 0 0 0 172123 55 0 0 20 0 4 0 29194557 1360596992 273672 33554432000 4194304 16246674 140734460041232 140734460023104 5822252 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 332177 273672 893 2943 0 329071 0
[pid=3168/tid=3169] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273672 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273672 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273672 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1328708

[startup+1782.3 s]
/proc/loadavg: 2.19 2.20 2.09 3/265 3267
/proc/meminfo: memFree=29745388/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1328708 CPUtime=1781.76 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 273748 0 0 0 178121 55 0 0 20 0 4 0 29194557 1360596992 273672 33554432000 4194304 16246674 140734460041232 140734460023104 5711439 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 332177 273672 893 2943 0 329071 0
[pid=3168/tid=3169] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273672 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273672 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273672 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1328708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.30 2.22 2.10 3/265 3267
/proc/meminfo: memFree=29744948/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1328708 CPUtime=1800.06 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 273748 0 0 0 179951 55 0 0 20 0 4 0 29194557 1360596992 273672 33554432000 4194304 16246674 140734460041232 140734460023104 14628944 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 332177 273672 893 2943 0 329071 0
[pid=3168/tid=3169] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273672 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273672 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273672 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1328708

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

[startup+1800.6 s]
/proc/loadavg: 2.30 2.22 2.10 3/265 3267
/proc/meminfo: memFree=29744948/32872528 swapFree=7556/7556
[pid=3168] ppid=3165 vsize=1328708 CPUtime=1800.06 cores=4-7,12-15
/proc/3168/stat : 3168 (toysat) R 3165 3168 32495 0 -1 4202496 273748 0 0 0 179951 55 0 0 20 0 4 0 29194557 1360596992 273672 33554432000 4194304 16246674 140734460041232 140734460023104 14628944 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3168/statm: 332177 273672 893 2943 0 329071 0
[pid=3168/tid=3169] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3169/stat : 3169 (toysat) S 3165 3168 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273672 33554432000 4194304 16246674 140734460041232 140203958185200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3168/tid=3170] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3170/stat : 3170 (toysat) S 3165 3168 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273672 33554432000 4194304 16246674 140734460041232 140203947695344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3168/tid=3171] ppid=3165 vsize=1328708 CPUtime=0 cores=4-7,12-15
/proc/3168/task/3171/stat : 3171 (toysat) S 3165 3168 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29194558 1360596992 273672 33554432000 4194304 16246674 140734460041232 140203937221808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1328708

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.52
CPU system time (s): 0.557915
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 1328708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.557915
maximum resident set size= 1094688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273748
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= 392
involuntary context switches= 2042

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.44772 second user time and 17.8173 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 19:19:24
IDJOB=4116781
IDBENCH=109513
IDSOLVER=2542
FILE ID=node132/4116781-1466961564
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-size112-round22-3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116781-1466961564/watcher-4116781-1466961564 -o /tmp/evaluation-result-4116781-1466961564/solver-4116781-1466961564 -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-4116781-1466961564.opb

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

MD5SUM BENCH= f2a41252146eb1b2fe320d81ba48ff06
RANDOM SEED=1787187314

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:        30842272 kB
Buffers:           38060 kB
Cached:           180592 kB
SwapCached:         1784 kB
Active:          1157572 kB
Inactive:         156272 kB
Active(anon):    1095412 kB
Inactive(anon):     1700 kB
Active(file):      62160 kB
Inactive(file):   154572 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16972 kB
Writeback:             0 kB
AnonPages:       1086368 kB
Mapped:            10780 kB
Shmem:                 0 kB
Slab:             571104 kB
SReclaimable:      11688 kB
SUnreclaim:       559416 kB
KernelStack:        2248 kB
PageTables:         6376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1246224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    815104 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 19:49:25