Trace number 4117093

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round23-5.opb
MD5SUMc9b920119562b92648bbd1caba5edf40
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9504
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-27T00:36: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-4117093-1466980602.opb"]
0.00/0.01	c use --random-gen="1567522735 3859910496 703168862 2254546129 4002798155 386801925 2652840960 4187284678 2462514700 261480894 2746544609 1907684149 2678762841 1355219290 3086952901 2602374156 1289069426 3681574958 1950370540 3478406413 1565442802 705212253 3724356119 894753904 3553101632 3092114484 3492642096 1301973531 931088725 429601052 165822139 241750234 3362080138 2702485089 2088660467 3834634631 2656415750 2365465507 3119691374 2281558641 2568342357 3502279991 3667793707 2921316237 2087841782 1438879214 109950708 3852472152 3409807487 2596723710 4058776574 557995545 3193000925 2143751020 3294058391 3346648338 3816479735 1515100380 588410098 463740415 3981910640 1088092079 3707649124 2421172923 3476727038 3064984798 3924173610 2861966594 785915982 1086947770 2773746644 2864949715 3580377952 655771061 4101179061 3397037006 2243628204 2261053484 3957022276 105143572 1264082404 510330232 2805585935 2224198908 274862296 3776292643 1472557106 2350161372 4135205446 3431365186 1501390550 1264664483 2284374463 3720165431 1151561331 2798812609 1315898925 1092948507 1382354087 3922315358 3924441421 2853077597 3082030731 466180855 3958587070 1627624898 1678892621 3269805225 2468215988 3236248125 954458294 291765561 1322553315 1047723084 2754131559 2270581434 381667252 2393853444 282464335 405843232 3925506540 2212472814 1547611849 1458902292 1965618848 1749658472 2703597008 1986918506 3042970048 4039931381 1401193182 3255595505 3270941535 469551259 1048850389 272837753 2080577556 3211288288 2769318960 594881301 1816969099 1046491679 4020294030 106731445 2441302395 234978893 1349158363 989293876 4041368036 1450792238 252812471 471705739 2960923284 3242576791 3796255547 3444285656 2919574909 2970671575 567649088 2499629748 215739413 4080148373 2859068469 953674766 3932893422 67514118 2409366750 522183356 2181168152 3242264855 2988306082 253808893 1599331251 1410297495 2877561913 3160380699 2743456385 2052448399 4227962071 1949078422 4033068563 2890259726 3994703874 3859756874 4074477197 2443403238 1485240104 611280146 3851124702 2131145900 210656381 2015608238 1377836399 1560087272 419610643 1867229936 393114605 1959192990 1024931118 4218276297 3274284325 531042507 2422178088 2485345897 1233800901 833447046 3784733425 1625368194 3942061206 36351304 967517275 129398110 1338428430 1602603076 745825799 2742336841 1675026254 1729394190 2218034994 2849188502 1508809551 2391056511 3981537166 3815075836 3330009679 1264458735 3495007863 1318602570 2131509310 2420103231 1871613297 1578598922 4282262358 898849505 50632336 2186259162 778512522 4205752165 2126246550 2324108788 2038593267 2795863920 976101687 670481234 2873426927 1773672465 238961012 1817680967 1314394658 2138235851 3700346596 695707674 2369380398 2043421845 1477262629 2849350754 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9504
0.18/0.28	c Solving starts ...
0.18/0.28	c ============================[ Search Statistics ]============================
0.18/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.28	c =============================================================================
0.18/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      753 |        0
0.29/0.39	c  0.1s |       1 |     2104 |      100 |     4565      0 |      754 |      656
0.39/0.47	c  0.2s |       2 |     3146 |      250 |     5022      0 |      754 |      656
0.59/0.63	c  0.3s |       3 |     5037 |      475 |     5525      0 |      754 |      656
0.78/0.82	c  0.5s |       4 |     7271 |      813 |     6078      0 |      754 |      656
1.20/1.27	c  1.0s |       5 |    10471 |     1320 |     6686      0 |      754 |      656
1.81/1.89	c  1.6s |       6 |    14519 |     2081 |     8091      0 |      755 |      656
3.19/3.27	c  3.0s |       7 |    17111 |     3223 |     8901      0 |      755 |      656
4.39/4.46	c  4.2s |       8 |    25334 |     4936 |     9792      0 |      755 |      656
6.49/6.50	c  6.2s |       8 |    34650 |     7436 |     9792      0 |      755 |      656
6.49/6.57	c  6.3s |       9 |    34785 |     7506 |    10772      0 |      755 |      656
8.58/8.67	c  8.4s |       9 |    37638 |     9106 |    10772      0 |      755 |      656
10.78/10.83	c 10.6s |       9 |    39010 |    10406 |    10772      0 |      755 |      656
12.48/12.51	c 12.2s |      10 |    40006 |    11361 |    11850      0 |      755 |      656
14.49/14.53	c 14.3s |      10 |    46233 |    13261 |    11850      0 |      755 |      656
16.48/16.55	c 16.3s |      10 |    51315 |    15261 |    11850      0 |      755 |      656
18.58/18.67	c 18.4s |      10 |    53277 |    16661 |    11850      1 |      755 |      656
19.28/19.33	c 19.1s |      11 |    54053 |    17144 |    13036      1 |      755 |      656
21.28/21.38	c 21.1s |      11 |    58719 |    19244 |    13036      1 |      755 |      656
23.39/23.47	c 23.2s |      11 |    62010 |    21144 |    13036      1 |      755 |      656
25.59/25.61	c 25.3s |      11 |    63829 |    22544 |    13036      1 |      755 |      656
27.58/27.68	c 27.4s |      11 |    65308 |    23744 |    13036      1 |      755 |      656
29.78/29.82	c 29.5s |      11 |    66660 |    24844 |    13036      2 |      755 |      656
31.38/31.44	c 31.2s |      12 |    67857 |    25819 |    14340      2 |      755 |      656
33.38/33.45	c 33.2s |      12 |    77195 |    27919 |    14340      2 |      755 |      656
35.49/35.53	c 35.3s |      12 |    78886 |    29419 |    14340      2 |      755 |      656
37.48/37.60	c 37.3s |      12 |    80215 |    30619 |    14340      2 |      755 |      656
39.58/39.63	c 39.4s |      12 |    87517 |    32619 |    14340      2 |      755 |      656
41.58/41.69	c 41.4s |      12 |    89419 |    33919 |    14340      3 |      755 |      656
43.78/43.86	c 43.6s |      12 |    91750 |    35419 |    14340      3 |      755 |      656
45.88/45.91	c 45.6s |      12 |    93538 |    36719 |    14340      3 |      755 |      656
47.98/48.02	c 47.7s |      12 |    94969 |    37819 |    14340      3 |      755 |      656
49.98/50.02	c 49.7s |      13 |    96226 |    38832 |    15775      3 |      755 |      656
52.08/52.12	c 51.8s |      13 |   100416 |    40732 |    15775      3 |      755 |      656
54.19/54.28	c 54.0s |      13 |   101888 |    41932 |    15775      3 |      755 |      656
56.29/56.32	c 56.0s |      13 |   103354 |    43032 |    15775      3 |      755 |      656
58.38/58.48	c 58.2s |      13 |   105090 |    44232 |    15775      4 |      755 |      656
60.58/60.68	c 60.4s |      13 |   106463 |    45332 |    15775      4 |      755 |      656
62.78/62.85	c 62.6s |      13 |   107596 |    46232 |    15775      4 |      755 |      656
64.98/65.00	c 64.7s |      13 |   108549 |    47032 |    15775      4 |      755 |      656
66.98/67.01	c 66.7s |      13 |   109688 |    47932 |    15775      4 |      755 |      656
68.98/69.04	c 68.8s |      13 |   110397 |    48532 |    15775      4 |      755 |      656
71.08/71.15	c 70.9s |      13 |   111090 |    49132 |    15775      4 |      755 |      656
73.28/73.37	c 73.1s |      13 |   112047 |    49932 |    15775      4 |      755 |      656
75.38/75.48	c 75.2s |      13 |   112828 |    50632 |    15775      4 |      755 |      656
77.68/77.76	c 77.5s |      13 |   113764 |    51432 |    15775      4 |      755 |      656
79.78/79.86	c 79.6s |      13 |   114690 |    52232 |    15775      4 |      755 |      656
81.78/81.86	c 81.6s |      13 |   115366 |    52832 |    15775      4 |      755 |      656
83.98/84.00	c 83.7s |      13 |   116068 |    53432 |    15775      5 |      755 |      656
86.08/86.17	c 85.9s |      13 |   117106 |    54332 |    15775      5 |      755 |      656
88.28/88.35	c 88.1s |      13 |   118033 |    55132 |    15775      5 |      755 |      656
90.58/90.63	c 90.4s |      13 |   118968 |    55932 |    15775      5 |      755 |      656
92.68/92.72	c 92.4s |      13 |   119670 |    56532 |    15775      5 |      755 |      656
94.78/94.88	c 94.6s |      13 |   120258 |    57032 |    15775      5 |      755 |      656
97.17/97.20	c 96.9s |      13 |   120734 |    57432 |    15775      5 |      755 |      656
99.18/99.29	c 99.0s |      13 |   121298 |    57932 |    15775      5 |      755 |      656
101.07/101.15	c  100s |      14 |   121769 |    58352 |    17353      5 |      755 |      656
103.07/103.17	c  102s |      14 |   130250 |    60652 |    17353      5 |      755 |      656
105.17/105.20	c  104s |      14 |   134977 |    62752 |    17353      5 |      755 |      656
107.17/107.26	c  106s |      14 |   137398 |    64152 |    17353      5 |      755 |      656
109.27/109.35	c  109s |      14 |   139495 |    65452 |    17353      6 |      755 |      656
111.28/111.37	c  111s |      14 |   141463 |    66852 |    17353      6 |      755 |      656
113.27/113.37	c  113s |      14 |   142959 |    67952 |    17353      6 |      755 |      656
115.37/115.42	c  115s |      14 |   144198 |    68852 |    17353      6 |      755 |      656
117.47/117.56	c  117s |      14 |   145559 |    69952 |    17353      6 |      755 |      656
119.57/119.66	c  119s |      14 |   146805 |    70952 |    17353      6 |      755 |      656
121.57/121.68	c  121s |      14 |   147950 |    71852 |    17353      6 |      755 |      656
123.67/123.76	c  123s |      14 |   150198 |    73152 |    17353      6 |      755 |      656
125.77/125.82	c  125s |      14 |   151350 |    74052 |    17353      6 |      755 |      656
127.77/127.84	c  127s |      14 |   152402 |    74752 |    17353      7 |      755 |      656
129.87/129.90	c  129s |      14 |   153794 |    75752 |    17353      7 |      755 |      656
131.96/132.01	c  131s |      14 |   154919 |    76652 |    17353      7 |      755 |      656
134.06/134.12	c  133s |      14 |   156023 |    77552 |    17353      7 |      755 |      656
136.26/136.33	c  136s |      14 |   157166 |    78452 |    17353      7 |      755 |      656
138.36/138.48	c  138s |      14 |   158304 |    79352 |    17353      7 |      755 |      656
140.36/140.49	c  140s |      14 |   159445 |    80252 |    17353      7 |      755 |      656
142.46/142.52	c  142s |      14 |   160396 |    81052 |    17353      7 |      755 |      656
144.56/144.69	c  144s |      14 |   161373 |    81852 |    17353      7 |      755 |      656
146.76/146.83	c  146s |      14 |   162216 |    82552 |    17353      7 |      755 |      656
148.97/149.05	c  148s |      14 |   163048 |    83252 |    17353      7 |      755 |      656
151.27/151.30	c  151s |      14 |   163851 |    83952 |    17353      7 |      755 |      656
153.77/153.89	c  153s |      14 |   164804 |    84752 |    17353      8 |      755 |      656
155.97/156.00	c  155s |      14 |   165712 |    85552 |    17353      8 |      755 |      656
158.27/158.30	c  158s |      14 |   166631 |    86352 |    17353      8 |      755 |      656
160.47/160.50	c  160s |      14 |   168063 |    87252 |    19089      8 |      755 |      656
161.37/161.41	c  161s |      15 |   168604 |    87632 |    19089      8 |      755 |      656
163.37/163.44	c  163s |      15 |   179980 |    90032 |    19089      8 |      755 |      656
165.36/165.49	c  165s |      15 |   182206 |    91732 |    19089      8 |      755 |      656
167.37/167.50	c  167s |      15 |   184491 |    93532 |    19089      8 |      755 |      656
169.57/169.63	c  169s |      15 |   186938 |    95332 |    19089      8 |      755 |      656
171.56/171.65	c  171s |      15 |   188549 |    96532 |    19089      9 |      755 |      656
173.66/173.77	c  173s |      15 |   189942 |    97732 |    19089      9 |      755 |      656
175.76/175.81	c  175s |      15 |   191467 |    98932 |    19089      9 |      755 |      656
177.96/178.00	c  177s |      15 |   192733 |   100032 |    19089      9 |      755 |      656
180.06/180.11	c  179s |      15 |   194064 |   101132 |    19089      9 |      755 |      656
182.06/182.16	c  181s |      15 |   195850 |   102532 |    19089      9 |      755 |      656
184.26/184.32	c  184s |      15 |   197288 |   103932 |    19089      9 |      755 |      656
186.26/186.37	c  186s |      15 |   198523 |   105132 |    19089      9 |      755 |      656
188.46/188.54	c  188s |      15 |   199769 |   106332 |    19089      9 |      755 |      656
190.57/190.63	c  190s |      15 |   200910 |   107432 |    19089      9 |      755 |      656
192.67/192.79	c  192s |      15 |   201963 |   108432 |    19089     10 |      755 |      656
194.87/195.00	c  194s |      15 |   202982 |   109432 |    19089     10 |      755 |      656
196.96/197.03	c  196s |      15 |   203911 |   110332 |    19089     10 |      755 |      656
199.06/199.13	c  198s |      15 |   204827 |   111232 |    19089     10 |      755 |      656
201.06/201.14	c  200s |      15 |   205657 |   112032 |    19089     10 |      755 |      656
203.16/203.21	c  202s |      15 |   206479 |   112832 |    19089     10 |      755 |      656
205.16/205.23	c  204s |      15 |   207188 |   113532 |    19089     10 |      755 |      656
207.26/207.30	c  207s |      15 |   207912 |   114232 |    19089     10 |      755 |      656
209.36/209.40	c  209s |      15 |   208616 |   114932 |    19089     10 |      755 |      656
211.46/211.56	c  211s |      15 |   209331 |   115632 |    19089     10 |      755 |      656
213.66/213.79	c  213s |      15 |   210041 |   116332 |    19089     10 |      755 |      656
215.76/215.84	c  215s |      15 |   215630 |   118432 |    19089     10 |      755 |      656
217.85/217.92	c  217s |      15 |   218135 |   119932 |    19089     11 |      755 |      656
219.95/220.01	c  219s |      15 |   220548 |   121432 |    19089     11 |      755 |      656
222.05/222.10	c  221s |      15 |   223072 |   123032 |    19089     11 |      755 |      656
224.15/224.21	c  223s |      15 |   225754 |   124532 |    19089     11 |      755 |      656
226.25/226.32	c  226s |      15 |   227709 |   125732 |    19089     11 |      755 |      656
228.25/228.39	c  228s |      15 |   229902 |   127032 |    19089     11 |      755 |      656
230.35/230.46	c  230s |      15 |   231279 |   128032 |    19089     11 |      755 |      656
232.36/232.48	c  232s |      15 |   232632 |   129032 |    19089     11 |      755 |      656
234.56/234.61	c  234s |      15 |   234024 |   130032 |    19089     11 |      755 |      656
236.66/236.75	c  236s |      15 |   234891 |   130732 |    20998     12 |      755 |      656
238.65/238.76	c  238s |      15 |   235852 |   131532 |    20998     12 |      755 |      656
238.75/238.81	c  238s |      16 |   235871 |   131552 |    20998     12 |      755 |      656
240.75/240.81	c  240s |      16 |   239884 |   132752 |    20998     12 |      755 |      656
242.85/242.90	c  242s |      16 |   241346 |   134052 |    20998     12 |      755 |      656
244.85/244.98	c  244s |      16 |   242642 |   135252 |    20998     12 |      755 |      656
247.05/247.13	c  246s |      16 |   243808 |   136352 |    20998     12 |      755 |      656
249.05/249.13	c  248s |      16 |   244943 |   137452 |    20998     12 |      755 |      656
251.06/251.18	c  250s |      16 |   245767 |   138252 |    20998     12 |      755 |      656
253.16/253.22	c  252s |      16 |   246620 |   139052 |    20998     12 |      755 |      656
255.15/255.25	c  254s |      16 |   247443 |   139852 |    20998     12 |      755 |      656
257.45/257.50	c  257s |      16 |   248309 |   140652 |    20998     12 |      755 |      656
259.55/259.64	c  259s |      16 |   249143 |   141452 |    20998     12 |      755 |      656
261.55/261.68	c  261s |      16 |   249857 |   142152 |    20998     12 |      755 |      656
263.85/263.91	c  263s |      16 |   250574 |   142852 |    20998     12 |      755 |      656
265.85/265.98	c  265s |      16 |   251213 |   143452 |    20998     13 |      755 |      656
267.95/268.07	c  267s |      16 |   252192 |   144352 |    20998     13 |      755 |      656
270.05/270.12	c  269s |      16 |   253049 |   145152 |    20998     13 |      755 |      656
272.05/272.17	c  271s |      16 |   253891 |   145952 |    20998     13 |      755 |      656
274.25/274.34	c  274s |      16 |   254734 |   146752 |    20998     13 |      755 |      656
276.25/276.35	c  276s |      16 |   255461 |   147452 |    20998     13 |      755 |      656
278.55/278.67	c  278s |      16 |   256299 |   148252 |    20998     13 |      755 |      656
280.75/280.85	c  280s |      16 |   257030 |   148952 |    20998     13 |      755 |      656
282.95/283.07	c  282s |      16 |   257753 |   149652 |    20998     13 |      755 |      656
285.15/285.22	c  284s |      16 |   258483 |   150352 |    20998     13 |      755 |      656
287.35/287.48	c  287s |      16 |   259206 |   151052 |    20998     13 |      755 |      656
289.45/289.57	c  289s |      16 |   259829 |   151652 |    20998     13 |      755 |      656
291.65/291.71	c  291s |      16 |   260451 |   152252 |    20998     13 |      755 |      656
293.64/293.73	c  293s |      16 |   261087 |   152852 |    20998     13 |      755 |      656
295.74/295.87	c  295s |      16 |   261810 |   153552 |    20998     13 |      755 |      656
297.84/297.98	c  297s |      16 |   262436 |   154152 |    20998     13 |      755 |      656
300.04/300.12	c  299s |      16 |   263054 |   154752 |    20998     13 |      755 |      656
302.24/302.32	c  302s |      16 |   263681 |   155352 |    20998     13 |      755 |      656
304.34/304.47	c  304s |      16 |   264306 |   155952 |    20998     14 |      755 |      656
306.34/306.48	c  306s |      16 |   265034 |   156652 |    20998     14 |      755 |      656
308.54/308.66	c  308s |      16 |   265772 |   157352 |    20998     14 |      755 |      656
310.74/310.82	c  310s |      16 |   266513 |   158052 |    20998     14 |      755 |      656
312.84/312.98	c  312s |      16 |   267263 |   158752 |    20998     14 |      755 |      656
315.24/315.32	c  315s |      16 |   268060 |   159452 |    20998     14 |      755 |      656
317.34/317.48	c  317s |      16 |   268768 |   160152 |    20998     14 |      755 |      656
319.74/319.81	c  319s |      16 |   269476 |   160852 |    20998     14 |      755 |      656
322.04/322.15	c  321s |      16 |   270189 |   161552 |    20998     14 |      755 |      656
324.24/324.37	c  324s |      16 |   270924 |   162252 |    20998     14 |      755 |      656
326.54/326.66	c  326s |      16 |   271666 |   162952 |    20998     14 |      755 |      656
328.74/328.82	c  328s |      16 |   272298 |   163552 |    20998     14 |      755 |      656
330.74/330.88	c  330s |      16 |   272810 |   164052 |    20998     14 |      755 |      656
332.84/332.93	c  332s |      16 |   273323 |   164552 |    20998     14 |      755 |      656
335.04/335.19	c  334s |      16 |   273838 |   165052 |    20998     14 |      755 |      656
337.23/337.30	c  337s |      16 |   274345 |   165552 |    20998     14 |      755 |      656
339.43/339.60	c  339s |      16 |   274858 |   166052 |    20998     14 |      755 |      656
341.73/341.87	c  341s |      16 |   275551 |   166652 |    20998     14 |      755 |      656
343.93/344.02	c  343s |      16 |   276186 |   167252 |    20998     14 |      755 |      656
346.03/346.18	c  345s |      16 |   276815 |   167852 |    20998     15 |      755 |      656
348.23/348.32	c  348s |      16 |   277816 |   168752 |    20998     15 |      755 |      656
350.33/350.45	c  350s |      16 |   278659 |   169552 |    20998     15 |      755 |      656
352.63/352.71	c  352s |      16 |   279484 |   170352 |    20998     15 |      755 |      656
354.63/354.78	c  354s |      16 |   280221 |   171052 |    20998     15 |      755 |      656
356.73/356.89	c  356s |      16 |   280965 |   171752 |    20998     15 |      755 |      656
358.93/359.03	c  358s |      16 |   281711 |   172452 |    20998     15 |      755 |      656
361.23/361.36	c  361s |      16 |   282454 |   173152 |    20998     15 |      755 |      656
363.33/363.41	c  363s |      16 |   283090 |   173752 |    20998     15 |      755 |      656
365.44/365.57	c  365s |      16 |   283716 |   174352 |    20998     15 |      755 |      656
367.73/367.85	c  367s |      16 |   284332 |   174952 |    20998     15 |      755 |      656
370.03/370.11	c  369s |      16 |   284956 |   175552 |    20998     15 |      755 |      656
372.33/372.42	c  372s |      16 |   285568 |   176152 |    20998     15 |      755 |      656
374.33/374.47	c  374s |      16 |   286105 |   176652 |    20998     15 |      755 |      656
376.44/376.52	c  376s |      16 |   286613 |   177152 |    20998     15 |      755 |      656
378.73/378.88	c  378s |      16 |   287233 |   177752 |    20998     15 |      755 |      656
380.84/380.95	c  380s |      16 |   287763 |   178252 |    20998     15 |      755 |      656
383.23/383.36	c  383s |      16 |   288384 |   178852 |    20998     15 |      755 |      656
385.63/385.79	c  385s |      16 |   288909 |   179352 |    20998     15 |      755 |      656
388.03/388.18	c  387s |      16 |   289436 |   179852 |    20998     16 |      755 |      656
390.23/390.34	c  390s |      16 |   290183 |   180552 |    20998     16 |      755 |      656
392.23/392.39	c  392s |      16 |   290802 |   181152 |    20998     16 |      755 |      656
394.33/394.48	c  394s |      16 |   291433 |   181752 |    20998     16 |      755 |      656
396.42/396.52	c  396s |      16 |   292059 |   182352 |    20998     16 |      755 |      656
398.43/398.53	c  398s |      16 |   292708 |   182952 |    20998     16 |      755 |      656
400.63/400.79	c  400s |      16 |   293420 |   183652 |    20998     16 |      755 |      656
402.83/402.91	c  402s |      16 |   294135 |   184352 |    20998     16 |      755 |      656
404.82/404.93	c  404s |      16 |   294889 |   185052 |    20998     16 |      755 |      656
407.02/407.10	c  406s |      16 |   295638 |   185752 |    20998     16 |      755 |      656
409.22/409.30	c  409s |      16 |   296361 |   186452 |    20998     16 |      755 |      656
411.32/411.43	c  411s |      16 |   296978 |   187052 |    20998     16 |      755 |      656
413.52/413.61	c  413s |      16 |   297713 |   187752 |    20998     16 |      755 |      656
415.62/415.74	c  415s |      16 |   298357 |   188352 |    20998     16 |      755 |      656
417.82/417.95	c  417s |      16 |   299022 |   188952 |    20998     16 |      755 |      656
419.82/419.99	c  419s |      16 |   299546 |   189452 |    20998     16 |      755 |      656
421.92/422.02	c  421s |      16 |   300076 |   189952 |    20998     16 |      755 |      656
424.22/424.30	c  424s |      16 |   300599 |   190452 |    20998     16 |      755 |      656
426.42/426.57	c  426s |      16 |   301103 |   190952 |    20998     16 |      755 |      656
428.72/428.88	c  428s |      16 |   301628 |   191452 |    20998     16 |      755 |      656
431.12/431.26	c  430s |      16 |   302154 |   191952 |    20998     16 |      755 |      656
433.12/433.27	c  432s |      16 |   302583 |   192352 |    20998     17 |      755 |      656
435.22/435.36	c  435s |      16 |   303221 |   192952 |    20998     17 |      755 |      656
437.53/437.61	c  437s |      16 |   303856 |   193552 |    20998     17 |      755 |      656
439.63/439.72	c  439s |      16 |   304478 |   194152 |    20998     17 |      755 |      656
441.62/441.77	c  441s |      16 |   305104 |   194752 |    20998     17 |      755 |      656
443.92/444.07	c  443s |      16 |   305726 |   195352 |    20998     17 |      755 |      656
446.22/446.35	c  446s |      16 |   306345 |   195952 |    20998     17 |      755 |      656
448.32/448.42	c  448s |      16 |   306859 |   196452 |    23098     17 |      755 |      656
450.52/450.63	c  450s |      16 |   307377 |   196952 |    23098     17 |      755 |      656
452.12/452.22	c  451s |      17 |   307860 |   197432 |    23098     17 |      755 |      656
454.12/454.27	c  453s |      17 |   314390 |   199332 |    23098     17 |      755 |      656
456.32/456.47	c  456s |      17 |   315532 |   200432 |    23098     17 |      755 |      656
458.42/458.53	c  458s |      17 |   316475 |   201332 |    23098     17 |      755 |      656
460.62/460.73	c  460s |      17 |   317404 |   202232 |    23098     17 |      755 |      656
462.72/462.85	c  462s |      17 |   318306 |   203032 |    23098     17 |      755 |      656
464.72/464.88	c  464s |      17 |   319046 |   203732 |    23098     17 |      755 |      656
466.72/466.88	c  466s |      17 |   319685 |   204332 |    23098     17 |      755 |      656
468.83/468.98	c  468s |      17 |   320415 |   205032 |    23098     17 |      755 |      656
471.12/471.23	c  470s |      17 |   321180 |   205732 |    23098     17 |      755 |      656
473.42/473.55	c  473s |      17 |   321891 |   206232 |    23098     18 |      755 |      656
475.52/475.61	c  475s |      17 |   323773 |   207232 |    23098     18 |      755 |      656
477.52/477.63	c  477s |      17 |   325397 |   208332 |    23098     18 |      755 |      656
479.52/479.68	c  479s |      17 |   329279 |   209832 |    23098     18 |      755 |      656
481.72/481.84	c  481s |      17 |   330156 |   210632 |    23098     18 |      755 |      656
483.92/484.00	c  483s |      17 |   330876 |   211332 |    23098     18 |      755 |      656
486.02/486.17	c  485s |      17 |   331780 |   212132 |    23098     18 |      755 |      656
488.21/488.32	c  488s |      17 |   332555 |   212832 |    23098     18 |      755 |      656
490.21/490.34	c  490s |      17 |   333492 |   213632 |    23098     18 |      755 |      656
492.31/492.46	c  492s |      17 |   334528 |   214532 |    23098     18 |      755 |      656
494.31/494.48	c  494s |      17 |   335313 |   215232 |    23098     18 |      755 |      656
496.41/496.54	c  496s |      17 |   336737 |   216232 |    23098     18 |      755 |      656
498.52/498.69	c  498s |      17 |   337842 |   217232 |    23098     18 |      755 |      656
500.72/500.89	c  500s |      17 |   338715 |   218032 |    23098     18 |      755 |      656
502.82/502.94	c  502s |      17 |   339493 |   218732 |    23098     18 |      755 |      656
504.91/505.07	c  504s |      17 |   340256 |   219432 |    23098     18 |      755 |      656
507.01/507.14	c  506s |      17 |   340913 |   220032 |    23098     19 |      755 |      656
509.11/509.23	c  508s |      17 |   343028 |   221232 |    23098     19 |      755 |      656
511.21/511.35	c  511s |      17 |   344575 |   222432 |    23098     19 |      755 |      656
513.41/513.50	c  513s |      17 |   345637 |   223432 |    23098     19 |      755 |      656
515.51/515.69	c  515s |      17 |   346478 |   224232 |    23098     19 |      755 |      656
517.71/517.83	c  517s |      17 |   349482 |   225732 |    23098     19 |      755 |      656
519.81/519.92	c  519s |      17 |   352555 |   227232 |    23098     19 |      755 |      656
521.91/522.09	c  521s |      17 |   354298 |   228532 |    23098     19 |      755 |      656
524.11/524.21	c  523s |      17 |   355680 |   229532 |    23098     19 |      755 |      656
526.31/526.49	c  526s |      17 |   356590 |   230332 |    23098     19 |      755 |      656
528.81/528.91	c  528s |      17 |   357673 |   231132 |    23098     19 |      755 |      656
531.11/531.26	c  530s |      17 |   359195 |   232132 |    23098     19 |      755 |      656
533.21/533.32	c  533s |      17 |   359756 |   232632 |    23098     19 |      755 |      656
535.31/535.40	c  535s |      17 |   360459 |   233132 |    23098     20 |      755 |      656
537.31/537.45	c  537s |      17 |   361537 |   234032 |    23098     20 |      755 |      656
539.51/539.68	c  539s |      17 |   362438 |   234832 |    23098     20 |      755 |      656
541.80/541.97	c  541s |      17 |   363310 |   235632 |    23098     20 |      755 |      656
543.90/544.09	c  543s |      17 |   364329 |   236532 |    23098     20 |      755 |      656
546.10/546.20	c  545s |      17 |   365201 |   237332 |    23098     20 |      755 |      656
548.20/548.33	c  548s |      17 |   365935 |   238032 |    23098     20 |      755 |      656
550.21/550.36	c  550s |      17 |   366573 |   238632 |    23098     20 |      755 |      656
552.50/552.62	c  552s |      17 |   367294 |   239332 |    23098     20 |      755 |      656
554.70/554.80	c  554s |      17 |   368038 |   240032 |    23098     20 |      755 |      656
556.71/556.86	c  556s |      17 |   368661 |   240632 |    23098     20 |      755 |      656
558.91/559.08	c  558s |      17 |   369277 |   241232 |    23098     20 |      755 |      656
561.00/561.19	c  560s |      17 |   370078 |   241832 |    23098     20 |      755 |      656
563.50/563.62	c  563s |      17 |   370567 |   242232 |    23098     20 |      755 |      656
565.51/565.62	c  565s |      17 |   371268 |   242832 |    23098     20 |      755 |      656
567.71/567.84	c  567s |      17 |   371923 |   243432 |    23098     20 |      755 |      656
569.70/569.85	c  569s |      17 |   372567 |   244032 |    23098     20 |      755 |      656
571.80/571.90	c  571s |      17 |   373406 |   244732 |    23098     20 |      755 |      656
573.90/574.02	c  573s |      17 |   374110 |   245332 |    23098     20 |      755 |      656
576.20/576.38	c  576s |      17 |   374749 |   245932 |    23098     20 |      755 |      656
578.40/578.59	c  578s |      17 |   375315 |   246432 |    23098     21 |      755 |      656
580.60/580.78	c  580s |      17 |   375935 |   247032 |    23098     21 |      755 |      656
582.70/582.86	c  582s |      17 |   376450 |   247532 |    23098     21 |      755 |      656
584.90/585.02	c  584s |      17 |   377073 |   248132 |    23098     21 |      755 |      656
586.89/587.05	c  586s |      17 |   377617 |   248632 |    23098     21 |      755 |      656
588.89/589.06	c  588s |      17 |   378147 |   249132 |    23098     21 |      755 |      656
591.29/591.47	c  591s |      17 |   378655 |   249632 |    23098     21 |      755 |      656
593.69/593.88	c  593s |      17 |   379178 |   250132 |    23098     21 |      755 |      656
595.89/596.09	c  595s |      17 |   379754 |   250632 |    23098     21 |      755 |      656
598.39/598.52	c  598s |      17 |   380392 |   251232 |    23098     21 |      755 |      656
600.39/600.53	c  600s |      17 |   380936 |   251732 |    23098     21 |      755 |      656
602.79/602.91	c  602s |      17 |   381590 |   252332 |    23098     21 |      755 |      656
604.89/605.09	c  604s |      17 |   382519 |   253132 |    23098     21 |      755 |      656
607.40/607.55	c  607s |      17 |   383041 |   253632 |    23098     21 |      755 |      656
609.60/609.73	c  609s |      17 |   383595 |   254132 |    23098     21 |      755 |      656
612.10/612.20	c  611s |      17 |   384142 |   254632 |    23098     21 |      755 |      656
614.10/614.27	c  613s |      17 |   384556 |   255032 |    23098     21 |      755 |      656
616.70/616.82	c  616s |      17 |   385115 |   255532 |    23098     21 |      755 |      656
618.70/618.85	c  618s |      17 |   385554 |   255932 |    23098     21 |      755 |      656
620.90/621.07	c  620s |      17 |   385987 |   256332 |    23098     21 |      755 |      656
623.30/623.47	c  623s |      17 |   386427 |   256732 |    23098     21 |      755 |      656
625.39/625.58	c  625s |      17 |   386852 |   257132 |    23098     21 |      755 |      656
627.49/627.63	c  627s |      17 |   387273 |   257532 |    23098     21 |      755 |      656
629.99/630.16	c  629s |      17 |   387696 |   257932 |    23098     21 |      755 |      656
632.39/632.53	c  632s |      17 |   388130 |   258332 |    23098     21 |      755 |      656
634.69/634.88	c  634s |      17 |   388551 |   258732 |    23098     21 |      755 |      656
637.10/637.27	c  636s |      17 |   388975 |   259132 |    23098     21 |      755 |      656
639.59/639.75	c  639s |      17 |   389297 |   259432 |    23098     22 |      755 |      656
642.09/642.20	c  641s |      17 |   389821 |   259932 |    23098     22 |      755 |      656
644.29/644.49	c  644s |      17 |   390346 |   260432 |    23098     22 |      755 |      656
646.69/646.81	c  646s |      17 |   390894 |   260932 |    23098     22 |      755 |      656
649.10/649.30	c  649s |      17 |   391415 |   261432 |    23098     22 |      755 |      656
651.59/651.72	c  651s |      17 |   391957 |   261932 |    23098     22 |      755 |      656
653.89/654.03	c  653s |      17 |   392482 |   262432 |    23098     22 |      755 |      656
656.19/656.36	c  656s |      17 |   393004 |   262932 |    23098     22 |      755 |      656
658.49/658.68	c  658s |      17 |   393422 |   263332 |    23098     22 |      755 |      656
660.59/660.76	c  660s |      17 |   393850 |   263732 |    23098     22 |      755 |      656
663.19/663.33	c  663s |      17 |   394374 |   264232 |    23098     22 |      755 |      656
665.29/665.44	c  665s |      17 |   394791 |   264632 |    23098     22 |      755 |      656
667.38/667.53	c  667s |      17 |   395205 |   265032 |    23098     22 |      755 |      656
669.68/669.80	c  669s |      17 |   395629 |   265432 |    23098     22 |      755 |      656
671.68/671.86	c  671s |      17 |   396042 |   265832 |    23098     22 |      755 |      656
673.88/674.07	c  673s |      17 |   396465 |   266232 |    23098     22 |      755 |      656
676.28/676.44	c  676s |      17 |   396875 |   266632 |    23098     22 |      755 |      656
678.98/679.16	c  678s |      17 |   397297 |   267032 |    23098     22 |      755 |      656
681.28/681.40	c  681s |      17 |   397715 |   267432 |    23098     22 |      755 |      656
683.58/683.74	c  683s |      17 |   398140 |   267832 |    23098     22 |      755 |      656
686.08/686.30	c  686s |      17 |   398550 |   268232 |    23098     22 |      755 |      656
688.28/688.42	c  688s |      17 |   398870 |   268532 |    23098     22 |      755 |      656
690.58/690.78	c  690s |      17 |   399176 |   268832 |    23098     22 |      755 |      656
692.88/693.04	c  692s |      17 |   399481 |   269132 |    23098     22 |      755 |      656
694.98/695.10	c  694s |      17 |   399791 |   269432 |    23098     22 |      755 |      656
697.28/697.41	c  697s |      17 |   400098 |   269732 |    23098     22 |      755 |      656
699.58/699.78	c  699s |      17 |   400416 |   270032 |    23098     22 |      755 |      656
702.38/702.54	c  702s |      17 |   400731 |   270332 |    23098     22 |      755 |      656
704.58/704.70	c  704s |      17 |   401692 |   270932 |    23098     22 |      755 |      656
706.88/707.04	c  706s |      17 |   402617 |   271632 |    23098     22 |      755 |      656
709.38/709.55	c  709s |      17 |   403288 |   272132 |    23098     23 |      755 |      656
711.38/711.59	c  711s |      17 |   404017 |   272732 |    23098     23 |      755 |      656
713.68/713.89	c  713s |      17 |   404852 |   273432 |    23098     23 |      755 |      656
715.78/715.91	c  715s |      17 |   406440 |   274532 |    23098     23 |      755 |      656
717.88/718.00	c  717s |      17 |   407151 |   275132 |    23098     23 |      755 |      656
720.08/720.20	c  719s |      17 |   409064 |   276332 |    23098     23 |      755 |      656
722.08/722.26	c  721s |      17 |   410117 |   277032 |    23098     23 |      755 |      656
724.18/724.36	c  724s |      17 |   410822 |   277632 |    23098     23 |      755 |      656
726.48/726.62	c  726s |      17 |   411515 |   278232 |    23098     23 |      755 |      656
728.58/728.74	c  728s |      17 |   412209 |   278832 |    23098     23 |      755 |      656
730.68/730.88	c  730s |      17 |   412846 |   279432 |    23098     23 |      755 |      656
732.88/733.06	c  732s |      17 |   413585 |   280132 |    23098     23 |      755 |      656
735.38/735.56	c  735s |      17 |   414269 |   280732 |    23098     23 |      755 |      656
737.58/737.75	c  737s |      17 |   414888 |   281232 |    23098     23 |      755 |      656
739.68/739.81	c  739s |      17 |   415519 |   281832 |    23098     23 |      755 |      656
741.98/742.10	c  741s |      17 |   416152 |   282432 |    23098     23 |      755 |      656
744.07/744.22	c  743s |      17 |   416824 |   283032 |    23098     23 |      755 |      656
746.07/746.26	c  745s |      17 |   417363 |   283532 |    23098     23 |      755 |      656
748.37/748.57	c  748s |      17 |   418036 |   284132 |    23098     23 |      755 |      656
750.67/750.86	c  750s |      17 |   418886 |   284832 |    23098     23 |      755 |      656
752.87/753.02	c  752s |      17 |   419550 |   285432 |    23098     23 |      755 |      656
754.97/755.20	c  754s |      17 |   420127 |   285932 |    23098     24 |      755 |      656
757.07/757.24	c  756s |      17 |   420895 |   286632 |    23098     24 |      755 |      656
759.18/759.31	c  759s |      17 |   421642 |   287232 |    23098     24 |      755 |      656
761.28/761.45	c  761s |      17 |   422484 |   287932 |    23098     24 |      755 |      656
763.48/763.64	c  763s |      17 |   423372 |   288732 |    23098     24 |      755 |      656
765.57/765.79	c  765s |      17 |   424141 |   289432 |    23098     24 |      755 |      656
767.88/768.09	c  767s |      17 |   424990 |   290132 |    23098     24 |      755 |      656
769.97/770.11	c  769s |      17 |   425726 |   290632 |    23098     24 |      755 |      656
772.17/772.31	c  772s |      17 |   426737 |   291432 |    23098     24 |      755 |      656
774.17/774.33	c  774s |      17 |   427536 |   292132 |    23098     24 |      755 |      656
776.27/776.46	c  776s |      17 |   428176 |   292732 |    23098     24 |      755 |      656
778.37/778.54	c  778s |      17 |   429016 |   293432 |    23098     24 |      755 |      656
780.56/780.72	c  780s |      17 |   429600 |   293932 |    23098     24 |      755 |      656
782.86/783.07	c  782s |      17 |   430035 |   294332 |    25408     24 |      755 |      656
785.16/785.31	c  785s |      17 |   430707 |   294932 |    25408     24 |      755 |      656
787.36/787.58	c  787s |      17 |   431267 |   295432 |    25408     24 |      755 |      656
789.46/789.66	c  789s |      17 |   431803 |   295932 |    25408     24 |      755 |      656
791.67/791.81	c  791s |      18 |   432142 |   296252 |    25408     24 |      755 |      656
793.67/793.83	c  793s |      18 |   443306 |   298052 |    25408     24 |      755 |      656
795.77/795.97	c  795s |      18 |   446874 |   299752 |    25408     24 |      755 |      656
797.77/797.98	c  797s |      18 |   449972 |   301152 |    25408     25 |      755 |      656
799.97/800.12	c  799s |      18 |   455926 |   303052 |    25408     25 |      755 |      656
802.08/802.28	c  802s |      18 |   457388 |   304152 |    25408     25 |      755 |      656
804.28/804.45	c  804s |      18 |   458511 |   305052 |    25408     25 |      755 |      656
806.27/806.47	c  806s |      18 |   459430 |   305852 |    25408     25 |      755 |      656
808.37/808.53	c  808s |      18 |   460648 |   306852 |    25408     25 |      755 |      656
810.37/810.57	c  810s |      18 |   461587 |   307652 |    25408     25 |      755 |      656
812.47/812.60	c  812s |      18 |   462396 |   308352 |    25408     25 |      755 |      656
814.67/814.87	c  814s |      18 |   463181 |   309052 |    25408     25 |      755 |      656
816.67/816.89	c  816s |      18 |   463872 |   309652 |    25408     25 |      755 |      656
818.97/819.10	c  818s |      18 |   464523 |   310252 |    25408     25 |      755 |      656
821.27/821.48	c  821s |      18 |   465198 |   310852 |    25408     25 |      755 |      656
823.47/823.62	c  823s |      18 |   465851 |   311452 |    25408     25 |      755 |      656
825.47/825.64	c  825s |      18 |   466393 |   311952 |    25408     25 |      755 |      656
827.47/827.70	c  827s |      18 |   466937 |   312452 |    25408     25 |      755 |      656
829.77/829.98	c  829s |      18 |   467603 |   313052 |    25408     25 |      755 |      656
831.87/832.02	c  831s |      18 |   468168 |   313552 |    25408     25 |      755 |      656
833.97/834.16	c  833s |      18 |   468951 |   314152 |    25408     25 |      755 |      656
836.07/836.23	c  835s |      18 |   470315 |   314852 |    25408     26 |      755 |      656
838.27/838.48	c  838s |      18 |   471403 |   315752 |    25408     26 |      755 |      656
840.36/840.50	c  840s |      18 |   472217 |   316452 |    25408     26 |      755 |      656
842.36/842.52	c  842s |      18 |   473026 |   317152 |    25408     26 |      755 |      656
844.36/844.57	c  844s |      18 |   473790 |   317852 |    25408     26 |      755 |      656
846.66/846.82	c  846s |      18 |   474607 |   318552 |    25408     26 |      755 |      656
848.76/848.93	c  848s |      18 |   475259 |   319152 |    25408     26 |      755 |      656
850.96/851.15	c  850s |      18 |   475907 |   319752 |    25408     26 |      755 |      656
853.16/853.31	c  853s |      18 |   477057 |   320552 |    25408     26 |      755 |      656
855.46/855.61	c  855s |      18 |   478029 |   321252 |    25408     26 |      755 |      656
857.46/857.66	c  857s |      18 |   479005 |   321952 |    25408     26 |      755 |      656
859.66/859.85	c  859s |      18 |   479706 |   322552 |    25408     26 |      755 |      656
861.86/862.00	c  861s |      18 |   480650 |   323252 |    25408     26 |      755 |      656
863.96/864.12	c  863s |      18 |   481528 |   323952 |    25408     26 |      755 |      656
865.96/866.16	c  865s |      18 |   482295 |   324552 |    25408     26 |      755 |      656
868.07/868.28	c  867s |      18 |   483008 |   325152 |    25408     26 |      755 |      656
870.16/870.39	c  870s |      18 |   483564 |   325652 |    25408     26 |      755 |      656
872.26/872.48	c  872s |      18 |   484124 |   326152 |    25408     26 |      755 |      656
874.26/874.48	c  874s |      18 |   484972 |   326752 |    25408     26 |      755 |      656
876.55/876.79	c  876s |      18 |   485904 |   327452 |    25408     26 |      755 |      656
878.85/879.03	c  878s |      18 |   486640 |   328052 |    25408     26 |      755 |      656
880.85/881.06	c  880s |      18 |   487232 |   328552 |    25408     26 |      755 |      656
883.05/883.24	c  882s |      18 |   487694 |   328952 |    25408     27 |      755 |      656
885.05/885.26	c  884s |      18 |   488478 |   329652 |    25408     27 |      755 |      656
887.25/887.48	c  887s |      18 |   489251 |   330352 |    25408     27 |      755 |      656
889.35/889.58	c  889s |      18 |   489907 |   330952 |    25408     27 |      755 |      656
891.75/891.90	c  891s |      18 |   490568 |   331552 |    25408     27 |      755 |      656
893.75/893.92	c  893s |      18 |   491458 |   332252 |    25408     27 |      755 |      656
896.05/896.21	c  895s |      18 |   492456 |   333052 |    25408     27 |      755 |      656
898.15/898.39	c  898s |      18 |   493295 |   333752 |    25408     27 |      755 |      656
900.25/900.49	c  900s |      18 |   493994 |   334352 |    25408     27 |      755 |      656
902.55/902.72	c  902s |      18 |   494855 |   335052 |    25408     27 |      755 |      656
904.85/905.09	c  904s |      18 |   495541 |   335652 |    25408     27 |      755 |      656
907.15/907.36	c  907s |      18 |   496217 |   336252 |    25408     27 |      755 |      656
909.55/909.72	c  909s |      18 |   496907 |   336852 |    25408     27 |      755 |      656
911.85/912.02	c  911s |      18 |   497560 |   337452 |    25408     27 |      755 |      656
914.16/914.39	c  914s |      18 |   498212 |   338052 |    25408     27 |      755 |      656
916.25/916.50	c  916s |      18 |   498978 |   338652 |    25408     27 |      755 |      656
918.35/918.50	c  918s |      18 |   499670 |   339252 |    25408     27 |      755 |      656
920.35/920.55	c  920s |      18 |   500391 |   339852 |    25408     27 |      755 |      656
922.65/922.82	c  922s |      18 |   501130 |   340452 |    25408     27 |      755 |      656
924.65/924.87	c  924s |      18 |   501718 |   340952 |    25408     27 |      755 |      656
926.95/927.14	c  926s |      18 |   502267 |   341452 |    25408     27 |      755 |      656
929.14/929.36	c  929s |      18 |   502832 |   341952 |    25408     27 |      755 |      656
931.24/931.48	c  931s |      18 |   503383 |   342452 |    25408     27 |      755 |      656
933.44/933.61	c  933s |      18 |   503936 |   342952 |    25408     27 |      755 |      656
935.54/935.77	c  935s |      18 |   504515 |   343452 |    25408     28 |      755 |      656
937.74/937.99	c  937s |      18 |   505302 |   344152 |    25408     28 |      755 |      656
939.94/940.18	c  939s |      18 |   506112 |   344852 |    25408     28 |      755 |      656
942.04/942.26	c  941s |      18 |   506920 |   345552 |    25408     28 |      755 |      656
944.14/944.32	c  944s |      18 |   507583 |   346152 |    25408     28 |      755 |      656
946.15/946.39	c  946s |      18 |   508256 |   346752 |    25408     28 |      755 |      656
948.35/948.53	c  948s |      18 |   508936 |   347352 |    25408     28 |      755 |      656
950.55/950.72	c  950s |      18 |   509594 |   347952 |    25408     28 |      755 |      656
952.84/953.08	c  952s |      18 |   510250 |   348552 |    25408     28 |      755 |      656
954.85/955.10	c  954s |      18 |   510999 |   349152 |    25408     28 |      755 |      656
957.05/957.22	c  956s |      18 |   511853 |   349852 |    25408     28 |      755 |      656
959.25/959.44	c  959s |      18 |   512548 |   350452 |    25408     28 |      755 |      656
961.34/961.52	c  961s |      18 |   513248 |   351052 |    25408     28 |      755 |      656
963.44/963.64	c  963s |      18 |   514117 |   351752 |    25408     28 |      755 |      656
965.74/965.97	c  965s |      18 |   514936 |   352452 |    25408     28 |      755 |      656
967.94/968.10	c  967s |      18 |   515586 |   353052 |    25408     28 |      755 |      656
969.94/970.14	c  969s |      18 |   516267 |   353652 |    25408     28 |      755 |      656
971.94/972.16	c  971s |      18 |   516832 |   354152 |    25408     28 |      755 |      656
974.43/974.61	c  974s |      18 |   517491 |   354752 |    25408     28 |      755 |      656
976.43/976.65	c  976s |      18 |   518063 |   355252 |    25408     28 |      755 |      656
978.43/978.68	c  978s |      18 |   518623 |   355752 |    25408     28 |      755 |      656
980.53/980.73	c  980s |      18 |   519171 |   356252 |    25408     28 |      755 |      656
982.63/982.85	c  982s |      18 |   519732 |   356752 |    25408     28 |      755 |      656
984.83/985.04	c  984s |      18 |   520296 |   357252 |    25408     28 |      755 |      656
986.93/987.17	c  986s |      18 |   520764 |   357652 |    25408     29 |      755 |      656
989.23/989.46	c  989s |      18 |   521610 |   358352 |    25408     29 |      755 |      656
991.24/991.48	c  991s |      18 |   522293 |   358952 |    25408     29 |      755 |      656
993.34/993.52	c  993s |      18 |   522965 |   359552 |    25408     29 |      755 |      656
995.43/995.67	c  995s |      18 |   523529 |   360052 |    25408     29 |      755 |      656
997.74/997.97	c  997s |      18 |   524582 |   360752 |    25408     29 |      755 |      656
999.84/1000.08	c  999s |      18 |   525336 |   361352 |    25408     29 |      755 |      656
1002.04/1002.24	c 1001s |      18 |   526043 |   361952 |    25408     29 |      755 |      656
1004.24/1004.41	c 1004s |      18 |   526757 |   362552 |    25408     29 |      755 |      656
1006.44/1006.60	c 1006s |      18 |   527411 |   363152 |    25408     29 |      755 |      656
1008.64/1008.82	c 1008s |      18 |   528159 |   363752 |    25408     29 |      755 |      656
1010.74/1010.99	c 1010s |      18 |   528934 |   364352 |    25408     29 |      755 |      656
1013.04/1013.22	c 1012s |      18 |   529618 |   364952 |    25408     29 |      755 |      656
1015.34/1015.54	c 1015s |      18 |   530305 |   365552 |    25408     29 |      755 |      656
1017.33/1017.57	c 1017s |      18 |   530844 |   366052 |    25408     29 |      755 |      656
1019.63/1019.81	c 1019s |      18 |   531405 |   366552 |    25408     29 |      755 |      656
1021.83/1022.10	c 1021s |      18 |   531960 |   367052 |    25408     29 |      755 |      656
1023.93/1024.13	c 1023s |      18 |   532395 |   367452 |    25408     29 |      755 |      656
1026.13/1026.34	c 1026s |      18 |   532928 |   367952 |    25408     29 |      755 |      656
1028.23/1028.47	c 1028s |      18 |   533502 |   368452 |    25408     29 |      755 |      656
1030.43/1030.62	c 1030s |      18 |   534060 |   368952 |    25408     29 |      755 |      656
1032.73/1032.98	c 1032s |      18 |   534646 |   369452 |    25408     29 |      755 |      656
1035.03/1035.26	c 1034s |      18 |   535211 |   369952 |    25408     29 |      755 |      656
1037.44/1037.64	c 1037s |      18 |   535833 |   370452 |    25408     29 |      755 |      656
1039.53/1039.77	c 1039s |      18 |   536284 |   370852 |    25408     29 |      755 |      656
1041.83/1042.02	c 1041s |      18 |   536841 |   371352 |    25408     29 |      755 |      656
1043.93/1044.15	c 1043s |      18 |   537294 |   371752 |    25408     30 |      755 |      656
1045.93/1046.16	c 1045s |      18 |   537948 |   372352 |    25408     30 |      755 |      656
1048.33/1048.56	c 1048s |      18 |   538611 |   372952 |    25408     30 |      755 |      656
1050.53/1050.80	c 1050s |      18 |   539144 |   373452 |    25408     30 |      755 |      656
1052.73/1052.93	c 1052s |      18 |   539944 |   374152 |    25408     30 |      755 |      656
1055.03/1055.29	c 1055s |      18 |   540610 |   374752 |    25408     30 |      755 |      656
1057.23/1057.41	c 1057s |      18 |   541153 |   375252 |    25408     30 |      755 |      656
1059.52/1059.73	c 1059s |      18 |   541794 |   375852 |    25408     30 |      755 |      656
1061.63/1061.88	c 1061s |      18 |   542477 |   376452 |    25408     30 |      755 |      656
1063.62/1063.90	c 1063s |      18 |   543022 |   376952 |    25408     30 |      755 |      656
1065.93/1066.18	c 1065s |      18 |   543685 |   377552 |    25408     30 |      755 |      656
1068.23/1068.47	c 1068s |      18 |   544500 |   378252 |    25408     30 |      755 |      656
1070.43/1070.68	c 1070s |      18 |   545179 |   378852 |    25408     30 |      755 |      656
1072.72/1072.96	c 1072s |      18 |   546071 |   379552 |    25408     30 |      755 |      656
1074.92/1075.11	c 1074s |      18 |   546757 |   380152 |    25408     30 |      755 |      656
1077.12/1077.35	c 1077s |      18 |   547611 |   380852 |    25408     30 |      755 |      656
1079.32/1079.56	c 1079s |      18 |   548439 |   381552 |    25408     30 |      755 |      656
1081.62/1081.84	c 1081s |      18 |   549005 |   382052 |    25408     30 |      755 |      656
1084.02/1084.24	c 1083s |      18 |   549587 |   382552 |    25408     30 |      755 |      656
1086.31/1086.57	c 1086s |      18 |   550271 |   383152 |    25408     30 |      755 |      656
1088.51/1088.71	c 1088s |      18 |   550808 |   383652 |    25408     30 |      755 |      656
1090.91/1091.10	c 1090s |      18 |   551360 |   384152 |    25408     30 |      755 |      656
1093.21/1093.46	c 1093s |      18 |   551893 |   384652 |    25408     30 |      755 |      656
1095.72/1095.93	c 1095s |      18 |   552435 |   385152 |    25408     30 |      755 |      656
1098.41/1098.64	c 1098s |      18 |   552865 |   385552 |    25408     31 |      755 |      656
1100.61/1100.86	c 1100s |      18 |   553392 |   386052 |    25408     31 |      755 |      656
1102.81/1103.07	c 1102s |      18 |   554015 |   386652 |    25408     31 |      755 |      656
1104.91/1105.16	c 1104s |      18 |   554553 |   387152 |    25408     31 |      755 |      656
1107.11/1107.33	c 1107s |      18 |   555230 |   387752 |    25408     31 |      755 |      656
1109.21/1109.47	c 1109s |      18 |   555778 |   388252 |    25408     31 |      755 |      656
1111.41/1111.61	c 1111s |      18 |   556298 |   388752 |    25408     31 |      755 |      656
1113.71/1113.91	c 1113s |      18 |   556924 |   389352 |    25408     31 |      755 |      656
1115.91/1116.17	c 1115s |      18 |   557567 |   389952 |    25408     31 |      755 |      656
1118.41/1118.62	c 1118s |      18 |   558102 |   390452 |    25408     31 |      755 |      656
1120.71/1120.95	c 1120s |      18 |   558644 |   390952 |    25408     31 |      755 |      656
1122.91/1123.11	c 1122s |      18 |   559176 |   391452 |    25408     31 |      755 |      656
1125.01/1125.22	c 1124s |      18 |   559719 |   391952 |    25408     31 |      755 |      656
1127.21/1127.42	c 1127s |      18 |   560264 |   392452 |    25408     31 |      755 |      656
1129.41/1129.69	c 1129s |      18 |   560792 |   392952 |    25408     31 |      755 |      656
1131.91/1132.11	c 1131s |      18 |   561322 |   393452 |    25408     31 |      755 |      656
1134.21/1134.45	c 1134s |      18 |   561853 |   393952 |    25408     31 |      755 |      656
1136.31/1136.52	c 1136s |      18 |   562268 |   394352 |    25408     31 |      755 |      656
1138.61/1138.88	c 1138s |      18 |   562804 |   394852 |    25408     31 |      755 |      656
1141.20/1141.41	c 1141s |      18 |   563336 |   395352 |    25408     31 |      755 |      656
1143.20/1143.47	c 1143s |      18 |   563773 |   395752 |    25408     31 |      755 |      656
1145.30/1145.54	c 1145s |      18 |   564208 |   396152 |    25408     31 |      755 |      656
1147.60/1147.84	c 1147s |      18 |   564631 |   396552 |    25408     31 |      755 |      656
1150.00/1150.23	c 1149s |      18 |   565046 |   396952 |    25408     31 |      755 |      656
1152.19/1152.40	c 1152s |      18 |   565488 |   397352 |    25408     31 |      755 |      656
1154.49/1154.72	c 1154s |      18 |   565896 |   397752 |    25408     31 |      755 |      656
1156.59/1156.82	c 1156s |      18 |   566306 |   398152 |    25408     31 |      755 |      656
1158.90/1159.16	c 1158s |      18 |   566859 |   398652 |    25408     31 |      755 |      656
1161.30/1161.54	c 1161s |      18 |   567287 |   399052 |    25408     31 |      755 |      656
1163.40/1163.67	c 1163s |      18 |   567713 |   399452 |    25408     31 |      755 |      656
1165.60/1165.81	c 1165s |      18 |   568034 |   399752 |    25408     32 |      755 |      656
1167.70/1167.93	c 1167s |      18 |   568556 |   400252 |    25408     32 |      755 |      656
1170.10/1170.34	c 1170s |      18 |   569206 |   400852 |    25408     32 |      755 |      656
1172.60/1172.82	c 1172s |      18 |   569855 |   401352 |    25408     32 |      755 |      656
1174.80/1175.01	c 1174s |      18 |   570881 |   402152 |    25408     32 |      755 |      656
1177.10/1177.37	c 1177s |      18 |   571705 |   402852 |    25408     32 |      755 |      656
1179.39/1179.64	c 1179s |      18 |   572532 |   403552 |    25408     32 |      755 |      656
1181.40/1181.65	c 1181s |      18 |   573216 |   404152 |    25408     32 |      755 |      656
1183.60/1183.88	c 1183s |      18 |   573991 |   404852 |    25408     32 |      755 |      656
1185.99/1186.24	c 1185s |      18 |   574774 |   405552 |    25408     32 |      755 |      656
1188.10/1188.36	c 1188s |      18 |   575434 |   406152 |    25408     32 |      755 |      656
1190.39/1190.64	c 1190s |      18 |   576119 |   406752 |    25408     32 |      755 |      656
1192.59/1192.89	c 1192s |      18 |   576802 |   407352 |    25408     32 |      755 |      656
1194.89/1195.13	c 1194s |      18 |   577495 |   407952 |    25408     32 |      755 |      656
1197.09/1197.37	c 1197s |      18 |   578163 |   408552 |    25408     32 |      755 |      656
1199.19/1199.41	c 1199s |      18 |   578740 |   409052 |    25408     32 |      755 |      656
1201.49/1201.70	c 1201s |      18 |   579306 |   409552 |    25408     32 |      755 |      656
1203.59/1203.87	c 1203s |      18 |   579860 |   410052 |    25408     32 |      755 |      656
1205.89/1206.12	c 1205s |      18 |   580387 |   410552 |    25408     32 |      755 |      656
1207.90/1208.17	c 1207s |      18 |   580926 |   411052 |    25408     32 |      755 |      656
1210.19/1210.44	c 1210s |      18 |   581492 |   411552 |    25408     32 |      755 |      656
1212.39/1212.66	c 1212s |      18 |   582037 |   412052 |    25408     32 |      755 |      656
1214.40/1214.66	c 1214s |      18 |   582488 |   412452 |    25408     32 |      755 |      656
1216.79/1217.02	c 1216s |      18 |   583044 |   412952 |    25408     32 |      755 |      656
1218.89/1219.18	c 1218s |      18 |   583608 |   413452 |    25408     32 |      755 |      656
1221.19/1221.44	c 1221s |      18 |   584146 |   413952 |    25408     32 |      755 |      656
1223.39/1223.60	c 1223s |      18 |   584587 |   414352 |    25408     33 |      755 |      656
1225.39/1225.70	c 1225s |      18 |   585248 |   414952 |    25408     33 |      755 |      656
1227.78/1228.00	c 1227s |      18 |   585892 |   415552 |    25408     33 |      755 |      656
1229.98/1230.24	c 1229s |      18 |   586536 |   416152 |    25408     33 |      755 |      656
1232.28/1232.52	c 1232s |      18 |   587206 |   416752 |    25408     33 |      755 |      656
1234.48/1234.73	c 1234s |      18 |   587758 |   417252 |    25408     33 |      755 |      656
1236.68/1236.97	c 1236s |      18 |   588315 |   417752 |    25408     33 |      755 |      656
1238.68/1238.98	c 1238s |      18 |   588847 |   418252 |    25408     33 |      755 |      656
1240.97/1241.28	c 1240s |      18 |   589379 |   418752 |    25408     33 |      755 |      656
1243.27/1243.56	c 1243s |      18 |   589957 |   419252 |    25408     33 |      755 |      656
1245.57/1245.87	c 1245s |      18 |   590652 |   419852 |    25408     33 |      755 |      656
1247.77/1248.02	c 1247s |      18 |   591310 |   420452 |    25408     33 |      755 |      656
1250.07/1250.36	c 1250s |      18 |   591987 |   421052 |    25408     33 |      755 |      656
1252.47/1252.72	c 1252s |      18 |   592641 |   421652 |    25408     33 |      755 |      656
1254.47/1254.76	c 1254s |      18 |   593186 |   422152 |    25408     33 |      755 |      656
1256.97/1257.28	c 1257s |      18 |   593725 |   422652 |    25408     33 |      755 |      656
1259.17/1259.48	c 1259s |      18 |   594263 |   423152 |    25408     33 |      755 |      656
1261.16/1261.48	c 1261s |      18 |   594693 |   423552 |    25408     33 |      755 |      656
1263.26/1263.51	c 1263s |      18 |   595118 |   423952 |    25408     33 |      755 |      656
1265.66/1265.90	c 1265s |      18 |   595668 |   424452 |    25408     33 |      755 |      656
1267.76/1268.04	c 1267s |      18 |   596218 |   424952 |    25408     33 |      755 |      656
1269.96/1270.26	c 1269s |      18 |   596755 |   425452 |    25408     33 |      755 |      656
1272.06/1272.33	c 1272s |      18 |   597185 |   425852 |    25408     33 |      755 |      656
1274.26/1274.54	c 1274s |      18 |   597747 |   426352 |    25408     33 |      755 |      656
1276.75/1277.08	c 1276s |      18 |   598290 |   426852 |    25408     33 |      755 |      656
1278.95/1279.27	c 1278s |      18 |   598705 |   427252 |    25408     33 |      755 |      656
1280.95/1281.27	c 1280s |      18 |   599140 |   427652 |    25408     33 |      755 |      656
1282.95/1283.28	c 1282s |      18 |   599583 |   428052 |    25408     33 |      755 |      656
1285.26/1285.55	c 1285s |      18 |   600010 |   428452 |    25408     34 |      755 |      656
1287.36/1287.60	c 1287s |      18 |   600540 |   428952 |    25408     34 |      755 |      656
1289.36/1289.61	c 1289s |      18 |   601068 |   429452 |    25408     34 |      755 |      656
1291.46/1291.75	c 1291s |      18 |   601613 |   429952 |    25408     34 |      755 |      656
1293.66/1293.94	c 1293s |      18 |   602204 |   430452 |    25408     34 |      755 |      656
1295.76/1296.01	c 1295s |      18 |   602938 |   431052 |    25408     34 |      755 |      656
1297.85/1298.11	c 1297s |      18 |   603910 |   431752 |    25408     34 |      755 |      656
1300.05/1300.36	c 1300s |      18 |   604758 |   432452 |    25408     34 |      755 |      656
1302.35/1302.64	c 1302s |      18 |   605568 |   433152 |    25408     34 |      755 |      656
1304.55/1304.81	c 1304s |      18 |   606289 |   433752 |    25408     34 |      755 |      656
1306.54/1306.86	c 1306s |      18 |   606954 |   434352 |    25408     34 |      755 |      656
1308.84/1309.16	c 1308s |      18 |   607739 |   435052 |    25408     34 |      755 |      656
1310.94/1311.29	c 1311s |      18 |   608429 |   435652 |    25408     34 |      755 |      656
1313.14/1313.41	c 1313s |      18 |   609128 |   436252 |    25408     34 |      755 |      656
1315.24/1315.56	c 1315s |      18 |   609801 |   436852 |    25408     34 |      755 |      656
1317.33/1317.64	c 1317s |      18 |   610468 |   437452 |    25408     34 |      755 |      656
1319.63/1319.96	c 1319s |      18 |   611156 |   438052 |    25408     34 |      755 |      656
1321.73/1322.00	c 1321s |      18 |   611684 |   438552 |    25408     34 |      755 |      656
1323.83/1324.11	c 1323s |      18 |   612228 |   439052 |    25408     34 |      755 |      656
1326.13/1326.43	c 1326s |      18 |   612770 |   439552 |    25408     34 |      755 |      656
1328.33/1328.65	c 1328s |      18 |   613515 |   440152 |    25408     34 |      755 |      656
1330.42/1330.73	c 1330s |      18 |   614079 |   440652 |    25408     34 |      755 |      656
1332.72/1333.05	c 1332s |      18 |   614615 |   441152 |    25408     34 |      755 |      656
1335.12/1335.50	c 1335s |      18 |   615345 |   441752 |    27949     34 |      755 |      656
1337.22/1337.54	c 1337s |      18 |   616059 |   442352 |    27949     34 |      755 |      656
1339.22/1339.58	c 1339s |      18 |   616621 |   442852 |    27949     34 |      755 |      656
1341.42/1341.73	c 1341s |      18 |   617316 |   443452 |    27949     34 |      755 |      656
1343.72/1344.08	c 1343s |      18 |   618086 |   444152 |    27949     34 |      755 |      656
1345.12/1345.40	c 1345s |      19 |   618457 |   444482 |    27949     34 |      755 |      656
1347.12/1347.40	c 1347s |      19 |   622002 |   445682 |    27949     35 |      755 |      656
1349.12/1349.41	c 1349s |      19 |   624979 |   447382 |    27949     35 |      755 |      656
1351.11/1351.42	c 1351s |      19 |   627536 |   448982 |    27949     35 |      755 |      656
1353.21/1353.50	c 1353s |      19 |   629029 |   450182 |    27949     35 |      755 |      656
1355.31/1355.62	c 1355s |      19 |   630420 |   451382 |    27949     35 |      755 |      656
1357.42/1357.72	c 1357s |      19 |   631653 |   452382 |    27949     35 |      755 |      656
1359.52/1359.86	c 1359s |      19 |   632853 |   453382 |    27949     35 |      755 |      656
1361.71/1362.10	c 1361s |      19 |   633891 |   454282 |    27949     35 |      755 |      656
1363.91/1364.26	c 1363s |      19 |   635311 |   455282 |    27949     35 |      755 |      656
1366.00/1366.33	c 1366s |      19 |   636615 |   456282 |    27949     35 |      755 |      656
1368.00/1368.35	c 1368s |      19 |   637569 |   457082 |    27949     35 |      755 |      656
1370.30/1370.64	c 1370s |      19 |   638541 |   457882 |    27949     35 |      755 |      656
1372.50/1372.88	c 1372s |      19 |   639693 |   458782 |    27949     35 |      755 |      656
1374.60/1374.91	c 1374s |      19 |   640637 |   459582 |    27949     35 |      755 |      656
1376.80/1377.15	c 1376s |      19 |   641643 |   460382 |    27949     35 |      755 |      656
1379.00/1379.33	c 1379s |      19 |   642210 |   460882 |    27949     36 |      755 |      656
1381.19/1381.52	c 1381s |      19 |   643034 |   461582 |    27949     36 |      755 |      656
1383.29/1383.60	c 1383s |      19 |   643864 |   462282 |    27949     36 |      755 |      656
1385.39/1385.73	c 1385s |      19 |   644687 |   462982 |    27949     36 |      755 |      656
1387.49/1387.83	c 1387s |      19 |   645365 |   463582 |    27949     36 |      755 |      656
1389.89/1390.21	c 1389s |      19 |   646142 |   464282 |    27949     36 |      755 |      656
1391.89/1392.29	c 1392s |      19 |   646835 |   464882 |    27949     36 |      755 |      656
1394.09/1394.46	c 1394s |      19 |   647522 |   465482 |    27949     36 |      755 |      656
1396.28/1396.68	c 1396s |      19 |   648220 |   466082 |    27949     36 |      755 |      656
1398.48/1398.84	c 1398s |      19 |   648910 |   466682 |    27949     36 |      755 |      656
1400.68/1401.05	c 1400s |      19 |   649580 |   467282 |    27949     36 |      755 |      656
1402.88/1403.25	c 1402s |      19 |   650153 |   467782 |    27949     36 |      755 |      656
1404.88/1405.25	c 1404s |      19 |   651128 |   468482 |    27949     36 |      755 |      656
1407.09/1407.44	c 1407s |      19 |   652342 |   469382 |    27949     36 |      755 |      656
1409.29/1409.69	c 1409s |      19 |   653326 |   470182 |    27949     36 |      755 |      656
1411.38/1411.70	c 1411s |      19 |   654225 |   470882 |    27949     36 |      755 |      656
1413.39/1413.78	c 1413s |      19 |   655294 |   471682 |    27949     36 |      755 |      656
1415.78/1416.10	c 1415s |      19 |   656319 |   472482 |    27949     36 |      755 |      656
1417.89/1418.23	c 1417s |      19 |   657206 |   473182 |    27949     36 |      755 |      656
1419.99/1420.32	c 1420s |      19 |   658047 |   473882 |    27949     36 |      755 |      656
1422.18/1422.57	c 1422s |      19 |   658743 |   474482 |    27949     36 |      755 |      656
1424.38/1424.72	c 1424s |      19 |   659627 |   475182 |    27949     36 |      755 |      656
1426.47/1426.81	c 1426s |      19 |   660671 |   475982 |    27949     36 |      755 |      656
1428.47/1428.85	c 1428s |      19 |   661294 |   476482 |    27949     37 |      755 |      656
1430.67/1431.05	c 1430s |      19 |   662366 |   477382 |    27949     37 |      755 |      656
1432.77/1433.17	c 1432s |      19 |   663355 |   478182 |    27949     37 |      755 |      656
1434.87/1435.23	c 1434s |      19 |   664218 |   478882 |    27949     37 |      755 |      656
1436.87/1437.28	c 1437s |      19 |   665074 |   479582 |    27949     37 |      755 |      656
1439.07/1439.47	c 1439s |      19 |   665890 |   480282 |    27949     37 |      755 |      656
1441.26/1441.66	c 1441s |      19 |   666734 |   480982 |    27949     37 |      755 |      656
1443.36/1443.72	c 1443s |      19 |   667427 |   481582 |    27949     37 |      755 |      656
1445.56/1445.93	c 1445s |      19 |   668095 |   482182 |    27949     37 |      755 |      656
1447.76/1448.19	c 1447s |      19 |   668901 |   482882 |    27949     37 |      755 |      656
1449.96/1450.31	c 1450s |      19 |   669589 |   483482 |    27949     37 |      755 |      656
1452.25/1452.64	c 1452s |      19 |   670410 |   484182 |    27949     37 |      755 |      656
1454.45/1454.89	c 1454s |      19 |   671115 |   484782 |    27949     37 |      755 |      656
1456.75/1457.12	c 1456s |      19 |   671763 |   485382 |    27949     37 |      755 |      656
1458.95/1459.31	c 1459s |      19 |   672433 |   485982 |    27949     37 |      755 |      656
1461.05/1461.40	c 1461s |      19 |   672992 |   486482 |    27949     37 |      755 |      656
1463.25/1463.68	c 1463s |      19 |   673667 |   487082 |    27949     37 |      755 |      656
1465.65/1466.08	c 1465s |      19 |   674512 |   487782 |    27949     37 |      755 |      656
1468.05/1468.47	c 1468s |      19 |   675172 |   488382 |    27949     37 |      755 |      656
1470.05/1470.49	c 1470s |      19 |   675746 |   488882 |    27949     37 |      755 |      656
1472.14/1472.52	c 1472s |      19 |   676323 |   489382 |    27949     37 |      755 |      656
1474.14/1474.59	c 1474s |      19 |   676894 |   489882 |    27949     37 |      755 |      656
1476.54/1476.94	c 1476s |      19 |   677600 |   490482 |    27949     37 |      755 |      656
1478.64/1479.00	c 1478s |      19 |   678170 |   490982 |    27949     37 |      755 |      656
1480.93/1481.37	c 1481s |      19 |   678723 |   491482 |    27949     37 |      755 |      656
1483.03/1483.40	c 1483s |      19 |   679211 |   491882 |    27949     38 |      755 |      656
1485.33/1485.74	c 1485s |      19 |   680007 |   492582 |    27949     38 |      755 |      656
1487.43/1487.86	c 1487s |      19 |   680797 |   493282 |    27949     38 |      755 |      656
1489.73/1490.14	c 1489s |      19 |   681601 |   493982 |    27949     38 |      755 |      656
1492.03/1492.43	c 1492s |      19 |   682430 |   494682 |    27949     38 |      755 |      656
1494.33/1494.73	c 1494s |      19 |   683254 |   495382 |    27949     38 |      755 |      656
1496.53/1496.95	c 1496s |      19 |   684097 |   496082 |    27949     38 |      755 |      656
1498.73/1499.19	c 1498s |      19 |   684924 |   496782 |    27949     38 |      755 |      656
1500.92/1501.33	c 1501s |      19 |   685625 |   497382 |    27949     38 |      755 |      656
1503.02/1503.47	c 1503s |      19 |   686303 |   497982 |    27949     38 |      755 |      656
1505.12/1505.54	c 1505s |      19 |   687014 |   498582 |    27949     38 |      755 |      656
1507.12/1507.55	c 1507s |      19 |   687581 |   499082 |    27949     38 |      755 |      656
1509.22/1509.66	c 1509s |      19 |   688285 |   499682 |    27949     38 |      755 |      656
1511.51/1511.97	c 1511s |      19 |   689137 |   500382 |    27949     38 |      755 |      656
1513.91/1514.34	c 1514s |      19 |   689953 |   501082 |    27949     38 |      755 |      656
1516.11/1516.51	c 1516s |      19 |   690669 |   501682 |    27949     38 |      755 |      656
1518.41/1518.80	c 1518s |      19 |   691515 |   502382 |    27949     38 |      755 |      656
1520.60/1521.09	c 1520s |      19 |   692201 |   502982 |    27949     38 |      755 |      656
1522.91/1523.35	c 1523s |      19 |   692907 |   503582 |    27949     38 |      755 |      656
1525.21/1525.62	c 1525s |      19 |   693595 |   504182 |    27949     38 |      755 |      656
1527.61/1528.02	c 1527s |      19 |   694286 |   504782 |    27949     38 |      755 |      656
1529.81/1530.24	c 1529s |      19 |   694852 |   505282 |    27949     38 |      755 |      656
1531.81/1532.26	c 1531s |      19 |   695425 |   505782 |    27949     38 |      755 |      656
1533.91/1534.37	c 1534s |      19 |   695994 |   506282 |    27949     38 |      755 |      656
1536.01/1536.45	c 1536s |      19 |   696570 |   506782 |    27949     38 |      755 |      656
1538.41/1538.83	c 1538s |      19 |   697124 |   507282 |    27949     38 |      755 |      656
1540.40/1540.89	c 1540s |      19 |   697444 |   507582 |    27949     39 |      755 |      656
1542.50/1542.99	c 1542s |      19 |   698127 |   508182 |    27949     39 |      755 |      656
1544.60/1545.06	c 1544s |      19 |   698907 |   508882 |    27949     39 |      755 |      656
1546.80/1547.28	c 1547s |      19 |   699696 |   509582 |    27949     39 |      755 |      656
1548.90/1549.33	c 1549s |      19 |   700514 |   510282 |    27949     39 |      755 |      656
1551.19/1551.62	c 1551s |      19 |   701177 |   510882 |    27949     39 |      755 |      656
1553.19/1553.64	c 1553s |      19 |   701864 |   511482 |    27949     39 |      755 |      656
1555.49/1555.90	c 1555s |      19 |   702678 |   512182 |    27949     39 |      755 |      656
1557.59/1558.03	c 1557s |      19 |   703514 |   512882 |    27949     39 |      755 |      656
1559.60/1560.04	c 1559s |      19 |   704194 |   513482 |    27949     39 |      755 |      656
1561.79/1562.24	c 1561s |      19 |   704870 |   514082 |    27949     39 |      755 |      656
1563.89/1564.40	c 1564s |      19 |   705551 |   514682 |    27949     39 |      755 |      656
1566.19/1566.66	c 1566s |      19 |   706232 |   515282 |    27949     39 |      755 |      656
1568.49/1568.92	c 1568s |      19 |   706922 |   515882 |    27949     39 |      755 |      656
1570.78/1571.21	c 1570s |      19 |   707598 |   516482 |    27949     39 |      755 |      656
1573.08/1573.51	c 1573s |      19 |   708270 |   517082 |    27949     39 |      755 |      656
1575.09/1575.57	c 1575s |      19 |   708960 |   517682 |    27949     39 |      755 |      656
1577.19/1577.68	c 1577s |      19 |   709652 |   518282 |    27949     39 |      755 |      656
1579.49/1579.95	c 1579s |      19 |   710369 |   518882 |    27949     39 |      755 |      656
1581.87/1582.32	c 1582s |      19 |   711053 |   519482 |    27949     39 |      755 |      656
1583.97/1584.46	c 1584s |      19 |   711655 |   519982 |    27949     39 |      755 |      656
1585.98/1586.49	c 1586s |      19 |   712232 |   520482 |    27949     39 |      755 |      656
1588.07/1588.53	c 1588s |      19 |   712826 |   520982 |    27949     39 |      755 |      656
1590.37/1590.80	c 1590s |      19 |   713366 |   521482 |    27949     39 |      755 |      656
1592.37/1592.84	c 1592s |      19 |   713970 |   521982 |    27949     39 |      755 |      656
1594.47/1594.91	c 1594s |      19 |   714698 |   522582 |    27949     39 |      755 |      656
1597.07/1597.51	c 1597s |      19 |   715282 |   523082 |    27949     40 |      755 |      656
1599.07/1599.58	c 1599s |      19 |   716104 |   523782 |    27949     40 |      755 |      656
1601.27/1601.75	c 1601s |      19 |   716887 |   524482 |    27949     40 |      755 |      656
1603.47/1604.00	c 1603s |      19 |   717698 |   525182 |    27949     40 |      755 |      656
1605.66/1606.16	c 1605s |      19 |   718493 |   525882 |    27949     40 |      755 |      656
1607.97/1608.44	c 1608s |      19 |   719275 |   526582 |    27949     40 |      755 |      656
1609.96/1610.49	c 1610s |      19 |   720085 |   527282 |    27949     40 |      755 |      656
1612.26/1612.73	c 1612s |      19 |   720871 |   527982 |    27949     40 |      755 |      656
1614.26/1614.79	c 1614s |      19 |   721539 |   528582 |    27949     40 |      755 |      656
1616.46/1616.90	c 1616s |      19 |   722192 |   529182 |    27949     40 |      755 |      656
1618.76/1619.28	c 1619s |      19 |   722843 |   529782 |    27949     40 |      755 |      656
1620.96/1621.44	c 1621s |      19 |   723513 |   530382 |    27949     40 |      755 |      656
1623.16/1623.63	c 1623s |      19 |   724162 |   530982 |    27949     40 |      755 |      656
1625.36/1625.87	c 1625s |      19 |   724801 |   531582 |    27949     40 |      755 |      656
1627.56/1628.03	c 1627s |      19 |   725461 |   532182 |    27949     40 |      755 |      656
1629.76/1630.24	c 1629s |      19 |   726013 |   532682 |    27949     40 |      755 |      656
1631.86/1632.38	c 1632s |      19 |   726577 |   533182 |    27949     40 |      755 |      656
1634.06/1634.50	c 1634s |      19 |   727159 |   533682 |    27949     40 |      755 |      656
1636.26/1636.70	c 1636s |      19 |   727938 |   534382 |    27949     40 |      755 |      656
1638.45/1638.95	c 1638s |      19 |   728605 |   534982 |    27949     40 |      755 |      656
1640.66/1641.13	c 1640s |      19 |   729267 |   535582 |    27949     40 |      755 |      656
1642.96/1643.45	c 1643s |      19 |   729935 |   536182 |    27949     40 |      755 |      656
1645.06/1645.51	c 1645s |      19 |   730479 |   536682 |    27949     40 |      755 |      656
1647.06/1647.58	c 1647s |      19 |   731030 |   537182 |    27949     40 |      755 |      656
1649.46/1649.93	c 1649s |      19 |   731564 |   537682 |    27949     40 |      755 |      656
1651.46/1651.96	c 1651s |      19 |   732007 |   538082 |    27949     40 |      755 |      656
1653.56/1654.00	c 1653s |      19 |   732605 |   538582 |    27949     40 |      755 |      656
1655.76/1656.29	c 1656s |      19 |   733185 |   539082 |    27949     41 |      755 |      656
1657.96/1658.47	c 1658s |      19 |   733951 |   539782 |    27949     41 |      755 |      656
1660.06/1660.56	c 1660s |      19 |   734704 |   540482 |    27949     41 |      755 |      656
1662.26/1662.75	c 1662s |      19 |   735505 |   541182 |    27949     41 |      755 |      656
1664.26/1664.77	c 1664s |      19 |   736174 |   541782 |    27949     41 |      755 |      656
1666.46/1666.99	c 1666s |      19 |   737036 |   542482 |    27949     41 |      755 |      656
1668.66/1669.10	c 1668s |      19 |   737999 |   543282 |    27949     41 |      755 |      656
1670.77/1671.28	c 1670s |      19 |   738963 |   544082 |    27949     41 |      755 |      656
1672.97/1673.44	c 1673s |      19 |   739935 |   544882 |    27949     41 |      755 |      656
1675.17/1675.62	c 1675s |      19 |   740740 |   545582 |    27949     41 |      755 |      656
1677.46/1677.91	c 1677s |      19 |   741552 |   546282 |    27949     41 |      755 |      656
1679.46/1679.95	c 1679s |      19 |   742225 |   546882 |    27949     41 |      755 |      656
1681.76/1682.21	c 1681s |      19 |   743043 |   547582 |    27949     41 |      755 |      656
1684.06/1684.54	c 1684s |      19 |   743711 |   548182 |    27949     41 |      755 |      656
1686.45/1686.91	c 1686s |      19 |   744388 |   548782 |    27949     41 |      755 |      656
1688.75/1689.24	c 1688s |      19 |   745036 |   549382 |    27949     41 |      755 |      656
1691.15/1691.60	c 1691s |      19 |   745705 |   549982 |    27949     41 |      755 |      656
1693.45/1693.95	c 1693s |      19 |   746373 |   550582 |    27949     41 |      755 |      656
1695.75/1696.26	c 1695s |      19 |   747051 |   551182 |    27949     41 |      755 |      656
1698.16/1698.67	c 1698s |      19 |   747699 |   551782 |    27949     41 |      755 |      656
1700.25/1700.76	c 1700s |      19 |   748268 |   552282 |    27949     41 |      755 |      656
1702.45/1702.92	c 1702s |      19 |   748812 |   552782 |    27949     41 |      755 |      656
1704.55/1705.06	c 1704s |      19 |   749358 |   553282 |    27949     41 |      755 |      656
1706.85/1707.34	c 1707s |      19 |   749909 |   553782 |    27949     41 |      755 |      656
1709.26/1709.72	c 1709s |      19 |   750454 |   554282 |    27949     41 |      755 |      656
1711.36/1711.88	c 1711s |      19 |   751041 |   554782 |    27949     42 |      755 |      656
1713.66/1714.14	c 1713s |      19 |   751972 |   555582 |    27949     42 |      755 |      656
1715.86/1716.34	c 1716s |      19 |   752752 |   556282 |    27949     42 |      755 |      656
1718.15/1718.64	c 1718s |      19 |   753426 |   556882 |    27949     42 |      755 |      656
1720.45/1720.95	c 1720s |      19 |   754253 |   557582 |    27949     42 |      755 |      656
1722.45/1722.96	c 1722s |      19 |   754940 |   558182 |    27949     42 |      755 |      656
1724.55/1725.09	c 1724s |      19 |   755627 |   558782 |    27949     42 |      755 |      656
1726.85/1727.36	c 1727s |      19 |   756317 |   559382 |    27949     42 |      755 |      656
1729.05/1729.54	c 1729s |      19 |   757140 |   560082 |    27949     42 |      755 |      656
1731.25/1731.73	c 1731s |      19 |   758084 |   560882 |    27949     42 |      755 |      656
1733.54/1734.04	c 1733s |      19 |   758881 |   561582 |    27949     42 |      755 |      656
1735.84/1736.38	c 1736s |      19 |   759703 |   562282 |    27949     42 |      755 |      656
1737.94/1738.42	c 1738s |      19 |   760421 |   562882 |    27949     42 |      755 |      656
1740.14/1740.60	c 1740s |      19 |   761095 |   563482 |    27949     42 |      755 |      656
1742.34/1742.81	c 1742s |      19 |   761790 |   564082 |    27949     42 |      755 |      656
1744.64/1745.12	c 1744s |      19 |   762637 |   564782 |    27949     42 |      755 |      656
1746.84/1747.32	c 1747s |      19 |   763368 |   565382 |    27949     42 |      755 |      656
1749.04/1749.53	c 1749s |      19 |   764056 |   565982 |    27949     42 |      755 |      656
1751.34/1751.87	c 1751s |      19 |   764764 |   566582 |    27949     42 |      755 |      656
1753.74/1754.27	c 1753s |      19 |   765472 |   567182 |    27949     42 |      755 |      656
1756.14/1756.68	c 1756s |      19 |   766168 |   567782 |    27949     42 |      755 |      656
1758.24/1758.78	c 1758s |      19 |   766779 |   568282 |    27949     42 |      755 |      656
1760.74/1761.21	c 1760s |      19 |   767646 |   568982 |    27949     42 |      755 |      656
1762.84/1763.37	c 1763s |      19 |   768221 |   569482 |    27949     42 |      755 |      656
1765.34/1765.81	c 1765s |      19 |   768672 |   569882 |    27949     43 |      755 |      656
1767.34/1767.86	c 1767s |      19 |   769542 |   570582 |    27949     43 |      755 |      656
1769.64/1770.13	c 1769s |      19 |   770486 |   571382 |    27949     43 |      755 |      656
1771.94/1772.43	c 1772s |      19 |   771262 |   572082 |    27949     43 |      755 |      656
1773.93/1774.44	c 1774s |      19 |   771916 |   572682 |    27949     43 |      755 |      656
1776.03/1776.59	c 1776s |      19 |   772620 |   573282 |    27949     43 |      755 |      656
1778.33/1778.84	c 1778s |      19 |   773432 |   573982 |    27949     43 |      755 |      656
1780.64/1781.13	c 1780s |      19 |   774109 |   574582 |    27949     43 |      755 |      656
1782.64/1783.19	c 1782s |      19 |   774804 |   575182 |    27949     43 |      755 |      656
1784.94/1785.41	c 1785s |      19 |   775607 |   575882 |    27949     43 |      755 |      656
1786.94/1787.44	c 1787s |      19 |   776270 |   576482 |    27949     43 |      755 |      656
1788.94/1789.45	c 1789s |      19 |   776962 |   577082 |    27949     43 |      755 |      656
1791.14/1791.63	c 1791s |      19 |   777680 |   577682 |    27949     43 |      755 |      656
1793.44/1793.90	c 1793s |      19 |   778342 |   578282 |    27949     43 |      755 |      656
1795.44/1795.91	c 1795s |      19 |   778893 |   578782 |    27949     43 |      755 |      656
1797.64/1798.19	c 1797s |      19 |   779564 |   579382 |    27949     43 |      755 |      656
1799.94/1800.42	c 1800s |      19 |   780241 |   579982 |    27949     43 |      755 |      656

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

pid=24006
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: 1.23 1.64 1.98 3/172 24011
/proc/meminfo: memFree=29778584/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=554428 CPUtime=0 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 2043 0 0 0 0 0 0 0 20 0 4 0 31098077 567734272 1892 33554432000 4194304 16246674 140736820713488 140736820712912 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 139375 1902 441 2943 0 136269 0
[pid=24011/tid=24017] ppid=24006 vsize=571836 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 585560064 1960 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=576956 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 590802944 1978 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=581052 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31098078 594997248 1996 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 1.23 1.64 1.98 3/172 24011
/proc/meminfo: memFree=29778584/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 28471 0 0 0 5 4 0 0 20 0 4 0 31098077 1249447936 28258 33554432000 4194304 16246674 140736820713488 140736820712800 4206886 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 305041 28258 801 2943 0 301935 0
[pid=24011/tid=24017] ppid=24006 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1249447936 28258 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1249447936 28258 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1249447936 28258 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200548 s]
/proc/loadavg: 1.23 1.64 1.98 3/172 24011
/proc/meminfo: memFree=29778584/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1301060 CPUtime=0.18 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 48678 0 0 0 11 7 0 0 20 0 4 0 31098077 1332285440 48465 33554432000 4194304 16246674 140736820713488 140736820712800 6739381 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 325265 48465 842 2943 0 322159 0
[pid=24011/tid=24017] ppid=24006 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 48465 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 48465 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 48465 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1301060

[startup+0.300508 s]
/proc/loadavg: 1.23 1.64 1.98 3/172 24011
/proc/meminfo: memFree=29778584/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 54464 0 0 0 21 8 0 0 20 0 4 0 31098077 1332285440 54252 33554432000 4194304 16246674 140736820713488 140736820712800 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 325265 54258 882 2943 0 322159 0
[pid=24011/tid=24017] ppid=24006 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 54261 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 54265 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 54268 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.70037 s]
/proc/loadavg: 1.23 1.64 1.98 3/172 24011
/proc/meminfo: memFree=29778584/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 101920 0 0 0 53 16 0 0 20 0 4 0 31098077 1332285440 101707 33554432000 4194304 16246674 140736820713488 140736820712800 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 325265 101713 882 2943 0 322159 0
[pid=24011/tid=24017] ppid=24006 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 101716 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 101720 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 101723 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50042 s]
/proc/loadavg: 1.23 1.64 1.98 3/183 24022
/proc/meminfo: memFree=28569112/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1301060 CPUtime=1.48 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 206615 0 0 0 119 29 0 0 20 0 4 0 31098077 1332285440 206402 33554432000 4194304 16246674 140736820713488 140736820695360 13954410 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 325265 206418 882 2943 0 322159 0
[pid=24011/tid=24017] ppid=24006 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 206426 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 206435 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 206442 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10041 s]
/proc/loadavg: 1.45 1.68 1.99 3/183 24022
/proc/meminfo: memFree=27624356/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 269506 0 0 0 270 39 0 0 20 0 4 0 31098077 1344868352 269293 33554432000 4194304 16246674 140736820713488 140736820695360 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 328337 269293 888 2943 0 325231 0
[pid=24011/tid=24017] ppid=24006 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269293 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269293 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269293 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30037 s]
/proc/loadavg: 1.45 1.68 1.99 3/183 24022
/proc/meminfo: memFree=27622896/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 269527 0 0 0 590 39 0 0 20 0 4 0 31098077 1344868352 269314 33554432000 4194304 16246674 140736820713488 140736820695360 5721633 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 328337 269314 888 2943 0 325231 0
[pid=24011/tid=24017] ppid=24006 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269314 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269314 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269314 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 1.69 1.72 2.01 3/183 24022
/proc/meminfo: memFree=27622816/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1313348 CPUtime=12.68 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 269527 0 0 0 1229 39 0 0 20 0 4 0 31098077 1344868352 269314 33554432000 4194304 16246674 140736820713488 140736820695360 13759557 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 328337 269314 888 2943 0 325231 0
[pid=24011/tid=24017] ppid=24006 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269314 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269314 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269314 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5004 s]
/proc/loadavg: 1.74 1.73 2.00 4/183 24022
/proc/meminfo: memFree=27624048/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 269529 0 0 0 2510 39 0 0 20 0 4 0 31098077 1344868352 269316 33554432000 4194304 16246674 140736820713488 140736820695360 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 328337 269316 890 2943 0 325231 0
[pid=24011/tid=24017] ppid=24006 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269316 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269316 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269316 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1004 s]
/proc/loadavg: 1.88 1.77 2.01 3/183 24022
/proc/meminfo: memFree=27624104/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 269530 0 0 0 5068 40 0 0 20 0 4 0 31098077 1344868352 269317 33554432000 4194304 16246674 140736820713488 140736820695360 5711688 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 328337 269317 891 2943 0 325231 0
[pid=24011/tid=24017] ppid=24006 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269317 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269317 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269317 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.19 1.87 2.02 3/183 24023
/proc/meminfo: memFree=27622656/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1315396 CPUtime=102.27 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 270042 0 0 0 10187 40 0 0 20 0 4 0 31098077 1346965504 269829 33554432000 4194304 16246674 140736820713488 140736820696488 5712667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 328849 269829 892 2943 0 325743 0
[pid=24011/tid=24017] ppid=24006 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1346965504 269829 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1346965504 269829 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1346965504 269829 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1315396


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

/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1333828

[startup+1362.3 s]
/proc/loadavg: 2.24 2.20 2.15 3/183 24055
/proc/meminfo: memFree=27581724/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1333828 CPUtime=1362.01 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 274640 0 0 0 136151 50 0 0 20 0 4 0 31098077 1365839872 274550 33554432000 4194304 16246674 140736820713488 140736820695360 5545898 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 333457 274550 892 2943 0 330351 0
[pid=24011/tid=24017] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 2.18 2.20 2.15 4/184 24059
/proc/meminfo: memFree=27581632/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1333828 CPUtime=1421.97 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 274686 0 0 0 142146 51 0 0 20 0 4 0 31098077 1365839872 274550 33554432000 4194304 16246674 140736820713488 140736820712664 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 333457 274550 892 2943 0 330351 0
[pid=24011/tid=24017] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1333828

[startup+1482.3 s]
/proc/loadavg: 2.37 2.25 2.17 3/184 24083
/proc/meminfo: memFree=27581544/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1333828 CPUtime=1481.93 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 274731 0 0 0 148142 51 0 0 20 0 4 0 31098077 1365839872 274550 33554432000 4194304 16246674 140736820713488 140736820695360 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 333457 274550 892 2943 0 330351 0
[pid=24011/tid=24017] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1333828

[startup+1542.3 s]
/proc/loadavg: 2.27 2.23 2.17 3/183 24084
/proc/meminfo: memFree=27581932/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1333828 CPUtime=1541.9 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 274776 0 0 0 154138 52 0 0 20 0 4 0 31098077 1365839872 274550 33554432000 4194304 16246674 140736820713488 140736820695360 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 333457 274550 892 2943 0 330351 0
[pid=24011/tid=24017] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1333828

[startup+1602.3 s]
/proc/loadavg: 2.31 2.25 2.18 4/183 24085
/proc/meminfo: memFree=27582072/32872528 swapFree=1381472/1569520
[pid=24011] ppid=24006 vsize=1333828 CPUtime=1601.87 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 274817 0 0 0 160135 52 0 0 20 0 4 0 31098077 1365839872 274550 33554432000 4194304 16246674 140736820713488 140736820695360 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 333457 274550 892 2943 0 330351 0
[pid=24011/tid=24017] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1333828

[startup+1662.3 s]
/proc/loadavg: 2.18 2.22 2.17 3/182 24086
/proc/meminfo: memFree=27582356/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1333828 CPUtime=1661.87 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 274817 0 0 0 166134 53 0 0 20 0 4 0 31098077 1365839872 274550 33554432000 4194304 16246674 140736820713488 140736820695360 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 333457 274550 892 2943 0 330351 0
[pid=24011/tid=24017] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1333828

[startup+1722.3 s]
/proc/loadavg: 2.12 2.19 2.17 3/182 24088
/proc/meminfo: memFree=27583156/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1333828 CPUtime=1721.85 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 274817 0 0 0 172132 53 0 0 20 0 4 0 31098077 1365839872 274550 33554432000 4194304 16246674 140736820713488 140736820695360 5822878 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 333457 274550 892 2943 0 330351 0
[pid=24011/tid=24017] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1333828

[startup+1782.31 s]
/proc/loadavg: 2.20 2.20 2.17 4/183 24090
/proc/meminfo: memFree=27581984/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1333828 CPUtime=1781.85 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 274817 0 0 0 178131 54 0 0 20 0 4 0 31098077 1365839872 274550 33554432000 4194304 16246674 140736820713488 140736820695360 6021024 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 333457 274550 892 2943 0 330351 0
[pid=24011/tid=24017] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1333828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.30 2.22 2.18 3/183 24090
/proc/meminfo: memFree=27582480/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1333828 CPUtime=1800.04 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 274817 0 0 0 179950 54 0 0 20 0 4 0 31098077 1365839872 274550 33554432000 4194304 16246674 140736820713488 140736820695360 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 333457 274550 892 2943 0 330351 0
[pid=24011/tid=24017] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1333828

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

[startup+1800.5 s]
/proc/loadavg: 2.30 2.22 2.18 3/183 24090
/proc/meminfo: memFree=27582480/32872528 swapFree=1381468/1569516
[pid=24011] ppid=24006 vsize=1333828 CPUtime=1800.04 cores=1,3,5,7
/proc/24011/stat : 24011 (toysat) R 24006 24011 21593 0 -1 4202496 274817 0 0 0 179950 54 0 0 20 0 4 0 31098077 1365839872 274550 33554432000 4194304 16246674 140736820713488 140736820695360 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24011/statm: 333457 274550 892 2943 0 330351 0
[pid=24011/tid=24017] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24017/stat : 24017 (toysat) S 24006 24011 21593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451412684016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24011/tid=24019] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24019/stat : 24019 (toysat) S 24006 24011 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451402194160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24011/tid=24020] ppid=24006 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24011/task/24020/stat : 24020 (toysat) S 24006 24011 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1365839872 274550 33554432000 4194304 16246674 140736820713488 140451391720624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1333828

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.51
CPU system time (s): 0.542917
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 1333828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.542917
maximum resident set size= 1098200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274817
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= 325
involuntary context switches= 1863

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95894 second user time and 9.36058 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-27 00:36:42
IDJOB=4117093
IDBENCH=109552
IDSOLVER=2542
FILE ID=node140/4117093-1466980602
RUNJOBID= node140-1466980602-23986
PBS_JOBID= 19976369
Free space on /tmp= 71652 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-5.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117093-1466980602/watcher-4117093-1466980602 -o /tmp/evaluation-result-4117093-1466980602/solver-4117093-1466980602 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466980602-23986 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117093-1466980602.opb

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

MD5SUM BENCH= c9b920119562b92648bbd1caba5edf40
RANDOM SEED=2132672740

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.707
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:        29779064 kB
Buffers:          178732 kB
Cached:           606532 kB
SwapCached:         1824 kB
Active:           157576 kB
Inactive:         630792 kB
Active(anon):       3536 kB
Inactive(anon):     2380 kB
Active(file):     154040 kB
Inactive(file):   628412 kB
Unevictable:     1569516 kB
Mlocked:         1381468 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             33692 kB
Writeback:             0 kB
AnonPages:       1629784 kB
Mapped:             7180 kB
Shmem:                 0 kB
Slab:             601800 kB
SReclaimable:      45336 kB
SUnreclaim:       556464 kB
KernelStack:        1416 kB
PageTables:         7144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1665772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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= 71620 MiB
End job on node140 at 2016-06-27 01:06:43