Trace number 4093509

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-3_wcsp.wbo
MD5SUM2db150696fc8aa7bc9f51554db7714aa
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables141
Total number of constraints755
Number of soft constraints708
Number of constraints which are clauses708
Number of constraints which are cardinality constraints (but not clauses)47
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Top cost 237
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 708
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
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-16T18:38:42+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-4093509-1466095122.wbo"]
0.00/0.01	c use --random-gen="2852358147 2802011734 4246774311 3024674615 3190972119 366426896 3498897401 3656045686 3398546639 322455610 1320331848 3897026210 4007305274 2027075559 517068576 2170955024 3065343635 2931455865 2079888476 720404754 1765954403 2878625888 3505009747 4226614302 3817705201 2107722802 2946150030 4080542826 912513456 2229857618 2768146314 1437192817 2283909793 3106810110 3217058046 2605501307 859748187 1919843227 2053818493 2017719117 2562119377 257155037 3317420940 3614815747 3248004792 4074277281 2216763789 115938528 3903246856 1518725635 4181955017 2344569493 2483481753 866396557 118486079 1076365640 3573923591 2404153400 3133714224 621818245 1022175916 2549547113 283753492 4270013896 2360579765 175334983 4253258510 3036718273 408614404 744069249 2941204220 258114356 2967976176 1781024705 966845459 3776571875 3439092559 897847137 3249328763 633338761 1763565696 1304246330 2229875766 3915650457 1970505595 2217268515 2485185448 719791525 2459904447 2024100032 923610529 1161397453 3839350689 2677792782 1851069903 3787306140 659557739 2252439446 3942218624 3720167032 1598387739 285255015 3557203729 2122762385 4133738661 1286261021 59331800 442624131 2841324525 3328050168 901885445 3061529189 3149177509 4058839190 2408047127 2265348828 1622009080 3706297796 2181015122 2266190306 4264345532 2882966200 2532472689 582281605 2567289307 473283654 3086979133 784124841 3214001813 2268137530 2956409499 2051460836 3244907995 2930239879 1293948766 1450534009 895261286 3469921269 2876689999 4205636764 516728073 2655129165 993514792 2386945659 3150549695 1152297368 845308631 3570430307 853474936 748164766 3248558376 3939383662 1983529698 2829247470 987111827 3779827440 4144247947 4231641865 2245032189 2298570988 3241596051 845424961 3132656355 1997582956 2695477047 529739118 323162797 1911787283 2491120298 2344943429 617739814 793560528 1794316792 1719896728 3231815929 255070814 2125391065 926941979 2096075973 3194059495 1688592554 3550823438 1563280798 3652659451 1428218476 527695885 4092994626 930993457 3920665778 3426665741 3173123248 4227537464 1191381076 1675649871 3492295279 4206491993 2673189837 2884438505 52168204 3700460101 2589434866 806623550 944899809 1143843180 1910272340 2678207415 977651132 963316400 2065356395 3795433319 2291511403 3857029340 2225360644 3647502888 3164593022 3966424843 2764581905 1244328649 977267727 2535781672 3206070227 3429028555 4020590374 3670205282 735192161 3935618166 3012711666 2734831303 4012299918 3932342137 3309539140 609669778 2079732340 3171303031 1706678080 4167703270 2220327326 1223958552 3699003405 635251805 1567078739 2300369700 2586531640 1601708974 578351750 3033233212 220667838 450367145 3303009427 3900843604 2615204598 3782961670 1930998680 906398143 3144645499 2678067368 255 362436" option to reproduce the execution
32.19/32.23	c #vars 141
32.19/32.23	c #constraints 755
32.19/32.25	c BCD2: Hardening is enabled.
32.19/32.25	c BCD2: BiasedSearch is enabled.
32.19/32.25	c Solving starts ...
32.19/32.25	c ============================[ Search Statistics ]============================
32.19/32.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
32.19/32.25	c       |         |          |          |    Limit     GC | Var      | Constra 
32.19/32.25	c =============================================================================
32.19/32.25	c  0.0s |       0 |        0 |        0 |      550      0 |        0 |        0
32.19/32.26	c  0.0s |       1 |      757 |      100 |      550      0 |        0 |        0
32.19/32.27	c  0.0s |       1 |     1459 |      100 |      550      0 |        0 |        0
32.19/32.27	c #cpu_time = 0.018s
32.19/32.27	c #wall_clock_time = 0.018s
32.19/32.27	c #decision = 1459
32.19/32.27	c #random_decision = 9
32.19/32.27	c #conflict = 100
32.19/32.27	c #restart = 1
32.19/32.27	o 43
32.19/32.27	c BCD2: updating upper bound: 708 -> 42
32.19/32.27	c BCD2: 0 <= obj <= 42
32.19/32.27	c BCD2: #cores=0, #unrelaxed=708, #relaxed=0, #hardened=0
32.19/32.27	c BCD2: #sat=1 #unsat=1 bias=1/2
32.19/32.27	c Solving starts ...
32.19/32.27	c ============================[ Search Statistics ]============================
32.19/32.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
32.19/32.27	c       |         |          |          |    Limit     GC | Var      | Constra 
32.19/32.27	c =============================================================================
32.19/32.27	c  0.0s |       0 |        0 |        0 |      550      0 |        0 |        1
32.19/32.27	c  0.0s |       0 |      705 |        0 |      550      0 |        0 |        1
32.19/32.27	c #cpu_time = 0.005s
32.19/32.27	c #wall_clock_time = 0.005s
32.19/32.27	c #decision = 705
32.19/32.27	c #random_decision = 0
32.19/32.27	c #conflict = 0
32.19/32.27	c #restart = 0
32.19/32.27	c BCD2: found a new core of size 184: cost of the new core is >=1
32.19/32.27	c lower bound updated to 1
32.19/32.27	c BCD2: 1 <= obj <= 42
32.19/32.27	c BCD2: #cores=1, #unrelaxed=524, #relaxed=184, #hardened=0
32.19/32.27	c BCD2: #sat=1 #unsat=2 bias=2/3
32.19/32.27	c Solving starts ...
32.19/32.27	c ============================[ Search Statistics ]============================
32.19/32.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
32.19/32.27	c       |         |          |          |    Limit     GC | Var      | Constra 
32.19/32.27	c =============================================================================
32.19/32.27	c  0.0s |       0 |        0 |        0 |      550      0 |        0 |        1
32.19/32.29	c  0.0s |       0 |      805 |       80 |      605      0 |        0 |        1
32.19/32.29	c #cpu_time = 0.016s
32.19/32.29	c #wall_clock_time = 0.016s
32.19/32.29	c #decision = 805
32.19/32.29	c #random_decision = 0
32.19/32.29	c #conflict = 80
32.19/32.29	c #restart = 0
32.19/32.29	c BCD2: relaxing 235 and merging with 1 cores into a new core of size 419: cost of the new core is >=2
32.19/32.29	c lower bound updated to 2
32.19/32.29	c BCD2: 2 <= obj <= 42
32.19/32.29	c BCD2: #cores=1, #unrelaxed=289, #relaxed=419, #hardened=0
32.19/32.29	c BCD2: #sat=1 #unsat=3 bias=3/4
32.19/32.29	c Solving starts ...
32.19/32.29	c ============================[ Search Statistics ]============================
32.19/32.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
32.19/32.29	c       |         |          |          |    Limit     GC | Var      | Constra 
32.19/32.29	c =============================================================================
32.19/32.29	c  0.0s |       0 |        0 |        0 |      605      0 |        1 |        1
32.29/32.33	c  0.0s |       1 |      536 |      100 |      666      0 |        1 |        2
32.29/32.37	c  0.1s |       2 |     1068 |      250 |      666      0 |        1 |        2
32.39/32.45	c  0.2s |       3 |     1653 |      475 |      733      0 |        1 |        2
32.49/32.57	c  0.3s |       4 |     2504 |      813 |      807      0 |        1 |        2
32.69/32.77	c  0.5s |       5 |     3548 |     1320 |      888      1 |        1 |        2
32.99/33.09	c  0.8s |       6 |     5105 |     2081 |      977      2 |        1 |        2
33.49/33.56	c  1.3s |       7 |     7468 |     3223 |     1075      4 |        1 |        2
34.19/34.23	c  1.9s |       8 |    10858 |     4936 |     1183      6 |        1 |        2
35.19/35.26	c  3.0s |       9 |    15794 |     7506 |     1302     10 |        1 |        2
36.69/36.76	c  4.5s |      10 |    23409 |    11361 |     1433     14 |        1 |        2
38.69/38.76	c  6.5s |      11 |    34500 |    17144 |     1577     21 |        1 |        2
40.69/40.79	c  8.5s |      11 |    45598 |    22544 |     1577     26 |        1 |        2
41.98/42.04	c  9.8s |      12 |    51515 |    25819 |     1735     29 |        1 |        2
43.99/44.07	c 11.8s |      12 |    61231 |    31019 |     1735     34 |        1 |        2
45.98/46.09	c 13.8s |      12 |    70490 |    36319 |     1735     40 |        1 |        2
47.08/47.14	c 14.9s |      13 |    75290 |    38832 |     1909     42 |        1 |        2
49.08/49.15	c 16.9s |      13 |    83550 |    43132 |     1909     46 |        1 |        2
51.08/51.19	c 18.9s |      13 |    91705 |    47632 |     1909     49 |        1 |        2
53.18/53.25	c 21.0s |      13 |    99818 |    52232 |     1909     54 |        1 |        2
55.18/55.29	c 23.0s |      13 |   106336 |    56332 |     1909     57 |        1 |        2
56.19/56.24	c 24.0s |      14 |   109909 |    58352 |     2100     59 |        1 |        2
58.18/58.29	c 26.0s |      14 |   117027 |    62052 |     2100     62 |        1 |        2
60.28/60.30	c 28.0s |      14 |   124944 |    66552 |     2100     65 |        1 |        2
62.28/62.31	c 30.0s |      14 |   131920 |    70452 |     2100     69 |        1 |        2
64.28/64.34	c 32.0s |      14 |   137206 |    73852 |     2100     71 |        1 |        2
66.28/66.37	c 34.1s |      14 |   143450 |    77552 |     2100     74 |        1 |        2
68.28/68.40	c 36.1s |      14 |   150813 |    81552 |     2100     78 |        1 |        2
70.38/70.44	c 38.1s |      14 |   156532 |    85152 |     2100     80 |        1 |        2
71.68/71.74	c 39.4s |      15 |   160868 |    87632 |     2310     82 |        1 |        2
73.68/73.78	c 41.5s |      15 |   168107 |    91832 |     2310     86 |        1 |        2
75.78/75.82	c 43.5s |      15 |   174787 |    95632 |     2310     88 |        1 |        2
77.77/77.83	c 45.5s |      15 |   181143 |    99332 |     2310     91 |        1 |        2
79.77/79.88	c 47.6s |      15 |   186589 |   102832 |     2310     94 |        1 |        2
81.87/81.91	c 49.6s |      15 |   192435 |   106232 |     2310     96 |        1 |        2
83.87/83.93	c 51.6s |      15 |   199425 |   110132 |     2310     99 |        1 |        2
85.88/85.95	c 53.7s |      15 |   205001 |   113632 |     2310    102 |        1 |        2
87.87/87.95	c 55.7s |      15 |   210799 |   117332 |     2310    105 |        1 |        2
89.87/89.96	c 57.7s |      15 |   217635 |   121032 |     2310    107 |        1 |        2
91.87/91.96	c 59.7s |      15 |   225110 |   125232 |     2310    110 |        1 |        2
93.87/93.99	c 61.7s |      15 |   231428 |   129032 |     2310    113 |        1 |        2
95.27/95.37	c 63.1s |      16 |   235585 |   131552 |     2541    115 |        1 |        2
97.37/97.44	c 65.1s |      16 |   242382 |   135252 |     2541    118 |        1 |        2
99.37/99.48	c 67.2s |      16 |   248688 |   138952 |     2541    120 |        1 |        2
101.37/101.49	c 69.2s |      16 |   254633 |   142452 |     2541    123 |        1 |        2
103.48/103.52	c 71.2s |      16 |   260832 |   146352 |     2541    125 |        1 |        2
105.47/105.57	c 73.3s |      16 |   266503 |   149752 |     2541    128 |        1 |        2
107.47/107.58	c 75.3s |      16 |   272374 |   153352 |     2541    130 |        1 |        2
109.57/109.63	c 77.3s |      16 |   278695 |   156952 |     2541    133 |        1 |        2
111.57/111.63	c 79.3s |      16 |   284183 |   160352 |     2541    135 |        1 |        2
113.57/113.65	c 81.4s |      16 |   289621 |   163752 |     2541    137 |        1 |        2
115.58/115.66	c 83.4s |      16 |   294753 |   166752 |     2541    139 |        1 |        2
117.57/117.66	c 85.4s |      16 |   298988 |   169652 |     2541    141 |        1 |        2
119.57/119.69	c 87.4s |      16 |   304560 |   173052 |     2541    144 |        1 |        2
121.67/121.75	c 89.5s |      16 |   309884 |   176352 |     2541    146 |        1 |        2
123.67/123.75	c 91.5s |      16 |   314518 |   179352 |     2541    148 |        1 |        2
125.67/125.79	c 93.5s |      16 |   322577 |   183452 |     2541    151 |        1 |        2
127.77/127.83	c 95.5s |      16 |   328763 |   187252 |     2541    153 |        1 |        2
129.77/129.88	c 97.6s |      16 |   334029 |   190652 |     2541    156 |        1 |        2
131.87/131.92	c 99.6s |      16 |   339753 |   194052 |     2541    158 |        1 |        2
133.76/133.88	c  101s |      17 |   345686 |   197432 |     2796    160 |        1 |        2
135.86/135.92	c  103s |      17 |   352606 |   201332 |     2796    163 |        1 |        2
137.86/137.96	c  105s |      17 |   358454 |   204832 |     2796    165 |        1 |        2
139.86/139.96	c  107s |      17 |   366059 |   209232 |     2796    168 |        1 |        2
141.87/141.97	c  109s |      17 |   372842 |   213132 |     2796    170 |        1 |        2
143.96/144.01	c  111s |      17 |   378969 |   217032 |     2796    173 |        1 |        2
145.96/146.03	c  113s |      17 |   384652 |   220632 |     2796    175 |        1 |        2
147.96/148.06	c  115s |      17 |   391351 |   224432 |     2796    177 |        1 |        2
149.96/150.10	c  117s |      17 |   398129 |   228332 |     2796    180 |        1 |        2
152.06/152.10	c  119s |      17 |   404654 |   232032 |     2796    182 |        1 |        2
154.07/154.12	c  121s |      17 |   411857 |   236032 |     2796    185 |        1 |        2
156.06/156.14	c  123s |      17 |   419092 |   240032 |     2796    187 |        1 |        2
158.06/158.15	c  125s |      17 |   426344 |   243832 |     2796    190 |        1 |        2
160.06/160.19	c  127s |      17 |   433905 |   248332 |     2796    192 |        1 |        2
162.16/162.22	c  129s |      17 |   440394 |   252232 |     2796    195 |        1 |        2
164.16/164.22	c  131s |      17 |   447364 |   256532 |     2796    198 |        1 |        2
166.16/166.22	c  133s |      17 |   454655 |   260732 |     2796    200 |        1 |        2
168.16/168.24	c  135s |      17 |   461938 |   264732 |     2796    203 |        1 |        2
170.16/170.27	c  137s |      17 |   469194 |   268832 |     2796    205 |        1 |        2
172.16/172.29	c  140s |      17 |   476566 |   273032 |     2796    208 |        1 |        2
174.26/174.34	c  142s |      17 |   484361 |   277332 |     2796    211 |        1 |        2
176.26/176.34	c  144s |      17 |   491849 |   281532 |     2796    213 |        1 |        2
178.26/178.36	c  146s |      17 |   499074 |   285532 |     2796    216 |        1 |        2
180.26/180.38	c  148s |      17 |   505587 |   289332 |     2796    218 |        1 |        2
182.26/182.38	c  150s |      17 |   513565 |   293232 |     2796    221 |        1 |        2
183.76/183.84	c  151s |      18 |   518894 |   296252 |     3076    223 |        1 |        2
185.75/185.85	c  153s |      18 |   525715 |   300152 |     3076    225 |        1 |        2
187.75/187.86	c  155s |      18 |   531817 |   304252 |     3076    227 |        1 |        2
189.75/189.88	c  157s |      18 |   538244 |   308152 |     3076    229 |        1 |        2
191.85/191.91	c  159s |      18 |   545667 |   312252 |     3076    232 |        1 |        2
193.85/193.91	c  161s |      18 |   553067 |   316352 |     3076    234 |        1 |        2
195.86/195.92	c  163s |      18 |   560334 |   320052 |     3076    236 |        1 |        2
197.85/197.96	c  165s |      18 |   567938 |   323952 |     3076    239 |        1 |        2
199.85/199.98	c  167s |      18 |   575165 |   327752 |     3076    241 |        1 |        2
201.85/201.99	c  169s |      18 |   582496 |   331352 |     3076    243 |        1 |        2
203.95/204.03	c  171s |      18 |   589904 |   334852 |     3076    245 |        1 |        2
205.95/206.07	c  173s |      18 |   596061 |   337952 |     3076    247 |        1 |        2
208.05/208.12	c  175s |      18 |   601292 |   340752 |     3076    248 |        1 |        2
210.06/210.15	c  177s |      18 |   606675 |   343552 |     3076    250 |        1 |        2
212.05/212.18	c  179s |      18 |   612347 |   346452 |     3076    252 |        1 |        2
214.15/214.22	c  181s |      18 |   616719 |   349052 |     3076    253 |        1 |        2
216.25/216.31	c  184s |      18 |   620968 |   351552 |     3076    255 |        1 |        2
218.25/218.34	c  186s |      18 |   625526 |   354052 |     3076    256 |        1 |        2
220.26/220.36	c  188s |      18 |   630519 |   356952 |     3076    258 |        1 |        2
222.36/222.40	c  190s |      18 |   635398 |   359852 |     3076    259 |        1 |        2
224.36/224.48	c  192s |      18 |   640554 |   362752 |     3076    261 |        1 |        2
226.46/226.54	c  194s |      18 |   645310 |   365452 |     3076    263 |        1 |        2
228.46/228.58	c  196s |      18 |   650063 |   368252 |     3076    264 |        1 |        2
230.56/230.61	c  198s |      18 |   654672 |   370752 |     3076    266 |        1 |        2
232.56/232.67	c  200s |      18 |   658948 |   373252 |     3076    267 |        1 |        2
234.66/234.70	c  202s |      18 |   663582 |   375952 |     3076    269 |        1 |        2
236.66/236.71	c  204s |      18 |   668642 |   378952 |     3076    270 |        1 |        2
238.66/238.72	c  206s |      18 |   673081 |   381552 |     3076    272 |        1 |        2
240.66/240.73	c  208s |      18 |   678108 |   384552 |     3076    274 |        1 |        2
242.66/242.77	c  210s |      18 |   683122 |   387252 |     3076    275 |        1 |        2
244.75/244.81	c  212s |      18 |   687016 |   389452 |     3076    277 |        1 |        2
246.75/246.86	c  214s |      18 |   691100 |   391752 |     3076    278 |        1 |        2
248.75/248.87	c  216s |      18 |   696108 |   394452 |     3076    279 |        1 |        2
250.86/250.92	c  218s |      18 |   700311 |   396852 |     3076    281 |        1 |        2
252.85/252.97	c  220s |      18 |   704463 |   399152 |     3076    282 |        1 |        2
254.95/255.07	c  222s |      18 |   708732 |   401652 |     3076    284 |        1 |        2
257.05/257.14	c  224s |      18 |   712702 |   403852 |     3076    285 |        1 |        2
259.05/259.15	c  226s |      18 |   720342 |   407952 |     3076    287 |        1 |        2
261.05/261.17	c  228s |      18 |   728331 |   411952 |     3076    290 |        1 |        2
263.05/263.20	c  230s |      18 |   735569 |   416252 |     3076    292 |        1 |        2
265.16/265.23	c  232s |      18 |   742733 |   420452 |     3076    295 |        1 |        2
267.15/267.27	c  234s |      18 |   749055 |   424152 |     3076    297 |        1 |        2
269.15/269.28	c  236s |      18 |   755136 |   427652 |     3076    299 |        1 |        2
271.25/271.34	c  239s |      18 |   760268 |   430952 |     3076    301 |        1 |        2
273.25/273.38	c  241s |      18 |   765353 |   434052 |     3076    302 |        1 |        2
275.35/275.40	c  243s |      18 |   770379 |   437052 |     3076    304 |        1 |        2
277.35/277.41	c  245s |      18 |   774832 |   439752 |     3076    306 |        1 |        2
279.35/279.44	c  247s |      18 |   779713 |   442952 |     3384    307 |        1 |        2
280.35/280.44	c  248s |      19 |   782025 |   444482 |     3384    308 |        1 |        2
282.45/282.50	c  250s |      19 |   787811 |   447982 |     3384    310 |        1 |        2
284.45/284.52	c  252s |      19 |   792981 |   451282 |     3384    312 |        1 |        2
286.45/286.53	c  254s |      19 |   798247 |   454682 |     3384    314 |        1 |        2
288.45/288.54	c  256s |      19 |   803092 |   457882 |     3384    316 |        1 |        2
290.45/290.55	c  258s |      19 |   808187 |   461182 |     3384    317 |        1 |        2
292.55/292.61	c  260s |      19 |   813043 |   464382 |     3384    319 |        1 |        2
294.54/294.62	c  262s |      19 |   817450 |   467282 |     3384    321 |        1 |        2
296.54/296.65	c  264s |      19 |   822124 |   470382 |     3384    322 |        1 |        2
298.54/298.69	c  266s |      19 |   826772 |   473482 |     3384    324 |        1 |        2
300.64/300.76	c  268s |      19 |   831537 |   476682 |     3384    326 |        1 |        2
302.74/302.82	c  270s |      19 |   835689 |   479682 |     3384    327 |        1 |        2
304.75/304.87	c  272s |      19 |   840361 |   482582 |     3384    329 |        1 |        2
306.74/306.90	c  274s |      19 |   844900 |   485382 |     3384    330 |        1 |        2
308.84/308.91	c  276s |      19 |   849229 |   488182 |     3384    332 |        1 |        2
310.84/310.91	c  278s |      19 |   854753 |   491382 |     3384    334 |        1 |        2
312.84/312.92	c  280s |      19 |   859773 |   494482 |     3384    335 |        1 |        2
314.84/314.97	c  282s |      19 |   865099 |   498082 |     3384    337 |        1 |        2
316.94/317.01	c  284s |      19 |   870991 |   501382 |     3384    339 |        1 |        2
318.95/319.02	c  286s |      19 |   877435 |   505482 |     3384    341 |        1 |        2
319.74/319.87	c  287s |      19 |   880909 |   507238 |     3384    342 |        1 |        2
319.74/319.87	c #cpu_time = 286.842s
319.74/319.87	c #wall_clock_time = 287.580s
319.74/319.87	c #decision = 880909
319.74/319.87	c #random_decision = 3824
319.74/319.87	c #conflict = 507238
319.74/319.87	c #restart = 19
319.74/319.87	o 23
319.74/319.87	c BCD2: updating upper bound: 42 -> 22
319.74/319.87	c BCD2: 2 <= obj <= 22
319.74/319.87	c BCD2: #cores=1, #unrelaxed=289, #relaxed=419, #hardened=0
319.74/319.87	c BCD2: #sat=2 #unsat=3 bias=3/5
319.74/319.87	c Solving starts ...
319.74/319.87	c ============================[ Search Statistics ]============================
319.74/319.87	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
319.74/319.87	c       |         |          |          |    Limit     GC | Var      | Constra 
319.74/319.87	c =============================================================================
319.74/319.87	c  0.0s |       0 |        0 |        0 |     3384      0 |        1 |        3
319.84/319.95	c  0.1s |       1 |      456 |      100 |     3384      0 |        1 |        3
319.94/320.04	c  0.2s |       2 |      992 |      250 |     3384      0 |        1 |        3
320.05/320.17	c  0.3s |       3 |     1632 |      475 |     3384      0 |        1 |        3
320.24/320.39	c  0.5s |       4 |     2441 |      813 |     3384      1 |        1 |        3
320.54/320.65	c  0.8s |       5 |     3551 |     1320 |     3384      1 |        1 |        3
320.94/321.03	c  1.2s |       6 |     5084 |     2081 |     3384      1 |        1 |        3
321.54/321.63	c  1.8s |       7 |     7293 |     3223 |     3384      2 |        1 |        3
322.44/322.50	c  2.6s |       8 |    10614 |     4936 |     3384      3 |        1 |        3
323.74/323.82	c  3.9s |       9 |    15266 |     7506 |     3384      4 |        1 |        3
325.55/325.66	c  5.8s |      10 |    21919 |    11361 |     3384      6 |        1 |        3
327.64/327.71	c  7.8s |      10 |    28591 |    15261 |     3384      8 |        1 |        3
328.64/328.72	c  8.8s |      11 |    31736 |    17144 |     3384      9 |        1 |        3
330.64/330.73	c 10.9s |      11 |    39485 |    21544 |     3384     12 |        1 |        3
332.64/332.76	c 12.9s |      11 |    46246 |    25644 |     3384     14 |        1 |        3
332.74/332.85	c 13.0s |      12 |    46549 |    25819 |     3384     14 |        1 |        3
334.14/334.25	c 14.4s |      12 |    51909 |    28597 |     3384     16 |        1 |        3
334.14/334.25	c #cpu_time = 14.337s
334.14/334.25	c #wall_clock_time = 14.374s
334.14/334.25	c #decision = 51909
334.14/334.25	c #random_decision = 198
334.14/334.25	c #conflict = 28597
334.14/334.25	c #restart = 12
334.14/334.25	c BCD2: relaxing 278 and merging with 1 cores into a new core of size 697: cost of the new core is >=3
334.14/334.25	c lower bound updated to 3
334.14/334.25	c BCD2: 3 <= obj <= 22
334.14/334.25	c BCD2: #cores=1, #unrelaxed=11, #relaxed=697, #hardened=0
334.14/334.25	c BCD2: #sat=2 #unsat=4 bias=4/6
334.14/334.25	c Solving starts ...
334.14/334.25	c ============================[ Search Statistics ]============================
334.14/334.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
334.14/334.25	c       |         |          |          |    Limit     GC | Var      | Constra 
334.14/334.25	c =============================================================================
334.14/334.25	c  0.0s |       0 |        0 |        0 |     3384      0 |        3 |        3
334.24/334.34	c  0.1s |       1 |      386 |      100 |     3384      0 |        3 |        6
334.35/334.43	c  0.2s |       2 |     1170 |      250 |     3384      0 |        3 |        6
334.45/334.58	c  0.3s |       3 |     1871 |      475 |     3384      0 |        3 |        6
334.64/334.79	c  0.5s |       4 |     3291 |      813 |     3384      0 |        3 |        6
335.14/335.23	c  1.0s |       5 |     4625 |     1320 |     3384      0 |        3 |        6
335.74/335.83	c  1.6s |       6 |     7030 |     2081 |     3384      0 |        3 |        6
336.84/336.94	c  2.7s |       7 |     9867 |     3223 |     3384      0 |        3 |        6
338.44/338.53	c  4.3s |       8 |    15079 |     4936 |     3384      1 |        3 |        6
340.54/340.62	c  6.4s |       8 |    21074 |     7136 |     3384      3 |        3 |        6
340.84/340.92	c  6.7s |       9 |    21958 |     7506 |     3384      3 |        3 |        6
342.84/342.92	c  8.7s |       9 |    29761 |    10106 |     3384      4 |        3 |        6
344.04/344.11	c  9.9s |      10 |    33166 |    11361 |     3384      5 |        3 |        6
346.04/346.11	c 11.9s |      10 |    40420 |    13861 |     3384      7 |        3 |        6
348.04/348.14	c 13.9s |      10 |    47430 |    16461 |     3384      8 |        3 |        6
348.74/348.87	c 14.6s |      11 |    48987 |    17144 |     3384      9 |        3 |        6
350.84/350.92	c 16.7s |      11 |    55551 |    19444 |     3384     10 |        3 |        6
352.83/352.98	c 18.7s |      11 |    61457 |    21944 |     3384     11 |        3 |        6
354.93/355.05	c 20.8s |      11 |    66645 |    24144 |     3384     13 |        3 |        6
356.44/356.59	c 22.3s |      12 |    70573 |    25819 |     3384     14 |        3 |        6
358.54/358.62	c 24.4s |      12 |    75739 |    28019 |     3384     15 |        3 |        6
360.53/360.68	c 26.4s |      12 |    79567 |    29919 |     3384     16 |        3 |        6
362.63/362.72	c 28.5s |      12 |    84031 |    31819 |     3384     17 |        3 |        6
364.63/364.76	c 30.5s |      12 |    88496 |    33719 |     3384     18 |        3 |        6
366.63/366.79	c 32.5s |      12 |    92538 |    35619 |     3384     19 |        3 |        6
368.73/368.86	c 34.6s |      12 |    96660 |    37519 |     3384     20 |        3 |        6
370.03/370.13	c 35.9s |      13 |    99743 |    38832 |     3384     21 |        3 |        6
372.13/372.23	c 38.0s |      13 |   104941 |    41132 |     3384     22 |        3 |        6
374.13/374.26	c 40.0s |      13 |   109695 |    43232 |     3384     24 |        3 |        6
376.14/376.26	c 42.0s |      13 |   113773 |    44932 |     3384     25 |        3 |        6
378.23/378.36	c 44.1s |      13 |   118640 |    47032 |     3384     26 |        3 |        6
380.33/380.41	c 46.2s |      13 |   123454 |    48932 |     3384     27 |        3 |        6
382.33/382.47	c 48.2s |      13 |   127375 |    50832 |     3384     28 |        3 |        6
384.33/384.47	c 50.2s |      13 |   132125 |    52632 |     3384     29 |        3 |        6
386.33/386.49	c 52.2s |      13 |   137061 |    54632 |     3384     30 |        3 |        6
388.43/388.56	c 54.3s |      13 |   142113 |    56732 |     3384     31 |        3 |        6
390.13/390.20	c 55.9s |      14 |   145858 |    58352 |     3384     32 |        3 |        6
392.13/392.20	c 57.9s |      14 |   149224 |    59952 |     3384     33 |        3 |        6
394.13/394.23	c 60.0s |      14 |   153184 |    61752 |     3384     34 |        3 |        6
396.23/396.31	c 62.1s |      14 |   157292 |    63652 |     3384     36 |        3 |        6
398.24/398.34	c 64.1s |      14 |   161917 |    65752 |     3384     37 |        3 |        6
400.23/400.39	c 66.1s |      14 |   166478 |    67852 |     3384     38 |        3 |        6
402.33/402.42	c 68.2s |      14 |   172563 |    70252 |     3384     39 |        3 |        6
404.33/404.47	c 70.2s |      14 |   177815 |    72452 |     3384     41 |        3 |        6
406.43/406.55	c 72.3s |      14 |   183105 |    74552 |     3384     42 |        3 |        6
408.43/408.57	c 74.3s |      14 |   187516 |    76352 |     3384     43 |        3 |        6
410.53/410.60	c 76.3s |      14 |   192439 |    78352 |     3384     44 |        3 |        6
412.63/412.75	c 78.5s |      14 |   197194 |    80352 |     3384     45 |        3 |        6
414.73/414.87	c 80.6s |      14 |   202147 |    82252 |     3384     46 |        3 |        6
416.83/416.98	c 82.7s |      14 |   206402 |    84052 |     3384     47 |        3 |        6
418.93/419.05	c 84.8s |      14 |   210463 |    85752 |     3384     48 |        3 |        6
420.93/421.01	c 86.8s |      15 |   215083 |    87632 |     3384     49 |        3 |        6
422.92/423.06	c 88.8s |      15 |   219769 |    89532 |     3384     50 |        3 |        6
424.92/425.07	c 90.8s |      15 |   224060 |    91432 |     3384     51 |        3 |        6
427.02/427.13	c 92.9s |      15 |   230501 |    93532 |     3384     53 |        3 |        6
429.03/429.13	c 94.9s |      15 |   234542 |    95332 |     3384     54 |        3 |        6
431.13/431.24	c 97.0s |      15 |   238624 |    97032 |     3384     55 |        3 |        6
433.12/433.29	c 99.0s |      15 |   242593 |    98632 |     3384     56 |        3 |        6
435.22/435.35	c  101s |      15 |   246773 |   100432 |     3384     57 |        3 |        6
437.32/437.47	c  103s |      15 |   251120 |   102232 |     3384     58 |        3 |        6
439.42/439.52	c  105s |      15 |   256061 |   104132 |     3384     59 |        3 |        6
441.42/441.53	c  107s |      15 |   260567 |   105832 |     3384     60 |        3 |        6
443.52/443.61	c  109s |      15 |   264772 |   107532 |     3384     61 |        3 |        6
445.53/445.67	c  111s |      15 |   268816 |   109132 |     3384     62 |        3 |        6
447.63/447.76	c  113s |      15 |   272690 |   110832 |     3384     63 |        3 |        6
449.72/449.88	c  115s |      15 |   277457 |   112732 |     3384     64 |        3 |        6
451.82/451.91	c  117s |      15 |   280962 |   114332 |     3384     65 |        3 |        6
453.82/453.99	c  119s |      15 |   285390 |   116232 |     3384     66 |        3 |        6
455.92/456.06	c  121s |      15 |   290967 |   118232 |     3384     67 |        3 |        6
457.92/458.06	c  123s |      15 |   295851 |   120332 |     3384     68 |        3 |        6
460.02/460.13	c  125s |      15 |   299046 |   121932 |     3384     69 |        3 |        6
462.12/462.24	c  127s |      15 |   303791 |   123932 |     3384     70 |        3 |        6
464.12/464.29	c  130s |      15 |   307992 |   125732 |     3384     71 |        3 |        6
466.22/466.37	c  132s |      15 |   312390 |   127632 |     3723     72 |        3 |        6
468.32/468.40	c  134s |      15 |   317137 |   129432 |     3723     73 |        3 |        6
470.32/470.48	c  136s |      15 |   321624 |   131432 |     3723     74 |        3 |        6
470.52/470.61	c  136s |      16 |   321956 |   131552 |     3723     74 |        3 |        6
472.52/472.61	c  138s |      16 |   326740 |   133452 |     3723     75 |        3 |        6
474.52/474.67	c  140s |      16 |   332182 |   135552 |     3723     76 |        3 |        6
476.62/476.73	c  142s |      16 |   336822 |   137452 |     3723     77 |        3 |        6
478.62/478.77	c  144s |      16 |   342127 |   139352 |     3723     78 |        3 |        6
480.62/480.78	c  146s |      16 |   346243 |   140952 |     3723     79 |        3 |        6
482.71/482.86	c  148s |      16 |   350192 |   142452 |     3723     80 |        3 |        6
484.81/484.91	c  150s |      16 |   353930 |   143752 |     3723     81 |        3 |        6
486.81/486.96	c  152s |      16 |   358159 |   145552 |     3723     81 |        3 |        6
488.81/488.97	c  154s |      16 |   361522 |   147152 |     3723     82 |        3 |        6
490.91/491.05	c  156s |      16 |   366933 |   149152 |     3723     83 |        3 |        6
493.01/493.14	c  158s |      16 |   371292 |   150952 |     3723     84 |        3 |        6
495.02/495.18	c  160s |      16 |   375879 |   152752 |     3723     85 |        3 |        6
497.12/497.26	c  163s |      16 |   382272 |   154952 |     3723     86 |        3 |        6
499.11/499.28	c  165s |      16 |   386880 |   156852 |     3723     87 |        3 |        6
501.21/501.39	c  167s |      16 |   391780 |   158752 |     3723     88 |        3 |        6
503.31/503.45	c  169s |      16 |   396736 |   160652 |     3723     89 |        3 |        6
505.31/505.48	c  171s |      16 |   400588 |   162352 |     3723     90 |        3 |        6
507.41/507.51	c  173s |      16 |   404259 |   163952 |     3723     91 |        3 |        6
509.41/509.51	c  175s |      16 |   407980 |   165652 |     3723     92 |        3 |        6
511.52/511.65	c  177s |      16 |   412613 |   167552 |     3723     93 |        3 |        6
513.62/513.72	c  179s |      16 |   417048 |   169252 |     3723     94 |        3 |        6
515.71/515.84	c  181s |      16 |   422223 |   171152 |     3723     95 |        3 |        6
517.71/517.88	c  183s |      16 |   426195 |   172852 |     3723     96 |        3 |        6
519.81/519.92	c  185s |      16 |   429841 |   174252 |     3723     97 |        3 |        6
521.81/521.99	c  187s |      16 |   434267 |   175852 |     3723     97 |        3 |        6
524.01/524.11	c  189s |      16 |   438369 |   177352 |     3723     98 |        3 |        6
526.01/526.17	c  191s |      16 |   441572 |   178652 |     3723     99 |        3 |        6
528.21/528.30	c  194s |      16 |   445337 |   180152 |     3723    100 |        3 |        6
530.21/530.39	c  196s |      16 |   449203 |   181752 |     3723    101 |        3 |        6
532.31/532.44	c  198s |      16 |   453267 |   183352 |     3723    101 |        3 |        6
534.51/534.62	c  200s |      16 |   457356 |   185252 |     3723    102 |        3 |        6
536.51/536.63	c  202s |      16 |   462026 |   187152 |     3723    103 |        3 |        6
538.50/538.63	c  204s |      16 |   466849 |   189252 |     3723    104 |        3 |        6
540.60/540.72	c  206s |      16 |   471891 |   191152 |     3723    105 |        3 |        6
542.60/542.73	c  208s |      16 |   476488 |   192952 |     3723    106 |        3 |        6
544.70/544.81	c  210s |      16 |   481095 |   194952 |     3723    108 |        3 |        6
546.71/546.83	c  212s |      16 |   485457 |   196852 |     3723    109 |        3 |        6
547.40/547.52	c  213s |      17 |   486941 |   197432 |     3723    109 |        3 |        6
549.50/549.61	c  215s |      17 |   491375 |   199332 |     3723    110 |        3 |        6
551.50/551.63	c  217s |      17 |   495293 |   201232 |     3723    111 |        3 |        6
553.50/553.69	c  219s |      17 |   499244 |   202932 |     3723    112 |        3 |        6
555.60/555.73	c  221s |      17 |   503017 |   204532 |     3723    113 |        3 |        6
557.71/557.83	c  223s |      17 |   507295 |   206232 |     3723    113 |        3 |        6
559.70/559.84	c  225s |      17 |   511075 |   207632 |     3723    114 |        3 |        6
561.70/561.86	c  227s |      17 |   514483 |   208932 |     3723    115 |        3 |        6
563.80/563.97	c  229s |      17 |   518039 |   210332 |     3723    116 |        3 |        6
565.90/566.04	c  231s |      17 |   522342 |   211832 |     3723    116 |        3 |        6
567.90/568.05	c  233s |      17 |   526481 |   213432 |     3723    117 |        3 |        6
569.90/570.08	c  235s |      17 |   531001 |   215332 |     3723    118 |        3 |        6
572.01/572.13	c  237s |      17 |   535548 |   217232 |     3723    119 |        3 |        6
574.11/574.21	c  239s |      17 |   539793 |   219032 |     3723    120 |        3 |        6
576.10/576.22	c  241s |      17 |   543897 |   220732 |     3723    121 |        3 |        6
578.10/578.24	c  243s |      17 |   547963 |   222332 |     3723    122 |        3 |        6
580.20/580.30	c  246s |      17 |   552484 |   224032 |     3723    123 |        3 |        6
582.20/582.30	c  248s |      17 |   556140 |   225632 |     3723    124 |        3 |        6
584.30/584.46	c  250s |      17 |   559874 |   227332 |     3723    125 |        3 |        6
586.40/586.50	c  252s |      17 |   563033 |   228732 |     3723    125 |        3 |        6
588.41/588.53	c  254s |      17 |   566552 |   230132 |     3723    126 |        3 |        6
590.61/590.71	c  256s |      17 |   570378 |   231532 |     3723    127 |        3 |        6
592.70/592.80	c  258s |      17 |   574347 |   232832 |     3723    127 |        3 |        6
594.70/594.89	c  260s |      17 |   578059 |   234232 |     3723    128 |        3 |        6
596.80/596.92	c  262s |      17 |   581323 |   235632 |     3723    129 |        3 |        6
598.90/599.03	c  264s |      17 |   584957 |   237132 |     3723    130 |        3 |        6
601.00/601.16	c  266s |      17 |   588146 |   238632 |     3723    131 |        3 |        6
603.00/603.17	c  268s |      17 |   591938 |   240332 |     3723    131 |        3 |        6
605.10/605.20	c  270s |      17 |   596066 |   242132 |     3723    132 |        3 |        6
607.10/607.29	c  273s |      17 |   600669 |   244132 |     3723    133 |        3 |        6
609.20/609.31	c  275s |      17 |   605823 |   246232 |     3723    135 |        3 |        6
611.20/611.35	c  277s |      17 |   610996 |   248332 |     3723    136 |        3 |        6
613.30/613.47	c  279s |      17 |   616560 |   250432 |     3723    137 |        3 |        6
615.30/615.47	c  281s |      17 |   621277 |   252332 |     3723    138 |        3 |        6
617.30/617.48	c  283s |      17 |   626310 |   254132 |     3723    139 |        3 |        6
619.50/619.60	c  285s |      17 |   631039 |   255932 |     3723    140 |        3 |        6
621.50/621.64	c  287s |      17 |   635919 |   257732 |     3723    141 |        3 |        6
623.60/623.71	c  289s |      17 |   640342 |   259632 |     3723    142 |        3 |        6
625.59/625.72	c  291s |      17 |   644785 |   261532 |     3723    143 |        3 |        6
627.69/627.83	c  293s |      17 |   648827 |   263332 |     3723    144 |        3 |        6
629.69/629.84	c  295s |      17 |   653093 |   265232 |     3723    145 |        3 |        6
631.79/631.93	c  297s |      17 |   657740 |   267132 |     3723    146 |        3 |        6
633.79/633.96	c  299s |      17 |   662151 |   269132 |     3723    147 |        3 |        6
635.89/636.06	c  301s |      17 |   666518 |   271032 |     3723    148 |        3 |        6
638.00/638.14	c  303s |      17 |   670312 |   272732 |     3723    148 |        3 |        6
639.99/640.17	c  305s |      17 |   674000 |   274332 |     3723    149 |        3 |        6
641.99/642.17	c  307s |      17 |   677924 |   276032 |     3723    150 |        3 |        6
644.09/644.25	c  309s |      17 |   682322 |   277932 |     3723    151 |        3 |        6
646.19/646.35	c  312s |      17 |   686519 |   279632 |     3723    152 |        3 |        6
648.29/648.43	c  314s |      17 |   690375 |   281232 |     3723    153 |        3 |        6
650.29/650.45	c  316s |      17 |   694141 |   282832 |     3723    154 |        3 |        6
652.39/652.51	c  318s |      17 |   698803 |   284632 |     3723    155 |        3 |        6
654.39/654.59	c  320s |      17 |   702639 |   286432 |     3723    156 |        3 |        6
656.49/656.67	c  322s |      17 |   706890 |   288032 |     3723    156 |        3 |        6
658.59/658.76	c  324s |      17 |   711057 |   289632 |     3723    157 |        3 |        6
660.69/660.83	c  326s |      17 |   714820 |   291232 |     3723    158 |        3 |        6
662.69/662.87	c  328s |      17 |   719410 |   293132 |     3723    159 |        3 |        6
664.79/664.95	c  330s |      17 |   723398 |   294832 |     3723    160 |        3 |        6
666.49/666.60	c  332s |      18 |   726369 |   296252 |     3723    161 |        3 |        6
668.59/668.71	c  334s |      18 |   731391 |   298352 |     3723    162 |        3 |        6
670.59/670.74	c  336s |      18 |   735880 |   300152 |     3723    163 |        3 |        6
672.68/672.80	c  338s |      18 |   740282 |   302152 |     3723    164 |        3 |        6
674.68/674.86	c  340s |      18 |   746427 |   304352 |     3723    165 |        3 |        6
676.78/676.90	c  342s |      18 |   751243 |   306552 |     3723    166 |        3 |        6
678.88/679.03	c  344s |      18 |   755786 |   308552 |     3723    167 |        3 |        6
680.89/681.04	c  346s |      18 |   761038 |   310452 |     3723    168 |        3 |        6
682.99/683.14	c  348s |      18 |   765887 |   312252 |     3723    169 |        3 |        6
684.98/685.16	c  350s |      18 |   770308 |   313852 |     3723    170 |        3 |        6
686.98/687.18	c  352s |      18 |   775419 |   315852 |     3723    171 |        3 |        6
689.08/689.25	c  354s |      18 |   780073 |   317952 |     3723    172 |        3 |        6
691.08/691.29	c  357s |      18 |   785679 |   320052 |     3723    173 |        3 |        6
693.18/693.34	c  359s |      18 |   792386 |   322652 |     3723    175 |        3 |        6
695.28/695.40	c  361s |      18 |   798885 |   325152 |     3723    176 |        3 |        6
697.28/697.44	c  363s |      18 |   804413 |   327552 |     3723    177 |        3 |        6
699.28/699.46	c  365s |      18 |   809972 |   329752 |     3723    179 |        3 |        6
701.38/701.50	c  367s |      18 |   815103 |   331952 |     3723    180 |        3 |        6
703.37/703.50	c  369s |      18 |   819308 |   333752 |     3723    181 |        3 |        6
705.37/705.51	c  371s |      18 |   824926 |   335752 |     3723    182 |        3 |        6
707.37/707.57	c  373s |      18 |   831229 |   337852 |     3723    183 |        3 |        6
709.38/709.59	c  375s |      18 |   835321 |   339452 |     3723    184 |        3 |        6
711.37/711.59	c  377s |      18 |   839838 |   341252 |     3723    185 |        3 |        6
713.47/713.60	c  379s |      18 |   844110 |   343052 |     3723    186 |        3 |        6
715.47/715.63	c  381s |      18 |   848172 |   344952 |     3723    187 |        3 |        6
717.57/717.72	c  383s |      18 |   852787 |   347052 |     3723    188 |        3 |        6
719.67/719.81	c  385s |      18 |   857644 |   349252 |     3723    189 |        3 |        6
721.77/721.90	c  387s |      18 |   862706 |   351452 |     3723    190 |        3 |        6
723.87/724.05	c  389s |      18 |   867350 |   353452 |     3723    191 |        3 |        6
725.87/726.06	c  391s |      18 |   872246 |   355452 |     3723    192 |        3 |        6
727.96/728.10	c  393s |      18 |   877017 |   357352 |     3723    193 |        3 |        6
729.96/730.14	c  395s |      18 |   882063 |   359352 |     3723    194 |        3 |        6
731.96/732.15	c  397s |      18 |   887089 |   361252 |     3723    195 |        3 |        6
734.06/734.23	c  399s |      18 |   891668 |   363052 |     3723    196 |        3 |        6
736.16/736.33	c  402s |      18 |   896645 |   364752 |     3723    197 |        3 |        6
738.26/738.48	c  404s |      18 |   900861 |   366252 |     3723    198 |        3 |        6
740.36/740.59	c  406s |      18 |   905037 |   367952 |     3723    199 |        3 |        6
742.55/742.72	c  408s |      18 |   909197 |   369852 |     3723    200 |        3 |        6
744.56/744.75	c  410s |      18 |   913201 |   371652 |     3723    201 |        3 |        6
746.55/746.75	c  412s |      18 |   917852 |   373652 |     3723    202 |        3 |        6
748.55/748.79	c  414s |      18 |   922794 |   375552 |     3723    203 |        3 |        6
750.65/750.82	c  416s |      18 |   927254 |   377452 |     3723    204 |        3 |        6
752.65/752.86	c  418s |      18 |   931978 |   379352 |     3723    205 |        3 |        6
754.75/754.91	c  420s |      18 |   936088 |   381052 |     3723    206 |        3 |        6
756.76/756.94	c  422s |      18 |   940504 |   382852 |     3723    207 |        3 |        6
758.86/759.02	c  424s |      18 |   944874 |   384552 |     3723    207 |        3 |        6
760.95/761.12	c  426s |      18 |   949360 |   386252 |     3723    208 |        3 |        6
762.95/763.16	c  428s |      18 |   954152 |   388052 |     3723    209 |        3 |        6
765.05/765.28	c  431s |      18 |   960554 |   389952 |     3723    210 |        3 |        6
767.15/767.33	c  433s |      18 |   964204 |   391452 |     3723    211 |        3 |        6
769.15/769.34	c  435s |      18 |   967781 |   392952 |     3723    212 |        3 |        6
771.14/771.34	c  437s |      18 |   972792 |   394652 |     3723    213 |        3 |        6
773.25/773.41	c  439s |      18 |   977761 |   396552 |     3723    214 |        3 |        6
775.24/775.47	c  441s |      18 |   982501 |   398652 |     3723    215 |        3 |        6
777.34/777.53	c  443s |      18 |   987206 |   400752 |     3723    216 |        3 |        6
779.44/779.60	c  445s |      18 |   992530 |   402852 |     3723    217 |        3 |        6
781.44/781.68	c  447s |      18 |   997476 |   404952 |     3723    218 |        3 |        6
783.64/783.80	c  449s |      18 |  1001979 |   406952 |     3723    219 |        3 |        6
785.64/785.87	c  451s |      18 |  1006464 |   408952 |     3723    220 |        3 |        6
787.74/787.99	c  453s |      18 |  1011345 |   411052 |     3723    221 |        3 |        6
789.83/790.03	c  455s |      18 |  1017011 |   412952 |     3723    222 |        3 |        6
791.94/792.11	c  457s |      18 |  1022194 |   414752 |     3723    223 |        3 |        6
793.93/794.13	c  459s |      18 |  1026370 |   416452 |     3723    224 |        3 |        6
796.03/796.20	c  461s |      18 |  1030409 |   418352 |     3723    225 |        3 |        6
798.03/798.28	c  464s |      18 |  1034860 |   420252 |     3723    226 |        3 |        6
800.03/800.29	c  466s |      18 |  1039620 |   422252 |     3723    227 |        3 |        6
802.13/802.35	c  468s |      18 |  1043533 |   424052 |     3723    228 |        3 |        6
804.13/804.37	c  470s |      18 |  1047855 |   425952 |     3723    229 |        3 |        6
806.23/806.41	c  472s |      18 |  1052126 |   427952 |     3723    230 |        3 |        6
808.22/808.48	c  474s |      18 |  1056581 |   429852 |     3723    231 |        3 |        6
810.42/810.60	c  476s |      18 |  1061399 |   431852 |     3723    232 |        3 |        6
812.42/812.69	c  478s |      18 |  1065533 |   433652 |     3723    233 |        3 |        6
814.52/814.72	c  480s |      18 |  1069734 |   435352 |     3723    234 |        3 |        6
816.52/816.77	c  482s |      18 |  1074711 |   437152 |     3723    235 |        3 |        6
818.62/818.83	c  484s |      18 |  1079204 |   438752 |     3723    236 |        3 |        6
820.72/820.92	c  486s |      18 |  1083134 |   440252 |     3723    237 |        3 |        6
822.82/823.04	c  488s |      18 |  1087287 |   442052 |     3723    238 |        3 |        6
824.82/825.07	c  490s |      18 |  1091634 |   444052 |     3723    239 |        3 |        6
825.22/825.45	c  491s |      19 |  1092806 |   444482 |     3723    239 |        3 |        6
827.22/827.46	c  493s |      19 |  1098632 |   446582 |     3723    240 |        3 |        6
829.22/829.48	c  495s |      19 |  1103258 |   448382 |     3723    241 |        3 |        6
831.31/831.50	c  497s |      19 |  1107644 |   450182 |     3723    242 |        3 |        6
833.31/833.58	c  499s |      19 |  1113740 |   452382 |     3723    243 |        3 |        6
835.41/835.66	c  501s |      19 |  1119402 |   454582 |     3723    244 |        3 |        6
837.51/837.70	c  503s |      19 |  1124631 |   456482 |     3723    245 |        3 |        6
839.51/839.76	c  505s |      19 |  1129904 |   458482 |     4096    246 |        3 |        6
841.71/841.91	c  507s |      19 |  1134534 |   460582 |     4096    247 |        3 |        6
843.70/843.93	c  509s |      19 |  1139301 |   462482 |     4096    248 |        3 |        6
845.71/845.98	c  511s |      19 |  1144446 |   464382 |     4096    249 |        3 |        6
847.70/848.00	c  513s |      19 |  1149574 |   466382 |     4096    250 |        3 |        6
849.80/850.01	c  515s |      19 |  1155187 |   468282 |     4096    251 |        3 |        6
851.90/852.12	c  517s |      19 |  1159606 |   470082 |     4096    252 |        3 |        6
853.90/854.13	c  519s |      19 |  1163572 |   471682 |     4096    253 |        3 |        6
855.99/856.22	c  521s |      19 |  1168993 |   473482 |     4096    254 |        3 |        6
857.99/858.26	c  524s |      19 |  1172849 |   475182 |     4096    254 |        3 |        6
860.00/860.30	c  526s |      19 |  1176143 |   476582 |     4096    255 |        3 |        6
862.09/862.38	c  528s |      19 |  1180182 |   478182 |     4096    256 |        3 |        6
864.29/864.52	c  530s |      19 |  1184295 |   479682 |     4096    257 |        3 |        6
866.39/866.64	c  532s |      19 |  1187370 |   480982 |     4096    257 |        3 |        6
868.39/868.64	c  534s |      19 |  1190895 |   482382 |     4096    258 |        3 |        6
870.49/870.70	c  536s |      19 |  1195009 |   483982 |     4096    259 |        3 |        6
872.49/872.78	c  538s |      19 |  1199532 |   485782 |     4096    259 |        3 |        6
874.59/874.88	c  540s |      19 |  1204959 |   487882 |     4096    261 |        3 |        6
876.69/876.98	c  542s |      19 |  1209710 |   489982 |     4096    262 |        3 |        6
878.79/879.06	c  544s |      19 |  1214292 |   491882 |     4096    262 |        3 |        6
880.79/881.09	c  546s |      19 |  1219190 |   493682 |     4096    263 |        3 |        6
882.88/883.15	c  548s |      19 |  1223425 |   495482 |     4096    264 |        3 |        6
884.88/885.19	c  550s |      19 |  1227305 |   497082 |     4096    265 |        3 |        6
886.98/887.26	c  553s |      19 |  1231472 |   498482 |     4096    266 |        3 |        6
888.99/889.27	c  555s |      19 |  1236030 |   500082 |     4096    266 |        3 |        6
891.09/891.37	c  557s |      19 |  1240036 |   501582 |     4096    267 |        3 |        6
893.10/893.38	c  559s |      19 |  1243475 |   503082 |     4096    268 |        3 |        6
895.19/895.44	c  561s |      19 |  1247180 |   504782 |     4096    269 |        3 |        6
897.19/897.45	c  563s |      19 |  1251819 |   506582 |     4096    269 |        3 |        6
899.19/899.45	c  565s |      19 |  1255818 |   508282 |     4096    270 |        3 |        6
901.29/901.56	c  567s |      19 |  1259646 |   509982 |     4096    271 |        3 |        6
903.28/903.59	c  569s |      19 |  1263640 |   511582 |     4096    272 |        3 |        6
905.38/905.68	c  571s |      19 |  1268208 |   513182 |     4096    273 |        3 |        6
907.48/907.79	c  573s |      19 |  1272493 |   514682 |     4096    273 |        3 |        6
909.59/909.86	c  575s |      19 |  1276215 |   515982 |     4096    274 |        3 |        6
911.69/911.91	c  577s |      19 |  1280608 |   517482 |     4096    275 |        3 |        6
913.68/913.95	c  579s |      19 |  1284300 |   519082 |     4096    275 |        3 |        6
915.78/916.02	c  581s |      19 |  1288008 |   520582 |     4096    276 |        3 |        6
917.88/918.19	c  583s |      19 |  1291998 |   522182 |     4096    277 |        3 |        6
919.98/920.22	c  585s |      19 |  1295024 |   523382 |     4096    278 |        3 |        6
922.07/922.30	c  588s |      19 |  1299107 |   524882 |     4096    278 |        3 |        6
924.07/924.33	c  590s |      19 |  1303141 |   526482 |     4096    279 |        3 |        6
926.17/926.45	c  592s |      19 |  1306636 |   528182 |     4096    280 |        3 |        6
928.37/928.60	c  594s |      19 |  1310427 |   529582 |     4096    281 |        3 |        6
930.48/930.75	c  596s |      19 |  1314132 |   531082 |     4096    281 |        3 |        6
932.58/932.81	c  598s |      19 |  1317318 |   532482 |     4096    282 |        3 |        6
934.67/934.90	c  600s |      19 |  1321257 |   534082 |     4096    283 |        3 |        6
936.67/936.91	c  602s |      19 |  1324984 |   535682 |     4096    283 |        3 |        6
938.67/938.99	c  604s |      19 |  1328934 |   537282 |     4096    284 |        3 |        6
940.77/941.09	c  606s |      19 |  1332567 |   538782 |     4096    285 |        3 |        6
942.87/943.12	c  608s |      19 |  1336372 |   540282 |     4096    286 |        3 |        6
944.97/945.23	c  610s |      19 |  1341053 |   541782 |     4096    286 |        3 |        6
946.97/947.29	c  613s |      19 |  1345607 |   543382 |     4096    287 |        3 |        6
949.07/949.34	c  615s |      19 |  1349709 |   544882 |     4096    288 |        3 |        6
951.07/951.34	c  617s |      19 |  1353470 |   546082 |     4096    288 |        3 |        6
953.06/953.38	c  619s |      19 |  1356756 |   547282 |     4096    289 |        3 |        6
955.26/955.50	c  621s |      19 |  1359771 |   548582 |     4096    290 |        3 |        6
957.26/957.58	c  623s |      19 |  1363778 |   550382 |     4096    291 |        3 |        6
959.26/959.58	c  625s |      19 |  1368698 |   552282 |     4096    291 |        3 |        6
961.36/961.63	c  627s |      19 |  1373167 |   554082 |     4096    292 |        3 |        6
963.46/963.72	c  629s |      19 |  1378291 |   556082 |     4096    293 |        3 |        6
965.46/965.78	c  631s |      19 |  1382580 |   557782 |     4096    294 |        3 |        6
967.56/967.82	c  633s |      19 |  1387054 |   559382 |     4096    295 |        3 |        6
969.66/969.97	c  635s |      19 |  1390396 |   560682 |     4096    295 |        3 |        6
971.66/971.98	c  637s |      19 |  1393957 |   562082 |     4096    296 |        3 |        6
973.75/974.02	c  639s |      19 |  1398073 |   563682 |     4096    297 |        3 |        6
975.85/976.11	c  641s |      19 |  1402064 |   565182 |     4096    298 |        3 |        6
977.85/978.16	c  643s |      19 |  1406207 |   566982 |     4096    299 |        3 |        6
979.86/980.16	c  645s |      19 |  1410983 |   568882 |     4096    299 |        3 |        6
981.95/982.22	c  647s |      19 |  1415731 |   570882 |     4096    300 |        3 |        6
984.05/984.32	c  650s |      19 |  1420036 |   572582 |     4096    301 |        3 |        6
986.25/986.51	c  652s |      19 |  1424535 |   574182 |     4096    302 |        3 |        6
988.25/988.54	c  654s |      19 |  1428607 |   575782 |     4096    303 |        3 |        6
990.35/990.69	c  656s |      19 |  1432896 |   577182 |     4096    303 |        3 |        6
992.34/992.69	c  658s |      19 |  1437343 |   578582 |     4096    304 |        3 |        6
994.34/994.69	c  660s |      19 |  1441284 |   579982 |     4096    305 |        3 |        6
996.45/996.70	c  662s |      19 |  1445194 |   581582 |     4096    306 |        3 |        6
998.55/998.83	c  664s |      19 |  1450236 |   583582 |     4096    306 |        3 |        6
1000.64/1000.92	c  666s |      19 |  1455790 |   585682 |     4096    307 |        3 |        6
1002.74/1003.01	c  668s |      19 |  1460249 |   587582 |     4096    308 |        3 |        6
1004.84/1005.11	c  670s |      19 |  1465104 |   589382 |     4096    309 |        3 |        6
1006.84/1007.17	c  672s |      19 |  1469741 |   591182 |     4096    310 |        3 |        6
1008.83/1009.18	c  674s |      19 |  1474196 |   592782 |     4096    311 |        3 |        6
1010.83/1011.18	c  676s |      19 |  1478596 |   594382 |     4096    312 |        3 |        6
1012.94/1013.27	c  679s |      19 |  1482915 |   595982 |     4096    312 |        3 |        6
1014.93/1015.29	c  681s |      19 |  1487134 |   597382 |     4096    313 |        3 |        6
1017.03/1017.32	c  683s |      19 |  1491169 |   598782 |     4096    314 |        3 |        6
1019.03/1019.35	c  685s |      19 |  1495189 |   600282 |     4096    315 |        3 |        6
1021.13/1021.43	c  687s |      19 |  1499863 |   602082 |     4096    315 |        3 |        6
1023.13/1023.47	c  689s |      19 |  1505444 |   604082 |     4096    316 |        3 |        6
1025.23/1025.55	c  691s |      19 |  1511011 |   605882 |     4096    317 |        3 |        6
1027.23/1027.56	c  693s |      19 |  1515890 |   607682 |     4096    318 |        3 |        6
1029.33/1029.65	c  695s |      19 |  1520959 |   609382 |     4096    319 |        3 |        6
1031.43/1031.70	c  697s |      19 |  1525901 |   611082 |     4096    320 |        3 |        6
1033.42/1033.74	c  699s |      19 |  1529685 |   612382 |     4096    320 |        3 |        6
1035.52/1035.84	c  701s |      19 |  1533215 |   613682 |     4096    321 |        3 |        6
1037.62/1037.99	c  703s |      19 |  1537355 |   615082 |     4096    322 |        3 |        6
1039.72/1040.06	c  705s |      19 |  1540912 |   616582 |     4096    322 |        3 |        6
1041.72/1042.09	c  707s |      19 |  1544195 |   617982 |     4096    323 |        3 |        6
1043.92/1044.22	c  709s |      19 |  1548395 |   619682 |     4096    324 |        3 |        6
1046.02/1046.30	c  712s |      19 |  1552982 |   621382 |     4096    325 |        3 |        6
1048.13/1048.40	c  714s |      19 |  1557938 |   623282 |     4096    326 |        3 |        6
1050.12/1050.50	c  716s |      19 |  1563047 |   625082 |     4096    326 |        3 |        6
1052.22/1052.59	c  718s |      19 |  1567505 |   626882 |     4096    327 |        3 |        6
1054.32/1054.63	c  720s |      19 |  1571859 |   628582 |     4096    328 |        3 |        6
1056.32/1056.68	c  722s |      19 |  1576068 |   630282 |     4096    329 |        3 |        6
1058.52/1058.83	c  724s |      19 |  1579725 |   631782 |     4096    330 |        3 |        6
1060.52/1060.89	c  726s |      19 |  1583684 |   633182 |     4096    330 |        3 |        6
1062.61/1062.93	c  728s |      19 |  1587342 |   634582 |     4096    331 |        3 |        6
1064.62/1064.96	c  730s |      19 |  1591453 |   635982 |     4096    332 |        3 |        6
1066.72/1067.04	c  732s |      19 |  1596207 |   637482 |     4096    332 |        3 |        6
1068.81/1069.18	c  734s |      19 |  1599086 |   638682 |     4096    333 |        3 |        6
1071.01/1071.31	c  737s |      19 |  1602304 |   639982 |     4096    334 |        3 |        6
1073.11/1073.40	c  739s |      19 |  1605921 |   641382 |     4096    334 |        3 |        6
1075.21/1075.53	c  741s |      19 |  1609751 |   642882 |     4096    335 |        3 |        6
1077.31/1077.62	c  743s |      19 |  1613793 |   644582 |     4096    336 |        3 |        6
1079.41/1079.76	c  745s |      19 |  1618126 |   646382 |     4096    337 |        3 |        6
1081.51/1081.81	c  747s |      19 |  1622384 |   648182 |     4096    338 |        3 |        6
1083.50/1083.88	c  749s |      19 |  1626556 |   649882 |     4096    338 |        3 |        6
1085.70/1086.03	c  751s |      19 |  1630475 |   651582 |     4096    339 |        3 |        6
1087.71/1088.05	c  753s |      19 |  1634401 |   653182 |     4096    340 |        3 |        6
1089.70/1090.05	c  755s |      19 |  1638299 |   654682 |     4096    341 |        3 |        6
1091.70/1092.09	c  757s |      19 |  1642123 |   656282 |     4096    341 |        3 |        6
1093.80/1094.12	c  759s |      19 |  1645294 |   657582 |     4096    342 |        3 |        6
1095.90/1096.22	c  761s |      19 |  1648302 |   658782 |     4096    343 |        3 |        6
1098.00/1098.34	c  764s |      19 |  1651210 |   659882 |     4096    343 |        3 |        6
1100.00/1100.39	c  766s |      19 |  1654263 |   661082 |     4096    344 |        3 |        6
1102.09/1102.50	c  768s |      19 |  1657807 |   662482 |     4096    344 |        3 |        6
1104.20/1104.56	c  770s |      19 |  1661664 |   664082 |     4096    345 |        3 |        6
1106.30/1106.61	c  772s |      19 |  1666999 |   666082 |     4096    346 |        3 |        6
1107.09/1107.46	c  773s |      20 |  1668909 |   666827 |     4096    347 |        3 |        6
1109.09/1109.48	c  775s |      20 |  1673144 |   668527 |     4096    347 |        3 |        6
1111.19/1111.52	c  777s |      20 |  1677402 |   670327 |     4096    348 |        3 |        6
1113.19/1113.55	c  779s |      20 |  1681756 |   672027 |     4096    349 |        3 |        6
1115.29/1115.60	c  781s |      20 |  1685119 |   673427 |     4096    350 |        3 |        6
1117.29/1117.62	c  783s |      20 |  1688933 |   674927 |     4096    350 |        3 |        6
1119.49/1119.81	c  785s |      20 |  1692342 |   676327 |     4096    351 |        3 |        6
1121.48/1121.82	c  787s |      20 |  1695961 |   677627 |     4096    352 |        3 |        6
1123.48/1123.88	c  789s |      20 |  1700574 |   679427 |     4096    353 |        3 |        6
1125.58/1125.95	c  791s |      20 |  1704672 |   681227 |     4096    353 |        3 |        6
1127.58/1127.99	c  793s |      20 |  1709305 |   683027 |     4096    354 |        3 |        6
1129.68/1130.01	c  795s |      20 |  1714574 |   685127 |     4096    355 |        3 |        6
1131.69/1132.04	c  797s |      20 |  1720400 |   687427 |     4096    356 |        3 |        6
1133.68/1134.07	c  799s |      20 |  1725740 |   689427 |     4096    357 |        3 |        6
1135.78/1136.14	c  801s |      20 |  1730791 |   691427 |     4096    358 |        3 |        6
1137.78/1138.20	c  803s |      20 |  1734659 |   693027 |     4096    359 |        3 |        6
1139.87/1140.25	c  805s |      20 |  1739294 |   694827 |     4096    360 |        3 |        6
1142.07/1142.43	c  808s |      20 |  1743729 |   696427 |     4096    361 |        3 |        6
1144.07/1144.44	c  810s |      20 |  1747812 |   698127 |     4096    362 |        3 |        6
1146.17/1146.54	c  812s |      20 |  1752251 |   699627 |     4096    362 |        3 |        6
1148.37/1148.70	c  814s |      20 |  1756130 |   700927 |     4096    363 |        3 |        6
1150.47/1150.84	c  816s |      20 |  1760007 |   702327 |     4096    364 |        3 |        6
1152.58/1152.96	c  818s |      20 |  1763766 |   703927 |     4096    364 |        3 |        6
1154.68/1155.01	c  820s |      20 |  1768908 |   706027 |     4096    365 |        3 |        6
1156.67/1157.05	c  822s |      20 |  1773838 |   707927 |     4096    366 |        3 |        6
1158.77/1159.12	c  824s |      20 |  1778379 |   709927 |     4096    367 |        3 |        6
1160.77/1161.19	c  826s |      20 |  1783019 |   711827 |     4096    368 |        3 |        6
1162.86/1163.22	c  828s |      20 |  1787559 |   713727 |     4096    369 |        3 |        6
1164.86/1165.26	c  831s |      20 |  1791462 |   715527 |     4096    370 |        3 |        6
1166.96/1167.30	c  833s |      20 |  1796476 |   717527 |     4096    371 |        3 |        6
1168.97/1169.32	c  835s |      20 |  1801598 |   719427 |     4096    372 |        3 |        6
1170.96/1171.33	c  837s |      20 |  1806145 |   721227 |     4096    373 |        3 |        6
1172.96/1173.35	c  839s |      20 |  1811134 |   723027 |     4096    373 |        3 |        6
1175.06/1175.42	c  841s |      20 |  1816343 |   724827 |     4096    374 |        3 |        6
1177.06/1177.47	c  843s |      20 |  1821325 |   726527 |     4096    375 |        3 |        6
1179.25/1179.62	c  845s |      20 |  1825189 |   728027 |     4096    376 |        3 |        6
1181.25/1181.68	c  847s |      20 |  1829269 |   729627 |     4096    377 |        3 |        6
1183.26/1183.69	c  849s |      20 |  1833871 |   731427 |     4096    378 |        3 |        6
1185.35/1185.70	c  851s |      20 |  1837599 |   733027 |     4096    378 |        3 |        6
1187.35/1187.78	c  853s |      20 |  1841773 |   734827 |     4096    379 |        3 |        6
1189.45/1189.81	c  855s |      20 |  1845574 |   736427 |     4096    380 |        3 |        6
1191.45/1191.89	c  857s |      20 |  1849188 |   737927 |     4096    381 |        3 |        6
1193.54/1193.97	c  859s |      20 |  1854025 |   739827 |     4096    382 |        3 |        6
1195.54/1195.99	c  861s |      20 |  1857777 |   741527 |     4096    382 |        3 |        6
1197.65/1198.06	c  863s |      20 |  1861957 |   743227 |     4096    383 |        3 |        6
1199.75/1200.18	c  865s |      20 |  1866631 |   745027 |     4096    384 |        3 |        6
1201.74/1202.18	c  867s |      20 |  1870616 |   746727 |     4096    385 |        3 |        6
1203.84/1204.24	c  869s |      20 |  1876105 |   748627 |     4096    386 |        3 |        6
1205.94/1206.37	c  872s |      20 |  1881010 |   750227 |     4096    387 |        3 |        6
1208.04/1208.45	c  874s |      20 |  1884862 |   751727 |     4096    387 |        3 |        6
1210.14/1210.52	c  876s |      20 |  1888779 |   753227 |     4096    388 |        3 |        6
1212.13/1212.52	c  878s |      20 |  1892921 |   754727 |     4096    389 |        3 |        6
1214.33/1214.74	c  880s |      20 |  1897457 |   756427 |     4096    390 |        3 |        6
1216.34/1216.77	c  882s |      20 |  1901347 |   758027 |     4096    390 |        3 |        6
1218.44/1218.86	c  884s |      20 |  1905498 |   759727 |     4096    391 |        3 |        6
1220.53/1220.96	c  886s |      20 |  1909771 |   761627 |     4096    392 |        3 |        6
1222.63/1223.03	c  888s |      20 |  1914192 |   763327 |     4096    393 |        3 |        6
1224.73/1225.10	c  890s |      20 |  1918326 |   765027 |     4096    394 |        3 |        6
1226.83/1227.20	c  892s |      20 |  1922920 |   766927 |     4096    395 |        3 |        6
1228.83/1229.25	c  894s |      20 |  1926834 |   768627 |     4096    395 |        3 |        6
1231.02/1231.40	c  897s |      20 |  1931003 |   770327 |     4096    396 |        3 |        6
1233.02/1233.49	c  899s |      20 |  1935151 |   771927 |     4096    397 |        3 |        6
1235.03/1235.49	c  901s |      20 |  1940742 |   773527 |     4096    398 |        3 |        6
1237.13/1237.51	c  903s |      20 |  1945617 |   775127 |     4096    398 |        3 |        6
1239.22/1239.60	c  905s |      20 |  1950915 |   776827 |     4096    399 |        3 |        6
1241.22/1241.68	c  907s |      20 |  1953996 |   778127 |     4096    400 |        3 |        6
1243.32/1243.72	c  909s |      20 |  1957816 |   779627 |     4096    401 |        3 |        6
1245.32/1245.76	c  911s |      20 |  1961430 |   781227 |     4096    401 |        3 |        6
1247.32/1247.79	c  913s |      20 |  1965991 |   783027 |     4096    402 |        3 |        6
1249.42/1249.88	c  915s |      20 |  1969441 |   784627 |     4096    403 |        3 |        6
1251.52/1251.93	c  917s |      20 |  1974644 |   786527 |     4096    404 |        3 |        6
1253.51/1253.96	c  919s |      20 |  1978177 |   788127 |     4096    405 |        3 |        6
1255.71/1256.10	c  921s |      20 |  1983410 |   790027 |     4096    406 |        3 |        6
1257.81/1258.20	c  923s |      20 |  1988105 |   791927 |     4096    407 |        3 |        6
1259.81/1260.29	c  926s |      20 |  1991720 |   793627 |     4096    407 |        3 |        6
1262.01/1262.41	c  928s |      20 |  1995852 |   795127 |     4096    408 |        3 |        6
1264.11/1264.53	c  930s |      20 |  1999761 |   796727 |     4096    409 |        3 |        6
1266.11/1266.56	c  932s |      20 |  2003457 |   798127 |     4096    410 |        3 |        6
1268.21/1268.62	c  934s |      20 |  2007599 |   799627 |     4096    410 |        3 |        6
1270.30/1270.76	c  936s |      20 |  2010696 |   800827 |     4096    411 |        3 |        6
1272.41/1272.89	c  938s |      20 |  2014143 |   802227 |     4096    411 |        3 |        6
1274.51/1275.00	c  940s |      20 |  2017485 |   803727 |     4096    412 |        3 |        6
1276.60/1277.01	c  942s |      20 |  2020906 |   805227 |     4096    413 |        3 |        6
1278.60/1279.05	c  944s |      20 |  2024442 |   806727 |     4096    414 |        3 |        6
1280.70/1281.16	c  946s |      20 |  2028840 |   808627 |     4096    415 |        3 |        6
1282.79/1283.22	c  948s |      20 |  2032471 |   810427 |     4096    415 |        3 |        6
1284.90/1285.34	c  951s |      20 |  2036915 |   812327 |     4096    416 |        3 |        6
1286.90/1287.40	c  953s |      20 |  2041780 |   814227 |     4096    417 |        3 |        6
1289.10/1289.51	c  955s |      20 |  2046125 |   815927 |     4096    418 |        3 |        6
1291.20/1291.63	c  957s |      20 |  2050053 |   817527 |     4096    419 |        3 |        6
1293.30/1293.77	c  959s |      20 |  2053815 |   819127 |     4096    420 |        3 |        6
1295.30/1295.78	c  961s |      20 |  2057269 |   820527 |     4096    420 |        3 |        6
1297.40/1297.82	c  963s |      20 |  2061636 |   821927 |     4096    421 |        3 |        6
1299.50/1299.94	c  965s |      20 |  2064584 |   823127 |     4096    422 |        3 |        6
1301.60/1302.03	c  967s |      20 |  2067951 |   824527 |     4096    422 |        3 |        6
1303.69/1304.11	c  969s |      20 |  2071315 |   826027 |     4096    423 |        3 |        6
1305.79/1306.20	c  971s |      20 |  2075074 |   827727 |     4096    424 |        3 |        6
1307.79/1308.27	c  974s |      20 |  2079628 |   829527 |     4096    425 |        3 |        6
1309.89/1310.33	c  976s |      20 |  2084194 |   831227 |     4096    425 |        3 |        6
1311.89/1312.40	c  978s |      20 |  2087652 |   832727 |     4096    426 |        3 |        6
1314.09/1314.52	c  980s |      20 |  2091619 |   834327 |     4096    427 |        3 |        6
1316.19/1316.62	c  982s |      20 |  2095278 |   835827 |     4096    428 |        3 |        6
1318.19/1318.66	c  984s |      20 |  2098920 |   837227 |     4096    428 |        3 |        6
1320.29/1320.75	c  986s |      20 |  2102219 |   838527 |     4096    429 |        3 |        6
1322.38/1322.87	c  988s |      20 |  2105852 |   839827 |     4096    430 |        3 |        6
1324.48/1324.91	c  990s |      20 |  2108987 |   841027 |     4096    430 |        3 |        6
1326.48/1326.96	c  992s |      20 |  2112116 |   842427 |     4096    431 |        3 |        6
1328.58/1329.06	c  994s |      20 |  2115597 |   844027 |     4096    432 |        3 |        6
1330.59/1331.07	c  996s |      20 |  2119507 |   845727 |     4096    432 |        3 |        6
1332.58/1333.09	c  998s |      20 |  2123776 |   847627 |     4096    433 |        3 |        6
1334.68/1335.17	c 1000s |      20 |  2128588 |   849627 |     4096    434 |        3 |        6
1336.77/1337.25	c 1002s |      20 |  2133626 |   851527 |     4096    435 |        3 |        6
1338.87/1339.30	c 1005s |      20 |  2137560 |   853227 |     4096    436 |        3 |        6
1340.87/1341.33	c 1007s |      20 |  2141470 |   854827 |     4096    437 |        3 |        6
1342.87/1343.34	c 1009s |      20 |  2143582 |   855827 |     4096    437 |        3 |        6
1344.98/1345.45	c 1011s |      20 |  2147764 |   857427 |     4096    438 |        3 |        6
1346.97/1347.50	c 1013s |      20 |  2151333 |   858927 |     4096    439 |        3 |        6
1349.07/1349.59	c 1015s |      20 |  2156768 |   860627 |     4096    440 |        3 |        6
1351.27/1351.74	c 1017s |      20 |  2160197 |   862027 |     4096    440 |        3 |        6
1353.37/1353.89	c 1019s |      20 |  2163543 |   863327 |     4096    441 |        3 |        6
1355.47/1355.91	c 1021s |      20 |  2166750 |   864727 |     4096    442 |        3 |        6
1357.47/1357.98	c 1023s |      20 |  2171343 |   866527 |     4096    442 |        3 |        6
1359.57/1360.00	c 1025s |      20 |  2175703 |   868327 |     4096    443 |        3 |        6
1361.57/1362.07	c 1027s |      20 |  2180378 |   870227 |     4096    444 |        3 |        6
1363.67/1364.12	c 1029s |      20 |  2185794 |   872327 |     4096    445 |        3 |        6
1365.67/1366.20	c 1031s |      20 |  2190888 |   874527 |     4096    446 |        3 |        6
1367.77/1368.29	c 1034s |      20 |  2195128 |   876527 |     4096    447 |        3 |        6
1369.87/1370.37	c 1036s |      20 |  2199701 |   878527 |     4096    448 |        3 |        6
1371.87/1372.39	c 1038s |      20 |  2203913 |   880227 |     4096    449 |        3 |        6
1373.97/1374.42	c 1040s |      20 |  2207767 |   881727 |     4096    450 |        3 |        6
1376.07/1376.52	c 1042s |      20 |  2211314 |   883227 |     4096    450 |        3 |        6
1378.17/1378.67	c 1044s |      20 |  2214750 |   884427 |     4096    451 |        3 |        6
1380.26/1380.73	c 1046s |      20 |  2218518 |   886027 |     4096    452 |        3 |        6
1382.27/1382.79	c 1048s |      20 |  2222006 |   887527 |     4096    453 |        3 |        6
1384.36/1384.82	c 1050s |      20 |  2225886 |   889327 |     4096    453 |        3 |        6
1386.46/1386.91	c 1052s |      20 |  2229955 |   891027 |     4096    454 |        3 |        6
1388.46/1388.98	c 1054s |      20 |  2233919 |   892827 |     4096    455 |        3 |        6
1390.66/1391.13	c 1056s |      20 |  2237346 |   894427 |     4096    456 |        3 |        6
1392.76/1393.21	c 1058s |      20 |  2241591 |   896027 |     4096    457 |        3 |        6
1394.86/1395.33	c 1061s |      20 |  2246133 |   897627 |     4096    457 |        3 |        6
1396.96/1397.40	c 1063s |      20 |  2248839 |   898727 |     4096    458 |        3 |        6
1399.06/1399.55	c 1065s |      20 |  2251622 |   900027 |     4096    459 |        3 |        6
1401.07/1401.59	c 1067s |      20 |  2255166 |   901527 |     4096    459 |        3 |        6
1403.17/1403.69	c 1069s |      20 |  2258404 |   902927 |     4096    460 |        3 |        6
1405.26/1405.80	c 1071s |      20 |  2261970 |   904627 |     4096    461 |        3 |        6
1407.46/1407.92	c 1073s |      20 |  2265960 |   906327 |     4096    462 |        3 |        6
1409.56/1410.01	c 1075s |      20 |  2269996 |   908127 |     4096    462 |        3 |        6
1411.56/1412.05	c 1077s |      20 |  2274277 |   909827 |     4096    463 |        3 |        6
1413.66/1414.11	c 1079s |      20 |  2278299 |   911427 |     4096    464 |        3 |        6
1415.66/1416.16	c 1081s |      20 |  2281700 |   912927 |     4096    465 |        3 |        6
1417.75/1418.27	c 1084s |      20 |  2285354 |   914327 |     4096    465 |        3 |        6
1419.85/1420.38	c 1086s |      20 |  2287826 |   915527 |     4096    466 |        3 |        6
1421.96/1422.44	c 1088s |      20 |  2291273 |   916927 |     4096    467 |        3 |        6
1424.06/1424.52	c 1090s |      20 |  2294498 |   918327 |     4096    467 |        3 |        6
1426.05/1426.58	c 1092s |      20 |  2298271 |   919827 |     4096    468 |        3 |        6
1428.15/1428.64	c 1094s |      20 |  2303297 |   921827 |     4096    469 |        3 |        6
1430.25/1430.72	c 1096s |      20 |  2307985 |   923827 |     4096    470 |        3 |        6
1432.35/1432.83	c 1098s |      20 |  2312401 |   925627 |     4096    471 |        3 |        6
1434.45/1434.95	c 1100s |      20 |  2316144 |   927127 |     4096    472 |        3 |        6
1436.55/1437.03	c 1102s |      20 |  2319829 |   928527 |     4096    472 |        3 |        6
1438.55/1439.09	c 1104s |      20 |  2323001 |   929927 |     4096    473 |        3 |        6
1440.66/1441.16	c 1106s |      20 |  2325927 |   931227 |     4096    474 |        3 |        6
1442.65/1443.20	c 1108s |      20 |  2329812 |   932827 |     4096    474 |        3 |        6
1444.75/1445.22	c 1110s |      20 |  2333827 |   934327 |     4096    475 |        3 |        6
1446.75/1447.25	c 1112s |      20 |  2337589 |   935827 |     4096    476 |        3 |        6
1448.85/1449.39	c 1115s |      20 |  2341614 |   937327 |     4096    477 |        3 |        6
1451.05/1451.53	c 1117s |      20 |  2345400 |   938727 |     4096    477 |        3 |        6
1453.15/1453.65	c 1119s |      20 |  2349060 |   940127 |     4096    478 |        3 |        6
1455.15/1455.68	c 1121s |      20 |  2352684 |   941527 |     4096    479 |        3 |        6
1457.25/1457.76	c 1123s |      20 |  2357953 |   943427 |     4096    479 |        3 |        6
1459.35/1459.89	c 1125s |      20 |  2362413 |   945327 |     4096    480 |        3 |        6
1461.45/1461.95	c 1127s |      20 |  2367027 |   947127 |     4096    481 |        3 |        6
1463.45/1463.95	c 1129s |      20 |  2371429 |   948727 |     4096    482 |        3 |        6
1465.45/1465.97	c 1131s |      20 |  2376137 |   950227 |     4096    483 |        3 |        6
1467.65/1468.10	c 1133s |      20 |  2380188 |   951627 |     4096    483 |        3 |        6
1469.65/1470.13	c 1135s |      20 |  2383851 |   953027 |     4096    484 |        3 |        6
1471.75/1472.23	c 1137s |      20 |  2387360 |   954627 |     4506    485 |        3 |        6
1473.75/1474.26	c 1140s |      20 |  2390968 |   956127 |     4506    485 |        3 |        6
1475.85/1476.32	c 1142s |      20 |  2394837 |   957627 |     4506    486 |        3 |        6
1477.84/1478.40	c 1144s |      20 |  2398373 |   959027 |     4506    487 |        3 |        6
1479.94/1480.45	c 1146s |      20 |  2401814 |   960427 |     4506    487 |        3 |        6
1482.04/1482.52	c 1148s |      20 |  2405548 |   961927 |     4506    488 |        3 |        6
1484.14/1484.61	c 1150s |      20 |  2410344 |   963827 |     4506    489 |        3 |        6
1486.14/1486.63	c 1152s |      20 |  2415023 |   965627 |     4506    490 |        3 |        6
1488.24/1488.78	c 1154s |      20 |  2419493 |   967327 |     4506    490 |        3 |        6
1490.34/1490.85	c 1156s |      20 |  2422829 |   968827 |     4506    491 |        3 |        6
1492.35/1492.88	c 1158s |      20 |  2425990 |   970127 |     4506    492 |        3 |        6
1494.34/1494.89	c 1160s |      20 |  2429155 |   971427 |     4506    492 |        3 |        6
1496.44/1496.90	c 1162s |      20 |  2433242 |   972927 |     4506    493 |        3 |        6
1498.44/1498.98	c 1164s |      20 |  2437894 |   974827 |     4506    494 |        3 |        6
1500.54/1501.02	c 1166s |      20 |  2443907 |   976827 |     4506    494 |        3 |        6
1502.64/1503.12	c 1168s |      20 |  2449477 |   978827 |     4506    495 |        3 |        6
1504.64/1505.14	c 1170s |      20 |  2453699 |   980527 |     4506    496 |        3 |        6
1506.65/1507.16	c 1172s |      20 |  2457879 |   982027 |     4506    497 |        3 |        6
1508.75/1509.28	c 1175s |      20 |  2461948 |   983727 |     4506    498 |        3 |        6
1510.84/1511.31	c 1177s |      20 |  2465360 |   985427 |     4506    498 |        3 |        6
1512.94/1513.40	c 1179s |      20 |  2469019 |   987027 |     4506    499 |        3 |        6
1515.04/1515.50	c 1181s |      20 |  2473741 |   988727 |     4506    500 |        3 |        6
1517.14/1517.60	c 1183s |      20 |  2478088 |   990227 |     4506    500 |        3 |        6
1519.24/1519.70	c 1185s |      20 |  2481823 |   991727 |     4506    501 |        3 |        6
1521.23/1521.76	c 1187s |      20 |  2485035 |   992927 |     4506    502 |        3 |        6
1523.23/1523.79	c 1189s |      20 |  2487988 |   994127 |     4506    502 |        3 |        6
1525.34/1525.87	c 1191s |      20 |  2490889 |   995327 |     4506    503 |        3 |        6
1527.54/1528.01	c 1193s |      20 |  2495105 |   996927 |     4506    503 |        3 |        6
1529.53/1530.03	c 1195s |      20 |  2498864 |   998427 |     4506    504 |        3 |        6
1531.53/1532.07	c 1197s |      20 |  2502476 |   999827 |     4506    505 |        3 |        6
1532.33/1532.83	c 1198s |      21 |  2504002 |  1000345 |     4506    505 |        3 |        6
1534.53/1535.00	c 1200s |      21 |  2508239 |  1001945 |     4506    506 |        3 |        6
1536.73/1537.20	c 1202s |      21 |  2511564 |  1003445 |     4506    506 |        3 |        6
1538.83/1539.32	c 1205s |      21 |  2516448 |  1005345 |     4506    507 |        3 |        6
1540.83/1541.33	c 1207s |      21 |  2520750 |  1007045 |     4506    508 |        3 |        6
1542.84/1543.38	c 1209s |      21 |  2525633 |  1008745 |     4506    508 |        3 |        6
1544.93/1545.47	c 1211s |      21 |  2529304 |  1010345 |     4506    509 |        3 |        6
1547.03/1547.51	c 1213s |      21 |  2533280 |  1011845 |     4506    510 |        3 |        6
1549.13/1549.63	c 1215s |      21 |  2536553 |  1013445 |     4506    511 |        3 |        6
1551.23/1551.71	c 1217s |      21 |  2540245 |  1015045 |     4506    511 |        3 |        6
1553.23/1553.73	c 1219s |      21 |  2544054 |  1016645 |     4506    512 |        3 |        6
1555.23/1555.74	c 1221s |      21 |  2547304 |  1018045 |     4506    513 |        3 |        6
1557.43/1557.95	c 1223s |      21 |  2551368 |  1019445 |     4506    513 |        3 |        6
1559.63/1560.16	c 1225s |      21 |  2555102 |  1020645 |     4506    514 |        3 |        6
1561.64/1562.18	c 1227s |      21 |  2557837 |  1021945 |     4506    514 |        3 |        6
1563.84/1564.33	c 1230s |      21 |  2560512 |  1023245 |     4506    515 |        3 |        6
1565.94/1566.48	c 1232s |      21 |  2563782 |  1024745 |     4506    516 |        3 |        6
1568.03/1568.53	c 1234s |      21 |  2567677 |  1026345 |     4506    516 |        3 |        6
1570.13/1570.65	c 1236s |      21 |  2571705 |  1027645 |     4506    517 |        3 |        6
1572.13/1572.67	c 1238s |      21 |  2574819 |  1028945 |     4506    517 |        3 |        6
1574.23/1574.75	c 1240s |      21 |  2579096 |  1030645 |     4506    518 |        3 |        6
1576.33/1576.84	c 1242s |      21 |  2581898 |  1031845 |     4506    519 |        3 |        6
1578.53/1579.01	c 1244s |      21 |  2585325 |  1033345 |     4506    519 |        3 |        6
1580.53/1581.01	c 1246s |      21 |  2588727 |  1034745 |     4506    520 |        3 |        6
1582.53/1583.08	c 1248s |      21 |  2591514 |  1036045 |     4506    521 |        3 |        6
1584.63/1585.12	c 1250s |      21 |  2594430 |  1037245 |     4506    521 |        3 |        6
1586.83/1587.35	c 1253s |      21 |  2596900 |  1038245 |     4506    521 |        3 |        6
1588.92/1589.43	c 1255s |      21 |  2599632 |  1039445 |     4506    522 |        3 |        6
1591.02/1591.52	c 1257s |      21 |  2603356 |  1041045 |     4506    523 |        3 |        6
1593.12/1593.66	c 1259s |      21 |  2607440 |  1042845 |     4506    524 |        3 |        6
1595.12/1595.69	c 1261s |      21 |  2610875 |  1044445 |     4506    524 |        3 |        6
1597.22/1597.70	c 1263s |      21 |  2614304 |  1045945 |     4506    525 |        3 |        6
1599.32/1599.88	c 1265s |      21 |  2618201 |  1047445 |     4506    526 |        3 |        6
1601.42/1601.99	c 1267s |      21 |  2621589 |  1048845 |     4506    526 |        3 |        6
1603.52/1604.03	c 1269s |      21 |  2624584 |  1050145 |     4506    527 |        3 |        6
1605.53/1606.05	c 1271s |      21 |  2628432 |  1051545 |     4506    527 |        3 |        6
1607.52/1608.08	c 1273s |      21 |  2631987 |  1052945 |     4506    528 |        3 |        6
1609.62/1610.15	c 1275s |      21 |  2635145 |  1054245 |     4506    529 |        3 |        6
1611.72/1612.28	c 1278s |      21 |  2638794 |  1055545 |     4506    529 |        3 |        6
1613.82/1614.35	c 1280s |      21 |  2641787 |  1056645 |     4506    530 |        3 |        6
1615.92/1616.44	c 1282s |      21 |  2644594 |  1057645 |     4506    530 |        3 |        6
1618.02/1618.58	c 1284s |      21 |  2647730 |  1058645 |     4506    530 |        3 |        6
1620.12/1620.65	c 1286s |      21 |  2650902 |  1059945 |     4506    531 |        3 |        6
1622.22/1622.76	c 1288s |      21 |  2654742 |  1061645 |     4506    532 |        3 |        6
1624.33/1624.84	c 1290s |      21 |  2659001 |  1063245 |     4506    532 |        3 |        6
1626.32/1626.86	c 1292s |      21 |  2662871 |  1064645 |     4506    533 |        3 |        6
1628.32/1628.88	c 1294s |      21 |  2666123 |  1066145 |     4506    534 |        3 |        6
1630.32/1630.88	c 1296s |      21 |  2669816 |  1067645 |     4506    534 |        3 |        6
1632.42/1632.98	c 1298s |      21 |  2674784 |  1069545 |     4506    535 |        3 |        6
1634.62/1635.10	c 1300s |      21 |  2679115 |  1071245 |     4506    536 |        3 |        6
1636.72/1637.21	c 1302s |      21 |  2683413 |  1072745 |     4506    537 |        3 |        6
1638.72/1639.24	c 1304s |      21 |  2686915 |  1074045 |     4506    537 |        3 |        6
1640.82/1641.32	c 1307s |      21 |  2691051 |  1075745 |     4506    538 |        3 |        6
1642.82/1643.34	c 1309s |      21 |  2695749 |  1077545 |     4506    539 |        3 |        6
1644.82/1645.38	c 1311s |      21 |  2700629 |  1079345 |     4506    540 |        3 |        6
1646.91/1647.48	c 1313s |      21 |  2705542 |  1081045 |     4506    540 |        3 |        6
1649.01/1649.58	c 1315s |      21 |  2709334 |  1082545 |     4506    541 |        3 |        6
1651.11/1651.63	c 1317s |      21 |  2714334 |  1084345 |     4506    542 |        3 |        6
1653.11/1653.64	c 1319s |      21 |  2718498 |  1086045 |     4506    543 |        3 |        6
1655.12/1655.69	c 1321s |      21 |  2723216 |  1087745 |     4506    543 |        3 |        6
1657.32/1657.81	c 1323s |      21 |  2727710 |  1089445 |     4506    544 |        3 |        6
1659.31/1659.90	c 1325s |      21 |  2731709 |  1091045 |     4506    545 |        3 |        6
1661.51/1662.02	c 1327s |      21 |  2736626 |  1092845 |     4506    546 |        3 |        6
1663.51/1664.08	c 1329s |      21 |  2742154 |  1094745 |     4506    546 |        3 |        6
1665.51/1666.09	c 1331s |      21 |  2746132 |  1096345 |     4506    547 |        3 |        6
1667.61/1668.12	c 1333s |      21 |  2750991 |  1098245 |     4506    548 |        3 |        6
1669.61/1670.13	c 1335s |      21 |  2754838 |  1099745 |     4506    549 |        3 |        6
1671.62/1672.16	c 1337s |      21 |  2759321 |  1101345 |     4506    549 |        3 |        6
1673.72/1674.21	c 1339s |      21 |  2764104 |  1103245 |     4506    550 |        3 |        6
1675.71/1676.27	c 1342s |      21 |  2769130 |  1105245 |     4506    551 |        3 |        6
1677.81/1678.31	c 1344s |      21 |  2774134 |  1107145 |     4506    552 |        3 |        6
1679.91/1680.41	c 1346s |      21 |  2779167 |  1108945 |     4506    553 |        3 |        6
1681.91/1682.44	c 1348s |      21 |  2783764 |  1110845 |     4506    553 |        3 |        6
1684.01/1684.51	c 1350s |      21 |  2789071 |  1112745 |     4506    554 |        3 |        6
1686.11/1686.67	c 1352s |      21 |  2793486 |  1114445 |     4506    555 |        3 |        6
1688.31/1688.82	c 1354s |      21 |  2797070 |  1115845 |     4506    556 |        3 |        6
1690.41/1690.91	c 1356s |      21 |  2800613 |  1117445 |     4506    556 |        3 |        6
1692.41/1692.94	c 1358s |      21 |  2804620 |  1119045 |     4506    557 |        3 |        6
1694.51/1695.00	c 1360s |      21 |  2808694 |  1120545 |     4506    558 |        3 |        6
1696.51/1697.00	c 1362s |      21 |  2813080 |  1122145 |     4506    558 |        3 |        6
1698.50/1699.06	c 1364s |      21 |  2817862 |  1123845 |     4506    559 |        3 |        6
1700.60/1701.18	c 1366s |      21 |  2822548 |  1125245 |     4506    560 |        3 |        6
1702.70/1703.27	c 1369s |      21 |  2826093 |  1126645 |     4506    560 |        3 |        6
1704.81/1705.32	c 1371s |      21 |  2830939 |  1128245 |     4506    561 |        3 |        6
1706.82/1707.32	c 1373s |      21 |  2835362 |  1129845 |     4506    562 |        3 |        6
1708.92/1709.41	c 1375s |      21 |  2838613 |  1131145 |     4506    562 |        3 |        6
1710.91/1711.44	c 1377s |      21 |  2842519 |  1132545 |     4506    563 |        3 |        6
1713.01/1713.50	c 1379s |      21 |  2846849 |  1134245 |     4506    564 |        3 |        6
1715.11/1715.62	c 1381s |      21 |  2851373 |  1135745 |     4506    564 |        3 |        6
1717.11/1717.66	c 1383s |      21 |  2855011 |  1137145 |     4506    565 |        3 |        6
1719.31/1719.81	c 1385s |      21 |  2858791 |  1138445 |     4506    566 |        3 |        6
1721.31/1721.86	c 1387s |      21 |  2862027 |  1139745 |     4506    566 |        3 |        6
1723.51/1724.00	c 1389s |      21 |  2866245 |  1141345 |     4506    567 |        3 |        6
1725.51/1726.08	c 1391s |      21 |  2871412 |  1143045 |     4506    568 |        3 |        6
1727.61/1728.11	c 1393s |      21 |  2874859 |  1144345 |     4506    568 |        3 |        6
1729.61/1730.12	c 1395s |      21 |  2879222 |  1145945 |     4506    569 |        3 |        6
1731.61/1732.18	c 1397s |      21 |  2883085 |  1147445 |     4506    570 |        3 |        6
1733.71/1734.23	c 1399s |      21 |  2887873 |  1148945 |     4506    570 |        3 |        6
1735.81/1736.33	c 1402s |      21 |  2892646 |  1150645 |     4506    571 |        3 |        6
1737.90/1738.43	c 1404s |      21 |  2897875 |  1152545 |     4506    572 |        3 |        6
1739.90/1740.45	c 1406s |      21 |  2902286 |  1154145 |     4506    573 |        3 |        6
1742.01/1742.56	c 1408s |      21 |  2906874 |  1155745 |     4506    573 |        3 |        6
1744.00/1744.56	c 1410s |      21 |  2910720 |  1157145 |     4506    574 |        3 |        6
1746.20/1746.71	c 1412s |      21 |  2914111 |  1158545 |     4506    575 |        3 |        6
1748.30/1748.80	c 1414s |      21 |  2918631 |  1160145 |     4506    575 |        3 |        6
1750.30/1750.88	c 1416s |      21 |  2922832 |  1161645 |     4506    576 |        3 |        6
1752.30/1752.89	c 1418s |      21 |  2926759 |  1163045 |     4506    577 |        3 |        6
1754.40/1754.96	c 1420s |      21 |  2931341 |  1164545 |     4506    577 |        3 |        6
1756.50/1757.03	c 1422s |      21 |  2935014 |  1166045 |     4506    578 |        3 |        6
1758.60/1759.17	c 1424s |      21 |  2938170 |  1167245 |     4506    578 |        3 |        6
1760.71/1761.23	c 1426s |      21 |  2941674 |  1168445 |     4506    579 |        3 |        6
1762.81/1763.33	c 1429s |      21 |  2945587 |  1169845 |     4506    580 |        3 |        6
1764.90/1765.49	c 1431s |      21 |  2950645 |  1171445 |     4506    580 |        3 |        6
1767.10/1767.64	c 1433s |      21 |  2953584 |  1172645 |     4506    581 |        3 |        6
1769.30/1769.80	c 1435s |      21 |  2958021 |  1174245 |     4506    581 |        3 |        6
1771.30/1771.90	c 1437s |      21 |  2963377 |  1175945 |     4506    582 |        3 |        6
1773.40/1773.97	c 1439s |      21 |  2968193 |  1177645 |     4506    583 |        3 |        6
1775.50/1776.01	c 1441s |      21 |  2971981 |  1179145 |     4506    584 |        3 |        6
1777.50/1778.10	c 1443s |      21 |  2975824 |  1180545 |     4506    584 |        3 |        6
1779.60/1780.15	c 1445s |      21 |  2979926 |  1182045 |     4506    585 |        3 |        6
1781.70/1782.22	c 1447s |      21 |  2984078 |  1183545 |     4506    586 |        3 |        6
1783.80/1784.34	c 1450s |      21 |  2988388 |  1184945 |     4506    586 |        3 |        6
1785.90/1786.47	c 1452s |      21 |  2991869 |  1186245 |     4506    587 |        3 |        6
1787.90/1788.47	c 1454s |      21 |  2996197 |  1187645 |     4506    587 |        3 |        6
1789.89/1790.49	c 1456s |      21 |  3000396 |  1189045 |     4506    588 |        3 |        6
1792.09/1792.64	c 1458s |      21 |  3005527 |  1190745 |     4506    589 |        3 |        6
1794.19/1794.77	c 1460s |      21 |  3009993 |  1192245 |     4506    589 |        3 |        6
1796.29/1796.83	c 1462s |      21 |  3014041 |  1193545 |     4506    590 |        3 |        6
1798.29/1798.88	c 1464s |      21 |  3018417 |  1194845 |     4506    591 |        3 |        6

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.17 2.29 3/179 29407
/proc/meminfo: memFree=29331828/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=505412 CPUtime=0 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 1844 0 0 0 0 0 0 0 20 0 4 0 11557452 517541888 2716 33554432000 4194304 16246674 140733621780544 140733621779968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29407/statm: 126865 2725 442 2943 0 123759 0
[pid=29407/tid=29408] ppid=29404 vsize=522820 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 535367680 2785 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=527940 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 540610560 2802 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=532036 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11557453 544804864 2819 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.01 2.17 2.29 3/179 29407
/proc/meminfo: memFree=29331828/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 17172 0 0 0 7 2 0 0 20 0 4 0 11557452 1247350784 18036 33554432000 4194304 16246674 140733621780544 140733621779968 12486453 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29407/statm: 304529 18036 614 2943 0 301423 0
[pid=29407/tid=29408] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 18036 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 18037 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 18037 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200507 s]
/proc/loadavg: 2.01 2.17 2.29 3/179 29407
/proc/meminfo: memFree=29331828/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 23814 0 0 0 16 3 0 0 20 0 4 0 11557452 1247350784 24678 33554432000 4194304 16246674 140733621780544 140733621762432 12486453 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29407/statm: 304529 24681 614 2943 0 301423 0
[pid=29407/tid=29408] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 24681 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 24682 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 24683 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300428 s]
/proc/loadavg: 2.01 2.17 2.29 3/179 29407
/proc/meminfo: memFree=29331828/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 29582 0 0 0 25 4 0 0 20 0 4 0 11557452 1247350784 30446 33554432000 4194304 16246674 140733621780544 140733621762432 12481124 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29407/statm: 304529 30449 614 2943 0 301423 0
[pid=29407/tid=29408] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 30452 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 30455 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 30455 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700393 s]
/proc/loadavg: 2.01 2.17 2.29 3/179 29407
/proc/meminfo: memFree=29331828/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 50114 0 0 0 63 6 0 0 20 0 4 0 11557452 1247350784 50978 33554432000 4194304 16246674 140733621780544 140733621762432 6145278 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29407/statm: 304529 50981 614 2943 0 301423 0
[pid=29407/tid=29408] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 50981 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 50981 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 50981 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50034 s]
/proc/loadavg: 2.01 2.17 2.29 3/183 29411
/proc/meminfo: memFree=29054892/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 84579 0 0 0 138 11 0 0 20 0 4 0 11557452 1247350784 85443 33554432000 4194304 16246674 140733621780544 140733621762432 12486453 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29407/statm: 304529 85446 614 2943 0 301423 0
[pid=29407/tid=29408] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 85446 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 85446 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 85446 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10039 s]
/proc/loadavg: 2.01 2.17 2.29 3/183 29411
/proc/meminfo: memFree=28886740/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1218116 CPUtime=3.08 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 140234 0 0 0 289 19 0 0 20 0 4 0 11557452 1247350784 141098 33554432000 4194304 16246674 140733621780544 140733621762432 12486453 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29407/statm: 304529 141098 614 2943 0 301423 0
[pid=29407/tid=29408] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 141098 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 141098 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 141101 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1218116

[startup+6.30038 s]
/proc/loadavg: 2.01 2.17 2.29 3/183 29411
/proc/meminfo: memFree=28494816/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1218116 CPUtime=6.29 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 228606 0 0 0 597 32 0 0 20 0 4 0 11557452 1247350784 229471 33554432000 4194304 16246674 140733621780544 140733621762432 12459121 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29407/statm: 304529 229472 616 2943 0 301423 0
[pid=29407/tid=29408] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 229472 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 229472 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11557453 1247350784 229475 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1218116

[startup+12.7004 s]
/proc/loadavg: 2.01 2.17 2.29 3/183 29411
/proc/meminfo: memFree=28312728/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1252932 CPUtime=12.69 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 254182 0 0 0 1233 36 0 0 20 0 4 0 11557452 1283002368 255000 33554432000 4194304 16246674 140733621780544 140733621762432 13809312 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29407/statm: 313233 255000 837 2943 0 310127 0
[pid=29407/tid=29408] ppid=29404 vsize=1252932 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1283002368 255000 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1252932 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1283002368 255000 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1252932 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11557453 1283002368 255000 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1252932

[startup+25.5005 s]
/proc/loadavg: 2.00 2.16 2.28 4/183 29411
/proc/meminfo: memFree=28312720/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1253956 CPUtime=25.48 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 254392 0 0 0 2512 36 0 0 20 0 4 0 11557452 1284050944 255210 33554432000 4194304 16246674 140733621780544 140733621762432 13807598 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29407/statm: 313489 255210 837 2943 0 310383 0
[pid=29407/tid=29408] ppid=29404 vsize=1253956 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1284050944 255210 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1253956 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1284050944 255210 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1253956 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11557453 1284050944 255210 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1253956

[startup+51.1004 s]
/proc/loadavg: 2.07 2.16 2.28 3/183 29411
/proc/meminfo: memFree=28258260/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 268167 0 0 0 5070 38 0 0 20 0 4 0 11557452 1339625472 268985 33554432000 4194304 16246674 140733621780544 140733621762432 12483272 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29407/statm: 327057 268985 932 2943 0 323951 0
[pid=29407/tid=29408] ppid=29404 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1339625472 268985 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1339625472 268985 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11557453 1339625472 268985 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.22 2.18 2.28 3/184 29415
/proc/meminfo: memFree=28250536/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1315396 CPUtime=102.28 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 270066 0 0 0 10190 38 0 0 20 0 4 0 11557452 1346965504 270884 33554432000 4194304 16246674 140733621780544 140733621762432 5589505 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29407/statm: 328849 270884 937 2943 0 325743 0
[pid=29407/tid=29408] ppid=29404 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1346965504 270884 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1346965504 270884 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11557453 1346965504 270884 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1336900

[startup+1302.3 s]
/proc/loadavg: 2.35 2.26 2.25 3/184 29445
/proc/meminfo: memFree=28226324/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1336900 CPUtime=1301.89 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 275729 0 0 0 130146 43 0 0 20 0 4 0 11557452 1368985600 276215 33554432000 4194304 16246674 140733621780544 140733621762432 13943600 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29407/statm: 334225 276215 939 2943 0 331119 0
[pid=29407/tid=29408] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1336900

[startup+1362.3 s]
/proc/loadavg: 2.35 2.27 2.26 3/184 29469
/proc/meminfo: memFree=28226804/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1336900 CPUtime=1361.87 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 275748 0 0 0 136144 43 0 0 20 0 4 0 11557452 1368985600 276215 33554432000 4194304 16246674 140733621780544 140733621762432 6020494 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29407/statm: 334225 276215 939 2943 0 331119 0
[pid=29407/tid=29408] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1336900

[startup+1422.3 s]
/proc/loadavg: 2.24 2.25 2.25 3/183 29470
/proc/meminfo: memFree=28227500/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1336900 CPUtime=1421.86 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 275748 0 0 0 142143 43 0 0 20 0 4 0 11557452 1368985600 276215 33554432000 4194304 16246674 140733621780544 140733621762432 13191285 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29407/statm: 334225 276215 939 2943 0 331119 0
[pid=29407/tid=29408] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1336900

[startup+1482.3 s]
/proc/loadavg: 2.20 2.23 2.25 3/183 29472
/proc/meminfo: memFree=28227352/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1336900 CPUtime=1481.84 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 275748 0 0 0 148141 43 0 0 20 0 4 0 11557452 1368985600 276215 33554432000 4194304 16246674 140733621780544 140733621762432 5673420 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29407/statm: 334225 276215 939 2943 0 331119 0
[pid=29407/tid=29408] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.21 2.23 2.24 4/183 29473
/proc/meminfo: memFree=28175364/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1336900 CPUtime=1541.84 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 275748 0 0 0 154141 43 0 0 20 0 4 0 11557452 1368985600 276215 33554432000 4194304 16246674 140733621780544 140733621762432 5711518 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29407/statm: 334225 276215 939 2943 0 331119 0
[pid=29407/tid=29408] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.22 2.23 2.24 3/183 29474
/proc/meminfo: memFree=28175336/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1336900 CPUtime=1601.82 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 275748 0 0 0 160139 43 0 0 20 0 4 0 11557452 1368985600 276215 33554432000 4194304 16246674 140733621780544 140733621762432 5546098 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29407/statm: 334225 276215 939 2943 0 331119 0
[pid=29407/tid=29408] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1336900

[startup+1662.3 s]
/proc/loadavg: 2.35 2.26 2.25 3/183 29475
/proc/meminfo: memFree=28174808/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1336900 CPUtime=1661.81 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 275748 0 0 0 166138 43 0 0 20 0 4 0 11557452 1368985600 276215 33554432000 4194304 16246674 140733621780544 140733621762432 13943664 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29407/statm: 334225 276215 939 2943 0 331119 0
[pid=29407/tid=29408] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.00 2.19 2.23 2/173 29507
/proc/meminfo: memFree=29342508/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1336900 CPUtime=1721.81 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 275748 0 0 0 172137 44 0 0 20 0 4 0 11557452 1368985600 276215 33554432000 4194304 16246674 140733621780544 140733621762432 12995176 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29407/statm: 334225 276215 939 2943 0 331119 0
[pid=29407/tid=29408] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 1.56 2.02 2.16 2/173 29509
/proc/meminfo: memFree=29342276/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1336900 CPUtime=1781.8 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 275748 0 0 0 178136 44 0 0 20 0 4 0 11557452 1368985600 276215 33554432000 4194304 16246674 140733621780544 140733621762432 12483215 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29407/statm: 334225 276215 939 2943 0 331119 0
[pid=29407/tid=29408] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.47 1.97 2.14 2/173 29509
/proc/meminfo: memFree=29342404/32872528 swapFree=1399392/1569044
[pid=29407] ppid=29404 vsize=1336900 CPUtime=1800.09 cores=0,2,4,6
/proc/29407/stat : 29407 (toysat) R 29404 29407 7986 0 -1 4202496 275748 0 0 0 179965 44 0 0 20 0 4 0 11557452 1368985600 276215 33554432000 4194304 16246674 140733621780544 140733621762432 5661428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29407/statm: 334225 276215 939 2943 0 331119 0
[pid=29407/tid=29408] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29408/stat : 29408 (toysat) S 29404 29407 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432298192112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=29407/tid=29409] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29409/stat : 29409 (toysat) S 29404 29407 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432210111728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=29407/tid=29410] ppid=29404 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/29407/task/29410/stat : 29410 (toysat) S 29404 29407 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11557453 1368985600 276215 33554432000 4194304 16246674 140733621780544 140432199638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1336900

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29407 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.11
CPU user time (s): 1799.66
CPU system time (s): 0.443932
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.443932
maximum resident set size= 1104860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275748
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= 367
involuntary context switches= 2622

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69728 second user time and 6.90295 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-16 18:38:42
IDJOB=4093509
IDBENCH=79442
IDSOLVER=2553
FILE ID=node140/4093509-1466095122
RUNJOBID= node140-1466093283-28007
PBS_JOBID= 19904000
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-myciel5g-3_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093509-1466095122/watcher-4093509-1466095122 -o /tmp/evaluation-result-4093509-1466095122/solver-4093509-1466095122 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466093283-28007 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093509-1466095122.wbo

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

MD5SUM BENCH= 2db150696fc8aa7bc9f51554db7714aa
RANDOM SEED=466886283

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
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.54
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		: 2666.714
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:        29332200 kB
Buffers:           45608 kB
Cached:           119016 kB
SwapCached:         2564 kB
Active:          1184808 kB
Inactive:          79516 kB
Active(anon):    1100152 kB
Inactive(anon):     1792 kB
Active(file):      84656 kB
Inactive(file):    77724 kB
Unevictable:     1569044 kB
Mlocked:         1399392 kB
SwapTotal:      67108856 kB
SwapFree:       67096820 kB
Dirty:             16716 kB
Writeback:             0 kB
AnonPages:       2666968 kB
Mapped:            10836 kB
Shmem:                 0 kB
Slab:             570500 kB
SReclaimable:      13868 kB
SUnreclaim:       556632 kB
KernelStack:        1520 kB
PageTables:         9272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2813236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 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= 71724 MiB
End job on node140 at 2016-06-16 19:08:43