Trace number 4079211

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.51

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-netdiversion.opb
MD5SUM2c0dd2737108318b86d3c4c102584cdd
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables129180
Total number of constraints119589
Number of constraints which are clauses39992
Number of constraints which are cardinality constraints (but not clauses)49601
Number of constraints which are nor clauses,nor cardinality constraints29996
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 39798
Biggest coefficient in the objective function 99999
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 20118516
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 99999
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 20118516
Number of bits of the biggest sum of numbers25
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-07T08:12:22+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079211-1465279942.opb"]
0.00/0.01	c use --random-gen="955871259 2973158264 4291276719 3912307868 2125649737 2242282448 853855048 3431808749 460030125 2626243521 3748495055 356926204 271367526 632091454 2984035842 1834409049 4173605562 3696142490 2643652803 3768798575 246727489 4193888600 3554444851 559964355 3235285581 3289568273 2624615888 466154082 2827926950 3545437714 2392536833 3725809053 1757330698 1888038227 2273087828 722204329 1983926698 4056707357 2076205727 1465089500 1427489931 2096529811 1441141691 3852803458 93546391 1655299461 3125495082 4060138322 2801538298 195335774 453823499 645052144 1120267527 1978055737 2884833820 2121023571 1822883135 4176522865 1485793815 2762225938 3481336751 886788853 1050987786 549704497 580392815 2026080827 2261354585 1976860439 1823980610 759462321 226513487 1217965801 3555797151 3781611058 4053113542 798901660 3714540053 3106820704 323962199 2054205653 2113450846 3751520476 4270266149 3085849471 3192405092 3839211828 2795850244 1960079134 2286796075 885353799 3791243191 4135266801 642564660 1955830621 1610150499 4211661281 1032781717 2447895482 4196802212 4130563831 3348360909 3711863732 295066297 417638240 855804912 4225031773 229845259 2698510135 1987389873 2331474910 1930859440 215109166 743787788 1927870564 60053188 4293489453 761062661 400831035 2105794893 583135661 4155354668 3479173154 2619841441 1712618813 789257625 233733801 1371230179 4249900874 2604610864 925707236 2077004815 2340848513 2728215843 3958202316 3550707040 2521224685 1896942133 3717634140 1627264738 2653229574 4283702091 1776539532 2172716975 149525073 284721962 3860988898 3966146386 4099213950 2083970327 2144614611 2641364809 3476931432 1994990525 2003085501 1483120280 1558953414 1511539336 1523472270 3324906458 1397423431 3508348681 2466874855 3939394006 2403824447 3195935018 357313903 1798059178 607722163 3727795464 2085543338 4001287392 2848978295 4255354303 4123371574 1267924947 629958261 1681955047 265017808 4254620518 1452976539 3272357479 404922077 3462223173 2524053011 275385667 700299954 2607296298 2522000091 3575305305 922978341 908591658 629148662 346768473 2283857386 2734206015 9396809 2879928996 405789602 3927547881 3664637357 2524854645 574333706 848336178 3877490769 123626031 147595129 1511812731 2038320759 1178231489 3362470219 1431191641 3216600004 2067918917 3021840337 3735229467 1409628635 2774267745 862091381 3569309595 2677746869 2007934628 2674385385 3847952805 2202111178 2460710696 1480026434 2500365240 3534861135 3534073177 3339092135 2542632854 746987101 893440741 1867706527 3483152098 3363969783 1870813783 1637192361 3554915177 69901709 3828731475 1522660581 9341816 3831593178 3435297087 2105087753 3023255965 3529802210 3086723375 1348527382 438680459 681437259 1246093051 3200662708 2959899010 3050555557 255 362436" option to reproduce the execution
1.29/1.31	c #vars 129180
1.29/1.31	c #constraints 119589
4.40/4.46	c BCD2: Hardening is enabled.
4.40/4.46	c BCD2: BiasedSearch is enabled.
4.40/4.46	c Solving starts ...
4.40/4.46	c ============================[ Search Statistics ]============================
4.40/4.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.40/4.46	c       |         |          |          |    Limit     GC | Var      | Constra 
4.40/4.46	c =============================================================================
4.50/4.59	c  0.0s |       0 |        0 |        0 |    89589      0 |        0 |        0
4.79/4.83	c  0.2s |       1 |     9288 |      100 |    89589      0 |        0 |        0
5.19/5.25	c  0.7s |       2 |    28655 |      250 |    98548      0 |        0 |        0
7.89/7.93	c  3.3s |       2 |   180796 |      450 |   108403      0 |        0 |        0
7.99/8.04	c  3.5s |       3 |   184025 |      475 |   108403      0 |        0 |        0
9.90/10.00	c  5.4s |       4 |   304010 |      813 |   119244      0 |        0 |        0
10.89/10.92	c  6.3s |       5 |   350196 |     1320 |   131169      0 |        0 |        0
12.49/12.55	c  8.0s |       6 |   445704 |     2081 |   158715      0 |        0 |        0
13.20/13.21	c  8.6s |       7 |   469436 |     3223 |   174587      0 |        0 |        0
15.29/15.37	c 10.8s |       7 |   589452 |     4423 |   174587      0 |        1 |        0
15.59/15.60	c 11.0s |       8 |   600451 |     4936 |   192046      0 |        1 |        0
18.09/18.10	c 13.5s |       8 |   751527 |     6436 |   192046      0 |        1 |        0
18.49/18.54	c 14.0s |       9 |   776342 |     7506 |   211251      0 |        1 |        0
20.68/20.79	c 16.2s |       9 |   899178 |     8406 |   211251      0 |        1 |        0
23.48/23.57	c 19.0s |       9 |  1138026 |     8706 |   211251      0 |        1 |        0
25.68/25.74	c 21.2s |       9 |  1278140 |    11306 |   232377      0 |        1 |        0
26.28/26.40	c 21.8s |      10 |  1333262 |    11361 |   232377      0 |        1 |        0
28.98/29.01	c 24.4s |      10 |  1546484 |    11861 |   232377      0 |        1 |        0
30.98/31.02	c 26.4s |      10 |  1691468 |    12961 |   232377      0 |        1 |        0
32.99/33.08	c 28.5s |      10 |  1831527 |    13961 |   232377      0 |        1 |        0
34.98/35.01	c 30.4s |      11 |  1907564 |    17144 |   255615      0 |        1 |        0
36.98/37.02	c 32.4s |      11 |  2022098 |    17944 |   255615      0 |        1 |        0
38.98/39.05	c 34.5s |      11 |  2033764 |    25044 |   255615      0 |        1 |        0
39.28/39.34	c 34.8s |      12 |  2034823 |    25819 |   281177      0 |        1 |        0
41.28/41.39	c 36.8s |      12 |  2228535 |    27419 |   281177      0 |        1 |        0
43.99/44.04	c 39.5s |      12 |  2497858 |    27719 |   281177      0 |        1 |        0
46.08/46.10	c 41.5s |      12 |  2715261 |    28019 |   281177      0 |        1 |        0
48.58/48.66	c 44.1s |      12 |  2986672 |    29019 |   281177      0 |        1 |        0
50.78/50.87	c 46.3s |      12 |  3221464 |    29719 |   281177      0 |        1 |        0
52.79/52.89	c 48.3s |      12 |  3430452 |    31119 |   281177      0 |        1 |        0
54.78/54.89	c 50.3s |      12 |  3653557 |    31819 |   281177      0 |        1 |        0
56.88/56.95	c 52.4s |      12 |  3816602 |    33719 |   281177      0 |        1 |        0
59.08/59.16	c 54.6s |      12 |  3972718 |    35619 |   281177      0 |        1 |        0
60.58/60.62	c 56.0s |      13 |  4026053 |    38832 |   309295      0 |        1 |        0
62.88/62.91	c 58.3s |      13 |  4159342 |    40132 |   309295      0 |        1 |        0
65.67/65.71	c 61.1s |      13 |  4477470 |    40432 |   309295      0 |        1 |        0
68.07/68.14	c 63.6s |      13 |  4717174 |    41132 |   309295      0 |        1 |        0
70.28/70.39	c 65.8s |      13 |  4975240 |    41632 |   309295      0 |        1 |        0
72.48/72.51	c 67.9s |      13 |  5178904 |    41932 |   309295      0 |        1 |        0
74.79/74.84	c 70.3s |      13 |  5266977 |    44832 |   309295      0 |        1 |        0
76.78/76.86	c 72.3s |      13 |  5332642 |    48032 |   309295      0 |        1 |        0
78.78/78.88	c 74.3s |      13 |  5416492 |    51232 |   309295      0 |        1 |        0
80.88/80.96	c 76.4s |      13 |  5558018 |    54732 |   309295      0 |        1 |        0
82.98/83.07	c 78.5s |      13 |  5743405 |    56332 |   309295      0 |        1 |        0
85.38/85.45	c 80.9s |      13 |  5967333 |    57232 |   309295      0 |        1 |        0
87.38/87.47	c 82.9s |      13 |  6121714 |    58332 |   340225      0 |        1 |        0
87.48/87.50	c 82.9s |      14 |  6122503 |    58352 |   340225      0 |        1 |        0
89.48/89.58	c 85.0s |      14 |  6203978 |    58752 |   340225      0 |        1 |        0
91.98/92.05	c 87.5s |      14 |  6255234 |    66352 |   340225      0 |        1 |        0
93.98/94.06	c 89.5s |      14 |  6433468 |    67552 |   340225      0 |        1 |        0
96.08/96.15	c 91.6s |      14 |  6537367 |    71452 |   340225      0 |        1 |        0
98.18/98.21	c 93.6s |      14 |  6749463 |    72552 |   340225      0 |        1 |        0
100.18/100.29	c 95.7s |      14 |  6963324 |    74252 |   340225      0 |        1 |        0
102.28/102.39	c 97.8s |      14 |  7124163 |    77152 |   340225      0 |        1 |        0
104.48/104.54	c 100.0s |      14 |  7334099 |    78152 |   340225      0 |        1 |        0
106.57/106.65	c  102s |      14 |  7542671 |    78652 |   340225      0 |        1 |        0
108.57/108.68	c  104s |      14 |  7733644 |    79652 |   340225      0 |        1 |        0
110.67/110.75	c  106s |      14 |  7883031 |    81952 |   340225      0 |        1 |        0
112.87/112.93	c  108s |      14 |  8081231 |    84052 |   340225      0 |        1 |        0
115.07/115.12	c  110s |      14 |  8246863 |    84952 |   340225      0 |        1 |        0
117.17/117.26	c  112s |      14 |  8416715 |    85552 |   340225      0 |        1 |        0
117.68/117.74	c  113s |      15 |  8420080 |    87632 |   374248      0 |        1 |        0
119.88/119.96	c  115s |      15 |  8540865 |    88632 |   374248      0 |        1 |        0
121.97/122.02	c  117s |      15 |  8692257 |    89232 |   374248      0 |        1 |        0
124.77/124.86	c  120s |      15 |  8911283 |    89632 |   374248      0 |        1 |        0
126.87/126.90	c  122s |      15 |  9052981 |    91232 |   374248      0 |        1 |        0
129.37/129.45	c  124s |      15 |  9162014 |    93932 |   374248      0 |        1 |        0
131.57/131.67	c  127s |      15 |  9329634 |    94632 |   374248      0 |        1 |        0
133.77/133.80	c  129s |      15 |  9410550 |    96632 |   374248      0 |        1 |        0
135.77/135.83	c  131s |      15 |  9484958 |    98232 |   374248      0 |        1 |        0
137.77/137.84	c  133s |      15 |  9555600 |   101632 |   374248      0 |        1 |        0
140.37/140.44	c  135s |      15 |  9794665 |   102832 |   374248      0 |        1 |        0
142.67/142.76	c  138s |      15 | 10040021 |   104032 |   374248      0 |        1 |        0
144.97/145.07	c  140s |      15 | 10268654 |   105332 |   374248      0 |        1 |        0
146.96/147.07	c  142s |      15 | 10406422 |   107732 |   374248      0 |        1 |        0
148.96/149.09	c  144s |      15 | 10511820 |   109432 |   374248      0 |        1 |        0
151.16/151.22	c  146s |      15 | 10588294 |   113032 |   374248      0 |        1 |        0
153.16/153.24	c  148s |      15 | 10601752 |   117732 |   374248      0 |        1 |        0
155.17/155.25	c  150s |      15 | 10606142 |   121032 |   374248      0 |        1 |        0
157.16/157.28	c  152s |      15 | 10610837 |   124432 |   374248      0 |        1 |        0
159.26/159.34	c  154s |      15 | 10614539 |   127332 |   374248      0 |        1 |        0
161.26/161.35	c  156s |      15 | 10617565 |   129732 |   374248      0 |        1 |        0
162.96/163.02	c  158s |      16 | 10619844 |   131552 |   411673      0 |        1 |        0
165.26/165.33	c  160s |      16 | 10789976 |   133452 |   411673      0 |        1 |        0
167.66/167.77	c  163s |      16 | 11041893 |   133852 |   411673      0 |        1 |        0
169.86/169.91	c  165s |      16 | 11253352 |   134452 |   411673      0 |        1 |        0
171.86/171.98	c  167s |      16 | 11427045 |   135452 |   411673      0 |        1 |        0
173.96/174.04	c  169s |      16 | 11575237 |   137552 |   411673      0 |        1 |        0
175.97/176.05	c  171s |      16 | 11651418 |   141452 |   411673      0 |        1 |        0
178.17/178.27	c  173s |      16 | 11723765 |   144952 |   411673      0 |        1 |        0
180.37/180.46	c  175s |      16 | 11861446 |   148452 |   411673      0 |        1 |        0
182.46/182.59	c  178s |      16 | 12028437 |   148852 |   411673      0 |        1 |        0
184.56/184.61	c  180s |      16 | 12138546 |   152252 |   411673      0 |        1 |        0
187.56/187.65	c  183s |      16 | 12338016 |   154152 |   411673      0 |        1 |        0
189.76/189.86	c  185s |      16 | 12440626 |   158452 |   411673      0 |        1 |        0
191.96/192.00	c  187s |      16 | 12602833 |   159352 |   411673      0 |        1 |        0
193.96/194.01	c  189s |      16 | 12621794 |   166052 |   411673      0 |        1 |        0
195.96/196.02	c  191s |      16 | 12641201 |   171652 |   411673      0 |        1 |        0
198.26/198.35	c  193s |      16 | 12840738 |   173152 |   411673      0 |        1 |        0
200.35/200.43	c  195s |      16 | 12968195 |   176052 |   411673      0 |        1 |        0
202.36/202.43	c  197s |      16 | 13085452 |   178152 |   411673      0 |        1 |        0
204.35/204.47	c  199s |      16 | 13100556 |   183352 |   411673      0 |        1 |        0
206.35/206.47	c  201s |      16 | 13105206 |   187152 |   411673      0 |        1 |        0
208.45/208.53	c  203s |      16 | 13108638 |   190052 |   411673      0 |        1 |        0
210.45/210.53	c  205s |      16 | 13111490 |   192452 |   411673      0 |        1 |        0
212.55/212.65	c  208s |      16 | 13237833 |   195652 |   411673      0 |        1 |        0
214.95/215.04	c  210s |      16 | 13481379 |   196952 |   452841      0 |        1 |        0
215.25/215.33	c  210s |      17 | 13499994 |   197432 |   452841      0 |        1 |        0
217.55/217.64	c  213s |      17 | 13625807 |   198532 |   452841      0 |        1 |        0
220.06/220.12	c  215s |      17 | 13757095 |   202432 |   452841      0 |        1 |        0
222.05/222.12	c  217s |      17 | 13889537 |   205032 |   452841      0 |        1 |        0
224.36/224.42	c  219s |      17 | 13948281 |   210532 |   452841      0 |        1 |        0
226.56/226.68	c  222s |      17 | 14004746 |   215132 |   452841      0 |        1 |        0
228.76/228.87	c  224s |      17 | 14181291 |   217132 |   452841      0 |        1 |        0
230.85/230.96	c  226s |      17 | 14238142 |   221132 |   452841      0 |        1 |        0
233.55/233.61	c  229s |      17 | 14457621 |   222032 |   452841      0 |        1 |        0
235.55/235.66	c  231s |      17 | 14531864 |   226232 |   452841      0 |        1 |        0
237.55/237.67	c  233s |      17 | 14557330 |   229132 |   452841      0 |        1 |        0
239.55/239.69	c  235s |      17 | 14659904 |   231832 |   452841      0 |        1 |        0
241.75/241.85	c  237s |      17 | 14815676 |   232932 |   452841      0 |        1 |        0
243.75/243.88	c  239s |      17 | 14951673 |   234332 |   452841      0 |        1 |        0
246.35/246.50	c  241s |      17 | 15135869 |   234732 |   452841      0 |        1 |        0
248.45/248.57	c  243s |      17 | 15287047 |   235432 |   452841      0 |        1 |        0
250.65/250.70	c  246s |      17 | 15416252 |   236132 |   452841      0 |        1 |        0
252.65/252.73	c  248s |      17 | 15454953 |   239832 |   452841      0 |        1 |        0
254.65/254.78	c  250s |      17 | 15459591 |   243232 |   452841      0 |        1 |        0
257.04/257.17	c  252s |      17 | 15495034 |   245932 |   452841      0 |        1 |        0
259.14/259.20	c  254s |      17 | 15504940 |   251632 |   452841      0 |        1 |        0
261.34/261.49	c  256s |      17 | 15674415 |   253332 |   452841      0 |        1 |        0
263.64/263.76	c  259s |      17 | 15864442 |   254332 |   452841      0 |        1 |        0
266.04/266.18	c  261s |      17 | 16071408 |   255132 |   452841      0 |        1 |        0
268.24/268.32	c  263s |      17 | 16154264 |   258832 |   452841      0 |        1 |        0
270.24/270.37	c  265s |      17 | 16359048 |   259232 |   452841      0 |        1 |        0
272.34/272.45	c  267s |      17 | 16524845 |   259932 |   452841      0 |        1 |        0
274.34/274.46	c  269s |      17 | 16541968 |   265732 |   452841      0 |        1 |        0
276.45/276.51	c  271s |      17 | 16548414 |   269832 |   452841      0 |        1 |        0
278.45/278.54	c  273s |      17 | 16554356 |   273232 |   452841      0 |        1 |        0
280.46/280.60	c  276s |      17 | 16558886 |   275932 |   452841      0 |        1 |        0
282.55/282.64	c  278s |      17 | 16562029 |   278132 |   452841      0 |        1 |        0
284.55/284.68	c  280s |      17 | 16565489 |   280432 |   452841      0 |        1 |        0
286.65/286.73	c  282s |      17 | 16567794 |   282232 |   452841      0 |        1 |        0
288.75/288.81	c  284s |      17 | 16570748 |   284132 |   452841      0 |        1 |        0
290.85/290.90	c  286s |      17 | 16574063 |   286132 |   452841      0 |        1 |        0
292.85/292.93	c  288s |      17 | 16579463 |   288732 |   452841      0 |        1 |        0
294.86/294.98	c  290s |      17 | 16581744 |   290632 |   452841      0 |        1 |        0
296.95/297.05	c  292s |      17 | 16584458 |   292632 |   452841      0 |        1 |        0
299.05/299.14	c  294s |      17 | 16588192 |   294932 |   498126      0 |        1 |        0
300.45/300.54	c  295s |      18 | 16590355 |   296252 |   498126      0 |        1 |        0
302.45/302.60	c  298s |      18 | 16665525 |   297152 |   498126      0 |        1 |        0
304.65/304.74	c  300s |      18 | 16817368 |   299052 |   498126      0 |        1 |        0
306.65/306.77	c  302s |      18 | 16907943 |   302252 |   498126      0 |        1 |        0
308.75/308.80	c  304s |      18 | 16930879 |   306752 |   498126      0 |        1 |        0
310.74/310.87	c  306s |      18 | 17063483 |   308152 |   498126      0 |        1 |        0
312.74/312.88	c  308s |      18 | 17255741 |   308952 |   498126      0 |        1 |        0
315.04/315.12	c  310s |      18 | 17452859 |   309852 |   498126      0 |        1 |        0
317.14/317.27	c  312s |      18 | 17563857 |   310852 |   498126      0 |        1 |        0
319.14/319.27	c  314s |      18 | 17762634 |   311852 |   498126      0 |        1 |        0
321.54/321.67	c  317s |      18 | 17955964 |   312452 |   498126      0 |        1 |        0
323.64/323.70	c  319s |      18 | 18128315 |   312752 |   498126      0 |        1 |        0
325.94/326.03	c  321s |      18 | 18257825 |   315152 |   498126      0 |        1 |        0
327.94/328.03	c  323s |      18 | 18311844 |   319152 |   498126      0 |        1 |        0
331.34/331.42	c  326s |      18 | 18526849 |   320152 |   498126      0 |        1 |        0
333.34/333.46	c  328s |      18 | 18544817 |   325552 |   498126      0 |        1 |        0
335.34/335.48	c  330s |      18 | 18550216 |   329652 |   498126      0 |        1 |        0
337.44/337.57	c  332s |      18 | 18553894 |   332652 |   498126      0 |        1 |        0
339.44/339.58	c  334s |      18 | 18557623 |   335552 |   498126      0 |        1 |        0
341.43/341.58	c  336s |      18 | 18561320 |   338252 |   498126      0 |        1 |        0
343.53/343.60	c  339s |      18 | 18564424 |   340652 |   498126      0 |        1 |        0
345.63/345.71	c  341s |      18 | 18567412 |   342852 |   498126      0 |        1 |        0
348.03/348.17	c  343s |      18 | 18658105 |   344652 |   498126      0 |        1 |        0
350.84/350.94	c  346s |      18 | 18918493 |   345152 |   498126      0 |        1 |        0
352.93/353.05	c  348s |      18 | 19128608 |   345652 |   498126      0 |        1 |        0
354.93/355.06	c  350s |      18 | 19235262 |   349052 |   498126      0 |        1 |        0
357.33/357.44	c  352s |      18 | 19311019 |   353452 |   498126      0 |        1 |        0
359.53/359.69	c  355s |      18 | 19525240 |   353952 |   498126      0 |        1 |        0
361.53/361.69	c  357s |      18 | 19684777 |   354452 |   498126      0 |        1 |        0
364.13/364.21	c  359s |      18 | 19865463 |   355452 |   498126      0 |        1 |        0
366.12/366.24	c  361s |      18 | 19909664 |   360252 |   498126      0 |        1 |        0
368.12/368.29	c  363s |      18 | 19915477 |   364452 |   498126      0 |        1 |        0
370.42/370.53	c  365s |      18 | 20040663 |   366052 |   498126      0 |        1 |        0
372.62/372.70	c  368s |      18 | 20229357 |   366452 |   498126      0 |        1 |        0
374.62/374.72	c  370s |      18 | 20353712 |   367752 |   498126      0 |        1 |        0
377.12/377.23	c  372s |      18 | 20523862 |   370752 |   498126      0 |        1 |        0
379.12/379.28	c  374s |      18 | 20682004 |   371152 |   498126      0 |        1 |        0
381.42/381.51	c  376s |      18 | 20776843 |   373752 |   498126      0 |        1 |        0
383.92/384.02	c  379s |      18 | 20974784 |   375952 |   498126      0 |        1 |        0
386.42/386.56	c  381s |      18 | 21162499 |   376452 |   498126      0 |        1 |        0
388.42/388.56	c  383s |      18 | 21276089 |   377352 |   498126      0 |        1 |        0
390.42/390.57	c  385s |      18 | 21333555 |   379752 |   498126      0 |        1 |        0
392.51/392.60	c  388s |      18 | 21395275 |   381652 |   498126      0 |        1 |        0
395.21/395.32	c  390s |      18 | 21597432 |   382852 |   498126      0 |        1 |        0
397.21/397.33	c  392s |      18 | 21762707 |   383552 |   498126      0 |        1 |        0
399.23/399.34	c  394s |      18 | 21850131 |   388552 |   498126      0 |        1 |        0
401.22/401.38	c  396s |      18 | 21857286 |   394552 |   498126      0 |        1 |        0
403.32/403.40	c  398s |      18 | 21861549 |   398352 |   498126      0 |        1 |        0
405.62/405.76	c  401s |      18 | 22056273 |   399352 |   498126      0 |        1 |        0
407.82/407.97	c  403s |      18 | 22178448 |   402252 |   498126      0 |        1 |        0
410.01/410.15	c  405s |      18 | 22315787 |   404452 |   498126      0 |        1 |        0
412.31/412.48	c  407s |      18 | 22527935 |   404952 |   498126      0 |        1 |        0
414.41/414.53	c  409s |      18 | 22681371 |   405852 |   498126      0 |        1 |        0
416.71/416.83	c  412s |      18 | 22835888 |   406552 |   498126      0 |        1 |        0
419.12/419.22	c  414s |      18 | 23007528 |   407152 |   498126      0 |        1 |        0
421.71/421.88	c  417s |      18 | 23078502 |   410652 |   498126      0 |        1 |        0
424.01/424.10	c  419s |      18 | 23180594 |   412552 |   498126      0 |        1 |        0
426.31/426.43	c  421s |      18 | 23212558 |   415652 |   498126      0 |        1 |        0
428.30/428.45	c  423s |      18 | 23273050 |   418552 |   498126      0 |        1 |        0
430.60/430.76	c  426s |      18 | 23352559 |   421652 |   498126      0 |        1 |        0
432.60/432.79	c  428s |      18 | 23436484 |   426052 |   498126      0 |        1 |        0
434.70/434.84	c  430s |      18 | 23442624 |   430952 |   498126      0 |        1 |        0
436.71/436.87	c  432s |      18 | 23447720 |   435152 |   498126      0 |        1 |        0
438.70/438.89	c  434s |      18 | 23451872 |   438852 |   498126      0 |        1 |        0
440.80/440.97	c  436s |      18 | 23572187 |   440852 |   498126      0 |        1 |        0
442.99/443.10	c  438s |      18 | 23762422 |   442052 |   547939      0 |        1 |        0
444.30/444.44	c  439s |      19 | 23796317 |   444482 |   547939      0 |        1 |        0
446.89/447.00	c  442s |      19 | 23898747 |   444682 |   547939      0 |        1 |        0
448.99/449.10	c  444s |      19 | 24055190 |   445882 |   547939      0 |        1 |        0
451.39/451.50	c  446s |      19 | 24183112 |   447782 |   547939      0 |        1 |        0
453.39/453.51	c  448s |      19 | 24349850 |   448482 |   547939      0 |        1 |        0
455.40/455.52	c  450s |      19 | 24418796 |   451082 |   547939      0 |        1 |        0
457.39/457.55	c  452s |      19 | 24441857 |   456282 |   547939      0 |        1 |        0
459.39/459.57	c  454s |      19 | 24449842 |   461882 |   547939      0 |        1 |        0
461.39/461.57	c  456s |      19 | 24455336 |   466082 |   547939      0 |        1 |        0
463.39/463.58	c  458s |      19 | 24460015 |   469882 |   547939      0 |        1 |        0
465.39/465.59	c  461s |      19 | 24583612 |   471882 |   547939      0 |        1 |        0
467.50/467.66	c  463s |      19 | 24745495 |   472982 |   547939      0 |        1 |        0
469.60/469.79	c  465s |      19 | 24847925 |   474782 |   547939      0 |        1 |        0
471.79/471.93	c  467s |      19 | 24966666 |   475982 |   547939      0 |        1 |        0
473.89/474.02	c  469s |      19 | 25050255 |   478482 |   547939      0 |        1 |        0
475.99/476.11	c  471s |      19 | 25121804 |   480982 |   547939      0 |        1 |        0
478.39/478.55	c  473s |      19 | 25317133 |   482282 |   547939      0 |        1 |        0
480.48/480.68	c  476s |      19 | 25514614 |   482782 |   547939      0 |        1 |        0
482.68/482.90	c  478s |      19 | 25658480 |   483182 |   547939      0 |        1 |        0
484.88/485.03	c  480s |      19 | 25752241 |   484282 |   547939      0 |        1 |        0
486.98/487.19	c  482s |      19 | 25816004 |   486982 |   547939      0 |        1 |        0
488.98/489.19	c  484s |      19 | 25824368 |   491682 |   547939      0 |        1 |        0
491.08/491.21	c  486s |      19 | 25829721 |   495582 |   547939      0 |        1 |        0
493.08/493.24	c  488s |      19 | 25833860 |   498582 |   547939      0 |        1 |        0
495.08/495.27	c  490s |      19 | 25837554 |   501282 |   547939      0 |        1 |        0
497.19/497.33	c  492s |      19 | 25841319 |   503882 |   547939      0 |        1 |        0
499.18/499.39	c  494s |      19 | 25844480 |   506282 |   547939      0 |        1 |        0
501.28/501.41	c  496s |      19 | 25847338 |   508382 |   547939      0 |        1 |        0
503.28/503.48	c  498s |      19 | 25849817 |   510382 |   547939      0 |        1 |        0
505.38/505.53	c  500s |      19 | 25852210 |   512282 |   547939      0 |        1 |        0
507.37/507.59	c  503s |      19 | 25854364 |   514082 |   547939      0 |        1 |        0
509.47/509.64	c  505s |      19 | 25856177 |   515582 |   547939      0 |        1 |        0
511.57/511.76	c  507s |      19 | 25858131 |   517282 |   547939      0 |        1 |        0
513.58/513.80	c  509s |      19 | 25859797 |   518682 |   547939      0 |        1 |        0
515.67/515.88	c  511s |      19 | 25861745 |   520282 |   547939      0 |        1 |        0
517.77/517.90	c  513s |      19 | 25863433 |   521682 |   547939      0 |        1 |        0
519.77/519.97	c  515s |      19 | 25864829 |   522882 |   547939      0 |        1 |        0
521.86/522.07	c  517s |      19 | 25867161 |   524582 |   547939      0 |        1 |        0
523.97/524.12	c  519s |      19 | 25868883 |   526082 |   547939      0 |        1 |        0
525.96/526.17	c  521s |      19 | 25870694 |   527682 |   547939      0 |        1 |        0
528.06/528.20	c  523s |      19 | 25872328 |   528982 |   547939      0 |        1 |        0
530.07/530.28	c  525s |      19 | 25874087 |   530482 |   547939      0 |        1 |        0
532.17/532.37	c  527s |      19 | 25875617 |   531782 |   547939      0 |        1 |        0
534.26/534.49	c  529s |      19 | 25877039 |   532982 |   547939      0 |        1 |        0
536.46/536.67	c  532s |      19 | 25878440 |   534182 |   547939      0 |        1 |        0
538.76/538.93	c  534s |      19 | 26028327 |   535082 |   547939      0 |        1 |        0
540.76/540.99	c  536s |      19 | 26045040 |   538382 |   547939      0 |        1 |        0
543.37/543.53	c  538s |      19 | 26158114 |   540782 |   547939      0 |        1 |        0
545.36/545.57	c  540s |      19 | 26172357 |   545582 |   547939      0 |        1 |        0
547.36/547.59	c  543s |      19 | 26176271 |   548482 |   547939      0 |        1 |        0
549.46/549.65	c  545s |      19 | 26179951 |   551182 |   547939      0 |        1 |        0
553.26/553.42	c  548s |      19 | 26232278 |   552182 |   547939      1 |        1 |        0
555.46/555.67	c  551s |      19 | 26330163 |   552582 |   547939      1 |        1 |        0
557.56/557.73	c  553s |      19 | 26487544 |   553782 |   547939      1 |        1 |        0
559.55/559.76	c  555s |      19 | 26498155 |   559682 |   547939      1 |        1 |        0
561.65/561.80	c  557s |      19 | 26503861 |   564382 |   547939      1 |        1 |        0
563.75/563.92	c  559s |      19 | 26573498 |   567982 |   547939      1 |        1 |        0
565.75/565.96	c  561s |      19 | 26744165 |   568982 |   547939      1 |        1 |        0
567.85/568.00	c  563s |      19 | 26945747 |   569882 |   547939      1 |        1 |        0
569.84/570.01	c  565s |      19 | 27120389 |   570382 |   547939      1 |        1 |        0
572.24/572.45	c  567s |      19 | 27286184 |   572082 |   547939      1 |        1 |        0
574.34/574.56	c  569s |      19 | 27368338 |   573782 |   547939      1 |        1 |        0
576.74/576.92	c  572s |      19 | 27467851 |   577582 |   547939      1 |        1 |        0
578.94/579.10	c  574s |      19 | 27654442 |   578282 |   547939      1 |        1 |        0
582.04/582.23	c  577s |      19 | 27863356 |   578782 |   547939      1 |        1 |        0
584.14/584.33	c  579s |      19 | 27948132 |   580882 |   547939      1 |        1 |        0
586.24/586.40	c  581s |      19 | 28025641 |   582682 |   547939      1 |        1 |        0
588.23/588.45	c  583s |      19 | 28099089 |   583882 |   547939      1 |        1 |        0
591.23/591.45	c  586s |      19 | 28196946 |   585182 |   547939      1 |        1 |        0
593.53/593.72	c  589s |      19 | 28317828 |   586382 |   547939      1 |        1 |        0
595.53/595.73	c  591s |      19 | 28435470 |   588982 |   547939      1 |        1 |        0
597.53/597.74	c  593s |      19 | 28447149 |   595382 |   547939      1 |        1 |        0
599.53/599.76	c  595s |      19 | 28456841 |   601882 |   547939      1 |        1 |        0
601.54/601.79	c  597s |      19 | 28461992 |   605982 |   547939      1 |        1 |        0
603.63/603.83	c  599s |      19 | 28467507 |   610082 |   547939      1 |        1 |        0
605.63/605.89	c  601s |      19 | 28547377 |   612682 |   547939      1 |        1 |        0
608.03/608.30	c  603s |      19 | 28698103 |   614282 |   547939      1 |        1 |        0
610.13/610.32	c  605s |      19 | 28720151 |   619182 |   547939      1 |        1 |        0
612.13/612.32	c  607s |      19 | 28818248 |   621782 |   547939      1 |        1 |        0
614.23/614.48	c  609s |      19 | 28975503 |   623882 |   547939      1 |        1 |        0
616.33/616.51	c  611s |      19 | 29218880 |   624382 |   547939      1 |        1 |        0
618.32/618.53	c  613s |      19 | 29350394 |   626982 |   547939      1 |        1 |        0
620.33/620.55	c  615s |      19 | 29388087 |   632682 |   547939      1 |        1 |        0
622.43/622.67	c  618s |      19 | 29424565 |   636782 |   547939      1 |        1 |        0
624.42/624.67	c  620s |      19 | 29447309 |   641682 |   547939      1 |        1 |        0
626.52/626.71	c  622s |      19 | 29453239 |   646082 |   547939      1 |        1 |        0
628.52/628.73	c  624s |      19 | 29457640 |   649782 |   547939      1 |        1 |        0
630.51/630.74	c  626s |      19 | 29461265 |   652782 |   547939      1 |        1 |        0
632.61/632.80	c  628s |      19 | 29464719 |   655682 |   547939      1 |        1 |        0
634.62/634.83	c  630s |      19 | 29468151 |   658582 |   547939      1 |        1 |        0
636.61/636.83	c  632s |      19 | 29471516 |   661382 |   547939      1 |        1 |        0
638.61/638.85	c  634s |      19 | 29474255 |   663682 |   602733      1 |        1 |        0
640.81/641.09	c  636s |      19 | 29588909 |   665482 |   602733      1 |        1 |        0
643.11/643.36	c  638s |      19 | 29772790 |   666582 |   602733      1 |        1 |        0
644.01/644.24	c  639s |      20 | 29842159 |   666827 |   602733      1 |        1 |        0
646.02/646.28	c  641s |      20 | 29865812 |   668127 |   602733      1 |        1 |        0
648.12/648.31	c  643s |      20 | 29871932 |   672127 |   602733      1 |        1 |        0
650.11/650.34	c  645s |      20 | 29875810 |   674927 |   602733      1 |        1 |        0
652.12/652.39	c  647s |      20 | 29879984 |   677527 |   602733      1 |        1 |        0
654.21/654.45	c  649s |      20 | 29883189 |   680027 |   602733      1 |        1 |        0
656.31/656.53	c  651s |      20 | 29886198 |   682427 |   602733      1 |        1 |        0
658.31/658.59	c  654s |      20 | 29888811 |   684427 |   602733      1 |        1 |        0
660.41/660.62	c  656s |      20 | 29892673 |   686827 |   602733      1 |        1 |        0
662.51/662.70	c  658s |      20 | 29896976 |   689527 |   602733      1 |        1 |        0
664.51/664.75	c  660s |      20 | 29932483 |   691827 |   602733      1 |        1 |        0
666.81/667.02	c  662s |      20 | 30088646 |   694727 |   602733      1 |        1 |        0
669.61/669.82	c  665s |      20 | 30285408 |   696327 |   602733      1 |        1 |        0
671.60/671.88	c  667s |      20 | 30453646 |   697027 |   602733      1 |        1 |        0
673.70/673.90	c  669s |      20 | 30589513 |   697427 |   602733      1 |        1 |        0
675.80/676.07	c  671s |      20 | 30747371 |   698927 |   602733      1 |        1 |        0
678.10/678.33	c  673s |      20 | 30925293 |   699227 |   602733      1 |        1 |        0
680.20/680.41	c  675s |      20 | 31013077 |   700727 |   602733      1 |        1 |        0
682.20/682.44	c  677s |      20 | 31025661 |   706627 |   602733      1 |        1 |        0
684.20/684.45	c  679s |      20 | 31031557 |   711227 |   602733      1 |        1 |        0
686.60/686.89	c  682s |      20 | 31199958 |   712427 |   602733      1 |        1 |        0
688.70/688.93	c  684s |      20 | 31352634 |   713327 |   602733      1 |        1 |        0
691.50/691.77	c  687s |      20 | 31565527 |   713727 |   602733      1 |        1 |        0
693.70/693.98	c  689s |      20 | 31648026 |   714227 |   602733      1 |        1 |        0
695.80/696.03	c  691s |      20 | 31836146 |   714527 |   602733      1 |        1 |        0
697.80/698.04	c  693s |      20 | 31946480 |   718427 |   602733      1 |        1 |        0
700.19/700.49	c  695s |      20 | 32029380 |   722827 |   602733      1 |        1 |        0
702.39/702.63	c  698s |      20 | 32098462 |   729627 |   602733      1 |        1 |        0
704.69/704.97	c  700s |      20 | 32296098 |   730127 |   602733      1 |        1 |        0
706.69/706.98	c  702s |      20 | 32454523 |   731127 |   602733      1 |        1 |        0
708.69/708.99	c  704s |      20 | 32607092 |   731927 |   602733      1 |        1 |        0
710.79/711.01	c  706s |      20 | 32664825 |   736127 |   602733      1 |        1 |        0
712.78/713.03	c  708s |      20 | 32808887 |   737727 |   602733      1 |        1 |        0
714.79/715.08	c  710s |      20 | 32820221 |   741727 |   602733      1 |        1 |        0
716.78/717.09	c  712s |      20 | 32824236 |   744527 |   602733      1 |        1 |        0
718.88/719.11	c  714s |      20 | 32830277 |   748227 |   602733      1 |        1 |        0
720.88/721.18	c  716s |      20 | 32835866 |   751827 |   602733      1 |        1 |        0
722.88/723.18	c  718s |      20 | 32839613 |   754527 |   602733      1 |        1 |        0
724.98/725.25	c  720s |      20 | 32843281 |   757127 |   602733      1 |        1 |        0
727.08/727.30	c  722s |      20 | 32846070 |   759327 |   602733      1 |        1 |        0
729.09/729.33	c  724s |      20 | 32848970 |   761427 |   602733      1 |        1 |        0
731.19/731.42	c  726s |      20 | 32851580 |   763327 |   602733      1 |        1 |        0
733.19/733.49	c  728s |      20 | 32853736 |   764927 |   602733      1 |        1 |        0
735.39/735.61	c  731s |      20 | 32856233 |   766727 |   602733      1 |        1 |        0
737.39/737.61	c  733s |      20 | 32858471 |   768327 |   602733      1 |        1 |        0
739.49/739.70	c  735s |      20 | 32860676 |   769827 |   602733      1 |        1 |        0
741.49/741.73	c  737s |      20 | 32862638 |   771227 |   602733      1 |        1 |        0
743.49/743.79	c  739s |      20 | 32864310 |   772527 |   602733      1 |        1 |        0
745.59/745.85	c  741s |      20 | 32865966 |   773827 |   602733      1 |        1 |        0
747.59/747.87	c  743s |      20 | 32867271 |   774927 |   602733      1 |        1 |        0
749.68/749.95	c  745s |      20 | 32868658 |   776027 |   602733      1 |        1 |        0
751.68/751.99	c  747s |      20 | 32869995 |   777127 |   602733      1 |        1 |        0
753.78/754.04	c  749s |      20 | 32871130 |   778027 |   602733      1 |        1 |        0
755.88/756.10	c  751s |      20 | 32872851 |   779327 |   602733      1 |        1 |        0
757.98/758.23	c  753s |      20 | 32874313 |   780427 |   602733      1 |        1 |        0
759.99/760.25	c  755s |      20 | 32875991 |   781627 |   602733      1 |        1 |        0
762.09/762.31	c  757s |      20 | 32877499 |   782827 |   602733      1 |        1 |        0
764.08/764.32	c  759s |      20 | 32878838 |   783927 |   602733      1 |        1 |        0
766.08/766.39	c  761s |      20 | 32880045 |   784927 |   602733      1 |        1 |        0
768.18/768.46	c  763s |      20 | 32881489 |   786027 |   602733      1 |        1 |        0
770.28/770.56	c  765s |      20 | 32964739 |   788027 |   602733      1 |        1 |        0
772.58/772.80	c  768s |      20 | 33179880 |   788627 |   602733      1 |        1 |        0
774.98/775.29	c  770s |      20 | 33401886 |   789027 |   602733      1 |        1 |        0
777.08/777.32	c  772s |      20 | 33592752 |   789727 |   602733      1 |        1 |        0
779.38/779.64	c  775s |      20 | 33733061 |   790427 |   602733      1 |        1 |        0
781.48/781.71	c  777s |      20 | 33736717 |   792927 |   602733      1 |        1 |        0
783.48/783.78	c  779s |      20 | 33739684 |   795027 |   602733      1 |        1 |        0
785.58/785.80	c  781s |      20 | 33743122 |   797727 |   602733      1 |        1 |        0
787.58/787.90	c  783s |      20 | 33771999 |   799327 |   602733      1 |        1 |        0
789.68/789.94	c  785s |      20 | 33780647 |   803527 |   602733      1 |        1 |        0
791.88/792.17	c  787s |      20 | 33877714 |   805827 |   602733      1 |        1 |        0
793.98/794.21	c  789s |      20 | 34025020 |   807127 |   602733      1 |        1 |        0
796.18/796.42	c  791s |      20 | 34116194 |   809627 |   602733      1 |        1 |        0
798.27/798.51	c  793s |      20 | 34295272 |   810527 |   602733      1 |        1 |        0
800.47/800.75	c  796s |      20 | 34492852 |   811827 |   602733      1 |        1 |        0
802.57/802.87	c  798s |      20 | 34686830 |   812827 |   602733      1 |        1 |        0
804.67/804.94	c  800s |      20 | 34779710 |   815827 |   602733      1 |        1 |        0
806.77/807.09	c  802s |      20 | 34861504 |   816627 |   602733      1 |        1 |        0
809.38/809.70	c  805s |      20 | 35005690 |   817227 |   602733      1 |        1 |        0
811.77/812.08	c  807s |      20 | 35132801 |   817727 |   602733      1 |        1 |        0
813.88/814.13	c  809s |      20 | 35181710 |   819827 |   602733      1 |        1 |        0
815.87/816.18	c  811s |      20 | 35256361 |   821327 |   602733      1 |        1 |        0
817.97/818.20	c  813s |      20 | 35366229 |   821827 |   602733      1 |        1 |        0
820.37/820.64	c  816s |      20 | 35454665 |   823827 |   602733      1 |        1 |        0
822.37/822.67	c  818s |      20 | 35535244 |   825927 |   602733      1 |        1 |        0
824.46/824.77	c  820s |      20 | 35566578 |   830227 |   602733      1 |        1 |        0
826.47/826.79	c  822s |      20 | 35622753 |   832527 |   602733      1 |        1 |        0
828.57/828.83	c  824s |      20 | 35627593 |   835827 |   602733      1 |        1 |        0
830.67/830.97	c  826s |      20 | 35754100 |   836827 |   602733      1 |        1 |        0
832.67/832.97	c  828s |      20 | 35785017 |   842727 |   602733      1 |        1 |        0
834.78/835.01	c  830s |      20 | 35793114 |   848127 |   602733      1 |        1 |        0
836.77/837.05	c  832s |      20 | 35797879 |   851927 |   602733      1 |        1 |        0
838.77/839.08	c  834s |      20 | 35801671 |   854927 |   602733      1 |        1 |        0
840.86/841.16	c  836s |      20 | 35805267 |   857727 |   602733      1 |        1 |        0
842.96/843.21	c  838s |      20 | 35808967 |   860527 |   602733      1 |        1 |        0
844.96/845.27	c  840s |      20 | 35811803 |   862927 |   602733      1 |        1 |        0
847.06/847.32	c  842s |      20 | 35814306 |   865027 |   602733      1 |        1 |        0
849.16/849.42	c  844s |      20 | 35816954 |   867127 |   602733      1 |        1 |        0
851.26/851.51	c  846s |      20 | 35819287 |   869027 |   602733      1 |        1 |        0
853.25/853.55	c  848s |      20 | 35821493 |   870827 |   602733      1 |        1 |        0
855.45/855.70	c  851s |      20 | 35823399 |   872427 |   602733      1 |        1 |        0
857.45/857.78	c  853s |      20 | 35825432 |   874027 |   602733      1 |        1 |        0
859.55/859.87	c  855s |      20 | 35827600 |   875727 |   602733      1 |        1 |        0
861.65/861.90	c  857s |      20 | 35829430 |   877227 |   602733      1 |        1 |        0
863.75/864.00	c  859s |      20 | 35831177 |   878627 |   602733      1 |        1 |        0
865.85/866.16	c  861s |      20 | 35832989 |   880127 |   602733      1 |        1 |        0
867.95/868.26	c  863s |      20 | 35834471 |   881327 |   602733      1 |        1 |        0
869.95/870.26	c  865s |      20 | 35836000 |   882627 |   602733      1 |        1 |        0
872.15/872.42	c  867s |      20 | 35837549 |   884027 |   602733      1 |        1 |        0
874.25/874.51	c  869s |      20 | 35838989 |   885327 |   602733      1 |        1 |        0
876.24/876.52	c  871s |      20 | 35840831 |   886827 |   602733      1 |        1 |        0
878.24/878.56	c  873s |      20 | 35842606 |   888327 |   602733      1 |        1 |        0
880.24/880.60	c  876s |      20 | 35844110 |   889627 |   602733      1 |        1 |        0
882.44/882.75	c  878s |      20 | 35845670 |   890927 |   602733      1 |        1 |        0
884.53/884.87	c  880s |      20 | 35847090 |   892127 |   602733      1 |        1 |        0
886.63/886.96	c  882s |      20 | 35848552 |   893327 |   602733      1 |        1 |        0
891.84/892.12	c  887s |      20 | 35849919 |   894527 |   602733      2 |        1 |        0
893.93/894.20	c  889s |      20 | 35851044 |   895527 |   602733      2 |        1 |        0
895.93/896.25	c  891s |      20 | 35852101 |   896427 |   602733      2 |        1 |        0
897.93/898.29	c  893s |      20 | 35853175 |   897327 |   602733      2 |        1 |        0
900.02/900.33	c  895s |      20 | 35854219 |   898227 |   602733      2 |        1 |        0
902.12/902.43	c  897s |      20 | 35855304 |   899127 |   602733      2 |        1 |        0
904.22/904.57	c  899s |      20 | 35856330 |   900027 |   602733      2 |        1 |        0
906.42/906.79	c  902s |      20 | 35856902 |   900527 |   602733      2 |        1 |        0
908.62/908.93	c  904s |      20 | 35858219 |   901627 |   602733      2 |        1 |        0
910.72/911.02	c  906s |      20 | 35860266 |   902927 |   602733      2 |        1 |        0
912.83/913.13	c  908s |      20 | 35861610 |   903927 |   602733      2 |        1 |        0
914.82/915.13	c  910s |      20 | 35862696 |   904827 |   602733      2 |        1 |        0
916.92/917.27	c  912s |      20 | 35864073 |   905927 |   602733      2 |        1 |        0
919.02/919.35	c  914s |      20 | 35865290 |   906927 |   602733      2 |        1 |        0
921.22/921.57	c  916s |      20 | 35866758 |   908127 |   602733      2 |        1 |        0
923.32/923.64	c  919s |      20 | 35868050 |   909127 |   602733      2 |        1 |        0
925.52/925.84	c  921s |      20 | 35869544 |   910327 |   602733      2 |        1 |        0
927.62/927.92	c  923s |      20 | 35871141 |   911327 |   602733      2 |        1 |        0
929.82/930.12	c  925s |      20 | 35873052 |   912727 |   602733      2 |        1 |        0
931.81/932.13	c  927s |      20 | 35874382 |   913727 |   602733      2 |        1 |        0
933.81/934.18	c  929s |      20 | 35875812 |   914727 |   602733      2 |        1 |        0
935.92/936.25	c  931s |      20 | 35876933 |   915627 |   602733      2 |        1 |        0
938.02/938.40	c  933s |      20 | 35878375 |   916727 |   602733      2 |        1 |        0
940.11/940.41	c  935s |      20 | 35880117 |   918127 |   602733      2 |        1 |        0
942.21/942.54	c  937s |      20 | 35882036 |   919627 |   602733      2 |        1 |        0
944.31/944.62	c  940s |      20 | 35883617 |   921027 |   602733      2 |        1 |        0
946.41/946.73	c  942s |      20 | 35885140 |   922327 |   602733      2 |        1 |        0
948.41/948.74	c  944s |      20 | 35886625 |   923627 |   602733      2 |        1 |        0
950.50/950.85	c  946s |      20 | 35888156 |   924927 |   602733      2 |        1 |        0
952.60/952.97	c  948s |      20 | 35889721 |   926127 |   602733      2 |        1 |        0
954.70/955.02	c  950s |      20 | 35891305 |   927427 |   602733      2 |        1 |        0
956.81/957.14	c  952s |      20 | 35893006 |   928827 |   602733      2 |        1 |        0
958.91/959.24	c  954s |      20 | 35894423 |   930027 |   602733      2 |        1 |        0
961.11/961.44	c  956s |      20 | 35896005 |   931327 |   602733      2 |        1 |        0
963.20/963.54	c  958s |      20 | 35897355 |   932427 |   602733      2 |        1 |        0
965.30/965.67	c  961s |      20 | 35898802 |   933627 |   602733      2 |        1 |        0
967.40/967.79	c  963s |      20 | 35900101 |   934727 |   602733      2 |        1 |        0
969.50/969.81	c  965s |      20 | 35901387 |   935827 |   602733      2 |        1 |        0
971.60/971.93	c  967s |      20 | 35902798 |   937027 |   602733      2 |        1 |        0
973.60/973.94	c  969s |      20 | 35903926 |   938027 |   602733      2 |        1 |        0
975.80/976.13	c  971s |      20 | 35905184 |   939127 |   602733      2 |        1 |        0
977.90/978.23	c  973s |      20 | 35906421 |   940127 |   602733      2 |        1 |        0
980.10/980.47	c  975s |      20 | 35907717 |   941227 |   602733      2 |        1 |        0
982.40/982.77	c  978s |      20 | 35908889 |   942227 |   602733      2 |        1 |        0
984.50/984.80	c  980s |      20 | 35909805 |   943027 |   602733      2 |        1 |        0
986.50/986.84	c  982s |      20 | 36089411 |   943427 |   602733      2 |        1 |        0
988.60/988.97	c  984s |      20 | 36226953 |   944527 |   602733      2 |        1 |        0
991.30/991.68	c  987s |      20 | 36283115 |   947627 |   602733      2 |        1 |        0
993.40/993.73	c  989s |      20 | 36378617 |   947927 |   602733      2 |        1 |        0
995.69/996.09	c  991s |      20 | 36520405 |   951027 |   602733      2 |        1 |        0
997.80/998.11	c  993s |      20 | 36686975 |   951627 |   602733      2 |        1 |        0
999.80/1000.13	c  995s |      20 | 36707011 |   954727 |   602733      2 |        1 |        0
1001.90/1002.29	c  997s |      20 | 36731560 |   957227 |   602733      2 |        1 |        0
1004.00/1004.31	c  999s |      20 | 36752418 |   962127 |   602733      2 |        1 |        0
1005.99/1006.31	c 1001s |      20 | 36757986 |   966027 |   602733      2 |        1 |        0
1007.99/1008.35	c 1003s |      20 | 36761590 |   969027 |   602733      2 |        1 |        0
1010.09/1010.44	c 1005s |      20 | 36763678 |   970827 |   602733      2 |        1 |        0
1012.09/1012.47	c 1007s |      20 | 36786051 |   975827 |   602733      2 |        1 |        0
1014.19/1014.55	c 1009s |      20 | 36886295 |   978427 |   602733      2 |        1 |        0
1016.39/1016.71	c 1012s |      20 | 36892512 |   980227 |   602733      2 |        1 |        0
1018.40/1018.71	c 1014s |      20 | 36898701 |   985027 |   602733      2 |        1 |        0
1020.50/1020.88	c 1016s |      20 | 36901487 |   987427 |   602733      2 |        1 |        0
1022.49/1022.88	c 1018s |      20 | 36905407 |   990727 |   602733      2 |        1 |        0
1024.69/1025.06	c 1020s |      20 | 37072120 |   992127 |   602733      2 |        1 |        0
1026.79/1027.11	c 1022s |      20 | 37223466 |   993127 |   602733      2 |        1 |        0
1028.79/1029.12	c 1024s |      20 | 37229737 |   997327 |   663007      2 |        1 |        0
1030.99/1031.32	c 1026s |      20 | 37391669 |   998827 |   663007      2 |        1 |        0
1031.69/1032.05	c 1027s |      21 | 37425253 |  1000345 |   663007      2 |        1 |        0
1034.09/1034.42	c 1029s |      21 | 37454897 |  1000445 |   663007      2 |        1 |        0
1036.09/1036.48	c 1031s |      21 | 37559260 |  1003045 |   663007      2 |        1 |        0
1038.89/1039.23	c 1034s |      21 | 37712220 |  1004145 |   663007      2 |        1 |        0
1041.29/1041.69	c 1037s |      21 | 37814521 |  1005245 |   663007      2 |        1 |        0
1043.39/1043.72	c 1039s |      21 | 37920393 |  1006245 |   663007      2 |        1 |        0
1045.39/1045.72	c 1041s |      21 | 38036869 |  1008445 |   663007      2 |        1 |        0
1047.39/1047.74	c 1043s |      21 | 38059737 |  1012945 |   663007      2 |        1 |        0
1049.39/1049.76	c 1045s |      21 | 38190979 |  1014245 |   663007      2 |        1 |        0
1051.39/1051.77	c 1047s |      21 | 38267884 |  1016245 |   663007      2 |        1 |        0
1053.88/1054.30	c 1049s |      21 | 38386996 |  1017645 |   663007      2 |        1 |        0
1056.09/1056.40	c 1051s |      21 | 38454434 |  1018945 |   663007      2 |        1 |        0
1058.18/1058.50	c 1053s |      21 | 38522785 |  1020945 |   663007      2 |        1 |        0
1060.58/1060.93	c 1056s |      21 | 38598912 |  1021345 |   663007      2 |        1 |        0
1062.68/1063.05	c 1058s |      21 | 38756855 |  1023845 |   663007      2 |        1 |        0
1065.08/1065.40	c 1060s |      21 | 38894027 |  1027745 |   663007      2 |        1 |        0
1067.58/1067.95	c 1063s |      21 | 39135160 |  1028345 |   663007      2 |        1 |        0
1069.58/1069.96	c 1065s |      21 | 39356341 |  1029445 |   663007      2 |        1 |        0
1072.29/1072.69	c 1068s |      21 | 39485348 |  1035245 |   663007      2 |        1 |        0
1074.68/1075.03	c 1070s |      21 | 39621946 |  1035745 |   663007      2 |        1 |        0
1077.18/1077.50	c 1072s |      21 | 39753090 |  1036545 |   663007      2 |        1 |        0
1079.18/1079.51	c 1074s |      21 | 39866911 |  1037545 |   663007      2 |        1 |        0
1081.27/1081.68	c 1077s |      21 | 40013504 |  1038145 |   663007      2 |        1 |        0
1083.67/1084.00	c 1079s |      21 | 40160491 |  1038545 |   663007      2 |        1 |        0
1085.77/1086.18	c 1081s |      21 | 40235235 |  1040745 |   663007      2 |        1 |        0
1087.87/1088.29	c 1083s |      21 | 40315655 |  1042345 |   663007      2 |        1 |        0
1090.37/1090.70	c 1086s |      21 | 40473042 |  1043345 |   663007      2 |        1 |        0
1093.27/1093.62	c 1089s |      21 | 40708560 |  1044145 |   663007      2 |        1 |        0
1095.87/1096.27	c 1091s |      21 | 40848914 |  1044945 |   663007      2 |        1 |        0
1098.27/1098.68	c 1094s |      21 | 40980417 |  1045245 |   663007      2 |        1 |        0
1100.37/1100.72	c 1096s |      21 | 41076938 |  1046745 |   663007      2 |        1 |        0
1102.87/1103.27	c 1098s |      21 | 41218611 |  1047745 |   663007      2 |        1 |        0
1105.18/1105.51	c 1100s |      21 | 41310710 |  1048645 |   663007      2 |        1 |        0
1107.18/1107.55	c 1102s |      21 | 41344011 |  1051545 |   663007      2 |        1 |        0
1109.27/1109.61	c 1105s |      21 | 41449956 |  1052345 |   663007      2 |        1 |        0
1111.28/1111.62	c 1107s |      21 | 41469832 |  1055245 |   663007      2 |        1 |        0
1113.27/1113.63	c 1109s |      21 | 41476403 |  1059745 |   663007      2 |        1 |        0
1115.27/1115.64	c 1111s |      21 | 41510989 |  1063745 |   663007      2 |        1 |        0
1117.28/1117.69	c 1113s |      21 | 41516439 |  1068345 |   663007      2 |        1 |        0
1119.27/1119.69	c 1115s |      21 | 41584155 |  1072845 |   663007      2 |        1 |        0
1121.37/1121.70	c 1117s |      21 | 41744540 |  1074545 |   663007      2 |        1 |        0
1123.37/1123.71	c 1119s |      21 | 41929107 |  1075145 |   663007      2 |        1 |        0
1125.77/1126.18	c 1121s |      21 | 42172433 |  1076145 |   663007      2 |        1 |        0
1127.87/1128.26	c 1123s |      21 | 42351608 |  1077145 |   663007      2 |        1 |        0
1129.97/1130.38	c 1125s |      21 | 42524029 |  1079045 |   663007      2 |        1 |        0
1132.17/1132.57	c 1127s |      21 | 42730562 |  1079445 |   663007      2 |        1 |        0
1134.27/1134.66	c 1130s |      21 | 42929641 |  1079945 |   663007      2 |        1 |        0
1136.27/1136.67	c 1132s |      21 | 43084578 |  1081045 |   663007      2 |        1 |        0
1138.57/1138.98	c 1134s |      21 | 43221942 |  1081745 |   663007      2 |        1 |        0
1140.77/1141.16	c 1136s |      21 | 43351834 |  1084045 |   663007      2 |        1 |        0
1142.87/1143.24	c 1138s |      21 | 43516458 |  1084745 |   663007      2 |        1 |        0
1144.88/1145.25	c 1140s |      21 | 43617500 |  1085345 |   663007      2 |        1 |        0
1147.37/1147.70	c 1143s |      21 | 43764409 |  1085945 |   663007      2 |        1 |        0
1149.37/1149.74	c 1145s |      21 | 43827799 |  1089345 |   663007      2 |        1 |        0
1151.37/1151.75	c 1147s |      21 | 43852448 |  1096245 |   663007      2 |        1 |        0
1153.37/1153.76	c 1149s |      21 | 43857986 |  1100645 |   663007      2 |        1 |        0
1155.77/1156.18	c 1151s |      21 | 43948090 |  1103245 |   663007      2 |        1 |        0
1158.47/1158.81	c 1154s |      21 | 44169064 |  1104145 |   663007      2 |        1 |        0
1160.47/1160.82	c 1156s |      21 | 44322753 |  1105745 |   663007      2 |        1 |        0
1163.27/1163.62	c 1159s |      21 | 44524227 |  1107545 |   663007      2 |        1 |        0
1165.56/1165.97	c 1161s |      21 | 44709567 |  1107945 |   663007      2 |        1 |        0
1167.76/1168.10	c 1163s |      21 | 44869546 |  1108345 |   663007      2 |        1 |        0
1169.76/1170.14	c 1165s |      21 | 45022805 |  1108645 |   663007      2 |        1 |        0
1171.86/1172.27	c 1167s |      21 | 45200740 |  1108845 |   663007      2 |        1 |        0
1174.27/1174.64	c 1170s |      21 | 45382133 |  1109545 |   663007      2 |        1 |        0
1177.46/1177.85	c 1173s |      21 | 45599462 |  1110845 |   663007      2 |        1 |        0
1179.57/1179.99	c 1175s |      21 | 45674643 |  1110945 |   663007      2 |        1 |        0
1181.66/1182.02	c 1177s |      21 | 45767494 |  1114645 |   663007      2 |        1 |        0
1184.37/1184.72	c 1180s |      21 | 45851953 |  1118045 |   663007      2 |        1 |        0
1186.67/1187.08	c 1182s |      21 | 45951489 |  1119045 |   663007      2 |        1 |        0
1188.66/1189.10	c 1184s |      21 | 46002251 |  1122145 |   663007      2 |        1 |        0
1190.76/1191.12	c 1186s |      21 | 46022209 |  1127245 |   663007      2 |        1 |        0
1192.76/1193.16	c 1188s |      21 | 46025627 |  1129545 |   663007      2 |        1 |        0
1195.06/1195.49	c 1190s |      21 | 46179261 |  1131045 |   663007      2 |        1 |        0
1197.46/1197.87	c 1193s |      21 | 46374977 |  1131745 |   663007      2 |        1 |        0
1199.46/1199.89	c 1195s |      21 | 46385299 |  1136345 |   663007      2 |        1 |        0
1201.56/1201.90	c 1197s |      21 | 46392711 |  1141645 |   663007      2 |        1 |        0
1203.76/1204.11	c 1199s |      21 | 46459398 |  1145445 |   663007      2 |        1 |        0
1206.05/1206.47	c 1201s |      21 | 46673382 |  1145945 |   663007      2 |        1 |        0
1208.45/1208.81	c 1204s |      21 | 46826640 |  1146645 |   663007      2 |        1 |        0
1210.55/1210.91	c 1206s |      21 | 47003062 |  1147445 |   663007      2 |        1 |        0
1213.06/1213.46	c 1208s |      21 | 47156641 |  1148245 |   663007      2 |        1 |        0
1215.16/1215.53	c 1210s |      21 | 47278476 |  1150445 |   663007      2 |        1 |        0
1217.25/1217.68	c 1213s |      21 | 47437917 |  1150945 |   663007      2 |        1 |        0
1219.35/1219.73	c 1215s |      21 | 47540766 |  1151945 |   663007      2 |        1 |        0
1221.34/1221.77	c 1217s |      21 | 47583107 |  1154045 |   663007      2 |        1 |        0
1223.44/1223.84	c 1219s |      21 | 47587310 |  1156545 |   663007      2 |        1 |        0
1225.54/1225.97	c 1221s |      21 | 47590133 |  1158445 |   663007      2 |        1 |        0
1227.64/1228.04	c 1223s |      21 | 47592718 |  1160145 |   663007      2 |        1 |        0
1229.74/1230.16	c 1225s |      21 | 47594976 |  1161745 |   663007      2 |        1 |        0
1231.84/1232.24	c 1227s |      21 | 47597403 |  1163345 |   663007      2 |        1 |        0
1233.94/1234.32	c 1229s |      21 | 47600631 |  1165345 |   663007      2 |        1 |        0
1235.94/1236.33	c 1231s |      21 | 47602913 |  1167045 |   663007      2 |        1 |        0
1237.93/1238.33	c 1233s |      21 | 47605096 |  1168645 |   663007      2 |        1 |        0
1240.03/1240.42	c 1235s |      21 | 47607232 |  1170145 |   663007      2 |        1 |        0
1242.13/1242.51	c 1237s |      21 | 47609362 |  1171645 |   663007      2 |        1 |        0
1244.13/1244.58	c 1239s |      21 | 47611390 |  1173145 |   663007      2 |        1 |        0
1246.23/1246.61	c 1242s |      21 | 47613439 |  1174545 |   663007      2 |        1 |        0
1248.24/1248.62	c 1244s |      21 | 47615287 |  1175845 |   663007      2 |        1 |        0
1250.34/1250.72	c 1246s |      21 | 47617467 |  1177345 |   663007      2 |        1 |        0
1252.33/1252.79	c 1248s |      21 | 47619331 |  1178745 |   663007      2 |        1 |        0
1254.43/1254.80	c 1250s |      21 | 47620908 |  1179945 |   663007      2 |        1 |        0
1256.53/1256.90	c 1252s |      21 | 47622280 |  1181045 |   663007      2 |        1 |        0
1258.63/1259.00	c 1254s |      21 | 47624241 |  1182245 |   663007      2 |        1 |        0
1260.63/1261.00	c 1256s |      21 | 47625795 |  1183545 |   663007      2 |        1 |        0
1262.73/1263.16	c 1258s |      21 | 47627393 |  1184845 |   663007      2 |        1 |        0
1264.83/1265.21	c 1260s |      21 | 47628817 |  1185945 |   663007      2 |        1 |        0
1266.84/1267.27	c 1262s |      21 | 47630038 |  1186945 |   663007      2 |        1 |        0
1268.83/1269.29	c 1264s |      21 | 47631229 |  1187945 |   663007      2 |        1 |        0
1270.93/1271.30	c 1266s |      21 | 47632358 |  1188845 |   663007      2 |        1 |        0
1273.03/1273.41	c 1268s |      21 | 47633585 |  1189745 |   663007      2 |        1 |        0
1275.13/1275.57	c 1270s |      21 | 47634954 |  1190745 |   663007      2 |        1 |        0
1277.22/1277.64	c 1273s |      21 | 47636285 |  1191645 |   663007      2 |        1 |        0
1279.63/1280.04	c 1275s |      21 | 47637226 |  1192345 |   663007      2 |        1 |        0
1281.73/1282.16	c 1277s |      21 | 47638787 |  1193345 |   663007      2 |        1 |        0
1283.93/1284.33	c 1279s |      21 | 47640605 |  1194645 |   663007      2 |        1 |        0
1286.03/1286.43	c 1281s |      21 | 47642282 |  1195845 |   663007      2 |        1 |        0
1288.13/1288.52	c 1283s |      21 | 47643608 |  1196945 |   663007      2 |        1 |        0
1290.33/1290.70	c 1286s |      21 | 47645156 |  1198145 |   663007      2 |        1 |        0
1292.43/1292.89	c 1288s |      21 | 47646606 |  1199345 |   663007      2 |        1 |        0
1294.73/1295.10	c 1290s |      21 | 47648024 |  1200445 |   663007      2 |        1 |        0
1296.73/1297.14	c 1292s |      21 | 47649373 |  1201345 |   663007      2 |        1 |        0
1298.83/1299.26	c 1294s |      21 | 47650412 |  1202245 |   663007      2 |        1 |        0
1300.93/1301.39	c 1296s |      21 | 47651370 |  1203045 |   663007      2 |        1 |        0
1303.13/1303.54	c 1298s |      21 | 47652429 |  1203945 |   663007      2 |        1 |        0
1305.22/1305.69	c 1301s |      21 | 47653733 |  1204945 |   663007      2 |        1 |        0
1307.42/1307.86	c 1303s |      21 | 47655024 |  1205945 |   663007      2 |        1 |        0
1309.62/1310.02	c 1305s |      21 | 47656119 |  1206845 |   663007      2 |        1 |        0
1311.72/1312.18	c 1307s |      21 | 47657224 |  1207745 |   663007      2 |        1 |        0
1313.82/1314.21	c 1309s |      21 | 47658234 |  1208545 |   663007      2 |        1 |        0
1315.92/1316.36	c 1311s |      21 | 47659344 |  1209445 |   663007      2 |        1 |        0
1318.12/1318.51	c 1313s |      21 | 47660492 |  1210345 |   663007      2 |        1 |        0
1320.32/1320.70	c 1316s |      21 | 47661973 |  1211245 |   663007      2 |        1 |        0
1322.42/1322.82	c 1318s |      21 | 47663723 |  1212345 |   663007      2 |        1 |        0
1324.62/1325.02	c 1320s |      21 | 47665159 |  1213345 |   663007      2 |        1 |        0
1326.72/1327.17	c 1322s |      21 | 47666297 |  1214245 |   663007      2 |        1 |        0
1328.82/1329.20	c 1324s |      21 | 47667378 |  1215045 |   663007      2 |        1 |        0
1330.91/1331.33	c 1326s |      21 | 47668577 |  1215845 |   663007      2 |        1 |        0
1333.01/1333.43	c 1328s |      21 | 47669851 |  1216645 |   663007      2 |        1 |        0
1335.12/1335.57	c 1330s |      21 | 47671147 |  1217445 |   663007      2 |        1 |        0
1337.22/1337.63	c 1333s |      21 | 47672413 |  1218245 |   663007      2 |        1 |        0
1339.42/1339.84	c 1335s |      21 | 47673908 |  1219145 |   663007      2 |        1 |        0
1341.62/1342.04	c 1337s |      21 | 47675056 |  1219945 |   663007      2 |        1 |        0
1343.71/1344.19	c 1339s |      21 | 47676456 |  1220845 |   663007      2 |        1 |        0
1345.81/1346.20	c 1341s |      21 | 47762235 |  1224145 |   663007      2 |        1 |        0
1347.91/1348.37	c 1343s |      21 | 47914231 |  1225645 |   663007      2 |        1 |        0
1349.91/1350.37	c 1345s |      21 | 48052506 |  1227445 |   663007      2 |        1 |        0
1352.41/1352.85	c 1348s |      21 | 48190318 |  1228245 |   663007      2 |        1 |        0
1354.60/1355.08	c 1350s |      21 | 48360791 |  1228545 |   663007      2 |        1 |        0
1356.80/1357.23	c 1352s |      21 | 48546974 |  1229245 |   663007      2 |        1 |        0
1358.90/1359.31	c 1354s |      21 | 48624330 |  1229845 |   663007      2 |        1 |        0
1361.19/1361.64	c 1357s |      21 | 48706607 |  1231445 |   663007      2 |        1 |        0
1363.40/1363.81	c 1359s |      21 | 48723948 |  1232945 |   663007      2 |        1 |        0
1365.40/1365.84	c 1361s |      21 | 48765905 |  1235045 |   663007      2 |        1 |        0
1367.49/1367.91	c 1363s |      21 | 48880931 |  1236745 |   663007      2 |        1 |        0
1369.59/1370.05	c 1365s |      21 | 48907694 |  1239645 |   663007      2 |        1 |        0
1371.79/1372.22	c 1367s |      21 | 49003296 |  1241145 |   663007      2 |        1 |        0
1373.89/1374.38	c 1369s |      21 | 49224984 |  1241845 |   663007      2 |        1 |        0
1375.89/1376.38	c 1371s |      21 | 49365456 |  1244445 |   663007      2 |        1 |        0
1378.00/1378.41	c 1373s |      21 | 49374692 |  1251945 |   663007      2 |        1 |        0
1379.99/1380.44	c 1375s |      21 | 49380172 |  1256745 |   663007      2 |        1 |        0
1389.39/1389.81	c 1385s |      21 | 49509874 |  1258945 |   663007      3 |        1 |        0
1391.89/1392.33	c 1387s |      21 | 49717776 |  1259645 |   663007      3 |        1 |        0
1393.99/1394.42	c 1389s |      21 | 49895855 |  1260145 |   663007      3 |        1 |        0
1396.09/1396.55	c 1391s |      21 | 50090846 |  1260445 |   663007      3 |        1 |        0
1398.49/1398.99	c 1394s |      21 | 50306589 |  1260845 |   663007      3 |        1 |        0
1401.00/1401.47	c 1396s |      21 | 50506082 |  1261345 |   663007      3 |        1 |        0
1403.39/1403.87	c 1399s |      21 | 50646380 |  1262145 |   663007      3 |        1 |        0
1406.39/1406.89	c 1402s |      21 | 50653702 |  1262245 |   663007      3 |        1 |        0
1409.48/1409.92	c 1405s |      21 | 50844188 |  1264545 |   663007      3 |        1 |        0
1411.49/1411.99	c 1407s |      21 | 50993169 |  1265745 |   663007      3 |        1 |        0
1413.59/1414.03	c 1409s |      21 | 50996580 |  1267045 |   663007      3 |        1 |        0
1415.59/1416.03	c 1411s |      21 | 51035473 |  1267845 |   663007      3 |        1 |        0
1417.88/1418.32	c 1413s |      21 | 51183045 |  1270945 |   663007      3 |        1 |        0
1419.99/1420.42	c 1415s |      21 | 51234874 |  1272745 |   663007      3 |        1 |        0
1422.00/1422.43	c 1417s |      21 | 51344662 |  1274745 |   663007      3 |        1 |        0
1424.29/1424.77	c 1420s |      21 | 51526849 |  1275445 |   663007      3 |        1 |        0
1426.40/1426.83	c 1422s |      21 | 51681564 |  1276145 |   663007      3 |        1 |        0
1428.60/1429.01	c 1424s |      21 | 51806282 |  1278545 |   663007      3 |        1 |        0
1430.69/1431.18	c 1426s |      21 | 51910683 |  1282445 |   663007      3 |        1 |        0
1432.89/1433.39	c 1428s |      21 | 52083953 |  1282945 |   663007      3 |        1 |        0
1434.99/1435.42	c 1430s |      21 | 52142605 |  1287145 |   663007      3 |        1 |        0
1436.99/1437.44	c 1432s |      21 | 52287410 |  1287845 |   663007      3 |        1 |        0
1439.49/1439.92	c 1435s |      21 | 52406072 |  1289045 |   663007      3 |        1 |        0
1441.48/1441.96	c 1437s |      21 | 52534251 |  1289345 |   663007      3 |        1 |        0
1443.69/1444.10	c 1439s |      21 | 52651210 |  1291145 |   663007      3 |        1 |        0
1445.68/1446.11	c 1441s |      21 | 52727325 |  1295645 |   663007      3 |        1 |        0
1447.68/1448.14	c 1443s |      21 | 52733986 |  1300245 |   663007      3 |        1 |        0
1449.69/1450.15	c 1445s |      21 | 52738284 |  1303545 |   663007      3 |        1 |        0
1451.69/1452.18	c 1447s |      21 | 52742465 |  1306745 |   663007      3 |        1 |        0
1454.18/1454.61	c 1450s |      21 | 52744730 |  1308545 |   663007      3 |        1 |        0
1456.18/1456.61	c 1452s |      21 | 52747972 |  1310945 |   663007      3 |        1 |        0
1458.38/1458.80	c 1454s |      21 | 52932910 |  1311645 |   663007      3 |        1 |        0
1460.38/1460.86	c 1456s |      21 | 53070750 |  1313845 |   663007      3 |        1 |        0
1462.58/1463.10	c 1458s |      21 | 53276894 |  1314345 |   663007      3 |        1 |        0
1464.67/1465.18	c 1460s |      21 | 53426456 |  1316545 |   663007      3 |        1 |        0
1466.87/1467.38	c 1462s |      21 | 53546737 |  1318245 |   663007      3 |        1 |        0
1468.97/1469.42	c 1464s |      21 | 53596834 |  1322545 |   663007      3 |        1 |        0
1471.88/1472.31	c 1467s |      21 | 53705239 |  1323645 |   663007      3 |        1 |        0
1473.97/1474.40	c 1469s |      21 | 53797725 |  1325745 |   663007      3 |        1 |        0
1475.97/1476.41	c 1471s |      21 | 53869135 |  1327945 |   663007      3 |        1 |        0
1477.98/1478.42	c 1473s |      21 | 53935639 |  1331545 |   663007      3 |        1 |        0
1479.98/1480.42	c 1475s |      21 | 54096096 |  1333745 |   663007      3 |        1 |        0
1481.97/1482.43	c 1477s |      21 | 54276398 |  1334745 |   663007      3 |        1 |        0
1483.97/1484.43	c 1479s |      21 | 54340687 |  1336945 |   663007      3 |        1 |        0
1485.97/1486.44	c 1481s |      21 | 54456951 |  1339445 |   663007      3 |        1 |        0
1487.98/1488.45	c 1483s |      21 | 54568878 |  1341045 |   663007      3 |        1 |        0
1490.08/1490.56	c 1485s |      21 | 54683874 |  1344045 |   663007      3 |        1 |        0
1492.28/1492.72	c 1488s |      21 | 54848800 |  1344945 |   663007      3 |        1 |        0
1494.58/1495.06	c 1490s |      21 | 55029767 |  1345545 |   663007      3 |        1 |        0
1496.68/1497.12	c 1492s |      21 | 55193583 |  1346045 |   663007      3 |        1 |        0
1498.67/1499.13	c 1494s |      21 | 55230311 |  1347745 |   663007      3 |        1 |        0
1500.78/1501.21	c 1496s |      21 | 55232366 |  1348845 |   663007      3 |        1 |        0
1502.87/1503.32	c 1498s |      21 | 55238796 |  1349445 |   663007      3 |        1 |        0
1505.17/1505.69	c 1501s |      21 | 55383323 |  1350445 |   663007      3 |        1 |        0
1507.27/1507.77	c 1503s |      21 | 55471581 |  1351845 |   663007      3 |        1 |        0
1509.47/1509.95	c 1505s |      21 | 55527875 |  1355345 |   663007      3 |        1 |        0
1511.47/1511.97	c 1507s |      21 | 55587070 |  1357845 |   663007      3 |        1 |        0
1513.57/1514.09	c 1509s |      21 | 55634450 |  1361845 |   663007      3 |        1 |        0
1515.67/1516.16	c 1511s |      21 | 55814289 |  1362245 |   663007      3 |        1 |        0
1517.68/1518.19	c 1513s |      21 | 55876765 |  1366945 |   663007      3 |        1 |        0
1520.17/1520.61	c 1516s |      21 | 56005350 |  1369445 |   663007      3 |        1 |        0
1522.17/1522.68	c 1518s |      21 | 56200513 |  1369845 |   663007      3 |        1 |        0
1524.18/1524.69	c 1520s |      21 | 56388093 |  1370645 |   663007      3 |        1 |        0
1526.27/1526.76	c 1522s |      21 | 56502734 |  1371845 |   663007      3 |        1 |        0
1528.68/1529.13	c 1524s |      21 | 56626615 |  1373745 |   663007      3 |        1 |        0
1530.97/1531.45	c 1526s |      21 | 56783670 |  1375145 |   663007      3 |        1 |        0
1532.97/1533.46	c 1528s |      21 | 56813825 |  1381845 |   663007      3 |        1 |        0
1534.97/1535.46	c 1530s |      21 | 56859595 |  1386245 |   663007      3 |        1 |        0
1537.16/1537.69	c 1533s |      21 | 57020492 |  1388045 |   663007      3 |        1 |        0
1539.47/1539.97	c 1535s |      21 | 57183982 |  1389045 |   663007      3 |        1 |        0
1542.06/1542.54	c 1537s |      21 | 57375890 |  1389645 |   663007      3 |        1 |        0
1544.07/1544.57	c 1539s |      21 | 57500260 |  1390745 |   663007      3 |        1 |        0
1546.17/1546.68	c 1542s |      21 | 57632898 |  1391845 |   663007      3 |        1 |        0
1549.06/1549.52	c 1544s |      21 | 57768385 |  1392345 |   663007      3 |        1 |        0
1551.36/1551.80	c 1547s |      21 | 57877021 |  1395345 |   663007      3 |        1 |        0
1553.36/1553.80	c 1549s |      21 | 57964213 |  1398645 |   663007      3 |        1 |        0
1555.36/1555.85	c 1551s |      21 | 58018587 |  1402445 |   663007      3 |        1 |        0
1557.46/1557.92	c 1553s |      21 | 58065694 |  1408045 |   663007      3 |        1 |        0
1559.57/1560.05	c 1555s |      21 | 58267249 |  1408445 |   663007      3 |        1 |        0
1561.57/1562.05	c 1557s |      21 | 58421595 |  1409045 |   663007      3 |        1 |        0
1563.56/1564.08	c 1559s |      21 | 58491759 |  1413145 |   663007      3 |        1 |        0
1565.66/1566.10	c 1561s |      21 | 58497206 |  1417745 |   663007      3 |        1 |        0
1568.36/1568.83	c 1564s |      21 | 58707409 |  1418445 |   663007      3 |        1 |        0
1570.66/1571.12	c 1566s |      21 | 58885726 |  1418745 |   663007      3 |        1 |        0
1572.66/1573.16	c 1568s |      21 | 59003839 |  1421245 |   663007      3 |        1 |        0
1574.76/1575.25	c 1570s |      21 | 59125959 |  1423545 |   663007      3 |        1 |        0
1577.46/1577.92	c 1573s |      21 | 59321713 |  1424545 |   663007      3 |        1 |        0
1579.86/1580.30	c 1575s |      21 | 59481590 |  1425045 |   663007      3 |        1 |        0
1582.95/1583.44	c 1578s |      21 | 59667186 |  1425545 |   663007      3 |        1 |        0
1585.35/1585.87	c 1581s |      21 | 59797367 |  1426645 |   663007      3 |        1 |        0
1587.65/1588.15	c 1583s |      21 | 59915051 |  1429345 |   663007      3 |        1 |        0
1589.95/1590.49	c 1585s |      21 | 59931368 |  1429445 |   663007      3 |        1 |        0
1592.25/1592.75	c 1588s |      21 | 60059488 |  1429845 |   663007      3 |        1 |        0
1594.45/1594.91	c 1590s |      21 | 60172446 |  1431145 |   663007      3 |        1 |        0
1597.45/1597.91	c 1593s |      21 | 60275419 |  1432445 |   663007      3 |        1 |        0
1599.85/1600.36	c 1595s |      21 | 60372579 |  1433045 |   663007      3 |        1 |        0
1601.95/1602.48	c 1597s |      21 | 60476736 |  1434145 |   663007      3 |        1 |        0
1604.05/1604.54	c 1599s |      21 | 60621445 |  1434745 |   663007      3 |        1 |        0
1606.94/1607.49	c 1602s |      21 | 60670325 |  1437345 |   663007      3 |        2 |        0
1609.04/1609.55	c 1604s |      21 | 60749322 |  1438345 |   663007      3 |        2 |        0
1611.25/1611.70	c 1607s |      21 | 60837187 |  1439145 |   663007      3 |        2 |        0
1613.25/1613.79	c 1609s |      21 | 60945242 |  1439945 |   663007      3 |        2 |        0
1615.34/1615.82	c 1611s |      21 | 61016107 |  1442145 |   663007      3 |        2 |        0
1617.65/1618.20	c 1613s |      21 | 61112299 |  1444445 |   663007      3 |        2 |        0
1619.85/1620.31	c 1615s |      21 | 61193230 |  1445045 |   663007      3 |        2 |        0
1621.85/1622.38	c 1617s |      21 | 61323411 |  1446045 |   663007      3 |        2 |        0
1623.95/1624.46	c 1619s |      21 | 61400779 |  1447945 |   663007      3 |        2 |        0
1626.55/1627.01	c 1622s |      21 | 61577058 |  1449045 |   663007      3 |        2 |        0
1628.55/1629.02	c 1624s |      21 | 61650467 |  1451245 |   663007      3 |        2 |        0
1632.35/1632.88	c 1628s |      21 | 61668845 |  1452145 |   663007      3 |        2 |        0
1634.44/1634.96	c 1630s |      21 | 61821551 |  1452845 |   663007      3 |        2 |        0
1636.74/1637.25	c 1632s |      21 | 61950643 |  1453745 |   663007      3 |        2 |        0
1638.74/1639.27	c 1634s |      21 | 61979640 |  1457945 |   663007      3 |        2 |        0
1641.34/1641.84	c 1637s |      21 | 62070981 |  1460345 |   663007      3 |        2 |        0
1643.54/1644.01	c 1639s |      21 | 62182242 |  1461145 |   663007      3 |        2 |        0
1645.84/1646.36	c 1641s |      21 | 62268377 |  1461545 |   663007      3 |        2 |        0
1647.84/1648.38	c 1643s |      21 | 62377697 |  1463945 |   663007      3 |        2 |        0
1649.84/1650.38	c 1645s |      21 | 62384061 |  1468545 |   663007      3 |        2 |        0
1651.94/1652.43	c 1647s |      21 | 62389220 |  1472245 |   663007      3 |        2 |        0
1653.94/1654.44	c 1649s |      21 | 62393116 |  1475245 |   663007      3 |        2 |        0
1655.93/1656.45	c 1651s |      21 | 62397130 |  1478145 |   663007      3 |        2 |        0
1657.93/1658.45	c 1653s |      21 | 62400666 |  1480845 |   663007      3 |        2 |        0
1660.03/1660.51	c 1655s |      21 | 62403865 |  1483245 |   663007      3 |        2 |        0
1662.03/1662.59	c 1658s |      21 | 62407406 |  1485745 |   663007      3 |        2 |        0
1664.13/1664.69	c 1660s |      21 | 62411030 |  1488145 |   663007      3 |        2 |        0
1666.23/1666.77	c 1662s |      21 | 62413600 |  1490045 |   729308      3 |        2 |        0
1668.34/1668.88	c 1664s |      21 | 62416507 |  1492145 |   729308      3 |        2 |        0
1670.33/1670.88	c 1666s |      21 | 62419091 |  1494045 |   729308      3 |        2 |        0
1672.43/1672.94	c 1668s |      21 | 62421793 |  1495945 |   729308      3 |        2 |        0
1674.53/1675.02	c 1670s |      21 | 62423958 |  1497545 |   729308      3 |        2 |        0
1676.63/1677.10	c 1672s |      21 | 62425885 |  1499045 |   729308      3 |        2 |        0
1678.73/1679.21	c 1674s |      22 | 62427750 |  1500622 |   729308      3 |        2 |        0
1681.04/1681.50	c 1676s |      22 | 62470985 |  1500722 |   729308      3 |        2 |        0
1683.04/1683.50	c 1678s |      22 | 62506039 |  1505822 |   729308      3 |        2 |        0
1685.04/1685.52	c 1680s |      22 | 62512156 |  1510022 |   729308      3 |        2 |        0
1687.04/1687.52	c 1682s |      22 | 62673017 |  1510822 |   729308      3 |        2 |        0
1689.24/1689.75	c 1685s |      22 | 62850019 |  1511522 |   729308      3 |        2 |        0
1692.13/1692.60	c 1688s |      22 | 63043268 |  1512822 |   729308      3 |        2 |        0
1694.64/1695.17	c 1690s |      22 | 63214340 |  1513622 |   729308      3 |        2 |        0
1696.84/1697.40	c 1692s |      22 | 63387080 |  1514222 |   729308      3 |        2 |        0
1699.23/1699.74	c 1695s |      22 | 63547419 |  1514622 |   729308      3 |        2 |        0
1701.23/1701.78	c 1697s |      22 | 63651367 |  1515022 |   729308      3 |        2 |        0
1703.93/1704.47	c 1699s |      22 | 63738332 |  1518522 |   729308      3 |        2 |        0
1706.13/1706.66	c 1702s |      22 | 63862377 |  1519422 |   729308      3 |        2 |        0
1719.42/1719.93	c 1715s |      22 | 63895369 |  1519522 |   729308      3 |        2 |        0
1721.62/1722.20	c 1717s |      22 | 64030578 |  1520522 |   729308      3 |        2 |        0
1725.82/1726.34	c 1721s |      22 | 64085344 |  1521022 |   729308      3 |        2 |        0
1728.51/1729.09	c 1724s |      22 | 64184788 |  1521622 |   729308      3 |        2 |        0
1730.62/1731.11	c 1726s |      22 | 64245188 |  1524122 |   729308      3 |        2 |        0
1732.82/1733.37	c 1728s |      22 | 64321172 |  1526122 |   729308      3 |        2 |        0
1734.92/1735.41	c 1730s |      22 | 64371765 |  1526822 |   729308      3 |        2 |        0
1737.22/1737.73	c 1733s |      22 | 64531184 |  1528022 |   729308      3 |        2 |        0
1739.31/1739.81	c 1735s |      22 | 64662710 |  1528622 |   729308      3 |        2 |        0
1741.71/1742.22	c 1737s |      22 | 64808536 |  1529322 |   729308      3 |        2 |        0
1743.71/1744.24	c 1739s |      22 | 64886601 |  1532522 |   729308      3 |        2 |        0
1745.71/1746.29	c 1741s |      22 | 64893490 |  1536522 |   729308      3 |        2 |        0
1747.81/1748.31	c 1743s |      22 | 64898067 |  1539522 |   729308      3 |        2 |        0
1749.81/1750.38	c 1745s |      22 | 64901799 |  1542222 |   729308      3 |        2 |        0
1751.92/1752.47	c 1747s |      22 | 64904439 |  1544222 |   729308      3 |        2 |        0
1753.91/1754.50	c 1749s |      22 | 64908838 |  1547122 |   729308      3 |        2 |        0
1756.01/1756.50	c 1751s |      22 | 64928336 |  1550022 |   729308      3 |        2 |        0
1758.31/1758.86	c 1754s |      22 | 65121582 |  1550722 |   729308      3 |        2 |        0
1760.41/1760.91	c 1756s |      22 | 65279775 |  1551722 |   729308      3 |        2 |        0
1762.82/1763.39	c 1758s |      22 | 65444563 |  1552222 |   729308      3 |        2 |        0
1765.02/1765.59	c 1761s |      22 | 65568052 |  1554822 |   729308      3 |        2 |        0
1767.12/1767.65	c 1763s |      22 | 65698694 |  1556322 |   729308      3 |        2 |        0
1769.12/1769.65	c 1765s |      22 | 65741268 |  1561022 |   729308      3 |        2 |        0
1771.11/1771.68	c 1767s |      22 | 65783639 |  1565222 |   729308      3 |        2 |        0
1773.41/1773.96	c 1769s |      22 | 65821071 |  1570222 |   729308      3 |        2 |        0
1775.61/1776.18	c 1771s |      22 | 65975078 |  1570922 |   729308      3 |        2 |        0
1777.71/1778.20	c 1773s |      22 | 66089530 |  1572122 |   729308      3 |        2 |        0
1779.71/1780.28	c 1775s |      22 | 66205427 |  1572822 |   729308      3 |        2 |        0
1782.31/1782.89	c 1778s |      22 | 66362893 |  1573922 |   729308      3 |        2 |        0
1784.92/1785.46	c 1780s |      22 | 66447884 |  1576322 |   729308      3 |        2 |        0
1787.11/1787.62	c 1783s |      22 | 66505208 |  1580522 |   729308      3 |        2 |        0
1789.41/1789.96	c 1785s |      22 | 66601506 |  1582322 |   729308      3 |        2 |        0
1791.41/1791.98	c 1787s |      22 | 66639064 |  1586822 |   729308      3 |        2 |        0
1793.40/1793.99	c 1789s |      22 | 66644509 |  1591122 |   729308      3 |        2 |        0
1795.50/1796.05	c 1791s |      22 | 66649084 |  1594922 |   729308      3 |        2 |        0
1797.60/1798.10	c 1793s |      22 | 66653737 |  1598622 |   729308      3 |        2 |        0
1799.60/1800.11	c 1795s |      22 | 66707973 |  1601322 |   729308      3 |        2 |        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-4079211-1465279942/watcher-4079211-1465279942 -o /tmp/evaluation-result-4079211-1465279942/solver-4079211-1465279942 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465276339-15588 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079211-1465279942.opb 

pid=15925
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.17 2.20 2.18 3/179 15928
/proc/meminfo: memFree=30227100/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=842172 CPUtime=0 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 3163 0 0 0 0 0 0 0 20 0 4 0 109928768 862384128 3013 33554432000 4194304 16246674 140736749441520 140736749440456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 211311 3024 441 2943 0 208205 0
[pid=15928/tid=15929] ppid=15925 vsize=860604 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 881258496 3087 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=864700 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 885452800 3103 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=868796 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109928768 889647104 3119 33554432000 4194304 16246674 140736749441520 140073426209968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.17 2.20 2.18 3/179 15928
/proc/meminfo: memFree=30227100/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 29221 0 0 0 6 3 0 0 20 0 4 0 109928768 1332285440 29009 33554432000 4194304 16246674 140736749441520 140736749440832 7377837 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 325265 29012 799 2943 0 322159 0
[pid=15928/tid=15929] ppid=15925 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 1332285440 29014 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 1332285440 29016 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 1332285440 29018 33554432000 4194304 16246674 140736749441520 140073426209968 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) 1301060

[startup+0.2006 s]
/proc/loadavg: 2.17 2.20 2.18 3/179 15928
/proc/meminfo: memFree=30227100/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 45797 0 0 0 13 6 0 0 20 0 4 0 109928768 1343819776 46096 33554432000 4194304 16246674 140736749441520 140736749440832 8057101 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 328081 46096 800 2943 0 324975 0
[pid=15928/tid=15929] ppid=15925 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 1343819776 46096 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 1343819776 46096 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 1343819776 46096 33554432000 4194304 16246674 140736749441520 140073426209968 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) 1312324

[startup+0.300512 s]
/proc/loadavg: 2.17 2.20 2.18 3/179 15928
/proc/meminfo: memFree=30227100/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 52831 0 0 0 22 7 0 0 20 0 4 0 109928768 1343819776 53130 33554432000 4194304 16246674 140736749441520 140736749440832 4220507 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 328081 53130 800 2943 0 324975 0
[pid=15928/tid=15929] ppid=15925 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 1343819776 53130 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 1343819776 53130 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 1343819776 53130 33554432000 4194304 16246674 140736749441520 140073426209968 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) 1312324

[startup+0.700444 s]
/proc/loadavg: 2.17 2.20 2.18 3/179 15928
/proc/meminfo: memFree=30227100/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 68263 0 0 0 60 9 0 0 20 0 4 0 109928768 1344868352 68562 33554432000 4194304 16246674 140736749441520 140736749440832 7439429 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 328337 68562 801 2943 0 325231 0
[pid=15928/tid=15929] ppid=15925 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 1344868352 68562 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 1344868352 68562 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 1344868352 68562 33554432000 4194304 16246674 140736749441520 140073426209968 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) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 15932
/proc/meminfo: memFree=29135912/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=1368644 CPUtime=1.49 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 98137 0 0 0 135 14 0 0 20 0 4 0 109928768 1401491456 100991 33554432000 4194304 16246674 140736749441520 140736749439360 5876468 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 342161 100991 833 2943 0 339055 0
[pid=15928/tid=15929] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 100991 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 100991 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 100991 33554432000 4194304 16246674 140736749441520 140073426209968 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) 1368644

[startup+3.10046 s]
/proc/loadavg: 2.16 2.20 2.18 3/183 15932
/proc/meminfo: memFree=28466116/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=1368644 CPUtime=3.09 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 279714 0 0 0 266 43 0 0 20 0 4 0 109928768 1401491456 282568 33554432000 4194304 16246674 140736749441520 140736749423424 4220936 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 342161 282568 839 2943 0 339055 0
[pid=15928/tid=15929] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 282568 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 282568 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 282568 33554432000 4194304 16246674 140736749441520 140073426209968 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) 1368644

[startup+6.30044 s]
/proc/loadavg: 2.16 2.20 2.18 3/183 15932
/proc/meminfo: memFree=28261596/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=1368644 CPUtime=6.29 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 279768 0 0 0 586 43 0 0 20 0 4 0 109928768 1401491456 283133 33554432000 4194304 16246674 140736749441520 140736749423424 5666984 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 342161 283133 890 2943 0 339055 0
[pid=15928/tid=15929] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 283133 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 283133 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 283133 33554432000 4194304 16246674 140736749441520 140073426209968 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) 1368644

[startup+12.7004 s]
/proc/loadavg: 2.23 2.21 2.18 3/183 15932
/proc/meminfo: memFree=27448228/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=1368644 CPUtime=12.69 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 279769 0 0 0 1226 43 0 0 20 0 4 0 109928768 1401491456 283134 33554432000 4194304 16246674 140736749441520 140736749423424 5532192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 342161 283134 890 2943 0 339055 0
[pid=15928/tid=15929] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 283134 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 283134 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 283134 33554432000 4194304 16246674 140736749441520 140073426209968 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) 1368644

[startup+25.5005 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 15932
/proc/meminfo: memFree=25499684/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=1368644 CPUtime=25.48 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 279769 0 0 0 2505 43 0 0 20 0 4 0 109928768 1401491456 283134 33554432000 4194304 16246674 140736749441520 140736749423424 5754924 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 342161 283134 890 2943 0 339055 0
[pid=15928/tid=15929] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 283134 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 283134 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 283134 33554432000 4194304 16246674 140736749441520 140073426209968 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) 1368644

[startup+51.1005 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 15932
/proc/meminfo: memFree=22492724/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=1368644 CPUtime=51.08 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 279769 0 0 0 5065 43 0 0 20 0 4 0 109928768 1401491456 283134 33554432000 4194304 16246674 140736749441520 140736749423424 5754924 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 342161 283134 890 2943 0 339055 0
[pid=15928/tid=15929] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 283134 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 283134 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 283134 33554432000 4194304 16246674 140736749441520 140073426209968 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) 1368644

[startup+102.301 s]
/proc/loadavg: 2.32 2.23 2.19 3/183 15933
/proc/meminfo: memFree=18012224/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=1368644 CPUtime=102.28 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 279774 0 0 0 10184 44 0 0 20 0 4 0 109928768 1401491456 283139 33554432000 4194304 16246674 140736749441520 140736749423424 5754924 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 342161 283139 893 2943 0 339055 0
[pid=15928/tid=15929] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 283139 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 283139 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 1401491456 283139 33554432000 4194304 16246674 140736749441520 140073426209968 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) 1368644


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

/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 2472087552 544524 33554432000 4194304 16246674 140736749441520 140073426209968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 2414148

[startup+1362.3 s]
/proc/loadavg: 2.05 2.13 2.16 3/183 16013
/proc/meminfo: memFree=27272532/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=2414148 CPUtime=1361.9 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 541480 0 0 0 136082 108 0 0 20 0 4 0 109928768 2472087552 544524 33554432000 4194304 16246674 140736749441520 140736749440696 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 603537 544524 899 2943 0 600431 0
[pid=15928/tid=15929] ppid=15925 vsize=2414148 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 2472087552 544524 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=2414148 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 2472087552 544524 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=2414148 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 2472087552 544524 33554432000 4194304 16246674 140736749441520 140073426209968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 2414148

[startup+1422.3 s]
/proc/loadavg: 2.07 2.11 2.15 3/183 16015
/proc/meminfo: memFree=27095960/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=2590276 CPUtime=1421.9 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 585519 0 0 0 142065 125 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140736749423424 5661428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 647569 588556 899 2943 0 644463 0
[pid=15928/tid=15929] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073426209968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 2590276

[startup+1482.3 s]
/proc/loadavg: 2.06 2.11 2.14 4/183 16016
/proc/meminfo: memFree=27095368/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=2590276 CPUtime=1481.87 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 585522 0 0 0 148052 135 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140736749440696 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 647569 588556 899 2943 0 644463 0
[pid=15928/tid=15929] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073426209968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 2590276

[startup+1542.31 s]
/proc/loadavg: 2.12 2.11 2.14 3/183 16017
/proc/meminfo: memFree=27095516/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=2590276 CPUtime=1541.87 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 585522 0 0 0 154048 139 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140736749440696 4220936 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 647569 588556 899 2943 0 644463 0
[pid=15928/tid=15929] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073426209968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 2590276

[startup+1602.3 s]
/proc/loadavg: 2.16 2.12 2.14 3/183 16018
/proc/meminfo: memFree=27095428/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=2590276 CPUtime=1601.85 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 585539 0 0 0 160041 144 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140736749440696 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 647569 588556 899 2943 0 644463 0
[pid=15928/tid=15929] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073426209968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 2590276

[startup+1662.3 s]
/proc/loadavg: 2.10 2.11 2.13 4/184 16022
/proc/meminfo: memFree=27094696/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=2590276 CPUtime=1661.83 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 585542 0 0 0 166029 154 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140736749423424 5822548 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 647569 588556 899 2943 0 644463 0
[pid=15928/tid=15929] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073426209968 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) 2590276

[startup+1722.3 s]
/proc/loadavg: 2.23 2.15 2.14 4/183 16024
/proc/meminfo: memFree=27095384/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=2590276 CPUtime=1721.82 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 585554 0 0 0 172025 157 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140736749423424 6842607 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 647569 588556 899 2943 0 644463 0
[pid=15928/tid=15929] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073426209968 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) 2590276

[startup+1782.3 s]
/proc/loadavg: 2.13 2.13 2.14 3/183 16025
/proc/meminfo: memFree=27090124/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=2590276 CPUtime=1781.81 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 585555 0 0 0 178020 161 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140736749440696 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 647569 588556 899 2943 0 644463 0
[pid=15928/tid=15929] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073426209968 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) 2590276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.18 2.14 2.14 3/183 16025
/proc/meminfo: memFree=27068412/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=2590276 CPUtime=1800 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 585555 0 0 0 179838 162 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140736749423424 5673428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 647569 588556 899 2943 0 644463 0
[pid=15928/tid=15929] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073426209968 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) 2590276

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

[startup+1800.5 s]
/proc/loadavg: 2.18 2.14 2.14 3/183 16025
/proc/meminfo: memFree=27068412/32872528 swapFree=12208/1156848
[pid=15928] ppid=15925 vsize=2590276 CPUtime=1800 cores=1,3,5,7
/proc/15928/stat : 15928 (toysat) R 15925 15928 15571 0 -1 4202496 585555 0 0 0 179838 162 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140736749423424 5673428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 647569 588556 899 2943 0 644463 0
[pid=15928/tid=15929] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15929/stat : 15929 (toysat) S 15925 15928 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073447173360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15928/tid=15930] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15930/stat : 15930 (toysat) S 15925 15928 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073436683504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15928/tid=15931] ppid=15925 vsize=2590276 CPUtime=0 cores=1,3,5,7
/proc/15928/task/15931/stat : 15931 (toysat) S 15925 15928 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109928768 2652442624 588556 33554432000 4194304 16246674 140736749441520 140073426209968 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) 2590276

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.39
system time used= 1.62875
maximum resident set size= 2354224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 585555
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= 490
involuntary context switches= 1819

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8932 second user time and 17.1994 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 08:12:22
IDJOB=4079211
IDBENCH=89890
IDSOLVER=2542
FILE ID=node114/4079211-1465279942
RUNJOBID= node114-1465276339-15588
PBS_JOBID= 19843307
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-netdiversion.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079211-1465279942/watcher-4079211-1465279942 -o /tmp/evaluation-result-4079211-1465279942/solver-4079211-1465279942 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465276339-15588 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079211-1465279942.opb

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

MD5SUM BENCH= 2c0dd2737108318b86d3c4c102584cdd
RANDOM SEED=994828134

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30241144 kB
Buffers:          138224 kB
Cached:           251900 kB
SwapCached:         1696 kB
Active:           495876 kB
Inactive:         239648 kB
Active(anon):     346096 kB
Inactive(anon):     1252 kB
Active(file):     149780 kB
Inactive(file):   238396 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             40388 kB
Writeback:             8 kB
AnonPages:       1500112 kB
Mapped:            10636 kB
Shmem:                 0 kB
Slab:             603080 kB
SReclaimable:      46988 kB
SUnreclaim:       556092 kB
KernelStack:        1456 kB
PageTables:         8224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2375880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1146880 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= 71688 MiB
End job on node114 at 2016-06-07 08:42:23