Trace number 4102457

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.06 1800.44

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-4.opb
MD5SUM172d8bfe30610a29dfe3bb9d98ed3f4c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6352
Total number of constraints13489
Number of constraints which are clauses13489
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T08:06:30+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4102457-1466229989.opb"]
0.00/0.01	c use --random-gen="2857304812 3252937001 2301182004 543393153 3433905984 1067661814 899806388 4294660071 2677393191 2375603201 1321659422 3367823612 657549721 3695489525 1789971972 359430794 4070883794 2620000882 229872735 2028287204 54536407 3728711458 1395348125 243886921 3696268555 652568295 322053461 3331952597 1230908401 140271071 196472194 3510664744 3904204898 2444199798 3859485927 3943675415 1978962924 2232987233 373569305 1455328282 1173261606 1779541822 426566555 307797615 2338597024 3682680976 2485318169 998261393 2476228648 3563348773 3262800274 3658223180 1485612465 543782079 4159205909 2494627999 1660656658 1664766393 2048067805 3170253684 25835532 1608085589 1659696289 1092659624 3932278081 1331442467 1837934220 3846875437 1744223155 740839732 1584718465 4048571280 1531754779 1935547428 3172418469 2326319938 1124186736 517490027 262015824 3916399398 1829632947 2519467412 3859193559 4273339133 1124691045 1286346118 256927696 4167334469 3321901525 3902895765 2860383055 3018808527 1947863942 2061364374 4109913629 1041429291 575751650 3173187218 3731235243 3305834841 3265632113 3730597155 1347119825 3456566176 987033047 1890399740 887519587 1698639432 2658057729 3284800947 3587270822 2645982377 3457998060 2992656302 1020061303 548235623 134155841 2436133547 1857795214 454109137 2658414431 4095670748 224482720 888486669 1704344762 806692276 302494266 255250363 52866185 1769272718 2395664486 1301288222 1299285690 1452428476 217208904 1030062737 3769603308 3894491332 829579384 1132622577 2888046359 4142249393 2387094203 1219997483 1664322636 1709049974 2364058670 2216178385 2031410136 1131264259 2020377018 3795393146 3378923973 1543455138 1467965378 1277468724 182199410 3782434180 1478262108 3366873934 991543696 3999098494 3660719854 1350109936 2520360066 4188118765 2948012620 1823553133 2599818585 4105246597 1357196627 1297280798 2949368907 2678291587 2962755133 3450042977 1824621092 2362820147 365562672 816927444 1611244160 2911187504 2837627628 3291822127 2050598764 370110231 1742689234 4050168765 2955328843 3515243688 3507546834 1100660488 896791477 1150343442 697078059 2240641194 1698414264 1692031050 1337856579 2837852557 735115661 3734776355 3392264531 2384109800 3765081429 945820931 982282513 4015248865 204045919 705735116 1168199388 2885291058 2706882690 839109432 311307313 251516379 2875410240 1934857423 1760908734 3679299712 1401802375 1916289020 16204376 3345187934 423613906 2168735022 2583864562 3708632488 4157191292 1561411143 840843084 813343064 827872195 2972710395 796877038 3002589562 3873776159 329465712 4254071589 3373524955 2065546617 3428810429 411883702 4161237885 565079859 2149775425 1712847370 3974048613 1672228776 3317103658 2343561278 1635127427 2620410151 521137769 1545901474 162695657 255 362436" option to reproduce the execution
0.09/0.12	c #vars 6352
0.09/0.12	c #constraints 13489
0.19/0.26	c BCD2: Hardening is enabled.
0.19/0.26	c BCD2: BiasedSearch is enabled.
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     6444      0 |     1582 |        0
0.39/0.43	c  0.2s |       1 |      305 |      100 |     6444      0 |     1582 |     3166
0.59/0.61	c  0.4s |       2 |      526 |      250 |     7089      0 |     1582 |     3166
0.79/0.86	c  0.6s |       3 |      803 |      475 |     7798      0 |     1582 |     3166
1.69/1.75	c  1.5s |       4 |     1170 |      813 |     8578      0 |     1582 |     3166
2.30/2.31	c  2.1s |       5 |     1720 |     1320 |     9436      0 |     1582 |     3166
4.40/4.46	c  4.2s |       5 |     2450 |     2020 |    10380      0 |     1582 |     3166
4.59/4.64	c  4.4s |       6 |     2507 |     2081 |    11419      0 |     1582 |     3166
6.99/7.01	c  6.7s |       6 |     3136 |     2681 |    11419      0 |     1582 |     3166
9.09/9.15	c  8.9s |       6 |     3640 |     3181 |    11419      0 |     1582 |     3166
9.29/9.34	c  9.1s |       7 |     3682 |     3223 |    12561      0 |     1582 |     3166
11.39/11.50	c 11.2s |       7 |     4214 |     3723 |    12561      0 |     1582 |     3166
13.69/13.72	c 13.5s |       7 |     4715 |     4223 |    12561      0 |     1582 |     3166
15.89/15.95	c 15.7s |       7 |     5227 |     4723 |    12561      0 |     1582 |     3166
16.89/16.92	c 16.7s |       8 |     5434 |     4936 |    13818      0 |     1582 |     3166
19.09/19.19	c 18.9s |       8 |     5965 |     5436 |    13818      0 |     1582 |     3166
21.49/21.56	c 21.3s |       8 |     6464 |     5936 |    13818      0 |     1582 |     3166
23.79/23.87	c 23.6s |       8 |     6970 |     6436 |    13818      0 |     1582 |     3166
26.19/26.27	c 26.0s |       8 |     7472 |     6936 |    13818      0 |     1582 |     3166
28.60/28.70	c 28.4s |       8 |     7984 |     7436 |    13818      0 |     1582 |     3166
28.99/29.08	c 28.8s |       9 |     8055 |     7506 |    15200      0 |     1582 |     3166
31.49/31.56	c 31.3s |       9 |     8580 |     8006 |    15200      0 |     1582 |     3166
33.59/33.69	c 33.4s |       9 |     8983 |     8406 |    15200      0 |     1582 |     3166
35.79/35.88	c 35.6s |       9 |     9388 |     8806 |    15200      0 |     1582 |     3166
37.99/38.00	c 37.7s |       9 |     9789 |     9206 |    15200      0 |     1582 |     3166
40.09/40.15	c 39.9s |       9 |    10191 |     9606 |    15200      0 |     1582 |     3166
42.29/42.30	c 42.0s |       9 |    10599 |    10006 |    15200      0 |     1582 |     3166
44.39/44.48	c 44.2s |       9 |    10996 |    10406 |    15200      0 |     1582 |     3166
46.69/46.77	c 46.5s |       9 |    11397 |    10806 |    15200      0 |     1582 |     3166
48.99/49.04	c 48.8s |       9 |    11802 |    11206 |    15200      0 |     1582 |     3166
49.89/49.94	c 49.7s |      10 |    11957 |    11361 |    16720      0 |     1582 |     3166
52.19/52.29	c 52.0s |      10 |    12384 |    11761 |    16720      0 |     1582 |     3166
54.58/54.63	c 54.4s |      10 |    12790 |    12161 |    16720      0 |     1582 |     3166
56.98/57.04	c 56.8s |      10 |    13187 |    12561 |    16720      0 |     1582 |     3166
59.39/59.43	c 59.2s |      10 |    13591 |    12961 |    16720      0 |     1582 |     3166
61.88/61.95	c 61.7s |      10 |    13993 |    13361 |    16720      0 |     1582 |     3166
64.38/64.46	c 64.2s |      10 |    14394 |    13761 |    16720      0 |     1582 |     3166
66.88/66.91	c 66.7s |      10 |    14799 |    14161 |    16720      0 |     1582 |     3166
69.29/69.31	c 69.1s |      10 |    15204 |    14561 |    16720      0 |     1582 |     3166
71.59/71.66	c 71.4s |      10 |    15605 |    14961 |    16720      0 |     1582 |     3166
73.98/74.06	c 73.8s |      10 |    16010 |    15361 |    16720      0 |     1582 |     3166
76.38/76.47	c 76.2s |      10 |    16417 |    15761 |    16720      0 |     1582 |     3166
78.88/78.99	c 78.7s |      10 |    16814 |    16161 |    16720      0 |     1582 |     3166
81.58/81.64	c 81.4s |      10 |    17216 |    16561 |    16720      0 |     1582 |     3166
84.08/84.19	c 83.9s |      10 |    17618 |    16961 |    16720      0 |     1582 |     3166
85.28/85.37	c 85.1s |      11 |    17804 |    17144 |    18392      0 |     1582 |     3166
87.78/87.88	c 87.6s |      11 |    18235 |    17544 |    18392      0 |     1582 |     3166
90.48/90.53	c 90.3s |      11 |    18636 |    17944 |    18392      0 |     1582 |     3166
93.08/93.10	c 92.8s |      11 |    19037 |    18344 |    18392      0 |     1582 |     3166
95.08/95.13	c 94.9s |      11 |    19341 |    18644 |    18392      0 |     1582 |     3166
97.08/97.15	c 96.9s |      11 |    19641 |    18944 |    18392      0 |     1582 |     3166
99.08/99.19	c 98.9s |      11 |    19949 |    19244 |    18392      0 |     1582 |     3166
101.18/101.25	c  100s |      11 |    20250 |    19544 |    18392      0 |     1582 |     3166
103.78/103.86	c  103s |      11 |    20653 |    19944 |    18392      0 |     1582 |     3166
105.78/105.86	c  105s |      11 |    20964 |    20244 |    18392      1 |     1582 |     3166
107.98/108.05	c  107s |      11 |    21360 |    20644 |    18392      1 |     1582 |     3166
110.18/110.20	c  109s |      11 |    21758 |    21044 |    18392      1 |     1582 |     3166
112.48/112.59	c  112s |      11 |    22165 |    21444 |    18392      1 |     1582 |     3166
114.78/114.87	c  114s |      11 |    22565 |    21844 |    18392      1 |     1582 |     3166
117.18/117.22	c  116s |      11 |    22967 |    22244 |    18392      1 |     1582 |     3166
119.47/119.51	c  119s |      11 |    23366 |    22644 |    18392      1 |     1582 |     3166
121.97/122.03	c  121s |      11 |    23768 |    23044 |    18392      1 |     1582 |     3166
124.28/124.39	c  124s |      11 |    24173 |    23444 |    18392      1 |     1582 |     3166
126.97/127.00	c  126s |      11 |    24575 |    23844 |    18392      1 |     1582 |     3166
129.07/129.11	c  128s |      11 |    24875 |    24144 |    18392      1 |     1582 |     3166
131.47/131.58	c  131s |      11 |    25281 |    24544 |    18392      1 |     1582 |     3166
133.77/133.80	c  133s |      11 |    25577 |    24844 |    18392      1 |     1582 |     3166
136.17/136.28	c  136s |      11 |    25985 |    25244 |    18392      1 |     1582 |     3166
138.77/138.81	c  138s |      11 |    26382 |    25644 |    18392      1 |     1582 |     3166
139.87/139.94	c  139s |      12 |    26558 |    25819 |    20232      1 |     1582 |     3166
142.47/142.52	c  142s |      12 |    26983 |    26219 |    20232      1 |     1582 |     3166
144.47/144.53	c  144s |      12 |    27283 |    26519 |    20232      1 |     1582 |     3166
146.47/146.53	c  146s |      12 |    27583 |    26819 |    20232      1 |     1582 |     3166
148.58/148.68	c  148s |      12 |    27884 |    27119 |    20232      1 |     1582 |     3166
151.17/151.27	c  151s |      12 |    28284 |    27519 |    20232      1 |     1582 |     3166
153.37/153.41	c  153s |      12 |    28591 |    27819 |    20232      1 |     1582 |     3166
155.57/155.60	c  155s |      12 |    28891 |    28119 |    20232      1 |     1582 |     3166
157.57/157.66	c  157s |      12 |    29196 |    28419 |    20232      1 |     1582 |     3166
159.67/159.73	c  159s |      12 |    29499 |    28719 |    20232      1 |     1582 |     3166
161.77/161.82	c  161s |      12 |    29796 |    29019 |    20232      1 |     1582 |     3166
163.87/163.93	c  163s |      12 |    30102 |    29319 |    20232      1 |     1582 |     3166
165.97/166.02	c  165s |      12 |    30406 |    29619 |    20232      1 |     1582 |     3166
168.07/168.17	c  167s |      12 |    30704 |    29919 |    20232      1 |     1582 |     3166
170.17/170.25	c  169s |      12 |    31007 |    30219 |    20232      1 |     1582 |     3166
172.37/172.45	c  172s |      12 |    31307 |    30519 |    20232      1 |     1582 |     3166
174.46/174.58	c  174s |      12 |    31604 |    30819 |    20232      1 |     1582 |     3166
176.56/176.69	c  176s |      12 |    31907 |    31119 |    20232      1 |     1582 |     3166
178.66/178.79	c  178s |      12 |    32207 |    31419 |    20232      1 |     1582 |     3166
180.76/180.86	c  180s |      12 |    32511 |    31719 |    20232      1 |     1582 |     3166
182.96/183.02	c  182s |      12 |    32809 |    32019 |    20232      1 |     1582 |     3166
185.07/185.15	c  184s |      12 |    33109 |    32319 |    20232      2 |     1582 |     3166
187.37/187.49	c  187s |      12 |    33508 |    32719 |    20232      2 |     1582 |     3166
189.67/189.72	c  189s |      12 |    33912 |    33119 |    20232      2 |     1582 |     3166
191.87/191.92	c  191s |      12 |    34314 |    33519 |    20232      2 |     1582 |     3166
194.07/194.11	c  193s |      12 |    34716 |    33919 |    20232      2 |     1582 |     3166
196.37/196.43	c  196s |      12 |    35115 |    34319 |    20232      2 |     1582 |     3166
198.57/198.70	c  198s |      12 |    35514 |    34719 |    20232      2 |     1582 |     3166
201.16/201.24	c  200s |      12 |    35925 |    35119 |    20232      2 |     1582 |     3166
203.66/203.73	c  203s |      12 |    36331 |    35519 |    20232      2 |     1582 |     3166
206.06/206.12	c  205s |      12 |    36728 |    35919 |    20232      2 |     1582 |     3166
208.16/208.26	c  208s |      12 |    37139 |    36319 |    20232      2 |     1582 |     3166
210.66/210.75	c  210s |      12 |    37538 |    36719 |    20232      2 |     1582 |     3166
213.16/213.25	c  212s |      12 |    37936 |    37119 |    20232      2 |     1582 |     3166
215.67/215.79	c  215s |      12 |    38341 |    37519 |    20232      2 |     1582 |     3166
218.06/218.15	c  217s |      12 |    38857 |    38019 |    20232      2 |     1582 |     3166
220.16/220.22	c  219s |      12 |    39370 |    38519 |    20232      2 |     1582 |     3166
221.46/221.58	c  221s |      13 |    39681 |    38832 |    22256      2 |     1582 |     3166
223.56/223.63	c  223s |      13 |    40111 |    39232 |    22256      2 |     1582 |     3166
225.86/225.92	c  225s |      13 |    40627 |    39732 |    22256      2 |     1582 |     3166
227.86/227.93	c  227s |      13 |    41029 |    40132 |    22256      2 |     1582 |     3166
229.97/230.08	c  229s |      13 |    41439 |    40532 |    22256      2 |     1582 |     3166
232.17/232.21	c  231s |      13 |    41849 |    40932 |    22256      2 |     1582 |     3166
234.37/234.44	c  234s |      13 |    42254 |    41332 |    22256      2 |     1582 |     3166
236.57/236.63	c  236s |      13 |    42659 |    41732 |    22256      2 |     1582 |     3166
238.77/238.86	c  238s |      13 |    43060 |    42132 |    22256      2 |     1582 |     3166
241.16/241.22	c  240s |      13 |    43467 |    42532 |    22256      2 |     1582 |     3166
243.36/243.42	c  243s |      13 |    43872 |    42932 |    22256      2 |     1582 |     3166
245.66/245.79	c  245s |      13 |    44274 |    43332 |    22256      2 |     1582 |     3166
248.06/248.18	c  247s |      13 |    44679 |    43732 |    22256      2 |     1582 |     3166
250.36/250.50	c  250s |      13 |    45085 |    44132 |    22256      2 |     1582 |     3166
252.76/252.80	c  252s |      13 |    45488 |    44532 |    22256      2 |     1582 |     3166
254.96/255.06	c  254s |      13 |    45894 |    44932 |    22256      2 |     1582 |     3166
257.26/257.30	c  257s |      13 |    46296 |    45332 |    22256      3 |     1582 |     3166
259.46/259.59	c  259s |      13 |    46795 |    45832 |    22256      3 |     1582 |     3166
261.86/261.98	c  261s |      13 |    47297 |    46332 |    22256      3 |     1582 |     3166
263.85/263.99	c  263s |      13 |    47705 |    46732 |    22256      3 |     1582 |     3166
266.45/266.58	c  266s |      13 |    48202 |    47232 |    22256      3 |     1582 |     3166
268.95/269.00	c  268s |      13 |    48716 |    47732 |    22256      3 |     1582 |     3166
271.15/271.25	c  270s |      13 |    49221 |    48232 |    22256      3 |     1582 |     3166
273.45/273.59	c  273s |      13 |    49720 |    48732 |    22256      3 |     1582 |     3166
275.85/275.98	c  275s |      13 |    50223 |    49232 |    22256      3 |     1582 |     3166
278.26/278.34	c  278s |      13 |    50723 |    49732 |    22256      3 |     1582 |     3166
280.65/280.79	c  280s |      13 |    51227 |    50232 |    22256      3 |     1582 |     3166
283.05/283.18	c  282s |      13 |    51727 |    50732 |    22256      3 |     1582 |     3166
285.45/285.58	c  285s |      13 |    52246 |    51232 |    22256      3 |     1582 |     3166
287.95/288.06	c  287s |      13 |    52754 |    51732 |    22256      3 |     1582 |     3166
290.05/290.10	c  289s |      13 |    53157 |    52132 |    22256      3 |     1582 |     3166
292.05/292.14	c  291s |      13 |    53559 |    52532 |    22256      3 |     1582 |     3166
294.15/294.20	c  293s |      13 |    53964 |    52932 |    22256      3 |     1582 |     3166
296.15/296.27	c  296s |      13 |    54366 |    53332 |    22256      3 |     1582 |     3166
298.25/298.36	c  298s |      13 |    54770 |    53732 |    22256      3 |     1582 |     3166
300.36/300.47	c  300s |      13 |    55188 |    54132 |    22256      3 |     1582 |     3166
302.56/302.64	c  302s |      13 |    55595 |    54532 |    22256      3 |     1582 |     3166
304.65/304.79	c  304s |      13 |    55993 |    54932 |    22256      3 |     1582 |     3166
306.85/306.92	c  306s |      13 |    56410 |    55332 |    22256      3 |     1582 |     3166
309.05/309.17	c  308s |      13 |    56812 |    55732 |    22256      3 |     1582 |     3166
311.15/311.27	c  311s |      13 |    57231 |    56132 |    22256      3 |     1582 |     3166
313.15/313.30	c  313s |      13 |    57771 |    56632 |    22256      3 |     1582 |     3166
316.05/316.10	c  315s |      13 |    58418 |    57232 |    22256      4 |     1582 |     3166
318.15/318.25	c  317s |      13 |    59032 |    57832 |    22256      4 |     1582 |     3166
319.85/319.99	c  319s |      14 |    59575 |    58352 |    24482      4 |     1582 |     3166
322.25/322.31	c  322s |      14 |    60345 |    59052 |    24482      4 |     1582 |     3166
324.45/324.58	c  324s |      14 |    60977 |    59652 |    24482      4 |     1582 |     3166
326.65/326.71	c  326s |      14 |    61623 |    60252 |    24482      4 |     1582 |     3166
328.64/328.73	c  328s |      14 |    62286 |    60852 |    24482      4 |     1582 |     3166
330.74/330.85	c  330s |      14 |    62933 |    61452 |    24482      4 |     1582 |     3166
332.84/332.98	c  332s |      14 |    63554 |    62052 |    24482      4 |     1582 |     3166
335.04/335.13	c  334s |      14 |    64205 |    62652 |    24482      4 |     1582 |     3166
337.04/337.14	c  336s |      14 |    64626 |    63052 |    24482      4 |     1582 |     3166
339.24/339.35	c  339s |      14 |    65028 |    63452 |    24482      4 |     1582 |     3166
341.44/341.50	c  341s |      14 |    65327 |    63752 |    24482      4 |     1582 |     3166
343.44/343.58	c  343s |      14 |    65629 |    64052 |    24482      4 |     1582 |     3166
345.84/345.97	c  345s |      14 |    66134 |    64552 |    24482      4 |     1582 |     3166
347.94/348.01	c  347s |      14 |    66651 |    65052 |    24482      4 |     1582 |     3166
350.24/350.39	c  350s |      14 |    67267 |    65652 |    24482      4 |     1582 |     3166
352.34/352.47	c  352s |      14 |    67802 |    66152 |    24482      4 |     1582 |     3166
354.54/354.63	c  354s |      14 |    68359 |    66652 |    24482      4 |     1586 |     3176
356.64/356.78	c  356s |      14 |    68890 |    67152 |    24482      4 |     1586 |     3176
358.65/358.79	c  358s |      14 |    69420 |    67652 |    24482      4 |     1586 |     3176
360.75/360.87	c  360s |      14 |    69934 |    68152 |    24482      4 |     1586 |     3176
362.84/362.94	c  362s |      14 |    70436 |    68652 |    24482      4 |     1586 |     3176
365.04/365.10	c  364s |      14 |    70945 |    69152 |    24482      4 |     1586 |     3176
367.14/367.21	c  366s |      14 |    71467 |    69652 |    24482      4 |     1586 |     3176
369.44/369.52	c  369s |      14 |    71984 |    70152 |    24482      4 |     1586 |     3176
371.54/371.66	c  371s |      14 |    72497 |    70652 |    24482      4 |     1586 |     3176
373.74/373.86	c  373s |      14 |    73007 |    71152 |    24482      4 |     1586 |     3176
376.04/376.17	c  375s |      14 |    73525 |    71652 |    24482      5 |     1586 |     3176
378.14/378.22	c  377s |      14 |    74038 |    72152 |    24482      5 |     1586 |     3176
380.24/380.32	c  380s |      14 |    74551 |    72652 |    24482      5 |     1586 |     3176
382.64/382.71	c  382s |      14 |    75196 |    73252 |    24482      5 |     1586 |     3176
385.04/385.11	c  384s |      14 |    75811 |    73852 |    24482      5 |     1586 |     3176
387.04/387.13	c  386s |      14 |    76334 |    74352 |    24482      5 |     1586 |     3176
389.13/389.28	c  389s |      14 |    76836 |    74852 |    24482      5 |     1586 |     3176
391.33/391.42	c  391s |      14 |    77359 |    75352 |    24482      5 |     1586 |     3176
393.63/393.77	c  393s |      14 |    77876 |    75852 |    24482      5 |     1586 |     3176
395.73/395.88	c  395s |      14 |    78411 |    76352 |    24482      5 |     1586 |     3176
398.24/398.32	c  398s |      14 |    78923 |    76852 |    24482      5 |     1586 |     3176
400.53/400.63	c  400s |      14 |    79439 |    77352 |    24482      5 |     1586 |     3176
402.73/402.87	c  402s |      14 |    79954 |    77852 |    24482      5 |     1586 |     3176
405.03/405.17	c  404s |      14 |    80477 |    78352 |    24482      5 |     1586 |     3176
407.43/407.51	c  407s |      14 |    81001 |    78852 |    24482      5 |     1586 |     3176
409.73/409.88	c  409s |      14 |    81541 |    79352 |    24482      5 |     1586 |     3176
412.03/412.11	c  411s |      14 |    82085 |    79852 |    24482      5 |     1586 |     3176
414.53/414.62	c  414s |      14 |    82633 |    80352 |    24482      5 |     1586 |     3176
416.94/417.01	c  416s |      14 |    83180 |    80852 |    24482      5 |     1586 |     3176
419.33/419.42	c  419s |      14 |    83724 |    81352 |    24482      5 |     1586 |     3176
421.73/421.89	c  421s |      14 |    84255 |    81852 |    24482      5 |     1586 |     3176
423.83/423.95	c  423s |      14 |    84696 |    82252 |    24482      5 |     1586 |     3176
425.83/425.98	c  425s |      14 |    85114 |    82652 |    24482      5 |     1586 |     3176
428.33/428.44	c  428s |      14 |    85661 |    83152 |    24482      5 |     1586 |     3176
430.43/430.54	c  430s |      14 |    86077 |    83552 |    24482      5 |     1586 |     3176
432.43/432.58	c  432s |      14 |    86501 |    83952 |    24482      5 |     1586 |     3176
434.73/434.82	c  434s |      14 |    86923 |    84352 |    24482      6 |     1586 |     3176
437.23/437.38	c  437s |      14 |    87457 |    84852 |    24482      6 |     1586 |     3176
439.33/439.46	c  439s |      14 |    87980 |    85352 |    24482      6 |     1586 |     3176
441.43/441.56	c  441s |      14 |    88524 |    85852 |    24482      6 |     1586 |     3176
443.53/443.66	c  443s |      14 |    89064 |    86352 |    24482      6 |     1586 |     3176
445.63/445.79	c  445s |      14 |    89614 |    86852 |    24482      6 |     1586 |     3176
447.82/447.92	c  447s |      14 |    90157 |    87352 |    26931      6 |     1586 |     3176
449.02/449.19	c  448s |      15 |    90444 |    87632 |    26931      6 |     1586 |     3176
451.42/451.55	c  451s |      15 |    90971 |    88132 |    26931      6 |     1586 |     3176
453.52/453.67	c  453s |      15 |    91492 |    88632 |    26931      6 |     1586 |     3176
455.72/455.87	c  455s |      15 |    91998 |    89132 |    26931      6 |     1586 |     3176
457.92/458.09	c  457s |      15 |    92513 |    89632 |    26931      6 |     1586 |     3176
460.22/460.33	c  460s |      15 |    93018 |    90132 |    26931      6 |     1586 |     3176
462.52/462.65	c  462s |      15 |    93524 |    90632 |    26931      6 |     1586 |     3176
464.82/464.97	c  464s |      15 |    94043 |    91132 |    26931      6 |     1586 |     3176
467.22/467.36	c  467s |      15 |    94545 |    91632 |    26931      6 |     1586 |     3176
469.52/469.69	c  469s |      15 |    94949 |    92032 |    26931      6 |     1586 |     3176
471.93/472.06	c  471s |      15 |    95448 |    92532 |    26931      6 |     1586 |     3176
474.22/474.35	c  474s |      15 |    95951 |    93032 |    26931      6 |     1586 |     3176
476.62/476.70	c  476s |      15 |    96451 |    93532 |    26931      6 |     1586 |     3176
478.92/479.00	c  478s |      15 |    96957 |    94032 |    26931      6 |     1586 |     3176
481.32/481.44	c  481s |      15 |    97456 |    94532 |    26931      6 |     1586 |     3176
483.82/483.91	c  483s |      15 |    97959 |    95032 |    26931      6 |     1586 |     3176
486.22/486.30	c  486s |      15 |    98467 |    95532 |    26931      6 |     1586 |     3176
488.42/488.53	c  488s |      15 |    98874 |    95932 |    26931      6 |     1586 |     3176
490.82/491.00	c  490s |      15 |    99374 |    96432 |    26931      6 |     1586 |     3176
492.92/493.05	c  492s |      15 |    99780 |    96832 |    26931      6 |     1586 |     3176
495.12/495.23	c  494s |      15 |   100192 |    97232 |    26931      6 |     1586 |     3176
497.32/497.45	c  497s |      15 |   100595 |    97632 |    26931      6 |     1586 |     3176
499.52/499.64	c  499s |      15 |   100998 |    98032 |    26931      6 |     1586 |     3176
501.81/501.93	c  501s |      15 |   101405 |    98432 |    26931      6 |     1586 |     3176
504.11/504.22	c  503s |      15 |   101807 |    98832 |    26931      6 |     1586 |     3176
506.31/506.45	c  506s |      15 |   102209 |    99232 |    26931      6 |     1586 |     3176
508.51/508.61	c  508s |      15 |   102611 |    99632 |    26931      6 |     1586 |     3176
510.71/510.86	c  510s |      15 |   103016 |   100032 |    26931      7 |     1586 |     3176
512.81/512.93	c  512s |      15 |   103519 |   100532 |    26931      7 |     1586 |     3176
514.91/515.00	c  514s |      15 |   104020 |   101032 |    26931      7 |     1586 |     3176
516.92/517.09	c  516s |      15 |   104524 |   101532 |    26931      7 |     1586 |     3176
519.12/519.23	c  518s |      15 |   105028 |   102032 |    26931      7 |     1586 |     3176
521.32/521.43	c  521s |      15 |   105536 |   102532 |    26931      7 |     1586 |     3176
523.41/523.53	c  523s |      15 |   106040 |   103032 |    26931      7 |     1586 |     3176
525.51/525.67	c  525s |      15 |   106542 |   103532 |    26931      7 |     1586 |     3176
527.81/527.96	c  527s |      15 |   107047 |   104032 |    26931      7 |     1586 |     3176
529.91/530.05	c  529s |      15 |   107549 |   104532 |    26931      7 |     1586 |     3176
532.11/532.21	c  531s |      15 |   108056 |   105032 |    26931      7 |     1586 |     3176
534.31/534.47	c  534s |      15 |   108568 |   105532 |    26931      7 |     1586 |     3176
536.72/536.84	c  536s |      15 |   109081 |   106032 |    26931      7 |     1586 |     3176
539.21/539.30	c  539s |      15 |   109587 |   106532 |    26931      7 |     1586 |     3176
541.31/541.42	c  541s |      15 |   109986 |   106932 |    26931      7 |     1586 |     3176
543.42/543.55	c  543s |      15 |   110287 |   107232 |    26931      7 |     1586 |     3176
545.81/545.93	c  545s |      15 |   110589 |   107532 |    26931      7 |     1586 |     3176
548.11/548.23	c  547s |      15 |   110886 |   107832 |    26931      7 |     1586 |     3176
550.11/550.26	c  549s |      15 |   111189 |   108132 |    26931      7 |     1586 |     3176
552.41/552.59	c  552s |      15 |   111590 |   108532 |    26931      7 |     1586 |     3176
554.81/554.91	c  554s |      15 |   112000 |   108932 |    26931      7 |     1586 |     3176
557.21/557.37	c  557s |      15 |   112503 |   109432 |    26931      7 |     1586 |     3176
559.60/559.74	c  559s |      15 |   113006 |   109932 |    26931      7 |     1586 |     3176
562.11/562.24	c  561s |      15 |   113504 |   110432 |    26931      7 |     1586 |     3176
564.31/564.48	c  564s |      15 |   113908 |   110832 |    26931      7 |     1586 |     3176
566.51/566.61	c  566s |      15 |   114311 |   111232 |    26931      7 |     1586 |     3176
568.61/568.79	c  568s |      15 |   114721 |   111632 |    26931      7 |     1586 |     3176
570.70/570.88	c  570s |      15 |   115125 |   112032 |    26931      7 |     1586 |     3176
572.80/572.96	c  572s |      15 |   115525 |   112432 |    26931      7 |     1586 |     3176
575.00/575.10	c  574s |      15 |   115933 |   112832 |    26931      7 |     1586 |     3176
577.10/577.22	c  576s |      15 |   116343 |   113232 |    26931      7 |     1586 |     3176
579.20/579.38	c  579s |      15 |   116758 |   113632 |    26931      7 |     1586 |     3176
581.50/581.61	c  581s |      15 |   117160 |   114032 |    26931      7 |     1586 |     3176
583.70/583.86	c  583s |      15 |   117574 |   114432 |    26931      8 |     1586 |     3176
585.80/585.98	c  585s |      15 |   118090 |   114932 |    26931      8 |     1586 |     3176
588.20/588.30	c  588s |      15 |   118695 |   115532 |    26931      8 |     1586 |     3176
590.50/590.60	c  590s |      15 |   119304 |   116132 |    26931      8 |     1586 |     3176
592.70/592.83	c  592s |      15 |   119810 |   116632 |    26931      8 |     1586 |     3176
595.10/595.21	c  594s |      15 |   120415 |   117232 |    26931      8 |     1586 |     3176
597.50/597.61	c  597s |      15 |   121016 |   117832 |    26931      8 |     1586 |     3176
599.50/599.66	c  599s |      15 |   121520 |   118332 |    26931      8 |     1586 |     3176
601.70/601.87	c  601s |      15 |   122025 |   118832 |    26931      8 |     1586 |     3176
604.00/604.17	c  603s |      15 |   122528 |   119332 |    26931      8 |     1586 |     3176
606.29/606.44	c  606s |      15 |   123042 |   119832 |    26931      8 |     1586 |     3176
608.59/608.75	c  608s |      15 |   123551 |   120332 |    26931      8 |     1586 |     3176
611.00/611.19	c  610s |      15 |   124053 |   120832 |    26931      8 |     1586 |     3176
613.50/613.64	c  613s |      15 |   124558 |   121332 |    26931      8 |     1586 |     3176
615.80/615.97	c  615s |      15 |   125069 |   121832 |    26931      8 |     1586 |     3176
617.80/617.99	c  617s |      15 |   125474 |   122232 |    26931      8 |     1586 |     3176
620.30/620.40	c  620s |      15 |   125983 |   122732 |    26931      8 |     1586 |     3176
622.79/622.92	c  622s |      15 |   126485 |   123232 |    26931      8 |     1586 |     3176
625.19/625.35	c  625s |      15 |   126990 |   123732 |    26931      8 |     1586 |     3176
627.49/627.66	c  627s |      15 |   127498 |   124232 |    26931      8 |     1586 |     3176
629.89/630.05	c  629s |      15 |   127995 |   124732 |    26931      8 |     1586 |     3176
631.99/632.10	c  631s |      15 |   128403 |   125132 |    26931      8 |     1586 |     3176
634.49/634.60	c  634s |      15 |   128912 |   125632 |    26931      8 |     1586 |     3176
636.49/636.68	c  636s |      15 |   129311 |   126032 |    26931      8 |     1586 |     3176
638.69/638.81	c  638s |      15 |   129715 |   126432 |    26931      8 |     1586 |     3176
640.69/640.89	c  640s |      15 |   130115 |   126832 |    26931      8 |     1586 |     3176
642.89/643.05	c  642s |      15 |   130517 |   127232 |    26931      8 |     1586 |     3176
644.99/645.16	c  644s |      15 |   130915 |   127632 |    26931      8 |     1586 |     3176
647.90/648.07	c  647s |      15 |   131327 |   128032 |    26931      8 |     1586 |     3176
649.90/650.09	c  649s |      15 |   131733 |   128432 |    26931      8 |     1586 |     3176
652.10/652.20	c  651s |      15 |   132133 |   128832 |    26931      9 |     1586 |     3176
654.40/654.57	c  654s |      15 |   132650 |   129332 |    26931      9 |     1586 |     3176
656.89/657.07	c  656s |      15 |   133250 |   129932 |    26931      9 |     1586 |     3176
659.09/659.23	c  658s |      15 |   133758 |   130432 |    26931      9 |     1586 |     3176
661.10/661.28	c  661s |      15 |   134259 |   130932 |    29625      9 |     1586 |     3176
663.20/663.34	c  663s |      15 |   134777 |   131432 |    29625      9 |     1586 |     3176
663.69/663.89	c  663s |      16 |   134904 |   131552 |    29625      9 |     1586 |     3176
665.89/666.06	c  665s |      16 |   135455 |   132052 |    29625      9 |     1586 |     3176
667.99/668.12	c  667s |      16 |   136007 |   132552 |    29625      9 |     1586 |     3176
669.99/670.16	c  669s |      16 |   136550 |   133052 |    29625      9 |     1586 |     3176
672.00/672.17	c  671s |      16 |   137087 |   133552 |    29625      9 |     1586 |     3176
674.09/674.28	c  674s |      16 |   137645 |   134052 |    29625      9 |     1586 |     3176
676.29/676.50	c  676s |      16 |   138180 |   134552 |    29625      9 |     1586 |     3176
678.39/678.53	c  678s |      16 |   138720 |   135052 |    29625      9 |     1586 |     3176
680.49/680.60	c  680s |      16 |   139259 |   135552 |    29625      9 |     1586 |     3176
682.59/682.79	c  682s |      16 |   139794 |   136052 |    29625      9 |     1586 |     3176
684.79/684.98	c  684s |      16 |   140324 |   136552 |    29625      9 |     1586 |     3176
687.09/687.25	c  686s |      16 |   140874 |   137052 |    29625      9 |     1586 |     3176
689.39/689.51	c  689s |      16 |   141407 |   137552 |    29625      9 |     1586 |     3176
691.69/691.80	c  691s |      16 |   141938 |   138052 |    29625      9 |     1586 |     3176
694.00/694.11	c  693s |      16 |   142458 |   138552 |    29625      9 |     1586 |     3176
696.30/696.40	c  696s |      16 |   142982 |   139052 |    29625      9 |     1586 |     3176
698.49/698.69	c  698s |      16 |   143532 |   139552 |    29625      9 |     1586 |     3176
700.89/701.09	c  700s |      16 |   144084 |   140052 |    29625      9 |     1586 |     3176
703.29/703.44	c  703s |      16 |   144616 |   140552 |    29625      9 |     1586 |     3176
705.69/705.88	c  705s |      16 |   145135 |   141052 |    29625      9 |     1586 |     3176
707.99/708.16	c  707s |      16 |   145675 |   141552 |    29625      9 |     1586 |     3176
710.29/710.49	c  710s |      16 |   146222 |   142052 |    29625      9 |     1586 |     3176
712.79/712.97	c  712s |      16 |   146755 |   142552 |    29625      9 |     1586 |     3176
714.79/715.00	c  714s |      16 |   147165 |   142952 |    29625      9 |     1586 |     3176
716.89/717.02	c  716s |      16 |   147598 |   143352 |    29625      9 |     1586 |     3176
718.98/719.13	c  718s |      16 |   148027 |   143752 |    29625      9 |     1586 |     3176
720.98/721.14	c  720s |      16 |   148463 |   144152 |    29625      9 |     1586 |     3176
722.98/723.15	c  722s |      16 |   148896 |   144552 |    29625      9 |     1586 |     3176
725.08/725.26	c  725s |      16 |   149316 |   144952 |    29625      9 |     1586 |     3176
727.18/727.32	c  727s |      16 |   149758 |   145352 |    29625      9 |     1586 |     3176
729.48/729.67	c  729s |      16 |   150175 |   145752 |    29625     10 |     1586 |     3176
731.58/731.76	c  731s |      16 |   150740 |   146252 |    29625     10 |     1586 |     3176
733.69/733.81	c  733s |      16 |   151277 |   146752 |    29625     10 |     1586 |     3176
735.68/735.85	c  735s |      16 |   151844 |   147252 |    29625     10 |     1586 |     3176
737.68/737.87	c  737s |      16 |   152374 |   147752 |    29625     10 |     1586 |     3176
739.68/739.89	c  739s |      16 |   152924 |   148252 |    29625     10 |     1586 |     3176
742.08/742.26	c  742s |      16 |   153568 |   148852 |    29625     10 |     1586 |     3176
744.48/744.65	c  744s |      16 |   154212 |   149452 |    29625     10 |     1586 |     3176
746.48/746.69	c  746s |      16 |   154754 |   149952 |    29625     10 |     1586 |     3176
748.68/748.81	c  748s |      16 |   155312 |   150452 |    29625     10 |     1586 |     3176
750.88/751.00	c  750s |      16 |   155841 |   150952 |    29625     10 |     1586 |     3176
752.98/753.11	c  752s |      16 |   156374 |   151452 |    29625     10 |     1586 |     3176
755.08/755.28	c  755s |      16 |   156917 |   151952 |    29625     10 |     1586 |     3176
757.38/757.55	c  757s |      16 |   157451 |   152452 |    29625     10 |     1586 |     3176
759.68/759.85	c  759s |      16 |   157976 |   152952 |    29625     10 |     1586 |     3176
761.88/762.08	c  761s |      16 |   158517 |   153452 |    29625     10 |     1586 |     3176
764.38/764.54	c  764s |      16 |   159063 |   153952 |    29625     10 |     1586 |     3176
766.68/766.85	c  766s |      16 |   159592 |   154452 |    29625     10 |     1586 |     3176
768.98/769.12	c  768s |      16 |   160113 |   154952 |    29625     10 |     1586 |     3176
771.37/771.53	c  771s |      16 |   160671 |   155452 |    29625     10 |     1586 |     3176
773.57/773.78	c  773s |      16 |   161209 |   155952 |    29625     10 |     1586 |     3176
775.87/776.09	c  775s |      16 |   161747 |   156452 |    29625     10 |     1586 |     3176
778.37/778.56	c  778s |      16 |   162281 |   156952 |    29625     10 |     1586 |     3176
780.77/780.90	c  780s |      16 |   162805 |   157452 |    29625     10 |     1586 |     3176
783.08/783.26	c  783s |      16 |   163364 |   157952 |    29625     10 |     1586 |     3176
785.57/785.73	c  785s |      16 |   163897 |   158452 |    29625     10 |     1586 |     3176
787.97/788.11	c  787s |      16 |   164421 |   158952 |    29625     10 |     1586 |     3176
789.97/790.15	c  789s |      16 |   164846 |   159352 |    29625     10 |     1586 |     3176
792.47/792.65	c  792s |      16 |   165395 |   159852 |    29625     10 |     1586 |     3176
794.47/794.66	c  794s |      16 |   165813 |   160252 |    29625     10 |     1586 |     3176
796.97/797.10	c  796s |      16 |   166374 |   160752 |    29625     10 |     1586 |     3176
798.97/799.17	c  798s |      16 |   166806 |   161152 |    29625     10 |     1586 |     3176
801.27/801.50	c  801s |      16 |   167349 |   161652 |    29625     11 |     1586 |     3176
803.47/803.65	c  803s |      16 |   167885 |   162152 |    29625     11 |     1586 |     3176
805.57/805.72	c  805s |      16 |   168432 |   162652 |    29625     11 |     1586 |     3176
807.57/807.77	c  807s |      16 |   168962 |   163152 |    29625     11 |     1586 |     3176
809.77/809.92	c  809s |      16 |   169496 |   163652 |    29625     11 |     1586 |     3176
811.97/812.14	c  811s |      16 |   170036 |   164152 |    29625     11 |     1586 |     3176
813.97/814.18	c  813s |      16 |   170575 |   164652 |    29625     11 |     1586 |     3176
816.26/816.40	c  816s |      16 |   170901 |   164952 |    29625     11 |     1586 |     3176
818.27/818.50	c  818s |      16 |   171447 |   165452 |    29625     11 |     1586 |     3176
820.47/820.62	c  820s |      16 |   171978 |   165952 |    29625     11 |     1586 |     3176
822.67/822.86	c  822s |      16 |   172535 |   166452 |    29625     11 |     1586 |     3176
824.87/825.07	c  824s |      16 |   173076 |   166952 |    29625     11 |     1586 |     3176
827.17/827.39	c  827s |      16 |   173625 |   167452 |    29625     11 |     1586 |     3176
829.46/829.60	c  829s |      16 |   174157 |   167952 |    29625     11 |     1586 |     3176
831.76/831.91	c  831s |      16 |   174693 |   168452 |    29625     11 |     1586 |     3176
833.96/834.12	c  833s |      16 |   175228 |   168952 |    29625     11 |     1586 |     3176
836.26/836.41	c  836s |      16 |   175761 |   169452 |    29625     11 |     1586 |     3176
838.56/838.75	c  838s |      16 |   176306 |   169952 |    29625     11 |     1586 |     3176
840.96/841.10	c  840s |      16 |   176836 |   170452 |    29625     11 |     1586 |     3176
843.26/843.48	c  843s |      16 |   177377 |   170952 |    29625     11 |     1586 |     3176
845.66/845.81	c  845s |      16 |   177932 |   171452 |    29625     11 |     1586 |     3176
848.07/848.22	c  847s |      16 |   178478 |   171952 |    29625     11 |     1586 |     3176
850.36/850.55	c  850s |      16 |   179022 |   172452 |    29625     11 |     1586 |     3176
852.86/853.03	c  852s |      16 |   179551 |   172952 |    29625     11 |     1586 |     3176
855.26/855.49	c  855s |      16 |   180088 |   173452 |    29625     11 |     1586 |     3176
857.76/858.00	c  857s |      16 |   180618 |   173952 |    29625     11 |     1586 |     3176
859.86/860.05	c  859s |      16 |   181037 |   174352 |    29625     11 |     1586 |     3176
862.36/862.54	c  862s |      16 |   181567 |   174852 |    29625     11 |     1586 |     3176
864.46/864.65	c  864s |      16 |   182000 |   175252 |    29625     11 |     1586 |     3176
866.56/866.77	c  866s |      16 |   182421 |   175652 |    29625     11 |     1586 |     3176
868.66/868.83	c  868s |      16 |   182858 |   176052 |    29625     11 |     1586 |     3176
870.66/870.88	c  870s |      16 |   183279 |   176452 |    29625     11 |     1586 |     3176
872.76/872.93	c  872s |      16 |   183710 |   176852 |    29625     11 |     1586 |     3176
875.16/875.31	c  875s |      16 |   184243 |   177352 |    29625     12 |     1586 |     3176
877.15/877.34	c  877s |      16 |   184788 |   177852 |    29625     12 |     1586 |     3176
879.45/879.68	c  879s |      16 |   185408 |   178452 |    29625     12 |     1586 |     3176
881.55/881.78	c  881s |      16 |   185951 |   178952 |    29625     12 |     1586 |     3176
883.65/883.83	c  883s |      16 |   186472 |   179452 |    29625     12 |     1586 |     3176
885.75/885.92	c  885s |      16 |   187004 |   179952 |    29625     12 |     1586 |     3176
887.85/888.09	c  887s |      16 |   187538 |   180452 |    29625     12 |     1586 |     3176
889.95/890.18	c  889s |      16 |   188072 |   180952 |    29625     12 |     1586 |     3176
892.15/892.36	c  892s |      16 |   188600 |   181452 |    29625     12 |     1586 |     3176
894.45/894.68	c  894s |      16 |   189152 |   181952 |    29625     12 |     1586 |     3176
896.75/896.95	c  896s |      16 |   189670 |   182452 |    29625     12 |     1586 |     3176
899.15/899.32	c  899s |      16 |   190203 |   182952 |    29625     12 |     1586 |     3176
901.45/901.64	c  901s |      16 |   190748 |   183452 |    29625     12 |     1586 |     3176
903.85/904.07	c  903s |      16 |   191281 |   183952 |    29625     12 |     1586 |     3176
906.36/906.52	c  906s |      16 |   191802 |   184452 |    29625     12 |     1586 |     3176
908.75/908.93	c  908s |      16 |   192328 |   184952 |    29625     12 |     1586 |     3176
911.15/911.31	c  911s |      16 |   192863 |   185452 |    29625     12 |     1586 |     3176
913.55/913.72	c  913s |      16 |   193406 |   185952 |    29625     12 |     1586 |     3176
915.55/915.77	c  915s |      16 |   193818 |   186352 |    29625     12 |     1586 |     3176
921.66/921.82	c  921s |      16 |   194340 |   186852 |    29625     12 |     1586 |     3176
923.86/924.01	c  923s |      16 |   194884 |   187352 |    29625     12 |     1586 |     3176
926.25/926.41	c  926s |      16 |   195410 |   187852 |    29625     12 |     1586 |     3176
928.55/928.70	c  928s |      16 |   195948 |   188352 |    29625     12 |     1586 |     3176
930.85/931.03	c  930s |      16 |   196500 |   188852 |    29625     12 |     1586 |     3176
933.25/933.41	c  933s |      16 |   197040 |   189352 |    29625     12 |     1586 |     3176
935.65/935.85	c  935s |      16 |   197568 |   189852 |    29625     12 |     1586 |     3176
938.05/938.25	c  937s |      16 |   198104 |   190352 |    29625     12 |     1586 |     3176
940.46/940.69	c  940s |      16 |   198645 |   190852 |    29625     12 |     1586 |     3176
942.85/943.09	c  942s |      16 |   199179 |   191352 |    29625     12 |     1586 |     3176
944.95/945.15	c  944s |      16 |   199602 |   191752 |    29625     12 |     1586 |     3176
947.45/947.60	c  947s |      16 |   200146 |   192252 |    29625     12 |     1586 |     3176
949.75/949.96	c  949s |      16 |   200559 |   192652 |    29625     13 |     1586 |     3176
951.85/952.09	c  951s |      16 |   201094 |   193152 |    29625     13 |     1586 |     3176
953.95/954.13	c  953s |      16 |   201624 |   193652 |    29625     13 |     1586 |     3176
956.05/956.28	c  956s |      16 |   202145 |   194152 |    29625     13 |     1586 |     3176
958.15/958.36	c  958s |      16 |   202661 |   194652 |    29625     13 |     1586 |     3176
960.35/960.50	c  960s |      16 |   203179 |   195152 |    29625     13 |     1586 |     3176
962.45/962.66	c  962s |      16 |   203700 |   195652 |    29625     13 |     1586 |     3176
964.65/964.80	c  964s |      16 |   204228 |   196152 |    32588     13 |     1586 |     3176
966.75/966.93	c  966s |      16 |   204739 |   196652 |    32588     13 |     1586 |     3176
968.85/969.02	c  968s |      16 |   205265 |   197152 |    32588     13 |     1586 |     3176
970.05/970.25	c  969s |      17 |   205554 |   197432 |    32588     13 |     1586 |     3176
972.35/972.58	c  972s |      17 |   206143 |   197932 |    32588     13 |     1586 |     3176
974.74/974.94	c  974s |      17 |   206677 |   198432 |    32588     13 |     1586 |     3176
976.94/977.17	c  976s |      17 |   207260 |   198932 |    32588     13 |     1586 |     3176
979.24/979.49	c  979s |      17 |   207813 |   199432 |    32588     13 |     1586 |     3176
981.64/981.87	c  981s |      17 |   208370 |   199932 |    32588     13 |     1586 |     3176
984.04/984.22	c  983s |      17 |   208907 |   200432 |    32588     13 |     1586 |     3176
986.34/986.59	c  986s |      17 |   209465 |   200932 |    32588     13 |     1586 |     3176
988.75/988.91	c  988s |      17 |   209996 |   201432 |    32588     13 |     1586 |     3176
991.05/991.24	c  990s |      17 |   210550 |   201932 |    32588     13 |     1586 |     3176
993.44/993.64	c  993s |      17 |   211061 |   202432 |    32588     13 |     1586 |     3176
995.74/995.98	c  995s |      17 |   211617 |   202932 |    32588     13 |     1586 |     3176
998.14/998.36	c  998s |      17 |   212125 |   203432 |    32588     13 |     1586 |     3176
1000.64/1000.81	c 1000s |      17 |   212646 |   203932 |    32588     13 |     1586 |     3176
1003.05/1003.25	c 1002s |      17 |   213171 |   204432 |    32588     13 |     1586 |     3176
1005.04/1005.28	c 1005s |      17 |   213588 |   204832 |    32588     13 |     1586 |     3176
1007.14/1007.38	c 1007s |      17 |   213993 |   205232 |    32588     13 |     1586 |     3176
1009.65/1009.88	c 1009s |      17 |   214518 |   205732 |    32588     13 |     1586 |     3176
1011.64/1011.88	c 1011s |      17 |   214925 |   206132 |    32588     13 |     1586 |     3176
1013.74/1013.94	c 1013s |      17 |   215331 |   206532 |    32588     13 |     1586 |     3176
1016.04/1016.23	c 1015s |      17 |   215770 |   206932 |    32588     13 |     1586 |     3176
1018.44/1018.64	c 1018s |      17 |   216293 |   207432 |    32588     13 |     1586 |     3176
1020.84/1021.06	c 1020s |      17 |   216835 |   207932 |    32588     13 |     1586 |     3176
1023.34/1023.54	c 1023s |      17 |   217380 |   208432 |    32588     13 |     1586 |     3176
1025.34/1025.56	c 1025s |      17 |   217807 |   208832 |    32588     13 |     1586 |     3176
1027.83/1028.09	c 1027s |      17 |   218359 |   209332 |    32588     13 |     1586 |     3176
1029.93/1030.12	c 1029s |      17 |   218792 |   209732 |    32588     13 |     1586 |     3176
1031.93/1032.15	c 1031s |      17 |   219221 |   210132 |    32588     13 |     1586 |     3176
1034.43/1034.68	c 1034s |      17 |   219771 |   210632 |    32588     13 |     1586 |     3176
1036.53/1036.71	c 1036s |      17 |   220182 |   211032 |    32588     13 |     1586 |     3176
1038.83/1039.03	c 1038s |      17 |   220720 |   211532 |    32588     14 |     1586 |     3176
1040.93/1041.14	c 1040s |      17 |   221250 |   212032 |    32588     14 |     1586 |     3176
1043.13/1043.36	c 1043s |      17 |   221667 |   212432 |    32588     14 |     1586 |     3176
1045.13/1045.37	c 1045s |      17 |   222219 |   212932 |    32588     14 |     1586 |     3176
1047.23/1047.40	c 1047s |      17 |   222761 |   213432 |    32588     14 |     1586 |     3176
1049.34/1049.50	c 1049s |      17 |   223286 |   213932 |    32588     14 |     1586 |     3176
1051.33/1051.57	c 1051s |      17 |   223827 |   214432 |    32588     14 |     1586 |     3176
1053.74/1053.91	c 1053s |      17 |   224472 |   215032 |    32588     14 |     1586 |     3176
1055.73/1055.97	c 1055s |      17 |   225013 |   215532 |    32588     14 |     1586 |     3176
1057.83/1058.03	c 1057s |      17 |   225537 |   216032 |    32588     14 |     1586 |     3176
1059.93/1060.12	c 1059s |      17 |   226072 |   216532 |    32588     14 |     1586 |     3176
1061.93/1062.18	c 1061s |      17 |   226609 |   217032 |    32588     14 |     1586 |     3176
1063.93/1064.19	c 1063s |      17 |   227137 |   217532 |    32588     14 |     1586 |     3176
1066.03/1066.29	c 1066s |      17 |   227695 |   218032 |    32588     14 |     1586 |     3176
1068.23/1068.40	c 1068s |      17 |   228235 |   218532 |    32588     14 |     1586 |     3176
1070.33/1070.52	c 1070s |      17 |   228762 |   219032 |    32588     14 |     1586 |     3176
1072.53/1072.71	c 1072s |      17 |   229285 |   219532 |    32588     14 |     1586 |     3176
1074.73/1074.95	c 1074s |      17 |   229830 |   220032 |    32588     14 |     1586 |     3176
1076.93/1077.15	c 1076s |      17 |   230351 |   220532 |    32588     14 |     1586 |     3176
1079.13/1079.40	c 1079s |      17 |   230890 |   221032 |    32588     14 |     1586 |     3176
1081.43/1081.65	c 1081s |      17 |   231419 |   221532 |    32588     14 |     1586 |     3176
1083.73/1083.92	c 1083s |      17 |   231935 |   222032 |    32588     14 |     1586 |     3176
1086.03/1086.25	c 1085s |      17 |   232486 |   222532 |    32588     14 |     1586 |     3176
1090.92/1091.12	c 1090s |      17 |   233026 |   223032 |    32588     14 |     1586 |     3176
1093.23/1093.46	c 1093s |      17 |   233550 |   223532 |    32588     14 |     1586 |     3176
1095.53/1095.78	c 1095s |      17 |   234090 |   224032 |    32588     14 |     1586 |     3176
1097.83/1098.01	c 1097s |      17 |   234640 |   224532 |    32588     14 |     1586 |     3176
1100.23/1100.41	c 1100s |      17 |   235175 |   225032 |    32588     14 |     1586 |     3176
1102.63/1102.80	c 1102s |      17 |   235707 |   225532 |    32588     14 |     1586 |     3176
1104.93/1105.11	c 1104s |      17 |   236226 |   226032 |    32588     14 |     1586 |     3176
1107.23/1107.40	c 1107s |      17 |   236753 |   226532 |    32588     14 |     1586 |     3176
1109.53/1109.78	c 1109s |      17 |   237283 |   227032 |    32588     14 |     1586 |     3176
1112.03/1112.27	c 1112s |      17 |   237811 |   227532 |    32588     14 |     1586 |     3176
1114.13/1114.35	c 1114s |      17 |   238221 |   227932 |    32588     14 |     1586 |     3176
1116.62/1116.80	c 1116s |      17 |   238660 |   228332 |    32588     15 |     1586 |     3176
1118.82/1119.09	c 1118s |      17 |   238981 |   228632 |    32588     15 |     1586 |     3176
1121.12/1121.32	c 1121s |      17 |   239512 |   229132 |    32588     15 |     1586 |     3176
1123.12/1123.37	c 1123s |      17 |   240042 |   229632 |    32588     15 |     1586 |     3176
1125.42/1125.60	c 1125s |      17 |   240564 |   230132 |    32588     15 |     1586 |     3176
1127.43/1127.66	c 1127s |      17 |   241091 |   230632 |    32588     15 |     1586 |     3176
1129.72/1129.95	c 1129s |      17 |   241623 |   231132 |    32588     15 |     1586 |     3176
1131.83/1132.07	c 1131s |      17 |   242137 |   231632 |    32588     15 |     1586 |     3176
1133.93/1134.18	c 1133s |      17 |   242663 |   232132 |    32588     15 |     1586 |     3176
1136.13/1136.34	c 1136s |      17 |   243185 |   232632 |    32588     15 |     1586 |     3176
1138.33/1138.57	c 1138s |      17 |   243710 |   233132 |    32588     15 |     1586 |     3176
1140.63/1140.86	c 1140s |      17 |   244232 |   233632 |    32588     15 |     1586 |     3176
1143.02/1143.20	c 1142s |      17 |   244797 |   234132 |    32588     15 |     1586 |     3176
1145.32/1145.52	c 1145s |      17 |   245314 |   234632 |    32588     15 |     1586 |     3176
1147.52/1147.78	c 1147s |      17 |   245853 |   235132 |    32588     15 |     1586 |     3176
1149.82/1150.04	c 1149s |      17 |   246375 |   235632 |    32588     15 |     1586 |     3176
1152.12/1152.33	c 1152s |      17 |   246906 |   236132 |    32588     15 |     1586 |     3176
1154.52/1154.70	c 1154s |      17 |   247434 |   236632 |    32588     15 |     1586 |     3176
1156.82/1157.06	c 1156s |      17 |   247952 |   237132 |    32588     15 |     1586 |     3176
1158.82/1159.07	c 1158s |      17 |   248379 |   237532 |    32588     15 |     1586 |     3176
1161.22/1161.47	c 1161s |      17 |   248897 |   238032 |    32588     15 |     1586 |     3176
1163.72/1163.91	c 1163s |      17 |   249437 |   238532 |    32588     15 |     1586 |     3176
1165.71/1165.97	c 1165s |      17 |   249857 |   238932 |    32588     15 |     1586 |     3176
1168.21/1168.47	c 1168s |      17 |   250394 |   239432 |    32588     15 |     1586 |     3176
1170.71/1170.99	c 1170s |      17 |   250913 |   239932 |    32588     15 |     1586 |     3176
1172.81/1173.07	c 1172s |      17 |   251326 |   240332 |    32588     15 |     1586 |     3176
1174.91/1175.19	c 1174s |      17 |   251741 |   240732 |    32588     15 |     1586 |     3176
1177.01/1177.21	c 1176s |      17 |   252167 |   241132 |    32588     15 |     1586 |     3176
1179.51/1179.75	c 1179s |      17 |   252685 |   241632 |    32588     15 |     1586 |     3176
1181.61/1181.89	c 1181s |      17 |   253103 |   242032 |    32588     15 |     1586 |     3176
1183.81/1184.00	c 1183s |      17 |   253514 |   242432 |    32588     15 |     1586 |     3176
1185.91/1186.18	c 1185s |      17 |   253932 |   242832 |    32588     15 |     1586 |     3176
1188.21/1188.42	c 1188s |      17 |   254350 |   243232 |    32588     15 |     1586 |     3176
1190.31/1190.54	c 1190s |      17 |   254778 |   243632 |    32588     15 |     1586 |     3176
1192.51/1192.75	c 1192s |      17 |   255193 |   244032 |    32588     15 |     1586 |     3176
1194.61/1194.84	c 1194s |      17 |   255618 |   244432 |    32588     15 |     1586 |     3176
1196.81/1197.02	c 1196s |      17 |   256055 |   244832 |    32588     15 |     1586 |     3176
1199.01/1199.23	c 1198s |      17 |   256461 |   245232 |    32588     15 |     1586 |     3176
1201.12/1201.38	c 1201s |      17 |   256877 |   245632 |    32588     16 |     1586 |     3176
1204.11/1204.32	c 1204s |      17 |   257096 |   245832 |    32588     16 |     1586 |     3176
1206.11/1206.33	c 1206s |      17 |   257642 |   246332 |    32588     16 |     1586 |     3176
1208.11/1208.36	c 1208s |      17 |   258178 |   246832 |    32588     16 |     1586 |     3176
1210.11/1210.38	c 1210s |      17 |   258625 |   247232 |    32588     16 |     1586 |     3176
1212.21/1212.41	c 1212s |      17 |   259157 |   247732 |    32588     16 |     1586 |     3176
1214.21/1214.48	c 1214s |      17 |   259709 |   248232 |    32588     16 |     1586 |     3176
1216.31/1216.57	c 1216s |      17 |   260234 |   248732 |    32588     16 |     1586 |     3176
1218.51/1218.70	c 1218s |      17 |   260763 |   249232 |    32588     16 |     1586 |     3176
1220.61/1220.85	c 1220s |      17 |   261292 |   249732 |    32588     16 |     1586 |     3176
1223.01/1223.27	c 1223s |      17 |   261827 |   250232 |    32588     16 |     1586 |     3176
1225.21/1225.47	c 1225s |      17 |   262374 |   250732 |    32588     16 |     1586 |     3176
1227.41/1227.66	c 1227s |      17 |   262914 |   251232 |    32588     16 |     1586 |     3176
1229.71/1229.90	c 1229s |      17 |   263444 |   251732 |    32588     16 |     1586 |     3176
1232.00/1232.21	c 1231s |      17 |   263975 |   252232 |    32588     16 |     1586 |     3176
1234.30/1234.50	c 1234s |      17 |   264519 |   252732 |    32588     16 |     1586 |     3176
1236.60/1236.83	c 1236s |      17 |   265054 |   253232 |    32588     16 |     1586 |     3176
1238.90/1239.18	c 1238s |      17 |   265584 |   253732 |    32588     16 |     1586 |     3176
1241.30/1241.56	c 1241s |      17 |   266113 |   254232 |    32588     16 |     1586 |     3176
1243.70/1243.96	c 1243s |      17 |   266637 |   254732 |    32588     16 |     1586 |     3176
1246.70/1246.95	c 1246s |      17 |   267158 |   255232 |    32588     16 |     1586 |     3176
1248.80/1249.04	c 1248s |      17 |   267570 |   255632 |    32588     16 |     1586 |     3176
1250.80/1251.07	c 1250s |      17 |   267989 |   256032 |    32588     16 |     1586 |     3176
1253.30/1253.53	c 1253s |      17 |   268536 |   256532 |    32588     16 |     1586 |     3176
1255.30/1255.56	c 1255s |      17 |   268943 |   256932 |    32588     16 |     1586 |     3176
1257.70/1257.98	c 1257s |      17 |   269478 |   257432 |    32588     16 |     1586 |     3176
1259.80/1260.00	c 1259s |      17 |   269889 |   257832 |    32588     16 |     1586 |     3176
1261.90/1262.18	c 1261s |      17 |   270301 |   258232 |    32588     16 |     1586 |     3176
1264.10/1264.31	c 1264s |      17 |   270719 |   258632 |    32588     16 |     1586 |     3176
1266.10/1266.32	c 1266s |      17 |   271136 |   259032 |    32588     16 |     1586 |     3176
1268.20/1268.45	c 1268s |      17 |   271560 |   259432 |    32588     16 |     1586 |     3176
1270.30/1270.55	c 1270s |      17 |   271981 |   259832 |    32588     16 |     1586 |     3176
1272.40/1272.68	c 1272s |      17 |   272401 |   260232 |    32588     16 |     1586 |     3176
1274.50/1274.79	c 1274s |      17 |   272820 |   260632 |    32588     16 |     1586 |     3176
1276.60/1276.85	c 1276s |      17 |   273245 |   261032 |    32588     16 |     1586 |     3176
1278.70/1278.93	c 1278s |      17 |   273673 |   261432 |    32588     16 |     1586 |     3176
1280.70/1280.94	c 1280s |      17 |   274104 |   261832 |    32588     16 |     1586 |     3176
1282.80/1283.05	c 1282s |      17 |   274527 |   262232 |    32588     16 |     1586 |     3176
1285.09/1285.39	c 1285s |      17 |   274945 |   262632 |    32588     17 |     1586 |     3176
1287.29/1287.51	c 1287s |      17 |   275475 |   263132 |    32588     17 |     1586 |     3176
1289.59/1289.88	c 1289s |      17 |   276001 |   263632 |    32588     17 |     1586 |     3176
1291.89/1292.12	c 1291s |      17 |   276531 |   264132 |    32588     17 |     1586 |     3176
1293.89/1294.19	c 1293s |      17 |   277061 |   264632 |    32588     17 |     1586 |     3176
1296.09/1296.34	c 1296s |      17 |   277591 |   265132 |    32588     17 |     1586 |     3176
1298.19/1298.44	c 1298s |      17 |   278115 |   265632 |    32588     17 |     1586 |     3176
1300.59/1300.80	c 1300s |      17 |   278650 |   266132 |    32588     17 |     1586 |     3176
1302.79/1303.01	c 1302s |      17 |   279264 |   266732 |    32588     17 |     1586 |     3176
1304.99/1305.21	c 1304s |      17 |   279789 |   267232 |    32588     17 |     1586 |     3176
1307.19/1307.45	c 1307s |      17 |   280307 |   267732 |    32588     17 |     1586 |     3176
1309.39/1309.64	c 1309s |      17 |   280840 |   268232 |    32588     17 |     1586 |     3176
1311.59/1311.84	c 1311s |      17 |   281358 |   268732 |    32588     17 |     1586 |     3176
1313.89/1314.18	c 1313s |      17 |   281879 |   269232 |    32588     17 |     1586 |     3176
1316.29/1316.60	c 1316s |      17 |   282406 |   269732 |    32588     17 |     1586 |     3176
1318.80/1319.04	c 1318s |      17 |   282925 |   270232 |    32588     17 |     1586 |     3176
1321.19/1321.46	c 1321s |      17 |   283449 |   270732 |    32588     17 |     1586 |     3176
1323.69/1323.92	c 1323s |      17 |   283959 |   271232 |    32588     17 |     1586 |     3176
1326.09/1326.30	c 1326s |      17 |   284473 |   271732 |    32588     17 |     1586 |     3176
1328.49/1328.77	c 1328s |      17 |   284993 |   272232 |    32588     17 |     1586 |     3176
1330.89/1331.15	c 1330s |      17 |   285503 |   272732 |    32588     17 |     1586 |     3176
1333.29/1333.59	c 1333s |      17 |   286015 |   273232 |    32588     17 |     1586 |     3176
1335.79/1336.06	c 1335s |      17 |   286547 |   273732 |    32588     17 |     1586 |     3176
1338.19/1338.47	c 1338s |      17 |   287066 |   274232 |    32588     17 |     1586 |     3176
1340.59/1340.85	c 1340s |      17 |   287598 |   274732 |    32588     17 |     1586 |     3176
1343.08/1343.32	c 1343s |      17 |   288139 |   275232 |    32588     17 |     1586 |     3176
1345.48/1345.76	c 1345s |      17 |   288669 |   275732 |    32588     17 |     1586 |     3176
1347.48/1347.77	c 1347s |      17 |   289104 |   276132 |    32588     17 |     1586 |     3176
1349.88/1350.13	c 1349s |      17 |   289536 |   276532 |    32588     17 |     1586 |     3176
1352.38/1352.61	c 1352s |      17 |   290055 |   277032 |    32588     17 |     1586 |     3176
1354.38/1354.65	c 1354s |      17 |   290472 |   277432 |    32588     17 |     1586 |     3176
1356.38/1356.66	c 1356s |      17 |   290889 |   277832 |    32588     17 |     1586 |     3176
1358.39/1358.69	c 1358s |      17 |   291302 |   278232 |    32588     17 |     1586 |     3176
1360.49/1360.71	c 1360s |      17 |   291722 |   278632 |    32588     17 |     1586 |     3176
1362.58/1362.82	c 1362s |      17 |   292137 |   279032 |    32588     17 |     1586 |     3176
1364.58/1364.84	c 1364s |      17 |   292554 |   279432 |    32588     17 |     1586 |     3176
1366.68/1366.95	c 1366s |      17 |   292972 |   279832 |    32588     18 |     1586 |     3176
1368.98/1369.21	c 1368s |      17 |   293496 |   280332 |    32588     18 |     1586 |     3176
1371.08/1371.36	c 1371s |      17 |   294022 |   280832 |    32588     18 |     1586 |     3176
1373.28/1373.51	c 1373s |      17 |   294536 |   281332 |    32588     18 |     1586 |     3176
1375.69/1375.95	c 1375s |      17 |   294957 |   281732 |    32588     18 |     1586 |     3176
1377.89/1378.11	c 1377s |      17 |   295474 |   282232 |    32588     18 |     1586 |     3176
1379.99/1380.22	c 1379s |      17 |   296003 |   282732 |    32588     18 |     1586 |     3176
1382.18/1382.48	c 1382s |      17 |   296534 |   283232 |    32588     18 |     1586 |     3176
1384.48/1384.77	c 1384s |      17 |   297061 |   283732 |    32588     18 |     1586 |     3176
1386.68/1386.99	c 1386s |      17 |   297580 |   284232 |    32588     18 |     1586 |     3176
1389.09/1389.34	c 1389s |      17 |   298105 |   284732 |    32588     18 |     1586 |     3176
1391.29/1391.60	c 1391s |      17 |   298620 |   285232 |    32588     18 |     1586 |     3176
1393.49/1393.77	c 1393s |      17 |   299164 |   285732 |    32588     18 |     1586 |     3176
1395.79/1396.02	c 1395s |      17 |   299693 |   286232 |    32588     18 |     1586 |     3176
1398.18/1398.46	c 1398s |      17 |   300207 |   286732 |    32588     18 |     1586 |     3176
1402.29/1402.54	c 1402s |      17 |   300734 |   287232 |    32588     18 |     1586 |     3176
1404.49/1404.74	c 1404s |      17 |   301265 |   287732 |    32588     18 |     1586 |     3176
1406.79/1407.02	c 1406s |      17 |   301800 |   288232 |    32588     18 |     1586 |     3176
1408.99/1409.27	c 1409s |      17 |   302329 |   288732 |    32588     18 |     1586 |     3176
1411.28/1411.59	c 1411s |      17 |   302855 |   289232 |    32588     18 |     1586 |     3176
1413.68/1413.97	c 1413s |      17 |   303396 |   289732 |    32588     18 |     1586 |     3176
1416.08/1416.36	c 1416s |      17 |   303930 |   290232 |    32588     18 |     1586 |     3176
1418.38/1418.69	c 1418s |      17 |   304469 |   290732 |    32588     18 |     1586 |     3176
1420.88/1421.14	c 1420s |      17 |   305001 |   291232 |    32588     18 |     1586 |     3176
1423.38/1423.60	c 1423s |      17 |   305540 |   291732 |    32588     18 |     1586 |     3176
1425.38/1425.62	c 1425s |      17 |   305972 |   292132 |    32588     18 |     1586 |     3176
1427.78/1428.08	c 1427s |      17 |   306494 |   292632 |    32588     18 |     1586 |     3176
1430.28/1430.58	c 1430s |      17 |   307028 |   293132 |    32588     18 |     1586 |     3176
1432.78/1433.09	c 1432s |      17 |   307575 |   293632 |    32588     18 |     1586 |     3176
1434.88/1435.16	c 1434s |      17 |   307997 |   294032 |    32588     18 |     1586 |     3176
1436.88/1437.17	c 1436s |      17 |   308422 |   294432 |    35847     18 |     1586 |     3176
1438.88/1439.19	c 1438s |      17 |   308849 |   294832 |    35847     18 |     1586 |     3176
1440.98/1441.24	c 1440s |      17 |   309259 |   295232 |    35847     18 |     1586 |     3176
1443.08/1443.36	c 1443s |      17 |   309704 |   295632 |    35847     18 |     1586 |     3176
1445.28/1445.52	c 1445s |      17 |   310114 |   296032 |    35847     18 |     1586 |     3176
1446.57/1446.81	c 1446s |      18 |   310339 |   296252 |    35847     18 |     1586 |     3176
1448.67/1448.99	c 1448s |      18 |   310777 |   296652 |    35847     18 |     1586 |     3176
1450.87/1451.15	c 1450s |      18 |   311210 |   297052 |    35847     18 |     1586 |     3176
1452.98/1453.25	c 1452s |      18 |   311634 |   297452 |    35847     18 |     1586 |     3176
1455.27/1455.51	c 1455s |      18 |   312048 |   297852 |    35847     18 |     1586 |     3176
1457.57/1457.85	c 1457s |      18 |   312495 |   298252 |    35847     18 |     1586 |     3176
1459.67/1459.99	c 1459s |      18 |   312919 |   298652 |    35847     18 |     1586 |     3176
1461.87/1462.16	c 1461s |      18 |   313340 |   299052 |    35847     18 |     1586 |     3176
1464.27/1464.53	c 1464s |      18 |   313766 |   299452 |    35847     18 |     1586 |     3176
1466.37/1466.60	c 1466s |      18 |   313976 |   299652 |    35847     18 |     1586 |     3176
1468.57/1468.80	c 1468s |      18 |   314403 |   300052 |    35847     19 |     1586 |     3176
1470.77/1471.05	c 1470s |      18 |   314930 |   300552 |    35847     19 |     1586 |     3176
1473.07/1473.34	c 1473s |      18 |   315461 |   301052 |    35847     19 |     1586 |     3176
1475.37/1475.65	c 1475s |      18 |   315984 |   301552 |    35847     19 |     1586 |     3176
1477.76/1478.05	c 1477s |      18 |   316528 |   302052 |    35847     19 |     1586 |     3176
1479.76/1480.09	c 1479s |      18 |   316944 |   302452 |    35847     19 |     1586 |     3176
1482.26/1482.52	c 1482s |      18 |   317461 |   302952 |    35847     19 |     1586 |     3176
1484.56/1484.87	c 1484s |      18 |   317982 |   303452 |    35847     19 |     1586 |     3176
1486.97/1487.29	c 1487s |      18 |   318511 |   303952 |    35847     19 |     1586 |     3176
1489.27/1489.56	c 1489s |      18 |   319043 |   304452 |    35847     19 |     1586 |     3176
1491.66/1491.95	c 1491s |      18 |   319558 |   304952 |    35847     19 |     1586 |     3176
1493.96/1494.27	c 1494s |      18 |   320092 |   305452 |    35847     19 |     1586 |     3176
1496.26/1496.55	c 1496s |      18 |   320628 |   305952 |    35847     19 |     1586 |     3176
1498.66/1498.90	c 1498s |      18 |   321155 |   306452 |    35847     19 |     1586 |     3176
1500.86/1501.17	c 1500s |      18 |   321689 |   306952 |    35847     19 |     1586 |     3176
1503.36/1503.62	c 1503s |      18 |   322221 |   307452 |    35847     19 |     1586 |     3176
1505.77/1506.00	c 1505s |      18 |   322742 |   307952 |    35847     19 |     1586 |     3176
1508.06/1508.39	c 1508s |      18 |   323288 |   308452 |    35847     19 |     1586 |     3176
1510.76/1511.06	c 1510s |      18 |   323824 |   308952 |    35847     19 |     1586 |     3176
1512.76/1513.09	c 1512s |      18 |   324243 |   309352 |    35847     19 |     1586 |     3176
1514.86/1515.11	c 1514s |      18 |   324673 |   309752 |    35847     19 |     1586 |     3176
1516.95/1517.23	c 1516s |      18 |   325083 |   310152 |    35847     19 |     1586 |     3176
1519.05/1519.35	c 1519s |      18 |   325509 |   310552 |    35847     19 |     1586 |     3176
1521.16/1521.48	c 1521s |      18 |   325920 |   310952 |    35847     19 |     1586 |     3176
1523.45/1523.76	c 1523s |      18 |   326337 |   311352 |    35847     19 |     1586 |     3176
1525.65/1525.97	c 1525s |      18 |   326784 |   311752 |    35847     19 |     1586 |     3176
1527.84/1528.14	c 1527s |      18 |   327202 |   312152 |    35847     19 |     1586 |     3176
1529.85/1530.20	c 1529s |      18 |   327635 |   312552 |    35847     19 |     1586 |     3176
1532.05/1532.37	c 1532s |      18 |   328054 |   312952 |    35847     19 |     1586 |     3176
1534.35/1534.61	c 1534s |      18 |   328481 |   313352 |    35847     19 |     1586 |     3176
1536.54/1536.84	c 1536s |      18 |   328896 |   313752 |    35847     19 |     1586 |     3176
1538.74/1539.08	c 1538s |      18 |   329310 |   314152 |    35847     19 |     1586 |     3176
1541.14/1541.46	c 1541s |      18 |   329729 |   314552 |    35847     19 |     1586 |     3176
1543.44/1543.73	c 1543s |      18 |   330135 |   314952 |    35847     19 |     1586 |     3176
1545.84/1546.14	c 1545s |      18 |   330568 |   315352 |    35847     19 |     1586 |     3176
1548.03/1548.35	c 1548s |      18 |   330995 |   315752 |    35847     19 |     1586 |     3176
1550.33/1550.68	c 1550s |      18 |   331421 |   316152 |    35847     19 |     1586 |     3176
1552.63/1552.95	c 1552s |      18 |   331839 |   316552 |    35847     19 |     1586 |     3176
1555.03/1555.38	c 1555s |      18 |   332258 |   316952 |    35847     19 |     1586 |     3176
1557.33/1557.68	c 1557s |      18 |   332678 |   317352 |    35847     19 |     1586 |     3176
1559.72/1560.02	c 1559s |      18 |   333103 |   317752 |    35847     19 |     1586 |     3176
1562.02/1562.36	c 1562s |      18 |   333516 |   318152 |    35847     19 |     1586 |     3176
1564.52/1564.86	c 1564s |      18 |   333937 |   318552 |    35847     19 |     1586 |     3176
1567.02/1567.31	c 1567s |      18 |   334345 |   318952 |    35847     20 |     1586 |     3176
1569.12/1569.47	c 1569s |      18 |   334759 |   319352 |    35847     20 |     1586 |     3176
1575.42/1575.77	c 1575s |      18 |   335075 |   319652 |    35847     20 |     1586 |     3176
1577.62/1577.90	c 1577s |      18 |   335628 |   320152 |    35847     20 |     1586 |     3176
1579.82/1580.17	c 1579s |      18 |   336169 |   320652 |    35847     20 |     1586 |     3176
1582.12/1582.43	c 1582s |      18 |   336694 |   321152 |    35847     20 |     1586 |     3176
1584.42/1584.77	c 1584s |      18 |   337213 |   321652 |    35847     20 |     1586 |     3176
1586.72/1587.06	c 1586s |      18 |   337763 |   322152 |    35847     20 |     1586 |     3176
1588.82/1589.11	c 1588s |      18 |   338077 |   322452 |    35847     20 |     1586 |     3176
1591.12/1591.48	c 1591s |      18 |   338613 |   322952 |    35847     20 |     1586 |     3176
1593.62/1593.90	c 1593s |      18 |   339148 |   323452 |    35847     20 |     1586 |     3176
1595.92/1596.28	c 1596s |      18 |   339690 |   323952 |    35847     20 |     1586 |     3176
1598.02/1598.31	c 1598s |      18 |   340118 |   324352 |    35847     20 |     1586 |     3176
1600.01/1600.32	c 1600s |      18 |   340546 |   324752 |    35847     20 |     1586 |     3176
1602.31/1602.64	c 1602s |      18 |   340966 |   325152 |    35847     20 |     1586 |     3176
1604.71/1605.08	c 1604s |      18 |   341504 |   325652 |    35847     20 |     1586 |     3176
1607.10/1607.46	c 1607s |      18 |   342055 |   326152 |    35847     20 |     1586 |     3176
1609.20/1609.54	c 1609s |      18 |   342482 |   326552 |    35847     20 |     1586 |     3176
1611.21/1611.57	c 1611s |      18 |   342914 |   326952 |    35847     20 |     1586 |     3176
1613.20/1613.59	c 1613s |      18 |   343331 |   327352 |    35847     20 |     1586 |     3176
1615.80/1616.10	c 1615s |      18 |   343872 |   327852 |    35847     20 |     1586 |     3176
1617.91/1618.24	c 1617s |      18 |   344301 |   328252 |    35847     20 |     1586 |     3176
1620.01/1620.34	c 1620s |      18 |   344726 |   328652 |    35847     20 |     1586 |     3176
1622.21/1622.53	c 1622s |      18 |   345144 |   329052 |    35847     20 |     1586 |     3176
1624.30/1624.68	c 1624s |      18 |   345561 |   329452 |    35847     20 |     1586 |     3176
1626.50/1626.86	c 1626s |      18 |   345973 |   329852 |    35847     20 |     1586 |     3176
1628.70/1629.07	c 1628s |      18 |   346414 |   330252 |    35847     20 |     1586 |     3176
1631.00/1631.34	c 1631s |      18 |   346839 |   330652 |    35847     20 |     1586 |     3176
1633.20/1633.56	c 1633s |      18 |   347279 |   331052 |    35847     20 |     1586 |     3176
1635.40/1635.79	c 1635s |      18 |   347687 |   331452 |    35847     20 |     1586 |     3176
1637.70/1638.01	c 1637s |      18 |   348099 |   331852 |    35847     20 |     1586 |     3176
1639.90/1640.27	c 1640s |      18 |   348515 |   332252 |    35847     20 |     1586 |     3176
1642.19/1642.52	c 1642s |      18 |   348923 |   332652 |    35847     20 |     1586 |     3176
1644.39/1644.79	c 1644s |      18 |   349347 |   333052 |    35847     20 |     1586 |     3176
1646.79/1647.16	c 1646s |      18 |   349778 |   333452 |    35847     20 |     1586 |     3176
1649.19/1649.52	c 1649s |      18 |   350199 |   333852 |    35847     20 |     1586 |     3176
1651.39/1651.77	c 1651s |      18 |   350628 |   334252 |    35847     20 |     1586 |     3176
1653.89/1654.20	c 1653s |      18 |   351045 |   334652 |    35847     20 |     1586 |     3176
1656.18/1656.54	c 1656s |      18 |   351473 |   335052 |    35847     20 |     1586 |     3176
1658.68/1659.02	c 1658s |      18 |   351894 |   335452 |    35847     20 |     1586 |     3176
1661.08/1661.46	c 1661s |      18 |   352323 |   335852 |    35847     20 |     1586 |     3176
1663.38/1663.76	c 1663s |      18 |   352758 |   336252 |    35847     20 |     1586 |     3176
1665.78/1666.12	c 1665s |      18 |   353182 |   336652 |    35847     20 |     1586 |     3176
1668.08/1668.47	c 1668s |      18 |   353603 |   337052 |    35847     20 |     1586 |     3176
1670.48/1670.84	c 1670s |      18 |   354029 |   337452 |    35847     20 |     1586 |     3176
1672.78/1673.13	c 1672s |      18 |   354462 |   337852 |    35847     21 |     1586 |     3176
1675.08/1675.45	c 1675s |      18 |   354992 |   338352 |    35847     21 |     1586 |     3176
1677.18/1677.56	c 1677s |      18 |   355412 |   338752 |    35847     21 |     1586 |     3176
1679.77/1680.16	c 1679s |      18 |   355954 |   339252 |    35847     21 |     1586 |     3176
1682.07/1682.48	c 1682s |      18 |   356477 |   339752 |    35847     21 |     1586 |     3176
1684.17/1684.50	c 1684s |      18 |   356911 |   340152 |    35847     21 |     1586 |     3176
1686.57/1686.93	c 1686s |      18 |   357425 |   340652 |    35847     21 |     1586 |     3176
1689.28/1689.66	c 1689s |      18 |   357967 |   341152 |    35847     21 |     1586 |     3176
1691.67/1692.05	c 1691s |      18 |   358482 |   341652 |    35847     21 |     1586 |     3176
1693.68/1694.06	c 1693s |      18 |   358903 |   342052 |    35847     21 |     1586 |     3176
1696.07/1696.48	c 1696s |      18 |   359434 |   342552 |    35847     21 |     1586 |     3176
1698.57/1698.94	c 1698s |      18 |   359968 |   343052 |    35847     21 |     1586 |     3176
1701.07/1701.41	c 1701s |      18 |   360496 |   343552 |    35847     21 |     1586 |     3176
1703.07/1703.45	c 1703s |      18 |   360919 |   343952 |    35847     21 |     1586 |     3176
1705.07/1705.48	c 1705s |      18 |   361339 |   344352 |    35847     21 |     1586 |     3176
1707.16/1707.56	c 1707s |      18 |   361766 |   344752 |    35847     21 |     1586 |     3176
1709.26/1709.65	c 1709s |      18 |   362196 |   345152 |    35847     21 |     1586 |     3176
1711.37/1711.74	c 1711s |      18 |   362610 |   345552 |    35847     21 |     1586 |     3176
1713.36/1713.78	c 1713s |      18 |   363023 |   345952 |    35847     21 |     1586 |     3176
1715.56/1715.99	c 1715s |      18 |   363433 |   346352 |    35847     21 |     1586 |     3176
1717.66/1718.02	c 1717s |      18 |   363749 |   346652 |    35847     21 |     1586 |     3176
1719.86/1720.28	c 1720s |      18 |   364162 |   347052 |    35847     21 |     1586 |     3176
1722.16/1722.56	c 1722s |      18 |   364580 |   347452 |    35847     21 |     1586 |     3176
1724.46/1724.88	c 1724s |      18 |   365011 |   347852 |    35847     21 |     1586 |     3176
1726.76/1727.19	c 1726s |      18 |   365432 |   348252 |    35847     21 |     1586 |     3176
1729.05/1729.49	c 1729s |      18 |   365851 |   348652 |    35847     21 |     1586 |     3176
1731.35/1731.75	c 1731s |      18 |   366266 |   349052 |    35847     21 |     1586 |     3176
1733.65/1734.08	c 1733s |      18 |   366675 |   349452 |    35847     21 |     1586 |     3176
1735.95/1736.32	c 1736s |      18 |   367106 |   349852 |    35847     21 |     1586 |     3176
1738.14/1738.57	c 1738s |      18 |   367526 |   350252 |    35847     21 |     1586 |     3176
1740.44/1740.89	c 1740s |      18 |   367954 |   350652 |    35847     21 |     1586 |     3176
1742.74/1743.14	c 1742s |      18 |   368369 |   351052 |    35847     21 |     1586 |     3176
1745.04/1745.49	c 1745s |      18 |   368784 |   351452 |    35847     21 |     1586 |     3176
1747.44/1747.89	c 1747s |      18 |   369202 |   351852 |    35847     21 |     1586 |     3176
1749.94/1750.30	c 1750s |      18 |   369638 |   352252 |    35847     21 |     1586 |     3176
1752.34/1752.71	c 1752s |      18 |   370056 |   352652 |    35847     21 |     1586 |     3176
1754.64/1755.09	c 1754s |      18 |   370478 |   353052 |    35847     21 |     1586 |     3176
1757.03/1757.49	c 1757s |      18 |   370892 |   353452 |    35847     21 |     1586 |     3176
1759.53/1759.95	c 1759s |      18 |   371324 |   353852 |    35847     21 |     1586 |     3176
1762.03/1762.41	c 1762s |      18 |   371739 |   354252 |    35847     21 |     1586 |     3176
1764.53/1764.90	c 1764s |      18 |   372151 |   354652 |    35847     21 |     1586 |     3176
1766.93/1767.39	c 1767s |      18 |   372569 |   355052 |    35847     21 |     1586 |     3176
1769.53/1769.93	c 1769s |      18 |   372987 |   355452 |    35847     21 |     1586 |     3176
1772.13/1772.57	c 1772s |      18 |   373408 |   355852 |    35847     21 |     1586 |     3176
1774.83/1775.27	c 1775s |      18 |   373828 |   356252 |    35847     22 |     1586 |     3176
1776.92/1777.33	c 1777s |      18 |   374244 |   356652 |    35847     22 |     1586 |     3176
1779.32/1779.70	c 1779s |      18 |   374655 |   357052 |    35847     22 |     1586 |     3176
1781.63/1782.07	c 1781s |      18 |   375170 |   357552 |    35847     22 |     1586 |     3176
1784.32/1784.76	c 1784s |      18 |   375694 |   358052 |    35847     22 |     1586 |     3176
1786.62/1787.02	c 1786s |      18 |   376206 |   358552 |    35847     22 |     1586 |     3176
1788.82/1789.27	c 1789s |      18 |   376729 |   359052 |    35847     22 |     1586 |     3176
1791.32/1791.70	c 1791s |      18 |   377260 |   359552 |    35847     22 |     1586 |     3176
1793.72/1794.14	c 1793s |      18 |   377785 |   360052 |    35847     22 |     1586 |     3176
1796.21/1796.60	c 1796s |      18 |   378322 |   360552 |    35847     22 |     1586 |     3176
1798.31/1798.71	c 1798s |      18 |   378733 |   360952 |    35847     22 |     1586 |     3176

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.25 2.25 3/179 4770
/proc/meminfo: memFree=28925784/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=668228 CPUtime=0 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 2485 0 0 0 0 0 0 0 20 0 4 0 25046077 684265472 3357 33554432000 4194304 16246674 140733485860560 140733485859984 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 167825 3365 442 2943 0 164719 0
[pid=4770/tid=4771] ppid=4767 vsize=690756 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 707334144 3445 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=695876 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 712577024 3463 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=699972 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 716771328 3479 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10016 s]
/proc/loadavg: 2.19 2.25 2.25 3/179 4770
/proc/meminfo: memFree=28925784/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1222212 CPUtime=0.09 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 27743 0 0 0 5 4 0 0 20 0 4 0 25046077 1251545088 28552 33554432000 4194304 16246674 140733485860560 140733485859872 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 305553 28558 801 2943 0 302447 0
[pid=4770/tid=4771] ppid=4767 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1251545088 28564 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1251545088 28568 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1251545088 28573 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1222212

[startup+0.200503 s]
/proc/loadavg: 2.19 2.25 2.25 3/179 4770
/proc/meminfo: memFree=28925784/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 47820 0 0 0 13 6 0 0 20 0 4 0 25046077 1333334016 48629 33554432000 4194304 16246674 140733485860560 140733485859872 13780585 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 325521 48629 834 2943 0 322415 0
[pid=4770/tid=4771] ppid=4767 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1333334016 48629 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1333334016 48629 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1333334016 48629 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.30047 s]
/proc/loadavg: 2.19 2.25 2.25 3/179 4770
/proc/meminfo: memFree=28925784/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 55938 0 0 0 22 7 0 0 20 0 4 0 25046077 1333334016 56747 33554432000 4194304 16246674 140733485860560 140733485859872 5828874 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 325521 56754 885 2943 0 322415 0
[pid=4770/tid=4771] ppid=4767 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1333334016 56758 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1333334016 56761 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1333334016 56764 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700393 s]
/proc/loadavg: 2.19 2.25 2.25 3/179 4770
/proc/meminfo: memFree=28925784/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 133535 0 0 0 50 19 0 0 20 0 4 0 25046077 1333334016 134344 33554432000 4194304 16246674 140733485860560 140733485859872 5662075 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 325521 134350 885 2943 0 322415 0
[pid=4770/tid=4771] ppid=4767 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1333334016 134356 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1333334016 134365 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1333334016 134372 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50039 s]
/proc/loadavg: 2.19 2.25 2.25 3/183 4774
/proc/meminfo: memFree=28106340/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1312324 CPUtime=1.49 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 269058 0 0 0 111 38 0 0 20 0 4 0 25046077 1343819776 269867 33554432000 4194304 16246674 140733485860560 140733485859872 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 328081 269867 891 2943 0 324975 0
[pid=4770/tid=4771] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 269867 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 269867 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 269867 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.1004 s]
/proc/loadavg: 2.19 2.25 2.25 3/183 4774
/proc/meminfo: memFree=27847428/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 269268 0 0 0 271 38 0 0 20 0 4 0 25046077 1343819776 270077 33554432000 4194304 16246674 140733485860560 140733485842432 5828696 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 328081 270077 891 2943 0 324975 0
[pid=4770/tid=4771] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270077 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270077 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270077 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.3004 s]
/proc/loadavg: 2.18 2.25 2.25 3/183 4774
/proc/meminfo: memFree=27846692/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 269272 0 0 0 591 38 0 0 20 0 4 0 25046077 1343819776 270081 33554432000 4194304 16246674 140733485860560 140733485842432 5721529 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 328081 270081 892 2943 0 324975 0
[pid=4770/tid=4771] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270081 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270081 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270081 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.16 2.24 2.25 3/183 4774
/proc/meminfo: memFree=27847384/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 269274 0 0 0 1231 38 0 0 20 0 4 0 25046077 1343819776 270083 33554432000 4194304 16246674 140733485860560 140733485842432 5721616 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 328081 270083 894 2943 0 324975 0
[pid=4770/tid=4771] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270083 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270083 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270083 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5004 s]
/proc/loadavg: 2.13 2.23 2.25 3/183 4774
/proc/meminfo: memFree=27848680/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 269274 0 0 0 2511 38 0 0 20 0 4 0 25046077 1343819776 270083 33554432000 4194304 16246674 140733485860560 140733485842432 5674919 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 328081 270083 894 2943 0 324975 0
[pid=4770/tid=4771] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270083 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270083 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270083 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.08 2.21 2.24 3/183 4774
/proc/meminfo: memFree=27848076/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1312324 CPUtime=51.09 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 269274 0 0 0 5071 38 0 0 20 0 4 0 25046077 1343819776 270083 33554432000 4194304 16246674 140733485860560 140733485842432 5823508 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 328081 270083 894 2943 0 324975 0
[pid=4770/tid=4771] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270083 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270083 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270083 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.17 2.21 2.24 3/183 4775
/proc/meminfo: memFree=27847456/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1312324 CPUtime=102.28 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 269274 0 0 0 10190 38 0 0 20 0 4 0 25046077 1343819776 270083 33554432000 4194304 16246674 140733485860560 140733485842432 12483532 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 328081 270083 894 2943 0 324975 0
[pid=4770/tid=4771] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270083 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270083 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1343819776 270083 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280580 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1354308

[startup+1302.3 s]
/proc/loadavg: 2.28 2.27 2.21 3/183 4805
/proc/meminfo: memFree=27776480/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1354308 CPUtime=1302.09 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 279771 0 0 0 130165 44 0 0 20 0 4 0 25046077 1386811392 280580 33554432000 4194304 16246674 140733485860560 140733485842432 6842322 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 338577 280580 895 2943 0 335471 0
[pid=4770/tid=4771] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280580 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280580 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280580 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1354308

[startup+1362.3 s]
/proc/loadavg: 2.21 2.25 2.20 3/183 4806
/proc/meminfo: memFree=27776756/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1354308 CPUtime=1362.08 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 279771 0 0 0 136164 44 0 0 20 0 4 0 25046077 1386811392 280580 33554432000 4194304 16246674 140733485860560 140733485842432 5823584 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 338577 280580 895 2943 0 335471 0
[pid=4770/tid=4771] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280580 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280580 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280580 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1354308

[startup+1422.3 s]
/proc/loadavg: 2.35 2.28 2.21 3/184 4810
/proc/meminfo: memFree=27776716/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1354308 CPUtime=1422.08 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 279771 0 0 0 142163 45 0 0 20 0 4 0 25046077 1386811392 280580 33554432000 4194304 16246674 140733485860560 140733485842432 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 338577 280580 895 2943 0 335471 0
[pid=4770/tid=4771] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280580 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280580 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280580 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1354308

[startup+1482.3 s]
/proc/loadavg: 2.46 2.31 2.23 3/183 4861
/proc/meminfo: memFree=27810236/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1354308 CPUtime=1482.06 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 279777 0 0 0 148161 45 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140733485842432 5823821 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 338577 280583 895 2943 0 335471 0
[pid=4770/tid=4771] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1354308

[startup+1542.31 s]
/proc/loadavg: 2.29 2.30 2.23 3/183 4862
/proc/meminfo: memFree=27780832/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1354308 CPUtime=1542.04 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 279807 0 0 0 154159 45 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140733485842432 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 338577 280583 895 2943 0 335471 0
[pid=4770/tid=4771] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1354308

[startup+1602.3 s]
/proc/loadavg: 2.25 2.29 2.23 3/182 4863
/proc/meminfo: memFree=27780896/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1354308 CPUtime=1602.01 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 279852 0 0 0 160155 46 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140733485843560 4220495 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 338577 280583 895 2943 0 335471 0
[pid=4770/tid=4771] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1354308

[startup+1662.3 s]
/proc/loadavg: 2.31 2.29 2.23 4/183 4865
/proc/meminfo: memFree=27780956/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1354308 CPUtime=1661.98 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 279885 0 0 0 166152 46 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140733485842432 13954515 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 338577 280583 895 2943 0 335471 0
[pid=4770/tid=4771] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1354308

[startup+1722.3 s]
/proc/loadavg: 2.18 2.27 2.22 3/183 5062
/proc/meminfo: memFree=28617296/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1354308 CPUtime=1721.96 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 279917 0 0 0 172150 46 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140733485842432 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 338577 280583 895 2943 0 335471 0
[pid=4770/tid=4771] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1354308

[startup+1782.3 s]
/proc/loadavg: 2.28 2.29 2.23 3/182 5111
/proc/meminfo: memFree=27817192/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1354308 CPUtime=1781.92 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 279958 0 0 0 178146 46 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140733485842432 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 338577 280583 895 2943 0 335471 0
[pid=4770/tid=4771] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1354308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.30 2.29 2.23 3/183 5113
/proc/meminfo: memFree=27817112/32872528 swapFree=17888/1798212
[pid=4770] ppid=4767 vsize=1354308 CPUtime=1800.01 cores=0,2,4,6
/proc/4770/stat : 4770 (toysat) R 4767 4770 579 0 -1 4202496 279970 0 0 0 179955 46 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140733485842432 5754966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4770/statm: 338577 280583 895 2943 0 335471 0
[pid=4770/tid=4771] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4771/stat : 4771 (toysat) S 4767 4770 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591253925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4770/tid=4772] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4772/stat : 4772 (toysat) S 4767 4770 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591243435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4770/tid=4773] ppid=4767 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/4770/task/4773/stat : 4773 (toysat) S 4767 4770 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25046077 1386811392 280583 33554432000 4194304 16246674 140733485860560 140591123918000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1354308

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.44
CPU time (s): 1800.06
CPU user time (s): 1799.56
CPU system time (s): 0.492925
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 1354308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.492925
maximum resident set size= 1122332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279970
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= 214
involuntary context switches= 1898

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.87526 second user time and 6.62599 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 08:06:29
IDJOB=4102457
IDBENCH=2122
IDSOLVER=2542
FILE ID=node123/4102457-1466229989
RUNJOBID= node123-1466206081-595
PBS_JOBID= 19918154
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4102457-1466229989/watcher-4102457-1466229989 -o /tmp/evaluation-result-4102457-1466229989/solver-4102457-1466229989 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102457-1466229989.opb

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

MD5SUM BENCH= 172d8bfe30610a29dfe3bb9d98ed3f4c
RANDOM SEED=78739015

node123.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28926040 kB
Buffers:          127092 kB
Cached:           177040 kB
SwapCached:         1648 kB
Active:          1200676 kB
Inactive:         205508 kB
Active(anon):    1103488 kB
Inactive(anon):     1152 kB
Active(file):      97188 kB
Inactive(file):   204356 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:             17284 kB
Writeback:             0 kB
AnonPages:       2900096 kB
Mapped:            10600 kB
Shmem:                 0 kB
Slab:             604280 kB
SReclaimable:      47460 kB
SUnreclaim:       556820 kB
KernelStack:        1480 kB
PageTables:         9884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3043732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1785856 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= 71604 MiB
End job on node123 at 2016-06-18 08:36:30