Trace number 4106100

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-02OPT3 1150.04 1150.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=53-P1=5-P2=67-P3=53-P4=17-P5=103-P6=29-P7=71-P8=47-B.opb
MD5SUM43e5891f3de726e47642c5b88db45e69
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.103983
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables168
Total number of constraints17
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)392
Sum of products size (including duplicates)784
Number of different products392
Sum of products size784

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-18T17:57:40+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.01	c   clock-0.7.2
0.00/0.01	c   containers-0.5.6.2
0.00/0.01	c   data-default-0.5.3
0.00/0.01	c   data-default-class-0.0.1
0.00/0.01	c   data-interval-1.2.0
0.00/0.01	c   deepseq-1.4.1.1
0.00/0.01	c   directory-1.2.2.0
0.00/0.01	c   exceptions-0.8.2.1
0.00/0.01	c   extended-reals-0.2.1.0
0.00/0.01	c   filepath-1.4.0.0
0.00/0.01	c   finite-field-0.8.0
0.00/0.01	c   hashable-1.2.4.0
0.00/0.01	c   heaps-0.3.3
0.00/0.01	c   intern-0.9.1.4
0.00/0.01	c   loop-0.3.0
0.00/0.01	c   mtl-2.2.1
0.00/0.01	c   multiset-0.3.2
0.00/0.01	c   mwc-random-0.13.3.2
0.00/0.01	c   parse_dimacs-1.3
0.00/0.01	c   parsec-3.1.9
0.00/0.01	c   prettyclass-1.0.0.0
0.00/0.01	c   primes-0.2.1.0
0.00/0.01	c   primitive-0.6.1.0
0.00/0.01	c   process-1.2.3.0
0.00/0.01	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-4106100-1466265460.opb"]
0.00/0.02	c use --random-gen="555055151 3479204257 2481848627 3177440729 2083898092 947538886 2872113282 3449199277 508025732 1640479648 2778915227 3687201577 2836295649 2470774623 1728192706 1171179872 177389771 1505115442 11687602 2508946236 439347636 1335233752 3855012234 2822269777 3425657774 1092382146 333080077 2615910038 179587848 2323667886 192843492 1507030922 1519069846 1350588706 1133780123 3694550359 2067617054 497542833 457035488 4098910643 1931863981 3578699700 276847006 3786649771 32891475 3197943251 1649516094 473494628 624209451 4006690999 1005190280 721058532 1330226734 69075819 3410199670 2205925696 346596131 1456375766 2439406118 1234901153 635540299 356161390 3942288853 2384289230 3034275357 1666573632 4133395800 791564841 713364242 3653839465 2895558574 1228084383 1311118577 1617020635 2834257817 3494922239 2937907441 2432608173 2235781940 2554906944 2743878022 321706040 148050928 1426408513 763770380 2188190869 2374202819 3878658118 3022743508 489219522 3105224392 881717263 1922310332 1154157009 3358657252 3141233087 2504364277 4111496585 3519485394 4215517465 2846950999 2387469507 1379928649 3414710828 987222340 3899493979 3452965811 1675702996 3784246870 3745227113 769634301 3725857791 1852098406 3397766962 2982153264 1266509012 3346142613 2325471365 2479161173 2397684486 4292311396 4124748220 1129723880 3733298731 4267481507 1378514521 2607581416 4242700778 4084831195 4217588756 1373615901 2109810321 819781832 1412488887 2051536266 1505524071 3269290380 1668438832 2269283724 3810371138 4150365722 300898163 3468320269 2428450553 13193875 3145481763 2819980774 2182262467 2572272832 2745839454 2605380318 3795250999 3944261754 609434321 519263575 415307809 231202468 2814526523 301263062 3561665549 3156168457 3212168909 1248787751 2746778222 3771828739 2210249636 1208644402 1463744937 2576309464 2453162258 3861740876 2066569626 1802068581 2116436757 2533829858 3397006508 1171345728 3280093792 2111375354 2478855820 2029725385 3781561746 1421455672 2346980516 2402868769 1503172927 1748379837 3163745177 2547399125 2501110628 254498819 2411530140 3336443103 1129042160 2139894642 93708688 2295939444 71376529 4104277880 1145036085 1664955578 2928378360 1431972451 1792155675 55783347 1681130541 3870806062 1106120157 145783318 4206695596 4136987573 1746676147 2684391672 2358611009 234751457 1758566463 1432227975 2631671930 2744477135 1052271343 1571138829 669835501 3001595396 1569378681 444239270 3347007149 497393687 1385708448 3444682312 2237799269 522119921 1959351928 1809009002 338208329 3065521697 1018946017 1924243372 1126156542 449211412 1968437744 634271231 3604823082 3272179081 2528260086 180089167 2793673882 101801984 998176776 3272844751 2362259555 2644320480 2408853046 1411527257 298500641 3382534482 784768709 255 362436" option to reproduce the execution
0.00/0.02	c #vars 168
0.00/0.02	c #constraints 17
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      587      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      106 |      100 |      587      0 |        0 |        0
0.00/0.07	c  0.0s |       2 |      282 |      250 |      646      0 |        0 |        0
0.08/0.12	c  0.1s |       3 |      566 |      475 |      711      0 |        0 |        0
0.18/0.25	c  0.2s |       4 |      986 |      813 |      783      0 |        0 |        0
0.28/0.39	c  0.4s |       5 |     1579 |     1320 |      862      1 |        0 |        0
0.58/0.60	c  0.6s |       6 |     2456 |     2081 |     1044      3 |        0 |        0
0.78/0.85	c  0.8s |       7 |     3728 |     3223 |     1149      4 |        0 |        0
1.38/1.41	c  1.4s |       8 |     5747 |     4936 |     1264      6 |        0 |        0
1.38/1.43	c  1.4s |       8 |     6019 |     5068 |     1264      6 |        0 |        0
1.38/1.43	c #cpu_time = 1.400s
1.38/1.43	c #wall_clock_time = 1.401s
1.38/1.43	c #decision = 6019
1.38/1.43	c #random_decision = 23
1.38/1.43	c #conflict = 5068
1.38/1.43	c #restart = 8
1.38/1.43	o 123
1.38/1.43	c BCD2: updating upper bound: 127 -> 122
1.38/1.43	c BCD2: 0 <= obj <= 122
1.38/1.43	c BCD2: #cores=0, #unrelaxed=7, #relaxed=0, #hardened=0
1.38/1.43	c BCD2: #sat=1 #unsat=1 bias=1/2
1.38/1.43	c Solving starts ...
1.38/1.43	c ============================[ Search Statistics ]============================
1.38/1.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.38/1.43	c       |         |          |          |    Limit     GC | Var      | Constra 
1.38/1.43	c =============================================================================
1.38/1.43	c  0.0s |       0 |        0 |        0 |     1264      0 |        0 |        0
1.38/1.43	c  0.0s |       0 |        5 |        0 |     1264      0 |        0 |        0
1.38/1.43	c #cpu_time = 0.004s
1.38/1.43	c #wall_clock_time = 0.004s
1.38/1.43	c #decision = 5
1.38/1.43	c #random_decision = 0
1.38/1.43	c #conflict = 0
1.38/1.43	c #restart = 0
1.38/1.43	c BCD2: found a new core of size 6: cost of the new core is >=2
1.38/1.43	c lower bound updated to 2
1.38/1.43	c BCD2: 2 <= obj <= 122
1.38/1.43	c BCD2: #cores=1, #unrelaxed=1, #relaxed=6, #hardened=0
1.38/1.43	c BCD2: #sat=1 #unsat=2 bias=2/3
1.38/1.43	c Solving starts ...
1.38/1.43	c ============================[ Search Statistics ]============================
1.38/1.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.38/1.43	c       |         |          |          |    Limit     GC | Var      | Constra 
1.38/1.43	c =============================================================================
1.38/1.43	c  0.0s |       0 |        0 |        0 |     1264      0 |        0 |        0
1.38/1.46	c  0.0s |       1 |      186 |      100 |     1264      0 |        0 |        0
1.38/1.49	c  0.1s |       2 |      403 |      250 |     1264      1 |        0 |        0
1.58/1.67	c  0.2s |       3 |     1061 |      475 |     1264      1 |        0 |        0
1.68/1.74	c  0.3s |       4 |     1546 |      813 |     1264      1 |        0 |        0
1.78/1.87	c  0.4s |       5 |     2155 |     1320 |     1264      2 |        0 |        0
1.98/2.00	c  0.6s |       6 |     3072 |     2081 |     1264      3 |        0 |        0
2.38/2.50	c  1.1s |       7 |     4495 |     3223 |     1391      4 |        0 |        0
2.68/2.78	c  1.3s |       8 |     6336 |     4936 |     1391      6 |        0 |        0
3.29/3.38	c  1.9s |       9 |     9139 |     7506 |     1531      8 |        0 |        0
4.39/4.45	c  3.0s |      10 |    13313 |    11361 |     1531     12 |        0 |        0
5.88/5.95	c  4.5s |      11 |    19724 |    17144 |     1685     18 |        0 |        0
7.88/7.96	c  6.5s |      11 |    28812 |    25744 |     1854     27 |        0 |        0
7.88/7.99	c  6.6s |      12 |    28891 |    25819 |     1854     27 |        0 |        0
9.89/10.00	c  8.6s |      12 |    38084 |    34119 |     2040     34 |        0 |        0
11.48/11.54	c 10.1s |      13 |    43338 |    38832 |     2040     38 |        0 |        0
13.48/13.57	c 12.1s |      13 |    52562 |    46432 |     2040     44 |        0 |        0
15.48/15.58	c 14.1s |      13 |    61507 |    54732 |     2244     51 |        0 |        0
16.38/16.43	c 15.0s |      14 |    65433 |    58352 |     2244     54 |        0 |        0
18.38/18.45	c 17.0s |      14 |    75652 |    67652 |     2244     61 |        0 |        0
20.37/20.47	c 19.0s |      14 |    85465 |    76852 |     2244     68 |        0 |        0
22.37/22.49	c 21.1s |      14 |    94454 |    85252 |     2469     74 |        0 |        0
22.97/23.06	c 21.6s |      15 |    97130 |    87632 |     2469     76 |        0 |        0
24.98/25.08	c 23.6s |      15 |   105745 |    95532 |     2469     81 |        0 |        0
26.98/27.10	c 25.7s |      15 |   113691 |   102832 |     2469     86 |        0 |        0
29.08/29.14	c 27.7s |      15 |   121398 |   109832 |     2469     92 |        0 |        0
31.08/31.15	c 29.7s |      15 |   129374 |   117132 |     2469     97 |        0 |        0
33.09/33.16	c 31.7s |      15 |   137156 |   124032 |     2469    102 |        0 |        0
35.08/35.18	c 33.8s |      15 |   145089 |   131132 |     2716    106 |        0 |        0
35.29/35.32	c 33.9s |      16 |   145611 |   131552 |     2716    107 |        0 |        0
37.28/37.34	c 35.9s |      16 |   156106 |   141252 |     2716    113 |        0 |        0
39.28/39.36	c 37.9s |      16 |   165610 |   149852 |     2716    118 |        0 |        0
41.28/41.37	c 39.9s |      16 |   175200 |   158552 |     2716    124 |        0 |        0
43.28/43.38	c 41.9s |      16 |   186087 |   168652 |     2716    130 |        0 |        0
45.28/45.39	c 44.0s |      16 |   195983 |   177652 |     2716    136 |        0 |        0
47.38/47.40	c 46.0s |      16 |   205558 |   186552 |     2716    142 |        0 |        0
49.37/49.42	c 48.0s |      16 |   215732 |   195952 |     2988    148 |        0 |        0
49.68/49.71	c 48.3s |      17 |   217479 |   197432 |     2988    148 |        0 |        0
51.68/51.73	c 50.3s |      17 |   226456 |   203832 |     2988    152 |        0 |        0
53.67/53.78	c 52.3s |      17 |   233313 |   209232 |     2988    155 |        0 |        0
55.67/55.79	c 54.4s |      17 |   238827 |   213732 |     2988    158 |        0 |        0
57.77/57.84	c 56.4s |      17 |   245312 |   219732 |     2988    161 |        0 |        0
59.87/59.90	c 58.5s |      17 |   252640 |   225332 |     2988    165 |        0 |        0
61.87/61.90	c 60.5s |      17 |   259036 |   229932 |     2988    167 |        0 |        0
63.88/63.91	c 62.5s |      17 |   265538 |   235532 |     2988    171 |        0 |        0
65.87/65.92	c 64.5s |      17 |   271391 |   240632 |     2988    174 |        0 |        0
67.87/67.93	c 66.5s |      17 |   276789 |   245532 |     2988    176 |        0 |        0
69.87/69.94	c 68.5s |      17 |   281825 |   249732 |     2988    179 |        0 |        0
71.87/71.95	c 70.5s |      17 |   287802 |   255132 |     2988    182 |        0 |        0
73.87/73.96	c 72.5s |      17 |   292675 |   259332 |     2988    184 |        0 |        0
75.88/76.00	c 74.6s |      17 |   297172 |   262832 |     2988    187 |        0 |        0
77.97/78.02	c 76.6s |      17 |   304999 |   269932 |     2988    191 |        0 |        0
79.97/80.04	c 78.6s |      17 |   313355 |   277632 |     2988    195 |        0 |        0
81.97/82.06	c 80.6s |      17 |   321932 |   285532 |     2988    200 |        0 |        0
83.97/84.09	c 82.7s |      17 |   330473 |   293632 |     3287    204 |        0 |        0
84.68/84.80	c 83.4s |      18 |   333234 |   296252 |     3287    206 |        0 |        0
86.77/86.80	c 85.4s |      18 |   342723 |   304652 |     3287    210 |        0 |        0
88.77/88.80	c 87.4s |      18 |   350152 |   311552 |     3287    214 |        0 |        0
90.77/90.81	c 89.4s |      18 |   357030 |   318152 |     3287    218 |        0 |        0
92.77/92.81	c 91.4s |      18 |   365533 |   326152 |     3287    222 |        0 |        0
94.77/94.84	c 93.4s |      18 |   373388 |   333452 |     3287    226 |        0 |        0
96.77/96.85	c 95.4s |      18 |   380104 |   339452 |     3287    229 |        0 |        0
98.77/98.87	c 97.4s |      18 |   387261 |   345752 |     3287    233 |        0 |        0
100.86/100.90	c 99.5s |      18 |   394173 |   352152 |     3287    236 |        0 |        0
102.87/102.93	c  101s |      18 |   401320 |   358552 |     3287    239 |        0 |        0
104.87/104.96	c  103s |      18 |   409372 |   365652 |     3287    243 |        0 |        0
106.86/106.99	c  105s |      18 |   417550 |   373152 |     3287    247 |        0 |        0
108.87/108.99	c  107s |      18 |   425799 |   380252 |     3287    251 |        0 |        0
110.96/111.01	c  109s |      18 |   434149 |   387552 |     3287    255 |        0 |        0
112.96/113.01	c  111s |      18 |   442609 |   395152 |     3287    259 |        0 |        0
114.96/115.03	c  113s |      18 |   450348 |   401852 |     3287    263 |        0 |        0
116.96/117.05	c  115s |      18 |   459382 |   410352 |     3287    267 |        0 |        0
118.96/119.06	c  117s |      18 |   467396 |   417752 |     3287    271 |        0 |        0
120.97/121.08	c  119s |      18 |   475284 |   424952 |     3287    275 |        0 |        0
123.06/123.10	c  121s |      18 |   484129 |   433152 |     3287    280 |        0 |        0
125.06/125.14	c  123s |      18 |   492416 |   440652 |     3616    284 |        0 |        0
126.06/126.20	c  124s |      19 |   496743 |   444482 |     3616    285 |        0 |        0
128.16/128.22	c  126s |      19 |   503447 |   449482 |     3616    288 |        0 |        0
130.16/130.25	c  128s |      19 |   510569 |   454682 |     3616    290 |        0 |        0
132.16/132.26	c  130s |      19 |   515076 |   459082 |     3616    293 |        0 |        0
134.16/134.27	c  132s |      19 |   519283 |   463182 |     3616    295 |        0 |        0
136.16/136.29	c  134s |      19 |   525366 |   468482 |     3616    297 |        0 |        0
138.26/138.32	c  136s |      19 |   532011 |   474082 |     3616    300 |        0 |        0
140.26/140.35	c  138s |      19 |   537246 |   478582 |     3616    302 |        0 |        0
142.26/142.37	c  140s |      19 |   545773 |   484982 |     3616    305 |        0 |        0
144.36/144.40	c  142s |      19 |   552662 |   489482 |     3616    308 |        0 |        0
146.36/146.42	c  144s |      19 |   560786 |   494882 |     3616    310 |        0 |        0
148.35/148.44	c  147s |      19 |   567077 |   500682 |     3616    313 |        0 |        0
150.35/150.46	c  149s |      19 |   573540 |   506182 |     3616    316 |        0 |        0
152.46/152.50	c  151s |      19 |   579014 |   511282 |     3616    319 |        0 |        0
154.46/154.52	c  153s |      19 |   584524 |   516282 |     3616    321 |        0 |        0
156.46/156.54	c  155s |      19 |   590546 |   520982 |     3616    323 |        0 |        0
158.47/158.57	c  157s |      19 |   596038 |   525382 |     3616    325 |        0 |        0
160.46/160.57	c  159s |      19 |   602211 |   530882 |     3616    328 |        0 |        0
162.46/162.59	c  161s |      19 |   608246 |   536182 |     3616    331 |        0 |        0
164.56/164.62	c  163s |      19 |   614053 |   541382 |     3616    333 |        0 |        0
166.56/166.63	c  165s |      19 |   619717 |   546282 |     3616    336 |        0 |        0
168.56/168.65	c  167s |      19 |   626427 |   552082 |     3616    339 |        0 |        0
170.57/170.68	c  169s |      19 |   633136 |   558182 |     3616    342 |        0 |        0
172.67/172.70	c  171s |      19 |   640198 |   564482 |     3616    345 |        0 |        0
174.66/174.73	c  173s |      19 |   646519 |   570182 |     3616    348 |        0 |        0
176.66/176.74	c  175s |      19 |   652949 |   576282 |     3616    351 |        0 |        0
178.66/178.74	c  177s |      19 |   658709 |   581482 |     3616    353 |        0 |        0
180.66/180.75	c  179s |      19 |   663887 |   585782 |     3616    355 |        0 |        0
182.67/182.77	c  181s |      19 |   671079 |   591882 |     3616    358 |        0 |        0
184.76/184.82	c  183s |      19 |   677270 |   597382 |     3616    361 |        0 |        0
186.76/186.84	c  185s |      19 |   683156 |   602782 |     3616    364 |        0 |        0
188.76/188.85	c  187s |      19 |   688147 |   607582 |     3616    366 |        0 |        0
190.76/190.86	c  189s |      19 |   693541 |   612782 |     3616    369 |        0 |        0
192.76/192.87	c  191s |      19 |   699621 |   618682 |     3616    372 |        0 |        0
194.76/194.89	c  193s |      19 |   705297 |   623682 |     3616    374 |        0 |        0
196.86/196.92	c  195s |      19 |   710346 |   628282 |     3616    376 |        0 |        0
198.86/198.94	c  197s |      19 |   714269 |   631982 |     3616    378 |        0 |        0
200.85/200.96	c  199s |      19 |   720525 |   637382 |     3616    381 |        0 |        0
202.86/202.98	c  201s |      19 |   724863 |   641482 |     3616    383 |        0 |        0
204.95/205.01	c  203s |      19 |   731849 |   646982 |     3616    386 |        0 |        0
206.95/207.02	c  205s |      19 |   738159 |   652582 |     3616    388 |        0 |        0
208.96/209.05	c  207s |      19 |   743258 |   657282 |     3978    391 |        0 |        0
210.95/211.07	c  209s |      19 |   749471 |   663082 |     3978    393 |        0 |        0
212.26/212.35	c  210s |      20 |   753355 |   666827 |     3978    395 |        0 |        0
214.25/214.37	c  212s |      20 |   762025 |   674627 |     3978    399 |        0 |        0
216.25/216.37	c  214s |      20 |   767798 |   679627 |     3978    401 |        0 |        0
218.25/218.38	c  216s |      20 |   775538 |   686927 |     3978    405 |        0 |        0
220.25/220.40	c  218s |      20 |   782798 |   693827 |     3978    408 |        0 |        0
222.35/222.42	c  220s |      20 |   790111 |   700827 |     3978    412 |        0 |        0
224.35/224.42	c  222s |      20 |   797392 |   707527 |     3978    415 |        0 |        0
226.35/226.45	c  225s |      20 |   805441 |   714927 |     3978    418 |        0 |        0
228.35/228.47	c  227s |      20 |   813540 |   722427 |     3978    422 |        0 |        0
230.35/230.47	c  229s |      20 |   820783 |   729127 |     3978    425 |        0 |        0
232.35/232.48	c  231s |      20 |   828419 |   736127 |     3978    429 |        0 |        0
234.44/234.50	c  233s |      20 |   836049 |   743227 |     3978    432 |        0 |        0
236.45/236.52	c  235s |      20 |   844517 |   751127 |     3978    436 |        0 |        0
238.44/238.53	c  237s |      20 |   852309 |   758427 |     3978    440 |        0 |        0
240.44/240.54	c  239s |      20 |   859362 |   765027 |     3978    443 |        0 |        0
242.44/242.54	c  241s |      20 |   866986 |   772327 |     3978    447 |        0 |        0
244.44/244.57	c  243s |      20 |   875560 |   780227 |     3978    450 |        0 |        0
246.45/246.58	c  245s |      20 |   884179 |   788027 |     3978    454 |        0 |        0
248.55/248.60	c  247s |      20 |   893032 |   796027 |     3978    458 |        0 |        0
250.54/250.63	c  249s |      20 |   900542 |   802727 |     3978    461 |        0 |        0
252.54/252.66	c  251s |      20 |   909057 |   810627 |     3978    465 |        0 |        0
254.54/254.68	c  253s |      20 |   916899 |   817927 |     3978    469 |        0 |        0
256.54/256.69	c  255s |      20 |   924258 |   824427 |     3978    472 |        0 |        0
258.64/258.71	c  257s |      20 |   931182 |   830727 |     3978    475 |        0 |        0
260.65/260.74	c  259s |      20 |   939188 |   838027 |     3978    479 |        0 |        0
262.64/262.74	c  261s |      20 |   947149 |   845227 |     3978    482 |        0 |        0
264.64/264.74	c  263s |      20 |   955066 |   852327 |     3978    486 |        0 |        0
266.64/266.75	c  265s |      20 |   962545 |   859427 |     3978    489 |        0 |        0
268.64/268.76	c  267s |      20 |   970818 |   867027 |     3978    493 |        0 |        0
270.64/270.76	c  269s |      20 |   979679 |   875127 |     3978    497 |        0 |        0
272.64/272.76	c  271s |      20 |   988473 |   883327 |     3978    501 |        0 |        0
274.64/274.79	c  273s |      20 |   997059 |   891027 |     3978    504 |        0 |        0
276.74/276.81	c  275s |      20 |  1004445 |   897627 |     3978    507 |        0 |        0
278.74/278.82	c  277s |      20 |  1012050 |   904027 |     3978    510 |        0 |        0
280.74/280.83	c  279s |      20 |  1019740 |   910227 |     3978    513 |        0 |        0
282.74/282.85	c  281s |      20 |  1028095 |   917927 |     3978    517 |        0 |        0
284.73/284.87	c  283s |      20 |  1035027 |   924227 |     3978    519 |        0 |        0
286.73/286.89	c  285s |      20 |  1040646 |   929227 |     3978    522 |        0 |        0
288.83/288.90	c  287s |      20 |  1047158 |   935127 |     3978    524 |        0 |        0
290.83/290.90	c  289s |      20 |  1054351 |   941727 |     3978    527 |        0 |        0
292.83/292.93	c  291s |      20 |  1062028 |   948727 |     3978    531 |        0 |        0
294.84/294.93	c  293s |      20 |  1069131 |   955327 |     3978    534 |        0 |        0
296.83/296.96	c  295s |      20 |  1075808 |   961727 |     3978    537 |        0 |        0
298.83/298.98	c  297s |      20 |  1082404 |   967627 |     3978    539 |        0 |        0
300.93/301.02	c  299s |      20 |  1089704 |   974227 |     3978    542 |        0 |        0
302.93/303.05	c  301s |      20 |  1097099 |   980927 |     3978    545 |        0 |        0
304.93/305.09	c  303s |      20 |  1103949 |   987527 |     3978    549 |        0 |        0
307.04/307.10	c  305s |      20 |  1111337 |   994427 |     4376    551 |        0 |        0
308.74/308.82	c  307s |      21 |  1117657 |  1000345 |     4376    554 |        0 |        0
310.74/310.85	c  309s |      21 |  1125676 |  1006945 |     4376    557 |        0 |        0
312.74/312.86	c  311s |      21 |  1132757 |  1013045 |     4376    559 |        0 |        0
314.74/314.87	c  313s |      21 |  1137861 |  1017745 |     4376    561 |        0 |        0
316.74/316.89	c  315s |      21 |  1144365 |  1023245 |     4376    563 |        0 |        0
318.84/318.92	c  317s |      21 |  1152469 |  1029045 |     4376    566 |        0 |        0
320.84/320.92	c  319s |      21 |  1158511 |  1034045 |     4376    568 |        0 |        0
322.84/322.95	c  321s |      21 |  1165307 |  1040445 |     4376    571 |        0 |        0
324.84/324.96	c  323s |      21 |  1171475 |  1045345 |     4376    573 |        0 |        0
326.84/326.97	c  325s |      21 |  1177941 |  1051445 |     4376    575 |        0 |        0
328.84/328.98	c  327s |      21 |  1183977 |  1056945 |     4376    578 |        0 |        0
330.94/331.03	c  329s |      21 |  1189524 |  1062045 |     4376    580 |        0 |        0
332.94/333.04	c  331s |      21 |  1195520 |  1067545 |     4376    582 |        0 |        0
334.94/335.08	c  333s |      21 |  1201216 |  1072345 |     4376    584 |        0 |        0
337.03/337.12	c  335s |      21 |  1207633 |  1077945 |     4376    586 |        0 |        0
339.03/339.14	c  337s |      21 |  1212849 |  1082745 |     4376    588 |        0 |        0
341.04/341.14	c  339s |      21 |  1219599 |  1088645 |     4376    591 |        0 |        0
343.03/343.16	c  341s |      21 |  1226128 |  1094245 |     4376    593 |        0 |        0
345.03/345.17	c  343s |      21 |  1232652 |  1100145 |     4376    596 |        0 |        0
347.03/347.18	c  345s |      21 |  1239443 |  1106045 |     4376    598 |        0 |        0
349.03/349.19	c  347s |      21 |  1244704 |  1110945 |     4376    600 |        0 |        0
351.13/351.22	c  349s |      21 |  1250713 |  1116345 |     4376    603 |        0 |        0
353.14/353.23	c  351s |      21 |  1257396 |  1122045 |     4376    605 |        0 |        0
355.13/355.29	c  353s |      21 |  1264478 |  1128545 |     4376    608 |        0 |        0
357.23/357.31	c  355s |      21 |  1270582 |  1133945 |     4376    610 |        0 |        0
359.23/359.31	c  357s |      21 |  1276798 |  1139645 |     4376    612 |        0 |        0
361.23/361.31	c  359s |      21 |  1282713 |  1145245 |     4376    615 |        0 |        0
363.23/363.32	c  361s |      21 |  1288049 |  1150245 |     4376    617 |        0 |        0
365.23/365.34	c  363s |      21 |  1293109 |  1155145 |     4376    619 |        0 |        0
367.22/367.35	c  365s |      21 |  1297271 |  1159145 |     4376    621 |        0 |        0
369.22/369.35	c  367s |      21 |  1302973 |  1164645 |     4376    623 |        0 |        0
371.22/371.39	c  369s |      21 |  1309148 |  1170545 |     4376    626 |        0 |        0
373.32/373.40	c  371s |      21 |  1316455 |  1177345 |     4376    628 |        0 |        0
375.32/375.41	c  373s |      21 |  1323817 |  1183945 |     4376    631 |        0 |        0
377.33/377.45	c  376s |      21 |  1330092 |  1189445 |     4376    634 |        0 |        0
379.32/379.48	c  378s |      21 |  1336328 |  1195345 |     4376    636 |        0 |        0
381.42/381.51	c  380s |      21 |  1342351 |  1200945 |     4376    638 |        0 |        0
383.42/383.54	c  382s |      21 |  1348238 |  1206245 |     4376    641 |        0 |        0
385.42/385.54	c  384s |      21 |  1355109 |  1212545 |     4376    643 |        0 |        0
387.42/387.57	c  386s |      21 |  1362183 |  1218645 |     4376    646 |        0 |        0
389.43/389.59	c  388s |      21 |  1368967 |  1224645 |     4376    648 |        0 |        0
391.53/391.63	c  390s |      21 |  1376426 |  1231245 |     4376    651 |        0 |        0
393.52/393.63	c  392s |      21 |  1382989 |  1237645 |     4376    654 |        0 |        0
395.52/395.65	c  394s |      21 |  1390254 |  1244645 |     4376    657 |        1 |        7
397.52/397.65	c  396s |      21 |  1399277 |  1253245 |     4376    660 |        1 |        7
399.52/399.67	c  398s |      21 |  1406052 |  1259845 |     4376    663 |        1 |        7
401.53/401.67	c  400s |      21 |  1412357 |  1265845 |     4376    666 |        1 |        7
403.52/403.67	c  402s |      21 |  1418917 |  1272045 |     4376    668 |        1 |        7
405.52/405.68	c  404s |      21 |  1425735 |  1278645 |     4376    671 |        1 |        7
407.52/407.68	c  406s |      21 |  1432429 |  1285045 |     4376    674 |        1 |        7
409.62/409.71	c  408s |      21 |  1438984 |  1291445 |     4376    676 |        1 |        7
411.62/411.72	c  410s |      21 |  1445611 |  1297745 |     4376    679 |        1 |        7
413.63/413.75	c  412s |      21 |  1452107 |  1303945 |     4376    681 |        1 |        7
415.62/415.78	c  414s |      21 |  1458721 |  1310145 |     4376    684 |        1 |        7
417.72/417.80	c  416s |      21 |  1465694 |  1316945 |     4376    687 |        1 |        7
419.72/419.81	c  418s |      21 |  1472163 |  1323245 |     4376    689 |        1 |        7
421.72/421.82	c  420s |      21 |  1478153 |  1329045 |     4376    692 |        1 |        7
423.72/423.85	c  422s |      21 |  1485363 |  1336045 |     4376    695 |        1 |        7
425.82/425.91	c  424s |      21 |  1492320 |  1342645 |     4376    698 |        1 |        7
427.82/427.91	c  426s |      21 |  1499290 |  1349245 |     4376    700 |        1 |        7
429.82/429.94	c  428s |      21 |  1506081 |  1355545 |     4376    703 |        1 |        7
431.82/431.95	c  430s |      21 |  1513792 |  1362945 |     4376    706 |        1 |        7
433.82/433.98	c  432s |      21 |  1520183 |  1368945 |     4376    708 |        1 |        7
435.82/435.98	c  434s |      21 |  1527129 |  1375745 |     4376    711 |        1 |        7
437.92/438.00	c  436s |      21 |  1534177 |  1382545 |     4376    714 |        1 |        7
439.92/440.03	c  438s |      21 |  1541153 |  1389245 |     4376    717 |        1 |        7
441.91/442.06	c  440s |      21 |  1547894 |  1395645 |     4376    720 |        1 |        7
443.91/444.07	c  442s |      21 |  1555599 |  1402845 |     4376    722 |        1 |        7
445.91/446.08	c  444s |      21 |  1562663 |  1409345 |     4376    725 |        1 |        7
447.91/448.09	c  446s |      21 |  1570040 |  1416045 |     4376    728 |        1 |        7
450.01/450.11	c  448s |      21 |  1577013 |  1422545 |     4376    731 |        1 |        7
452.02/452.14	c  450s |      21 |  1583787 |  1428845 |     4376    733 |        1 |        7
454.01/454.17	c  452s |      21 |  1590932 |  1435545 |     4376    736 |        1 |        7
456.01/456.19	c  454s |      21 |  1597817 |  1441845 |     4376    739 |        1 |        7
458.11/458.20	c  456s |      21 |  1604832 |  1448345 |     4376    741 |        1 |        7
460.11/460.22	c  458s |      21 |  1612239 |  1455545 |     4376    744 |        1 |        7
462.11/462.25	c  460s |      21 |  1619691 |  1462745 |     4376    747 |        1 |        7
464.12/464.25	c  462s |      21 |  1627048 |  1469545 |     4376    750 |        1 |        7
466.11/466.27	c  464s |      21 |  1633908 |  1475845 |     4376    753 |        1 |        7
468.11/468.29	c  466s |      21 |  1640929 |  1482245 |     4376    755 |        1 |        7
470.21/470.32	c  468s |      21 |  1647939 |  1488745 |     4814    758 |        1 |        7
472.21/472.32	c  470s |      21 |  1654962 |  1495345 |     4814    760 |        1 |        7
473.81/473.94	c  472s |      22 |  1660593 |  1500622 |     4814    763 |        1 |        7
475.81/475.94	c  474s |      22 |  1667217 |  1506722 |     4814    765 |        1 |        7
477.81/477.99	c  476s |      22 |  1673996 |  1513322 |     4814    768 |        1 |        7
479.91/480.01	c  478s |      22 |  1680724 |  1519722 |     4814    770 |        1 |        7
481.91/482.02	c  480s |      22 |  1688240 |  1527122 |     4814    773 |        1 |        7
483.92/484.04	c  482s |      22 |  1694490 |  1533222 |     4814    775 |        1 |        7
485.91/486.05	c  484s |      22 |  1700744 |  1539322 |     4814    778 |        1 |        7
487.91/488.06	c  486s |      22 |  1708106 |  1546222 |     4814    780 |        1 |        7
489.91/490.08	c  488s |      22 |  1714096 |  1551722 |     4814    782 |        1 |        7
492.01/492.11	c  490s |      22 |  1719914 |  1557222 |     4814    785 |        1 |        7
494.01/494.12	c  492s |      22 |  1726045 |  1562922 |     4814    787 |        1 |        7
496.02/496.16	c  494s |      22 |  1731817 |  1568122 |     4814    789 |        1 |        7
498.01/498.17	c  496s |      22 |  1737018 |  1572922 |     4814    791 |        1 |        7
500.11/500.20	c  498s |      22 |  1741974 |  1577622 |     4814    793 |        1 |        7
502.11/502.21	c  500s |      22 |  1747739 |  1583022 |     4814    795 |        1 |        7
504.11/504.21	c  502s |      22 |  1754281 |  1588922 |     4814    797 |        1 |        7
506.11/506.23	c  504s |      22 |  1760818 |  1594422 |     4814    799 |        1 |        7
508.11/508.24	c  506s |      22 |  1766355 |  1598922 |     4814    801 |        1 |        7
510.11/510.28	c  508s |      22 |  1771724 |  1603622 |     4814    803 |        1 |        7
512.11/512.28	c  510s |      22 |  1777293 |  1608622 |     4814    805 |        1 |        7
514.11/514.29	c  512s |      22 |  1782919 |  1614022 |     4814    807 |        1 |        7
516.21/516.31	c  514s |      22 |  1790806 |  1621722 |     4814    810 |        2 |       14
518.20/518.33	c  516s |      22 |  1798083 |  1628822 |     4814    813 |        2 |       14
520.21/520.34	c  518s |      22 |  1805591 |  1635922 |     4814    815 |        2 |       14
522.20/522.37	c  520s |      22 |  1811759 |  1641822 |     4814    818 |        2 |       14
524.20/524.39	c  522s |      22 |  1818552 |  1648022 |     4814    820 |        2 |       14
526.30/526.43	c  524s |      22 |  1825203 |  1654522 |     4814    823 |        2 |       14
528.30/528.44	c  527s |      22 |  1831631 |  1660522 |     4814    825 |        2 |       14
530.30/530.46	c  529s |      22 |  1837759 |  1666422 |     4814    827 |        2 |       14
532.31/532.46	c  531s |      22 |  1844710 |  1673222 |     4814    830 |        2 |       14
534.30/534.46	c  533s |      22 |  1851841 |  1680122 |     4814    832 |        2 |       14
536.30/536.47	c  535s |      22 |  1857890 |  1686022 |     4814    835 |        2 |       14
538.30/538.47	c  537s |      22 |  1864318 |  1692122 |     4814    837 |        2 |       14
540.30/540.48	c  539s |      22 |  1870123 |  1697622 |     4814    839 |        2 |       14
542.40/542.50	c  541s |      22 |  1876349 |  1703622 |     4814    841 |        2 |       14
544.40/544.53	c  543s |      22 |  1882966 |  1710022 |     4814    844 |        2 |       14
546.39/546.54	c  545s |      22 |  1889055 |  1715922 |     4814    846 |        2 |       14
548.39/548.57	c  547s |      22 |  1894520 |  1721222 |     4814    848 |        2 |       14
550.39/550.58	c  549s |      22 |  1901471 |  1728022 |     4814    851 |        2 |       14
552.49/552.62	c  551s |      22 |  1908491 |  1734622 |     4814    854 |        2 |       14
554.49/554.64	c  553s |      22 |  1915278 |  1740822 |     4814    856 |        2 |       14
556.50/556.64	c  555s |      22 |  1922865 |  1748122 |     4814    859 |        2 |       14
558.49/558.68	c  557s |      22 |  1930350 |  1755422 |     4814    862 |        2 |       14
560.59/560.71	c  559s |      22 |  1937798 |  1762722 |     4814    864 |        2 |       14
562.59/562.74	c  561s |      22 |  1944517 |  1769122 |     4814    867 |        2 |       14
564.59/564.75	c  563s |      22 |  1951471 |  1775522 |     4814    869 |        2 |       14
566.59/566.76	c  565s |      22 |  1958040 |  1781522 |     4814    872 |        2 |       14
568.60/568.77	c  567s |      22 |  1964106 |  1787422 |     4814    874 |        2 |       14
570.59/570.78	c  569s |      22 |  1970619 |  1793422 |     4814    876 |        2 |       14
572.69/572.80	c  571s |      22 |  1976893 |  1799122 |     4814    879 |        2 |       14
574.69/574.82	c  573s |      22 |  1983338 |  1804722 |     4814    881 |        2 |       14
576.69/576.85	c  575s |      22 |  1990457 |  1811222 |     4814    883 |        2 |       14
578.69/578.85	c  577s |      22 |  1996695 |  1817022 |     4814    886 |        2 |       14
580.70/580.86	c  579s |      22 |  2004232 |  1823722 |     4814    888 |        2 |       14
582.79/582.90	c  581s |      22 |  2010830 |  1830122 |     4814    891 |        2 |       14
584.79/584.92	c  583s |      22 |  2018254 |  1837222 |     4814    893 |        2 |       14
586.79/586.93	c  585s |      22 |  2025238 |  1844022 |     4814    896 |        2 |       14
588.79/588.95	c  587s |      22 |  2032708 |  1851122 |     4814    899 |        2 |       14
590.79/590.98	c  589s |      22 |  2038815 |  1856922 |     4814    901 |        2 |       14
592.89/593.00	c  591s |      22 |  2046416 |  1864222 |     4814    904 |        2 |       14
594.89/595.00	c  593s |      22 |  2053002 |  1870622 |     4814    906 |        2 |       14
596.89/597.02	c  595s |      22 |  2059324 |  1876722 |     4814    909 |        2 |       14
598.89/599.03	c  597s |      22 |  2066727 |  1883622 |     4814    911 |        2 |       14
600.89/601.06	c  599s |      22 |  2073056 |  1889422 |     4814    914 |        2 |       14
602.89/603.07	c  601s |      22 |  2078933 |  1895022 |     4814    916 |        2 |       14
604.90/605.10	c  603s |      22 |  2086284 |  1901722 |     4814    918 |        2 |       14
606.99/607.13	c  605s |      22 |  2093191 |  1908022 |     4814    921 |        2 |       14
608.99/609.14	c  607s |      22 |  2100246 |  1914422 |     4814    923 |        2 |       14
610.99/611.17	c  609s |      22 |  2107255 |  1920622 |     4814    926 |        2 |       14
612.99/613.19	c  611s |      22 |  2114380 |  1926922 |     4814    928 |        2 |       14
615.09/615.21	c  613s |      22 |  2121660 |  1933722 |     4814    931 |        2 |       14
617.10/617.24	c  615s |      22 |  2128522 |  1940322 |     4814    933 |        2 |       14
619.09/619.27	c  617s |      22 |  2134539 |  1946122 |     4814    936 |        2 |       14
621.09/621.29	c  619s |      22 |  2141472 |  1952922 |     4814    938 |        2 |       14
623.19/623.31	c  621s |      22 |  2148360 |  1959522 |     4814    941 |        2 |       14
625.19/625.32	c  623s |      22 |  2154952 |  1965922 |     4814    943 |        2 |       14
627.19/627.33	c  625s |      22 |  2162108 |  1972922 |     4814    946 |        2 |       14
629.19/629.37	c  627s |      22 |  2168666 |  1979422 |     4814    949 |        2 |       14
631.19/631.39	c  629s |      22 |  2175568 |  1986122 |     4814    951 |        2 |       14
633.29/633.40	c  631s |      22 |  2182702 |  1992922 |     4814    954 |        2 |       14
635.29/635.41	c  633s |      22 |  2189509 |  1999522 |     4814    956 |        2 |       14
637.29/637.41	c  635s |      22 |  2196191 |  2006022 |     4814    959 |        2 |       14
639.28/639.43	c  637s |      22 |  2202417 |  2011922 |     4814    961 |        2 |       14
641.29/641.44	c  640s |      22 |  2209535 |  2018822 |     4814    964 |        2 |       14
643.29/643.46	c  642s |      22 |  2216195 |  2025222 |     4814    966 |        2 |       14
645.28/645.46	c  644s |      22 |  2223864 |  2032522 |     4814    969 |        2 |       14
647.28/647.46	c  646s |      22 |  2231179 |  2039622 |     4814    972 |        2 |       14
649.38/649.50	c  648s |      22 |  2238640 |  2046922 |     4814    975 |        2 |       14
651.38/651.50	c  650s |      22 |  2246297 |  2054222 |     4814    977 |        2 |       14
653.39/653.51	c  652s |      22 |  2253537 |  2061222 |     4814    980 |        2 |       14
655.38/655.51	c  654s |      22 |  2260965 |  2068522 |     4814    983 |        2 |       14
657.38/657.55	c  656s |      22 |  2267785 |  2075222 |     4814    986 |        2 |       14
659.38/659.57	c  658s |      22 |  2274906 |  2082122 |     4814    988 |        2 |       14
661.38/661.57	c  660s |      22 |  2281278 |  2088322 |     4814    991 |        2 |       14
663.38/663.59	c  662s |      22 |  2288272 |  2095122 |     4814    993 |        2 |       14
665.39/665.60	c  664s |      22 |  2294853 |  2100922 |     4814    996 |        2 |       14
667.48/667.63	c  666s |      22 |  2301454 |  2107122 |     4814    998 |        2 |       14
669.48/669.65	c  668s |      22 |  2308476 |  2113722 |     4814   1001 |        2 |       14
671.48/671.66	c  670s |      22 |  2314736 |  2119522 |     4814   1003 |        2 |       14
673.48/673.66	c  672s |      22 |  2322274 |  2126622 |     4814   1006 |        2 |       14
675.48/675.67	c  674s |      22 |  2329063 |  2132722 |     4814   1008 |        2 |       14
677.58/677.70	c  676s |      22 |  2335896 |  2139022 |     4814   1010 |        2 |       14
679.57/679.71	c  678s |      22 |  2342765 |  2145322 |     4814   1013 |        2 |       14
681.57/681.74	c  680s |      22 |  2349977 |  2152122 |     4814   1015 |        2 |       14
683.58/683.76	c  682s |      22 |  2356810 |  2158622 |     4814   1018 |        2 |       14
685.58/685.76	c  684s |      22 |  2363419 |  2165022 |     4814   1020 |        2 |       14
687.58/687.77	c  686s |      22 |  2369677 |  2171122 |     4814   1023 |        2 |       14
689.59/689.79	c  688s |      22 |  2376109 |  2177422 |     4814   1025 |        2 |       14
691.68/691.81	c  690s |      22 |  2382405 |  2183622 |     4814   1028 |        2 |       14
693.68/693.81	c  692s |      22 |  2389878 |  2190922 |     4814   1030 |        2 |       14
695.68/695.84	c  694s |      22 |  2395750 |  2196622 |     4814   1033 |        2 |       14
697.68/697.85	c  696s |      22 |  2402299 |  2202922 |     4814   1035 |        2 |       14
699.68/699.87	c  698s |      22 |  2409370 |  2209722 |     4814   1038 |        2 |       14
701.68/701.88	c  700s |      22 |  2416453 |  2216622 |     4814   1040 |        2 |       14
703.78/703.90	c  702s |      22 |  2423141 |  2223022 |     4814   1043 |        2 |       14
705.78/705.92	c  704s |      22 |  2430091 |  2229422 |     4814   1045 |        2 |       14
707.77/707.92	c  706s |      22 |  2436413 |  2235322 |     5296   1047 |        2 |       14
709.77/709.94	c  708s |      22 |  2443798 |  2242022 |     5296   1050 |        2 |       14
711.77/711.96	c  710s |      22 |  2450445 |  2248322 |     5296   1052 |        2 |       14
712.47/712.63	c  711s |      23 |  2453390 |  2251038 |     5296   1053 |        2 |       14
714.47/714.66	c  713s |      23 |  2461032 |  2258338 |     5296   1055 |        2 |       14
716.47/716.67	c  715s |      23 |  2466645 |  2263238 |     5296   1057 |        2 |       14
718.47/718.68	c  717s |      23 |  2471857 |  2268038 |     5296   1059 |        2 |       14
720.57/720.71	c  719s |      23 |  2478315 |  2273938 |     5296   1061 |        2 |       14
722.58/722.75	c  721s |      23 |  2483286 |  2278638 |     5296   1063 |        2 |       14
724.57/724.77	c  723s |      23 |  2489122 |  2284138 |     5296   1065 |        2 |       14
726.57/726.78	c  725s |      23 |  2493943 |  2288738 |     5296   1066 |        2 |       14
728.57/728.79	c  727s |      23 |  2498622 |  2293138 |     5296   1068 |        2 |       14
730.57/730.80	c  729s |      23 |  2505122 |  2299538 |     5296   1070 |        2 |       14
732.67/732.81	c  731s |      23 |  2513034 |  2307238 |     5296   1073 |        3 |       21
734.67/734.84	c  733s |      23 |  2520214 |  2313838 |     5296   1075 |        3 |       21
736.67/736.85	c  735s |      23 |  2526543 |  2319938 |     5296   1078 |        3 |       21
738.67/738.87	c  737s |      23 |  2533991 |  2327138 |     5296   1080 |        3 |       21
740.67/740.88	c  739s |      23 |  2540757 |  2333638 |     5296   1083 |        3 |       21
742.67/742.88	c  741s |      23 |  2548048 |  2340538 |     5296   1085 |        3 |       21
744.67/744.90	c  743s |      23 |  2555045 |  2347038 |     5296   1087 |        3 |       21
746.77/746.91	c  745s |      23 |  2561572 |  2353138 |     5296   1090 |        3 |       21
748.76/748.93	c  747s |      23 |  2567835 |  2359138 |     5296   1092 |        3 |       21
750.76/750.94	c  749s |      23 |  2576031 |  2366638 |     5296   1094 |        3 |       21
752.76/752.95	c  751s |      23 |  2582279 |  2372738 |     5296   1096 |        3 |       21
754.76/754.99	c  753s |      23 |  2589091 |  2379338 |     5296   1099 |        3 |       21
756.77/756.99	c  755s |      23 |  2595399 |  2385538 |     5296   1101 |        3 |       21
758.77/758.99	c  757s |      23 |  2602119 |  2392038 |     5296   1103 |        3 |       21
760.87/761.00	c  759s |      23 |  2609018 |  2398738 |     5296   1106 |        3 |       21
762.87/763.01	c  761s |      23 |  2616211 |  2405738 |     5296   1108 |        3 |       21
764.87/765.02	c  763s |      23 |  2623134 |  2412438 |     5296   1111 |        3 |       21
766.87/767.03	c  765s |      23 |  2629956 |  2418538 |     5296   1113 |        3 |       21
768.88/769.07	c  767s |      23 |  2637013 |  2425238 |     5296   1115 |        3 |       21
770.97/771.11	c  769s |      23 |  2643375 |  2431338 |     5296   1117 |        3 |       21
772.97/773.13	c  771s |      23 |  2649317 |  2437138 |     5296   1119 |        3 |       21
774.97/775.15	c  773s |      23 |  2655788 |  2443438 |     5296   1122 |        3 |       21
776.96/777.17	c  775s |      23 |  2661519 |  2448938 |     5296   1124 |        3 |       21
778.96/779.18	c  777s |      23 |  2667724 |  2454838 |     5296   1126 |        3 |       21
781.06/781.21	c  779s |      23 |  2674221 |  2461038 |     5296   1128 |        3 |       21
783.07/783.21	c  781s |      23 |  2680638 |  2467238 |     5296   1130 |        3 |       21
785.06/785.23	c  783s |      23 |  2686624 |  2472738 |     5296   1132 |        3 |       21
787.06/787.25	c  785s |      23 |  2693080 |  2478738 |     5296   1134 |        3 |       21
789.06/789.25	c  787s |      23 |  2699872 |  2485038 |     5296   1137 |        3 |       21
791.06/791.26	c  789s |      23 |  2706387 |  2491338 |     5296   1139 |        3 |       21
793.07/793.26	c  791s |      23 |  2713099 |  2497738 |     5296   1141 |        3 |       21
795.06/795.27	c  793s |      23 |  2719782 |  2504238 |     5296   1144 |        3 |       21
797.06/797.28	c  795s |      23 |  2726546 |  2510838 |     5296   1146 |        3 |       21
799.16/799.30	c  797s |      23 |  2733933 |  2517838 |     5296   1148 |        3 |       21
801.16/801.31	c  799s |      23 |  2740447 |  2524138 |     5296   1151 |        3 |       21
803.16/803.32	c  801s |      23 |  2748133 |  2531438 |     5296   1153 |        3 |       21
805.17/805.34	c  803s |      23 |  2754374 |  2537138 |     5296   1155 |        3 |       21
807.16/807.35	c  805s |      23 |  2760911 |  2543338 |     5296   1158 |        3 |       21
809.16/809.37	c  807s |      23 |  2767391 |  2549338 |     5296   1160 |        3 |       21
811.16/811.39	c  809s |      23 |  2774684 |  2556138 |     5296   1162 |        3 |       21
813.26/813.41	c  811s |      23 |  2781511 |  2562638 |     5296   1164 |        3 |       21
815.26/815.44	c  814s |      23 |  2788158 |  2568938 |     5296   1167 |        3 |       21
817.26/817.46	c  816s |      23 |  2795910 |  2576238 |     5296   1169 |        3 |       21
819.26/819.48	c  818s |      23 |  2802119 |  2582238 |     5296   1171 |        3 |       21
821.36/821.51	c  820s |      23 |  2808640 |  2588538 |     5296   1174 |        3 |       21
823.36/823.53	c  822s |      23 |  2815411 |  2595138 |     5296   1176 |        3 |       21
825.36/825.53	c  824s |      23 |  2821883 |  2601438 |     5296   1178 |        3 |       21
827.36/827.54	c  826s |      23 |  2829093 |  2608338 |     5296   1181 |        3 |       21
829.36/829.54	c  828s |      23 |  2835742 |  2614838 |     5296   1183 |        3 |       21
831.35/831.55	c  830s |      23 |  2842457 |  2621338 |     5296   1185 |        3 |       21
833.35/833.58	c  832s |      23 |  2848920 |  2627438 |     5296   1188 |        3 |       21
835.45/835.60	c  834s |      23 |  2856504 |  2634638 |     5296   1190 |        3 |       21
837.45/837.62	c  836s |      23 |  2862521 |  2640438 |     5296   1192 |        3 |       21
839.45/839.65	c  838s |      23 |  2868900 |  2646538 |     5296   1194 |        3 |       21
841.46/841.67	c  840s |      23 |  2874242 |  2651738 |     5296   1196 |        3 |       21
843.45/843.69	c  842s |      23 |  2880191 |  2657538 |     5296   1198 |        3 |       21
845.55/845.70	c  844s |      23 |  2886588 |  2663738 |     5296   1201 |        3 |       21
847.55/847.72	c  846s |      23 |  2892781 |  2669638 |     5296   1203 |        3 |       21
849.55/849.74	c  848s |      23 |  2899354 |  2676138 |     5296   1205 |        3 |       21
851.55/851.76	c  850s |      23 |  2905884 |  2682438 |     5296   1207 |        3 |       21
853.56/853.79	c  852s |      23 |  2912262 |  2688538 |     5296   1210 |        3 |       21
855.55/855.80	c  854s |      23 |  2918627 |  2694638 |     5296   1212 |        3 |       21
857.65/857.80	c  856s |      23 |  2926149 |  2701838 |     5296   1214 |        3 |       21
859.65/859.80	c  858s |      23 |  2932615 |  2708138 |     5296   1217 |        3 |       21
861.65/861.82	c  860s |      23 |  2939153 |  2714438 |     5296   1219 |        3 |       21
863.64/863.82	c  862s |      23 |  2946028 |  2721038 |     5296   1221 |        3 |       21
865.65/865.83	c  864s |      23 |  2952442 |  2727238 |     5296   1223 |        3 |       21
867.65/867.83	c  866s |      23 |  2959227 |  2733738 |     5296   1226 |        3 |       21
869.64/869.86	c  868s |      23 |  2965740 |  2739938 |     5296   1228 |        3 |       21
871.65/871.87	c  870s |      23 |  2972607 |  2746438 |     5296   1230 |        3 |       21
873.75/873.90	c  872s |      23 |  2979388 |  2752738 |     5296   1233 |        3 |       21
875.75/875.91	c  874s |      23 |  2986110 |  2759038 |     5296   1235 |        3 |       21
877.76/877.93	c  876s |      23 |  2992845 |  2765138 |     5296   1237 |        3 |       21
879.75/879.95	c  878s |      23 |  2999223 |  2771138 |     5296   1239 |        3 |       21
881.75/881.96	c  880s |      23 |  3005988 |  2777338 |     5296   1241 |        3 |       21
883.75/883.97	c  882s |      23 |  3012166 |  2782938 |     5296   1243 |        3 |       21
885.85/886.02	c  884s |      23 |  3018629 |  2788838 |     5296   1246 |        3 |       21
887.85/888.03	c  886s |      23 |  3024634 |  2794538 |     5296   1248 |        3 |       21
889.85/890.05	c  888s |      23 |  3032107 |  2801138 |     5296   1250 |        3 |       21
891.85/892.07	c  890s |      23 |  3038889 |  2807038 |     5296   1252 |        3 |       21
893.95/894.10	c  892s |      23 |  3045463 |  2813338 |     5296   1254 |        3 |       21
895.95/896.12	c  894s |      23 |  3052443 |  2819438 |     5296   1257 |        3 |       21
897.95/898.15	c  896s |      23 |  3059667 |  2825638 |     5296   1259 |        3 |       21
899.95/900.15	c  898s |      23 |  3066143 |  2831938 |     5296   1261 |        3 |       21
901.95/902.17	c  900s |      23 |  3072177 |  2837838 |     5296   1263 |        3 |       21
904.05/904.21	c  902s |      23 |  3078776 |  2844238 |     5296   1265 |        3 |       21
906.04/906.23	c  904s |      23 |  3084458 |  2849638 |     5296   1267 |        3 |       21
908.04/908.26	c  906s |      23 |  3090535 |  2855538 |     5296   1270 |        3 |       21
910.04/910.27	c  908s |      23 |  3096935 |  2861738 |     5296   1272 |        3 |       21
912.04/912.27	c  910s |      23 |  3103994 |  2868538 |     5296   1274 |        3 |       21
914.05/914.29	c  912s |      23 |  3110247 |  2874638 |     5296   1276 |        3 |       21
916.15/916.32	c  914s |      23 |  3116094 |  2880238 |     5296   1278 |        3 |       21
918.14/918.35	c  916s |      23 |  3122100 |  2886038 |     5296   1280 |        3 |       21
920.14/920.36	c  918s |      23 |  3128966 |  2892238 |     5296   1283 |        3 |       21
922.14/922.36	c  920s |      23 |  3135896 |  2898638 |     5296   1285 |        3 |       21
924.14/924.38	c  922s |      23 |  3141566 |  2904038 |     5296   1287 |        3 |       21
926.15/926.38	c  924s |      23 |  3148080 |  2910038 |     5296   1289 |        3 |       21
928.25/928.41	c  926s |      23 |  3155148 |  2916938 |     5296   1291 |        3 |       21
930.24/930.44	c  929s |      23 |  3161965 |  2923538 |     5296   1294 |        3 |       21
932.24/932.47	c  931s |      23 |  3169092 |  2930238 |     5296   1296 |        3 |       21
934.24/934.50	c  933s |      23 |  3175645 |  2936438 |     5296   1298 |        3 |       21
936.34/936.51	c  935s |      23 |  3181656 |  2942138 |     5296   1301 |        3 |       21
938.34/938.53	c  937s |      23 |  3187577 |  2947738 |     5296   1303 |        3 |       21
940.35/940.53	c  939s |      23 |  3194778 |  2954438 |     5296   1305 |        3 |       21
942.34/942.57	c  941s |      23 |  3201062 |  2960438 |     5296   1307 |        3 |       21
944.34/944.59	c  943s |      23 |  3207463 |  2966438 |     5296   1309 |        3 |       21
946.44/946.60	c  945s |      23 |  3214106 |  2972738 |     5296   1311 |        3 |       21
948.43/948.64	c  947s |      23 |  3219904 |  2978138 |     5296   1313 |        3 |       21
950.43/950.64	c  949s |      23 |  3226913 |  2984538 |     5296   1316 |        3 |       21
952.44/952.65	c  951s |      23 |  3233458 |  2990838 |     5296   1318 |        3 |       21
954.43/954.68	c  953s |      23 |  3239436 |  2996638 |     5296   1320 |        3 |       21
956.53/956.72	c  955s |      23 |  3246223 |  3003238 |     5296   1322 |        3 |       21
958.53/958.77	c  957s |      23 |  3252371 |  3009238 |     5296   1325 |        3 |       21
960.53/960.79	c  959s |      23 |  3259548 |  3016238 |     5296   1327 |        3 |       21
962.63/962.81	c  961s |      23 |  3265930 |  3022338 |     5296   1329 |        3 |       21
964.64/964.81	c  963s |      23 |  3272580 |  3028838 |     5296   1331 |        3 |       21
966.64/966.81	c  965s |      23 |  3279177 |  3035338 |     5296   1334 |        3 |       21
968.63/968.84	c  967s |      23 |  3286078 |  3042038 |     5296   1336 |        3 |       21
970.63/970.88	c  969s |      23 |  3292471 |  3048238 |     5296   1338 |        3 |       21
972.63/972.88	c  971s |      23 |  3299246 |  3054738 |     5296   1341 |        3 |       21
974.73/974.90	c  973s |      23 |  3305394 |  3060638 |     5296   1343 |        3 |       21
976.73/976.91	c  975s |      23 |  3312331 |  3067338 |     5296   1345 |        3 |       21
978.72/978.93	c  977s |      23 |  3318981 |  3073738 |     5296   1348 |        3 |       21
980.72/980.94	c  979s |      23 |  3325753 |  3079938 |     5296   1350 |        3 |       21
982.72/982.94	c  981s |      23 |  3331617 |  3085538 |     5296   1352 |        3 |       21
984.72/984.95	c  983s |      23 |  3338448 |  3092038 |     5296   1354 |        3 |       21
986.72/986.98	c  985s |      23 |  3344837 |  3097938 |     5296   1356 |        3 |       21
988.82/989.01	c  987s |      23 |  3351090 |  3103838 |     5296   1358 |        3 |       21
990.81/991.03	c  989s |      23 |  3358197 |  3110438 |     5296   1361 |        3 |       21
992.81/993.04	c  991s |      23 |  3364812 |  3116538 |     5296   1363 |        3 |       21
994.81/995.04	c  993s |      23 |  3370437 |  3121838 |     5296   1365 |        3 |       21
996.81/997.05	c  995s |      23 |  3376868 |  3127938 |     5296   1367 |        3 |       21
998.81/999.07	c  997s |      23 |  3383980 |  3134738 |     5296   1369 |        3 |       21
1000.81/1001.09	c  999s |      23 |  3390478 |  3140938 |     5296   1372 |        3 |       21
1002.91/1003.11	c 1001s |      23 |  3396569 |  3146738 |     5296   1374 |        3 |       21
1004.91/1005.12	c 1003s |      23 |  3403134 |  3152738 |     5296   1376 |        3 |       21
1006.91/1007.13	c 1005s |      23 |  3409200 |  3158538 |     5296   1378 |        3 |       21
1008.90/1009.15	c 1007s |      23 |  3416819 |  3165738 |     5296   1381 |        3 |       21
1010.90/1011.15	c 1009s |      23 |  3423318 |  3171938 |     5296   1383 |        3 |       21
1012.91/1013.16	c 1011s |      23 |  3429410 |  3177838 |     5296   1385 |        3 |       21
1014.90/1015.17	c 1013s |      23 |  3435720 |  3183938 |     5296   1387 |        3 |       21
1016.90/1017.17	c 1015s |      23 |  3442153 |  3190138 |     5296   1389 |        3 |       21
1018.90/1019.17	c 1017s |      23 |  3448782 |  3196638 |     5296   1392 |        3 |       21
1020.90/1021.19	c 1019s |      23 |  3455904 |  3203538 |     5296   1394 |        3 |       21
1023.00/1023.20	c 1021s |      23 |  3461943 |  3209338 |     5296   1396 |        3 |       21
1025.01/1025.21	c 1023s |      23 |  3468475 |  3215538 |     5296   1398 |        3 |       21
1027.00/1027.21	c 1025s |      23 |  3476048 |  3222538 |     5296   1401 |        3 |       21
1029.00/1029.24	c 1027s |      23 |  3482758 |  3229038 |     5296   1403 |        3 |       21
1031.00/1031.27	c 1029s |      23 |  3489359 |  3235338 |     5296   1405 |        3 |       21
1033.00/1033.28	c 1031s |      23 |  3495640 |  3241438 |     5296   1408 |        3 |       21
1035.00/1035.29	c 1033s |      23 |  3502148 |  3247638 |     5296   1410 |        3 |       21
1037.10/1037.32	c 1035s |      23 |  3508999 |  3254138 |     5296   1412 |        3 |       21
1039.09/1039.34	c 1037s |      23 |  3515873 |  3260738 |     5296   1415 |        3 |       21
1041.09/1041.36	c 1039s |      23 |  3523818 |  3268438 |     5296   1417 |        3 |       21
1043.09/1043.36	c 1041s |      23 |  3530648 |  3274838 |     5296   1420 |        3 |       21
1045.09/1045.38	c 1043s |      23 |  3537148 |  3280938 |     5296   1422 |        3 |       21
1047.10/1047.39	c 1045s |      23 |  3543564 |  3286938 |     5296   1424 |        3 |       21
1049.09/1049.39	c 1047s |      23 |  3550646 |  3293538 |     5296   1426 |        3 |       21
1051.19/1051.40	c 1049s |      23 |  3556800 |  3299238 |     5296   1428 |        3 |       21
1053.18/1053.41	c 1051s |      23 |  3562632 |  3304838 |     5296   1430 |        3 |       21
1055.18/1055.43	c 1053s |      23 |  3569773 |  3311538 |     5296   1433 |        3 |       21
1057.18/1057.43	c 1055s |      23 |  3576734 |  3318338 |     5296   1435 |        3 |       21
1059.18/1059.44	c 1058s |      23 |  3583462 |  3324938 |     5296   1437 |        3 |       21
1061.18/1061.44	c 1060s |      23 |  3589694 |  3330838 |     5296   1440 |        3 |       21
1063.17/1063.47	c 1062s |      23 |  3595956 |  3336738 |     5296   1442 |        3 |       21
1065.17/1065.48	c 1064s |      23 |  3601877 |  3342438 |     5296   1444 |        3 |       21
1067.17/1067.50	c 1066s |      23 |  3608513 |  3348638 |     5826   1446 |        3 |       21
1069.27/1069.52	c 1068s |      23 |  3615278 |  3354938 |     5826   1448 |        3 |       21
1071.28/1071.52	c 1070s |      23 |  3621722 |  3361038 |     5826   1450 |        3 |       21
1073.27/1073.54	c 1072s |      23 |  3628678 |  3367538 |     5826   1452 |        3 |       21
1075.27/1075.56	c 1074s |      23 |  3634902 |  3373438 |     5826   1454 |        3 |       21
1076.27/1076.58	c 1075s |      24 |  3638441 |  3376662 |     5826   1455 |        3 |       21
1078.37/1078.60	c 1077s |      24 |  3644602 |  3382562 |     5826   1457 |        3 |       21
1080.37/1080.63	c 1079s |      24 |  3649146 |  3386862 |     5826   1458 |        3 |       21
1082.37/1082.64	c 1081s |      24 |  3654996 |  3392262 |     5826   1460 |        3 |       21
1084.37/1084.68	c 1083s |      24 |  3661325 |  3397462 |     5826   1462 |        3 |       21
1086.36/1086.69	c 1085s |      24 |  3667571 |  3403062 |     5826   1464 |        3 |       21
1088.46/1088.70	c 1087s |      24 |  3673687 |  3408862 |     5826   1466 |        3 |       21
1090.46/1090.71	c 1089s |      24 |  3680599 |  3414962 |     5826   1468 |        3 |       21
1092.46/1092.74	c 1091s |      24 |  3686951 |  3420762 |     5826   1470 |        3 |       21
1094.46/1094.79	c 1093s |      24 |  3694570 |  3428162 |     5826   1472 |        3 |       21
1096.56/1096.81	c 1095s |      24 |  3701386 |  3434762 |     5826   1475 |        3 |       21
1098.56/1098.84	c 1097s |      24 |  3706745 |  3439962 |     5826   1476 |        3 |       21
1100.55/1100.86	c 1099s |      24 |  3712303 |  3445162 |     5826   1478 |        3 |       21
1102.55/1102.88	c 1101s |      24 |  3720081 |  3452262 |     5826   1480 |        3 |       21
1104.65/1104.91	c 1103s |      24 |  3725960 |  3457762 |     5826   1482 |        3 |       21
1106.66/1106.93	c 1105s |      24 |  3732028 |  3463462 |     5826   1484 |        3 |       21
1108.67/1108.94	c 1107s |      24 |  3737634 |  3468862 |     5826   1486 |        3 |       21
1110.65/1110.97	c 1109s |      24 |  3743996 |  3474762 |     5826   1488 |        3 |       21
1112.65/1112.97	c 1111s |      24 |  3750082 |  3480362 |     5826   1490 |        3 |       21
1114.75/1115.01	c 1113s |      24 |  3756680 |  3486462 |     5826   1492 |        3 |       21
1116.75/1117.02	c 1115s |      24 |  3762894 |  3492262 |     5826   1494 |        3 |       21
1118.75/1119.05	c 1117s |      24 |  3768864 |  3497862 |     5826   1496 |        3 |       21
1120.75/1121.06	c 1119s |      24 |  3775134 |  3503562 |     5826   1498 |        3 |       21
1122.74/1123.07	c 1121s |      24 |  3782525 |  3510362 |     5826   1500 |        3 |       21
1124.74/1125.08	c 1123s |      24 |  3788586 |  3516162 |     5826   1502 |        3 |       21
1126.84/1127.11	c 1125s |      24 |  3795737 |  3522662 |     5826   1504 |        3 |       21
1128.84/1129.11	c 1127s |      24 |  3802895 |  3529062 |     5826   1506 |        3 |       21
1130.84/1131.16	c 1129s |      24 |  3809564 |  3535462 |     5826   1509 |        3 |       21
1132.84/1133.18	c 1131s |      24 |  3816920 |  3542162 |     5826   1511 |        3 |       21
1134.84/1135.20	c 1133s |      24 |  3824275 |  3549062 |     5826   1513 |        3 |       21
1136.94/1137.22	c 1135s |      24 |  3830562 |  3554562 |     5826   1515 |        3 |       21
1138.93/1139.23	c 1137s |      24 |  3837105 |  3560762 |     5826   1517 |        3 |       21
1140.93/1141.25	c 1139s |      24 |  3843663 |  3566862 |     5826   1519 |        3 |       21
1142.93/1143.26	c 1141s |      24 |  3850578 |  3573062 |     5826   1521 |        3 |       21
1144.94/1145.27	c 1143s |      24 |  3857474 |  3579462 |     5826   1523 |        3 |       21
1146.93/1147.28	c 1145s |      24 |  3864925 |  3586562 |     5826   1526 |        3 |       21
1149.02/1149.30	c 1147s |      24 |  3872437 |  3593062 |     5826   1528 |        3 |       21
1149.42/1149.72	c 1148s |      24 |  3873754 |  3594276 |     5826   1528 |        3 |       21
1149.42/1149.72	c #cpu_time = 1148.166s
1149.42/1149.72	c #wall_clock_time = 1148.283s
1149.42/1149.72	c #decision = 3873754
1149.42/1149.72	c #random_decision = 14692
1149.42/1149.72	c #conflict = 3594276
1149.42/1149.72	c #restart = 24
1149.42/1149.72	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 7: cost of the new core is >=3
1149.42/1149.72	c lower bound updated to 3
1149.42/1149.72	c BCD2: 3 <= obj <= 122
1149.42/1149.72	c BCD2: #cores=1, #unrelaxed=0, #relaxed=7, #hardened=0
1149.42/1149.72	c BCD2: #sat=1 #unsat=3 bias=3/4
1149.42/1149.72	c Solving starts ...
1149.42/1149.72	c ============================[ Search Statistics ]============================
1149.42/1149.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1149.42/1149.72	c       |         |          |          |    Limit     GC | Var      | Constra 
1149.42/1149.72	c =============================================================================
1149.42/1149.72	c  0.0s |       0 |        0 |        0 |     5826      0 |        4 |       21
1149.42/1149.76	c  0.0s |       1 |      123 |      100 |     5826      0 |        4 |       22
1149.62/1149.95	c  0.2s |       2 |      293 |      250 |     5826      0 |        4 |       22
1149.72/1150.04	c  0.3s |       3 |      545 |      475 |     5826      1 |        4 |       22
1149.92/1150.20	c  0.5s |       4 |      982 |      813 |     5826      1 |        4 |       22
1149.92/1150.25	c  0.5s |       4 |     1306 |      987 |     5826      1 |        4 |       22
1149.92/1150.25	c #cpu_time = 0.536s
1149.92/1150.25	c #wall_clock_time = 0.536s
1149.92/1150.25	c #decision = 1306
1149.92/1150.25	c #random_decision = 5
1149.92/1150.25	c #conflict = 987
1149.92/1150.25	c #restart = 4
1149.92/1150.25	o 3
1149.92/1150.25	s OPTIMUM FOUND
1149.92/1150.25	v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 x10
1149.92/1150.25	v -x11 -x12 x13 -x14 x15 x16 -x17 x18 x19 x20
1149.92/1150.25	v -x21 x22 -x23 x24 -x25 -x26 -x27 -x28 x29 x30
1149.92/1150.25	v x31 -x32 -x33 -x34 -x35 x36 x37 -x38 x39 -x40
1149.92/1150.25	v x41 x42 x43 x44 -x45 -x46 -x47 -x48 -x49 x50
1149.92/1150.25	v -x51 x52 -x53 x54 -x55 -x56 x57 -x58 x59 x60
1149.92/1150.25	v -x61 -x62 -x63 x64 -x65 x66 -x67 x68 x69 x70
1149.92/1150.25	v x71 x72 x73 -x74 x75 x76 x77 x78 x79 -x80
1149.92/1150.25	v -x81 x82 -x83 x84 x85 -x86 x87 -x88 -x89 -x90
1149.92/1150.25	v x91 x92 x93 x94 -x95 x96 -x97 x98 x99 -x100
1149.92/1150.25	v x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 x109 -x110
1149.92/1150.25	v x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120
1149.92/1150.25	v -x121 x122 -x123 x124 x125 -x126 -x127 -x128 x129 -x130
1149.92/1150.25	v -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140
1149.92/1150.25	v x141 -x142 -x143 x144 x145 x146 -x147 -x148 x149 -x150
1149.92/1150.25	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
1149.92/1150.25	v -x161 -x162 x163 -x164 x165 -x166 -x167 -x168
1149.92/1150.25	c total CPU time = 1150.133s
1149.92/1150.25	c total wall clock time = 1150.251s

Verifier Data 

OK	3

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

pid=25071
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

[startup+0 s]
/proc/loadavg: 2.10 2.13 1.88 3/179 25074
/proc/meminfo: memFree=28934300/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/25074/stat : 25074 (runsolver) R 25071 24910 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 1 0 28591742 24911872 50 33554432000 4194304 4338465 140733966255616 140733966253152 225444522946 0 0 4096 24578 0 0 0 17 7 0 0 0 0 0
/proc/25074/statm: 6082 50 4 36 0 2655 0
Current StackSize limit: 10240 KiB


[startup+0.100176 s]
/proc/loadavg: 2.10 2.13 1.88 3/179 25074
/proc/meminfo: memFree=28934300/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 20321 0 0 0 5 3 0 0 20 0 4 0 28591742 1247350784 20669 33554432000 4194304 16246674 140734967977680 140734967977104 5675357 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25074/statm: 304529 20674 758 2943 0 301423 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.20039 s]
/proc/loadavg: 2.10 2.13 1.88 3/179 25074
/proc/meminfo: memFree=28934300/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 36820 0 0 0 12 6 0 0 20 0 4 0 28591742 1247350784 37168 33554432000 4194304 16246674 140734967977680 140734967977104 5712452 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25074/statm: 304529 37180 758 2943 0 301423 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300382 s]
/proc/loadavg: 2.10 2.13 1.88 3/179 25074
/proc/meminfo: memFree=28934300/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 54973 0 0 0 20 8 0 0 20 0 4 0 28591742 1247350784 55321 33554432000 4194304 16246674 140734967977680 140734967959552 13943668 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25074/statm: 304529 55332 765 2943 0 301423 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.70031 s]
/proc/loadavg: 2.10 2.13 1.88 3/179 25074
/proc/meminfo: memFree=28934300/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 137364 0 0 0 48 20 0 0 20 0 4 0 28591742 1247350784 137712 33554432000 4194304 16246674 140734967977680 140734967959552 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 304529 137726 765 2943 0 301423 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.10 2.13 1.88 4/183 25078
/proc/meminfo: memFree=28079108/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1221188 CPUtime=1.48 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 246320 0 0 0 114 34 0 0 20 0 4 0 28591742 1250496512 246645 33554432000 4194304 16246674 140734967977680 140734967976896 5711716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 305297 246645 851 2943 0 302191 0
[pid=25074/tid=25076] ppid=25071 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1250496512 246645 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1250496512 246645 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1250496512 246645 33554432000 4194304 16246674 140734967977680 139811163720880 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) 1221188

[startup+3.10041 s]
/proc/loadavg: 2.10 2.13 1.88 4/183 25078
/proc/meminfo: memFree=27923240/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1303108 CPUtime=3.08 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 266718 0 0 0 271 37 0 0 20 0 4 0 28591742 1334382592 267043 33554432000 4194304 16246674 140734967977680 140734967959552 5827950 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 325777 267043 851 2943 0 322671 0
[pid=25074/tid=25076] ppid=25071 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1334382592 267043 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1334382592 267043 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1334382592 267043 33554432000 4194304 16246674 140734967977680 139811163720880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1303108

[startup+6.30044 s]
/proc/loadavg: 2.25 2.16 1.90 4/183 25078
/proc/meminfo: memFree=27861868/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 267898 0 0 0 591 37 0 0 20 0 4 0 28591742 1338576896 268223 33554432000 4194304 16246674 140734967977680 140734967960680 5717656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 326801 268223 851 2943 0 323695 0
[pid=25074/tid=25076] ppid=25071 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1338576896 268223 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1338576896 268223 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1338576896 268223 33554432000 4194304 16246674 140734967977680 139811163720880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7005 s]
/proc/loadavg: 2.23 2.15 1.90 3/183 25078
/proc/meminfo: memFree=27859836/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1309252 CPUtime=12.68 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 268410 0 0 0 1231 37 0 0 20 0 4 0 28591742 1340674048 268735 33554432000 4194304 16246674 140734967977680 140734967959552 13759627 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 327313 268735 851 2943 0 324207 0
[pid=25074/tid=25076] ppid=25071 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1340674048 268735 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1340674048 268735 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1340674048 268735 33554432000 4194304 16246674 140734967977680 139811163720880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.18 2.14 1.90 3/183 25078
/proc/meminfo: memFree=27859344/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1310276 CPUtime=25.48 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 268668 0 0 0 2510 38 0 0 20 0 4 0 28591742 1341722624 268993 33554432000 4194304 16246674 140734967977680 140734967959552 5545752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 327569 268993 853 2943 0 324463 0
[pid=25074/tid=25076] ppid=25071 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1341722624 268993 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1341722624 268993 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1341722624 268993 33554432000 4194304 16246674 140734967977680 139811163720880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.27 2.16 1.91 4/183 25078
/proc/meminfo: memFree=27859468/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1310276 CPUtime=51.08 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 268668 0 0 0 5070 38 0 0 20 0 4 0 28591742 1341722624 268993 33554432000 4194304 16246674 140734967977680 140734967959552 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 327569 268993 853 2943 0 324463 0
[pid=25074/tid=25076] ppid=25071 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1341722624 268993 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1341722624 268993 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1341722624 268993 33554432000 4194304 16246674 140734967977680 139811163720880 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) 1310276

[startup+102.301 s]
/proc/loadavg: 2.30 2.18 1.93 3/183 25079
/proc/meminfo: memFree=27856368/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1313348 CPUtime=102.27 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 269388 0 0 0 10189 38 0 0 20 0 4 0 28591742 1344868352 269713 33554432000 4194304 16246674 140734967977680 140734967959552 5675139 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 328337 269713 854 2943 0 325231 0
[pid=25074/tid=25076] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1344868352 269713 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1344868352 269713 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1344868352 269713 33554432000 4194304 16246674 140734967977680 139811163720880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1313348

[startup+162.3 s]
/proc/loadavg: 2.22 2.18 1.94 3/184 25083
/proc/meminfo: memFree=27852348/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1317444 CPUtime=162.26 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 270300 0 0 0 16187 39 0 0 20 0 4 0 28591742 1349062656 270625 33554432000 4194304 16246674 140734967977680 140734967959552 5829700 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 329361 270625 854 2943 0 326255 0
[pid=25074/tid=25076] ppid=25071 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1349062656 270625 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1349062656 270625 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1349062656 270625 33554432000 4194304 16246674 140734967977680 139811163720880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1317444

[startup+222.308 s]
/proc/loadavg: 2.18 2.17 1.95 3/184 25107
/proc/meminfo: memFree=27851592/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1317444 CPUtime=222.26 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 270301 0 0 0 22187 39 0 0 20 0 4 0 28591742 1349062656 270626 33554432000 4194304 16246674 140734967977680 140734967960680 5677273 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 329361 270626 854 2943 0 326255 0
[pid=25074/tid=25076] ppid=25071 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1349062656 270626 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1349062656 270626 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1349062656 270626 33554432000 4194304 16246674 140734967977680 139811163720880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1317444


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

Current children cumulated vsize (KiB) 1323588

[startup+1002.3 s]
/proc/loadavg: 2.45 2.28 2.11 3/183 25126
/proc/meminfo: memFree=27835916/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1323588 CPUtime=1002.11 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 272037 0 0 0 100164 47 0 0 20 0 4 0 28591742 1355354112 272326 33554432000 4194304 16246674 140734967977680 140734967959552 5663615 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 330897 272326 855 2943 0 327791 0
[pid=25074/tid=25076] ppid=25071 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1355354112 272326 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1355354112 272326 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1355354112 272326 33554432000 4194304 16246674 140734967977680 139811163720880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 1323588

[startup+1062.3 s]
/proc/loadavg: 2.28 2.26 2.11 3/183 25127
/proc/meminfo: memFree=27836192/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1323588 CPUtime=1062.08 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 272082 0 0 0 106160 48 0 0 20 0 4 0 28591742 1355354112 272326 33554432000 4194304 16246674 140734967977680 140734967959552 5823523 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 330897 272326 855 2943 0 327791 0
[pid=25074/tid=25076] ppid=25071 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1355354112 272326 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1355354112 272326 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1355354112 272326 33554432000 4194304 16246674 140734967977680 139811163720880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 1323588

[startup+1122.3 s]
/proc/loadavg: 2.30 2.27 2.12 3/183 25177
/proc/meminfo: memFree=27865564/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1328708 CPUtime=1122.04 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 273401 0 0 0 112155 49 0 0 20 0 4 0 28591742 1360596992 273606 33554432000 4194304 16246674 140734967977680 140734967959552 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 332177 273606 855 2943 0 329071 0
[pid=25074/tid=25076] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811163720880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 1328708

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25074 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1126.4 s]
/proc/loadavg: 2.28 2.26 2.12 3/183 25177
/proc/meminfo: memFree=27864448/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1328708 CPUtime=1126.15 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 273401 0 0 0 112566 49 0 0 20 0 4 0 28591742 1360596992 273606 33554432000 4194304 16246674 140734967977680 140734967959552 12483292 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 332177 273606 855 2943 0 329071 0
[pid=25074/tid=25076] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811163720880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1126.15
Current children cumulated vsize (KiB) 1328708

[startup+1139.2 s]
/proc/loadavg: 2.39 2.29 2.13 3/183 25177
/proc/meminfo: memFree=27864220/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1328708 CPUtime=1138.93 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 273416 0 0 0 113844 49 0 0 20 0 4 0 28591742 1360596992 273606 33554432000 4194304 16246674 140734967977680 140734967959552 12483230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 332177 273606 855 2943 0 329071 0
[pid=25074/tid=25076] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811163720880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1138.93
Current children cumulated vsize (KiB) 1328708

[startup+1145.6 s]
/proc/loadavg: 2.33 2.28 2.12 4/183 25177
/proc/meminfo: memFree=27863336/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1328708 CPUtime=1145.33 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 273416 0 0 0 114484 49 0 0 20 0 4 0 28591742 1360596992 273606 33554432000 4194304 16246674 140734967977680 140734967959552 5546160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 332177 273606 855 2943 0 329071 0
[pid=25074/tid=25076] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811163720880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1145.33
Current children cumulated vsize (KiB) 1328708

[startup+1148.8 s]
/proc/loadavg: 2.33 2.28 2.12 3/183 25177
/proc/meminfo: memFree=27863252/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1328708 CPUtime=1148.53 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 273416 0 0 0 114804 49 0 0 20 0 4 0 28591742 1360596992 273606 33554432000 4194304 16246674 140734967977680 140734967959552 5712756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 332177 273606 855 2943 0 329071 0
[pid=25074/tid=25076] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811163720880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1148.53
Current children cumulated vsize (KiB) 1328708

[startup+1149.61 s]
/proc/loadavg: 2.33 2.28 2.12 3/183 25177
/proc/meminfo: memFree=27862740/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1328708 CPUtime=1149.33 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 273424 0 0 0 114884 49 0 0 20 0 4 0 28591742 1360596992 273606 33554432000 4194304 16246674 140734967977680 140734967959552 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 332177 273606 855 2943 0 329071 0
[pid=25074/tid=25076] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811163720880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1149.33
Current children cumulated vsize (KiB) 1328708

[startup+1150 s]
/proc/loadavg: 2.33 2.28 2.12 3/183 25177
/proc/meminfo: memFree=27862740/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1328708 CPUtime=1149.72 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 273424 0 0 0 114923 49 0 0 20 0 4 0 28591742 1360596992 273606 33554432000 4194304 16246674 140734967977680 140734967959552 5974116 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 332177 273606 855 2943 0 329071 0
[pid=25074/tid=25076] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811163720880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1149.72
Current children cumulated vsize (KiB) 1328708

[startup+1150.2 s]
/proc/loadavg: 2.33 2.28 2.12 3/183 25177
/proc/meminfo: memFree=27862740/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=1328708 CPUtime=1149.92 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202496 273424 0 0 0 114943 49 0 0 20 0 4 0 28591742 1360596992 273606 33554432000 4194304 16246674 140734967977680 140734967959552 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 332177 273606 855 2943 0 329071 0
[pid=25074/tid=25076] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811184684272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811174194416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25078] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25078/stat : 25078 (toysat) S 25071 25074 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28591743 1360596992 273606 33554432000 4194304 16246674 140734967977680 139811163720880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1149.92
Current children cumulated vsize (KiB) 1328708

[startup+1150.3 s]
/proc/loadavg: 2.33 2.28 2.12 3/183 25177
/proc/meminfo: memFree=27862740/32872528 swapFree=1499884/1696108
[pid=25074] ppid=25071 vsize=0 CPUtime=1150.02 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 24910 0 -1 4202500 273429 0 0 0 114949 53 0 0 20 0 1 0 28591742 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1150.02
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1150.31
CPU time (s): 1150.04
CPU user time (s): 1149.5
CPU system time (s): 0.540917
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 1328708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1149.5
system time used= 0.540917
maximum resident set size= 1094436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273429
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= 162
involuntary context switches= 1192

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34688 second user time and 10.9523 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 17:57:40
IDJOB=4106100
IDBENCH=47932
IDSOLVER=2542
FILE ID=node137/4106100-1466265460
RUNJOBID= node137-1466264772-24927
PBS_JOBID= 19918225
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=53-P1=5-P2=67-P3=53-P4=17-P5=103-P6=29-P7=71-P8=47-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106100-1466265460/watcher-4106100-1466265460 -o /tmp/evaluation-result-4106100-1466265460/solver-4106100-1466265460 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106100-1466265460.opb

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

MD5SUM BENCH= 43e5891f3de726e47642c5b88db45e69
RANDOM SEED=334071179

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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:        28934564 kB
Buffers:          143500 kB
Cached:           254692 kB
SwapCached:         1268 kB
Active:          1249500 kB
Inactive:         250668 kB
Active(anon):    1103548 kB
Inactive(anon):     1028 kB
Active(file):     145952 kB
Inactive(file):   249640 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100008 kB
Dirty:             16620 kB
Writeback:             0 kB
AnonPages:       2801392 kB
Mapped:            10444 kB
Shmem:                 0 kB
Slab:             607044 kB
SReclaimable:      50816 kB
SUnreclaim:       556228 kB
KernelStack:        1520 kB
PageTables:         9136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2939804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 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= 71672 MiB
End job on node137 at 2016-06-18 18:16:51