Trace number 4115869

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round23-0.opb
MD5SUM80aaf8924f6ff1db370b1fb6930c6ef9
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 variables4288
Total number of constraints9536
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints896
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-26T13:44:51+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-4115869-1466941491.opb"]
0.00/0.01	c use --random-gen="473996407 3162424493 4001478426 1792315210 1553851617 3311317797 3059910663 1867735538 3272912672 2409146292 3902468217 1516048329 2678573545 165020221 4082658299 1798893880 1010539094 3585478130 1947084939 886846352 4174693642 3343826548 194738779 3720581170 4048561796 3344865512 1944117675 2399936652 3243491924 436802889 1102444720 3656392550 577733063 91551573 224910105 3288989971 446127692 3930798467 4097866264 1125435294 621396915 1557119039 706955867 831318638 634333337 107244707 143190351 4168285125 2449112284 2017089608 3878372819 3320554260 64499276 3351217994 2755158080 2170301474 3936041276 2714549594 2316678231 3614119211 2704540436 24149588 2909797714 2145579264 917124092 4119343032 3157231382 3383232809 3069039844 862701944 4290244918 3067324021 3383706407 1117831606 2016482438 147811217 272861363 1355424909 1169600867 578336970 4174809310 2919915563 4200528723 393816909 490919727 2578836731 318375927 3569431554 3406569783 2006477648 4083162030 779144939 1456817852 1318584709 2119898177 2774042591 3630936554 3712701994 101402011 1721023159 2805564082 277129314 3219741112 2188245875 3388522048 1387383486 4076573354 3847785540 2145099226 231264884 646077798 3975087506 4150784281 2670014899 4155430836 1587170345 1551970701 2876629135 33654652 3724039759 14762791 3648382576 3537097894 1925954672 1293817299 1781824255 4195231202 2264963933 3950934779 4273903521 3200823386 3349693236 530566280 2002786080 3356154121 1324288472 1968186407 2672449167 3886824360 3155171355 540138899 2195002936 880653029 1806502920 1404938345 4206151648 273071809 4034655221 3340574316 436892667 2891305136 4064487014 1042482342 211551172 3756622494 2441375505 4169277505 4090111314 540554051 29586032 4039361544 2288451577 3783843521 624472990 2053648884 3254450486 2653139198 2422660976 1024358410 331352758 3927834100 2148885070 2489238116 2631239827 2678668373 3093345436 2984399504 730615638 4168052363 1465138412 407297414 417467974 3383372659 3127386805 1561893796 4280060991 1068016995 2289934387 285642729 1099793943 191075087 1918837509 1711070146 461059637 1451752695 1422736574 1284543498 890242220 2864101814 3880643662 933013449 3535235394 2427942292 427395102 2625532152 3135604039 2881722426 1210926203 1712829967 2073141693 2507660576 4091548012 3050456707 2095598169 533320676 3154687823 978922610 3340289023 2653387789 1912469781 1740005364 800140578 3558324640 1820193383 2181057213 543358199 997610844 511174062 2887677074 916063310 1167940844 1418242905 1086786104 229997406 247793814 2668904715 2276896076 527953199 1182365147 3928268273 3469617823 1694136849 1058616383 3167665538 3601889427 1812213079 197195138 55426163 202016312 716466817 1277233335 4293241278 1445208324 643121556 3245116382 3006401108 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9536
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      906 |        0
0.29/0.37	c  0.1s |       1 |      678 |      100 |     4565      0 |      907 |      944
0.39/0.48	c  0.2s |       2 |     2550 |      250 |     5022      0 |      909 |      944
0.59/0.62	c  0.3s |       3 |     4576 |      475 |     5525      0 |      910 |      944
0.89/0.94	c  0.7s |       4 |     6575 |      813 |     6078      0 |      910 |      944
1.38/1.44	c  1.2s |       5 |     8195 |     1320 |     6686      0 |      910 |      944
2.20/2.23	c  2.0s |       6 |    11727 |     2081 |     8091      0 |      910 |      944
2.89/2.95	c  2.7s |       7 |    16024 |     3223 |     8901      0 |      910 |      944
3.99/4.06	c  3.8s |       8 |    24849 |     4936 |     9792      0 |      910 |      944
6.19/6.21	c  5.9s |       8 |    30070 |     6936 |     9792      0 |      910 |      944
6.79/6.88	c  6.6s |       9 |    30943 |     7506 |    10772      0 |      910 |      944
8.90/8.96	c  8.7s |       9 |    40637 |     9906 |    10772      0 |      910 |      944
10.69/10.73	c 10.5s |      10 |    43465 |    11361 |    11850      0 |      910 |      944
12.69/12.79	c 12.5s |      10 |    46805 |    13461 |    11850      0 |      910 |      944
14.78/14.85	c 14.6s |      10 |    49459 |    15061 |    11850      1 |      910 |      944
16.88/16.98	c 16.7s |      10 |    51285 |    16661 |    11850      1 |      910 |      944
17.69/17.73	c 17.5s |      11 |    51843 |    17144 |    13036      1 |      910 |      944
19.68/19.78	c 19.5s |      11 |    55958 |    19044 |    13036      1 |      910 |      944
21.78/21.88	c 21.6s |      11 |    61370 |    21244 |    13036      1 |      910 |      944
23.88/23.96	c 23.7s |      11 |    62922 |    22344 |    13036      1 |      910 |      944
25.98/26.08	c 25.8s |      11 |    64547 |    23544 |    13036      1 |      910 |      944
28.08/28.20	c 27.9s |      11 |    66102 |    24744 |    13036      2 |      910 |      944
29.88/29.99	c 29.7s |      12 |    67621 |    25819 |    14340      2 |      910 |      944
31.99/32.08	c 31.8s |      12 |    73446 |    27919 |    14340      2 |      910 |      944
34.09/34.20	c 33.9s |      12 |    75980 |    29619 |    14340      2 |      910 |      944
36.18/36.22	c 35.9s |      12 |    77594 |    30819 |    14340      2 |      910 |      944
38.28/38.32	c 38.0s |      12 |    78998 |    31919 |    14340      2 |      910 |      944
40.28/40.36	c 40.1s |      12 |    80459 |    33019 |    14340      2 |      910 |      944
42.48/42.57	c 42.3s |      12 |    81413 |    33819 |    14340      3 |      910 |      944
44.58/44.67	c 44.4s |      12 |    82317 |    34619 |    14340      3 |      910 |      944
46.78/46.84	c 46.6s |      12 |    83264 |    35419 |    14340      3 |      910 |      944
48.88/48.95	c 48.7s |      12 |    84141 |    36219 |    14340      3 |      910 |      944
51.08/51.13	c 50.8s |      12 |    85072 |    37019 |    14340      3 |      910 |      944
53.08/53.18	c 52.9s |      12 |    85850 |    37719 |    14340      3 |      910 |      944
55.28/55.36	c 55.1s |      12 |    86619 |    38419 |    14340      3 |      910 |      944
56.58/56.66	c 56.4s |      13 |    87101 |    38832 |    15775      3 |      910 |      944
58.68/58.72	c 58.4s |      13 |    91616 |    40532 |    15775      3 |      910 |      944
60.77/60.82	c 60.5s |      13 |    94610 |    42132 |    15775      3 |      910 |      944
62.88/62.91	c 62.6s |      13 |    96128 |    43532 |    15775      3 |      910 |      944
64.99/65.06	c 64.8s |      13 |    97150 |    44532 |    15775      4 |      910 |      944
67.09/67.11	c 66.8s |      13 |    98512 |    45732 |    15775      4 |      910 |      944
69.08/69.18	c 68.9s |      13 |    99722 |    46832 |    15775      4 |      910 |      944
71.18/71.28	c 71.0s |      13 |   100753 |    47832 |    15775      4 |      910 |      944
73.38/73.44	c 73.2s |      13 |   101796 |    48832 |    15775      4 |      910 |      944
75.58/75.66	c 75.4s |      13 |   102853 |    49832 |    15775      4 |      910 |      944
77.78/77.84	c 77.6s |      13 |   103668 |    50632 |    15775      4 |      910 |      944
79.88/79.99	c 79.7s |      13 |   104496 |    51432 |    15775      4 |      910 |      944
82.08/82.12	c 81.8s |      13 |   105321 |    52232 |    15775      4 |      910 |      944
84.18/84.20	c 83.9s |      13 |   106156 |    53032 |    15775      4 |      910 |      944
86.28/86.37	c 86.1s |      13 |   106998 |    53832 |    15775      5 |      910 |      944
88.38/88.45	c 88.2s |      13 |   107965 |    54732 |    15775      5 |      910 |      944
90.58/90.64	c 90.4s |      13 |   108901 |    55632 |    15775      5 |      910 |      944
92.58/92.65	c 92.4s |      13 |   109736 |    56432 |    15775      5 |      910 |      944
94.59/94.70	c 94.4s |      13 |   110609 |    57232 |    15775      5 |      910 |      944
96.89/96.97	c 96.7s |      13 |   111631 |    58132 |    17353      5 |      910 |      944
97.48/97.56	c 97.3s |      14 |   111856 |    58352 |    17353      5 |      910 |      944
99.57/99.60	c 99.3s |      14 |   120176 |    60852 |    17353      5 |      910 |      944
101.57/101.61	c  101s |      14 |   123071 |    62652 |    17353      5 |      910 |      944
103.67/103.71	c  103s |      14 |   126097 |    64352 |    17353      5 |      910 |      944
105.68/105.76	c  105s |      14 |   127190 |    65252 |    17353      6 |      910 |      944
107.78/107.81	c  107s |      14 |   128323 |    66252 |    17353      6 |      910 |      944
109.77/109.86	c  109s |      14 |   131604 |    68252 |    17353      6 |      910 |      944
111.77/111.88	c  111s |      14 |   135087 |    70252 |    17353      6 |      910 |      944
113.77/113.89	c  113s |      14 |   138069 |    71852 |    17353      6 |      910 |      944
115.97/116.05	c  115s |      14 |   139500 |    72852 |    17353      6 |      910 |      944
118.17/118.23	c  117s |      14 |   140872 |    73852 |    17353      6 |      910 |      944
120.17/120.26	c  119s |      14 |   141856 |    74552 |    17353      7 |      910 |      944
122.18/122.28	c  122s |      14 |   143810 |    75852 |    17353      7 |      910 |      944
124.28/124.37	c  124s |      14 |   146270 |    77352 |    17353      7 |      910 |      944
126.37/126.46	c  126s |      14 |   148018 |    78652 |    17353      7 |      910 |      944
128.47/128.58	c  128s |      14 |   149287 |    79652 |    17353      7 |      910 |      944
130.67/130.71	c  130s |      14 |   150870 |    80752 |    17353      7 |      910 |      944
132.77/132.83	c  132s |      14 |   152053 |    81752 |    17353      7 |      910 |      944
134.97/135.05	c  134s |      14 |   153168 |    82652 |    17353      7 |      910 |      944
137.17/137.27	c  136s |      14 |   154089 |    83452 |    17353      7 |      910 |      944
139.37/139.42	c  139s |      14 |   155031 |    84252 |    17353      7 |      910 |      944
141.57/141.66	c  141s |      14 |   155935 |    85052 |    17353      7 |      910 |      944
143.67/143.73	c  143s |      14 |   156611 |    85652 |    17353      8 |      910 |      944
145.86/145.92	c  145s |      14 |   157368 |    86352 |    17353      8 |      910 |      944
147.87/147.98	c  147s |      14 |   158175 |    87052 |    19089      8 |      910 |      944
149.68/149.72	c  149s |      15 |   158818 |    87632 |    19089      8 |      910 |      944
151.66/151.72	c  151s |      15 |   163154 |    89032 |    19089      8 |      910 |      944
153.76/153.85	c  153s |      15 |   166073 |    90832 |    19089      8 |      910 |      944
155.86/155.97	c  155s |      15 |   167639 |    92332 |    19089      8 |      910 |      944
157.96/158.05	c  157s |      15 |   168994 |    93632 |    19089      8 |      910 |      944
160.16/160.21	c  159s |      15 |   170227 |    94832 |    19089      8 |      910 |      944
162.16/162.25	c  161s |      15 |   171267 |    95832 |    19089      8 |      910 |      944
164.26/164.35	c  164s |      15 |   172286 |    96832 |    19089      8 |      910 |      944
166.46/166.53	c  166s |      15 |   173233 |    97732 |    19089      9 |      910 |      944
168.56/168.61	c  168s |      15 |   174295 |    98732 |    19089      9 |      910 |      944
170.57/170.62	c  170s |      15 |   175138 |    99532 |    19089      9 |      910 |      944
172.56/172.65	c  172s |      15 |   175876 |   100232 |    19089      9 |      910 |      944
174.56/174.66	c  174s |      15 |   176600 |   100932 |    19089      9 |      910 |      944
176.56/176.68	c  176s |      15 |   177318 |   101632 |    19089      9 |      910 |      944
178.76/178.89	c  178s |      15 |   178162 |   102432 |    19089      9 |      910 |      944
180.96/181.05	c  180s |      15 |   178886 |   103132 |    19089      9 |      910 |      944
182.96/183.05	c  182s |      15 |   179496 |   103732 |    19089      9 |      910 |      944
185.26/185.38	c  185s |      15 |   180215 |   104432 |    19089      9 |      910 |      944
187.36/187.49	c  187s |      15 |   180955 |   105132 |    19089      9 |      910 |      944
189.66/189.72	c  189s |      15 |   181670 |   105832 |    19089      9 |      910 |      944
191.66/191.73	c  191s |      15 |   182406 |   106532 |    19089      9 |      910 |      944
193.67/193.76	c  193s |      15 |   183012 |   107132 |    19089      9 |      910 |      944
196.06/196.12	c  195s |      15 |   183738 |   107832 |    19089      9 |      910 |      944
198.35/198.44	c  198s |      15 |   184467 |   108532 |    19089      9 |      910 |      944
200.55/200.68	c  200s |      15 |   185091 |   109132 |    19089     10 |      910 |      944
202.65/202.77	c  202s |      15 |   185817 |   109832 |    19089     10 |      910 |      944
204.95/205.02	c  204s |      15 |   186547 |   110532 |    19089     10 |      910 |      944
206.95/207.03	c  206s |      15 |   187162 |   111132 |    19089     10 |      910 |      944
209.15/209.21	c  208s |      15 |   187890 |   111832 |    19089     10 |      910 |      944
211.16/211.23	c  210s |      15 |   188512 |   112432 |    19089     10 |      910 |      944
213.36/213.49	c  213s |      15 |   189232 |   113132 |    19089     10 |      910 |      944
215.75/215.85	c  215s |      15 |   189937 |   113832 |    19089     10 |      910 |      944
217.95/218.06	c  217s |      15 |   190659 |   114532 |    19089     10 |      910 |      944
219.96/220.08	c  219s |      15 |   191276 |   115132 |    19089     10 |      910 |      944
222.16/222.30	c  222s |      15 |   191889 |   115732 |    19089     10 |      910 |      944
224.46/224.56	c  224s |      15 |   192504 |   116332 |    19089     10 |      910 |      944
226.85/226.90	c  226s |      15 |   193108 |   116932 |    19089     10 |      910 |      944
228.86/228.97	c  228s |      15 |   193769 |   117532 |    19089     10 |      910 |      944
231.06/231.11	c  230s |      15 |   194404 |   118132 |    19089     10 |      910 |      944
233.35/233.42	c  233s |      15 |   195021 |   118732 |    19089     10 |      910 |      944
235.65/235.78	c  235s |      15 |   195646 |   119332 |    19089     10 |      910 |      944
237.95/238.07	c  237s |      15 |   196274 |   119932 |    19089     10 |      910 |      944
240.05/240.17	c  239s |      15 |   196793 |   120432 |    19089     11 |      910 |      944
242.15/242.28	c  242s |      15 |   197535 |   121132 |    19089     11 |      910 |      944
244.45/244.52	c  244s |      15 |   198264 |   121832 |    19089     11 |      910 |      944
246.75/246.81	c  246s |      15 |   199105 |   122632 |    19089     11 |      910 |      944
248.95/249.07	c  248s |      15 |   199961 |   123432 |    19089     11 |      910 |      944
251.25/251.39	c  251s |      15 |   200687 |   124132 |    19089     11 |      910 |      944
253.45/253.54	c  253s |      15 |   201321 |   124732 |    19089     11 |      910 |      944
255.55/255.68	c  255s |      15 |   202057 |   125432 |    19089     11 |      910 |      944
257.75/257.81	c  257s |      15 |   202674 |   126032 |    19089     11 |      910 |      944
259.85/259.93	c  259s |      15 |   203186 |   126532 |    19089     11 |      910 |      944
262.05/262.13	c  261s |      15 |   203802 |   127132 |    19089     11 |      910 |      944
264.34/264.46	c  264s |      15 |   204414 |   127732 |    19089     11 |      910 |      944
266.44/266.58	c  266s |      15 |   204930 |   128232 |    19089     11 |      910 |      944
268.64/268.72	c  268s |      15 |   205550 |   128832 |    19089     11 |      910 |      944
270.65/270.79	c  270s |      15 |   206180 |   129432 |    19089     11 |      910 |      944
272.75/272.86	c  272s |      15 |   206800 |   130032 |    19089     11 |      910 |      944
275.05/275.13	c  274s |      15 |   207415 |   130632 |    19089     11 |      910 |      944
277.34/277.48	c  277s |      15 |   208033 |   131232 |    20998     11 |      910 |      944
278.64/278.79	c  278s |      16 |   208366 |   131552 |    20998     11 |      910 |      944
280.74/280.83	c  280s |      16 |   216794 |   133452 |    20998     12 |      910 |      944
282.75/282.85	c  282s |      16 |   222462 |   135052 |    20998     12 |      910 |      944
284.85/285.00	c  284s |      16 |   224504 |   136452 |    20998     12 |      910 |      944
286.94/287.08	c  286s |      16 |   226089 |   137652 |    20998     12 |      910 |      944
289.04/289.16	c  288s |      16 |   228902 |   139052 |    20998     12 |      910 |      944
291.14/291.21	c  290s |      16 |   233004 |   140552 |    20998     12 |      910 |      944
293.24/293.32	c  293s |      16 |   235547 |   142052 |    20998     12 |      910 |      944
295.24/295.37	c  295s |      16 |   237209 |   143252 |    20998     12 |      910 |      944
297.25/297.38	c  297s |      16 |   238926 |   144352 |    20998     12 |      910 |      944
299.35/299.47	c  299s |      16 |   239721 |   145052 |    20998     13 |      910 |      944
301.46/301.55	c  301s |      16 |   240837 |   145952 |    20998     13 |      910 |      944
303.56/303.68	c  303s |      16 |   241797 |   146752 |    20998     13 |      910 |      944
305.64/305.71	c  305s |      16 |   242904 |   147552 |    20998     13 |      910 |      944
307.74/307.81	c  307s |      16 |   244109 |   148452 |    20998     13 |      910 |      944
309.84/309.97	c  309s |      16 |   245277 |   149352 |    20998     13 |      910 |      944
312.04/312.11	c  311s |      16 |   246636 |   150352 |    20998     13 |      910 |      944
314.24/314.31	c  314s |      16 |   247907 |   151352 |    20998     13 |      910 |      944
316.33/316.43	c  316s |      16 |   249020 |   152252 |    20998     13 |      910 |      944
318.43/318.50	c  318s |      16 |   249987 |   153052 |    20998     13 |      910 |      944
320.53/320.65	c  320s |      16 |   250802 |   153752 |    20998     13 |      910 |      944
322.83/322.91	c  322s |      16 |   251934 |   154652 |    20998     13 |      910 |      944
325.03/325.18	c  324s |      16 |   252903 |   155452 |    20998     13 |      910 |      944
327.23/327.37	c  327s |      16 |   253738 |   156152 |    20998     13 |      910 |      944
329.43/329.52	c  329s |      16 |   254494 |   156752 |    20998     14 |      910 |      944
331.63/331.74	c  331s |      16 |   255838 |   157752 |    20998     14 |      910 |      944
333.73/333.85	c  333s |      16 |   256592 |   158352 |    20998     14 |      910 |      944
335.82/335.98	c  335s |      16 |   257763 |   159252 |    20998     14 |      910 |      944
337.92/338.08	c  337s |      16 |   258846 |   160052 |    20998     14 |      910 |      944
339.93/340.10	c  339s |      16 |   259731 |   160752 |    20998     14 |      910 |      944
342.03/342.21	c  341s |      16 |   260490 |   161352 |    20998     14 |      910 |      944
344.12/344.26	c  343s |      16 |   261209 |   161952 |    20998     14 |      910 |      944
346.22/346.35	c  346s |      16 |   261937 |   162552 |    20998     14 |      910 |      944
348.31/348.46	c  348s |      16 |   262673 |   163152 |    20998     14 |      910 |      944
350.31/350.47	c  350s |      16 |   263495 |   163752 |    20998     14 |      910 |      944
352.81/352.90	c  352s |      16 |   264502 |   164552 |    20998     14 |      910 |      944
354.81/354.99	c  354s |      16 |   265395 |   165252 |    20998     14 |      910 |      944
357.11/357.27	c  356s |      16 |   266361 |   166052 |    20998     14 |      910 |      944
359.41/359.52	c  359s |      16 |   267062 |   166652 |    20998     14 |      910 |      944
361.41/361.53	c  361s |      16 |   267955 |   167352 |    20998     14 |      910 |      944
363.41/363.54	c  363s |      16 |   268679 |   167952 |    20998     14 |      910 |      944
365.50/365.64	c  365s |      16 |   269561 |   168652 |    20998     14 |      910 |      944
367.60/367.76	c  367s |      16 |   270143 |   169152 |    20998     15 |      910 |      944
369.80/369.92	c  369s |      16 |   271136 |   169952 |    20998     15 |      910 |      944
371.81/371.96	c  371s |      16 |   271792 |   170552 |    20998     15 |      910 |      944
374.01/374.20	c  373s |      16 |   272649 |   171252 |    20998     15 |      910 |      944
376.21/376.35	c  376s |      16 |   273633 |   172052 |    20998     15 |      910 |      944
378.31/378.49	c  378s |      16 |   274483 |   172752 |    20998     15 |      910 |      944
380.51/380.66	c  380s |      16 |   275314 |   173452 |    20998     15 |      910 |      944
382.60/382.75	c  382s |      16 |   276137 |   174152 |    20998     15 |      910 |      944
384.79/385.00	c  384s |      16 |   277005 |   174852 |    20998     15 |      910 |      944
386.89/387.08	c  386s |      16 |   277726 |   175452 |    20998     15 |      910 |      944
389.09/389.26	c  388s |      16 |   278642 |   176152 |    20998     15 |      910 |      944
391.29/391.46	c  391s |      16 |   279506 |   176852 |    20998     15 |      910 |      944
393.39/393.52	c  393s |      16 |   280426 |   177552 |    20998     15 |      910 |      944
395.39/395.58	c  395s |      16 |   281389 |   178352 |    20998     15 |      910 |      944
397.49/397.61	c  397s |      16 |   282238 |   179052 |    20998     15 |      910 |      944
399.49/399.61	c  399s |      16 |   282997 |   179652 |    20998     15 |      910 |      944
401.68/401.83	c  401s |      16 |   283837 |   180352 |    20998     15 |      910 |      944
404.28/404.40	c  404s |      16 |   284673 |   181052 |    20998     16 |      910 |      944
406.28/406.41	c  406s |      16 |   285457 |   181752 |    20998     16 |      910 |      944
408.28/408.46	c  408s |      16 |   286283 |   182452 |    20998     16 |      910 |      944
410.38/410.56	c  410s |      16 |   287140 |   183152 |    20998     16 |      910 |      944
412.59/412.72	c  412s |      16 |   288014 |   183852 |    20998     16 |      910 |      944
414.59/414.79	c  414s |      16 |   288882 |   184552 |    20998     16 |      910 |      944
416.79/416.99	c  416s |      16 |   289743 |   185252 |    20998     16 |      910 |      944
418.88/419.07	c  418s |      16 |   290463 |   185852 |    20998     16 |      910 |      944
421.08/421.20	c  420s |      16 |   291215 |   186452 |    20998     16 |      910 |      944
423.39/423.55	c  423s |      16 |   291965 |   187052 |    20998     16 |      910 |      944
425.59/425.73	c  425s |      16 |   292675 |   187652 |    20998     16 |      910 |      944
427.89/428.06	c  427s |      16 |   293357 |   188252 |    20998     16 |      910 |      944
430.09/430.28	c  430s |      16 |   294075 |   188852 |    20998     16 |      910 |      944
432.29/432.49	c  432s |      16 |   294781 |   189452 |    20998     16 |      910 |      944
434.48/434.64	c  434s |      16 |   295473 |   190052 |    20998     16 |      910 |      944
436.77/436.96	c  436s |      16 |   296345 |   190752 |    20998     16 |      910 |      944
438.88/439.05	c  438s |      16 |   297106 |   191352 |    20998     16 |      910 |      944
441.17/441.34	c  441s |      16 |   297829 |   191952 |    20998     16 |      910 |      944
443.47/443.66	c  443s |      16 |   298579 |   192552 |    20998     16 |      910 |      944
445.87/446.06	c  445s |      16 |   299185 |   193052 |    20998     17 |      910 |      944
447.87/448.07	c  447s |      16 |   300054 |   193752 |    20998     17 |      910 |      944
450.17/450.35	c  450s |      16 |   300917 |   194452 |    20998     17 |      910 |      944
452.37/452.56	c  452s |      16 |   301737 |   195152 |    20998     17 |      910 |      944
454.47/454.67	c  454s |      16 |   302465 |   195752 |    20998     17 |      910 |      944
456.57/456.72	c  456s |      16 |   303195 |   196352 |    23098     17 |      910 |      944
458.68/458.89	c  458s |      16 |   303875 |   196952 |    23098     17 |      910 |      944
460.67/460.90	c  460s |      17 |   304420 |   197432 |    23098     17 |      910 |      944
462.76/462.96	c  462s |      17 |   310411 |   199332 |    23098     17 |      910 |      944
464.86/465.01	c  464s |      17 |   312856 |   200932 |    23098     17 |      910 |      944
467.06/467.20	c  466s |      17 |   314820 |   202332 |    23098     17 |      910 |      944
469.06/469.28	c  469s |      17 |   315858 |   203232 |    23098     17 |      910 |      944
471.16/471.35	c  471s |      17 |   317290 |   204332 |    23098     17 |      910 |      944
473.26/473.46	c  473s |      17 |   318368 |   205232 |    23098     17 |      910 |      944
475.35/475.51	c  475s |      17 |   320324 |   206532 |    23098     17 |      910 |      944
477.45/477.62	c  477s |      17 |   321829 |   207532 |    23098     18 |      910 |      944
479.56/479.77	c  479s |      17 |   323818 |   208832 |    23098     18 |      910 |      944
481.76/481.95	c  481s |      17 |   325193 |   209932 |    23098     18 |      910 |      944
483.86/484.03	c  483s |      17 |   326487 |   210932 |    23098     18 |      910 |      944
485.95/486.14	c  485s |      17 |   327426 |   211732 |    23098     18 |      910 |      944
488.05/488.26	c  487s |      17 |   328543 |   212632 |    23098     18 |      910 |      944
490.15/490.35	c  490s |      17 |   329533 |   213432 |    23098     18 |      910 |      944
492.35/492.55	c  492s |      17 |   330453 |   214232 |    23098     18 |      910 |      944
494.34/494.57	c  494s |      17 |   331424 |   215032 |    23098     18 |      910 |      944
496.44/496.68	c  496s |      17 |   332587 |   215932 |    23098     18 |      910 |      944
498.54/498.77	c  498s |      17 |   333577 |   216732 |    23098     18 |      910 |      944
500.64/500.88	c  500s |      17 |   334393 |   217432 |    23098     18 |      910 |      944
502.94/503.11	c  502s |      17 |   335383 |   218232 |    23098     18 |      910 |      944
505.03/505.21	c  504s |      17 |   336206 |   218932 |    23098     18 |      910 |      944
507.13/507.36	c  507s |      17 |   337059 |   219632 |    23098     18 |      910 |      944
509.43/509.61	c  509s |      17 |   337900 |   220332 |    23098     18 |      910 |      944
511.63/511.89	c  511s |      17 |   338607 |   220932 |    23098     19 |      910 |      944
513.73/513.99	c  513s |      17 |   339422 |   221632 |    23098     19 |      910 |      944
516.03/516.22	c  515s |      17 |   340459 |   222432 |    23098     19 |      910 |      944
518.04/518.22	c  517s |      17 |   341699 |   223332 |    23098     19 |      910 |      944
520.03/520.26	c  519s |      17 |   343035 |   224232 |    23098     19 |      910 |      944
522.03/522.27	c  521s |      17 |   344008 |   225032 |    23098     19 |      910 |      944
524.13/524.39	c  524s |      17 |   344999 |   225832 |    23098     19 |      910 |      944
526.33/526.56	c  526s |      17 |   346019 |   226632 |    23098     19 |      910 |      944
528.72/528.91	c  528s |      17 |   346835 |   227332 |    23098     19 |      910 |      944
530.72/530.94	c  530s |      17 |   347505 |   227932 |    23098     19 |      910 |      944
532.82/533.04	c  532s |      17 |   348231 |   228532 |    23098     19 |      910 |      944
534.92/535.18	c  534s |      17 |   348940 |   229132 |    23098     19 |      910 |      944
537.02/537.21	c  536s |      17 |   349878 |   229832 |    23098     19 |      910 |      944
539.12/539.30	c  539s |      17 |   350571 |   230432 |    23098     19 |      910 |      944
541.22/541.46	c  541s |      17 |   351261 |   231032 |    23098     19 |      910 |      944
543.43/543.63	c  543s |      17 |   351956 |   231632 |    23098     19 |      910 |      944
545.54/545.77	c  545s |      17 |   352528 |   232132 |    23098     19 |      910 |      944
547.74/547.93	c  547s |      17 |   353072 |   232632 |    23098     19 |      910 |      944
549.84/550.07	c  549s |      17 |   353944 |   233332 |    23098     19 |      910 |      944
552.23/552.43	c  552s |      17 |   354534 |   233832 |    23098     20 |      910 |      944
554.34/554.56	c  554s |      17 |   355341 |   234532 |    23098     20 |      910 |      944
556.44/556.66	c  556s |      17 |   356195 |   235232 |    23098     20 |      910 |      944
558.83/559.02	c  558s |      17 |   357131 |   236032 |    23098     20 |      910 |      944
560.94/561.13	c  560s |      17 |   357790 |   236632 |    23098     20 |      910 |      944
563.04/563.28	c  563s |      17 |   358461 |   237232 |    23098     20 |      910 |      944
565.12/565.31	c  565s |      17 |   359146 |   237832 |    23098     20 |      910 |      944
567.32/567.54	c  567s |      17 |   359836 |   238432 |    23098     20 |      910 |      944
569.63/569.82	c  569s |      17 |   360670 |   239132 |    23098     20 |      910 |      944
571.83/572.05	c  571s |      17 |   361550 |   239832 |    23098     20 |      910 |      944
573.82/574.09	c  573s |      17 |   362240 |   240432 |    23098     20 |      910 |      944
576.01/576.22	c  575s |      17 |   362920 |   241032 |    23098     20 |      910 |      944
578.11/578.38	c  578s |      17 |   363802 |   241732 |    23098     20 |      910 |      944
580.21/580.47	c  580s |      17 |   364535 |   242332 |    23098     20 |      910 |      944
582.41/582.67	c  582s |      17 |   365227 |   242932 |    23098     20 |      910 |      944
584.80/585.01	c  584s |      17 |   365899 |   243532 |    23098     20 |      910 |      944
586.90/587.12	c  586s |      17 |   366440 |   244032 |    23098     20 |      910 |      944
589.00/589.25	c  588s |      17 |   367149 |   244632 |    23098     20 |      910 |      944
591.20/591.49	c  591s |      17 |   367839 |   245232 |    23098     20 |      910 |      944
593.40/593.60	c  593s |      17 |   368593 |   245832 |    23098     20 |      910 |      944
595.39/595.61	c  595s |      17 |   369353 |   246432 |    23098     20 |      910 |      944
598.09/598.31	c  598s |      17 |   370063 |   247032 |    23098     21 |      910 |      944
600.09/600.34	c  600s |      17 |   370938 |   247732 |    23098     21 |      910 |      944
602.19/602.47	c  602s |      17 |   371754 |   248432 |    23098     21 |      910 |      944
604.58/604.81	c  604s |      17 |   372564 |   249132 |    23098     21 |      910 |      944
606.78/607.08	c  606s |      17 |   373542 |   249932 |    23098     21 |      910 |      944
608.88/609.18	c  608s |      17 |   374380 |   250632 |    23098     21 |      910 |      944
611.08/611.33	c  611s |      17 |   375266 |   251332 |    23098     21 |      910 |      944
613.18/613.41	c  613s |      17 |   375925 |   251932 |    23098     21 |      910 |      944
615.38/615.69	c  615s |      17 |   376605 |   252532 |    23098     21 |      910 |      944
617.58/617.89	c  617s |      17 |   377420 |   253232 |    23098     21 |      910 |      944
619.87/620.17	c  619s |      17 |   378214 |   253932 |    23098     21 |      910 |      944
622.27/622.54	c  622s |      17 |   378880 |   254532 |    23098     21 |      910 |      944
624.68/624.93	c  624s |      17 |   379590 |   255132 |    23098     21 |      910 |      944
626.88/627.19	c  626s |      17 |   380280 |   255732 |    23098     21 |      910 |      944
629.17/629.45	c  629s |      17 |   380968 |   256332 |    23098     21 |      910 |      944
631.28/631.57	c  631s |      17 |   381672 |   256932 |    23098     21 |      910 |      944
633.48/633.78	c  633s |      17 |   382366 |   257532 |    23098     21 |      910 |      944
635.77/636.05	c  635s |      17 |   383045 |   258132 |    23098     21 |      910 |      944
637.89/638.16	c  637s |      17 |   383603 |   258632 |    23098     21 |      910 |      944
640.27/640.53	c  640s |      17 |   384298 |   259232 |    23098     21 |      910 |      944
642.29/642.57	c  642s |      17 |   384870 |   259732 |    23098     21 |      910 |      944
645.07/645.30	c  645s |      17 |   385434 |   260232 |    23098     22 |      910 |      944
647.07/647.35	c  647s |      17 |   386261 |   260932 |    23098     22 |      910 |      944
649.17/649.45	c  649s |      17 |   387062 |   261632 |    23098     22 |      910 |      944
651.27/651.51	c  651s |      17 |   387875 |   262332 |    23098     22 |      910 |      944
653.47/653.79	c  653s |      17 |   388791 |   263132 |    23098     22 |      910 |      944
655.57/655.87	c  655s |      17 |   389632 |   263832 |    23098     22 |      910 |      944
657.87/658.16	c  657s |      17 |   390584 |   264632 |    23098     22 |      910 |      944
659.97/660.28	c  660s |      17 |   391581 |   265432 |    23098     22 |      910 |      944
662.27/662.51	c  662s |      17 |   392368 |   266132 |    23098     22 |      910 |      944
664.27/664.55	c  664s |      17 |   393105 |   266732 |    23098     22 |      910 |      944
666.26/666.55	c  666s |      17 |   393797 |   267332 |    23098     22 |      910 |      944
668.26/668.59	c  668s |      17 |   394529 |   267932 |    23098     22 |      910 |      944
670.56/670.89	c  670s |      17 |   395362 |   268632 |    23098     22 |      910 |      944
672.86/673.18	c  672s |      17 |   396062 |   269232 |    23098     22 |      910 |      944
675.27/675.52	c  675s |      17 |   396718 |   269832 |    23098     22 |      910 |      944
677.47/677.76	c  677s |      17 |   397400 |   270432 |    23098     22 |      910 |      944
679.57/679.85	c  679s |      17 |   398114 |   271032 |    23098     22 |      910 |      944
681.76/682.03	c  681s |      17 |   398678 |   271532 |    23098     22 |      910 |      944
683.96/684.26	c  683s |      17 |   399401 |   272132 |    23098     22 |      910 |      944
686.04/686.40	c  686s |      17 |   399969 |   272632 |    23098     22 |      910 |      944
688.14/688.46	c  688s |      17 |   400551 |   273132 |    23098     22 |      910 |      944
690.44/690.72	c  690s |      17 |   401109 |   273632 |    23098     23 |      910 |      944
692.44/692.73	c  692s |      17 |   401789 |   274232 |    23098     23 |      910 |      944
694.74/695.08	c  694s |      17 |   402588 |   274932 |    23098     23 |      910 |      944
696.94/697.23	c  696s |      17 |   403421 |   275632 |    23098     23 |      910 |      944
699.14/699.45	c  699s |      17 |   404101 |   276232 |    23098     23 |      910 |      944
701.24/701.53	c  701s |      17 |   404791 |   276832 |    23098     23 |      910 |      944
703.34/703.63	c  703s |      17 |   405488 |   277432 |    23098     23 |      910 |      944
705.63/705.95	c  705s |      17 |   406149 |   278032 |    23098     23 |      910 |      944
707.63/707.96	c  707s |      17 |   406698 |   278532 |    23098     23 |      910 |      944
709.83/710.16	c  709s |      17 |   407244 |   279032 |    23098     23 |      910 |      944
711.83/712.19	c  711s |      17 |   407950 |   279632 |    23098     23 |      910 |      944
714.22/714.54	c  714s |      17 |   408610 |   280232 |    23098     23 |      910 |      944
716.32/716.69	c  716s |      17 |   409167 |   280732 |    23098     23 |      910 |      944
718.42/718.73	c  718s |      17 |   409739 |   281232 |    23098     23 |      910 |      944
720.62/720.98	c  720s |      17 |   410288 |   281732 |    23098     23 |      910 |      944
722.92/723.21	c  722s |      17 |   410862 |   282232 |    23098     23 |      910 |      944
725.22/725.55	c  725s |      17 |   411423 |   282732 |    23098     23 |      910 |      944
727.42/727.80	c  727s |      17 |   411980 |   283232 |    23098     23 |      910 |      944
729.72/730.02	c  729s |      17 |   412524 |   283732 |    23098     23 |      910 |      944
731.92/732.20	c  731s |      17 |   413094 |   284232 |    23098     23 |      910 |      944
734.12/734.42	c  734s |      17 |   413656 |   284732 |    23098     23 |      910 |      944
736.42/736.72	c  736s |      17 |   414202 |   285232 |    23098     23 |      910 |      944
738.62/738.98	c  738s |      17 |   414741 |   285732 |    23098     23 |      910 |      944
740.92/741.21	c  740s |      17 |   415290 |   286232 |    23098     23 |      910 |      944
743.62/743.90	c  743s |      17 |   415859 |   286732 |    23098     24 |      910 |      944
745.81/746.15	c  745s |      17 |   416682 |   287432 |    23098     24 |      910 |      944
747.91/748.26	c  747s |      17 |   417587 |   288132 |    23098     24 |      910 |      944
750.11/750.46	c  750s |      17 |   418442 |   288832 |    23098     24 |      910 |      944
752.12/752.48	c  752s |      17 |   419466 |   289632 |    23098     24 |      910 |      944
754.20/754.60	c  754s |      17 |   420300 |   290332 |    23098     24 |      910 |      944
756.40/756.70	c  756s |      17 |   421028 |   290932 |    23098     24 |      910 |      944
758.60/758.92	c  758s |      17 |   421856 |   291632 |    23098     24 |      910 |      944
760.70/761.08	c  760s |      17 |   422563 |   292232 |    23098     24 |      910 |      944
762.70/763.08	c  762s |      17 |   423118 |   292732 |    23098     24 |      910 |      944
764.79/765.10	c  764s |      17 |   423825 |   293332 |    23098     24 |      910 |      944
766.89/767.26	c  766s |      17 |   424531 |   293932 |    23098     24 |      910 |      944
769.29/769.61	c  769s |      17 |   425230 |   294532 |    25408     24 |      910 |      944
771.49/771.85	c  771s |      17 |   425783 |   295032 |    25408     24 |      910 |      944
773.79/774.19	c  773s |      17 |   426467 |   295632 |    25408     24 |      910 |      944
776.08/776.45	c  776s |      17 |   427201 |   296232 |    25408     24 |      910 |      944
776.18/776.53	c  776s |      18 |   427231 |   296252 |    25408     24 |      910 |      944
778.18/778.57	c  778s |      18 |   433708 |   297652 |    25408     24 |      910 |      944
780.18/780.57	c  780s |      18 |   437470 |   299252 |    25408     24 |      910 |      944
782.28/782.67	c  782s |      18 |   441904 |   301052 |    25408     24 |      910 |      944
784.37/784.79	c  784s |      18 |   444776 |   302752 |    25408     25 |      910 |      944
786.47/786.84	c  786s |      18 |   447945 |   304652 |    25408     25 |      910 |      944
788.48/788.87	c  788s |      18 |   450786 |   306352 |    25408     25 |      910 |      944
790.58/790.98	c  790s |      18 |   452862 |   307752 |    25408     25 |      910 |      944
792.67/793.04	c  792s |      18 |   454920 |   309152 |    25408     25 |      910 |      944
794.77/795.14	c  794s |      18 |   456749 |   310452 |    25408     25 |      910 |      944
796.97/797.33	c  797s |      18 |   458315 |   311652 |    25408     25 |      910 |      944
799.07/799.50	c  799s |      18 |   459822 |   312752 |    25408     25 |      910 |      944
801.27/801.67	c  801s |      18 |   461716 |   314052 |    25408     25 |      910 |      944
803.37/803.79	c  803s |      18 |   463251 |   315152 |    25408     25 |      910 |      944
805.46/805.88	c  805s |      18 |   464410 |   315952 |    25408     26 |      910 |      944
807.56/807.92	c  807s |      18 |   465783 |   316952 |    25408     26 |      910 |      944
809.66/810.05	c  809s |      18 |   467145 |   317952 |    25408     26 |      910 |      944
811.66/812.08	c  811s |      18 |   468272 |   318852 |    25408     26 |      910 |      944
813.86/814.20	c  813s |      18 |   469404 |   319752 |    25408     26 |      910 |      944
816.05/816.45	c  816s |      18 |   470513 |   320652 |    25408     26 |      910 |      944
818.35/818.70	c  818s |      18 |   471631 |   321552 |    25408     26 |      910 |      944
820.36/820.77	c  820s |      18 |   473162 |   322552 |    25408     26 |      910 |      944
822.35/822.80	c  822s |      18 |   474569 |   323552 |    25408     26 |      910 |      944
824.45/824.84	c  824s |      18 |   475686 |   324352 |    25408     26 |      910 |      944
826.65/827.01	c  826s |      18 |   476861 |   325252 |    25408     26 |      910 |      944
828.75/829.12	c  828s |      18 |   478133 |   326152 |    25408     26 |      910 |      944
830.95/831.36	c  831s |      18 |   479368 |   327052 |    25408     26 |      910 |      944
833.05/833.49	c  833s |      18 |   480230 |   327752 |    25408     26 |      910 |      944
835.14/835.52	c  835s |      18 |   481106 |   328452 |    25408     26 |      910 |      944
837.34/837.78	c  837s |      18 |   482122 |   329252 |    25408     26 |      910 |      944
839.44/839.82	c  839s |      18 |   482953 |   329852 |    25408     27 |      910 |      944
841.64/842.04	c  841s |      18 |   484197 |   330852 |    25408     27 |      910 |      944
843.74/844.15	c  843s |      18 |   485343 |   331752 |    25408     27 |      910 |      944
845.93/846.31	c  846s |      18 |   486301 |   332552 |    25408     27 |      910 |      944
847.93/848.32	c  848s |      18 |   487278 |   333352 |    25408     27 |      910 |      944
850.04/850.49	c  850s |      18 |   488308 |   334252 |    25408     27 |      910 |      944
852.33/852.76	c  852s |      18 |   489230 |   335052 |    25408     27 |      910 |      944
854.43/854.86	c  854s |      18 |   490048 |   335752 |    25408     27 |      910 |      944
856.63/857.02	c  856s |      18 |   490865 |   336452 |    25408     27 |      910 |      944
858.92/859.31	c  859s |      18 |   491700 |   337152 |    25408     27 |      910 |      944
861.22/861.61	c  861s |      18 |   492548 |   337852 |    25408     27 |      910 |      944
863.52/863.91	c  863s |      18 |   493341 |   338552 |    25408     27 |      910 |      944
865.61/866.05	c  865s |      18 |   494040 |   339152 |    25408     27 |      910 |      944
867.72/868.14	c  867s |      18 |   494755 |   339752 |    25408     27 |      910 |      944
870.11/870.53	c  870s |      18 |   495553 |   340452 |    25408     27 |      910 |      944
872.41/872.90	c  872s |      18 |   496250 |   341052 |    25408     27 |      910 |      944
874.71/875.19	c  874s |      18 |   497004 |   341652 |    25408     27 |      910 |      944
876.81/877.29	c  877s |      18 |   497737 |   342252 |    25408     27 |      910 |      944
879.01/879.42	c  879s |      18 |   498505 |   342852 |    25408     27 |      910 |      944
881.11/881.59	c  881s |      18 |   499217 |   343452 |    25408     27 |      910 |      944
883.51/883.90	c  883s |      18 |   499789 |   343952 |    25408     28 |      910 |      944
885.51/885.99	c  885s |      18 |   500658 |   344652 |    25408     28 |      910 |      944
887.81/888.22	c  887s |      18 |   501510 |   345352 |    25408     28 |      910 |      944
890.11/890.51	c  890s |      18 |   502378 |   346052 |    25408     28 |      910 |      944
892.31/892.75	c  892s |      18 |   503249 |   346752 |    25408     28 |      910 |      944
894.40/894.85	c  894s |      18 |   504136 |   347452 |    25408     28 |      910 |      944
896.40/896.88	c  896s |      18 |   504898 |   348052 |    25408     28 |      910 |      944
898.70/899.17	c  898s |      18 |   505701 |   348752 |    25408     28 |      910 |      944
901.00/901.41	c  901s |      18 |   506535 |   349452 |    25408     28 |      910 |      944
903.10/903.52	c  903s |      18 |   507204 |   350052 |    25408     28 |      910 |      944
905.19/905.66	c  905s |      18 |   507935 |   350652 |    25408     28 |      910 |      944
907.20/907.69	c  907s |      18 |   508693 |   351252 |    25408     28 |      910 |      944
909.30/909.71	c  909s |      18 |   509305 |   351752 |    25408     28 |      910 |      944
911.39/911.80	c  911s |      18 |   510078 |   352352 |    25408     28 |      910 |      944
913.49/913.91	c  913s |      18 |   510795 |   352952 |    25408     28 |      910 |      944
915.58/916.02	c  915s |      18 |   511516 |   353552 |    25408     28 |      910 |      944
917.68/918.13	c  917s |      18 |   512116 |   354052 |    25408     28 |      910 |      944
919.98/920.44	c  920s |      18 |   512876 |   354652 |    25408     28 |      910 |      944
922.38/922.86	c  922s |      18 |   513645 |   355252 |    25408     28 |      910 |      944
924.69/925.13	c  924s |      18 |   514423 |   355852 |    25408     28 |      910 |      944
926.89/927.39	c  927s |      18 |   515004 |   356352 |    25408     28 |      910 |      944
928.97/929.40	c  929s |      18 |   515714 |   356852 |    25408     28 |      910 |      944
930.97/931.45	c  931s |      18 |   516331 |   357352 |    25408     28 |      910 |      944
933.17/933.66	c  933s |      18 |   516898 |   357852 |    25408     28 |      910 |      944
935.47/935.96	c  935s |      18 |   517664 |   358352 |    25408     29 |      910 |      944
937.47/937.98	c  937s |      18 |   518913 |   359252 |    25408     29 |      910 |      944
939.67/940.16	c  939s |      18 |   520248 |   360252 |    25408     29 |      910 |      944
941.97/942.44	c  942s |      18 |   521338 |   361152 |    25408     29 |      910 |      944
944.16/944.67	c  944s |      18 |   522377 |   361952 |    25408     29 |      910 |      944
946.36/946.89	c  946s |      18 |   523479 |   362752 |    25408     29 |      910 |      944
948.46/948.96	c  948s |      18 |   524365 |   363452 |    25408     29 |      910 |      944
950.86/951.37	c  951s |      18 |   525277 |   364152 |    25408     29 |      910 |      944
952.96/953.47	c  953s |      18 |   526065 |   364752 |    25408     29 |      910 |      944
955.05/955.50	c  955s |      18 |   526841 |   365352 |    25408     29 |      910 |      944
957.15/957.65	c  957s |      18 |   527578 |   365952 |    25408     29 |      910 |      944
959.15/959.68	c  959s |      18 |   528523 |   366652 |    25408     29 |      910 |      944
961.35/961.84	c  961s |      18 |   529394 |   367352 |    25408     29 |      910 |      944
963.65/964.12	c  963s |      18 |   530200 |   368052 |    25408     29 |      910 |      944
965.75/966.25	c  965s |      18 |   530892 |   368652 |    25408     29 |      910 |      944
968.05/968.53	c  968s |      18 |   531662 |   369252 |    25408     29 |      910 |      944
970.35/970.81	c  970s |      18 |   532362 |   369852 |    25408     29 |      910 |      944
972.55/973.08	c  972s |      18 |   532950 |   370352 |    25408     29 |      910 |      944
974.85/975.39	c  975s |      18 |   533535 |   370852 |    25408     29 |      910 |      944
977.25/977.79	c  977s |      18 |   534253 |   371452 |    25408     29 |      910 |      944
979.54/980.04	c  979s |      18 |   534996 |   372052 |    25408     29 |      910 |      944
981.74/982.22	c  981s |      18 |   535636 |   372552 |    25408     30 |      910 |      944
983.84/984.30	c  984s |      18 |   536647 |   373352 |    25408     30 |      910 |      944
985.84/986.35	c  986s |      18 |   537515 |   374052 |    25408     30 |      910 |      944
988.04/988.56	c  988s |      18 |   538374 |   374752 |    25408     30 |      910 |      944
990.34/990.80	c  990s |      18 |   539198 |   375452 |    25408     30 |      910 |      944
992.34/992.82	c  992s |      18 |   540057 |   376152 |    25408     30 |      910 |      944
994.54/995.06	c  994s |      18 |   540935 |   376852 |    25408     30 |      910 |      944
996.74/997.25	c  996s |      18 |   542011 |   377652 |    25408     30 |      910 |      944
998.94/999.42	c  999s |      18 |   542849 |   378352 |    25408     30 |      910 |      944
1001.14/1001.64	c 1001s |      18 |   543763 |   379052 |    25408     30 |      910 |      944
1003.54/1004.03	c 1003s |      18 |   544521 |   379652 |    25408     30 |      910 |      944
1005.64/1006.16	c 1005s |      18 |   545280 |   380252 |    25408     30 |      910 |      944
1007.84/1008.39	c 1008s |      18 |   546191 |   380952 |    25408     30 |      910 |      944
1010.14/1010.63	c 1010s |      18 |   547069 |   381652 |    25408     30 |      910 |      944
1012.54/1013.03	c 1012s |      18 |   547936 |   382352 |    25408     30 |      910 |      944
1014.64/1015.11	c 1014s |      18 |   548548 |   382852 |    25408     30 |      910 |      944
1016.74/1017.27	c 1016s |      18 |   549290 |   383452 |    25408     30 |      910 |      944
1019.25/1019.71	c 1019s |      18 |   550008 |   384052 |    25408     30 |      910 |      944
1021.33/1021.80	c 1021s |      18 |   550631 |   384552 |    25408     30 |      910 |      944
1023.53/1024.03	c 1023s |      18 |   551226 |   385052 |    25408     30 |      910 |      944
1025.63/1026.13	c 1025s |      18 |   551694 |   385452 |    25408     30 |      910 |      944
1028.04/1028.53	c 1028s |      18 |   552438 |   386052 |    25408     30 |      910 |      944
1030.13/1030.60	c 1030s |      18 |   552931 |   386452 |    25408     31 |      910 |      944
1032.13/1032.63	c 1032s |      18 |   553718 |   387052 |    25408     31 |      910 |      944
1034.53/1035.03	c 1034s |      18 |   554613 |   387752 |    25408     31 |      910 |      944
1036.73/1037.21	c 1036s |      18 |   555506 |   388452 |    25408     31 |      910 |      944
1038.73/1039.22	c 1038s |      18 |   556336 |   389152 |    25408     31 |      910 |      944
1040.83/1041.38	c 1041s |      18 |   556944 |   389652 |    25408     31 |      910 |      944
1043.13/1043.67	c 1043s |      18 |   557788 |   390352 |    25408     31 |      910 |      944
1045.33/1045.88	c 1045s |      18 |   558605 |   391052 |    25408     31 |      910 |      944
1047.73/1048.20	c 1047s |      18 |   559431 |   391752 |    25408     31 |      910 |      944
1049.93/1050.48	c 1050s |      18 |   560312 |   392452 |    25408     31 |      910 |      944
1052.13/1052.65	c 1052s |      18 |   561128 |   393152 |    25408     31 |      910 |      944
1054.44/1054.97	c 1054s |      18 |   561809 |   393752 |    25408     31 |      910 |      944
1056.53/1057.05	c 1056s |      18 |   562496 |   394352 |    25408     31 |      910 |      944
1058.63/1059.10	c 1058s |      18 |   563114 |   394852 |    25408     31 |      910 |      944
1060.94/1061.48	c 1061s |      18 |   563846 |   395452 |    25408     31 |      910 |      944
1063.14/1063.62	c 1063s |      18 |   564462 |   395952 |    25408     31 |      910 |      944
1065.14/1065.69	c 1065s |      18 |   565125 |   396452 |    25408     31 |      910 |      944
1067.33/1067.84	c 1067s |      18 |   565735 |   396952 |    25408     31 |      910 |      944
1069.53/1070.02	c 1069s |      18 |   566299 |   397452 |    25408     31 |      910 |      944
1071.63/1072.17	c 1071s |      18 |   566867 |   397952 |    25408     31 |      910 |      944
1073.93/1074.46	c 1074s |      18 |   567434 |   398452 |    25408     31 |      910 |      944
1076.13/1076.68	c 1076s |      18 |   568023 |   398952 |    25408     31 |      910 |      944
1078.23/1078.78	c 1078s |      18 |   568514 |   399352 |    25408     31 |      910 |      944
1080.33/1080.86	c 1080s |      18 |   568961 |   399752 |    25408     31 |      910 |      944
1083.23/1083.77	c 1083s |      18 |   569597 |   400252 |    25408     32 |      910 |      944
1085.43/1085.98	c 1085s |      18 |   570287 |   400852 |    25408     32 |      910 |      944
1087.73/1088.22	c 1087s |      18 |   571116 |   401552 |    25408     32 |      910 |      944
1090.13/1090.66	c 1090s |      18 |   571840 |   402152 |    25408     32 |      910 |      944
1092.63/1093.15	c 1092s |      18 |   572568 |   402752 |    25408     32 |      910 |      944
1095.14/1095.62	c 1095s |      18 |   573168 |   403252 |    25408     32 |      910 |      944
1097.63/1098.12	c 1097s |      18 |   573864 |   403852 |    25408     32 |      910 |      944
1100.03/1100.53	c 1100s |      18 |   574433 |   404352 |    25408     32 |      910 |      944
1102.13/1102.68	c 1102s |      18 |   574877 |   404752 |    25408     32 |      910 |      944
1104.53/1105.04	c 1104s |      18 |   575496 |   405252 |    25408     32 |      910 |      944
1106.73/1107.21	c 1106s |      18 |   576092 |   405752 |    25408     32 |      910 |      944
1108.93/1109.48	c 1109s |      18 |   576557 |   406152 |    25408     32 |      910 |      944
1111.12/1111.65	c 1111s |      18 |   577043 |   406552 |    25408     32 |      910 |      944
1113.32/1113.84	c 1113s |      18 |   577679 |   407052 |    25408     32 |      910 |      944
1115.32/1115.89	c 1115s |      18 |   578145 |   407452 |    25408     32 |      910 |      944
1117.42/1117.97	c 1117s |      18 |   579154 |   408052 |    25408     32 |      910 |      944
1119.72/1120.26	c 1119s |      18 |   580047 |   408752 |    25408     32 |      910 |      944
1121.82/1122.33	c 1122s |      18 |   580625 |   409252 |    25408     32 |      910 |      944
1124.12/1124.61	c 1124s |      18 |   581219 |   409752 |    25408     32 |      910 |      944
1126.32/1126.86	c 1126s |      18 |   581791 |   410252 |    25408     32 |      910 |      944
1128.32/1128.87	c 1128s |      18 |   582763 |   410952 |    25408     32 |      910 |      944
1130.43/1130.93	c 1130s |      18 |   583646 |   411652 |    25408     32 |      910 |      944
1132.53/1133.03	c 1132s |      18 |   584409 |   412252 |    25408     32 |      910 |      944
1134.73/1135.23	c 1134s |      18 |   585173 |   412852 |    25408     32 |      910 |      944
1137.03/1137.55	c 1137s |      18 |   585761 |   413352 |    25408     32 |      910 |      944
1139.42/1139.92	c 1139s |      18 |   586389 |   413852 |    25408     32 |      910 |      944
1141.62/1142.10	c 1141s |      18 |   586775 |   414152 |    25408     33 |      910 |      944
1143.63/1144.11	c 1143s |      18 |   587663 |   414852 |    25408     33 |      910 |      944
1145.62/1146.12	c 1145s |      18 |   588669 |   415652 |    25408     33 |      910 |      944
1147.72/1148.21	c 1147s |      18 |   589532 |   416352 |    25408     33 |      910 |      944
1149.72/1150.21	c 1149s |      18 |   590389 |   417052 |    25408     33 |      910 |      944
1151.72/1152.28	c 1152s |      18 |   591212 |   417752 |    25408     33 |      910 |      944
1154.02/1154.55	c 1154s |      18 |   592103 |   418452 |    25408     33 |      910 |      944
1156.32/1156.83	c 1156s |      18 |   592821 |   419052 |    25408     33 |      910 |      944
1158.61/1159.14	c 1158s |      18 |   593708 |   419752 |    25408     33 |      910 |      944
1160.71/1161.20	c 1160s |      18 |   594352 |   420252 |    25408     33 |      910 |      944
1162.81/1163.36	c 1163s |      18 |   594846 |   420652 |    25408     33 |      910 |      944
1165.01/1165.54	c 1165s |      18 |   595310 |   421052 |    25408     33 |      910 |      944
1167.32/1167.88	c 1167s |      18 |   596013 |   421652 |    25408     33 |      910 |      944
1169.42/1169.91	c 1169s |      18 |   596581 |   422152 |    25408     33 |      910 |      944
1171.82/1172.38	c 1172s |      18 |   597348 |   422752 |    25408     33 |      910 |      944
1174.02/1174.56	c 1174s |      18 |   598050 |   423252 |    25408     33 |      910 |      944
1176.02/1176.57	c 1176s |      18 |   598899 |   423852 |    25408     33 |      910 |      944
1178.12/1178.65	c 1178s |      18 |   599781 |   424552 |    25408     33 |      910 |      944
1180.32/1180.85	c 1180s |      18 |   600635 |   425252 |    25408     33 |      910 |      944
1182.52/1183.03	c 1182s |      18 |   601410 |   425952 |    25408     33 |      910 |      944
1184.62/1185.18	c 1184s |      18 |   602118 |   426552 |    25408     33 |      910 |      944
1186.91/1187.42	c 1187s |      18 |   602601 |   426952 |    25408     33 |      910 |      944
1188.91/1189.45	c 1189s |      18 |   603368 |   427352 |    25408     34 |      910 |      944
1190.93/1191.48	c 1191s |      18 |   606229 |   428952 |    25408     34 |      910 |      944
1193.02/1193.53	c 1193s |      18 |   608020 |   430252 |    25408     34 |      910 |      944
1195.01/1195.54	c 1195s |      18 |   609122 |   431152 |    25408     34 |      910 |      944
1197.21/1197.74	c 1197s |      18 |   610223 |   432052 |    25408     34 |      910 |      944
1199.21/1199.77	c 1199s |      18 |   611790 |   433252 |    25408     34 |      910 |      944
1201.31/1201.88	c 1201s |      18 |   613811 |   434552 |    25408     34 |      910 |      944
1203.41/1203.96	c 1203s |      18 |   614932 |   435452 |    25408     34 |      910 |      944
1205.71/1206.20	c 1205s |      18 |   616405 |   436552 |    25408     34 |      910 |      944
1207.71/1208.22	c 1207s |      18 |   617540 |   437452 |    25408     34 |      910 |      944
1209.71/1210.27	c 1209s |      18 |   618509 |   438252 |    25408     34 |      910 |      944
1211.91/1212.40	c 1212s |      18 |   619467 |   439052 |    25408     34 |      910 |      944
1214.21/1214.72	c 1214s |      18 |   620283 |   439752 |    25408     34 |      910 |      944
1216.22/1216.77	c 1216s |      18 |   620968 |   440352 |    25408     34 |      910 |      944
1218.42/1218.95	c 1218s |      18 |   622194 |   441252 |    25408     34 |      910 |      944
1220.52/1221.09	c 1220s |      18 |   623146 |   442052 |    27949     34 |      910 |      944
1222.61/1223.18	c 1222s |      18 |   624025 |   442752 |    27949     34 |      910 |      944
1224.71/1225.27	c 1224s |      18 |   624715 |   443352 |    27949     34 |      910 |      944
1226.71/1227.29	c 1227s |      18 |   625287 |   443852 |    27949     34 |      910 |      944
1228.91/1229.41	c 1229s |      18 |   625986 |   444452 |    27949     34 |      910 |      944
1229.01/1229.53	c 1229s |      19 |   626019 |   444482 |    27949     34 |      910 |      944
1231.01/1231.55	c 1231s |      19 |   629656 |   445382 |    27949     35 |      910 |      944
1233.01/1233.58	c 1233s |      19 |   636529 |   447682 |    27949     35 |      910 |      944
1235.21/1235.77	c 1235s |      19 |   639009 |   449082 |    27949     35 |      910 |      944
1237.41/1237.98	c 1237s |      19 |   640689 |   450282 |    27949     35 |      910 |      944
1239.61/1240.13	c 1239s |      19 |   641889 |   451282 |    27949     35 |      910 |      944
1241.91/1242.41	c 1242s |      19 |   643148 |   452282 |    27949     35 |      910 |      944
1244.10/1244.65	c 1244s |      19 |   644109 |   453082 |    27949     35 |      910 |      944
1246.40/1246.91	c 1246s |      19 |   645678 |   454182 |    27949     35 |      910 |      944
1248.50/1249.03	c 1248s |      19 |   647226 |   455182 |    27949     35 |      910 |      944
1250.80/1251.36	c 1251s |      19 |   648290 |   455982 |    27949     35 |      910 |      944
1253.20/1253.72	c 1253s |      19 |   649081 |   456682 |    27949     35 |      910 |      944
1255.40/1255.93	c 1255s |      19 |   650062 |   457482 |    27949     35 |      910 |      944
1257.60/1258.15	c 1257s |      19 |   650895 |   458182 |    27949     35 |      910 |      944
1259.90/1260.45	c 1260s |      19 |   651748 |   458882 |    27949     35 |      910 |      944
1262.10/1262.63	c 1262s |      19 |   652623 |   459582 |    27949     35 |      910 |      944
1264.30/1264.86	c 1264s |      19 |   653412 |   460182 |    27949     35 |      910 |      944
1266.50/1267.06	c 1266s |      19 |   653875 |   460582 |    27949     36 |      910 |      944
1268.80/1269.34	c 1269s |      19 |   654800 |   461282 |    27949     36 |      910 |      944
1271.11/1271.67	c 1271s |      19 |   655648 |   461982 |    27949     36 |      910 |      944
1273.20/1273.71	c 1273s |      19 |   656365 |   462582 |    27949     36 |      910 |      944
1275.40/1275.92	c 1275s |      19 |   657057 |   463182 |    27949     36 |      910 |      944
1277.60/1278.14	c 1277s |      19 |   657767 |   463782 |    27949     36 |      910 |      944
1279.80/1280.33	c 1280s |      19 |   658532 |   464382 |    27949     36 |      910 |      944
1281.80/1282.35	c 1282s |      19 |   659162 |   464882 |    27949     36 |      910 |      944
1283.90/1284.43	c 1284s |      19 |   659765 |   465382 |    27949     36 |      910 |      944
1286.10/1286.67	c 1286s |      19 |   660474 |   465982 |    27949     36 |      910 |      944
1288.30/1288.84	c 1288s |      19 |   660938 |   466382 |    27949     36 |      910 |      944
1290.70/1291.22	c 1290s |      19 |   661525 |   466882 |    27949     36 |      910 |      944
1292.90/1293.45	c 1293s |      19 |   661985 |   467282 |    27949     36 |      910 |      944
1294.90/1295.49	c 1295s |      19 |   662494 |   467682 |    27949     36 |      910 |      944
1297.29/1297.88	c 1297s |      19 |   663104 |   468182 |    27949     36 |      910 |      944
1299.39/1299.97	c 1299s |      19 |   663555 |   468582 |    27949     36 |      910 |      944
1301.79/1302.32	c 1302s |      19 |   664155 |   469082 |    27949     36 |      910 |      944
1303.99/1304.56	c 1304s |      19 |   664723 |   469582 |    27949     36 |      910 |      944
1306.19/1306.70	c 1306s |      19 |   665300 |   470082 |    27949     36 |      910 |      944
1308.39/1308.90	c 1308s |      19 |   665880 |   470582 |    27949     36 |      910 |      944
1310.70/1311.29	c 1311s |      19 |   666475 |   471082 |    27949     36 |      910 |      944
1312.79/1313.36	c 1313s |      19 |   667074 |   471582 |    27949     36 |      910 |      944
1315.10/1315.64	c 1315s |      19 |   667669 |   472082 |    27949     36 |      910 |      944
1317.09/1317.67	c 1317s |      19 |   668159 |   472482 |    27949     36 |      910 |      944
1319.29/1319.86	c 1319s |      19 |   668610 |   472882 |    27949     36 |      910 |      944
1321.39/1321.95	c 1321s |      19 |   669063 |   473282 |    27949     36 |      910 |      944
1323.39/1323.97	c 1323s |      19 |   669518 |   473682 |    27949     36 |      910 |      944
1325.69/1326.28	c 1326s |      19 |   670256 |   474282 |    27949     36 |      910 |      944
1327.99/1328.58	c 1328s |      19 |   671006 |   474882 |    27949     36 |      910 |      944
1330.09/1330.61	c 1330s |      19 |   671855 |   475482 |    27949     36 |      910 |      944
1332.29/1332.82	c 1332s |      19 |   672467 |   475982 |    27949     36 |      910 |      944
1334.39/1334.96	c 1334s |      19 |   672934 |   476382 |    27949     37 |      910 |      944
1336.79/1337.31	c 1337s |      19 |   673638 |   476982 |    27949     37 |      910 |      944
1338.89/1339.48	c 1339s |      19 |   674473 |   477682 |    27949     37 |      910 |      944
1341.39/1341.91	c 1341s |      19 |   675190 |   478282 |    27949     37 |      910 |      944
1343.80/1344.32	c 1344s |      19 |   675878 |   478882 |    27949     37 |      910 |      944
1346.00/1346.58	c 1346s |      19 |   676466 |   479382 |    27949     37 |      910 |      944
1348.39/1348.99	c 1348s |      19 |   677054 |   479882 |    27949     37 |      910 |      944
1350.59/1351.16	c 1350s |      19 |   677626 |   480382 |    27949     37 |      910 |      944
1352.69/1353.23	c 1352s |      19 |   678259 |   480882 |    27949     37 |      910 |      944
1354.80/1355.39	c 1355s |      19 |   678829 |   481382 |    27949     37 |      910 |      944
1356.90/1357.47	c 1357s |      19 |   679308 |   481782 |    27949     37 |      910 |      944
1358.98/1359.56	c 1359s |      19 |   679762 |   482182 |    27949     37 |      910 |      944
1361.18/1361.72	c 1361s |      19 |   680373 |   482682 |    27949     37 |      910 |      944
1363.18/1363.73	c 1363s |      19 |   681182 |   483282 |    27949     37 |      910 |      944
1365.28/1365.86	c 1365s |      19 |   681914 |   483882 |    27949     37 |      910 |      944
1367.68/1368.26	c 1367s |      19 |   682775 |   484582 |    27949     37 |      910 |      944
1369.88/1370.49	c 1370s |      19 |   683516 |   485182 |    27949     37 |      910 |      944
1372.18/1372.72	c 1372s |      19 |   684324 |   485782 |    27949     37 |      910 |      944
1374.28/1374.85	c 1374s |      19 |   685192 |   486482 |    27949     37 |      910 |      944
1376.58/1377.21	c 1376s |      19 |   685905 |   487082 |    27949     37 |      910 |      944
1378.68/1379.28	c 1379s |      19 |   686518 |   487582 |    27949     37 |      910 |      944
1380.68/1381.29	c 1381s |      19 |   687092 |   488082 |    27949     37 |      910 |      944
1383.08/1383.60	c 1383s |      19 |   687879 |   488682 |    27949     37 |      910 |      944
1385.08/1385.69	c 1385s |      19 |   688500 |   489182 |    27949     37 |      910 |      944
1387.28/1387.87	c 1387s |      19 |   689119 |   489682 |    27949     37 |      910 |      944
1389.58/1390.17	c 1389s |      19 |   689693 |   490182 |    27949     37 |      910 |      944
1391.88/1392.46	c 1392s |      19 |   690280 |   490682 |    27949     37 |      910 |      944
1394.29/1394.87	c 1394s |      19 |   691034 |   491282 |    27949     37 |      910 |      944
1396.38/1396.95	c 1396s |      19 |   691497 |   491682 |    27949     37 |      910 |      944
1398.48/1399.08	c 1398s |      19 |   691988 |   492082 |    27949     38 |      910 |      944
1400.58/1401.12	c 1400s |      19 |   692576 |   492582 |    27949     38 |      910 |      944
1402.78/1403.36	c 1403s |      19 |   693611 |   493382 |    27949     38 |      910 |      944
1404.98/1405.53	c 1405s |      19 |   694455 |   494082 |    27949     38 |      910 |      944
1407.28/1407.83	c 1407s |      19 |   695176 |   494682 |    27949     38 |      910 |      944
1409.48/1410.00	c 1409s |      19 |   695876 |   495282 |    27949     38 |      910 |      944
1411.58/1412.13	c 1411s |      19 |   696539 |   495782 |    27949     38 |      910 |      944
1413.78/1414.37	c 1414s |      19 |   697254 |   496382 |    27949     38 |      910 |      944
1415.97/1416.58	c 1416s |      19 |   697858 |   496882 |    27949     38 |      910 |      944
1418.07/1418.62	c 1418s |      19 |   698641 |   497482 |    27949     38 |      910 |      944
1420.17/1420.72	c 1420s |      19 |   699401 |   498082 |    27949     38 |      910 |      944
1422.27/1422.84	c 1422s |      19 |   700138 |   498682 |    27949     38 |      910 |      944
1424.67/1425.28	c 1425s |      19 |   700699 |   499182 |    27949     38 |      910 |      944
1427.17/1427.73	c 1427s |      19 |   701305 |   499682 |    27949     38 |      910 |      944
1429.37/1429.96	c 1429s |      19 |   701769 |   500082 |    27949     38 |      910 |      944
1431.47/1432.06	c 1431s |      19 |   702217 |   500482 |    27949     38 |      910 |      944
1433.57/1434.13	c 1433s |      19 |   702668 |   500882 |    27949     38 |      910 |      944
1435.67/1436.22	c 1435s |      19 |   703116 |   501282 |    27949     38 |      910 |      944
1437.77/1438.37	c 1438s |      19 |   703577 |   501682 |    27949     38 |      910 |      944
1440.07/1440.66	c 1440s |      19 |   704160 |   502182 |    27949     38 |      910 |      944
1442.68/1443.23	c 1442s |      19 |   704722 |   502682 |    27949     38 |      910 |      944
1444.88/1445.42	c 1445s |      19 |   705163 |   503082 |    27949     38 |      910 |      944
1447.08/1447.68	c 1447s |      19 |   705626 |   503482 |    27949     38 |      910 |      944
1449.38/1449.98	c 1449s |      19 |   706085 |   503882 |    27949     38 |      910 |      944
1451.97/1452.55	c 1452s |      19 |   706524 |   504282 |    27949     38 |      910 |      944
1454.47/1455.05	c 1454s |      19 |   706969 |   504682 |    27949     38 |      910 |      944
1456.87/1457.48	c 1457s |      19 |   707438 |   505082 |    27949     38 |      910 |      944
1458.87/1459.49	c 1459s |      19 |   707923 |   505482 |    27949     38 |      910 |      944
1461.07/1461.60	c 1461s |      19 |   708399 |   505882 |    27949     38 |      910 |      944
1463.27/1463.89	c 1463s |      19 |   708842 |   506282 |    27949     38 |      910 |      944
1465.47/1466.02	c 1465s |      19 |   709316 |   506682 |    27949     38 |      910 |      944
1468.08/1468.68	c 1468s |      19 |   709769 |   507082 |    27949     38 |      910 |      944
1471.17/1471.73	c 1471s |      19 |   710357 |   507582 |    27949     39 |      910 |      944
1473.48/1474.07	c 1473s |      19 |   710937 |   508082 |    27949     39 |      910 |      944
1475.78/1476.32	c 1476s |      19 |   711507 |   508582 |    27949     39 |      910 |      944
1477.77/1478.34	c 1478s |      19 |   712068 |   509082 |    27949     39 |      910 |      944
1480.08/1480.63	c 1480s |      19 |   712664 |   509582 |    27949     39 |      910 |      944
1482.16/1482.77	c 1482s |      19 |   713224 |   510082 |    27949     39 |      910 |      944
1484.48/1485.09	c 1484s |      19 |   713787 |   510582 |    27949     39 |      910 |      944
1486.86/1487.46	c 1487s |      19 |   714368 |   511082 |    27949     39 |      910 |      944
1489.26/1489.89	c 1489s |      19 |   714920 |   511582 |    27949     39 |      910 |      944
1491.36/1491.92	c 1491s |      19 |   715391 |   511982 |    27949     39 |      910 |      944
1493.56/1494.12	c 1493s |      19 |   715829 |   512382 |    27949     39 |      910 |      944
1495.86/1496.49	c 1496s |      19 |   716261 |   512782 |    27949     39 |      910 |      944
1498.06/1498.68	c 1498s |      19 |   716702 |   513182 |    27949     39 |      910 |      944
1500.36/1500.92	c 1500s |      19 |   717153 |   513582 |    27949     39 |      910 |      944
1502.66/1503.27	c 1502s |      19 |   717714 |   514082 |    27949     39 |      910 |      944
1504.96/1505.56	c 1505s |      19 |   718161 |   514482 |    27949     39 |      910 |      944
1506.96/1507.59	c 1507s |      19 |   718621 |   514882 |    27949     39 |      910 |      944
1509.46/1510.09	c 1509s |      19 |   719174 |   515382 |    27949     39 |      910 |      944
1511.77/1512.33	c 1512s |      19 |   719619 |   515782 |    27949     39 |      910 |      944
1513.87/1514.45	c 1514s |      19 |   719968 |   516082 |    27949     39 |      910 |      944
1516.17/1516.70	c 1516s |      19 |   720420 |   516482 |    27949     39 |      910 |      944
1518.17/1518.79	c 1518s |      19 |   720750 |   516782 |    27949     39 |      910 |      944
1520.87/1521.45	c 1521s |      19 |   721197 |   517182 |    27949     39 |      910 |      944
1523.16/1523.75	c 1523s |      19 |   721641 |   517582 |    27949     39 |      910 |      944
1525.27/1525.85	c 1525s |      19 |   722100 |   517982 |    27949     39 |      910 |      944
1527.47/1528.06	c 1527s |      19 |   722557 |   518382 |    27949     39 |      910 |      944
1529.76/1530.33	c 1530s |      19 |   723000 |   518782 |    27949     39 |      910 |      944
1532.16/1532.77	c 1532s |      19 |   723431 |   519182 |    27949     39 |      910 |      944
1534.86/1535.42	c 1535s |      19 |   723875 |   519582 |    27949     39 |      910 |      944
1537.16/1537.73	c 1537s |      19 |   724323 |   519982 |    27949     39 |      910 |      944
1539.66/1540.24	c 1539s |      19 |   724772 |   520382 |    27949     39 |      910 |      944
1542.16/1542.79	c 1542s |      19 |   725200 |   520782 |    27949     39 |      910 |      944
1544.26/1544.83	c 1544s |      19 |   725519 |   521082 |    27949     39 |      910 |      944
1546.26/1546.84	c 1546s |      19 |   725836 |   521382 |    27949     39 |      910 |      944
1548.45/1549.00	c 1548s |      19 |   726168 |   521682 |    27949     39 |      910 |      944
1550.65/1551.27	c 1550s |      19 |   726488 |   521982 |    27949     39 |      910 |      944
1553.05/1553.69	c 1553s |      19 |   726812 |   522282 |    27949     39 |      910 |      944
1555.45/1556.07	c 1555s |      19 |   727253 |   522682 |    27949     39 |      910 |      944
1558.16/1558.74	c 1558s |      19 |   727705 |   523082 |    27949     39 |      910 |      944
1560.55/1561.11	c 1560s |      19 |   728068 |   523382 |    27949     40 |      910 |      944
1562.75/1563.38	c 1563s |      19 |   728522 |   523782 |    27949     40 |      910 |      944
1564.86/1565.41	c 1565s |      19 |   728995 |   524182 |    27949     40 |      910 |      944
1567.06/1567.62	c 1567s |      19 |   729436 |   524582 |    27949     40 |      910 |      944
1569.36/1569.92	c 1569s |      19 |   729877 |   524982 |    27949     40 |      910 |      944
1571.86/1572.40	c 1572s |      19 |   730433 |   525482 |    27949     40 |      910 |      944
1573.96/1574.54	c 1574s |      19 |   730894 |   525882 |    27949     40 |      910 |      944
1576.06/1576.63	c 1576s |      19 |   731345 |   526282 |    27949     40 |      910 |      944
1578.07/1578.68	c 1578s |      19 |   731784 |   526682 |    27949     40 |      910 |      944
1580.17/1580.80	c 1580s |      19 |   732232 |   527082 |    27949     40 |      910 |      944
1582.66/1583.22	c 1582s |      19 |   732652 |   527482 |    27949     40 |      910 |      944
1584.96/1585.53	c 1585s |      19 |   733087 |   527882 |    27949     40 |      910 |      944
1587.06/1587.69	c 1587s |      19 |   733528 |   528282 |    27949     40 |      910 |      944
1589.26/1589.84	c 1589s |      19 |   733998 |   528682 |    27949     40 |      910 |      944
1591.46/1592.02	c 1591s |      19 |   734439 |   529082 |    27949     40 |      910 |      944
1593.75/1594.31	c 1594s |      19 |   735056 |   529582 |    27949     40 |      910 |      944
1595.75/1596.32	c 1596s |      19 |   735781 |   530182 |    27949     40 |      910 |      944
1597.77/1598.35	c 1598s |      19 |   736363 |   530682 |    27949     40 |      910 |      944
1600.06/1600.69	c 1600s |      19 |   736908 |   531182 |    27949     40 |      910 |      944
1602.35/1602.91	c 1602s |      19 |   737484 |   531682 |    27949     40 |      910 |      944
1604.55/1605.18	c 1604s |      19 |   738061 |   532182 |    27949     40 |      910 |      944
1606.95/1607.59	c 1607s |      19 |   738604 |   532682 |    27949     40 |      910 |      944
1609.25/1609.81	c 1609s |      19 |   739199 |   533182 |    27949     40 |      910 |      944
1611.55/1612.15	c 1611s |      19 |   739763 |   533682 |    27949     40 |      910 |      944
1613.65/1614.26	c 1613s |      19 |   740346 |   534182 |    27949     40 |      910 |      944
1615.95/1616.54	c 1616s |      19 |   740940 |   534682 |    27949     40 |      910 |      944
1617.95/1618.58	c 1618s |      19 |   741395 |   535082 |    27949     40 |      910 |      944
1620.05/1620.60	c 1620s |      19 |   741881 |   535482 |    27949     40 |      910 |      944
1622.15/1622.78	c 1622s |      19 |   742306 |   535882 |    27949     40 |      910 |      944
1624.45/1625.07	c 1624s |      19 |   742783 |   536282 |    27949     40 |      910 |      944
1626.55/1627.14	c 1626s |      19 |   743234 |   536682 |    27949     40 |      910 |      944
1628.66/1629.25	c 1628s |      19 |   743690 |   537082 |    27949     40 |      910 |      944
1630.86/1631.46	c 1631s |      19 |   744136 |   537482 |    27949     40 |      910 |      944
1633.45/1634.04	c 1633s |      19 |   744560 |   537882 |    27949     40 |      910 |      944
1635.75/1636.35	c 1636s |      19 |   745013 |   538282 |    27949     40 |      910 |      944
1638.25/1638.84	c 1638s |      19 |   745468 |   538682 |    27949     40 |      910 |      944
1640.35/1640.95	c 1640s |      19 |   745702 |   538882 |    27949     41 |      910 |      944
1642.45/1643.09	c 1642s |      19 |   746292 |   539382 |    27949     41 |      910 |      944
1644.75/1645.39	c 1645s |      19 |   746834 |   539882 |    27949     41 |      910 |      944
1647.26/1647.81	c 1647s |      19 |   747400 |   540382 |    27949     41 |      910 |      944
1649.65/1650.20	c 1649s |      19 |   747946 |   540882 |    27949     41 |      910 |      944
1651.76/1652.34	c 1652s |      19 |   748378 |   541282 |    27949     41 |      910 |      944
1653.96/1654.52	c 1654s |      19 |   748821 |   541682 |    27949     41 |      910 |      944
1656.06/1656.68	c 1656s |      19 |   749253 |   542082 |    27949     41 |      910 |      944
1658.14/1658.70	c 1658s |      19 |   749683 |   542482 |    27949     41 |      910 |      944
1660.45/1661.03	c 1660s |      19 |   750254 |   542982 |    27949     41 |      910 |      944
1662.54/1663.10	c 1662s |      19 |   750708 |   543382 |    27949     41 |      910 |      944
1664.95/1665.57	c 1665s |      19 |   751234 |   543882 |    27949     41 |      910 |      944
1667.24/1667.82	c 1667s |      19 |   751664 |   544282 |    27949     41 |      910 |      944
1669.64/1670.22	c 1669s |      19 |   752307 |   544782 |    27949     41 |      910 |      944
1671.84/1672.45	c 1672s |      19 |   752902 |   545282 |    27949     41 |      910 |      944
1674.14/1674.76	c 1674s |      19 |   753482 |   545782 |    27949     41 |      910 |      944
1676.44/1677.00	c 1676s |      19 |   754065 |   546282 |    27949     41 |      910 |      944
1678.44/1679.01	c 1678s |      19 |   754548 |   546682 |    27949     41 |      910 |      944
1680.54/1681.18	c 1680s |      19 |   754992 |   547082 |    27949     41 |      910 |      944
1682.94/1683.53	c 1683s |      19 |   755610 |   547582 |    27949     41 |      910 |      944
1685.44/1686.04	c 1685s |      19 |   756184 |   548082 |    27949     41 |      910 |      944
1687.64/1688.22	c 1687s |      19 |   756739 |   548582 |    27949     41 |      910 |      944
1689.64/1690.29	c 1690s |      19 |   757199 |   548982 |    27949     41 |      910 |      944
1691.74/1692.37	c 1692s |      19 |   757634 |   549382 |    27949     41 |      910 |      944
1693.93/1694.50	c 1694s |      19 |   758096 |   549782 |    27949     41 |      910 |      944
1696.03/1696.65	c 1696s |      19 |   758545 |   550182 |    27949     41 |      910 |      944
1698.33/1698.92	c 1698s |      19 |   758990 |   550582 |    27949     41 |      910 |      944
1700.43/1701.07	c 1700s |      19 |   759460 |   550982 |    27949     41 |      910 |      944
1702.83/1703.42	c 1703s |      19 |   759926 |   551382 |    27949     41 |      910 |      944
1705.13/1705.76	c 1705s |      19 |   760385 |   551782 |    27949     41 |      910 |      944
1707.33/1707.98	c 1707s |      19 |   760831 |   552182 |    27949     41 |      910 |      944
1709.63/1710.30	c 1710s |      19 |   761434 |   552682 |    27949     41 |      910 |      944
1711.73/1712.35	c 1712s |      19 |   761917 |   553082 |    27949     41 |      910 |      944
1714.23/1714.85	c 1714s |      19 |   762361 |   553482 |    27949     41 |      910 |      944
1716.64/1717.29	c 1717s |      19 |   762855 |   553882 |    27949     41 |      910 |      944
1718.84/1719.49	c 1719s |      19 |   763319 |   554282 |    27949     41 |      910 |      944
1722.04/1722.67	c 1722s |      19 |   763750 |   554682 |    27949     42 |      910 |      944
1724.13/1724.70	c 1724s |      19 |   764226 |   555082 |    27949     42 |      910 |      944
1726.13/1726.77	c 1726s |      19 |   764658 |   555482 |    27949     42 |      910 |      944
1728.53/1729.10	c 1728s |      19 |   765247 |   555982 |    27949     42 |      910 |      944
1730.73/1731.36	c 1731s |      19 |   765830 |   556482 |    27949     42 |      910 |      944
1733.14/1733.72	c 1733s |      19 |   766417 |   556982 |    27949     42 |      910 |      944
1735.63/1736.29	c 1736s |      19 |   766984 |   557482 |    27949     42 |      910 |      944
1737.83/1738.47	c 1738s |      19 |   767537 |   557982 |    27949     42 |      910 |      944
1740.03/1740.69	c 1740s |      19 |   767998 |   558382 |    27949     42 |      910 |      944
1742.13/1742.79	c 1742s |      19 |   768424 |   558782 |    27949     42 |      910 |      944
1744.23/1744.87	c 1744s |      19 |   768868 |   559182 |    27949     42 |      910 |      944
1746.34/1746.96	c 1746s |      19 |   769345 |   559582 |    27949     42 |      910 |      944
1748.73/1749.36	c 1749s |      19 |   769804 |   559982 |    27949     42 |      910 |      944
1750.93/1751.56	c 1751s |      19 |   770255 |   560382 |    27949     42 |      910 |      944
1753.23/1753.88	c 1753s |      19 |   770715 |   560782 |    27949     42 |      910 |      944
1755.63/1756.24	c 1755s |      19 |   771259 |   561282 |    27949     42 |      910 |      944
1757.73/1758.33	c 1758s |      19 |   771715 |   561682 |    27949     42 |      910 |      944
1760.23/1760.85	c 1760s |      19 |   772183 |   562082 |    27949     42 |      910 |      944
1762.74/1763.32	c 1763s |      19 |   772623 |   562482 |    27949     42 |      910 |      944
1765.13/1765.73	c 1765s |      19 |   773190 |   562982 |    27949     42 |      910 |      944
1767.42/1768.06	c 1767s |      19 |   773636 |   563382 |    27949     42 |      910 |      944
1769.62/1770.20	c 1769s |      19 |   774074 |   563782 |    27949     42 |      910 |      944
1772.02/1772.62	c 1772s |      19 |   774523 |   564182 |    27949     42 |      910 |      944
1774.32/1774.96	c 1774s |      19 |   774958 |   564582 |    27949     42 |      910 |      944
1776.72/1777.30	c 1777s |      19 |   775415 |   564982 |    27949     42 |      910 |      944
1779.02/1779.62	c 1779s |      19 |   775876 |   565382 |    27949     42 |      910 |      944
1781.43/1782.02	c 1781s |      19 |   776320 |   565782 |    27949     42 |      910 |      944
1783.63/1784.30	c 1784s |      19 |   776774 |   566182 |    27949     42 |      910 |      944
1785.93/1786.53	c 1786s |      19 |   777246 |   566582 |    27949     42 |      910 |      944
1788.03/1788.63	c 1788s |      19 |   777715 |   566982 |    27949     42 |      910 |      944
1790.23/1790.91	c 1790s |      19 |   778185 |   567382 |    27949     42 |      910 |      944
1792.72/1793.36	c 1793s |      19 |   778641 |   567782 |    27949     42 |      910 |      944
1795.32/1795.95	c 1795s |      19 |   779094 |   568182 |    27949     42 |      910 |      944
1797.82/1798.44	c 1798s |      19 |   779555 |   568582 |    27949     42 |      910 |      944

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-4115869-1466941491/watcher-4115869-1466941491 -o /tmp/evaluation-result-4115869-1466941491/solver-4115869-1466941491 -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-4115869-1466941491.opb 

pid=32684
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.04 2.06 3/261 32687
/proc/meminfo: memFree=30873136/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1109436 CPUtime=0 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 4207 0 0 0 0 0 0 0 20 0 4 0 27187292 1136062464 5079 33554432000 4194304 16246674 140737341726688 140737341726112 15002730 0 2 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 278127 5090 441 2943 0 275021 0
[pid=32687/tid=32688] ppid=32684 vsize=1132988 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1160179712 5170 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1137084 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1164374016 5186 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1142204 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1169616896 5202 33554432000 4194304 16246674 140737341726688 140107269008560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.05 2.04 2.06 3/261 32687
/proc/meminfo: memFree=30873136/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1220164 CPUtime=0.09 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 28468 0 0 0 6 3 0 0 20 0 4 0 27187292 1249447936 29277 33554432000 4194304 16246674 140737341726688 140737341726000 4220860 0 2 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 305041 29277 801 2943 0 301935 0
[pid=32687/tid=32688] ppid=32684 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1249447936 29277 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1249447936 29277 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1249447936 29277 33554432000 4194304 16246674 140737341726688 140107269008560 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.20053 s]
/proc/loadavg: 2.05 2.04 2.06 3/261 32687
/proc/meminfo: memFree=30873136/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1301060 CPUtime=0.19 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 48673 0 0 0 13 6 0 0 20 0 4 0 27187292 1332285440 49482 33554432000 4194304 16246674 140737341726688 140737341726000 12457911 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 325265 49482 842 2943 0 322159 0
[pid=32687/tid=32688] ppid=32684 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1332285440 49482 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1332285440 49482 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1332285440 49482 33554432000 4194304 16246674 140737341726688 140107269008560 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.300504 s]
/proc/loadavg: 2.05 2.04 2.06 3/261 32687
/proc/meminfo: memFree=30873136/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1301060 CPUtime=0.29 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 54634 0 0 0 22 7 0 0 20 0 4 0 27187292 1332285440 55443 33554432000 4194304 16246674 140737341726688 140737341726000 6836566 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 325265 55448 882 2943 0 322159 0
[pid=32687/tid=32688] ppid=32684 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1332285440 55453 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1332285440 55457 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1332285440 55462 33554432000 4194304 16246674 140737341726688 140107269008560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700426 s]
/proc/loadavg: 2.05 2.04 2.06 3/261 32687
/proc/meminfo: memFree=30873136/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1301060 CPUtime=0.69 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 104630 0 0 0 54 15 0 0 20 0 4 0 27187292 1332285440 105439 33554432000 4194304 16246674 140737341726688 140737341726000 5722241 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 325265 105447 882 2943 0 322159 0
[pid=32687/tid=32688] ppid=32684 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1332285440 105451 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1332285440 105454 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1332285440 105457 33554432000 4194304 16246674 140737341726688 140107269008560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50043 s]
/proc/loadavg: 2.05 2.04 2.06 3/265 32691
/proc/meminfo: memFree=30242716/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1301060 CPUtime=1.48 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 215845 0 0 0 119 29 0 0 20 0 4 0 27187292 1332285440 216655 33554432000 4194304 16246674 140737341726688 140737341708608 5675357 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 325265 216661 882 2943 0 322159 0
[pid=32687/tid=32688] ppid=32684 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1332285440 216665 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1332285440 216668 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1332285440 216671 33554432000 4194304 16246674 140737341726688 140107269008560 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) 1301060

[startup+3.10048 s]
/proc/loadavg: 2.05 2.04 2.05 3/265 32691
/proc/meminfo: memFree=29792224/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1313348 CPUtime=3.09 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 269309 0 0 0 274 35 0 0 20 0 4 0 27187292 1344868352 270118 33554432000 4194304 16246674 140737341726688 140737341708608 5600136 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 328337 270118 889 2943 0 325231 0
[pid=32687/tid=32688] ppid=32684 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1344868352 270118 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1344868352 270118 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1344868352 270118 33554432000 4194304 16246674 140737341726688 140107269008560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30045 s]
/proc/loadavg: 2.05 2.04 2.05 3/265 32691
/proc/meminfo: memFree=29791228/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1313348 CPUtime=6.29 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 269523 0 0 0 594 35 0 0 20 0 4 0 27187292 1344868352 270332 33554432000 4194304 16246674 140737341726688 140737341708608 5712771 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 328337 270332 889 2943 0 325231 0
[pid=32687/tid=32688] ppid=32684 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1344868352 270332 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1344868352 270332 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1344868352 270332 33554432000 4194304 16246674 140737341726688 140107269008560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.04 2.04 2.05 3/265 32691
/proc/meminfo: memFree=29791604/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1313348 CPUtime=12.69 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 269525 0 0 0 1234 35 0 0 20 0 4 0 27187292 1344868352 270334 33554432000 4194304 16246674 140737341726688 140737341708608 13774432 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 328337 270334 891 2943 0 325231 0
[pid=32687/tid=32688] ppid=32684 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1344868352 270334 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1344868352 270334 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1344868352 270334 33554432000 4194304 16246674 140737341726688 140107269008560 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) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.11 2.05 2.06 3/265 32691
/proc/meminfo: memFree=29792536/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1313348 CPUtime=25.48 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 269525 0 0 0 2513 35 0 0 20 0 4 0 27187292 1344868352 270334 33554432000 4194304 16246674 140737341726688 140737341708608 13760237 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 328337 270334 891 2943 0 325231 0
[pid=32687/tid=32688] ppid=32684 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1344868352 270334 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1344868352 270334 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1344868352 270334 33554432000 4194304 16246674 140737341726688 140107269008560 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) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.07 2.05 2.06 3/265 32691
/proc/meminfo: memFree=29792552/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1313348 CPUtime=51.08 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 269526 0 0 0 5073 35 0 0 20 0 4 0 27187292 1344868352 270335 33554432000 4194304 16246674 140737341726688 140737341708608 13874649 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 328337 270335 892 2943 0 325231 0
[pid=32687/tid=32688] ppid=32684 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1344868352 270335 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1344868352 270335 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1344868352 270335 33554432000 4194304 16246674 140737341726688 140107269008560 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.301 s]
/proc/loadavg: 2.07 2.05 2.06 3/265 32692
/proc/meminfo: memFree=29779796/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1326660 CPUtime=102.28 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 272717 0 0 0 10192 36 0 0 20 0 4 0 27187292 1358499840 273526 33554432000 4194304 16246674 140737341726688 140737341708608 5711624 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 331665 273526 892 2943 0 328559 0
[pid=32687/tid=32688] ppid=32684 vsize=1326660 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1358499840 273526 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1326660 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1358499840 273526 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1326660 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1358499840 273526 33554432000 4194304 16246674 140737341726688 140107269008560 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) 1326660


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

/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107269008560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 1334852

[startup+1302.3 s]
/proc/loadavg: 2.14 2.08 2.05 3/265 326
/proc/meminfo: memFree=29786748/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1334852 CPUtime=1301.79 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 275305 0 0 0 130135 44 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140737341708608 5722604 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 333713 275714 892 2943 0 330607 0
[pid=32687/tid=32688] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107269008560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1334852

[startup+1362.3 s]
/proc/loadavg: 2.08 2.07 2.05 3/265 327
/proc/meminfo: memFree=29786784/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1334852 CPUtime=1361.79 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 275305 0 0 0 136135 44 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140737341708608 5600808 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 333713 275714 892 2943 0 330607 0
[pid=32687/tid=32688] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107269008560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1334852

[startup+1422.3 s]
/proc/loadavg: 2.07 2.07 2.05 3/265 328
/proc/meminfo: memFree=29785956/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1334852 CPUtime=1421.78 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 275305 0 0 0 142134 44 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140737341708608 5712756 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 333713 275714 892 2943 0 330607 0
[pid=32687/tid=32688] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107269008560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1334852

[startup+1482.3 s]
/proc/loadavg: 2.10 2.07 2.05 3/265 330
/proc/meminfo: memFree=29786232/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1334852 CPUtime=1481.76 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 275305 0 0 0 148132 44 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140737341708608 5823131 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 333713 275714 892 2943 0 330607 0
[pid=32687/tid=32688] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107269008560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1334852

[startup+1542.31 s]
/proc/loadavg: 2.03 2.06 2.04 3/266 334
/proc/meminfo: memFree=29785288/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1334852 CPUtime=1541.77 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 275305 0 0 0 154132 45 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140737341708608 5711216 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 333713 275714 892 2943 0 330607 0
[pid=32687/tid=32688] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107269008560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1334852

[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 2.04 3/265 335
/proc/meminfo: memFree=29784804/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1334852 CPUtime=1601.75 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 275305 0 0 0 160129 46 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140737341708608 12483317 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 333713 275714 892 2943 0 330607 0
[pid=32687/tid=32688] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107269008560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1334852

[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 2.04 3/265 336
/proc/meminfo: memFree=29784964/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1334852 CPUtime=1661.74 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 275305 0 0 0 166128 46 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140737341708608 13809224 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 333713 275714 892 2943 0 330607 0
[pid=32687/tid=32688] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107269008560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1334852

[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.04 3/265 337
/proc/meminfo: memFree=29784528/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1334852 CPUtime=1721.73 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 275305 0 0 0 172127 46 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140737341708608 5600144 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 333713 275714 892 2943 0 330607 0
[pid=32687/tid=32688] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107269008560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1334852

[startup+1782.3 s]
/proc/loadavg: 2.24 2.10 2.05 3/265 339
/proc/meminfo: memFree=29784580/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1334852 CPUtime=1781.72 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 275305 0 0 0 178125 47 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140737341708608 5822604 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 333713 275714 892 2943 0 330607 0
[pid=32687/tid=32688] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107269008560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1334852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.19 2.09 2.05 3/265 339
/proc/meminfo: memFree=29784920/32872528 swapFree=7556/7556
[pid=32687] ppid=32684 vsize=1334852 CPUtime=1800.02 cores=4-7,12-15
/proc/32687/stat : 32687 (toysat) R 32684 32687 32495 0 -1 4202496 275305 0 0 0 179955 47 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140737341708608 5545796 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32687/statm: 333713 275714 892 2943 0 330607 0
[pid=32687/tid=32688] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32688/stat : 32688 (toysat) S 32684 32687 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107365461232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32687/tid=32689] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32689/stat : 32689 (toysat) S 32684 32687 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107354971376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32687/tid=32690] ppid=32684 vsize=1334852 CPUtime=0 cores=4-7,12-15
/proc/32687/task/32690/stat : 32690 (toysat) S 32684 32687 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27187292 1366888448 275714 33554432000 4194304 16246674 140737341726688 140107269008560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1334852

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 32687 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.03
CPU user time (s): 1799.56
CPU system time (s): 0.474927
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 1334852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.474927
maximum resident set size= 1102856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275305
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= 416
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.54555 second user time and 12.6351 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 13:44:51
IDJOB=4115869
IDBENCH=109399
IDSOLVER=2542
FILE ID=node132/4115869-1466941491
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-size160-round23-0.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115869-1466941491/watcher-4115869-1466941491 -o /tmp/evaluation-result-4115869-1466941491/solver-4115869-1466941491 -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-4115869-1466941491.opb

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

MD5SUM BENCH= 80aaf8924f6ff1db370b1fb6930c6ef9
RANDOM SEED=194150191

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:        30873572 kB
Buffers:            5580 kB
Cached:           169876 kB
SwapCached:         1796 kB
Active:          1164924 kB
Inactive:         118320 kB
Active(anon):    1108168 kB
Inactive(anon):     1700 kB
Active(file):      56756 kB
Inactive(file):   116620 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098624 kB
Dirty:             16952 kB
Writeback:             0 kB
AnonPages:       1116664 kB
Mapped:            10780 kB
Shmem:                 0 kB
Slab:             569672 kB
SReclaimable:       9948 kB
SUnreclaim:       559724 kB
KernelStack:        2216 kB
PageTables:         6244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1256272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1101824 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 14:14:52