Trace number 4093639

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM6dc14d51c0879b2054c8b72501c6facc
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3600
Total number of constraints170
Number of soft constraints170
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Top cost 7974
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 7973
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
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-16T17:07:44+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","--wbo","--search=bcd2","HOME/instance-4093639-1466089664.wbo"]
0.00/0.01	c use --random-gen="2213047586 1047555159 1593179887 1082475829 2217958285 182866616 1370150266 3752526638 167802250 1174614494 2380589327 1309574685 554831372 2365578200 1603506778 2640168363 248027111 3007471035 2260903033 1645772106 259768541 919277651 3564678780 3425806696 3384908699 3606883556 920022183 2155145992 938587961 840274050 2089624371 2003119353 3603351982 3395792259 950420549 1629074497 3470412497 2659709013 2580222810 213256976 1347524090 749287465 2911896735 1327407239 2339107340 993484878 2829901656 4029405556 2995224602 3280275461 2794825729 1209917999 2533486855 3164330063 3541353018 103432064 3710558647 3353058433 519572002 4285839420 4044949366 2625026212 3417905702 1417365101 2746991377 690714368 311260394 2949059724 1949066552 4150517076 3347708402 3082996541 3432853779 3401037251 2819551376 924698266 3045508650 3713610398 2606848240 3452190301 2989546650 33787301 791870646 750048733 1472662154 85087485 1514932214 3896287996 3752487216 2777081704 4125716634 3740938558 148833361 2318408033 4040436626 1806936554 456610192 2230838632 487661135 2451042080 2620565202 3779800433 1440041227 1514101870 1694244361 268442143 1361742171 2439524133 3409030411 3831888592 2287144092 1731286847 1053013903 3972857121 1429512205 767267107 3054433392 1830008233 3642097798 1132160579 1993579687 1816908646 2039840393 3028530542 3978190849 3893297607 892297723 2936185314 3947958273 4156281983 4212024307 2182047918 515604346 4211847053 514503503 385426039 2473189990 2181095955 2656859947 1853187872 296366221 247677259 2458381241 3084384394 1087049112 3013044899 2624342283 1538494963 526710094 377311903 3926855158 1038871354 3182783639 2312101940 2288220261 2823068278 930826078 2446228161 538615177 700912258 1413286857 1875529471 632536156 3838584074 3677419866 289400476 1722459118 3424604008 1622520544 4032976075 1834187137 3750822443 2852978294 1669360161 3441876771 3983495825 1041847397 896869483 3726250111 1893331178 2948310557 3168187288 943413825 1595210200 2132058449 1797652410 2617295949 385790429 2723463250 2660441682 3841174860 890514540 837468652 1750812279 767750828 3465628237 2841532109 4223219223 3046535299 587121953 1277261728 1778689591 3431848854 1425302525 3796137745 3016718065 1343189433 2412610345 2434434213 3301126638 2260261009 406128102 1551020864 2922955346 2092150925 2667321174 364526815 4039147700 1765498187 989326950 244551338 2549734167 3260367136 2379372690 2989988483 1238049227 1305563633 4078677581 202195392 2116392864 3831535281 218874539 4050553044 1824531615 3727775384 4267019862 1251418900 1089830558 4117685468 3619114496 1934555023 639814565 1035324133 1850463092 3927090811 198697441 413825943 1447876473 3766918089 1696737095 127644985 3969321699 2030772680 3930280088 4112098233 1193960716 255 362436" option to reproduce the execution
0.09/0.17	c #vars 3600
0.09/0.17	c #constraints 170
0.09/0.19	c BCD2: Hardening is enabled.
0.09/0.19	c BCD2: BiasedSearch is enabled.
0.09/0.19	c Solving starts ...
0.09/0.19	c ============================[ Search Statistics ]============================
0.09/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.19	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     1313      0 |        0 |        0
0.19/0.20	c  0.0s |       0 |      250 |        0 |     1313      0 |        0 |        0
0.19/0.20	c #cpu_time = 0.005s
0.19/0.20	c #wall_clock_time = 0.005s
0.19/0.20	c #decision = 250
0.19/0.20	c #random_decision = 0
0.19/0.20	c #conflict = 0
0.19/0.20	c #restart = 0
0.19/0.20	o 3944
0.19/0.20	c BCD2: updating upper bound: 7973 -> 3943
0.19/0.20	c BCD2: 0 <= obj <= 3943
0.19/0.20	c BCD2: #cores=0, #unrelaxed=170, #relaxed=0, #hardened=0
0.19/0.20	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.20	c Solving starts ...
0.19/0.20	c ============================[ Search Statistics ]============================
0.19/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.20	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |     1313      0 |        0 |        0
0.19/0.25	c  0.0s |       1 |      326 |      100 |     1313      0 |        0 |        0
0.29/0.32	c  0.1s |       2 |     1151 |      250 |     1445      0 |        0 |        0
0.49/0.53	c  0.3s |       3 |     2392 |      475 |     1590      0 |        0 |        0
0.79/0.84	c  0.6s |       4 |     4510 |      813 |     1750      0 |        0 |        0
1.20/1.27	c  1.1s |       5 |     6202 |     1320 |     1926      0 |        0 |        0
1.99/2.05	c  1.8s |       6 |     8106 |     2081 |     2331      0 |        0 |        0
3.30/3.31	c  3.1s |       7 |    10393 |     3223 |     2565      0 |        0 |        0
5.29/5.36	c  5.2s |       7 |    13437 |     4923 |     2822      1 |        0 |        0
5.29/5.39	c  5.2s |       8 |    13456 |     4936 |     2822      1 |        0 |        0
7.39/7.46	c  7.3s |       8 |    16936 |     7036 |     2822      2 |        0 |        0
7.99/8.04	c  7.8s |       9 |    17501 |     7506 |     3105      2 |        0 |        0
10.00/10.06	c  9.9s |       9 |    20693 |     9206 |     3105      3 |        0 |        0
12.10/12.16	c 12.0s |       9 |    22437 |    10706 |     3105      4 |        0 |        0
13.20/13.20	c 13.0s |      10 |    23193 |    11361 |     3416      4 |        0 |        0
15.19/15.28	c 15.1s |      10 |    26367 |    12861 |     3416      5 |        0 |        0
17.29/17.34	c 17.1s |      10 |    28048 |    14361 |     3416      5 |        0 |        0
19.39/19.41	c 19.2s |      10 |    29531 |    15661 |     3416      6 |        0 |        0
21.49/21.56	c 21.4s |      10 |    30998 |    16961 |     3416      6 |        0 |        0
21.79/21.82	c 21.6s |      11 |    31222 |    17144 |     3758      6 |        0 |        0
23.88/23.90	c 23.7s |      11 |    33873 |    18644 |     3758      7 |        0 |        0
25.88/25.96	c 25.8s |      11 |    35284 |    19844 |     3758      7 |        0 |        0
27.98/28.08	c 27.9s |      11 |    36232 |    20644 |     3758      8 |        0 |        0
30.18/30.22	c 30.0s |      11 |    37174 |    21444 |     3758      8 |        0 |        0
32.38/32.46	c 32.3s |      11 |    38109 |    22244 |     3758      8 |        0 |        0
34.58/34.61	c 34.4s |      11 |    39040 |    23044 |     3758      8 |        0 |        0
36.68/36.75	c 36.5s |      11 |    39962 |    23844 |     3758      9 |        0 |        0
38.88/38.92	c 38.7s |      11 |    41113 |    24844 |     3758      9 |        0 |        0
40.98/41.09	c 40.9s |      11 |    41984 |    25644 |     3758      9 |        0 |        0
41.58/41.60	c 41.4s |      12 |    42188 |    25819 |     4134      9 |        0 |        0
43.68/43.77	c 43.6s |      12 |    45776 |    27319 |     4134     10 |        0 |        0
45.99/46.01	c 45.8s |      12 |    46902 |    28319 |     4134     10 |        0 |        0
48.08/48.16	c 48.0s |      12 |    48097 |    29319 |     4134     10 |        0 |        0
50.28/50.30	c 50.1s |      12 |    49170 |    30219 |     4134     10 |        0 |        0
52.28/52.39	c 52.2s |      12 |    50194 |    31119 |     4134     11 |        0 |        0
54.48/54.53	c 54.3s |      12 |    51319 |    32019 |     4134     11 |        0 |        0
56.49/56.56	c 56.4s |      12 |    52478 |    33019 |     4134     11 |        0 |        0
58.79/58.81	c 58.6s |      12 |    53493 |    33919 |     4134     11 |        0 |        0
60.88/60.98	c 60.8s |      12 |    54292 |    34619 |     4134     12 |        0 |        0
62.98/63.09	c 62.9s |      12 |    55332 |    35519 |     4134     12 |        0 |        0
65.18/65.23	c 65.0s |      12 |    56356 |    36419 |     4134     12 |        0 |        0
67.28/67.32	c 67.1s |      12 |    57125 |    37119 |     4134     12 |        0 |        0
69.58/69.63	c 69.4s |      12 |    57894 |    37819 |     4134     12 |        0 |        0
71.67/71.74	c 71.5s |      12 |    58693 |    38519 |     4134     13 |        0 |        0
72.59/72.68	c 72.5s |      13 |    59051 |    38832 |     4548     13 |        0 |        0
74.68/74.80	c 74.6s |      13 |    61847 |    40132 |     4548     13 |        0 |        0
76.78/76.85	c 76.6s |      13 |    62998 |    41132 |     4548     14 |        0 |        0
78.98/79.06	c 78.9s |      13 |    64309 |    42332 |     4548     14 |        0 |        0
81.08/81.17	c 81.0s |      13 |    65429 |    43332 |     4548     14 |        0 |        0
83.18/83.29	c 83.1s |      13 |    66285 |    44132 |     4548     14 |        0 |        0
85.28/85.32	c 85.1s |      13 |    67029 |    44832 |     4548     15 |        0 |        0
87.48/87.51	c 87.3s |      13 |    68019 |    45732 |     4548     15 |        0 |        0
89.58/89.62	c 89.4s |      13 |    68888 |    46532 |     4548     15 |        0 |        0
91.58/91.63	c 91.4s |      13 |    69935 |    47432 |     4548     16 |        0 |        0
93.78/93.83	c 93.6s |      13 |    71050 |    48432 |     4548     16 |        0 |        0
95.88/95.98	c 95.8s |      13 |    71919 |    49232 |     4548     16 |        0 |        0
97.99/98.01	c 97.8s |      13 |    72808 |    50032 |     4548     16 |        0 |        0
100.08/100.18	c 100.0s |      13 |    73722 |    50832 |     4548     17 |        0 |        0
102.18/102.27	c  102s |      13 |    74734 |    51732 |     4548     17 |        0 |        0
104.28/104.38	c  104s |      13 |    75741 |    52632 |     4548     17 |        0 |        0
106.38/106.44	c  106s |      13 |    76619 |    53432 |     4548     17 |        0 |        0
108.48/108.57	c  108s |      13 |    77479 |    54232 |     4548     18 |        0 |        0
110.58/110.66	c  110s |      13 |    78502 |    55132 |     4548     18 |        0 |        0
112.67/112.74	c  112s |      13 |    79592 |    56132 |     4548     18 |        0 |        0
114.67/114.76	c  114s |      13 |    80488 |    56932 |     4548     18 |        0 |        0
116.77/116.83	c  116s |      13 |    81361 |    57732 |     4548     19 |        0 |        0
118.27/118.38	c  118s |      14 |    82048 |    58352 |     5003     19 |        0 |        0
120.37/120.49	c  120s |      14 |    84887 |    59852 |     5003     19 |        0 |        0
122.47/122.56	c  122s |      14 |    86231 |    61052 |     5003     20 |        0 |        0
124.57/124.62	c  124s |      14 |    87579 |    62252 |     5003     20 |        0 |        0
126.67/126.76	c  126s |      14 |    88789 |    63352 |     5003     20 |        0 |        0
128.87/128.92	c  128s |      14 |    89896 |    64352 |     5003     20 |        0 |        0
130.98/131.05	c  130s |      14 |    90863 |    65252 |     5003     21 |        0 |        0
133.08/133.18	c  132s |      14 |    91970 |    66252 |     5003     21 |        0 |        0
135.38/135.41	c  135s |      14 |    93046 |    67252 |     5003     21 |        0 |        0
137.48/137.54	c  137s |      14 |    94027 |    68152 |     5003     21 |        0 |        0
139.57/139.62	c  139s |      14 |    95000 |    69052 |     5003     22 |        0 |        0
141.57/141.65	c  141s |      14 |    95997 |    69952 |     5003     22 |        0 |        0
143.77/143.87	c  143s |      14 |    96951 |    70852 |     5003     22 |        0 |        0
146.07/146.10	c  145s |      14 |    97936 |    71752 |     5003     22 |        0 |        0
148.07/148.11	c  147s |      14 |    98807 |    72552 |     5003     23 |        0 |        0
150.07/150.13	c  149s |      14 |    99957 |    73552 |     5003     23 |        0 |        0
152.07/152.16	c  151s |      14 |   100864 |    74352 |     5003     23 |        0 |        0
154.17/154.30	c  154s |      14 |   101777 |    75152 |     5003     23 |        0 |        0
156.37/156.45	c  156s |      14 |   102768 |    76052 |     5003     24 |        0 |        0
158.47/158.53	c  158s |      14 |   103527 |    76752 |     5003     24 |        0 |        0
160.47/160.58	c  160s |      14 |   104378 |    77552 |     5003     24 |        0 |        0
162.57/162.65	c  162s |      14 |   105126 |    78252 |     5003     24 |        0 |        0
164.57/164.65	c  164s |      14 |   105884 |    78952 |     5003     24 |        0 |        0
166.56/166.68	c  166s |      14 |   106872 |    79852 |     5003     25 |        0 |        0
168.86/168.90	c  168s |      14 |   107833 |    80752 |     5003     25 |        0 |        0
170.86/170.92	c  170s |      14 |   108703 |    81552 |     5003     25 |        0 |        0
173.06/173.12	c  172s |      14 |   109684 |    82452 |     5003     25 |        0 |        0
175.06/175.14	c  174s |      14 |   110528 |    83252 |     5003     26 |        0 |        0
177.07/177.17	c  176s |      14 |   111424 |    84052 |     5003     26 |        0 |        0
179.06/179.18	c  178s |      14 |   112326 |    84852 |     5003     26 |        0 |        0
181.26/181.35	c  181s |      14 |   113330 |    85752 |     5003     26 |        0 |        0
183.26/183.36	c  183s |      14 |   114191 |    86552 |     5003     27 |        0 |        0
185.26/185.39	c  185s |      14 |   115160 |    87452 |     5504     27 |        0 |        0
185.76/185.82	c  185s |      15 |   115342 |    87632 |     5504     27 |        0 |        0
187.86/187.99	c  187s |      15 |   119126 |    89232 |     5504     27 |        0 |        0
190.16/190.22	c  190s |      15 |   120841 |    90632 |     5504     27 |        0 |        0
192.47/192.55	c  192s |      15 |   122128 |    91732 |     5504     28 |        0 |        0
194.56/194.65	c  194s |      15 |   123300 |    92732 |     5504     28 |        0 |        0
196.66/196.70	c  196s |      15 |   124348 |    93632 |     5504     28 |        0 |        0
198.76/198.82	c  198s |      15 |   125356 |    94532 |     5504     28 |        0 |        0
200.96/201.00	c  200s |      15 |   126398 |    95432 |     5504     28 |        0 |        0
203.16/203.28	c  203s |      15 |   127297 |    96232 |     5504     29 |        0 |        0
205.36/205.48	c  205s |      15 |   128321 |    97132 |     5504     29 |        0 |        0
207.46/207.57	c  207s |      15 |   129196 |    97932 |     5504     29 |        0 |        0
209.56/209.60	c  209s |      15 |   130161 |    98732 |     5504     29 |        0 |        0
211.65/211.78	c  211s |      15 |   131079 |    99532 |     5504     29 |        0 |        0
213.75/213.85	c  213s |      15 |   132016 |   100332 |     5504     29 |        0 |        0
215.85/215.95	c  215s |      15 |   132815 |   101032 |     5504     30 |        0 |        0
218.05/218.14	c  217s |      15 |   133850 |   101932 |     5504     30 |        0 |        0
220.16/220.26	c  220s |      15 |   134799 |   102732 |     5504     30 |        0 |        0
222.26/222.36	c  222s |      15 |   135853 |   103632 |     5504     30 |        0 |        0
224.36/224.41	c  224s |      15 |   136793 |   104432 |     5504     30 |        0 |        0
226.75/226.84	c  226s |      15 |   137591 |   105132 |     5504     31 |        0 |        0
228.86/228.99	c  228s |      15 |   138892 |   106232 |     5504     31 |        0 |        0
230.96/231.05	c  230s |      15 |   139915 |   107132 |     5504     31 |        0 |        0
233.16/233.25	c  233s |      15 |   140937 |   108032 |     5504     31 |        0 |        0
235.25/235.38	c  235s |      15 |   141858 |   108832 |     5504     31 |        0 |        0
237.36/237.50	c  237s |      15 |   142791 |   109632 |     5504     31 |        0 |        0
239.45/239.56	c  239s |      15 |   143854 |   110532 |     5504     32 |        0 |        0
241.45/241.57	c  241s |      15 |   145048 |   111532 |     5504     32 |        0 |        0
243.55/243.68	c  243s |      15 |   146050 |   112432 |     5504     32 |        0 |        0
245.65/245.76	c  245s |      15 |   146956 |   113232 |     5504     32 |        0 |        0
247.76/247.88	c  247s |      15 |   147888 |   114032 |     5504     32 |        0 |        0
249.85/249.96	c  249s |      15 |   148799 |   114832 |     5504     33 |        0 |        0
251.96/252.04	c  251s |      15 |   149840 |   115732 |     5504     33 |        0 |        0
254.16/254.22	c  254s |      15 |   150893 |   116632 |     5504     33 |        0 |        0
256.36/256.46	c  256s |      15 |   151941 |   117532 |     5504     33 |        0 |        0
258.65/258.72	c  258s |      15 |   152844 |   118332 |     5504     33 |        0 |        0
260.66/260.79	c  260s |      15 |   153672 |   119032 |     5504     34 |        0 |        0
262.86/262.91	c  262s |      15 |   154695 |   119932 |     5504     34 |        0 |        0
264.85/264.95	c  264s |      15 |   155601 |   120732 |     5504     34 |        0 |        0
266.84/266.96	c  266s |      15 |   156485 |   121532 |     5504     34 |        0 |        0
269.04/269.10	c  268s |      15 |   157511 |   122432 |     5504     34 |        0 |        0
271.34/271.40	c  271s |      15 |   158459 |   123232 |     5504     35 |        0 |        0
273.34/273.43	c  273s |      15 |   159508 |   124132 |     5504     35 |        0 |        0
275.44/275.58	c  275s |      15 |   160522 |   125032 |     5504     35 |        0 |        0
277.53/277.66	c  277s |      15 |   161536 |   125932 |     5504     35 |        0 |        0
279.94/280.03	c  279s |      15 |   162434 |   126732 |     5504     35 |        0 |        0
282.04/282.10	c  281s |      15 |   163353 |   127532 |     5504     35 |        0 |        0
284.14/284.23	c  284s |      15 |   164283 |   128332 |     5504     36 |        0 |        0
286.24/286.34	c  286s |      15 |   165331 |   129232 |     5504     36 |        0 |        0
288.24/288.36	c  288s |      15 |   166222 |   130032 |     5504     36 |        0 |        0
290.44/290.54	c  290s |      15 |   167403 |   131032 |     6055     36 |        0 |        0
291.63/291.72	c  291s |      16 |   167970 |   131552 |     6055     36 |        0 |        0
293.64/293.79	c  293s |      16 |   170957 |   132552 |     6055     37 |        0 |        0
295.63/295.80	c  295s |      16 |   172209 |   133652 |     6055     37 |        0 |        0
297.73/297.83	c  297s |      16 |   173455 |   134752 |     6055     37 |        0 |        0
299.72/299.84	c  299s |      16 |   174470 |   135652 |     6055     37 |        0 |        0
301.82/301.95	c  301s |      16 |   175342 |   136452 |     6055     37 |        0 |        0
303.92/304.05	c  303s |      16 |   176120 |   137152 |     6055     38 |        0 |        0
306.13/306.29	c  306s |      16 |   177009 |   137952 |     6055     38 |        0 |        0
308.32/308.47	c  308s |      16 |   177905 |   138752 |     6055     38 |        0 |        0
310.32/310.49	c  310s |      16 |   178805 |   139552 |     6055     38 |        0 |        0
312.43/312.56	c  312s |      16 |   179558 |   140252 |     6055     38 |        0 |        0
314.72/314.88	c  314s |      16 |   180303 |   140952 |     6055     38 |        0 |        0
316.82/316.96	c  316s |      16 |   180844 |   141452 |     6055     39 |        0 |        0
319.11/319.20	c  318s |      16 |   181583 |   142152 |     6055     39 |        0 |        0
321.31/321.43	c  321s |      16 |   182470 |   142952 |     6055     39 |        0 |        0
323.51/323.64	c  323s |      16 |   183212 |   143652 |     6055     39 |        0 |        0
325.71/325.89	c  325s |      16 |   183972 |   144352 |     6055     39 |        0 |        0
328.01/328.18	c  327s |      16 |   184736 |   145052 |     6055     39 |        0 |        0
330.10/330.28	c  330s |      16 |   185516 |   145752 |     6055     40 |        0 |        0
332.21/332.34	c  332s |      16 |   186409 |   146552 |     6055     40 |        0 |        0
334.41/334.57	c  334s |      16 |   187262 |   147352 |     6055     40 |        0 |        0
336.51/336.61	c  336s |      16 |   188035 |   148052 |     6055     40 |        0 |        0
338.50/338.66	c  338s |      16 |   188771 |   148752 |     6055     40 |        0 |        0
340.70/340.80	c  340s |      16 |   189762 |   149652 |     6055     40 |        0 |        0
342.80/342.98	c  342s |      16 |   190523 |   150352 |     6055     41 |        0 |        0
345.00/345.18	c  344s |      16 |   191283 |   151052 |     6055     41 |        0 |        0
347.20/347.36	c  347s |      16 |   192056 |   151752 |     6055     41 |        0 |        0
349.40/349.57	c  349s |      16 |   192806 |   152452 |     6055     41 |        0 |        0
351.50/351.64	c  351s |      16 |   193445 |   153052 |     6055     41 |        0 |        0
353.60/353.77	c  353s |      16 |   194121 |   153652 |     6055     41 |        0 |        0
356.00/356.18	c  355s |      16 |   195086 |   154552 |     6055     42 |        0 |        0
358.19/358.32	c  358s |      16 |   195967 |   155352 |     6055     42 |        0 |        0
360.39/360.50	c  360s |      16 |   196880 |   156152 |     6055     42 |        0 |        0
362.49/362.64	c  362s |      16 |   197641 |   156852 |     6055     42 |        0 |        0
364.69/364.80	c  364s |      16 |   198396 |   157552 |     6055     42 |        0 |        0
366.69/366.88	c  366s |      16 |   199163 |   158252 |     6055     42 |        0 |        0
369.19/369.32	c  369s |      16 |   200040 |   159052 |     6055     43 |        0 |        0
371.39/371.51	c  371s |      16 |   200778 |   159752 |     6055     43 |        0 |        0
373.38/373.53	c  373s |      16 |   201419 |   160352 |     6055     43 |        0 |        0
375.38/375.59	c  375s |      16 |   202049 |   160952 |     6055     43 |        0 |        0
377.48/377.66	c  377s |      16 |   202819 |   161652 |     6055     43 |        0 |        0
379.68/379.84	c  379s |      16 |   203791 |   162552 |     6055     43 |        0 |        0
381.78/381.96	c  381s |      16 |   204583 |   163252 |     6055     43 |        0 |        0
383.99/384.12	c  383s |      16 |   205248 |   163852 |     6055     44 |        0 |        0
386.10/386.28	c  386s |      16 |   206108 |   164652 |     6055     44 |        0 |        0
388.19/388.32	c  388s |      16 |   206854 |   165352 |     6055     44 |        0 |        0
390.28/390.47	c  390s |      16 |   207595 |   166052 |     6055     44 |        0 |        0
392.38/392.54	c  392s |      16 |   208221 |   166652 |     6055     44 |        0 |        0
394.48/394.68	c  394s |      16 |   208842 |   167252 |     6055     44 |        0 |        0
396.48/396.69	c  396s |      16 |   209626 |   167952 |     6055     44 |        0 |        0
398.58/398.73	c  398s |      16 |   210390 |   168652 |     6055     45 |        0 |        0
400.58/400.75	c  400s |      16 |   211160 |   169352 |     6055     45 |        0 |        0
402.68/402.85	c  402s |      16 |   211955 |   170052 |     6055     45 |        0 |        0
404.78/404.93	c  404s |      16 |   212737 |   170752 |     6055     45 |        0 |        0
406.78/406.94	c  406s |      16 |   213406 |   171352 |     6055     45 |        0 |        0
409.08/409.21	c  409s |      16 |   214287 |   172152 |     6055     45 |        0 |        0
411.28/411.41	c  411s |      16 |   214930 |   172752 |     6055     46 |        0 |        0
413.37/413.54	c  413s |      16 |   215813 |   173552 |     6055     46 |        0 |        0
415.37/415.55	c  415s |      16 |   216695 |   174352 |     6055     46 |        0 |        0
417.47/417.64	c  417s |      16 |   217454 |   175052 |     6055     46 |        0 |        0
419.57/419.71	c  419s |      16 |   218088 |   175652 |     6055     46 |        0 |        0
421.87/422.02	c  421s |      16 |   218837 |   176352 |     6055     46 |        0 |        0
423.87/424.07	c  423s |      16 |   219467 |   176952 |     6055     46 |        0 |        0
426.07/426.25	c  426s |      16 |   220005 |   177452 |     6055     47 |        0 |        0
428.16/428.36	c  428s |      16 |   220627 |   178052 |     6055     47 |        0 |        0
430.36/430.53	c  430s |      16 |   221415 |   178752 |     6055     47 |        0 |        0
432.36/432.59	c  432s |      16 |   222425 |   179652 |     6055     47 |        0 |        0
434.66/434.81	c  434s |      16 |   223298 |   180452 |     6055     47 |        0 |        0
436.76/436.95	c  436s |      16 |   224209 |   181252 |     6055     47 |        0 |        0
438.86/439.01	c  438s |      16 |   224859 |   181852 |     6055     48 |        0 |        0
440.96/441.15	c  440s |      16 |   225856 |   182752 |     6055     48 |        0 |        0
443.05/443.29	c  443s |      16 |   226729 |   183552 |     6055     48 |        0 |        0
445.15/445.34	c  445s |      16 |   227628 |   184352 |     6055     48 |        0 |        0
447.25/447.42	c  447s |      16 |   228376 |   185052 |     6055     48 |        0 |        0
449.35/449.56	c  449s |      16 |   229127 |   185752 |     6055     48 |        0 |        0
451.45/451.68	c  451s |      16 |   229790 |   186352 |     6055     49 |        0 |        0
453.55/453.73	c  453s |      16 |   230549 |   187052 |     6055     49 |        0 |        0
455.75/455.99	c  455s |      16 |   231403 |   187852 |     6055     49 |        0 |        0
457.94/458.14	c  457s |      16 |   232295 |   188652 |     6055     49 |        0 |        0
460.04/460.20	c  460s |      16 |   233175 |   189452 |     6055     49 |        0 |        0
462.14/462.32	c  462s |      16 |   234032 |   190252 |     6055     49 |        0 |        0
464.15/464.39	c  464s |      16 |   234788 |   190952 |     6055     50 |        0 |        0
466.35/466.57	c  466s |      16 |   235751 |   191852 |     6055     50 |        0 |        0
468.64/468.80	c  468s |      16 |   236754 |   192752 |     6055     50 |        0 |        0
470.75/470.90	c  470s |      16 |   237602 |   193552 |     6055     50 |        0 |        0
472.74/472.98	c  472s |      16 |   238358 |   194252 |     6055     50 |        0 |        0
475.05/475.23	c  475s |      16 |   239100 |   194952 |     6055     50 |        0 |        0
477.14/477.40	c  477s |      16 |   239762 |   195552 |     6055     51 |        0 |        0
479.24/479.44	c  479s |      16 |   240519 |   196252 |     6661     51 |        0 |        0
481.34/481.58	c  481s |      16 |   241384 |   197052 |     6661     51 |        0 |        0
482.44/482.67	c  482s |      17 |   241788 |   197432 |     6661     51 |        0 |        0
484.54/484.78	c  484s |      17 |   244664 |   198532 |     6661     52 |        0 |        0
486.74/486.92	c  486s |      17 |   246094 |   199732 |     6661     52 |        0 |        0
488.83/489.05	c  488s |      17 |   247227 |   200732 |     6661     52 |        0 |        0
491.03/491.21	c  491s |      17 |   248224 |   201632 |     6661     52 |        0 |        0
493.13/493.31	c  493s |      17 |   249233 |   202532 |     6661     52 |        0 |        0
495.23/495.49	c  495s |      17 |   249996 |   203232 |     6661     53 |        0 |        0
497.43/497.64	c  497s |      17 |   250877 |   204032 |     6661     53 |        0 |        0
499.72/499.93	c  499s |      17 |   251742 |   204832 |     6661     53 |        0 |        0
501.92/502.13	c  501s |      17 |   252835 |   205732 |     6661     53 |        0 |        0
504.12/504.37	c  504s |      17 |   253755 |   206532 |     6661     53 |        0 |        0
506.32/506.59	c  506s |      17 |   254521 |   207232 |     6661     53 |        0 |        0
508.42/508.62	c  508s |      17 |   255190 |   207832 |     6661     54 |        0 |        0
510.42/510.68	c  510s |      17 |   256072 |   208632 |     6661     54 |        0 |        0
512.72/512.91	c  512s |      17 |   256947 |   209432 |     6661     54 |        0 |        0
514.82/515.08	c  514s |      17 |   257740 |   210132 |     6661     54 |        0 |        0
517.01/517.28	c  517s |      17 |   258608 |   210932 |     6661     54 |        0 |        0
519.31/519.55	c  519s |      17 |   259493 |   211732 |     6661     54 |        0 |        0
521.51/521.72	c  521s |      17 |   260368 |   212532 |     6661     55 |        0 |        0
523.71/523.93	c  523s |      17 |   261258 |   213332 |     6661     55 |        0 |        0
525.81/526.01	c  525s |      17 |   262144 |   214132 |     6661     55 |        0 |        0
528.00/528.25	c  528s |      17 |   263037 |   214932 |     6661     55 |        0 |        0
530.20/530.42	c  530s |      17 |   263826 |   215632 |     6661     55 |        0 |        0
532.31/532.51	c  532s |      17 |   264473 |   216232 |     6661     56 |        0 |        0
534.41/534.69	c  534s |      17 |   265356 |   217032 |     6661     56 |        0 |        0
536.50/536.75	c  536s |      17 |   266236 |   217832 |     6661     56 |        0 |        0
538.60/538.83	c  538s |      17 |   267103 |   218632 |     6661     56 |        0 |        0
540.60/540.86	c  540s |      17 |   267873 |   219332 |     6661     56 |        0 |        0
542.90/543.11	c  542s |      17 |   268727 |   220132 |     6661     56 |        0 |        0
545.10/545.32	c  545s |      17 |   269481 |   220832 |     6661     57 |        0 |        0
547.19/547.46	c  547s |      17 |   270364 |   221632 |     6661     57 |        0 |        0
549.29/549.52	c  549s |      17 |   271111 |   222332 |     6661     57 |        0 |        0
551.49/551.78	c  551s |      17 |   271859 |   223032 |     6661     57 |        0 |        0
553.59/553.82	c  553s |      17 |   272604 |   223732 |     6661     57 |        0 |        0
555.69/555.93	c  555s |      17 |   273333 |   224432 |     6661     57 |        0 |        0
557.69/557.97	c  557s |      17 |   273985 |   225032 |     6661     58 |        0 |        0
559.79/560.08	c  559s |      17 |   274867 |   225832 |     6661     58 |        0 |        0
562.08/562.30	c  562s |      17 |   275753 |   226632 |     6661     58 |        0 |        0
564.28/564.58	c  564s |      17 |   276614 |   227432 |     6661     58 |        0 |        0
566.58/566.89	c  566s |      17 |   277458 |   228232 |     6661     58 |        0 |        0
568.88/569.11	c  568s |      17 |   278198 |   228932 |     6661     58 |        0 |        0
571.08/571.36	c  571s |      17 |   278864 |   229532 |     6661     59 |        0 |        0
573.08/573.37	c  573s |      17 |   279782 |   230332 |     6661     59 |        0 |        0
575.28/575.58	c  575s |      17 |   280675 |   231132 |     6661     59 |        0 |        0
577.57/577.82	c  577s |      17 |   281571 |   231932 |     6661     59 |        0 |        0
579.67/579.99	c  579s |      17 |   282310 |   232632 |     6661     59 |        0 |        0
581.78/582.01	c  581s |      17 |   282955 |   233232 |     6661     59 |        0 |        0
584.27/584.57	c  584s |      17 |   283756 |   233932 |     6661     60 |        0 |        0
586.47/586.74	c  586s |      17 |   284618 |   234732 |     6661     60 |        0 |        0
588.66/588.96	c  588s |      17 |   285491 |   235532 |     6661     60 |        0 |        0
590.86/591.17	c  590s |      17 |   286247 |   236232 |     6661     60 |        0 |        0
592.96/593.23	c  593s |      17 |   286891 |   236832 |     6661     60 |        0 |        0
595.06/595.37	c  595s |      17 |   287652 |   237532 |     6661     60 |        0 |        0
597.46/597.72	c  597s |      17 |   288409 |   238232 |     6661     60 |        0 |        0
599.65/599.93	c  599s |      17 |   289047 |   238832 |     6661     61 |        0 |        0
601.75/602.02	c  601s |      17 |   289703 |   239432 |     6661     61 |        0 |        0
603.85/604.10	c  603s |      17 |   290562 |   240232 |     6661     61 |        0 |        0
605.86/606.12	c  605s |      17 |   291307 |   240932 |     6661     61 |        0 |        0
607.95/608.29	c  608s |      17 |   292104 |   241632 |     6661     61 |        0 |        0
610.26/610.59	c  610s |      17 |   292853 |   242332 |     6661     61 |        0 |        0
612.55/612.82	c  612s |      17 |   293481 |   242932 |     6661     62 |        0 |        0
614.75/615.04	c  614s |      17 |   294215 |   243632 |     6661     62 |        0 |        0
616.86/617.14	c  616s |      17 |   294845 |   244232 |     6661     62 |        0 |        0
618.95/619.30	c  619s |      17 |   295384 |   244732 |     6661     62 |        0 |        0
621.15/621.44	c  621s |      17 |   295927 |   245232 |     6661     62 |        0 |        0
623.15/623.47	c  623s |      17 |   296463 |   245732 |     6661     62 |        0 |        0
625.35/625.68	c  625s |      17 |   296998 |   246232 |     6661     62 |        0 |        0
627.65/627.95	c  627s |      17 |   297670 |   246832 |     6661     62 |        0 |        0
629.85/630.12	c  629s |      17 |   298328 |   247432 |     6661     63 |        0 |        0
632.05/632.37	c  632s |      17 |   299209 |   248232 |     6661     63 |        0 |        0
634.15/634.49	c  634s |      17 |   299984 |   248932 |     6661     63 |        0 |        0
636.35/636.67	c  636s |      17 |   300719 |   249632 |     6661     63 |        0 |        0
638.54/638.83	c  638s |      17 |   301369 |   250232 |     6661     63 |        0 |        0
640.54/640.84	c  640s |      17 |   301972 |   250732 |     6661     63 |        0 |        0
642.54/642.84	c  642s |      17 |   302712 |   251332 |     6661     63 |        0 |        0
644.54/644.86	c  644s |      17 |   303227 |   251732 |     6661     64 |        0 |        0
646.64/646.98	c  646s |      17 |   304205 |   252432 |     6661     64 |        0 |        0
648.84/649.17	c  648s |      17 |   305009 |   253132 |     6661     64 |        0 |        0
651.04/651.38	c  651s |      17 |   305798 |   253832 |     6661     64 |        0 |        0
653.03/653.39	c  653s |      17 |   306587 |   254532 |     6661     64 |        0 |        0
655.13/655.43	c  655s |      17 |   307237 |   255132 |     6661     64 |        0 |        0
657.22/657.51	c  657s |      17 |   307936 |   255732 |     6661     64 |        0 |        0
659.22/659.53	c  659s |      17 |   308498 |   256232 |     6661     65 |        0 |        0
661.42/661.79	c  661s |      17 |   309419 |   257032 |     6661     65 |        0 |        0
663.62/663.96	c  663s |      17 |   310229 |   257732 |     6661     65 |        0 |        0
665.82/666.12	c  665s |      17 |   311016 |   258432 |     6661     65 |        0 |        0
667.92/668.24	c  668s |      17 |   311811 |   259132 |     6661     65 |        0 |        0
670.02/670.33	c  670s |      17 |   312474 |   259732 |     6661     65 |        0 |        0
672.62/672.90	c  672s |      17 |   313253 |   260432 |     6661     66 |        0 |        0
674.62/674.95	c  674s |      17 |   314049 |   261132 |     6661     66 |        0 |        0
676.72/677.02	c  676s |      17 |   314827 |   261832 |     6661     66 |        0 |        0
678.71/679.08	c  678s |      17 |   315733 |   262632 |     6661     66 |        0 |        0
681.11/681.40	c  681s |      17 |   316638 |   263432 |     6661     66 |        0 |        0
683.31/683.70	c  683s |      17 |   317415 |   264132 |     6661     66 |        0 |        0
685.41/685.72	c  685s |      17 |   318088 |   264732 |     6661     66 |        0 |        0
687.71/688.06	c  687s |      17 |   318774 |   265332 |     6661     67 |        0 |        0
689.91/690.22	c  690s |      17 |   319672 |   266132 |     6661     67 |        0 |        0
691.91/692.29	c  692s |      17 |   320490 |   266832 |     6661     67 |        0 |        0
694.11/694.48	c  694s |      17 |   321270 |   267532 |     6661     67 |        0 |        0
696.31/696.65	c  696s |      17 |   322062 |   268232 |     6661     67 |        0 |        0
698.50/698.83	c  698s |      17 |   322860 |   268932 |     6661     67 |        0 |        0
700.60/700.99	c  700s |      17 |   323521 |   269532 |     6661     68 |        0 |        0
702.71/703.07	c  702s |      17 |   324347 |   270232 |     6661     68 |        0 |        0
705.00/705.34	c  705s |      17 |   325270 |   271032 |     6661     68 |        0 |        0
707.00/707.34	c  707s |      17 |   326057 |   271732 |     6661     68 |        0 |        0
709.20/709.52	c  709s |      17 |   326848 |   272432 |     6661     68 |        0 |        0
711.50/711.81	c  711s |      17 |   327660 |   273132 |     6661     68 |        0 |        0
713.70/714.08	c  713s |      17 |   328358 |   273732 |     6661     69 |        0 |        0
716.00/716.33	c  716s |      17 |   329412 |   274632 |     6661     69 |        0 |        0
718.30/718.64	c  718s |      17 |   330309 |   275432 |     6661     69 |        0 |        0
720.30/720.66	c  720s |      17 |   331036 |   276032 |     6661     69 |        0 |        0
722.70/723.02	c  722s |      17 |   331821 |   276732 |     6661     69 |        0 |        0
724.80/725.19	c  724s |      17 |   332602 |   277432 |     6661     69 |        0 |        0
726.90/727.26	c  727s |      17 |   333329 |   278032 |     6661     69 |        0 |        0
729.10/729.44	c  729s |      17 |   333989 |   278632 |     6661     70 |        0 |        0
731.09/731.50	c  731s |      17 |   334638 |   279232 |     6661     70 |        0 |        0
733.29/733.64	c  733s |      17 |   335465 |   279932 |     6661     70 |        0 |        0
735.39/735.71	c  735s |      17 |   336278 |   280632 |     6661     70 |        0 |        0
737.48/737.84	c  737s |      17 |   337039 |   281332 |     6661     70 |        0 |        0
739.58/739.94	c  739s |      17 |   337704 |   281932 |     6661     70 |        0 |        0
741.68/742.00	c  741s |      17 |   338258 |   282432 |     6661     70 |        0 |        0
743.78/744.16	c  743s |      17 |   338784 |   282932 |     6661     71 |        0 |        0
745.78/746.19	c  745s |      17 |   339442 |   283532 |     6661     71 |        0 |        0
748.08/748.41	c  748s |      17 |   340330 |   284332 |     6661     71 |        0 |        0
750.18/750.54	c  750s |      17 |   340985 |   284932 |     6661     71 |        0 |        0
752.37/752.79	c  752s |      17 |   341818 |   285632 |     6661     71 |        0 |        0
754.47/754.80	c  754s |      17 |   342505 |   286232 |     6661     71 |        0 |        0
756.48/756.83	c  756s |      17 |   343152 |   286832 |     6661     71 |        0 |        0
758.67/759.08	c  758s |      17 |   343789 |   287432 |     6661     72 |        0 |        0
760.87/761.29	c  761s |      17 |   344567 |   288132 |     6661     72 |        0 |        0
763.17/763.57	c  763s |      17 |   345219 |   288732 |     6661     72 |        0 |        0
765.37/765.71	c  765s |      17 |   345765 |   289232 |     6661     72 |        0 |        0
767.66/768.02	c  767s |      17 |   346528 |   289932 |     6661     72 |        0 |        0
769.86/770.26	c  770s |      17 |   347332 |   290632 |     6661     72 |        0 |        0
772.16/772.52	c  772s |      17 |   348016 |   291232 |     6661     72 |        0 |        0
774.26/774.64	c  774s |      17 |   348689 |   291832 |     6661     73 |        0 |        0
776.47/776.81	c  776s |      17 |   349453 |   292532 |     6661     73 |        0 |        0
778.66/779.03	c  778s |      17 |   350234 |   293232 |     6661     73 |        0 |        0
780.76/781.11	c  780s |      17 |   350891 |   293832 |     6661     73 |        0 |        0
783.06/783.43	c  783s |      17 |   351572 |   294432 |     7328     73 |        0 |        0
785.26/785.65	c  785s |      17 |   352243 |   295032 |     7328     73 |        0 |        0
787.55/787.96	c  787s |      17 |   353007 |   295732 |     7328     73 |        0 |        0
789.05/789.47	c  789s |      18 |   353576 |   296252 |     7328     73 |        0 |        0
791.15/791.51	c  791s |      18 |   356335 |   296952 |     7328     74 |        0 |        0
793.25/793.66	c  793s |      18 |   357803 |   298252 |     7328     74 |        0 |        0
795.25/795.68	c  795s |      18 |   358917 |   299252 |     7328     74 |        0 |        0
797.34/797.77	c  797s |      18 |   360032 |   300252 |     7328     74 |        0 |        0
799.64/800.08	c  799s |      18 |   361291 |   301352 |     7328     75 |        0 |        0
801.74/802.14	c  801s |      18 |   362540 |   302452 |     7328     75 |        0 |        0
803.94/804.30	c  804s |      18 |   363573 |   303352 |     7328     75 |        0 |        0
806.05/806.49	c  806s |      18 |   364580 |   304252 |     7328     75 |        0 |        0
808.04/808.49	c  808s |      18 |   365347 |   304952 |     7328     75 |        0 |        0
810.24/810.66	c  810s |      18 |   366013 |   305552 |     7328     75 |        0 |        0
813.04/813.40	c  813s |      18 |   366663 |   306152 |     7328     76 |        0 |        0
815.04/815.45	c  815s |      18 |   367436 |   306852 |     7328     76 |        0 |        0
817.23/817.63	c  817s |      18 |   368205 |   307552 |     7328     76 |        0 |        0
819.33/819.72	c  819s |      18 |   368852 |   308152 |     7328     76 |        0 |        0
821.44/821.84	c  821s |      18 |   369708 |   308952 |     7328     76 |        0 |        0
823.53/823.95	c  823s |      18 |   370704 |   309752 |     7328     76 |        0 |        0
825.63/826.10	c  825s |      18 |   371677 |   310552 |     7328     76 |        0 |        0
827.93/828.32	c  828s |      18 |   372737 |   311352 |     7328     77 |        0 |        0
829.92/830.38	c  830s |      18 |   373921 |   312352 |     7328     77 |        0 |        0
832.02/832.44	c  832s |      18 |   374935 |   313252 |     7328     77 |        0 |        0
834.12/834.52	c  834s |      18 |   375846 |   314052 |     7328     77 |        0 |        0
836.32/836.79	c  836s |      18 |   376739 |   314852 |     7328     77 |        0 |        0
838.41/838.80	c  838s |      18 |   377511 |   315552 |     7328     77 |        0 |        0
840.41/840.83	c  840s |      18 |   378188 |   316152 |     7328     78 |        0 |        0
842.41/842.84	c  842s |      18 |   379080 |   316952 |     7328     78 |        0 |        0
844.42/844.85	c  844s |      18 |   379863 |   317652 |     7328     78 |        0 |        0
846.51/846.95	c  846s |      18 |   380683 |   318352 |     7328     78 |        0 |        0
848.71/849.14	c  848s |      18 |   381558 |   319152 |     7328     78 |        0 |        0
850.91/851.38	c  851s |      18 |   382447 |   319952 |     7328     78 |        0 |        0
853.11/853.50	c  853s |      18 |   383113 |   320552 |     7328     79 |        0 |        0
855.41/855.87	c  855s |      18 |   384147 |   321452 |     7328     79 |        0 |        0
857.71/858.13	c  857s |      18 |   385148 |   322352 |     7328     79 |        0 |        0
859.81/860.25	c  860s |      18 |   385941 |   323052 |     7328     79 |        0 |        0
861.80/862.27	c  862s |      18 |   386603 |   323652 |     7328     79 |        0 |        0
863.90/864.35	c  864s |      18 |   387245 |   324252 |     7328     79 |        0 |        0
865.90/866.39	c  866s |      18 |   387901 |   324852 |     7328     79 |        0 |        0
868.10/868.53	c  868s |      18 |   388711 |   325552 |     7328     80 |        0 |        0
870.30/870.70	c  870s |      18 |   389747 |   326452 |     7328     80 |        0 |        0
872.40/872.84	c  872s |      18 |   390629 |   327252 |     7328     80 |        0 |        0
874.50/874.91	c  874s |      18 |   391454 |   327952 |     7328     80 |        0 |        0
876.70/877.19	c  876s |      18 |   392352 |   328752 |     7328     80 |        0 |        0
878.79/879.20	c  878s |      18 |   393131 |   329452 |     7328     80 |        0 |        0
881.09/881.57	c  881s |      18 |   394011 |   330252 |     7328     81 |        0 |        0
883.29/883.75	c  883s |      18 |   394892 |   331052 |     7328     81 |        0 |        0
885.39/885.80	c  885s |      18 |   395666 |   331752 |     7328     81 |        0 |        0
887.39/887.82	c  887s |      18 |   396588 |   332552 |     7328     81 |        0 |        0
889.59/890.01	c  889s |      18 |   397476 |   333352 |     7328     81 |        0 |        0
891.79/892.23	c  892s |      18 |   398357 |   334152 |     7328     81 |        0 |        0
893.89/894.31	c  894s |      18 |   399163 |   334852 |     7328     82 |        0 |        0
896.19/896.61	c  896s |      18 |   400035 |   335652 |     7328     82 |        0 |        0
898.19/898.62	c  898s |      18 |   400818 |   336352 |     7328     82 |        0 |        0
900.29/900.74	c  900s |      18 |   401611 |   337052 |     7328     82 |        0 |        0
902.39/902.87	c  902s |      18 |   402418 |   337752 |     7328     82 |        0 |        0
904.49/904.97	c  904s |      18 |   403073 |   338352 |     7328     82 |        0 |        0
906.59/907.02	c  906s |      18 |   403745 |   338952 |     7328     82 |        0 |        0
909.08/909.52	c  909s |      18 |   404444 |   339552 |     7328     83 |        0 |        0
911.18/911.61	c  911s |      18 |   405133 |   340152 |     7328     83 |        0 |        0
913.28/913.72	c  913s |      18 |   405784 |   340752 |     7328     83 |        0 |        0
915.28/915.75	c  915s |      18 |   406479 |   341352 |     7328     83 |        0 |        0
917.37/917.89	c  917s |      18 |   407140 |   341952 |     7328     83 |        0 |        0
919.57/920.03	c  919s |      18 |   407806 |   342552 |     7328     83 |        0 |        0
921.67/922.15	c  921s |      18 |   408348 |   343052 |     7328     83 |        0 |        0
923.68/924.19	c  923s |      18 |   408894 |   343552 |     7328     83 |        0 |        0
925.88/926.38	c  926s |      18 |   409438 |   344052 |     7328     83 |        0 |        0
928.27/928.72	c  928s |      18 |   409981 |   344552 |     7328     84 |        0 |        0
930.37/930.87	c  930s |      18 |   411023 |   345452 |     7328     84 |        0 |        0
932.47/932.92	c  932s |      18 |   412153 |   346452 |     7328     84 |        0 |        0
934.47/934.95	c  934s |      18 |   413172 |   347352 |     7328     84 |        0 |        0
936.77/937.22	c  937s |      18 |   414057 |   348152 |     7328     84 |        0 |        0
938.97/939.48	c  939s |      18 |   414842 |   348852 |     7328     84 |        0 |        0
941.07/941.57	c  941s |      18 |   415530 |   349452 |     7328     85 |        0 |        0
943.27/943.79	c  943s |      18 |   416408 |   350252 |     7328     85 |        0 |        0
945.36/945.83	c  945s |      18 |   417196 |   350952 |     7328     85 |        0 |        0
947.66/948.11	c  947s |      18 |   417885 |   351552 |     7328     85 |        0 |        0
949.67/950.11	c  949s |      18 |   418657 |   352252 |     7328     85 |        0 |        0
951.67/952.12	c  951s |      18 |   419330 |   352852 |     7328     85 |        0 |        0
953.77/954.21	c  954s |      18 |   419988 |   353452 |     7328     85 |        0 |        0
955.97/956.40	c  956s |      18 |   420532 |   353952 |     7328     86 |        0 |        0
958.07/958.51	c  958s |      18 |   421204 |   354552 |     7328     86 |        0 |        0
960.27/960.77	c  960s |      18 |   421999 |   355252 |     7328     86 |        0 |        0
962.47/962.97	c  962s |      18 |   422704 |   355852 |     7328     86 |        0 |        0
964.67/965.10	c  964s |      18 |   423366 |   356452 |     7328     86 |        0 |        0
966.77/967.22	c  967s |      18 |   423917 |   356952 |     7328     86 |        0 |        0
968.78/969.25	c  969s |      18 |   424451 |   357452 |     7328     86 |        0 |        0
971.07/971.55	c  971s |      18 |   425112 |   358052 |     7328     86 |        0 |        0
973.37/973.85	c  973s |      18 |   425637 |   358552 |     7328     86 |        0 |        0
975.67/976.11	c  975s |      18 |   426198 |   359052 |     7328     87 |        0 |        0
977.67/978.13	c  977s |      18 |   426983 |   359752 |     7328     87 |        0 |        0
979.87/980.37	c  980s |      18 |   427738 |   360452 |     7328     87 |        0 |        0
982.07/982.51	c  982s |      18 |   428423 |   361052 |     7328     87 |        0 |        0
984.07/984.52	c  984s |      18 |   428962 |   361552 |     7328     87 |        0 |        0
986.27/986.74	c  986s |      18 |   429512 |   362052 |     7328     87 |        0 |        0
988.36/988.87	c  988s |      18 |   430209 |   362652 |     7328     87 |        0 |        0
990.36/990.88	c  990s |      18 |   431114 |   363452 |     7328     88 |        0 |        0
992.56/993.05	c  992s |      18 |   432231 |   364452 |     7328     88 |        0 |        0
994.76/995.22	c  995s |      18 |   433454 |   365552 |     7328     88 |        0 |        0
996.86/997.34	c  997s |      18 |   434477 |   366452 |     7328     88 |        0 |        0
999.06/999.51	c  999s |      18 |   435390 |   367252 |     7328     88 |        0 |        0
1001.06/1001.54	c 1001s |      18 |   436159 |   367952 |     7328     88 |        0 |        0
1003.26/1003.79	c 1003s |      18 |   436930 |   368652 |     7328     89 |        0 |        0
1005.46/1005.98	c 1005s |      18 |   437819 |   369452 |     7328     89 |        0 |        0
1007.56/1008.02	c 1007s |      18 |   438578 |   370152 |     7328     89 |        0 |        0
1009.66/1010.15	c 1009s |      18 |   439376 |   370852 |     7328     89 |        0 |        0
1011.76/1012.23	c 1012s |      18 |   440268 |   371652 |     7328     89 |        0 |        0
1013.87/1014.32	c 1014s |      18 |   441155 |   372452 |     7328     89 |        0 |        0
1015.86/1016.36	c 1016s |      18 |   441928 |   373152 |     7328     90 |        0 |        0
1018.06/1018.60	c 1018s |      18 |   442883 |   374052 |     7328     90 |        0 |        0
1020.26/1020.77	c 1020s |      18 |   443766 |   374852 |     7328     90 |        0 |        0
1022.46/1022.91	c 1022s |      18 |   444621 |   375652 |     7328     90 |        0 |        0
1024.46/1024.93	c 1024s |      18 |   445379 |   376352 |     7328     90 |        0 |        0
1026.76/1027.22	c 1027s |      18 |   446269 |   377152 |     7328     90 |        0 |        0
1028.96/1029.49	c 1029s |      18 |   446913 |   377752 |     7328     91 |        0 |        0
1031.06/1031.50	c 1031s |      18 |   447801 |   378552 |     7328     91 |        0 |        0
1033.26/1033.73	c 1033s |      18 |   448694 |   379352 |     7328     91 |        0 |        0
1035.45/1035.99	c 1035s |      18 |   449569 |   380152 |     7328     91 |        0 |        0
1037.75/1038.25	c 1038s |      18 |   450326 |   380852 |     7328     91 |        0 |        0
1040.05/1040.52	c 1040s |      18 |   451118 |   381552 |     7328     91 |        0 |        0
1042.36/1042.85	c 1042s |      18 |   451919 |   382252 |     7328     91 |        0 |        0
1044.56/1045.06	c 1044s |      18 |   452835 |   383052 |     7328     92 |        0 |        0
1046.65/1047.14	c 1046s |      18 |   453960 |   384052 |     7328     92 |        0 |        0
1048.65/1049.16	c 1048s |      18 |   454776 |   384752 |     7328     92 |        0 |        0
1050.75/1051.28	c 1051s |      18 |   455544 |   385452 |     7328     92 |        0 |        0
1052.75/1053.29	c 1053s |      18 |   456312 |   386152 |     7328     92 |        0 |        0
1054.85/1055.38	c 1055s |      18 |   457109 |   386852 |     7328     92 |        0 |        0
1056.95/1057.45	c 1057s |      18 |   457810 |   387452 |     7328     93 |        0 |        0
1059.15/1059.64	c 1059s |      18 |   458712 |   388252 |     7328     93 |        0 |        0
1061.15/1061.69	c 1061s |      18 |   459487 |   388952 |     7328     93 |        0 |        0
1063.35/1063.82	c 1063s |      18 |   460380 |   389752 |     7328     93 |        0 |        0
1065.35/1065.90	c 1065s |      18 |   461378 |   390652 |     7328     93 |        0 |        0
1067.55/1068.09	c 1067s |      18 |   462410 |   391552 |     7328     93 |        0 |        0
1069.85/1070.34	c 1070s |      18 |   463079 |   392152 |     7328     94 |        0 |        0
1072.06/1072.57	c 1072s |      18 |   464071 |   393052 |     7328     94 |        0 |        0
1074.15/1074.68	c 1074s |      18 |   464944 |   393852 |     7328     94 |        0 |        0
1076.35/1076.80	c 1076s |      18 |   465842 |   394652 |     7328     94 |        0 |        0
1078.45/1078.95	c 1078s |      18 |   466599 |   395352 |     7328     94 |        0 |        0
1080.55/1081.02	c 1080s |      18 |   467259 |   395952 |     7328     94 |        0 |        0
1082.85/1083.34	c 1083s |      18 |   468091 |   396652 |     7328     95 |        0 |        0
1085.05/1085.52	c 1085s |      18 |   468974 |   397452 |     7328     95 |        0 |        0
1087.25/1087.76	c 1087s |      18 |   469984 |   398352 |     7328     95 |        0 |        0
1089.35/1089.81	c 1089s |      18 |   470862 |   399152 |     7328     95 |        0 |        0
1091.45/1091.93	c 1091s |      18 |   471744 |   399952 |     7328     95 |        0 |        0
1093.65/1094.15	c 1093s |      18 |   472647 |   400752 |     7328     95 |        0 |        0
1095.85/1096.38	c 1096s |      18 |   473421 |   401452 |     7328     96 |        0 |        0
1098.05/1098.55	c 1098s |      18 |   474186 |   402152 |     7328     96 |        0 |        0
1100.15/1100.60	c 1100s |      18 |   475327 |   403152 |     7328     96 |        0 |        0
1102.15/1102.65	c 1102s |      18 |   476325 |   404052 |     7328     96 |        0 |        0
1104.35/1104.88	c 1104s |      18 |   477320 |   404952 |     7328     96 |        0 |        0
1106.45/1106.97	c 1106s |      18 |   478203 |   405752 |     7328     96 |        0 |        0
1108.55/1109.04	c 1108s |      18 |   478885 |   406352 |     7328     97 |        0 |        0
1110.55/1111.10	c 1110s |      18 |   479790 |   407152 |     7328     97 |        0 |        0
1112.85/1113.33	c 1113s |      18 |   480781 |   408052 |     7328     97 |        0 |        0
1115.14/1115.66	c 1115s |      18 |   481659 |   408852 |     7328     97 |        0 |        0
1117.25/1117.73	c 1117s |      18 |   482673 |   409752 |     7328     97 |        0 |        0
1119.35/1119.86	c 1119s |      18 |   483559 |   410552 |     7328     97 |        0 |        0
1121.44/1121.90	c 1121s |      18 |   484256 |   411152 |     7328     98 |        0 |        0
1123.54/1124.05	c 1123s |      18 |   485228 |   412052 |     7328     98 |        0 |        0
1125.64/1126.12	c 1125s |      18 |   486012 |   412752 |     7328     98 |        0 |        0
1127.84/1128.32	c 1128s |      18 |   486876 |   413552 |     7328     98 |        0 |        0
1129.94/1130.47	c 1130s |      18 |   487634 |   414252 |     7328     98 |        0 |        0
1132.24/1132.73	c 1132s |      18 |   488406 |   414952 |     7328     98 |        0 |        0
1134.44/1134.91	c 1134s |      18 |   489164 |   415652 |     7328     99 |        0 |        0
1136.54/1137.05	c 1136s |      18 |   490179 |   416552 |     7328     99 |        0 |        0
1138.54/1139.10	c 1138s |      18 |   491063 |   417352 |     7328     99 |        0 |        0
1140.64/1141.10	c 1140s |      18 |   491835 |   418052 |     7328     99 |        0 |        0
1142.84/1143.33	c 1143s |      18 |   492722 |   418852 |     7328     99 |        0 |        0
1144.94/1145.48	c 1145s |      18 |   493479 |   419552 |     7328     99 |        0 |        0
1147.14/1147.67	c 1147s |      18 |   494242 |   420252 |     7328     99 |        0 |        0
1149.44/1149.94	c 1149s |      18 |   494908 |   420852 |     7328    100 |        0 |        0
1151.64/1152.12	c 1151s |      18 |   495878 |   421752 |     7328    100 |        0 |        0
1153.74/1154.27	c 1154s |      18 |   496765 |   422552 |     7328    100 |        0 |        0
1155.94/1156.40	c 1156s |      18 |   497627 |   423352 |     7328    100 |        0 |        0
1158.04/1158.55	c 1158s |      18 |   498394 |   424052 |     7328    100 |        0 |        0
1160.14/1160.68	c 1160s |      18 |   499151 |   424752 |     7328    100 |        0 |        0
1162.14/1162.69	c 1162s |      18 |   499808 |   425352 |     7328    101 |        0 |        0
1164.44/1164.91	c 1164s |      18 |   500483 |   425952 |     7328    101 |        0 |        0
1166.64/1167.12	c 1166s |      18 |   501255 |   426652 |     7328    101 |        0 |        0
1168.73/1169.25	c 1169s |      18 |   501905 |   427252 |     7328    101 |        0 |        0
1171.04/1171.52	c 1171s |      18 |   502549 |   427852 |     7328    101 |        0 |        0
1173.34/1173.82	c 1173s |      18 |   503314 |   428552 |     7328    101 |        0 |        0
1175.63/1176.15	c 1175s |      18 |   504080 |   429252 |     7328    101 |        0 |        0
1177.83/1178.35	c 1178s |      18 |   504770 |   429852 |     7328    102 |        0 |        0
1179.84/1180.35	c 1180s |      18 |   505515 |   430552 |     7328    102 |        0 |        0
1182.33/1182.85	c 1182s |      18 |   506187 |   431152 |     7328    102 |        0 |        0
1184.34/1184.87	c 1184s |      18 |   507145 |   431952 |     7328    102 |        0 |        0
1186.63/1187.13	c 1186s |      18 |   508155 |   432852 |     7328    102 |        0 |        0
1188.83/1189.37	c 1189s |      18 |   509046 |   433652 |     7328    102 |        0 |        0
1190.93/1191.43	c 1191s |      18 |   509796 |   434352 |     7328    102 |        0 |        0
1193.13/1193.69	c 1193s |      18 |   510569 |   435052 |     7328    103 |        0 |        0
1195.43/1195.90	c 1195s |      18 |   511442 |   435852 |     7328    103 |        0 |        0
1197.63/1198.18	c 1197s |      18 |   512323 |   436652 |     7328    103 |        0 |        0
1199.93/1200.41	c 1200s |      18 |   513084 |   437352 |     7328    103 |        0 |        0
1202.23/1202.73	c 1202s |      18 |   513826 |   438052 |     7328    103 |        0 |        0
1204.43/1204.98	c 1204s |      18 |   514510 |   438652 |     7328    103 |        0 |        0
1206.93/1207.47	c 1207s |      18 |   515306 |   439352 |     7328    104 |        0 |        0
1209.23/1209.71	c 1209s |      18 |   516300 |   440252 |     7328    104 |        0 |        0
1211.23/1211.79	c 1211s |      18 |   517172 |   441052 |     7328    104 |        0 |        0
1213.53/1214.04	c 1213s |      18 |   518042 |   441852 |     8061    104 |        0 |        0
1215.63/1216.18	c 1215s |      18 |   518789 |   442552 |     8061    104 |        0 |        0
1217.83/1218.38	c 1218s |      18 |   519563 |   443252 |     8061    104 |        0 |        0
1220.13/1220.68	c 1220s |      18 |   520293 |   443952 |     8061    104 |        0 |        0
1222.23/1222.71	c 1222s |      19 |   520890 |   444482 |     8061    104 |        0 |        0
1224.33/1224.82	c 1224s |      19 |   523457 |   444882 |     8061    105 |        0 |        0
1226.33/1226.82	c 1226s |      19 |   524844 |   446082 |     8061    105 |        0 |        0
1228.33/1228.85	c 1228s |      19 |   526046 |   447082 |     8061    105 |        0 |        0
1230.53/1231.03	c 1230s |      19 |   527446 |   448182 |     8061    105 |        0 |        0
1232.53/1233.07	c 1232s |      19 |   528509 |   449082 |     8061    105 |        0 |        0
1234.62/1235.17	c 1234s |      19 |   529504 |   449882 |     8061    105 |        0 |        0
1236.72/1237.26	c 1237s |      19 |   530543 |   450782 |     8061    105 |        0 |        0
1238.92/1239.42	c 1239s |      19 |   531322 |   451482 |     8061    106 |        0 |        0
1241.02/1241.55	c 1241s |      19 |   532250 |   452282 |     8061    106 |        0 |        0
1243.02/1243.55	c 1243s |      19 |   533026 |   452982 |     8061    106 |        0 |        0
1245.32/1245.81	c 1245s |      19 |   533810 |   453682 |     8061    106 |        0 |        0
1247.42/1247.92	c 1247s |      19 |   534475 |   454282 |     8061    106 |        0 |        0
1249.42/1249.97	c 1249s |      19 |   535151 |   454882 |     8061    106 |        0 |        0
1251.43/1251.99	c 1251s |      19 |   535798 |   455482 |     8061    106 |        0 |        0
1253.42/1254.00	c 1253s |      19 |   536459 |   456082 |     8061    106 |        0 |        0
1255.62/1256.19	c 1255s |      19 |   537238 |   456782 |     8061    106 |        0 |        0
1257.72/1258.26	c 1258s |      19 |   537809 |   457282 |     8061    107 |        0 |        0
1259.83/1260.37	c 1260s |      19 |   538700 |   458082 |     8061    107 |        0 |        0
1262.03/1262.50	c 1262s |      19 |   539611 |   458882 |     8061    107 |        0 |        0
1264.02/1264.56	c 1264s |      19 |   540384 |   459582 |     8061    107 |        0 |        0
1266.02/1266.60	c 1266s |      19 |   541250 |   460382 |     8061    107 |        0 |        0
1268.12/1268.61	c 1268s |      19 |   542044 |   461082 |     8061    107 |        0 |        0
1270.22/1270.70	c 1270s |      19 |   542956 |   461882 |     8061    107 |        0 |        0
1272.82/1273.31	c 1273s |      19 |   543760 |   462582 |     8061    108 |        0 |        0
1274.92/1275.44	c 1275s |      19 |   544901 |   463582 |     8061    108 |        0 |        0
1277.02/1277.59	c 1277s |      19 |   545937 |   464482 |     8061    108 |        0 |        0
1279.22/1279.78	c 1279s |      19 |   546943 |   465382 |     8061    108 |        0 |        0
1281.32/1281.90	c 1281s |      19 |   547722 |   466082 |     8061    108 |        0 |        0
1283.42/1283.93	c 1283s |      19 |   548646 |   466882 |     8061    108 |        0 |        0
1285.72/1286.21	c 1286s |      19 |   549550 |   467682 |     8061    108 |        0 |        0
1287.72/1288.25	c 1288s |      19 |   550263 |   468282 |     8061    109 |        0 |        0
1289.72/1290.29	c 1290s |      19 |   551181 |   469082 |     8061    109 |        0 |        0
1291.81/1292.31	c 1292s |      19 |   552097 |   469882 |     8061    109 |        0 |        0
1294.01/1294.51	c 1294s |      19 |   552984 |   470682 |     8061    109 |        0 |        0
1296.11/1296.61	c 1296s |      19 |   553811 |   471382 |     8061    109 |        0 |        0
1298.21/1298.76	c 1298s |      19 |   554595 |   472082 |     8061    109 |        0 |        0
1300.31/1300.86	c 1300s |      19 |   555404 |   472782 |     8061    109 |        0 |        0
1302.52/1303.09	c 1302s |      19 |   556202 |   473482 |     8061    109 |        0 |        0
1304.82/1305.31	c 1305s |      19 |   556900 |   474082 |     8061    110 |        0 |        0
1307.02/1307.56	c 1307s |      19 |   557901 |   474982 |     8061    110 |        0 |        0
1309.31/1309.80	c 1309s |      19 |   558820 |   475782 |     8061    110 |        0 |        0
1311.51/1312.04	c 1311s |      19 |   559704 |   476582 |     8061    110 |        0 |        0
1313.71/1314.27	c 1314s |      19 |   560724 |   477482 |     8061    110 |        0 |        0
1315.81/1316.31	c 1316s |      19 |   561612 |   478282 |     8061    110 |        0 |        0
1317.81/1318.36	c 1318s |      19 |   562364 |   478982 |     8061    110 |        0 |        0
1320.11/1320.66	c 1320s |      19 |   563102 |   479682 |     8061    110 |        0 |        0
1322.32/1322.89	c 1322s |      19 |   563783 |   480282 |     8061    111 |        0 |        0
1324.41/1324.98	c 1324s |      19 |   564681 |   481082 |     8061    111 |        0 |        0
1326.51/1327.09	c 1326s |      19 |   565614 |   481882 |     8061    111 |        0 |        0
1328.82/1329.30	c 1329s |      19 |   566289 |   482482 |     8061    111 |        0 |        0
1330.91/1331.44	c 1331s |      19 |   567064 |   483182 |     8061    111 |        0 |        0
1332.91/1333.48	c 1333s |      19 |   567850 |   483882 |     8061    111 |        0 |        0
1335.21/1335.76	c 1335s |      19 |   568645 |   484582 |     8061    111 |        0 |        0
1337.51/1338.08	c 1337s |      19 |   569452 |   485282 |     8061    111 |        0 |        0
1339.81/1340.30	c 1340s |      19 |   570137 |   485882 |     8061    112 |        0 |        0
1341.91/1342.48	c 1342s |      19 |   571064 |   486682 |     8061    112 |        0 |        0
1344.21/1344.74	c 1344s |      19 |   571960 |   487482 |     8061    112 |        0 |        0
1346.50/1347.08	c 1346s |      19 |   572735 |   488182 |     8061    112 |        0 |        0
1348.70/1349.27	c 1349s |      19 |   573405 |   488782 |     8061    112 |        0 |        0
1350.90/1351.47	c 1351s |      19 |   574305 |   489582 |     8061    112 |        0 |        0
1353.20/1353.73	c 1353s |      19 |   575150 |   490282 |     8061    112 |        0 |        0
1355.30/1355.88	c 1355s |      19 |   575820 |   490882 |     8061    112 |        0 |        0
1357.61/1358.12	c 1357s |      19 |   576391 |   491382 |     8061    113 |        0 |        0
1359.71/1360.28	c 1360s |      19 |   577147 |   492082 |     8061    113 |        0 |        0
1361.91/1362.40	c 1362s |      19 |   577919 |   492782 |     8061    113 |        0 |        0
1364.01/1364.57	c 1364s |      19 |   578708 |   493482 |     8061    113 |        0 |        0
1366.11/1366.64	c 1366s |      19 |   579408 |   494082 |     8061    113 |        0 |        0
1368.31/1368.80	c 1368s |      19 |   580315 |   494882 |     8061    113 |        0 |        0
1370.30/1370.85	c 1370s |      19 |   581103 |   495582 |     8061    113 |        0 |        0
1372.41/1372.94	c 1372s |      19 |   581979 |   496382 |     8061    113 |        0 |        0
1374.90/1375.49	c 1375s |      19 |   582759 |   497082 |     8061    114 |        0 |        0
1377.10/1377.61	c 1377s |      19 |   583550 |   497782 |     8061    114 |        0 |        0
1379.20/1379.71	c 1379s |      19 |   584328 |   498482 |     8061    114 |        0 |        0
1381.40/1381.91	c 1381s |      19 |   585416 |   499382 |     8061    114 |        0 |        0
1383.60/1384.18	c 1383s |      19 |   586351 |   500182 |     8061    114 |        0 |        0
1385.90/1386.46	c 1386s |      19 |   587285 |   500982 |     8061    114 |        0 |        0
1388.10/1388.60	c 1388s |      19 |   587945 |   501582 |     8061    114 |        0 |        0
1390.80/1391.32	c 1391s |      19 |   588679 |   502182 |     8061    114 |        0 |        0
1393.50/1394.04	c 1393s |      19 |   589469 |   502882 |     8061    115 |        0 |        0
1395.70/1396.26	c 1396s |      19 |   590367 |   503682 |     8061    115 |        0 |        0
1397.80/1398.39	c 1398s |      19 |   591276 |   504482 |     8061    115 |        0 |        0
1399.91/1400.48	c 1400s |      19 |   592033 |   505182 |     8061    115 |        0 |        0
1402.11/1402.69	c 1402s |      19 |   592797 |   505882 |     8061    115 |        0 |        0
1404.10/1404.70	c 1404s |      19 |   593464 |   506482 |     8061    115 |        0 |        0
1406.20/1406.76	c 1406s |      19 |   594129 |   507082 |     8061    115 |        0 |        0
1408.30/1408.84	c 1408s |      19 |   594687 |   507582 |     8061    115 |        0 |        0
1410.50/1411.08	c 1410s |      19 |   595475 |   508282 |     8061    115 |        0 |        0
1412.60/1413.14	c 1412s |      19 |   596016 |   508782 |     8061    116 |        0 |        0
1414.89/1415.40	c 1415s |      19 |   596776 |   509482 |     8061    116 |        0 |        0
1416.90/1417.49	c 1417s |      19 |   597433 |   510082 |     8061    116 |        0 |        0
1419.10/1419.64	c 1419s |      19 |   598026 |   510582 |     8061    116 |        0 |        0
1421.10/1421.69	c 1421s |      19 |   598882 |   511382 |     8061    116 |        0 |        0
1423.30/1423.80	c 1423s |      19 |   599647 |   512082 |     8061    116 |        0 |        0
1425.30/1425.84	c 1425s |      19 |   600315 |   512682 |     8061    116 |        0 |        0
1427.50/1428.08	c 1427s |      19 |   600976 |   513282 |     8061    116 |        0 |        0
1429.80/1430.36	c 1430s |      19 |   601766 |   513982 |     8061    116 |        0 |        0
1431.89/1432.45	c 1432s |      19 |   602203 |   514382 |     8061    117 |        0 |        0
1434.09/1434.61	c 1434s |      19 |   602963 |   515082 |     8061    117 |        0 |        0
1436.29/1436.80	c 1436s |      19 |   603710 |   515782 |     8061    117 |        0 |        0
1438.49/1439.08	c 1438s |      19 |   604460 |   516482 |     8061    117 |        0 |        0
1440.60/1441.14	c 1440s |      19 |   605102 |   517082 |     8061    117 |        0 |        0
1442.80/1443.33	c 1443s |      19 |   605748 |   517682 |     8061    117 |        0 |        0
1444.90/1445.49	c 1445s |      19 |   606419 |   518282 |     8061    117 |        0 |        0
1447.20/1447.72	c 1447s |      19 |   607098 |   518882 |     8061    117 |        0 |        0
1449.49/1450.03	c 1449s |      19 |   607741 |   519482 |     8061    117 |        0 |        0
1451.79/1452.33	c 1452s |      19 |   608285 |   519982 |     8061    117 |        0 |        0
1453.89/1454.43	c 1454s |      19 |   608870 |   520482 |     8061    118 |        0 |        0
1456.19/1456.76	c 1456s |      19 |   609558 |   521082 |     8061    118 |        0 |        0
1458.59/1459.13	c 1458s |      19 |   610223 |   521682 |     8061    118 |        0 |        0
1460.59/1461.17	c 1460s |      19 |   610758 |   522182 |     8061    118 |        0 |        0
1462.99/1463.51	c 1463s |      19 |   611439 |   522782 |     8061    118 |        0 |        0
1465.09/1465.64	c 1465s |      19 |   612107 |   523382 |     8061    118 |        0 |        0
1467.39/1467.98	c 1467s |      19 |   612794 |   523982 |     8061    118 |        0 |        0
1469.58/1470.12	c 1469s |      19 |   613371 |   524482 |     8061    118 |        0 |        0
1471.99/1472.56	c 1472s |      19 |   614036 |   525082 |     8061    118 |        0 |        0
1474.39/1474.93	c 1474s |      19 |   614602 |   525582 |     8061    118 |        0 |        0
1476.80/1477.32	c 1477s |      19 |   615034 |   525982 |     8061    119 |        0 |        0
1479.19/1479.70	c 1479s |      19 |   615583 |   526482 |     8061    119 |        0 |        0
1481.29/1481.89	c 1481s |      19 |   616131 |   526982 |     8061    119 |        0 |        0
1483.49/1484.07	c 1483s |      19 |   616827 |   527582 |     8061    119 |        0 |        0
1485.89/1486.46	c 1486s |      19 |   617552 |   528182 |     8061    119 |        0 |        0
1488.09/1488.68	c 1488s |      19 |   618104 |   528682 |     8061    119 |        0 |        0
1490.19/1490.75	c 1490s |      19 |   618658 |   529182 |     8061    119 |        0 |        0
1492.49/1493.01	c 1492s |      19 |   619195 |   529682 |     8061    119 |        0 |        0
1494.49/1495.09	c 1494s |      19 |   619756 |   530182 |     8061    119 |        0 |        0
1496.78/1497.31	c 1497s |      19 |   620424 |   530782 |     8061    119 |        0 |        0
1498.89/1499.46	c 1499s |      19 |   620992 |   531282 |     8061    119 |        0 |        0
1501.18/1501.70	c 1501s |      19 |   621429 |   531682 |     8061    120 |        0 |        0
1503.29/1503.81	c 1503s |      19 |   622098 |   532282 |     8061    120 |        0 |        0
1505.49/1506.02	c 1505s |      19 |   622783 |   532882 |     8061    120 |        0 |        0
1507.59/1508.13	c 1507s |      19 |   623351 |   533382 |     8061    120 |        0 |        0
1509.79/1510.31	c 1510s |      19 |   623904 |   533882 |     8061    120 |        0 |        0
1512.09/1512.68	c 1512s |      19 |   624582 |   534482 |     8061    120 |        0 |        0
1514.08/1514.69	c 1514s |      19 |   625128 |   534982 |     8061    120 |        0 |        0
1516.28/1516.89	c 1516s |      19 |   625699 |   535482 |     8061    120 |        0 |        0
1518.38/1518.99	c 1518s |      19 |   626277 |   535982 |     8061    120 |        0 |        0
1520.98/1521.50	c 1521s |      19 |   626837 |   536482 |     8061    120 |        0 |        0
1522.99/1523.53	c 1523s |      19 |   627280 |   536882 |     8061    120 |        0 |        0
1525.19/1525.70	c 1525s |      19 |   627955 |   537482 |     8061    121 |        0 |        0
1527.18/1527.78	c 1527s |      19 |   628876 |   538282 |     8061    121 |        0 |        0
1529.48/1530.05	c 1529s |      19 |   629789 |   539082 |     8061    121 |        0 |        0
1531.48/1532.08	c 1531s |      19 |   630565 |   539782 |     8061    121 |        0 |        0
1533.77/1534.32	c 1534s |      19 |   631325 |   540482 |     8061    121 |        0 |        0
1535.77/1536.38	c 1536s |      19 |   632107 |   541182 |     8061    121 |        0 |        0
1538.08/1538.68	c 1538s |      19 |   632876 |   541882 |     8061    121 |        0 |        0
1540.18/1540.70	c 1540s |      19 |   633531 |   542482 |     8061    121 |        0 |        0
1542.79/1543.36	c 1543s |      19 |   634211 |   543082 |     8061    122 |        0 |        0
1545.09/1545.63	c 1545s |      19 |   634850 |   543682 |     8061    122 |        0 |        0
1547.19/1547.76	c 1547s |      19 |   635631 |   544382 |     8061    122 |        0 |        0
1549.68/1550.25	c 1550s |      19 |   636418 |   545082 |     8061    122 |        0 |        0
1551.69/1552.28	c 1552s |      19 |   637066 |   545682 |     8061    122 |        0 |        0
1553.88/1554.49	c 1554s |      19 |   637729 |   546282 |     8061    122 |        0 |        0
1556.27/1556.86	c 1556s |      19 |   638393 |   546882 |     8061    122 |        0 |        0
1558.47/1559.03	c 1558s |      19 |   639094 |   547482 |     8061    122 |        0 |        0
1560.57/1561.18	c 1560s |      19 |   639753 |   548082 |     8061    122 |        0 |        0
1562.78/1563.32	c 1563s |      19 |   640318 |   548582 |     8061    122 |        0 |        0
1564.89/1565.47	c 1565s |      19 |   640763 |   548982 |     8061    123 |        0 |        0
1566.88/1567.49	c 1567s |      19 |   641430 |   549582 |     8061    123 |        0 |        0
1569.18/1569.74	c 1569s |      19 |   642087 |   550182 |     8061    123 |        0 |        0
1571.27/1571.84	c 1571s |      19 |   642767 |   550782 |     8061    123 |        0 |        0
1573.37/1573.91	c 1573s |      19 |   643451 |   551382 |     8061    123 |        0 |        0
1576.07/1576.60	c 1576s |      19 |   644114 |   551982 |     8061    123 |        0 |        0
1578.27/1578.84	c 1578s |      19 |   645048 |   552782 |     8061    123 |        0 |        0
1580.48/1581.03	c 1580s |      19 |   645834 |   553482 |     8061    123 |        0 |        0
1582.78/1583.32	c 1583s |      19 |   646482 |   554082 |     8061    123 |        0 |        0
1585.37/1585.96	c 1585s |      19 |   647154 |   554682 |     8061    124 |        0 |        0
1587.57/1588.16	c 1587s |      19 |   648041 |   555482 |     8061    124 |        0 |        0
1589.77/1590.34	c 1590s |      19 |   648964 |   556282 |     8061    124 |        0 |        0
1591.87/1592.46	c 1592s |      19 |   649788 |   556982 |     8061    124 |        0 |        0
1594.07/1594.69	c 1594s |      19 |   650568 |   557682 |     8061    124 |        0 |        0
1596.27/1596.85	c 1596s |      19 |   651237 |   558282 |     8061    124 |        0 |        0
1598.37/1598.96	c 1598s |      19 |   652031 |   558982 |     8061    124 |        0 |        0
1600.57/1601.16	c 1600s |      19 |   652818 |   559682 |     8061    124 |        0 |        0
1603.28/1603.89	c 1603s |      19 |   653595 |   560382 |     8061    125 |        0 |        0
1605.37/1605.92	c 1605s |      19 |   654172 |   560882 |     8061    125 |        0 |        0
1607.67/1608.23	c 1608s |      19 |   654917 |   561582 |     8061    125 |        0 |        0
1609.87/1610.49	c 1610s |      19 |   655868 |   562382 |     8061    125 |        0 |        0
1611.96/1612.59	c 1612s |      19 |   656637 |   563082 |     8061    125 |        0 |        0
1614.06/1614.67	c 1614s |      19 |   657410 |   563782 |     8061    125 |        0 |        0
1616.06/1616.69	c 1616s |      19 |   658066 |   564382 |     8061    125 |        0 |        0
1618.36/1618.98	c 1618s |      19 |   658874 |   565082 |     8061    125 |        0 |        0
1620.46/1621.00	c 1620s |      19 |   659529 |   565682 |     8061    125 |        0 |        0
1623.08/1623.64	c 1623s |      19 |   660084 |   566182 |     8061    126 |        0 |        0
1625.28/1625.84	c 1625s |      19 |   660974 |   566982 |     8061    126 |        0 |        0
1627.47/1628.04	c 1627s |      19 |   661901 |   567782 |     8061    126 |        0 |        0
1629.57/1630.20	c 1629s |      19 |   662683 |   568482 |     8061    126 |        0 |        0
1631.67/1632.20	c 1631s |      19 |   663493 |   569182 |     8061    126 |        0 |        0
1633.67/1634.24	c 1634s |      19 |   664157 |   569782 |     8061    126 |        0 |        0
1635.97/1636.52	c 1636s |      19 |   664935 |   570482 |     8061    126 |        0 |        0
1638.26/1638.88	c 1638s |      19 |   665616 |   571082 |     8061    126 |        0 |        0
1640.56/1641.15	c 1640s |      19 |   666275 |   571682 |     8061    126 |        0 |        0
1642.76/1643.38	c 1643s |      19 |   666805 |   572182 |     8061    127 |        0 |        0
1644.86/1645.44	c 1645s |      19 |   667486 |   572782 |     8061    127 |        0 |        0
1646.86/1647.49	c 1647s |      19 |   668063 |   573282 |     8061    127 |        0 |        0
1649.06/1649.62	c 1649s |      19 |   669090 |   574182 |     8061    127 |        0 |        0
1651.27/1651.80	c 1651s |      19 |   670130 |   575082 |     8061    127 |        0 |        0
1653.57/1654.10	c 1653s |      19 |   671023 |   575882 |     8061    127 |        0 |        0
1655.67/1656.25	c 1656s |      19 |   671937 |   576682 |     8061    127 |        0 |        0
1657.77/1658.34	c 1658s |      19 |   672723 |   577382 |     8061    127 |        0 |        0
1659.96/1660.53	c 1660s |      19 |   673391 |   577982 |     8061    128 |        0 |        0
1662.16/1662.75	c 1662s |      19 |   674179 |   578682 |     8061    128 |        0 |        0
1664.36/1664.94	c 1664s |      19 |   675200 |   579582 |     8061    128 |        0 |        0
1666.56/1667.10	c 1666s |      19 |   676117 |   580382 |     8061    128 |        0 |        0
1668.76/1669.31	c 1669s |      19 |   676928 |   581082 |     8061    128 |        0 |        0
1670.86/1671.48	c 1671s |      19 |   677696 |   581782 |     8061    128 |        0 |        0
1672.96/1673.55	c 1673s |      19 |   678458 |   582482 |     8061    128 |        0 |        0
1674.96/1675.56	c 1675s |      19 |   679133 |   583082 |     8061    128 |        0 |        0
1677.16/1677.72	c 1677s |      19 |   679726 |   583582 |     8061    129 |        0 |        0
1679.16/1679.76	c 1679s |      19 |   680500 |   584282 |     8061    129 |        0 |        0
1681.36/1681.92	c 1681s |      19 |   681423 |   585082 |     8061    129 |        0 |        0
1683.66/1684.21	c 1684s |      19 |   682343 |   585882 |     8061    129 |        0 |        0
1685.86/1686.44	c 1686s |      19 |   683135 |   586582 |     8061    129 |        0 |        0
1688.06/1688.65	c 1688s |      19 |   683899 |   587282 |     8061    129 |        0 |        0
1690.16/1690.71	c 1690s |      19 |   684585 |   587882 |     8061    129 |        0 |        0
1692.36/1692.99	c 1692s |      19 |   685390 |   588582 |     8061    129 |        0 |        0
1694.57/1695.19	c 1694s |      19 |   686063 |   589182 |     8061    129 |        0 |        0
1696.66/1697.27	c 1697s |      19 |   686616 |   589682 |     8061    130 |        0 |        0
1698.86/1699.43	c 1699s |      19 |   687525 |   590482 |     8061    130 |        0 |        0
1701.06/1701.63	c 1701s |      19 |   688431 |   591282 |     8061    130 |        0 |        0
1703.16/1703.75	c 1703s |      19 |   689222 |   591982 |     8061    130 |        0 |        0
1705.35/1705.92	c 1705s |      19 |   689995 |   592682 |     8061    130 |        0 |        0
1707.65/1708.22	c 1708s |      19 |   690757 |   593382 |     8061    130 |        0 |        0
1709.75/1710.37	c 1710s |      19 |   691402 |   593982 |     8061    130 |        0 |        0
1711.85/1712.47	c 1712s |      19 |   692173 |   594682 |     8061    130 |        0 |        0
1713.95/1714.51	c 1714s |      19 |   692895 |   595282 |     8061    131 |        0 |        0
1716.05/1716.68	c 1716s |      19 |   693881 |   596182 |     8061    131 |        0 |        0
1718.15/1718.77	c 1718s |      19 |   694763 |   596982 |     8061    131 |        0 |        0
1720.25/1720.82	c 1720s |      19 |   695652 |   597782 |     8061    131 |        0 |        0
1722.25/1722.88	c 1722s |      19 |   696418 |   598482 |     8061    131 |        0 |        0
1724.35/1724.98	c 1724s |      19 |   697215 |   599182 |     8061    131 |        0 |        0
1726.45/1727.10	c 1726s |      19 |   698009 |   599882 |     8061    131 |        0 |        0
1728.75/1729.39	c 1729s |      19 |   698779 |   600582 |     8061    131 |        0 |        0
1730.85/1731.44	c 1731s |      19 |   699337 |   601082 |     8061    132 |        0 |        0
1733.15/1733.78	c 1733s |      19 |   700213 |   601882 |     8061    132 |        0 |        0
1735.35/1735.91	c 1735s |      19 |   701137 |   602682 |     8061    132 |        0 |        0
1737.45/1738.02	c 1737s |      19 |   701915 |   603382 |     8061    132 |        0 |        0
1739.55/1740.14	c 1739s |      19 |   702693 |   604082 |     8061    132 |        0 |        0
1741.55/1742.17	c 1741s |      19 |   703453 |   604782 |     8061    132 |        0 |        0
1743.85/1744.40	c 1744s |      19 |   704221 |   605482 |     8061    132 |        0 |        0
1746.15/1746.70	c 1746s |      19 |   704992 |   606182 |     8061    132 |        0 |        0
1748.25/1748.81	c 1748s |      19 |   705543 |   606682 |     8061    133 |        0 |        0
1750.35/1750.91	c 1750s |      19 |   706333 |   607382 |     8061    133 |        0 |        0
1752.65/1753.21	c 1753s |      19 |   707202 |   608182 |     8061    133 |        0 |        0
1754.65/1755.29	c 1755s |      19 |   707990 |   608882 |     8061    133 |        0 |        0
1756.75/1757.33	c 1757s |      19 |   709163 |   609882 |     8061    133 |        0 |        0
1758.95/1759.51	c 1759s |      19 |   710280 |   610882 |     8061    133 |        0 |        0
1760.95/1761.53	c 1761s |      19 |   711180 |   611682 |     8061    133 |        0 |        0
1763.15/1763.71	c 1763s |      19 |   711979 |   612382 |     8061    134 |        0 |        0
1765.35/1765.96	c 1765s |      19 |   713071 |   613382 |     8061    134 |        0 |        0
1767.35/1767.98	c 1767s |      19 |   713991 |   614182 |     8061    134 |        0 |        0
1769.65/1770.26	c 1770s |      19 |   714903 |   614982 |     8061    134 |        0 |        0
1771.84/1772.45	c 1772s |      19 |   715786 |   615782 |     8061    134 |        0 |        0
1773.94/1774.50	c 1774s |      19 |   716558 |   616482 |     8061    134 |        0 |        0
1776.05/1776.68	c 1776s |      19 |   717346 |   617182 |     8061    134 |        0 |        0
1778.25/1778.84	c 1778s |      19 |   718228 |   617982 |     8061    134 |        0 |        0
1780.24/1780.86	c 1780s |      19 |   718902 |   618582 |     8061    135 |        0 |        0
1782.24/1782.88	c 1782s |      19 |   719822 |   619382 |     8061    135 |        0 |        0
1784.45/1785.08	c 1784s |      19 |   720715 |   620182 |     8061    135 |        0 |        0
1786.64/1787.27	c 1787s |      19 |   721602 |   620982 |     8061    135 |        0 |        0
1788.74/1789.34	c 1789s |      19 |   722511 |   621782 |     8061    135 |        0 |        0
1790.94/1791.53	c 1791s |      19 |   723278 |   622482 |     8061    135 |        0 |        0
1793.14/1793.75	c 1793s |      19 |   724067 |   623182 |     8061    135 |        0 |        0
1795.85/1796.41	c 1796s |      19 |   724851 |   623882 |     8061    136 |        0 |        0
1797.95/1798.53	c 1798s |      19 |   725754 |   624682 |     8061    136 |        0 |        0

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-4093639-1466089664/watcher-4093639-1466089664 -o /tmp/evaluation-result-4093639-1466089664/solver-4093639-1466089664 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466075236-16166 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093639-1466089664.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.28 2.27 3/181 17625
/proc/meminfo: memFree=27524908/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=809404 CPUtime=0 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 3032 0 0 0 0 0 0 0 20 0 4 0 11012329 828829696 3393 33554432000 4194304 16246674 140734391447568 140734391446992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 202863 3404 441 2943 0 199757 0
[pid=17625/tid=17626] ppid=17622 vsize=826812 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 846655488 3463 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=830908 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 850849792 3479 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=835004 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11012329 855044096 3494 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.25 2.28 2.27 3/181 17625
/proc/meminfo: memFree=27524908/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 26369 0 0 0 5 4 0 0 20 0 4 0 11012329 1247350784 26723 33554432000 4194304 16246674 140734391447568 140734391446992 13956064 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 304529 26731 602 2943 0 301423 0
[pid=17625/tid=17626] ppid=17622 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1247350784 26737 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1247350784 26743 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11012329 1247350784 26748 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200505 s]
/proc/loadavg: 2.25 2.28 2.27 3/181 17625
/proc/meminfo: memFree=27524908/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 49882 0 0 0 12 7 0 0 20 0 4 0 11012329 1247350784 50230 33554432000 4194304 16246674 140734391447568 140734391446992 5829366 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 304529 50235 751 2943 0 301423 0
[pid=17625/tid=17626] ppid=17622 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1247350784 50238 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1247350784 50241 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11012329 1247350784 50244 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30045 s]
/proc/loadavg: 2.25 2.28 2.27 3/181 17625
/proc/meminfo: memFree=27524908/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 71993 0 0 0 18 11 0 0 20 0 4 0 11012329 1247350784 72341 33554432000 4194304 16246674 140734391447568 140734391446992 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 304529 72351 805 2943 0 301423 0
[pid=17625/tid=17626] ppid=17622 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1247350784 72359 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1247350784 72366 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11012329 1247350784 72370 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700392 s]
/proc/loadavg: 2.25 2.28 2.27 3/181 17625
/proc/meminfo: memFree=27524908/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 172505 0 0 0 43 25 0 0 20 0 4 0 11012329 1247350784 172852 33554432000 4194304 16246674 140734391447568 140734391429440 5676613 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 304529 172861 805 2943 0 301423 0
[pid=17625/tid=17626] ppid=17622 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1247350784 172867 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1247350784 172875 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11012329 1247350784 172884 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.25 2.28 2.27 3/185 17629
/proc/meminfo: memFree=26537484/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1224260 CPUtime=1.49 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 246913 0 0 0 114 35 0 0 20 0 4 0 11012329 1253642240 247238 33554432000 4194304 16246674 140734391447568 140734391429440 13927278 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 306065 247238 866 2943 0 302959 0
[pid=17625/tid=17626] ppid=17622 vsize=1224260 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1253642240 247238 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1224260 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1253642240 247238 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1224260 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1253642240 247238 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1224260

[startup+3.10041 s]
/proc/loadavg: 2.25 2.28 2.27 3/185 17629
/proc/meminfo: memFree=26453464/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 267913 0 0 0 271 38 0 0 20 0 4 0 11012329 1338576896 268238 33554432000 4194304 16246674 140734391447568 140734391429440 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 326801 268238 866 2943 0 323695 0
[pid=17625/tid=17626] ppid=17622 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1338576896 268238 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1338576896 268238 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1338576896 268238 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 2.23 2.27 2.27 3/185 17629
/proc/meminfo: memFree=26452284/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 268173 0 0 0 591 38 0 0 20 0 4 0 11012329 1339625472 268498 33554432000 4194304 16246674 140734391447568 140734391429440 5721701 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 327057 268498 870 2943 0 323951 0
[pid=17625/tid=17626] ppid=17622 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1339625472 268498 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1339625472 268498 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1339625472 268498 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.30 2.29 2.27 4/185 17629
/proc/meminfo: memFree=26451700/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 268175 0 0 0 1231 38 0 0 20 0 4 0 11012329 1339625472 268500 33554432000 4194304 16246674 140734391447568 140734391429440 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 327057 268500 872 2943 0 323951 0
[pid=17625/tid=17626] ppid=17622 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1339625472 268500 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1339625472 268500 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1339625472 268500 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.23 2.27 2.27 3/185 17629
/proc/meminfo: memFree=26426884/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1315396 CPUtime=25.48 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 269968 0 0 0 2510 38 0 0 20 0 4 0 11012329 1346965504 270293 33554432000 4194304 16246674 140734391447568 140734391429440 5545713 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 328849 270293 873 2943 0 325743 0
[pid=17625/tid=17626] ppid=17622 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1346965504 270293 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1346965504 270293 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1346965504 270293 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.22 2.26 2.26 3/185 17629
/proc/meminfo: memFree=26390828/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1318468 CPUtime=51.08 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 270665 0 0 0 5069 39 0 0 20 0 4 0 11012329 1350111232 270990 33554432000 4194304 16246674 140734391447568 140734391429440 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 329617 270990 873 2943 0 326511 0
[pid=17625/tid=17626] ppid=17622 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1350111232 270990 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1350111232 270990 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1350111232 270990 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468

[startup+102.3 s]
/proc/loadavg: 2.21 2.25 2.26 4/185 17630
/proc/meminfo: memFree=26343468/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1318468 CPUtime=102.28 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 270737 0 0 0 10187 41 0 0 20 0 4 0 11012329 1350111232 271062 33554432000 4194304 16246674 140734391447568 140734391429440 5545752 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 329617 271062 873 2943 0 326511 0
[pid=17625/tid=17626] ppid=17622 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1350111232 271062 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1350111232 271062 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1350111232 271062 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1336900

[startup+1302.3 s]
/proc/loadavg: 2.26 2.21 2.21 3/185 17708
/proc/meminfo: memFree=28152008/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1336900 CPUtime=1301.81 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 275648 0 0 0 130121 60 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140734391429440 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 334225 275544 873 2943 0 331119 0
[pid=17625/tid=17626] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1336900

[startup+1362.3 s]
/proc/loadavg: 2.17 2.20 2.20 4/186 17712
/proc/meminfo: memFree=28151944/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1336900 CPUtime=1361.81 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 275648 0 0 0 136117 64 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140734391429440 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 334225 275544 873 2943 0 331119 0
[pid=17625/tid=17626] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1336900

[startup+1422.3 s]
/proc/loadavg: 2.29 2.23 2.21 3/185 17713
/proc/meminfo: memFree=28151988/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1336900 CPUtime=1421.8 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 275648 0 0 0 142114 66 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140734391446664 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 334225 275544 873 2943 0 331119 0
[pid=17625/tid=17626] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1336900

[startup+1482.3 s]
/proc/loadavg: 2.16 2.20 2.20 4/185 17715
/proc/meminfo: memFree=28151896/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1336900 CPUtime=1481.79 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 275648 0 0 0 148111 68 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140734391429440 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 334225 275544 873 2943 0 331119 0
[pid=17625/tid=17626] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.36 2.25 2.21 4/185 17716
/proc/meminfo: memFree=28151424/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1336900 CPUtime=1541.79 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 275648 0 0 0 154109 70 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140734391446744 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 334225 275544 873 2943 0 331119 0
[pid=17625/tid=17626] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.41 2.28 2.22 3/185 17717
/proc/meminfo: memFree=28151396/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1336900 CPUtime=1601.77 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 275648 0 0 0 160104 73 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140734391446744 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 334225 275544 873 2943 0 331119 0
[pid=17625/tid=17626] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1336900

[startup+1662.3 s]
/proc/loadavg: 2.28 2.26 2.22 3/185 17718
/proc/meminfo: memFree=28151276/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1336900 CPUtime=1661.76 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 275648 0 0 0 166101 75 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140734391429440 13192253 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 334225 275544 873 2943 0 331119 0
[pid=17625/tid=17626] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.22 2.24 2.21 4/185 17719
/proc/meminfo: memFree=28151284/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1336900 CPUtime=1721.75 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 275648 0 0 0 172099 76 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140734391429440 5553716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 334225 275544 873 2943 0 331119 0
[pid=17625/tid=17626] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.37 2.27 2.22 3/185 17721
/proc/meminfo: memFree=28151164/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1336900 CPUtime=1781.74 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 275648 0 0 0 178097 77 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140734391429440 5711976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 334225 275544 873 2943 0 331119 0
[pid=17625/tid=17626] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.26 2.25 2.21 3/185 17722
/proc/meminfo: memFree=28150660/32872528 swapFree=1504664/1684536
[pid=17625] ppid=17622 vsize=1336900 CPUtime=1800.04 cores=0,2,4,6
/proc/17625/stat : 17625 (toysat) R 17622 17625 12407 0 -1 4202496 275648 0 0 0 179926 78 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140734391429440 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17625/statm: 334225 275544 873 2943 0 331119 0
[pid=17625/tid=17626] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (toysat) S 17622 17625 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411710450928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17625/tid=17627] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (toysat) S 17622 17625 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411699961072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17625/tid=17628] ppid=17622 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (toysat) S 17622 17625 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11012329 1368985600 275544 33554432000 4194304 16246674 140734391447568 140411689487536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1336900

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 17625 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.05
CPU user time (s): 1799.27
CPU system time (s): 0.78688
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.27
system time used= 0.78688
maximum resident set size= 1102176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275648
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= 445
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.13522 second user time and 7.2549 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-16 17:07:44
IDJOB=4093639
IDBENCH=79149
IDSOLVER=2553
FILE ID=node135/4093639-1466089664
RUNJOBID= node135-1466075236-16166
PBS_JOBID= 19904004
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093639-1466089664/watcher-4093639-1466089664 -o /tmp/evaluation-result-4093639-1466089664/solver-4093639-1466089664 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466075236-16166 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093639-1466089664.wbo

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

MD5SUM BENCH= 6dc14d51c0879b2054c8b72501c6facc
RANDOM SEED=939398483

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.004
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.57
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.004
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.004
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.004
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.004
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.004
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:        27525288 kB
Buffers:           40064 kB
Cached:           118992 kB
SwapCached:         2268 kB
Active:          2885016 kB
Inactive:          70424 kB
Active(anon):    2797416 kB
Inactive(anon):     1496 kB
Active(file):      87600 kB
Inactive(file):    68928 kB
Unevictable:     1684536 kB
Mlocked:         1504664 kB
SwapTotal:      67108856 kB
SwapFree:       67099248 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       4541572 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             568256 kB
SReclaimable:      11740 kB
SUnreclaim:       556516 kB
KernelStack:        1536 kB
PageTables:        12888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4623872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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= 71704 MiB
End job on node135 at 2016-06-16 17:37:45