Trace number 4116053

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T22:16:20+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-4116053-1466972179.opb"]
0.00/0.01	c use --random-gen="411907296 545041909 1767901442 2956112541 3856342123 2448619279 677971965 3218439108 2496609044 796124899 2536236707 4093188015 1458104205 1100256797 3140233840 3110159459 2571704370 1982885145 2736701976 1383030276 3802484181 3911111806 8022287 2833721199 2518046756 4115588544 2201173429 3605788225 2079680589 2570231934 2840623461 2308253597 2585040423 4004514032 2877454488 517432612 1017340072 893174215 3029279022 251894669 4285628227 3656790529 1056896404 444191068 3361154874 2337900476 3636417945 240932011 21981994 2284450993 2765807990 571373421 3320130722 3265673517 994748845 2736773590 2640241476 1690480126 2254348379 1590371062 1368267548 3942253524 1383301386 3174844666 999088535 3002478190 2997945122 4154758112 504750170 866356041 3192240395 898442391 2734000533 1527461495 3606489265 1072472724 1371699381 1829908584 2309436126 1846850651 4262945580 25225042 3182649407 2166723566 2718982021 93152124 3757683419 1920307073 1902624936 2239985734 182569264 1039014599 1085722175 3150898018 403080292 2962762141 2214296655 2370212642 2745910061 649312478 4120054319 3356413135 3210441198 2786668957 3796290984 616221318 1056098756 2936862741 4004359888 3936459141 1366864758 2745394745 1915961617 2775999072 1570950544 615948601 4292342159 3758946878 795129405 3111013682 3299566885 3338238313 66256646 2618768849 1949342621 3658483525 1157266355 3448722187 638456143 574300377 3211207046 1115317215 4057877288 3797308413 619727564 934241549 3498486645 4222610301 1136924420 954053870 291578133 3805169923 1439661161 1286055592 3132557295 3707847014 130431574 3850387328 3310235 2278144276 211199012 64601553 2996212891 207210697 3260647766 1517623155 1795650219 2547539370 312842440 2298075307 766311574 3278754731 3409061181 399905659 600728789 1673589353 1060594459 3627971647 2121015344 3707134549 1679671175 719758947 2191533555 1140222197 692577367 3775347475 1714687771 263334993 2700404987 414043192 2922652130 3910286785 1073025550 3758624451 2709864880 1920307632 3384287273 771865961 2042042212 3411975385 2153061135 338310209 3297529159 2241131890 2036746201 1946748335 356115379 1405274568 1298801257 3011336170 3078136812 126717986 809636387 1270128912 1529877032 888084768 1471488057 475728754 1423449000 3531727887 4033390028 3620347451 2944204013 891549572 2746064920 1767967980 3344163334 689119071 2416742601 1851038250 2625169651 1452594377 3741346304 2893443182 1691724337 163482143 607176261 967401048 3449466589 600701667 1655247060 2037672169 3636882967 1896934389 371880304 2497104203 4015799410 2343360694 2244385698 184163273 660824401 1188318098 1516473814 3955014575 1242152387 3310508456 3899799235 553430103 2902018301 1598972164 3309930900 3378407013 3307755268 2283011128 1915416213 4248380519 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9456
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      589 |        0
0.29/0.39	c  0.1s |       1 |     2039 |      100 |     4565      0 |      591 |      346
0.39/0.48	c  0.2s |       2 |     3967 |      250 |     5022      0 |      591 |      346
0.59/0.67	c  0.4s |       3 |     5294 |      475 |     5525      0 |      591 |      346
0.89/0.93	c  0.7s |       4 |     6621 |      813 |     6078      0 |      591 |      346
1.20/1.25	c  1.0s |       5 |     9613 |     1320 |     6686      0 |      591 |      346
1.99/2.07	c  1.8s |       6 |    11840 |     2081 |     8091      0 |      591 |      346
2.89/2.90	c  2.6s |       7 |    17160 |     3223 |     8901      0 |      591 |      346
4.59/4.68	c  4.4s |       8 |    20580 |     4936 |     9792      0 |      591 |      346
6.70/6.74	c  6.5s |       8 |    27275 |     6936 |     9792      0 |      591 |      346
7.59/7.68	c  7.4s |       9 |    27974 |     7506 |    10772      0 |      591 |      346
9.69/9.72	c  9.4s |       9 |    32580 |     9306 |    10772      0 |      591 |      346
11.79/11.87	c 11.6s |       9 |    35022 |    11006 |    10772      0 |      591 |      346
12.29/12.36	c 12.1s |      10 |    35470 |    11361 |    11850      0 |      591 |      346
14.39/14.44	c 14.2s |      10 |    50496 |    13861 |    11850      1 |      591 |      346
16.39/16.49	c 16.2s |      10 |    52624 |    15561 |    11850      1 |      591 |      346
18.49/18.59	c 18.3s |      10 |    54459 |    17061 |    13036      1 |      591 |      346
18.69/18.74	c 18.5s |      11 |    54553 |    17144 |    13036      1 |      591 |      346
20.79/20.84	c 20.6s |      11 |    61653 |    19144 |    13036      1 |      591 |      346
22.98/23.00	c 22.7s |      11 |    63297 |    20344 |    13036      1 |      591 |      346
24.98/25.07	c 24.8s |      11 |    64508 |    21344 |    13036      1 |      591 |      346
27.08/27.10	c 26.8s |      11 |    66128 |    22544 |    13036      1 |      591 |      346
29.08/29.17	c 28.9s |      11 |    68349 |    23944 |    13036      2 |      591 |      346
31.18/31.23	c 31.0s |      11 |    70175 |    25344 |    13036      2 |      591 |      346
31.99/32.05	c 31.8s |      12 |    70795 |    25819 |    14340      2 |      591 |      346
33.98/34.07	c 33.8s |      12 |    74934 |    27619 |    14340      2 |      591 |      346
36.09/36.16	c 35.9s |      12 |    77153 |    29319 |    14340      2 |      591 |      346
38.09/38.16	c 37.9s |      12 |    78962 |    30719 |    14340      2 |      591 |      346
40.09/40.17	c 39.9s |      12 |    80430 |    31919 |    14340      2 |      591 |      346
42.19/42.22	c 41.9s |      12 |    81578 |    32919 |    14340      3 |      591 |      346
44.29/44.33	c 44.1s |      12 |    83278 |    34219 |    14340      3 |      591 |      346
46.39/46.47	c 46.2s |      12 |    84631 |    35319 |    14340      3 |      591 |      346
48.49/48.52	c 48.2s |      12 |    85860 |    36319 |    14340      3 |      591 |      346
50.59/50.67	c 50.4s |      12 |    86880 |    37219 |    14340      3 |      591 |      346
52.79/52.90	c 52.6s |      12 |    88071 |    38219 |    14340      3 |      591 |      346
54.28/54.36	c 54.1s |      13 |    88768 |    38832 |    15775      3 |      591 |      346
56.38/56.50	c 56.2s |      13 |    97506 |    41232 |    15775      3 |      591 |      346
58.48/58.53	c 58.3s |      13 |    99254 |    42632 |    15775      3 |      591 |      346
60.59/60.61	c 60.3s |      13 |   100453 |    43632 |    15775      4 |      591 |      346
62.58/62.61	c 62.3s |      13 |   101447 |    44532 |    15775      4 |      591 |      346
64.58/64.65	c 64.4s |      13 |   102903 |    45632 |    15775      4 |      591 |      346
66.58/66.65	c 66.4s |      13 |   104499 |    46832 |    15775      4 |      591 |      346
68.58/68.69	c 68.4s |      13 |   108140 |    48632 |    15775      4 |      591 |      346
70.68/70.77	c 70.5s |      13 |   110423 |    50432 |    15775      4 |      591 |      346
72.78/72.84	c 72.6s |      13 |   120617 |    52532 |    15775      5 |      591 |      346
74.88/74.96	c 74.7s |      13 |   131715 |    55132 |    15775      5 |      591 |      346
76.98/77.04	c 76.8s |      13 |   137159 |    56932 |    15775      5 |      591 |      346
79.08/79.16	c 78.9s |      13 |   138891 |    58132 |    17353      5 |      591 |      346
79.37/79.50	c 79.2s |      14 |   139224 |    58352 |    17353      5 |      591 |      346
81.48/81.52	c 81.2s |      14 |   144454 |    60252 |    17353      5 |      591 |      346
83.58/83.64	c 83.4s |      14 |   146441 |    61652 |    17353      5 |      591 |      346
85.67/85.71	c 85.4s |      14 |   148814 |    62952 |    17353      6 |      591 |      346
87.67/87.79	c 87.5s |      14 |   150554 |    64252 |    17353      6 |      591 |      346
89.77/89.85	c 89.6s |      14 |   151707 |    65252 |    17353      6 |      591 |      346
91.97/92.01	c 91.7s |      14 |   152823 |    66252 |    17353      6 |      591 |      346
94.07/94.18	c 93.9s |      14 |   153985 |    67252 |    17353      6 |      591 |      346
96.17/96.23	c 96.0s |      14 |   154908 |    68052 |    17353      6 |      591 |      346
98.37/98.42	c 98.1s |      14 |   156450 |    69152 |    17353      6 |      591 |      346
100.37/100.47	c  100s |      14 |   157606 |    70052 |    17353      6 |      591 |      346
102.37/102.47	c  102s |      14 |   159049 |    71052 |    17353      6 |      591 |      346
104.57/104.61	c  104s |      14 |   160137 |    71952 |    17353      6 |      591 |      346
106.57/106.64	c  106s |      14 |   161092 |    72752 |    17353      6 |      591 |      346
108.67/108.71	c  108s |      14 |   161947 |    73452 |    17353      7 |      591 |      346
110.67/110.75	c  110s |      14 |   162980 |    74352 |    17353      7 |      591 |      346
112.86/112.99	c  112s |      14 |   164037 |    75252 |    17353      7 |      591 |      346
115.06/115.10	c  114s |      14 |   164958 |    76052 |    17353      7 |      591 |      346
117.26/117.36	c  117s |      14 |   165880 |    76852 |    17353      7 |      591 |      346
119.36/119.47	c  119s |      14 |   166675 |    77552 |    17353      7 |      591 |      346
121.56/121.60	c  121s |      14 |   167597 |    78352 |    17353      7 |      591 |      346
123.76/123.85	c  123s |      14 |   168466 |    79152 |    17353      7 |      591 |      346
125.96/126.06	c  125s |      14 |   169254 |    79852 |    17353      7 |      591 |      346
128.26/128.35	c  128s |      14 |   170167 |    80652 |    17353      7 |      591 |      346
130.46/130.54	c  130s |      14 |   170998 |    81352 |    17353      7 |      591 |      346
132.76/132.84	c  132s |      14 |   171913 |    82152 |    17353      7 |      591 |      346
134.76/134.86	c  134s |      14 |   172583 |    82752 |    17353      7 |      591 |      346
136.85/136.91	c  136s |      14 |   173266 |    83352 |    17353      7 |      591 |      346
138.96/139.01	c  138s |      14 |   173967 |    83952 |    17353      8 |      591 |      346
141.16/141.27	c  140s |      14 |   174875 |    84752 |    17353      8 |      591 |      346
143.26/143.33	c  143s |      14 |   175661 |    85452 |    17353      8 |      591 |      346
145.36/145.49	c  145s |      14 |   176430 |    86152 |    17353      8 |      591 |      346
147.47/147.53	c  147s |      14 |   177257 |    86852 |    17353      8 |      591 |      346
149.57/149.66	c  149s |      14 |   178100 |    87552 |    19089      8 |      591 |      346
149.76/149.88	c  149s |      15 |   178183 |    87632 |    19089      8 |      591 |      346
151.86/151.90	c  151s |      15 |   185383 |    89632 |    19089      8 |      591 |      346
153.86/153.98	c  153s |      15 |   191762 |    91732 |    19089      8 |      591 |      346
155.95/156.07	c  155s |      15 |   196464 |    93732 |    19089      8 |      591 |      346
157.95/158.09	c  157s |      15 |   198154 |    95032 |    19089      8 |      591 |      346
160.05/160.16	c  159s |      15 |   199195 |    95932 |    19089      9 |      591 |      346
162.15/162.23	c  161s |      15 |   200426 |    96932 |    19089      9 |      591 |      346
164.25/164.38	c  164s |      15 |   201860 |    98032 |    19089      9 |      591 |      346
166.45/166.51	c  166s |      15 |   203233 |    99032 |    19089      9 |      591 |      346
168.45/168.53	c  168s |      15 |   204362 |    99932 |    19089      9 |      591 |      346
170.46/170.53	c  170s |      15 |   205612 |   100932 |    19089      9 |      591 |      346
172.55/172.63	c  172s |      15 |   206597 |   101732 |    19089      9 |      591 |      346
174.75/174.80	c  174s |      15 |   207868 |   102632 |    19089      9 |      591 |      346
176.94/177.09	c  176s |      15 |   209132 |   103532 |    19089      9 |      591 |      346
179.14/179.27	c  178s |      15 |   210638 |   104532 |    19089      9 |      591 |      346
181.34/181.45	c  181s |      15 |   212103 |   105532 |    19089      9 |      591 |      346
183.44/183.57	c  183s |      15 |   213286 |   106432 |    19089      9 |      591 |      346
185.44/185.58	c  185s |      15 |   214061 |   107032 |    19089     10 |      591 |      346
187.74/187.89	c  187s |      15 |   214896 |   107732 |    19089     10 |      591 |      346
189.84/189.93	c  189s |      15 |   216098 |   108632 |    19089     10 |      591 |      346
191.94/192.05	c  191s |      15 |   217272 |   109532 |    19089     10 |      591 |      346
194.04/194.18	c  193s |      15 |   218152 |   110232 |    19089     10 |      591 |      346
196.34/196.41	c  196s |      15 |   219128 |   111032 |    19089     10 |      591 |      346
198.34/198.44	c  198s |      15 |   219959 |   111732 |    19089     10 |      591 |      346
200.43/200.51	c  200s |      15 |   220775 |   112432 |    19089     10 |      591 |      346
202.44/202.59	c  202s |      15 |   221460 |   113032 |    19089     10 |      591 |      346
204.64/204.76	c  204s |      15 |   222260 |   113732 |    19089     10 |      591 |      346
206.63/206.78	c  206s |      15 |   222980 |   114332 |    19089     10 |      591 |      346
208.73/208.87	c  208s |      15 |   223665 |   114932 |    19089     10 |      591 |      346
211.03/211.20	c  210s |      15 |   224378 |   115532 |    19089     10 |      591 |      346
213.13/213.28	c  213s |      15 |   225211 |   116132 |    19089     10 |      591 |      346
215.54/215.62	c  215s |      15 |   226018 |   116832 |    19089     10 |      591 |      346
217.74/217.87	c  217s |      15 |   226837 |   117532 |    19089     10 |      591 |      346
219.94/220.06	c  219s |      15 |   227545 |   118132 |    19089     11 |      591 |      346
222.03/222.16	c  221s |      15 |   228497 |   118932 |    19089     11 |      591 |      346
224.13/224.20	c  223s |      15 |   229320 |   119632 |    19089     11 |      591 |      346
226.13/226.27	c  225s |      15 |   230143 |   120332 |    19089     11 |      591 |      346
228.23/228.35	c  228s |      15 |   230963 |   121032 |    19089     11 |      591 |      346
230.23/230.35	c  230s |      15 |   231658 |   121632 |    19089     11 |      591 |      346
232.54/232.64	c  232s |      15 |   232488 |   122332 |    19089     11 |      591 |      346
234.64/234.77	c  234s |      15 |   233164 |   122932 |    19089     11 |      591 |      346
236.73/236.84	c  236s |      15 |   233977 |   123632 |    19089     11 |      591 |      346
238.74/238.85	c  238s |      15 |   234812 |   124332 |    19089     11 |      591 |      346
240.73/240.89	c  240s |      15 |   235536 |   124932 |    19089     11 |      591 |      346
242.83/242.93	c  242s |      15 |   236231 |   125532 |    19089     11 |      591 |      346
245.03/245.16	c  244s |      15 |   236921 |   126132 |    19089     11 |      591 |      346
247.23/247.35	c  247s |      15 |   237472 |   126632 |    19089     11 |      591 |      346
249.63/249.75	c  249s |      15 |   238152 |   127232 |    19089     11 |      591 |      346
251.83/251.98	c  251s |      15 |   238866 |   127832 |    19089     11 |      591 |      346
253.82/253.99	c  253s |      15 |   239444 |   128332 |    19089     11 |      591 |      346
256.12/256.22	c  255s |      15 |   240118 |   128932 |    19089     11 |      591 |      346
258.22/258.35	c  258s |      15 |   240704 |   129432 |    19089     12 |      591 |      346
260.22/260.39	c  260s |      15 |   241539 |   130132 |    19089     12 |      591 |      346
262.32/262.44	c  262s |      15 |   242217 |   130732 |    20998     12 |      591 |      346
264.32/264.45	c  264s |      15 |   242907 |   131332 |    20998     12 |      591 |      346
265.03/265.18	c  264s |      16 |   243160 |   131552 |    20998     12 |      591 |      346
267.22/267.32	c  267s |      16 |   247845 |   133352 |    20998     12 |      591 |      346
269.32/269.49	c  269s |      16 |   250306 |   135052 |    20998     12 |      591 |      346
271.52/271.60	c  271s |      16 |   251966 |   136352 |    20998     12 |      591 |      346
273.52/273.63	c  273s |      16 |   252931 |   137152 |    20998     12 |      591 |      346
275.62/275.74	c  275s |      16 |   254746 |   138352 |    20998     12 |      591 |      346
277.82/277.91	c  277s |      16 |   256090 |   139452 |    20998     12 |      591 |      346
279.82/279.92	c  279s |      16 |   257359 |   140452 |    20998     12 |      591 |      346
281.92/282.03	c  281s |      16 |   258493 |   141352 |    20998     12 |      591 |      346
284.22/284.31	c  284s |      16 |   259505 |   142152 |    20998     13 |      591 |      346
286.31/286.40	c  286s |      16 |   260476 |   142952 |    20998     13 |      591 |      346
288.31/288.45	c  288s |      16 |   261283 |   143652 |    20998     13 |      591 |      346
290.51/290.62	c  290s |      16 |   262270 |   144452 |    20998     13 |      591 |      346
292.62/292.79	c  292s |      16 |   263093 |   145152 |    20998     13 |      591 |      346
294.72/294.88	c  294s |      16 |   264049 |   145952 |    20998     13 |      591 |      346
296.81/296.95	c  296s |      16 |   264867 |   146652 |    20998     13 |      591 |      346
299.00/299.14	c  298s |      16 |   265675 |   147352 |    20998     13 |      591 |      346
301.31/301.48	c  301s |      16 |   266475 |   148052 |    20998     13 |      591 |      346
303.61/303.77	c  303s |      16 |   267303 |   148752 |    20998     13 |      591 |      346
305.71/305.88	c  305s |      16 |   268155 |   149452 |    20998     13 |      591 |      346
307.91/308.05	c  307s |      16 |   268989 |   150152 |    20998     13 |      591 |      346
310.20/310.36	c  310s |      16 |   269763 |   150852 |    20998     13 |      591 |      346
312.60/312.70	c  312s |      16 |   270558 |   151552 |    20998     13 |      591 |      346
314.80/314.97	c  314s |      16 |   271203 |   152152 |    20998     13 |      591 |      346
316.99/317.11	c  316s |      16 |   273748 |   153252 |    20998     13 |      591 |      346
319.09/319.28	c  319s |      16 |   275030 |   154152 |    20998     13 |      591 |      346
321.29/321.44	c  321s |      16 |   275842 |   154852 |    20998     14 |      591 |      346
323.30/323.46	c  323s |      16 |   277034 |   155752 |    20998     14 |      591 |      346
325.39/325.55	c  325s |      16 |   278106 |   156652 |    20998     14 |      591 |      346
327.48/327.67	c  327s |      16 |   279211 |   157552 |    20998     14 |      591 |      346
329.68/329.84	c  329s |      16 |   280180 |   158352 |    20998     14 |      591 |      346
331.88/332.03	c  331s |      16 |   281293 |   159252 |    20998     14 |      591 |      346
333.98/334.17	c  333s |      16 |   282445 |   160152 |    20998     14 |      591 |      346
336.18/336.33	c  336s |      16 |   283609 |   161052 |    20998     14 |      591 |      346
338.38/338.51	c  338s |      16 |   284645 |   161852 |    20998     14 |      591 |      346
340.58/340.71	c  340s |      16 |   285580 |   162652 |    20998     14 |      591 |      346
342.78/342.96	c  342s |      16 |   286379 |   163352 |    20998     14 |      591 |      346
344.98/345.12	c  344s |      16 |   287049 |   163952 |    20998     14 |      591 |      346
347.17/347.33	c  347s |      16 |   287859 |   164652 |    20998     14 |      591 |      346
349.57/349.70	c  349s |      16 |   288719 |   165352 |    20998     14 |      591 |      346
351.77/351.99	c  351s |      16 |   289396 |   165952 |    20998     14 |      591 |      346
354.27/354.49	c  354s |      16 |   289959 |   166452 |    20998     15 |      591 |      346
356.38/356.53	c  356s |      16 |   290634 |   167052 |    20998     15 |      591 |      346
358.48/358.68	c  358s |      16 |   291634 |   167852 |    20998     15 |      591 |      346
360.47/360.69	c  360s |      16 |   292471 |   168552 |    20998     15 |      591 |      346
362.77/362.91	c  362s |      16 |   293433 |   169352 |    20998     15 |      591 |      346
364.77/364.96	c  364s |      16 |   294260 |   170052 |    20998     15 |      591 |      346
366.87/367.08	c  366s |      16 |   295101 |   170752 |    20998     15 |      591 |      346
369.17/369.37	c  369s |      16 |   296025 |   171552 |    20998     15 |      591 |      346
371.17/371.38	c  371s |      16 |   296857 |   172252 |    20998     15 |      591 |      346
373.27/373.41	c  373s |      16 |   297739 |   172952 |    20998     15 |      591 |      346
375.37/375.51	c  375s |      16 |   298421 |   173552 |    20998     15 |      591 |      346
377.47/377.66	c  377s |      16 |   299110 |   174152 |    20998     15 |      591 |      346
379.86/380.02	c  379s |      16 |   299764 |   174752 |    20998     15 |      591 |      346
382.06/382.28	c  382s |      16 |   300452 |   175352 |    20998     15 |      591 |      346
384.36/384.52	c  384s |      16 |   301156 |   175952 |    20998     15 |      591 |      346
386.66/386.84	c  386s |      16 |   301836 |   176552 |    20998     15 |      591 |      346
388.76/388.97	c  388s |      16 |   302371 |   177052 |    20998     15 |      591 |      346
391.16/391.35	c  391s |      16 |   303055 |   177652 |    20998     15 |      591 |      346
393.46/393.60	c  393s |      16 |   303595 |   178152 |    20998     15 |      591 |      346
395.66/395.83	c  395s |      16 |   304065 |   178552 |    20998     16 |      591 |      346
397.85/398.03	c  397s |      16 |   304753 |   179152 |    20998     16 |      591 |      346
399.95/400.14	c  399s |      16 |   305538 |   179852 |    20998     16 |      591 |      346
402.25/402.40	c  402s |      16 |   306300 |   180552 |    20998     16 |      591 |      346
404.35/404.51	c  404s |      16 |   306969 |   181152 |    20998     16 |      591 |      346
406.55/406.78	c  406s |      16 |   307608 |   181752 |    20998     16 |      591 |      346
408.95/409.15	c  408s |      16 |   308271 |   182352 |    20998     16 |      591 |      346
411.15/411.37	c  411s |      16 |   308940 |   182952 |    20998     16 |      591 |      346
413.35/413.51	c  413s |      16 |   309481 |   183452 |    20998     16 |      591 |      346
415.45/415.67	c  415s |      16 |   310018 |   183952 |    20998     16 |      591 |      346
417.95/418.14	c  417s |      16 |   310674 |   184552 |    20998     16 |      591 |      346
420.35/420.53	c  420s |      16 |   311492 |   185252 |    20998     16 |      591 |      346
422.45/422.64	c  422s |      16 |   312194 |   185852 |    20998     16 |      591 |      346
424.65/424.89	c  424s |      16 |   312855 |   186452 |    20998     16 |      591 |      346
426.84/427.08	c  426s |      16 |   313395 |   186952 |    20998     16 |      591 |      346
429.14/429.39	c  429s |      16 |   314062 |   187552 |    20998     16 |      591 |      346
431.54/431.70	c  431s |      16 |   314747 |   188152 |    20998     16 |      591 |      346
433.64/433.89	c  433s |      16 |   315459 |   188752 |    20998     16 |      591 |      346
435.74/435.96	c  435s |      16 |   316161 |   189352 |    20998     16 |      591 |      346
437.83/438.05	c  437s |      16 |   316858 |   189952 |    20998     16 |      591 |      346
440.13/440.37	c  440s |      16 |   317569 |   190552 |    20998     16 |      591 |      346
442.43/442.65	c  442s |      16 |   318145 |   191052 |    20998     17 |      591 |      346
444.53/444.70	c  444s |      16 |   318821 |   191652 |    20998     17 |      591 |      346
446.62/446.87	c  446s |      16 |   319509 |   192252 |    20998     17 |      591 |      346
448.92/449.13	c  448s |      16 |   320285 |   192952 |    20998     17 |      591 |      346
451.02/451.20	c  450s |      16 |   320964 |   193552 |    20998     17 |      591 |      346
453.03/453.26	c  452s |      16 |   321634 |   194152 |    20998     17 |      591 |      346
455.33/455.57	c  455s |      16 |   322457 |   194852 |    20998     17 |      591 |      346
457.62/457.81	c  457s |      16 |   323118 |   195452 |    20998     17 |      591 |      346
460.02/460.21	c  459s |      16 |   323776 |   196052 |    20998     17 |      591 |      346
462.32/462.52	c  462s |      16 |   324444 |   196652 |    23098     17 |      591 |      346
464.62/464.80	c  464s |      16 |   325124 |   197252 |    23098     17 |      591 |      346
465.22/465.43	c  465s |      17 |   325325 |   197432 |    23098     17 |      591 |      346
467.21/467.49	c  467s |      17 |   329557 |   199132 |    23098     17 |      591 |      346
469.41/469.60	c  469s |      17 |   332602 |   200732 |    23098     17 |      591 |      346
471.51/471.71	c  471s |      17 |   335147 |   202332 |    23098     17 |      591 |      346
473.51/473.79	c  473s |      17 |   336863 |   203632 |    23098     17 |      591 |      346
475.61/475.80	c  475s |      17 |   338899 |   204632 |    23098     18 |      591 |      346
477.70/477.93	c  477s |      17 |   341010 |   206132 |    23098     18 |      591 |      346
479.70/479.95	c  479s |      17 |   342874 |   207432 |    23098     18 |      591 |      346
481.80/482.03	c  481s |      17 |   344424 |   208532 |    23098     18 |      591 |      346
483.91/484.13	c  483s |      17 |   345560 |   209432 |    23098     18 |      591 |      346
486.10/486.31	c  486s |      17 |   346369 |   210132 |    23098     18 |      591 |      346
488.09/488.37	c  488s |      17 |   347055 |   210732 |    23098     18 |      591 |      346
490.39/490.62	c  490s |      17 |   347919 |   211432 |    23098     18 |      591 |      346
492.49/492.71	c  492s |      17 |   349360 |   212432 |    23098     18 |      591 |      346
494.59/494.89	c  494s |      17 |   350508 |   213332 |    23098     18 |      591 |      346
496.69/496.91	c  496s |      17 |   351627 |   214232 |    23098     18 |      591 |      346
498.79/499.01	c  498s |      17 |   352651 |   215032 |    23098     18 |      591 |      346
500.89/501.10	c  500s |      17 |   353219 |   215532 |    23098     18 |      591 |      346
503.09/503.33	c  503s |      17 |   353759 |   216032 |    23098     18 |      591 |      346
505.29/505.54	c  505s |      17 |   354672 |   216732 |    23098     18 |      591 |      346
507.28/507.54	c  507s |      17 |   355509 |   217432 |    23098     18 |      591 |      346
509.48/509.75	c  509s |      17 |   356201 |   218032 |    23098     19 |      591 |      346
511.68/511.93	c  511s |      17 |   356918 |   218632 |    23098     19 |      591 |      346
513.68/513.95	c  513s |      17 |   357740 |   219332 |    23098     19 |      591 |      346
515.69/516.00	c  515s |      17 |   359135 |   220332 |    23098     19 |      591 |      346
517.98/518.26	c  517s |      17 |   360351 |   221232 |    23098     19 |      591 |      346
520.18/520.45	c  520s |      17 |   361775 |   222232 |    23098     19 |      591 |      346
522.38/522.63	c  522s |      17 |   363234 |   223232 |    23098     19 |      591 |      346
524.37/524.63	c  524s |      17 |   364064 |   223932 |    23098     19 |      591 |      346
526.67/526.93	c  526s |      17 |   365131 |   224832 |    23098     19 |      591 |      346
528.76/529.01	c  528s |      17 |   365989 |   225532 |    23098     19 |      591 |      346
530.86/531.11	c  530s |      17 |   367061 |   226332 |    23098     19 |      591 |      346
532.96/533.24	c  532s |      17 |   368028 |   227132 |    23098     19 |      591 |      346
535.16/535.42	c  535s |      17 |   369005 |   227932 |    23098     19 |      591 |      346
537.26/537.58	c  537s |      17 |   369831 |   228632 |    23098     19 |      591 |      346
539.46/539.74	c  539s |      17 |   370645 |   229332 |    23098     19 |      591 |      346
541.66/541.97	c  541s |      17 |   371392 |   229932 |    23098     19 |      591 |      346
543.76/544.04	c  543s |      17 |   371958 |   230432 |    23098     19 |      591 |      346
545.76/546.05	c  545s |      17 |   372573 |   230932 |    23098     20 |      591 |      346
547.85/548.13	c  547s |      17 |   373279 |   231532 |    23098     20 |      591 |      346
549.86/550.18	c  549s |      17 |   374439 |   232432 |    23098     20 |      591 |      346
551.96/552.29	c  552s |      17 |   375274 |   233132 |    23098     20 |      591 |      346
554.05/554.34	c  554s |      17 |   376091 |   233832 |    23098     20 |      591 |      346
556.14/556.46	c  556s |      17 |   376801 |   234432 |    23098     20 |      591 |      346
558.14/558.50	c  558s |      17 |   377631 |   235132 |    23098     20 |      591 |      346
560.34/560.63	c  560s |      17 |   378630 |   235932 |    23098     20 |      591 |      346
562.34/562.67	c  562s |      17 |   379468 |   236632 |    23098     20 |      591 |      346
564.44/564.77	c  564s |      17 |   380291 |   237332 |    23098     20 |      591 |      346
566.53/566.83	c  566s |      17 |   381010 |   237932 |    23098     20 |      591 |      346
568.93/569.27	c  568s |      17 |   381854 |   238632 |    23098     20 |      591 |      346
570.93/571.28	c  571s |      17 |   382434 |   239132 |    23098     20 |      591 |      346
573.23/573.51	c  573s |      17 |   383000 |   239632 |    23098     20 |      591 |      346
575.43/575.70	c  575s |      17 |   383596 |   240132 |    23098     20 |      591 |      346
577.62/577.99	c  577s |      17 |   384517 |   240832 |    23098     20 |      591 |      346
579.92/580.20	c  579s |      17 |   385606 |   241632 |    23098     20 |      591 |      346
581.92/582.22	c  581s |      17 |   386507 |   242332 |    23098     20 |      591 |      346
584.02/584.30	c  584s |      17 |   387587 |   243132 |    23098     20 |      591 |      346
586.21/586.50	c  586s |      17 |   388342 |   243732 |    23098     20 |      591 |      346
588.32/588.61	c  588s |      17 |   389145 |   244332 |    23098     21 |      591 |      346
590.53/590.89	c  590s |      17 |   390151 |   245132 |    23098     21 |      591 |      346
592.82/593.12	c  592s |      17 |   391141 |   245932 |    23098     21 |      591 |      346
595.12/595.41	c  595s |      17 |   392108 |   246732 |    23098     21 |      591 |      346
597.22/597.52	c  597s |      17 |   392938 |   247432 |    23098     21 |      591 |      346
599.32/599.62	c  599s |      17 |   393799 |   248132 |    23098     21 |      591 |      346
601.31/601.64	c  601s |      17 |   394531 |   248732 |    23098     21 |      591 |      346
603.51/603.86	c  603s |      17 |   395337 |   249432 |    23098     21 |      591 |      346
605.82/606.12	c  605s |      17 |   396165 |   250132 |    23098     21 |      591 |      346
608.12/608.46	c  608s |      17 |   396957 |   250832 |    23098     21 |      591 |      346
610.32/610.63	c  610s |      17 |   397636 |   251432 |    23098     21 |      591 |      346
612.41/612.74	c  612s |      17 |   398370 |   252032 |    23098     21 |      591 |      346
614.41/614.79	c  614s |      17 |   399481 |   252832 |    23098     21 |      591 |      346
616.60/617.00	c  616s |      17 |   400307 |   253532 |    23098     21 |      591 |      346
618.80/619.17	c  618s |      17 |   401158 |   254232 |    23098     21 |      591 |      346
621.00/621.33	c  621s |      17 |   402012 |   254932 |    23098     21 |      591 |      346
623.00/623.35	c  623s |      17 |   402709 |   255532 |    23098     21 |      591 |      346
625.20/625.57	c  625s |      17 |   403403 |   256132 |    23098     21 |      591 |      346
627.39/627.79	c  627s |      17 |   404087 |   256732 |    23098     21 |      591 |      346
630.00/630.35	c  630s |      17 |   404777 |   257332 |    23098     22 |      591 |      346
632.30/632.61	c  632s |      17 |   405689 |   258132 |    23098     22 |      591 |      346
634.59/634.91	c  634s |      17 |   406622 |   258932 |    23098     22 |      591 |      346
636.79/637.11	c  636s |      17 |   407490 |   259632 |    23098     22 |      591 |      346
638.89/639.25	c  638s |      17 |   408176 |   260232 |    23098     22 |      591 |      346
640.99/641.34	c  641s |      17 |   408974 |   260932 |    23098     22 |      591 |      346
643.29/643.62	c  643s |      17 |   409794 |   261632 |    23098     22 |      591 |      346
645.59/645.90	c  645s |      17 |   410604 |   262332 |    23098     22 |      591 |      346
647.59/647.90	c  647s |      17 |   411143 |   262832 |    23098     22 |      591 |      346
649.68/650.07	c  649s |      17 |   411825 |   263432 |    23098     22 |      591 |      346
651.98/652.35	c  652s |      17 |   412507 |   264032 |    23098     22 |      591 |      346
654.08/654.42	c  654s |      17 |   413284 |   264632 |    23098     22 |      591 |      346
656.07/656.48	c  656s |      17 |   413974 |   265232 |    23098     22 |      591 |      346
658.17/658.51	c  658s |      17 |   414698 |   265832 |    23098     22 |      591 |      346
660.47/660.80	c  660s |      17 |   415516 |   266532 |    23098     22 |      591 |      346
662.57/662.97	c  662s |      17 |   416222 |   267132 |    23098     22 |      591 |      346
664.77/665.18	c  664s |      17 |   416939 |   267732 |    23098     22 |      591 |      346
666.76/667.18	c  666s |      17 |   417516 |   268232 |    23098     22 |      591 |      346
668.96/669.37	c  669s |      17 |   418222 |   268832 |    23098     22 |      591 |      346
671.16/671.53	c  671s |      17 |   418809 |   269332 |    23098     22 |      591 |      346
673.26/673.64	c  673s |      17 |   419369 |   269832 |    23098     22 |      591 |      346
675.66/676.02	c  675s |      17 |   420047 |   270432 |    23098     22 |      591 |      346
677.86/678.22	c  677s |      17 |   420599 |   270932 |    23098     23 |      591 |      346
679.85/680.28	c  680s |      17 |   421410 |   271632 |    23098     23 |      591 |      346
682.15/682.52	c  682s |      17 |   422194 |   272332 |    23098     23 |      591 |      346
684.35/684.70	c  684s |      17 |   422988 |   273032 |    23098     23 |      591 |      346
686.45/686.85	c  686s |      17 |   423794 |   273732 |    23098     23 |      591 |      346
688.65/689.10	c  688s |      17 |   424602 |   274432 |    23098     23 |      591 |      346
690.75/691.13	c  690s |      17 |   425286 |   275032 |    23098     23 |      591 |      346
692.95/693.30	c  693s |      17 |   425989 |   275632 |    23098     23 |      591 |      346
695.15/695.52	c  695s |      17 |   426663 |   276232 |    23098     23 |      591 |      346
697.35/697.77	c  697s |      17 |   427483 |   276932 |    23098     23 |      591 |      346
699.65/700.02	c  699s |      17 |   428177 |   277532 |    23098     23 |      591 |      346
701.95/702.36	c  702s |      17 |   428875 |   278132 |    23098     23 |      591 |      346
704.35/704.75	c  704s |      17 |   429702 |   278832 |    23098     23 |      591 |      346
706.55/706.94	c  706s |      17 |   430387 |   279432 |    23098     23 |      591 |      346
708.75/709.14	c  708s |      17 |   431117 |   280032 |    23098     23 |      591 |      346
710.85/711.23	c  710s |      17 |   431691 |   280532 |    23098     23 |      591 |      346
712.85/713.27	c  712s |      17 |   432263 |   281032 |    23098     23 |      591 |      346
715.24/715.62	c  715s |      17 |   432856 |   281532 |    23098     23 |      591 |      346
717.24/717.67	c  717s |      17 |   433557 |   282132 |    23098     23 |      591 |      346
719.64/720.05	c  719s |      17 |   434266 |   282732 |    23098     23 |      591 |      346
721.84/722.21	c  721s |      17 |   434858 |   283232 |    23098     23 |      591 |      346
724.04/724.40	c  724s |      17 |   435337 |   283632 |    23098     24 |      591 |      346
726.24/726.60	c  726s |      17 |   436042 |   284232 |    23098     24 |      591 |      346
728.24/728.64	c  728s |      17 |   436762 |   284832 |    23098     24 |      591 |      346
730.24/730.69	c  730s |      17 |   437468 |   285432 |    23098     24 |      591 |      346
732.64/733.06	c  732s |      17 |   438292 |   286132 |    23098     24 |      591 |      346
735.04/735.45	c  735s |      17 |   438998 |   286732 |    23098     24 |      591 |      346
737.44/737.83	c  737s |      17 |   439681 |   287332 |    23098     24 |      591 |      346
739.44/739.90	c  739s |      17 |   440264 |   287832 |    23098     24 |      591 |      346
741.94/742.35	c  742s |      17 |   440943 |   288432 |    23098     24 |      591 |      346
744.04/744.46	c  744s |      17 |   441531 |   288932 |    23098     24 |      591 |      346
746.34/746.79	c  746s |      17 |   442223 |   289532 |    23098     24 |      591 |      346
748.64/749.02	c  748s |      17 |   442776 |   290032 |    23098     24 |      591 |      346
750.84/751.30	c  751s |      17 |   443342 |   290532 |    23098     24 |      591 |      346
753.34/753.75	c  753s |      17 |   443913 |   291032 |    23098     24 |      591 |      346
755.44/755.81	c  755s |      17 |   444367 |   291432 |    23098     24 |      591 |      346
757.54/757.96	c  757s |      17 |   444815 |   291832 |    23098     24 |      591 |      346
759.94/760.35	c  760s |      17 |   445371 |   292332 |    23098     24 |      591 |      346
762.04/762.41	c  762s |      17 |   445810 |   292732 |    23098     24 |      591 |      346
764.14/764.58	c  764s |      17 |   446248 |   293132 |    23098     24 |      591 |      346
766.34/766.76	c  766s |      17 |   446703 |   293532 |    23098     24 |      591 |      346
768.54/768.99	c  768s |      17 |   447150 |   293932 |    23098     24 |      591 |      346
770.63/771.00	c  770s |      17 |   447602 |   294332 |    25408     24 |      591 |      346
772.63/773.04	c  772s |      17 |   448178 |   294832 |    25408     24 |      591 |      346
774.93/775.35	c  775s |      17 |   448742 |   295332 |    25408     24 |      591 |      346
777.23/777.70	c  777s |      17 |   449296 |   295832 |    25408     24 |      591 |      346
779.33/779.73	c  779s |      18 |   449779 |   296252 |    25408     24 |      591 |      346
781.33/781.74	c  781s |      18 |   451705 |   296752 |    25408     25 |      591 |      346
783.33/783.75	c  783s |      18 |   453261 |   297952 |    25408     25 |      591 |      346
785.44/785.89	c  785s |      18 |   454572 |   299052 |    25408     25 |      591 |      346
787.64/788.02	c  787s |      18 |   456148 |   300252 |    25408     25 |      591 |      346
789.84/790.23	c  789s |      18 |   457329 |   301252 |    25408     25 |      591 |      346
792.04/792.45	c  792s |      18 |   458582 |   302252 |    25408     25 |      591 |      346
794.14/794.54	c  794s |      18 |   460035 |   303252 |    25408     25 |      591 |      346
796.24/796.62	c  796s |      18 |   461091 |   304152 |    25408     25 |      591 |      346
798.44/798.85	c  798s |      18 |   462170 |   305052 |    25408     25 |      591 |      346
800.64/801.06	c  800s |      18 |   463174 |   305852 |    25408     25 |      591 |      346
802.64/803.09	c  802s |      18 |   463999 |   306552 |    25408     25 |      591 |      346
804.73/805.15	c  804s |      18 |   465075 |   307352 |    25408     25 |      591 |      346
806.93/807.40	c  807s |      18 |   465922 |   308052 |    25408     25 |      591 |      346
809.13/809.53	c  809s |      18 |   466819 |   308752 |    25408     25 |      591 |      346
811.13/811.53	c  811s |      18 |   467597 |   309352 |    25408     25 |      591 |      346
813.23/813.67	c  813s |      18 |   468975 |   310352 |    25408     25 |      591 |      346
815.43/815.87	c  815s |      18 |   470174 |   311252 |    25408     25 |      591 |      346
817.53/817.98	c  817s |      18 |   470983 |   311952 |    25408     25 |      591 |      346
819.63/820.01	c  819s |      18 |   471804 |   312552 |    25408     26 |      591 |      346
821.83/822.21	c  821s |      18 |   473019 |   313452 |    25408     26 |      591 |      346
823.83/824.29	c  824s |      18 |   474108 |   314252 |    25408     26 |      591 |      346
825.93/826.31	c  826s |      18 |   475177 |   315052 |    25408     26 |      591 |      346
827.94/828.36	c  828s |      18 |   476143 |   315852 |    25408     26 |      591 |      346
830.24/830.63	c  830s |      18 |   477105 |   316652 |    25408     26 |      591 |      346
832.44/832.84	c  832s |      18 |   478003 |   317352 |    25408     26 |      591 |      346
834.64/835.03	c  834s |      18 |   478716 |   317952 |    25408     26 |      591 |      346
836.84/837.23	c  836s |      18 |   479456 |   318552 |    25408     26 |      591 |      346
839.04/839.49	c  839s |      18 |   480160 |   319152 |    25408     26 |      591 |      346
841.14/841.52	c  841s |      18 |   480760 |   319652 |    25408     26 |      591 |      346
843.23/843.64	c  843s |      18 |   481580 |   320252 |    25408     26 |      591 |      346
845.53/845.99	c  845s |      18 |   482341 |   320852 |    25408     26 |      591 |      346
847.63/848.09	c  847s |      18 |   483070 |   321452 |    25408     26 |      591 |      346
849.83/850.25	c  849s |      18 |   483626 |   321952 |    25408     26 |      591 |      346
852.23/852.64	c  852s |      18 |   484198 |   322452 |    25408     26 |      591 |      346
854.22/854.67	c  854s |      18 |   484636 |   322852 |    25408     26 |      591 |      346
856.63/857.06	c  856s |      18 |   485200 |   323352 |    25408     26 |      591 |      346
858.83/859.25	c  858s |      18 |   485777 |   323852 |    25408     26 |      591 |      346
861.03/861.49	c  861s |      18 |   486490 |   324452 |    25408     26 |      591 |      346
863.23/863.63	c  863s |      18 |   487101 |   324952 |    25408     26 |      591 |      346
865.43/865.81	c  865s |      18 |   487819 |   325552 |    25408     26 |      591 |      346
867.63/868.05	c  867s |      18 |   488408 |   326052 |    25408     26 |      591 |      346
869.73/870.18	c  869s |      18 |   488852 |   326452 |    25408     27 |      591 |      346
871.82/872.23	c  871s |      18 |   489410 |   326952 |    25408     27 |      591 |      346
873.82/874.23	c  873s |      18 |   490159 |   327552 |    25408     27 |      591 |      346
876.22/876.63	c  876s |      18 |   490862 |   328152 |    25408     27 |      591 |      346
878.32/878.72	c  878s |      18 |   491647 |   328752 |    25408     27 |      591 |      346
880.42/880.84	c  880s |      18 |   492386 |   329352 |    25408     27 |      591 |      346
882.42/882.90	c  882s |      18 |   493005 |   329852 |    25408     27 |      591 |      346
884.62/885.09	c  884s |      18 |   493730 |   330452 |    25408     27 |      591 |      346
887.02/887.42	c  887s |      18 |   494446 |   331052 |    25408     27 |      591 |      346
889.11/889.57	c  889s |      18 |   495038 |   331552 |    25408     27 |      591 |      346
891.21/891.62	c  891s |      18 |   495639 |   332052 |    25408     27 |      591 |      346
893.61/894.07	c  893s |      18 |   496355 |   332652 |    25408     27 |      591 |      346
895.91/896.30	c  896s |      18 |   496949 |   333152 |    25408     27 |      591 |      346
898.32/898.74	c  898s |      18 |   497504 |   333652 |    25408     27 |      591 |      346
900.62/901.05	c  900s |      18 |   498095 |   334152 |    25408     27 |      591 |      346
903.01/903.40	c  903s |      18 |   498676 |   334652 |    25408     27 |      591 |      346
905.03/905.50	c  905s |      18 |   499403 |   335252 |    25408     27 |      591 |      346
907.23/907.63	c  907s |      18 |   500002 |   335752 |    25408     27 |      591 |      346
909.33/909.79	c  909s |      18 |   500643 |   336252 |    25408     27 |      591 |      346
911.72/912.12	c  911s |      18 |   501210 |   336752 |    25408     27 |      591 |      346
914.12/914.52	c  914s |      18 |   501917 |   337352 |    25408     27 |      591 |      346
916.42/916.83	c  916s |      18 |   502655 |   337952 |    25408     27 |      591 |      346
918.72/919.17	c  918s |      18 |   503239 |   338452 |    25408     27 |      591 |      346
921.02/921.49	c  921s |      18 |   503804 |   338952 |    25408     27 |      591 |      346
923.22/923.61	c  923s |      18 |   504390 |   339452 |    25408     27 |      591 |      346
925.22/925.64	c  925s |      18 |   504842 |   339852 |    25408     27 |      591 |      346
927.42/927.89	c  927s |      18 |   505302 |   340252 |    25408     27 |      591 |      346
930.61/931.00	c  930s |      18 |   505753 |   340652 |    25408     28 |      591 |      346
932.81/933.28	c  933s |      18 |   506316 |   341152 |    25408     28 |      591 |      346
935.11/935.55	c  935s |      18 |   506850 |   341652 |    25408     28 |      591 |      346
937.51/937.91	c  937s |      18 |   507536 |   342252 |    25408     28 |      591 |      346
939.81/940.23	c  939s |      18 |   508083 |   342752 |    25408     28 |      591 |      346
942.11/942.57	c  942s |      18 |   508762 |   343352 |    25408     28 |      591 |      346
944.41/944.89	c  944s |      18 |   509311 |   343852 |    25408     28 |      591 |      346
946.61/947.03	c  946s |      18 |   509869 |   344352 |    25408     28 |      591 |      346
948.92/949.39	c  949s |      18 |   510450 |   344852 |    25408     28 |      591 |      346
951.01/951.41	c  951s |      18 |   510903 |   345252 |    25408     28 |      591 |      346
953.42/953.88	c  953s |      18 |   511439 |   345752 |    25408     28 |      591 |      346
955.91/956.37	c  956s |      18 |   512001 |   346252 |    25408     28 |      591 |      346
958.31/958.78	c  958s |      18 |   512577 |   346752 |    25408     28 |      591 |      346
960.51/960.92	c  960s |      18 |   513152 |   347252 |    25408     28 |      591 |      346
962.91/963.35	c  963s |      18 |   513740 |   347752 |    25408     28 |      591 |      346
965.01/965.40	c  965s |      18 |   514178 |   348152 |    25408     28 |      591 |      346
967.11/967.57	c  967s |      18 |   514790 |   348652 |    25408     28 |      591 |      346
969.20/969.68	c  969s |      18 |   515391 |   349152 |    25408     28 |      591 |      346
971.30/971.79	c  971s |      18 |   515977 |   349652 |    25408     28 |      591 |      346
973.60/974.01	c  973s |      18 |   516554 |   350152 |    25408     28 |      591 |      346
975.91/976.38	c  976s |      18 |   517200 |   350652 |    25408     28 |      591 |      346
978.21/978.61	c  978s |      18 |   517647 |   351052 |    25408     28 |      591 |      346
980.31/980.76	c  980s |      18 |   518068 |   351452 |    25408     28 |      591 |      346
982.51/982.98	c  982s |      18 |   518508 |   351852 |    25408     28 |      591 |      346
984.71/985.18	c  984s |      18 |   518938 |   352252 |    25408     28 |      591 |      346
987.01/987.46	c  987s |      18 |   519372 |   352652 |    25408     28 |      591 |      346
989.11/989.51	c  989s |      18 |   519840 |   353052 |    25408     28 |      591 |      346
991.11/991.55	c  991s |      18 |   520277 |   353452 |    25408     28 |      591 |      346
993.41/993.85	c  993s |      18 |   520732 |   353852 |    25408     28 |      591 |      346
995.61/996.08	c  995s |      18 |   521169 |   354252 |    25408     28 |      591 |      346
997.91/998.36	c  998s |      18 |   521745 |   354752 |    25408     28 |      591 |      346
1000.41/1000.82	c 1000s |      18 |   522089 |   355052 |    25408     29 |      591 |      346
1002.41/1002.87	c 1002s |      18 |   522661 |   355552 |    25408     29 |      591 |      346
1004.81/1005.26	c 1004s |      18 |   523228 |   356052 |    25408     29 |      591 |      346
1007.00/1007.40	c 1007s |      18 |   523807 |   356552 |    25408     29 |      591 |      346
1009.00/1009.43	c 1009s |      18 |   524372 |   357052 |    25408     29 |      591 |      346
1011.10/1011.57	c 1011s |      18 |   524954 |   357552 |    25408     29 |      591 |      346
1013.20/1013.60	c 1013s |      18 |   525505 |   358052 |    25408     29 |      591 |      346
1015.40/1015.88	c 1015s |      18 |   526085 |   358552 |    25408     29 |      591 |      346
1017.80/1018.26	c 1017s |      18 |   526641 |   359052 |    25408     29 |      591 |      346
1020.10/1020.52	c 1020s |      18 |   527190 |   359552 |    25408     29 |      591 |      346
1022.50/1022.99	c 1022s |      18 |   527870 |   360152 |    25408     29 |      591 |      346
1024.81/1025.23	c 1024s |      18 |   528438 |   360652 |    25408     29 |      591 |      346
1026.90/1027.36	c 1027s |      18 |   528877 |   361052 |    25408     29 |      591 |      346
1029.00/1029.47	c 1029s |      18 |   529303 |   361452 |    25408     29 |      591 |      346
1031.20/1031.61	c 1031s |      18 |   529747 |   361852 |    25408     29 |      591 |      346
1033.49/1033.95	c 1033s |      18 |   530188 |   362252 |    25408     29 |      591 |      346
1035.69/1036.20	c 1035s |      18 |   530611 |   362652 |    25408     29 |      591 |      346
1038.10/1038.60	c 1038s |      18 |   531046 |   363052 |    25408     29 |      591 |      346
1040.59/1041.00	c 1040s |      18 |   531496 |   363452 |    25408     29 |      591 |      346
1042.99/1043.48	c 1043s |      18 |   532057 |   363952 |    25408     29 |      591 |      346
1045.29/1045.73	c 1045s |      18 |   532496 |   364352 |    25408     29 |      591 |      346
1047.39/1047.84	c 1047s |      18 |   532946 |   364752 |    25408     29 |      591 |      346
1049.60/1050.09	c 1049s |      18 |   533572 |   365252 |    25408     29 |      591 |      346
1051.90/1052.34	c 1052s |      18 |   534147 |   365752 |    25408     29 |      591 |      346
1054.20/1054.63	c 1054s |      18 |   534842 |   366352 |    25408     29 |      591 |      346
1056.20/1056.68	c 1056s |      18 |   535449 |   366852 |    25408     29 |      591 |      346
1058.40/1058.84	c 1058s |      18 |   536023 |   367352 |    25408     29 |      591 |      346
1060.60/1061.05	c 1060s |      18 |   536589 |   367852 |    25408     29 |      591 |      346
1062.90/1063.31	c 1063s |      18 |   537189 |   368352 |    25408     29 |      591 |      346
1065.20/1065.63	c 1065s |      18 |   537755 |   368852 |    25408     29 |      591 |      346
1067.49/1067.90	c 1067s |      18 |   538308 |   369352 |    25408     29 |      591 |      346
1069.59/1070.06	c 1069s |      18 |   538637 |   369652 |    25408     30 |      591 |      346
1071.69/1072.14	c 1071s |      18 |   539358 |   370252 |    25408     30 |      591 |      346
1073.99/1074.45	c 1074s |      18 |   540058 |   370852 |    25408     30 |      591 |      346
1076.19/1076.68	c 1076s |      18 |   540739 |   371452 |    25408     30 |      591 |      346
1078.49/1078.90	c 1078s |      18 |   541302 |   371952 |    25408     30 |      591 |      346
1080.79/1081.23	c 1080s |      18 |   541868 |   372452 |    25408     30 |      591 |      346
1082.79/1083.29	c 1083s |      18 |   542302 |   372852 |    25408     30 |      591 |      346
1085.09/1085.54	c 1085s |      18 |   542861 |   373352 |    25408     30 |      591 |      346
1087.50/1088.00	c 1087s |      18 |   543409 |   373852 |    25408     30 |      591 |      346
1089.70/1090.11	c 1089s |      18 |   543870 |   374252 |    25408     30 |      591 |      346
1091.79/1092.25	c 1091s |      18 |   544441 |   374752 |    25408     30 |      591 |      346
1094.20/1094.64	c 1094s |      18 |   545017 |   375252 |    25408     30 |      591 |      346
1096.69/1097.20	c 1096s |      18 |   545579 |   375752 |    25408     30 |      591 |      346
1098.89/1099.32	c 1099s |      18 |   546022 |   376152 |    25408     30 |      591 |      346
1101.29/1101.71	c 1101s |      18 |   546592 |   376652 |    25408     30 |      591 |      346
1103.69/1104.18	c 1103s |      18 |   547164 |   377152 |    25408     30 |      591 |      346
1105.99/1106.47	c 1106s |      18 |   547763 |   377652 |    25408     30 |      591 |      346
1108.39/1108.87	c 1108s |      18 |   548372 |   378152 |    25408     30 |      591 |      346
1110.49/1110.97	c 1110s |      18 |   548820 |   378552 |    25408     30 |      591 |      346
1112.59/1113.07	c 1112s |      18 |   549442 |   379052 |    25408     30 |      591 |      346
1114.99/1115.50	c 1115s |      18 |   550020 |   379552 |    25408     30 |      591 |      346
1117.59/1118.04	c 1117s |      18 |   550570 |   380052 |    25408     30 |      591 |      346
1119.89/1120.30	c 1120s |      18 |   551117 |   380552 |    25408     30 |      591 |      346
1121.89/1122.39	c 1122s |      18 |   551583 |   380952 |    25408     30 |      591 |      346
1123.99/1124.40	c 1124s |      18 |   552044 |   381352 |    25408     30 |      591 |      346
1126.09/1126.56	c 1126s |      18 |   552489 |   381752 |    25408     30 |      591 |      346
1128.29/1128.71	c 1128s |      18 |   552952 |   382152 |    25408     30 |      591 |      346
1130.58/1131.07	c 1130s |      18 |   553404 |   382552 |    25408     30 |      591 |      346
1133.08/1133.53	c 1133s |      18 |   553999 |   383052 |    25408     30 |      591 |      346
1135.58/1136.02	c 1135s |      18 |   554455 |   383452 |    25408     30 |      591 |      346
1137.98/1138.45	c 1138s |      18 |   554804 |   383752 |    25408     31 |      591 |      346
1140.18/1140.66	c 1140s |      18 |   555251 |   384152 |    25408     31 |      591 |      346
1142.38/1142.87	c 1142s |      18 |   555890 |   384652 |    25408     31 |      591 |      346
1144.79/1145.21	c 1144s |      18 |   556565 |   385252 |    25408     31 |      591 |      346
1146.78/1147.25	c 1146s |      18 |   557156 |   385752 |    25408     31 |      591 |      346
1148.78/1149.25	c 1148s |      18 |   557718 |   386252 |    25408     31 |      591 |      346
1150.98/1151.46	c 1151s |      18 |   558286 |   386752 |    25408     31 |      591 |      346
1153.08/1153.54	c 1153s |      18 |   558872 |   387252 |    25408     31 |      591 |      346
1155.18/1155.64	c 1155s |      18 |   559453 |   387752 |    25408     31 |      591 |      346
1157.38/1157.86	c 1157s |      18 |   560021 |   388252 |    25408     31 |      591 |      346
1159.68/1160.18	c 1159s |      18 |   560609 |   388752 |    25408     31 |      591 |      346
1162.08/1162.53	c 1162s |      18 |   561355 |   389352 |    25408     31 |      591 |      346
1164.08/1164.56	c 1164s |      18 |   561951 |   389852 |    25408     31 |      591 |      346
1166.37/1166.82	c 1166s |      18 |   562524 |   390352 |    25408     31 |      591 |      346
1168.37/1168.86	c 1168s |      18 |   563136 |   390852 |    25408     31 |      591 |      346
1170.57/1171.00	c 1170s |      18 |   563737 |   391352 |    25408     31 |      591 |      346
1172.57/1173.03	c 1172s |      18 |   564357 |   391852 |    25408     31 |      591 |      346
1174.87/1175.37	c 1175s |      18 |   564901 |   392352 |    25408     31 |      591 |      346
1177.27/1177.70	c 1177s |      18 |   565482 |   392852 |    25408     31 |      591 |      346
1179.57/1180.03	c 1179s |      18 |   565915 |   393252 |    25408     31 |      591 |      346
1182.08/1182.52	c 1182s |      18 |   566342 |   393652 |    25408     31 |      591 |      346
1184.07/1184.53	c 1184s |      18 |   566799 |   394052 |    25408     31 |      591 |      346
1186.08/1186.53	c 1186s |      18 |   569969 |   394952 |    25408     31 |      591 |      346
1188.18/1188.61	c 1188s |      18 |   571679 |   395852 |    25408     31 |      591 |      346
1190.28/1190.74	c 1190s |      18 |   574195 |   396952 |    25408     31 |      591 |      346
1192.28/1192.74	c 1192s |      18 |   575231 |   397652 |    25408     31 |      591 |      346
1194.48/1194.94	c 1194s |      18 |   575788 |   398052 |    25408     32 |      591 |      346
1196.68/1197.11	c 1196s |      18 |   576680 |   398752 |    25408     32 |      591 |      346
1198.98/1199.42	c 1199s |      18 |   577508 |   399452 |    25408     32 |      591 |      346
1200.98/1201.44	c 1201s |      18 |   578252 |   400052 |    25408     32 |      591 |      346
1203.08/1203.54	c 1203s |      18 |   579482 |   400952 |    25408     32 |      591 |      346
1205.28/1205.77	c 1205s |      18 |   580363 |   401652 |    25408     32 |      591 |      346
1207.57/1208.02	c 1207s |      18 |   581106 |   402352 |    25408     32 |      591 |      346
1209.58/1210.08	c 1209s |      18 |   582380 |   403152 |    25408     32 |      591 |      346
1211.97/1212.40	c 1212s |      18 |   583608 |   404052 |    25408     32 |      591 |      346
1213.98/1214.47	c 1214s |      18 |   584673 |   404852 |    25408     32 |      591 |      346
1216.18/1216.65	c 1216s |      18 |   585572 |   405552 |    25408     32 |      591 |      346
1218.17/1218.67	c 1218s |      18 |   586317 |   406152 |    25408     32 |      591 |      346
1220.27/1220.73	c 1220s |      18 |   586909 |   406652 |    25408     32 |      591 |      346
1222.67/1223.13	c 1222s |      18 |   587769 |   407352 |    25408     32 |      591 |      346
1224.87/1225.38	c 1225s |      18 |   588672 |   408052 |    25408     32 |      591 |      346
1226.97/1227.43	c 1227s |      18 |   589476 |   408652 |    25408     32 |      591 |      346
1229.17/1229.60	c 1229s |      18 |   590962 |   409452 |    25408     32 |      591 |      346
1231.46/1231.91	c 1231s |      18 |   591690 |   410052 |    25408     32 |      591 |      346
1233.66/1234.13	c 1233s |      18 |   592935 |   410852 |    25408     32 |      591 |      346
1235.86/1236.30	c 1236s |      18 |   593522 |   411352 |    25408     32 |      591 |      346
1237.96/1238.47	c 1238s |      18 |   594295 |   411952 |    25408     32 |      591 |      346
1240.06/1240.51	c 1240s |      18 |   594935 |   412452 |    25408     33 |      591 |      346
1242.16/1242.65	c 1242s |      18 |   595799 |   413152 |    25408     33 |      591 |      346
1244.36/1244.84	c 1244s |      18 |   596533 |   413752 |    25408     33 |      591 |      346
1246.47/1246.95	c 1246s |      18 |   597205 |   414252 |    25408     33 |      591 |      346
1248.67/1249.12	c 1248s |      18 |   598325 |   415052 |    25408     33 |      591 |      346
1250.67/1251.19	c 1250s |      18 |   599172 |   415752 |    25408     33 |      591 |      346
1252.87/1253.31	c 1253s |      18 |   599838 |   416352 |    25408     33 |      591 |      346
1255.07/1255.52	c 1255s |      18 |   600631 |   417052 |    25408     33 |      591 |      346
1257.17/1257.61	c 1257s |      18 |   601370 |   417652 |    25408     33 |      591 |      346
1259.37/1259.83	c 1259s |      18 |   602100 |   418252 |    25408     33 |      591 |      346
1261.57/1262.01	c 1261s |      18 |   602815 |   418852 |    25408     33 |      591 |      346
1263.57/1264.06	c 1263s |      18 |   603692 |   419452 |    25408     33 |      591 |      346
1265.57/1266.09	c 1265s |      18 |   604454 |   420052 |    25408     33 |      591 |      346
1267.87/1268.39	c 1268s |      18 |   605330 |   420752 |    25408     33 |      591 |      346
1270.26/1270.74	c 1270s |      18 |   606167 |   421452 |    25408     33 |      591 |      346
1272.56/1273.01	c 1272s |      18 |   606899 |   422052 |    25408     33 |      591 |      346
1274.66/1275.17	c 1274s |      18 |   607493 |   422552 |    25408     33 |      591 |      346
1276.86/1277.31	c 1277s |      18 |   608065 |   423052 |    25408     33 |      591 |      346
1279.06/1279.57	c 1279s |      18 |   608650 |   423552 |    25408     33 |      591 |      346
1281.36/1281.84	c 1281s |      18 |   609219 |   424052 |    25408     33 |      591 |      346
1283.86/1284.36	c 1284s |      18 |   609795 |   424552 |    25408     33 |      591 |      346
1286.26/1286.72	c 1286s |      18 |   610233 |   424952 |    25408     33 |      591 |      346
1288.36/1288.88	c 1288s |      18 |   610715 |   425352 |    25408     33 |      591 |      346
1290.76/1291.27	c 1290s |      18 |   611437 |   425952 |    25408     33 |      591 |      346
1293.56/1294.09	c 1293s |      18 |   611997 |   426452 |    25408     34 |      591 |      346
1295.86/1296.36	c 1296s |      18 |   612680 |   427052 |    25408     34 |      591 |      346
1297.96/1298.43	c 1298s |      18 |   613387 |   427652 |    25408     34 |      591 |      346
1300.36/1300.81	c 1300s |      18 |   614056 |   428252 |    25408     34 |      591 |      346
1302.66/1303.15	c 1302s |      18 |   614747 |   428852 |    25408     34 |      591 |      346
1304.76/1305.29	c 1305s |      18 |   615309 |   429352 |    25408     34 |      591 |      346
1306.96/1307.46	c 1307s |      18 |   615860 |   429852 |    25408     34 |      591 |      346
1309.26/1309.78	c 1309s |      18 |   616434 |   430352 |    25408     34 |      591 |      346
1311.55/1312.01	c 1311s |      18 |   617089 |   430952 |    25408     34 |      591 |      346
1313.85/1314.39	c 1314s |      18 |   617796 |   431552 |    25408     34 |      591 |      346
1316.36/1316.84	c 1316s |      18 |   618370 |   432052 |    25408     34 |      591 |      346
1318.46/1318.93	c 1318s |      18 |   618805 |   432452 |    25408     34 |      591 |      346
1320.55/1321.03	c 1320s |      18 |   619266 |   432852 |    25408     34 |      591 |      346
1322.65/1323.15	c 1322s |      18 |   619721 |   433252 |    25408     34 |      591 |      346
1324.95/1325.44	c 1325s |      18 |   620169 |   433652 |    25408     34 |      591 |      346
1327.36/1327.86	c 1327s |      18 |   620593 |   434052 |    25408     34 |      591 |      346
1329.56/1330.01	c 1329s |      18 |   621052 |   434452 |    25408     34 |      591 |      346
1331.95/1332.45	c 1332s |      18 |   621515 |   434852 |    25408     34 |      591 |      346
1334.35/1334.83	c 1334s |      18 |   621975 |   435252 |    25408     34 |      591 |      346
1336.35/1336.84	c 1336s |      18 |   622407 |   435652 |    25408     34 |      591 |      346
1339.05/1339.51	c 1339s |      18 |   622835 |   436052 |    25408     34 |      591 |      346
1341.25/1341.79	c 1341s |      18 |   623293 |   436452 |    25408     34 |      591 |      346
1343.65/1344.19	c 1343s |      18 |   624029 |   437052 |    25408     34 |      591 |      346
1345.75/1346.26	c 1345s |      18 |   624644 |   437552 |    25408     34 |      591 |      346
1347.85/1348.30	c 1348s |      18 |   625202 |   438052 |    25408     34 |      591 |      346
1350.04/1350.59	c 1350s |      18 |   625834 |   438552 |    25408     34 |      591 |      346
1352.34/1352.82	c 1352s |      18 |   626459 |   439052 |    25408     34 |      591 |      346
1354.86/1355.37	c 1355s |      18 |   626926 |   439452 |    25408     34 |      591 |      346
1357.15/1357.61	c 1357s |      18 |   627377 |   439852 |    25408     34 |      591 |      346
1359.16/1359.65	c 1359s |      18 |   627843 |   440252 |    25408     34 |      591 |      346
1361.25/1361.70	c 1361s |      18 |   628346 |   440652 |    25408     34 |      591 |      346
1363.35/1363.85	c 1363s |      18 |   628712 |   440952 |    25408     35 |      591 |      346
1365.55/1366.06	c 1365s |      18 |   629518 |   441552 |    27949     35 |      591 |      346
1368.06/1368.51	c 1368s |      18 |   630142 |   442052 |    27949     35 |      591 |      346
1370.45/1370.93	c 1370s |      18 |   630702 |   442552 |    27949     35 |      591 |      346
1372.75/1373.29	c 1373s |      18 |   631272 |   443052 |    27949     35 |      591 |      346
1375.05/1375.50	c 1375s |      18 |   631723 |   443452 |    27949     35 |      591 |      346
1377.14/1377.61	c 1377s |      18 |   632175 |   443852 |    27949     35 |      591 |      346
1379.44/1379.91	c 1379s |      18 |   632777 |   444352 |    27949     35 |      591 |      346
1379.84/1380.39	c 1380s |      19 |   632954 |   444482 |    27949     35 |      591 |      346
1381.94/1382.46	c 1382s |      19 |   636473 |   445482 |    27949     35 |      591 |      346
1384.14/1384.65	c 1384s |      19 |   639318 |   447282 |    27949     35 |      591 |      346
1386.14/1386.70	c 1386s |      19 |   641696 |   448782 |    27949     35 |      591 |      346
1388.24/1388.78	c 1388s |      19 |   643738 |   450182 |    27949     35 |      591 |      346
1390.44/1390.95	c 1390s |      19 |   644937 |   451182 |    27949     35 |      591 |      346
1392.64/1393.10	c 1392s |      19 |   645724 |   451882 |    27949     35 |      591 |      346
1394.84/1395.32	c 1395s |      19 |   646915 |   452882 |    27949     35 |      591 |      346
1396.84/1397.33	c 1397s |      19 |   648941 |   454082 |    27949     35 |      591 |      346
1398.94/1399.41	c 1399s |      19 |   650438 |   455182 |    27949     35 |      591 |      346
1401.05/1401.56	c 1401s |      19 |   652132 |   456382 |    27949     35 |      591 |      346
1403.15/1403.66	c 1403s |      19 |   653372 |   457382 |    27949     35 |      591 |      346
1405.24/1405.70	c 1405s |      19 |   654205 |   457982 |    27949     36 |      591 |      346
1407.44/1407.90	c 1407s |      19 |   655578 |   459082 |    27949     36 |      591 |      346
1409.44/1409.99	c 1409s |      19 |   656555 |   459882 |    27949     36 |      591 |      346
1411.64/1412.11	c 1411s |      19 |   657693 |   460782 |    27949     36 |      591 |      346
1413.84/1414.39	c 1414s |      19 |   658621 |   461582 |    27949     36 |      591 |      346
1415.94/1416.47	c 1416s |      19 |   659484 |   462282 |    27949     36 |      591 |      346
1418.04/1418.55	c 1418s |      19 |   660376 |   462982 |    27949     36 |      591 |      346
1420.24/1420.77	c 1420s |      19 |   661216 |   463682 |    27949     36 |      591 |      346
1422.44/1422.95	c 1422s |      19 |   661908 |   464282 |    27949     36 |      591 |      346
1424.84/1425.31	c 1425s |      19 |   662739 |   464982 |    27949     36 |      591 |      346
1426.84/1427.32	c 1427s |      19 |   663311 |   465482 |    27949     36 |      591 |      346
1429.03/1429.53	c 1429s |      19 |   663998 |   466082 |    27949     36 |      591 |      346
1431.23/1431.78	c 1431s |      19 |   664694 |   466682 |    27949     36 |      591 |      346
1433.53/1434.02	c 1433s |      19 |   665241 |   467182 |    27949     36 |      591 |      346
1435.63/1436.20	c 1435s |      19 |   665796 |   467682 |    27949     36 |      591 |      346
1437.83/1438.30	c 1438s |      19 |   666382 |   468182 |    27949     36 |      591 |      346
1439.83/1440.31	c 1440s |      19 |   666976 |   468682 |    27949     36 |      591 |      346
1441.93/1442.42	c 1442s |      19 |   667559 |   469182 |    27949     36 |      591 |      346
1444.33/1444.84	c 1444s |      19 |   668249 |   469782 |    27949     36 |      591 |      346
1446.53/1447.03	c 1446s |      19 |   668816 |   470282 |    27949     36 |      591 |      346
1448.63/1449.18	c 1448s |      19 |   669583 |   470882 |    27949     36 |      591 |      346
1450.93/1451.50	c 1451s |      19 |   670480 |   471582 |    27949     36 |      591 |      346
1453.13/1453.62	c 1453s |      19 |   671224 |   472182 |    27949     36 |      591 |      346
1455.13/1455.63	c 1455s |      19 |   671834 |   472682 |    27949     36 |      591 |      346
1457.23/1457.76	c 1457s |      19 |   672444 |   473182 |    27949     36 |      591 |      346
1459.34/1459.89	c 1459s |      19 |   673019 |   473682 |    27949     37 |      591 |      346
1461.53/1462.06	c 1461s |      19 |   673853 |   474382 |    27949     37 |      591 |      346
1463.63/1464.20	c 1463s |      19 |   674746 |   475082 |    27949     37 |      591 |      346
1465.84/1466.35	c 1466s |      19 |   675627 |   475782 |    27949     37 |      591 |      346
1467.94/1468.46	c 1468s |      19 |   676351 |   476382 |    27949     37 |      591 |      346
1470.24/1470.72	c 1470s |      19 |   677158 |   477082 |    27949     37 |      591 |      346
1472.24/1472.80	c 1472s |      19 |   677841 |   477682 |    27949     37 |      591 |      346
1474.43/1474.95	c 1474s |      19 |   678545 |   478282 |    27949     37 |      591 |      346
1476.63/1477.11	c 1476s |      19 |   679268 |   478882 |    27949     37 |      591 |      346
1478.73/1479.29	c 1479s |      19 |   680030 |   479482 |    27949     37 |      591 |      346
1480.93/1481.42	c 1481s |      19 |   680624 |   479982 |    27949     37 |      591 |      346
1483.13/1483.63	c 1483s |      19 |   681223 |   480482 |    27949     37 |      591 |      346
1485.43/1485.98	c 1485s |      19 |   681935 |   481082 |    27949     37 |      591 |      346
1487.73/1488.29	c 1488s |      19 |   682516 |   481582 |    27949     37 |      591 |      346
1489.93/1490.48	c 1490s |      19 |   683119 |   482082 |    27949     37 |      591 |      346
1492.53/1493.08	c 1492s |      19 |   683831 |   482682 |    27949     37 |      591 |      346
1494.83/1495.39	c 1495s |      19 |   684418 |   483182 |    27949     37 |      591 |      346
1497.23/1497.78	c 1497s |      19 |   684969 |   483682 |    27949     37 |      591 |      346
1499.53/1500.03	c 1499s |      19 |   685555 |   484182 |    27949     37 |      591 |      346
1501.93/1502.45	c 1502s |      19 |   686104 |   484682 |    27949     37 |      591 |      346
1504.03/1504.52	c 1504s |      19 |   686547 |   485082 |    27949     37 |      591 |      346
1506.13/1506.67	c 1506s |      19 |   687012 |   485482 |    27949     37 |      591 |      346
1508.33/1508.90	c 1508s |      19 |   687446 |   485882 |    27949     37 |      591 |      346
1510.43/1510.97	c 1510s |      19 |   687894 |   486282 |    27949     37 |      591 |      346
1512.63/1513.17	c 1512s |      19 |   688336 |   486682 |    27949     37 |      591 |      346
1514.63/1515.19	c 1514s |      19 |   688771 |   487082 |    27949     37 |      591 |      346
1516.93/1517.40	c 1517s |      19 |   689213 |   487482 |    27949     37 |      591 |      346
1518.93/1519.41	c 1519s |      19 |   689664 |   487882 |    27949     37 |      591 |      346
1521.23/1521.73	c 1521s |      19 |   690225 |   488382 |    27949     37 |      591 |      346
1523.53/1524.01	c 1523s |      19 |   690794 |   488882 |    27949     37 |      591 |      346
1525.73/1526.26	c 1525s |      19 |   691270 |   489282 |    27949     38 |      591 |      346
1527.82/1528.33	c 1528s |      19 |   691943 |   489882 |    27949     38 |      591 |      346
1529.92/1530.43	c 1530s |      19 |   692498 |   490382 |    27949     38 |      591 |      346
1532.12/1532.61	c 1532s |      19 |   693193 |   490982 |    27949     38 |      591 |      346
1534.42/1534.95	c 1534s |      19 |   693893 |   491582 |    27949     38 |      591 |      346
1536.52/1537.09	c 1536s |      19 |   694590 |   492182 |    27949     38 |      591 |      346
1538.53/1539.09	c 1538s |      19 |   695296 |   492782 |    27949     38 |      591 |      346
1540.92/1541.44	c 1541s |      19 |   695993 |   493382 |    27949     38 |      591 |      346
1543.12/1543.66	c 1543s |      19 |   696705 |   493982 |    27949     38 |      591 |      346
1545.22/1545.76	c 1545s |      19 |   697260 |   494482 |    27949     38 |      591 |      346
1547.42/1547.97	c 1547s |      19 |   697862 |   494982 |    27949     38 |      591 |      346
1549.62/1550.10	c 1549s |      19 |   698428 |   495482 |    27949     38 |      591 |      346
1551.82/1552.38	c 1552s |      19 |   698976 |   495982 |    27949     38 |      591 |      346
1554.02/1554.58	c 1554s |      19 |   699538 |   496482 |    27949     38 |      591 |      346
1556.52/1557.01	c 1556s |      19 |   700241 |   497082 |    27949     38 |      591 |      346
1558.92/1559.41	c 1559s |      19 |   700815 |   497582 |    27949     38 |      591 |      346
1560.92/1561.45	c 1561s |      19 |   701268 |   497982 |    27949     38 |      591 |      346
1563.32/1563.85	c 1563s |      19 |   701846 |   498482 |    27949     38 |      591 |      346
1565.72/1566.27	c 1565s |      19 |   702424 |   498982 |    27949     38 |      591 |      346
1568.02/1568.56	c 1568s |      19 |   702983 |   499482 |    27949     38 |      591 |      346
1570.12/1570.68	c 1570s |      19 |   703426 |   499882 |    27949     38 |      591 |      346
1572.42/1572.99	c 1572s |      19 |   704005 |   500382 |    27949     38 |      591 |      346
1574.82/1575.31	c 1575s |      19 |   704594 |   500882 |    27949     38 |      591 |      346
1577.31/1577.86	c 1577s |      19 |   705172 |   501382 |    27949     38 |      591 |      346
1579.61/1580.10	c 1579s |      19 |   705622 |   501782 |    27949     38 |      591 |      346
1581.81/1582.38	c 1582s |      19 |   706227 |   502282 |    27949     38 |      591 |      346
1584.11/1584.69	c 1584s |      19 |   706801 |   502782 |    27949     38 |      591 |      346
1586.41/1586.94	c 1586s |      19 |   707254 |   503182 |    27949     38 |      591 |      346
1589.02/1589.51	c 1589s |      19 |   707834 |   503682 |    27949     38 |      591 |      346
1591.01/1591.59	c 1591s |      19 |   708298 |   504082 |    27949     38 |      591 |      346
1593.42/1593.92	c 1593s |      19 |   708639 |   504382 |    27949     39 |      591 |      346
1595.62/1596.13	c 1595s |      19 |   709355 |   504982 |    27949     39 |      591 |      346
1597.82/1598.40	c 1598s |      19 |   710143 |   505682 |    27949     39 |      591 |      346
1599.91/1600.43	c 1600s |      19 |   710857 |   506282 |    27949     39 |      591 |      346
1602.01/1602.55	c 1602s |      19 |   711541 |   506882 |    27949     39 |      591 |      346
1604.01/1604.56	c 1604s |      19 |   712114 |   507382 |    27949     39 |      591 |      346
1606.11/1606.65	c 1606s |      19 |   712822 |   507982 |    27949     39 |      591 |      346
1608.41/1608.94	c 1608s |      19 |   713520 |   508582 |    27949     39 |      591 |      346
1610.61/1611.10	c 1610s |      19 |   714239 |   509182 |    27949     39 |      591 |      346
1613.00/1613.51	c 1613s |      19 |   714974 |   509782 |    27949     39 |      591 |      346
1615.30/1615.80	c 1615s |      19 |   715671 |   510382 |    27949     39 |      591 |      346
1617.71/1618.22	c 1617s |      19 |   716381 |   510982 |    27949     39 |      591 |      346
1619.91/1620.41	c 1620s |      19 |   716971 |   511482 |    27949     39 |      591 |      346
1622.21/1622.78	c 1622s |      19 |   717539 |   511982 |    27949     39 |      591 |      346
1624.51/1625.00	c 1624s |      19 |   717982 |   512382 |    27949     39 |      591 |      346
1626.71/1627.27	c 1626s |      19 |   718574 |   512882 |    27949     39 |      591 |      346
1628.72/1629.27	c 1628s |      19 |   719155 |   513382 |    27949     39 |      591 |      346
1630.92/1631.42	c 1631s |      19 |   719717 |   513882 |    27949     39 |      591 |      346
1632.91/1633.50	c 1633s |      19 |   720309 |   514382 |    27949     39 |      591 |      346
1635.22/1635.79	c 1635s |      19 |   720903 |   514882 |    27949     39 |      591 |      346
1637.31/1637.90	c 1637s |      19 |   721498 |   515382 |    27949     39 |      591 |      346
1639.72/1640.29	c 1640s |      19 |   722084 |   515882 |    27949     39 |      591 |      346
1641.92/1642.45	c 1642s |      19 |   722660 |   516382 |    27949     39 |      591 |      346
1644.12/1644.67	c 1644s |      19 |   723252 |   516882 |    27949     39 |      591 |      346
1646.41/1646.96	c 1646s |      19 |   723819 |   517382 |    27949     39 |      591 |      346
1648.61/1649.15	c 1648s |      19 |   724397 |   517882 |    27949     39 |      591 |      346
1650.91/1651.42	c 1651s |      19 |   724958 |   518382 |    27949     39 |      591 |      346
1653.31/1653.88	c 1653s |      19 |   725553 |   518882 |    27949     39 |      591 |      346
1655.41/1655.93	c 1655s |      19 |   726035 |   519282 |    27949     39 |      591 |      346
1657.51/1658.05	c 1657s |      19 |   726471 |   519682 |    27949     39 |      591 |      346
1659.51/1660.06	c 1659s |      19 |   726844 |   519982 |    27949     40 |      591 |      346
1661.81/1662.39	c 1662s |      19 |   727637 |   520682 |    27949     40 |      591 |      346
1663.81/1664.39	c 1664s |      19 |   728319 |   521282 |    27949     40 |      591 |      346
1666.11/1666.69	c 1666s |      19 |   729021 |   521882 |    27949     40 |      591 |      346
1668.31/1668.89	c 1668s |      19 |   729740 |   522482 |    27949     40 |      591 |      346
1670.41/1670.95	c 1670s |      19 |   730304 |   522982 |    27949     40 |      591 |      346
1672.61/1673.14	c 1672s |      19 |   731014 |   523582 |    27949     40 |      591 |      346
1674.60/1675.18	c 1674s |      19 |   731577 |   524082 |    27949     40 |      591 |      346
1676.80/1677.38	c 1677s |      19 |   732270 |   524682 |    27949     40 |      591 |      346
1678.90/1679.40	c 1679s |      19 |   732849 |   525182 |    27949     40 |      591 |      346
1681.10/1681.67	c 1681s |      19 |   733424 |   525682 |    27949     40 |      591 |      346
1683.30/1683.85	c 1683s |      19 |   733993 |   526182 |    27949     40 |      591 |      346
1685.30/1685.89	c 1685s |      19 |   734550 |   526682 |    27949     40 |      591 |      346
1687.70/1688.21	c 1687s |      19 |   735134 |   527182 |    27949     40 |      591 |      346
1689.90/1690.46	c 1690s |      19 |   735708 |   527682 |    27949     40 |      591 |      346
1692.00/1692.58	c 1692s |      19 |   736263 |   528182 |    27949     40 |      591 |      346
1694.10/1694.60	c 1694s |      19 |   736866 |   528682 |    27949     40 |      591 |      346
1696.10/1696.61	c 1696s |      19 |   737450 |   529182 |    27949     40 |      591 |      346
1698.40/1698.98	c 1698s |      19 |   738023 |   529682 |    27949     40 |      591 |      346
1700.50/1701.08	c 1700s |      19 |   738586 |   530182 |    27949     40 |      591 |      346
1702.60/1703.18	c 1702s |      19 |   739041 |   530582 |    27949     40 |      591 |      346
1704.80/1705.37	c 1705s |      19 |   739609 |   531082 |    27949     40 |      591 |      346
1706.90/1707.46	c 1707s |      19 |   740168 |   531582 |    27949     40 |      591 |      346
1709.20/1709.72	c 1709s |      19 |   740735 |   532082 |    27949     40 |      591 |      346
1711.39/1711.93	c 1711s |      19 |   741202 |   532482 |    27949     40 |      591 |      346
1713.49/1714.03	c 1713s |      19 |   741664 |   532882 |    27949     40 |      591 |      346
1715.99/1716.52	c 1716s |      19 |   742251 |   533382 |    27949     40 |      591 |      346
1717.99/1718.54	c 1718s |      19 |   742720 |   533782 |    27949     40 |      591 |      346
1720.59/1721.10	c 1720s |      19 |   743269 |   534282 |    27949     40 |      591 |      346
1722.89/1723.48	c 1723s |      19 |   743827 |   534782 |    27949     40 |      591 |      346
1725.09/1725.66	c 1725s |      19 |   744288 |   535182 |    27949     40 |      591 |      346
1727.49/1728.09	c 1727s |      19 |   744753 |   535582 |    27949     40 |      591 |      346
1729.69/1730.26	c 1729s |      19 |   745078 |   535882 |    27949     41 |      591 |      346
1731.69/1732.27	c 1731s |      19 |   745520 |   536282 |    27949     41 |      591 |      346
1733.99/1734.53	c 1734s |      19 |   746219 |   536882 |    27949     41 |      591 |      346
1735.99/1736.53	c 1736s |      19 |   746815 |   537382 |    27949     41 |      591 |      346
1738.29/1738.88	c 1738s |      19 |   747647 |   538082 |    27949     41 |      591 |      346
1740.49/1741.07	c 1740s |      19 |   748359 |   538682 |    27949     41 |      591 |      346
1742.79/1743.36	c 1743s |      19 |   749054 |   539282 |    27949     41 |      591 |      346
1744.79/1745.36	c 1745s |      19 |   749630 |   539782 |    27949     41 |      591 |      346
1746.79/1747.37	c 1747s |      19 |   750206 |   540282 |    27949     41 |      591 |      346
1748.79/1749.40	c 1749s |      19 |   750791 |   540782 |    27949     41 |      591 |      346
1751.09/1751.63	c 1751s |      19 |   751361 |   541282 |    27949     41 |      591 |      346
1753.29/1753.85	c 1753s |      19 |   751924 |   541782 |    27949     41 |      591 |      346
1755.39/1755.98	c 1755s |      19 |   752489 |   542282 |    27949     41 |      591 |      346
1757.69/1758.21	c 1757s |      19 |   753053 |   542782 |    27949     41 |      591 |      346
1760.09/1760.66	c 1760s |      19 |   753610 |   543282 |    27949     41 |      591 |      346
1762.39/1762.97	c 1762s |      19 |   754160 |   543782 |    27949     41 |      591 |      346
1764.68/1765.25	c 1764s |      19 |   754721 |   544282 |    27949     41 |      591 |      346
1766.98/1767.53	c 1767s |      19 |   755280 |   544782 |    27949     41 |      591 |      346
1769.28/1769.84	c 1769s |      19 |   755865 |   545282 |    27949     41 |      591 |      346
1771.48/1772.03	c 1771s |      19 |   756432 |   545782 |    27949     41 |      591 |      346
1773.89/1774.50	c 1774s |      19 |   756989 |   546282 |    27949     41 |      591 |      346
1776.09/1776.62	c 1776s |      19 |   757429 |   546682 |    27949     41 |      591 |      346
1778.58/1779.12	c 1778s |      19 |   757988 |   547182 |    27949     41 |      591 |      346
1780.78/1781.34	c 1781s |      19 |   758431 |   547582 |    27949     41 |      591 |      346
1782.98/1783.57	c 1783s |      19 |   758862 |   547982 |    27949     41 |      591 |      346
1785.28/1785.82	c 1785s |      19 |   759431 |   548482 |    27949     41 |      591 |      346
1787.68/1788.28	c 1788s |      19 |   760012 |   548982 |    27949     41 |      591 |      346
1790.08/1790.66	c 1790s |      19 |   760596 |   549482 |    27949     41 |      591 |      346
1792.18/1792.74	c 1792s |      19 |   761064 |   549882 |    27949     41 |      591 |      346
1794.58/1795.17	c 1794s |      19 |   761623 |   550382 |    27949     41 |      591 |      346
1796.98/1797.52	c 1797s |      19 |   762181 |   550882 |    27949     41 |      591 |      346
1798.98/1799.54	c 1799s |      19 |   762520 |   551182 |    27949     42 |      591 |      346

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

pid=23953
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.19 2.25 2.25 3/171 23956
/proc/meminfo: memFree=30338300/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=669116 CPUtime=0 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 2487 0 0 0 0 0 0 0 20 0 4 0 30256661 685174784 2848 33554432000 4194304 16246674 140736080021600 140736080021024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 168047 2857 441 2943 0 164941 0
[pid=23956/tid=23957] ppid=23953 vsize=685500 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 701952000 2911 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=690620 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 707194880 2933 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=694716 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256661 711389184 2949 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100121 s]
/proc/loadavg: 2.19 2.25 2.25 3/171 23956
/proc/meminfo: memFree=30338300/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 28469 0 0 0 5 4 0 0 20 0 4 0 30256661 1249447936 28767 33554432000 4194304 16246674 140736080021600 140736080004592 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 305041 28767 801 2943 0 301935 0
[pid=23956/tid=23957] ppid=23953 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1249447936 28767 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1249447936 28767 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1249447936 28767 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200513 s]
/proc/loadavg: 2.19 2.25 2.25 3/171 23956
/proc/meminfo: memFree=30338300/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 48676 0 0 0 12 7 0 0 20 0 4 0 30256661 1332285440 48974 33554432000 4194304 16246674 140736080021600 140736080004592 12367254 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 325265 48974 842 2943 0 322159 0
[pid=23956/tid=23957] ppid=23953 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1332285440 48974 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1332285440 48974 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1332285440 48974 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300485 s]
/proc/loadavg: 2.19 2.25 2.25 3/171 23956
/proc/meminfo: memFree=30338300/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 54394 0 0 0 20 9 0 0 20 0 4 0 30256661 1332285440 54692 33554432000 4194304 16246674 140736080021600 140736080004592 5602147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 325265 54698 882 2943 0 322159 0
[pid=23956/tid=23957] ppid=23953 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1332285440 54701 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1332285440 54705 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1332285440 54709 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700406 s]
/proc/loadavg: 2.19 2.25 2.25 3/171 23956
/proc/meminfo: memFree=30338300/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 105057 0 0 0 52 17 0 0 20 0 4 0 30256661 1332285440 105355 33554432000 4194304 16246674 140736080021600 140736080004592 5602147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 325265 105359 882 2943 0 322159 0
[pid=23956/tid=23957] ppid=23953 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1332285440 105363 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1332285440 105366 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1332285440 105368 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.19 2.25 2.25 3/183 23973
/proc/meminfo: memFree=29104672/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 216486 0 0 0 115 34 0 0 20 0 4 0 30256661 1332285440 216784 33554432000 4194304 16246674 140736080021600 140736080004600 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 325265 216787 882 2943 0 322159 0
[pid=23956/tid=23957] ppid=23953 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1332285440 216790 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1332285440 216793 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1332285440 216795 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.19 2.25 2.25 3/183 23973
/proc/meminfo: memFree=28365484/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 232787 0 0 0 273 36 0 0 20 0 4 0 30256661 1344868352 233085 33554432000 4194304 16246674 140736080021600 140736080004600 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 328337 233085 890 2943 0 325231 0
[pid=23956/tid=23957] ppid=23953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1344868352 233085 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1344868352 233085 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1344868352 233085 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30042 s]
/proc/loadavg: 2.25 2.26 2.26 4/183 23973
/proc/meminfo: memFree=28364872/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 269528 0 0 0 588 41 0 0 20 0 4 0 30256661 1344868352 269826 33554432000 4194304 16246674 140736080021600 140736080003520 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 328337 269826 891 2943 0 325231 0
[pid=23956/tid=23957] ppid=23953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1344868352 269826 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1344868352 269826 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1344868352 269826 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.23 2.26 2.26 3/183 23973
/proc/meminfo: memFree=28218096/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 269528 0 0 0 1228 41 0 0 20 0 4 0 30256661 1344868352 269826 33554432000 4194304 16246674 140736080021600 140736080003520 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 328337 269826 891 2943 0 325231 0
[pid=23956/tid=23957] ppid=23953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1344868352 269826 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1344868352 269826 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1344868352 269826 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.32 2.28 2.26 3/183 23973
/proc/meminfo: memFree=28177364/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 269529 0 0 0 2507 41 0 0 20 0 4 0 30256661 1344868352 269827 33554432000 4194304 16246674 140736080021600 140736080004592 5600808 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 328337 269827 892 2943 0 325231 0
[pid=23956/tid=23957] ppid=23953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1344868352 269827 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1344868352 269827 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1344868352 269827 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.21 2.25 2.26 3/183 23973
/proc/meminfo: memFree=28176220/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1313348 CPUtime=51.09 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 269530 0 0 0 5067 42 0 0 20 0 4 0 30256661 1344868352 269827 33554432000 4194304 16246674 140736080021600 140736080003520 5723568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 328337 269827 892 2943 0 325231 0
[pid=23956/tid=23957] ppid=23953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1344868352 269827 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1344868352 269827 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1344868352 269827 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.13 2.23 2.25 3/183 23974
/proc/meminfo: memFree=28171972/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1317444 CPUtime=102.27 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 270517 0 0 0 10185 42 0 0 20 0 4 0 30256661 1349062656 270802 33554432000 4194304 16246674 140736080021600 140736080020696 5600512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 329361 270802 892 2943 0 326255 0
[pid=23956/tid=23957] ppid=23953 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1349062656 270802 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1349062656 270802 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1349062656 270802 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1317444


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

/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1333828

[startup+1302.3 s]
/proc/loadavg: 2.25 2.24 2.20 3/183 24004
/proc/meminfo: memFree=28134472/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1333828 CPUtime=1301.86 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 274997 0 0 0 130132 54 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 140736080003520 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 333457 274947 892 2943 0 330351 0
[pid=23956/tid=23957] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1333828

[startup+1362.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/183 24005
/proc/meminfo: memFree=28134392/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1333828 CPUtime=1361.85 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 274997 0 0 0 136130 55 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 140736080003520 5589718 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 333457 274947 892 2943 0 330351 0
[pid=23956/tid=23957] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 2.27 2.25 2.20 3/184 24009
/proc/meminfo: memFree=28133668/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1333828 CPUtime=1421.84 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 274997 0 0 0 142129 55 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 140736080020776 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 333457 274947 892 2943 0 330351 0
[pid=23956/tid=23957] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1333828

[startup+1482.3 s]
/proc/loadavg: 2.19 2.23 2.19 3/183 24010
/proc/meminfo: memFree=28130104/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1333828 CPUtime=1481.83 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 274997 0 0 0 148127 56 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 140736080020776 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 333457 274947 892 2943 0 330351 0
[pid=23956/tid=23957] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1333828

[startup+1542.31 s]
/proc/loadavg: 2.16 2.22 2.18 3/183 24012
/proc/meminfo: memFree=28130516/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1333828 CPUtime=1541.83 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 274997 0 0 0 154127 56 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 140736080003520 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 333457 274947 892 2943 0 330351 0
[pid=23956/tid=23957] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1333828

[startup+1602.3 s]
/proc/loadavg: 2.33 2.25 2.19 3/183 24013
/proc/meminfo: memFree=28130592/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1333828 CPUtime=1601.81 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 274997 0 0 0 160125 56 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 140736080003520 13752941 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 333457 274947 892 2943 0 330351 0
[pid=23956/tid=23957] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1333828

[startup+1662.3 s]
/proc/loadavg: 2.36 2.27 2.20 3/183 24014
/proc/meminfo: memFree=28130468/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1333828 CPUtime=1661.81 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 274997 0 0 0 166124 57 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 140736080003520 5677273 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 333457 274947 892 2943 0 330351 0
[pid=23956/tid=23957] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1333828

[startup+1722.3 s]
/proc/loadavg: 2.27 2.26 2.20 3/183 24015
/proc/meminfo: memFree=28130124/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1333828 CPUtime=1721.79 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 274997 0 0 0 172122 57 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 140736080003520 5711346 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 333457 274947 892 2943 0 330351 0
[pid=23956/tid=23957] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1333828

[startup+1782.3 s]
/proc/loadavg: 2.30 2.27 2.20 3/183 24016
/proc/meminfo: memFree=28129696/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1333828 CPUtime=1781.78 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 274997 0 0 0 178121 57 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 140736080020776 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 333457 274947 892 2943 0 330351 0
[pid=23956/tid=23957] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1333828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.22 2.25 2.19 3/183 24016
/proc/meminfo: memFree=28130068/32872528 swapFree=1541156/1696500
[pid=23956] ppid=23953 vsize=1333828 CPUtime=1800.08 cores=1,3,5,7
/proc/23956/stat : 23956 (toysat) R 23953 23956 23447 0 -1 4202496 274997 0 0 0 179951 57 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 140736080003520 5711624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23956/statm: 333457 274947 892 2943 0 330351 0
[pid=23956/tid=23957] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23957/stat : 23957 (toysat) S 23953 23956 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940211961072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23956/tid=23958] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23958/stat : 23958 (toysat) S 23953 23956 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940201471216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23956/tid=23959] ppid=23953 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23956/task/23959/stat : 23959 (toysat) S 23953 23956 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256661 1365839872 274947 33554432000 4194304 16246674 140736080021600 139940190997680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1333828

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.52
CPU system time (s): 0.578911
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1333828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.578911
maximum resident set size= 1099788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274997
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= 363
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6173 second user time and 6.89295 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 22:16:20
IDJOB=4116053
IDBENCH=109422
IDSOLVER=2542
FILE ID=node125/4116053-1466972179
RUNJOBID= node125-1466966776-23464
PBS_JOBID= 19976375
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= eee44538fa1c3d76891e4cfc331dd536
RANDOM SEED=1911096007

node125.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.021
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.04
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.021
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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.021
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30349400 kB
Buffers:           40788 kB
Cached:            82432 kB
SwapCached:         1736 kB
Active:            62880 kB
Inactive:          63692 kB
Active(anon):       5224 kB
Inactive(anon):      448 kB
Active(file):      57656 kB
Inactive(file):    63244 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             20204 kB
Writeback:             0 kB
AnonPages:       1967436 kB
Mapped:             7240 kB
Shmem:                 0 kB
Slab:             567136 kB
SReclaimable:      11076 kB
SUnreclaim:       556060 kB
KernelStack:        1520 kB
PageTables:         7176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1793724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    423936 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= 71708 MiB
End job on node125 at 2016-06-26 22:46:20