Trace number 4079657

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
MD5SUMd262db503fd284bdfe2b43790fda8490
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark99
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 91
Optimality of the best value was proved NO
Number of variables1807
Total number of constraints3444
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3443
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 66
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 193
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1320
Number of bits of the biggest sum of numbers11
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-06T22:58:46+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-4079657-1465246726.opb"]
0.00/0.01	c use --random-gen="2336421196 122224303 473794347 3820307579 37181281 4152392341 999088957 3430218764 1021391258 3246223973 2228483909 1523475637 1982774078 525537014 1184882538 399073842 443514161 1132904175 1633121066 2762063912 3147012620 2188712183 4055620588 3120253879 3116717582 3090673568 2199016410 984234151 1943937673 1712598380 1773183399 4114306624 3465084627 4103903697 1141144282 1908697995 3995471492 3561660440 2807100622 2764878645 3110478001 1030535383 1495003062 1384982969 3926912387 3909891624 3212975241 2383969012 1510690823 2909948690 698600254 301026068 3189358175 4265168178 991434267 442541085 3550450132 2164884360 1258661356 1360991221 171944432 399899640 3179590400 2303379706 4048660669 3003974712 4165613371 2954518108 1389699726 651494819 2613566385 3031606892 4147429997 1337572545 1725574146 3975564720 3856489194 790911865 1155305349 20131093 2586438561 2154186634 3670953112 45017783 3250049540 3635039638 4016252139 3135673622 857586370 279977010 887788323 278466377 381545293 1639578917 3014416156 3025837535 3176534460 70601780 1319345914 2824378485 4069476346 4286279393 1415673403 2887731249 606092010 2431550162 982190888 3577776862 1663494555 1403045432 685372097 4108444270 397113395 1946044864 621194687 2417519389 2117966460 2779047203 2635545048 264127849 1572215735 2417026659 3600432766 3175435700 1763172864 1386276017 907199952 3299592047 1531308970 1661480569 41489927 4021524248 3965352292 2305758490 3980907234 3549724351 2987821188 1732917466 1485087592 1402295821 2895980051 601304265 1811055006 425267358 1533000306 2780080045 3294443827 1630751547 3561276555 2722674630 3646976547 1124801009 2275412957 385896462 1099716724 3550050147 2186485585 2177996566 2218796966 426483673 3322997599 1410891193 2861023797 3895811536 2377538792 2356046216 2512534609 2842896229 4043797606 3130809678 1370892947 3307608503 319474471 401152639 1518864323 1010719534 3832412765 2929506046 783641857 2440574240 49343898 2359360782 3553879484 361430781 3409410611 1057727574 3821818528 1434255096 1971386912 4268657673 860304071 2283195616 3500695555 3638499462 3962246224 2764632498 119652892 3086094528 1591779193 3160472137 1099450366 641554205 1433761578 2649554576 286798755 3549874057 2598268129 3761099851 3040568844 1424247710 1267066292 131942157 3190050685 449458164 205322828 2143859036 3551708446 758136485 2016528738 245366159 3635763039 2846277039 2598791233 3007361475 899643136 1645050234 3838382920 2053907089 2602008488 999989687 1962302151 655075741 1374676333 1790928027 3932721345 447951621 3117554974 2972110204 1009380170 2767544823 1374735918 1063459600 4149887471 1275914648 1165534780 2107216120 4119299256 568673085 580838518 2410195727 1572381003 3052202841 2436561334 1378382194 1773785714 2388744204 255 362436" option to reproduce the execution
0.19/0.21	c #vars 1807
0.19/0.21	c #constraints 3444
0.49/0.51	c BCD2: Hardening is enabled.
0.49/0.51	c BCD2: BiasedSearch is enabled.
0.49/0.51	c Solving starts ...
0.49/0.51	c ============================[ Search Statistics ]============================
0.49/0.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.51	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.51	c =============================================================================
0.49/0.51	c  0.0s |       0 |        0 |        0 |     1750      0 |        1 |        0
0.98/1.10	c  0.6s |       1 |     1375 |      100 |     1750      0 |        1 |        0
1.59/1.66	c  1.1s |       2 |     1589 |      250 |     1926      0 |        1 |        0
2.88/2.91	c  2.4s |       3 |     1873 |      475 |     2119      0 |        1 |        0
3.59/3.62	c  3.1s |       3 |     2151 |      634 |     2331      0 |        1 |        0
3.59/3.62	c #cpu_time = 3.097s
3.59/3.62	c #wall_clock_time = 3.097s
3.59/3.62	c #decision = 2151
3.59/3.62	c #random_decision = 7
3.59/3.62	c #conflict = 634
3.59/3.62	c #restart = 3
3.59/3.62	o 142
3.59/3.62	c BCD2: updating upper bound: 193 -> 141
3.59/3.63	c BCD2: 0 <= obj <= 141
3.59/3.63	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
3.59/3.63	c BCD2: #sat=1 #unsat=1 bias=1/2
3.59/3.63	c Solving starts ...
3.59/3.63	c ============================[ Search Statistics ]============================
3.59/3.63	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.59/3.63	c       |         |          |          |    Limit     GC | Var      | Constra 
3.59/3.63	c =============================================================================
3.59/3.63	c  0.0s |       0 |        0 |        0 |     2331      0 |        1 |        0
3.59/3.65	c  0.0s |       0 |        0 |        0 |     2331      0 |        1 |        0
3.59/3.65	c #cpu_time = 0.026s
3.59/3.65	c #wall_clock_time = 0.026s
3.59/3.65	c #decision = 0
3.59/3.65	c #random_decision = 0
3.59/3.65	c #conflict = 0
3.59/3.65	c #restart = 0
3.59/3.65	c BCD2: found a new core of size 1: cost of the new core is >=66
3.59/3.65	c lower bound updated to 66
3.59/3.65	c BCD2: 66 <= obj <= 141
3.59/3.65	c BCD2: #cores=1, #unrelaxed=7, #relaxed=1, #hardened=0
3.59/3.65	c BCD2: #sat=1 #unsat=2 bias=2/3
3.59/3.65	c Solving starts ...
3.59/3.65	c ============================[ Search Statistics ]============================
3.59/3.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.59/3.65	c       |         |          |          |    Limit     GC | Var      | Constra 
3.59/3.65	c =============================================================================
3.59/3.65	c  0.0s |       0 |        0 |        0 |     2331      0 |        1 |        0
3.99/4.04	c  0.4s |       1 |      151 |      100 |     2331      0 |        1 |        0
4.50/4.53	c  0.9s |       2 |      327 |      250 |     2565      0 |        1 |        0
5.29/5.31	c  1.7s |       3 |      666 |      475 |     2565      0 |        1 |        0
6.19/6.27	c  2.6s |       4 |     1072 |      813 |     2822      0 |        1 |        0
7.39/7.47	c  3.8s |       5 |     1692 |     1320 |     2822      0 |        1 |        0
9.39/9.47	c  5.8s |       6 |     2542 |     2081 |     3105      0 |        1 |        0
11.49/11.52	c  7.9s |       6 |     3494 |     2881 |     3416      0 |        1 |        0
12.39/12.46	c  8.8s |       7 |     3864 |     3223 |     3416      0 |        1 |        0
14.49/14.50	c 10.8s |       7 |     4673 |     3923 |     3416      1 |        1 |        0
16.60/16.63	c 13.0s |       7 |     5528 |     4723 |     3758      1 |        1 |        0
17.19/17.22	c 13.6s |       8 |     5758 |     4936 |     3758      1 |        1 |        0
19.19/19.25	c 15.6s |       8 |     6594 |     5636 |     3758      2 |        1 |        0
21.29/21.38	c 17.7s |       8 |     7374 |     6336 |     3758      2 |        1 |        0
23.39/23.41	c 19.8s |       8 |     8044 |     6936 |     4134      2 |        1 |        0
25.09/25.16	c 21.5s |       9 |     8663 |     7506 |     4134      2 |        1 |        0
27.39/27.44	c 23.8s |       9 |     9511 |     8206 |     4134      3 |        1 |        0
29.69/29.71	c 26.1s |       9 |    10292 |     8906 |     4134      3 |        1 |        0
31.69/31.73	c 28.1s |       9 |    11074 |     9606 |     4134      3 |        1 |        0
33.69/33.77	c 30.1s |       9 |    11829 |    10306 |     4134      3 |        1 |        0
35.99/36.01	c 32.4s |       9 |    12585 |    11006 |     4548      4 |        1 |        0
37.19/37.20	c 33.6s |      10 |    12956 |    11361 |     4548      4 |        1 |        0
39.29/39.39	c 35.7s |      10 |    13832 |    12161 |     4548      4 |        1 |        0
41.39/41.42	c 37.8s |      10 |    14614 |    12861 |     4548      4 |        1 |        0
43.59/43.64	c 40.0s |      10 |    15379 |    13561 |     4548      5 |        1 |        0
45.59/45.66	c 42.0s |      10 |    16175 |    14261 |     4548      5 |        1 |        0
47.78/47.82	c 44.2s |      10 |    16938 |    14961 |     4548      5 |        1 |        0
49.88/49.96	c 46.3s |      10 |    17814 |    15761 |     4548      6 |        1 |        0
52.08/52.15	c 48.5s |      10 |    18808 |    16661 |     5003      6 |        1 |        0
53.08/53.18	c 49.5s |      11 |    19327 |    17144 |     5003      6 |        1 |        0
55.28/55.34	c 51.7s |      11 |    20252 |    17944 |     5003      6 |        1 |        0
57.38/57.48	c 53.8s |      11 |    21149 |    18744 |     5003      7 |        1 |        0
59.58/59.61	c 56.0s |      11 |    21990 |    19544 |     5003      7 |        1 |        0
61.69/61.76	c 58.1s |      11 |    22881 |    20344 |     5003      7 |        1 |        0
63.89/63.96	c 60.3s |      11 |    23791 |    21144 |     5003      8 |        1 |        0
65.88/65.98	c 62.3s |      11 |    24658 |    21944 |     5003      8 |        1 |        0
68.08/68.11	c 64.5s |      11 |    25566 |    22744 |     5003      8 |        1 |        0
70.08/70.13	c 66.5s |      11 |    26429 |    23544 |     5003      8 |        1 |        0
72.08/72.16	c 68.5s |      11 |    27273 |    24344 |     5003      9 |        1 |        0
74.08/74.17	c 70.5s |      11 |    28049 |    25044 |     5504      9 |        1 |        0
76.18/76.21	c 72.6s |      12 |    28902 |    25819 |     5504      9 |        1 |        0
78.38/78.46	c 74.8s |      12 |    29732 |    26519 |     5504      9 |        1 |        0
80.58/80.64	c 77.0s |      12 |    30508 |    27219 |     5504     10 |        1 |        0
82.88/82.96	c 79.3s |      12 |    31374 |    28019 |     5504     10 |        1 |        0
84.88/85.00	c 81.3s |      12 |    32018 |    28619 |     5504     10 |        1 |        0
86.98/87.04	c 83.4s |      12 |    32662 |    29219 |     5504     10 |        1 |        0
89.28/89.32	c 85.7s |      12 |    33512 |    30019 |     5504     10 |        1 |        0
91.38/91.43	c 87.8s |      12 |    34250 |    30719 |     5504     11 |        1 |        0
93.48/93.57	c 89.9s |      12 |    35112 |    31519 |     5504     11 |        1 |        0
95.68/95.73	c 92.1s |      12 |    35890 |    32219 |     5504     11 |        1 |        0
97.78/97.81	c 94.2s |      12 |    36667 |    32919 |     5504     12 |        1 |        0
99.88/99.94	c 96.3s |      12 |    37575 |    33719 |     5504     12 |        1 |        0
102.18/102.21	c 98.6s |      12 |    38330 |    34419 |     5504     12 |        1 |        0
104.48/104.51	c  100s |      12 |    39080 |    35119 |     5504     12 |        1 |        0
106.57/106.64	c  102s |      12 |    39863 |    35819 |     5504     13 |        1 |        0
108.67/108.71	c  105s |      12 |    40739 |    36619 |     5504     13 |        1 |        0
110.77/110.86	c  107s |      12 |    41641 |    37419 |     5504     13 |        1 |        0
113.07/113.14	c  109s |      12 |    42495 |    38219 |     6055     13 |        1 |        0
114.97/115.03	c  111s |      13 |    43172 |    38832 |     6055     13 |        1 |        0
117.17/117.22	c  113s |      13 |    43922 |    39532 |     6055     14 |        1 |        0
119.27/119.33	c  115s |      13 |    44787 |    40332 |     6055     14 |        1 |        0
121.47/121.53	c  117s |      13 |    45633 |    41132 |     6055     14 |        1 |        0
123.87/123.91	c  120s |      13 |    46265 |    41732 |     6055     14 |        1 |        0
125.87/125.95	c  122s |      13 |    46901 |    42332 |     6055     14 |        1 |        0
128.07/128.13	c  124s |      13 |    47552 |    42932 |     6055     15 |        1 |        0
130.07/130.14	c  126s |      13 |    48206 |    43532 |     6055     15 |        1 |        0
132.37/132.42	c  128s |      13 |    48980 |    44232 |     6055     15 |        1 |        0
134.57/134.69	c  131s |      13 |    49711 |    44932 |     6055     15 |        1 |        0
136.77/136.81	c  133s |      13 |    50479 |    45632 |     6055     16 |        1 |        0
138.77/138.85	c  135s |      13 |    51252 |    46332 |     6055     16 |        1 |        0
141.17/141.21	c  137s |      13 |    52221 |    47232 |     6055     16 |        1 |        0
143.37/143.44	c  139s |      13 |    53175 |    48132 |     6055     16 |        1 |        0
145.57/145.64	c  141s |      13 |    54082 |    48932 |     6055     16 |        1 |        0
147.67/147.76	c  144s |      13 |    54957 |    49732 |     6055     17 |        1 |        0
149.87/149.99	c  146s |      13 |    55834 |    50532 |     6055     17 |        1 |        0
151.97/152.03	c  148s |      13 |    56604 |    51232 |     6055     17 |        1 |        0
154.27/154.32	c  150s |      13 |    57484 |    52032 |     6055     17 |        1 |        0
156.27/156.36	c  152s |      13 |    58255 |    52732 |     6055     18 |        1 |        0
158.37/158.47	c  154s |      13 |    59052 |    53432 |     6055     18 |        1 |        0
160.46/160.51	c  156s |      13 |    59834 |    54132 |     6055     18 |        1 |        0
162.56/162.63	c  158s |      13 |    60624 |    54832 |     6055     18 |        1 |        0
164.76/164.80	c  161s |      13 |    61394 |    55532 |     6055     18 |        1 |        0
166.86/166.90	c  163s |      13 |    62070 |    56132 |     6055     19 |        1 |        0
168.96/169.07	c  165s |      13 |    62820 |    56832 |     6055     19 |        1 |        0
171.06/171.14	c  167s |      13 |    63572 |    57532 |     6661     19 |        1 |        0
173.16/173.26	c  169s |      13 |    64421 |    58332 |     6661     19 |        1 |        0
173.26/173.33	c  169s |      14 |    64444 |    58352 |     6661     19 |        1 |        0
175.46/175.55	c  171s |      14 |    65314 |    59152 |     6661     19 |        1 |        0
177.66/177.78	c  174s |      14 |    66068 |    59852 |     6661     20 |        1 |        0
179.86/179.94	c  176s |      14 |    66938 |    60652 |     6661     20 |        1 |        0
181.96/182.03	c  178s |      14 |    67691 |    61352 |     6661     20 |        1 |        0
183.96/184.06	c  180s |      14 |    68436 |    62052 |     6661     20 |        1 |        0
186.16/186.25	c  182s |      14 |    69199 |    62752 |     6661     21 |        1 |        0
188.26/188.32	c  184s |      14 |    69964 |    63452 |     6661     21 |        1 |        0
190.27/190.39	c  186s |      14 |    70839 |    64252 |     6661     21 |        1 |        0
192.57/192.66	c  189s |      14 |    71604 |    64952 |     6661     21 |        1 |        0
194.86/194.92	c  191s |      14 |    72345 |    65652 |     6661     21 |        1 |        0
196.87/196.98	c  193s |      14 |    72999 |    66252 |     6661     22 |        1 |        0
199.16/199.21	c  195s |      14 |    73782 |    66952 |     6661     22 |        1 |        0
201.36/201.47	c  197s |      14 |    74540 |    67652 |     6661     22 |        1 |        0
203.46/203.57	c  199s |      14 |    75280 |    68352 |     6661     22 |        1 |        0
205.46/205.58	c  201s |      14 |    75915 |    68952 |     6661     22 |        1 |        0
207.46/207.58	c  203s |      14 |    76654 |    69652 |     6661     22 |        1 |        0
209.66/209.74	c  206s |      14 |    77501 |    70452 |     6661     23 |        1 |        0
211.76/211.87	c  208s |      14 |    78552 |    71452 |     6661     23 |        1 |        0
213.85/213.99	c  210s |      14 |    79517 |    72352 |     6661     23 |        1 |        0
216.05/216.16	c  212s |      14 |    80467 |    73252 |     6661     23 |        1 |        0
218.35/218.40	c  214s |      14 |    81309 |    74052 |     6661     24 |        1 |        0
220.55/220.64	c  216s |      14 |    82160 |    74852 |     6661     24 |        1 |        0
222.65/222.78	c  219s |      14 |    83013 |    75652 |     6661     24 |        1 |        0
224.85/224.94	c  221s |      14 |    83869 |    76452 |     6661     24 |        1 |        0
226.85/226.97	c  223s |      14 |    84629 |    77152 |     6661     25 |        1 |        0
229.05/229.17	c  225s |      14 |    85487 |    77952 |     6661     25 |        1 |        0
231.35/231.43	c  227s |      14 |    86369 |    78752 |     6661     25 |        1 |        0
233.45/233.51	c  229s |      14 |    87298 |    79552 |     6661     25 |        1 |        0
235.55/235.62	c  231s |      14 |    88156 |    80352 |     6661     25 |        1 |        0
237.56/237.66	c  234s |      14 |    88932 |    81052 |     6661     26 |        1 |        0
239.76/239.83	c  236s |      14 |    89770 |    81852 |     6661     26 |        1 |        0
241.96/242.03	c  238s |      14 |    90546 |    82552 |     6661     26 |        1 |        0
244.05/244.15	c  240s |      14 |    91300 |    83252 |     6661     26 |        1 |        0
246.25/246.33	c  242s |      14 |    92064 |    83952 |     6661     26 |        1 |        0
248.45/248.56	c  244s |      14 |    92819 |    84652 |     6661     27 |        1 |        0
250.55/250.62	c  246s |      14 |    93556 |    85352 |     6661     27 |        1 |        0
252.75/252.87	c  249s |      14 |    94303 |    86052 |     6661     27 |        1 |        0
255.05/255.14	c  251s |      14 |    95042 |    86752 |     7328     27 |        1 |        0
257.25/257.34	c  253s |      14 |    95779 |    87352 |     7328     27 |        1 |        0
258.15/258.28	c  254s |      15 |    96120 |    87632 |     7328     27 |        1 |        0
260.25/260.33	c  256s |      15 |    96956 |    88332 |     7328     28 |        1 |        0
262.25/262.35	c  258s |      15 |    98012 |    89332 |     7328     28 |        1 |        0
264.24/264.39	c  260s |      15 |    99174 |    90432 |     7328     28 |        1 |        0
266.44/266.52	c  262s |      15 |   100257 |    91432 |     7328     28 |        1 |        0
268.54/268.63	c  264s |      15 |   101244 |    92332 |     7328     29 |        1 |        0
270.74/270.86	c  267s |      15 |   102343 |    93332 |     7328     29 |        1 |        0
272.85/272.95	c  269s |      15 |   103332 |    94232 |     7328     29 |        1 |        0
275.05/275.16	c  271s |      15 |   104423 |    95232 |     7328     29 |        1 |        0
277.44/277.51	c  273s |      15 |   105234 |    95932 |     7328     30 |        1 |        0
279.64/279.70	c  276s |      15 |   106088 |    96632 |     7328     30 |        1 |        0
281.84/281.94	c  278s |      15 |   106888 |    97332 |     7328     30 |        1 |        0
283.94/284.09	c  280s |      15 |   107620 |    98032 |     7328     30 |        1 |        0
286.05/286.13	c  282s |      15 |   108270 |    98632 |     7328     30 |        1 |        0
288.25/288.35	c  284s |      15 |   109033 |    99332 |     7328     30 |        1 |        0
290.45/290.54	c  286s |      15 |   109787 |   100032 |     7328     31 |        1 |        0
292.65/292.76	c  289s |      15 |   110655 |   100832 |     7328     31 |        1 |        0
294.94/295.02	c  291s |      15 |   111399 |   101532 |     7328     31 |        1 |        0
297.04/297.19	c  293s |      15 |   112166 |   102232 |     7328     31 |        1 |        0
299.04/299.19	c  295s |      15 |   112805 |   102832 |     7328     31 |        1 |        0
301.34/301.44	c  297s |      15 |   113536 |   103532 |     7328     31 |        1 |        0
303.54/303.67	c  300s |      15 |   114274 |   104232 |     7328     32 |        1 |        0
305.74/305.81	c  302s |      15 |   115017 |   104932 |     7328     32 |        1 |        0
307.94/308.10	c  304s |      15 |   115767 |   105632 |     7328     32 |        1 |        0
310.04/310.12	c  306s |      15 |   116401 |   106232 |     7328     32 |        1 |        0
312.24/312.38	c  308s |      15 |   117137 |   106932 |     7328     32 |        1 |        0
314.24/314.38	c  310s |      15 |   117768 |   107532 |     7328     33 |        1 |        0
316.44/316.52	c  312s |      15 |   118539 |   108232 |     7328     33 |        1 |        0
318.64/318.78	c  315s |      15 |   119272 |   108932 |     7328     33 |        1 |        0
320.74/320.84	c  317s |      15 |   119916 |   109532 |     7328     33 |        1 |        0
323.04/323.16	c  319s |      15 |   120665 |   110232 |     7328     33 |        1 |        0
325.34/325.45	c  321s |      15 |   121422 |   110932 |     7328     33 |        1 |        0
327.44/327.50	c  323s |      15 |   122164 |   111632 |     7328     33 |        1 |        0
329.64/329.72	c  326s |      15 |   123009 |   112432 |     7328     34 |        1 |        0
331.64/331.74	c  328s |      15 |   123649 |   113032 |     7328     34 |        1 |        0
333.84/333.90	c  330s |      15 |   124276 |   113632 |     7328     34 |        1 |        0
335.94/336.02	c  332s |      15 |   124919 |   114232 |     7328     34 |        1 |        0
338.24/338.32	c  334s |      15 |   125551 |   114832 |     7328     34 |        1 |        0
340.34/340.41	c  336s |      15 |   126207 |   115432 |     7328     34 |        1 |        0
342.34/342.42	c  338s |      15 |   126739 |   115932 |     7328     35 |        1 |        0
344.34/344.45	c  340s |      15 |   127371 |   116532 |     7328     35 |        1 |        0
346.44/346.51	c  342s |      15 |   127997 |   117132 |     7328     35 |        1 |        0
348.64/348.78	c  345s |      15 |   128669 |   117732 |     7328     35 |        1 |        0
350.73/350.86	c  347s |      15 |   129195 |   118232 |     7328     35 |        1 |        0
353.03/353.20	c  349s |      15 |   129828 |   118832 |     7328     35 |        1 |        0
355.13/355.24	c  351s |      15 |   130372 |   119332 |     7328     35 |        1 |        0
357.23/357.38	c  353s |      15 |   130918 |   119832 |     7328     36 |        1 |        0
359.23/359.39	c  355s |      15 |   131458 |   120332 |     7328     36 |        1 |        0
361.62/361.74	c  358s |      15 |   132102 |   120932 |     7328     36 |        1 |        0
363.62/363.77	c  360s |      15 |   132648 |   121432 |     7328     36 |        1 |        0
365.72/365.85	c  362s |      15 |   133295 |   122032 |     7328     36 |        1 |        0
368.02/368.14	c  364s |      15 |   133937 |   122632 |     7328     36 |        1 |        0
370.22/370.35	c  366s |      15 |   134678 |   123332 |     7328     36 |        1 |        0
372.31/372.42	c  368s |      15 |   135314 |   123932 |     7328     37 |        1 |        0
374.61/374.70	c  371s |      15 |   136061 |   124632 |     7328     37 |        1 |        0
376.61/376.74	c  373s |      15 |   136716 |   125232 |     7328     37 |        1 |        0
378.71/378.84	c  375s |      15 |   137348 |   125832 |     7328     37 |        1 |        0
380.91/381.08	c  377s |      15 |   138008 |   126432 |     7328     37 |        1 |        0
383.31/383.46	c  379s |      15 |   138656 |   127032 |     7328     37 |        1 |        0
385.51/385.67	c  382s |      15 |   139311 |   127632 |     7328     38 |        1 |        0
387.81/387.95	c  384s |      15 |   140105 |   128332 |     7328     38 |        1 |        0
389.91/390.00	c  386s |      15 |   140741 |   128932 |     7328     38 |        1 |        0
392.10/392.30	c  388s |      15 |   141370 |   129532 |     7328     38 |        1 |        0
394.30/394.41	c  390s |      15 |   141950 |   130032 |     8061     38 |        1 |        0
396.50/396.65	c  392s |      15 |   142714 |   130732 |     8061     38 |        1 |        0
398.60/398.71	c  395s |      15 |   143477 |   131432 |     8061     38 |        1 |        0
398.80/398.99	c  395s |      16 |   143602 |   131552 |     8061     38 |        1 |        0
400.90/401.06	c  397s |      16 |   144267 |   132152 |     8061     39 |        1 |        0
403.19/403.34	c  399s |      16 |   144959 |   132752 |     8061     39 |        1 |        0
405.29/405.43	c  401s |      16 |   145640 |   133352 |     8061     39 |        1 |        0
407.59/407.73	c  404s |      16 |   146273 |   133952 |     8061     39 |        1 |        0
409.89/410.09	c  406s |      16 |   147031 |   134652 |     8061     39 |        1 |        0
412.29/412.42	c  408s |      16 |   147679 |   135252 |     8061     39 |        1 |        0
414.49/414.63	c  410s |      16 |   148304 |   135852 |     8061     39 |        1 |        0
416.49/416.68	c  413s |      16 |   148951 |   136452 |     8061     40 |        1 |        0
418.69/418.89	c  415s |      16 |   149592 |   137052 |     8061     40 |        1 |        0
420.88/421.00	c  417s |      16 |   150247 |   137652 |     8061     40 |        1 |        0
423.18/423.32	c  419s |      16 |   150897 |   138252 |     8061     40 |        1 |        0
425.38/425.53	c  421s |      16 |   151580 |   138852 |     8061     40 |        1 |        0
427.58/427.73	c  424s |      16 |   152136 |   139352 |     8061     40 |        1 |        0
429.88/430.06	c  426s |      16 |   152944 |   140052 |     8061     40 |        1 |        0
432.19/432.38	c  428s |      16 |   153566 |   140652 |     8061     41 |        1 |        0
434.28/434.43	c  430s |      16 |   154095 |   141152 |     8061     41 |        1 |        0
436.28/436.45	c  432s |      16 |   154765 |   141752 |     8061     41 |        1 |        0
438.28/438.49	c  434s |      16 |   155530 |   142452 |     8061     41 |        1 |        0
440.47/440.63	c  436s |      16 |   156172 |   143052 |     8061     41 |        1 |        0
442.57/442.72	c  439s |      16 |   156811 |   143652 |     8061     41 |        1 |        0
444.67/444.83	c  441s |      16 |   157461 |   144252 |     8061     41 |        1 |        0
446.67/446.86	c  443s |      16 |   158139 |   144852 |     8061     42 |        1 |        0
448.87/449.09	c  445s |      16 |   158893 |   145552 |     8061     42 |        1 |        0
450.98/451.12	c  447s |      16 |   159546 |   146152 |     8061     42 |        1 |        0
453.17/453.37	c  449s |      16 |   160312 |   146852 |     8061     42 |        1 |        0
455.27/455.50	c  451s |      16 |   160957 |   147452 |     8061     42 |        1 |        0
457.67/457.86	c  454s |      16 |   161717 |   148152 |     8061     42 |        1 |        0
459.87/460.04	c  456s |      16 |   162270 |   148652 |     8061     43 |        1 |        0
462.06/462.26	c  458s |      16 |   162922 |   149252 |     8061     43 |        1 |        0
464.26/464.40	c  460s |      16 |   163581 |   149852 |     8061     43 |        1 |        0
466.46/466.65	c  462s |      16 |   164374 |   150552 |     8061     43 |        1 |        0
468.57/468.76	c  465s |      16 |   165019 |   151152 |     8061     43 |        1 |        0
470.66/470.89	c  467s |      16 |   165566 |   151652 |     8061     43 |        1 |        0
472.86/473.09	c  469s |      16 |   166197 |   152252 |     8061     43 |        1 |        0
475.25/475.44	c  471s |      16 |   166835 |   152852 |     8061     43 |        1 |        0
477.55/477.70	c  474s |      16 |   167592 |   153552 |     8061     44 |        1 |        0
479.75/479.95	c  476s |      16 |   168342 |   154252 |     8061     44 |        1 |        0
481.94/482.18	c  478s |      16 |   168983 |   154852 |     8061     44 |        1 |        0
484.04/484.28	c  480s |      16 |   169652 |   155452 |     8061     44 |        1 |        0
486.34/486.56	c  482s |      16 |   170341 |   156052 |     8061     44 |        1 |        0
488.74/488.92	c  485s |      16 |   170992 |   156652 |     8061     44 |        1 |        0
490.74/490.95	c  487s |      16 |   171565 |   157152 |     8061     45 |        1 |        0
492.84/493.02	c  489s |      16 |   172252 |   157752 |     8061     45 |        1 |        0
494.94/495.16	c  491s |      16 |   172901 |   158352 |     8061     45 |        1 |        0
497.14/497.33	c  493s |      16 |   173560 |   158952 |     8061     45 |        1 |        0
499.44/499.60	c  495s |      16 |   174310 |   159652 |     8061     45 |        1 |        0
501.63/501.82	c  498s |      16 |   174947 |   160252 |     8061     45 |        1 |        0
503.83/504.00	c  500s |      16 |   175575 |   160852 |     8061     45 |        1 |        0
506.03/506.20	c  502s |      16 |   176231 |   161452 |     8061     46 |        1 |        0
508.04/508.29	c  504s |      16 |   176769 |   161952 |     8061     46 |        1 |        0
510.13/510.33	c  506s |      16 |   177424 |   162552 |     8061     46 |        1 |        0
512.32/512.53	c  508s |      16 |   178076 |   163152 |     8061     46 |        1 |        0
514.32/514.57	c  510s |      16 |   178718 |   163752 |     8061     46 |        1 |        0
516.42/516.61	c  512s |      16 |   179236 |   164252 |     8061     46 |        1 |        0
518.72/518.93	c  515s |      16 |   179929 |   164852 |     8061     46 |        1 |        0
520.82/521.00	c  517s |      16 |   180579 |   165452 |     8061     46 |        1 |        0
522.82/523.08	c  519s |      16 |   181122 |   165952 |     8061     47 |        1 |        0
525.22/525.43	c  521s |      16 |   181983 |   166752 |     8061     47 |        1 |        0
527.41/527.69	c  524s |      16 |   182755 |   167452 |     8061     47 |        1 |        0
529.61/529.88	c  526s |      16 |   183533 |   168152 |     8061     47 |        1 |        0
531.91/532.18	c  528s |      16 |   184313 |   168852 |     8061     47 |        1 |        0
534.21/534.46	c  530s |      16 |   185089 |   169552 |     8061     47 |        1 |        0
536.31/536.51	c  532s |      16 |   185716 |   170152 |     8061     48 |        1 |        0
538.31/538.58	c  534s |      16 |   186465 |   170852 |     8061     48 |        1 |        0
540.40/540.65	c  536s |      16 |   187238 |   171552 |     8061     48 |        1 |        0
542.70/542.97	c  539s |      16 |   188025 |   172252 |     8061     48 |        1 |        0
544.90/545.17	c  541s |      16 |   188765 |   172952 |     8061     48 |        1 |        0
547.10/547.32	c  543s |      16 |   189412 |   173552 |     8061     48 |        1 |        0
549.20/549.41	c  545s |      16 |   190188 |   174252 |     8061     49 |        1 |        0
551.30/551.50	c  547s |      16 |   190973 |   174952 |     8061     49 |        1 |        0
553.30/553.58	c  549s |      16 |   191750 |   175652 |     8061     49 |        1 |        0
555.40/555.62	c  551s |      16 |   192522 |   176352 |     8061     49 |        1 |        0
557.70/557.90	c  554s |      16 |   193395 |   177152 |     8061     49 |        1 |        0
559.70/559.99	c  556s |      16 |   194129 |   177852 |     8061     49 |        1 |        0
561.90/562.13	c  558s |      16 |   194771 |   178452 |     8061     50 |        1 |        0
564.20/564.44	c  560s |      16 |   195610 |   179252 |     8061     50 |        1 |        0
566.49/566.75	c  563s |      16 |   196366 |   179952 |     8061     50 |        1 |        0
568.69/568.94	c  565s |      16 |   197116 |   180652 |     8061     50 |        1 |        0
570.99/571.20	c  567s |      16 |   197853 |   181352 |     8061     50 |        1 |        0
573.09/573.34	c  569s |      16 |   198599 |   182052 |     8061     50 |        1 |        0
575.39/575.63	c  571s |      16 |   199276 |   182652 |     8061     51 |        1 |        0
577.49/577.70	c  574s |      16 |   199980 |   183252 |     8061     51 |        1 |        0
579.50/579.74	c  576s |      16 |   200665 |   183852 |     8061     51 |        1 |        0
581.89/582.13	c  578s |      16 |   201431 |   184552 |     8061     51 |        1 |        0
583.99/584.29	c  580s |      16 |   202119 |   185152 |     8061     51 |        1 |        0
586.28/586.51	c  582s |      16 |   202897 |   185852 |     8061     51 |        1 |        0
588.39/588.68	c  585s |      16 |   203556 |   186452 |     8061     51 |        1 |        0
590.58/590.85	c  587s |      16 |   204200 |   187052 |     8061     52 |        1 |        0
592.78/593.08	c  589s |      16 |   204886 |   187652 |     8061     52 |        1 |        0
595.08/595.35	c  591s |      16 |   205634 |   188352 |     8061     52 |        1 |        0
597.18/597.47	c  593s |      16 |   206411 |   189052 |     8061     52 |        1 |        0
599.38/599.63	c  595s |      16 |   207075 |   189652 |     8061     52 |        1 |        0
601.58/601.83	c  598s |      16 |   207868 |   190352 |     8061     52 |        1 |        0
603.68/603.96	c  600s |      16 |   208529 |   190952 |     8061     53 |        1 |        0
605.98/606.24	c  602s |      16 |   209303 |   191652 |     8061     53 |        1 |        0
608.18/608.41	c  604s |      16 |   210076 |   192352 |     8061     53 |        1 |        0
610.17/610.44	c  606s |      16 |   210709 |   192952 |     8061     53 |        1 |        0
612.47/612.72	c  609s |      16 |   211447 |   193652 |     8061     53 |        1 |        0
614.77/615.03	c  611s |      16 |   212208 |   194352 |     8061     53 |        1 |        0
616.77/617.04	c  613s |      16 |   212766 |   194852 |     8061     54 |        1 |        0
619.07/619.32	c  615s |      16 |   213443 |   195452 |     8868     54 |        1 |        0
621.37/621.60	c  617s |      16 |   214069 |   196052 |     8868     54 |        1 |        0
623.76/624.02	c  620s |      16 |   214723 |   196652 |     8868     54 |        1 |        0
625.77/626.07	c  622s |      16 |   215393 |   197252 |     8868     54 |        1 |        0
626.36/626.68	c  623s |      17 |   215585 |   197432 |     8868     54 |        1 |        0
628.46/628.74	c  625s |      17 |   216399 |   198132 |     8868     54 |        1 |        0
630.45/630.79	c  627s |      17 |   217219 |   198832 |     8868     54 |        1 |        0
632.55/632.83	c  629s |      17 |   218027 |   199532 |     8868     54 |        1 |        0
634.85/635.13	c  631s |      17 |   218834 |   200232 |     8868     55 |        1 |        0
637.05/637.34	c  633s |      17 |   219673 |   200932 |     8868     55 |        1 |        0
639.35/639.60	c  635s |      17 |   220465 |   201632 |     8868     55 |        1 |        0
641.35/641.68	c  638s |      17 |   221115 |   202232 |     8868     55 |        1 |        0
643.36/643.69	c  640s |      17 |   221809 |   202832 |     8868     55 |        1 |        0
645.65/645.96	c  642s |      17 |   222595 |   203532 |     8868     55 |        1 |        0
647.76/648.09	c  644s |      17 |   223546 |   204432 |     8868     55 |        1 |        0
649.96/650.23	c  646s |      17 |   224541 |   205332 |     8868     56 |        1 |        0
652.05/652.31	c  648s |      17 |   225550 |   206232 |     8868     56 |        1 |        0
654.35/654.62	c  650s |      17 |   226410 |   207032 |     8868     56 |        1 |        0
656.34/656.67	c  653s |      17 |   227178 |   207732 |     8868     56 |        1 |        0
658.54/658.82	c  655s |      17 |   227930 |   208432 |     8868     56 |        1 |        0
660.74/661.04	c  657s |      17 |   228687 |   209132 |     8868     57 |        1 |        0
662.94/663.28	c  659s |      17 |   229550 |   209932 |     8868     57 |        1 |        0
665.14/665.43	c  661s |      17 |   230208 |   210532 |     8868     57 |        1 |        0
667.14/667.48	c  663s |      17 |   230740 |   211032 |     8868     57 |        1 |        0
669.44/669.74	c  666s |      17 |   231394 |   211632 |     8868     57 |        1 |        0
671.64/671.96	c  668s |      17 |   231976 |   212132 |     8868     57 |        1 |        0
673.74/674.07	c  670s |      17 |   232535 |   212632 |     8868     57 |        1 |        0
675.94/676.23	c  672s |      17 |   233066 |   213132 |     8868     57 |        1 |        0
678.04/678.31	c  674s |      17 |   233616 |   213632 |     8868     57 |        1 |        0
680.14/680.46	c  676s |      17 |   234268 |   214232 |     8868     58 |        1 |        0
682.34/682.62	c  678s |      17 |   235031 |   214932 |     8868     58 |        1 |        0
684.53/684.84	c  681s |      17 |   235794 |   215632 |     8868     58 |        1 |        0
686.63/686.95	c  683s |      17 |   236550 |   216332 |     8868     58 |        1 |        0
688.63/688.97	c  685s |      17 |   237181 |   216932 |     8868     58 |        1 |        0
690.93/691.22	c  687s |      17 |   237850 |   217532 |     8868     58 |        1 |        0
693.13/693.43	c  689s |      17 |   238647 |   218232 |     8868     58 |        1 |        0
695.23/695.56	c  691s |      17 |   239311 |   218832 |     8868     59 |        1 |        0
697.63/697.90	c  694s |      17 |   239959 |   219432 |     8868     59 |        1 |        0
699.63/699.90	c  696s |      17 |   240489 |   219932 |     8868     59 |        1 |        0
701.83/702.19	c  698s |      17 |   241169 |   220532 |     8868     59 |        1 |        0
704.03/704.36	c  700s |      17 |   241844 |   221132 |     8868     59 |        1 |        0
706.53/706.84	c  703s |      17 |   242497 |   221732 |     8868     59 |        1 |        0
709.03/709.37	c  705s |      17 |   243131 |   222332 |     8868     59 |        1 |        0
711.22/711.56	c  707s |      17 |   243704 |   222832 |     8868     59 |        1 |        0
713.42/713.73	c  710s |      17 |   244227 |   223332 |     8868     60 |        1 |        0
715.72/716.08	c  712s |      17 |   244869 |   223932 |     8868     60 |        1 |        0
718.13/718.42	c  714s |      17 |   245509 |   224532 |     8868     60 |        1 |        0
720.33/720.65	c  716s |      17 |   246190 |   225132 |     8868     60 |        1 |        0
722.32/722.67	c  719s |      17 |   246863 |   225732 |     8868     60 |        1 |        0
724.51/724.81	c  721s |      17 |   247564 |   226332 |     8868     60 |        1 |        0
726.71/727.01	c  723s |      17 |   248237 |   226932 |     8868     60 |        1 |        0
728.71/729.06	c  725s |      17 |   248780 |   227432 |     8868     60 |        1 |        0
731.01/731.38	c  727s |      17 |   249433 |   228032 |     8868     60 |        1 |        0
733.31/733.66	c  730s |      17 |   249970 |   228532 |     8868     61 |        1 |        0
735.41/735.71	c  732s |      17 |   250513 |   229032 |     8868     61 |        1 |        0
737.51/737.84	c  734s |      17 |   251148 |   229632 |     8868     61 |        1 |        0
739.81/740.14	c  736s |      17 |   251789 |   230232 |     8868     61 |        1 |        0
741.90/742.26	c  738s |      17 |   252418 |   230832 |     8868     61 |        1 |        0
744.10/744.42	c  740s |      17 |   252934 |   231332 |     8868     61 |        1 |        0
746.30/746.61	c  742s |      17 |   253470 |   231832 |     8868     61 |        1 |        0
748.50/748.81	c  745s |      17 |   254005 |   232332 |     8868     62 |        1 |        0
750.80/751.10	c  747s |      17 |   254649 |   232932 |     8868     62 |        1 |        0
753.00/753.34	c  749s |      17 |   255214 |   233432 |     8868     62 |        1 |        0
755.20/755.55	c  751s |      17 |   255868 |   234032 |     8868     62 |        1 |        0
757.40/757.75	c  754s |      17 |   256513 |   234632 |     8868     62 |        1 |        0
759.70/760.05	c  756s |      17 |   257169 |   235232 |     8868     62 |        1 |        0
761.89/762.28	c  758s |      17 |   257696 |   235732 |     8868     62 |        1 |        0
764.20/764.60	c  760s |      17 |   258468 |   236432 |     8868     62 |        1 |        0
766.40/766.76	c  763s |      17 |   259120 |   237032 |     8868     62 |        1 |        0
768.60/768.94	c  765s |      17 |   259872 |   237732 |     8868     63 |        1 |        0
770.89/771.29	c  767s |      17 |   260691 |   238432 |     8868     63 |        1 |        0
773.29/773.65	c  770s |      17 |   261359 |   239032 |     8868     63 |        1 |        0
775.39/775.74	c  772s |      17 |   262055 |   239632 |     8868     63 |        1 |        0
777.69/778.08	c  774s |      17 |   262749 |   240232 |     8868     63 |        1 |        0
779.89/780.20	c  776s |      17 |   263410 |   240832 |     8868     63 |        1 |        0
782.08/782.41	c  778s |      17 |   264062 |   241432 |     8868     63 |        1 |        0
784.48/784.85	c  781s |      17 |   264714 |   242032 |     8868     64 |        1 |        0
786.58/786.94	c  783s |      17 |   265263 |   242532 |     8868     64 |        1 |        0
788.58/788.98	c  785s |      17 |   265808 |   243032 |     8868     64 |        1 |        0
790.97/791.37	c  787s |      17 |   266487 |   243632 |     8868     64 |        1 |        0
793.17/793.51	c  789s |      17 |   267134 |   244232 |     8868     64 |        1 |        0
795.47/795.84	c  792s |      17 |   267772 |   244832 |     8868     64 |        1 |        0
797.57/797.94	c  794s |      17 |   268427 |   245432 |     8868     64 |        1 |        0
799.97/800.32	c  796s |      17 |   269067 |   246032 |     8868     65 |        1 |        0
802.27/802.65	c  798s |      17 |   269730 |   246632 |     8868     65 |        1 |        0
804.47/804.83	c  801s |      17 |   270533 |   247332 |     8868     65 |        1 |        0
806.57/806.98	c  803s |      17 |   271304 |   248032 |     8868     65 |        1 |        0
808.77/809.15	c  805s |      17 |   272071 |   248732 |     8868     65 |        1 |        0
811.17/811.57	c  807s |      17 |   272842 |   249432 |     8868     65 |        1 |        0
813.57/813.93	c  810s |      17 |   273499 |   250032 |     8868     65 |        1 |        0
815.77/816.13	c  812s |      17 |   274056 |   250532 |     8868     65 |        1 |        0
817.97/818.38	c  814s |      17 |   274592 |   251032 |     8868     66 |        1 |        0
820.17/820.50	c  816s |      17 |   275153 |   251532 |     8868     66 |        1 |        0
822.36/822.73	c  819s |      17 |   275819 |   252132 |     8868     66 |        1 |        0
824.86/825.20	c  821s |      17 |   276485 |   252732 |     8868     66 |        1 |        0
826.87/827.30	c  823s |      17 |   277039 |   253232 |     8868     66 |        1 |        0
828.96/829.32	c  825s |      17 |   277470 |   253632 |     8868     66 |        1 |        0
831.06/831.40	c  827s |      17 |   278012 |   254132 |     8868     66 |        1 |        0
833.16/833.53	c  829s |      17 |   278436 |   254532 |     8868     66 |        1 |        0
835.36/835.73	c  832s |      17 |   278872 |   254932 |     8868     66 |        1 |        0
837.46/837.86	c  834s |      17 |   279318 |   255332 |     8868     67 |        1 |        0
839.66/840.09	c  836s |      17 |   279957 |   255932 |     8868     67 |        1 |        0
841.95/842.39	c  838s |      17 |   280620 |   256532 |     8868     67 |        1 |        0
843.95/844.39	c  840s |      17 |   281181 |   257032 |     8868     67 |        1 |        0
846.05/846.46	c  842s |      17 |   281742 |   257532 |     8868     67 |        1 |        0
848.45/848.88	c  845s |      17 |   282301 |   258032 |     8868     67 |        1 |        0
850.85/851.20	c  847s |      17 |   282962 |   258632 |     8868     67 |        1 |        0
853.05/853.42	c  849s |      17 |   283500 |   259132 |     8868     67 |        1 |        0
855.25/855.69	c  852s |      17 |   284235 |   259732 |     8868     68 |        1 |        0
857.34/857.78	c  854s |      17 |   284774 |   260232 |     8868     68 |        1 |        0
859.54/859.95	c  856s |      17 |   285321 |   260732 |     8868     68 |        1 |        0
861.54/861.96	c  858s |      17 |   285896 |   261232 |     8868     68 |        1 |        0
863.84/864.23	c  860s |      17 |   286454 |   261732 |     8868     68 |        1 |        0
865.84/866.24	c  862s |      17 |   286878 |   262132 |     8868     68 |        1 |        0
868.24/868.61	c  864s |      17 |   287529 |   262732 |     8868     68 |        1 |        0
870.53/870.99	c  867s |      17 |   288210 |   263332 |     8868     68 |        1 |        0
872.63/873.00	c  869s |      17 |   288769 |   263832 |     8868     68 |        1 |        0
874.93/875.30	c  871s |      17 |   289322 |   264332 |     8868     69 |        1 |        0
876.93/877.34	c  873s |      17 |   289873 |   264832 |     8868     69 |        1 |        0
879.03/879.42	c  875s |      17 |   290541 |   265432 |     8868     69 |        1 |        0
881.33/881.72	c  878s |      17 |   291178 |   266032 |     8868     69 |        1 |        0
883.33/883.75	c  880s |      17 |   291810 |   266632 |     8868     69 |        1 |        0
885.53/885.91	c  882s |      17 |   292337 |   267132 |     8868     69 |        1 |        0
887.83/888.27	c  884s |      17 |   292865 |   267632 |     8868     69 |        1 |        0
890.12/890.54	c  886s |      17 |   293516 |   268232 |     8868     69 |        1 |        0
892.32/892.74	c  889s |      17 |   294060 |   268732 |     8868     69 |        1 |        0
894.42/894.89	c  891s |      17 |   294589 |   269232 |     8868     70 |        1 |        0
896.52/896.96	c  893s |      17 |   295239 |   269832 |     8868     70 |        1 |        0
898.72/899.13	c  895s |      17 |   295915 |   270432 |     8868     70 |        1 |        0
900.72/901.18	c  897s |      17 |   296586 |   271032 |     8868     70 |        1 |        0
903.02/903.40	c  899s |      17 |   297339 |   271732 |     8868     70 |        1 |        0
905.02/905.41	c  901s |      17 |   297997 |   272332 |     8868     70 |        1 |        0
907.32/907.73	c  904s |      17 |   298628 |   272932 |     8868     70 |        1 |        0
909.52/909.96	c  906s |      17 |   299164 |   273432 |     8868     70 |        1 |        0
911.72/912.12	c  908s |      17 |   299825 |   274032 |     8868     71 |        1 |        0
913.72/914.13	c  910s |      17 |   300486 |   274632 |     8868     71 |        1 |        0
915.92/916.36	c  912s |      17 |   301210 |   275332 |     8868     71 |        1 |        0
918.22/918.62	c  914s |      17 |   301971 |   276032 |     8868     71 |        1 |        0
920.32/920.78	c  917s |      17 |   302601 |   276632 |     8868     71 |        1 |        0
922.61/923.02	c  919s |      17 |   303241 |   277232 |     8868     71 |        1 |        0
924.81/925.25	c  921s |      17 |   303879 |   277832 |     8868     71 |        1 |        0
927.01/927.44	c  923s |      17 |   304516 |   278432 |     8868     72 |        1 |        0
929.31/929.76	c  926s |      17 |   305287 |   279132 |     8868     72 |        1 |        0
931.60/932.05	c  928s |      17 |   305917 |   279732 |     8868     72 |        1 |        0
933.70/934.18	c  930s |      17 |   306538 |   280332 |     8868     72 |        1 |        0
935.81/936.28	c  932s |      17 |   307196 |   280932 |     8868     72 |        1 |        0
937.80/938.28	c  934s |      17 |   307730 |   281432 |     8868     72 |        1 |        0
939.90/940.35	c  936s |      17 |   308352 |   281932 |     8868     72 |        1 |        0
942.10/942.57	c  938s |      17 |   309065 |   282532 |     8868     72 |        1 |        0
944.40/944.85	c  941s |      17 |   309704 |   283132 |     8868     73 |        1 |        0
946.71/947.19	c  943s |      17 |   310488 |   283832 |     8868     73 |        1 |        0
949.01/949.50	c  945s |      17 |   311265 |   284532 |     8868     73 |        1 |        0
951.21/951.65	c  948s |      17 |   311936 |   285132 |     8868     73 |        1 |        0
953.60/954.01	c  950s |      17 |   312713 |   285832 |     8868     73 |        1 |        0
955.61/956.06	c  952s |      17 |   313472 |   286532 |     8868     73 |        1 |        0
957.81/958.21	c  954s |      17 |   314223 |   287232 |     8868     73 |        1 |        0
959.80/960.26	c  956s |      17 |   314977 |   287932 |     8868     74 |        1 |        0
961.89/962.36	c  958s |      17 |   315635 |   288532 |     8868     74 |        1 |        0
964.09/964.54	c  960s |      17 |   316394 |   289232 |     8868     74 |        1 |        0
966.39/966.83	c  963s |      17 |   317143 |   289932 |     8868     74 |        1 |        0
968.80/969.27	c  965s |      17 |   317819 |   290532 |     8868     74 |        1 |        0
970.99/971.47	c  967s |      17 |   318519 |   291132 |     8868     74 |        1 |        0
973.19/973.67	c  970s |      17 |   319271 |   291832 |     8868     74 |        1 |        0
975.39/975.89	c  972s |      17 |   319928 |   292432 |     8868     75 |        1 |        0
977.49/977.96	c  974s |      17 |   320491 |   292932 |     8868     75 |        1 |        0
979.49/979.98	c  976s |      17 |   321049 |   293432 |     8868     75 |        1 |        0
981.58/982.02	c  978s |      17 |   321576 |   293932 |     9755     75 |        1 |        0
983.58/984.08	c  980s |      17 |   322133 |   294432 |     9755     75 |        1 |        0
985.78/986.27	c  982s |      17 |   322893 |   295132 |     9755     75 |        1 |        0
987.98/988.45	c  984s |      17 |   323633 |   295832 |     9755     75 |        1 |        0
989.48/989.90	c  986s |      18 |   324110 |   296252 |     9755     75 |        1 |        0
991.58/992.03	c  988s |      18 |   324895 |   296952 |     9755     75 |        1 |        0
993.99/994.46	c  990s |      18 |   325569 |   297552 |     9755     75 |        1 |        0
996.08/996.54	c  992s |      18 |   326232 |   298152 |     9755     76 |        1 |        0
998.08/998.54	c  994s |      18 |   326900 |   298752 |     9755     76 |        1 |        0
1000.08/1000.55	c  996s |      18 |   327424 |   299252 |     9755     76 |        1 |        0
1002.38/1002.86	c  999s |      18 |   328077 |   299852 |     9755     76 |        1 |        0
1004.68/1005.17	c 1001s |      18 |   328734 |   300452 |     9755     76 |        1 |        0
1006.78/1007.24	c 1003s |      18 |   329376 |   301052 |     9755     76 |        1 |        0
1008.98/1009.43	c 1005s |      18 |   330007 |   301652 |     9755     76 |        1 |        0
1011.28/1011.73	c 1008s |      18 |   330757 |   302352 |     9755     76 |        1 |        0
1013.38/1013.89	c 1010s |      18 |   331394 |   302952 |     9755     77 |        1 |        0
1015.58/1016.09	c 1012s |      18 |   332157 |   303652 |     9755     77 |        1 |        0
1017.68/1018.13	c 1014s |      18 |   332901 |   304352 |     9755     77 |        1 |        0
1019.88/1020.33	c 1016s |      18 |   333657 |   305052 |     9755     77 |        1 |        0
1021.98/1022.47	c 1018s |      18 |   334425 |   305752 |     9755     77 |        1 |        0
1024.38/1024.82	c 1021s |      18 |   335197 |   306452 |     9755     77 |        1 |        0
1026.68/1027.11	c 1023s |      18 |   335857 |   307052 |     9755     77 |        1 |        0
1028.68/1029.19	c 1025s |      18 |   336518 |   307652 |     9755     77 |        1 |        0
1030.78/1031.27	c 1027s |      18 |   337168 |   308252 |     9755     78 |        1 |        0
1033.08/1033.53	c 1029s |      18 |   338018 |   309052 |     9755     78 |        1 |        0
1035.28/1035.73	c 1032s |      18 |   338752 |   309752 |     9755     78 |        1 |        0
1037.38/1037.83	c 1034s |      18 |   339395 |   310352 |     9755     78 |        1 |        0
1039.58/1040.09	c 1036s |      18 |   340230 |   311152 |     9755     78 |        1 |        0
1041.78/1042.25	c 1038s |      18 |   340963 |   311852 |     9755     78 |        1 |        0
1043.88/1044.38	c 1040s |      18 |   341717 |   312552 |     9755     78 |        1 |        0
1046.08/1046.51	c 1042s |      18 |   342345 |   313152 |     9755     79 |        1 |        0
1048.37/1048.81	c 1045s |      18 |   343101 |   313852 |     9755     79 |        1 |        0
1050.37/1050.86	c 1047s |      18 |   343745 |   314452 |     9755     79 |        1 |        0
1052.67/1053.19	c 1049s |      18 |   344400 |   315052 |     9755     79 |        1 |        0
1054.97/1055.46	c 1051s |      18 |   345272 |   315852 |     9755     79 |        1 |        0
1057.07/1057.56	c 1053s |      18 |   346016 |   316552 |     9755     79 |        1 |        0
1059.17/1059.66	c 1056s |      18 |   346748 |   317252 |     9755     79 |        1 |        0
1061.27/1061.77	c 1058s |      18 |   347399 |   317852 |     9755     80 |        1 |        0
1063.38/1063.89	c 1060s |      18 |   348051 |   318452 |     9755     80 |        1 |        0
1065.58/1066.08	c 1062s |      18 |   348690 |   319052 |     9755     80 |        1 |        0
1067.97/1068.40	c 1064s |      18 |   349339 |   319652 |     9755     80 |        1 |        0
1069.98/1070.45	c 1066s |      18 |   349860 |   320152 |     9755     80 |        1 |        0
1071.97/1072.46	c 1068s |      18 |   350526 |   320752 |     9755     80 |        1 |        0
1074.38/1074.85	c 1071s |      18 |   351186 |   321352 |     9755     80 |        1 |        0
1076.67/1077.10	c 1073s |      18 |   351822 |   321952 |     9755     80 |        1 |        0
1078.97/1079.41	c 1075s |      18 |   352459 |   322552 |     9755     80 |        1 |        0
1081.17/1081.64	c 1077s |      18 |   353131 |   323152 |     9755     81 |        1 |        0
1083.37/1083.87	c 1080s |      18 |   353766 |   323752 |     9755     81 |        1 |        0
1085.47/1085.99	c 1082s |      18 |   354506 |   324452 |     9755     81 |        1 |        0
1087.67/1088.19	c 1084s |      18 |   355458 |   325352 |     9755     81 |        1 |        0
1089.77/1090.26	c 1086s |      18 |   356095 |   325952 |     9755     81 |        1 |        0
1091.87/1092.36	c 1088s |      18 |   356854 |   326652 |     9755     81 |        1 |        0
1094.07/1094.60	c 1090s |      18 |   357485 |   327252 |     9755     81 |        1 |        0
1096.37/1096.87	c 1093s |      18 |   358120 |   327852 |     9755     82 |        1 |        0
1098.67/1099.18	c 1095s |      18 |   358669 |   328352 |     9755     82 |        1 |        0
1100.86/1101.36	c 1097s |      18 |   359724 |   329352 |     9755     82 |        1 |        0
1103.16/1103.61	c 1099s |      18 |   360655 |   330252 |     9755     82 |        1 |        0
1105.36/1105.86	c 1102s |      18 |   361495 |   331052 |     9755     82 |        1 |        0
1107.46/1107.94	c 1104s |      18 |   362237 |   331752 |     9755     82 |        1 |        0
1109.76/1110.29	c 1106s |      18 |   362882 |   332352 |     9755     82 |        1 |        0
1112.16/1112.67	c 1109s |      18 |   363522 |   332952 |     9755     83 |        1 |        0
1114.46/1114.92	c 1111s |      18 |   364372 |   333752 |     9755     83 |        1 |        0
1116.46/1116.99	c 1113s |      18 |   365105 |   334452 |     9755     83 |        1 |        0
1118.66/1119.19	c 1115s |      18 |   365935 |   335252 |     9755     83 |        1 |        0
1120.96/1121.40	c 1117s |      18 |   366644 |   335952 |     9755     83 |        1 |        0
1122.96/1123.46	c 1119s |      18 |   367439 |   336652 |     9755     83 |        1 |        0
1125.06/1125.58	c 1121s |      18 |   368228 |   337352 |     9755     83 |        1 |        0
1127.36/1127.83	c 1124s |      18 |   368859 |   337952 |     9755     84 |        1 |        0
1129.56/1130.04	c 1126s |      18 |   369588 |   338652 |     9755     84 |        1 |        0
1131.57/1132.07	c 1128s |      18 |   370379 |   339352 |     9755     84 |        1 |        0
1133.67/1134.16	c 1130s |      18 |   371144 |   340052 |     9755     84 |        1 |        0
1135.66/1136.16	c 1132s |      18 |   371811 |   340652 |     9755     84 |        1 |        0
1137.96/1138.47	c 1134s |      18 |   372580 |   341352 |     9755     84 |        1 |        0
1139.96/1140.49	c 1136s |      18 |   373243 |   341952 |     9755     84 |        1 |        0
1142.26/1142.75	c 1139s |      18 |   373919 |   342552 |     9755     84 |        1 |        0
1144.36/1144.83	c 1141s |      18 |   374493 |   343052 |     9755     85 |        1 |        0
1146.46/1146.96	c 1143s |      18 |   375125 |   343652 |     9755     85 |        1 |        0
1148.56/1149.09	c 1145s |      18 |   375795 |   344252 |     9755     85 |        1 |        0
1150.66/1151.11	c 1147s |      18 |   376437 |   344852 |     9755     85 |        1 |        0
1152.75/1153.21	c 1149s |      18 |   377070 |   345452 |     9755     85 |        1 |        0
1154.95/1155.47	c 1151s |      18 |   377803 |   346152 |     9755     85 |        1 |        0
1157.05/1157.51	c 1153s |      18 |   378466 |   346752 |     9755     85 |        1 |        0
1159.15/1159.66	c 1156s |      18 |   379104 |   347352 |     9755     85 |        1 |        0
1161.45/1161.97	c 1158s |      18 |   379792 |   347952 |     9755     86 |        1 |        0
1163.55/1164.07	c 1160s |      18 |   380608 |   348652 |     9755     86 |        1 |        0
1165.56/1166.09	c 1162s |      18 |   381254 |   349252 |     9755     86 |        1 |        0
1167.65/1168.17	c 1164s |      18 |   381932 |   349852 |     9755     86 |        1 |        0
1169.85/1170.39	c 1166s |      18 |   382576 |   350452 |     9755     86 |        1 |        0
1171.95/1172.48	c 1168s |      18 |   383105 |   350952 |     9755     86 |        1 |        0
1174.36/1174.88	c 1171s |      18 |   383771 |   351552 |     9755     86 |        1 |        0
1176.45/1176.91	c 1173s |      18 |   384314 |   352052 |     9755     86 |        1 |        0
1178.65/1179.14	c 1175s |      18 |   384855 |   352552 |     9755     86 |        1 |        0
1181.06/1181.56	c 1177s |      18 |   385402 |   353052 |     9755     87 |        1 |        0
1183.16/1183.69	c 1180s |      18 |   386376 |   353952 |     9755     87 |        1 |        0
1185.36/1185.89	c 1182s |      18 |   387257 |   354752 |     9755     87 |        1 |        0
1187.66/1188.17	c 1184s |      18 |   388135 |   355552 |     9755     87 |        1 |        0
1189.65/1190.19	c 1186s |      18 |   388790 |   356152 |     9755     87 |        1 |        0
1191.85/1192.34	c 1188s |      18 |   389410 |   356752 |     9755     87 |        1 |        0
1193.95/1194.42	c 1190s |      18 |   390080 |   357352 |     9755     87 |        1 |        0
1196.05/1196.56	c 1192s |      18 |   391018 |   358252 |     9755     88 |        1 |        0
1198.05/1198.58	c 1194s |      18 |   391896 |   359052 |     9755     88 |        1 |        0
1200.24/1200.76	c 1197s |      18 |   392861 |   359952 |     9755     88 |        1 |        0
1202.54/1203.08	c 1199s |      18 |   393722 |   360752 |     9755     88 |        1 |        0
1204.84/1205.34	c 1201s |      18 |   394562 |   361552 |     9755     88 |        1 |        0
1206.84/1207.38	c 1203s |      18 |   395418 |   362352 |     9755     88 |        1 |        0
1209.04/1209.50	c 1205s |      18 |   396099 |   362952 |     9755     89 |        1 |        0
1211.04/1211.55	c 1207s |      18 |   396763 |   363552 |     9755     89 |        1 |        0
1213.14/1213.60	c 1209s |      18 |   397527 |   364252 |     9755     89 |        1 |        0
1215.24/1215.73	c 1212s |      18 |   398384 |   365052 |     9755     89 |        1 |        0
1217.25/1217.76	c 1214s |      18 |   399128 |   365752 |     9755     89 |        1 |        0
1219.34/1219.84	c 1216s |      18 |   399898 |   366452 |     9755     89 |        1 |        0
1221.65/1222.13	c 1218s |      18 |   400759 |   367252 |     9755     89 |        1 |        0
1223.85/1224.31	c 1220s |      18 |   401640 |   368052 |     9755     90 |        1 |        0
1225.94/1226.40	c 1222s |      18 |   402488 |   368852 |     9755     90 |        1 |        0
1227.94/1228.46	c 1224s |      18 |   403350 |   369652 |     9755     90 |        1 |        0
1230.14/1230.62	c 1226s |      18 |   404294 |   370552 |     9755     90 |        1 |        0
1232.34/1232.87	c 1229s |      18 |   405131 |   371352 |     9755     90 |        1 |        0
1234.64/1235.15	c 1231s |      18 |   405992 |   372152 |     9755     90 |        1 |        0
1236.84/1237.32	c 1233s |      18 |   406730 |   372852 |     9755     91 |        1 |        0
1238.94/1239.47	c 1235s |      18 |   407618 |   373652 |     9755     91 |        1 |        0
1241.04/1241.54	c 1237s |      18 |   408495 |   374452 |     9755     91 |        1 |        0
1243.24/1243.74	c 1240s |      18 |   409377 |   375252 |     9755     91 |        1 |        0
1245.44/1245.94	c 1242s |      18 |   410252 |   376052 |     9755     91 |        1 |        0
1247.54/1248.09	c 1244s |      18 |   411145 |   376852 |     9755     91 |        1 |        0
1249.94/1250.43	c 1246s |      18 |   412007 |   377652 |     9755     91 |        1 |        0
1251.94/1252.47	c 1248s |      18 |   412790 |   378352 |     9755     92 |        1 |        0
1254.04/1254.50	c 1250s |      18 |   413670 |   379152 |     9755     92 |        1 |        0
1256.24/1256.75	c 1253s |      18 |   414548 |   379952 |     9755     92 |        1 |        0
1258.33/1258.89	c 1255s |      18 |   415408 |   380752 |     9755     92 |        1 |        0
1260.63/1261.16	c 1257s |      18 |   416266 |   381552 |     9755     92 |        1 |        0
1262.93/1263.42	c 1259s |      18 |   417022 |   382252 |     9755     92 |        1 |        0
1265.03/1265.51	c 1261s |      18 |   417750 |   382952 |     9755     93 |        1 |        0
1267.03/1267.55	c 1263s |      18 |   418590 |   383752 |     9755     93 |        1 |        0
1269.13/1269.65	c 1265s |      18 |   419439 |   384552 |     9755     93 |        1 |        0
1271.43/1271.90	c 1268s |      18 |   420171 |   385252 |     9755     93 |        1 |        0
1273.53/1274.02	c 1270s |      18 |   420918 |   385952 |     9755     93 |        1 |        0
1275.64/1276.18	c 1272s |      18 |   421664 |   386652 |     9755     93 |        1 |        0
1277.84/1278.34	c 1274s |      18 |   422417 |   387352 |     9755     93 |        1 |        0
1280.04/1280.51	c 1276s |      18 |   423050 |   387952 |     9755     94 |        1 |        0
1282.25/1282.80	c 1279s |      18 |   423717 |   388552 |     9755     94 |        1 |        0
1284.45/1284.98	c 1281s |      18 |   424403 |   389152 |     9755     94 |        1 |        0
1286.65/1287.18	c 1283s |      18 |   425087 |   389752 |     9755     94 |        1 |        0
1288.75/1289.24	c 1285s |      18 |   425700 |   390252 |     9755     94 |        1 |        0
1290.74/1291.25	c 1287s |      18 |   426244 |   390752 |     9755     94 |        1 |        0
1292.94/1293.45	c 1289s |      18 |   426808 |   391252 |     9755     94 |        1 |        0
1295.24/1295.75	c 1292s |      18 |   427463 |   391852 |     9755     94 |        1 |        0
1297.24/1297.76	c 1294s |      18 |   428027 |   392352 |     9755     94 |        1 |        0
1299.54/1300.08	c 1296s |      18 |   428660 |   392952 |     9755     95 |        1 |        0
1301.64/1302.12	c 1298s |      18 |   429192 |   393452 |     9755     95 |        1 |        0
1303.64/1304.13	c 1300s |      18 |   429738 |   393952 |     9755     95 |        1 |        0
1305.64/1306.18	c 1302s |      18 |   430292 |   394452 |     9755     95 |        1 |        0
1308.14/1308.69	c 1305s |      18 |   430855 |   394952 |     9755     95 |        1 |        0
1310.53/1311.02	c 1307s |      18 |   431424 |   395452 |     9755     95 |        1 |        0
1312.94/1313.46	c 1309s |      18 |   431967 |   395952 |     9755     95 |        1 |        0
1314.93/1315.48	c 1311s |      18 |   432393 |   396352 |     9755     95 |        1 |        0
1317.44/1317.90	c 1314s |      18 |   432931 |   396852 |     9755     95 |        1 |        0
1319.54/1320.07	c 1316s |      18 |   433375 |   397252 |     9755     95 |        1 |        0
1321.84/1322.38	c 1318s |      18 |   433933 |   397752 |     9755     95 |        1 |        0
1324.04/1324.53	c 1320s |      18 |   434372 |   398152 |     9755     96 |        1 |        0
1326.03/1326.57	c 1322s |      18 |   434797 |   398552 |     9755     96 |        1 |        0
1328.34/1328.90	c 1325s |      18 |   435327 |   399052 |     9755     96 |        1 |        0
1330.64/1331.11	c 1327s |      18 |   435853 |   399552 |     9755     96 |        1 |        0
1332.74/1333.23	c 1329s |      18 |   436273 |   399952 |     9755     96 |        1 |        0
1334.83/1335.34	c 1331s |      18 |   436822 |   400452 |     9755     96 |        1 |        0
1337.33/1337.85	c 1334s |      18 |   437360 |   400952 |     9755     96 |        1 |        0
1339.44/1339.99	c 1336s |      18 |   437788 |   401352 |     9755     96 |        1 |        0
1341.93/1342.45	c 1338s |      18 |   438322 |   401852 |     9755     96 |        1 |        0
1344.03/1344.55	c 1340s |      18 |   438751 |   402252 |     9755     96 |        1 |        0
1346.04/1346.56	c 1342s |      18 |   439074 |   402552 |     9755     96 |        1 |        0
1348.24/1348.78	c 1345s |      18 |   439509 |   402952 |     9755     96 |        1 |        0
1350.93/1351.47	c 1347s |      18 |   440046 |   403452 |     9755     97 |        1 |        0
1353.13/1353.65	c 1349s |      18 |   440597 |   403952 |     9755     97 |        1 |        0
1355.62/1356.13	c 1352s |      18 |   441162 |   404452 |     9755     97 |        1 |        0
1357.62/1358.17	c 1354s |      18 |   441691 |   404952 |     9755     97 |        1 |        0
1359.72/1360.27	c 1356s |      18 |   442220 |   405452 |     9755     97 |        1 |        0
1362.12/1362.66	c 1359s |      18 |   442766 |   405952 |     9755     97 |        1 |        0
1364.12/1364.66	c 1361s |      18 |   443194 |   406352 |     9755     97 |        1 |        0
1366.32/1366.88	c 1363s |      18 |   443750 |   406852 |     9755     97 |        1 |        0
1368.52/1369.03	c 1365s |      18 |   444294 |   407352 |     9755     97 |        1 |        0
1370.72/1371.26	c 1367s |      18 |   444728 |   407752 |     9755     97 |        1 |        0
1373.12/1373.60	c 1369s |      18 |   445267 |   408252 |     9755     98 |        1 |        0
1375.22/1375.76	c 1372s |      18 |   445816 |   408752 |     9755     98 |        1 |        0
1377.22/1377.78	c 1374s |      18 |   446371 |   409252 |     9755     98 |        1 |        0
1379.62/1380.10	c 1376s |      18 |   447005 |   409852 |     9755     98 |        1 |        0
1381.72/1382.20	c 1378s |      18 |   447539 |   410352 |     9755     98 |        1 |        0
1384.02/1384.54	c 1380s |      18 |   448092 |   410852 |     9755     98 |        1 |        0
1386.22/1386.74	c 1383s |      18 |   448525 |   411252 |     9755     98 |        1 |        0
1388.52/1389.02	c 1385s |      18 |   448941 |   411652 |     9755     98 |        1 |        0
1390.52/1391.02	c 1387s |      18 |   449252 |   411952 |     9755     98 |        1 |        0
1392.52/1393.08	c 1389s |      18 |   449684 |   412352 |     9755     98 |        1 |        0
1394.82/1395.36	c 1391s |      18 |   450228 |   412852 |     9755     98 |        1 |        0
1396.92/1397.43	c 1393s |      18 |   450575 |   413152 |     9755     99 |        1 |        0
1399.02/1399.59	c 1395s |      18 |   451238 |   413752 |     9755     99 |        1 |        0
1401.52/1402.01	c 1398s |      18 |   451888 |   414352 |     9755     99 |        1 |        0
1403.52/1404.05	c 1400s |      18 |   452418 |   414852 |     9755     99 |        1 |        0
1405.82/1406.39	c 1402s |      18 |   452960 |   415352 |     9755     99 |        1 |        0
1408.32/1408.80	c 1405s |      18 |   453592 |   415952 |     9755     99 |        1 |        0
1410.42/1410.99	c 1407s |      18 |   454121 |   416452 |     9755     99 |        1 |        0
1412.52/1413.06	c 1409s |      18 |   454681 |   416952 |     9755     99 |        1 |        0
1414.82/1415.31	c 1411s |      18 |   455226 |   417452 |     9755     99 |        1 |        0
1416.82/1417.36	c 1413s |      18 |   455654 |   417852 |     9755     99 |        1 |        0
1418.92/1419.40	c 1415s |      18 |   456176 |   418352 |     9755    100 |        1 |        0
1421.02/1421.56	c 1417s |      18 |   456726 |   418852 |     9755    100 |        1 |        0
1423.51/1424.04	c 1420s |      18 |   457299 |   419352 |     9755    100 |        1 |        0
1425.81/1426.32	c 1422s |      18 |   457836 |   419852 |     9755    100 |        1 |        0
1427.81/1428.36	c 1424s |      18 |   458383 |   420352 |     9755    100 |        1 |        0
1430.11/1430.65	c 1426s |      18 |   459033 |   420952 |     9755    100 |        1 |        0
1432.21/1432.78	c 1429s |      18 |   459561 |   421452 |     9755    100 |        1 |        0
1434.41/1434.93	c 1431s |      18 |   460108 |   421952 |     9755    100 |        1 |        0
1436.71/1437.29	c 1433s |      18 |   460647 |   422452 |     9755    100 |        1 |        0
1439.11/1439.66	c 1436s |      18 |   461183 |   422952 |     9755    100 |        1 |        0
1441.41/1441.96	c 1438s |      18 |   461753 |   423452 |     9755    101 |        1 |        0
1443.71/1444.24	c 1440s |      18 |   462281 |   423952 |     9755    101 |        1 |        0
1445.81/1446.39	c 1442s |      18 |   462814 |   424452 |     9755    101 |        1 |        0
1447.91/1448.49	c 1444s |      18 |   463252 |   424852 |     9755    101 |        1 |        0
1450.01/1450.56	c 1446s |      18 |   463811 |   425352 |     9755    101 |        1 |        0
1452.31/1452.85	c 1449s |      18 |   464468 |   425952 |     9755    101 |        1 |        0
1454.41/1454.90	c 1451s |      18 |   465006 |   426452 |     9755    101 |        1 |        0
1456.61/1457.13	c 1453s |      18 |   465562 |   426952 |     9755    101 |        1 |        0
1458.61/1459.16	c 1455s |      18 |   466107 |   427452 |     9755    101 |        1 |        0
1460.91/1461.49	c 1457s |      18 |   466660 |   427952 |     9755    101 |        1 |        0
1463.11/1463.68	c 1460s |      18 |   467213 |   428452 |     9755    102 |        1 |        0
1465.41/1465.93	c 1462s |      18 |   467844 |   429052 |     9755    102 |        1 |        0
1467.61/1468.10	c 1464s |      18 |   468377 |   429552 |     9755    102 |        1 |        0
1469.81/1470.33	c 1466s |      18 |   468917 |   430052 |     9755    102 |        1 |        0
1471.91/1472.48	c 1468s |      18 |   469435 |   430552 |     9755    102 |        1 |        0
1474.20/1474.70	c 1471s |      18 |   469961 |   431052 |     9755    102 |        1 |        0
1476.40/1476.98	c 1473s |      18 |   470522 |   431552 |     9755    102 |        1 |        0
1478.60/1479.19	c 1475s |      18 |   471055 |   432052 |     9755    102 |        1 |        0
1481.00/1481.50	c 1477s |      18 |   471604 |   432552 |     9755    102 |        1 |        0
1483.10/1483.66	c 1480s |      18 |   472143 |   433052 |     9755    102 |        1 |        0
1485.40/1485.94	c 1482s |      18 |   472797 |   433652 |     9755    103 |        1 |        0
1487.70/1488.25	c 1484s |      18 |   473450 |   434252 |     9755    103 |        1 |        0
1490.01/1490.55	c 1486s |      18 |   474084 |   434852 |     9755    103 |        1 |        0
1492.40/1492.97	c 1489s |      18 |   474636 |   435352 |     9755    103 |        1 |        0
1494.70/1495.20	c 1491s |      18 |   475056 |   435752 |     9755    103 |        1 |        0
1496.80/1497.32	c 1493s |      18 |   475473 |   436152 |     9755    103 |        1 |        0
1498.91/1499.46	c 1495s |      18 |   475900 |   436552 |     9755    103 |        1 |        0
1501.20/1501.78	c 1498s |      18 |   476437 |   437052 |     9755    103 |        1 |        0
1503.70/1504.27	c 1500s |      18 |   476979 |   437552 |     9755    103 |        1 |        0
1506.00/1506.59	c 1502s |      18 |   477419 |   437952 |     9755    103 |        1 |        0
1508.40/1508.93	c 1505s |      18 |   477972 |   438452 |     9755    103 |        1 |        0
1510.70/1511.20	c 1507s |      18 |   478515 |   438952 |     9755    104 |        1 |        0
1513.00/1513.56	c 1509s |      18 |   479069 |   439452 |     9755    104 |        1 |        0
1515.20/1515.80	c 1512s |      18 |   479598 |   439952 |     9755    104 |        1 |        0
1517.50/1518.04	c 1514s |      18 |   480136 |   440452 |     9755    104 |        1 |        0
1519.81/1520.39	c 1516s |      18 |   480668 |   440952 |    10731    104 |        1 |        0
1521.80/1522.40	c 1518s |      18 |   481094 |   441352 |    10731    104 |        1 |        0
1524.50/1525.02	c 1521s |      18 |   481647 |   441852 |    10731    104 |        1 |        0
1526.80/1527.35	c 1523s |      18 |   482190 |   442352 |    10731    104 |        1 |        0
1529.00/1529.55	c 1525s |      18 |   482710 |   442852 |    10731    104 |        1 |        0
1531.20/1531.76	c 1528s |      18 |   483289 |   443352 |    10731    104 |        1 |        0
1533.59/1534.15	c 1530s |      18 |   483941 |   443952 |    10731    104 |        1 |        0
1535.69/1536.29	c 1532s |      18 |   484494 |   444452 |    10731    104 |        1 |        0
1535.89/1536.45	c 1532s |      19 |   484524 |   444482 |    10731    104 |        1 |        0
1538.19/1538.70	c 1535s |      19 |   484919 |   444782 |    10731    105 |        1 |        0
1540.79/1541.39	c 1537s |      19 |   485484 |   445282 |    10731    105 |        1 |        0
1542.99/1543.53	c 1539s |      19 |   486051 |   445782 |    10731    105 |        1 |        0
1545.29/1545.89	c 1542s |      19 |   486601 |   446282 |    10731    105 |        1 |        0
1547.49/1548.09	c 1544s |      19 |   487134 |   446782 |    10731    105 |        1 |        0
1549.79/1550.39	c 1546s |      19 |   487687 |   447282 |    10731    105 |        1 |        0
1551.89/1552.42	c 1548s |      19 |   488141 |   447682 |    10731    105 |        1 |        0
1553.99/1554.57	c 1550s |      19 |   488820 |   448282 |    10731    105 |        1 |        0
1556.29/1556.89	c 1553s |      19 |   489481 |   448882 |    10731    105 |        1 |        0
1558.79/1559.37	c 1555s |      19 |   490124 |   449482 |    10731    105 |        1 |        0
1560.89/1561.48	c 1557s |      19 |   490684 |   449982 |    10731    106 |        1 |        0
1563.19/1563.71	c 1560s |      19 |   491335 |   450582 |    10731    106 |        1 |        0
1565.49/1566.06	c 1562s |      19 |   491984 |   451182 |    10731    106 |        1 |        0
1567.69/1568.23	c 1564s |      19 |   492539 |   451682 |    10731    106 |        1 |        0
1569.89/1570.47	c 1566s |      19 |   493078 |   452182 |    10731    106 |        1 |        0
1572.09/1572.62	c 1568s |      19 |   493625 |   452682 |    10731    106 |        1 |        0
1574.19/1574.73	c 1571s |      19 |   494185 |   453182 |    10731    106 |        1 |        0
1576.19/1576.74	c 1573s |      19 |   494608 |   453582 |    10731    106 |        1 |        0
1578.39/1578.90	c 1575s |      19 |   495165 |   454082 |    10731    106 |        1 |        0
1580.88/1581.40	c 1577s |      19 |   495705 |   454582 |    10731    106 |        1 |        0
1582.88/1583.40	c 1579s |      19 |   496166 |   454982 |    10731    106 |        1 |        0
1584.98/1585.59	c 1581s |      19 |   496580 |   455382 |    10731    106 |        1 |        0
1587.08/1587.61	c 1583s |      19 |   497027 |   455782 |    10731    107 |        1 |        0
1589.28/1589.84	c 1586s |      19 |   497582 |   456282 |    10731    107 |        1 |        0
1591.78/1592.30	c 1588s |      19 |   498122 |   456782 |    10731    107 |        1 |        0
1593.88/1594.45	c 1590s |      19 |   498557 |   457182 |    10731    107 |        1 |        0
1596.08/1596.65	c 1593s |      19 |   499220 |   457782 |    10731    107 |        1 |        0
1598.18/1598.70	c 1595s |      19 |   499849 |   458382 |    10731    107 |        1 |        0
1600.38/1600.98	c 1597s |      19 |   500493 |   458982 |    10731    107 |        1 |        0
1602.69/1603.29	c 1599s |      19 |   501025 |   459482 |    10731    107 |        1 |        0
1605.09/1605.67	c 1602s |      19 |   501547 |   459982 |    10731    107 |        1 |        0
1607.49/1608.01	c 1604s |      19 |   502205 |   460582 |    10731    107 |        1 |        0
1609.59/1610.13	c 1606s |      19 |   502734 |   461082 |    10731    107 |        1 |        0
1611.99/1612.59	c 1608s |      19 |   503275 |   461582 |    10731    108 |        1 |        0
1614.40/1614.95	c 1611s |      19 |   503794 |   462082 |    10731    108 |        1 |        0
1616.60/1617.19	c 1613s |      19 |   504445 |   462682 |    10731    108 |        1 |        0
1618.69/1619.23	c 1615s |      19 |   504980 |   463182 |    10731    108 |        1 |        0
1620.79/1621.36	c 1617s |      19 |   505520 |   463682 |    10731    108 |        1 |        0
1622.99/1623.50	c 1619s |      19 |   506181 |   464282 |    10731    108 |        1 |        0
1625.29/1625.89	c 1622s |      19 |   506809 |   464882 |    10731    108 |        1 |        0
1627.79/1628.36	c 1624s |      19 |   507361 |   465382 |    10731    108 |        1 |        0
1630.29/1630.87	c 1627s |      19 |   507890 |   465882 |    10731    108 |        1 |        0
1632.69/1633.26	c 1629s |      19 |   508428 |   466382 |    10731    108 |        1 |        0
1634.89/1635.46	c 1631s |      19 |   508883 |   466782 |    10731    109 |        1 |        0
1636.89/1637.46	c 1633s |      19 |   509330 |   467182 |    10731    109 |        1 |        0
1639.18/1639.73	c 1636s |      19 |   509873 |   467682 |    10731    109 |        1 |        0
1641.48/1642.03	c 1638s |      19 |   510405 |   468182 |    10731    109 |        1 |        0
1643.68/1644.20	c 1640s |      19 |   510948 |   468682 |    10731    109 |        1 |        0
1645.78/1646.35	c 1642s |      19 |   511485 |   469182 |    10731    109 |        1 |        0
1648.08/1648.67	c 1645s |      19 |   512035 |   469682 |    10731    109 |        1 |        0
1650.59/1651.19	c 1647s |      19 |   512676 |   470282 |    10731    109 |        1 |        0
1652.89/1653.45	c 1649s |      19 |   513440 |   470982 |    10731    109 |        1 |        0
1654.88/1655.49	c 1651s |      19 |   514083 |   471582 |    10731    109 |        1 |        0
1657.29/1657.83	c 1654s |      19 |   514734 |   472182 |    10731    110 |        1 |        0
1659.39/1659.96	c 1656s |      19 |   515407 |   472782 |    10731    110 |        1 |        0
1661.69/1662.20	c 1658s |      19 |   516184 |   473482 |    10731    110 |        1 |        0
1663.79/1664.33	c 1660s |      19 |   516831 |   474082 |    10731    110 |        1 |        0
1665.88/1666.44	c 1662s |      19 |   517608 |   474782 |    10731    110 |        1 |        0
1668.08/1668.65	c 1664s |      19 |   518269 |   475382 |    10731    110 |        1 |        0
1670.18/1670.74	c 1667s |      19 |   518838 |   475882 |    10731    110 |        1 |        0
1672.28/1672.83	c 1669s |      19 |   519498 |   476482 |    10731    110 |        1 |        0
1674.28/1674.85	c 1671s |      19 |   520050 |   476982 |    10731    110 |        1 |        0
1676.48/1677.05	c 1673s |      19 |   520793 |   477682 |    10731    111 |        1 |        0
1678.58/1679.11	c 1675s |      19 |   521444 |   478282 |    10731    111 |        1 |        0
1680.68/1681.26	c 1677s |      19 |   522080 |   478882 |    10731    111 |        1 |        0
1682.88/1683.40	c 1679s |      19 |   522718 |   479482 |    10731    111 |        1 |        0
1684.98/1685.55	c 1681s |      19 |   523366 |   480082 |    10731    111 |        1 |        0
1687.28/1687.80	c 1684s |      19 |   523912 |   480582 |    10731    111 |        1 |        0
1689.48/1690.00	c 1686s |      19 |   524466 |   481082 |    10731    111 |        1 |        0
1691.67/1692.29	c 1688s |      19 |   525020 |   481582 |    10731    111 |        1 |        0
1693.97/1694.59	c 1690s |      19 |   525773 |   482282 |    10731    111 |        1 |        0
1696.18/1696.77	c 1693s |      19 |   526423 |   482882 |    10731    111 |        1 |        0
1698.47/1699.00	c 1695s |      19 |   527166 |   483582 |    10731    112 |        1 |        0
1700.57/1701.15	c 1697s |      19 |   527893 |   484282 |    10731    112 |        1 |        0
1702.77/1703.33	c 1699s |      19 |   528547 |   484882 |    10731    112 |        1 |        0
1704.97/1705.53	c 1701s |      19 |   529190 |   485482 |    10731    112 |        1 |        0
1707.07/1707.62	c 1703s |      19 |   529838 |   486082 |    10731    112 |        1 |        0
1709.07/1709.69	c 1706s |      19 |   530486 |   486682 |    10731    112 |        1 |        0
1711.18/1711.78	c 1708s |      19 |   531133 |   487282 |    10731    112 |        1 |        0
1713.38/1713.92	c 1710s |      19 |   531667 |   487782 |    10731    112 |        1 |        0
1715.48/1716.09	c 1712s |      19 |   532202 |   488282 |    10731    112 |        1 |        0
1717.97/1718.57	c 1714s |      19 |   532841 |   488882 |    10731    113 |        1 |        0
1720.17/1720.71	c 1717s |      19 |   533366 |   489382 |    10731    113 |        1 |        0
1722.47/1723.09	c 1719s |      19 |   534021 |   489982 |    10731    113 |        1 |        0
1724.87/1725.43	c 1721s |      19 |   534681 |   490582 |    10731    113 |        1 |        0
1726.97/1727.51	c 1723s |      19 |   535317 |   491182 |    10731    113 |        1 |        0
1729.27/1729.84	c 1726s |      19 |   536053 |   491882 |    10731    113 |        1 |        0
1731.37/1731.95	c 1728s |      19 |   536592 |   492382 |    10731    113 |        1 |        0
1733.57/1734.12	c 1730s |      19 |   537128 |   492882 |    10731    113 |        1 |        0
1735.87/1736.41	c 1732s |      19 |   537674 |   493382 |    10731    113 |        1 |        0
1737.97/1738.55	c 1734s |      19 |   538190 |   493882 |    10731    113 |        1 |        0
1740.27/1740.80	c 1737s |      19 |   538718 |   494382 |    10731    114 |        1 |        0
1742.37/1742.98	c 1739s |      19 |   539240 |   494882 |    10731    114 |        1 |        0
1744.77/1745.31	c 1741s |      19 |   539869 |   495482 |    10731    114 |        1 |        0
1746.97/1747.53	c 1743s |      19 |   540411 |   495982 |    10731    114 |        1 |        0
1748.97/1749.57	c 1745s |      19 |   541038 |   496582 |    10731    114 |        1 |        0
1751.06/1751.68	c 1748s |      19 |   541664 |   497182 |    10731    114 |        1 |        0
1753.16/1753.76	c 1750s |      19 |   542319 |   497782 |    10731    114 |        1 |        0
1755.46/1756.01	c 1752s |      19 |   542992 |   498382 |    10731    114 |        1 |        0
1757.46/1758.04	c 1754s |      19 |   543512 |   498882 |    10731    114 |        1 |        0
1759.57/1760.16	c 1756s |      19 |   544043 |   499382 |    10731    114 |        1 |        0
1761.96/1762.50	c 1758s |      19 |   544682 |   499982 |    10731    115 |        1 |        0
1763.97/1764.59	c 1760s |      19 |   545433 |   500682 |    10731    115 |        1 |        0
1766.26/1766.80	c 1763s |      19 |   546061 |   501282 |    10731    115 |        1 |        0
1768.46/1769.05	c 1765s |      19 |   546818 |   501982 |    10731    115 |        1 |        0
1770.76/1771.32	c 1767s |      19 |   547570 |   502682 |    10731    115 |        1 |        0
1772.86/1773.41	c 1769s |      19 |   548207 |   503282 |    10731    115 |        1 |        0
1775.06/1775.68	c 1772s |      19 |   548949 |   503982 |    10731    115 |        1 |        0
1777.36/1777.90	c 1774s |      19 |   549600 |   504582 |    10731    115 |        1 |        0
1779.66/1780.24	c 1776s |      19 |   550268 |   505182 |    10731    115 |        1 |        0
1781.96/1782.50	c 1778s |      19 |   550800 |   505682 |    10731    116 |        1 |        0
1784.36/1784.92	c 1781s |      19 |   551482 |   506282 |    10731    116 |        1 |        0
1786.76/1787.32	c 1783s |      19 |   552132 |   506882 |    10731    116 |        1 |        0
1788.96/1789.59	c 1785s |      19 |   552795 |   507482 |    10731    116 |        1 |        0
1791.16/1791.72	c 1788s |      19 |   553458 |   508082 |    10731    116 |        1 |        0
1793.36/1793.95	c 1790s |      19 |   554130 |   508682 |    10731    116 |        1 |        0
1795.46/1796.07	c 1792s |      19 |   554665 |   509182 |    10731    116 |        1 |        0
1797.46/1798.09	c 1794s |      19 |   555299 |   509782 |    10731    116 |        1 |        0
1799.66/1800.28	c 1796s |      19 |   555939 |   510382 |    10731    116 |        1 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079657-1465246726/watcher-4079657-1465246726 -o /tmp/evaluation-result-4079657-1465246726/solver-4079657-1465246726 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079657-1465246726.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.24 2.23 3/179 4252
/proc/meminfo: memFree=29220276/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=675260 CPUtime=0 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 2509 0 0 0 0 0 0 0 20 0 4 0 106605634 691466240 3382 33554432000 4194304 16246674 140735539500624 140735539500048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4252/statm: 169583 3391 441 2943 0 166477 0
[pid=4252/tid=4253] ppid=4249 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 709292032 3450 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 713486336 3466 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=701884 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106605634 718729216 3483 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.14 2.24 2.23 3/179 4252
/proc/meminfo: memFree=29220276/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 28259 0 0 0 6 3 0 0 20 0 4 0 106605634 1250496512 29069 33554432000 4194304 16246674 140735539500624 140735539499936 4220936 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4252/statm: 305297 29069 799 2943 0 302191 0
[pid=4252/tid=4253] ppid=4249 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1250496512 29069 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1250496512 29069 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1250496512 29069 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200571 s]
/proc/loadavg: 2.14 2.24 2.23 3/179 4252
/proc/meminfo: memFree=29220276/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1307204 CPUtime=0.19 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 49641 0 0 0 13 6 0 0 20 0 4 0 106605634 1338576896 50963 33554432000 4194304 16246674 140735539500624 140735539482496 4221016 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4252/statm: 326801 50967 799 2943 0 323695 0
[pid=4252/tid=4253] ppid=4249 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1338576896 50969 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1338576896 50971 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1338576896 50973 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1307204

[startup+0.300485 s]
/proc/loadavg: 2.14 2.24 2.23 3/179 4252
/proc/meminfo: memFree=29220276/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 51367 0 0 0 23 6 0 0 20 0 4 0 106605634 1345916928 52688 33554432000 4194304 16246674 140735539500624 140735539482496 7204099 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4252/statm: 328593 52688 832 2943 0 325487 0
[pid=4252/tid=4253] ppid=4249 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1345916928 52688 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1345916928 52688 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1345916928 52688 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.7004 s]
/proc/loadavg: 2.14 2.24 2.23 3/179 4252
/proc/meminfo: memFree=29220276/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1314372 CPUtime=0.68 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 103862 0 0 0 56 12 0 0 20 0 4 0 106605634 1345916928 105183 33554432000 4194304 16246674 140735539500624 140735539482496 5602147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 328593 105186 886 2943 0 325487 0
[pid=4252/tid=4253] ppid=4249 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1345916928 105188 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1345916928 105190 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1345916928 105191 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50042 s]
/proc/loadavg: 2.14 2.24 2.23 3/183 4256
/proc/meminfo: memFree=28737080/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1314372 CPUtime=1.48 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 136715 0 0 0 132 16 0 0 20 0 4 0 106605634 1345916928 138036 33554432000 4194304 16246674 140735539500624 140735539482496 5602147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 328593 138039 886 2943 0 325487 0
[pid=4252/tid=4253] ppid=4249 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1345916928 138040 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1345916928 138041 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1345916928 138042 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.10042 s]
/proc/loadavg: 2.12 2.23 2.23 3/183 4256
/proc/meminfo: memFree=28568564/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1314372 CPUtime=3.09 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 194938 0 0 0 286 23 0 0 20 0 4 0 106605634 1345916928 196259 33554432000 4194304 16246674 140735539500624 140735539482496 5602579 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 328593 196260 886 2943 0 325487 0
[pid=4252/tid=4253] ppid=4249 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1345916928 196261 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1345916928 196262 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1345916928 196262 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30037 s]
/proc/loadavg: 2.12 2.23 2.23 4/183 4256
/proc/meminfo: memFree=28123296/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1329732 CPUtime=6.29 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 273070 0 0 0 594 35 0 0 20 0 4 0 106605634 1361645568 274391 33554432000 4194304 16246674 140735539500624 140735539482496 5827671 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 332433 274391 906 2943 0 329327 0
[pid=4252/tid=4253] ppid=4249 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1361645568 274391 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1361645568 274391 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1361645568 274391 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1329732

[startup+12.7004 s]
/proc/loadavg: 2.18 2.24 2.23 3/183 4256
/proc/meminfo: memFree=28123188/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1329732 CPUtime=12.69 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 273132 0 0 0 1234 35 0 0 20 0 4 0 106605634 1361645568 274453 33554432000 4194304 16246674 140735539500624 140735539482496 5659404 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 332433 274453 914 2943 0 329327 0
[pid=4252/tid=4253] ppid=4249 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1361645568 274453 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1361645568 274453 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1361645568 274453 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1329732

[startup+25.5005 s]
/proc/loadavg: 2.15 2.23 2.23 3/183 4256
/proc/meminfo: memFree=28124036/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1329732 CPUtime=25.49 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 273132 0 0 0 2514 35 0 0 20 0 4 0 106605634 1361645568 274453 33554432000 4194304 16246674 140735539500624 140735539482496 5600136 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 332433 274453 914 2943 0 329327 0
[pid=4252/tid=4253] ppid=4249 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1361645568 274453 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1361645568 274453 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1361645568 274453 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1329732

[startup+51.1005 s]
/proc/loadavg: 2.30 2.26 2.24 4/183 4256
/proc/meminfo: memFree=28123368/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1329732 CPUtime=51.08 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 273132 0 0 0 5073 35 0 0 20 0 4 0 106605634 1361645568 274453 33554432000 4194304 16246674 140735539500624 140735539482496 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 332433 274453 914 2943 0 329327 0
[pid=4252/tid=4253] ppid=4249 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1361645568 274453 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1361645568 274453 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1361645568 274453 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1329732

[startup+102.301 s]
/proc/loadavg: 2.23 2.24 2.23 3/184 4260
/proc/meminfo: memFree=28123080/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1329732 CPUtime=102.28 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 273134 0 0 0 10193 35 0 0 20 0 4 0 106605634 1361645568 274455 33554432000 4194304 16246674 140735539500624 140735539482496 5601643 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 332433 274455 915 2943 0 329327 0
[pid=4252/tid=4253] ppid=4249 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1361645568 274455 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1361645568 274455 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1361645568 274455 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1329732


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

/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1367937024 275996 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1335876

[startup+1302.3 s]
/proc/loadavg: 2.16 2.20 2.19 3/184 4459
/proc/meminfo: memFree=22753940/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1335876 CPUtime=1301.84 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 275071 0 0 0 130145 39 0 0 20 0 4 0 106605634 1367937024 275996 33554432000 4194304 16246674 140735539500624 140735539482496 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 333969 275996 917 2943 0 330863 0
[pid=4252/tid=4253] ppid=4249 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1367937024 275996 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1367937024 275996 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1367937024 275996 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1335876

[startup+1362.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 4461
/proc/meminfo: memFree=16268376/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1337924 CPUtime=1361.83 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 275583 0 0 0 136144 39 0 0 20 0 4 0 106605634 1370034176 276508 33554432000 4194304 16246674 140735539500624 140735539482496 5600136 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 334481 276508 917 2943 0 331375 0
[pid=4252/tid=4253] ppid=4249 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1370034176 276508 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1370034176 276508 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1370034176 276508 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1337924

[startup+1422.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 4511
/proc/meminfo: memFree=28105796/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1337924 CPUtime=1421.82 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 275583 0 0 0 142143 39 0 0 20 0 4 0 106605634 1370034176 276508 33554432000 4194304 16246674 140735539500624 140735539482496 5600808 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 334481 276508 917 2943 0 331375 0
[pid=4252/tid=4253] ppid=4249 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1370034176 276508 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1370034176 276508 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1370034176 276508 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1337924

[startup+1482.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 4560
/proc/meminfo: memFree=28057380/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1337924 CPUtime=1481.8 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 275583 0 0 0 148141 39 0 0 20 0 4 0 106605634 1370034176 276508 33554432000 4194304 16246674 140735539500624 140735539482496 5659568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 334481 276508 917 2943 0 331375 0
[pid=4252/tid=4253] ppid=4249 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1370034176 276508 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1370034176 276508 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1370034176 276508 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1337924

[startup+1542.31 s]
/proc/loadavg: 2.25 2.21 2.18 4/183 4561
/proc/meminfo: memFree=28056788/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1337924 CPUtime=1541.8 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 275583 0 0 0 154141 39 0 0 20 0 4 0 106605634 1370034176 276508 33554432000 4194304 16246674 140735539500624 140735539482496 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 334481 276508 917 2943 0 331375 0
[pid=4252/tid=4253] ppid=4249 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1370034176 276508 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1370034176 276508 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1370034176 276508 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1337924

[startup+1602.3 s]
/proc/loadavg: 2.16 2.19 2.18 3/183 4562
/proc/meminfo: memFree=28052348/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1342020 CPUtime=1601.79 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 276607 0 0 0 160139 40 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140735539482496 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 335505 277532 917 2943 0 332399 0
[pid=4252/tid=4253] ppid=4249 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1342020

[startup+1662.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 4564
/proc/meminfo: memFree=28052632/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1342020 CPUtime=1661.78 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 276607 0 0 0 166138 40 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140735539482496 5721529 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 335505 277532 917 2943 0 332399 0
[pid=4252/tid=4253] ppid=4249 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1342020

[startup+1722.3 s]
/proc/loadavg: 2.30 2.23 2.19 3/183 4565
/proc/meminfo: memFree=28052164/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1342020 CPUtime=1721.77 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 276607 0 0 0 172137 40 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140735539482496 12483332 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 335505 277532 917 2943 0 332399 0
[pid=4252/tid=4253] ppid=4249 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1342020

[startup+1782.3 s]
/proc/loadavg: 2.28 2.23 2.19 3/183 4566
/proc/meminfo: memFree=28052192/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1342020 CPUtime=1781.76 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 276607 0 0 0 178136 40 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140735539482496 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 335505 277532 917 2943 0 332399 0
[pid=4252/tid=4253] ppid=4249 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1342020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.20 2.22 2.18 4/183 4566
/proc/meminfo: memFree=28052432/32872528 swapFree=16384/1696552
[pid=4252] ppid=4249 vsize=1342020 CPUtime=1800.06 cores=1,3,5,7
/proc/4252/stat : 4252 (toysat) R 4249 4252 1166 0 -1 4202496 276607 0 0 0 179966 40 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140735539482496 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4252/statm: 335505 277532 917 2943 0 332399 0
[pid=4252/tid=4253] ppid=4249 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (toysat) S 4249 4252 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140145399409904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4252/tid=4254] ppid=4249 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (toysat) S 4249 4252 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140145319718128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4252/tid=4255] ppid=4249 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (toysat) S 4249 4252 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106605634 1374228480 277532 33554432000 4194304 16246674 140735539500624 140145309244592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1342020

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.67
CPU system time (s): 0.404938
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 1342020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.404938
maximum resident set size= 1110128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276607
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= 415
involuntary context switches= 1968

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7672 second user time and 14.5908 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-06 22:58:46
IDJOB=4079657
IDBENCH=2946
IDSOLVER=2542
FILE ID=node125/4079657-1465246726
RUNJOBID= node125-1465224138-1183
PBS_JOBID= 19843237
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_12.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079657-1465246726/watcher-4079657-1465246726 -o /tmp/evaluation-result-4079657-1465246726/solver-4079657-1465246726 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079657-1465246726.opb

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

MD5SUM BENCH= d262db503fd284bdfe2b43790fda8490
RANDOM SEED=1031260553

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.55
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.456
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:        29220804 kB
Buffers:           49524 kB
Cached:           126792 kB
SwapCached:         2016 kB
Active:          1173132 kB
Inactive:          77188 kB
Active(anon):    1075292 kB
Inactive(anon):     1380 kB
Active(file):      97840 kB
Inactive(file):    75808 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098492 kB
Dirty:             17152 kB
Writeback:             0 kB
AnonPages:       2769912 kB
Mapped:            10484 kB
Shmem:                 0 kB
Slab:             569036 kB
SReclaimable:      12784 kB
SUnreclaim:       556252 kB
KernelStack:        1448 kB
PageTables:         9528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2916040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2263040 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node125 at 2016-06-06 23:28:46