Trace number 4102705

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.04 1800.51

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-18T08:29:43+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-4102705-1466231383.opb"]
0.00/0.01	c use --random-gen="4140463316 539154081 1345626007 3264118644 2008369261 167492735 784637789 45759045 2809371061 2619141120 425515008 4287279421 3847969483 890809559 2178002101 1093714699 1439962485 3168713880 2831744732 2088905164 1354069794 4009134070 998410826 3662919003 4278615716 3327950668 3761643166 1013905838 3229650553 1295269807 2480158920 3193868177 521536854 1817436909 412764819 852504030 8237005 1439496834 217024017 4231265216 1544470337 910790454 1491392581 2005526676 3314394467 3966060742 3960585091 676439315 323409613 1064862136 1912664651 674644916 1360530609 3268724303 2786786895 2548388883 988824554 1172970833 2888486009 3578642495 2024271304 1737965767 1888128683 838706856 940147432 70367279 3114632102 1246214658 3315008372 4094418766 2620062652 691416458 4233037259 3820355970 3987381644 3731681068 3225520203 605073399 2842457706 1913024913 2662109352 524575220 2009504605 2055322169 1767584070 1094482676 2044593362 3709789824 4262371705 1025688198 356635934 856277695 4167016483 1235681053 2299539924 3009729196 517608954 261409605 116062756 3866952624 907774155 2986551946 2622614087 2401624627 2940469211 2190374363 113278541 2510594837 956868782 270371220 3602485218 1528292172 3357083955 1765278663 2516883572 1961937465 2519290585 3725658510 4105557129 2961941605 4141540749 1834740993 1366628454 410165620 2698168625 2821763048 4161252911 2340121935 2635058580 1550797759 933597393 854044081 2614988272 3301072025 4868357 2513007709 2580596785 3909344542 2800672021 3954340304 4205468574 517266111 607136027 901131697 2394700725 4224289837 579652930 837799029 3180700904 4077785694 2140155377 2002064053 983657659 164801124 3595506906 388822788 978159075 2174517932 2149381746 2402140326 698650790 191313389 3604024880 4183725529 691579386 1543632902 2130800005 1160912202 1153830644 4158797811 2292694857 2943387972 4068036534 31164919 2924862563 3047394454 4055068063 1443164853 2612656978 1406059036 284266262 1408955232 1279945398 1879583779 1250772451 2755655361 3383644196 1927402565 778310211 886812213 1093981881 3638864701 2038563592 2521526796 1301188332 797864668 1658456755 1392089935 761587216 3026389650 3985376903 1855715115 4007224810 2345277254 2865694479 4131387480 1906264602 1809286383 2425492256 2982054008 3661695122 3033414916 2253499406 1607672773 887086946 2992064390 960054946 193617989 239729679 1765281885 2521351114 3420773435 846195824 1717337687 3080675921 1126737856 2649003680 1447728734 876020730 752443828 521221103 3622454153 3615154530 3925638558 1060973389 928358322 1977881959 1731925656 1522574172 51874983 3873376462 3872459717 2512084159 3597598781 1237475997 2007509757 789492190 1645930567 3140244327 233305891 2675049026 1671975843 3423515934 4215814409 1074755991 3853683972 255 362436" option to reproduce the execution
0.08/0.12	c #vars 6352
0.08/0.12	c #constraints 13429
0.19/0.26	c BCD2: Hardening is enabled.
0.19/0.26	c BCD2: BiasedSearch is enabled.
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     6430      0 |     1568 |        0
0.29/0.36	c  0.1s |       1 |      306 |      100 |     6430      0 |     1568 |     3162
0.89/0.95	c  0.7s |       2 |      487 |      250 |     7074      0 |     1568 |     3162
1.20/1.29	c  1.0s |       3 |      753 |      475 |     7782      0 |     1568 |     3162
2.08/2.10	c  1.8s |       4 |     1118 |      813 |     8561      0 |     1568 |     3162
2.98/3.06	c  2.8s |       5 |     1674 |     1320 |     9418      0 |     1568 |     3162
5.18/5.20	c  4.9s |       5 |     2303 |     1920 |    10360      0 |     1568 |     3162
5.78/5.82	c  5.6s |       6 |     2461 |     2081 |    11397      0 |     1568 |     3162
7.80/7.85	c  7.6s |       6 |     2993 |     2581 |    11397      0 |     1568 |     3162
10.00/10.00	c  9.7s |       6 |     3595 |     3181 |    11397      0 |     1568 |     3162
10.10/10.17	c  9.9s |       7 |     3635 |     3223 |    12537      0 |     1568 |     3162
12.39/12.44	c 12.2s |       7 |     4271 |     3823 |    12537      0 |     1568 |     3162
14.79/14.87	c 14.6s |       7 |     4873 |     4423 |    12537      0 |     1568 |     3162
17.09/17.10	c 16.8s |       7 |     5378 |     4923 |    13791      0 |     1568 |     3162
17.09/17.17	c 16.9s |       8 |     5391 |     4936 |    13791      0 |     1568 |     3162
19.49/19.50	c 19.2s |       8 |     5919 |     5436 |    13791      0 |     1568 |     3162
21.49/21.58	c 21.3s |       8 |     6419 |     5936 |    13791      0 |     1568 |     3162
23.79/23.84	c 23.6s |       8 |     6922 |     6436 |    13791      0 |     1568 |     3162
25.99/26.04	c 25.8s |       8 |     7421 |     6936 |    13791      0 |     1568 |     3162
28.09/28.13	c 27.9s |       8 |     7936 |     7436 |    13791      0 |     1568 |     3162
28.39/28.47	c 28.2s |       9 |     8008 |     7506 |    15171      0 |     1568 |     3162
30.79/30.80	c 30.5s |       9 |     8534 |     8006 |    15171      0 |     1568 |     3162
32.89/32.94	c 32.7s |       9 |     9038 |     8506 |    15171      0 |     1568 |     3162
35.29/35.34	c 35.1s |       9 |     9539 |     9006 |    15171      0 |     1568 |     3162
37.38/37.50	c 37.2s |       9 |    10046 |     9506 |    15171      0 |     1568 |     3162
39.48/39.57	c 39.3s |       9 |    10677 |    10106 |    15171      0 |     1568 |     3162
41.68/41.70	c 41.4s |       9 |    11193 |    10606 |    15171      0 |     1568 |     3162
43.78/43.87	c 43.6s |       9 |    11923 |    11306 |    16689      0 |     1568 |     3162
43.98/44.10	c 43.8s |      10 |    11975 |    11361 |    16689      0 |     1568 |     3162
46.08/46.13	c 45.9s |      10 |    12726 |    12061 |    16689      0 |     1568 |     3162
48.08/48.19	c 47.9s |      10 |    13447 |    12761 |    16689      0 |     1568 |     3162
50.38/50.44	c 50.2s |      10 |    14165 |    13461 |    16689      0 |     1568 |     3162
52.68/52.70	c 52.4s |      10 |    14903 |    14161 |    16689      0 |     1568 |     3162
54.78/54.83	c 54.6s |      10 |    15523 |    14761 |    16689      0 |     1568 |     3162
56.78/56.85	c 56.6s |      10 |    16131 |    15361 |    16689      0 |     1568 |     3162
58.88/58.98	c 58.7s |      10 |    16753 |    15961 |    16689      0 |     1568 |     3162
61.18/61.28	c 61.0s |      10 |    17536 |    16661 |    16689      0 |     1568 |     3162
62.98/63.03	c 62.8s |      11 |    18055 |    17144 |    18358      0 |     1568 |     3162
65.09/65.16	c 64.9s |      11 |    18751 |    17744 |    18358      0 |     1568 |     3162
67.08/67.16	c 66.9s |      11 |    19480 |    18344 |    18358      0 |     1568 |     3162
69.28/69.31	c 69.0s |      11 |    20138 |    18944 |    18358      0 |     1568 |     3162
71.48/71.55	c 71.3s |      11 |    20817 |    19544 |    18358      0 |     1568 |     3162
73.68/73.77	c 73.5s |      11 |    21462 |    20144 |    18358      0 |     1568 |     3162
75.98/76.07	c 75.8s |      11 |    22141 |    20744 |    18358      1 |     1568 |     3162
78.08/78.14	c 77.9s |      11 |    22788 |    21344 |    18358      1 |     1568 |     3162
80.18/80.28	c 80.0s |      11 |    23447 |    21944 |    18358      1 |     1568 |     3162
82.48/82.50	c 82.2s |      11 |    24089 |    22544 |    18358      1 |     1568 |     3162
84.58/84.66	c 84.4s |      11 |    24709 |    23144 |    18358      1 |     1568 |     3162
86.77/86.80	c 86.5s |      11 |    25250 |    23644 |    18358      1 |     1568 |     3162
89.07/89.11	c 88.8s |      11 |    25903 |    24244 |    18358      1 |     1568 |     3162
91.38/91.42	c 91.2s |      11 |    26556 |    24844 |    18358      1 |     1568 |     3162
93.58/93.68	c 93.4s |      11 |    27265 |    25444 |    18358      1 |     1568 |     3162
95.17/95.29	c 95.0s |      12 |    27691 |    25819 |    20194      1 |     1568 |     3162
97.27/97.37	c 97.1s |      12 |    28259 |    26319 |    20194      1 |     1568 |     3162
99.67/99.76	c 99.5s |      12 |    28894 |    26919 |    20194      1 |     1568 |     3162
101.67/101.76	c  101s |      12 |    29403 |    27419 |    20194      1 |     1568 |     3162
103.67/103.77	c  103s |      12 |    29916 |    27919 |    20194      1 |     1568 |     3162
105.87/105.91	c  105s |      12 |    30437 |    28419 |    20194      1 |     1568 |     3162
107.88/107.97	c  107s |      12 |    30945 |    28919 |    20194      1 |     1568 |     3162
109.97/110.02	c  109s |      12 |    31468 |    29419 |    20194      1 |     1568 |     3162
112.07/112.10	c  111s |      12 |    31984 |    29919 |    20194      1 |     1568 |     3162
114.07/114.12	c  113s |      12 |    32557 |    30419 |    20194      1 |     1568 |     3162
116.37/116.46	c  116s |      12 |    33076 |    30919 |    20194      1 |     1568 |     3162
118.47/118.57	c  118s |      12 |    33622 |    31419 |    20194      1 |     1568 |     3162
120.77/120.85	c  120s |      12 |    34151 |    31919 |    20194      1 |     1568 |     3162
122.77/122.87	c  122s |      12 |    34723 |    32419 |    20194      2 |     1568 |     3162
124.96/125.01	c  124s |      12 |    35378 |    33019 |    20194      2 |     1568 |     3162
127.26/127.32	c  127s |      12 |    36026 |    33619 |    20194      2 |     1568 |     3162
129.26/129.33	c  129s |      12 |    36557 |    34119 |    20194      2 |     1568 |     3162
131.66/131.72	c  131s |      12 |    37195 |    34719 |    20194      2 |     1568 |     3162
133.96/134.03	c  133s |      12 |    37843 |    35319 |    20194      2 |     1568 |     3162
136.16/136.29	c  136s |      12 |    38361 |    35819 |    20194      2 |     1568 |     3162
138.36/138.42	c  138s |      12 |    38883 |    36319 |    20194      2 |     1568 |     3162
140.66/140.73	c  140s |      12 |    39510 |    36919 |    20194      2 |     1568 |     3162
142.97/143.05	c  142s |      12 |    40150 |    37519 |    20194      2 |     1568 |     3162
145.07/145.12	c  144s |      12 |    40660 |    38019 |    20194      2 |     1568 |     3162
147.07/147.18	c  146s |      12 |    41189 |    38519 |    20194      2 |     1568 |     3162
148.37/148.49	c  148s |      13 |    41507 |    38832 |    22214      2 |     1568 |     3162
150.57/150.68	c  150s |      13 |    42071 |    39332 |    22214      2 |     1572 |     3172
152.77/152.85	c  152s |      13 |    42586 |    39832 |    22214      2 |     1572 |     3172
154.97/155.07	c  154s |      13 |    43115 |    40332 |    22214      2 |     1572 |     3172
157.17/157.26	c  156s |      13 |    43639 |    40832 |    22214      2 |     1572 |     3172
159.37/159.43	c  159s |      13 |    44165 |    41332 |    22214      2 |     1572 |     3172
161.67/161.76	c  161s |      13 |    44689 |    41832 |    22214      2 |     1572 |     3172
163.87/163.99	c  163s |      13 |    45203 |    42332 |    22214      2 |     1572 |     3172
166.37/166.40	c  166s |      13 |    45727 |    42832 |    22214      2 |     1572 |     3172
168.67/168.71	c  168s |      13 |    46245 |    43332 |    22214      2 |     1572 |     3172
170.67/170.76	c  170s |      13 |    46666 |    43732 |    22214      2 |     1572 |     3172
173.17/173.27	c  173s |      13 |    47185 |    44232 |    22214      2 |     1572 |     3172
175.57/175.64	c  175s |      13 |    47727 |    44732 |    22214      2 |     1572 |     3172
177.97/178.01	c  177s |      13 |    48247 |    45232 |    22214      3 |     1572 |     3172
180.26/180.38	c  180s |      13 |    48894 |    45832 |    22214      3 |     1572 |     3172
182.26/182.39	c  182s |      13 |    49432 |    46332 |    22214      3 |     1572 |     3172
184.36/184.49	c  184s |      13 |    49946 |    46832 |    22214      3 |     1572 |     3172
186.56/186.69	c  186s |      13 |    50475 |    47332 |    22214      3 |     1572 |     3172
188.66/188.76	c  188s |      13 |    50996 |    47832 |    22214      3 |     1572 |     3172
191.06/191.16	c  190s |      13 |    51511 |    48332 |    22214      3 |     1572 |     3172
193.06/193.17	c  192s |      13 |    51928 |    48732 |    22214      3 |     1572 |     3172
195.36/195.45	c  195s |      13 |    52459 |    49232 |    22214      3 |     1572 |     3172
197.66/197.75	c  197s |      13 |    52990 |    49732 |    22214      3 |     1572 |     3172
200.16/200.23	c  199s |      13 |    53509 |    50232 |    22214      3 |     1572 |     3172
202.47/202.54	c  202s |      13 |    54022 |    50732 |    22214      3 |     1572 |     3172
204.86/204.94	c  204s |      13 |    54539 |    51232 |    22214      3 |     1572 |     3172
207.26/207.36	c  207s |      13 |    55065 |    51732 |    22214      3 |     1572 |     3172
209.66/209.78	c  209s |      13 |    55586 |    52232 |    22214      3 |     1572 |     3172
212.16/212.23	c  211s |      13 |    56098 |    52732 |    22214      3 |     1572 |     3172
214.16/214.28	c  214s |      13 |    56528 |    53132 |    22214      3 |     1572 |     3172
216.36/216.46	c  216s |      13 |    56951 |    53532 |    22214      3 |     1572 |     3172
218.46/218.57	c  218s |      13 |    57369 |    53932 |    22214      3 |     1572 |     3172
220.56/220.66	c  220s |      13 |    57779 |    54332 |    22214      3 |     1572 |     3172
222.66/222.77	c  222s |      13 |    58186 |    54732 |    22214      3 |     1572 |     3172
224.96/225.01	c  224s |      13 |    58610 |    55132 |    22214      3 |     1572 |     3172
227.26/227.31	c  227s |      13 |    59030 |    55532 |    22214      3 |     1572 |     3172
229.46/229.55	c  229s |      13 |    59451 |    55932 |    22214      3 |     1572 |     3172
231.75/231.86	c  231s |      13 |    59864 |    56332 |    22214      3 |     1572 |     3172
234.05/234.13	c  233s |      13 |    60292 |    56732 |    22214      3 |     1572 |     3172
236.35/236.40	c  236s |      13 |    60705 |    57132 |    22214      4 |     1572 |     3172
238.35/238.49	c  238s |      13 |    61215 |    57632 |    22214      4 |     1572 |     3172
240.75/240.87	c  240s |      13 |    61844 |    58232 |    24436      4 |     1572 |     3172
241.25/241.36	c  241s |      14 |    61963 |    58352 |    24436      4 |     1572 |     3172
243.55/243.62	c  243s |      14 |    62408 |    58752 |    24436      4 |     1572 |     3172
245.55/245.64	c  245s |      14 |    62937 |    59252 |    24436      4 |     1572 |     3172
247.66/247.74	c  247s |      14 |    63478 |    59752 |    24436      4 |     1572 |     3172
249.76/249.83	c  249s |      14 |    64007 |    60252 |    24436      4 |     1572 |     3172
251.96/252.04	c  251s |      14 |    64525 |    60752 |    24436      4 |     1572 |     3172
254.65/254.70	c  254s |      14 |    65047 |    61252 |    24436      4 |     1572 |     3172
256.75/256.85	c  256s |      14 |    65571 |    61752 |    24436      4 |     1572 |     3172
259.05/259.15	c  258s |      14 |    66103 |    62252 |    24436      4 |     1572 |     3172
261.35/261.47	c  261s |      14 |    66619 |    62752 |    24436      4 |     1572 |     3172
263.65/263.77	c  263s |      14 |    67141 |    63252 |    24436      4 |     1572 |     3172
266.05/266.13	c  265s |      14 |    67688 |    63752 |    24436      4 |     1572 |     3172
268.05/268.16	c  267s |      14 |    68103 |    64152 |    24436      4 |     1572 |     3172
270.55/270.63	c  270s |      14 |    68612 |    64652 |    24436      4 |     1572 |     3172
272.85/272.97	c  272s |      14 |    69142 |    65152 |    24436      4 |     1572 |     3172
275.35/275.45	c  275s |      14 |    69678 |    65652 |    24436      4 |     1572 |     3172
277.35/277.47	c  277s |      14 |    70082 |    66052 |    24436      4 |     1572 |     3172
279.45/279.52	c  279s |      14 |    70516 |    66452 |    24436      4 |     1572 |     3172
281.54/281.64	c  281s |      14 |    70928 |    66852 |    24436      4 |     1572 |     3172
283.64/283.78	c  283s |      14 |    71341 |    67252 |    24436      4 |     1572 |     3172
285.74/285.88	c  285s |      14 |    71753 |    67652 |    24436      4 |     1572 |     3172
287.84/287.94	c  287s |      14 |    72170 |    68052 |    24436      4 |     1572 |     3172
290.14/290.25	c  289s |      14 |    72582 |    68452 |    24436      4 |     1572 |     3172
292.44/292.56	c  292s |      14 |    72999 |    68852 |    24436      4 |     1572 |     3172
294.64/294.73	c  294s |      14 |    73425 |    69252 |    24436      4 |     1572 |     3172
296.84/296.90	c  296s |      14 |    73844 |    69652 |    24436      4 |     1572 |     3172
299.04/299.10	c  298s |      14 |    74277 |    70052 |    24436      4 |     1572 |     3172
301.14/301.28	c  301s |      14 |    74581 |    70352 |    24436      4 |     1572 |     3172
303.24/303.34	c  303s |      14 |    74890 |    70652 |    24436      4 |     1572 |     3172
305.54/305.64	c  305s |      14 |    75192 |    70952 |    24436      4 |     1572 |     3172
307.54/307.66	c  307s |      14 |    75499 |    71252 |    24436      5 |     1572 |     3172
310.04/310.15	c  309s |      14 |    76021 |    71752 |    24436      5 |     1572 |     3172
312.14/312.28	c  312s |      14 |    76549 |    72252 |    24436      5 |     1572 |     3172
314.24/314.35	c  314s |      14 |    77079 |    72752 |    24436      5 |     1572 |     3172
316.34/316.41	c  316s |      14 |    77596 |    73252 |    24436      5 |     1572 |     3172
318.64/318.72	c  318s |      14 |    78126 |    73752 |    24436      5 |     1572 |     3172
320.64/320.79	c  320s |      14 |    78653 |    74252 |    24436      5 |     1572 |     3172
323.04/323.16	c  322s |      14 |    79164 |    74752 |    24436      5 |     1572 |     3172
325.24/325.35	c  325s |      14 |    79682 |    75252 |    24436      5 |     1572 |     3172
327.54/327.61	c  327s |      14 |    80217 |    75752 |    24436      5 |     1572 |     3172
329.73/329.89	c  329s |      14 |    80741 |    76252 |    24436      5 |     1572 |     3172
332.03/332.19	c  331s |      14 |    81261 |    76752 |    24436      5 |     1572 |     3172
334.33/334.50	c  334s |      14 |    81782 |    77252 |    24436      5 |     1572 |     3172
336.64/336.76	c  336s |      14 |    82324 |    77752 |    24436      5 |     1572 |     3172
339.03/339.16	c  338s |      14 |    82856 |    78252 |    24436      5 |     1572 |     3172
341.04/341.18	c  340s |      14 |    83280 |    78652 |    24436      5 |     1572 |     3172
343.53/343.63	c  343s |      14 |    83793 |    79152 |    24436      5 |     1572 |     3172
345.73/345.88	c  345s |      14 |    84203 |    79552 |    24436      5 |     1572 |     3172
347.83/347.92	c  347s |      14 |    84633 |    79952 |    24436      5 |     1572 |     3172
349.84/349.98	c  349s |      14 |    85050 |    80352 |    24436      5 |     1572 |     3172
352.03/352.13	c  351s |      14 |    85471 |    80752 |    24436      5 |     1572 |     3172
354.23/354.31	c  354s |      14 |    85895 |    81152 |    24436      5 |     1572 |     3172
356.33/356.46	c  356s |      14 |    86309 |    81552 |    24436      5 |     1572 |     3172
358.53/358.66	c  358s |      14 |    86723 |    81952 |    24436      5 |     1572 |     3172
360.93/361.04	c  360s |      14 |    87138 |    82352 |    24436      5 |     1572 |     3172
363.22/363.37	c  363s |      14 |    87547 |    82752 |    24436      5 |     1572 |     3172
365.62/365.72	c  365s |      14 |    87967 |    83152 |    24436      5 |     1572 |     3172
367.82/367.95	c  367s |      14 |    88374 |    83552 |    24436      5 |     1572 |     3172
370.12/370.29	c  370s |      14 |    88786 |    83952 |    24436      5 |     1572 |     3172
372.42/372.59	c  372s |      14 |    89190 |    84352 |    24436      6 |     1572 |     3172
374.72/374.80	c  374s |      14 |    89699 |    84852 |    24436      6 |     1572 |     3172
376.92/377.07	c  376s |      14 |    90212 |    85352 |    24436      6 |     1572 |     3172
379.22/379.33	c  379s |      14 |    90740 |    85852 |    24436      6 |     1572 |     3172
381.52/381.64	c  381s |      14 |    91248 |    86352 |    24436      6 |     1572 |     3172
383.92/384.02	c  383s |      14 |    91761 |    86852 |    24436      6 |     1572 |     3172
386.32/386.43	c  386s |      14 |    92279 |    87352 |    26880      6 |     1572 |     3172
387.71/387.80	c  387s |      15 |    92567 |    87632 |    26880      6 |     1572 |     3172
389.71/389.86	c  389s |      15 |    93001 |    88032 |    26880      6 |     1572 |     3172
391.81/391.96	c  391s |      15 |    93419 |    88432 |    26880      6 |     1572 |     3172
394.31/394.43	c  394s |      15 |    93947 |    88932 |    26880      6 |     1572 |     3172
396.61/396.70	c  396s |      15 |    94497 |    89432 |    26880      6 |     1572 |     3172
398.91/399.04	c  398s |      15 |    95034 |    89932 |    26880      6 |     1572 |     3172
401.31/401.45	c  401s |      15 |    95448 |    90332 |    26880      6 |     1572 |     3172
403.41/403.55	c  403s |      15 |    95878 |    90732 |    26880      6 |     1572 |     3172
405.41/405.58	c  405s |      15 |    96302 |    91132 |    26880      6 |     1572 |     3172
407.41/407.59	c  407s |      15 |    96712 |    91532 |    26880      6 |     1572 |     3172
409.51/409.60	c  409s |      15 |    97156 |    91932 |    26880      6 |     1572 |     3172
411.60/411.75	c  411s |      15 |    97579 |    92332 |    26880      6 |     1572 |     3172
413.71/413.82	c  413s |      15 |    98024 |    92732 |    26880      6 |     1572 |     3172
415.81/415.92	c  415s |      15 |    98449 |    93132 |    26880      6 |     1572 |     3172
418.11/418.22	c  417s |      15 |    98878 |    93532 |    26880      6 |     1572 |     3172
420.21/420.39	c  420s |      15 |    99298 |    93932 |    26880      6 |     1572 |     3172
422.50/422.64	c  422s |      15 |    99714 |    94332 |    26880      6 |     1572 |     3172
424.60/424.75	c  424s |      15 |   100144 |    94732 |    26880      6 |     1572 |     3172
427.00/427.14	c  426s |      15 |   100566 |    95132 |    26880      6 |     1572 |     3172
429.19/429.39	c  429s |      15 |   100992 |    95532 |    26880      6 |     1572 |     3172
431.49/431.65	c  431s |      15 |   101413 |    95932 |    26880      6 |     1572 |     3172
433.79/433.95	c  433s |      15 |   101864 |    96332 |    26880      6 |     1572 |     3172
436.29/436.41	c  436s |      15 |   102277 |    96732 |    26880      6 |     1572 |     3172
438.59/438.78	c  438s |      15 |   102694 |    97132 |    26880      6 |     1572 |     3172
440.99/441.14	c  440s |      15 |   103119 |    97532 |    26880      6 |     1572 |     3172
443.49/443.60	c  443s |      15 |   103539 |    97932 |    26880      6 |     1572 |     3172
445.88/446.05	c  445s |      15 |   103951 |    98332 |    26880      6 |     1572 |     3172
448.69/448.80	c  448s |      15 |   104270 |    98632 |    26880      6 |     1572 |     3172
451.00/451.17	c  450s |      15 |   104704 |    99032 |    26880      6 |     1572 |     3172
453.49/453.66	c  453s |      15 |   105118 |    99432 |    26880      6 |     1572 |     3172
455.79/455.94	c  455s |      15 |   105552 |    99832 |    26880      7 |     1572 |     3172
457.99/458.17	c  457s |      15 |   106075 |   100332 |    26880      7 |     1572 |     3172
460.19/460.39	c  460s |      15 |   106610 |   100832 |    26880      7 |     1572 |     3172
462.69/462.82	c  462s |      15 |   107143 |   101332 |    26880      7 |     1572 |     3172
464.99/465.17	c  464s |      15 |   107673 |   101832 |    26880      7 |     1572 |     3172
467.29/467.46	c  467s |      15 |   108202 |   102332 |    26880      7 |     1572 |     3172
469.69/469.83	c  469s |      15 |   108723 |   102832 |    26880      7 |     1572 |     3172
472.08/472.23	c  471s |      15 |   109240 |   103332 |    26880      7 |     1572 |     3172
474.48/474.68	c  474s |      15 |   109764 |   103832 |    26880      7 |     1572 |     3172
476.98/477.13	c  476s |      15 |   110302 |   104332 |    26880      7 |     1572 |     3172
479.48/479.60	c  479s |      15 |   110836 |   104832 |    26880      7 |     1572 |     3172
481.89/482.05	c  481s |      15 |   111358 |   105332 |    26880      7 |     1572 |     3172
483.99/484.11	c  483s |      15 |   111771 |   105732 |    26880      7 |     1572 |     3172
485.98/486.19	c  485s |      15 |   112205 |   106132 |    26880      7 |     1572 |     3172
488.08/488.26	c  487s |      15 |   112634 |   106532 |    26880      7 |     1572 |     3172
490.08/490.27	c  490s |      15 |   113046 |   106932 |    26880      7 |     1572 |     3172
492.18/492.30	c  492s |      15 |   113475 |   107332 |    26880      7 |     1572 |     3172
494.27/494.44	c  494s |      15 |   113900 |   107732 |    26880      7 |     1572 |     3172
496.47/496.69	c  496s |      15 |   114311 |   108132 |    26880      7 |     1572 |     3172
498.57/498.74	c  498s |      15 |   114727 |   108532 |    26880      7 |     1572 |     3172
501.07/501.24	c  500s |      15 |   115265 |   109032 |    26880      7 |     1572 |     3172
503.17/503.37	c  503s |      15 |   115697 |   109432 |    26880      7 |     1572 |     3172
505.37/505.52	c  505s |      15 |   116110 |   109832 |    26880      7 |     1572 |     3172
507.37/507.58	c  507s |      15 |   116535 |   110232 |    26880      7 |     1572 |     3172
509.47/509.62	c  509s |      15 |   116957 |   110632 |    26880      7 |     1572 |     3172
511.58/511.78	c  511s |      15 |   117381 |   111032 |    26880      7 |     1572 |     3172
513.87/514.08	c  513s |      15 |   117798 |   111432 |    26880      7 |     1572 |     3172
516.07/516.27	c  516s |      15 |   118215 |   111832 |    26880      7 |     1572 |     3172
518.27/518.47	c  518s |      15 |   118628 |   112232 |    26880      7 |     1572 |     3172
520.57/520.70	c  520s |      15 |   119035 |   112632 |    26880      7 |     1572 |     3172
522.87/523.00	c  522s |      15 |   119450 |   113032 |    26880      7 |     1572 |     3172
525.17/525.33	c  525s |      15 |   119873 |   113432 |    26880      7 |     1572 |     3172
527.57/527.74	c  527s |      15 |   120289 |   113832 |    26880      7 |     1572 |     3172
529.97/530.15	c  529s |      15 |   120806 |   114332 |    26880      8 |     1572 |     3172
532.27/532.46	c  532s |      15 |   121330 |   114832 |    26880      8 |     1572 |     3172
534.67/534.85	c  534s |      15 |   121863 |   115332 |    26880      8 |     1572 |     3172
536.96/537.19	c  536s |      15 |   122373 |   115832 |    26880      8 |     1572 |     3172
539.47/539.61	c  539s |      15 |   122896 |   116332 |    26880      8 |     1572 |     3172
541.86/542.06	c  541s |      15 |   123416 |   116832 |    26880      8 |     1572 |     3172
544.36/544.51	c  544s |      15 |   123932 |   117332 |    26880      8 |     1572 |     3172
546.46/546.67	c  546s |      15 |   124249 |   117632 |    26880      8 |     1572 |     3172
548.76/548.99	c  548s |      15 |   124779 |   118132 |    26880      8 |     1572 |     3172
551.26/551.40	c  551s |      15 |   125302 |   118632 |    26880      8 |     1572 |     3172
553.66/553.81	c  553s |      15 |   125821 |   119132 |    26880      8 |     1572 |     3172
555.76/555.91	c  555s |      15 |   126234 |   119532 |    26880      8 |     1572 |     3172
557.76/557.95	c  557s |      15 |   126647 |   119932 |    26880      8 |     1572 |     3172
559.86/560.07	c  559s |      15 |   127054 |   120332 |    26880      8 |     1572 |     3172
562.06/562.21	c  561s |      15 |   127469 |   120732 |    26880      8 |     1572 |     3172
564.15/564.31	c  564s |      15 |   127893 |   121132 |    26880      8 |     1572 |     3172
566.25/566.46	c  566s |      15 |   128312 |   121532 |    26880      8 |     1572 |     3172
568.45/568.60	c  568s |      15 |   128740 |   121932 |    26880      8 |     1572 |     3172
570.55/570.72	c  570s |      15 |   129172 |   122332 |    26880      8 |     1572 |     3172
572.75/572.93	c  572s |      15 |   129590 |   122732 |    26880      8 |     1572 |     3172
575.15/575.32	c  575s |      15 |   129998 |   123132 |    26880      8 |     1572 |     3172
577.35/577.60	c  577s |      15 |   130414 |   123532 |    26880      8 |     1572 |     3172
579.65/579.84	c  579s |      15 |   130832 |   123932 |    26880      8 |     1572 |     3172
581.74/582.00	c  581s |      15 |   131262 |   124332 |    26880      8 |     1572 |     3172
584.04/584.30	c  584s |      15 |   131671 |   124732 |    26880      8 |     1572 |     3172
586.44/586.69	c  586s |      15 |   132097 |   125132 |    26880      8 |     1572 |     3172
588.84/589.06	c  588s |      15 |   132509 |   125532 |    26880      8 |     1572 |     3172
591.14/591.39	c  591s |      15 |   132929 |   125932 |    26880      8 |     1572 |     3172
593.53/593.71	c  593s |      15 |   133339 |   126332 |    26880      8 |     1572 |     3172
595.93/596.19	c  595s |      15 |   133756 |   126732 |    26880      8 |     1572 |     3172
598.44/598.65	c  598s |      15 |   134161 |   127132 |    26880      8 |     1572 |     3172
600.83/601.04	c  600s |      15 |   134575 |   127532 |    26880      8 |     1572 |     3172
604.43/604.62	c  604s |      15 |   134879 |   127832 |    26880      8 |     1572 |     3172
606.93/607.11	c  606s |      15 |   135296 |   128232 |    26880      9 |     1572 |     3172
609.23/609.48	c  609s |      15 |   135824 |   128732 |    26880      9 |     1572 |     3172
611.63/611.80	c  611s |      15 |   136339 |   129232 |    26880      9 |     1572 |     3172
613.73/613.97	c  613s |      15 |   136863 |   129732 |    26880      9 |     1572 |     3172
616.13/616.31	c  616s |      15 |   137387 |   130232 |    26880      9 |     1572 |     3172
618.33/618.59	c  618s |      15 |   137903 |   130732 |    29569      9 |     1572 |     3172
620.72/620.91	c  620s |      15 |   138416 |   131232 |    29569      9 |     1572 |     3172
622.92/623.11	c  622s |      15 |   138730 |   131532 |    29569      9 |     1572 |     3172
623.02/623.21	c  622s |      16 |   138747 |   131552 |    29569      9 |     1572 |     3172
625.02/625.29	c  625s |      16 |   139179 |   131952 |    29569      9 |     1572 |     3172
627.12/627.33	c  627s |      16 |   139586 |   132352 |    29569      9 |     1572 |     3172
629.62/629.84	c  629s |      16 |   140092 |   132852 |    29569      9 |     1572 |     3172
631.62/631.89	c  631s |      16 |   140506 |   133252 |    29569      9 |     1572 |     3172
633.72/633.96	c  633s |      16 |   140917 |   133652 |    29569      9 |     1572 |     3172
635.82/636.02	c  635s |      16 |   141334 |   134052 |    29569      9 |     1572 |     3172
637.92/638.18	c  637s |      16 |   141741 |   134452 |    29569      9 |     1572 |     3172
640.01/640.28	c  640s |      16 |   142166 |   134852 |    29569      9 |     1572 |     3172
642.21/642.49	c  642s |      16 |   142577 |   135252 |    29569      9 |     1572 |     3172
644.31/644.57	c  644s |      16 |   143001 |   135652 |    29569      9 |     1572 |     3172
646.51/646.74	c  646s |      16 |   143412 |   136052 |    29569      9 |     1572 |     3172
648.61/648.86	c  648s |      16 |   143825 |   136452 |    29569      9 |     1572 |     3172
650.81/651.06	c  650s |      16 |   144235 |   136852 |    29569      9 |     1572 |     3172
652.90/653.14	c  652s |      16 |   144644 |   137252 |    29569      9 |     1572 |     3172
655.20/655.42	c  655s |      16 |   145050 |   137652 |    29569      9 |     1572 |     3172
657.40/657.68	c  657s |      16 |   145464 |   138052 |    29569      9 |     1572 |     3172
659.70/659.93	c  659s |      16 |   145884 |   138452 |    29569      9 |     1572 |     3172
662.00/662.29	c  662s |      16 |   146301 |   138852 |    29569      9 |     1572 |     3172
664.40/664.61	c  664s |      16 |   146710 |   139252 |    29569      9 |     1572 |     3172
666.79/667.02	c  666s |      16 |   147131 |   139652 |    29569      9 |     1572 |     3172
669.19/669.41	c  669s |      16 |   147547 |   140052 |    29569      9 |     1572 |     3172
671.59/671.81	c  671s |      16 |   147950 |   140452 |    29569      9 |     1572 |     3172
673.99/674.25	c  673s |      16 |   148377 |   140852 |    29569      9 |     1572 |     3172
676.59/676.83	c  676s |      16 |   148793 |   141252 |    29569      9 |     1572 |     3172
679.09/679.32	c  679s |      16 |   149205 |   141652 |    29569      9 |     1572 |     3172
681.39/681.66	c  681s |      16 |   149617 |   142052 |    29569      9 |     1572 |     3172
683.98/684.22	c  683s |      16 |   150027 |   142452 |    29569      9 |     1572 |     3172
686.48/686.71	c  686s |      16 |   150445 |   142852 |    29569      9 |     1572 |     3172
688.98/689.29	c  689s |      16 |   150853 |   143252 |    29569      9 |     1572 |     3172
691.67/691.91	c  691s |      16 |   151274 |   143652 |    29569      9 |     1572 |     3172
694.27/694.52	c  694s |      16 |   151682 |   144052 |    29569      9 |     1572 |     3172
696.37/696.60	c  696s |      16 |   152000 |   144352 |    29569      9 |     1572 |     3172
698.38/698.61	c  698s |      16 |   152311 |   144652 |    29569      9 |     1572 |     3172
700.87/701.17	c  700s |      16 |   152727 |   145052 |    29569      9 |     1572 |     3172
703.07/703.36	c  703s |      16 |   153135 |   145452 |    29569     10 |     1572 |     3172
705.27/705.51	c  705s |      16 |   153554 |   145852 |    29569     10 |     1572 |     3172
707.67/707.95	c  707s |      16 |   154079 |   146352 |    29569     10 |     1572 |     3172
710.17/710.41	c  710s |      16 |   154590 |   146852 |    29569     10 |     1572 |     3172
712.57/712.90	c  712s |      16 |   155114 |   147352 |    29569     10 |     1572 |     3172
714.67/714.95	c  714s |      16 |   155526 |   147752 |    29569     10 |     1572 |     3172
717.18/717.44	c  717s |      16 |   156064 |   148252 |    29569     10 |     1572 |     3172
719.27/719.53	c  719s |      16 |   156474 |   148652 |    29569     10 |     1572 |     3172
721.76/722.01	c  721s |      16 |   156889 |   149052 |    29569     10 |     1572 |     3172
723.86/724.15	c  723s |      16 |   157307 |   149452 |    29569     10 |     1572 |     3172
725.87/726.17	c  725s |      16 |   157726 |   149852 |    29569     10 |     1572 |     3172
728.36/728.63	c  728s |      16 |   158246 |   150352 |    29569     10 |     1572 |     3172
730.37/730.65	c  730s |      16 |   158661 |   150752 |    29569     10 |     1572 |     3172
732.36/732.66	c  732s |      16 |   159073 |   151152 |    29569     10 |     1572 |     3172
734.36/734.67	c  734s |      16 |   159493 |   151552 |    29569     10 |     1572 |     3172
736.56/736.82	c  736s |      16 |   159909 |   151952 |    29569     10 |     1572 |     3172
738.56/738.87	c  738s |      16 |   160327 |   152352 |    29569     10 |     1572 |     3172
740.76/741.06	c  740s |      16 |   160756 |   152752 |    29569     10 |     1572 |     3172
742.95/743.24	c  742s |      16 |   161165 |   153152 |    29569     10 |     1572 |     3172
745.05/745.38	c  745s |      16 |   161589 |   153552 |    29569     10 |     1572 |     3172
747.25/747.55	c  747s |      16 |   162015 |   153952 |    29569     10 |     1572 |     3172
749.45/749.76	c  749s |      16 |   162432 |   154352 |    29569     10 |     1572 |     3172
751.65/751.96	c  751s |      16 |   162845 |   154752 |    29569     10 |     1572 |     3172
753.95/754.27	c  754s |      16 |   163249 |   155152 |    29569     10 |     1572 |     3172
756.15/756.47	c  756s |      16 |   163660 |   155552 |    29569     10 |     1572 |     3172
758.55/758.80	c  758s |      16 |   164065 |   155952 |    29569     10 |     1572 |     3172
760.85/761.12	c  760s |      16 |   164472 |   156352 |    29569     10 |     1572 |     3172
763.15/763.49	c  763s |      16 |   164899 |   156752 |    29569     10 |     1572 |     3172
765.45/765.80	c  765s |      16 |   165308 |   157152 |    29569     10 |     1572 |     3172
767.85/768.15	c  767s |      16 |   165725 |   157552 |    29569     10 |     1572 |     3172
770.25/770.57	c  770s |      16 |   166148 |   157952 |    29569     10 |     1572 |     3172
772.85/773.12	c  772s |      16 |   166559 |   158352 |    29569     10 |     1572 |     3172
775.25/775.50	c  775s |      16 |   166992 |   158752 |    29569     10 |     1572 |     3172
777.75/778.03	c  777s |      16 |   167399 |   159152 |    29569     10 |     1572 |     3172
780.25/780.51	c  780s |      16 |   167813 |   159552 |    29569     10 |     1572 |     3172
782.25/782.56	c  782s |      16 |   168118 |   159852 |    29569     10 |     1572 |     3172
784.85/785.15	c  784s |      16 |   168524 |   160252 |    29569     10 |     1572 |     3172
786.85/787.17	c  786s |      16 |   168833 |   160552 |    29569     10 |     1572 |     3172
789.45/789.76	c  789s |      16 |   169242 |   160952 |    29569     11 |     1572 |     3172
791.55/791.86	c  791s |      16 |   169653 |   161352 |    29569     11 |     1572 |     3172
793.65/793.99	c  793s |      16 |   170071 |   161752 |    29569     11 |     1572 |     3172
796.05/796.32	c  796s |      16 |   170488 |   162152 |    29569     11 |     1572 |     3172
798.14/798.40	c  798s |      16 |   170907 |   162552 |    29569     11 |     1572 |     3172
800.54/800.85	c  800s |      16 |   171431 |   163052 |    29569     11 |     1572 |     3172
803.04/803.35	c  803s |      16 |   171956 |   163552 |    29569     11 |     1572 |     3172
805.05/805.36	c  805s |      16 |   172368 |   163952 |    29569     11 |     1572 |     3172
807.14/807.47	c  807s |      16 |   172781 |   164352 |    29569     11 |     1572 |     3172
809.34/809.61	c  809s |      16 |   173207 |   164752 |    29569     11 |     1572 |     3172
811.34/811.61	c  811s |      16 |   173625 |   165152 |    29569     11 |     1572 |     3172
813.34/813.65	c  813s |      16 |   174028 |   165552 |    29569     11 |     1572 |     3172
815.84/816.17	c  815s |      16 |   174546 |   166052 |    29569     11 |     1572 |     3172
818.04/818.38	c  818s |      16 |   174960 |   166452 |    29569     11 |     1572 |     3172
820.34/820.63	c  820s |      16 |   175370 |   166852 |    29569     11 |     1572 |     3172
822.54/822.90	c  822s |      16 |   175780 |   167252 |    29569     11 |     1572 |     3172
824.73/825.06	c  824s |      16 |   176192 |   167652 |    29569     11 |     1572 |     3172
826.93/827.26	c  826s |      16 |   176599 |   168052 |    29569     11 |     1572 |     3172
829.13/829.50	c  829s |      16 |   177011 |   168452 |    29569     11 |     1572 |     3172
831.44/831.74	c  831s |      16 |   177428 |   168852 |    29569     11 |     1572 |     3172
833.64/833.99	c  833s |      16 |   177849 |   169252 |    29569     11 |     1572 |     3172
835.94/836.28	c  836s |      16 |   178256 |   169652 |    29569     11 |     1572 |     3172
838.33/838.60	c  838s |      16 |   178693 |   170052 |    29569     11 |     1572 |     3172
840.73/841.07	c  840s |      16 |   179093 |   170452 |    29569     11 |     1572 |     3172
843.33/843.65	c  843s |      16 |   179510 |   170852 |    29569     11 |     1572 |     3172
845.63/845.94	c  845s |      16 |   179924 |   171252 |    29569     11 |     1572 |     3172
847.93/848.23	c  847s |      16 |   180342 |   171652 |    29569     11 |     1572 |     3172
850.33/850.62	c  850s |      16 |   180751 |   172052 |    29569     11 |     1572 |     3172
852.82/853.10	c  852s |      16 |   181164 |   172452 |    29569     11 |     1572 |     3172
855.22/855.56	c  855s |      16 |   181574 |   172852 |    29569     11 |     1572 |     3172
857.72/858.03	c  857s |      16 |   181997 |   173252 |    29569     11 |     1572 |     3172
860.22/860.54	c  860s |      16 |   182407 |   173652 |    29569     11 |     1572 |     3172
862.81/863.10	c  862s |      16 |   182809 |   174052 |    29569     11 |     1572 |     3172
865.31/865.68	c  865s |      16 |   183220 |   174452 |    29569     11 |     1572 |     3172
868.01/868.30	c  868s |      16 |   183638 |   174852 |    29569     11 |     1572 |     3172
870.02/870.37	c  870s |      16 |   183958 |   175152 |    29569     11 |     1572 |     3172
872.51/872.83	c  872s |      16 |   184378 |   175552 |    29569     11 |     1572 |     3172
874.51/874.86	c  874s |      16 |   184684 |   175852 |    29569     11 |     1572 |     3172
876.51/876.90	c  876s |      16 |   184988 |   176152 |    29569     11 |     1572 |     3172
878.91/879.28	c  879s |      16 |   185402 |   176552 |    29569     12 |     1572 |     3172
881.01/881.35	c  881s |      16 |   185815 |   176952 |    29569     12 |     1572 |     3172
883.21/883.55	c  883s |      16 |   186227 |   177352 |    29569     12 |     1572 |     3172
885.20/885.56	c  885s |      16 |   186645 |   177752 |    29569     12 |     1572 |     3172
887.20/887.57	c  887s |      16 |   187053 |   178152 |    29569     12 |     1572 |     3172
889.30/889.65	c  889s |      16 |   187463 |   178552 |    29569     12 |     1572 |     3172
893.20/893.53	c  893s |      16 |   187885 |   178952 |    29569     12 |     1572 |     3172
895.20/895.60	c  895s |      16 |   188301 |   179352 |    29569     12 |     1572 |     3172
897.40/897.74	c  897s |      16 |   188708 |   179752 |    29569     12 |     1572 |     3172
899.40/899.78	c  899s |      16 |   189124 |   180152 |    29569     12 |     1572 |     3172
901.59/901.95	c  901s |      16 |   189532 |   180552 |    29569     12 |     1572 |     3172
903.79/904.19	c  903s |      16 |   189948 |   180952 |    29569     12 |     1572 |     3172
906.30/906.64	c  906s |      16 |   190362 |   181352 |    29569     12 |     1572 |     3172
908.59/908.94	c  908s |      16 |   190792 |   181752 |    29569     12 |     1572 |     3172
910.99/911.35	c  911s |      16 |   191218 |   182152 |    29569     12 |     1572 |     3172
913.48/913.80	c  913s |      16 |   191629 |   182552 |    29569     12 |     1572 |     3172
915.98/916.36	c  916s |      16 |   192048 |   182952 |    29569     12 |     1572 |     3172
918.58/918.96	c  918s |      16 |   192458 |   183352 |    29569     12 |     1572 |     3172
921.08/921.45	c  921s |      16 |   192870 |   183752 |    29569     12 |     1572 |     3172
923.57/923.94	c  923s |      16 |   193292 |   184152 |    29569     12 |     1572 |     3172
925.57/925.98	c  925s |      16 |   193598 |   184452 |    29569     12 |     1572 |     3172
928.28/928.61	c  928s |      16 |   194011 |   184852 |    29569     12 |     1572 |     3172
930.77/931.17	c  930s |      16 |   194459 |   185252 |    29569     12 |     1572 |     3172
932.87/933.24	c  932s |      16 |   194770 |   185552 |    29569     12 |     1572 |     3172
935.57/935.94	c  935s |      16 |   195191 |   185952 |    29569     12 |     1572 |     3172
937.77/938.10	c  937s |      16 |   195494 |   186252 |    29569     12 |     1572 |     3172
939.87/940.20	c  939s |      16 |   195824 |   186552 |    29569     12 |     1572 |     3172
941.96/942.33	c  942s |      16 |   196138 |   186852 |    29569     12 |     1572 |     3172
944.06/944.45	c  944s |      16 |   196448 |   187152 |    29569     12 |     1572 |     3172
946.36/946.70	c  946s |      16 |   196761 |   187452 |    29569     12 |     1572 |     3172
948.46/948.88	c  948s |      16 |   197078 |   187752 |    29569     12 |     1572 |     3172
950.66/951.05	c  950s |      16 |   197397 |   188052 |    29569     12 |     1572 |     3172
952.87/953.28	c  953s |      16 |   197709 |   188352 |    29569     12 |     1572 |     3172
954.97/955.37	c  955s |      16 |   198045 |   188652 |    29569     12 |     1572 |     3172
957.27/957.60	c  957s |      16 |   198356 |   188952 |    29569     12 |     1572 |     3172
959.47/959.87	c  959s |      16 |   198658 |   189252 |    29569     12 |     1572 |     3172
961.86/962.20	c  961s |      16 |   198971 |   189552 |    29569     12 |     1572 |     3172
964.16/964.55	c  964s |      16 |   199283 |   189852 |    29569     12 |     1572 |     3172
966.56/966.92	c  966s |      16 |   199588 |   190152 |    29569     12 |     1572 |     3172
968.66/969.06	c  968s |      16 |   199896 |   190452 |    29569     12 |     1572 |     3172
970.86/971.22	c  970s |      16 |   200208 |   190752 |    29569     12 |     1572 |     3172
973.06/973.47	c  973s |      16 |   200518 |   191052 |    29569     12 |     1572 |     3172
975.36/975.75	c  975s |      16 |   200829 |   191352 |    29569     12 |     1572 |     3172
977.66/978.04	c  977s |      16 |   201139 |   191652 |    29569     12 |     1572 |     3172
980.06/980.42	c  980s |      16 |   201447 |   191952 |    29569     13 |     1572 |     3172
982.26/982.66	c  982s |      16 |   201857 |   192352 |    29569     13 |     1572 |     3172
984.55/984.95	c  984s |      16 |   202270 |   192752 |    29569     13 |     1572 |     3172
986.85/987.24	c  986s |      16 |   202705 |   193152 |    29569     13 |     1572 |     3172
989.05/989.47	c  989s |      16 |   203122 |   193552 |    29569     13 |     1572 |     3172
991.55/991.95	c  991s |      16 |   203545 |   193952 |    29569     13 |     1572 |     3172
993.85/994.25	c  993s |      16 |   203954 |   194352 |    29569     13 |     1572 |     3172
996.25/996.60	c  996s |      16 |   204365 |   194752 |    29569     13 |     1572 |     3172
998.56/998.93	c  998s |      16 |   204790 |   195152 |    29569     13 |     1572 |     3172
1001.05/1001.45	c 1001s |      16 |   205196 |   195552 |    29569     13 |     1572 |     3172
1003.55/1003.99	c 1003s |      16 |   205512 |   195852 |    29569     13 |     1572 |     3172
1006.05/1006.44	c 1006s |      16 |   205938 |   196252 |    32526     13 |     1572 |     3172
1008.55/1008.93	c 1008s |      16 |   206347 |   196652 |    32526     13 |     1572 |     3172
1011.05/1011.48	c 1011s |      16 |   206753 |   197052 |    32526     13 |     1572 |     3172
1013.55/1013.91	c 1013s |      17 |   207140 |   197432 |    32526     13 |     1572 |     3172
1017.44/1017.81	c 1017s |      17 |   207479 |   197732 |    32526     13 |     1572 |     3172
1019.94/1020.39	c 1020s |      17 |   207894 |   198132 |    32526     13 |     1572 |     3172
1022.64/1023.00	c 1022s |      17 |   208303 |   198532 |    32526     13 |     1572 |     3172
1025.05/1025.49	c 1025s |      17 |   208710 |   198932 |    32526     13 |     1572 |     3172
1027.74/1028.12	c 1027s |      17 |   209114 |   199332 |    32526     13 |     1572 |     3172
1030.34/1030.73	c 1030s |      17 |   209521 |   199732 |    32526     13 |     1572 |     3172
1032.34/1032.75	c 1032s |      17 |   209838 |   200032 |    32526     13 |     1572 |     3172
1034.44/1034.80	c 1034s |      17 |   210147 |   200332 |    32526     13 |     1572 |     3172
1037.05/1037.40	c 1037s |      17 |   210562 |   200732 |    32526     13 |     1572 |     3172
1039.64/1040.07	c 1039s |      17 |   210978 |   201132 |    32526     13 |     1572 |     3172
1042.34/1042.74	c 1042s |      17 |   211381 |   201532 |    32526     13 |     1572 |     3172
1044.94/1045.33	c 1045s |      17 |   211798 |   201932 |    32526     13 |     1572 |     3172
1047.05/1047.42	c 1047s |      17 |   212108 |   202232 |    32526     13 |     1572 |     3172
1049.14/1049.54	c 1049s |      17 |   212421 |   202532 |    32526     13 |     1572 |     3172
1051.14/1051.57	c 1051s |      17 |   212721 |   202832 |    32526     13 |     1572 |     3172
1053.24/1053.61	c 1053s |      17 |   213025 |   203132 |    32526     13 |     1572 |     3172
1055.34/1055.70	c 1055s |      17 |   213339 |   203432 |    32526     13 |     1572 |     3172
1057.54/1057.91	c 1057s |      17 |   213640 |   203732 |    32526     13 |     1572 |     3172
1059.84/1060.28	c 1060s |      17 |   213862 |   203932 |    32526     13 |     1572 |     3172
1061.93/1062.39	c 1062s |      17 |   214160 |   204232 |    32526     13 |     1572 |     3172
1064.13/1064.50	c 1064s |      17 |   214473 |   204532 |    32526     13 |     1572 |     3172
1066.74/1067.18	c 1066s |      17 |   214885 |   204932 |    32526     13 |     1572 |     3172
1068.94/1069.31	c 1069s |      17 |   215196 |   205232 |    32526     13 |     1572 |     3172
1070.93/1071.32	c 1071s |      17 |   215509 |   205532 |    32526     13 |     1572 |     3172
1072.93/1073.37	c 1073s |      17 |   215815 |   205832 |    32526     13 |     1572 |     3172
1075.13/1075.58	c 1075s |      17 |   216132 |   206132 |    32526     13 |     1572 |     3172
1077.43/1077.87	c 1077s |      17 |   216444 |   206432 |    32526     13 |     1572 |     3172
1079.83/1080.23	c 1079s |      17 |   216745 |   206732 |    32526     13 |     1572 |     3172
1082.14/1082.59	c 1082s |      17 |   217054 |   207032 |    32526     13 |     1572 |     3172
1084.44/1084.89	c 1084s |      17 |   217370 |   207332 |    32526     13 |     1572 |     3172
1086.83/1087.21	c 1086s |      17 |   217671 |   207632 |    32526     13 |     1572 |     3172
1089.03/1089.44	c 1089s |      17 |   217994 |   207932 |    32526     13 |     1572 |     3172
1093.33/1093.74	c 1093s |      17 |   218298 |   208232 |    32526     13 |     1572 |     3172
1095.53/1095.93	c 1095s |      17 |   218603 |   208532 |    32526     13 |     1572 |     3172
1097.54/1097.96	c 1097s |      17 |   218912 |   208832 |    32526     13 |     1572 |     3172
1099.74/1100.13	c 1099s |      17 |   219216 |   209132 |    32526     13 |     1572 |     3172
1101.94/1102.39	c 1102s |      17 |   219522 |   209432 |    32526     13 |     1572 |     3172
1104.24/1104.65	c 1104s |      17 |   219832 |   209732 |    32526     13 |     1572 |     3172
1106.53/1106.90	c 1106s |      17 |   220143 |   210032 |    32526     13 |     1572 |     3172
1108.73/1109.14	c 1108s |      17 |   220453 |   210332 |    32526     13 |     1572 |     3172
1111.13/1111.54	c 1111s |      17 |   220768 |   210632 |    32526     14 |     1572 |     3172
1113.53/1113.99	c 1113s |      17 |   221177 |   211032 |    32526     14 |     1572 |     3172
1116.13/1116.55	c 1116s |      17 |   221582 |   211432 |    32526     14 |     1572 |     3172
1118.54/1118.99	c 1118s |      17 |   222000 |   211832 |    32526     14 |     1572 |     3172
1120.93/1121.37	c 1121s |      17 |   222409 |   212232 |    32526     14 |     1572 |     3172
1123.43/1123.85	c 1123s |      17 |   222726 |   212532 |    32526     14 |     1572 |     3172
1125.73/1126.16	c 1125s |      17 |   223035 |   212832 |    32526     14 |     1572 |     3172
1128.13/1128.53	c 1128s |      17 |   223341 |   213132 |    32526     14 |     1572 |     3172
1130.73/1131.10	c 1130s |      17 |   223645 |   213432 |    32526     14 |     1572 |     3172
1133.13/1133.53	c 1133s |      17 |   223952 |   213732 |    32526     14 |     1572 |     3172
1135.53/1135.98	c 1135s |      17 |   224258 |   214032 |    32526     14 |     1572 |     3172
1137.93/1138.33	c 1138s |      17 |   224570 |   214332 |    32526     14 |     1572 |     3172
1140.43/1140.87	c 1140s |      17 |   224878 |   214632 |    32526     14 |     1572 |     3172
1142.93/1143.34	c 1143s |      17 |   225185 |   214932 |    32526     14 |     1572 |     3172
1145.53/1145.90	c 1145s |      17 |   225486 |   215232 |    32526     14 |     1572 |     3172
1148.03/1148.44	c 1148s |      17 |   225794 |   215532 |    32526     14 |     1572 |     3172
1150.73/1151.16	c 1150s |      17 |   226093 |   215832 |    32526     14 |     1572 |     3172
1153.12/1153.57	c 1153s |      17 |   226401 |   216132 |    32526     14 |     1572 |     3172
1155.83/1156.28	c 1156s |      17 |   226700 |   216432 |    32526     14 |     1572 |     3172
1158.32/1158.79	c 1158s |      17 |   227005 |   216732 |    32526     14 |     1572 |     3172
1161.12/1161.59	c 1161s |      17 |   227308 |   217032 |    32526     14 |     1572 |     3172
1163.82/1164.24	c 1163s |      17 |   227614 |   217332 |    32526     14 |     1572 |     3172
1166.62/1167.03	c 1166s |      17 |   227913 |   217632 |    32526     14 |     1572 |     3172
1169.32/1169.78	c 1169s |      17 |   228217 |   217932 |    32526     14 |     1572 |     3172
1172.12/1172.50	c 1172s |      17 |   228523 |   218232 |    32526     14 |     1572 |     3172
1174.82/1175.22	c 1174s |      17 |   228822 |   218532 |    32526     14 |     1572 |     3172
1176.83/1177.24	c 1176s |      17 |   229025 |   218732 |    32526     14 |     1572 |     3172
1179.82/1180.22	c 1179s |      17 |   229325 |   219032 |    32526     14 |     1572 |     3172
1182.72/1183.10	c 1182s |      17 |   229626 |   219332 |    32526     14 |     1572 |     3172
1185.53/1185.95	c 1185s |      17 |   229938 |   219632 |    32526     14 |     1572 |     3172
1187.62/1188.07	c 1187s |      17 |   230144 |   219832 |    32526     14 |     1572 |     3172
1189.62/1190.07	c 1189s |      17 |   230341 |   220032 |    32526     14 |     1572 |     3172
1192.52/1192.92	c 1192s |      17 |   230648 |   220332 |    32526     14 |     1572 |     3172
1195.52/1195.95	c 1195s |      17 |   230950 |   220632 |    32526     14 |     1572 |     3172
1198.52/1198.96	c 1198s |      17 |   231257 |   220932 |    32526     14 |     1572 |     3172
1201.52/1201.95	c 1201s |      17 |   231561 |   221232 |    32526     14 |     1572 |     3172
1203.62/1204.05	c 1203s |      17 |   231760 |   221432 |    32526     14 |     1572 |     3172
1206.71/1207.12	c 1206s |      17 |   232061 |   221732 |    32526     14 |     1572 |     3172
1209.01/1209.47	c 1209s |      17 |   232369 |   222032 |    32526     14 |     1572 |     3172
1211.31/1211.70	c 1211s |      17 |   232668 |   222332 |    32526     14 |     1572 |     3172
1213.41/1213.84	c 1213s |      17 |   232972 |   222632 |    32526     14 |     1572 |     3172
1215.91/1216.30	c 1216s |      17 |   233274 |   222932 |    32526     14 |     1572 |     3172
1217.91/1218.36	c 1218s |      17 |   233482 |   223132 |    32526     14 |     1572 |     3172
1220.11/1220.54	c 1220s |      17 |   233683 |   223332 |    32526     14 |     1572 |     3172
1223.11/1223.57	c 1223s |      17 |   233988 |   223632 |    32526     14 |     1572 |     3172
1226.22/1226.64	c 1226s |      17 |   234297 |   223932 |    32526     14 |     1572 |     3172
1228.42/1228.81	c 1228s |      17 |   234502 |   224132 |    32526     14 |     1572 |     3172
1230.51/1230.95	c 1230s |      17 |   234709 |   224332 |    32526     14 |     1572 |     3172
1232.51/1232.99	c 1232s |      17 |   234910 |   224532 |    32526     14 |     1572 |     3172
1234.72/1235.14	c 1234s |      17 |   235114 |   224732 |    32526     14 |     1572 |     3172
1237.02/1237.43	c 1237s |      17 |   235320 |   224932 |    32526     14 |     1572 |     3172
1239.21/1239.61	c 1239s |      17 |   235518 |   225132 |    32526     14 |     1572 |     3172
1241.81/1242.20	c 1241s |      17 |   235828 |   225432 |    32526     14 |     1572 |     3172
1244.21/1244.60	c 1244s |      17 |   236136 |   225732 |    32526     14 |     1572 |     3172
1246.41/1246.81	c 1246s |      17 |   236452 |   226032 |    32526     14 |     1572 |     3172
1248.71/1249.14	c 1248s |      17 |   236767 |   226332 |    32526     14 |     1572 |     3172
1251.11/1251.52	c 1251s |      17 |   237073 |   226632 |    32526     14 |     1572 |     3172
1253.31/1253.73	c 1253s |      17 |   237385 |   226932 |    32526     14 |     1572 |     3172
1255.61/1256.03	c 1255s |      17 |   237702 |   227232 |    32526     14 |     1572 |     3172
1258.12/1258.52	c 1258s |      17 |   238016 |   227532 |    32526     14 |     1572 |     3172
1260.41/1260.80	c 1260s |      17 |   238328 |   227832 |    32526     15 |     1572 |     3172
1262.51/1262.99	c 1262s |      17 |   238736 |   228232 |    32526     15 |     1572 |     3172
1264.61/1265.08	c 1264s |      17 |   239147 |   228632 |    32526     15 |     1572 |     3172
1267.21/1267.64	c 1267s |      17 |   239663 |   229132 |    32526     15 |     1572 |     3172
1269.51/1269.95	c 1269s |      17 |   240079 |   229532 |    32526     15 |     1572 |     3172
1271.80/1272.27	c 1272s |      17 |   240490 |   229932 |    32526     15 |     1572 |     3172
1274.10/1274.50	c 1274s |      17 |   240919 |   230332 |    32526     15 |     1572 |     3172
1276.50/1276.92	c 1276s |      17 |   241329 |   230732 |    32526     15 |     1572 |     3172
1278.80/1279.29	c 1279s |      17 |   241742 |   231132 |    32526     15 |     1572 |     3172
1281.21/1281.63	c 1281s |      17 |   242156 |   231532 |    32526     15 |     1572 |     3172
1283.60/1284.02	c 1283s |      17 |   242565 |   231932 |    32526     15 |     1572 |     3172
1286.00/1286.42	c 1286s |      17 |   242975 |   232332 |    32526     15 |     1572 |     3172
1288.50/1288.94	c 1288s |      17 |   243382 |   232732 |    32526     15 |     1572 |     3172
1291.11/1291.56	c 1291s |      17 |   243805 |   233132 |    32526     15 |     1572 |     3172
1293.20/1293.66	c 1293s |      17 |   244111 |   233432 |    32526     15 |     1572 |     3172
1295.90/1296.36	c 1296s |      17 |   244529 |   233832 |    32526     15 |     1572 |     3172
1298.30/1298.78	c 1298s |      17 |   244936 |   234232 |    32526     15 |     1572 |     3172
1300.80/1301.24	c 1300s |      17 |   245343 |   234632 |    32526     15 |     1572 |     3172
1303.40/1303.81	c 1303s |      17 |   245752 |   235032 |    32526     15 |     1572 |     3172
1305.80/1306.24	c 1305s |      17 |   246173 |   235432 |    32526     15 |     1572 |     3172
1308.40/1308.85	c 1308s |      17 |   246586 |   235832 |    32526     15 |     1572 |     3172
1311.01/1311.47	c 1311s |      17 |   247000 |   236232 |    32526     15 |     1572 |     3172
1313.70/1314.13	c 1313s |      17 |   247409 |   236632 |    32526     15 |     1572 |     3172
1315.70/1316.16	c 1315s |      17 |   247716 |   236932 |    32526     15 |     1572 |     3172
1318.30/1318.75	c 1318s |      17 |   248139 |   237332 |    32526     15 |     1572 |     3172
1320.30/1320.76	c 1320s |      17 |   248451 |   237632 |    32526     15 |     1572 |     3172
1322.50/1322.93	c 1322s |      17 |   248758 |   237932 |    32526     15 |     1572 |     3172
1324.60/1325.01	c 1324s |      17 |   249067 |   238232 |    32526     15 |     1572 |     3172
1326.70/1327.15	c 1326s |      17 |   249374 |   238532 |    32526     15 |     1572 |     3172
1328.80/1329.22	c 1328s |      17 |   249673 |   238832 |    32526     15 |     1572 |     3172
1330.80/1331.25	c 1330s |      17 |   249991 |   239132 |    32526     15 |     1572 |     3172
1333.39/1333.89	c 1333s |      17 |   250392 |   239532 |    32526     15 |     1572 |     3172
1335.49/1335.99	c 1335s |      17 |   250718 |   239832 |    32526     15 |     1572 |     3172
1337.59/1338.03	c 1337s |      17 |   251034 |   240132 |    32526     15 |     1572 |     3172
1339.79/1340.29	c 1340s |      17 |   251341 |   240432 |    32526     15 |     1572 |     3172
1341.99/1342.46	c 1342s |      17 |   251651 |   240732 |    32526     15 |     1572 |     3172
1344.29/1344.75	c 1344s |      17 |   251950 |   241032 |    32526     15 |     1572 |     3172
1346.89/1347.36	c 1347s |      17 |   252273 |   241332 |    32526     15 |     1572 |     3172
1349.09/1349.57	c 1349s |      17 |   252575 |   241632 |    32526     15 |     1572 |     3172
1351.29/1351.71	c 1351s |      17 |   252887 |   241932 |    32526     15 |     1572 |     3172
1353.39/1353.84	c 1353s |      17 |   253200 |   242232 |    32526     15 |     1572 |     3172
1355.59/1356.09	c 1355s |      17 |   253506 |   242532 |    32526     15 |     1572 |     3172
1357.89/1358.35	c 1358s |      17 |   253820 |   242832 |    32526     15 |     1572 |     3172
1360.09/1360.59	c 1360s |      17 |   254121 |   243132 |    32526     15 |     1572 |     3172
1362.29/1362.79	c 1362s |      17 |   254434 |   243432 |    32526     15 |     1572 |     3172
1364.59/1365.05	c 1364s |      17 |   254741 |   243732 |    32526     15 |     1572 |     3172
1366.89/1367.33	c 1367s |      17 |   255045 |   244032 |    32526     15 |     1572 |     3172
1369.19/1369.60	c 1369s |      17 |   255351 |   244332 |    32526     15 |     1572 |     3172
1371.29/1371.72	c 1371s |      17 |   255660 |   244632 |    32526     15 |     1572 |     3172
1373.49/1373.97	c 1373s |      17 |   255967 |   244932 |    32526     16 |     1572 |     3172
1375.89/1376.36	c 1376s |      17 |   256382 |   245332 |    32526     16 |     1572 |     3172
1378.39/1378.87	c 1378s |      17 |   256791 |   245732 |    32526     16 |     1572 |     3172
1380.69/1381.19	c 1380s |      17 |   257198 |   246132 |    32526     16 |     1572 |     3172
1383.18/1383.66	c 1383s |      17 |   257618 |   246532 |    32526     16 |     1572 |     3172
1385.69/1386.12	c 1385s |      17 |   258028 |   246932 |    32526     16 |     1572 |     3172
1388.28/1388.70	c 1388s |      17 |   258432 |   247332 |    32526     16 |     1572 |     3172
1390.78/1391.26	c 1390s |      17 |   258841 |   247732 |    32526     16 |     1572 |     3172
1393.28/1393.75	c 1393s |      17 |   259249 |   248132 |    32526     16 |     1572 |     3172
1395.78/1396.26	c 1395s |      17 |   259664 |   248532 |    32526     16 |     1572 |     3172
1398.38/1398.80	c 1398s |      17 |   260074 |   248932 |    32526     16 |     1572 |     3172
1400.48/1400.98	c 1400s |      17 |   260384 |   249232 |    32526     16 |     1572 |     3172
1405.28/1405.71	c 1405s |      17 |   260805 |   249632 |    32526     16 |     1572 |     3172
1407.79/1408.22	c 1407s |      17 |   261210 |   250032 |    32526     16 |     1572 |     3172
1410.48/1410.90	c 1410s |      17 |   261623 |   250432 |    32526     16 |     1572 |     3172
1413.08/1413.53	c 1413s |      17 |   262028 |   250832 |    32526     16 |     1572 |     3172
1415.18/1415.60	c 1415s |      17 |   262339 |   251132 |    32526     16 |     1572 |     3172
1417.18/1417.68	c 1417s |      17 |   262649 |   251432 |    32526     16 |     1572 |     3172
1419.38/1419.87	c 1419s |      17 |   262953 |   251732 |    32526     16 |     1572 |     3172
1422.08/1422.57	c 1422s |      17 |   263367 |   252132 |    32526     16 |     1572 |     3172
1424.18/1424.66	c 1424s |      17 |   263683 |   252432 |    32526     16 |     1572 |     3172
1426.18/1426.67	c 1426s |      17 |   263989 |   252732 |    32526     16 |     1572 |     3172
1428.38/1428.87	c 1428s |      17 |   264295 |   253032 |    32526     16 |     1572 |     3172
1430.48/1430.91	c 1430s |      17 |   264628 |   253332 |    32526     16 |     1572 |     3172
1432.58/1433.08	c 1432s |      17 |   264934 |   253632 |    32526     16 |     1572 |     3172
1434.88/1435.32	c 1435s |      17 |   265244 |   253932 |    32526     16 |     1572 |     3172
1436.98/1437.46	c 1437s |      17 |   265551 |   254232 |    32526     16 |     1572 |     3172
1439.28/1439.73	c 1439s |      17 |   265853 |   254532 |    32526     16 |     1572 |     3172
1441.57/1442.00	c 1441s |      17 |   266161 |   254832 |    32526     16 |     1572 |     3172
1443.67/1444.15	c 1443s |      17 |   266469 |   255132 |    32526     16 |     1572 |     3172
1445.77/1446.28	c 1446s |      17 |   266777 |   255432 |    32526     16 |     1572 |     3172
1448.07/1448.54	c 1448s |      17 |   267087 |   255732 |    32526     16 |     1572 |     3172
1450.37/1450.88	c 1450s |      17 |   267391 |   256032 |    32526     16 |     1572 |     3172
1452.57/1453.08	c 1452s |      17 |   267699 |   256332 |    32526     16 |     1572 |     3172
1454.98/1455.44	c 1455s |      17 |   268013 |   256632 |    32526     16 |     1572 |     3172
1457.28/1457.73	c 1457s |      17 |   268321 |   256932 |    32526     16 |     1572 |     3172
1459.67/1460.16	c 1459s |      17 |   268631 |   257232 |    32526     16 |     1572 |     3172
1462.07/1462.55	c 1462s |      17 |   268936 |   257532 |    32526     16 |     1572 |     3172
1464.57/1465.06	c 1464s |      17 |   269242 |   257832 |    32526     16 |     1572 |     3172
1466.88/1467.32	c 1467s |      17 |   269474 |   258032 |    32526     16 |     1572 |     3172
1468.98/1469.46	c 1469s |      17 |   269775 |   258332 |    32526     16 |     1572 |     3172
1471.28/1471.77	c 1471s |      17 |   270092 |   258632 |    32526     16 |     1572 |     3172
1473.69/1474.12	c 1473s |      17 |   270398 |   258932 |    32526     16 |     1572 |     3172
1475.98/1476.41	c 1476s |      17 |   270709 |   259232 |    32526     16 |     1572 |     3172
1478.38/1478.80	c 1478s |      17 |   271014 |   259532 |    32526     16 |     1572 |     3172
1480.58/1481.09	c 1480s |      17 |   271325 |   259832 |    32526     16 |     1572 |     3172
1482.88/1483.36	c 1483s |      17 |   271635 |   260132 |    32526     16 |     1572 |     3172
1485.18/1485.64	c 1485s |      17 |   271938 |   260432 |    32526     16 |     1572 |     3172
1487.57/1488.04	c 1487s |      17 |   272242 |   260732 |    32526     16 |     1572 |     3172
1490.07/1490.55	c 1490s |      17 |   272547 |   261032 |    32526     16 |     1572 |     3172
1492.48/1492.91	c 1492s |      17 |   272851 |   261332 |    32526     16 |     1572 |     3172
1494.87/1495.33	c 1495s |      17 |   273162 |   261632 |    32526     16 |     1572 |     3172
1497.17/1497.63	c 1497s |      17 |   273463 |   261932 |    32526     17 |     1572 |     3172
1499.67/1500.17	c 1499s |      17 |   273871 |   262332 |    32526     17 |     1572 |     3172
1502.17/1502.60	c 1502s |      17 |   274274 |   262732 |    32526     17 |     1572 |     3172
1504.58/1505.01	c 1504s |      17 |   274685 |   263132 |    32526     17 |     1572 |     3172
1506.97/1507.44	c 1507s |      17 |   275096 |   263532 |    32526     17 |     1572 |     3172
1509.27/1509.78	c 1509s |      17 |   275501 |   263932 |    32526     17 |     1572 |     3172
1511.77/1512.23	c 1511s |      17 |   275921 |   264332 |    32526     17 |     1572 |     3172
1514.27/1514.76	c 1514s |      17 |   276328 |   264732 |    32526     17 |     1572 |     3172
1516.77/1517.24	c 1516s |      17 |   276735 |   265132 |    32526     17 |     1572 |     3172
1518.78/1519.24	c 1518s |      17 |   277039 |   265432 |    32526     17 |     1572 |     3172
1521.27/1521.73	c 1521s |      17 |   277448 |   265832 |    32526     17 |     1572 |     3172
1523.77/1524.28	c 1524s |      17 |   277758 |   266132 |    32526     17 |     1572 |     3172
1526.27/1526.73	c 1526s |      17 |   278160 |   266532 |    32526     17 |     1572 |     3172
1528.37/1528.89	c 1528s |      17 |   278469 |   266832 |    32526     17 |     1572 |     3172
1530.98/1531.44	c 1531s |      17 |   278901 |   267232 |    32526     17 |     1572 |     3172
1533.47/1533.90	c 1533s |      17 |   279309 |   267632 |    32526     17 |     1572 |     3172
1536.07/1536.58	c 1536s |      17 |   279716 |   268032 |    32526     17 |     1572 |     3172
1538.17/1538.61	c 1538s |      17 |   280023 |   268332 |    32526     17 |     1572 |     3172
1540.27/1540.75	c 1540s |      17 |   280327 |   268632 |    32526     17 |     1572 |     3172
1542.37/1542.84	c 1542s |      17 |   280634 |   268932 |    32526     17 |     1572 |     3172
1544.47/1544.97	c 1544s |      17 |   280951 |   269232 |    32526     17 |     1572 |     3172
1547.17/1547.68	c 1547s |      17 |   281366 |   269632 |    32526     17 |     1572 |     3172
1549.37/1549.83	c 1549s |      17 |   281672 |   269932 |    32526     17 |     1572 |     3172
1551.47/1551.97	c 1551s |      17 |   281996 |   270232 |    32526     17 |     1572 |     3172
1553.76/1554.23	c 1553s |      17 |   282295 |   270532 |    32526     17 |     1572 |     3172
1555.96/1556.47	c 1556s |      17 |   282599 |   270832 |    32526     17 |     1572 |     3172
1558.16/1558.69	c 1558s |      17 |   282908 |   271132 |    32526     17 |     1572 |     3172
1560.46/1560.95	c 1560s |      17 |   283209 |   271432 |    32526     17 |     1572 |     3172
1562.77/1563.23	c 1562s |      17 |   283510 |   271732 |    32526     17 |     1572 |     3172
1564.86/1565.36	c 1565s |      17 |   283817 |   272032 |    32526     17 |     1572 |     3172
1567.17/1567.64	c 1567s |      17 |   284124 |   272332 |    32526     17 |     1572 |     3172
1569.47/1569.95	c 1569s |      17 |   284430 |   272632 |    32526     17 |     1572 |     3172
1571.76/1572.20	c 1571s |      17 |   284729 |   272932 |    32526     17 |     1572 |     3172
1574.06/1574.59	c 1574s |      17 |   285050 |   273232 |    32526     17 |     1572 |     3172
1576.36/1576.86	c 1576s |      17 |   285362 |   273532 |    32526     17 |     1572 |     3172
1578.76/1579.23	c 1578s |      17 |   285679 |   273832 |    32526     17 |     1572 |     3172
1580.96/1581.44	c 1581s |      17 |   285896 |   274032 |    32526     17 |     1572 |     3172
1583.06/1583.55	c 1583s |      17 |   286210 |   274332 |    32526     17 |     1572 |     3172
1585.16/1585.67	c 1585s |      17 |   286521 |   274632 |    32526     17 |     1572 |     3172
1587.36/1587.81	c 1587s |      17 |   286826 |   274932 |    32526     17 |     1572 |     3172
1589.56/1590.05	c 1589s |      17 |   287135 |   275232 |    32526     17 |     1572 |     3172
1591.86/1592.34	c 1592s |      17 |   287442 |   275532 |    32526     17 |     1572 |     3172
1594.06/1594.57	c 1594s |      17 |   287753 |   275832 |    32526     17 |     1572 |     3172
1596.36/1596.86	c 1596s |      17 |   288060 |   276132 |    32526     17 |     1572 |     3172
1598.76/1599.27	c 1599s |      17 |   288359 |   276432 |    32526     17 |     1572 |     3172
1601.26/1601.72	c 1601s |      17 |   288666 |   276732 |    32526     17 |     1572 |     3172
1603.66/1604.10	c 1603s |      17 |   288971 |   277032 |    32526     17 |     1572 |     3172
1606.05/1606.51	c 1606s |      17 |   289278 |   277332 |    32526     17 |     1572 |     3172
1608.65/1609.10	c 1608s |      17 |   289580 |   277632 |    32526     17 |     1572 |     3172
1610.95/1611.48	c 1611s |      17 |   289885 |   277932 |    32526     17 |     1572 |     3172
1613.46/1613.99	c 1613s |      17 |   290187 |   278232 |    32526     17 |     1572 |     3172
1615.95/1616.40	c 1616s |      17 |   290497 |   278532 |    32526     17 |     1572 |     3172
1618.86/1619.31	c 1619s |      17 |   290802 |   278832 |    32526     18 |     1572 |     3172
1621.35/1621.83	c 1621s |      17 |   291208 |   279232 |    32526     18 |     1572 |     3172
1623.75/1624.24	c 1623s |      17 |   291621 |   279632 |    32526     18 |     1572 |     3172
1626.15/1626.68	c 1626s |      17 |   292027 |   280032 |    32526     18 |     1572 |     3172
1628.65/1629.13	c 1628s |      17 |   292434 |   280432 |    32526     18 |     1572 |     3172
1631.15/1631.70	c 1631s |      17 |   292841 |   280832 |    32526     18 |     1572 |     3172
1633.75/1634.21	c 1633s |      17 |   293252 |   281232 |    32526     18 |     1572 |     3172
1636.25/1636.73	c 1636s |      17 |   293667 |   281632 |    32526     18 |     1572 |     3172
1638.76/1639.22	c 1638s |      17 |   294070 |   282032 |    32526     18 |     1572 |     3172
1640.86/1641.38	c 1641s |      17 |   294385 |   282332 |    32526     18 |     1572 |     3172
1643.35/1643.81	c 1643s |      17 |   294796 |   282732 |    32526     18 |     1572 |     3172
1645.65/1646.17	c 1645s |      17 |   295214 |   283132 |    32526     18 |     1572 |     3172
1648.25/1648.73	c 1648s |      17 |   295624 |   283532 |    32526     18 |     1572 |     3172
1650.75/1651.26	c 1650s |      17 |   296039 |   283932 |    32526     18 |     1572 |     3172
1653.45/1653.90	c 1653s |      17 |   296444 |   284332 |    32526     18 |     1572 |     3172
1656.05/1656.55	c 1656s |      17 |   296859 |   284732 |    32526     18 |     1572 |     3172
1658.05/1658.59	c 1658s |      17 |   297159 |   285032 |    32526     18 |     1572 |     3172
1660.15/1660.60	c 1660s |      17 |   297462 |   285332 |    32526     18 |     1572 |     3172
1662.25/1662.71	c 1662s |      17 |   297772 |   285632 |    32526     18 |     1572 |     3172
1664.45/1664.98	c 1664s |      17 |   298078 |   285932 |    32526     18 |     1572 |     3172
1667.14/1667.67	c 1667s |      17 |   298497 |   286332 |    32526     18 |     1572 |     3172
1669.24/1669.77	c 1669s |      17 |   298805 |   286632 |    32526     18 |     1572 |     3172
1671.94/1672.48	c 1672s |      17 |   299221 |   287032 |    32526     18 |     1572 |     3172
1674.04/1674.54	c 1674s |      17 |   299531 |   287332 |    32526     18 |     1572 |     3172
1676.24/1676.70	c 1676s |      17 |   299836 |   287632 |    32526     18 |     1572 |     3172
1678.35/1678.84	c 1678s |      17 |   300144 |   287932 |    32526     18 |     1572 |     3172
1680.45/1680.99	c 1680s |      17 |   300452 |   288232 |    32526     18 |     1572 |     3172
1682.65/1683.18	c 1682s |      17 |   300750 |   288532 |    32526     18 |     1572 |     3172
1684.95/1685.45	c 1685s |      17 |   301057 |   288832 |    32526     18 |     1572 |     3172
1687.15/1687.66	c 1687s |      17 |   301353 |   289132 |    32526     18 |     1572 |     3172
1689.35/1689.83	c 1689s |      17 |   301663 |   289432 |    32526     18 |     1572 |     3172
1691.55/1692.05	c 1691s |      17 |   301969 |   289732 |    32526     18 |     1572 |     3172
1693.84/1694.33	c 1694s |      17 |   302272 |   290032 |    32526     18 |     1572 |     3172
1695.85/1696.35	c 1696s |      17 |   302482 |   290232 |    32526     18 |     1572 |     3172
1698.15/1698.66	c 1698s |      17 |   302791 |   290532 |    32526     18 |     1572 |     3172
1700.44/1700.96	c 1700s |      17 |   303089 |   290832 |    32526     18 |     1572 |     3172
1702.64/1703.16	c 1702s |      17 |   303406 |   291132 |    32526     18 |     1572 |     3172
1705.04/1705.53	c 1705s |      17 |   303710 |   291432 |    32526     18 |     1572 |     3172
1707.44/1707.93	c 1707s |      17 |   304012 |   291732 |    32526     18 |     1572 |     3172
1709.84/1710.33	c 1710s |      17 |   304314 |   292032 |    32526     18 |     1572 |     3172
1712.24/1712.73	c 1712s |      17 |   304623 |   292332 |    32526     18 |     1572 |     3172
1714.74/1715.23	c 1714s |      17 |   304924 |   292632 |    32526     18 |     1572 |     3172
1717.24/1717.76	c 1717s |      17 |   305229 |   292932 |    32526     18 |     1572 |     3172
1719.74/1720.27	c 1720s |      17 |   305543 |   293232 |    32526     18 |     1572 |     3172
1722.24/1722.72	c 1722s |      17 |   305854 |   293532 |    32526     18 |     1572 |     3172
1724.73/1725.23	c 1724s |      17 |   306161 |   293832 |    32526     18 |     1572 |     3172
1727.23/1727.73	c 1727s |      17 |   306480 |   294132 |    32526     18 |     1572 |     3172
1729.83/1730.30	c 1730s |      17 |   306785 |   294432 |    35779     18 |     1572 |     3172
1732.33/1732.89	c 1732s |      17 |   307091 |   294732 |    35779     18 |     1572 |     3172
1734.93/1735.40	c 1735s |      17 |   307418 |   295032 |    35779     18 |     1572 |     3172
1737.53/1738.07	c 1737s |      17 |   307719 |   295332 |    35779     18 |     1572 |     3172
1740.23/1740.71	c 1740s |      17 |   308027 |   295632 |    35779     18 |     1572 |     3172
1742.83/1743.33	c 1743s |      17 |   308338 |   295932 |    35779     18 |     1572 |     3172
1745.44/1745.97	c 1745s |      17 |   308646 |   296232 |    35779     18 |     1572 |     3172
1745.53/1746.09	c 1745s |      18 |   308672 |   296252 |    35779     18 |     1572 |     3172
1748.43/1748.90	c 1748s |      18 |   309003 |   296552 |    35779     18 |     1572 |     3172
1751.03/1751.56	c 1751s |      18 |   309301 |   296852 |    35779     18 |     1572 |     3172
1753.73/1754.26	c 1753s |      18 |   309604 |   297152 |    35779     18 |     1572 |     3172
1756.34/1756.90	c 1756s |      18 |   309919 |   297452 |    35779     18 |     1572 |     3172
1758.93/1759.44	c 1759s |      18 |   310224 |   297752 |    35779     18 |     1572 |     3172
1760.93/1761.45	c 1761s |      18 |   310444 |   297952 |    35779     18 |     1572 |     3172
1763.53/1764.03	c 1763s |      18 |   310746 |   298252 |    35779     18 |     1572 |     3172
1766.03/1766.56	c 1766s |      18 |   311050 |   298552 |    35779     18 |     1572 |     3172
1768.53/1769.09	c 1768s |      18 |   311354 |   298852 |    35779     18 |     1572 |     3172
1770.83/1771.31	c 1771s |      18 |   311461 |   298952 |    35779     18 |     1572 |     3172
1773.33/1773.86	c 1773s |      18 |   311766 |   299252 |    35779     19 |     1572 |     3172
1775.93/1776.46	c 1776s |      18 |   312181 |   299652 |    35779     19 |     1572 |     3172
1778.53/1779.09	c 1778s |      18 |   312600 |   300052 |    35779     19 |     1572 |     3172
1781.03/1781.56	c 1781s |      18 |   313004 |   300452 |    35779     19 |     1572 |     3172
1783.53/1784.05	c 1783s |      18 |   313416 |   300852 |    35779     19 |     1572 |     3172
1786.04/1786.57	c 1786s |      18 |   313835 |   301252 |    35779     19 |     1572 |     3172
1788.63/1789.19	c 1788s |      18 |   314245 |   301652 |    35779     19 |     1572 |     3172
1792.23/1792.76	c 1792s |      18 |   314652 |   302052 |    35779     19 |     1572 |     3172
1794.73/1795.29	c 1795s |      18 |   315057 |   302452 |    35779     19 |     1572 |     3172
1797.43/1797.93	c 1797s |      18 |   315464 |   302852 |    35779     19 |     1572 |     3172

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26903
/proc/meminfo: memFree=30598992/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=698948 CPUtime=0 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 2606 0 0 0 0 0 0 0 20 0 4 0 25183112 715722752 2967 33554432000 4194304 16246674 140736154359312 140736154358736 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 175249 2975 442 2943 0 172143 0
[pid=26903/tid=26904] ppid=26900 vsize=716356 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 733548544 3036 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=721476 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 738791424 3053 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=725572 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 742985728 3069 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26903
/proc/meminfo: memFree=30598992/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 26619 0 0 0 5 3 0 0 20 0 4 0 25183112 1333334016 26919 33554432000 4194304 16246674 140736154359312 140736154358624 7853005 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 325521 26935 800 2943 0 322415 0
[pid=26903/tid=26904] ppid=26900 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1333334016 26946 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1333334016 26957 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1333334016 26968 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200562 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26903
/proc/meminfo: memFree=30598992/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 42090 0 0 0 13 6 0 0 20 0 4 0 25183112 1333334016 42389 33554432000 4194304 16246674 140736154359312 140736154358624 13930229 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 325521 42389 833 2943 0 322415 0
[pid=26903/tid=26904] ppid=26900 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1333334016 42389 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1333334016 42389 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1333334016 42389 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300501 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26903
/proc/meminfo: memFree=30598992/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 57257 0 0 0 20 9 0 0 20 0 4 0 25183112 1333334016 57556 33554432000 4194304 16246674 140736154359312 140736154358624 5722241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 325521 57569 884 2943 0 322415 0
[pid=26903/tid=26904] ppid=26900 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1333334016 57574 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1333334016 57580 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1333334016 57583 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700409 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26903
/proc/meminfo: memFree=30598992/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1302084 CPUtime=0.68 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 126766 0 0 0 50 18 0 0 20 0 4 0 25183112 1333334016 127065 33554432000 4194304 16246674 140736154359312 140736154341184 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 325521 127074 884 2943 0 322415 0
[pid=26903/tid=26904] ppid=26900 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1333334016 127080 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1333334016 127087 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1333334016 127096 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1302084

[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26907
/proc/meminfo: memFree=29799840/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1312324 CPUtime=1.48 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 269132 0 0 0 111 37 0 0 20 0 4 0 25183112 1343819776 269431 33554432000 4194304 16246674 140736154359312 140736154358624 5672818 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 328081 269431 891 2943 0 324975 0
[pid=26903/tid=26904] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269431 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269431 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269431 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1312324

[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26907
/proc/meminfo: memFree=29522080/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1312324 CPUtime=3.08 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 269271 0 0 0 271 37 0 0 20 0 4 0 25183112 1343819776 269570 33554432000 4194304 16246674 140736154359312 140736154341184 6021024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 328081 269570 891 2943 0 324975 0
[pid=26903/tid=26904] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269570 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269570 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269570 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1312324

[startup+6.30043 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26907
/proc/meminfo: memFree=29521836/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 269272 0 0 0 591 38 0 0 20 0 4 0 25183112 1343819776 269571 33554432000 4194304 16246674 140736154359312 140736154341184 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 328081 269571 891 2943 0 324975 0
[pid=26903/tid=26904] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269571 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269571 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269571 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26907
/proc/meminfo: memFree=29521880/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 269272 0 0 0 1231 38 0 0 20 0 4 0 25183112 1343819776 269571 33554432000 4194304 16246674 140736154359312 140736154341184 5721804 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 328081 269571 891 2943 0 324975 0
[pid=26903/tid=26904] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269571 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269571 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269571 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5075 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 26910
/proc/meminfo: memFree=29522604/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1312324 CPUtime=25.49 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 269272 0 0 0 2511 38 0 0 20 0 4 0 25183112 1343819776 269571 33554432000 4194304 16246674 140736154359312 140736154341184 5674276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 328081 269571 891 2943 0 324975 0
[pid=26903/tid=26904] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269571 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269571 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269571 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 26910
/proc/meminfo: memFree=29522672/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 269272 0 0 0 5070 38 0 0 20 0 4 0 25183112 1343819776 269571 33554432000 4194304 16246674 140736154359312 140736154341184 5717656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 328081 269571 891 2943 0 324975 0
[pid=26903/tid=26904] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269571 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269571 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1343819776 269571 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 26911
/proc/meminfo: memFree=29516188/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1318468 CPUtime=102.27 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 270811 0 0 0 10189 38 0 0 20 0 4 0 25183112 1350111232 271110 33554432000 4194304 16246674 140736154359312 140736154341184 12483362 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 329617 271110 894 2943 0 326511 0
[pid=26903/tid=26904] ppid=26900 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1350111232 271110 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1350111232 271110 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1350111232 271110 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1318468


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

/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1391005696 281350 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1358404

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27186
/proc/meminfo: memFree=29279928/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1369668 CPUtime=1301.9 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 283902 0 0 0 130145 45 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140736154341184 5672213 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 342417 284166 894 2943 0 339311 0
[pid=26903/tid=26904] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1369668

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 27187
/proc/meminfo: memFree=29279964/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1369668 CPUtime=1361.89 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 283902 0 0 0 136144 45 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140736154341184 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 342417 284166 894 2943 0 339311 0
[pid=26903/tid=26904] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1369668

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27189
/proc/meminfo: memFree=29279728/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1369668 CPUtime=1421.88 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 283902 0 0 0 142143 45 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140736154341184 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 342417 284166 894 2943 0 339311 0
[pid=26903/tid=26904] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1369668

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27190
/proc/meminfo: memFree=29279636/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1369668 CPUtime=1481.88 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 283902 0 0 0 148142 46 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140736154341184 5677589 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 342417 284166 894 2943 0 339311 0
[pid=26903/tid=26904] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1369668

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27191
/proc/meminfo: memFree=29278904/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1369668 CPUtime=1541.87 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 283902 0 0 0 154141 46 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140736154341184 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 342417 284166 894 2943 0 339311 0
[pid=26903/tid=26904] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1369668

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27192
/proc/meminfo: memFree=29279072/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1369668 CPUtime=1601.86 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 283902 0 0 0 160140 46 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140736154341184 5676609 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 342417 284166 894 2943 0 339311 0
[pid=26903/tid=26904] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1369668

[startup+1662.31 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 27193
/proc/meminfo: memFree=29278976/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1369668 CPUtime=1661.85 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 283902 0 0 0 166139 46 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140736154341184 5829380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 342417 284166 894 2943 0 339311 0
[pid=26903/tid=26904] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1369668

[startup+1722.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/183 27195
/proc/meminfo: memFree=29278876/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1369668 CPUtime=1721.84 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 283902 0 0 0 172138 46 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140736154341184 5676626 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 342417 284166 894 2943 0 339311 0
[pid=26903/tid=26904] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1369668

[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 27196
/proc/meminfo: memFree=29278780/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1369668 CPUtime=1781.83 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 283902 0 0 0 178136 47 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140736154341184 5823793 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 342417 284166 894 2943 0 339311 0
[pid=26903/tid=26904] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1369668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.06 2.05 2.01 3/183 27196
/proc/meminfo: memFree=29278748/32872528 swapFree=7780/7780
[pid=26903] ppid=26900 vsize=1369668 CPUtime=1800.03 cores=1,3,5,7
/proc/26903/stat : 26903 (toysat) R 26900 26903 23276 0 -1 4202496 283902 0 0 0 179956 47 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140736154341184 5674517 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26903/statm: 342417 284166 894 2943 0 339311 0
[pid=26903/tid=26904] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26904/stat : 26904 (toysat) S 26900 26903 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114343734512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26903/tid=26905] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26905/stat : 26905 (toysat) S 26900 26903 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114333244656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26903/tid=26906] ppid=26900 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/26903/task/26906/stat : 26906 (toysat) S 26900 26903 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25183112 1402540032 284166 33554432000 4194304 16246674 140736154359312 140114248330416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1369668

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 26903 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.51
CPU time (s): 1800.04
CPU user time (s): 1799.57
CPU system time (s): 0.473927
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 1369668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.473927
maximum resident set size= 1136664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283902
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= 305
involuntary context switches= 1954

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7402 second user time and 17.3374 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 08:29:43
IDJOB=4102705
IDBENCH=2160
IDSOLVER=2542
FILE ID=node151/4102705-1466231383
RUNJOBID= node151-1466206051-23293
PBS_JOBID= 19918135
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 0b8531b64d2ca93b44d439b9cb9fcfaa
RANDOM SEED=232128563

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30599412 kB
Buffers:          115624 kB
Cached:           266132 kB
SwapCached:         1996 kB
Active:          1247600 kB
Inactive:         279640 kB
Active(anon):    1145796 kB
Inactive(anon):     1788 kB
Active(file):     101804 kB
Inactive(file):   277852 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             16732 kB
Writeback:             0 kB
AnonPages:       1152616 kB
Mapped:            11848 kB
Shmem:                 0 kB
Slab:             604540 kB
SReclaimable:      48144 kB
SUnreclaim:       556396 kB
KernelStack:        1504 kB
PageTables:         6616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1294820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1132544 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= 71716 MiB
End job on node151 at 2016-06-18 08:59:44