Trace number 4093324

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM757312960b1468f2853dd7cd5a4d6fc6
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark1800.11
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4000
Total number of constraints180
Number of soft constraints127
Number of constraints which are clauses100
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 constraint50
Top cost 6095
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 6094
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
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-16T14:06:19+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093324-1466078778.wbo"]
0.00/0.01	c use --random-gen="1676391954 1900184075 3622135405 775166143 1016340361 1202167270 3738586251 2453459546 2637959448 3072008527 21800101 1018767558 1922250875 3262888537 3340802589 2275773827 268961257 2198242922 2425418055 3753518639 2499277392 1936698235 2067191594 2176881347 2969580653 1680989254 1118890796 2249062219 198036701 1256001476 2827681204 2750745750 2500445640 305620120 2943398276 3207195541 2428938016 2545443035 616557647 2351927568 3929849361 1841086676 828759021 194348248 3640544490 3693575947 975447970 3349200985 149868838 2402320376 247039273 121718418 274029949 833500718 2901956682 1995556776 126579191 566207985 2866738068 1606640362 2152592394 968986803 3680116400 4246807270 1165210432 4226218067 825748514 3309663366 740359034 2931279098 1087966524 4197158010 3412594866 1808562733 2672491215 3971698463 2020312405 2700715775 1781188441 212212703 2335527584 383516744 3200790658 1327900583 4209570757 2556588003 2817459814 654266705 31896285 4044191980 3584649767 4058896710 3104141648 3451261694 3453662499 125841866 375308786 3412376804 1897472955 878359674 630772464 353833841 1669544412 1834216850 3841203855 1005760668 761737286 1208807808 2435503765 4215619321 835007529 472778200 1716031214 2409515577 1126782869 16798067 2129596618 3826817328 2992494745 3322322591 2266120533 2327001299 3711194781 3778463815 2658195886 2079369303 770467830 1889884583 2094080769 2977447075 1418684076 1107336311 1235085856 39538316 163284375 660357123 3805014038 4085772674 3187501878 847816588 2883110615 4013946886 2370115641 3759322837 794994338 1833767895 3356395258 2038508634 3023863164 1230471253 358964127 1716066706 3031083308 2863161581 2763697344 2308119895 27784875 3347126238 1082107916 4204185443 3724160296 2735534671 3060034839 2525838434 4019278251 134432095 2117994258 3982363391 3884509100 1612140575 3460649552 1154073357 2382530448 499385282 1270716286 1298333424 3027845090 4028700667 2850254113 2712905640 2374249432 3425785063 3442061767 1472693623 347629914 3440398229 3861052590 1266215731 2233744622 2227540488 3824476889 1768435682 2077561 1961287166 841822327 2490562256 1862590507 4085875962 3113883637 3662297111 282999946 552859511 583265342 3311745330 3105544113 4289856390 2387625097 2832578906 2724447040 2747149362 1877007942 3478971228 1129459222 912901717 2662263367 552787943 2321852272 610744298 1613086096 4259485587 2663669302 1349127007 3361359288 2020071035 2387920422 2976217683 2425668939 3778382411 1831840259 1900146064 3941952466 3473447255 4271368039 3297175486 1048749121 2366839625 1697008941 1987578216 2299471421 1961210908 3260638816 2850781159 3215847101 569081813 968164082 2101649128 1692716188 1325230488 2807391564 3265050939 3263447213 3560911029 1871415249 1844682456 4013090149 2493585963 255 362436" option to reproduce the execution
0.08/0.19	c #vars 4000
0.08/0.19	c #constraints 180
0.19/0.22	c BCD2: Hardening is enabled.
0.19/0.22	c BCD2: BiasedSearch is enabled.
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     1435      0 |        0 |        0
0.19/0.26	c  0.0s |       1 |      280 |      100 |     1435      0 |        0 |        0
0.19/0.27	c  0.1s |       1 |     2919 |      103 |     1579      0 |        0 |        0
0.19/0.27	c #cpu_time = 0.053s
0.19/0.27	c #wall_clock_time = 0.053s
0.19/0.27	c #decision = 2919
0.19/0.27	c #random_decision = 8
0.19/0.27	c #conflict = 103
0.19/0.27	c #restart = 1
0.19/0.27	o 3061
0.19/0.27	c BCD2: updating upper bound: 6094 -> 3060
0.19/0.27	c BCD2: 0 <= obj <= 3060
0.19/0.27	c BCD2: #cores=0, #unrelaxed=127, #relaxed=0, #hardened=0
0.19/0.27	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     1579      0 |        0 |        0
0.29/0.34	c  0.1s |       1 |      596 |      100 |     1579      0 |        0 |        0
0.38/0.49	c  0.2s |       2 |     1663 |      250 |     1737      0 |        0 |        0
0.69/0.73	c  0.5s |       3 |     3287 |      475 |     1911      0 |        0 |        0
0.98/1.08	c  0.8s |       4 |     5277 |      813 |     2103      0 |        0 |        0
1.59/1.68	c  1.4s |       5 |     7421 |     1320 |     2314      0 |        0 |        0
2.19/2.26	c  2.0s |       6 |    10011 |     2081 |     2546      0 |        0 |        0
3.69/3.71	c  3.4s |       7 |    12321 |     3223 |     2801      0 |        0 |        0
5.49/5.57	c  5.3s |       8 |    16011 |     4936 |     3082      1 |        0 |        0
7.59/7.67	c  7.4s |       8 |    19081 |     6736 |     3082      2 |        0 |        0
8.69/8.73	c  8.5s |       9 |    19941 |     7506 |     3391      2 |        0 |        0
10.89/10.91	c 10.6s |       9 |    22990 |     9006 |     3391      3 |        0 |        0
12.89/12.94	c 12.7s |       9 |    24221 |    10106 |     3391      3 |        0 |        0
14.89/14.96	c 14.7s |       9 |    25485 |    11206 |     3731      4 |        0 |        0
15.19/15.29	c 15.0s |      10 |    25659 |    11361 |     3731      4 |        0 |        0
17.28/17.34	c 17.1s |      10 |    29479 |    13261 |     3731      4 |        0 |        0
19.28/19.38	c 19.1s |      10 |    31016 |    14661 |     3731      5 |        0 |        0
21.38/21.42	c 21.1s |      10 |    32384 |    15861 |     3731      5 |        0 |        0
23.38/23.46	c 23.2s |      10 |    33496 |    16861 |     3731      6 |        0 |        0
23.88/23.92	c 23.6s |      11 |    33810 |    17144 |     4105      6 |        0 |        0
25.88/25.98	c 25.7s |      11 |    37418 |    19144 |     4105      6 |        0 |        0
27.98/28.01	c 27.7s |      11 |    39101 |    20644 |     4105      7 |        0 |        0
29.98/30.04	c 29.8s |      11 |    40677 |    22044 |     4105      7 |        0 |        0
32.08/32.10	c 31.8s |      11 |    42034 |    23244 |     4105      8 |        0 |        0
34.18/34.22	c 33.9s |      11 |    43578 |    24644 |     4105      8 |        0 |        0
36.08/36.17	c 35.9s |      12 |    44918 |    25819 |     4516      8 |        0 |        0
38.08/38.19	c 37.9s |      12 |    47743 |    27319 |     4516      9 |        0 |        0
40.18/40.20	c 39.9s |      12 |    49164 |    28619 |     4516      9 |        0 |        0
42.18/42.22	c 41.9s |      12 |    50558 |    29819 |     4516     10 |        0 |        0
44.18/44.25	c 44.0s |      12 |    51688 |    30819 |     4516     10 |        0 |        0
46.38/46.44	c 46.2s |      12 |    52909 |    31919 |     4516     10 |        0 |        0
48.58/48.62	c 48.3s |      12 |    53909 |    32819 |     4516     11 |        0 |        0
50.59/50.65	c 50.4s |      12 |    54995 |    33819 |     4516     11 |        0 |        0
52.68/52.74	c 52.5s |      12 |    56101 |    34819 |     4516     11 |        0 |        0
54.88/54.91	c 54.6s |      12 |    57194 |    35819 |     4516     11 |        0 |        0
56.98/57.00	c 56.7s |      12 |    58165 |    36719 |     4516     12 |        0 |        0
58.98/59.03	c 58.8s |      12 |    59150 |    37619 |     4516     12 |        0 |        0
60.98/61.05	c 60.8s |      12 |    60123 |    38519 |     4968     12 |        0 |        0
61.69/61.78	c 61.5s |      13 |    60452 |    38832 |     4968     12 |        0 |        0
63.89/63.92	c 63.6s |      13 |    63352 |    39932 |     4968     13 |        0 |        0
65.88/65.97	c 65.7s |      13 |    64507 |    40932 |     4968     13 |        0 |        0
67.88/67.98	c 67.7s |      13 |    65379 |    41732 |     4968     13 |        0 |        0
69.98/70.09	c 69.8s |      13 |    66371 |    42632 |     4968     13 |        0 |        0
72.18/72.20	c 71.9s |      13 |    67461 |    43632 |     4968     14 |        0 |        0
74.28/74.33	c 74.1s |      13 |    68803 |    44832 |     4968     14 |        0 |        0
76.38/76.48	c 76.2s |      13 |    70007 |    45932 |     4968     14 |        0 |        0
78.58/78.62	c 78.3s |      13 |    70872 |    46732 |     4968     15 |        0 |        0
80.58/80.68	c 80.4s |      13 |    72068 |    47832 |     4968     15 |        0 |        0
82.78/82.84	c 82.6s |      13 |    73297 |    48932 |     4968     15 |        0 |        0
84.98/85.02	c 84.7s |      13 |    74376 |    49932 |     4968     15 |        0 |        0
87.07/87.16	c 86.9s |      13 |    75349 |    50832 |     4968     16 |        0 |        0
89.08/89.20	c 88.9s |      13 |    76312 |    51732 |     4968     16 |        0 |        0
91.28/91.37	c 91.1s |      13 |    77294 |    52632 |     4968     16 |        0 |        0
93.37/93.41	c 93.1s |      13 |    78152 |    53432 |     4968     16 |        0 |        0
95.37/95.42	c 95.1s |      13 |    79010 |    54232 |     4968     17 |        0 |        0
97.47/97.58	c 97.3s |      13 |    79973 |    55132 |     4968     17 |        0 |        0
99.57/99.64	c 99.4s |      13 |    81061 |    56032 |     4968     17 |        0 |        0
101.57/101.69	c  101s |      13 |    82106 |    56932 |     4968     17 |        0 |        0
103.77/103.84	c  103s |      13 |    82987 |    57732 |     4968     18 |        0 |        0
105.17/105.25	c  104s |      14 |    83677 |    58352 |     5465     18 |        0 |        0
107.27/107.32	c  107s |      14 |    87764 |    60452 |     5465     18 |        0 |        0
109.27/109.35	c  109s |      14 |    89312 |    61752 |     5465     19 |        0 |        0
111.37/111.44	c  111s |      14 |    90635 |    62952 |     5465     19 |        0 |        0
113.47/113.55	c  113s |      14 |    91848 |    64052 |     5465     19 |        0 |        0
115.67/115.71	c  115s |      14 |    92996 |    65052 |     5465     19 |        0 |        0
117.68/117.76	c  117s |      14 |    94170 |    66052 |     5465     20 |        0 |        0
119.67/119.79	c  119s |      14 |    95406 |    67152 |     5465     20 |        0 |        0
121.77/121.82	c  121s |      14 |    96536 |    68152 |     5465     20 |        0 |        0
123.87/123.90	c  123s |      14 |    97547 |    69052 |     5465     21 |        0 |        0
125.97/126.04	c  125s |      14 |    98766 |    70152 |     5465     21 |        0 |        0
128.17/128.27	c  127s |      14 |    99857 |    71152 |     5465     21 |        0 |        0
130.37/130.48	c  130s |      14 |   100831 |    72052 |     5465     21 |        0 |        0
132.76/132.88	c  132s |      14 |   101801 |    72952 |     5465     22 |        0 |        0
134.86/134.90	c  134s |      14 |   102832 |    73852 |     5465     22 |        0 |        0
137.06/137.13	c  136s |      14 |   103798 |    74752 |     5465     22 |        0 |        0
139.06/139.16	c  138s |      14 |   104671 |    75552 |     5465     22 |        0 |        0
141.16/141.27	c  141s |      14 |   105547 |    76352 |     5465     22 |        0 |        0
143.26/143.36	c  143s |      14 |   106312 |    77052 |     5465     23 |        0 |        0
145.36/145.44	c  145s |      14 |   107649 |    78252 |     5465     23 |        0 |        0
147.56/147.66	c  147s |      14 |   108733 |    79252 |     5465     23 |        0 |        0
149.57/149.69	c  149s |      14 |   109721 |    80152 |     5465     23 |        0 |        0
151.66/151.74	c  151s |      14 |   110601 |    80952 |     5465     24 |        0 |        0
153.86/153.97	c  153s |      14 |   111582 |    81852 |     5465     24 |        0 |        0
155.96/156.03	c  155s |      14 |   112578 |    82752 |     5465     24 |        0 |        0
157.96/158.07	c  157s |      14 |   113582 |    83652 |     5465     24 |        0 |        0
160.07/160.16	c  159s |      14 |   114465 |    84452 |     5465     24 |        0 |        0
162.27/162.34	c  162s |      14 |   115314 |    85252 |     5465     25 |        0 |        0
164.27/164.36	c  164s |      14 |   116206 |    86052 |     5465     25 |        0 |        0
166.47/166.53	c  166s |      14 |   117355 |    87052 |     6012     25 |        0 |        0
167.87/167.93	c  167s |      15 |   117983 |    87632 |     6012     25 |        0 |        0
169.86/169.98	c  169s |      15 |   121321 |    88632 |     6012     26 |        0 |        0
171.96/172.04	c  171s |      15 |   122474 |    89632 |     6012     26 |        0 |        0
174.16/174.26	c  173s |      15 |   123545 |    90532 |     6012     26 |        0 |        0
176.26/176.31	c  176s |      15 |   124602 |    91432 |     6012     26 |        0 |        0
178.46/178.51	c  178s |      15 |   125496 |    92232 |     6012     26 |        0 |        0
180.56/180.66	c  180s |      15 |   126261 |    92932 |     6012     27 |        0 |        0
182.86/182.93	c  182s |      15 |   127211 |    93732 |     6012     27 |        0 |        0
185.06/185.16	c  184s |      15 |   128110 |    94532 |     6012     27 |        0 |        0
187.16/187.22	c  186s |      15 |   128909 |    95232 |     6012     27 |        0 |        0
189.36/189.46	c  189s |      15 |   129713 |    95932 |     6012     27 |        0 |        0
191.46/191.53	c  191s |      15 |   130375 |    96532 |     6012     27 |        0 |        0
193.56/193.64	c  193s |      15 |   131073 |    97132 |     6012     27 |        0 |        0
195.55/195.67	c  195s |      15 |   131632 |    97632 |     6012     28 |        0 |        0
197.86/197.94	c  197s |      15 |   132406 |    98332 |     6012     28 |        0 |        0
199.96/200.00	c  199s |      15 |   133096 |    98932 |     6012     28 |        0 |        0
201.96/202.02	c  201s |      15 |   133764 |    99532 |     6012     28 |        0 |        0
204.16/204.20	c  203s |      15 |   134410 |   100132 |     6012     28 |        0 |        0
206.45/206.52	c  206s |      15 |   135062 |   100732 |     6012     28 |        0 |        0
208.75/208.81	c  208s |      15 |   135877 |   101432 |     6012     28 |        0 |        0
211.06/211.15	c  210s |      15 |   136552 |   102032 |     6012     29 |        0 |        0
213.16/213.22	c  212s |      15 |   137216 |   102632 |     6012     29 |        0 |        0
215.56/215.65	c  215s |      15 |   138018 |   103332 |     6012     29 |        0 |        0
217.86/217.91	c  217s |      15 |   139049 |   104232 |     6012     29 |        0 |        0
219.85/220.00	c  219s |      15 |   139821 |   104932 |     6012     29 |        0 |        0
221.95/222.05	c  221s |      15 |   140644 |   105632 |     6012     29 |        0 |        0
224.15/224.23	c  223s |      15 |   141327 |   106232 |     6012     30 |        0 |        0
226.45/226.54	c  226s |      15 |   142249 |   107032 |     6012     30 |        0 |        0
228.55/228.68	c  228s |      15 |   143018 |   107732 |     6012     30 |        0 |        0
230.76/230.86	c  230s |      15 |   143830 |   108432 |     6012     30 |        0 |        0
232.86/232.93	c  232s |      15 |   144507 |   109032 |     6012     30 |        0 |        0
234.95/235.06	c  234s |      15 |   145158 |   109632 |     6012     30 |        0 |        0
237.25/237.32	c  237s |      15 |   145839 |   110232 |     6012     30 |        0 |        0
239.55/239.65	c  239s |      15 |   146402 |   110732 |     6012     31 |        0 |        0
241.65/241.70	c  241s |      15 |   147206 |   111432 |     6012     31 |        0 |        0
243.95/244.03	c  243s |      15 |   147976 |   112132 |     6012     31 |        0 |        0
246.05/246.19	c  245s |      15 |   148858 |   112832 |     6012     31 |        0 |        0
248.15/248.29	c  248s |      15 |   149787 |   113632 |     6012     31 |        0 |        0
250.25/250.40	c  250s |      15 |   150612 |   114332 |     6012     31 |        0 |        0
252.35/252.43	c  252s |      15 |   151326 |   114932 |     6012     32 |        0 |        0
254.35/254.45	c  254s |      15 |   152125 |   115632 |     6012     32 |        0 |        0
256.55/256.65	c  256s |      15 |   152888 |   116332 |     6012     32 |        0 |        0
258.65/258.79	c  258s |      15 |   153810 |   117132 |     6012     32 |        0 |        0
260.75/260.85	c  260s |      15 |   154604 |   117832 |     6012     32 |        0 |        0
262.75/262.90	c  262s |      15 |   155241 |   118432 |     6012     32 |        0 |        0
264.84/264.91	c  264s |      15 |   155811 |   118932 |     6012     32 |        0 |        0
266.94/267.00	c  266s |      15 |   156486 |   119532 |     6012     33 |        0 |        0
269.05/269.12	c  268s |      15 |   157246 |   120232 |     6012     33 |        0 |        0
271.34/271.44	c  271s |      15 |   157991 |   120932 |     6012     33 |        0 |        0
273.64/273.72	c  273s |      15 |   158672 |   121532 |     6012     33 |        0 |        0
275.74/275.88	c  275s |      15 |   159383 |   122132 |     6012     33 |        0 |        0
277.94/278.04	c  277s |      15 |   160025 |   122732 |     6012     33 |        0 |        0
280.55/280.64	c  280s |      15 |   160699 |   123332 |     6012     34 |        0 |        0
282.94/283.04	c  282s |      15 |   161342 |   123932 |     6012     34 |        0 |        0
285.24/285.32	c  285s |      15 |   162097 |   124632 |     6012     34 |        0 |        0
287.34/287.43	c  287s |      15 |   162750 |   125232 |     6012     34 |        0 |        0
289.45/289.56	c  289s |      15 |   163406 |   125832 |     6012     34 |        0 |        0
291.55/291.63	c  291s |      15 |   164264 |   126532 |     6012     34 |        0 |        0
293.75/293.84	c  293s |      15 |   165050 |   127232 |     6012     34 |        0 |        0
295.85/295.93	c  295s |      15 |   165614 |   127732 |     6012     35 |        0 |        0
298.15/298.26	c  297s |      15 |   166373 |   128432 |     6012     35 |        0 |        0
300.14/300.30	c  300s |      15 |   167066 |   129032 |     6012     35 |        0 |        0
302.34/302.42	c  302s |      15 |   167845 |   129732 |     6012     35 |        0 |        0
304.54/304.69	c  304s |      15 |   168609 |   130432 |     6012     35 |        0 |        0
306.64/306.76	c  306s |      15 |   169271 |   131032 |     6614     35 |        0 |        0
308.64/308.74	c  308s |      16 |   169853 |   131552 |     6614     35 |        0 |        0
310.74/310.80	c  310s |      16 |   173546 |   132352 |     6614     36 |        0 |        0
312.74/312.81	c  312s |      16 |   174753 |   133352 |     6614     36 |        0 |        0
314.94/315.02	c  314s |      16 |   175909 |   134352 |     6614     36 |        0 |        0
316.94/317.07	c  316s |      16 |   176832 |   135152 |     6614     36 |        0 |        0
319.13/319.29	c  319s |      16 |   177667 |   135852 |     6614     36 |        0 |        0
321.25/321.34	c  321s |      16 |   178485 |   136552 |     6614     36 |        0 |        0
323.34/323.49	c  323s |      16 |   179211 |   137152 |     6614     36 |        0 |        0
325.54/325.63	c  325s |      16 |   180143 |   137952 |     6614     37 |        0 |        0
327.74/327.88	c  327s |      16 |   181053 |   138752 |     6614     37 |        0 |        0
330.13/330.21	c  329s |      16 |   181984 |   139552 |     6614     37 |        0 |        0
332.15/332.25	c  331s |      16 |   182756 |   140252 |     6614     37 |        0 |        0
334.24/334.34	c  334s |      16 |   183437 |   140852 |     6614     37 |        0 |        0
336.55/336.60	c  336s |      16 |   184267 |   141552 |     6614     37 |        0 |        0
338.85/338.91	c  338s |      16 |   184933 |   142152 |     6614     37 |        0 |        0
340.84/340.96	c  340s |      16 |   185463 |   142652 |     6614     37 |        0 |        0
343.04/343.20	c  342s |      16 |   185887 |   143052 |     6614     38 |        0 |        0
345.13/345.23	c  344s |      16 |   186580 |   143652 |     6614     38 |        0 |        0
347.33/347.40	c  347s |      16 |   187483 |   144452 |     6614     38 |        0 |        0
349.53/349.63	c  349s |      16 |   188298 |   145152 |     6614     38 |        0 |        0
351.73/351.88	c  351s |      16 |   188969 |   145752 |     6614     38 |        0 |        0
354.03/354.18	c  353s |      16 |   189506 |   146252 |     6614     38 |        0 |        0
356.14/356.25	c  355s |      16 |   190086 |   146752 |     6614     38 |        0 |        0
358.54/358.65	c  358s |      16 |   190764 |   147352 |     6614     38 |        0 |        0
360.93/361.03	c  360s |      16 |   191328 |   147852 |     6614     38 |        0 |        0
363.13/363.22	c  362s |      16 |   191769 |   148252 |     6614     39 |        0 |        0
365.24/365.32	c  365s |      16 |   192434 |   148852 |     6614     39 |        0 |        0
367.34/367.44	c  367s |      16 |   193028 |   149352 |     6614     39 |        0 |        0
369.53/369.65	c  369s |      16 |   193602 |   149852 |     6614     39 |        0 |        0
371.63/371.76	c  371s |      16 |   194304 |   150452 |     6614     39 |        0 |        0
373.63/373.79	c  373s |      16 |   194844 |   150952 |     6614     39 |        0 |        0
375.83/375.96	c  375s |      16 |   195276 |   151352 |     6614     39 |        0 |        0
378.03/378.19	c  377s |      16 |   195821 |   151852 |     6614     39 |        0 |        0
380.23/380.38	c  380s |      16 |   196362 |   152352 |     6614     39 |        0 |        0
382.43/382.54	c  382s |      16 |   196911 |   152852 |     6614     39 |        0 |        0
385.23/385.30	c  385s |      16 |   197488 |   153352 |     6614     40 |        0 |        0
387.63/387.77	c  387s |      16 |   198171 |   153952 |     6614     40 |        0 |        0
389.73/389.83	c  389s |      16 |   198623 |   154352 |     6614     40 |        0 |        0
391.83/391.91	c  391s |      16 |   199078 |   154752 |     6614     40 |        0 |        0
394.23/394.32	c  394s |      16 |   199729 |   155352 |     6614     40 |        0 |        0
396.53/396.65	c  396s |      16 |   200361 |   155952 |     6614     40 |        0 |        0
398.62/398.72	c  398s |      16 |   200903 |   156452 |     6614     40 |        0 |        0
400.92/401.03	c  400s |      16 |   201439 |   156952 |     6614     40 |        0 |        0
403.03/403.15	c  402s |      16 |   202007 |   157452 |     6614     40 |        0 |        0
405.33/405.45	c  405s |      16 |   202546 |   157952 |     6614     40 |        0 |        0
407.42/407.59	c  407s |      16 |   203021 |   158352 |     6614     40 |        0 |        0
409.62/409.77	c  409s |      16 |   204640 |   158952 |     6614     41 |        0 |        0
411.82/411.96	c  411s |      16 |   206719 |   159652 |     6614     41 |        0 |        0
414.02/414.10	c  413s |      16 |   208586 |   160352 |     6614     41 |        0 |        0
416.13/416.21	c  415s |      16 |   211109 |   161052 |     6614     41 |        0 |        0
418.13/418.28	c  418s |      16 |   214331 |   161852 |     6614     41 |        0 |        0
420.32/420.40	c  420s |      16 |   216684 |   162652 |     6614     41 |        0 |        0
422.33/422.43	c  422s |      16 |   217885 |   163252 |     6614     41 |        0 |        0
424.53/424.61	c  424s |      16 |   219285 |   163752 |     6614     42 |        0 |        0
426.52/426.65	c  426s |      16 |   220382 |   164352 |     6614     42 |        0 |        0
428.72/428.88	c  428s |      16 |   223258 |   165152 |     6614     42 |        0 |        0
430.92/431.03	c  430s |      16 |   224612 |   165852 |     6614     42 |        0 |        0
432.92/433.08	c  432s |      16 |   225353 |   166452 |     6614     42 |        0 |        0
435.12/435.24	c  434s |      16 |   226165 |   167152 |     6614     42 |        0 |        0
437.22/437.38	c  437s |      16 |   227320 |   167852 |     6614     42 |        0 |        0
439.42/439.53	c  439s |      16 |   228362 |   168452 |     6614     42 |        0 |        0
441.52/441.61	c  441s |      16 |   229070 |   168952 |     6614     43 |        0 |        0
443.72/443.89	c  443s |      16 |   230382 |   169652 |     6614     43 |        0 |        0
445.92/446.04	c  445s |      16 |   231789 |   170252 |     6614     43 |        0 |        0
448.02/448.19	c  447s |      16 |   233027 |   170952 |     6614     43 |        0 |        0
450.12/450.21	c  449s |      16 |   234078 |   171552 |     6614     43 |        0 |        0
452.22/452.39	c  452s |      16 |   235643 |   172452 |     6614     43 |        0 |        0
454.42/454.56	c  454s |      16 |   237310 |   173252 |     6614     43 |        0 |        0
456.92/457.01	c  456s |      16 |   238186 |   173952 |     6614     44 |        0 |        0
458.91/459.07	c  458s |      16 |   239172 |   174652 |     6614     44 |        0 |        0
461.11/461.21	c  460s |      16 |   240067 |   175352 |     6614     44 |        0 |        0
463.22/463.36	c  463s |      16 |   240787 |   175952 |     6614     44 |        0 |        0
465.51/465.64	c  465s |      16 |   241559 |   176552 |     6614     44 |        0 |        0
467.81/467.95	c  467s |      16 |   242262 |   177052 |     6614     44 |        0 |        0
470.11/470.25	c  469s |      16 |   243210 |   177652 |     6614     44 |        0 |        0
472.22/472.36	c  472s |      16 |   244284 |   178252 |     6614     44 |        0 |        0
474.42/474.52	c  474s |      16 |   245102 |   178752 |     6614     44 |        0 |        0
476.62/476.79	c  476s |      16 |   245700 |   179252 |     6614     45 |        0 |        0
478.71/478.84	c  478s |      16 |   247998 |   179852 |     6614     45 |        0 |        0
480.81/480.91	c  480s |      16 |   249960 |   180652 |     6614     45 |        0 |        0
483.01/483.13	c  482s |      16 |   251151 |   181552 |     6614     45 |        0 |        0
485.21/485.39	c  485s |      16 |   252138 |   182352 |     6614     45 |        0 |        0
487.31/487.42	c  487s |      16 |   252983 |   183052 |     6614     45 |        0 |        0
489.41/489.57	c  489s |      16 |   253817 |   183752 |     6614     45 |        0 |        0
491.51/491.66	c  491s |      16 |   254539 |   184352 |     6614     46 |        0 |        0
493.62/493.70	c  493s |      16 |   255499 |   185152 |     6614     46 |        0 |        0
495.61/495.74	c  495s |      16 |   256281 |   185852 |     6614     46 |        0 |        0
497.91/498.04	c  497s |      16 |   257052 |   186552 |     6614     46 |        0 |        0
500.01/500.14	c  499s |      16 |   257786 |   187152 |     6614     46 |        0 |        0
502.41/502.50	c  502s |      16 |   258450 |   187752 |     6614     46 |        0 |        0
504.41/504.56	c  504s |      16 |   259023 |   188252 |     6614     46 |        0 |        0
506.51/506.61	c  506s |      16 |   259709 |   188852 |     6614     46 |        0 |        0
508.81/508.91	c  508s |      16 |   260379 |   189352 |     6614     47 |        0 |        0
510.91/511.07	c  510s |      16 |   261137 |   189952 |     6614     47 |        0 |        0
513.01/513.14	c  512s |      16 |   261835 |   190552 |     6614     47 |        0 |        0
515.11/515.20	c  514s |      16 |   262524 |   191052 |     6614     47 |        0 |        0
517.41/517.51	c  517s |      16 |   263313 |   191652 |     6614     47 |        0 |        0
519.61/519.79	c  519s |      16 |   263999 |   192252 |     6614     47 |        0 |        0
521.91/522.05	c  521s |      16 |   264946 |   192852 |     6614     47 |        0 |        0
524.00/524.18	c  523s |      16 |   265502 |   193352 |     6614     47 |        0 |        0
526.40/526.52	c  526s |      16 |   266044 |   193852 |     6614     47 |        0 |        0
528.80/528.94	c  528s |      16 |   266642 |   194352 |     6614     48 |        0 |        0
531.11/531.22	c  530s |      16 |   267494 |   195052 |     6614     48 |        0 |        0
533.31/533.40	c  533s |      16 |   268365 |   195752 |     6614     48 |        0 |        0
535.51/535.67	c  535s |      16 |   269118 |   196352 |     7276     48 |        0 |        0
537.61/537.74	c  537s |      16 |   269704 |   196852 |     7276     48 |        0 |        0
539.61/539.78	c  539s |      16 |   270305 |   197352 |     7276     48 |        0 |        0
540.01/540.11	c  539s |      17 |   270400 |   197432 |     7276     48 |        0 |        0
542.01/542.16	c  541s |      17 |   273347 |   198232 |     7276     49 |        0 |        0
544.21/544.33	c  544s |      17 |   274882 |   199532 |     7276     49 |        0 |        0
546.31/546.40	c  546s |      17 |   276009 |   200532 |     7276     49 |        0 |        0
548.41/548.56	c  548s |      17 |   276980 |   201432 |     7276     49 |        0 |        0
550.71/550.82	c  550s |      17 |   277986 |   202332 |     7276     49 |        0 |        0
552.71/552.84	c  552s |      17 |   278645 |   202932 |     7276     50 |        0 |        0
554.71/554.85	c  554s |      17 |   279621 |   203832 |     7276     50 |        0 |        0
556.81/556.90	c  556s |      17 |   280488 |   204632 |     7276     50 |        0 |        0
559.01/559.11	c  558s |      17 |   281246 |   205332 |     7276     50 |        0 |        0
561.01/561.13	c  560s |      17 |   282019 |   206032 |     7276     50 |        0 |        0
563.21/563.31	c  563s |      17 |   282944 |   206832 |     7276     50 |        0 |        0
565.31/565.44	c  565s |      17 |   283678 |   207432 |     7276     51 |        0 |        0
567.61/567.73	c  567s |      17 |   284740 |   208332 |     7276     51 |        0 |        0
569.60/569.75	c  569s |      17 |   285390 |   208932 |     7276     51 |        0 |        0
571.70/571.89	c  571s |      17 |   286015 |   209532 |     7276     51 |        0 |        0
573.90/574.04	c  573s |      17 |   286917 |   210332 |     7276     51 |        0 |        0
576.00/576.19	c  575s |      17 |   287685 |   211032 |     7276     51 |        0 |        0
578.30/578.41	c  578s |      17 |   288365 |   211632 |     7276     51 |        0 |        0
580.30/580.46	c  580s |      17 |   288903 |   212132 |     7276     52 |        0 |        0
582.50/582.65	c  582s |      17 |   289772 |   212932 |     7276     52 |        0 |        0
584.80/584.92	c  584s |      17 |   290784 |   213832 |     7276     52 |        0 |        0
586.90/587.09	c  586s |      17 |   291666 |   214632 |     7276     52 |        0 |        0
589.10/589.26	c  588s |      17 |   292528 |   215432 |     7276     52 |        0 |        0
591.30/591.42	c  591s |      17 |   293322 |   216132 |     7276     52 |        0 |        0
593.40/593.51	c  593s |      17 |   293887 |   216632 |     7276     53 |        0 |        0
595.40/595.58	c  595s |      17 |   294757 |   217432 |     7276     53 |        0 |        0
597.70/597.86	c  597s |      17 |   295655 |   218232 |     7276     53 |        0 |        0
599.80/599.94	c  599s |      17 |   296442 |   218932 |     7276     53 |        0 |        0
601.90/602.01	c  601s |      17 |   297208 |   219632 |     7276     53 |        0 |        0
603.90/604.08	c  603s |      17 |   297968 |   220332 |     7276     53 |        0 |        0
606.00/606.19	c  605s |      17 |   298739 |   221032 |     7276     53 |        0 |        0
608.40/608.51	c  608s |      17 |   299513 |   221732 |     7276     54 |        0 |        0
610.40/610.55	c  610s |      17 |   300184 |   222332 |     7276     54 |        0 |        0
612.49/612.67	c  612s |      17 |   301067 |   223132 |     7276     54 |        0 |        0
614.69/614.83	c  614s |      17 |   301930 |   223932 |     7276     54 |        0 |        0
616.89/617.02	c  616s |      17 |   302799 |   224732 |     7276     54 |        0 |        0
618.99/619.14	c  618s |      17 |   303576 |   225432 |     7276     54 |        0 |        0
620.99/621.18	c  620s |      17 |   304232 |   226032 |     7276     55 |        0 |        0
623.09/623.26	c  622s |      17 |   305004 |   226732 |     7276     55 |        0 |        0
625.19/625.33	c  625s |      17 |   305768 |   227432 |     7276     55 |        0 |        0
627.39/627.51	c  627s |      17 |   306513 |   228132 |     7276     55 |        0 |        0
629.39/629.53	c  629s |      17 |   307151 |   228732 |     7276     55 |        0 |        0
631.59/631.75	c  631s |      17 |   307797 |   229332 |     7276     55 |        0 |        0
633.60/633.78	c  633s |      17 |   308455 |   229932 |     7276     55 |        0 |        0
635.70/635.87	c  635s |      17 |   309104 |   230532 |     7276     56 |        0 |        0
638.00/638.17	c  637s |      17 |   309884 |   231232 |     7276     56 |        0 |        0
640.09/640.26	c  639s |      17 |   310532 |   231832 |     7276     56 |        0 |        0
642.30/642.48	c  642s |      17 |   311202 |   232432 |     7276     56 |        0 |        0
644.39/644.53	c  644s |      17 |   311895 |   233032 |     7276     56 |        0 |        0
646.39/646.58	c  646s |      17 |   312545 |   233632 |     7276     56 |        0 |        0
648.49/648.69	c  648s |      17 |   313204 |   234232 |     7276     56 |        0 |        0
650.59/650.80	c  650s |      17 |   313873 |   234832 |     7276     56 |        0 |        0
652.79/652.92	c  652s |      17 |   314428 |   235332 |     7276     57 |        0 |        0
654.79/654.95	c  654s |      17 |   315120 |   235932 |     7276     57 |        0 |        0
656.99/657.18	c  656s |      17 |   316099 |   236832 |     7276     57 |        0 |        0
659.29/659.42	c  659s |      17 |   317102 |   237732 |     7276     57 |        0 |        0
661.49/661.65	c  661s |      17 |   317870 |   238432 |     7276     57 |        0 |        0
663.49/663.66	c  663s |      17 |   318531 |   239032 |     7276     57 |        0 |        0
665.79/665.99	c  665s |      17 |   319175 |   239632 |     7276     57 |        0 |        0
667.89/668.07	c  667s |      17 |   319711 |   240132 |     7276     58 |        0 |        0
669.99/670.16	c  669s |      17 |   320350 |   240732 |     7276     58 |        0 |        0
672.29/672.43	c  672s |      17 |   320984 |   241332 |     7276     58 |        0 |        0
674.29/674.48	c  674s |      17 |   321768 |   242032 |     7276     58 |        0 |        0
676.39/676.55	c  676s |      17 |   322529 |   242732 |     7276     58 |        0 |        0
678.69/678.86	c  678s |      17 |   323292 |   243432 |     7276     58 |        0 |        0
680.89/681.02	c  680s |      17 |   323932 |   244032 |     7276     58 |        0 |        0
683.09/683.29	c  683s |      17 |   324578 |   244632 |     7276     59 |        0 |        0
685.19/685.39	c  685s |      17 |   325211 |   245232 |     7276     59 |        0 |        0
687.28/687.43	c  687s |      17 |   325885 |   245832 |     7276     59 |        0 |        0
689.48/689.69	c  689s |      17 |   326652 |   246532 |     7276     59 |        0 |        0
691.58/691.75	c  691s |      17 |   327207 |   247032 |     7276     59 |        0 |        0
693.68/693.89	c  693s |      17 |   327916 |   247632 |     7276     59 |        0 |        0
695.88/696.04	c  695s |      17 |   328700 |   248332 |     7276     59 |        0 |        0
698.08/698.29	c  698s |      17 |   329433 |   249032 |     7276     59 |        0 |        0
700.18/700.36	c  700s |      17 |   330083 |   249632 |     7276     60 |        0 |        0
702.38/702.55	c  702s |      17 |   330841 |   250332 |     7276     60 |        0 |        0
704.58/704.80	c  704s |      17 |   331614 |   251032 |     7276     60 |        0 |        0
706.68/706.87	c  706s |      17 |   332260 |   251632 |     7276     60 |        0 |        0
709.18/709.37	c  709s |      17 |   332974 |   252232 |     7276     60 |        0 |        0
711.38/711.56	c  711s |      17 |   333916 |   253032 |     7276     60 |        0 |        0
713.48/713.68	c  713s |      17 |   334676 |   253732 |     7276     61 |        0 |        0
715.48/715.68	c  715s |      17 |   335447 |   254432 |     7276     61 |        0 |        0
717.77/717.92	c  717s |      17 |   336366 |   255232 |     7276     61 |        0 |        0
719.97/720.12	c  719s |      17 |   337124 |   255932 |     7276     61 |        0 |        0
722.18/722.39	c  722s |      17 |   337867 |   256632 |     7276     61 |        0 |        0
724.48/724.66	c  724s |      17 |   338635 |   257332 |     7276     61 |        0 |        0
726.58/726.73	c  726s |      17 |   339318 |   257932 |     7276     61 |        0 |        0
728.78/728.98	c  728s |      17 |   339978 |   258532 |     7276     62 |        0 |        0
730.98/731.19	c  730s |      17 |   340740 |   259232 |     7276     62 |        0 |        0
733.18/733.33	c  733s |      17 |   341667 |   260032 |     7276     62 |        0 |        0
735.18/735.38	c  735s |      17 |   342451 |   260732 |     7276     62 |        0 |        0
737.47/737.69	c  737s |      17 |   343227 |   261432 |     7276     62 |        0 |        0
739.77/739.94	c  739s |      17 |   343881 |   262032 |     7276     62 |        0 |        0
741.97/742.11	c  741s |      17 |   344421 |   262532 |     7276     62 |        0 |        0
744.67/744.89	c  744s |      17 |   344977 |   263032 |     7276     63 |        0 |        0
746.87/747.04	c  746s |      17 |   345494 |   263532 |     7276     63 |        0 |        0
749.16/749.34	c  749s |      17 |   346158 |   264132 |     7276     63 |        0 |        0
751.16/751.36	c  751s |      17 |   346822 |   264732 |     7276     63 |        0 |        0
753.37/753.53	c  753s |      17 |   347366 |   265232 |     7276     63 |        0 |        0
755.76/755.99	c  755s |      17 |   347908 |   265732 |     7276     63 |        0 |        0
758.06/758.24	c  757s |      17 |   348552 |   266332 |     7276     63 |        0 |        0
760.36/760.51	c  760s |      17 |   349410 |   267132 |     7276     63 |        0 |        0
762.46/762.67	c  762s |      17 |   350079 |   267732 |     7276     64 |        0 |        0
764.76/764.94	c  764s |      17 |   350946 |   268532 |     7276     64 |        0 |        0
766.86/767.05	c  766s |      17 |   351717 |   269232 |     7276     64 |        0 |        0
769.16/769.31	c  769s |      17 |   352452 |   269932 |     7276     64 |        0 |        0
771.15/771.36	c  771s |      17 |   353213 |   270632 |     7276     64 |        0 |        0
773.35/773.59	c  773s |      17 |   353963 |   271332 |     7276     64 |        0 |        0
775.36/775.60	c  775s |      17 |   354609 |   271932 |     7276     64 |        0 |        0
777.66/777.84	c  777s |      17 |   355390 |   272632 |     7276     65 |        0 |        0
779.86/780.09	c  779s |      17 |   356271 |   273432 |     7276     65 |        0 |        0
781.96/782.16	c  781s |      17 |   357100 |   274132 |     7276     65 |        0 |        0
783.95/784.19	c  783s |      17 |   357883 |   274832 |     7276     65 |        0 |        0
786.25/786.46	c  786s |      17 |   358806 |   275632 |     7276     65 |        0 |        0
788.55/788.74	c  788s |      17 |   359570 |   276332 |     7276     65 |        0 |        0
791.05/791.29	c  791s |      17 |   360211 |   276932 |     7276     66 |        0 |        0
793.35/793.54	c  793s |      17 |   361012 |   277632 |     7276     66 |        0 |        0
795.55/795.72	c  795s |      17 |   361799 |   278332 |     7276     66 |        0 |        0
797.75/797.94	c  797s |      17 |   362692 |   279132 |     7276     66 |        0 |        0
800.14/800.30	c  800s |      17 |   363488 |   279832 |     7276     66 |        0 |        0
802.14/802.34	c  802s |      17 |   364124 |   280432 |     7276     66 |        0 |        0
804.14/804.38	c  804s |      17 |   364804 |   281032 |     7276     66 |        0 |        0
806.25/806.42	c  806s |      17 |   365454 |   281632 |     7276     67 |        0 |        0
808.24/808.44	c  808s |      17 |   365989 |   282132 |     7276     67 |        0 |        0
810.34/810.57	c  810s |      17 |   366646 |   282732 |     7276     67 |        0 |        0
812.63/812.81	c  812s |      17 |   367297 |   283332 |     7276     67 |        0 |        0
814.83/815.00	c  814s |      17 |   367986 |   283932 |     7276     67 |        0 |        0
817.04/817.29	c  817s |      17 |   368732 |   284632 |     7276     67 |        0 |        0
819.14/819.31	c  819s |      17 |   369494 |   285332 |     7276     67 |        0 |        0
821.34/821.57	c  821s |      17 |   370146 |   285932 |     7276     67 |        0 |        0
823.34/823.59	c  823s |      17 |   370587 |   286332 |     7276     68 |        0 |        0
825.54/825.71	c  825s |      17 |   371448 |   287132 |     7276     68 |        0 |        0
827.74/827.95	c  827s |      17 |   372476 |   288032 |     7276     68 |        0 |        0
830.03/830.28	c  830s |      17 |   373364 |   288832 |     7276     68 |        0 |        0
832.23/832.40	c  832s |      17 |   374125 |   289532 |     7276     68 |        0 |        0
834.33/834.53	c  834s |      17 |   374777 |   290132 |     7276     68 |        0 |        0
836.53/836.73	c  836s |      17 |   375416 |   290732 |     7276     68 |        0 |        0
838.62/838.82	c  838s |      17 |   376071 |   291332 |     7276     69 |        0 |        0
840.92/841.15	c  840s |      17 |   376704 |   291932 |     7276     69 |        0 |        0
842.92/843.19	c  842s |      17 |   377361 |   292532 |     7276     69 |        0 |        0
845.22/845.48	c  845s |      17 |   378219 |   293332 |     7276     69 |        0 |        0
847.42/847.67	c  847s |      17 |   378953 |   294032 |     7276     69 |        0 |        0
849.61/849.82	c  849s |      17 |   379652 |   294632 |     8004     69 |        0 |        0
851.81/852.05	c  851s |      17 |   380316 |   295232 |     8004     69 |        0 |        0
853.91/854.14	c  853s |      17 |   380988 |   295832 |     8004     69 |        0 |        0
855.32/855.58	c  855s |      18 |   381439 |   296252 |     8004     70 |        0 |        0
857.52/857.70	c  857s |      18 |   384139 |   297152 |     8004     70 |        0 |        0
859.51/859.75	c  859s |      18 |   385296 |   298152 |     8004     70 |        0 |        0
861.51/861.75	c  861s |      18 |   386299 |   299052 |     8004     70 |        0 |        0
863.51/863.76	c  863s |      18 |   387156 |   299852 |     8004     70 |        0 |        0
865.62/865.88	c  865s |      18 |   388070 |   300652 |     8004     70 |        0 |        0
867.61/867.89	c  867s |      18 |   388846 |   301352 |     8004     70 |        0 |        0
869.91/870.15	c  869s |      18 |   389615 |   302052 |     8004     71 |        0 |        0
872.01/872.27	c  871s |      18 |   390372 |   302752 |     8004     71 |        0 |        0
874.11/874.35	c  874s |      18 |   391146 |   303452 |     8004     71 |        0 |        0
876.20/876.40	c  876s |      18 |   391819 |   304052 |     8004     71 |        0 |        0
878.50/878.71	c  878s |      18 |   392572 |   304752 |     8004     71 |        0 |        0
880.50/880.77	c  880s |      18 |   393267 |   305352 |     8004     71 |        0 |        0
882.80/883.01	c  882s |      18 |   394170 |   306152 |     8004     71 |        0 |        0
885.00/885.25	c  884s |      18 |   394943 |   306852 |     8004     72 |        0 |        0
887.20/887.41	c  887s |      18 |   395801 |   307652 |     8004     72 |        0 |        0
889.20/889.46	c  889s |      18 |   396563 |   308352 |     8004     72 |        0 |        0
891.29/891.58	c  891s |      18 |   397380 |   309052 |     8004     72 |        0 |        0
893.29/893.59	c  893s |      18 |   398184 |   309752 |     8004     72 |        0 |        0
895.69/895.93	c  895s |      18 |   398971 |   310452 |     8004     72 |        0 |        0
897.80/898.06	c  897s |      18 |   399521 |   310952 |     8004     72 |        0 |        0
899.89/900.18	c  899s |      18 |   400093 |   311452 |     8004     72 |        0 |        0
902.09/902.31	c  902s |      18 |   400662 |   311952 |     8004     73 |        0 |        0
904.19/904.48	c  904s |      18 |   401339 |   312552 |     8004     73 |        0 |        0
906.39/906.63	c  906s |      18 |   402020 |   313152 |     8004     73 |        0 |        0
908.39/908.65	c  908s |      18 |   402573 |   313652 |     8004     73 |        0 |        0
910.69/910.92	c  910s |      18 |   403236 |   314252 |     8004     73 |        0 |        0
912.89/913.11	c  912s |      18 |   404009 |   314952 |     8004     73 |        0 |        0
914.99/915.21	c  914s |      18 |   404666 |   315552 |     8004     73 |        0 |        0
917.29/917.50	c  917s |      18 |   405454 |   316252 |     8004     73 |        0 |        0
919.48/919.72	c  919s |      18 |   406123 |   316852 |     8004     74 |        0 |        0
921.58/921.89	c  921s |      18 |   406971 |   317652 |     8004     74 |        0 |        0
923.68/923.92	c  923s |      18 |   407730 |   318352 |     8004     74 |        0 |        0
926.09/926.36	c  926s |      18 |   408492 |   319052 |     8004     74 |        0 |        0
928.19/928.49	c  928s |      18 |   409258 |   319752 |     8004     74 |        0 |        0
930.39/930.66	c  930s |      18 |   410039 |   320452 |     8004     74 |        0 |        0
932.69/932.92	c  932s |      18 |   410804 |   321152 |     8004     74 |        0 |        0
934.98/935.24	c  934s |      18 |   411585 |   321852 |     8004     74 |        0 |        0
937.28/937.59	c  937s |      18 |   412268 |   322452 |     8004     75 |        0 |        0
939.57/939.82	c  939s |      18 |   413144 |   323252 |     8004     75 |        0 |        0
941.67/941.91	c  941s |      18 |   413838 |   323852 |     8004     75 |        0 |        0
943.87/944.15	c  943s |      18 |   414488 |   324452 |     8004     75 |        0 |        0
946.07/946.36	c  946s |      18 |   415144 |   325052 |     8004     75 |        0 |        0
948.46/948.73	c  948s |      18 |   415807 |   325652 |     8004     75 |        0 |        0
950.86/951.19	c  950s |      18 |   416451 |   326252 |     8004     75 |        0 |        0
952.96/953.22	c  952s |      18 |   417127 |   326852 |     8004     75 |        0 |        0
955.06/955.39	c  955s |      18 |   417784 |   327452 |     8004     76 |        0 |        0
957.26/957.51	c  957s |      18 |   418558 |   328152 |     8004     76 |        0 |        0
959.26/959.56	c  959s |      18 |   419318 |   328852 |     8004     76 |        0 |        0
961.35/961.63	c  961s |      18 |   419965 |   329452 |     8004     76 |        0 |        0
963.55/963.80	c  963s |      18 |   420611 |   330052 |     8004     76 |        0 |        0
965.45/965.80	c  965s |      18 |   421144 |   330552 |     8004     76 |        0 |        0
967.76/968.03	c  967s |      18 |   421832 |   331152 |     8004     76 |        0 |        0
969.75/970.09	c  969s |      18 |   422510 |   331752 |     8004     76 |        0 |        0
971.95/972.27	c  971s |      18 |   423050 |   332252 |     8004     77 |        0 |        0
974.06/974.31	c  974s |      18 |   423704 |   332852 |     8004     77 |        0 |        0
976.25/976.51	c  976s |      18 |   424489 |   333552 |     8004     77 |        0 |        0
978.25/978.53	c  978s |      18 |   425145 |   334152 |     8004     77 |        0 |        0
980.45/980.79	c  980s |      18 |   425797 |   334752 |     8004     77 |        0 |        0
982.55/982.89	c  982s |      18 |   426328 |   335252 |     8004     77 |        0 |        0
984.85/985.18	c  984s |      18 |   427103 |   335952 |     8004     77 |        0 |        0
987.05/987.35	c  987s |      18 |   427774 |   336552 |     8004     77 |        0 |        0
989.24/989.58	c  989s |      18 |   428449 |   337152 |     8004     77 |        0 |        0
991.34/991.65	c  991s |      18 |   428983 |   337652 |     8004     78 |        0 |        0
993.54/993.87	c  993s |      18 |   429628 |   338252 |     8004     78 |        0 |        0
996.23/996.57	c  996s |      18 |   430290 |   338852 |     8004     78 |        0 |        0
998.54/998.82	c  998s |      18 |   431162 |   339652 |     8004     78 |        0 |        0
1000.53/1000.87	c 1000s |      18 |   431802 |   340252 |     8004     78 |        0 |        0
1002.63/1002.98	c 1002s |      18 |   432467 |   340852 |     8004     78 |        0 |        0
1005.03/1005.37	c 1005s |      18 |   433122 |   341452 |     8004     78 |        0 |        0
1007.43/1007.76	c 1007s |      18 |   433758 |   342052 |     8004     78 |        0 |        0
1010.12/1010.40	c 1010s |      18 |   434302 |   342552 |     8004     79 |        0 |        0
1012.32/1012.64	c 1012s |      18 |   434880 |   343052 |     8004     79 |        0 |        0
1014.53/1014.88	c 1014s |      18 |   435638 |   343752 |     8004     79 |        0 |        0
1016.63/1016.91	c 1016s |      18 |   436291 |   344352 |     8004     79 |        0 |        0
1018.83/1019.16	c 1018s |      18 |   437048 |   345052 |     8004     79 |        0 |        0
1021.02/1021.36	c 1021s |      18 |   437694 |   345652 |     8004     79 |        0 |        0
1023.22/1023.58	c 1023s |      18 |   438343 |   346252 |     8004     79 |        0 |        0
1025.52/1025.81	c 1025s |      18 |   438875 |   346752 |     8004     79 |        0 |        0
1027.62/1027.92	c 1027s |      18 |   439413 |   347252 |     8004     79 |        0 |        0
1029.61/1029.93	c 1029s |      18 |   439854 |   347652 |     8004     80 |        0 |        0
1031.62/1031.99	c 1031s |      18 |   440586 |   348252 |     8004     80 |        0 |        0
1033.82/1034.11	c 1033s |      18 |   441383 |   348952 |     8004     80 |        0 |        0
1035.92/1036.29	c 1036s |      18 |   442194 |   349652 |     8004     80 |        0 |        0
1038.22/1038.54	c 1038s |      18 |   442918 |   350252 |     8004     80 |        0 |        0
1040.42/1040.76	c 1040s |      18 |   443641 |   350852 |     8004     80 |        0 |        0
1042.71/1043.08	c 1042s |      18 |   444430 |   351552 |     8004     80 |        0 |        0
1044.91/1045.28	c 1045s |      18 |   445116 |   352152 |     8004     80 |        0 |        0
1047.51/1047.85	c 1047s |      18 |   445791 |   352752 |     8004     81 |        0 |        0
1049.80/1050.11	c 1049s |      18 |   446443 |   353352 |     8004     81 |        0 |        0
1051.90/1052.24	c 1051s |      18 |   447119 |   353952 |     8004     81 |        0 |        0
1054.10/1054.46	c 1054s |      18 |   447759 |   354552 |     8004     81 |        0 |        0
1056.30/1056.63	c 1056s |      18 |   448440 |   355152 |     8004     81 |        0 |        0
1058.49/1058.87	c 1058s |      18 |   449094 |   355752 |     8004     81 |        0 |        0
1060.59/1060.92	c 1060s |      18 |   449645 |   356252 |     8004     81 |        0 |        0
1062.69/1063.03	c 1062s |      18 |   450187 |   356752 |     8004     81 |        0 |        0
1064.99/1065.38	c 1065s |      18 |   450853 |   357352 |     8004     81 |        0 |        0
1067.29/1067.66	c 1067s |      18 |   451387 |   357852 |     8004     81 |        0 |        0
1069.39/1069.73	c 1069s |      18 |   451831 |   358252 |     8004     82 |        0 |        0
1071.39/1071.73	c 1071s |      18 |   452354 |   358752 |     8004     82 |        0 |        0
1073.69/1074.04	c 1073s |      18 |   452896 |   359252 |     8004     82 |        0 |        0
1075.89/1076.28	c 1076s |      18 |   453436 |   359752 |     8004     82 |        0 |        0
1078.19/1078.54	c 1078s |      18 |   453977 |   360252 |     8004     82 |        0 |        0
1080.38/1080.77	c 1080s |      18 |   454526 |   360752 |     8004     82 |        0 |        0
1082.68/1083.03	c 1082s |      18 |   455048 |   361252 |     8004     82 |        0 |        0
1084.99/1085.39	c 1085s |      18 |   455575 |   361752 |     8004     82 |        0 |        0
1087.09/1087.48	c 1087s |      18 |   456004 |   362152 |     8004     82 |        0 |        0
1089.38/1089.70	c 1089s |      18 |   456423 |   362552 |     8004     82 |        0 |        0
1091.99/1092.34	c 1092s |      18 |   456977 |   363052 |     8004     83 |        0 |        0
1094.19/1094.55	c 1094s |      18 |   457669 |   363652 |     8004     83 |        0 |        0
1096.38/1096.75	c 1096s |      18 |   458433 |   364352 |     8004     83 |        0 |        0
1098.47/1098.83	c 1098s |      18 |   459103 |   364952 |     8004     83 |        0 |        0
1100.88/1101.23	c 1100s |      18 |   459766 |   365552 |     8004     83 |        0 |        0
1103.17/1103.56	c 1103s |      18 |   460448 |   366152 |     8004     83 |        0 |        0
1105.37/1105.71	c 1105s |      18 |   461005 |   366652 |     8004     83 |        0 |        0
1107.67/1108.04	c 1107s |      18 |   461657 |   367252 |     8004     83 |        0 |        0
1109.67/1110.04	c 1109s |      18 |   462204 |   367752 |     8004     83 |        0 |        0
1111.78/1112.15	c 1111s |      18 |   462644 |   368152 |     8004     84 |        0 |        0
1113.87/1114.26	c 1113s |      18 |   463289 |   368752 |     8004     84 |        0 |        0
1116.18/1116.51	c 1116s |      18 |   463948 |   369352 |     8004     84 |        0 |        0
1118.38/1118.75	c 1118s |      18 |   464591 |   369952 |     8004     84 |        0 |        0
1120.58/1120.94	c 1120s |      18 |   465132 |   370452 |     8004     84 |        0 |        0
1122.88/1123.25	c 1122s |      18 |   465825 |   371052 |     8004     84 |        0 |        0
1125.27/1125.62	c 1125s |      18 |   466495 |   371652 |     8004     84 |        0 |        0
1127.77/1128.12	c 1127s |      18 |   467042 |   372152 |     8004     84 |        0 |        0
1129.76/1130.13	c 1129s |      18 |   467489 |   372552 |     8004     84 |        0 |        0
1132.26/1132.60	c 1132s |      18 |   468280 |   373252 |     8004     85 |        0 |        0
1134.46/1134.87	c 1134s |      18 |   469033 |   373952 |     8004     85 |        0 |        0
1136.96/1137.32	c 1137s |      18 |   469803 |   374652 |     8004     85 |        0 |        0
1139.15/1139.58	c 1139s |      18 |   470554 |   375352 |     8004     85 |        0 |        0
1141.26/1141.67	c 1141s |      18 |   471217 |   375952 |     8004     85 |        0 |        0
1143.36/1143.71	c 1143s |      18 |   471738 |   376452 |     8004     85 |        0 |        0
1145.65/1146.09	c 1145s |      18 |   472365 |   377052 |     8004     85 |        0 |        0
1147.75/1148.15	c 1147s |      18 |   472902 |   377552 |     8004     85 |        0 |        0
1150.05/1150.42	c 1150s |      18 |   473544 |   378152 |     8004     85 |        0 |        0
1152.35/1152.70	c 1152s |      18 |   474081 |   378652 |     8004     86 |        0 |        0
1154.45/1154.81	c 1154s |      18 |   474758 |   379252 |     8004     86 |        0 |        0
1156.55/1156.98	c 1156s |      18 |   475423 |   379852 |     8004     86 |        0 |        0
1158.94/1159.34	c 1159s |      18 |   476058 |   380452 |     8004     86 |        0 |        0
1161.25/1161.61	c 1161s |      18 |   476723 |   381052 |     8004     86 |        0 |        0
1163.64/1164.03	c 1163s |      18 |   477371 |   381652 |     8004     86 |        0 |        0
1165.84/1166.25	c 1165s |      18 |   477921 |   382152 |     8004     86 |        0 |        0
1167.85/1168.26	c 1167s |      18 |   478349 |   382552 |     8004     86 |        0 |        0
1170.14/1170.57	c 1170s |      18 |   478885 |   383052 |     8004     86 |        0 |        0
1172.94/1173.34	c 1173s |      18 |   479411 |   383552 |     8004     87 |        0 |        0
1175.24/1175.61	c 1175s |      18 |   479933 |   384052 |     8004     87 |        0 |        0
1177.34/1177.70	c 1177s |      18 |   480615 |   384652 |     8004     87 |        0 |        0
1179.44/1179.85	c 1179s |      18 |   481381 |   385352 |     8004     87 |        0 |        0
1181.54/1181.91	c 1181s |      18 |   482064 |   385952 |     8004     87 |        0 |        0
1183.84/1184.24	c 1183s |      18 |   482727 |   386552 |     8004     87 |        0 |        0
1186.03/1186.48	c 1186s |      18 |   483383 |   387152 |     8004     87 |        0 |        0
1188.43/1188.86	c 1188s |      18 |   484036 |   387752 |     8004     87 |        0 |        0
1190.73/1191.17	c 1190s |      18 |   484702 |   388352 |     8004     87 |        0 |        0
1192.93/1193.34	c 1193s |      18 |   485229 |   388852 |     8004     88 |        0 |        0
1195.13/1195.51	c 1195s |      18 |   485884 |   389452 |     8004     88 |        0 |        0
1197.43/1197.84	c 1197s |      18 |   486523 |   390052 |     8004     88 |        0 |        0
1199.52/1199.93	c 1199s |      18 |   487052 |   390552 |     8004     88 |        0 |        0
1201.82/1202.29	c 1202s |      18 |   487698 |   391152 |     8004     88 |        0 |        0
1204.13/1204.55	c 1204s |      18 |   488233 |   391652 |     8004     88 |        0 |        0
1206.52/1206.94	c 1206s |      18 |   488888 |   392252 |     8004     88 |        0 |        0
1208.71/1209.10	c 1208s |      18 |   489422 |   392752 |     8004     88 |        0 |        0
1210.91/1211.30	c 1211s |      18 |   490004 |   393252 |     8004     88 |        0 |        0
1213.11/1213.59	c 1213s |      18 |   490564 |   393752 |     8004     89 |        0 |        0
1215.41/1215.83	c 1215s |      18 |   491350 |   394452 |     8004     89 |        0 |        0
1217.42/1217.87	c 1217s |      18 |   492004 |   395052 |     8004     89 |        0 |        0
1219.52/1219.92	c 1219s |      18 |   492647 |   395652 |     8004     89 |        0 |        0
1221.51/1221.94	c 1221s |      18 |   493281 |   396252 |     8004     89 |        0 |        0
1223.81/1224.27	c 1223s |      18 |   493936 |   396852 |     8004     89 |        0 |        0
1226.02/1226.41	c 1226s |      18 |   494575 |   397452 |     8004     89 |        0 |        0
1228.02/1228.45	c 1228s |      18 |   495110 |   397952 |     8004     89 |        0 |        0
1230.11/1230.50	c 1230s |      18 |   495528 |   398352 |     8004     89 |        0 |        0
1232.21/1232.67	c 1232s |      18 |   496076 |   398852 |     8004     89 |        0 |        0
1234.31/1234.74	c 1234s |      18 |   496505 |   399252 |     8004     90 |        0 |        0
1236.41/1236.87	c 1236s |      18 |   497026 |   399752 |     8004     90 |        0 |        0
1238.80/1239.22	c 1238s |      18 |   497681 |   400352 |     8004     90 |        0 |        0
1241.00/1241.44	c 1241s |      18 |   498212 |   400852 |     8004     90 |        0 |        0
1243.10/1243.56	c 1243s |      18 |   498762 |   401352 |     8004     90 |        0 |        0
1245.40/1245.88	c 1245s |      18 |   499647 |   402152 |     8004     90 |        0 |        0
1247.70/1248.19	c 1247s |      18 |   500412 |   402852 |     8004     90 |        0 |        0
1249.80/1250.22	c 1249s |      18 |   501069 |   403452 |     8004     90 |        0 |        0
1252.20/1252.62	c 1252s |      18 |   501695 |   404052 |     8004     91 |        0 |        0
1254.20/1254.68	c 1254s |      18 |   502387 |   404652 |     8004     91 |        0 |        0
1256.50/1256.97	c 1256s |      18 |   503017 |   405252 |     8004     91 |        0 |        0
1258.79/1259.21	c 1258s |      18 |   503659 |   405852 |     8004     91 |        0 |        0
1260.99/1261.49	c 1261s |      18 |   504301 |   406452 |     8004     91 |        0 |        0
1263.10/1263.50	c 1263s |      18 |   504829 |   406952 |     8004     91 |        0 |        0
1265.20/1265.65	c 1265s |      18 |   505360 |   407452 |     8004     91 |        0 |        0
1267.30/1267.77	c 1267s |      18 |   505889 |   407952 |     8004     91 |        0 |        0
1269.39/1269.85	c 1269s |      18 |   506419 |   408452 |     8004     91 |        0 |        0
1271.59/1272.03	c 1271s |      18 |   506968 |   408952 |     8004     91 |        0 |        0
1273.69/1274.16	c 1273s |      18 |   507385 |   409352 |     8004     92 |        0 |        0
1275.70/1276.18	c 1275s |      18 |   507981 |   409852 |     8004     92 |        0 |        0
1277.80/1278.21	c 1277s |      18 |   509200 |   410852 |     8004     92 |        0 |        0
1279.99/1280.48	c 1280s |      18 |   510181 |   411652 |     8004     92 |        0 |        0
1282.29/1282.79	c 1282s |      18 |   510970 |   412352 |     8004     92 |        0 |        0
1284.49/1284.97	c 1284s |      18 |   511793 |   413052 |     8004     92 |        0 |        0
1286.69/1287.19	c 1286s |      18 |   512721 |   413852 |     8004     92 |        0 |        0
1288.68/1289.20	c 1288s |      18 |   513401 |   414452 |     8004     93 |        0 |        0
1290.78/1291.29	c 1291s |      18 |   514150 |   415152 |     8004     93 |        0 |        0
1292.98/1293.48	c 1293s |      18 |   514917 |   415852 |     8004     93 |        0 |        0
1295.08/1295.53	c 1295s |      18 |   515585 |   416452 |     8004     93 |        0 |        0
1297.28/1297.72	c 1297s |      18 |   516231 |   417052 |     8004     93 |        0 |        0
1299.47/1299.91	c 1299s |      18 |   516887 |   417652 |     8004     93 |        0 |        0
1301.57/1302.08	c 1301s |      18 |   517556 |   418252 |     8004     93 |        0 |        0
1303.67/1304.14	c 1303s |      18 |   518238 |   418852 |     8004     93 |        0 |        0
1305.97/1306.48	c 1306s |      18 |   518934 |   419452 |     8004     94 |        0 |        0
1308.27/1308.73	c 1308s |      18 |   519641 |   420052 |     8004     94 |        0 |        0
1310.37/1310.89	c 1310s |      18 |   520314 |   420652 |     8004     94 |        0 |        0
1312.77/1313.20	c 1312s |      18 |   520964 |   421252 |     8004     94 |        0 |        0
1314.77/1315.21	c 1314s |      18 |   521495 |   421752 |     8004     94 |        0 |        0
1316.87/1317.34	c 1317s |      18 |   522066 |   422252 |     8004     94 |        0 |        0
1319.07/1319.53	c 1319s |      18 |   522615 |   422752 |     8004     94 |        0 |        0
1321.17/1321.68	c 1321s |      18 |   523164 |   423252 |     8004     94 |        0 |        0
1323.46/1323.95	c 1323s |      18 |   523699 |   423752 |     8004     94 |        0 |        0
1325.77/1326.23	c 1325s |      18 |   524239 |   424252 |     8004     94 |        0 |        0
1327.77/1328.28	c 1328s |      18 |   524571 |   424552 |     8004     95 |        0 |        0
1330.16/1330.62	c 1330s |      18 |   525202 |   425152 |     8004     95 |        0 |        0
1332.36/1332.89	c 1332s |      18 |   526031 |   425852 |     8004     95 |        0 |        0
1334.56/1335.04	c 1334s |      18 |   526693 |   426452 |     8004     95 |        0 |        0
1336.76/1337.27	c 1336s |      18 |   527341 |   427052 |     8004     95 |        0 |        0
1338.76/1339.29	c 1339s |      18 |   527877 |   427552 |     8004     95 |        0 |        0
1341.06/1341.53	c 1341s |      18 |   528425 |   428052 |     8004     95 |        0 |        0
1343.25/1343.78	c 1343s |      18 |   528959 |   428552 |     8004     95 |        0 |        0
1345.65/1346.12	c 1345s |      18 |   529498 |   429052 |     8004     95 |        0 |        0
1347.66/1348.14	c 1347s |      18 |   529915 |   429452 |     8004     95 |        0 |        0
1349.65/1350.16	c 1349s |      18 |   530382 |   429852 |     8004     96 |        0 |        0
1351.65/1352.18	c 1351s |      18 |   531045 |   430452 |     8004     96 |        0 |        0
1354.05/1354.52	c 1354s |      18 |   531670 |   431052 |     8004     96 |        0 |        0
1356.25/1356.78	c 1356s |      18 |   532201 |   431552 |     8004     96 |        0 |        0
1358.54/1359.01	c 1358s |      18 |   532740 |   432052 |     8004     96 |        0 |        0
1360.74/1361.28	c 1361s |      18 |   533444 |   432652 |     8004     96 |        0 |        0
1363.04/1363.52	c 1363s |      18 |   534148 |   433252 |     8004     96 |        0 |        0
1365.34/1365.86	c 1365s |      18 |   534813 |   433852 |     8004     96 |        0 |        0
1367.84/1368.34	c 1368s |      18 |   535368 |   434352 |     8004     96 |        0 |        0
1370.14/1370.67	c 1370s |      18 |   535830 |   434752 |     8004     97 |        0 |        0
1372.24/1372.75	c 1372s |      18 |   536363 |   435252 |     8004     97 |        0 |        0
1374.44/1374.93	c 1374s |      18 |   537026 |   435852 |     8004     97 |        0 |        0
1376.75/1377.21	c 1376s |      18 |   537579 |   436352 |     8004     97 |        0 |        0
1379.14/1379.65	c 1379s |      18 |   538256 |   436952 |     8004     97 |        0 |        0
1381.15/1381.65	c 1381s |      18 |   538956 |   437552 |     8004     97 |        0 |        0
1383.35/1383.83	c 1383s |      18 |   539634 |   438152 |     8004     97 |        0 |        0
1385.54/1386.09	c 1385s |      18 |   540256 |   438652 |     8004     97 |        0 |        0
1387.74/1388.30	c 1388s |      18 |   540813 |   439152 |     8004     97 |        0 |        0
1390.14/1390.65	c 1390s |      18 |   541393 |   439652 |     8004     97 |        0 |        0
1392.15/1392.69	c 1392s |      18 |   541857 |   440052 |     8004     98 |        0 |        0
1394.54/1395.05	c 1394s |      18 |   542629 |   440752 |     8004     98 |        0 |        0
1396.94/1397.42	c 1397s |      18 |   543315 |   441352 |     8805     98 |        0 |        0
1398.94/1399.43	c 1399s |      18 |   543868 |   441852 |     8805     98 |        0 |        0
1401.24/1401.74	c 1401s |      18 |   544565 |   442452 |     8805     98 |        0 |        0
1403.53/1404.05	c 1403s |      18 |   545241 |   443052 |     8805     98 |        0 |        0
1405.83/1406.38	c 1406s |      18 |   545803 |   443552 |     8805     98 |        0 |        0
1408.03/1408.55	c 1408s |      18 |   546384 |   444052 |     8805     98 |        0 |        0
1409.93/1410.42	c 1410s |      19 |   546858 |   444482 |     8805     98 |        0 |        0
1411.94/1412.47	c 1412s |      19 |   550391 |   445782 |     8805     99 |        0 |        0
1414.14/1414.61	c 1414s |      19 |   552404 |   447482 |     8805     99 |        0 |        0
1416.23/1416.76	c 1416s |      19 |   553756 |   448682 |     8805     99 |        0 |        0
1418.23/1418.79	c 1418s |      19 |   554883 |   449682 |     8805     99 |        0 |        0
1420.33/1420.85	c 1420s |      19 |   555886 |   450582 |     8805     99 |        0 |        0
1422.53/1423.01	c 1422s |      19 |   556917 |   451482 |     8805    100 |        0 |        0
1424.53/1425.04	c 1424s |      19 |   558060 |   452482 |     8805    100 |        0 |        0
1426.63/1427.17	c 1426s |      19 |   559067 |   453382 |     8805    100 |        0 |        0
1428.73/1429.27	c 1428s |      19 |   559932 |   454182 |     8805    100 |        0 |        0
1430.83/1431.33	c 1431s |      19 |   560824 |   454982 |     8805    100 |        0 |        0
1433.13/1433.61	c 1433s |      19 |   561709 |   455782 |     8805    100 |        0 |        0
1435.13/1435.65	c 1435s |      19 |   562484 |   456482 |     8805    100 |        0 |        0
1437.34/1437.88	c 1437s |      19 |   563239 |   457182 |     8805    101 |        0 |        0
1439.63/1440.13	c 1439s |      19 |   564247 |   458082 |     8805    101 |        0 |        0
1441.64/1442.18	c 1441s |      19 |   565101 |   458782 |     8805    101 |        0 |        0
1443.84/1444.36	c 1444s |      19 |   566082 |   459682 |     8805    101 |        0 |        0
1445.93/1446.49	c 1446s |      19 |   566973 |   460482 |     8805    101 |        0 |        0
1448.23/1448.71	c 1448s |      19 |   567963 |   461382 |     8805    101 |        0 |        0
1450.33/1450.88	c 1450s |      19 |   568742 |   462082 |     8805    101 |        0 |        0
1452.43/1452.95	c 1452s |      19 |   569405 |   462682 |     8805    102 |        0 |        0
1454.73/1455.20	c 1454s |      19 |   570294 |   463482 |     8805    102 |        0 |        0
1457.03/1457.51	c 1457s |      19 |   571108 |   464182 |     8805    102 |        0 |        0
1459.12/1459.68	c 1459s |      19 |   571870 |   464882 |     8805    102 |        0 |        0
1461.43/1461.92	c 1461s |      19 |   572635 |   465582 |     8805    102 |        0 |        0
1463.52/1464.10	c 1463s |      19 |   573285 |   466182 |     8805    102 |        0 |        0
1465.72/1466.23	c 1465s |      19 |   573926 |   466782 |     8805    102 |        0 |        0
1467.92/1468.43	c 1468s |      19 |   574685 |   467482 |     8805    102 |        0 |        0
1470.13/1470.63	c 1470s |      19 |   575355 |   468082 |     8805    103 |        0 |        0
1472.23/1472.77	c 1472s |      19 |   576119 |   468782 |     8805    103 |        0 |        0
1474.32/1474.82	c 1474s |      19 |   576860 |   469482 |     8805    103 |        0 |        0
1476.83/1477.33	c 1477s |      19 |   577639 |   470182 |     8805    103 |        0 |        0
1479.03/1479.58	c 1479s |      19 |   578409 |   470882 |     8805    103 |        0 |        0
1481.24/1481.72	c 1481s |      19 |   579194 |   471582 |     8805    103 |        0 |        0
1483.33/1483.86	c 1483s |      19 |   579972 |   472282 |     8805    103 |        0 |        0
1485.43/1485.92	c 1485s |      19 |   580762 |   472982 |     8805    103 |        0 |        0
1488.03/1488.55	c 1488s |      19 |   581526 |   473682 |     8805    104 |        0 |        0
1490.03/1490.58	c 1490s |      19 |   582276 |   474382 |     8805    104 |        0 |        0
1492.23/1492.72	c 1492s |      19 |   583036 |   475082 |     8805    104 |        0 |        0
1494.43/1494.99	c 1494s |      19 |   583846 |   475782 |     8805    104 |        0 |        0
1496.73/1497.29	c 1497s |      19 |   584717 |   476582 |     8805    104 |        0 |        0
1498.93/1499.49	c 1499s |      19 |   585485 |   477282 |     8805    104 |        0 |        0
1501.32/1501.86	c 1501s |      19 |   586283 |   477982 |     8805    104 |        0 |        0
1503.32/1503.89	c 1503s |      19 |   586940 |   478582 |     8805    104 |        0 |        0
1505.52/1506.04	c 1505s |      19 |   587561 |   479182 |     8805    104 |        0 |        0
1507.73/1508.21	c 1507s |      19 |   588195 |   479782 |     8805    105 |        0 |        0
1509.72/1510.29	c 1510s |      19 |   589089 |   480582 |     8805    105 |        0 |        0
1511.82/1512.36	c 1512s |      19 |   589853 |   481282 |     8805    105 |        0 |        0
1514.02/1514.50	c 1514s |      19 |   590546 |   481882 |     8805    105 |        0 |        0
1516.22/1516.70	c 1516s |      19 |   591207 |   482482 |     8805    105 |        0 |        0
1518.42/1518.96	c 1518s |      19 |   591867 |   483082 |     8805    105 |        0 |        0
1520.72/1521.20	c 1520s |      19 |   592517 |   483682 |     8805    105 |        0 |        0
1522.92/1523.43	c 1523s |      19 |   593337 |   484382 |     8805    105 |        0 |        0
1525.52/1526.02	c 1525s |      19 |   594087 |   485082 |     8805    106 |        0 |        0
1527.72/1528.21	c 1527s |      19 |   594860 |   485782 |     8805    106 |        0 |        0
1529.72/1530.25	c 1529s |      19 |   595552 |   486382 |     8805    106 |        0 |        0
1531.82/1532.35	c 1532s |      19 |   596485 |   487182 |     8805    106 |        0 |        0
1534.02/1534.57	c 1534s |      19 |   597393 |   487982 |     8805    106 |        0 |        0
1536.32/1536.82	c 1536s |      19 |   598285 |   488782 |     8805    106 |        0 |        0
1538.32/1538.90	c 1538s |      19 |   599057 |   489482 |     8805    106 |        0 |        0
1540.62/1541.16	c 1540s |      19 |   599842 |   490182 |     8805    106 |        0 |        0
1542.92/1543.48	c 1543s |      19 |   600481 |   490782 |     8805    107 |        0 |        0
1545.03/1545.58	c 1545s |      19 |   601461 |   491582 |     8805    107 |        0 |        0
1547.12/1547.62	c 1547s |      19 |   602501 |   492482 |     8805    107 |        0 |        0
1549.12/1549.69	c 1549s |      19 |   603568 |   493382 |     8805    107 |        0 |        0
1551.32/1551.89	c 1551s |      19 |   604469 |   494182 |     8805    107 |        0 |        0
1553.42/1553.96	c 1553s |      19 |   605272 |   494882 |     8805    107 |        0 |        0
1555.61/1556.11	c 1555s |      19 |   606061 |   495582 |     8805    107 |        0 |        0
1557.71/1558.29	c 1558s |      19 |   606849 |   496282 |     8805    107 |        0 |        0
1559.81/1560.39	c 1560s |      19 |   607519 |   496882 |     8805    108 |        0 |        0
1561.91/1562.43	c 1562s |      19 |   608286 |   497582 |     8805    108 |        0 |        0
1564.11/1564.64	c 1564s |      19 |   609190 |   498382 |     8805    108 |        0 |        0
1566.31/1566.83	c 1566s |      19 |   609958 |   499082 |     8805    108 |        0 |        0
1568.41/1568.93	c 1568s |      19 |   610717 |   499782 |     8805    108 |        0 |        0
1570.62/1571.10	c 1570s |      19 |   611509 |   500482 |     8805    108 |        0 |        0
1572.82/1573.34	c 1573s |      19 |   612257 |   501182 |     8805    108 |        0 |        0
1575.11/1575.61	c 1575s |      19 |   612946 |   501782 |     8805    108 |        0 |        0
1577.31/1577.83	c 1577s |      19 |   613586 |   502382 |     8805    109 |        0 |        0
1579.41/1579.97	c 1579s |      19 |   614388 |   503082 |     8805    109 |        0 |        0
1581.61/1582.16	c 1581s |      19 |   615056 |   503682 |     8805    109 |        0 |        0
1583.81/1584.38	c 1584s |      19 |   615845 |   504382 |     8805    109 |        0 |        0
1586.01/1586.54	c 1586s |      19 |   616609 |   505082 |     8805    109 |        0 |        0
1588.11/1588.66	c 1588s |      19 |   617382 |   505782 |     8805    109 |        0 |        0
1590.21/1590.78	c 1590s |      19 |   618147 |   506482 |     8805    109 |        0 |        0
1592.41/1592.93	c 1592s |      19 |   618953 |   507182 |     8805    109 |        0 |        0
1594.41/1595.00	c 1594s |      19 |   619619 |   507782 |     8805    110 |        0 |        0
1596.71/1597.24	c 1596s |      19 |   620640 |   508682 |     8805    110 |        0 |        0
1598.70/1599.29	c 1599s |      19 |   621527 |   509482 |     8805    110 |        0 |        0
1600.90/1601.48	c 1601s |      19 |   622310 |   510182 |     8805    110 |        0 |        0
1603.20/1603.79	c 1603s |      19 |   623078 |   510882 |     8805    110 |        0 |        0
1605.51/1606.05	c 1605s |      19 |   623854 |   511582 |     8805    110 |        0 |        0
1607.90/1608.40	c 1608s |      19 |   624627 |   512282 |     8805    110 |        0 |        0
1610.10/1610.65	c 1610s |      19 |   625521 |   513082 |     8805    110 |        0 |        0
1612.30/1612.88	c 1612s |      19 |   626279 |   513782 |     8805    111 |        0 |        0
1614.50/1615.09	c 1614s |      19 |   627159 |   514582 |     8805    111 |        0 |        0
1616.70/1617.23	c 1616s |      19 |   628063 |   515382 |     8805    111 |        0 |        0
1618.91/1619.44	c 1619s |      19 |   628892 |   516082 |     8805    111 |        0 |        0
1621.11/1621.60	c 1621s |      19 |   629784 |   516882 |     8805    111 |        0 |        0
1623.41/1623.90	c 1623s |      19 |   630663 |   517582 |     8805    111 |        0 |        0
1625.50/1626.00	c 1625s |      19 |   631342 |   518182 |     8805    111 |        0 |        0
1627.61/1628.17	c 1627s |      19 |   632042 |   518782 |     8805    111 |        0 |        0
1629.71/1630.30	c 1630s |      19 |   632619 |   519282 |     8805    112 |        0 |        0
1632.10/1632.60	c 1632s |      19 |   633401 |   519982 |     8805    112 |        0 |        0
1634.21/1634.72	c 1634s |      19 |   634065 |   520582 |     8805    112 |        0 |        0
1636.50/1637.05	c 1636s |      19 |   634830 |   521282 |     8805    112 |        0 |        0
1638.80/1639.37	c 1639s |      19 |   635613 |   521982 |     8805    112 |        0 |        0
1640.81/1641.39	c 1641s |      19 |   636259 |   522582 |     8805    112 |        0 |        0
1643.01/1643.57	c 1643s |      19 |   636927 |   523182 |     8805    112 |        0 |        0
1645.30/1645.85	c 1645s |      19 |   637576 |   523782 |     8805    112 |        0 |        0
1647.40/1647.97	c 1647s |      19 |   638233 |   524382 |     8805    112 |        0 |        0
1649.50/1650.03	c 1649s |      19 |   638821 |   524882 |     8805    113 |        0 |        0
1651.71/1652.26	c 1651s |      19 |   639507 |   525482 |     8805    113 |        0 |        0
1653.80/1654.35	c 1654s |      19 |   640143 |   526082 |     8805    113 |        0 |        0
1655.90/1656.44	c 1656s |      19 |   640934 |   526782 |     8805    113 |        0 |        0
1657.90/1658.48	c 1658s |      19 |   641723 |   527482 |     8805    113 |        0 |        0
1659.99/1660.52	c 1660s |      19 |   642382 |   528082 |     8805    113 |        0 |        0
1662.09/1662.65	c 1662s |      19 |   643038 |   528682 |     8805    113 |        0 |        0
1664.29/1664.83	c 1664s |      19 |   643700 |   529282 |     8805    113 |        0 |        0
1666.39/1666.90	c 1666s |      19 |   644356 |   529882 |     8805    113 |        0 |        0
1668.49/1669.09	c 1668s |      19 |   644909 |   530382 |     8805    114 |        0 |        0
1670.60/1671.19	c 1670s |      19 |   645564 |   530982 |     8805    114 |        0 |        0
1672.71/1673.24	c 1672s |      19 |   646231 |   531582 |     8805    114 |        0 |        0
1674.81/1675.32	c 1675s |      19 |   646891 |   532182 |     8805    114 |        0 |        0
1676.90/1677.46	c 1677s |      19 |   647725 |   532882 |     8805    114 |        0 |        0
1678.90/1679.47	c 1679s |      19 |   648581 |   533582 |     8805    114 |        0 |        0
1681.10/1681.62	c 1681s |      19 |   649403 |   534282 |     8805    114 |        0 |        0
1683.40/1683.93	c 1683s |      19 |   650318 |   535082 |     8805    114 |        0 |        0
1685.50/1686.01	c 1685s |      19 |   650984 |   535682 |     8805    114 |        0 |        0
1687.69/1688.27	c 1688s |      19 |   651666 |   536282 |     8805    115 |        0 |        0
1689.79/1690.37	c 1690s |      19 |   652573 |   537082 |     8805    115 |        0 |        0
1691.89/1692.47	c 1692s |      19 |   653371 |   537782 |     8805    115 |        0 |        0
1693.99/1694.56	c 1694s |      19 |   654140 |   538482 |     8805    115 |        0 |        0
1696.09/1696.64	c 1696s |      19 |   654943 |   539182 |     8805    115 |        0 |        0
1698.10/1698.67	c 1698s |      19 |   655618 |   539782 |     8805    115 |        0 |        0
1700.39/1700.98	c 1700s |      19 |   656391 |   540482 |     8805    115 |        0 |        0
1702.59/1703.12	c 1702s |      19 |   657065 |   541082 |     8805    115 |        0 |        0
1704.89/1705.41	c 1705s |      19 |   657617 |   541582 |     8805    116 |        0 |        0
1707.19/1707.73	c 1707s |      19 |   658407 |   542282 |     8805    116 |        0 |        0
1709.29/1709.83	c 1709s |      19 |   659177 |   542982 |     8805    116 |        0 |        0
1711.49/1712.04	c 1711s |      19 |   659841 |   543582 |     8805    116 |        0 |        0
1713.69/1714.21	c 1713s |      19 |   660520 |   544182 |     8805    116 |        0 |        0
1715.99/1716.56	c 1716s |      19 |   661202 |   544782 |     8805    116 |        0 |        0
1718.09/1718.61	c 1718s |      19 |   661890 |   545382 |     8805    116 |        0 |        0
1720.29/1720.80	c 1720s |      19 |   662563 |   545982 |     8805    116 |        0 |        0
1722.29/1722.83	c 1722s |      19 |   663246 |   546582 |     8805    116 |        0 |        0
1724.49/1725.05	c 1724s |      19 |   663903 |   547182 |     8805    116 |        0 |        0
1726.59/1727.14	c 1726s |      19 |   664470 |   547682 |     8805    117 |        0 |        0
1728.89/1729.46	c 1729s |      19 |   665125 |   548282 |     8805    117 |        0 |        0
1731.19/1731.70	c 1731s |      19 |   665787 |   548882 |     8805    117 |        0 |        0
1733.19/1733.73	c 1733s |      19 |   666351 |   549382 |     8805    117 |        0 |        0
1735.48/1736.02	c 1735s |      19 |   667142 |   550082 |     8805    117 |        0 |        0
1737.60/1738.13	c 1737s |      19 |   667812 |   550682 |     8805    117 |        0 |        0
1739.80/1740.35	c 1740s |      19 |   668478 |   551282 |     8805    117 |        0 |        0
1742.19/1742.71	c 1742s |      19 |   669251 |   551982 |     8805    117 |        0 |        0
1744.49/1745.00	c 1744s |      19 |   669828 |   552482 |     8805    117 |        0 |        0
1746.79/1747.38	c 1747s |      19 |   670387 |   552982 |     8805    118 |        0 |        0
1748.88/1749.45	c 1749s |      19 |   670884 |   553382 |     8805    118 |        0 |        0
1750.98/1751.52	c 1751s |      19 |   671850 |   554282 |     8805    118 |        0 |        0
1753.28/1753.89	c 1753s |      19 |   672912 |   555182 |     8805    118 |        0 |        0
1755.48/1756.03	c 1755s |      19 |   673705 |   555882 |     8805    118 |        0 |        0
1757.48/1758.08	c 1757s |      19 |   674474 |   556582 |     8805    118 |        0 |        0
1759.78/1760.37	c 1760s |      19 |   675256 |   557282 |     8805    118 |        0 |        0
1761.88/1762.41	c 1762s |      19 |   675917 |   557882 |     8805    118 |        0 |        0
1764.18/1764.78	c 1764s |      19 |   676700 |   558582 |     8805    119 |        0 |        0
1766.48/1767.00	c 1766s |      19 |   677463 |   559282 |     8805    119 |        0 |        0
1768.68/1769.23	c 1768s |      19 |   678217 |   559982 |     8805    119 |        0 |        0
1770.88/1771.40	c 1771s |      19 |   678875 |   560582 |     8805    119 |        0 |        0
1772.98/1773.54	c 1773s |      19 |   679542 |   561182 |     8805    119 |        0 |        0
1775.28/1775.89	c 1775s |      19 |   680193 |   561782 |     8805    119 |        0 |        0
1777.37/1777.95	c 1777s |      19 |   680729 |   562282 |     8805    119 |        0 |        0
1779.58/1780.11	c 1779s |      19 |   681443 |   562882 |     8805    119 |        0 |        0
1781.88/1782.42	c 1782s |      19 |   682208 |   563582 |     8805    119 |        0 |        0
1783.88/1784.44	c 1784s |      19 |   682864 |   564182 |     8805    119 |        0 |        0
1785.99/1786.58	c 1786s |      19 |   683524 |   564782 |     8805    120 |        0 |        0
1788.28/1788.83	c 1788s |      19 |   684450 |   565582 |     8805    120 |        0 |        0
1790.28/1790.87	c 1790s |      19 |   685219 |   566282 |     8805    120 |        0 |        0
1792.58/1793.13	c 1792s |      19 |   686011 |   566982 |     8805    120 |        0 |        0
1794.78/1795.33	c 1795s |      19 |   686878 |   567782 |     8805    120 |        0 |        0
1796.77/1797.36	c 1797s |      19 |   687642 |   568482 |     8805    120 |        0 |        0
1798.78/1799.39	c 1799s |      19 |   688429 |   569182 |     8805    120 |        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-4093324-1466078778/watcher-4093324-1466078778 -o /tmp/evaluation-result-4093324-1466078778/solver-4093324-1466078778 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466074835-11958 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093324-1466078778.wbo 

pid=12763
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: 1.99 2.10 2.03 3/179 12766
/proc/meminfo: memFree=30418556/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=339388 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 1197 0 0 0 0 0 0 0 20 0 4 0 9927991 347533312 2068 33554432000 4194304 16246674 140735404778848 140735404778272 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 85359 2077 441 2943 0 82253 0
[pid=12766/tid=12767] ppid=12763 vsize=355772 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 364310528 2133 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=359868 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 368504832 2149 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=363964 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 372699136 2166 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100248 s]
/proc/loadavg: 1.99 2.10 2.03 3/179 12766
/proc/meminfo: memFree=30418556/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 25899 0 0 0 5 3 0 0 20 0 4 0 9927991 1247350784 26764 33554432000 4194304 16246674 140735404778848 140735404778272 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 304529 26771 605 2943 0 301423 0
[pid=12766/tid=12767] ppid=12763 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1247350784 26776 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1247350784 26782 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1247350784 26787 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200502 s]
/proc/loadavg: 1.99 2.10 2.03 3/179 12766
/proc/meminfo: memFree=30418556/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 47971 0 0 0 13 6 0 0 20 0 4 0 9927991 1247350784 48832 33554432000 4194304 16246674 140735404778848 140735404778272 4566045 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 304529 48840 662 2943 0 301423 0
[pid=12766/tid=12767] ppid=12763 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1247350784 48848 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1247350784 48858 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1247350784 48863 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300452 s]
/proc/loadavg: 1.99 2.10 2.03 3/179 12766
/proc/meminfo: memFree=30418556/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 69837 0 0 0 21 8 0 0 20 0 4 0 9927991 1247350784 70695 33554432000 4194304 16246674 140735404778848 140735404778272 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 304529 70701 808 2943 0 301423 0
[pid=12766/tid=12767] ppid=12763 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1247350784 70708 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1247350784 70709 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1247350784 70715 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70041 s]
/proc/loadavg: 1.99 2.10 2.03 3/179 12766
/proc/meminfo: memFree=30418556/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 122437 0 0 0 55 14 0 0 20 0 4 0 9927991 1333334016 123272 33554432000 4194304 16246674 140735404778848 140735404778160 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 325521 123288 867 2943 0 322415 0
[pid=12766/tid=12767] ppid=12763 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1333334016 123297 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1333334016 123311 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1333334016 123320 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50039 s]
/proc/loadavg: 1.99 2.10 2.03 3/183 12770
/proc/meminfo: memFree=29790444/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 267901 0 0 0 116 33 0 0 20 0 4 0 9927991 1338576896 268736 33554432000 4194304 16246674 140735404778848 140735404760768 5667484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 326801 268736 867 2943 0 323695 0
[pid=12766/tid=12767] ppid=12763 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1338576896 268736 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1338576896 268736 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1338576896 268736 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10041 s]
/proc/loadavg: 1.99 2.10 2.03 3/183 12770
/proc/meminfo: memFree=29343928/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 267912 0 0 0 276 33 0 0 20 0 4 0 9927991 1338576896 268747 33554432000 4194304 16246674 140735404778848 140735404760768 5546107 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 326801 268747 867 2943 0 323695 0
[pid=12766/tid=12767] ppid=12763 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1338576896 268747 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1338576896 268747 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1338576896 268747 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.07 2.11 2.04 3/183 12770
/proc/meminfo: memFree=29342228/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 267916 0 0 0 596 33 0 0 20 0 4 0 9927991 1338576896 268751 33554432000 4194304 16246674 140735404778848 140735404760768 13191996 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 326801 268751 871 2943 0 323695 0
[pid=12766/tid=12767] ppid=12763 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1338576896 268751 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1338576896 268751 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1338576896 268751 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.06 2.11 2.04 3/183 12770
/proc/meminfo: memFree=29338680/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 268176 0 0 0 1236 33 0 0 20 0 4 0 9927991 1339625472 269011 33554432000 4194304 16246674 140735404778848 140735404760768 5722908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 327057 269011 875 2943 0 323951 0
[pid=12766/tid=12767] ppid=12763 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1339625472 269011 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1339625472 269011 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1339625472 269011 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.05 2.11 2.04 3/183 12770
/proc/meminfo: memFree=29331552/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1316420 CPUtime=25.48 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 270160 0 0 0 2515 33 0 0 20 0 4 0 9927991 1348014080 270995 33554432000 4194304 16246674 140735404778848 140735404760768 6012071 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 329105 270995 875 2943 0 325999 0
[pid=12766/tid=12767] ppid=12763 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1348014080 270995 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1348014080 270995 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1348014080 270995 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.09 2.11 2.04 3/183 12770
/proc/meminfo: memFree=29325260/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1319492 CPUtime=51.08 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 270992 0 0 0 5074 34 0 0 20 0 4 0 9927991 1351159808 271827 33554432000 4194304 16246674 140735404778848 140735404760768 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 329873 271827 875 2943 0 326767 0
[pid=12766/tid=12767] ppid=12763 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1351159808 271827 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1351159808 271827 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1351159808 271827 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1319492

[startup+102.301 s]
/proc/loadavg: 2.08 2.11 2.04 3/183 12771
/proc/meminfo: memFree=29317088/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1326660 CPUtime=102.28 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 272784 0 0 0 10194 34 0 0 20 0 4 0 9927991 1358499840 273619 33554432000 4194304 16246674 140735404778848 140735404760768 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 331665 273619 875 2943 0 328559 0
[pid=12766/tid=12767] ppid=12763 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1358499840 273619 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1358499840 273619 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1358499840 273619 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1326660


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

/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277206 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1340996

[startup+1302.3 s]
/proc/loadavg: 2.21 2.13 2.05 3/183 12801
/proc/meminfo: memFree=29290412/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1340996 CPUtime=1301.87 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 276729 0 0 0 130108 79 0 0 20 0 4 0 9927991 1373179904 277206 33554432000 4194304 16246674 140735404778848 140735404778024 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 335249 277206 875 2943 0 332143 0
[pid=12766/tid=12767] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277206 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277206 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277206 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1340996

[startup+1362.3 s]
/proc/loadavg: 2.12 2.12 2.05 3/183 12802
/proc/meminfo: memFree=29290560/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1340996 CPUtime=1361.84 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 276766 0 0 0 136101 83 0 0 20 0 4 0 9927991 1373179904 277208 33554432000 4194304 16246674 140735404778848 140735404778024 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 335249 277208 875 2943 0 332143 0
[pid=12766/tid=12767] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1340996

[startup+1422.3 s]
/proc/loadavg: 2.04 2.10 2.04 3/184 12806
/proc/meminfo: memFree=29289508/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1340996 CPUtime=1421.84 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 276775 0 0 0 142099 85 0 0 20 0 4 0 9927991 1373179904 277208 33554432000 4194304 16246674 140735404778848 140735404760768 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 335249 277208 875 2943 0 332143 0
[pid=12766/tid=12767] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1340996

[startup+1482.3 s]
/proc/loadavg: 2.01 2.08 2.04 3/184 12808
/proc/meminfo: memFree=29290176/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1340996 CPUtime=1481.83 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 276775 0 0 0 148095 88 0 0 20 0 4 0 9927991 1373179904 277208 33554432000 4194304 16246674 140735404778848 140735404778024 5711552 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 335249 277208 875 2943 0 332143 0
[pid=12766/tid=12767] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1340996

[startup+1542.31 s]
/proc/loadavg: 2.15 2.09 2.04 3/183 12809
/proc/meminfo: memFree=29290168/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1340996 CPUtime=1541.82 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 276775 0 0 0 154093 89 0 0 20 0 4 0 9927991 1373179904 277208 33554432000 4194304 16246674 140735404778848 140735404760768 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 335249 277208 875 2943 0 332143 0
[pid=12766/tid=12767] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1340996

[startup+1602.3 s]
/proc/loadavg: 2.05 2.07 2.04 3/183 12810
/proc/meminfo: memFree=29289784/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1340996 CPUtime=1601.8 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 276775 0 0 0 160089 91 0 0 20 0 4 0 9927991 1373179904 277208 33554432000 4194304 16246674 140735404778848 140735404761848 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 335249 277208 875 2943 0 332143 0
[pid=12766/tid=12767] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1340996

[startup+1662.3 s]
/proc/loadavg: 2.09 2.08 2.04 3/183 12811
/proc/meminfo: memFree=29289792/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1340996 CPUtime=1661.79 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 276775 0 0 0 166085 94 0 0 20 0 4 0 9927991 1373179904 277208 33554432000 4194304 16246674 140735404778848 140735404778024 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 335249 277208 875 2943 0 332143 0
[pid=12766/tid=12767] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1340996

[startup+1722.3 s]
/proc/loadavg: 2.03 2.07 2.04 3/183 12812
/proc/meminfo: memFree=29289920/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1340996 CPUtime=1721.79 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 276775 0 0 0 172082 97 0 0 20 0 4 0 9927991 1373179904 277208 33554432000 4194304 16246674 140735404778848 140735404778024 5712083 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 335249 277208 875 2943 0 332143 0
[pid=12766/tid=12767] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1340996

[startup+1782.3 s]
/proc/loadavg: 2.09 2.08 2.04 3/183 12814
/proc/meminfo: memFree=29289288/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1340996 CPUtime=1781.78 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 276775 0 0 0 178077 101 0 0 20 0 4 0 9927991 1373179904 277208 33554432000 4194304 16246674 140735404778848 140735404760768 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 335249 277208 875 2943 0 332143 0
[pid=12766/tid=12767] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1340996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.14 2.09 2.05 3/183 12863
/proc/meminfo: memFree=29309396/32872528 swapFree=525044/557748
[pid=12766] ppid=12763 vsize=1340996 CPUtime=1800.08 cores=0,2,4,6
/proc/12766/stat : 12766 (toysat) R 12763 12766 10502 0 -1 4202496 276775 0 0 0 179906 102 0 0 20 0 4 0 9927991 1373179904 277208 33554432000 4194304 16246674 140735404778848 140735404778024 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12766/statm: 335249 277208 875 2943 0 332143 0
[pid=12766/tid=12767] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12767/stat : 12767 (toysat) S 12763 12766 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597564255472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12766/tid=12768] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12768/stat : 12768 (toysat) S 12763 12766 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597553765616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12766/tid=12769] ppid=12763 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/12766/task/12769/stat : 12769 (toysat) S 12763 12766 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9927992 1373179904 277208 33554432000 4194304 16246674 140735404778848 140597432151216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1340996

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 12766 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.09
CPU user time (s): 1799.07
CPU system time (s): 1.02284
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 1340996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.02284
maximum resident set size= 1108832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276775
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= 420
involuntary context switches= 2072

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5873 second user time and 6.93795 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-16 14:06:19
IDJOB=4093324
IDBENCH=78671
IDSOLVER=2553
FILE ID=node106/4093324-1466078778
RUNJOBID= node106-1466074835-11958
PBS_JOBID= 19904026
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr--soft-33-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-4093324-1466078778/watcher-4093324-1466078778 -o /tmp/evaluation-result-4093324-1466078778/solver-4093324-1466078778 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466074835-11958 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093324-1466078778.wbo

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

MD5SUM BENCH= 757312960b1468f2853dd7cd5a4d6fc6
RANDOM SEED=9064439

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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.38
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.073
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:        30418820 kB
Buffers:           21764 kB
Cached:            97304 kB
SwapCached:         1840 kB
Active:          1151344 kB
Inactive:          44572 kB
Active(anon):    1078060 kB
Inactive(anon):     1072 kB
Active(file):      73284 kB
Inactive(file):    43500 kB
Unevictable:      557748 kB
Mlocked:          525044 kB
SwapTotal:      67108856 kB
SwapFree:       67098928 kB
Dirty:             32820 kB
Writeback:             0 kB
AnonPages:       1633904 kB
Mapped:            10604 kB
Shmem:                 0 kB
Slab:             567280 kB
SReclaimable:      10700 kB
SUnreclaim:       556580 kB
KernelStack:        1480 kB
PageTables:         6992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1777004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node106 at 2016-06-16 14:36:19