Trace number 4108349

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12013_5.std.opb
MD5SUM5495138de3d55ac13cf4e73f1acf7a00
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark93
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234296
Number of constraints which are clauses233096
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint95
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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-19T01:03:04+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-4108349-1466290984.opb"]
0.00/0.01	c use --random-gen="1862546577 484854414 1714214479 1166050571 350828480 780224325 1004253340 3782818931 253849701 3587878207 3920860868 1459413736 44558074 3389892164 3046519713 354293275 1085710731 938951395 2162815866 2174253721 1038965008 1184349659 1474874686 631731015 4164777420 2213871259 1473277602 3565207074 3487781246 3989020750 47716596 3975153488 246589345 1572080446 1629359762 1484062148 3740654096 3039194057 60414734 462687555 53240379 1035842514 3783785676 1927566243 2290483370 1951704862 3893118018 1311681838 4001360830 2962067221 1835028268 1023175912 2880889328 3675055441 831853418 3114122587 1561979024 426345953 3533918406 2424415560 744632958 948819416 297942307 2313955329 4098226924 1980805227 2297088690 2819512039 1563867426 1058980644 1543333205 1032419191 2348638830 1676685290 2040526018 2404633723 3150513504 2407334599 923830083 3651569571 114215390 4073744663 1595247698 2882893527 1802481478 2617305229 2031382192 2323695060 1468091948 3881924457 2934984444 2671315854 954726454 1908739106 3977356178 3585805755 2305432308 148536744 3281299832 880736186 1151122782 708589148 2206720907 4087251376 1577198437 1801594291 3549724877 529782699 4032424513 1236172487 3979581391 3514810787 1001116265 282371377 3074039700 2018959869 2030338630 2969450868 1538369598 1269325673 1287670099 4080869361 1539483887 2261174318 1939762042 1616651369 3020116368 256191927 1428022583 2938129223 907363060 4081307203 3607296516 2956308100 634247424 3397147961 4178715538 2459812412 2928395004 1864763964 2189288288 1704557506 1622923097 4282364790 2679627622 668420287 1958715458 929315484 1708579313 3960126886 3421884404 3079746693 4131679917 3310909910 3907856540 2370574411 2740783401 389280168 309959166 161665710 1394470666 3345165470 6791269 3672678124 3407177392 510928652 1235047545 2529766820 3157880932 3377333620 712291363 3166955279 2719490622 2955623157 2223478815 1237770266 3241805526 2973043895 1500547182 2319622070 3836607704 2641869449 2914362238 3408579724 4059717880 86431353 1248281071 3412276828 870014680 2884232437 627923107 475437667 4080251531 3974642745 3405665951 2736545293 2385591110 2959826411 2530440624 1685331439 2408081618 3048516595 3054079106 2042581575 4271518848 3181594111 461043519 1189019941 2341766351 94871540 1996879623 3394442626 898692100 2917852878 4122496218 3398445734 2474470587 394264769 1836577120 2846438878 1687438122 3844252862 2999359508 536043324 652315539 1777717138 1099528117 154783958 743681138 4232772474 3890790300 1279883959 2393374784 3660152648 1047942013 1820360530 3391177551 1461764416 3505377009 3510103483 2116935567 2090111869 2685404703 2130404073 571788927 3369448452 3539626425 3141741209 2500135788 4061762888 2295567327 1455092330 3969816798 1062885648 1149838060 1639948204 255 362436" option to reproduce the execution
1.29/1.38	c #vars 72842
1.29/1.38	c #constraints 234296
4.29/4.33	c BCD2: Hardening is enabled.
4.29/4.33	c BCD2: BiasedSearch is enabled.
4.29/4.33	c Solving starts ...
4.29/4.33	c ============================[ Search Statistics ]============================
4.29/4.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.29/4.33	c       |         |          |          |    Limit     GC | Var      | Constra 
4.29/4.33	c =============================================================================
4.50/4.54	c  0.0s |       0 |        0 |        0 |    90187      0 |    14683 |        0
4.69/4.79	c  0.3s |       0 |      121 |        0 |    90187      0 |    14683 |    16851
4.69/4.79	c #cpu_time = 0.218s
4.69/4.79	c #wall_clock_time = 0.218s
4.69/4.79	c #decision = 121
4.69/4.79	c #random_decision = 0
4.69/4.79	c #conflict = 0
4.69/4.79	c #restart = 0
4.69/4.79	o 300
4.69/4.79	c BCD2: hardening fixes 1 literals
4.69/4.79	c BCD2: updating upper bound: 45150 -> 299
4.69/4.79	c BCD2: 0 <= obj <= 299
4.69/4.79	c BCD2: #cores=0, #unrelaxed=299, #relaxed=0, #hardened=1
4.69/4.79	c BCD2: #sat=1 #unsat=1 bias=1/2
4.69/4.79	c Solving starts ...
4.69/4.79	c ============================[ Search Statistics ]============================
4.69/4.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.69/4.79	c       |         |          |          |    Limit     GC | Var      | Constra 
4.69/4.79	c =============================================================================
4.69/4.79	c  0.0s |       0 |        0 |        0 |    90187      0 |    14925 |    16851
4.99/5.02	c  0.2s |       0 |      220 |        0 |    90187      0 |    14925 |    17636
4.99/5.02	c #cpu_time = 0.208s
4.99/5.02	c #wall_clock_time = 0.208s
4.99/5.02	c #decision = 220
4.99/5.02	c #random_decision = 0
4.99/5.02	c #conflict = 0
4.99/5.02	c #restart = 0
4.99/5.02	c BCD2: found a new core of size 221: cost of the new core is >=79
4.99/5.02	c lower bound updated to 79
5.09/5.15	c BCD2: 79 <= obj <= 299
5.09/5.15	c BCD2: #cores=1, #unrelaxed=78, #relaxed=221, #hardened=1
5.09/5.15	c BCD2: #sat=1 #unsat=2 bias=2/3
6.70/6.73	c Solving starts ...
6.70/6.73	c ============================[ Search Statistics ]============================
6.70/6.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.70/6.73	c       |         |          |          |    Limit     GC | Var      | Constra 
6.70/6.73	c =============================================================================
6.70/6.73	c  0.0s |       0 |        0 |        0 |    90187      0 |    14925 |    17636
6.99/7.04	c  0.3s |       1 |      131 |      100 |    90187      0 |    14925 |    17636
7.39/7.43	c  0.7s |       2 |      323 |      250 |    99206      0 |    14925 |    17636
7.89/7.90	c  1.2s |       3 |      625 |      475 |   109127      0 |    14925 |    17636
8.59/8.61	c  1.9s |       4 |     1052 |      813 |   120040      0 |    14925 |    17636
9.49/9.58	c  2.9s |       5 |     1693 |     1320 |   132044      0 |    14925 |    17636
10.89/10.93	c  4.2s |       6 |     2606 |     2081 |   159774      0 |    14925 |    17636
12.79/12.84	c  6.1s |       6 |     3960 |     3174 |   159774      0 |    14926 |    17637
12.79/12.84	c #cpu_time = 6.090s
12.79/12.84	c #wall_clock_time = 6.106s
12.79/12.84	c #decision = 3960
12.79/12.84	c #random_decision = 2
12.79/12.84	c #conflict = 3174
12.79/12.84	c #restart = 6
12.79/12.84	c BCD2: updating lower bound of a core
12.79/12.84	c lower bound updated to 80
12.79/12.84	c BCD2: 80 <= obj <= 299
12.79/12.84	c BCD2: #cores=1, #unrelaxed=78, #relaxed=221, #hardened=1
12.79/12.84	c BCD2: #sat=1 #unsat=3 bias=3/4
14.29/14.40	c Solving starts ...
14.29/14.40	c ============================[ Search Statistics ]============================
14.29/14.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
14.29/14.40	c       |         |          |          |    Limit     GC | Var      | Constra 
14.29/14.40	c =============================================================================
14.29/14.40	c  0.0s |       0 |        0 |        0 |   159774      0 |    14926 |    17637
14.69/14.76	c  0.4s |       1 |      147 |      100 |   175752      0 |    14926 |    17637
15.09/15.16	c  0.8s |       2 |      344 |      250 |   175752      0 |    14926 |    17637
15.69/15.75	c  1.3s |       3 |      648 |      475 |   175752      0 |    14926 |    17637
16.39/16.43	c  2.0s |       4 |     1112 |      813 |   175752      0 |    14926 |    17637
17.29/17.38	c  3.0s |       5 |     1759 |     1320 |   175752      0 |    14926 |    17637
18.59/18.68	c  4.3s |       6 |     2771 |     2081 |   193328      0 |    14926 |    17637
20.59/20.68	c  6.3s |       7 |     4244 |     3223 |   193328      0 |    14926 |    17637
22.79/22.83	c  8.4s |       7 |     5844 |     4423 |   212661      0 |    14926 |    17637
23.59/23.60	c  9.2s |       8 |     6450 |     4936 |   212661      0 |    14926 |    17637
25.59/25.69	c 11.3s |       8 |     7730 |     5936 |   212661      0 |    14926 |    17637
27.68/27.79	c 13.4s |       8 |     9263 |     7136 |   212661      0 |    14926 |    17637
28.38/28.49	c 14.1s |       9 |     9734 |     7506 |   212661      0 |    14926 |    17637
30.58/30.69	c 16.3s |       9 |    11027 |     8506 |   233928      0 |    14926 |    17637
32.78/32.85	c 18.4s |       9 |    12407 |     9606 |   233928      0 |    14926 |    17637
34.98/35.05	c 20.7s |       9 |    13728 |    10706 |   233928      0 |    14926 |    17637
36.48/36.51	c 22.1s |      10 |    14505 |    11361 |   233928      0 |    14926 |    17637
38.49/38.55	c 24.2s |      10 |    15401 |    12061 |   233928      0 |    14926 |    17637
40.58/40.69	c 26.3s |      10 |    16386 |    12861 |   233928      0 |    14926 |    17637
42.68/42.70	c 28.3s |      10 |    17484 |    13761 |   233928      0 |    14926 |    17637
44.68/44.72	c 30.3s |      10 |    18766 |    14761 |   257321      0 |    14926 |    17637
46.78/46.83	c 32.4s |      10 |    20035 |    15761 |   257321      0 |    14926 |    17637
48.78/48.88	c 34.5s |      10 |    21147 |    16661 |   257321      0 |    14926 |    17637
49.98/50.01	c 35.6s |      11 |    21758 |    17144 |   257321      0 |    14926 |    17637
52.08/52.13	c 37.7s |      11 |    22644 |    17844 |   257321      0 |    14926 |    17637
54.28/54.31	c 39.9s |      11 |    23882 |    18844 |   257321      0 |    14926 |    17637
56.28/56.34	c 41.9s |      11 |    25012 |    19744 |   257321      0 |    14926 |    17637
58.38/58.49	c 44.1s |      11 |    26184 |    20644 |   257321      0 |    14926 |    17637
60.48/60.58	c 46.2s |      11 |    27180 |    21444 |   257321      0 |    14926 |    17637
62.47/62.58	c 48.2s |      11 |    28059 |    22144 |   257321      0 |    14926 |    17637
62.97/63.08	c 48.7s |      11 |    28134 |    22220 |   257321      0 |    14927 |    17638
62.97/63.08	c #cpu_time = 48.549s
62.97/63.08	c #wall_clock_time = 48.680s
62.97/63.08	c #decision = 28134
62.97/63.08	c #random_decision = 12
62.97/63.08	c #conflict = 22220
62.97/63.08	c #restart = 11
62.97/63.08	c BCD2: updating lower bound of a core
62.97/63.08	c lower bound updated to 81
62.97/63.08	c BCD2: 81 <= obj <= 299
62.97/63.08	c BCD2: #cores=1, #unrelaxed=78, #relaxed=221, #hardened=1
62.97/63.08	c BCD2: #sat=1 #unsat=4 bias=4/5
64.57/64.65	c Solving starts ...
64.57/64.65	c ============================[ Search Statistics ]============================
64.57/64.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
64.57/64.65	c       |         |          |          |    Limit     GC | Var      | Constra 
64.57/64.65	c =============================================================================
64.57/64.65	c  0.0s |       0 |        0 |        0 |   257321      0 |    14927 |    17638
65.17/65.25	c  0.6s |       1 |      154 |      100 |   257321      0 |    14927 |    17638
65.87/65.93	c  1.3s |       2 |      347 |      250 |   257321      0 |    14927 |    17638
66.67/66.75	c  2.1s |       3 |      640 |      475 |   283054      0 |    14927 |    17638
67.77/67.84	c  3.2s |       4 |     1038 |      813 |   283054      0 |    14927 |    17638
69.38/69.42	c  4.8s |       5 |     1807 |     1320 |   283054      0 |    14927 |    17638
71.37/71.47	c  6.8s |       5 |     2666 |     2020 |   283054      0 |    14927 |    17638
71.58/71.65	c  7.0s |       6 |     2724 |     2081 |   283054      0 |    14927 |    17638
73.68/73.77	c  9.1s |       6 |     3645 |     2781 |   283054      0 |    14927 |    17638
74.57/74.66	c 10.0s |       7 |     4240 |     3223 |   283054      0 |    14927 |    17638
76.77/76.81	c 12.2s |       7 |     5369 |     4023 |   283054      0 |    14927 |    17638
78.77/78.90	c 14.2s |       7 |     6555 |     4923 |   283054      0 |    14927 |    17638
78.87/78.95	c 14.3s |       8 |     6564 |     4936 |   283054      0 |    14927 |    17638
80.97/81.01	c 16.4s |       8 |     7449 |     5636 |   283054      0 |    14927 |    17638
82.97/83.09	c 18.4s |       8 |     8561 |     6536 |   283054      0 |    14927 |    17638
85.07/85.10	c 20.4s |       8 |     9590 |     7336 |   283054      0 |    14927 |    17638
85.47/85.51	c 20.9s |       9 |     9824 |     7506 |   283054      0 |    14927 |    17638
87.56/87.60	c 23.0s |       9 |    10837 |     8306 |   283054      0 |    14927 |    17638
89.76/89.83	c 25.2s |       9 |    12094 |     9306 |   283054      0 |    14927 |    17638
91.86/91.95	c 27.3s |       9 |    13246 |    10206 |   283054      0 |    14927 |    17638
93.96/94.09	c 29.4s |       9 |    14192 |    11006 |   283054      0 |    14927 |    17638
94.96/95.05	c 30.4s |      10 |    14625 |    11361 |   283054      0 |    14927 |    17638
97.16/97.27	c 32.6s |      10 |    15554 |    12061 |   283054      0 |    14927 |    17638
99.36/99.46	c 34.8s |      10 |    16580 |    12861 |   283054      0 |    14927 |    17638
101.46/101.58	c 36.9s |      10 |    17437 |    13561 |   311360      0 |    14927 |    17638
103.66/103.75	c 39.1s |      10 |    18302 |    14261 |   311360      0 |    14927 |    17638
105.76/105.85	c 41.2s |      10 |    19106 |    14961 |   311360      0 |    14927 |    17638
107.76/107.85	c 43.2s |      10 |    19995 |    15661 |   311360      0 |    14927 |    17638
109.96/110.09	c 45.4s |      10 |    20831 |    16361 |   311360      0 |    14927 |    17638
112.16/112.21	c 47.6s |      10 |    21562 |    16961 |   311360      0 |    14927 |    17638
112.75/112.86	c 48.2s |      11 |    21817 |    17144 |   311360      0 |    14927 |    17638
114.85/114.99	c 50.3s |      11 |    22454 |    17644 |   311360      0 |    14927 |    17638
117.05/117.10	c 52.4s |      11 |    23350 |    18344 |   311360      0 |    14927 |    17638
119.05/119.17	c 54.5s |      11 |    24242 |    19044 |   311360      0 |    14927 |    17638
121.15/121.24	c 56.6s |      11 |    25114 |    19744 |   311360      0 |    14927 |    17638
123.26/123.32	c 58.7s |      11 |    26020 |    20444 |   311360      0 |    14927 |    17638
125.36/125.44	c 60.8s |      11 |    26881 |    21144 |   311360      0 |    14927 |    17638
127.66/127.76	c 63.1s |      11 |    27745 |    21844 |   311360      0 |    14927 |    17638
129.76/129.83	c 65.2s |      11 |    28447 |    22444 |   311360      0 |    14927 |    17638
131.85/131.94	c 67.3s |      11 |    29181 |    23044 |   311360      0 |    14927 |    17638
134.15/134.25	c 69.6s |      11 |    29880 |    23644 |   311360      0 |    14927 |    17638
136.45/136.56	c 71.9s |      11 |    30610 |    24244 |   311360      0 |    14927 |    17638
138.55/138.62	c 74.0s |      11 |    31347 |    24844 |   311360      0 |    14927 |    17638
140.64/140.72	c 76.1s |      11 |    32064 |    25444 |   311360      0 |    14927 |    17638
141.95/142.08	c 77.4s |      12 |    32553 |    25819 |   311360      0 |    14927 |    17638
144.05/144.13	c 79.5s |      12 |    33106 |    26219 |   311360      0 |    14927 |    17638
146.25/146.38	c 81.7s |      12 |    33849 |    26819 |   311360      0 |    14927 |    17638
148.64/148.73	c 84.1s |      12 |    34588 |    27419 |   311360      0 |    14927 |    17638
150.65/150.80	c 86.2s |      12 |    35326 |    28019 |   311360      0 |    14927 |    17638
152.74/152.87	c 88.2s |      12 |    35941 |    28519 |   311360      0 |    14927 |    17638
155.05/155.18	c 90.5s |      12 |    36709 |    29119 |   311360      0 |    14927 |    17638
157.44/157.54	c 92.9s |      12 |    37424 |    29719 |   311360      0 |    14927 |    17638
159.44/159.57	c 94.9s |      12 |    38041 |    30219 |   311360      0 |    14927 |    17638
161.74/161.82	c 97.2s |      12 |    38777 |    30819 |   311360      0 |    14927 |    17638
164.04/164.19	c 99.5s |      12 |    39515 |    31419 |   311360      0 |    14927 |    17638
166.43/166.51	c  101s |      12 |    40235 |    32019 |   311360      0 |    14927 |    17638
168.53/168.61	c  103s |      12 |    41007 |    32619 |   342496      0 |    14927 |    17638
170.73/170.89	c  106s |      12 |    41747 |    33219 |   342496      0 |    14927 |    17638
173.03/173.14	c  108s |      12 |    42498 |    33819 |   342496      0 |    14927 |    17638
175.23/175.31	c  110s |      12 |    43070 |    34319 |   342496      0 |    14927 |    17638
177.33/177.40	c  112s |      12 |    43676 |    34819 |   342496      0 |    14927 |    17638
179.53/179.66	c  115s |      12 |    44428 |    35419 |   342496      0 |    14927 |    17638
181.73/181.82	c  117s |      12 |    45211 |    36019 |   342496      0 |    14927 |    17638
184.03/184.13	c  119s |      12 |    45826 |    36519 |   342496      0 |    14927 |    17638
186.13/186.29	c  121s |      12 |    46607 |    37119 |   342496      0 |    14927 |    17638
188.43/188.59	c  123s |      12 |    47360 |    37719 |   342496      0 |    14927 |    17638
190.83/190.99	c  126s |      12 |    48105 |    38319 |   342496      0 |    14927 |    17638
192.93/193.08	c  128s |      12 |    48715 |    38819 |   342496      0 |    14927 |    17638
193.03/193.16	c  128s |      13 |    48731 |    38832 |   342496      0 |    14927 |    17638
195.33/195.46	c  130s |      13 |    49362 |    39332 |   342496      0 |    14927 |    17638
197.53/197.69	c  133s |      13 |    50107 |    39932 |   342496      0 |    14927 |    17638
199.73/199.88	c  135s |      13 |    50831 |    40532 |   342496      0 |    14927 |    17638
201.93/202.01	c  137s |      13 |    51571 |    41132 |   342496      0 |    14927 |    17638
204.32/204.45	c  139s |      13 |    52296 |    41732 |   342496      0 |    14927 |    17638
206.42/206.54	c  141s |      13 |    52942 |    42232 |   342496      0 |    14927 |    17638
208.52/208.64	c  143s |      13 |    53537 |    42732 |   342496      0 |    14927 |    17638
210.72/210.89	c  146s |      13 |    54121 |    43232 |   342496      0 |    14927 |    17638
213.02/213.15	c  148s |      13 |    54837 |    43832 |   342496      0 |    14927 |    17638
215.22/215.32	c  150s |      13 |    55557 |    44432 |   342496      0 |    14927 |    17638
217.42/217.54	c  152s |      13 |    56287 |    45032 |   342496      0 |    14927 |    17638
219.72/219.89	c  155s |      13 |    57039 |    45632 |   342496      0 |    14927 |    17638
222.13/222.29	c  157s |      13 |    57747 |    46232 |   342496      0 |    14927 |    17638
224.22/224.35	c  159s |      13 |    58493 |    46832 |   342496      0 |    14927 |    17638
226.22/226.37	c  161s |      13 |    59248 |    47432 |   342496      0 |    14927 |    17638
228.52/228.62	c  163s |      13 |    60030 |    48032 |   342496      0 |    14927 |    17638
230.62/230.73	c  166s |      13 |    60669 |    48532 |   342496      0 |    14927 |    17638
232.61/232.76	c  168s |      13 |    61281 |    49032 |   342496      0 |    14927 |    17638
234.81/234.95	c  170s |      13 |    61886 |    49532 |   342496      0 |    14927 |    17638
237.21/237.30	c  172s |      13 |    62637 |    50132 |   342496      0 |    14927 |    17638
239.41/239.55	c  174s |      13 |    63402 |    50732 |   342496      0 |    14927 |    17638
241.61/241.71	c  177s |      13 |    64163 |    51332 |   342496      0 |    14927 |    17638
244.01/244.11	c  179s |      13 |    64936 |    51932 |   342496      0 |    14927 |    17638
246.31/246.46	c  181s |      13 |    65688 |    52532 |   342496      0 |    14927 |    17638
248.41/248.54	c  183s |      13 |    66261 |    53032 |   342496      0 |    14927 |    17638
250.51/250.65	c  185s |      13 |    66877 |    53532 |   342496      0 |    14927 |    17638
252.71/252.84	c  188s |      13 |    67458 |    54032 |   342496      0 |    14927 |    17638
254.71/254.87	c  190s |      13 |    68059 |    54532 |   342496      0 |    14927 |    17638
257.20/257.37	c  192s |      13 |    68784 |    55132 |   342496      0 |    14927 |    17638
259.51/259.68	c  195s |      13 |    69395 |    55632 |   342496      0 |    14927 |    17638
261.71/261.83	c  197s |      13 |    70000 |    56132 |   342496      0 |    14927 |    17638
263.91/264.05	c  199s |      13 |    70626 |    56632 |   342496      0 |    14927 |    17638
266.00/266.11	c  201s |      13 |    71205 |    57132 |   342496      0 |    14927 |    17638
268.00/268.16	c  203s |      13 |    71795 |    57632 |   342496      0 |    14927 |    17638
270.30/270.42	c  205s |      13 |    72398 |    58132 |   342496      0 |    14927 |    17638
271.30/271.44	c  206s |      14 |    72672 |    58352 |   342496      0 |    14927 |    17638
273.30/273.44	c  208s |      14 |    73115 |    58652 |   342496      0 |    14927 |    17638
275.50/275.69	c  211s |      14 |    73860 |    59252 |   342496      0 |    14927 |    17638
277.70/277.83	c  213s |      14 |    74602 |    59852 |   342496      0 |    14927 |    17638
279.80/279.99	c  215s |      14 |    75367 |    60452 |   342496      0 |    14927 |    17638
282.10/282.24	c  217s |      14 |    76127 |    61052 |   342496      0 |    14927 |    17638
284.50/284.66	c  220s |      14 |    76854 |    61652 |   376746      0 |    14927 |    17638
286.90/287.01	c  222s |      14 |    77630 |    62252 |   376746      0 |    14927 |    17638
289.10/289.26	c  224s |      14 |    78260 |    62752 |   376746      0 |    14927 |    17638
291.50/291.63	c  226s |      14 |    78882 |    63252 |   376746      0 |    14927 |    17638
293.90/294.08	c  229s |      14 |    79498 |    63752 |   376746      0 |    14927 |    17638
296.00/296.16	c  231s |      14 |    79992 |    64152 |   376746      0 |    14927 |    17638
298.10/298.27	c  233s |      14 |    80607 |    64652 |   376746      0 |    14927 |    17638
300.49/300.67	c  236s |      14 |    81205 |    65152 |   376746      0 |    14927 |    17638
302.89/303.03	c  238s |      14 |    81853 |    65652 |   376746      0 |    14927 |    17638
304.99/305.16	c  240s |      14 |    82508 |    66152 |   376746      0 |    14927 |    17638
307.39/307.57	c  242s |      14 |    83125 |    66652 |   376746      0 |    14927 |    17638
309.79/309.99	c  245s |      14 |    83845 |    67152 |   376746      0 |    14927 |    17638
311.99/312.15	c  247s |      14 |    84476 |    67652 |   376746      0 |    14927 |    17638
314.29/314.46	c  249s |      14 |    85127 |    68152 |   376746      0 |    14927 |    17638
316.49/316.62	c  251s |      14 |    85779 |    68652 |   376746      0 |    14927 |    17638
318.78/318.90	c  254s |      14 |    86396 |    69152 |   376746      0 |    14927 |    17638
320.98/321.10	c  256s |      14 |    87029 |    69652 |   376746      0 |    14927 |    17638
323.39/323.55	c  258s |      14 |    87642 |    70152 |   376746      0 |    14927 |    17638
325.68/325.86	c  261s |      14 |    88268 |    70652 |   376746      0 |    14927 |    17638
327.79/327.94	c  263s |      14 |    88793 |    71052 |   376746      0 |    14927 |    17638
329.88/330.01	c  265s |      14 |    89328 |    71452 |   376746      0 |    14927 |    17638
332.28/332.47	c  267s |      14 |    89965 |    71952 |   376746      0 |    14927 |    17638
334.28/334.49	c  269s |      14 |    90476 |    72352 |   376746      0 |    14927 |    17638
336.88/337.04	c  272s |      14 |    91117 |    72852 |   376746      0 |    14927 |    17638
339.38/339.57	c  274s |      14 |    91733 |    73352 |   376746      0 |    14927 |    17638
341.58/341.75	c  277s |      14 |    92423 |    73852 |   376746      0 |    14927 |    17638
343.67/343.85	c  279s |      14 |    92924 |    74252 |   376746      0 |    14927 |    17638
345.87/346.03	c  281s |      14 |    93435 |    74652 |   376746      0 |    14927 |    17638
348.07/348.20	c  283s |      14 |    93936 |    75052 |   376746      0 |    14927 |    17638
350.47/350.60	c  285s |      14 |    94553 |    75552 |   376746      0 |    14927 |    17638
352.57/352.77	c  288s |      14 |    95047 |    75952 |   376746      0 |    14927 |    17638
354.87/355.04	c  290s |      14 |    95566 |    76352 |   376746      0 |    14927 |    17638
357.07/357.22	c  292s |      14 |    96031 |    76752 |   376746      0 |    14927 |    17638
359.17/359.32	c  294s |      14 |    96535 |    77152 |   376746      0 |    14927 |    17638
361.27/361.41	c  296s |      14 |    97018 |    77552 |   376746      0 |    14927 |    17638
363.27/363.49	c  298s |      14 |    97497 |    77952 |   376746      0 |    14927 |    17638
365.47/365.63	c  300s |      14 |    97987 |    78352 |   376746      0 |    14927 |    17638
367.67/367.83	c  303s |      14 |    98624 |    78852 |   376746      0 |    14927 |    17638
369.77/369.91	c  305s |      14 |    99127 |    79252 |   376746      0 |    14927 |    17638
371.87/372.08	c  307s |      14 |    99771 |    79752 |   376746      0 |    14927 |    17638
374.07/374.26	c  309s |      14 |   100419 |    80252 |   376746      0 |    14927 |    17638
376.37/376.51	c  311s |      14 |   101084 |    80752 |   376746      0 |    14927 |    17638
378.56/378.71	c  314s |      14 |   101717 |    81252 |   376746      0 |    14927 |    17638
380.66/380.81	c  316s |      14 |   102234 |    81652 |   376746      0 |    14927 |    17638
382.86/383.06	c  318s |      14 |   102763 |    82052 |   376746      0 |    14927 |    17638
384.97/385.11	c  320s |      14 |   103412 |    82552 |   376746      0 |    14927 |    17638
387.26/387.47	c  322s |      14 |   103923 |    82952 |   376746      0 |    14927 |    17638
389.76/389.98	c  325s |      14 |   104521 |    83452 |   376746      0 |    14927 |    17638
391.86/392.06	c  327s |      14 |   105002 |    83852 |   376746      0 |    14927 |    17638
394.26/394.42	c  329s |      14 |   105591 |    84352 |   376746      0 |    14927 |    17638
396.56/396.75	c  332s |      14 |   106082 |    84752 |   376746      0 |    14927 |    17638
399.16/399.32	c  334s |      14 |   106600 |    85152 |   376746      0 |    14927 |    17638
401.55/401.70	c  337s |      14 |   107081 |    85552 |   376746      0 |    14927 |    17638
403.66/403.83	c  339s |      14 |   107563 |    85952 |   376746      0 |    14927 |    17638
406.15/406.34	c  341s |      14 |   108213 |    86452 |   376746      0 |    14927 |    17638
408.64/408.88	c  344s |      14 |   108843 |    86952 |   376746      0 |    14927 |    17638
410.74/410.94	c  346s |      14 |   109324 |    87352 |   376746      0 |    14927 |    17638
412.35/412.59	c  347s |      15 |   109650 |    87632 |   376746      0 |    14927 |    17638
414.94/415.19	c  350s |      15 |   110042 |    87932 |   376746      0 |    14927 |    17638
417.24/417.49	c  352s |      15 |   110526 |    88332 |   376746      0 |    14927 |    17638
419.54/419.77	c  355s |      15 |   111002 |    88732 |   376746      0 |    14927 |    17638
421.84/422.05	c  357s |      15 |   111471 |    89132 |   376746      0 |    14927 |    17638
424.04/424.23	c  359s |      15 |   111966 |    89532 |   376746      0 |    14927 |    17638
426.24/426.43	c  361s |      15 |   112448 |    89932 |   376746      0 |    14927 |    17638
428.63/428.84	c  364s |      15 |   112954 |    90332 |   376746      0 |    14927 |    17638
430.93/431.11	c  366s |      15 |   113427 |    90732 |   376746      0 |    14927 |    17638
433.13/433.32	c  368s |      15 |   113919 |    91132 |   376746      0 |    14927 |    17638
435.33/435.50	c  370s |      15 |   114428 |    91532 |   376746      0 |    14927 |    17638
437.42/437.68	c  373s |      15 |   114922 |    91932 |   376746      0 |    14927 |    17638
439.72/439.92	c  375s |      15 |   115388 |    92332 |   376746      0 |    14927 |    17638
442.03/442.30	c  377s |      15 |   115873 |    92732 |   376746      0 |    14927 |    17638
444.42/444.64	c  379s |      15 |   116380 |    93132 |   376746      0 |    14927 |    17638
446.53/446.75	c  382s |      15 |   116873 |    93532 |   376746      0 |    14927 |    17638
448.62/448.89	c  384s |      15 |   117360 |    93932 |   376746      0 |    14927 |    17638
450.92/451.15	c  386s |      15 |   117859 |    94332 |   376746      0 |    14927 |    17638
453.02/453.24	c  388s |      15 |   118375 |    94732 |   376746      0 |    14927 |    17638
455.32/455.58	c  390s |      15 |   118841 |    95132 |   376746      0 |    14927 |    17638
457.52/457.75	c  393s |      15 |   119323 |    95532 |   376746      0 |    14927 |    17638
459.81/460.05	c  395s |      15 |   119817 |    95932 |   376746      0 |    14927 |    17638
462.01/462.26	c  397s |      15 |   120316 |    96332 |   376746      0 |    14927 |    17638
464.31/464.59	c  399s |      15 |   120790 |    96732 |   376746      0 |    14927 |    17638
466.51/466.79	c  402s |      15 |   121294 |    97132 |   376746      0 |    14927 |    17638
469.00/469.28	c  404s |      15 |   121766 |    97532 |   376746      0 |    14927 |    17638
471.40/471.61	c  406s |      15 |   122282 |    97932 |   376746      0 |    14927 |    17638
473.80/474.04	c  409s |      15 |   122762 |    98332 |   376746      0 |    14927 |    17638
476.40/476.62	c  411s |      15 |   123219 |    98732 |   376746      0 |    14927 |    17638
478.41/478.65	c  413s |      15 |   123573 |    99032 |   376746      0 |    14927 |    17638
481.00/481.25	c  416s |      15 |   124034 |    99432 |   376746      0 |    14927 |    17638
483.10/483.33	c  418s |      15 |   124541 |    99832 |   376746      0 |    14927 |    17638
485.20/485.41	c  420s |      15 |   125006 |   100232 |   376746      0 |    14927 |    17638
487.20/487.47	c  422s |      15 |   125500 |   100632 |   376746      0 |    14927 |    17638
489.49/489.74	c  425s |      15 |   126116 |   101132 |   376746      0 |    14927 |    17638
491.60/491.88	c  427s |      15 |   126630 |   101532 |   376746      0 |    14927 |    17638
494.19/494.43	c  429s |      15 |   127245 |   102032 |   376746      0 |    14927 |    17638
496.39/496.61	c  431s |      15 |   127705 |   102432 |   376746      0 |    14927 |    17638
498.69/498.93	c  434s |      15 |   128195 |   102832 |   376746      0 |    14927 |    17638
501.19/501.45	c  436s |      15 |   128703 |   103232 |   376746      0 |    14927 |    17638
503.70/503.95	c  439s |      15 |   129191 |   103632 |   376746      0 |    14927 |    17638
506.19/506.48	c  441s |      15 |   129707 |   104032 |   376746      0 |    14927 |    17638
508.78/509.06	c  444s |      15 |   130206 |   104432 |   376746      0 |    14927 |    17638
511.48/511.70	c  447s |      15 |   130695 |   104832 |   376746      0 |    14927 |    17638
513.88/514.18	c  449s |      15 |   131170 |   105232 |   376746      0 |    14927 |    17638
516.58/516.83	c  452s |      15 |   131665 |   105632 |   414421      0 |    14927 |    17638
518.98/519.27	c  454s |      15 |   132118 |   106032 |   414421      0 |    14927 |    17638
521.38/521.68	c  457s |      15 |   132602 |   106432 |   414421      0 |    14927 |    17638
523.68/523.98	c  459s |      15 |   133076 |   106832 |   414421      0 |    14927 |    17638
526.08/526.32	c  461s |      15 |   133543 |   107232 |   414421      0 |    14927 |    17638
528.17/528.43	c  463s |      15 |   133897 |   107532 |   414421      0 |    14927 |    17638
530.17/530.44	c  465s |      15 |   134234 |   107832 |   414421      0 |    14927 |    17638
532.28/532.59	c  467s |      15 |   134728 |   108232 |   414421      0 |    14927 |    17638
534.77/535.04	c  470s |      15 |   135209 |   108632 |   414421      0 |    14927 |    17638
537.27/537.58	c  472s |      15 |   135688 |   109032 |   414421      0 |    14927 |    17638
539.57/539.86	c  475s |      15 |   136035 |   109332 |   414421      0 |    14927 |    17638
541.67/542.00	c  477s |      15 |   136386 |   109632 |   414421      0 |    14927 |    17638
543.77/544.03	c  479s |      15 |   136751 |   109932 |   414421      0 |    14927 |    17638
545.97/546.21	c  481s |      15 |   137104 |   110232 |   414421      0 |    14927 |    17638
548.26/548.56	c  483s |      15 |   137473 |   110532 |   414421      0 |    14927 |    17638
550.46/550.78	c  486s |      15 |   137828 |   110832 |   414421      0 |    14927 |    17638
552.66/552.90	c  488s |      15 |   138187 |   111132 |   414421      0 |    14927 |    17638
554.66/554.98	c  490s |      15 |   138537 |   111432 |   414421      0 |    14927 |    17638
557.57/557.89	c  493s |      15 |   139001 |   111832 |   414421      0 |    14927 |    17638
559.76/560.04	c  495s |      15 |   139415 |   112132 |   414421      0 |    14927 |    17638
561.96/562.23	c  497s |      15 |   139788 |   112432 |   414421      0 |    14927 |    17638
564.46/564.79	c  500s |      15 |   140252 |   112832 |   414421      0 |    14927 |    17638
566.66/566.95	c  502s |      15 |   140642 |   113132 |   414421      0 |    14927 |    17638
568.85/569.13	c  504s |      15 |   141017 |   113432 |   414421      0 |    14927 |    17638
570.85/571.15	c  506s |      15 |   141374 |   113732 |   414421      0 |    14927 |    17638
573.05/573.31	c  508s |      15 |   141846 |   114132 |   414421      0 |    14927 |    17638
575.65/575.90	c  511s |      15 |   142293 |   114532 |   414421      0 |    14927 |    17638
577.95/578.29	c  513s |      15 |   142784 |   114932 |   414421      0 |    14927 |    17638
580.25/580.52	c  515s |      15 |   143119 |   115232 |   414421      0 |    14927 |    17638
582.35/582.66	c  518s |      15 |   143478 |   115532 |   414421      0 |    14927 |    17638
584.55/584.84	c  520s |      15 |   143856 |   115832 |   414421      0 |    14927 |    17638
586.65/586.99	c  522s |      15 |   144216 |   116132 |   414421      0 |    14927 |    17638
588.94/589.27	c  524s |      15 |   144576 |   116432 |   414421      0 |    14927 |    17638
591.65/591.97	c  527s |      15 |   145033 |   116832 |   414421      0 |    14927 |    17638
593.85/594.14	c  529s |      15 |   145366 |   117132 |   414421      0 |    14927 |    17638
595.95/596.26	c  531s |      15 |   145719 |   117432 |   414421      0 |    14927 |    17638
597.94/598.26	c  533s |      15 |   146086 |   117732 |   414421      0 |    14927 |    17638
600.45/600.79	c  536s |      15 |   146611 |   118132 |   414421      0 |    14927 |    17638
602.74/603.03	c  538s |      15 |   146959 |   118432 |   414421      0 |    14927 |    17638
605.54/605.88	c  541s |      15 |   147418 |   118832 |   414421      0 |    14927 |    17638
608.23/608.53	c  543s |      15 |   147771 |   119132 |   414421      0 |    14927 |    17638
610.73/611.02	c  546s |      15 |   148145 |   119432 |   414421      0 |    14927 |    17638
612.93/613.23	c  548s |      15 |   148493 |   119732 |   414421      0 |    14927 |    17638
614.93/615.27	c  550s |      15 |   148854 |   120032 |   414421      0 |    14927 |    17638
617.13/617.43	c  552s |      15 |   149219 |   120332 |   414421      0 |    14927 |    17638
619.23/619.55	c  554s |      15 |   149582 |   120632 |   414421      0 |    14927 |    17638
621.73/622.09	c  557s |      15 |   150022 |   121032 |   414421      0 |    14927 |    17638
624.23/624.50	c  559s |      15 |   150509 |   121432 |   414421      0 |    14927 |    17638
626.83/627.12	c  562s |      15 |   150967 |   121832 |   414421      0 |    14927 |    17638
628.93/629.26	c  564s |      15 |   151303 |   122132 |   414421      0 |    14927 |    17638
631.42/631.79	c  567s |      15 |   151792 |   122532 |   414421      0 |    14927 |    17638
634.12/634.40	c  569s |      15 |   152295 |   122932 |   414421      0 |    14927 |    17638
636.52/636.88	c  572s |      15 |   152791 |   123332 |   414421      0 |    14927 |    17638
639.12/639.48	c  574s |      15 |   153289 |   123732 |   414421      0 |    14927 |    17638
641.22/641.58	c  576s |      15 |   153643 |   124032 |   414421      0 |    14927 |    17638
643.82/644.12	c  579s |      15 |   154109 |   124432 |   414421      0 |    14927 |    17638
646.12/646.46	c  581s |      15 |   154477 |   124732 |   414421      0 |    14927 |    17638
649.01/649.30	c  584s |      15 |   154950 |   125132 |   414421      0 |    14927 |    17638
651.61/651.95	c  587s |      15 |   155474 |   125532 |   414421      0 |    14927 |    17638
654.11/654.48	c  589s |      15 |   155957 |   125932 |   414421      0 |    14927 |    17638
656.31/656.63	c  591s |      15 |   156294 |   126232 |   414421      0 |    14927 |    17638
658.61/658.95	c  594s |      15 |   156656 |   126532 |   414421      0 |    14927 |    17638
660.81/661.15	c  596s |      15 |   157052 |   126832 |   414421      0 |    14927 |    17638
663.11/663.47	c  598s |      15 |   157407 |   127132 |   414421      0 |    14927 |    17638
665.41/665.79	c  601s |      15 |   157792 |   127432 |   414421      0 |    14927 |    17638
667.60/667.98	c  603s |      15 |   158166 |   127732 |   414421      0 |    14927 |    17638
669.71/670.02	c  605s |      15 |   158541 |   128032 |   414421      0 |    14927 |    17638
672.40/672.70	c  608s |      15 |   159025 |   128432 |   414421      0 |    14927 |    17638
674.60/674.94	c  610s |      15 |   159404 |   128732 |   414421      0 |    14927 |    17638
676.70/677.07	c  612s |      15 |   159741 |   129032 |   414421      0 |    14927 |    17638
679.20/679.51	c  614s |      15 |   160127 |   129332 |   414421      0 |    14927 |    17638
681.60/681.92	c  617s |      15 |   160481 |   129632 |   414421      0 |    14927 |    17638
684.00/684.39	c  619s |      15 |   160813 |   129932 |   414421      0 |    14927 |    17638
686.80/687.10	c  622s |      15 |   161175 |   130232 |   414421      0 |    14927 |    17638
688.99/689.35	c  624s |      15 |   161545 |   130532 |   414421      0 |    14927 |    17638
691.60/691.97	c  627s |      15 |   162030 |   130932 |   414421      0 |    14927 |    17638
693.99/694.32	c  629s |      15 |   162411 |   131232 |   414421      0 |    14927 |    17638
696.19/696.58	c  631s |      15 |   162795 |   131532 |   414421      0 |    14927 |    17638
696.39/696.77	c  632s |      16 |   162813 |   131552 |   414421      0 |    14927 |    17638
699.09/699.40	c  634s |      16 |   163078 |   131752 |   414421      0 |    14927 |    17638
701.19/701.51	c  636s |      16 |   163439 |   132052 |   414421      0 |    14927 |    17638
703.49/703.88	c  639s |      16 |   163824 |   132352 |   414421      0 |    14927 |    17638
705.90/706.24	c  641s |      16 |   164184 |   132652 |   414421      0 |    14927 |    17638
707.99/708.36	c  643s |      16 |   164550 |   132952 |   414421      0 |    14927 |    17638
710.19/710.51	c  645s |      16 |   164918 |   133252 |   414421      0 |    14927 |    17638
712.29/712.64	c  647s |      16 |   165291 |   133552 |   414421      0 |    14927 |    17638
714.49/714.86	c  650s |      16 |   165662 |   133852 |   414421      0 |    14927 |    17638
716.79/717.17	c  652s |      16 |   166063 |   134152 |   414421      0 |    14927 |    17638
718.89/719.29	c  654s |      16 |   166431 |   134452 |   414421      0 |    14927 |    17638
721.09/721.41	c  656s |      16 |   166806 |   134752 |   414421      0 |    14927 |    17638
723.39/723.71	c  659s |      16 |   167186 |   135052 |   414421      0 |    14927 |    17638
725.39/725.75	c  661s |      16 |   167546 |   135352 |   414421      0 |    14927 |    17638
727.79/728.17	c  663s |      16 |   167952 |   135652 |   414421      0 |    14927 |    17638
729.99/730.33	c  665s |      16 |   168335 |   135952 |   414421      0 |    14927 |    17638
732.59/732.90	c  668s |      16 |   168890 |   136352 |   414421      0 |    14927 |    17638
735.29/735.60	c  670s |      16 |   169396 |   136752 |   414421      0 |    14927 |    17638
737.28/737.69	c  673s |      16 |   169766 |   137052 |   414421      0 |    14927 |    17638
739.88/740.27	c  675s |      16 |   170241 |   137452 |   414421      0 |    14927 |    17638
741.98/742.33	c  677s |      16 |   170612 |   137752 |   414421      0 |    14927 |    17638
744.08/744.44	c  679s |      16 |   170977 |   138052 |   414421      0 |    14927 |    17638
746.38/746.76	c  682s |      16 |   171347 |   138352 |   414421      0 |    14927 |    17638
748.58/748.98	c  684s |      16 |   171713 |   138652 |   414421      0 |    14927 |    17638
750.78/751.16	c  686s |      16 |   172061 |   138952 |   414421      0 |    14927 |    17638
752.88/753.22	c  688s |      16 |   172438 |   139252 |   414421      0 |    14927 |    17638
755.28/755.60	c  690s |      16 |   172815 |   139552 |   414421      0 |    14927 |    17638
757.69/758.03	c  693s |      16 |   173173 |   139852 |   414421      0 |    14927 |    17638
759.98/760.33	c  695s |      16 |   173573 |   140152 |   414421      0 |    14927 |    17638
762.09/762.48	c  697s |      16 |   173929 |   140452 |   414421      0 |    14927 |    17638
764.19/764.55	c  699s |      16 |   174306 |   140752 |   414421      0 |    14927 |    17638
766.68/767.02	c  702s |      16 |   174790 |   141152 |   414421      0 |    14927 |    17638
768.69/769.07	c  704s |      16 |   175173 |   141452 |   414421      0 |    14927 |    17638
771.18/771.56	c  706s |      16 |   175551 |   141752 |   414421      0 |    14927 |    17638
773.28/773.68	c  709s |      16 |   175922 |   142052 |   414421      0 |    14927 |    17638
775.58/775.97	c  711s |      16 |   176273 |   142352 |   414421      0 |    14927 |    17638
777.78/778.17	c  713s |      16 |   176645 |   142652 |   414421      0 |    14927 |    17638
779.98/780.33	c  715s |      16 |   177018 |   142952 |   414421      0 |    14927 |    17638
782.18/782.50	c  717s |      16 |   177391 |   143252 |   414421      0 |    14927 |    17638
784.28/784.69	c  720s |      16 |   177766 |   143552 |   414421      0 |    14927 |    17638
786.88/787.20	c  722s |      16 |   178300 |   143952 |   414421      0 |    14927 |    17638
788.98/789.37	c  724s |      16 |   178652 |   144252 |   414421      0 |    14927 |    17638
791.57/791.96	c  727s |      16 |   179040 |   144552 |   414421      0 |    14927 |    17638
793.67/794.02	c  729s |      16 |   179420 |   144852 |   414421      0 |    14927 |    17638
796.27/796.61	c  731s |      16 |   179908 |   145252 |   414421      0 |    14927 |    17638
798.28/798.69	c  734s |      16 |   180301 |   145552 |   414421      0 |    14927 |    17638
800.37/800.73	c  736s |      16 |   180707 |   145852 |   414421      0 |    14927 |    17638
802.78/803.15	c  738s |      16 |   181082 |   146152 |   414421      0 |    14927 |    17638
804.98/805.36	c  740s |      16 |   181458 |   146452 |   414421      0 |    14927 |    17638
807.37/807.71	c  743s |      16 |   181813 |   146752 |   414421      0 |    14927 |    17638
809.97/810.32	c  745s |      16 |   182166 |   147052 |   414421      0 |    14927 |    17638
812.17/812.55	c  747s |      16 |   182535 |   147352 |   414421      0 |    14927 |    17638
814.47/814.80	c  750s |      16 |   182919 |   147652 |   414421      0 |    14927 |    17638
817.17/817.56	c  752s |      16 |   183297 |   147952 |   414421      0 |    14927 |    17638
819.97/820.30	c  755s |      16 |   183690 |   148252 |   414421      0 |    14927 |    17638
822.17/822.58	c  757s |      16 |   184076 |   148552 |   414421      0 |    14927 |    17638
824.47/824.84	c  760s |      16 |   184432 |   148852 |   414421      0 |    14927 |    17638
826.67/827.00	c  762s |      16 |   184793 |   149152 |   414421      0 |    14927 |    17638
829.18/829.57	c  764s |      16 |   185164 |   149452 |   414421      0 |    14927 |    17638
831.77/832.19	c  767s |      16 |   185521 |   149752 |   414421      0 |    14927 |    17638
834.07/834.46	c  769s |      16 |   185883 |   150052 |   414421      0 |    14927 |    17638
836.37/836.73	c  772s |      16 |   186244 |   150352 |   414421      0 |    14927 |    17638
839.17/839.58	c  774s |      16 |   186601 |   150652 |   414421      0 |    14927 |    17638
841.87/842.29	c  777s |      16 |   186953 |   150952 |   414421      0 |    14927 |    17638
844.27/844.62	c  779s |      16 |   187323 |   151252 |   414421      0 |    14927 |    17638
846.37/846.73	c  782s |      16 |   187712 |   151552 |   414421      0 |    14927 |    17638
849.27/849.62	c  784s |      16 |   188087 |   151852 |   414421      0 |    14927 |    17638
851.77/852.12	c  787s |      16 |   188454 |   152152 |   414421      0 |    14927 |    17638
854.47/854.83	c  790s |      16 |   188814 |   152452 |   414421      0 |    14927 |    17638
857.06/857.40	c  792s |      16 |   189185 |   152752 |   414421      0 |    14927 |    17638
859.36/859.75	c  795s |      16 |   189567 |   153052 |   414421      0 |    14927 |    17638
861.46/861.83	c  797s |      16 |   189943 |   153352 |   414421      0 |    14927 |    17638
863.76/864.16	c  799s |      16 |   190332 |   153652 |   414421      0 |    14927 |    17638
866.06/866.44	c  801s |      16 |   190697 |   153952 |   414421      0 |    14927 |    17638
868.36/868.75	c  804s |      16 |   191082 |   154252 |   414421      0 |    14927 |    17638
870.87/871.30	c  806s |      16 |   191434 |   154552 |   414421      0 |    14927 |    17638
873.26/873.67	c  809s |      16 |   191828 |   154852 |   414421      0 |    14927 |    17638
876.06/876.45	c  811s |      16 |   192338 |   155252 |   414421      0 |    14927 |    17638
878.67/879.05	c  814s |      16 |   192705 |   155552 |   414421      0 |    14927 |    17638
880.87/881.26	c  816s |      16 |   193055 |   155852 |   414421      0 |    14927 |    17638
883.46/883.80	c  819s |      16 |   193438 |   156152 |   414421      0 |    14927 |    17638
885.96/886.35	c  821s |      16 |   193830 |   156452 |   414421      0 |    14927 |    17638
888.57/888.95	c  824s |      16 |   194228 |   156752 |   414421      0 |    14927 |    17638
890.67/891.09	c  826s |      16 |   194579 |   157052 |   414421      0 |    14927 |    17638
893.46/893.80	c  829s |      16 |   194957 |   157352 |   414421      0 |    14927 |    17638
895.86/896.21	c  831s |      16 |   195333 |   157652 |   414421      0 |    14927 |    17638
898.37/898.73	c  834s |      16 |   195700 |   157952 |   414421      0 |    14927 |    17638
900.86/901.25	c  836s |      16 |   196053 |   158252 |   414421      0 |    14927 |    17638
903.46/903.87	c  839s |      16 |   196411 |   158552 |   414421      0 |    14927 |    17638
905.76/906.10	c  841s |      16 |   196638 |   158752 |   414421      0 |    14927 |    17638
908.16/908.58	c  843s |      16 |   197042 |   159052 |   414421      0 |    14927 |    17638
910.26/910.61	c  845s |      16 |   197272 |   159252 |   414421      0 |    14927 |    17638
913.06/913.40	c  848s |      16 |   197638 |   159552 |   414421      0 |    14927 |    17638
915.35/915.73	c  851s |      16 |   197991 |   159852 |   414421      0 |    14927 |    17638
917.75/918.15	c  853s |      16 |   198359 |   160152 |   414421      0 |    14927 |    17638
920.36/920.72	c  856s |      16 |   198742 |   160452 |   414421      0 |    14927 |    17638
923.15/923.50	c  858s |      16 |   199102 |   160752 |   414421      0 |    14927 |    17638
925.65/926.05	c  861s |      16 |   199447 |   161052 |   414421      0 |    14927 |    17638
928.25/928.69	c  864s |      16 |   199825 |   161352 |   414421      0 |    14927 |    17638
930.85/931.25	c  866s |      16 |   200207 |   161652 |   414421      0 |    14927 |    17638
933.35/933.74	c  869s |      16 |   200548 |   161952 |   414421      0 |    14927 |    17638
936.15/936.59	c  871s |      16 |   200930 |   162252 |   414421      0 |    14927 |    17638
938.25/938.65	c  874s |      16 |   201177 |   162452 |   414421      0 |    14927 |    17638
941.45/941.89	c  877s |      16 |   201545 |   162752 |   414421      0 |    14927 |    17638
943.95/944.33	c  879s |      16 |   201908 |   163052 |   414421      0 |    14927 |    17638
946.55/946.96	c  882s |      16 |   202281 |   163352 |   414421      0 |    14927 |    17638
949.25/949.61	c  884s |      16 |   202664 |   163652 |   414421      0 |    14927 |    17638
951.65/952.03	c  887s |      16 |   203049 |   163952 |   414421      0 |    14927 |    17638
954.46/954.84	c  890s |      16 |   203409 |   164252 |   414421      0 |    14927 |    17638
956.95/957.31	c  892s |      16 |   203796 |   164552 |   414421      0 |    14927 |    17638
959.35/959.75	c  895s |      16 |   204180 |   164852 |   414421      0 |    14927 |    17638
961.55/961.93	c  897s |      16 |   204551 |   165152 |   414421      0 |    14927 |    17638
963.65/964.08	c  899s |      16 |   204930 |   165452 |   414421      0 |    14927 |    17638
966.25/966.69	c  902s |      16 |   205282 |   165752 |   414421      0 |    14927 |    17638
968.65/969.10	c  904s |      16 |   205657 |   166052 |   414421      0 |    14927 |    17638
971.15/971.54	c  906s |      16 |   206017 |   166352 |   414421      0 |    14927 |    17638
973.95/974.35	c  909s |      16 |   206407 |   166652 |   414421      0 |    14927 |    17638
976.65/977.07	c  912s |      16 |   206771 |   166952 |   414421      0 |    14927 |    17638
978.65/979.09	c  914s |      16 |   207020 |   167152 |   414421      0 |    14927 |    17638
980.74/981.17	c  916s |      16 |   207266 |   167352 |   414421      0 |    14927 |    17638
983.34/983.70	c  919s |      16 |   207483 |   167552 |   414421      0 |    14927 |    17638
985.36/985.79	c  921s |      16 |   207718 |   167752 |   414421      0 |    14927 |    17638
987.46/987.89	c  923s |      16 |   207994 |   167952 |   414421      0 |    14927 |    17638
989.66/990.05	c  925s |      16 |   208223 |   168152 |   414421      0 |    14927 |    17638
991.75/992.20	c  927s |      16 |   208440 |   168352 |   414421      0 |    14927 |    17638
994.06/994.46	c  929s |      16 |   208659 |   168552 |   414421      0 |    14927 |    17638
996.36/996.76	c  932s |      16 |   208911 |   168752 |   414421      0 |    14927 |    17638
999.15/999.50	c  934s |      16 |   209280 |   169052 |   414421      0 |    14927 |    17638
1002.05/1002.49	c  937s |      16 |   209663 |   169352 |   414421      0 |    14927 |    17638
1004.95/1005.33	c  940s |      16 |   210030 |   169652 |   414421      0 |    14927 |    17638
1007.55/1007.94	c  943s |      16 |   210423 |   169952 |   414421      0 |    14927 |    17638
1010.25/1010.67	c  946s |      16 |   210797 |   170252 |   414421      0 |    14927 |    17638
1012.35/1012.70	c  948s |      16 |   211049 |   170452 |   414421      0 |    14927 |    17638
1014.35/1014.72	c  950s |      16 |   211287 |   170652 |   414421      0 |    14927 |    17638
1016.55/1016.91	c  952s |      16 |   211541 |   170852 |   455864      0 |    14927 |    17638
1019.05/1019.47	c  954s |      16 |   211899 |   171152 |   455864      0 |    14927 |    17638
1021.65/1022.01	c  957s |      16 |   212311 |   171452 |   455864      0 |    14927 |    17638
1024.65/1025.02	c  960s |      16 |   212703 |   171752 |   455864      0 |    14927 |    17638
1027.55/1027.92	c  963s |      16 |   213072 |   172052 |   455864      0 |    14927 |    17638
1030.25/1030.63	c  965s |      16 |   213468 |   172352 |   455864      0 |    14927 |    17638
1032.35/1032.77	c  968s |      16 |   213714 |   172552 |   455864      0 |    14927 |    17638
1034.44/1034.80	c  970s |      16 |   213967 |   172752 |   455864      0 |    14927 |    17638
1036.44/1036.86	c  972s |      16 |   214210 |   172952 |   455864      0 |    14927 |    17638
1039.34/1039.75	c  975s |      16 |   214562 |   173252 |   455864      0 |    14927 |    17638
1042.14/1042.50	c  977s |      16 |   214803 |   173452 |   455864      0 |    14927 |    17638
1044.14/1044.53	c  979s |      16 |   215047 |   173652 |   455864      0 |    14927 |    17638
1046.44/1046.87	c  982s |      16 |   215271 |   173852 |   455864      0 |    14927 |    17638
1048.74/1049.10	c  984s |      16 |   215507 |   174052 |   455864      0 |    14927 |    17638
1050.74/1051.18	c  986s |      16 |   215734 |   174252 |   455864      0 |    14927 |    17638
1053.55/1053.93	c  989s |      16 |   216085 |   174552 |   455864      0 |    14927 |    17638
1056.04/1056.48	c  991s |      16 |   216432 |   174852 |   455864      0 |    14927 |    17638
1058.64/1059.05	c  994s |      16 |   216776 |   175152 |   455864      0 |    14927 |    17638
1061.04/1061.49	c  996s |      16 |   217150 |   175452 |   455864      0 |    14927 |    17638
1063.54/1063.93	c  999s |      16 |   217505 |   175752 |   455864      0 |    14927 |    17638
1065.94/1066.39	c 1001s |      16 |   217862 |   176052 |   455864      0 |    14927 |    17638
1068.54/1068.97	c 1004s |      16 |   218229 |   176352 |   455864      0 |    14927 |    17638
1071.64/1072.01	c 1007s |      16 |   218595 |   176652 |   455864      0 |    14927 |    17638
1073.64/1074.04	c 1009s |      16 |   218862 |   176852 |   455864      0 |    14927 |    17638
1075.74/1076.10	c 1011s |      16 |   219107 |   177052 |   455864      0 |    14927 |    17638
1078.44/1078.85	c 1014s |      16 |   219497 |   177352 |   455864      0 |    14927 |    17638
1080.64/1081.01	c 1016s |      16 |   219751 |   177552 |   455864      0 |    14927 |    17638
1082.94/1083.33	c 1018s |      16 |   219971 |   177752 |   455864      0 |    14927 |    17638
1085.14/1085.57	c 1020s |      16 |   220230 |   177952 |   455864      0 |    14927 |    17638
1087.54/1087.92	c 1023s |      16 |   220479 |   178152 |   455864      0 |    14927 |    17638
1089.74/1090.11	c 1025s |      16 |   220735 |   178352 |   455864      0 |    14927 |    17638
1091.74/1092.16	c 1027s |      16 |   220993 |   178552 |   455864      0 |    14927 |    17638
1093.94/1094.31	c 1029s |      16 |   221249 |   178752 |   455864      0 |    14927 |    17638
1096.24/1096.65	c 1031s |      16 |   221611 |   179052 |   455864      0 |    14927 |    17638
1098.34/1098.71	c 1034s |      16 |   221854 |   179252 |   455864      0 |    14927 |    17638
1101.03/1101.43	c 1036s |      16 |   222214 |   179552 |   455864      0 |    14927 |    17638
1103.13/1103.54	c 1038s |      16 |   222450 |   179752 |   455864      0 |    14927 |    17638
1105.93/1106.35	c 1041s |      16 |   222806 |   180052 |   455864      0 |    14927 |    17638
1108.63/1109.03	c 1044s |      16 |   223205 |   180352 |   455864      0 |    14927 |    17638
1111.33/1111.76	c 1047s |      16 |   223544 |   180652 |   455864      0 |    14927 |    17638
1113.53/1113.92	c 1049s |      16 |   223792 |   180852 |   455864      0 |    14927 |    17638
1115.83/1116.24	c 1051s |      16 |   224033 |   181052 |   455864      0 |    14927 |    17638
1117.83/1118.30	c 1053s |      16 |   224263 |   181252 |   455864      0 |    14927 |    17638
1120.33/1120.78	c 1056s |      16 |   224502 |   181452 |   455864      0 |    14927 |    17638
1122.43/1122.83	c 1058s |      16 |   224763 |   181652 |   455864      0 |    14927 |    17638
1124.94/1125.35	c 1060s |      16 |   225006 |   181852 |   455864      0 |    14927 |    17638
1127.03/1127.48	c 1062s |      16 |   225265 |   182052 |   455864      0 |    14927 |    17638
1129.83/1130.26	c 1065s |      16 |   225628 |   182352 |   455864      0 |    14927 |    17638
1132.43/1132.85	c 1068s |      16 |   225991 |   182652 |   455864      0 |    14927 |    17638
1135.03/1135.43	c 1070s |      16 |   226212 |   182852 |   455864      0 |    14927 |    17638
1137.04/1137.49	c 1072s |      16 |   226460 |   183052 |   455864      0 |    14927 |    17638
1139.34/1139.72	c 1075s |      16 |   226699 |   183252 |   455864      0 |    14927 |    17638
1142.13/1142.58	c 1077s |      16 |   227044 |   183552 |   455864      0 |    14927 |    17638
1144.23/1144.60	c 1079s |      16 |   227293 |   183752 |   455864      0 |    14927 |    17638
1147.23/1147.70	c 1083s |      16 |   227626 |   184052 |   455864      0 |    14927 |    17638
1149.43/1149.82	c 1085s |      16 |   227864 |   184252 |   455864      0 |    14927 |    17638
1151.63/1152.01	c 1087s |      16 |   228092 |   184452 |   455864      0 |    14927 |    17638
1153.83/1154.28	c 1089s |      16 |   228344 |   184652 |   455864      0 |    14927 |    17638
1156.03/1156.47	c 1091s |      16 |   228580 |   184852 |   455864      0 |    14927 |    17638
1158.03/1158.49	c 1093s |      16 |   228810 |   185052 |   455864      0 |    14927 |    17638
1161.33/1161.71	c 1097s |      16 |   229151 |   185352 |   455864      0 |    14927 |    17638
1163.33/1163.74	c 1099s |      16 |   229402 |   185552 |   455864      0 |    14927 |    17638
1165.42/1165.80	c 1101s |      16 |   229653 |   185752 |   455864      0 |    14927 |    17638
1168.52/1168.91	c 1104s |      16 |   230047 |   186052 |   455864      0 |    14927 |    17638
1170.62/1171.09	c 1106s |      16 |   230279 |   186252 |   455864      0 |    14927 |    17638
1173.62/1174.06	c 1109s |      16 |   230632 |   186552 |   455864      0 |    14927 |    17638
1175.72/1176.17	c 1111s |      16 |   230876 |   186752 |   455864      0 |    14927 |    17638
1178.32/1178.78	c 1114s |      16 |   231124 |   186952 |   455864      0 |    14927 |    17638
1180.42/1180.88	c 1116s |      16 |   231392 |   187152 |   455864      0 |    14927 |    17638
1183.12/1183.51	c 1118s |      16 |   231768 |   187452 |   455864      0 |    14927 |    17638
1185.32/1185.78	c 1121s |      16 |   232003 |   187652 |   455864      0 |    14927 |    17638
1187.82/1188.22	c 1123s |      16 |   232247 |   187852 |   455864      0 |    14927 |    17638
1190.62/1191.05	c 1126s |      16 |   232653 |   188152 |   455864      0 |    14927 |    17638
1193.23/1193.62	c 1128s |      16 |   233042 |   188452 |   455864      0 |    14927 |    17638
1196.32/1196.78	c 1132s |      16 |   233411 |   188752 |   455864      0 |    14927 |    17638
1199.02/1199.48	c 1134s |      16 |   233810 |   189052 |   455864      0 |    14927 |    17638
1201.12/1201.53	c 1136s |      16 |   234034 |   189252 |   455864      0 |    14927 |    17638
1203.22/1203.62	c 1138s |      16 |   234280 |   189452 |   455864      0 |    14927 |    17638
1206.12/1206.59	c 1141s |      16 |   234653 |   189752 |   455864      0 |    14927 |    17638
1208.32/1208.72	c 1144s |      16 |   234896 |   189952 |   455864      0 |    14927 |    17638
1210.32/1210.77	c 1146s |      16 |   235129 |   190152 |   455864      0 |    14927 |    17638
1212.42/1212.82	c 1148s |      16 |   235364 |   190352 |   455864      0 |    14927 |    17638
1214.42/1214.89	c 1150s |      16 |   235659 |   190552 |   455864      0 |    14927 |    17638
1216.92/1217.34	c 1152s |      16 |   235920 |   190752 |   455864      0 |    14927 |    17638
1219.72/1220.14	c 1155s |      16 |   236316 |   191052 |   455864      0 |    14927 |    17638
1222.72/1223.12	c 1158s |      16 |   236715 |   191352 |   455864      0 |    14927 |    17638
1225.82/1226.20	c 1161s |      16 |   237077 |   191652 |   455864      0 |    14927 |    17638
1228.62/1229.06	c 1164s |      16 |   237485 |   191952 |   455864      0 |    14927 |    17638
1230.81/1231.22	c 1166s |      16 |   237722 |   192152 |   455864      0 |    14927 |    17638
1233.11/1233.51	c 1168s |      16 |   237980 |   192352 |   455864      0 |    14927 |    17638
1235.21/1235.63	c 1170s |      16 |   238230 |   192552 |   455864      0 |    14927 |    17638
1237.81/1238.27	c 1173s |      16 |   238471 |   192752 |   455864      0 |    14927 |    17638
1240.61/1241.04	c 1176s |      16 |   238723 |   192952 |   455864      0 |    14927 |    17638
1243.31/1243.74	c 1179s |      16 |   238956 |   193152 |   455864      0 |    14927 |    17638
1245.92/1246.38	c 1181s |      16 |   239210 |   193352 |   455864      0 |    14927 |    17638
1248.61/1249.05	c 1184s |      16 |   239443 |   193552 |   455864      0 |    14927 |    17638
1250.91/1251.33	c 1186s |      16 |   239703 |   193752 |   455864      0 |    14927 |    17638
1253.21/1253.69	c 1189s |      16 |   239963 |   193952 |   455864      0 |    14927 |    17638
1255.71/1256.19	c 1191s |      16 |   240195 |   194152 |   455864      0 |    14927 |    17638
1258.31/1258.79	c 1194s |      16 |   240468 |   194352 |   455864      0 |    14927 |    17638
1260.61/1261.07	c 1196s |      16 |   240724 |   194552 |   455864      0 |    14927 |    17638
1262.91/1263.33	c 1198s |      16 |   240983 |   194752 |   455864      0 |    14927 |    17638
1265.31/1265.71	c 1201s |      16 |   241223 |   194952 |   455864      0 |    14927 |    17638
1267.71/1268.18	c 1203s |      16 |   241485 |   195152 |   455864      0 |    14927 |    17638
1270.12/1270.52	c 1205s |      16 |   241749 |   195352 |   455864      0 |    14927 |    17638
1272.21/1272.60	c 1207s |      16 |   241999 |   195552 |   455864      0 |    14927 |    17638
1275.21/1275.62	c 1210s |      16 |   242371 |   195852 |   455864      0 |    14927 |    17638
1278.11/1278.53	c 1213s |      16 |   242728 |   196152 |   455864      0 |    14927 |    17638
1281.01/1281.49	c 1216s |      16 |   243090 |   196452 |   455864      0 |    14927 |    17638
1283.11/1283.57	c 1218s |      16 |   243342 |   196652 |   455864      0 |    14927 |    17638
1285.31/1285.76	c 1221s |      16 |   243585 |   196852 |   455864      0 |    14927 |    17638
1287.51/1287.94	c 1223s |      16 |   243813 |   197052 |   455864      0 |    14927 |    17638
1290.21/1290.64	c 1225s |      16 |   244172 |   197352 |   455864      0 |    14927 |    17638
1291.01/1291.48	c 1226s |      17 |   244278 |   197432 |   455864      0 |    14927 |    17638
1294.01/1294.48	c 1229s |      17 |   244418 |   197532 |   455864      0 |    14927 |    17638
1296.80/1297.20	c 1232s |      17 |   244648 |   197732 |   455864      0 |    14927 |    17638
1298.81/1299.29	c 1234s |      17 |   244894 |   197932 |   455864      0 |    14927 |    17638
1301.60/1302.05	c 1237s |      17 |   245122 |   198132 |   455864      0 |    14927 |    17638
1303.90/1304.40	c 1239s |      17 |   245372 |   198332 |   455864      0 |    14927 |    17638
1306.41/1306.82	c 1242s |      17 |   245634 |   198532 |   455864      0 |    14927 |    17638
1308.71/1309.19	c 1244s |      17 |   245884 |   198732 |   455864      0 |    14927 |    17638
1310.81/1311.29	c 1246s |      17 |   246122 |   198932 |   455864      0 |    14927 |    17638
1313.20/1313.69	c 1249s |      17 |   246366 |   199132 |   455864      0 |    14927 |    17638
1315.40/1315.84	c 1251s |      17 |   246602 |   199332 |   455864      0 |    14927 |    17638
1317.70/1318.15	c 1253s |      17 |   246839 |   199532 |   455864      0 |    14927 |    17638
1320.50/1320.93	c 1256s |      17 |   247067 |   199732 |   455864      0 |    14927 |    17638
1322.80/1323.20	c 1258s |      17 |   247308 |   199932 |   455864      0 |    14927 |    17638
1324.90/1325.31	c 1260s |      17 |   247534 |   200132 |   455864      0 |    14927 |    17638
1327.70/1328.16	c 1263s |      17 |   247902 |   200432 |   455864      0 |    14927 |    17638
1330.20/1330.61	c 1265s |      17 |   248165 |   200632 |   455864      0 |    14927 |    17638
1332.91/1333.32	c 1268s |      17 |   248425 |   200832 |   455864      0 |    14927 |    17638
1335.01/1335.45	c 1270s |      17 |   248667 |   201032 |   455864      0 |    14927 |    17638
1338.41/1338.87	c 1274s |      17 |   249023 |   201332 |   455864      0 |    14927 |    17638
1340.90/1341.36	c 1276s |      17 |   249279 |   201532 |   455864      0 |    14927 |    17638
1343.50/1343.94	c 1279s |      17 |   249521 |   201732 |   455864      0 |    14927 |    17638
1345.80/1346.29	c 1281s |      17 |   249759 |   201932 |   455864      0 |    14927 |    17638
1348.00/1348.49	c 1283s |      17 |   249989 |   202132 |   455864      0 |    14927 |    17638
1350.60/1351.01	c 1286s |      17 |   250243 |   202332 |   455864      0 |    14927 |    17638
1352.60/1353.09	c 1288s |      17 |   250488 |   202532 |   455864      0 |    14927 |    17638
1354.80/1355.23	c 1290s |      17 |   250745 |   202732 |   455864      0 |    14927 |    17638
1357.20/1357.69	c 1293s |      17 |   250987 |   202932 |   455864      0 |    14927 |    17638
1359.40/1359.88	c 1295s |      17 |   251213 |   203132 |   455864      0 |    14927 |    17638
1361.50/1361.91	c 1297s |      17 |   251451 |   203332 |   455864      0 |    14927 |    17638
1363.60/1364.05	c 1299s |      17 |   251685 |   203532 |   455864      0 |    14927 |    17638
1366.09/1366.51	c 1301s |      17 |   251959 |   203732 |   455864      0 |    14927 |    17638
1368.39/1368.88	c 1304s |      17 |   252206 |   203932 |   455864      0 |    14927 |    17638
1370.79/1371.26	c 1306s |      17 |   252440 |   204132 |   455864      0 |    14927 |    17638
1373.19/1373.66	c 1309s |      17 |   252697 |   204332 |   455864      0 |    14927 |    17638
1375.59/1376.01	c 1311s |      17 |   252954 |   204532 |   455864      0 |    14927 |    17638
1377.90/1378.40	c 1313s |      17 |   253182 |   204732 |   455864      0 |    14927 |    17638
1380.29/1380.70	c 1316s |      17 |   253406 |   204932 |   455864      0 |    14927 |    17638
1382.69/1383.14	c 1318s |      17 |   253644 |   205132 |   455864      0 |    14927 |    17638
1385.09/1385.56	c 1320s |      17 |   253888 |   205332 |   455864      0 |    14927 |    17638
1387.19/1387.70	c 1323s |      17 |   254127 |   205532 |   455864      0 |    14927 |    17638
1389.59/1390.02	c 1325s |      17 |   254358 |   205732 |   455864      0 |    14927 |    17638
1391.59/1392.03	c 1327s |      17 |   254601 |   205932 |   455864      0 |    14927 |    17638
1393.69/1394.16	c 1329s |      17 |   254854 |   206132 |   455864      0 |    14927 |    17638
1395.99/1396.45	c 1331s |      17 |   255122 |   206332 |   455864      0 |    14927 |    17638
1398.49/1398.91	c 1334s |      17 |   255359 |   206532 |   455864      0 |    14927 |    17638
1401.10/1401.59	c 1336s |      17 |   255605 |   206732 |   455864      0 |    14927 |    17638
1403.39/1403.89	c 1339s |      17 |   255887 |   206932 |   455864      0 |    14927 |    17638
1405.69/1406.19	c 1341s |      17 |   256133 |   207132 |   455864      0 |    14927 |    17638
1408.19/1408.63	c 1343s |      17 |   256366 |   207332 |   455864      0 |    14927 |    17638
1410.39/1410.85	c 1346s |      17 |   256613 |   207532 |   455864      0 |    14927 |    17638
1412.49/1412.96	c 1348s |      17 |   256905 |   207732 |   455864      0 |    14927 |    17638
1414.89/1415.35	c 1350s |      17 |   257263 |   208032 |   455864      0 |    14927 |    17638
1417.89/1418.32	c 1353s |      17 |   257644 |   208332 |   455864      0 |    14927 |    17638
1420.69/1421.12	c 1356s |      17 |   258007 |   208632 |   455864      0 |    14927 |    17638
1423.68/1424.13	c 1359s |      17 |   258371 |   208932 |   455864      0 |    14927 |    17638
1425.88/1426.33	c 1361s |      17 |   258604 |   209132 |   455864      0 |    14927 |    17638
1428.98/1429.44	c 1364s |      17 |   258971 |   209432 |   455864      0 |    14927 |    17638
1431.18/1431.67	c 1367s |      17 |   259219 |   209632 |   455864      0 |    14927 |    17638
1434.28/1434.70	c 1370s |      17 |   259616 |   209932 |   455864      0 |    14927 |    17638
1436.29/1436.73	c 1372s |      17 |   259871 |   210132 |   455864      0 |    14927 |    17638
1438.49/1438.95	c 1374s |      17 |   260119 |   210332 |   455864      0 |    14927 |    17638
1440.69/1441.19	c 1376s |      17 |   260348 |   210532 |   455864      0 |    14927 |    17638
1443.68/1444.17	c 1379s |      17 |   260718 |   210832 |   455864      0 |    14927 |    17638
1446.78/1447.21	c 1382s |      17 |   261056 |   211132 |   455864      0 |    14927 |    17638
1449.18/1449.63	c 1384s |      17 |   261307 |   211332 |   455864      0 |    14927 |    17638
1451.28/1451.76	c 1387s |      17 |   261540 |   211532 |   455864      0 |    14927 |    17638
1453.38/1453.86	c 1389s |      17 |   261802 |   211732 |   455864      0 |    14927 |    17638
1455.99/1456.45	c 1391s |      17 |   262170 |   212032 |   455864      0 |    14927 |    17638
1459.08/1459.55	c 1394s |      17 |   262561 |   212332 |   455864      0 |    14927 |    17638
1461.98/1462.45	c 1397s |      17 |   262923 |   212632 |   455864      0 |    14927 |    17638
1464.48/1464.92	c 1400s |      17 |   263153 |   212832 |   455864      0 |    14927 |    17638
1466.88/1467.33	c 1402s |      17 |   263406 |   213032 |   455864      0 |    14927 |    17638
1469.78/1470.29	c 1405s |      17 |   263760 |   213332 |   455864      0 |    14927 |    17638
1472.08/1472.55	c 1407s |      17 |   264019 |   213532 |   455864      0 |    14927 |    17638
1474.58/1475.09	c 1410s |      17 |   264256 |   213732 |   455864      0 |    14927 |    17638
1477.38/1477.81	c 1413s |      17 |   264524 |   213932 |   455864      0 |    14927 |    17638
1480.28/1480.77	c 1416s |      17 |   264901 |   214232 |   455864      0 |    14927 |    17638
1482.48/1482.97	c 1418s |      17 |   265147 |   214432 |   455864      0 |    14927 |    17638
1485.48/1485.99	c 1421s |      17 |   265383 |   214632 |   455864      0 |    14927 |    17638
1487.88/1488.38	c 1423s |      17 |   265626 |   214832 |   455864      0 |    14927 |    17638
1490.67/1491.13	c 1426s |      17 |   265851 |   215032 |   455864      0 |    14927 |    17638
1492.77/1493.27	c 1428s |      17 |   266113 |   215232 |   455864      0 |    14927 |    17638
1495.17/1495.63	c 1430s |      17 |   266365 |   215432 |   455864      0 |    14927 |    17638
1497.47/1497.91	c 1433s |      17 |   266622 |   215632 |   455864      0 |    14927 |    17638
1500.57/1501.02	c 1436s |      17 |   266971 |   215932 |   455864      0 |    14927 |    17638
1503.38/1503.84	c 1439s |      17 |   267330 |   216232 |   455864      0 |    14927 |    17638
1506.17/1506.64	c 1441s |      17 |   267707 |   216532 |   455864      0 |    14927 |    17638
1508.88/1509.35	c 1444s |      17 |   268083 |   216832 |   455864      0 |    14927 |    17638
1511.17/1511.69	c 1447s |      17 |   268319 |   217032 |   455864      0 |    14927 |    17638
1514.07/1514.54	c 1449s |      17 |   268559 |   217232 |   455864      0 |    14927 |    17638
1516.58/1517.08	c 1452s |      17 |   268816 |   217432 |   455864      0 |    14927 |    17638
1519.07/1519.54	c 1454s |      17 |   269078 |   217632 |   455864      0 |    14927 |    17638
1521.37/1521.84	c 1457s |      17 |   269335 |   217832 |   455864      0 |    14927 |    17638
1523.57/1524.05	c 1459s |      17 |   269592 |   218032 |   455864      0 |    14927 |    17638
1526.17/1526.67	c 1462s |      17 |   269833 |   218232 |   455864      0 |    14927 |    17638
1528.77/1529.29	c 1464s |      17 |   270071 |   218432 |   455864      0 |    14927 |    17638
1531.27/1531.79	c 1467s |      17 |   270298 |   218632 |   455864      0 |    14927 |    17638
1533.37/1533.84	c 1469s |      17 |   270558 |   218832 |   455864      0 |    14927 |    17638
1535.67/1536.13	c 1471s |      17 |   270799 |   219032 |   455864      0 |    14927 |    17638
1538.37/1538.87	c 1474s |      17 |   271150 |   219332 |   455864      0 |    14927 |    17638
1540.87/1541.39	c 1476s |      17 |   271516 |   219632 |   455864      0 |    14927 |    17638
1542.97/1543.45	c 1478s |      17 |   271744 |   219832 |   455864      0 |    14927 |    17638
1546.27/1546.73	c 1482s |      17 |   272109 |   220132 |   455864      0 |    14927 |    17638
1548.66/1549.13	c 1484s |      17 |   272348 |   220332 |   455864      0 |    14927 |    17638
1550.76/1551.27	c 1486s |      17 |   272572 |   220532 |   455864      0 |    14927 |    17638
1552.77/1553.29	c 1488s |      17 |   272824 |   220732 |   455864      0 |    14927 |    17638
1554.97/1555.47	c 1490s |      17 |   273067 |   220932 |   455864      0 |    14927 |    17638
1557.46/1557.91	c 1493s |      17 |   273290 |   221132 |   455864      0 |    14927 |    17638
1560.06/1560.56	c 1495s |      17 |   273517 |   221332 |   455864      0 |    14927 |    17638
1562.36/1562.81	c 1498s |      17 |   273770 |   221532 |   455864      0 |    14927 |    17638
1564.66/1565.14	c 1500s |      17 |   274006 |   221732 |   455864      0 |    14927 |    17638
1567.56/1568.00	c 1503s |      17 |   274251 |   221932 |   455864      0 |    14927 |    17638
1569.76/1570.27	c 1505s |      17 |   274506 |   222132 |   455864      0 |    14927 |    17638
1571.86/1572.37	c 1507s |      17 |   274734 |   222332 |   455864      0 |    14927 |    17638
1574.16/1574.67	c 1510s |      17 |   274971 |   222532 |   455864      0 |    14927 |    17638
1576.76/1577.21	c 1512s |      17 |   275213 |   222732 |   455864      0 |    14927 |    17638
1579.17/1579.63	c 1514s |      17 |   275455 |   222932 |   455864      0 |    14927 |    17638
1581.37/1581.87	c 1517s |      17 |   275682 |   223132 |   455864      0 |    14927 |    17638
1584.36/1584.82	c 1520s |      17 |   275911 |   223332 |   455864      0 |    14927 |    17638
1587.16/1587.62	c 1522s |      17 |   276128 |   223532 |   455864      0 |    14927 |    17638
1589.96/1590.42	c 1525s |      17 |   276377 |   223732 |   455864      0 |    14927 |    17638
1592.16/1592.69	c 1528s |      17 |   276612 |   223932 |   455864      0 |    14927 |    17638
1594.86/1595.32	c 1530s |      17 |   276836 |   224132 |   455864      0 |    14927 |    17638
1597.16/1597.61	c 1532s |      17 |   277093 |   224332 |   455864      0 |    14927 |    17638
1599.86/1600.35	c 1535s |      17 |   277334 |   224532 |   455864      0 |    14927 |    17638
1602.76/1603.28	c 1538s |      17 |   277592 |   224732 |   455864      0 |    14927 |    17638
1605.66/1606.11	c 1541s |      17 |   277857 |   224932 |   455864      0 |    14927 |    17638
1607.76/1608.24	c 1543s |      17 |   278118 |   225132 |   455864      0 |    14927 |    17638
1609.75/1610.26	c 1545s |      17 |   278359 |   225332 |   455864      0 |    14927 |    17638
1612.35/1612.81	c 1548s |      17 |   278618 |   225532 |   455864      0 |    14927 |    17638
1614.65/1615.10	c 1550s |      17 |   278853 |   225732 |   455864      0 |    14927 |    17638
1617.05/1617.58	c 1552s |      17 |   279116 |   225932 |   455864      0 |    14927 |    17638
1619.35/1619.82	c 1555s |      17 |   279400 |   226132 |   455864      0 |    14927 |    17638
1622.16/1622.61	c 1557s |      17 |   279787 |   226432 |   455864      0 |    14927 |    17638
1624.15/1624.68	c 1560s |      17 |   280044 |   226632 |   455864      0 |    14927 |    17638
1627.15/1627.65	c 1562s |      17 |   280413 |   226932 |   455864      0 |    14927 |    17638
1629.25/1629.79	c 1565s |      17 |   280668 |   227132 |   455864      0 |    14927 |    17638
1631.45/1631.96	c 1567s |      17 |   280893 |   227332 |   455864      0 |    14927 |    17638
1634.55/1635.00	c 1570s |      17 |   281294 |   227632 |   455864      0 |    14927 |    17638
1637.46/1637.98	c 1573s |      17 |   281694 |   227932 |   455864      0 |    14927 |    17638
1639.55/1640.07	c 1575s |      17 |   281951 |   228132 |   455864      0 |    14927 |    17638
1642.25/1642.79	c 1578s |      17 |   282334 |   228432 |   455864      0 |    14927 |    17638
1645.15/1645.69	c 1581s |      17 |   282716 |   228732 |   455864      0 |    14927 |    17638
1647.35/1647.90	c 1583s |      17 |   282981 |   228932 |   455864      0 |    14927 |    17638
1649.55/1650.06	c 1585s |      17 |   283231 |   229132 |   455864      0 |    14927 |    17638
1651.65/1652.16	c 1587s |      17 |   283482 |   229332 |   455864      0 |    14927 |    17638
1654.65/1655.19	c 1590s |      17 |   283911 |   229632 |   455864      0 |    14927 |    17638
1657.45/1657.92	c 1593s |      17 |   284288 |   229932 |   455864      0 |    14927 |    17638
1660.25/1660.78	c 1596s |      17 |   284658 |   230232 |   455864      0 |    14927 |    17638
1663.35/1663.83	c 1599s |      17 |   285036 |   230532 |   455864      0 |    14927 |    17638
1665.64/1666.13	c 1601s |      17 |   285296 |   230732 |   455864      0 |    14927 |    17638
1668.14/1668.65	c 1603s |      17 |   285541 |   230932 |   455864      0 |    14927 |    17638
1670.55/1671.01	c 1606s |      17 |   285784 |   231132 |   455864      0 |    14927 |    17638
1672.75/1673.28	c 1608s |      17 |   286014 |   231332 |   455864      0 |    14927 |    17638
1674.95/1675.44	c 1610s |      17 |   286247 |   231532 |   455864      0 |    14927 |    17638
1677.54/1678.05	c 1613s |      17 |   286481 |   231732 |   455864      0 |    14927 |    17638
1679.84/1680.35	c 1615s |      17 |   286736 |   231932 |   455864      0 |    14927 |    17638
1682.14/1682.60	c 1617s |      17 |   286969 |   232132 |   455864      0 |    14927 |    17638
1684.44/1684.96	c 1620s |      17 |   287234 |   232332 |   455864      0 |    14927 |    17638
1686.74/1687.26	c 1622s |      17 |   287488 |   232532 |   455864      0 |    14927 |    17638
1689.04/1689.50	c 1624s |      17 |   287741 |   232732 |   455864      0 |    14927 |    17638
1691.14/1691.64	c 1626s |      17 |   287977 |   232932 |   455864      0 |    14927 |    17638
1693.74/1694.25	c 1629s |      17 |   288233 |   233132 |   455864      0 |    14927 |    17638
1696.24/1696.79	c 1632s |      17 |   288478 |   233332 |   455864      0 |    14927 |    17638
1699.34/1699.83	c 1635s |      17 |   288854 |   233632 |   455864      0 |    14927 |    17638
1702.04/1702.52	c 1637s |      17 |   289202 |   233932 |   455864      0 |    14927 |    17638
1704.74/1705.28	c 1640s |      17 |   289587 |   234232 |   455864      0 |    14927 |    17638
1707.04/1707.50	c 1642s |      17 |   289834 |   234432 |   455864      0 |    14927 |    17638
1709.24/1709.75	c 1645s |      17 |   290080 |   234632 |   455864      0 |    14927 |    17638
1711.34/1711.80	c 1647s |      17 |   290308 |   234832 |   455864      0 |    14927 |    17638
1714.44/1714.98	c 1650s |      17 |   290676 |   235132 |   455864      0 |    14927 |    17638
1717.04/1717.53	c 1652s |      17 |   290916 |   235332 |   455864      0 |    14927 |    17638
1719.64/1720.12	c 1655s |      17 |   291169 |   235532 |   455864      0 |    14927 |    17638
1722.64/1723.19	c 1658s |      17 |   291381 |   235732 |   455864      0 |    14927 |    17638
1725.13/1725.69	c 1661s |      17 |   291642 |   235932 |   455864      0 |    14927 |    17638
1728.13/1728.60	c 1663s |      17 |   291865 |   236132 |   455864      0 |    14927 |    17638
1730.53/1731.02	c 1666s |      17 |   292092 |   236332 |   455864      0 |    14927 |    17638
1732.83/1733.35	c 1668s |      17 |   292342 |   236532 |   455864      0 |    14927 |    17638
1735.03/1735.58	c 1670s |      17 |   292600 |   236732 |   455864      0 |    14927 |    17638
1737.23/1737.73	c 1673s |      17 |   292862 |   236932 |   455864      0 |    14927 |    17638
1740.33/1740.85	c 1676s |      17 |   293266 |   237232 |   455864      0 |    14927 |    17638
1742.63/1743.15	c 1678s |      17 |   293511 |   237432 |   455864      0 |    14927 |    17638
1745.53/1746.00	c 1681s |      17 |   293746 |   237632 |   455864      0 |    14927 |    17638
1747.93/1748.48	c 1683s |      17 |   293983 |   237832 |   455864      0 |    14927 |    17638
1750.63/1751.19	c 1686s |      17 |   294225 |   238032 |   455864      0 |    14927 |    17638
1753.33/1753.88	c 1689s |      17 |   294448 |   238232 |   455864      0 |    14927 |    17638
1755.93/1756.48	c 1691s |      17 |   294698 |   238432 |   455864      0 |    14927 |    17638
1758.13/1758.67	c 1694s |      17 |   294956 |   238632 |   455864      0 |    14927 |    17638
1760.53/1761.05	c 1696s |      17 |   295211 |   238832 |   455864      0 |    14927 |    17638
1763.13/1763.65	c 1698s |      17 |   295459 |   239032 |   455864      0 |    14927 |    17638
1765.53/1766.08	c 1701s |      17 |   295718 |   239232 |   455864      0 |    14927 |    17638
1767.93/1768.48	c 1703s |      17 |   295985 |   239432 |   455864      0 |    14927 |    17638
1770.83/1771.34	c 1706s |      17 |   296219 |   239632 |   455864      0 |    14927 |    17638
1773.33/1773.87	c 1709s |      17 |   296432 |   239832 |   455864      0 |    14927 |    17638
1775.93/1776.46	c 1711s |      17 |   296672 |   240032 |   455864      0 |    14927 |    17638
1778.53/1779.03	c 1714s |      17 |   296903 |   240232 |   455864      0 |    14927 |    17638
1781.53/1782.09	c 1717s |      17 |   297140 |   240432 |   455864      0 |    14927 |    17638
1784.13/1784.60	c 1719s |      17 |   297396 |   240632 |   455864      0 |    14927 |    17638
1786.83/1787.32	c 1722s |      17 |   297641 |   240832 |   455864      0 |    14927 |    17638
1789.43/1789.90	c 1725s |      17 |   297892 |   241032 |   455864      0 |    14927 |    17638
1791.62/1792.10	c 1727s |      17 |   298138 |   241232 |   455864      0 |    14927 |    17638
1794.22/1794.78	c 1730s |      17 |   298390 |   241432 |   455864      0 |    14927 |    17638
1796.72/1797.22	c 1732s |      17 |   298633 |   241632 |   455864      0 |    14927 |    17638
1799.62/1800.12	c 1735s |      17 |   298851 |   241832 |   455864      0 |    14927 |    17638

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-4108349-1466290984/watcher-4108349-1466290984 -o /tmp/evaluation-result-4108349-1466290984/solver-4108349-1466290984 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10488 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108349-1466290984.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.21 2.23 2.20 3/179 12588
/proc/meminfo: memFree=28967544/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=631228 CPUtime=0 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 2335 0 0 0 0 0 0 0 20 0 4 0 31145564 646377472 2696 33554432000 4194304 16246674 140734922267440 140734922266864 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 158319 2704 441 2943 0 155213 0
[pid=12588/tid=12589] ppid=12585 vsize=648636 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 664203264 2767 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=653756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 669446144 2786 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=657852 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31145565 673640448 2802 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100156 s]
/proc/loadavg: 2.21 2.23 2.20 3/179 12588
/proc/meminfo: memFree=28967544/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 26722 0 0 0 5 3 0 0 20 0 4 0 31145564 1333334016 27021 33554432000 4194304 16246674 140734922267440 140734922266752 8058197 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 325521 27035 799 2943 0 322415 0
[pid=12588/tid=12589] ppid=12585 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1333334016 27046 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1333334016 27057 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1333334016 27067 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200508 s]
/proc/loadavg: 2.21 2.23 2.20 3/179 12588
/proc/meminfo: memFree=28967544/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 45411 0 0 0 12 7 0 0 20 0 4 0 31145564 1344868352 46220 33554432000 4194304 16246674 140734922267440 140734922266752 8058296 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 328337 46220 799 2943 0 325231 0
[pid=12588/tid=12589] ppid=12585 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1344868352 46220 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1344868352 46220 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1344868352 46220 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300483 s]
/proc/loadavg: 2.21 2.23 2.20 3/179 12588
/proc/meminfo: memFree=28967544/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 54450 0 0 0 21 8 0 0 20 0 4 0 31145564 1344868352 55259 33554432000 4194304 16246674 140734922267440 140734922266752 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 328337 55259 799 2943 0 325231 0
[pid=12588/tid=12589] ppid=12585 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1344868352 55259 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1344868352 55259 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1344868352 55259 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700352 s]
/proc/loadavg: 2.21 2.23 2.20 3/179 12588
/proc/meminfo: memFree=28967544/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 69772 0 0 0 60 9 0 0 20 0 4 0 31145564 1344868352 70581 33554432000 4194304 16246674 140734922267440 140734922266752 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 328337 70581 801 2943 0 325231 0
[pid=12588/tid=12589] ppid=12585 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1344868352 70581 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1344868352 70581 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1344868352 70581 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.21 2.23 2.20 3/183 12592
/proc/meminfo: memFree=28665964/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1330756 CPUtime=1.49 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 83269 0 0 0 138 11 0 0 20 0 4 0 31145564 1362694144 84078 33554432000 4194304 16246674 140734922267440 140734922266536 5573199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 332689 84078 830 2943 0 329583 0
[pid=12588/tid=12589] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 84078 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 84078 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 84078 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1330756

[startup+3.10034 s]
/proc/loadavg: 2.20 2.22 2.20 3/183 12592
/proc/meminfo: memFree=28191152/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1330756 CPUtime=3.09 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 273306 0 0 0 268 41 0 0 20 0 4 0 31145564 1362694144 274115 33554432000 4194304 16246674 140734922267440 140734922249344 12070328 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 332689 274115 839 2943 0 329583 0
[pid=12588/tid=12589] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274115 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274115 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274115 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1330756

[startup+6.30038 s]
/proc/loadavg: 2.20 2.22 2.20 3/183 12592
/proc/meminfo: memFree=27872608/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1330756 CPUtime=6.29 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 273376 0 0 0 588 41 0 0 20 0 4 0 31145564 1362694144 274185 33554432000 4194304 16246674 140734922267440 140734922249344 13965719 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 332689 274185 903 2943 0 329583 0
[pid=12588/tid=12589] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274185 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274185 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274185 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1330756

[startup+12.7004 s]
/proc/loadavg: 2.16 2.22 2.20 3/183 12592
/proc/meminfo: memFree=27873772/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1330756 CPUtime=12.69 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 273388 0 0 0 1228 41 0 0 20 0 4 0 31145564 1362694144 274197 33554432000 4194304 16246674 140734922267440 140734922249344 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 332689 274197 915 2943 0 329583 0
[pid=12588/tid=12589] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274197 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274197 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274197 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1330756

[startup+25.5004 s]
/proc/loadavg: 2.14 2.21 2.20 4/183 12592
/proc/meminfo: memFree=27874780/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1330756 CPUtime=25.49 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 273388 0 0 0 2508 41 0 0 20 0 4 0 31145564 1362694144 274197 33554432000 4194304 16246674 140734922267440 140734922249344 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 332689 274197 915 2943 0 329583 0
[pid=12588/tid=12589] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274197 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274197 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274197 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1330756

[startup+51.1005 s]
/proc/loadavg: 2.31 2.24 2.21 3/182 12592
/proc/meminfo: memFree=27875184/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1330756 CPUtime=51.08 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 273399 0 0 0 5067 41 0 0 20 0 4 0 31145564 1362694144 274203 33554432000 4194304 16246674 140734922267440 140734922249344 5673957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 332689 274203 919 2943 0 329583 0
[pid=12588/tid=12589] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274203 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274203 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274203 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1330756

[startup+102.3 s]
/proc/loadavg: 2.21 2.23 2.20 3/183 12594
/proc/meminfo: memFree=27876828/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1330756 CPUtime=102.27 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 273420 0 0 0 10186 41 0 0 20 0 4 0 31145564 1362694144 274203 33554432000 4194304 16246674 140734922267440 140734922249344 6026674 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 332689 274203 919 2943 0 329583 0
[pid=12588/tid=12589] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274203 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274203 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274203 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1330756


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

/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1330756

[startup+1362.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 13310
/proc/meminfo: memFree=27861728/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1330756 CPUtime=1361.89 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 273746 0 0 0 136146 43 0 0 20 0 4 0 31145564 1362694144 274204 33554432000 4194304 16246674 140734922267440 140734922249344 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 332689 274204 919 2943 0 329583 0
[pid=12588/tid=12589] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1330756

[startup+1422.3 s]
/proc/loadavg: 2.35 2.24 2.19 4/183 13311
/proc/meminfo: memFree=27861516/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1330756 CPUtime=1421.89 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 273746 0 0 0 142146 43 0 0 20 0 4 0 31145564 1362694144 274204 33554432000 4194304 16246674 140734922267440 140734922249344 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 332689 274204 919 2943 0 329583 0
[pid=12588/tid=12589] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1330756

[startup+1482.3 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 13312
/proc/meminfo: memFree=27861612/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1330756 CPUtime=1481.88 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 273746 0 0 0 148145 43 0 0 20 0 4 0 31145564 1362694144 274204 33554432000 4194304 16246674 140734922267440 140734922249344 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 332689 274204 919 2943 0 329583 0
[pid=12588/tid=12589] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1330756

[startup+1542.31 s]
/proc/loadavg: 2.30 2.25 2.19 3/183 13313
/proc/meminfo: memFree=27862064/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1330756 CPUtime=1541.87 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 273746 0 0 0 154144 43 0 0 20 0 4 0 31145564 1362694144 274204 33554432000 4194304 16246674 140734922267440 140734922249344 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 332689 274204 919 2943 0 329583 0
[pid=12588/tid=12589] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1330756

[startup+1602.3 s]
/proc/loadavg: 2.21 2.24 2.19 4/183 13315
/proc/meminfo: memFree=27862116/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1330756 CPUtime=1601.86 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 273746 0 0 0 160143 43 0 0 20 0 4 0 31145564 1362694144 274204 33554432000 4194304 16246674 140734922267440 140734922249344 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 332689 274204 919 2943 0 329583 0
[pid=12588/tid=12589] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1330756

[startup+1662.3 s]
/proc/loadavg: 2.37 2.28 2.20 3/184 13319
/proc/meminfo: memFree=27861332/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1330756 CPUtime=1661.85 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 273746 0 0 0 166142 43 0 0 20 0 4 0 31145564 1362694144 274204 33554432000 4194304 16246674 140734922267440 140734922249344 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 332689 274204 919 2943 0 329583 0
[pid=12588/tid=12589] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1330756

[startup+1722.3 s]
/proc/loadavg: 2.37 2.29 2.21 3/183 13320
/proc/meminfo: memFree=27861732/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1330756 CPUtime=1721.84 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 273746 0 0 0 172141 43 0 0 20 0 4 0 31145564 1362694144 274204 33554432000 4194304 16246674 140734922267440 140734922249344 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 332689 274204 919 2943 0 329583 0
[pid=12588/tid=12589] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1330756

[startup+1782.3 s]
/proc/loadavg: 2.29 2.28 2.20 4/183 13321
/proc/meminfo: memFree=27861136/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1330756 CPUtime=1781.83 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 273746 0 0 0 178140 43 0 0 20 0 4 0 31145564 1362694144 274204 33554432000 4194304 16246674 140734922267440 140734922249344 6022473 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 332689 274204 919 2943 0 329583 0
[pid=12588/tid=12589] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1330756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.23 2.26 2.20 3/183 13321
/proc/meminfo: memFree=27860924/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1330756 CPUtime=1800.02 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 273746 0 0 0 179959 43 0 0 20 0 4 0 31145564 1362694144 274204 33554432000 4194304 16246674 140734922267440 140734922249344 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 332689 274204 919 2943 0 329583 0
[pid=12588/tid=12589] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1330756

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

[startup+1800.5 s]
/proc/loadavg: 2.23 2.26 2.20 3/183 13321
/proc/meminfo: memFree=27860924/32872528 swapFree=17888/1798212
[pid=12588] ppid=12585 vsize=1330756 CPUtime=1800.02 cores=0,2,4,6
/proc/12588/stat : 12588 (toysat) R 12585 12588 10472 0 -1 4202496 273746 0 0 0 179959 43 0 0 20 0 4 0 31145564 1362694144 274204 33554432000 4194304 16246674 140734922267440 140734922249344 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12588/statm: 332689 274204 919 2943 0 329583 0
[pid=12588/tid=12589] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (toysat) S 12585 12588 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405408509168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12588/tid=12590] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (toysat) S 12585 12588 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405398019312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12588/tid=12591] ppid=12585 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (toysat) S 12585 12588 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31145565 1362694144 274204 33554432000 4194304 16246674 140734922267440 140405387545776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1330756

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.6
CPU system time (s): 0.436933
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 1330756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.436933
maximum resident set size= 1096816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273746
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= 378
involuntary context switches= 2501

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6303 second user time and 6.88095 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-19 01:03:04
IDJOB=4108349
IDBENCH=77200
IDSOLVER=2542
FILE ID=node123/4108349-1466290984
RUNJOBID= node123-1466275608-10488
PBS_JOBID= 19918249
Free space on /tmp= 71608 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12013_5.std.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108349-1466290984/watcher-4108349-1466290984 -o /tmp/evaluation-result-4108349-1466290984/solver-4108349-1466290984 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10488 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108349-1466290984.opb

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

MD5SUM BENCH= 5495138de3d55ac13cf4e73f1acf7a00
RANDOM SEED=889748540

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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:        28968336 kB
Buffers:           81476 kB
Cached:           161180 kB
SwapCached:         1604 kB
Active:          1203100 kB
Inactive:         158748 kB
Active(anon):    1118196 kB
Inactive(anon):     3076 kB
Active(file):      84904 kB
Inactive(file):   155672 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099320 kB
Dirty:             23684 kB
Writeback:             0 kB
AnonPages:       2916600 kB
Mapped:            10860 kB
Shmem:                 0 kB
Slab:             603364 kB
SReclaimable:      47056 kB
SUnreclaim:       556308 kB
KernelStack:        1480 kB
PageTables:         9888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3062048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2893824 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= 71588 MiB
End job on node123 at 2016-06-19 01:33:05