Trace number 4116061

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round22-9.opb
MD5SUMa38417602161a9ed0f99b3c94cc994c4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8720
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-26T20:19:26+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-4116061-1466965166.opb"]
0.00/0.01	c use --random-gen="3758848771 1572873366 2055786318 3664955835 3983015742 3493785195 2593446788 309201728 2522948515 2222125027 1820323043 1121151428 2194278200 1600867620 3548573628 4096951754 2304153816 2481161814 1245014901 3470504064 1421250459 3592354914 2931491485 3232743425 3047695539 1359135099 1018693194 1431609411 3693083392 730996515 2147477495 1102399988 2838402979 4250651642 1685756487 3750118859 1685366224 3997135410 3854060285 1257416173 1561930171 2621136667 951472951 4180260101 1554455491 2876821355 860209540 3883162513 1815816687 284851174 478529750 2424791453 4260905286 3748050640 1071722334 2784713532 3924221004 349963511 2808779978 1445929945 2136895673 548777458 2042800225 3730237883 3887538158 2718453821 1025208694 1724098924 3297005483 692661492 4071390544 1687670291 1427100209 3123713546 1883308543 3015772667 3398973233 3028837306 959178632 2308956456 276019327 2833785235 1956657477 3787900411 3700166018 1100805111 2829290295 2575021468 187730201 693423338 2734653619 2183945275 2264656254 212463556 1271430181 4016261546 55904975 3839178325 2552105943 2489388422 1062111184 594962717 1502645008 3978034087 3738386812 2090792733 1511700828 1315734934 1647537711 4244566338 1042484614 2804398844 2169354847 731577007 3469601061 3405479312 777307990 294892897 1767135441 385258288 2479792597 2269463149 1554565731 2793872556 2691021482 651597302 4199509701 482442575 4110535358 2137439483 659257594 2012753617 2201059892 579501926 1924985662 4069078220 2825733767 748578294 1226909722 1917210554 2948952571 3213360016 3296699245 3896920988 3668093218 3092921928 3953380753 3787403986 1117155439 1046812648 2359761445 3071097682 682467612 1568179965 426793502 3571724562 3306425489 1810790155 2768428699 1532924412 734938077 3178435760 901818027 3322192713 1918082545 1852514423 2754596639 1735403542 3707473010 3949436084 2975392857 2653954976 3720341048 1514066107 2689113772 2495590408 263609717 1001444429 3961203731 2422431302 3273206179 2857347027 3086894583 2823033984 4094006311 1311069298 3755642733 1652817249 2922496498 141738747 994703275 3410836559 1356136975 1898051205 3517907427 811078435 1596765586 3384113050 941056002 2304622102 1562654844 3136705215 567685042 2677636110 542020018 1399082067 176006483 3607313616 775414636 3764062474 449553383 3221147080 3930064776 1751886531 1764562928 675412257 3088161830 1563496992 2071470715 590591861 2090646084 2924865605 1709659853 799897698 3253460901 4139123637 1929277810 3665800216 1312599901 436196658 3801155152 2388836493 2236089281 1132514745 145857477 1623140380 2790814847 4167425001 2770438929 4144320565 1139759700 586562008 3308834154 1615902870 1346961927 3596248483 329967818 1257171210 4103834396 32515206 1977216396 2860605972 2432725430 1511535162 2686330517 1755935035 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8720
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 |     4234      0 |      806 |        0
0.28/0.34	c  0.1s |       1 |     1160 |      100 |     4234      0 |      807 |      710
0.39/0.46	c  0.2s |       2 |     3173 |      250 |     4658      0 |      808 |      710
0.58/0.61	c  0.3s |       3 |     4914 |      475 |     5124      0 |      808 |      710
0.89/0.99	c  0.7s |       4 |     6198 |      813 |     5637      0 |      808 |      710
1.28/1.33	c  1.1s |       5 |     9721 |     1320 |     6201      0 |      808 |      710
1.99/2.09	c  1.8s |       6 |    13521 |     2081 |     7505      0 |      808 |      710
2.79/2.86	c  2.6s |       7 |    19024 |     3223 |     8256      0 |      808 |      710
4.18/4.24	c  4.0s |       8 |    24946 |     4936 |     9082      0 |      808 |      710
6.18/6.25	c  6.0s |       8 |    31680 |     7136 |     9082      0 |      808 |      710
6.69/6.74	c  6.5s |       9 |    32186 |     7506 |     9991      0 |      808 |      710
8.79/8.87	c  8.6s |       9 |    35187 |     9206 |     9991      0 |      808 |      710
10.89/10.90	c 10.6s |       9 |    36533 |    10206 |     9991      0 |      808 |      710
12.89/12.93	c 12.7s |       9 |    38025 |    11206 |     9991      0 |      808 |      710
12.99/13.08	c 12.8s |      10 |    39477 |    11361 |    10991      0 |      808 |      710
15.09/15.16	c 14.9s |      10 |    45595 |    13161 |    10991      0 |      808 |      710
17.19/17.23	c 17.0s |      10 |    47404 |    14561 |    10991      0 |      808 |      710
19.39/19.44	c 19.2s |      10 |    48784 |    15661 |    10991      1 |      808 |      710
21.58/21.63	c 21.4s |      10 |    50217 |    16861 |    10991      1 |      808 |      710
22.18/22.21	c 22.0s |      11 |    50547 |    17144 |    12091      1 |      808 |      710
24.19/24.25	c 24.0s |      11 |    56923 |    19044 |    12091      1 |      808 |      710
26.18/26.27	c 26.0s |      11 |    69556 |    21744 |    12091      1 |      808 |      710
28.28/28.34	c 28.1s |      11 |    71446 |    23044 |    12091      2 |      808 |      710
30.28/30.36	c 30.1s |      11 |    73598 |    24444 |    12091      2 |      808 |      710
32.38/32.47	c 32.2s |      11 |    75324 |    25744 |    13301      2 |      808 |      710
32.58/32.65	c 32.4s |      12 |    75412 |    25819 |    13301      2 |      808 |      710
34.68/34.76	c 34.5s |      12 |    79993 |    27819 |    13301      2 |      808 |      710
36.78/36.86	c 36.6s |      12 |    82301 |    29419 |    13301      2 |      808 |      710
38.88/38.91	c 38.7s |      12 |    84292 |    30819 |    13301      2 |      808 |      710
40.98/41.02	c 40.8s |      12 |    85723 |    32019 |    13301      3 |      808 |      710
42.99/43.07	c 42.8s |      12 |    87446 |    33319 |    13301      3 |      808 |      710
45.09/45.20	c 44.9s |      12 |    89244 |    34719 |    13301      3 |      808 |      710
47.18/47.30	c 47.0s |      12 |    90525 |    35819 |    13301      3 |      808 |      710
49.38/49.46	c 49.2s |      12 |    91698 |    36819 |    13301      3 |      808 |      710
51.48/51.52	c 51.3s |      12 |    92966 |    37919 |    13301      3 |      808 |      710
53.48/53.54	c 53.3s |      13 |    93982 |    38832 |    14632      3 |      808 |      710
55.58/55.60	c 55.3s |      13 |   100122 |    40732 |    14632      3 |      808 |      710
57.58/57.63	c 57.4s |      13 |   101455 |    41832 |    14632      4 |      808 |      710
59.58/59.64	c 59.4s |      13 |   102903 |    43032 |    14632      4 |      808 |      710
61.59/61.64	c 61.4s |      13 |   103932 |    43932 |    14632      4 |      808 |      710
63.68/63.74	c 63.5s |      13 |   105109 |    44932 |    14632      4 |      808 |      710
65.68/65.77	c 65.5s |      13 |   106188 |    45832 |    14632      4 |      808 |      710
67.78/67.80	c 67.5s |      13 |   107315 |    46732 |    14632      4 |      808 |      710
69.98/70.04	c 69.8s |      13 |   108336 |    47632 |    14632      4 |      808 |      710
72.08/72.13	c 71.9s |      13 |   109255 |    48432 |    14632      4 |      808 |      710
74.17/74.20	c 73.9s |      13 |   110209 |    49232 |    14632      4 |      808 |      710
76.17/76.22	c 76.0s |      13 |   111037 |    49932 |    14632      4 |      808 |      710
78.47/78.50	c 78.2s |      13 |   111850 |    50632 |    14632      5 |      808 |      710
80.67/80.77	c 80.5s |      13 |   112764 |    51432 |    14632      5 |      808 |      710
82.87/82.93	c 82.7s |      13 |   113574 |    52132 |    14632      5 |      808 |      710
84.97/85.08	c 84.8s |      13 |   114822 |    53032 |    14632      5 |      808 |      710
87.07/87.13	c 86.9s |      13 |   115771 |    53832 |    14632      5 |      808 |      710
89.18/89.29	c 89.0s |      13 |   116715 |    54632 |    14632      5 |      808 |      710
91.38/91.43	c 91.2s |      13 |   117506 |    55332 |    14632      5 |      808 |      710
93.48/93.53	c 93.3s |      13 |   119214 |    56232 |    14632      5 |      808 |      710
95.57/95.66	c 95.4s |      13 |   122049 |    57732 |    14632      5 |      808 |      710
96.57/96.60	c 96.3s |      14 |   123208 |    58352 |    16096      5 |      808 |      710
98.67/98.70	c 98.4s |      14 |   126008 |    59752 |    16096      6 |      808 |      710
100.67/100.71	c  100s |      14 |   127697 |    61152 |    16096      6 |      808 |      710
102.77/102.80	c  102s |      14 |   129626 |    62652 |    16096      6 |      808 |      710
104.77/104.83	c  104s |      14 |   131965 |    64352 |    16096      6 |      808 |      710
106.78/106.88	c  106s |      14 |   134114 |    65952 |    16096      6 |      808 |      710
108.88/108.97	c  108s |      14 |   136119 |    67452 |    16096      6 |      808 |      710
111.08/111.17	c  110s |      14 |   137483 |    68652 |    16096      6 |      808 |      710
113.17/113.28	c  113s |      14 |   138502 |    69552 |    16096      7 |      808 |      710
115.27/115.33	c  115s |      14 |   140116 |    70852 |    16096      7 |      808 |      710
117.37/117.43	c  117s |      14 |   141412 |    71952 |    16096      7 |      808 |      710
119.47/119.59	c  119s |      14 |   142655 |    73052 |    16096      7 |      808 |      710
121.57/121.64	c  121s |      14 |   143673 |    73952 |    16096      7 |      808 |      710
123.77/123.87	c  123s |      14 |   144829 |    74952 |    16096      7 |      808 |      710
126.06/126.14	c  125s |      14 |   145885 |    75852 |    16096      7 |      808 |      710
128.16/128.23	c  127s |      14 |   146921 |    76752 |    16096      7 |      808 |      710
130.16/130.28	c  130s |      14 |   147840 |    77552 |    16096      7 |      808 |      710
132.36/132.48	c  132s |      14 |   148766 |    78352 |    16096      7 |      808 |      710
134.56/134.68	c  134s |      14 |   149551 |    79052 |    16096      8 |      808 |      710
136.66/136.70	c  136s |      14 |   150419 |    79852 |    16096      8 |      808 |      710
138.67/138.78	c  138s |      14 |   151425 |    80752 |    16096      8 |      808 |      710
140.77/140.85	c  140s |      14 |   152441 |    81652 |    16096      8 |      808 |      710
142.86/142.94	c  142s |      14 |   153458 |    82552 |    16096      8 |      808 |      710
145.06/145.11	c  144s |      14 |   154490 |    83452 |    16096      8 |      808 |      710
147.06/147.18	c  146s |      14 |   155722 |    84452 |    16096      8 |      808 |      710
149.16/149.26	c  149s |      14 |   156864 |    85452 |    16096      8 |      808 |      710
151.37/151.41	c  151s |      14 |   157920 |    86352 |    16096      8 |      808 |      710
153.57/153.67	c  153s |      14 |   158989 |    87252 |    17706      8 |      808 |      710
154.67/154.72	c  154s |      15 |   159434 |    87632 |    17706      8 |      808 |      710
156.67/156.74	c  156s |      15 |   165001 |    89432 |    17706      8 |      808 |      710
158.67/158.76	c  158s |      15 |   168016 |    91132 |    17706      9 |      808 |      710
160.68/160.77	c  160s |      15 |   170558 |    92832 |    17706      9 |      808 |      710
162.78/162.86	c  162s |      15 |   172192 |    94132 |    17706      9 |      808 |      710
164.87/164.90	c  164s |      15 |   173737 |    95332 |    17706      9 |      808 |      710
166.87/166.99	c  166s |      15 |   174955 |    96332 |    17706      9 |      808 |      710
168.97/169.00	c  168s |      15 |   176027 |    97232 |    17706      9 |      808 |      710
170.97/171.09	c  170s |      15 |   177060 |    98132 |    17706      9 |      808 |      710
173.16/173.22	c  172s |      15 |   178263 |    99132 |    17706      9 |      808 |      710
175.16/175.26	c  175s |      15 |   179326 |   100032 |    17706      9 |      808 |      710
177.17/177.26	c  177s |      15 |   180497 |   100932 |    17706     10 |      808 |      710
179.27/179.38	c  179s |      15 |   181877 |   102032 |    17706     10 |      808 |      710
181.26/181.38	c  181s |      15 |   182980 |   102932 |    17706     10 |      808 |      710
183.36/183.48	c  183s |      15 |   184016 |   103832 |    17706     10 |      808 |      710
185.46/185.56	c  185s |      15 |   185512 |   104932 |    17706     10 |      808 |      710
187.56/187.66	c  187s |      15 |   186709 |   105932 |    17706     10 |      808 |      710
189.66/189.78	c  189s |      15 |   187755 |   106832 |    17706     10 |      808 |      710
191.86/191.98	c  191s |      15 |   188858 |   107732 |    17706     10 |      808 |      710
194.06/194.10	c  193s |      15 |   189958 |   108632 |    17706     10 |      808 |      710
196.26/196.32	c  196s |      15 |   190889 |   109432 |    17706     10 |      808 |      710
198.36/198.47	c  198s |      15 |   191783 |   110232 |    17706     10 |      808 |      710
200.56/200.62	c  200s |      15 |   192602 |   110932 |    17706     10 |      808 |      710
202.56/202.63	c  202s |      15 |   193390 |   111632 |    17706     11 |      808 |      710
204.57/204.70	c  204s |      15 |   194447 |   112532 |    17706     11 |      808 |      710
206.66/206.77	c  206s |      15 |   195324 |   113332 |    17706     11 |      808 |      710
208.86/208.97	c  208s |      15 |   196428 |   114232 |    17706     11 |      808 |      710
211.06/211.15	c  210s |      15 |   197526 |   115132 |    17706     11 |      808 |      710
213.16/213.23	c  212s |      15 |   198463 |   115932 |    17706     11 |      808 |      710
215.25/215.32	c  215s |      15 |   199260 |   116632 |    17706     11 |      808 |      710
217.45/217.53	c  217s |      15 |   200258 |   117432 |    17706     11 |      808 |      710
219.45/219.55	c  219s |      15 |   201093 |   118132 |    17706     11 |      808 |      710
221.45/221.56	c  221s |      15 |   201892 |   118832 |    17706     11 |      808 |      710
223.55/223.68	c  223s |      15 |   202716 |   119532 |    17706     11 |      808 |      710
225.75/225.86	c  225s |      15 |   203552 |   120232 |    17706     11 |      808 |      710
227.85/227.90	c  227s |      15 |   204363 |   120932 |    17706     11 |      808 |      710
230.15/230.29	c  230s |      15 |   205301 |   121732 |    17706     12 |      808 |      710
232.25/232.33	c  232s |      15 |   206221 |   122532 |    17706     12 |      808 |      710
234.55/234.64	c  234s |      15 |   207132 |   123332 |    17706     12 |      808 |      710
236.75/236.84	c  236s |      15 |   207918 |   124032 |    17706     12 |      808 |      710
238.94/239.02	c  238s |      15 |   208714 |   124732 |    17706     12 |      808 |      710
240.95/241.03	c  240s |      15 |   209491 |   125432 |    17706     12 |      808 |      710
243.15/243.27	c  243s |      15 |   210386 |   126232 |    17706     12 |      808 |      710
245.44/245.57	c  245s |      15 |   211259 |   127032 |    17706     12 |      808 |      710
247.45/247.59	c  247s |      15 |   212063 |   127732 |    17706     12 |      808 |      710
249.75/249.82	c  249s |      15 |   212961 |   128532 |    17706     12 |      808 |      710
252.04/252.15	c  251s |      15 |   213901 |   129332 |    17706     12 |      808 |      710
254.34/254.41	c  254s |      15 |   214676 |   130032 |    17706     12 |      808 |      710
256.35/256.41	c  256s |      15 |   215371 |   130632 |    17706     12 |      808 |      710
258.45/258.54	c  258s |      15 |   216045 |   131232 |    19477     12 |      808 |      710
259.65/259.76	c  259s |      16 |   216422 |   131552 |    19477     12 |      808 |      710
261.64/261.80	c  261s |      16 |   220713 |   133052 |    19477     13 |      808 |      710
263.84/263.92	c  263s |      16 |   223049 |   134852 |    19477     13 |      808 |      710
265.84/265.95	c  265s |      16 |   231652 |   137252 |    19477     13 |      808 |      710
267.94/268.02	c  267s |      16 |   236457 |   139352 |    19477     13 |      808 |      710
269.94/270.03	c  269s |      16 |   239933 |   140852 |    19477     13 |      808 |      710
271.93/272.04	c  271s |      16 |   242206 |   142352 |    19477     13 |      808 |      710
273.94/274.05	c  273s |      16 |   243841 |   143452 |    19477     14 |      808 |      710
275.93/276.08	c  275s |      16 |   247287 |   145352 |    19477     14 |      808 |      710
277.93/278.09	c  277s |      16 |   249379 |   146852 |    19477     14 |      808 |      710
280.03/280.14	c  279s |      16 |   251177 |   148252 |    19477     14 |      808 |      710
282.03/282.18	c  281s |      16 |   252961 |   149552 |    19477     14 |      808 |      710
284.23/284.39	c  284s |      16 |   254783 |   150852 |    19477     14 |      808 |      710
286.33/286.49	c  286s |      16 |   255976 |   151752 |    19477     14 |      808 |      710
288.43/288.52	c  288s |      16 |   257301 |   152752 |    19477     14 |      808 |      710
290.43/290.55	c  290s |      16 |   258672 |   153752 |    19477     14 |      808 |      710
292.64/292.79	c  292s |      16 |   260051 |   154852 |    19477     14 |      808 |      710
294.92/295.02	c  294s |      16 |   261245 |   155752 |    19477     15 |      808 |      710
297.03/297.13	c  296s |      16 |   262435 |   156652 |    19477     15 |      808 |      710
299.13/299.30	c  299s |      16 |   263584 |   157552 |    19477     15 |      808 |      710
301.43/301.52	c  301s |      16 |   264907 |   158552 |    19477     15 |      808 |      710
303.53/303.63	c  303s |      16 |   265911 |   159352 |    19477     15 |      808 |      710
305.62/305.71	c  305s |      16 |   266903 |   160152 |    19477     15 |      808 |      710
307.82/307.93	c  307s |      16 |   267880 |   160952 |    19477     15 |      808 |      710
309.93/310.02	c  309s |      16 |   268747 |   161652 |    19477     15 |      808 |      710
312.03/312.17	c  311s |      16 |   269875 |   162452 |    19477     15 |      808 |      710
314.13/314.23	c  313s |      16 |   270980 |   163452 |    19477     15 |      808 |      710
316.13/316.27	c  316s |      16 |   271838 |   164252 |    19477     15 |      808 |      710
318.13/318.27	c  318s |      16 |   272480 |   164852 |    19477     15 |      808 |      710
320.23/320.39	c  320s |      16 |   273112 |   165452 |    19477     15 |      808 |      710
322.34/322.42	c  322s |      16 |   273810 |   166052 |    19477     15 |      808 |      710
324.33/324.43	c  324s |      16 |   274477 |   166652 |    19477     16 |      808 |      710
326.33/326.45	c  326s |      16 |   275283 |   167352 |    19477     16 |      808 |      710
328.33/328.45	c  328s |      16 |   276055 |   168052 |    19477     16 |      808 |      710
330.62/330.75	c  330s |      16 |   276973 |   168852 |    19477     16 |      808 |      710
332.72/332.85	c  332s |      16 |   277844 |   169552 |    19477     16 |      808 |      710
334.82/334.94	c  334s |      16 |   278715 |   170252 |    19477     16 |      808 |      710
337.02/337.14	c  336s |      16 |   279862 |   171152 |    19477     16 |      808 |      710
339.02/339.17	c  338s |      16 |   280845 |   171952 |    19477     16 |      808 |      710
341.03/341.19	c  340s |      16 |   281673 |   172652 |    19477     16 |      808 |      710
343.23/343.35	c  343s |      16 |   282532 |   173352 |    19477     16 |      808 |      710
345.33/345.50	c  345s |      16 |   283397 |   174052 |    19477     16 |      808 |      710
347.63/347.76	c  347s |      16 |   284384 |   174852 |    19477     16 |      808 |      710
349.83/349.98	c  349s |      16 |   285253 |   175552 |    19477     16 |      808 |      710
351.93/352.06	c  351s |      16 |   286122 |   176252 |    19477     16 |      808 |      710
354.02/354.14	c  353s |      16 |   286836 |   176852 |    19477     16 |      808 |      710
356.02/356.19	c  355s |      16 |   287601 |   177452 |    19477     16 |      808 |      710
358.12/358.26	c  357s |      16 |   288360 |   178052 |    19477     17 |      808 |      710
360.32/360.49	c  360s |      16 |   289430 |   178952 |    19477     17 |      808 |      710
362.61/362.72	c  362s |      16 |   290517 |   179852 |    19477     17 |      808 |      710
364.71/364.84	c  364s |      16 |   291302 |   180552 |    19477     17 |      808 |      710
366.81/366.91	c  366s |      16 |   292152 |   181252 |    19477     17 |      808 |      710
368.81/368.93	c  368s |      16 |   293649 |   182352 |    19477     17 |      808 |      710
370.81/370.98	c  370s |      16 |   295011 |   183452 |    19477     17 |      808 |      710
372.92/373.06	c  372s |      16 |   296231 |   184452 |    19477     17 |      808 |      710
375.02/375.18	c  374s |      16 |   297387 |   185452 |    19477     17 |      808 |      710
377.32/377.48	c  377s |      16 |   298606 |   186452 |    19477     17 |      808 |      710
379.61/379.73	c  379s |      16 |   299504 |   187252 |    19477     17 |      808 |      710
381.80/381.96	c  381s |      16 |   300401 |   188052 |    19477     17 |      808 |      710
383.91/384.07	c  383s |      16 |   301338 |   188852 |    19477     17 |      808 |      710
385.90/386.10	c  385s |      16 |   302014 |   189452 |    19477     18 |      808 |      710
388.10/388.28	c  388s |      16 |   303062 |   190352 |    19477     18 |      808 |      710
390.30/390.47	c  390s |      16 |   303975 |   191152 |    19477     18 |      808 |      710
392.40/392.53	c  392s |      16 |   304762 |   191852 |    19477     18 |      808 |      710
394.60/394.74	c  394s |      16 |   305654 |   192652 |    19477     18 |      808 |      710
396.80/397.00	c  396s |      16 |   306424 |   193352 |    19477     18 |      808 |      710
398.99/399.14	c  398s |      16 |   307207 |   194052 |    19477     18 |      808 |      710
401.19/401.38	c  401s |      16 |   307985 |   194752 |    19477     18 |      808 |      710
403.29/403.44	c  403s |      16 |   308822 |   195452 |    19477     18 |      808 |      710
405.39/405.55	c  405s |      16 |   309896 |   196352 |    21425     18 |      808 |      710
407.69/407.81	c  407s |      16 |   310822 |   197152 |    21425     18 |      808 |      710
408.49/408.69	c  408s |      17 |   311121 |   197432 |    21425     18 |      808 |      710
410.69/410.80	c  410s |      17 |   317752 |   199032 |    21425     18 |      808 |      710
412.69/412.85	c  412s |      17 |   319832 |   200632 |    21425     18 |      808 |      710
414.79/414.95	c  414s |      17 |   324736 |   202332 |    21425     19 |      808 |      710
416.80/416.97	c  416s |      17 |   327398 |   204132 |    21425     19 |      808 |      710
418.89/419.06	c  418s |      17 |   329211 |   205532 |    21425     19 |      808 |      710
421.09/421.24	c  420s |      17 |   330843 |   206832 |    21425     19 |      808 |      710
423.19/423.30	c  423s |      17 |   333762 |   208432 |    21425     19 |      808 |      710
425.19/425.38	c  425s |      17 |   337541 |   210232 |    21425     19 |      808 |      710
427.29/427.49	c  427s |      17 |   339875 |   211732 |    21425     19 |      808 |      710
429.49/429.60	c  429s |      17 |   341296 |   212832 |    21425     19 |      808 |      710
431.59/431.73	c  431s |      17 |   342544 |   213832 |    21425     19 |      808 |      710
433.69/433.82	c  433s |      17 |   343772 |   214732 |    21425     20 |      808 |      710
435.78/435.93	c  435s |      17 |   344973 |   215732 |    21425     20 |      808 |      710
437.88/438.09	c  437s |      17 |   346437 |   216832 |    21425     20 |      808 |      710
439.99/440.14	c  439s |      17 |   347672 |   217832 |    21425     20 |      808 |      710
442.09/442.30	c  442s |      17 |   348953 |   218832 |    21425     20 |      808 |      710
444.29/444.46	c  444s |      17 |   350088 |   219732 |    21425     20 |      808 |      710
446.38/446.50	c  446s |      17 |   351108 |   220532 |    21425     20 |      808 |      710
448.48/448.67	c  448s |      17 |   352251 |   221432 |    21425     20 |      808 |      710
450.58/450.74	c  450s |      17 |   353546 |   222432 |    21425     20 |      808 |      710
452.68/452.89	c  452s |      17 |   354881 |   223432 |    21425     20 |      808 |      710
454.98/455.11	c  454s |      17 |   356017 |   224332 |    21425     20 |      808 |      710
457.08/457.25	c  456s |      17 |   356983 |   225132 |    21425     20 |      808 |      710
459.27/459.41	c  459s |      17 |   357959 |   225932 |    21425     20 |      808 |      710
461.37/461.53	c  461s |      17 |   358680 |   226532 |    21425     21 |      808 |      710
463.57/463.72	c  463s |      17 |   359752 |   227432 |    21425     21 |      808 |      710
465.67/465.84	c  465s |      17 |   360686 |   228232 |    21425     21 |      808 |      710
467.77/467.93	c  467s |      17 |   361851 |   229132 |    21425     21 |      808 |      710
469.87/470.04	c  469s |      17 |   362861 |   229932 |    21425     21 |      808 |      710
471.97/472.13	c  471s |      17 |   364371 |   230932 |    21425     21 |      808 |      710
473.98/474.13	c  473s |      17 |   366320 |   232132 |    21425     21 |      808 |      710
476.07/476.27	c  476s |      17 |   367562 |   233132 |    21425     21 |      808 |      710
478.27/478.45	c  478s |      17 |   368735 |   234132 |    21425     21 |      808 |      710
480.37/480.51	c  480s |      17 |   369832 |   235032 |    21425     21 |      808 |      710
482.37/482.56	c  482s |      17 |   370636 |   235732 |    21425     21 |      808 |      710
484.57/484.76	c  484s |      17 |   372038 |   236732 |    21425     21 |      808 |      710
486.77/486.98	c  486s |      17 |   373175 |   237632 |    21425     21 |      808 |      710
488.97/489.19	c  488s |      17 |   374555 |   238632 |    21425     21 |      808 |      710
491.17/491.33	c  491s |      17 |   375629 |   239432 |    21425     22 |      808 |      710
493.27/493.40	c  493s |      17 |   376758 |   240332 |    21425     22 |      808 |      710
495.36/495.59	c  495s |      17 |   377978 |   241332 |    21425     22 |      808 |      710
497.46/497.63	c  497s |      17 |   378920 |   242132 |    21425     22 |      808 |      710
499.66/499.83	c  499s |      17 |   380147 |   243032 |    21425     22 |      808 |      710
501.86/502.02	c  501s |      17 |   381547 |   244032 |    21425     22 |      808 |      710
504.06/504.28	c  504s |      17 |   382505 |   244832 |    21425     22 |      808 |      710
506.06/506.29	c  506s |      17 |   383351 |   245532 |    21425     22 |      808 |      710
508.26/508.49	c  508s |      17 |   384508 |   246432 |    21425     22 |      808 |      710
510.46/510.66	c  510s |      17 |   385478 |   247232 |    21425     22 |      808 |      710
512.47/512.70	c  512s |      17 |   386302 |   247932 |    21425     22 |      808 |      710
514.77/514.91	c  514s |      17 |   387265 |   248732 |    21425     22 |      808 |      710
516.87/517.07	c  516s |      17 |   388331 |   249532 |    21425     22 |      808 |      710
519.06/519.24	c  518s |      17 |   389368 |   250332 |    21425     22 |      808 |      710
521.05/521.25	c  520s |      17 |   390225 |   251032 |    21425     22 |      808 |      710
523.25/523.40	c  523s |      17 |   391064 |   251732 |    21425     23 |      808 |      710
525.25/525.48	c  525s |      17 |   392176 |   252632 |    21425     23 |      808 |      710
527.35/527.52	c  527s |      17 |   393157 |   253432 |    21425     23 |      808 |      710
529.55/529.74	c  529s |      17 |   394256 |   254332 |    21425     23 |      808 |      710
531.65/531.80	c  531s |      17 |   395279 |   255132 |    21425     23 |      808 |      710
533.84/534.00	c  533s |      17 |   396091 |   255832 |    21425     23 |      808 |      710
535.84/536.02	c  535s |      17 |   396895 |   256532 |    21425     23 |      808 |      710
538.04/538.26	c  538s |      17 |   397738 |   257232 |    21425     23 |      808 |      710
540.24/540.42	c  540s |      17 |   398556 |   257932 |    21425     23 |      808 |      710
542.54/542.77	c  542s |      17 |   399383 |   258632 |    21425     23 |      808 |      710
544.84/545.09	c  544s |      17 |   400270 |   259332 |    21425     23 |      808 |      710
547.14/547.35	c  547s |      17 |   401082 |   260032 |    21425     23 |      808 |      710
549.23/549.42	c  549s |      17 |   401925 |   260732 |    21425     23 |      808 |      710
551.43/551.64	c  551s |      17 |   402778 |   261432 |    21425     23 |      808 |      710
553.74/553.92	c  553s |      17 |   403625 |   262132 |    21425     23 |      808 |      710
555.74/555.97	c  555s |      17 |   404533 |   262832 |    21425     23 |      808 |      710
557.74/557.97	c  557s |      17 |   405677 |   263532 |    21425     24 |      808 |      710
559.84/560.02	c  559s |      17 |   406768 |   264432 |    21425     24 |      808 |      710
561.83/562.04	c  561s |      17 |   408151 |   265432 |    21425     24 |      808 |      710
563.83/564.08	c  563s |      17 |   409392 |   266432 |    21425     24 |      808 |      710
566.03/566.21	c  565s |      17 |   410564 |   267332 |    21425     24 |      808 |      710
568.03/568.26	c  568s |      17 |   411445 |   268032 |    21425     24 |      808 |      710
570.22/570.41	c  570s |      17 |   412262 |   268732 |    21425     24 |      808 |      710
572.52/572.71	c  572s |      17 |   413179 |   269432 |    21425     24 |      808 |      710
574.62/574.89	c  574s |      17 |   414066 |   270132 |    21425     24 |      808 |      710
576.92/577.11	c  576s |      17 |   415056 |   270932 |    21425     24 |      808 |      710
579.01/579.25	c  578s |      17 |   416052 |   271732 |    21425     24 |      808 |      710
581.11/581.39	c  581s |      17 |   416773 |   272332 |    21425     24 |      808 |      710
583.51/583.74	c  583s |      17 |   417483 |   272932 |    21425     24 |      808 |      710
585.81/586.03	c  585s |      17 |   418331 |   273632 |    21425     24 |      808 |      710
588.01/588.24	c  587s |      17 |   419067 |   274232 |    21425     24 |      808 |      710
590.30/590.54	c  590s |      17 |   419781 |   274832 |    21425     24 |      808 |      710
592.30/592.58	c  592s |      17 |   420521 |   275432 |    21425     24 |      808 |      710
594.70/594.96	c  594s |      17 |   421252 |   276032 |    21425     25 |      808 |      710
596.70/596.98	c  596s |      17 |   422360 |   276932 |    21425     25 |      808 |      710
599.00/599.22	c  598s |      17 |   423306 |   277732 |    21425     25 |      808 |      710
601.09/601.31	c  601s |      17 |   424153 |   278432 |    21425     25 |      808 |      710
603.19/603.47	c  603s |      17 |   424986 |   279132 |    21425     25 |      808 |      710
605.29/605.54	c  605s |      17 |   425688 |   279732 |    21425     25 |      808 |      710
607.49/607.74	c  607s |      17 |   426663 |   280532 |    21425     25 |      808 |      710
609.49/609.78	c  609s |      17 |   427482 |   281232 |    21425     25 |      808 |      710
611.58/611.85	c  611s |      17 |   428358 |   281932 |    21425     25 |      808 |      710
613.78/614.02	c  613s |      17 |   429165 |   282632 |    21425     25 |      808 |      710
615.79/616.05	c  615s |      17 |   430033 |   283332 |    21425     25 |      808 |      710
617.99/618.25	c  617s |      17 |   431223 |   284232 |    21425     25 |      808 |      710
619.98/620.27	c  620s |      17 |   432095 |   284932 |    21425     25 |      808 |      710
622.18/622.40	c  622s |      17 |   432992 |   285632 |    21425     25 |      808 |      710
624.59/624.85	c  624s |      17 |   433830 |   286332 |    21425     25 |      808 |      710
626.58/626.85	c  626s |      17 |   434684 |   287032 |    21425     25 |      808 |      710
628.78/629.00	c  628s |      17 |   435395 |   287632 |    21425     25 |      808 |      710
630.97/631.28	c  631s |      17 |   436133 |   288232 |    21425     26 |      808 |      710
633.07/633.30	c  633s |      17 |   436968 |   288932 |    21425     26 |      808 |      710
635.17/635.49	c  635s |      17 |   437796 |   289632 |    21425     26 |      808 |      710
637.47/637.72	c  637s |      17 |   438584 |   290332 |    21425     26 |      808 |      710
639.66/639.92	c  639s |      17 |   439424 |   291032 |    21425     26 |      808 |      710
641.76/642.07	c  641s |      17 |   440112 |   291632 |    21425     26 |      808 |      710
643.86/644.14	c  643s |      17 |   441000 |   292332 |    21425     26 |      808 |      710
645.86/646.16	c  645s |      17 |   441998 |   293132 |    21425     26 |      808 |      710
648.06/648.36	c  648s |      17 |   442969 |   293932 |    21425     26 |      808 |      710
650.15/650.48	c  650s |      17 |   443800 |   294632 |    23568     26 |      808 |      710
652.55/652.81	c  652s |      17 |   444742 |   295432 |    23568     26 |      808 |      710
654.75/655.07	c  654s |      17 |   445622 |   296132 |    23568     26 |      808 |      710
655.15/655.43	c  655s |      18 |   445772 |   296252 |    23568     26 |      808 |      710
657.25/657.51	c  657s |      18 |   449553 |   297852 |    23568     26 |      808 |      710
659.34/659.60	c  659s |      18 |   451676 |   299752 |    23568     26 |      808 |      710
661.34/661.69	c  661s |      18 |   453434 |   301352 |    23568     26 |      808 |      710
663.44/663.73	c  663s |      18 |   454625 |   302452 |    23568     27 |      808 |      710
665.45/665.78	c  665s |      18 |   455943 |   303652 |    23568     27 |      808 |      710
667.65/667.90	c  667s |      18 |   457393 |   304952 |    23568     27 |      808 |      710
669.65/670.00	c  669s |      18 |   458576 |   306052 |    23568     27 |      808 |      710
671.85/672.17	c  671s |      18 |   459637 |   307052 |    23568     27 |      808 |      710
673.94/674.28	c  674s |      18 |   460821 |   308152 |    23568     27 |      808 |      710
676.04/676.36	c  676s |      18 |   461766 |   309052 |    23568     27 |      808 |      710
678.04/678.37	c  678s |      18 |   462625 |   309852 |    23568     27 |      808 |      710
680.03/680.39	c  680s |      18 |   463566 |   310752 |    23568     27 |      808 |      710
682.13/682.43	c  682s |      18 |   464415 |   311552 |    23568     27 |      808 |      710
684.13/684.45	c  684s |      18 |   465282 |   312352 |    23568     27 |      808 |      710
686.43/686.71	c  686s |      18 |   466119 |   313152 |    23568     27 |      808 |      710
688.63/688.94	c  688s |      18 |   466964 |   313952 |    23568     27 |      808 |      710
690.72/691.07	c  690s |      18 |   467695 |   314652 |    23568     27 |      808 |      710
692.83/693.16	c  692s |      18 |   468436 |   315352 |    23568     27 |      808 |      710
695.03/695.33	c  695s |      18 |   469300 |   316152 |    23568     28 |      808 |      710
697.23/697.52	c  697s |      18 |   470301 |   317052 |    23568     28 |      808 |      710
699.43/699.71	c  699s |      18 |   471142 |   317852 |    23568     28 |      808 |      710
701.63/701.91	c  701s |      18 |   471898 |   318552 |    23568     28 |      808 |      710
703.83/704.17	c  703s |      18 |   472644 |   319252 |    23568     28 |      808 |      710
706.12/706.47	c  706s |      18 |   473383 |   319952 |    23568     28 |      808 |      710
708.42/708.72	c  708s |      18 |   474113 |   320652 |    23568     28 |      808 |      710
710.61/710.91	c  710s |      18 |   474856 |   321352 |    23568     28 |      808 |      710
712.62/712.97	c  712s |      18 |   475480 |   321952 |    23568     28 |      808 |      710
714.91/715.28	c  715s |      18 |   476227 |   322652 |    23568     28 |      808 |      710
716.92/717.29	c  717s |      18 |   476861 |   323252 |    23568     28 |      808 |      710
719.11/719.41	c  719s |      18 |   477496 |   323852 |    23568     28 |      808 |      710
721.20/721.54	c  721s |      18 |   478122 |   324452 |    23568     28 |      808 |      710
723.30/723.63	c  723s |      18 |   478761 |   325052 |    23568     28 |      808 |      710
725.71/726.05	c  725s |      18 |   479396 |   325652 |    23568     28 |      808 |      710
728.10/728.44	c  728s |      18 |   480025 |   326252 |    23568     28 |      808 |      710
730.10/730.49	c  730s |      18 |   480549 |   326752 |    23568     28 |      808 |      710
732.40/732.74	c  732s |      18 |   481070 |   327252 |    23568     28 |      808 |      710
734.50/734.89	c  734s |      18 |   481610 |   327752 |    23568     28 |      808 |      710
736.80/737.19	c  736s |      18 |   482241 |   328352 |    23568     28 |      808 |      710
739.39/739.72	c  739s |      18 |   482772 |   328852 |    23568     29 |      808 |      710
741.39/741.74	c  741s |      18 |   483609 |   329652 |    23568     29 |      808 |      710
743.59/743.90	c  743s |      18 |   484458 |   330452 |    23568     29 |      808 |      710
745.79/746.12	c  745s |      18 |   485291 |   331252 |    23568     29 |      808 |      710
747.98/748.35	c  748s |      18 |   486164 |   332052 |    23568     29 |      808 |      710
750.18/750.59	c  750s |      18 |   486921 |   332752 |    23568     29 |      808 |      710
752.38/752.71	c  752s |      18 |   487663 |   333452 |    23568     29 |      808 |      710
754.58/754.99	c  754s |      18 |   488398 |   334152 |    23568     29 |      808 |      710
756.88/757.24	c  756s |      18 |   489136 |   334852 |    23568     29 |      808 |      710
759.17/759.54	c  759s |      18 |   489889 |   335552 |    23568     29 |      808 |      710
761.37/761.74	c  761s |      18 |   490651 |   336252 |    23568     29 |      808 |      710
763.67/764.05	c  763s |      18 |   491404 |   336952 |    23568     29 |      808 |      710
765.77/766.10	c  765s |      18 |   492034 |   337552 |    23568     29 |      808 |      710
767.87/768.24	c  767s |      18 |   492668 |   338152 |    23568     29 |      808 |      710
770.16/770.53	c  770s |      18 |   493324 |   338752 |    23568     29 |      808 |      710
772.46/772.82	c  772s |      18 |   493959 |   339352 |    23568     29 |      808 |      710
774.76/775.10	c  774s |      18 |   494613 |   339952 |    23568     29 |      808 |      710
776.76/777.17	c  776s |      18 |   495155 |   340452 |    23568     29 |      808 |      710
779.15/779.56	c  779s |      18 |   495791 |   341052 |    23568     29 |      808 |      710
781.55/781.98	c  781s |      18 |   496305 |   341552 |    23568     29 |      808 |      710
783.85/784.23	c  783s |      18 |   496819 |   342052 |    23568     29 |      808 |      710
785.85/786.28	c  786s |      18 |   497353 |   342552 |    23568     30 |      808 |      710
788.05/788.47	c  788s |      18 |   498199 |   343352 |    23568     30 |      808 |      710
790.15/790.55	c  790s |      18 |   498955 |   344052 |    23568     30 |      808 |      710
792.45/792.82	c  792s |      18 |   499795 |   344852 |    23568     30 |      808 |      710
794.55/794.93	c  794s |      18 |   500541 |   345552 |    23568     30 |      808 |      710
796.54/796.95	c  796s |      18 |   501172 |   346152 |    23568     30 |      808 |      710
798.64/799.05	c  798s |      18 |   501798 |   346752 |    23568     30 |      808 |      710
800.94/801.38	c  801s |      18 |   502559 |   347452 |    23568     30 |      808 |      710
803.24/803.65	c  803s |      18 |   503293 |   348152 |    23568     30 |      808 |      710
805.44/805.87	c  805s |      18 |   503929 |   348752 |    23568     30 |      808 |      710
807.74/808.10	c  807s |      18 |   504552 |   349352 |    23568     30 |      808 |      710
809.73/810.11	c  809s |      18 |   505095 |   349852 |    23568     30 |      808 |      710
811.73/812.17	c  811s |      18 |   505625 |   350352 |    23568     30 |      808 |      710
813.74/814.18	c  813s |      18 |   506155 |   350852 |    23568     30 |      808 |      710
816.03/816.46	c  816s |      18 |   506828 |   351452 |    23568     30 |      808 |      710
818.14/818.57	c  818s |      18 |   507519 |   352052 |    23568     30 |      808 |      710
820.33/820.76	c  820s |      18 |   508172 |   352652 |    23568     30 |      808 |      710
822.62/823.03	c  822s |      18 |   508836 |   353252 |    23568     30 |      808 |      710
824.92/825.35	c  825s |      18 |   509489 |   353852 |    23568     30 |      808 |      710
827.02/827.46	c  827s |      18 |   510052 |   354352 |    23568     30 |      808 |      710
829.02/829.50	c  829s |      18 |   510578 |   354852 |    23568     30 |      808 |      710
831.81/832.24	c  831s |      18 |   511234 |   355452 |    23568     31 |      808 |      710
833.91/834.30	c  834s |      18 |   512087 |   356252 |    23568     31 |      808 |      710
836.01/836.44	c  836s |      18 |   512941 |   357052 |    23568     31 |      808 |      710
838.11/838.58	c  838s |      18 |   513808 |   357852 |    23568     31 |      808 |      710
840.20/840.63	c  840s |      18 |   514556 |   358552 |    23568     31 |      808 |      710
842.40/842.81	c  842s |      18 |   515288 |   359252 |    23568     31 |      808 |      710
844.51/844.92	c  844s |      18 |   516050 |   359952 |    23568     31 |      808 |      710
846.90/847.34	c  847s |      18 |   516807 |   360652 |    23568     31 |      808 |      710
849.09/849.59	c  849s |      18 |   517449 |   361252 |    23568     31 |      808 |      710
851.59/852.00	c  851s |      18 |   518194 |   361952 |    23568     31 |      808 |      710
853.69/854.10	c  853s |      18 |   518836 |   362552 |    23568     31 |      808 |      710
855.79/856.22	c  855s |      18 |   519477 |   363152 |    23568     31 |      808 |      710
857.89/858.38	c  858s |      18 |   520138 |   363752 |    23568     31 |      808 |      710
860.29/860.78	c  860s |      18 |   520783 |   364352 |    23568     31 |      808 |      710
862.28/862.78	c  862s |      18 |   521320 |   364852 |    23568     31 |      808 |      710
864.48/864.99	c  864s |      18 |   521973 |   365452 |    23568     31 |      808 |      710
866.88/867.31	c  867s |      18 |   522493 |   365952 |    23568     31 |      808 |      710
869.18/869.63	c  869s |      18 |   523170 |   366552 |    23568     31 |      808 |      710
871.38/871.80	c  871s |      18 |   523707 |   367052 |    23568     31 |      808 |      710
873.58/874.04	c  873s |      18 |   524232 |   367552 |    23568     31 |      808 |      710
875.58/876.09	c  875s |      18 |   524773 |   368052 |    23568     31 |      808 |      710
877.68/878.17	c  877s |      18 |   525322 |   368552 |    23568     31 |      808 |      710
879.88/880.31	c  880s |      18 |   525854 |   369052 |    23568     32 |      808 |      710
881.89/882.36	c  882s |      18 |   526595 |   369752 |    23568     32 |      808 |      710
884.08/884.58	c  884s |      18 |   527335 |   370452 |    23568     32 |      808 |      710
886.28/886.74	c  886s |      18 |   528083 |   371152 |    23568     32 |      808 |      710
888.57/889.03	c  888s |      18 |   528849 |   371852 |    23568     32 |      808 |      710
890.87/891.32	c  891s |      18 |   529592 |   372552 |    23568     32 |      808 |      710
893.07/893.55	c  893s |      18 |   530262 |   373152 |    23568     32 |      808 |      710
895.08/895.56	c  895s |      18 |   530895 |   373752 |    23568     32 |      808 |      710
897.37/897.86	c  897s |      18 |   531529 |   374352 |    23568     32 |      808 |      710
899.57/900.09	c  899s |      18 |   532161 |   374952 |    23568     32 |      808 |      710
901.77/902.29	c  902s |      18 |   532788 |   375552 |    23568     32 |      808 |      710
904.07/904.60	c  904s |      18 |   533430 |   376152 |    23568     32 |      808 |      710
906.47/906.99	c  906s |      18 |   534081 |   376752 |    23568     32 |      808 |      710
908.87/909.33	c  909s |      18 |   534727 |   377352 |    23568     32 |      808 |      710
910.87/911.35	c  911s |      18 |   535287 |   377852 |    23568     32 |      808 |      710
912.87/913.39	c  913s |      18 |   535851 |   378352 |    23568     32 |      808 |      710
914.97/915.46	c  915s |      18 |   536374 |   378852 |    23568     32 |      808 |      710
917.17/917.66	c  917s |      18 |   536894 |   379352 |    23568     32 |      808 |      710
919.28/919.78	c  919s |      18 |   537447 |   379852 |    23568     32 |      808 |      710
921.77/922.25	c  921s |      18 |   538082 |   380452 |    23568     32 |      808 |      710
924.07/924.59	c  924s |      18 |   538744 |   381052 |    23568     32 |      808 |      710
926.47/926.97	c  926s |      18 |   539379 |   381652 |    23568     32 |      808 |      710
928.77/929.28	c  929s |      18 |   539909 |   382152 |    23568     33 |      808 |      710
930.97/931.49	c  931s |      18 |   540781 |   382952 |    23568     33 |      808 |      710
933.27/933.73	c  933s |      18 |   541618 |   383752 |    23568     33 |      808 |      710
935.26/935.77	c  935s |      18 |   542348 |   384452 |    23568     33 |      808 |      710
937.36/937.82	c  937s |      18 |   543095 |   385152 |    23568     33 |      808 |      710
939.36/939.87	c  939s |      18 |   543832 |   385852 |    23568     33 |      808 |      710
941.66/942.20	c  941s |      18 |   544565 |   386552 |    23568     33 |      808 |      710
944.06/944.50	c  944s |      18 |   545294 |   387252 |    23568     33 |      808 |      710
946.16/946.65	c  946s |      18 |   545931 |   387852 |    23568     33 |      808 |      710
948.36/948.82	c  948s |      18 |   546558 |   388452 |    23568     33 |      808 |      710
950.56/951.00	c  950s |      18 |   547197 |   389052 |    23568     33 |      808 |      710
952.56/953.04	c  952s |      18 |   547850 |   389652 |    23568     33 |      808 |      710
954.66/955.17	c  954s |      18 |   548493 |   390252 |    23568     33 |      808 |      710
956.96/957.47	c  957s |      18 |   549126 |   390852 |    23568     33 |      808 |      710
959.16/959.64	c  959s |      18 |   549650 |   391352 |    23568     33 |      808 |      710
961.46/961.92	c  961s |      18 |   550310 |   391952 |    23568     33 |      808 |      710
963.66/964.11	c  963s |      18 |   550966 |   392552 |    23568     33 |      808 |      710
965.66/966.16	c  965s |      18 |   551633 |   393152 |    23568     33 |      808 |      710
967.76/968.29	c  968s |      18 |   552283 |   393752 |    23568     33 |      808 |      710
970.16/970.66	c  970s |      18 |   552962 |   394352 |    23568     33 |      808 |      710
972.16/972.69	c  972s |      18 |   553521 |   394852 |    23568     33 |      808 |      710
974.66/975.15	c  974s |      18 |   554071 |   395352 |    23568     34 |      808 |      710
976.86/977.35	c  977s |      18 |   554937 |   396152 |    23568     34 |      808 |      710
979.06/979.55	c  979s |      18 |   555684 |   396852 |    23568     34 |      808 |      710
981.06/981.59	c  981s |      18 |   556428 |   397552 |    23568     34 |      808 |      710
983.26/983.76	c  983s |      18 |   557173 |   398252 |    23568     34 |      808 |      710
985.36/985.84	c  985s |      18 |   557915 |   398952 |    23568     34 |      808 |      710
987.66/988.10	c  987s |      18 |   558651 |   399652 |    23568     34 |      808 |      710
989.76/990.27	c  990s |      18 |   559281 |   400252 |    23568     34 |      808 |      710
991.96/992.41	c  992s |      18 |   559927 |   400852 |    23568     34 |      808 |      710
994.06/994.58	c  994s |      18 |   560552 |   401452 |    23568     34 |      808 |      710
996.16/996.66	c  996s |      18 |   561189 |   402052 |    23568     34 |      808 |      710
998.36/998.87	c  998s |      18 |   561822 |   402652 |    23568     34 |      808 |      710
1000.66/1001.12	c 1000s |      18 |   562454 |   403252 |    23568     34 |      808 |      710
1002.95/1003.43	c 1003s |      18 |   563084 |   403852 |    23568     34 |      808 |      710
1005.06/1005.51	c 1005s |      18 |   563600 |   404352 |    23568     34 |      808 |      710
1007.05/1007.53	c 1007s |      18 |   564126 |   404852 |    23568     34 |      808 |      710
1009.15/1009.65	c 1009s |      18 |   564641 |   405352 |    23568     34 |      808 |      710
1011.56/1012.02	c 1011s |      18 |   565309 |   405952 |    23568     34 |      808 |      710
1013.65/1014.12	c 1013s |      18 |   565848 |   406452 |    23568     34 |      808 |      710
1015.96/1016.42	c 1016s |      18 |   566491 |   407052 |    23568     34 |      808 |      710
1018.16/1018.61	c 1018s |      18 |   567026 |   407552 |    23568     34 |      808 |      710
1020.36/1020.83	c 1020s |      18 |   567565 |   408052 |    23568     34 |      808 |      710
1022.45/1023.00	c 1022s |      18 |   568085 |   408552 |    23568     34 |      808 |      710
1024.65/1025.19	c 1024s |      18 |   568704 |   409152 |    23568     35 |      808 |      710
1026.75/1027.21	c 1026s |      18 |   569447 |   409852 |    23568     35 |      808 |      710
1028.95/1029.48	c 1029s |      18 |   570195 |   410552 |    23568     35 |      808 |      710
1031.25/1031.75	c 1031s |      18 |   570927 |   411252 |    23568     35 |      808 |      710
1033.25/1033.76	c 1033s |      18 |   571552 |   411852 |    23568     35 |      808 |      710
1035.45/1035.91	c 1035s |      18 |   572177 |   412452 |    23568     35 |      808 |      710
1037.75/1038.20	c 1037s |      18 |   572895 |   413152 |    23568     35 |      808 |      710
1039.75/1040.28	c 1040s |      18 |   573537 |   413752 |    23568     35 |      808 |      710
1042.05/1042.53	c 1042s |      18 |   574166 |   414352 |    23568     35 |      808 |      710
1044.35/1044.89	c 1044s |      18 |   574790 |   414952 |    23568     35 |      808 |      710
1046.76/1047.22	c 1046s |      18 |   575416 |   415552 |    23568     35 |      808 |      710
1049.06/1049.58	c 1049s |      18 |   576038 |   416152 |    23568     35 |      808 |      710
1051.05/1051.60	c 1051s |      18 |   576559 |   416652 |    23568     35 |      808 |      710
1053.35/1053.90	c 1053s |      18 |   577205 |   417252 |    23568     35 |      808 |      710
1055.55/1056.05	c 1055s |      18 |   577727 |   417752 |    23568     35 |      808 |      710
1057.64/1058.17	c 1057s |      18 |   578241 |   418252 |    23568     35 |      808 |      710
1059.84/1060.32	c 1060s |      18 |   578775 |   418752 |    23568     35 |      808 |      710
1062.04/1062.56	c 1062s |      18 |   579293 |   419252 |    23568     35 |      808 |      710
1064.24/1064.73	c 1064s |      18 |   579817 |   419752 |    23568     35 |      808 |      710
1066.44/1066.91	c 1066s |      18 |   580337 |   420252 |    23568     35 |      808 |      710
1068.54/1069.04	c 1068s |      18 |   580872 |   420752 |    23568     35 |      808 |      710
1070.84/1071.33	c 1071s |      18 |   581384 |   421252 |    23568     35 |      808 |      710
1072.94/1073.47	c 1073s |      18 |   581908 |   421752 |    23568     35 |      808 |      710
1075.24/1075.73	c 1075s |      18 |   582443 |   422252 |    23568     36 |      808 |      710
1077.34/1077.87	c 1077s |      18 |   583188 |   422952 |    23568     36 |      808 |      710
1079.54/1080.02	c 1079s |      18 |   584048 |   423752 |    23568     36 |      808 |      710
1081.64/1082.11	c 1081s |      18 |   584793 |   424452 |    23568     36 |      808 |      710
1083.74/1084.23	c 1083s |      18 |   585559 |   425152 |    23568     36 |      808 |      710
1085.94/1086.45	c 1086s |      18 |   586332 |   425852 |    23568     36 |      808 |      710
1088.04/1088.50	c 1088s |      18 |   587095 |   426552 |    23568     36 |      808 |      710
1090.14/1090.66	c 1090s |      18 |   587739 |   427152 |    23568     36 |      808 |      710
1092.24/1092.77	c 1092s |      18 |   588392 |   427752 |    23568     36 |      808 |      710
1094.54/1095.01	c 1094s |      18 |   589038 |   428352 |    23568     36 |      808 |      710
1096.54/1097.02	c 1096s |      18 |   589569 |   428852 |    23568     36 |      808 |      710
1098.55/1099.02	c 1098s |      18 |   590103 |   429352 |    23568     36 |      808 |      710
1100.94/1101.42	c 1101s |      18 |   590744 |   429952 |    23568     36 |      808 |      710
1103.04/1103.56	c 1103s |      18 |   591274 |   430452 |    23568     36 |      808 |      710
1105.44/1105.95	c 1105s |      18 |   591909 |   431052 |    23568     36 |      808 |      710
1107.54/1108.02	c 1107s |      18 |   592434 |   431552 |    23568     36 |      808 |      710
1109.55/1110.05	c 1109s |      18 |   592993 |   432052 |    23568     36 |      808 |      710
1111.54/1112.10	c 1111s |      18 |   593517 |   432552 |    23568     36 |      808 |      710
1113.74/1114.22	c 1113s |      18 |   594047 |   433052 |    23568     36 |      808 |      710
1115.84/1116.37	c 1116s |      18 |   594582 |   433552 |    23568     36 |      808 |      710
1118.14/1118.62	c 1118s |      18 |   595126 |   434052 |    23568     36 |      808 |      710
1120.33/1120.87	c 1120s |      18 |   595652 |   434552 |    23568     36 |      808 |      710
1122.53/1123.11	c 1122s |      18 |   596178 |   435052 |    23568     36 |      808 |      710
1124.94/1125.41	c 1125s |      18 |   596711 |   435552 |    23568     37 |      808 |      710
1127.04/1127.59	c 1127s |      18 |   597459 |   436252 |    23568     37 |      808 |      710
1129.03/1129.59	c 1129s |      18 |   598091 |   436852 |    23568     37 |      808 |      710
1131.33/1131.81	c 1131s |      18 |   598966 |   437652 |    23568     37 |      808 |      710
1133.43/1133.93	c 1133s |      18 |   599831 |   438452 |    23568     37 |      808 |      710
1135.53/1136.05	c 1135s |      18 |   600684 |   439252 |    23568     37 |      808 |      710
1137.73/1138.23	c 1137s |      18 |   601460 |   439952 |    23568     37 |      808 |      710
1139.93/1140.48	c 1140s |      18 |   602232 |   440652 |    23568     37 |      808 |      710
1142.13/1142.66	c 1142s |      18 |   602978 |   441352 |    25925     37 |      808 |      710
1144.33/1144.89	c 1144s |      18 |   603610 |   441952 |    25925     37 |      808 |      710
1146.63/1147.17	c 1146s |      18 |   604236 |   442552 |    25925     37 |      808 |      710
1148.93/1149.47	c 1149s |      18 |   604870 |   443152 |    25925     37 |      808 |      710
1151.13/1151.67	c 1151s |      18 |   605521 |   443752 |    25925     37 |      808 |      710
1153.33/1153.86	c 1153s |      18 |   606173 |   444352 |    25925     37 |      808 |      710
1153.93/1154.42	c 1154s |      19 |   606306 |   444482 |    25925     37 |      808 |      710
1156.03/1156.52	c 1156s |      19 |   612784 |   446182 |    25925     37 |      808 |      710
1158.03/1158.54	c 1158s |      19 |   614499 |   447482 |    25925     37 |      808 |      710
1160.14/1160.61	c 1160s |      19 |   615971 |   448682 |    25925     37 |      808 |      710
1162.13/1162.69	c 1162s |      19 |   617500 |   449882 |    25925     37 |      808 |      710
1164.33/1164.90	c 1164s |      19 |   618636 |   450882 |    25925     37 |      808 |      710
1166.65/1167.17	c 1166s |      19 |   619541 |   451682 |    25925     38 |      808 |      710
1168.74/1169.30	c 1169s |      19 |   620578 |   452582 |    25925     38 |      808 |      710
1171.05/1171.54	c 1171s |      19 |   621503 |   453382 |    25925     38 |      808 |      710
1173.34/1173.86	c 1173s |      19 |   622361 |   454182 |    25925     38 |      808 |      710
1175.63/1176.18	c 1175s |      19 |   623247 |   454982 |    25925     38 |      808 |      710
1177.74/1178.22	c 1177s |      19 |   623879 |   455582 |    25925     38 |      808 |      710
1179.73/1180.27	c 1180s |      19 |   624526 |   456182 |    25925     38 |      808 |      710
1182.04/1182.59	c 1182s |      19 |   625263 |   456882 |    25925     38 |      808 |      710
1184.13/1184.63	c 1184s |      19 |   625784 |   457382 |    25925     38 |      808 |      710
1186.33/1186.86	c 1186s |      19 |   626434 |   457982 |    25925     38 |      808 |      710
1188.53/1189.06	c 1188s |      19 |   627096 |   458582 |    25925     38 |      808 |      710
1190.73/1191.25	c 1190s |      19 |   627914 |   459282 |    25925     38 |      808 |      710
1192.93/1193.43	c 1193s |      19 |   628745 |   459982 |    25925     38 |      808 |      710
1195.03/1195.57	c 1195s |      19 |   629435 |   460582 |    25925     38 |      808 |      710
1197.33/1197.82	c 1197s |      19 |   630219 |   461282 |    25925     38 |      808 |      710
1199.53/1200.01	c 1199s |      19 |   631013 |   461982 |    25925     38 |      808 |      710
1201.84/1202.36	c 1202s |      19 |   631774 |   462682 |    25925     38 |      808 |      710
1203.93/1204.49	c 1204s |      19 |   632463 |   463282 |    25925     38 |      808 |      710
1206.24/1206.74	c 1206s |      19 |   633140 |   463882 |    25925     38 |      808 |      710
1208.23/1208.75	c 1208s |      19 |   633685 |   464382 |    25925     38 |      808 |      710
1210.53/1211.03	c 1210s |      19 |   634250 |   464882 |    25925     38 |      808 |      710
1212.53/1213.06	c 1212s |      19 |   634814 |   465382 |    25925     38 |      808 |      710
1214.73/1215.28	c 1215s |      19 |   635305 |   465782 |    25925     39 |      808 |      710
1217.03/1217.57	c 1217s |      19 |   635979 |   466382 |    25925     39 |      808 |      710
1219.22/1219.71	c 1219s |      19 |   636508 |   466882 |    25925     39 |      808 |      710
1221.32/1221.87	c 1221s |      19 |   637178 |   467382 |    25925     39 |      808 |      710
1223.52/1224.03	c 1223s |      19 |   637850 |   467982 |    25925     39 |      808 |      710
1225.82/1226.32	c 1226s |      19 |   638517 |   468582 |    25925     39 |      808 |      710
1228.12/1228.61	c 1228s |      19 |   639200 |   469182 |    25925     39 |      808 |      710
1230.32/1230.85	c 1230s |      19 |   639749 |   469682 |    25925     39 |      808 |      710
1232.52/1233.04	c 1232s |      19 |   640310 |   470182 |    25925     39 |      808 |      710
1234.62/1235.16	c 1234s |      19 |   640874 |   470682 |    25925     39 |      808 |      710
1236.82/1237.31	c 1237s |      19 |   641469 |   471182 |    25925     39 |      808 |      710
1238.92/1239.41	c 1239s |      19 |   642483 |   471882 |    25925     39 |      808 |      710
1241.22/1241.72	c 1241s |      19 |   643289 |   472582 |    25925     39 |      808 |      710
1243.32/1243.81	c 1243s |      19 |   643971 |   473182 |    25925     39 |      808 |      710
1245.42/1245.93	c 1245s |      19 |   644711 |   473782 |    25925     39 |      808 |      710
1247.62/1248.11	c 1247s |      19 |   645400 |   474382 |    25925     39 |      808 |      710
1249.92/1250.46	c 1250s |      19 |   646101 |   474982 |    25925     39 |      808 |      710
1252.12/1252.60	c 1252s |      19 |   646771 |   475582 |    25925     39 |      808 |      710
1254.22/1254.73	c 1254s |      19 |   647323 |   476082 |    25925     39 |      808 |      710
1256.42/1256.98	c 1256s |      19 |   647862 |   476582 |    25925     39 |      808 |      710
1258.82/1259.30	c 1259s |      19 |   648649 |   477182 |    25925     39 |      808 |      710
1260.82/1261.31	c 1261s |      19 |   649500 |   477782 |    25925     39 |      808 |      710
1263.12/1263.68	c 1263s |      19 |   650220 |   478382 |    25925     39 |      808 |      710
1265.73/1266.27	c 1266s |      19 |   650784 |   478882 |    25925     39 |      808 |      710
1267.82/1268.37	c 1268s |      19 |   651374 |   479382 |    25925     39 |      808 |      710
1269.81/1270.38	c 1270s |      19 |   651950 |   479882 |    25925     39 |      808 |      710
1272.91/1273.44	c 1273s |      19 |   652499 |   480382 |    25925     40 |      808 |      710
1274.91/1275.45	c 1275s |      19 |   653030 |   480882 |    25925     40 |      808 |      710
1277.01/1277.54	c 1277s |      19 |   653873 |   481582 |    25925     40 |      808 |      710
1279.21/1279.77	c 1279s |      19 |   654646 |   482282 |    25925     40 |      808 |      710
1281.41/1281.90	c 1281s |      19 |   655315 |   482882 |    25925     40 |      808 |      710
1283.61/1284.13	c 1283s |      19 |   655975 |   483482 |    25925     40 |      808 |      710
1285.81/1286.30	c 1286s |      19 |   656511 |   483982 |    25925     40 |      808 |      710
1288.01/1288.53	c 1288s |      19 |   657375 |   484682 |    25925     40 |      808 |      710
1290.01/1290.55	c 1290s |      19 |   658054 |   485282 |    25925     40 |      808 |      710
1292.02/1292.60	c 1292s |      19 |   658732 |   485882 |    25925     40 |      808 |      710
1294.22/1294.78	c 1294s |      19 |   659394 |   486482 |    25925     40 |      808 |      710
1296.21/1296.78	c 1296s |      19 |   659913 |   486982 |    25925     40 |      808 |      710
1298.41/1298.98	c 1298s |      19 |   660432 |   487482 |    25925     40 |      808 |      710
1300.71/1301.22	c 1300s |      19 |   660970 |   487982 |    25925     40 |      808 |      710
1303.12/1303.62	c 1303s |      19 |   661517 |   488482 |    25925     40 |      808 |      710
1305.41/1305.93	c 1305s |      19 |   662067 |   488982 |    25925     40 |      808 |      710
1307.71/1308.20	c 1307s |      19 |   662655 |   489482 |    25925     40 |      808 |      710
1309.81/1310.37	c 1310s |      19 |   663228 |   489982 |    25925     40 |      808 |      710
1312.11/1312.65	c 1312s |      19 |   663922 |   490582 |    25925     40 |      808 |      710
1314.41/1314.99	c 1314s |      19 |   664466 |   491082 |    25925     40 |      808 |      710
1316.60/1317.16	c 1316s |      19 |   665157 |   491682 |    25925     40 |      808 |      710
1319.00/1319.50	c 1319s |      19 |   665880 |   492282 |    25925     40 |      808 |      710
1321.20/1321.74	c 1321s |      19 |   666438 |   492782 |    25925     40 |      808 |      710
1323.40/1323.96	c 1323s |      19 |   666985 |   493282 |    25925     40 |      808 |      710
1325.50/1326.00	c 1325s |      19 |   667555 |   493782 |    25925     40 |      808 |      710
1327.80/1328.39	c 1328s |      19 |   668157 |   494282 |    25925     40 |      808 |      710
1330.00/1330.56	c 1330s |      19 |   668746 |   494782 |    25925     40 |      808 |      710
1332.20/1332.74	c 1332s |      19 |   669324 |   495282 |    25925     41 |      808 |      710
1334.50/1335.03	c 1334s |      19 |   670130 |   495982 |    25925     41 |      808 |      710
1336.70/1337.26	c 1337s |      19 |   670690 |   496482 |    25925     41 |      808 |      710
1339.00/1339.58	c 1339s |      19 |   671229 |   496982 |    25925     41 |      808 |      710
1341.00/1341.58	c 1341s |      19 |   671777 |   497482 |    25925     41 |      808 |      710
1343.30/1343.85	c 1343s |      19 |   672426 |   498082 |    25925     41 |      808 |      710
1345.91/1346.48	c 1346s |      19 |   673104 |   498682 |    25925     41 |      808 |      710
1348.00/1348.54	c 1348s |      19 |   673535 |   499082 |    25925     41 |      808 |      710
1350.20/1350.76	c 1350s |      19 |   674087 |   499582 |    25925     41 |      808 |      710
1352.21/1352.79	c 1352s |      19 |   674645 |   500082 |    25925     41 |      808 |      710
1354.31/1354.84	c 1354s |      19 |   675196 |   500582 |    25925     41 |      808 |      710
1356.41/1356.95	c 1356s |      19 |   675744 |   501082 |    25925     41 |      808 |      710
1358.71/1359.27	c 1359s |      19 |   676294 |   501582 |    25925     41 |      808 |      710
1361.11/1361.60	c 1361s |      19 |   676828 |   502082 |    25925     41 |      808 |      710
1363.41/1363.99	c 1363s |      19 |   677505 |   502682 |    25925     41 |      808 |      710
1365.51/1366.01	c 1365s |      19 |   678081 |   503182 |    25925     41 |      808 |      710
1367.81/1368.32	c 1368s |      19 |   678841 |   503782 |    25925     41 |      808 |      710
1370.11/1370.62	c 1370s |      19 |   679563 |   504382 |    25925     41 |      808 |      710
1372.20/1372.77	c 1372s |      19 |   680162 |   504882 |    25925     41 |      808 |      710
1374.30/1374.80	c 1374s |      19 |   680730 |   505382 |    25925     41 |      808 |      710
1376.60/1377.17	c 1376s |      19 |   681277 |   505882 |    25925     41 |      808 |      710
1378.91/1379.45	c 1379s |      19 |   681848 |   506382 |    25925     41 |      808 |      710
1381.00/1381.53	c 1381s |      19 |   682416 |   506882 |    25925     41 |      808 |      710
1383.00/1383.58	c 1383s |      19 |   682965 |   507382 |    25925     41 |      808 |      710
1385.30/1385.89	c 1385s |      19 |   683487 |   507882 |    25925     41 |      808 |      710
1387.60/1388.14	c 1387s |      19 |   684042 |   508382 |    25925     41 |      808 |      710
1389.80/1390.40	c 1390s |      19 |   684606 |   508882 |    25925     41 |      808 |      710
1392.30/1392.83	c 1392s |      19 |   685158 |   509382 |    25925     41 |      808 |      710
1394.31/1394.84	c 1394s |      19 |   685471 |   509682 |    25925     42 |      808 |      710
1396.61/1397.20	c 1396s |      19 |   686102 |   510282 |    25925     42 |      808 |      710
1398.81/1399.36	c 1399s |      19 |   686769 |   510882 |    25925     42 |      808 |      710
1401.01/1401.59	c 1401s |      19 |   687430 |   511482 |    25925     42 |      808 |      710
1403.21/1403.78	c 1403s |      19 |   688102 |   512082 |    25925     42 |      808 |      710
1405.60/1406.15	c 1405s |      19 |   688760 |   512682 |    25925     42 |      808 |      710
1407.80/1408.39	c 1408s |      19 |   689430 |   513282 |    25925     42 |      808 |      710
1410.20/1410.77	c 1410s |      19 |   690083 |   513882 |    25925     42 |      808 |      710
1412.50/1413.02	c 1412s |      19 |   690642 |   514382 |    25925     42 |      808 |      710
1414.50/1415.04	c 1414s |      19 |   691167 |   514882 |    25925     42 |      808 |      710
1416.60/1417.18	c 1416s |      19 |   691708 |   515382 |    25925     42 |      808 |      710
1418.70/1419.27	c 1419s |      19 |   692274 |   515882 |    25925     42 |      808 |      710
1420.90/1421.42	c 1421s |      19 |   692855 |   516382 |    25925     42 |      808 |      710
1423.30/1423.82	c 1423s |      19 |   693528 |   516982 |    25925     42 |      808 |      710
1425.70/1426.20	c 1425s |      19 |   694217 |   517582 |    25925     42 |      808 |      710
1428.09/1428.60	c 1428s |      19 |   694781 |   518082 |    25925     42 |      808 |      710
1430.49/1431.06	c 1430s |      19 |   695349 |   518582 |    25925     42 |      808 |      710
1432.59/1433.19	c 1432s |      19 |   695913 |   519082 |    25925     42 |      808 |      710
1435.10/1435.65	c 1435s |      19 |   696457 |   519582 |    25925     42 |      808 |      710
1437.49/1438.03	c 1437s |      19 |   697041 |   520082 |    25925     42 |      808 |      710
1439.89/1440.45	c 1440s |      19 |   697572 |   520582 |    25925     42 |      808 |      710
1441.89/1442.47	c 1442s |      19 |   698019 |   520982 |    25925     42 |      808 |      710
1444.09/1444.67	c 1444s |      19 |   698571 |   521482 |    25925     42 |      808 |      710
1446.49/1447.01	c 1446s |      19 |   699276 |   522082 |    25925     42 |      808 |      710
1448.69/1449.21	c 1448s |      19 |   699873 |   522582 |    25925     42 |      808 |      710
1450.89/1451.45	c 1451s |      19 |   700536 |   523182 |    25925     42 |      808 |      710
1453.19/1453.76	c 1453s |      19 |   701092 |   523682 |    25925     42 |      808 |      710
1456.00/1456.58	c 1456s |      19 |   701537 |   524082 |    25925     43 |      808 |      710
1458.20/1458.72	c 1458s |      19 |   702255 |   524682 |    25925     43 |      808 |      710
1460.49/1461.01	c 1460s |      19 |   702920 |   525282 |    25925     43 |      808 |      710
1462.50/1463.02	c 1462s |      19 |   703440 |   525782 |    25925     43 |      808 |      710
1464.70/1465.23	c 1464s |      19 |   704116 |   526382 |    25925     43 |      808 |      710
1466.90/1467.44	c 1467s |      19 |   704639 |   526882 |    25925     43 |      808 |      710
1469.29/1469.80	c 1469s |      19 |   705313 |   527482 |    25925     43 |      808 |      710
1471.59/1472.12	c 1471s |      19 |   705975 |   528082 |    25925     43 |      808 |      710
1473.99/1474.55	c 1474s |      19 |   706628 |   528682 |    25925     43 |      808 |      710
1476.39/1476.92	c 1476s |      19 |   707166 |   529182 |    25925     43 |      808 |      710
1478.79/1479.38	c 1479s |      19 |   707698 |   529682 |    25925     43 |      808 |      710
1480.88/1481.43	c 1481s |      19 |   708124 |   530082 |    25925     43 |      808 |      710
1482.98/1483.54	c 1483s |      19 |   708692 |   530582 |    25925     43 |      808 |      710
1485.18/1485.79	c 1485s |      19 |   709224 |   531082 |    25925     43 |      808 |      710
1487.38/1487.94	c 1487s |      19 |   709761 |   531582 |    25925     43 |      808 |      710
1489.58/1490.10	c 1489s |      19 |   710304 |   532082 |    25925     43 |      808 |      710
1491.68/1492.25	c 1491s |      19 |   710831 |   532582 |    25925     43 |      808 |      710
1494.18/1494.72	c 1494s |      19 |   711365 |   533082 |    25925     43 |      808 |      710
1496.18/1496.78	c 1496s |      19 |   711803 |   533482 |    25925     43 |      808 |      710
1498.68/1499.21	c 1498s |      19 |   712363 |   533982 |    25925     43 |      808 |      710
1500.68/1501.27	c 1501s |      19 |   712823 |   534382 |    25925     43 |      808 |      710
1502.98/1503.54	c 1503s |      19 |   713365 |   534882 |    25925     43 |      808 |      710
1505.18/1505.76	c 1505s |      19 |   713813 |   535282 |    25925     43 |      808 |      710
1507.38/1507.94	c 1507s |      19 |   714237 |   535682 |    25925     43 |      808 |      710
1509.48/1510.03	c 1509s |      19 |   714668 |   536082 |    25925     43 |      808 |      710
1511.99/1512.51	c 1512s |      19 |   715200 |   536582 |    25925     43 |      808 |      710
1514.38/1514.95	c 1514s |      19 |   715614 |   536982 |    25925     43 |      808 |      710
1516.58/1517.11	c 1516s |      19 |   716073 |   537382 |    25925     43 |      808 |      710
1518.98/1519.58	c 1519s |      19 |   716654 |   537882 |    25925     43 |      808 |      710
1521.08/1521.64	c 1521s |      19 |   717116 |   538282 |    25925     43 |      808 |      710
1523.18/1523.72	c 1523s |      19 |   717458 |   538582 |    25925     44 |      808 |      710
1525.19/1525.79	c 1525s |      19 |   718009 |   539082 |    25925     44 |      808 |      710
1527.58/1528.16	c 1527s |      19 |   718678 |   539682 |    25925     44 |      808 |      710
1529.88/1530.42	c 1530s |      19 |   719331 |   540282 |    25925     44 |      808 |      710
1531.98/1532.59	c 1532s |      19 |   720007 |   540882 |    25925     44 |      808 |      710
1534.17/1534.78	c 1534s |      19 |   720655 |   541482 |    25925     44 |      808 |      710
1536.57/1537.17	c 1536s |      19 |   721343 |   542082 |    25925     44 |      808 |      710
1538.77/1539.35	c 1539s |      19 |   722025 |   542682 |    25925     44 |      808 |      710
1540.97/1541.59	c 1541s |      19 |   722568 |   543182 |    25925     44 |      808 |      710
1543.17/1543.78	c 1543s |      19 |   723114 |   543682 |    25925     44 |      808 |      710
1545.37/1545.96	c 1545s |      19 |   723552 |   544082 |    25925     44 |      808 |      710
1547.37/1547.96	c 1547s |      19 |   723999 |   544482 |    25925     44 |      808 |      710
1549.57/1550.12	c 1549s |      19 |   724425 |   544882 |    25925     44 |      808 |      710
1551.97/1552.56	c 1552s |      19 |   724956 |   545382 |    25925     44 |      808 |      710
1554.27/1554.84	c 1554s |      19 |   725511 |   545882 |    25925     44 |      808 |      710
1556.77/1557.36	c 1557s |      19 |   726068 |   546382 |    25925     44 |      808 |      710
1559.17/1559.75	c 1559s |      19 |   726611 |   546882 |    25925     44 |      808 |      710
1561.67/1562.29	c 1562s |      19 |   727298 |   547482 |    25925     44 |      808 |      710
1564.17/1564.79	c 1564s |      19 |   727852 |   547982 |    25925     44 |      808 |      710
1566.67/1567.28	c 1567s |      19 |   728412 |   548482 |    25925     44 |      808 |      710
1568.77/1569.34	c 1569s |      19 |   728878 |   548882 |    25925     44 |      808 |      710
1570.77/1571.39	c 1571s |      19 |   729308 |   549282 |    25925     44 |      808 |      710
1573.27/1573.85	c 1573s |      19 |   729737 |   549682 |    25925     44 |      808 |      710
1575.37/1575.92	c 1575s |      19 |   730185 |   550082 |    25925     44 |      808 |      710
1577.67/1578.21	c 1577s |      19 |   730621 |   550482 |    25925     44 |      808 |      710
1580.28/1580.87	c 1580s |      19 |   731070 |   550882 |    25925     44 |      808 |      710
1582.57/1583.16	c 1582s |      19 |   731512 |   551282 |    25925     44 |      808 |      710
1584.87/1585.43	c 1585s |      19 |   731951 |   551682 |    25925     44 |      808 |      710
1587.16/1587.74	c 1587s |      19 |   732409 |   552082 |    25925     44 |      808 |      710
1589.46/1590.09	c 1589s |      19 |   732846 |   552482 |    25925     44 |      808 |      710
1592.27/1592.82	c 1592s |      19 |   733272 |   552882 |    25925     44 |      808 |      710
1594.36/1594.96	c 1594s |      19 |   733600 |   553182 |    25925     45 |      808 |      710
1596.56/1597.19	c 1596s |      19 |   734311 |   553782 |    25925     45 |      808 |      710
1598.87/1599.45	c 1599s |      19 |   734997 |   554382 |    25925     45 |      808 |      710
1600.86/1601.48	c 1601s |      19 |   735642 |   554982 |    25925     45 |      808 |      710
1602.96/1603.54	c 1603s |      19 |   736178 |   555482 |    25925     45 |      808 |      710
1605.06/1605.69	c 1605s |      19 |   736722 |   555982 |    25925     45 |      808 |      710
1607.26/1607.81	c 1607s |      19 |   737289 |   556482 |    25925     45 |      808 |      710
1609.26/1609.81	c 1609s |      19 |   737851 |   556982 |    25925     45 |      808 |      710
1611.56/1612.10	c 1611s |      19 |   738427 |   557482 |    25925     45 |      808 |      710
1613.76/1614.34	c 1614s |      19 |   739140 |   558082 |    25925     45 |      808 |      710
1615.96/1616.59	c 1616s |      19 |   739778 |   558682 |    25925     45 |      808 |      710
1618.16/1618.76	c 1618s |      19 |   740467 |   559282 |    25925     45 |      808 |      710
1620.16/1620.79	c 1620s |      19 |   741046 |   559782 |    25925     45 |      808 |      710
1622.46/1623.01	c 1622s |      19 |   741602 |   560282 |    25925     45 |      808 |      710
1624.86/1625.46	c 1625s |      19 |   742315 |   560882 |    25925     45 |      808 |      710
1626.96/1627.51	c 1627s |      19 |   742772 |   561282 |    25925     45 |      808 |      710
1628.96/1629.52	c 1629s |      19 |   743340 |   561782 |    25925     45 |      808 |      710
1631.06/1631.60	c 1631s |      19 |   743898 |   562282 |    25925     45 |      808 |      710
1633.07/1633.64	c 1633s |      19 |   744478 |   562782 |    25925     45 |      808 |      710
1635.06/1635.65	c 1635s |      19 |   744921 |   563182 |    25925     45 |      808 |      710
1637.37/1637.96	c 1637s |      19 |   745503 |   563682 |    25925     45 |      808 |      710
1639.36/1639.97	c 1639s |      19 |   745937 |   564082 |    25925     45 |      808 |      710
1641.56/1642.10	c 1641s |      19 |   746373 |   564482 |    25925     45 |      808 |      710
1643.76/1644.33	c 1644s |      19 |   746793 |   564882 |    25925     45 |      808 |      710
1645.75/1646.40	c 1646s |      19 |   747244 |   565282 |    25925     45 |      808 |      710
1648.15/1648.78	c 1648s |      19 |   747805 |   565782 |    25925     45 |      808 |      710
1650.25/1650.84	c 1650s |      19 |   748247 |   566182 |    25925     45 |      808 |      710
1652.45/1653.00	c 1652s |      19 |   748687 |   566582 |    25925     45 |      808 |      710
1654.65/1655.24	c 1654s |      19 |   749133 |   566982 |    25925     45 |      808 |      710
1656.75/1657.31	c 1657s |      19 |   749578 |   567382 |    25925     45 |      808 |      710
1658.85/1659.44	c 1659s |      19 |   749920 |   567682 |    25925     46 |      808 |      710
1661.15/1661.77	c 1661s |      19 |   750559 |   568282 |    25925     46 |      808 |      710
1663.25/1663.82	c 1663s |      19 |   751225 |   568882 |    25925     46 |      808 |      710
1665.25/1665.86	c 1665s |      19 |   751760 |   569382 |    25925     46 |      808 |      710
1667.55/1668.13	c 1667s |      19 |   752428 |   569982 |    25925     46 |      808 |      710
1669.65/1670.25	c 1669s |      19 |   753111 |   570582 |    25925     46 |      808 |      710
1671.75/1672.31	c 1672s |      19 |   753789 |   571182 |    25925     46 |      808 |      710
1673.85/1674.43	c 1674s |      19 |   754373 |   571682 |    25925     46 |      808 |      710
1676.05/1676.63	c 1676s |      19 |   755060 |   572282 |    25925     46 |      808 |      710
1678.06/1678.64	c 1678s |      19 |   755637 |   572782 |    25925     46 |      808 |      710
1680.15/1680.70	c 1680s |      19 |   756179 |   573282 |    25925     46 |      808 |      710
1682.56/1683.14	c 1682s |      19 |   756863 |   573882 |    25925     46 |      808 |      710
1684.55/1685.18	c 1684s |      19 |   757451 |   574382 |    25925     46 |      808 |      710
1686.96/1687.52	c 1687s |      19 |   758130 |   574982 |    25925     46 |      808 |      710
1689.25/1689.83	c 1689s |      19 |   758680 |   575482 |    25925     46 |      808 |      710
1691.65/1692.22	c 1691s |      19 |   759221 |   575982 |    25925     46 |      808 |      710
1693.95/1694.50	c 1694s |      19 |   759758 |   576482 |    25925     46 |      808 |      710
1696.05/1696.68	c 1696s |      19 |   760332 |   576982 |    25925     46 |      808 |      710
1698.35/1698.94	c 1698s |      19 |   760884 |   577482 |    25925     46 |      808 |      710
1700.65/1701.29	c 1701s |      19 |   761492 |   577982 |    25925     46 |      808 |      710
1702.95/1703.57	c 1703s |      19 |   762047 |   578482 |    25925     46 |      808 |      710
1705.25/1705.89	c 1705s |      19 |   762583 |   578982 |    25925     46 |      808 |      710
1707.35/1707.93	c 1707s |      19 |   763032 |   579382 |    25925     46 |      808 |      710
1709.45/1710.09	c 1709s |      19 |   763467 |   579782 |    25925     46 |      808 |      710
1712.05/1712.62	c 1712s |      19 |   764010 |   580282 |    25925     46 |      808 |      710
1714.36/1714.96	c 1714s |      19 |   764453 |   580682 |    25925     46 |      808 |      710
1716.45/1717.00	c 1716s |      19 |   764912 |   581082 |    25925     46 |      808 |      710
1718.45/1719.05	c 1718s |      19 |   765390 |   581482 |    25925     46 |      808 |      710
1720.96/1721.52	c 1721s |      19 |   765933 |   581982 |    25925     46 |      808 |      710
1722.95/1723.59	c 1723s |      19 |   766253 |   582282 |    25925     47 |      808 |      710
1725.15/1725.79	c 1725s |      19 |   766788 |   582782 |    25925     47 |      808 |      710
1727.25/1727.86	c 1727s |      19 |   767495 |   583382 |    25925     47 |      808 |      710
1729.55/1730.19	c 1729s |      19 |   768170 |   583982 |    25925     47 |      808 |      710
1731.75/1732.32	c 1732s |      19 |   768744 |   584482 |    25925     47 |      808 |      710
1733.85/1734.42	c 1734s |      19 |   769440 |   585082 |    25925     47 |      808 |      710
1735.85/1736.42	c 1736s |      19 |   769980 |   585582 |    25925     47 |      808 |      710
1737.95/1738.53	c 1738s |      19 |   770507 |   586082 |    25925     47 |      808 |      710
1740.15/1740.70	c 1740s |      19 |   770922 |   586482 |    25925     47 |      808 |      710
1742.45/1743.01	c 1742s |      19 |   771441 |   586982 |    25925     47 |      808 |      710
1744.45/1745.01	c 1744s |      19 |   771868 |   587382 |    25925     47 |      808 |      710
1746.85/1747.42	c 1747s |      19 |   772406 |   587882 |    25925     47 |      808 |      710
1749.25/1749.84	c 1749s |      19 |   772940 |   588382 |    25925     47 |      808 |      710
1751.65/1752.30	c 1752s |      19 |   773490 |   588882 |    25925     47 |      808 |      710
1754.06/1754.67	c 1754s |      19 |   774208 |   589482 |    25925     47 |      808 |      710
1756.26/1756.85	c 1756s |      19 |   774908 |   590082 |    25925     47 |      808 |      710
1758.55/1759.12	c 1758s |      19 |   775587 |   590682 |    25925     47 |      808 |      710
1760.56/1761.20	c 1760s |      19 |   776172 |   591182 |    25925     47 |      808 |      710
1763.05/1763.66	c 1763s |      19 |   776862 |   591782 |    25925     47 |      808 |      710
1765.44/1766.08	c 1765s |      19 |   777437 |   592282 |    25925     47 |      808 |      710
1767.54/1768.13	c 1767s |      19 |   777873 |   592682 |    25925     47 |      808 |      710
1769.74/1770.36	c 1770s |      19 |   778404 |   593182 |    25925     47 |      808 |      710
1771.94/1772.56	c 1772s |      19 |   778961 |   593682 |    25925     47 |      808 |      710
1774.14/1774.73	c 1774s |      19 |   779514 |   594182 |    25925     47 |      808 |      710
1776.24/1776.81	c 1776s |      19 |   780177 |   594682 |    25925     47 |      808 |      710
1778.64/1779.22	c 1778s |      19 |   780847 |   595282 |    25925     47 |      808 |      710
1780.64/1781.23	c 1780s |      19 |   781622 |   595882 |    25925     47 |      808 |      710
1782.84/1783.45	c 1783s |      19 |   782343 |   596482 |    25925     47 |      808 |      710
1784.94/1785.55	c 1785s |      19 |   782715 |   596782 |    25925     48 |      808 |      710
1787.05/1787.63	c 1787s |      19 |   783413 |   597382 |    25925     48 |      808 |      710
1789.04/1789.66	c 1789s |      19 |   784124 |   597982 |    25925     48 |      808 |      710
1791.24/1791.85	c 1791s |      19 |   785056 |   598682 |    25925     48 |      808 |      710
1793.55/1794.13	c 1793s |      19 |   785839 |   599382 |    25925     48 |      808 |      710
1795.75/1796.33	c 1796s |      19 |   786612 |   600082 |    25925     48 |      808 |      710
1797.95/1798.51	c 1798s |      19 |   787284 |   600682 |    25925     48 |      808 |      710

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

pid=3474
running on 8 cores: 4-7,12-15

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.05 2.05 2.05 3/261 3477
/proc/meminfo: memFree=30803180/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=855484 CPUtime=0 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 3214 0 0 0 0 0 0 0 20 0 4 0 29554799 876015616 3575 33554432000 4194304 16246674 140733308156720 140733308156144 13880264 0 2 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 214639 3584 441 2943 0 211533 0
[pid=3477/tid=3478] ppid=3474 vsize=904636 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 926347264 3767 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=909756 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 931590144 3785 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=913852 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29554800 935784448 3801 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.05 2.05 2.05 3/261 3477
/proc/meminfo: memFree=30803180/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1220164 CPUtime=0.09 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 28274 0 0 0 5 4 0 0 20 0 4 0 29554799 1249447936 28573 33554432000 4194304 16246674 140733308156720 140733308156032 4220850 0 2 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 305041 28573 801 2943 0 301935 0
[pid=3477/tid=3478] ppid=3474 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1249447936 28573 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1249447936 28573 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1249447936 28573 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200499 s]
/proc/loadavg: 2.05 2.05 2.05 3/261 3477
/proc/meminfo: memFree=30803180/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1301060 CPUtime=0.19 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 48481 0 0 0 12 7 0 0 20 0 4 0 29554799 1332285440 48780 33554432000 4194304 16246674 140733308156720 140733308156032 13949761 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 325265 48780 842 2943 0 322159 0
[pid=3477/tid=3478] ppid=3474 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1332285440 48780 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1332285440 48780 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1332285440 48780 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300445 s]
/proc/loadavg: 2.05 2.05 2.05 3/261 3477
/proc/meminfo: memFree=30803180/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1301060 CPUtime=0.28 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 50175 0 0 0 21 7 0 0 20 0 4 0 29554799 1332285440 50474 33554432000 4194304 16246674 140733308156720 140733308156032 5675357 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 325265 50477 882 2943 0 322159 0
[pid=3477/tid=3478] ppid=3474 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1332285440 50480 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1332285440 50483 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1332285440 50484 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.70031 s]
/proc/loadavg: 2.05 2.05 2.05 3/261 3477
/proc/meminfo: memFree=30803180/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1301060 CPUtime=0.68 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 98813 0 0 0 53 15 0 0 20 0 4 0 29554799 1332285440 99113 33554432000 4194304 16246674 140733308156720 140733308138624 5546181 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 325265 99118 882 2943 0 322159 0
[pid=3477/tid=3478] ppid=3474 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1332285440 99124 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1332285440 99132 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1332285440 99140 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1301060

[startup+1.5004 s]
/proc/loadavg: 2.05 2.05 2.05 3/265 3481
/proc/meminfo: memFree=30178892/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1302084 CPUtime=1.48 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 206930 0 0 0 117 31 0 0 20 0 4 0 29554799 1333334016 207229 33554432000 4194304 16246674 140733308156720 140733308138624 5546181 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 325521 207234 882 2943 0 322415 0
[pid=3477/tid=3478] ppid=3474 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1333334016 207238 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1333334016 207242 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1333334016 207245 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1302084

[startup+3.10036 s]
/proc/loadavg: 2.12 2.07 2.05 3/265 3481
/proc/meminfo: memFree=29914384/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1312324 CPUtime=3.08 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 260882 0 0 0 270 38 0 0 20 0 4 0 29554799 1343819776 261182 33554432000 4194304 16246674 140733308156720 140733308138624 12467381 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 328081 261194 889 2943 0 324975 0
[pid=3477/tid=3478] ppid=3474 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1343819776 261198 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1343819776 261201 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1343819776 261204 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1312324

[startup+6.30038 s]
/proc/loadavg: 2.12 2.07 2.05 3/265 3481
/proc/meminfo: memFree=29724900/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1312324 CPUtime=6.28 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 269265 0 0 0 589 39 0 0 20 0 4 0 29554799 1343819776 269564 33554432000 4194304 16246674 140733308156720 140733308138624 5545872 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 328081 269564 889 2943 0 324975 0
[pid=3477/tid=3478] ppid=3474 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1343819776 269564 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1343819776 269564 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1343819776 269564 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1312324

[startup+12.7003 s]
/proc/loadavg: 2.10 2.06 2.05 3/265 3481
/proc/meminfo: memFree=29724420/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1312324 CPUtime=12.69 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 269267 0 0 0 1229 40 0 0 20 0 4 0 29554799 1343819776 269566 33554432000 4194304 16246674 140733308156720 140733308138624 5723020 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 328081 269566 891 2943 0 324975 0
[pid=3477/tid=3478] ppid=3474 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1343819776 269566 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1343819776 269566 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1343819776 269566 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.09 2.06 2.05 3/265 3481
/proc/meminfo: memFree=29724792/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1312324 CPUtime=25.48 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 269268 0 0 0 2508 40 0 0 20 0 4 0 29554799 1343819776 269567 33554432000 4194304 16246674 140733308156720 140733308138624 5672188 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 328081 269567 891 2943 0 324975 0
[pid=3477/tid=3478] ppid=3474 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1343819776 269567 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1343819776 269567 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1343819776 269567 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.06 2.06 2.05 3/266 3484
/proc/meminfo: memFree=29725012/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1313348 CPUtime=51.08 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 269319 0 0 0 5068 40 0 0 20 0 4 0 29554799 1344868352 269618 33554432000 4194304 16246674 140733308156720 140733308138624 13963936 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 328337 269618 891 2943 0 325231 0
[pid=3477/tid=3478] ppid=3474 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1344868352 269618 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1344868352 269618 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1344868352 269618 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/265 3486
/proc/meminfo: memFree=29719228/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1318468 CPUtime=102.28 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 270614 0 0 0 10188 40 0 0 20 0 4 0 29554799 1350111232 270913 33554432000 4194304 16246674 140733308156720 140733308138624 5722908 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 329617 270913 892 2943 0 326511 0
[pid=3477/tid=3478] ppid=3474 vsize=1318468 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1350111232 270913 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1318468 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1350111232 270913 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1318468 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1350111232 270913 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1338948

[startup+1302.3 s]
/proc/loadavg: 2.05 2.06 2.03 3/265 3564
/proc/meminfo: memFree=29717768/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1338948 CPUtime=1301.81 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 276283 0 0 0 130135 46 0 0 20 0 4 0 29554799 1371082752 276228 33554432000 4194304 16246674 140733308156720 140733308138624 5659404 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 334737 276228 892 2943 0 331631 0
[pid=3477/tid=3478] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1338948

[startup+1362.3 s]
/proc/loadavg: 2.19 2.09 2.04 3/266 3567
/proc/meminfo: memFree=29717844/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1338948 CPUtime=1361.81 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 276283 0 0 0 136134 47 0 0 20 0 4 0 29554799 1371082752 276228 33554432000 4194304 16246674 140733308156720 140733308138624 13927401 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 334737 276228 892 2943 0 331631 0
[pid=3477/tid=3478] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1338948

[startup+1422.3 s]
/proc/loadavg: 2.07 2.07 2.03 3/265 3568
/proc/meminfo: memFree=29717868/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1338948 CPUtime=1421.81 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 276283 0 0 0 142134 47 0 0 20 0 4 0 29554799 1371082752 276228 33554432000 4194304 16246674 140733308156720 140733308138624 5677492 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 334737 276228 892 2943 0 331631 0
[pid=3477/tid=3478] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1338948

[startup+1482.3 s]
/proc/loadavg: 2.02 2.06 2.03 3/265 3569
/proc/meminfo: memFree=29716900/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1338948 CPUtime=1481.78 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 276283 0 0 0 148131 47 0 0 20 0 4 0 29554799 1371082752 276228 33554432000 4194304 16246674 140733308156720 140733308138624 12478249 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 334737 276228 892 2943 0 331631 0
[pid=3477/tid=3478] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1338948

[startup+1542.31 s]
/proc/loadavg: 2.06 2.06 2.03 3/265 3570
/proc/meminfo: memFree=29717100/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1338948 CPUtime=1541.78 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 276283 0 0 0 154131 47 0 0 20 0 4 0 29554799 1371082752 276228 33554432000 4194304 16246674 140733308156720 140733308155896 5822484 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 334737 276228 892 2943 0 331631 0
[pid=3477/tid=3478] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1338948

[startup+1602.3 s]
/proc/loadavg: 2.14 2.08 2.03 3/265 3571
/proc/meminfo: memFree=29716980/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1338948 CPUtime=1601.76 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 276283 0 0 0 160129 47 0 0 20 0 4 0 29554799 1371082752 276228 33554432000 4194304 16246674 140733308156720 140733308138624 13808416 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 334737 276228 892 2943 0 331631 0
[pid=3477/tid=3478] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1338948

[startup+1662.3 s]
/proc/loadavg: 2.05 2.06 2.03 3/265 3573
/proc/meminfo: memFree=29715904/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1338948 CPUtime=1661.75 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 276283 0 0 0 166128 47 0 0 20 0 4 0 29554799 1371082752 276228 33554432000 4194304 16246674 140733308156720 140733308138624 5523288 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 334737 276228 892 2943 0 331631 0
[pid=3477/tid=3478] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1338948

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.02 3/265 3574
/proc/meminfo: memFree=29715036/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1338948 CPUtime=1721.75 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 276283 0 0 0 172127 48 0 0 20 0 4 0 29554799 1371082752 276228 33554432000 4194304 16246674 140733308156720 140733308138624 5822484 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 334737 276228 892 2943 0 331631 0
[pid=3477/tid=3478] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1338948

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/265 3575
/proc/meminfo: memFree=29714836/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1338948 CPUtime=1781.74 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 276283 0 0 0 178126 48 0 0 20 0 4 0 29554799 1371082752 276228 33554432000 4194304 16246674 140733308156720 140733308138624 5672857 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 334737 276228 892 2943 0 331631 0
[pid=3477/tid=3478] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1338948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.07 2.05 2.02 3/265 3575
/proc/meminfo: memFree=29715012/32872528 swapFree=7556/7556
[pid=3477] ppid=3474 vsize=1338948 CPUtime=1800.04 cores=4-7,12-15
/proc/3477/stat : 3477 (toysat) R 3474 3477 32495 0 -1 4202496 276283 0 0 0 179956 48 0 0 20 0 4 0 29554799 1371082752 276228 33554432000 4194304 16246674 140733308156720 140733308138624 5754796 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/3477/statm: 334737 276228 892 2943 0 331631 0
[pid=3477/tid=3478] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3478/stat : 3478 (toysat) S 3474 3477 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407027510512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=3477/tid=3479] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3479/stat : 3479 (toysat) S 3474 3477 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407017020656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=3477/tid=3480] ppid=3474 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/3477/task/3480/stat : 3480 (toysat) S 3474 3477 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29554800 1371082752 276228 33554432000 4194304 16246674 140733308156720 140407006547120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1338948

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.57
CPU system time (s): 0.482926
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 1338948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.482926
maximum resident set size= 1104912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276283
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= 371
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39387 second user time and 10.1675 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 20:19:26
IDJOB=4116061
IDBENCH=109423
IDSOLVER=2542
FILE ID=node132/4116061-1466965166
RUNJOBID= node132-1466939688-32512
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-9.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116061-1466965166/watcher-4116061-1466965166 -o /tmp/evaluation-result-4116061-1466965166/solver-4116061-1466965166 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466939688-32512 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116061-1466965166.opb

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

MD5SUM BENCH= a38417602161a9ed0f99b3c94cc994c4
RANDOM SEED=1407967285

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30803948 kB
Buffers:           43660 kB
Cached:           182260 kB
SwapCached:         1784 kB
Active:          1189348 kB
Inactive:         163424 kB
Active(anon):    1127092 kB
Inactive(anon):     1700 kB
Active(file):      62256 kB
Inactive(file):   161724 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16996 kB
Writeback:             0 kB
AnonPages:       1135812 kB
Mapped:            10724 kB
Shmem:                 0 kB
Slab:             571508 kB
SReclaimable:      11936 kB
SUnreclaim:       559572 kB
KernelStack:        2176 kB
PageTables:         6180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1276948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    813056 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= 71496 MiB
End job on node132 at 2016-06-26 20:49:27