Trace number 4093325

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.02 1800.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM0158a6ff32db5686aa85d7a9b49d6df3
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1800.09
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4000
Total number of constraints180
Number of soft constraints67
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
Top cost 3472
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3471
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T14:03:11+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-4093325-1466078591.wbo"]
0.00/0.01	c use --random-gen="4053628902 2270262460 2062635013 3685252752 2059164767 3355877074 2652555339 1202749171 3708426615 956236220 3172295143 818174893 819097037 2734932944 3126396283 394132857 3786938110 1749462750 4050020628 2606288348 291416620 3145608851 3093474538 888864508 2344009092 1047727988 3471527390 3730795941 2296452199 2878839640 85527209 4143618523 3848771861 382222377 3847385022 651337223 3547629572 1509680555 1123300043 1531775084 3283381239 151625466 51203675 2854157213 1480583228 3758996580 3150238326 4016217859 3073554942 922959130 2007842987 1532336779 2394478678 2260866494 232275367 231949180 894579983 1544686659 2744338015 3808769510 4050077496 1935279633 153016347 1994910408 1678232912 2292812350 3131884809 3399176640 2043539649 1202601488 2490561626 3668609182 948949845 2004986052 2933119945 3149735409 1937605158 1317748158 2996808464 1699037038 1848351326 2258522071 2014100527 2788609351 361464640 2434941126 4048339252 3114654088 210386686 3455247288 1825074658 1565758290 1293365741 265063254 1301748236 126576186 3150856023 3791386150 1382408899 3597303382 2613578611 1403974416 1471584154 2751355952 1359313515 3103646554 1913486762 466164824 1987705200 3127329256 4008893363 3192034055 2749177110 189362770 2702671954 746627676 3403346308 3679538908 828915040 2694111051 2063624715 353565161 1509234055 714468884 1321593673 3765577451 1341466467 1597498853 433263265 4244042682 3069043545 1137931874 2649027964 1612345335 2236482037 2856506745 3500082714 2629500548 3558554140 670622991 3490026422 4157045389 1224841395 3020659162 797562004 2084793480 3690202654 2363134918 2342917054 1311290391 2980064135 2570544252 829432480 4078755739 2102272847 658441187 2055386117 1366059636 321753658 1607104716 2440271333 1356161524 2637839798 3504816119 1644263280 1544007110 855345252 3170338090 2259453726 3190953909 3391403462 1858254710 2426377839 3330540128 1414333953 3742409545 1452836237 3921244476 479267777 302859367 35749796 368698759 2199186702 720767870 1207124562 1170655923 571938140 526738329 223055692 3000723529 1174543340 2350633198 3190419829 3542480246 4178839247 867664485 285748839 2670471723 3928768818 1739906425 610088657 237107086 2020885727 117069474 3155593785 691332194 1284974542 3876174991 1324468394 3927608026 3280238303 1435168160 4229363821 3031483644 1495324283 730167794 937518655 2012200338 2098405738 2762401356 1842598409 3085161689 1340672733 3104884118 3464484450 2236244335 1024216323 1984349069 1616139594 2035622612 2153768470 1202225514 140731355 3806218409 3405731628 3095590451 3830438203 531560537 2277565160 954604262 1311295055 688370565 947555556 3707708480 3246274087 577473188 3104382905 1162400387 2945694388 2312092371 3695236952 3934646831 3744598399 2413131467 4143464154 4291563088 255 362436" option to reproduce the execution
0.09/0.19	c #vars 4000
0.09/0.19	c #constraints 180
0.19/0.21	c BCD2: Hardening is enabled.
0.19/0.21	c BCD2: BiasedSearch is enabled.
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |     1415      0 |        0 |        0
0.19/0.25	c  0.0s |       1 |      220 |      100 |     1415      0 |        0 |        0
0.19/0.26	c  0.1s |       1 |     2175 |      102 |     1557      0 |        0 |        0
0.19/0.26	c #cpu_time = 0.050s
0.19/0.26	c #wall_clock_time = 0.050s
0.19/0.26	c #decision = 2175
0.19/0.26	c #random_decision = 2
0.19/0.26	c #conflict = 102
0.19/0.26	c #restart = 1
0.19/0.26	o 1621
0.19/0.26	c BCD2: updating upper bound: 3471 -> 1620
0.19/0.26	c BCD2: 0 <= obj <= 1620
0.19/0.26	c BCD2: #cores=0, #unrelaxed=67, #relaxed=0, #hardened=0
0.19/0.26	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     1557      0 |        0 |        0
0.29/0.32	c  0.1s |       1 |      494 |      100 |     1557      0 |        0 |        0
0.39/0.45	c  0.2s |       2 |     1541 |      250 |     1713      0 |        0 |        0
0.59/0.66	c  0.4s |       3 |     3665 |      475 |     1885      0 |        0 |        0
0.99/1.00	c  0.7s |       4 |     5659 |      813 |     2074      0 |        0 |        0
1.49/1.56	c  1.3s |       5 |     7206 |     1320 |     2282      0 |        0 |        0
2.20/2.25	c  2.0s |       6 |     9714 |     2081 |     2511      0 |        0 |        0
3.19/3.25	c  3.0s |       7 |    11924 |     3223 |     2763      0 |        0 |        0
4.99/5.06	c  4.8s |       8 |    14922 |     4936 |     3040      1 |        0 |        0
6.99/7.06	c  6.8s |       8 |    17868 |     6736 |     3040      2 |        0 |        0
8.19/8.29	c  8.0s |       9 |    18683 |     7506 |     3345      2 |        0 |        0
10.29/10.31	c 10.0s |       9 |    22648 |     9606 |     3345      3 |        0 |        0
12.39/12.42	c 12.2s |       9 |    24557 |    11306 |     3680      4 |        0 |        0
12.49/12.50	c 12.2s |      10 |    24627 |    11361 |     3680      4 |        0 |        0
14.49/14.55	c 14.3s |      10 |    27777 |    13261 |     3680      4 |        0 |        0
16.59/16.61	c 16.3s |      10 |    29332 |    14661 |     3680      5 |        0 |        0
18.69/18.75	c 18.5s |      10 |    30928 |    16061 |     3680      5 |        0 |        0
20.58/20.62	c 20.4s |      11 |    32131 |    17144 |     4049      6 |        0 |        0
22.58/22.66	c 22.4s |      11 |    35867 |    19144 |     4049      6 |        0 |        0
24.58/24.68	c 24.4s |      11 |    37582 |    20644 |     4049      7 |        0 |        0
26.68/26.79	c 26.5s |      11 |    39030 |    21944 |     4049      7 |        0 |        0
28.78/28.81	c 28.6s |      11 |    40590 |    23344 |     4049      8 |        0 |        0
30.89/30.91	c 30.7s |      11 |    42121 |    24744 |     4049      8 |        0 |        0
32.48/32.57	c 32.3s |      12 |    43299 |    25819 |     4454      8 |        0 |        0
34.58/34.68	c 34.4s |      12 |    46372 |    27519 |     4454      9 |        0 |        0
36.58/36.69	c 36.4s |      12 |    47909 |    28919 |     4454      9 |        0 |        0
38.68/38.70	c 38.4s |      12 |    49382 |    30219 |     4454     10 |        0 |        0
40.69/40.71	c 40.4s |      12 |    50789 |    31519 |     4454     10 |        0 |        0
42.78/42.86	c 42.6s |      12 |    51996 |    32619 |     4454     11 |        0 |        0
44.98/45.04	c 44.8s |      12 |    53569 |    34019 |     4454     11 |        0 |        0
47.08/47.16	c 46.9s |      12 |    54755 |    35119 |     4454     11 |        0 |        0
49.08/49.19	c 48.9s |      12 |    55846 |    36119 |     4454     12 |        0 |        0
51.28/51.33	c 51.1s |      12 |    57083 |    37219 |     4454     12 |        0 |        0
53.28/53.35	c 53.1s |      12 |    58057 |    38119 |     4454     12 |        0 |        0
54.88/54.99	c 54.7s |      13 |    58841 |    38832 |     4900     12 |        0 |        0
56.98/57.00	c 56.7s |      13 |    61929 |    40132 |     4900     13 |        0 |        0
59.08/59.14	c 58.9s |      13 |    63295 |    41332 |     4900     13 |        0 |        0
61.08/61.16	c 60.9s |      13 |    64490 |    42432 |     4900     13 |        0 |        0
63.28/63.32	c 63.1s |      13 |    65501 |    43332 |     4900     14 |        0 |        0
65.28/65.38	c 65.1s |      13 |    66519 |    44232 |     4900     14 |        0 |        0
67.38/67.48	c 67.2s |      13 |    67520 |    45132 |     4900     14 |        0 |        0
69.58/69.69	c 69.4s |      13 |    68526 |    46032 |     4900     14 |        0 |        0
71.68/71.78	c 71.5s |      13 |    69425 |    46832 |     4900     15 |        0 |        0
73.79/73.85	c 73.6s |      13 |    70416 |    47732 |     4900     15 |        0 |        0
76.08/76.13	c 75.9s |      13 |    71417 |    48632 |     4900     15 |        0 |        0
78.28/78.36	c 78.1s |      13 |    72297 |    49432 |     4900     15 |        0 |        0
80.48/80.56	c 80.3s |      13 |    73173 |    50232 |     4900     16 |        0 |        0
82.68/82.78	c 82.5s |      13 |    74125 |    51132 |     4900     16 |        0 |        0
84.69/84.78	c 84.5s |      13 |    74909 |    51832 |     4900     16 |        0 |        0
86.68/86.78	c 86.5s |      13 |    75936 |    52732 |     4900     16 |        0 |        0
88.78/88.84	c 88.6s |      13 |    76839 |    53532 |     4900     17 |        0 |        0
90.88/90.96	c 90.7s |      13 |    78006 |    54532 |     4900     17 |        0 |        0
93.08/93.12	c 92.9s |      13 |    79150 |    55532 |     4900     17 |        0 |        0
95.38/95.46	c 95.2s |      13 |    80242 |    56532 |     4900     18 |        0 |        0
97.48/97.50	c 97.2s |      13 |    81251 |    57432 |     4900     18 |        0 |        0
99.38/99.48	c 99.2s |      14 |    82269 |    58352 |     5390     18 |        0 |        0
101.48/101.52	c  101s |      14 |    85981 |    59752 |     5390     18 |        0 |        0
103.48/103.55	c  103s |      14 |    87317 |    60952 |     5390     19 |        0 |        0
105.68/105.73	c  105s |      14 |    88573 |    62052 |     5390     19 |        0 |        0
107.67/107.76	c  107s |      14 |    89571 |    62952 |     5390     19 |        0 |        0
109.77/109.82	c  109s |      14 |    90430 |    63752 |     5390     19 |        0 |        0
111.87/111.98	c  111s |      14 |    91329 |    64552 |     5390     20 |        0 |        0
113.97/114.06	c  113s |      14 |    92489 |    65552 |     5390     20 |        0 |        0
116.07/116.14	c  115s |      14 |    93571 |    66452 |     5390     20 |        0 |        0
118.27/118.35	c  118s |      14 |    94491 |    67252 |     5390     20 |        0 |        0
120.38/120.49	c  120s |      14 |    95274 |    67952 |     5390     20 |        0 |        0
122.67/122.73	c  122s |      14 |    96173 |    68752 |     5390     21 |        0 |        0
124.77/124.83	c  124s |      14 |    97072 |    69552 |     5390     21 |        0 |        0
126.87/126.90	c  126s |      14 |    97970 |    70352 |     5390     21 |        0 |        0
129.07/129.14	c  128s |      14 |    98846 |    71152 |     5390     21 |        0 |        0
131.27/131.31	c  131s |      14 |    99613 |    71852 |     5390     21 |        0 |        0
133.27/133.34	c  133s |      14 |   100412 |    72552 |     5390     22 |        0 |        0
135.47/135.59	c  135s |      14 |   101570 |    73552 |     5390     22 |        0 |        0
137.87/137.90	c  137s |      14 |   102488 |    74352 |     5390     22 |        0 |        0
139.97/140.03	c  139s |      14 |   103235 |    75052 |     5390     22 |        0 |        0
142.06/142.18	c  141s |      14 |   103981 |    75752 |     5390     22 |        0 |        0
144.26/144.35	c  144s |      14 |   104734 |    76452 |     5390     23 |        0 |        0
146.27/146.40	c  146s |      14 |   105519 |    77152 |     5390     23 |        0 |        0
148.37/148.50	c  148s |      14 |   106268 |    77852 |     5390     23 |        0 |        0
150.68/150.73	c  150s |      14 |   107048 |    78552 |     5390     23 |        0 |        0
152.77/152.89	c  152s |      14 |   107699 |    79152 |     5390     23 |        0 |        0
154.96/155.03	c  154s |      14 |   108355 |    79752 |     5390     23 |        0 |        0
157.16/157.28	c  157s |      14 |   109258 |    80552 |     5390     24 |        0 |        0
159.36/159.45	c  159s |      14 |   110149 |    81352 |     5390     24 |        0 |        0
161.36/161.45	c  161s |      14 |   110906 |    82052 |     5390     24 |        0 |        0
163.67/163.77	c  163s |      14 |   111656 |    82752 |     5390     24 |        0 |        0
165.97/166.08	c  165s |      14 |   112406 |    83452 |     5390     24 |        0 |        0
168.07/168.11	c  167s |      14 |   113194 |    84152 |     5390     25 |        0 |        0
170.06/170.12	c  169s |      14 |   113957 |    84852 |     5390     25 |        0 |        0
172.26/172.37	c  172s |      14 |   114704 |    85552 |     5390     25 |        0 |        0
174.26/174.37	c  174s |      14 |   115470 |    86252 |     5390     25 |        0 |        0
176.47/176.50	c  176s |      14 |   116226 |    86952 |     5930     25 |        0 |        0
178.57/178.68	c  178s |      15 |   117013 |    87632 |     5930     25 |        0 |        0
180.67/180.74	c  180s |      15 |   119581 |    88432 |     5930     26 |        0 |        0
182.67/182.75	c  182s |      15 |   120991 |    89632 |     5930     26 |        0 |        0
184.77/184.83	c  184s |      15 |   122417 |    90832 |     5930     26 |        0 |        0
186.97/187.03	c  186s |      15 |   123780 |    92032 |     5930     27 |        0 |        0
188.96/189.08	c  188s |      15 |   125012 |    93132 |     5930     27 |        0 |        0
191.06/191.18	c  190s |      15 |   126132 |    94132 |     5930     27 |        0 |        0
193.16/193.29	c  193s |      15 |   127255 |    95132 |     5930     27 |        0 |        0
195.36/195.46	c  195s |      15 |   128338 |    96132 |     5930     27 |        0 |        0
197.56/197.66	c  197s |      15 |   129379 |    97032 |     5930     28 |        0 |        0
199.66/199.77	c  199s |      15 |   130491 |    98032 |     5930     28 |        0 |        0
201.66/201.77	c  201s |      15 |   131634 |    99032 |     5930     28 |        0 |        0
203.76/203.85	c  203s |      15 |   132633 |    99932 |     5930     28 |        0 |        0
205.96/206.04	c  205s |      15 |   133637 |   100832 |     5930     29 |        0 |        0
207.97/208.05	c  207s |      15 |   134682 |   101732 |     5930     29 |        0 |        0
210.07/210.18	c  209s |      15 |   135651 |   102632 |     5930     29 |        0 |        0
212.16/212.23	c  211s |      15 |   136517 |   103432 |     5930     29 |        0 |        0
214.16/214.26	c  213s |      15 |   137389 |   104232 |     5930     29 |        0 |        0
216.26/216.34	c  216s |      15 |   138277 |   105032 |     5930     30 |        0 |        0
218.36/218.49	c  218s |      15 |   139271 |   105932 |     5930     30 |        0 |        0
220.46/220.58	c  220s |      15 |   140218 |   106832 |     5930     30 |        0 |        0
222.65/222.71	c  222s |      15 |   141107 |   107632 |     5930     30 |        0 |        0
224.65/224.78	c  224s |      15 |   141871 |   108332 |     5930     30 |        0 |        0
226.75/226.80	c  226s |      15 |   142811 |   109132 |     5930     31 |        0 |        0
228.65/228.80	c  228s |      15 |   144035 |   110232 |     5930     31 |        0 |        0
230.85/230.93	c  230s |      15 |   145269 |   111332 |     5930     31 |        0 |        0
232.85/232.97	c  232s |      15 |   146261 |   112232 |     5930     31 |        0 |        0
235.05/235.11	c  234s |      15 |   147231 |   113132 |     5930     32 |        0 |        0
237.15/237.28	c  237s |      15 |   148442 |   114232 |     5930     32 |        0 |        0
239.25/239.33	c  239s |      15 |   149424 |   115132 |     5930     32 |        0 |        0
241.45/241.55	c  241s |      15 |   150403 |   116032 |     5930     32 |        0 |        0
243.65/243.71	c  243s |      15 |   151282 |   116832 |     5930     33 |        0 |        0
245.65/245.73	c  245s |      15 |   152243 |   117732 |     5930     33 |        0 |        0
247.65/247.78	c  247s |      15 |   153226 |   118632 |     5930     33 |        0 |        0
249.85/249.93	c  249s |      15 |   154188 |   119532 |     5930     33 |        0 |        0
252.05/252.14	c  251s |      15 |   154949 |   120232 |     5930     33 |        0 |        0
254.15/254.23	c  253s |      15 |   155619 |   120832 |     5930     34 |        0 |        0
256.25/256.38	c  256s |      15 |   157006 |   122032 |     5930     34 |        0 |        0
258.46/258.53	c  258s |      15 |   158002 |   122932 |     5930     34 |        0 |        0
260.55/260.67	c  260s |      15 |   158987 |   123832 |     5930     34 |        0 |        0
262.75/262.83	c  262s |      15 |   160092 |   124832 |     5930     34 |        0 |        0
264.85/264.91	c  264s |      15 |   160975 |   125632 |     5930     35 |        0 |        0
266.95/267.00	c  266s |      15 |   161958 |   126532 |     5930     35 |        0 |        0
269.05/269.15	c  268s |      15 |   162926 |   127432 |     5930     35 |        0 |        0
271.15/271.25	c  270s |      15 |   163793 |   128232 |     5930     35 |        0 |        0
273.45/273.51	c  273s |      15 |   164666 |   129032 |     5930     36 |        0 |        0
275.55/275.69	c  275s |      15 |   165543 |   129832 |     5930     36 |        0 |        0
277.75/277.86	c  277s |      15 |   166523 |   130732 |     6524     36 |        0 |        0
279.75/279.87	c  279s |      16 |   167421 |   131552 |     6524     36 |        0 |        0
281.85/281.94	c  281s |      16 |   171617 |   132852 |     6524     37 |        0 |        0
283.85/283.99	c  283s |      16 |   173074 |   134152 |     6524     37 |        0 |        0
285.95/286.01	c  285s |      16 |   174702 |   135552 |     6524     37 |        0 |        0
288.05/288.11	c  287s |      16 |   175987 |   136652 |     6524     37 |        0 |        0
290.14/290.28	c  290s |      16 |   177148 |   137652 |     6524     38 |        0 |        0
292.34/292.43	c  292s |      16 |   178306 |   138652 |     6524     38 |        0 |        0
294.54/294.64	c  294s |      16 |   179480 |   139652 |     6524     38 |        0 |        0
296.54/296.69	c  296s |      16 |   180606 |   140652 |     6524     38 |        0 |        0
298.65/298.74	c  298s |      16 |   181625 |   141552 |     6524     38 |        0 |        0
300.85/300.94	c  300s |      16 |   182424 |   142252 |     6524     39 |        0 |        0
303.05/303.14	c  302s |      16 |   183565 |   143252 |     6524     39 |        0 |        0
305.14/305.25	c  304s |      16 |   184556 |   144152 |     6524     39 |        0 |        0
307.24/307.38	c  307s |      16 |   185806 |   145252 |     6524     39 |        0 |        0
309.54/309.65	c  309s |      16 |   186850 |   146152 |     6524     40 |        0 |        0
311.64/311.77	c  311s |      16 |   187733 |   146952 |     6524     40 |        0 |        0
313.74/313.80	c  313s |      16 |   188735 |   147852 |     6524     40 |        0 |        0
315.75/315.87	c  315s |      16 |   189623 |   148652 |     6524     40 |        0 |        0
317.84/317.92	c  317s |      16 |   190521 |   149452 |     6524     40 |        0 |        0
319.94/320.08	c  319s |      16 |   191294 |   150152 |     6524     40 |        0 |        0
322.04/322.17	c  321s |      16 |   192072 |   150852 |     6524     41 |        0 |        0
324.34/324.44	c  324s |      16 |   192976 |   151652 |     6524     41 |        0 |        0
326.34/326.48	c  326s |      16 |   193773 |   152352 |     6524     41 |        0 |        0
328.54/328.62	c  328s |      16 |   194563 |   153052 |     6524     41 |        0 |        0
330.84/330.92	c  330s |      16 |   195327 |   153752 |     6524     41 |        0 |        0
333.13/333.23	c  332s |      16 |   196102 |   154452 |     6524     41 |        0 |        0
335.45/335.55	c  335s |      16 |   196746 |   155052 |     6524     42 |        0 |        0
337.54/337.62	c  337s |      16 |   197448 |   155652 |     6524     42 |        0 |        0
339.64/339.76	c  339s |      16 |   198789 |   156852 |     6524     42 |        0 |        0
341.84/341.90	c  341s |      16 |   199906 |   157852 |     6524     42 |        0 |        0
343.84/343.91	c  343s |      16 |   200901 |   158752 |     6524     42 |        0 |        0
345.94/346.02	c  345s |      16 |   201781 |   159552 |     6524     43 |        0 |        0
348.14/348.21	c  347s |      16 |   202848 |   160552 |     6524     43 |        0 |        0
350.34/350.40	c  350s |      16 |   203864 |   161452 |     6524     43 |        0 |        0
352.44/352.56	c  352s |      16 |   204744 |   162252 |     6524     43 |        0 |        0
354.54/354.61	c  354s |      16 |   205404 |   162852 |     6524     43 |        0 |        0
356.63/356.77	c  356s |      16 |   206187 |   163552 |     6524     43 |        0 |        0
358.83/358.95	c  358s |      16 |   206953 |   164252 |     6524     44 |        0 |        0
361.03/361.13	c  360s |      16 |   207954 |   165152 |     6524     44 |        0 |        0
363.23/363.38	c  363s |      16 |   208850 |   165952 |     6524     44 |        0 |        0
365.53/365.68	c  365s |      16 |   209756 |   166752 |     6524     44 |        0 |        0
367.73/367.90	c  367s |      16 |   210659 |   167552 |     6524     44 |        0 |        0
370.04/370.17	c  369s |      16 |   211430 |   168252 |     6524     45 |        0 |        0
372.13/372.24	c  371s |      16 |   212202 |   168952 |     6524     45 |        0 |        0
374.23/374.32	c  374s |      16 |   213117 |   169752 |     6524     45 |        0 |        0
376.33/376.40	c  376s |      16 |   213888 |   170452 |     6524     45 |        0 |        0
378.53/378.62	c  378s |      16 |   214746 |   171252 |     6524     45 |        0 |        0
380.53/380.70	c  380s |      16 |   215377 |   171852 |     6524     45 |        0 |        0
382.84/382.97	c  382s |      16 |   216201 |   172552 |     6524     45 |        0 |        0
385.04/385.12	c  384s |      16 |   216798 |   173052 |     6524     46 |        0 |        0
387.14/387.30	c  387s |      16 |   217563 |   173752 |     6524     46 |        0 |        0
389.44/389.59	c  389s |      16 |   218344 |   174452 |     6524     46 |        0 |        0
391.64/391.79	c  391s |      16 |   219022 |   175052 |     6524     46 |        0 |        0
394.03/394.10	c  393s |      16 |   219683 |   175652 |     6524     46 |        0 |        0
396.12/396.22	c  395s |      16 |   220755 |   176552 |     6524     46 |        0 |        0
398.13/398.30	c  398s |      16 |   221930 |   177552 |     6524     47 |        0 |        0
400.23/400.33	c  400s |      16 |   223191 |   178652 |     6524     47 |        0 |        0
402.33/402.49	c  402s |      16 |   224302 |   179652 |     6524     47 |        0 |        0
404.53/404.67	c  404s |      16 |   225282 |   180552 |     6524     47 |        0 |        0
407.04/407.18	c  406s |      16 |   226291 |   181452 |     6524     48 |        0 |        0
409.24/409.38	c  409s |      16 |   227392 |   182452 |     6524     48 |        0 |        0
411.34/411.44	c  411s |      16 |   228525 |   183452 |     6524     48 |        0 |        0
413.43/413.57	c  413s |      16 |   229518 |   184352 |     6524     48 |        0 |        0
415.74/415.84	c  415s |      16 |   230492 |   185252 |     6524     48 |        0 |        0
417.83/417.93	c  417s |      16 |   231265 |   185952 |     6524     49 |        0 |        0
419.93/420.07	c  419s |      16 |   232515 |   187052 |     6524     49 |        0 |        0
422.13/422.26	c  422s |      16 |   233725 |   188152 |     6524     49 |        0 |        0
424.23/424.32	c  424s |      16 |   234702 |   189052 |     6524     49 |        0 |        0
426.23/426.37	c  426s |      16 |   235708 |   189952 |     6524     49 |        0 |        0
428.32/428.40	c  428s |      16 |   236583 |   190752 |     6524     50 |        0 |        0
430.42/430.58	c  430s |      16 |   237797 |   191852 |     6524     50 |        0 |        0
432.62/432.78	c  432s |      16 |   238908 |   192852 |     6524     50 |        0 |        0
434.72/434.85	c  434s |      16 |   239685 |   193552 |     6524     50 |        0 |        0
436.92/437.05	c  436s |      16 |   240648 |   194452 |     6524     50 |        0 |        0
439.12/439.22	c  438s |      16 |   241540 |   195252 |     6524     51 |        0 |        0
441.13/441.27	c  441s |      16 |   242857 |   196452 |     7177     51 |        0 |        0
443.12/443.23	c  442s |      17 |   243992 |   197432 |     7177     51 |        0 |        0
445.12/445.29	c  445s |      17 |   248098 |   198832 |     7177     52 |        0 |        0
447.23/447.35	c  447s |      17 |   249448 |   200032 |     7177     52 |        0 |        0
449.43/449.52	c  449s |      17 |   250854 |   201232 |     7177     52 |        0 |        0
451.63/451.70	c  451s |      17 |   251967 |   202232 |     7177     52 |        0 |        0
453.83/453.91	c  453s |      17 |   253009 |   203132 |     7177     52 |        0 |        0
455.82/455.97	c  455s |      17 |   253776 |   203832 |     7177     53 |        0 |        0
457.92/458.07	c  457s |      17 |   254716 |   204632 |     7177     53 |        0 |        0
460.02/460.15	c  459s |      17 |   255595 |   205432 |     7177     53 |        0 |        0
462.03/462.16	c  461s |      17 |   256406 |   206132 |     7177     53 |        0 |        0
464.13/464.29	c  464s |      17 |   257202 |   206832 |     7177     53 |        0 |        0
466.32/466.42	c  466s |      17 |   258033 |   207532 |     7177     53 |        0 |        0
468.72/468.80	c  468s |      17 |   259074 |   208432 |     7177     54 |        0 |        0
470.72/470.88	c  470s |      17 |   260143 |   209332 |     7177     54 |        0 |        0
472.81/472.91	c  472s |      17 |   261159 |   210232 |     7177     54 |        0 |        0
474.82/474.98	c  474s |      17 |   262082 |   211032 |     7177     54 |        0 |        0
476.82/476.99	c  476s |      17 |   262871 |   211732 |     7177     54 |        0 |        0
479.02/479.13	c  478s |      17 |   263799 |   212532 |     7177     54 |        0 |        0
481.51/481.61	c  481s |      17 |   264580 |   213232 |     7177     55 |        0 |        0
483.61/483.71	c  483s |      17 |   265536 |   214032 |     7177     55 |        0 |        0
485.71/485.86	c  485s |      17 |   266612 |   214932 |     7177     55 |        0 |        0
487.82/487.96	c  487s |      17 |   267837 |   215932 |     7177     55 |        0 |        0
490.12/490.23	c  489s |      17 |   268878 |   216832 |     7177     55 |        0 |        0
492.22/492.36	c  492s |      17 |   269935 |   217732 |     7177     55 |        0 |        0
494.32/494.49	c  494s |      17 |   271166 |   218732 |     7177     56 |        0 |        0
496.52/496.63	c  496s |      17 |   272264 |   219632 |     7177     56 |        0 |        0
498.52/498.69	c  498s |      17 |   273368 |   220532 |     7177     56 |        0 |        0
500.81/500.95	c  500s |      17 |   274396 |   221432 |     7177     56 |        0 |        0
502.91/503.05	c  502s |      17 |   275327 |   222232 |     7177     56 |        0 |        0
505.11/505.23	c  504s |      17 |   276136 |   222932 |     7177     57 |        0 |        0
507.12/507.27	c  507s |      17 |   277188 |   223732 |     7177     57 |        0 |        0
509.41/509.57	c  509s |      17 |   278326 |   224632 |     7177     57 |        0 |        0
511.61/511.79	c  511s |      17 |   279497 |   225632 |     7177     57 |        0 |        0
513.81/513.97	c  513s |      17 |   280641 |   226532 |     7177     57 |        0 |        0
515.91/516.09	c  515s |      17 |   281587 |   227332 |     7177     57 |        0 |        0
518.11/518.24	c  517s |      17 |   282431 |   227932 |     7177     58 |        0 |        0
520.11/520.27	c  520s |      17 |   283538 |   228832 |     7177     58 |        0 |        0
522.31/522.42	c  522s |      17 |   284586 |   229732 |     7177     58 |        0 |        0
524.51/524.66	c  524s |      17 |   285532 |   230532 |     7177     58 |        0 |        0
526.82/526.91	c  526s |      17 |   286454 |   231332 |     7177     58 |        0 |        0
528.91/529.01	c  528s |      17 |   287217 |   232032 |     7177     58 |        0 |        0
531.01/531.11	c  530s |      17 |   287935 |   232632 |     7177     59 |        0 |        0
533.21/533.32	c  533s |      17 |   289043 |   233532 |     7177     59 |        0 |        0
535.21/535.38	c  535s |      17 |   289987 |   234332 |     7177     59 |        0 |        0
537.31/537.41	c  537s |      17 |   290973 |   235132 |     7177     59 |        0 |        0
539.51/539.61	c  539s |      17 |   292110 |   236032 |     7177     59 |        0 |        0
541.61/541.70	c  541s |      17 |   293056 |   236832 |     7177     59 |        0 |        0
543.71/543.80	c  543s |      17 |   293880 |   237532 |     7177     60 |        0 |        0
545.70/545.88	c  545s |      17 |   295021 |   238432 |     7177     60 |        0 |        0
547.90/548.01	c  547s |      17 |   295925 |   239232 |     7177     60 |        0 |        0
549.91/550.06	c  549s |      17 |   296881 |   240032 |     7177     60 |        0 |        0
551.91/552.09	c  551s |      17 |   297686 |   240732 |     7177     60 |        0 |        0
554.01/554.16	c  553s |      17 |   298370 |   241332 |     7177     60 |        0 |        0
556.21/556.35	c  556s |      17 |   299177 |   242032 |     7177     60 |        0 |        0
558.40/558.50	c  558s |      17 |   299921 |   242632 |     7177     61 |        0 |        0
560.40/560.58	c  560s |      17 |   300979 |   243532 |     7177     61 |        0 |        0
562.60/562.73	c  562s |      17 |   302101 |   244432 |     7177     61 |        0 |        0
564.80/564.94	c  564s |      17 |   303281 |   245432 |     7177     61 |        0 |        0
566.90/567.05	c  566s |      17 |   304195 |   246232 |     7177     61 |        0 |        0
569.10/569.26	c  568s |      17 |   304989 |   246932 |     7177     62 |        0 |        0
571.11/571.29	c  571s |      17 |   305902 |   247732 |     7177     62 |        0 |        0
573.21/573.37	c  573s |      17 |   307012 |   248532 |     7177     62 |        0 |        0
575.31/575.47	c  575s |      17 |   307831 |   249232 |     7177     62 |        0 |        0
577.60/577.78	c  577s |      17 |   308781 |   250032 |     7177     62 |        0 |        0
579.80/579.92	c  579s |      17 |   309643 |   250732 |     7177     62 |        0 |        0
582.10/582.28	c  582s |      17 |   310470 |   251432 |     7177     62 |        0 |        0
584.60/584.73	c  584s |      17 |   311229 |   252032 |     7177     63 |        0 |        0
586.80/586.91	c  586s |      17 |   312548 |   253132 |     7177     63 |        0 |        0
589.00/589.11	c  588s |      17 |   313647 |   254032 |     7177     63 |        0 |        0
591.10/591.25	c  590s |      17 |   314732 |   254932 |     7177     63 |        0 |        0
593.10/593.27	c  593s |      17 |   315748 |   255732 |     7177     63 |        0 |        0
595.30/595.44	c  595s |      17 |   316592 |   256432 |     7177     63 |        0 |        0
597.50/597.65	c  597s |      17 |   317392 |   257132 |     7177     64 |        0 |        0
599.70/599.85	c  599s |      17 |   318326 |   257932 |     7177     64 |        0 |        0
601.71/601.86	c  601s |      17 |   319158 |   258632 |     7177     64 |        0 |        0
603.90/604.06	c  603s |      17 |   319999 |   259332 |     7177     64 |        0 |        0
605.90/606.10	c  605s |      17 |   320857 |   260032 |     7177     64 |        0 |        0
608.40/608.52	c  608s |      17 |   321684 |   260732 |     7177     64 |        0 |        0
610.51/610.65	c  610s |      17 |   322562 |   261432 |     7177     65 |        0 |        0
612.61/612.75	c  612s |      17 |   323799 |   262432 |     7177     65 |        0 |        0
614.60/614.79	c  614s |      17 |   324764 |   263232 |     7177     65 |        0 |        0
616.69/616.81	c  616s |      17 |   325618 |   263932 |     7177     65 |        0 |        0
618.69/618.87	c  618s |      17 |   326438 |   264632 |     7177     65 |        0 |        0
620.79/620.98	c  620s |      17 |   327266 |   265332 |     7177     65 |        0 |        0
622.89/623.09	c  622s |      17 |   328067 |   266032 |     7177     65 |        0 |        0
625.19/625.32	c  625s |      17 |   328873 |   266732 |     7177     66 |        0 |        0
627.29/627.48	c  627s |      17 |   329844 |   267532 |     7177     66 |        0 |        0
629.39/629.56	c  629s |      17 |   330663 |   268232 |     7177     66 |        0 |        0
631.40/631.58	c  631s |      17 |   331522 |   268932 |     7177     66 |        0 |        0
633.60/633.79	c  633s |      17 |   332331 |   269632 |     7177     66 |        0 |        0
635.80/635.99	c  635s |      17 |   333137 |   270332 |     7177     66 |        0 |        0
638.09/638.24	c  637s |      17 |   333957 |   270932 |     7177     66 |        0 |        0
640.19/640.34	c  640s |      17 |   334661 |   271532 |     7177     67 |        0 |        0
642.29/642.50	c  642s |      17 |   335591 |   272232 |     7177     67 |        0 |        0
644.49/644.64	c  644s |      17 |   336574 |   273032 |     7177     67 |        0 |        0
646.58/646.80	c  646s |      17 |   337398 |   273732 |     7177     67 |        0 |        0
648.68/648.85	c  648s |      17 |   338077 |   274332 |     7177     67 |        0 |        0
650.78/650.98	c  650s |      17 |   338919 |   275032 |     7177     67 |        0 |        0
653.08/653.26	c  653s |      17 |   339743 |   275732 |     7177     67 |        0 |        0
655.28/655.43	c  655s |      17 |   340388 |   276232 |     7177     68 |        0 |        0
657.38/657.55	c  657s |      17 |   340956 |   276732 |     7177     68 |        0 |        0
659.68/659.88	c  659s |      17 |   341665 |   277332 |     7177     68 |        0 |        0
661.77/661.90	c  661s |      17 |   342306 |   277832 |     7177     68 |        0 |        0
663.98/664.14	c  663s |      17 |   343049 |   278432 |     7177     68 |        0 |        0
665.98/666.16	c  665s |      17 |   343732 |   279032 |     7177     68 |        0 |        0
668.07/668.21	c  667s |      17 |   344389 |   279632 |     7177     68 |        0 |        0
670.27/670.48	c  670s |      17 |   345171 |   280332 |     7177     68 |        0 |        0
672.37/672.59	c  672s |      17 |   346144 |   281132 |     7177     69 |        0 |        0
674.47/674.68	c  674s |      17 |   347070 |   281932 |     7177     69 |        0 |        0
676.67/676.84	c  676s |      17 |   348102 |   282832 |     7177     69 |        0 |        0
678.77/678.96	c  678s |      17 |   348995 |   283632 |     7177     69 |        0 |        0
680.97/681.17	c  680s |      17 |   349929 |   284432 |     7177     69 |        0 |        0
683.17/683.33	c  683s |      17 |   351029 |   285332 |     7177     69 |        0 |        0
685.28/685.49	c  685s |      17 |   352224 |   286332 |     7177     70 |        0 |        0
687.38/687.52	c  687s |      17 |   353675 |   287332 |     7177     70 |        0 |        0
689.37/689.55	c  689s |      17 |   354645 |   288132 |     7177     70 |        0 |        0
691.47/691.66	c  691s |      17 |   355622 |   288932 |     7177     70 |        0 |        0
693.47/693.68	c  693s |      17 |   356432 |   289632 |     7177     70 |        0 |        0
695.47/695.68	c  695s |      17 |   357133 |   290232 |     7177     71 |        0 |        0
697.67/697.88	c  697s |      17 |   358170 |   291032 |     7177     71 |        0 |        0
699.87/700.03	c  699s |      17 |   359398 |   291932 |     7177     71 |        0 |        0
702.07/702.27	c  702s |      17 |   360354 |   292832 |     7177     71 |        0 |        0
704.27/704.40	c  704s |      17 |   361219 |   293632 |     7177     71 |        0 |        0
706.26/706.48	c  706s |      17 |   362259 |   294432 |     7895     71 |        0 |        0
708.46/708.60	c  708s |      17 |   363176 |   295132 |     7895     71 |        0 |        0
710.47/710.63	c  710s |      17 |   364066 |   295732 |     7895     72 |        0 |        0
711.76/712.00	c  711s |      18 |   364801 |   296252 |     7895     72 |        0 |        0
713.87/714.06	c  713s |      18 |   370114 |   297852 |     7895     72 |        0 |        0
715.97/716.17	c  715s |      18 |   371838 |   299352 |     7895     72 |        0 |        0
718.17/718.35	c  718s |      18 |   373145 |   300552 |     7895     72 |        0 |        0
720.16/720.37	c  720s |      18 |   374277 |   301552 |     7895     73 |        0 |        0
722.36/722.58	c  722s |      18 |   375379 |   302552 |     7895     73 |        0 |        0
724.46/724.62	c  724s |      18 |   376470 |   303552 |     7895     73 |        0 |        0
726.46/726.62	c  726s |      18 |   377463 |   304452 |     7895     73 |        0 |        0
728.66/728.83	c  728s |      18 |   378323 |   305252 |     7895     73 |        0 |        0
730.76/730.93	c  730s |      18 |   379221 |   306052 |     7895     73 |        0 |        0
732.86/733.04	c  732s |      18 |   379987 |   306752 |     7895     74 |        0 |        0
734.86/735.09	c  734s |      18 |   380867 |   307552 |     7895     74 |        0 |        0
737.05/737.25	c  736s |      18 |   381740 |   308352 |     7895     74 |        0 |        0
739.16/739.34	c  739s |      18 |   382748 |   309252 |     7895     74 |        0 |        0
741.15/741.35	c  741s |      18 |   383787 |   310152 |     7895     74 |        0 |        0
743.35/743.52	c  743s |      18 |   384802 |   311052 |     7895     74 |        0 |        0
745.56/745.76	c  745s |      18 |   385570 |   311752 |     7895     75 |        0 |        0
747.76/747.93	c  747s |      18 |   386557 |   312652 |     7895     75 |        0 |        0
749.86/750.06	c  749s |      18 |   387524 |   313552 |     7895     75 |        0 |        0
752.05/752.20	c  751s |      18 |   388418 |   314352 |     7895     75 |        0 |        0
754.35/754.52	c  754s |      18 |   389305 |   315152 |     7895     75 |        0 |        0
756.45/756.69	c  756s |      18 |   390310 |   316052 |     7895     75 |        0 |        0
758.55/758.74	c  758s |      18 |   390980 |   316652 |     7895     76 |        0 |        0
760.65/760.87	c  760s |      18 |   392000 |   317552 |     7895     76 |        0 |        0
762.94/763.13	c  762s |      18 |   392886 |   318352 |     7895     76 |        0 |        0
764.94/765.17	c  764s |      18 |   393770 |   319152 |     7895     76 |        0 |        0
767.04/767.27	c  767s |      18 |   394885 |   320152 |     7895     76 |        0 |        0
769.24/769.41	c  769s |      18 |   395770 |   320952 |     7895     76 |        0 |        0
771.84/772.02	c  771s |      18 |   396674 |   321752 |     7895     77 |        0 |        0
774.04/774.27	c  774s |      18 |   397601 |   322552 |     7895     77 |        0 |        0
776.04/776.29	c  776s |      18 |   398378 |   323252 |     7895     77 |        0 |        0
778.24/778.48	c  778s |      18 |   399237 |   324052 |     7895     77 |        0 |        0
780.54/780.74	c  780s |      18 |   400109 |   324852 |     7895     77 |        0 |        0
782.84/783.07	c  782s |      18 |   400984 |   325652 |     7895     77 |        0 |        0
785.14/785.33	c  785s |      18 |   401843 |   326452 |     7895     77 |        0 |        0
787.14/787.39	c  787s |      18 |   402480 |   327052 |     7895     78 |        0 |        0
789.23/789.46	c  789s |      18 |   403242 |   327752 |     7895     78 |        0 |        0
791.33/791.59	c  791s |      18 |   404111 |   328552 |     7895     78 |        0 |        0
793.53/793.78	c  793s |      18 |   405092 |   329452 |     7895     78 |        0 |        0
795.63/795.88	c  795s |      18 |   405851 |   330152 |     7895     78 |        0 |        0
797.82/798.01	c  797s |      18 |   406581 |   330852 |     7895     78 |        0 |        0
799.92/800.16	c  799s |      18 |   407359 |   331552 |     7895     78 |        0 |        0
802.22/802.46	c  802s |      18 |   407939 |   332052 |     7895     79 |        0 |        0
804.32/804.53	c  804s |      18 |   408799 |   332852 |     7895     79 |        0 |        0
806.43/806.62	c  806s |      18 |   409672 |   333652 |     7895     79 |        0 |        0
808.53/808.71	c  808s |      18 |   410440 |   334352 |     7895     79 |        0 |        0
810.63/810.82	c  810s |      18 |   411332 |   335152 |     7895     79 |        0 |        0
812.62/812.86	c  812s |      18 |   412184 |   335952 |     7895     79 |        0 |        0
814.93/815.14	c  814s |      18 |   413002 |   336652 |     7895     79 |        0 |        0
817.13/817.31	c  817s |      18 |   413677 |   337252 |     7895     80 |        0 |        0
819.22/819.40	c  819s |      18 |   414439 |   337952 |     7895     80 |        0 |        0
821.33/821.53	c  821s |      18 |   415347 |   338752 |     7895     80 |        0 |        0
823.42/823.61	c  823s |      18 |   416117 |   339452 |     7895     80 |        0 |        0
825.62/825.81	c  825s |      18 |   416876 |   340152 |     7895     80 |        0 |        0
827.82/828.07	c  827s |      18 |   417521 |   340752 |     7895     80 |        0 |        0
830.11/830.35	c  830s |      18 |   418545 |   341652 |     7895     80 |        0 |        0
832.31/832.59	c  832s |      18 |   419300 |   342352 |     7895     80 |        0 |        0
834.51/834.78	c  834s |      18 |   420058 |   343052 |     7895     81 |        0 |        0
836.72/836.97	c  836s |      18 |   420928 |   343852 |     7895     81 |        0 |        0
838.82/839.01	c  838s |      18 |   421707 |   344552 |     7895     81 |        0 |        0
841.02/841.23	c  840s |      18 |   422453 |   345252 |     7895     81 |        0 |        0
843.01/843.28	c  843s |      18 |   423094 |   345852 |     7895     81 |        0 |        0
845.21/845.40	c  845s |      18 |   423987 |   346552 |     7895     81 |        0 |        0
847.31/847.52	c  847s |      18 |   424933 |   347352 |     7895     81 |        0 |        0
849.41/849.64	c  849s |      18 |   425781 |   348052 |     7895     82 |        0 |        0
851.71/851.90	c  851s |      18 |   426786 |   348952 |     7895     82 |        0 |        0
853.81/854.08	c  853s |      18 |   427678 |   349752 |     7895     82 |        0 |        0
856.11/856.32	c  856s |      18 |   428610 |   350552 |     7895     82 |        0 |        0
858.10/858.36	c  858s |      18 |   429423 |   351252 |     7895     82 |        0 |        0
860.11/860.36	c  860s |      18 |   430122 |   351852 |     7895     82 |        0 |        0
862.10/862.37	c  862s |      18 |   430794 |   352452 |     7895     82 |        0 |        0
864.30/864.58	c  864s |      18 |   431475 |   353052 |     7895     83 |        0 |        0
866.50/866.80	c  866s |      18 |   432512 |   353952 |     7895     83 |        0 |        0
868.71/868.93	c  868s |      18 |   433387 |   354652 |     7895     83 |        0 |        0
870.70/870.99	c  870s |      18 |   434222 |   355352 |     7895     83 |        0 |        0
872.90/873.19	c  872s |      18 |   435009 |   356052 |     7895     83 |        0 |        0
875.10/875.37	c  875s |      18 |   435829 |   356752 |     7895     83 |        0 |        0
877.20/877.43	c  877s |      18 |   436528 |   357352 |     7895     83 |        0 |        0
879.19/879.43	c  879s |      18 |   437166 |   357852 |     7895     84 |        0 |        0
881.29/881.51	c  881s |      18 |   437948 |   358552 |     7895     84 |        0 |        0
883.60/883.81	c  883s |      18 |   438727 |   359252 |     7895     84 |        0 |        0
885.70/885.94	c  885s |      18 |   439438 |   359852 |     7895     84 |        0 |        0
887.70/887.97	c  887s |      18 |   440120 |   360452 |     7895     84 |        0 |        0
889.99/890.23	c  889s |      18 |   441015 |   361152 |     7895     84 |        0 |        0
892.09/892.35	c  892s |      18 |   441784 |   361752 |     7895     84 |        0 |        0
894.39/894.66	c  894s |      18 |   442509 |   362352 |     7895     84 |        0 |        0
896.59/896.81	c  896s |      18 |   443133 |   362852 |     7895     84 |        0 |        0
898.89/899.11	c  898s |      18 |   443768 |   363352 |     7895     85 |        0 |        0
901.09/901.35	c  901s |      18 |   444462 |   363952 |     7895     85 |        0 |        0
903.09/903.38	c  903s |      18 |   445055 |   364452 |     7895     85 |        0 |        0
905.19/905.41	c  905s |      18 |   445673 |   364952 |     7895     85 |        0 |        0
907.49/907.73	c  907s |      18 |   446345 |   365552 |     7895     85 |        0 |        0
909.79/910.06	c  909s |      18 |   447002 |   366152 |     7895     85 |        0 |        0
911.99/912.23	c  911s |      18 |   447622 |   366652 |     7895     85 |        0 |        0
914.09/914.31	c  914s |      18 |   448249 |   367152 |     7895     85 |        0 |        0
916.29/916.52	c  916s |      18 |   448807 |   367652 |     7895     85 |        0 |        0
918.39/918.63	c  918s |      18 |   449259 |   368052 |     7895     85 |        0 |        0
920.88/921.14	c  920s |      18 |   449705 |   368452 |     7895     86 |        0 |        0
922.98/923.27	c  923s |      18 |   450333 |   368952 |     7895     86 |        0 |        0
924.98/925.29	c  925s |      18 |   450931 |   369452 |     7895     86 |        0 |        0
927.28/927.56	c  927s |      18 |   451531 |   369952 |     7895     86 |        0 |        0
929.38/929.66	c  929s |      18 |   452396 |   370652 |     7895     86 |        0 |        0
931.59/931.90	c  931s |      18 |   453295 |   371452 |     7895     86 |        0 |        0
933.78/934.10	c  933s |      18 |   454215 |   372252 |     7895     86 |        0 |        0
936.08/936.37	c  936s |      18 |   454918 |   372852 |     7895     86 |        0 |        0
938.57/938.81	c  938s |      18 |   455498 |   373352 |     7895     87 |        0 |        0
940.57/940.87	c  940s |      18 |   456224 |   373952 |     7895     87 |        0 |        0
942.68/942.92	c  942s |      18 |   456941 |   374552 |     7895     87 |        0 |        0
944.98/945.26	c  944s |      18 |   457654 |   375152 |     7895     87 |        0 |        0
947.28/947.53	c  947s |      18 |   458421 |   375752 |     7895     87 |        0 |        0
949.27/949.56	c  949s |      18 |   459020 |   376252 |     7895     87 |        0 |        0
951.57/951.82	c  951s |      18 |   459599 |   376752 |     7895     87 |        0 |        0
953.66/953.96	c  953s |      18 |   460175 |   377252 |     7895     87 |        0 |        0
955.77/956.06	c  955s |      18 |   460868 |   377852 |     7895     87 |        0 |        0
957.97/958.27	c  958s |      18 |   461616 |   378452 |     7895     87 |        0 |        0
960.27/960.56	c  960s |      18 |   462338 |   379052 |     7895     88 |        0 |        0
962.37/962.63	c  962s |      18 |   463109 |   379652 |     7895     88 |        0 |        0
964.66/964.99	c  964s |      18 |   463783 |   380252 |     7895     88 |        0 |        0
967.06/967.37	c  967s |      18 |   464463 |   380852 |     7895     88 |        0 |        0
969.25/969.59	c  969s |      18 |   465200 |   381452 |     7895     88 |        0 |        0
971.36/971.67	c  971s |      18 |   465817 |   381952 |     7895     88 |        0 |        0
973.66/973.95	c  973s |      18 |   466414 |   382452 |     7895     88 |        0 |        0
975.95/976.21	c  975s |      18 |   467139 |   383052 |     7895     88 |        0 |        0
978.45/978.72	c  978s |      18 |   467843 |   383652 |     7895     89 |        0 |        0
980.66/980.97	c  980s |      18 |   468654 |   384352 |     7895     89 |        0 |        0
982.76/983.05	c  982s |      18 |   469419 |   384952 |     7895     89 |        0 |        0
984.85/985.19	c  984s |      18 |   470132 |   385552 |     7895     89 |        0 |        0
987.25/987.51	c  987s |      18 |   470840 |   386152 |     7895     89 |        0 |        0
989.54/989.88	c  989s |      18 |   471563 |   386752 |     7895     89 |        0 |        0
991.75/992.03	c  991s |      18 |   472132 |   387252 |     7895     89 |        0 |        0
993.85/994.19	c  993s |      18 |   472732 |   387752 |     7895     89 |        0 |        0
996.14/996.44	c  996s |      18 |   473444 |   388352 |     7895     89 |        0 |        0
998.35/998.62	c  998s |      18 |   474246 |   389052 |     7895     90 |        0 |        0
1000.45/1000.74	c 1000s |      18 |   475131 |   389852 |     7895     90 |        0 |        0
1002.55/1002.84	c 1002s |      18 |   476042 |   390652 |     7895     90 |        0 |        0
1004.55/1004.84	c 1004s |      18 |   476836 |   391352 |     7895     90 |        0 |        0
1006.64/1006.99	c 1006s |      18 |   477763 |   392152 |     7895     90 |        0 |        0
1008.94/1009.22	c 1008s |      18 |   478681 |   392952 |     7895     90 |        0 |        0
1011.04/1011.33	c 1011s |      18 |   479506 |   393652 |     7895     90 |        0 |        0
1013.34/1013.63	c 1013s |      18 |   480161 |   394252 |     7895     91 |        0 |        0
1015.64/1015.91	c 1015s |      18 |   481061 |   395052 |     7895     91 |        0 |        0
1017.84/1018.19	c 1017s |      18 |   481947 |   395852 |     7895     91 |        0 |        0
1020.04/1020.34	c 1020s |      18 |   482762 |   396552 |     7895     91 |        0 |        0
1022.34/1022.68	c 1022s |      18 |   483526 |   397252 |     7895     91 |        0 |        0
1024.63/1024.90	c 1024s |      18 |   484173 |   397852 |     7895     91 |        0 |        0
1026.93/1027.25	c 1026s |      18 |   484841 |   398452 |     7895     91 |        0 |        0
1029.53/1029.86	c 1029s |      18 |   485656 |   399152 |     7895     92 |        0 |        0
1031.64/1031.92	c 1031s |      18 |   486661 |   400052 |     7895     92 |        0 |        0
1033.63/1033.98	c 1033s |      18 |   487556 |   400852 |     7895     92 |        0 |        0
1035.73/1036.09	c 1035s |      18 |   488454 |   401652 |     7895     92 |        0 |        0
1037.92/1038.26	c 1037s |      18 |   489355 |   402452 |     7895     92 |        0 |        0
1040.12/1040.49	c 1040s |      18 |   490114 |   403152 |     7895     92 |        0 |        0
1042.43/1042.76	c 1042s |      18 |   490889 |   403852 |     7895     92 |        0 |        0
1044.73/1045.02	c 1044s |      18 |   491553 |   404452 |     7895     93 |        0 |        0
1046.93/1047.25	c 1046s |      18 |   492364 |   405152 |     7895     93 |        0 |        0
1049.13/1049.47	c 1049s |      18 |   493137 |   405852 |     7895     93 |        0 |        0
1051.22/1051.55	c 1051s |      18 |   493906 |   406552 |     7895     93 |        0 |        0
1053.53/1053.87	c 1053s |      18 |   494678 |   407252 |     7895     93 |        0 |        0
1055.52/1055.88	c 1055s |      18 |   495351 |   407852 |     7895     93 |        0 |        0
1057.62/1057.93	c 1057s |      18 |   495999 |   408452 |     7895     93 |        0 |        0
1059.61/1059.98	c 1059s |      18 |   496662 |   409052 |     7895     93 |        0 |        0
1061.71/1062.06	c 1061s |      18 |   497222 |   409552 |     7895     94 |        0 |        0
1063.92/1064.24	c 1063s |      18 |   497885 |   410152 |     7895     94 |        0 |        0
1066.02/1066.38	c 1066s |      18 |   498778 |   410952 |     7895     94 |        0 |        0
1068.21/1068.51	c 1068s |      18 |   499527 |   411652 |     7895     94 |        0 |        0
1070.51/1070.85	c 1070s |      18 |   500330 |   412352 |     7895     94 |        0 |        0
1072.60/1072.99	c 1072s |      18 |   501007 |   412952 |     7895     94 |        0 |        0
1074.71/1075.04	c 1074s |      18 |   501657 |   413552 |     7895     94 |        0 |        0
1076.71/1077.07	c 1076s |      18 |   502317 |   414152 |     7895     94 |        0 |        0
1079.10/1079.46	c 1079s |      18 |   502861 |   414652 |     7895     95 |        0 |        0
1081.20/1081.52	c 1081s |      18 |   503664 |   415352 |     7895     95 |        0 |        0
1083.21/1083.60	c 1083s |      18 |   504339 |   415952 |     7895     95 |        0 |        0
1085.30/1085.67	c 1085s |      18 |   504983 |   416552 |     7895     95 |        0 |        0
1087.40/1087.76	c 1087s |      18 |   505638 |   417152 |     7895     95 |        0 |        0
1089.69/1090.07	c 1089s |      18 |   506280 |   417752 |     7895     95 |        0 |        0
1092.00/1092.35	c 1092s |      18 |   506941 |   418352 |     7895     95 |        0 |        0
1094.30/1094.66	c 1094s |      18 |   507654 |   418952 |     7895     95 |        0 |        0
1096.69/1097.02	c 1096s |      18 |   508337 |   419552 |     7895     95 |        0 |        0
1098.99/1099.32	c 1099s |      18 |   508921 |   420052 |     7895     96 |        0 |        0
1101.19/1101.53	c 1101s |      18 |   509800 |   420852 |     7895     96 |        0 |        0
1103.48/1103.80	c 1103s |      18 |   510565 |   421552 |     7895     96 |        0 |        0
1105.49/1105.89	c 1105s |      18 |   511245 |   422152 |     7895     96 |        0 |        0
1107.69/1108.05	c 1107s |      18 |   511901 |   422752 |     7895     96 |        0 |        0
1109.78/1110.18	c 1109s |      18 |   512617 |   423352 |     7895     96 |        0 |        0
1111.89/1112.28	c 1112s |      18 |   513209 |   423852 |     7895     96 |        0 |        0
1114.09/1114.42	c 1114s |      18 |   513766 |   424352 |     7895     96 |        0 |        0
1116.08/1116.45	c 1116s |      18 |   514312 |   424852 |     7895     96 |        0 |        0
1118.18/1118.59	c 1118s |      18 |   514761 |   425252 |     7895     97 |        0 |        0
1120.58/1120.92	c 1120s |      18 |   515439 |   425852 |     7895     97 |        0 |        0
1122.57/1123.00	c 1122s |      18 |   516143 |   426452 |     7895     97 |        0 |        0
1124.88/1125.30	c 1125s |      18 |   516799 |   427052 |     7895     97 |        0 |        0
1126.98/1127.32	c 1127s |      18 |   517384 |   427552 |     7895     97 |        0 |        0
1129.08/1129.43	c 1129s |      18 |   517938 |   428052 |     7895     97 |        0 |        0
1131.27/1131.69	c 1131s |      18 |   518593 |   428652 |     7895     97 |        0 |        0
1133.47/1133.88	c 1133s |      18 |   519308 |   429252 |     7895     97 |        0 |        0
1135.77/1136.15	c 1135s |      18 |   520002 |   429852 |     7895     97 |        0 |        0
1138.06/1138.43	c 1138s |      18 |   520457 |   430252 |     7895     98 |        0 |        0
1140.37/1140.76	c 1140s |      18 |   521134 |   430852 |     7895     98 |        0 |        0
1142.87/1143.25	c 1142s |      18 |   521854 |   431452 |     7895     98 |        0 |        0
1145.17/1145.57	c 1145s |      18 |   522429 |   431952 |     7895     98 |        0 |        0
1147.37/1147.78	c 1147s |      18 |   523010 |   432452 |     7895     98 |        0 |        0
1149.56/1149.99	c 1149s |      18 |   523584 |   432952 |     7895     98 |        0 |        0
1151.86/1152.20	c 1151s |      18 |   524276 |   433552 |     7895     98 |        0 |        0
1154.06/1154.40	c 1154s |      18 |   525180 |   434352 |     7895     98 |        0 |        0
1156.15/1156.55	c 1156s |      18 |   525974 |   435052 |     7895     98 |        0 |        0
1158.36/1158.71	c 1158s |      18 |   526630 |   435652 |     7895     99 |        0 |        0
1160.36/1160.76	c 1160s |      18 |   527389 |   436352 |     7895     99 |        0 |        0
1162.36/1162.77	c 1162s |      18 |   528154 |   437052 |     7895     99 |        0 |        0
1164.35/1164.78	c 1164s |      18 |   529036 |   437852 |     7895     99 |        0 |        0
1166.55/1166.99	c 1166s |      18 |   529954 |   438652 |     7895     99 |        0 |        0
1168.84/1169.25	c 1168s |      18 |   530705 |   439352 |     7895     99 |        0 |        0
1171.04/1171.46	c 1171s |      18 |   531472 |   440052 |     7895     99 |        0 |        0
1173.15/1173.54	c 1173s |      18 |   532135 |   440652 |     7895    100 |        0 |        0
1175.45/1175.80	c 1175s |      18 |   532936 |   441352 |     8685    100 |        0 |        0
1177.64/1178.03	c 1177s |      18 |   534171 |   442452 |     8685    100 |        0 |        0
1179.74/1180.13	c 1179s |      18 |   535097 |   443252 |     8685    100 |        0 |        0
1181.84/1182.28	c 1182s |      18 |   535881 |   443952 |     8685    100 |        0 |        0
1183.64/1184.05	c 1183s |      19 |   536485 |   444482 |     8685    100 |        0 |        0
1185.74/1186.17	c 1185s |      19 |   538952 |   444982 |     8685    101 |        0 |        0
1187.94/1188.33	c 1188s |      19 |   540670 |   446482 |     8685    101 |        0 |        0
1190.04/1190.47	c 1190s |      19 |   542313 |   447982 |     8685    101 |        0 |        0
1192.14/1192.52	c 1192s |      19 |   543542 |   449082 |     8685    101 |        0 |        0
1194.24/1194.62	c 1194s |      19 |   544654 |   450082 |     8685    101 |        0 |        0
1196.63/1197.05	c 1196s |      19 |   545891 |   451182 |     8685    102 |        0 |        0
1198.83/1199.21	c 1198s |      19 |   547073 |   452282 |     8685    102 |        0 |        0
1200.94/1201.39	c 1201s |      19 |   548174 |   453282 |     8685    102 |        0 |        0
1203.14/1203.57	c 1203s |      19 |   549263 |   454282 |     8685    102 |        0 |        0
1205.24/1205.67	c 1205s |      19 |   550266 |   455182 |     8685    102 |        0 |        0
1207.54/1207.92	c 1207s |      19 |   551393 |   456182 |     8685    102 |        0 |        0
1209.52/1209.96	c 1209s |      19 |   552394 |   457082 |     8685    103 |        0 |        0
1211.52/1211.99	c 1211s |      19 |   553633 |   458182 |     8685    103 |        0 |        0
1213.62/1214.06	c 1213s |      19 |   554548 |   458982 |     8685    103 |        0 |        0
1215.72/1216.19	c 1215s |      19 |   555665 |   459982 |     8685    103 |        0 |        0
1217.82/1218.27	c 1218s |      19 |   556669 |   460882 |     8685    103 |        0 |        0
1219.92/1220.38	c 1220s |      19 |   557571 |   461682 |     8685    103 |        0 |        0
1222.02/1222.41	c 1222s |      19 |   558241 |   462282 |     8685    104 |        0 |        0
1224.02/1224.49	c 1224s |      19 |   559226 |   463182 |     8685    104 |        0 |        0
1226.31/1226.72	c 1226s |      19 |   560314 |   464182 |     8685    104 |        0 |        0
1228.42/1228.83	c 1228s |      19 |   561298 |   465082 |     8685    104 |        0 |        0
1230.52/1230.95	c 1230s |      19 |   562159 |   465882 |     8685    104 |        0 |        0
1232.61/1233.03	c 1232s |      19 |   563008 |   466682 |     8685    104 |        0 |        0
1234.81/1235.26	c 1235s |      19 |   564052 |   467582 |     8685    104 |        0 |        0
1237.01/1237.48	c 1237s |      19 |   564913 |   468382 |     8685    105 |        0 |        0
1239.20/1239.63	c 1239s |      19 |   565997 |   469382 |     8685    105 |        0 |        0
1241.30/1241.77	c 1241s |      19 |   567226 |   470482 |     8685    105 |        0 |        0
1243.40/1243.86	c 1243s |      19 |   568330 |   471482 |     8685    105 |        0 |        0
1245.40/1245.87	c 1245s |      19 |   569138 |   472182 |     8685    105 |        0 |        0
1247.50/1247.99	c 1247s |      19 |   570173 |   473082 |     8685    105 |        0 |        0
1249.60/1250.09	c 1249s |      19 |   571050 |   473882 |     8685    106 |        0 |        0
1251.70/1252.14	c 1251s |      19 |   572153 |   474882 |     8685    106 |        0 |        0
1253.80/1254.29	c 1254s |      19 |   573257 |   475882 |     8685    106 |        0 |        0
1255.91/1256.35	c 1256s |      19 |   574183 |   476682 |     8685    106 |        0 |        0
1258.10/1258.56	c 1258s |      19 |   575174 |   477582 |     8685    106 |        0 |        0
1260.30/1260.78	c 1260s |      19 |   576164 |   478482 |     8685    106 |        0 |        0
1262.79/1263.27	c 1263s |      19 |   577080 |   479282 |     8685    107 |        0 |        0
1264.99/1265.47	c 1265s |      19 |   578332 |   480382 |     8685    107 |        0 |        0
1267.09/1267.51	c 1267s |      19 |   579441 |   481382 |     8685    107 |        0 |        0
1269.29/1269.74	c 1269s |      19 |   580566 |   482382 |     8685    107 |        0 |        0
1271.59/1272.00	c 1271s |      19 |   581682 |   483382 |     8685    107 |        0 |        0
1273.79/1274.25	c 1273s |      19 |   582669 |   484282 |     8685    107 |        0 |        0
1275.99/1276.43	c 1276s |      19 |   583680 |   485182 |     8685    108 |        0 |        0
1278.08/1278.57	c 1278s |      19 |   584651 |   486082 |     8685    108 |        0 |        0
1280.18/1280.66	c 1280s |      19 |   585683 |   486982 |     8685    108 |        0 |        0
1282.38/1282.88	c 1282s |      19 |   586669 |   487882 |     8685    108 |        0 |        0
1284.39/1284.88	c 1284s |      19 |   587554 |   488682 |     8685    108 |        0 |        0
1286.48/1286.95	c 1286s |      19 |   588431 |   489482 |     8685    108 |        0 |        0
1288.58/1289.09	c 1288s |      19 |   589315 |   490282 |     8685    109 |        0 |        0
1290.78/1291.22	c 1290s |      19 |   590398 |   491282 |     8685    109 |        0 |        0
1292.78/1293.28	c 1293s |      19 |   591385 |   492182 |     8685    109 |        0 |        0
1294.88/1295.32	c 1295s |      19 |   592191 |   492882 |     8685    109 |        0 |        0
1297.08/1297.51	c 1297s |      19 |   593192 |   493782 |     8685    109 |        0 |        0
1299.18/1299.68	c 1299s |      19 |   594287 |   494782 |     8685    109 |        0 |        0
1301.28/1301.76	c 1301s |      19 |   595232 |   495682 |     8685    109 |        0 |        0
1303.38/1303.80	c 1303s |      19 |   596111 |   496482 |     8685    110 |        0 |        0
1305.39/1305.88	c 1305s |      19 |   596895 |   497182 |     8685    110 |        0 |        0
1307.49/1307.92	c 1307s |      19 |   597864 |   498082 |     8685    110 |        0 |        0
1309.49/1309.96	c 1309s |      19 |   598855 |   498982 |     8685    110 |        0 |        0
1311.69/1312.12	c 1311s |      19 |   599825 |   499882 |     8685    110 |        0 |        0
1313.79/1314.20	c 1313s |      19 |   600800 |   500682 |     8685    110 |        0 |        0
1315.79/1316.29	c 1316s |      19 |   601496 |   501282 |     8685    111 |        0 |        0
1317.98/1318.43	c 1318s |      19 |   602526 |   502182 |     8685    111 |        0 |        0
1319.98/1320.46	c 1320s |      19 |   603541 |   503082 |     8685    111 |        0 |        0
1322.08/1322.51	c 1322s |      19 |   604565 |   503982 |     8685    111 |        0 |        0
1324.09/1324.52	c 1324s |      19 |   605346 |   504682 |     8685    111 |        0 |        0
1326.19/1326.67	c 1326s |      19 |   606376 |   505582 |     8685    111 |        0 |        0
1328.39/1328.85	c 1328s |      19 |   607276 |   506382 |     8685    111 |        0 |        0
1330.48/1330.98	c 1330s |      19 |   608036 |   507082 |     8685    112 |        0 |        0
1332.68/1333.16	c 1332s |      19 |   608846 |   507782 |     8685    112 |        0 |        0
1334.88/1335.31	c 1335s |      19 |   609735 |   508582 |     8685    112 |        0 |        0
1336.88/1337.36	c 1337s |      19 |   610539 |   509282 |     8685    112 |        0 |        0
1339.08/1339.51	c 1339s |      19 |   611318 |   509982 |     8685    112 |        0 |        0
1341.28/1341.72	c 1341s |      19 |   612067 |   510682 |     8685    112 |        0 |        0
1343.47/1343.97	c 1343s |      19 |   612825 |   511382 |     8685    112 |        0 |        0
1345.57/1346.07	c 1345s |      19 |   613502 |   511982 |     8685    112 |        0 |        0
1347.57/1348.09	c 1347s |      19 |   614032 |   512482 |     8685    113 |        0 |        0
1349.78/1350.26	c 1349s |      19 |   614923 |   513282 |     8685    113 |        0 |        0
1351.88/1352.38	c 1352s |      19 |   615797 |   514082 |     8685    113 |        0 |        0
1354.18/1354.65	c 1354s |      19 |   616561 |   514782 |     8685    113 |        0 |        0
1356.38/1356.80	c 1356s |      19 |   617224 |   515382 |     8685    113 |        0 |        0
1358.38/1358.82	c 1358s |      19 |   617884 |   515982 |     8685    113 |        0 |        0
1360.38/1360.85	c 1360s |      19 |   618524 |   516582 |     8685    113 |        0 |        0
1362.67/1363.16	c 1362s |      19 |   619398 |   517282 |     8685    113 |        0 |        0
1364.97/1365.43	c 1365s |      19 |   620149 |   517882 |     8685    114 |        0 |        0
1367.17/1367.60	c 1367s |      19 |   621061 |   518682 |     8685    114 |        0 |        0
1369.27/1369.76	c 1369s |      19 |   621960 |   519482 |     8685    114 |        0 |        0
1371.47/1371.93	c 1371s |      19 |   622852 |   520282 |     8685    114 |        0 |        0
1373.68/1374.12	c 1373s |      19 |   623610 |   520982 |     8685    114 |        0 |        0
1375.68/1376.17	c 1375s |      19 |   624265 |   521582 |     8685    114 |        0 |        0
1377.77/1378.27	c 1378s |      19 |   624949 |   522182 |     8685    114 |        0 |        0
1379.87/1380.30	c 1380s |      19 |   625958 |   523082 |     8685    114 |        0 |        0
1381.87/1382.33	c 1382s |      19 |   626759 |   523782 |     8685    115 |        0 |        0
1383.87/1384.37	c 1384s |      19 |   627904 |   524782 |     8685    115 |        0 |        0
1385.87/1386.37	c 1386s |      19 |   628890 |   525682 |     8685    115 |        0 |        0
1388.17/1388.60	c 1388s |      19 |   629859 |   526582 |     8685    115 |        0 |        0
1390.27/1390.73	c 1390s |      19 |   630628 |   527282 |     8685    115 |        0 |        0
1392.47/1392.96	c 1392s |      19 |   631490 |   528082 |     8685    115 |        0 |        0
1394.67/1395.15	c 1394s |      19 |   632297 |   528782 |     8685    116 |        0 |        0
1396.87/1397.32	c 1397s |      19 |   633060 |   529482 |     8685    116 |        0 |        0
1399.17/1399.61	c 1399s |      19 |   634035 |   530382 |     8685    116 |        0 |        0
1401.17/1401.67	c 1401s |      19 |   634800 |   531082 |     8685    116 |        0 |        0
1403.27/1403.73	c 1403s |      19 |   635546 |   531782 |     8685    116 |        0 |        0
1405.27/1405.77	c 1405s |      19 |   636334 |   532482 |     8685    116 |        0 |        0
1407.47/1407.95	c 1407s |      19 |   637097 |   533182 |     8685    116 |        0 |        0
1409.57/1410.00	c 1409s |      19 |   637881 |   533882 |     8685    116 |        0 |        0
1411.77/1412.20	c 1411s |      19 |   638762 |   534682 |     8685    117 |        0 |        0
1413.87/1414.36	c 1414s |      19 |   639744 |   535582 |     8685    117 |        0 |        0
1415.96/1416.45	c 1416s |      19 |   640686 |   536382 |     8685    117 |        0 |        0
1418.16/1418.63	c 1418s |      19 |   641887 |   537482 |     8685    117 |        0 |        0
1420.26/1420.75	c 1420s |      19 |   642986 |   538382 |     8685    117 |        0 |        0
1422.46/1422.95	c 1422s |      19 |   643871 |   539182 |     8685    117 |        0 |        0
1424.46/1424.98	c 1424s |      19 |   644554 |   539782 |     8685    118 |        0 |        0
1426.76/1427.20	c 1426s |      19 |   645643 |   540782 |     8685    118 |        0 |        0
1428.86/1429.36	c 1429s |      19 |   646637 |   541682 |     8685    118 |        0 |        0
1430.96/1431.41	c 1431s |      19 |   647536 |   542482 |     8685    118 |        0 |        0
1432.97/1433.45	c 1433s |      19 |   648422 |   543282 |     8685    118 |        0 |        0
1435.07/1435.59	c 1435s |      19 |   649314 |   544082 |     8685    118 |        0 |        0
1437.16/1437.70	c 1437s |      19 |   650208 |   544882 |     8685    118 |        0 |        0
1439.36/1439.82	c 1439s |      19 |   651193 |   545782 |     8685    119 |        0 |        0
1441.56/1442.03	c 1441s |      19 |   652295 |   546782 |     8685    119 |        0 |        0
1443.66/1444.19	c 1443s |      19 |   653253 |   547682 |     8685    119 |        0 |        0
1445.76/1446.23	c 1445s |      19 |   654279 |   548582 |     8685    119 |        0 |        0
1447.86/1448.34	c 1448s |      19 |   655287 |   549482 |     8685    119 |        0 |        0
1450.16/1450.62	c 1450s |      19 |   656256 |   550382 |     8685    119 |        0 |        0
1452.36/1452.80	c 1452s |      19 |   657012 |   551082 |     8685    120 |        0 |        0
1454.76/1455.25	c 1454s |      19 |   658008 |   551982 |     8685    120 |        0 |        0
1456.86/1457.38	c 1457s |      19 |   659147 |   552982 |     8685    120 |        0 |        0
1458.95/1459.48	c 1459s |      19 |   660077 |   553782 |     8685    120 |        0 |        0
1461.05/1461.59	c 1461s |      19 |   660846 |   554482 |     8685    120 |        0 |        0
1463.36/1463.85	c 1463s |      19 |   661717 |   555282 |     8685    120 |        0 |        0
1465.56/1466.04	c 1465s |      19 |   662484 |   555982 |     8685    120 |        0 |        0
1467.66/1468.15	c 1467s |      19 |   663270 |   556682 |     8685    121 |        0 |        0
1469.66/1470.18	c 1469s |      19 |   664053 |   557382 |     8685    121 |        0 |        0
1471.86/1472.34	c 1472s |      19 |   664800 |   558082 |     8685    121 |        0 |        0
1473.86/1474.39	c 1474s |      19 |   665553 |   558782 |     8685    121 |        0 |        0
1475.96/1476.49	c 1476s |      19 |   666437 |   559582 |     8685    121 |        0 |        0
1478.06/1478.59	c 1478s |      19 |   667527 |   560582 |     8685    121 |        0 |        0
1480.16/1480.69	c 1480s |      19 |   668646 |   561582 |     8685    122 |        0 |        0
1482.26/1482.80	c 1482s |      19 |   669824 |   562682 |     8685    122 |        0 |        0
1484.36/1484.83	c 1484s |      19 |   670916 |   563682 |     8685    122 |        0 |        0
1486.96/1487.44	c 1487s |      19 |   672008 |   564682 |     8685    122 |        0 |        0
1489.25/1489.72	c 1489s |      19 |   672935 |   565482 |     8685    122 |        0 |        0
1491.55/1492.00	c 1491s |      19 |   673810 |   566282 |     8685    122 |        0 |        0
1493.75/1494.21	c 1493s |      19 |   674601 |   566982 |     8685    123 |        0 |        0
1495.85/1496.35	c 1496s |      19 |   675486 |   567782 |     8685    123 |        0 |        0
1497.95/1498.48	c 1498s |      19 |   676513 |   568682 |     8685    123 |        0 |        0
1500.15/1500.69	c 1500s |      19 |   677495 |   569582 |     8685    123 |        0 |        0
1502.35/1502.86	c 1502s |      19 |   678362 |   570382 |     8685    123 |        0 |        0
1504.45/1504.93	c 1504s |      19 |   679104 |   571082 |     8685    123 |        0 |        0
1506.45/1506.97	c 1506s |      19 |   679863 |   571782 |     8685    123 |        0 |        0
1508.76/1509.29	c 1509s |      19 |   680611 |   572482 |     8685    124 |        0 |        0
1510.96/1511.41	c 1511s |      19 |   681580 |   573382 |     8685    124 |        0 |        0
1513.16/1513.65	c 1513s |      19 |   682347 |   574082 |     8685    124 |        0 |        0
1515.36/1515.88	c 1515s |      19 |   683316 |   574982 |     8685    124 |        0 |        0
1517.56/1518.01	c 1517s |      19 |   684181 |   575782 |     8685    124 |        0 |        0
1519.55/1520.09	c 1519s |      19 |   685041 |   576582 |     8685    124 |        0 |        0
1521.55/1522.09	c 1521s |      19 |   686049 |   577482 |     8685    124 |        0 |        0
1523.75/1524.23	c 1523s |      19 |   686943 |   578282 |     8685    125 |        0 |        0
1525.95/1526.43	c 1526s |      19 |   687822 |   579082 |     8685    125 |        0 |        0
1527.95/1528.44	c 1528s |      19 |   688811 |   579982 |     8685    125 |        0 |        0
1529.95/1530.45	c 1530s |      19 |   689662 |   580782 |     8685    125 |        0 |        0
1532.05/1532.50	c 1532s |      19 |   690553 |   581582 |     8685    125 |        0 |        0
1534.25/1534.77	c 1534s |      19 |   691403 |   582382 |     8685    125 |        0 |        0
1536.55/1537.01	c 1536s |      19 |   692384 |   583282 |     8685    125 |        0 |        0
1538.65/1539.10	c 1538s |      19 |   693252 |   584082 |     8685    126 |        0 |        0
1540.66/1541.18	c 1540s |      19 |   694251 |   584982 |     8685    126 |        0 |        0
1542.75/1543.22	c 1542s |      19 |   695112 |   585782 |     8685    126 |        0 |        0
1544.75/1545.24	c 1544s |      19 |   695961 |   586582 |     8685    126 |        0 |        0
1546.85/1547.32	c 1547s |      19 |   696826 |   587382 |     8685    126 |        0 |        0
1548.85/1549.37	c 1549s |      19 |   697680 |   588182 |     8685    126 |        0 |        0
1551.05/1551.53	c 1551s |      19 |   698718 |   589082 |     8685    127 |        0 |        0
1553.25/1553.75	c 1553s |      19 |   699818 |   590082 |     8685    127 |        0 |        0
1555.45/1555.90	c 1555s |      19 |   700788 |   590982 |     8685    127 |        0 |        0
1557.54/1558.05	c 1557s |      19 |   701672 |   591782 |     8685    127 |        0 |        0
1560.04/1560.52	c 1560s |      19 |   702349 |   592382 |     8685    127 |        0 |        0
1562.04/1562.52	c 1562s |      19 |   703342 |   593282 |     8685    127 |        0 |        0
1564.14/1564.60	c 1564s |      19 |   704227 |   594082 |     8685    127 |        0 |        0
1566.14/1566.64	c 1566s |      19 |   704878 |   594682 |     8685    128 |        0 |        0
1568.15/1568.68	c 1568s |      19 |   705802 |   595482 |     8685    128 |        0 |        0
1570.24/1570.71	c 1570s |      19 |   706691 |   596282 |     8685    128 |        0 |        0
1572.24/1572.72	c 1572s |      19 |   707462 |   596982 |     8685    128 |        0 |        0
1574.34/1574.85	c 1574s |      19 |   708233 |   597682 |     8685    128 |        0 |        0
1576.54/1577.07	c 1576s |      19 |   709109 |   598482 |     8685    128 |        0 |        0
1578.64/1579.16	c 1578s |      19 |   709971 |   599282 |     8685    128 |        0 |        0
1580.74/1581.24	c 1580s |      19 |   710627 |   599882 |     8685    129 |        0 |        0
1582.84/1583.36	c 1583s |      19 |   711495 |   600682 |     8685    129 |        0 |        0
1584.94/1585.40	c 1585s |      19 |   712246 |   601382 |     8685    129 |        0 |        0
1587.14/1587.63	c 1587s |      19 |   712986 |   602082 |     8685    129 |        0 |        0
1589.34/1589.80	c 1589s |      19 |   713812 |   602782 |     8685    129 |        0 |        0
1591.44/1591.94	c 1591s |      19 |   714838 |   603682 |     8685    129 |        0 |        0
1593.44/1593.95	c 1593s |      19 |   715637 |   604382 |     8685    129 |        0 |        0
1595.43/1595.97	c 1595s |      19 |   716411 |   605082 |     8685    129 |        0 |        0
1597.53/1598.03	c 1597s |      19 |   717207 |   605782 |     8685    130 |        0 |        0
1599.63/1600.16	c 1599s |      19 |   718176 |   606682 |     8685    130 |        0 |        0
1601.83/1602.39	c 1602s |      19 |   719168 |   607582 |     8685    130 |        0 |        0
1604.13/1604.64	c 1604s |      19 |   720033 |   608382 |     8685    130 |        0 |        0
1606.13/1606.66	c 1606s |      19 |   720928 |   609182 |     8685    130 |        0 |        0
1608.33/1608.89	c 1608s |      19 |   721827 |   609982 |     8685    130 |        0 |        0
1610.43/1610.98	c 1610s |      19 |   722591 |   610682 |     8685    130 |        0 |        0
1612.54/1613.00	c 1612s |      19 |   723393 |   611382 |     8685    131 |        0 |        0
1614.74/1615.26	c 1614s |      19 |   724389 |   612282 |     8685    131 |        0 |        0
1616.94/1617.42	c 1617s |      19 |   725287 |   613082 |     8685    131 |        0 |        0
1619.14/1619.61	c 1619s |      19 |   726148 |   613882 |     8685    131 |        0 |        0
1621.14/1621.65	c 1621s |      19 |   726902 |   614582 |     8685    131 |        0 |        0
1623.25/1623.72	c 1623s |      19 |   727662 |   615282 |     8685    131 |        0 |        0
1625.35/1625.87	c 1625s |      19 |   728418 |   615982 |     8685    131 |        0 |        0
1627.54/1628.04	c 1627s |      19 |   729083 |   616582 |     8685    132 |        0 |        0
1629.64/1630.17	c 1629s |      19 |   730076 |   617482 |     8685    132 |        0 |        0
1631.94/1632.43	c 1632s |      19 |   730835 |   618182 |     8685    132 |        0 |        0
1634.04/1634.55	c 1634s |      19 |   731585 |   618882 |     8685    132 |        0 |        0
1636.23/1636.70	c 1636s |      19 |   732481 |   619682 |     8685    132 |        0 |        0
1638.43/1638.90	c 1638s |      19 |   733417 |   620482 |     8685    132 |        0 |        0
1640.43/1640.96	c 1640s |      19 |   734197 |   621182 |     8685    132 |        0 |        0
1642.53/1643.07	c 1642s |      19 |   734992 |   621882 |     8685    133 |        0 |        0
1644.73/1645.22	c 1644s |      19 |   735911 |   622682 |     8685    133 |        0 |        0
1647.03/1647.50	c 1647s |      19 |   736800 |   623482 |     8685    133 |        0 |        0
1649.13/1649.65	c 1649s |      19 |   737571 |   624182 |     8685    133 |        0 |        0
1651.43/1651.94	c 1651s |      19 |   738347 |   624882 |     8685    133 |        0 |        0
1653.53/1654.08	c 1653s |      19 |   739103 |   625582 |     8685    133 |        0 |        0
1655.53/1656.09	c 1655s |      19 |   739741 |   626182 |     8685    133 |        0 |        0
1657.83/1658.35	c 1658s |      19 |   740395 |   626782 |     8685    133 |        0 |        0
1661.13/1661.69	c 1661s |      19 |   741126 |   627382 |     8685    134 |        0 |        0
1663.33/1663.83	c 1663s |      19 |   742421 |   628482 |     8685    134 |        0 |        0
1665.53/1666.07	c 1665s |      19 |   743541 |   629482 |     8685    134 |        0 |        0
1667.73/1668.20	c 1667s |      19 |   744440 |   630282 |     8685    134 |        0 |        0
1669.73/1670.21	c 1669s |      19 |   745218 |   630982 |     8685    134 |        0 |        0
1671.73/1672.24	c 1671s |      19 |   745977 |   631682 |     8685    134 |        0 |        0
1673.83/1674.39	c 1674s |      19 |   746855 |   632482 |     8685    134 |        0 |        0
1676.03/1676.52	c 1676s |      19 |   747529 |   633082 |     8685    135 |        0 |        0
1678.23/1678.74	c 1678s |      19 |   748411 |   633882 |     8685    135 |        0 |        0
1680.33/1680.85	c 1680s |      19 |   749193 |   634582 |     8685    135 |        0 |        0
1682.53/1683.06	c 1682s |      19 |   749969 |   635282 |     8685    135 |        0 |        0
1684.63/1685.18	c 1684s |      19 |   750748 |   635982 |     8685    135 |        0 |        0
1686.93/1687.44	c 1687s |      19 |   751542 |   636682 |     8685    135 |        0 |        0
1689.02/1689.60	c 1689s |      19 |   752324 |   637382 |     8685    135 |        0 |        0
1691.22/1691.76	c 1691s |      19 |   752992 |   637982 |     8685    135 |        0 |        0
1693.32/1693.85	c 1693s |      19 |   753667 |   638582 |     8685    136 |        0 |        0
1695.52/1696.01	c 1695s |      19 |   754548 |   639382 |     8685    136 |        0 |        0
1697.52/1698.03	c 1697s |      19 |   755347 |   640082 |     8685    136 |        0 |        0
1699.72/1700.28	c 1700s |      19 |   756229 |   640882 |     8685    136 |        0 |        0
1701.92/1702.40	c 1702s |      19 |   757002 |   641582 |     8685    136 |        0 |        0
1704.22/1704.71	c 1704s |      19 |   757764 |   642282 |     8685    136 |        0 |        0
1706.42/1706.99	c 1706s |      19 |   758528 |   642982 |     8685    136 |        0 |        0
1708.82/1709.33	c 1709s |      19 |   759305 |   643682 |     8685    136 |        0 |        0
1711.02/1711.51	c 1711s |      19 |   759870 |   644182 |     8685    137 |        0 |        0
1713.22/1713.74	c 1713s |      19 |   760637 |   644882 |     8685    137 |        0 |        0
1715.32/1715.85	c 1715s |      19 |   761401 |   645582 |     8685    137 |        0 |        0
1717.42/1717.91	c 1717s |      19 |   762048 |   646182 |     8685    137 |        0 |        0
1719.52/1720.01	c 1719s |      19 |   762698 |   646782 |     8685    137 |        0 |        0
1721.52/1722.02	c 1721s |      19 |   763238 |   647282 |     8685    137 |        0 |        0
1723.52/1724.04	c 1723s |      19 |   763785 |   647782 |     8685    137 |        0 |        0
1725.82/1726.31	c 1726s |      19 |   764562 |   648482 |     8685    137 |        0 |        0
1728.02/1728.58	c 1728s |      19 |   765341 |   649182 |     8685    137 |        0 |        0
1730.12/1730.62	c 1730s |      19 |   765989 |   649782 |     8685    138 |        0 |        0
1732.22/1732.76	c 1732s |      19 |   766781 |   650482 |     8685    138 |        0 |        0
1734.52/1735.03	c 1734s |      19 |   767447 |   651082 |     8685    138 |        0 |        0
1736.62/1737.19	c 1736s |      19 |   768090 |   651682 |     8685    138 |        0 |        0
1738.82/1739.32	c 1739s |      19 |   768620 |   652182 |     8685    138 |        0 |        0
1740.92/1741.43	c 1741s |      19 |   769314 |   652782 |     8685    138 |        0 |        0
1743.12/1743.68	c 1743s |      19 |   770093 |   653482 |     8685    138 |        0 |        0
1745.32/1745.80	c 1745s |      19 |   770878 |   654182 |     8685    138 |        0 |        0
1747.31/1747.83	c 1747s |      19 |   771590 |   654782 |     8685    139 |        0 |        0
1749.32/1749.88	c 1749s |      19 |   772358 |   655482 |     8685    139 |        0 |        0
1751.42/1751.99	c 1751s |      19 |   773254 |   656282 |     8685    139 |        0 |        0
1753.62/1754.18	c 1753s |      19 |   774126 |   657082 |     8685    139 |        0 |        0
1755.92/1756.43	c 1756s |      19 |   775008 |   657882 |     8685    139 |        0 |        0
1758.12/1758.61	c 1758s |      19 |   775751 |   658582 |     8685    139 |        0 |        0
1760.32/1760.84	c 1760s |      19 |   776506 |   659282 |     8685    139 |        0 |        0
1762.52/1763.02	c 1762s |      19 |   777268 |   659982 |     8685    139 |        0 |        0
1764.61/1765.18	c 1764s |      19 |   777923 |   660582 |     8685    140 |        0 |        0
1766.81/1767.34	c 1767s |      19 |   778700 |   661282 |     8685    140 |        0 |        0
1768.91/1769.42	c 1769s |      19 |   779447 |   661982 |     8685    140 |        0 |        0
1771.01/1771.57	c 1771s |      19 |   780211 |   662682 |     9554    140 |        0 |        0
1773.11/1773.65	c 1773s |      19 |   780874 |   663282 |     9554    140 |        0 |        0
1775.41/1775.92	c 1775s |      19 |   781641 |   663982 |     9554    140 |        0 |        0
1777.41/1777.95	c 1777s |      19 |   782281 |   664582 |     9554    140 |        0 |        0
1779.41/1779.97	c 1779s |      19 |   782802 |   665082 |     9554    140 |        0 |        0
1781.71/1782.28	c 1782s |      19 |   783564 |   665782 |     9554    140 |        0 |        0
1784.01/1784.51	c 1784s |      19 |   784210 |   666382 |     9554    140 |        0 |        0
1786.21/1786.76	c 1786s |      19 |   784665 |   666782 |     9554    141 |        0 |        0
1786.41/1786.92	c 1786s |      20 |   784707 |   666827 |     9554    141 |        0 |        0
1788.51/1789.08	c 1788s |      20 |   788313 |   668127 |     9554    141 |        0 |        0
1790.61/1791.18	c 1790s |      20 |   789583 |   669227 |     9554    141 |        0 |        0
1792.71/1793.29	c 1793s |      20 |   790691 |   670227 |     9554    141 |        0 |        0
1794.81/1795.38	c 1795s |      20 |   791730 |   671127 |     9554    141 |        0 |        0
1797.01/1797.54	c 1797s |      20 |   792737 |   672027 |     9554    141 |        0 |        0
1799.11/1799.66	c 1799s |      20 |   793513 |   672727 |     9554    142 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093325-1466078591/watcher-4093325-1466078591 -o /tmp/evaluation-result-4093325-1466078591/solver-4093325-1466078591 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466075273-12744 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093325-1466078591.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.19 2.12 3/179 13274
/proc/meminfo: memFree=30614412/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=693692 CPUtime=0 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 2579 0 0 0 0 0 0 0 20 0 4 0 9905730 710340608 3450 33554432000 4194304 16246674 140736379311808 140736379311232 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 173935 3459 441 2943 0 170829 0
[pid=13274/tid=13275] ppid=13271 vsize=711100 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 728166400 3520 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=715196 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 732360704 3538 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9905730 736555008 3554 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.14 2.19 2.12 3/179 13274
/proc/meminfo: memFree=30614412/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 26510 0 0 0 6 3 0 0 20 0 4 0 9905730 1247350784 27375 33554432000 4194304 16246674 140736379311808 140736379311232 12459121 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 304529 27383 605 2943 0 301423 0
[pid=13274/tid=13275] ppid=13271 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1247350784 27389 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1247350784 27396 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9905730 1247350784 27402 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200531 s]
/proc/loadavg: 2.14 2.19 2.12 3/179 13274
/proc/meminfo: memFree=30614412/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 48906 0 0 0 13 6 0 0 20 0 4 0 9905730 1247350784 49767 33554432000 4194304 16246674 140736379311808 140736379311232 5898045 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 304529 49777 680 2943 0 301423 0
[pid=13274/tid=13275] ppid=13271 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1247350784 49786 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1247350784 49794 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9905730 1247350784 49802 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300493 s]
/proc/loadavg: 2.14 2.19 2.12 3/179 13274
/proc/meminfo: memFree=30614412/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 71206 0 0 0 20 9 0 0 20 0 4 0 9905730 1247350784 72064 33554432000 4194304 16246674 140736379311808 140736379311232 12478189 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 304529 72081 807 2943 0 301423 0
[pid=13274/tid=13275] ppid=13271 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1247350784 72084 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1247350784 72086 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9905730 1247350784 72088 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700406 s]
/proc/loadavg: 2.14 2.19 2.12 3/179 13274
/proc/meminfo: memFree=30614412/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 102243 0 0 0 56 13 0 0 20 0 4 0 9905730 1338576896 103078 33554432000 4194304 16246674 140736379311808 140736379293696 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 326801 103078 868 2943 0 323695 0
[pid=13274/tid=13275] ppid=13271 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1338576896 103078 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1338576896 103078 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1338576896 103078 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50042 s]
/proc/loadavg: 2.14 2.19 2.12 3/183 13278
/proc/meminfo: memFree=29827968/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 267848 0 0 0 114 35 0 0 20 0 4 0 9905730 1338576896 268683 33554432000 4194304 16246674 140736379311808 140736379293696 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 326801 268683 868 2943 0 323695 0
[pid=13274/tid=13275] ppid=13271 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1338576896 268683 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1338576896 268683 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1338576896 268683 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10042 s]
/proc/loadavg: 2.14 2.19 2.12 3/183 13278
/proc/meminfo: memFree=29540668/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 267848 0 0 0 274 35 0 0 20 0 4 0 9905730 1338576896 268683 33554432000 4194304 16246674 140736379311808 140736379293696 5545898 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 326801 268683 868 2943 0 323695 0
[pid=13274/tid=13275] ppid=13271 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1338576896 268683 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1338576896 268683 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1338576896 268683 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.13 2.18 2.12 4/183 13278
/proc/meminfo: memFree=29540108/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 267920 0 0 0 594 35 0 0 20 0 4 0 9905730 1338576896 268755 33554432000 4194304 16246674 140736379311808 140736379293696 12483348 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 326801 268755 873 2943 0 323695 0
[pid=13274/tid=13275] ppid=13271 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1338576896 268755 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1338576896 268755 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1338576896 268755 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.12 2.18 2.12 4/183 13278
/proc/meminfo: memFree=29538240/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1309252 CPUtime=12.69 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 268358 0 0 0 1234 35 0 0 20 0 4 0 9905730 1340674048 269193 33554432000 4194304 16246674 140736379311808 140736379293696 13191276 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 327313 269193 876 2943 0 324207 0
[pid=13274/tid=13275] ppid=13271 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1340674048 269193 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1340674048 269193 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1340674048 269193 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.16 2.19 2.12 3/183 13278
/proc/meminfo: memFree=29519920/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1315396 CPUtime=25.48 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 269720 0 0 0 2513 35 0 0 20 0 4 0 9905730 1346965504 270555 33554432000 4194304 16246674 140736379311808 140736379293696 5677537 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 328849 270555 876 2943 0 325743 0
[pid=13274/tid=13275] ppid=13271 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1346965504 270555 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1346965504 270555 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1346965504 270555 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.10 2.17 2.12 3/183 13278
/proc/meminfo: memFree=29514664/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1319492 CPUtime=51.08 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 270958 0 0 0 5073 35 0 0 20 0 4 0 9905730 1351159808 271793 33554432000 4194304 16246674 140736379311808 140736379293696 5721701 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 329873 271793 876 2943 0 326767 0
[pid=13274/tid=13275] ppid=13271 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1351159808 271793 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1351159808 271793 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1351159808 271793 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1319492

[startup+102.301 s]
/proc/loadavg: 2.12 2.17 2.12 4/183 13279
/proc/meminfo: memFree=29514044/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1319492 CPUtime=102.28 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 270995 0 0 0 10192 36 0 0 20 0 4 0 9905730 1351159808 271830 33554432000 4194304 16246674 140736379311808 140736379293696 13943604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 329873 271830 876 2943 0 326767 0
[pid=13274/tid=13275] ppid=13271 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1351159808 271830 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1351159808 271830 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1351159808 271830 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492


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

/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1362694144 274464 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1330756

[startup+1362.3 s]
/proc/loadavg: 2.08 2.12 2.09 4/183 13358
/proc/meminfo: memFree=29553892/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1330756 CPUtime=1361.87 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 274181 0 0 0 136092 95 0 0 20 0 4 0 9905730 1362694144 274650 33554432000 4194304 16246674 140736379311808 140736379293696 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 332689 274650 876 2943 0 329583 0
[pid=13274/tid=13275] ppid=13271 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1362694144 274650 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1362694144 274650 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1362694144 274650 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1330756

[startup+1422.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/183 13359
/proc/meminfo: memFree=29553912/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1330756 CPUtime=1421.87 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 274181 0 0 0 142091 96 0 0 20 0 4 0 9905730 1362694144 274650 33554432000 4194304 16246674 140736379311808 140736379293696 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 332689 274650 876 2943 0 329583 0
[pid=13274/tid=13275] ppid=13271 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1362694144 274650 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1362694144 274650 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1362694144 274650 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1330756

[startup+1482.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/183 13361
/proc/meminfo: memFree=29553556/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1330756 CPUtime=1481.86 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 274181 0 0 0 148089 97 0 0 20 0 4 0 9905730 1362694144 274650 33554432000 4194304 16246674 140736379311808 140736379293696 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 332689 274650 876 2943 0 329583 0
[pid=13274/tid=13275] ppid=13271 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1362694144 274650 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1362694144 274650 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1362694144 274650 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1330756

[startup+1542.31 s]
/proc/loadavg: 2.05 2.10 2.09 4/183 13362
/proc/meminfo: memFree=29541792/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1343044 CPUtime=1541.86 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 277036 0 0 0 154088 98 0 0 20 0 4 0 9905730 1375277056 277505 33554432000 4194304 16246674 140736379311808 140736379293696 5707634 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 335761 277505 876 2943 0 332655 0
[pid=13274/tid=13275] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277505 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277505 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277505 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1343044

[startup+1602.3 s]
/proc/loadavg: 2.08 2.09 2.08 3/183 13363
/proc/meminfo: memFree=29540568/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1343044 CPUtime=1601.83 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 277253 0 0 0 160085 98 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140736379293696 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 335761 277722 876 2943 0 332655 0
[pid=13274/tid=13275] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1343044

[startup+1662.3 s]
/proc/loadavg: 2.16 2.11 2.09 4/184 13367
/proc/meminfo: memFree=29541132/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1343044 CPUtime=1661.83 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 277253 0 0 0 166083 100 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140736379309632 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 335761 277722 876 2943 0 332655 0
[pid=13274/tid=13275] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1343044

[startup+1722.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/183 13368
/proc/meminfo: memFree=29540536/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1343044 CPUtime=1721.82 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 277253 0 0 0 172081 101 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140736379293696 5712555 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 335761 277722 876 2943 0 332655 0
[pid=13274/tid=13275] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1343044

[startup+1782.3 s]
/proc/loadavg: 2.09 2.08 2.08 3/183 13370
/proc/meminfo: memFree=29540304/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1343044 CPUtime=1781.81 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 277253 0 0 0 178078 103 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140736379293696 5546177 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 335761 277722 876 2943 0 332655 0
[pid=13274/tid=13275] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1343044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.06 2.08 2.08 3/183 13371
/proc/meminfo: memFree=29540376/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1343044 CPUtime=1800 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 277253 0 0 0 179897 103 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140736379293696 13949889 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 335761 277722 876 2943 0 332655 0
[pid=13274/tid=13275] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1343044

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

[startup+1800.5 s]
/proc/loadavg: 2.06 2.08 2.08 3/183 13371
/proc/meminfo: memFree=29540376/32872528 swapFree=302776/319128
[pid=13274] ppid=13271 vsize=1343044 CPUtime=1800 cores=1,3,5,7
/proc/13274/stat : 13274 (toysat) R 13271 13274 7942 0 -1 4202496 277253 0 0 0 179897 103 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140736379293696 13949889 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13274/statm: 335761 277722 876 2943 0 332655 0
[pid=13274/tid=13275] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13275/stat : 13275 (toysat) S 13271 13274 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229889469680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13274/tid=13276] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13276/stat : 13276 (toysat) S 13271 13274 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229809777904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13274/tid=13277] ppid=13271 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/13274/task/13277/stat : 13277 (toysat) S 13271 13274 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9905730 1375277056 277722 33554432000 4194304 16246674 140736379311808 140229799304368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1343044

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1798.98
CPU system time (s): 1.03684
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 1343044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.03684
maximum resident set size= 1110888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277253
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= 383
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53531 second user time and 6.97594 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-16 14:03:11
IDJOB=4093325
IDBENCH=78669
IDSOLVER=2553
FILE ID=node128/4093325-1466078591
RUNJOBID= node128-1466075273-12744
PBS_JOBID= 19904011
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 0158a6ff32db5686aa85d7a9b49d6df3
RANDOM SEED=845581399

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30615204 kB
Buffers:           21988 kB
Cached:            98940 kB
SwapCached:         2104 kB
Active:          1193892 kB
Inactive:          43500 kB
Active(anon):    1117256 kB
Inactive(anon):     1596 kB
Active(file):      76636 kB
Inactive(file):    41904 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098960 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       1383000 kB
Mapped:            10472 kB
Shmem:                 0 kB
Slab:             567124 kB
SReclaimable:      10832 kB
SUnreclaim:       556292 kB
KernelStack:        1520 kB
PageTables:         7012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1577108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 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= 71716 MiB
End job on node128 at 2016-06-16 14:33:12