Trace number 4116981

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T21:47:47+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-4116981-1466970467.opb"]
0.00/0.01	c use --random-gen="1566001204 3689937058 3431796384 2393925971 968441644 4284347746 3204379997 4106634158 1018137696 1009167598 3573592348 153512419 4045387121 4055123846 1345607415 2391609732 3113360420 4241986841 228371539 2765204949 1614482881 4081250749 722986560 1521884289 1650346873 1702547494 675361209 1279831732 2048752828 2305460498 2851849321 844277215 3506065051 3174792896 1235974966 2967512852 612564489 1545448349 4155728935 4261456226 4100017166 2399318345 2184597395 4260197401 1418131195 1616039146 100279702 1038397736 1174562945 2540612651 224664757 1578617170 3405875578 2282962399 3345109773 1967809730 1502342750 1600378827 1344386377 1502478578 682171172 927169245 3102489620 2111487097 1994038519 2809925734 130301778 1621642592 1744485891 3856261378 2424769735 659768375 117611903 2055180587 321119308 617197554 622150075 2522512317 3486722608 1426903362 1999272748 3781891836 3467422450 1708902682 3308934224 354312823 369192828 1031089930 2342763773 611897798 1305657761 3469894920 2578588033 1046825464 2007867603 2845961059 3771816623 654235503 1909571501 1088926526 319770398 4258221020 3462561092 729564623 2916604370 1796283984 1304103432 3538544567 340936742 2245670164 2254689481 1287812954 2176030082 21593064 1935417025 450071719 3279582731 3294221874 165067355 297423334 618563734 3933589803 2561598673 1318377938 3663228049 275197544 2575993298 2528737573 3447825451 2049623256 1679181009 4239316580 850750610 3445047279 1063211074 1077032840 3684227852 3941017518 3168322444 1711071114 3419328786 221633973 483683773 257555242 2189139055 1865771243 3599503200 3200293255 2334948801 926074237 2252825427 2829435211 2639032388 4205263873 2598143088 509191623 349549765 3404923006 1339247248 401306704 194164562 3221201631 2199886272 801477 1978595635 4042109178 2062101572 611498882 3448925879 748973429 1526652317 3407723957 3514293280 2524577175 4185553982 1101130311 768262497 2825513962 3930219782 1006231475 4149591223 2345505575 946556335 161870378 1763580253 626526570 1018584426 72403726 1607904903 161002450 4120192671 2753287345 3671661760 22820375 1204744929 1208552383 1550976087 1607579330 71650919 2788943846 4292525658 170465646 1350999037 398848951 2973037398 3593818472 311701706 2484496224 1065307380 2196700385 3841990722 1448638226 909207241 4225837367 3504881368 227400261 2379171864 3127675564 2234546543 1963057515 1580428524 154403511 1913994167 771557524 2433227496 2706646510 1330817677 3645962295 4106835267 1022322720 1041089629 507060001 3777003309 766191495 2654277208 1473190676 1999218634 508706597 1319053790 1405527860 542787126 1018345461 4073154475 3361162590 3565358226 1619183627 2176330326 1246374744 2637285629 849220523 1385799117 1998749888 3902029790 8003821 3115230131 3975203961 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8736
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      907 |        0
0.29/0.35	c  0.1s |       1 |      521 |      100 |     4234      0 |      909 |      880
0.39/0.45	c  0.2s |       2 |     1422 |      250 |     4658      0 |      909 |      880
0.59/0.61	c  0.4s |       3 |     3345 |      475 |     5124      0 |      909 |      880
0.79/0.83	c  0.6s |       4 |     6509 |      813 |     5637      0 |      909 |      880
1.29/1.34	c  1.1s |       5 |     8648 |     1320 |     6201      0 |      909 |      880
1.99/2.07	c  1.8s |       6 |    11138 |     2081 |     7505      0 |      909 |      880
2.99/3.07	c  2.8s |       7 |    15093 |     3223 |     8256      0 |      910 |      880
4.19/4.23	c  4.0s |       8 |    21492 |     4936 |     9082      0 |      910 |      880
6.19/6.29	c  6.0s |       8 |    27329 |     7236 |     9082      0 |      910 |      880
6.69/6.70	c  6.4s |       9 |    27692 |     7506 |     9991      0 |      910 |      880
8.69/8.72	c  8.5s |       9 |    31427 |     9306 |     9991      0 |      910 |      880
10.69/10.77	c 10.5s |       9 |    32882 |    10706 |     9991      0 |      910 |      880
11.79/11.81	c 11.6s |      10 |    33604 |    11361 |    10991      0 |      910 |      880
13.79/13.86	c 13.6s |      10 |    38810 |    13361 |    10991      0 |      910 |      880
15.89/15.91	c 15.7s |      10 |    41578 |    14861 |    10991      1 |      910 |      880
17.90/17.99	c 17.7s |      10 |    45051 |    16861 |    10991      1 |      910 |      880
18.19/18.29	c 18.0s |      11 |    45480 |    17144 |    12091      1 |      910 |      880
20.29/20.35	c 20.1s |      11 |    51400 |    19144 |    12091      1 |      910 |      880
22.29/22.38	c 22.1s |      11 |    53361 |    20544 |    12091      1 |      910 |      880
24.49/24.51	c 24.3s |      11 |    54762 |    21544 |    12091      1 |      910 |      880
26.49/26.58	c 26.3s |      11 |    61765 |    23544 |    12091      2 |      911 |      880
28.09/28.17	c 27.9s |      12 |    69856 |    25819 |    13301      2 |      911 |      880
30.09/30.19	c 29.9s |      12 |    73054 |    27519 |    13301      2 |      911 |      880
32.29/32.31	c 32.1s |      12 |    75418 |    29219 |    13301      2 |      911 |      880
34.28/34.34	c 34.1s |      12 |    77030 |    30519 |    13301      2 |      911 |      880
36.38/36.42	c 36.2s |      12 |    78438 |    31719 |    13301      3 |      911 |      880
38.48/38.53	c 38.3s |      12 |    79705 |    32819 |    13301      3 |      911 |      880
40.58/40.62	c 40.4s |      12 |    80941 |    33919 |    13301      3 |      911 |      880
42.68/42.74	c 42.5s |      12 |    81926 |    34819 |    13301      3 |      911 |      880
44.78/44.89	c 44.6s |      12 |    82933 |    35719 |    13301      3 |      911 |      880
47.08/47.11	c 46.9s |      12 |    83913 |    36619 |    13301      3 |      911 |      880
49.08/49.19	c 48.9s |      12 |    84770 |    37419 |    13301      3 |      911 |      880
51.18/51.28	c 51.0s |      12 |    85665 |    38219 |    13301      3 |      911 |      880
52.78/52.85	c 52.6s |      13 |    86373 |    38832 |    14632      3 |      911 |      880
54.78/54.85	c 54.6s |      13 |    97427 |    41332 |    14632      4 |      911 |      880
56.88/56.92	c 56.7s |      13 |   103619 |    43732 |    14632      4 |      911 |      880
58.88/58.99	c 58.7s |      13 |   108774 |    45632 |    14632      4 |      911 |      880
60.98/61.00	c 60.7s |      13 |   111639 |    47232 |    14632      4 |      911 |      880
62.99/63.09	c 62.8s |      13 |   114392 |    48832 |    14632      5 |      911 |      880
65.08/65.16	c 64.9s |      13 |   116402 |    50232 |    14632      5 |      911 |      880
67.18/67.22	c 67.0s |      13 |   118609 |    51632 |    14632      5 |      911 |      880
69.28/69.36	c 69.1s |      13 |   120436 |    52932 |    14632      5 |      911 |      880
71.28/71.37	c 71.1s |      13 |   121685 |    53932 |    14632      5 |      911 |      880
73.38/73.49	c 73.2s |      13 |   122950 |    54932 |    14632      5 |      911 |      880
75.58/75.61	c 75.4s |      13 |   124286 |    55932 |    14632      5 |      911 |      880
77.58/77.68	c 77.4s |      13 |   125190 |    56732 |    14632      5 |      911 |      880
79.58/79.69	c 79.4s |      13 |   126407 |    57632 |    14632      5 |      911 |      880
81.47/81.51	c 81.3s |      14 |   127279 |    58352 |    16096      6 |      911 |      880
83.47/83.55	c 83.3s |      14 |   132770 |    60452 |    16096      6 |      911 |      880
85.57/85.63	c 85.4s |      14 |   134997 |    62052 |    16096      6 |      911 |      880
87.57/87.68	c 87.4s |      14 |   137118 |    63552 |    16096      6 |      911 |      880
89.67/89.70	c 89.4s |      14 |   140353 |    65452 |    16096      6 |      911 |      880
91.68/91.71	c 91.5s |      14 |   144476 |    67152 |    16096      6 |      911 |      880
93.67/93.78	c 93.5s |      14 |   146328 |    68452 |    16096      7 |      911 |      880
95.87/95.95	c 95.7s |      14 |   147578 |    69552 |    16096      7 |      911 |      880
98.07/98.13	c 97.9s |      14 |   148809 |    70652 |    16096      7 |      911 |      880
100.07/100.13	c 99.9s |      14 |   150391 |    71852 |    16096      7 |      911 |      880
102.17/102.23	c  101s |      14 |   152375 |    73052 |    16096      7 |      911 |      880
104.17/104.24	c  103s |      14 |   154398 |    74352 |    16096      7 |      911 |      880
106.17/106.29	c  106s |      14 |   155728 |    75452 |    16096      7 |      911 |      880
108.37/108.47	c  108s |      14 |   156749 |    76352 |    16096      7 |      911 |      880
110.38/110.49	c  110s |      14 |   157712 |    77152 |    16096      7 |      911 |      880
112.57/112.67	c  112s |      14 |   158581 |    77952 |    16096      7 |      911 |      880
114.67/114.80	c  114s |      14 |   159872 |    78952 |    16096      8 |      911 |      880
116.87/116.95	c  116s |      14 |   161188 |    79952 |    16096      8 |      911 |      880
118.97/119.05	c  118s |      14 |   162302 |    80852 |    16096      8 |      911 |      880
121.27/121.39	c  121s |      14 |   163130 |    81552 |    16096      8 |      911 |      880
123.47/123.51	c  123s |      14 |   165544 |    82952 |    16096      8 |      911 |      880
125.57/125.62	c  125s |      14 |   166728 |    83952 |    16096      8 |      911 |      880
127.57/127.65	c  127s |      14 |   167590 |    84752 |    16096      8 |      911 |      880
129.77/129.82	c  129s |      14 |   168596 |    85652 |    16096      8 |      911 |      880
131.87/131.90	c  131s |      14 |   169604 |    86552 |    16096      8 |      911 |      880
133.86/133.96	c  133s |      14 |   170622 |    87452 |    17706      8 |      911 |      880
134.26/134.39	c  134s |      15 |   170837 |    87632 |    17706      8 |      911 |      880
136.36/136.47	c  136s |      15 |   178138 |    89532 |    17706      9 |      911 |      880
138.46/138.56	c  138s |      15 |   182354 |    91532 |    17706      9 |      911 |      880
140.56/140.61	c  140s |      15 |   189483 |    94332 |    17706      9 |      911 |      880
142.56/142.69	c  142s |      15 |   193328 |    96032 |    17706      9 |      911 |      880
144.66/144.79	c  144s |      15 |   195605 |    97532 |    17706      9 |      911 |      880
146.96/147.03	c  146s |      15 |   197717 |    98932 |    17706      9 |      911 |      880
149.16/149.25	c  148s |      15 |   198943 |    99832 |    17706     10 |      911 |      880
151.26/151.37	c  151s |      15 |   200862 |   101132 |    17706     10 |      911 |      880
153.27/153.39	c  153s |      15 |   202543 |   102432 |    17706     10 |      911 |      880
155.37/155.48	c  155s |      15 |   205300 |   104032 |    17706     10 |      911 |      880
157.68/157.74	c  157s |      15 |   208413 |   105332 |    17706     10 |      911 |      880
159.78/159.87	c  159s |      15 |   210347 |   106632 |    17706     10 |      911 |      880
161.87/161.99	c  161s |      15 |   213738 |   108132 |    17706     10 |      911 |      880
164.07/164.12	c  163s |      15 |   215520 |   109332 |    17706     10 |      911 |      880
166.17/166.25	c  165s |      15 |   217072 |   110432 |    17706     11 |      911 |      880
168.27/168.30	c  168s |      15 |   218379 |   111432 |    17706     11 |      911 |      880
170.27/170.36	c  170s |      15 |   219511 |   112332 |    17706     11 |      911 |      880
172.27/172.37	c  172s |      15 |   220488 |   113132 |    17706     11 |      911 |      880
174.37/174.41	c  174s |      15 |   222054 |   114132 |    17706     11 |      911 |      880
176.37/176.41	c  176s |      15 |   225452 |   115732 |    17706     11 |      911 |      880
178.47/178.58	c  178s |      15 |   227743 |   117032 |    17706     11 |      911 |      880
180.67/180.72	c  180s |      15 |   229986 |   118232 |    17706     11 |      911 |      880
182.87/182.91	c  182s |      15 |   231533 |   119232 |    17706     11 |      911 |      880
184.97/185.06	c  184s |      15 |   233717 |   120432 |    17706     12 |      911 |      880
187.07/187.16	c  186s |      15 |   235282 |   121632 |    17706     12 |      911 |      880
189.17/189.22	c  188s |      15 |   236995 |   122832 |    17706     12 |      911 |      880
191.26/191.36	c  191s |      15 |   238659 |   124032 |    17706     12 |      911 |      880
193.36/193.47	c  193s |      15 |   240816 |   125232 |    17706     12 |      911 |      880
195.46/195.53	c  195s |      15 |   242156 |   126232 |    17706     12 |      911 |      880
197.56/197.65	c  197s |      15 |   243184 |   127132 |    17706     12 |      911 |      880
199.66/199.78	c  199s |      15 |   244609 |   128132 |    17706     12 |      911 |      880
201.86/201.93	c  201s |      15 |   246514 |   129232 |    17706     12 |      911 |      880
203.96/204.01	c  203s |      15 |   247725 |   130132 |    17706     12 |      911 |      880
205.97/206.03	c  205s |      15 |   248949 |   131032 |    19477     13 |      911 |      880
207.07/207.20	c  206s |      16 |   249658 |   131552 |    19477     13 |      911 |      880
209.16/209.30	c  209s |      16 |   258407 |   133952 |    19477     13 |      911 |      880
211.36/211.46	c  211s |      16 |   260265 |   135352 |    19477     13 |      911 |      880
213.36/213.49	c  213s |      16 |   261610 |   136452 |    19477     13 |      911 |      880
215.46/215.53	c  215s |      16 |   262790 |   137452 |    19477     13 |      911 |      880
217.46/217.59	c  217s |      16 |   264237 |   138552 |    19477     13 |      911 |      880
219.56/219.66	c  219s |      16 |   265338 |   139452 |    19477     13 |      911 |      880
221.76/221.89	c  221s |      16 |   266403 |   140352 |    19477     13 |      911 |      880
223.86/223.91	c  223s |      16 |   267335 |   141152 |    19477     13 |      911 |      880
225.96/226.01	c  225s |      16 |   268353 |   141952 |    19477     13 |      911 |      880
228.07/228.11	c  227s |      16 |   270617 |   143252 |    19477     14 |      911 |      880
230.17/230.27	c  230s |      16 |   272125 |   144352 |    19477     14 |      911 |      880
232.26/232.39	c  232s |      16 |   273575 |   145352 |    19477     14 |      911 |      880
234.46/234.56	c  234s |      16 |   275803 |   146652 |    19477     14 |      911 |      880
236.56/236.68	c  236s |      16 |   277365 |   147752 |    19477     14 |      911 |      880
238.66/238.77	c  238s |      16 |   278497 |   148652 |    19477     14 |      911 |      880
240.86/240.97	c  240s |      16 |   279604 |   149552 |    19477     14 |      911 |      880
242.96/243.02	c  242s |      16 |   280561 |   150352 |    19477     14 |      911 |      880
245.15/245.23	c  244s |      16 |   281686 |   151152 |    19477     14 |      911 |      880
247.35/247.49	c  247s |      16 |   282795 |   151952 |    19477     14 |      911 |      880
249.65/249.70	c  249s |      16 |   283604 |   152652 |    19477     14 |      911 |      880
251.65/251.79	c  251s |      16 |   284478 |   153352 |    19477     14 |      911 |      880
253.75/253.81	c  253s |      16 |   285324 |   154052 |    19477     15 |      911 |      880
255.85/255.99	c  255s |      16 |   286542 |   155052 |    19477     15 |      911 |      880
257.95/258.00	c  257s |      16 |   287435 |   155852 |    19477     15 |      911 |      880
259.96/260.02	c  259s |      16 |   288365 |   156652 |    19477     15 |      911 |      880
262.16/262.27	c  262s |      16 |   289471 |   157552 |    19477     15 |      911 |      880
264.45/264.50	c  264s |      16 |   290417 |   158352 |    19477     15 |      911 |      880
266.65/266.73	c  266s |      16 |   291358 |   159152 |    19477     15 |      911 |      880
268.66/268.79	c  268s |      16 |   292171 |   159852 |    19477     15 |      911 |      880
270.75/270.84	c  270s |      16 |   292977 |   160552 |    19477     15 |      911 |      880
272.95/273.02	c  272s |      16 |   293773 |   161252 |    19477     15 |      911 |      880
275.05/275.11	c  274s |      16 |   294577 |   161952 |    19477     15 |      911 |      880
277.05/277.18	c  276s |      16 |   295246 |   162552 |    19477     15 |      911 |      880
279.35/279.45	c  279s |      16 |   296097 |   163252 |    19477     15 |      911 |      880
281.55/281.69	c  281s |      16 |   296926 |   163952 |    19477     15 |      911 |      880
283.85/283.93	c  283s |      16 |   297726 |   164652 |    19477     15 |      911 |      880
286.05/286.10	c  285s |      16 |   298400 |   165252 |    19477     16 |      911 |      880
288.25/288.39	c  288s |      16 |   299305 |   166052 |    19477     16 |      911 |      880
290.55/290.63	c  290s |      16 |   300081 |   166752 |    19477     16 |      911 |      880
292.55/292.68	c  292s |      16 |   300859 |   167452 |    19477     16 |      911 |      880
294.85/294.94	c  294s |      16 |   301913 |   168352 |    19477     16 |      911 |      880
296.94/297.01	c  296s |      16 |   302712 |   169052 |    19477     16 |      911 |      880
299.14/299.27	c  299s |      16 |   303481 |   169752 |    19477     16 |      911 |      880
301.44/301.55	c  301s |      16 |   304264 |   170452 |    19477     16 |      911 |      880
303.54/303.63	c  303s |      16 |   304965 |   171052 |    19477     16 |      911 |      880
305.74/305.83	c  305s |      16 |   305758 |   171752 |    19477     16 |      911 |      880
307.94/308.04	c  307s |      16 |   306528 |   172452 |    19477     16 |      911 |      880
310.04/310.14	c  309s |      16 |   307191 |   173052 |    19477     16 |      911 |      880
312.34/312.42	c  312s |      16 |   307977 |   173752 |    19477     16 |      911 |      880
314.54/314.67	c  314s |      16 |   308644 |   174352 |    19477     16 |      911 |      880
316.84/316.95	c  316s |      16 |   309316 |   174952 |    19477     16 |      911 |      880
318.94/319.04	c  318s |      16 |   309863 |   175452 |    19477     16 |      911 |      880
321.14/321.23	c  320s |      16 |   310404 |   175952 |    19477     16 |      911 |      880
323.75/323.81	c  323s |      16 |   310943 |   176452 |    19477     17 |      911 |      880
325.84/325.94	c  325s |      16 |   311706 |   177152 |    19477     17 |      911 |      880
328.04/328.16	c  327s |      16 |   312491 |   177852 |    19477     17 |      911 |      880
330.34/330.43	c  330s |      16 |   313149 |   178452 |    19477     17 |      911 |      880
332.54/332.61	c  332s |      16 |   313818 |   179052 |    19477     17 |      911 |      880
334.74/334.84	c  334s |      16 |   314762 |   179852 |    19477     17 |      911 |      880
337.04/337.12	c  336s |      16 |   315541 |   180552 |    19477     17 |      911 |      880
339.34/339.42	c  339s |      16 |   316320 |   181252 |    19477     17 |      911 |      880
341.54/341.69	c  341s |      16 |   317090 |   181952 |    19477     17 |      911 |      880
343.73/343.84	c  343s |      16 |   317757 |   182552 |    19477     17 |      911 |      880
345.74/345.84	c  345s |      16 |   318581 |   183252 |    19477     17 |      911 |      880
347.84/347.99	c  347s |      16 |   319461 |   183952 |    19477     17 |      911 |      880
350.04/350.16	c  349s |      16 |   320401 |   184652 |    19477     17 |      911 |      880
352.24/352.39	c  352s |      16 |   321828 |   185652 |    19477     17 |      911 |      880
354.33/354.42	c  354s |      16 |   322827 |   186452 |    19477     17 |      911 |      880
356.33/356.42	c  356s |      16 |   323832 |   187252 |    19477     17 |      911 |      880
358.43/358.52	c  358s |      16 |   324728 |   187952 |    19477     18 |      911 |      880
360.43/360.56	c  360s |      16 |   325936 |   188952 |    19477     18 |      911 |      880
362.54/362.62	c  362s |      16 |   327088 |   189852 |    19477     18 |      911 |      880
364.54/364.64	c  364s |      16 |   328234 |   190752 |    19477     18 |      911 |      880
366.54/366.66	c  366s |      16 |   329174 |   191552 |    19477     18 |      911 |      880
368.53/368.68	c  368s |      16 |   330024 |   192252 |    19477     18 |      911 |      880
370.83/370.95	c  370s |      16 |   330946 |   193052 |    19477     18 |      911 |      880
373.03/373.12	c  372s |      16 |   331852 |   193852 |    19477     18 |      911 |      880
375.23/375.39	c  375s |      16 |   332815 |   194652 |    19477     18 |      911 |      880
377.23/377.39	c  377s |      16 |   333533 |   195252 |    19477     18 |      911 |      880
379.43/379.58	c  379s |      16 |   334597 |   196152 |    21425     18 |      911 |      880
381.42/381.59	c  381s |      16 |   335527 |   196952 |    21425     18 |      911 |      880
382.72/382.88	c  382s |      17 |   336080 |   197432 |    21425     18 |      911 |      880
384.82/385.00	c  384s |      17 |   345408 |   199432 |    21425     19 |      911 |      880
386.92/387.05	c  386s |      17 |   350111 |   201932 |    21425     19 |      911 |      880
388.92/389.05	c  388s |      17 |   353596 |   203932 |    21425     19 |      911 |      880
391.02/391.16	c  390s |      17 |   356952 |   205732 |    21425     19 |      911 |      880
393.12/393.23	c  392s |      17 |   362865 |   207732 |    21425     19 |      911 |      880
395.22/395.35	c  395s |      17 |   364830 |   209232 |    21425     19 |      911 |      880
397.32/397.45	c  397s |      17 |   366821 |   210632 |    21425     19 |      911 |      880
399.41/399.51	c  399s |      17 |   368450 |   211832 |    21425     19 |      911 |      880
401.51/401.64	c  401s |      17 |   369536 |   212732 |    21425     20 |      911 |      880
403.61/403.77	c  403s |      17 |   370983 |   213932 |    21425     20 |      911 |      880
405.81/405.91	c  405s |      17 |   372357 |   215032 |    21425     20 |      911 |      880
407.91/408.04	c  407s |      17 |   373867 |   216232 |    21425     20 |      911 |      880
410.11/410.21	c  409s |      17 |   375392 |   217432 |    21425     20 |      911 |      880
412.21/412.34	c  412s |      17 |   376650 |   218432 |    21425     20 |      911 |      880
414.31/414.43	c  414s |      17 |   377881 |   219432 |    21425     20 |      911 |      880
416.41/416.51	c  416s |      17 |   378981 |   220332 |    21425     20 |      911 |      880
418.61/418.74	c  418s |      17 |   380080 |   221232 |    21425     20 |      911 |      880
420.61/420.78	c  420s |      17 |   381076 |   222032 |    21425     20 |      911 |      880
422.71/422.89	c  422s |      17 |   382231 |   222932 |    21425     20 |      911 |      880
424.91/425.08	c  424s |      17 |   383320 |   223832 |    21425     20 |      911 |      880
426.90/427.10	c  426s |      17 |   384176 |   224532 |    21425     20 |      911 |      880
429.00/429.15	c  428s |      17 |   384904 |   225132 |    21425     21 |      911 |      880
431.10/431.23	c  430s |      17 |   386020 |   226032 |    21425     21 |      911 |      880
433.20/433.39	c  433s |      17 |   387088 |   226932 |    21425     21 |      911 |      880
435.30/435.45	c  435s |      17 |   388077 |   227732 |    21425     21 |      911 |      880
437.40/437.60	c  437s |      17 |   389006 |   228532 |    21425     21 |      911 |      880
439.49/439.63	c  439s |      17 |   389814 |   229232 |    21425     21 |      911 |      880
441.59/441.72	c  441s |      17 |   390652 |   229932 |    21425     21 |      911 |      880
443.79/443.90	c  443s |      17 |   391458 |   230632 |    21425     21 |      911 |      880
445.80/445.93	c  445s |      17 |   392152 |   231232 |    21425     21 |      911 |      880
448.00/448.13	c  447s |      17 |   392944 |   231932 |    21425     21 |      911 |      880
450.10/450.21	c  449s |      17 |   393776 |   232632 |    21425     21 |      911 |      880
452.09/452.26	c  452s |      17 |   394588 |   233332 |    21425     21 |      911 |      880
454.39/454.58	c  454s |      17 |   395404 |   234032 |    21425     21 |      911 |      880
456.49/456.62	c  456s |      17 |   396110 |   234632 |    21425     21 |      911 |      880
458.59/458.73	c  458s |      17 |   396938 |   235332 |    21425     21 |      911 |      880
460.69/460.86	c  460s |      17 |   397763 |   236032 |    21425     21 |      911 |      880
462.89/463.01	c  462s |      17 |   398586 |   236732 |    21425     21 |      911 |      880
464.89/465.07	c  464s |      17 |   399307 |   237332 |    21425     21 |      911 |      880
466.89/467.09	c  466s |      17 |   400007 |   237932 |    21425     22 |      911 |      880
469.19/469.35	c  469s |      17 |   401103 |   238832 |    21425     22 |      911 |      880
471.28/471.41	c  471s |      17 |   402047 |   239632 |    21425     22 |      911 |      880
473.29/473.45	c  473s |      17 |   402854 |   240332 |    21425     22 |      911 |      880
475.58/475.70	c  475s |      17 |   403775 |   241132 |    21425     22 |      911 |      880
477.59/477.71	c  477s |      17 |   404573 |   241832 |    21425     22 |      911 |      880
479.78/479.95	c  479s |      17 |   405508 |   242632 |    21425     22 |      911 |      880
481.98/482.10	c  481s |      17 |   406462 |   243432 |    21425     22 |      911 |      880
483.98/484.15	c  483s |      17 |   407413 |   244232 |    21425     22 |      911 |      880
486.28/486.45	c  486s |      17 |   408344 |   245032 |    21425     22 |      911 |      880
488.48/488.68	c  488s |      17 |   409143 |   245732 |    21425     22 |      911 |      880
490.78/490.91	c  490s |      17 |   409961 |   246432 |    21425     22 |      911 |      880
493.08/493.22	c  492s |      17 |   410783 |   247132 |    21425     22 |      911 |      880
495.07/495.26	c  495s |      17 |   411482 |   247732 |    21425     22 |      911 |      880
497.17/497.37	c  497s |      17 |   412187 |   248332 |    21425     22 |      911 |      880
499.47/499.63	c  499s |      17 |   412984 |   249032 |    21425     22 |      911 |      880
501.78/501.92	c  501s |      17 |   413793 |   249732 |    21425     22 |      911 |      880
503.77/503.96	c  503s |      17 |   414370 |   250232 |    21425     23 |      911 |      880
505.97/506.15	c  505s |      17 |   415275 |   251032 |    21425     23 |      911 |      880
507.97/508.17	c  507s |      17 |   416232 |   251832 |    21425     23 |      911 |      880
510.17/510.30	c  510s |      17 |   417135 |   252632 |    21425     23 |      911 |      880
512.37/512.55	c  512s |      17 |   418037 |   253432 |    21425     23 |      911 |      880
514.57/514.79	c  514s |      17 |   418920 |   254232 |    21425     23 |      911 |      880
516.67/516.81	c  516s |      17 |   419743 |   254932 |    21425     23 |      911 |      880
518.97/519.15	c  518s |      17 |   420561 |   255632 |    21425     23 |      911 |      880
521.16/521.36	c  521s |      17 |   421363 |   256332 |    21425     23 |      911 |      880
523.36/523.55	c  523s |      17 |   422179 |   257032 |    21425     23 |      911 |      880
525.46/525.65	c  525s |      17 |   423004 |   257732 |    21425     23 |      911 |      880
527.46/527.69	c  527s |      17 |   423706 |   258332 |    21425     23 |      911 |      880
529.56/529.79	c  529s |      17 |   424378 |   258932 |    21425     23 |      911 |      880
531.76/531.99	c  531s |      17 |   425065 |   259532 |    21425     23 |      911 |      880
533.86/534.09	c  533s |      17 |   425747 |   260132 |    21425     23 |      911 |      880
535.97/536.15	c  535s |      17 |   426421 |   260732 |    21425     23 |      911 |      880
538.17/538.34	c  538s |      17 |   427092 |   261332 |    21425     23 |      911 |      880
540.36/540.57	c  540s |      17 |   427773 |   261932 |    21425     23 |      911 |      880
542.46/542.65	c  542s |      17 |   428211 |   262332 |    21425     24 |      911 |      880
544.56/544.70	c  544s |      17 |   429013 |   263032 |    21425     24 |      911 |      880
546.55/546.71	c  546s |      17 |   433442 |   264832 |    21425     24 |      911 |      880
548.65/548.84	c  548s |      17 |   436472 |   266532 |    21425     24 |      911 |      880
550.65/550.89	c  550s |      17 |   438124 |   267732 |    21425     24 |      911 |      880
552.75/552.97	c  552s |      17 |   439705 |   268832 |    21425     24 |      911 |      880
554.85/555.05	c  554s |      17 |   440894 |   269732 |    21425     24 |      911 |      880
557.05/557.22	c  556s |      17 |   441956 |   270532 |    21425     24 |      911 |      880
559.15/559.30	c  559s |      17 |   442704 |   271132 |    21425     24 |      911 |      880
561.15/561.34	c  561s |      17 |   443655 |   271832 |    21425     24 |      911 |      880
563.35/563.59	c  563s |      17 |   444659 |   272632 |    21425     24 |      911 |      880
565.65/565.82	c  565s |      17 |   445881 |   273532 |    21425     24 |      911 |      880
568.14/568.36	c  568s |      17 |   447098 |   274432 |    21425     25 |      911 |      880
570.24/570.45	c  570s |      17 |   448480 |   275432 |    21425     25 |      911 |      880
572.25/572.47	c  572s |      17 |   449463 |   276232 |    21425     25 |      911 |      880
574.34/574.57	c  574s |      17 |   450509 |   277032 |    21425     25 |      911 |      880
576.44/576.66	c  576s |      17 |   451347 |   277732 |    21425     25 |      911 |      880
578.64/578.89	c  578s |      17 |   452297 |   278532 |    21425     25 |      911 |      880
580.73/580.98	c  580s |      17 |   453472 |   279432 |    21425     25 |      911 |      880
582.93/583.18	c  582s |      17 |   454442 |   280232 |    21425     25 |      911 |      880
585.03/585.24	c  584s |      17 |   455318 |   280932 |    21425     25 |      911 |      880
587.03/587.25	c  586s |      17 |   456149 |   281632 |    21425     25 |      911 |      880
589.33/589.52	c  589s |      17 |   456998 |   282332 |    21425     25 |      911 |      880
591.33/591.53	c  591s |      17 |   457698 |   282932 |    21425     25 |      911 |      880
593.53/593.71	c  593s |      17 |   458536 |   283632 |    21425     25 |      911 |      880
595.83/596.05	c  595s |      17 |   459308 |   284332 |    21425     25 |      911 |      880
598.03/598.22	c  597s |      17 |   460062 |   284932 |    21425     25 |      911 |      880
600.32/600.51	c  600s |      17 |   460746 |   285532 |    21425     25 |      911 |      880
602.52/602.75	c  602s |      17 |   461406 |   286132 |    21425     25 |      911 |      880
604.62/604.80	c  604s |      17 |   461983 |   286632 |    21425     25 |      911 |      880
606.92/607.11	c  606s |      17 |   462688 |   287232 |    21425     26 |      911 |      880
609.22/609.43	c  609s |      17 |   463480 |   287932 |    21425     26 |      911 |      880
611.22/611.43	c  611s |      17 |   464176 |   288532 |    21425     26 |      911 |      880
613.52/613.75	c  613s |      17 |   464963 |   289232 |    21425     26 |      911 |      880
615.62/615.86	c  615s |      17 |   466164 |   290032 |    21425     26 |      911 |      880
617.62/617.89	c  617s |      17 |   468193 |   291232 |    21425     26 |      911 |      880
619.81/620.01	c  619s |      17 |   469929 |   292332 |    21425     26 |      911 |      880
621.81/622.04	c  621s |      17 |   471416 |   293332 |    21425     26 |      911 |      880
623.82/624.10	c  623s |      17 |   472880 |   294332 |    23568     26 |      911 |      880
625.91/626.20	c  625s |      17 |   474110 |   295232 |    23568     26 |      911 |      880
628.22/628.44	c  628s |      17 |   475349 |   296132 |    23568     26 |      911 |      880
628.41/628.69	c  628s |      18 |   475539 |   296252 |    23568     26 |      911 |      880
630.51/630.77	c  630s |      18 |   482360 |   298052 |    23568     26 |      911 |      880
632.50/632.79	c  632s |      18 |   487291 |   300152 |    23568     26 |      911 |      880
634.70/634.91	c  634s |      18 |   488707 |   301352 |    23568     27 |      911 |      880
636.70/636.96	c  636s |      18 |   491689 |   303052 |    23568     27 |      911 |      880
638.80/639.08	c  638s |      18 |   494204 |   304652 |    23568     27 |      911 |      880
641.00/641.23	c  640s |      18 |   496223 |   306052 |    23568     27 |      911 |      880
643.10/643.35	c  643s |      18 |   497538 |   307152 |    23568     27 |      911 |      880
645.30/645.57	c  645s |      18 |   498930 |   308252 |    23568     27 |      911 |      880
647.50/647.76	c  647s |      18 |   500253 |   309352 |    23568     27 |      911 |      880
649.69/649.96	c  649s |      18 |   501424 |   310352 |    23568     27 |      911 |      880
651.89/652.11	c  651s |      18 |   502916 |   311452 |    23568     27 |      911 |      880
653.99/654.26	c  654s |      18 |   503974 |   312352 |    23568     27 |      911 |      880
656.09/656.33	c  656s |      18 |   505292 |   313352 |    23568     27 |      911 |      880
658.29/658.56	c  658s |      18 |   506708 |   314352 |    23568     27 |      911 |      880
660.59/660.86	c  660s |      18 |   507631 |   315052 |    23568     28 |      911 |      880
662.69/662.96	c  662s |      18 |   509186 |   316152 |    23568     28 |      911 |      880
664.89/665.17	c  664s |      18 |   510983 |   317352 |    23568     28 |      911 |      880
667.09/667.33	c  667s |      18 |   512661 |   318452 |    23568     28 |      911 |      880
669.19/669.46	c  669s |      18 |   514091 |   319452 |    23568     28 |      911 |      880
671.28/671.53	c  671s |      18 |   515341 |   320352 |    23568     28 |      911 |      880
673.39/673.67	c  673s |      18 |   516544 |   321252 |    23568     28 |      911 |      880
675.68/675.95	c  675s |      18 |   517812 |   322152 |    23568     28 |      911 |      880
677.69/677.97	c  677s |      18 |   518922 |   322952 |    23568     28 |      911 |      880
679.99/680.20	c  679s |      18 |   519802 |   323652 |    23568     28 |      911 |      880
681.99/682.29	c  682s |      18 |   520865 |   324452 |    23568     28 |      911 |      880
684.19/684.47	c  684s |      18 |   521726 |   325152 |    23568     28 |      911 |      880
686.49/686.77	c  686s |      18 |   522607 |   325852 |    23568     28 |      911 |      880
688.69/688.99	c  688s |      18 |   523494 |   326552 |    23568     28 |      911 |      880
690.78/691.06	c  690s |      18 |   524352 |   327252 |    23568     28 |      911 |      880
692.98/693.24	c  692s |      18 |   525198 |   327952 |    23568     28 |      911 |      880
694.98/695.26	c  695s |      18 |   525961 |   328552 |    23568     29 |      911 |      880
697.08/697.37	c  697s |      18 |   527132 |   329452 |    23568     29 |      911 |      880
699.18/699.49	c  699s |      18 |   528687 |   330452 |    23568     29 |      911 |      880
701.38/701.63	c  701s |      18 |   530225 |   331552 |    23568     29 |      911 |      880
703.48/703.74	c  703s |      18 |   531374 |   332452 |    23568     29 |      911 |      880
705.88/706.13	c  705s |      18 |   532338 |   333252 |    23568     29 |      911 |      880
707.88/708.15	c  707s |      18 |   533329 |   334052 |    23568     29 |      911 |      880
710.07/710.32	c  710s |      18 |   534478 |   334952 |    23568     29 |      911 |      880
712.07/712.34	c  712s |      18 |   535507 |   335752 |    23568     29 |      911 |      880
714.08/714.35	c  714s |      18 |   536358 |   336452 |    23568     29 |      911 |      880
716.37/716.66	c  716s |      18 |   537327 |   337252 |    23568     29 |      911 |      880
718.47/718.77	c  718s |      18 |   538206 |   337952 |    23568     29 |      911 |      880
720.67/720.96	c  720s |      18 |   539056 |   338652 |    23568     29 |      911 |      880
722.96/723.20	c  722s |      18 |   539914 |   339352 |    23568     29 |      911 |      880
725.07/725.34	c  725s |      18 |   540828 |   340052 |    23568     29 |      911 |      880
727.27/727.53	c  727s |      18 |   541662 |   340752 |    23568     29 |      911 |      880
729.66/729.90	c  729s |      18 |   542542 |   341452 |    23568     30 |      911 |      880
731.76/732.08	c  731s |      18 |   543661 |   342352 |    23568     30 |      911 |      880
733.86/734.17	c  733s |      18 |   544534 |   343052 |    23568     30 |      911 |      880
735.96/736.24	c  735s |      18 |   545367 |   343752 |    23568     30 |      911 |      880
738.26/738.53	c  738s |      18 |   546333 |   344552 |    23568     30 |      911 |      880
740.65/740.90	c  740s |      18 |   547279 |   345352 |    23568     30 |      911 |      880
742.75/743.02	c  742s |      18 |   548091 |   346052 |    23568     30 |      911 |      880
744.76/745.02	c  744s |      18 |   549000 |   346752 |    23568     30 |      911 |      880
746.75/747.04	c  746s |      18 |   549721 |   347352 |    23568     30 |      911 |      880
748.95/749.20	c  748s |      18 |   550420 |   347952 |    23568     30 |      911 |      880
751.25/751.54	c  751s |      18 |   551269 |   348652 |    23568     30 |      911 |      880
753.35/753.63	c  753s |      18 |   551966 |   349252 |    23568     30 |      911 |      880
755.65/755.92	c  755s |      18 |   552647 |   349852 |    23568     30 |      911 |      880
757.64/757.94	c  757s |      18 |   553210 |   350352 |    23568     30 |      911 |      880
759.84/760.19	c  759s |      18 |   553912 |   350952 |    23568     30 |      911 |      880
762.14/762.44	c  762s |      18 |   554621 |   351552 |    23568     30 |      911 |      880
764.44/764.75	c  764s |      18 |   555359 |   352152 |    23568     30 |      911 |      880
766.64/766.97	c  766s |      18 |   555945 |   352652 |    23568     30 |      911 |      880
768.95/769.27	c  769s |      18 |   556685 |   353252 |    23568     30 |      911 |      880
771.33/771.68	c  771s |      18 |   557363 |   353852 |    23568     30 |      911 |      880
773.44/773.73	c  773s |      18 |   557941 |   354352 |    23568     30 |      911 |      880
775.73/776.07	c  775s |      18 |   558510 |   354852 |    23568     31 |      911 |      880
778.03/778.34	c  778s |      18 |   559333 |   355552 |    23568     31 |      911 |      880
780.13/780.46	c  780s |      18 |   560137 |   356252 |    23568     31 |      911 |      880
782.33/782.64	c  782s |      18 |   560919 |   356952 |    23568     31 |      911 |      880
784.62/784.94	c  784s |      18 |   561581 |   357552 |    23568     31 |      911 |      880
786.63/786.95	c  786s |      18 |   562271 |   358152 |    23568     31 |      911 |      880
788.62/788.95	c  788s |      18 |   563016 |   358752 |    23568     31 |      911 |      880
790.82/791.17	c  790s |      18 |   563883 |   359452 |    23568     31 |      911 |      880
792.92/793.21	c  792s |      18 |   564549 |   360052 |    23568     31 |      911 |      880
795.32/795.67	c  795s |      18 |   565352 |   360752 |    23568     31 |      911 |      880
797.42/797.72	c  797s |      18 |   566051 |   361352 |    23568     31 |      911 |      880
799.61/799.95	c  799s |      18 |   566698 |   361952 |    23568     31 |      911 |      880
802.02/802.35	c  802s |      18 |   567412 |   362552 |    23568     31 |      911 |      880
804.21/804.53	c  804s |      18 |   567973 |   363052 |    23568     31 |      911 |      880
806.41/806.77	c  806s |      18 |   568511 |   363552 |    23568     31 |      911 |      880
808.61/808.94	c  808s |      18 |   569095 |   364052 |    23568     31 |      911 |      880
810.71/811.06	c  810s |      18 |   569697 |   364552 |    23568     31 |      911 |      880
813.01/813.37	c  813s |      18 |   570370 |   365152 |    23568     31 |      911 |      880
815.40/815.75	c  815s |      18 |   570931 |   365652 |    23568     31 |      911 |      880
817.60/817.94	c  817s |      18 |   571526 |   366152 |    23568     31 |      911 |      880
819.69/820.01	c  819s |      18 |   572145 |   366652 |    23568     31 |      911 |      880
821.80/822.12	c  821s |      18 |   572750 |   367152 |    23568     31 |      911 |      880
823.79/824.17	c  823s |      18 |   573402 |   367652 |    23568     31 |      911 |      880
825.99/826.39	c  826s |      18 |   573849 |   368052 |    23568     32 |      911 |      880
828.30/828.65	c  828s |      18 |   574827 |   368852 |    23568     32 |      911 |      880
830.59/830.93	c  830s |      18 |   575823 |   369652 |    23568     32 |      911 |      880
832.69/833.01	c  832s |      18 |   576514 |   370252 |    23568     32 |      911 |      880
834.89/835.21	c  834s |      18 |   577347 |   370952 |    23568     32 |      911 |      880
837.09/837.45	c  837s |      18 |   578199 |   371652 |    23568     32 |      911 |      880
839.38/839.76	c  839s |      18 |   578887 |   372252 |    23568     32 |      911 |      880
841.58/841.99	c  841s |      18 |   579743 |   372952 |    23568     32 |      911 |      880
843.88/844.29	c  844s |      18 |   580753 |   373752 |    23568     32 |      911 |      880
846.08/846.46	c  846s |      18 |   581585 |   374452 |    23568     32 |      911 |      880
848.28/848.65	c  848s |      18 |   582424 |   375152 |    23568     32 |      911 |      880
850.47/850.89	c  850s |      18 |   583260 |   375852 |    23568     32 |      911 |      880
852.57/852.98	c  852s |      18 |   584734 |   376652 |    23568     32 |      911 |      880
854.77/855.15	c  854s |      18 |   585629 |   377352 |    23568     32 |      911 |      880
856.97/857.35	c  857s |      18 |   586470 |   378052 |    23568     32 |      911 |      880
859.17/859.55	c  859s |      18 |   587351 |   378752 |    23568     32 |      911 |      880
861.27/861.64	c  861s |      18 |   587954 |   379252 |    23568     32 |      911 |      880
863.47/863.88	c  863s |      18 |   588945 |   379952 |    23568     32 |      911 |      880
865.67/866.06	c  865s |      18 |   589571 |   380452 |    23568     32 |      911 |      880
868.16/868.54	c  868s |      18 |   590597 |   381152 |    23568     33 |      911 |      880
870.36/870.75	c  870s |      18 |   592024 |   382152 |    23568     33 |      911 |      880
872.46/872.85	c  872s |      18 |   593071 |   382952 |    23568     33 |      911 |      880
874.66/875.05	c  874s |      18 |   593916 |   383652 |    23568     33 |      911 |      880
876.76/877.11	c  876s |      18 |   594651 |   384252 |    23568     33 |      911 |      880
878.96/879.31	c  879s |      18 |   595726 |   385052 |    23568     33 |      911 |      880
881.06/881.49	c  881s |      18 |   596310 |   385552 |    23568     33 |      911 |      880
883.15/883.52	c  883s |      18 |   597290 |   386252 |    23568     33 |      911 |      880
885.35/885.78	c  885s |      18 |   598411 |   387152 |    23568     33 |      911 |      880
887.66/888.02	c  887s |      18 |   599362 |   387952 |    23568     33 |      911 |      880
889.85/890.20	c  889s |      18 |   600317 |   388752 |    23568     33 |      911 |      880
891.85/892.25	c  891s |      18 |   601081 |   389352 |    23568     33 |      911 |      880
894.05/894.47	c  894s |      18 |   601963 |   390052 |    23568     33 |      911 |      880
896.14/896.54	c  896s |      18 |   602685 |   390652 |    23568     33 |      911 |      880
898.34/898.75	c  898s |      18 |   603473 |   391252 |    23568     33 |      911 |      880
900.64/901.08	c  900s |      18 |   604066 |   391752 |    23568     33 |      911 |      880
903.04/903.43	c  903s |      18 |   604820 |   392352 |    23568     33 |      911 |      880
905.44/905.83	c  905s |      18 |   605554 |   392952 |    23568     33 |      911 |      880
907.94/908.31	c  908s |      18 |   606155 |   393452 |    23568     33 |      911 |      880
909.93/910.33	c  910s |      18 |   606637 |   393852 |    23568     33 |      911 |      880
912.03/912.44	c  912s |      18 |   607240 |   394352 |    23568     33 |      911 |      880
914.04/914.47	c  914s |      18 |   607584 |   394652 |    23568     34 |      911 |      880
916.53/916.97	c  916s |      18 |   608174 |   395152 |    23568     34 |      911 |      880
918.83/919.28	c  919s |      18 |   608894 |   395752 |    23568     34 |      911 |      880
920.93/921.37	c  921s |      18 |   609596 |   396352 |    23568     34 |      911 |      880
923.43/923.80	c  923s |      18 |   610276 |   396952 |    23568     34 |      911 |      880
925.63/926.07	c  925s |      18 |   610626 |   397252 |    23568     34 |      911 |      880
927.93/928.31	c  928s |      18 |   611080 |   397652 |    23568     34 |      911 |      880
930.13/930.51	c  930s |      18 |   611674 |   398152 |    23568     34 |      911 |      880
932.33/932.77	c  932s |      18 |   612394 |   398752 |    23568     34 |      911 |      880
934.52/934.91	c  934s |      18 |   613083 |   399352 |    23568     34 |      911 |      880
936.72/937.19	c  936s |      18 |   613664 |   399852 |    23568     34 |      911 |      880
938.82/939.25	c  938s |      18 |   614141 |   400252 |    23568     34 |      911 |      880
941.22/941.64	c  941s |      18 |   614762 |   400752 |    23568     34 |      911 |      880
943.32/943.74	c  943s |      18 |   615224 |   401152 |    23568     34 |      911 |      880
945.82/946.24	c  945s |      18 |   615944 |   401752 |    23568     34 |      911 |      880
948.22/948.63	c  948s |      18 |   616572 |   402252 |    23568     34 |      911 |      880
950.21/950.64	c  950s |      18 |   617033 |   402652 |    23568     34 |      911 |      880
952.51/952.97	c  952s |      18 |   617494 |   403052 |    23568     34 |      911 |      880
954.91/955.34	c  955s |      18 |   617975 |   403452 |    23568     34 |      911 |      880
956.91/957.37	c  957s |      18 |   618449 |   403852 |    23568     34 |      911 |      880
959.11/959.60	c  959s |      18 |   618889 |   404252 |    23568     34 |      911 |      880
961.20/961.62	c  961s |      18 |   619347 |   404652 |    23568     34 |      911 |      880
963.20/963.64	c  963s |      18 |   619819 |   405052 |    23568     34 |      911 |      880
965.71/966.14	c  965s |      18 |   620429 |   405552 |    23568     34 |      911 |      880
967.80/968.23	c  967s |      18 |   620761 |   405852 |    23568     34 |      911 |      880
970.00/970.45	c  970s |      18 |   621218 |   406252 |    23568     34 |      911 |      880
972.50/972.97	c  972s |      18 |   621674 |   406652 |    23568     34 |      911 |      880
974.89/975.35	c  975s |      18 |   622140 |   407052 |    23568     34 |      911 |      880
977.09/977.59	c  977s |      18 |   622747 |   407552 |    23568     34 |      911 |      880
979.19/979.63	c  979s |      18 |   623186 |   407952 |    23568     35 |      911 |      880
981.19/981.69	c  981s |      18 |   623974 |   408652 |    23568     35 |      911 |      880
983.49/983.92	c  983s |      18 |   624802 |   409352 |    23568     35 |      911 |      880
985.69/986.14	c  985s |      18 |   625495 |   409952 |    23568     35 |      911 |      880
987.88/988.31	c  988s |      18 |   625970 |   410352 |    23568     35 |      911 |      880
989.99/990.43	c  990s |      18 |   626574 |   410852 |    23568     35 |      911 |      880
992.19/992.63	c  992s |      18 |   627143 |   411352 |    23568     35 |      911 |      880
994.48/994.96	c  994s |      18 |   627586 |   411752 |    23568     35 |      911 |      880
996.68/997.16	c  996s |      18 |   628191 |   412252 |    23568     35 |      911 |      880
998.88/999.37	c  999s |      18 |   628657 |   412652 |    23568     35 |      911 |      880
1001.27/1001.77	c 1001s |      18 |   629237 |   413152 |    23568     35 |      911 |      880
1003.37/1003.83	c 1003s |      18 |   629820 |   413652 |    23568     35 |      911 |      880
1005.47/1005.98	c 1005s |      18 |   630260 |   414052 |    23568     35 |      911 |      880
1007.67/1008.11	c 1007s |      18 |   630606 |   414352 |    23568     35 |      911 |      880
1009.87/1010.31	c 1010s |      18 |   631184 |   414852 |    23568     35 |      911 |      880
1012.47/1012.96	c 1012s |      18 |   631626 |   415252 |    23568     35 |      911 |      880
1014.87/1015.30	c 1015s |      18 |   632509 |   415952 |    23568     35 |      911 |      880
1017.07/1017.51	c 1017s |      18 |   633109 |   416452 |    23568     35 |      911 |      880
1019.47/1019.92	c 1019s |      18 |   633583 |   416852 |    23568     35 |      911 |      880
1021.47/1021.98	c 1021s |      18 |   634055 |   417252 |    23568     35 |      911 |      880
1024.17/1024.61	c 1024s |      18 |   634511 |   417652 |    23568     35 |      911 |      880
1026.37/1026.86	c 1026s |      18 |   634860 |   417952 |    23568     35 |      911 |      880
1028.47/1028.91	c 1028s |      18 |   635222 |   418252 |    23568     35 |      911 |      880
1030.47/1030.94	c 1030s |      18 |   635569 |   418552 |    23568     35 |      911 |      880
1032.97/1033.40	c 1033s |      18 |   635907 |   418852 |    23568     35 |      911 |      880
1035.37/1035.84	c 1035s |      18 |   636371 |   419252 |    23568     35 |      911 |      880
1037.47/1037.97	c 1037s |      18 |   636835 |   419652 |    23568     35 |      911 |      880
1039.67/1040.12	c 1039s |      18 |   637297 |   420052 |    23568     35 |      911 |      880
1042.57/1043.08	c 1042s |      18 |   637638 |   420352 |    23568     35 |      911 |      880
1045.17/1045.60	c 1045s |      18 |   637973 |   420652 |    23568     35 |      911 |      880
1047.17/1047.69	c 1047s |      18 |   638307 |   420952 |    23568     35 |      911 |      880
1049.76/1050.27	c 1050s |      18 |   638665 |   421252 |    23568     36 |      911 |      880
1051.96/1052.44	c 1052s |      18 |   639157 |   421652 |    23568     36 |      911 |      880
1054.46/1054.97	c 1054s |      18 |   639733 |   422152 |    23568     36 |      911 |      880
1056.97/1057.44	c 1057s |      18 |   640304 |   422652 |    23568     36 |      911 |      880
1059.07/1059.51	c 1059s |      18 |   641122 |   423152 |    23568     36 |      911 |      880
1061.17/1061.68	c 1061s |      18 |   642442 |   424052 |    23568     36 |      911 |      880
1063.47/1064.00	c 1063s |      18 |   643556 |   424852 |    23568     36 |      911 |      880
1065.67/1066.11	c 1065s |      18 |   644508 |   425552 |    23568     36 |      911 |      880
1067.87/1068.35	c 1068s |      18 |   645397 |   426252 |    23568     36 |      911 |      880
1069.97/1070.42	c 1070s |      18 |   646255 |   426952 |    23568     36 |      911 |      880
1071.97/1072.48	c 1072s |      18 |   646986 |   427552 |    23568     36 |      911 |      880
1074.17/1074.67	c 1074s |      18 |   647724 |   428152 |    23568     36 |      911 |      880
1076.37/1076.82	c 1076s |      18 |   648490 |   428752 |    23568     36 |      911 |      880
1078.37/1078.89	c 1078s |      18 |   649074 |   429252 |    23568     36 |      911 |      880
1080.67/1081.15	c 1080s |      18 |   650168 |   429952 |    23568     36 |      911 |      880
1082.87/1083.31	c 1083s |      18 |   650842 |   430452 |    23568     36 |      911 |      880
1084.97/1085.44	c 1085s |      18 |   651768 |   431152 |    23568     36 |      911 |      880
1086.97/1087.45	c 1087s |      18 |   652437 |   431652 |    23568     36 |      911 |      880
1089.27/1089.71	c 1089s |      18 |   653379 |   432352 |    23568     36 |      911 |      880
1091.57/1092.00	c 1091s |      18 |   654261 |   433052 |    23568     36 |      911 |      880
1093.57/1094.04	c 1093s |      18 |   655013 |   433652 |    23568     36 |      911 |      880
1095.87/1096.31	c 1096s |      18 |   655728 |   434252 |    23568     36 |      911 |      880
1097.87/1098.34	c 1098s |      18 |   656216 |   434652 |    23568     37 |      911 |      880
1100.16/1100.61	c 1100s |      18 |   657274 |   435452 |    23568     37 |      911 |      880
1102.36/1102.82	c 1102s |      18 |   658250 |   436252 |    23568     37 |      911 |      880
1104.46/1104.95	c 1104s |      18 |   659101 |   436952 |    23568     37 |      911 |      880
1106.57/1107.04	c 1106s |      18 |   659942 |   437652 |    23568     37 |      911 |      880
1108.86/1109.36	c 1109s |      18 |   660771 |   438352 |    23568     37 |      911 |      880
1111.16/1111.63	c 1111s |      18 |   661638 |   439052 |    23568     37 |      911 |      880
1113.36/1113.87	c 1113s |      18 |   662503 |   439752 |    23568     37 |      911 |      880
1115.76/1116.26	c 1116s |      18 |   663191 |   440352 |    23568     37 |      911 |      880
1118.16/1118.69	c 1118s |      18 |   664091 |   441052 |    23568     37 |      911 |      880
1120.46/1120.91	c 1120s |      18 |   664891 |   441752 |    25925     37 |      911 |      880
1122.66/1123.11	c 1122s |      18 |   665596 |   442352 |    25925     37 |      911 |      880
1124.86/1125.39	c 1125s |      18 |   666478 |   443052 |    25925     37 |      911 |      880
1127.06/1127.59	c 1127s |      18 |   667186 |   443652 |    25925     37 |      911 |      880
1129.26/1129.77	c 1129s |      18 |   668131 |   444352 |    25925     37 |      911 |      880
1129.76/1130.29	c 1130s |      19 |   668277 |   444482 |    25925     37 |      911 |      880
1131.86/1132.38	c 1132s |      19 |   671704 |   445982 |    25925     37 |      911 |      880
1133.96/1134.46	c 1134s |      19 |   674853 |   447982 |    25925     37 |      911 |      880
1136.46/1136.97	c 1136s |      19 |   678517 |   449782 |    25925     38 |      911 |      880
1138.55/1139.01	c 1138s |      19 |   683738 |   451882 |    25925     38 |      911 |      880
1140.66/1141.16	c 1140s |      19 |   686585 |   453482 |    25925     38 |      911 |      880
1142.65/1143.18	c 1142s |      19 |   688162 |   454782 |    25925     38 |      911 |      880
1144.75/1145.29	c 1145s |      19 |   689640 |   455982 |    25925     38 |      911 |      880
1146.95/1147.45	c 1147s |      19 |   691286 |   457282 |    25925     38 |      911 |      880
1149.05/1149.56	c 1149s |      19 |   692976 |   458482 |    25925     38 |      911 |      880
1151.05/1151.56	c 1151s |      19 |   694098 |   459482 |    25925     38 |      911 |      880
1153.05/1153.59	c 1153s |      19 |   695243 |   460482 |    25925     38 |      911 |      880
1155.15/1155.68	c 1155s |      19 |   696219 |   461382 |    25925     38 |      911 |      880
1157.16/1157.69	c 1157s |      19 |   697103 |   462182 |    25925     38 |      911 |      880
1159.36/1159.82	c 1159s |      19 |   697984 |   462982 |    25925     38 |      911 |      880
1161.35/1161.88	c 1161s |      19 |   699166 |   463782 |    25925     38 |      911 |      880
1163.55/1164.02	c 1163s |      19 |   700297 |   464682 |    25925     39 |      911 |      880
1165.55/1166.09	c 1165s |      19 |   701976 |   465882 |    25925     39 |      911 |      880
1167.65/1168.14	c 1167s |      19 |   703397 |   467082 |    25925     39 |      911 |      880
1169.75/1170.24	c 1169s |      19 |   705110 |   468382 |    25925     39 |      911 |      880
1171.85/1172.35	c 1172s |      19 |   707061 |   469582 |    25925     39 |      911 |      880
1173.95/1174.42	c 1174s |      19 |   708002 |   470482 |    25925     39 |      911 |      880
1176.15/1176.64	c 1176s |      19 |   708985 |   471382 |    25925     39 |      911 |      880
1178.35/1178.80	c 1178s |      19 |   709864 |   472182 |    25925     39 |      911 |      880
1180.45/1180.92	c 1180s |      19 |   710716 |   472982 |    25925     39 |      911 |      880
1182.55/1183.09	c 1182s |      19 |   712588 |   473982 |    25925     39 |      911 |      880
1184.65/1185.11	c 1184s |      19 |   714020 |   474982 |    25925     39 |      911 |      880
1186.65/1187.19	c 1186s |      19 |   714942 |   475782 |    25925     39 |      911 |      880
1188.75/1189.22	c 1188s |      19 |   715569 |   476382 |    25925     39 |      911 |      880
1190.95/1191.40	c 1191s |      19 |   716314 |   477082 |    25925     39 |      911 |      880
1193.05/1193.52	c 1193s |      19 |   716969 |   477682 |    25925     39 |      911 |      880
1195.05/1195.59	c 1195s |      19 |   717602 |   478282 |    25925     39 |      911 |      880
1197.45/1197.97	c 1197s |      19 |   718637 |   478982 |    25925     40 |      911 |      880
1199.54/1200.02	c 1199s |      19 |   720057 |   479982 |    25925     40 |      911 |      880
1201.64/1202.10	c 1201s |      19 |   721206 |   480882 |    25925     40 |      911 |      880
1203.74/1204.27	c 1204s |      19 |   722506 |   481882 |    25925     40 |      911 |      880
1205.84/1206.35	c 1206s |      19 |   723505 |   482682 |    25925     40 |      911 |      880
1207.84/1208.40	c 1208s |      19 |   724199 |   483282 |    25925     40 |      911 |      880
1210.14/1210.62	c 1210s |      19 |   725048 |   483982 |    25925     40 |      911 |      880
1212.44/1212.92	c 1212s |      19 |   725867 |   484682 |    25925     40 |      911 |      880
1214.54/1215.00	c 1214s |      19 |   726838 |   485482 |    25925     40 |      911 |      880
1216.55/1217.03	c 1216s |      19 |   727774 |   486282 |    25925     40 |      911 |      880
1218.65/1219.11	c 1218s |      19 |   728676 |   487082 |    25925     40 |      911 |      880
1220.64/1221.16	c 1220s |      19 |   729439 |   487782 |    25925     40 |      911 |      880
1222.64/1223.18	c 1222s |      19 |   730239 |   488482 |    25925     40 |      911 |      880
1224.74/1225.26	c 1225s |      19 |   731042 |   489182 |    25925     40 |      911 |      880
1226.94/1227.43	c 1227s |      19 |   731885 |   489882 |    25925     40 |      911 |      880
1228.94/1229.45	c 1229s |      19 |   732530 |   490482 |    25925     40 |      911 |      880
1231.14/1231.63	c 1231s |      19 |   733193 |   491082 |    25925     40 |      911 |      880
1233.24/1233.74	c 1233s |      19 |   733864 |   491682 |    25925     40 |      911 |      880
1235.25/1235.78	c 1235s |      19 |   734838 |   492482 |    25925     40 |      911 |      880
1237.24/1237.80	c 1237s |      19 |   736344 |   493582 |    25925     40 |      911 |      880
1239.34/1239.90	c 1239s |      19 |   737660 |   494582 |    25925     41 |      911 |      880
1241.44/1241.96	c 1241s |      19 |   738886 |   495582 |    25925     41 |      911 |      880
1243.64/1244.15	c 1243s |      19 |   739909 |   496482 |    25925     41 |      911 |      880
1245.74/1246.22	c 1245s |      19 |   740984 |   497382 |    25925     41 |      911 |      880
1247.74/1248.27	c 1248s |      19 |   741890 |   498182 |    25925     41 |      911 |      880
1249.74/1250.28	c 1250s |      19 |   742954 |   498982 |    25925     41 |      911 |      880
1251.84/1252.37	c 1252s |      19 |   744000 |   499882 |    25925     41 |      911 |      880
1253.84/1254.39	c 1254s |      19 |   745215 |   500782 |    25925     41 |      911 |      880
1256.14/1256.66	c 1256s |      19 |   746236 |   501682 |    25925     41 |      911 |      880
1258.34/1258.83	c 1258s |      19 |   746952 |   502282 |    25925     41 |      911 |      880
1260.64/1261.20	c 1260s |      19 |   747638 |   502882 |    25925     41 |      911 |      880
1262.74/1263.27	c 1263s |      19 |   748074 |   503282 |    25925     41 |      911 |      880
1265.03/1265.59	c 1265s |      19 |   748618 |   503782 |    25925     41 |      911 |      880
1267.14/1267.61	c 1267s |      19 |   749148 |   504282 |    25925     41 |      911 |      880
1269.24/1269.78	c 1269s |      19 |   749575 |   504682 |    25925     41 |      911 |      880
1271.33/1271.89	c 1271s |      19 |   750034 |   505082 |    25925     41 |      911 |      880
1273.64/1274.15	c 1273s |      19 |   750730 |   505682 |    25925     41 |      911 |      880
1275.94/1276.44	c 1276s |      19 |   751530 |   506382 |    25925     41 |      911 |      880
1278.04/1278.57	c 1278s |      19 |   752193 |   506982 |    25925     41 |      911 |      880
1280.13/1280.68	c 1280s |      19 |   752861 |   507582 |    25925     41 |      911 |      880
1282.23/1282.78	c 1282s |      19 |   753398 |   508082 |    25925     41 |      911 |      880
1284.33/1284.80	c 1284s |      19 |   753835 |   508482 |    25925     42 |      911 |      880
1286.53/1287.03	c 1286s |      19 |   754978 |   509482 |    25925     42 |      911 |      880
1288.83/1289.36	c 1289s |      19 |   755753 |   510182 |    25925     42 |      911 |      880
1291.03/1291.57	c 1291s |      19 |   756415 |   510782 |    25925     42 |      911 |      880
1293.23/1293.77	c 1293s |      19 |   757065 |   511382 |    25925     42 |      911 |      880
1295.64/1296.12	c 1295s |      19 |   757629 |   511882 |    25925     42 |      911 |      880
1297.83/1298.37	c 1298s |      19 |   758810 |   512882 |    25925     42 |      911 |      880
1299.83/1300.37	c 1300s |      19 |   760182 |   513882 |    25925     42 |      911 |      880
1301.83/1302.39	c 1302s |      19 |   761027 |   514582 |    25925     42 |      911 |      880
1304.13/1304.69	c 1304s |      19 |   761801 |   515282 |    25925     42 |      911 |      880
1306.33/1306.89	c 1306s |      19 |   762687 |   515982 |    25925     42 |      911 |      880
1308.63/1309.14	c 1308s |      19 |   763501 |   516682 |    25925     42 |      911 |      880
1310.92/1311.47	c 1311s |      19 |   764173 |   517282 |    25925     42 |      911 |      880
1313.02/1313.54	c 1313s |      19 |   764730 |   517782 |    25925     42 |      911 |      880
1315.23/1315.79	c 1315s |      19 |   765283 |   518282 |    25925     42 |      911 |      880
1317.53/1318.02	c 1317s |      19 |   765999 |   518882 |    25925     42 |      911 |      880
1319.73/1320.27	c 1320s |      19 |   766833 |   519582 |    25925     42 |      911 |      880
1321.83/1322.35	c 1322s |      19 |   768351 |   520482 |    25925     42 |      911 |      880
1324.13/1324.65	c 1324s |      19 |   769462 |   521482 |    25925     42 |      911 |      880
1326.33/1326.83	c 1326s |      19 |   770598 |   522482 |    25925     42 |      911 |      880
1328.33/1328.84	c 1328s |      19 |   771158 |   522982 |    25925     43 |      911 |      880
1330.43/1330.96	c 1330s |      19 |   772206 |   523882 |    25925     43 |      911 |      880
1332.53/1333.01	c 1332s |      19 |   773086 |   524682 |    25925     43 |      911 |      880
1334.63/1335.19	c 1334s |      19 |   773969 |   525482 |    25925     43 |      911 |      880
1336.83/1337.32	c 1337s |      19 |   774729 |   526182 |    25925     43 |      911 |      880
1338.93/1339.44	c 1339s |      19 |   775510 |   526882 |    25925     43 |      911 |      880
1341.23/1341.80	c 1341s |      19 |   776281 |   527582 |    25925     43 |      911 |      880
1343.43/1343.93	c 1343s |      19 |   776955 |   528182 |    25925     43 |      911 |      880
1345.53/1346.00	c 1345s |      19 |   777596 |   528782 |    25925     43 |      911 |      880
1347.73/1348.28	c 1348s |      19 |   778254 |   529382 |    25925     43 |      911 |      880
1350.03/1350.58	c 1350s |      19 |   779019 |   530082 |    25925     43 |      911 |      880
1352.23/1352.71	c 1352s |      19 |   779730 |   530682 |    25925     43 |      911 |      880
1354.53/1355.05	c 1354s |      19 |   780377 |   531282 |    25925     43 |      911 |      880
1356.63/1357.10	c 1356s |      19 |   781037 |   531882 |    25925     43 |      911 |      880
1358.83/1359.35	c 1359s |      19 |   782072 |   532782 |    25925     43 |      911 |      880
1361.03/1361.53	c 1361s |      19 |   783110 |   533682 |    25925     43 |      911 |      880
1363.22/1363.75	c 1363s |      19 |   784036 |   534482 |    25925     43 |      911 |      880
1365.32/1365.84	c 1365s |      19 |   784935 |   535282 |    25925     43 |      911 |      880
1367.52/1368.09	c 1367s |      19 |   785857 |   536082 |    25925     43 |      911 |      880
1369.82/1370.34	c 1370s |      19 |   786647 |   536782 |    25925     43 |      911 |      880
1371.92/1372.47	c 1372s |      19 |   787175 |   537282 |    25925     44 |      911 |      880
1374.02/1374.52	c 1374s |      19 |   787924 |   537982 |    25925     44 |      911 |      880
1376.03/1376.53	c 1376s |      19 |   788677 |   538682 |    25925     44 |      911 |      880
1378.13/1378.67	c 1378s |      19 |   789417 |   539382 |    25925     44 |      911 |      880
1380.22/1380.78	c 1380s |      19 |   790173 |   540082 |    25925     44 |      911 |      880
1382.42/1382.91	c 1382s |      19 |   790971 |   540782 |    25925     44 |      911 |      880
1384.42/1384.99	c 1384s |      19 |   791787 |   541482 |    25925     44 |      911 |      880
1386.52/1387.07	c 1386s |      19 |   792701 |   542282 |    25925     44 |      911 |      880
1388.82/1389.31	c 1389s |      19 |   793600 |   543082 |    25925     44 |      911 |      880
1391.02/1391.51	c 1391s |      19 |   794964 |   543882 |    25925     44 |      911 |      880
1393.02/1393.53	c 1393s |      19 |   795857 |   544682 |    25925     44 |      911 |      880
1395.11/1395.64	c 1395s |      19 |   801433 |   546382 |    25925     44 |      911 |      880
1397.11/1397.69	c 1397s |      19 |   805058 |   548182 |    25925     44 |      911 |      880
1399.31/1399.84	c 1399s |      19 |   806883 |   549582 |    25925     44 |      911 |      880
1401.41/1401.92	c 1401s |      19 |   808254 |   550682 |    25925     44 |      911 |      880
1404.01/1404.59	c 1404s |      19 |   809982 |   551882 |    25925     45 |      911 |      880
1406.11/1406.62	c 1406s |      19 |   811213 |   552782 |    25925     45 |      911 |      880
1408.21/1408.78	c 1408s |      19 |   813012 |   554082 |    25925     45 |      911 |      880
1410.31/1410.86	c 1410s |      19 |   814549 |   555182 |    25925     45 |      911 |      880
1412.51/1413.06	c 1412s |      19 |   815904 |   556082 |    25925     45 |      911 |      880
1414.71/1415.25	c 1414s |      19 |   817972 |   557382 |    25925     45 |      911 |      880
1416.81/1417.37	c 1417s |      19 |   819864 |   558582 |    25925     45 |      911 |      880
1418.92/1419.40	c 1419s |      19 |   821337 |   559582 |    25925     45 |      911 |      880
1421.12/1421.68	c 1421s |      19 |   822451 |   560482 |    25925     45 |      911 |      880
1423.21/1423.80	c 1423s |      19 |   823698 |   561382 |    25925     45 |      911 |      880
1425.41/1425.97	c 1425s |      19 |   824546 |   562082 |    25925     45 |      911 |      880
1427.61/1428.19	c 1427s |      19 |   825711 |   562982 |    25925     45 |      911 |      880
1429.71/1430.21	c 1429s |      19 |   826468 |   563582 |    25925     45 |      911 |      880
1432.01/1432.52	c 1432s |      19 |   827311 |   564282 |    25925     45 |      911 |      880
1434.02/1434.57	c 1434s |      19 |   828027 |   564882 |    25925     45 |      911 |      880
1436.21/1436.71	c 1436s |      19 |   828918 |   565582 |    25925     45 |      911 |      880
1438.21/1438.73	c 1438s |      19 |   829659 |   566182 |    25925     45 |      911 |      880
1440.31/1440.89	c 1440s |      19 |   830275 |   566682 |    25925     46 |      911 |      880
1442.51/1443.00	c 1442s |      19 |   831315 |   567482 |    25925     46 |      911 |      880
1444.71/1445.23	c 1444s |      19 |   832340 |   568282 |    25925     46 |      911 |      880
1446.81/1447.38	c 1447s |      19 |   833210 |   568982 |    25925     46 |      911 |      880
1448.91/1449.47	c 1449s |      19 |   834086 |   569682 |    25925     46 |      911 |      880
1451.01/1451.51	c 1451s |      19 |   834814 |   570282 |    25925     46 |      911 |      880
1453.11/1453.61	c 1453s |      19 |   835553 |   570882 |    25925     46 |      911 |      880
1455.22/1455.78	c 1455s |      19 |   836142 |   571382 |    25925     46 |      911 |      880
1457.42/1457.93	c 1457s |      19 |   836991 |   572082 |    25925     46 |      911 |      880
1459.52/1460.09	c 1459s |      19 |   837726 |   572682 |    25925     46 |      911 |      880
1461.72/1462.27	c 1462s |      19 |   838416 |   573282 |    25925     46 |      911 |      880
1464.11/1464.62	c 1464s |      19 |   839102 |   573882 |    25925     46 |      911 |      880
1466.12/1466.68	c 1466s |      19 |   839728 |   574382 |    25925     46 |      911 |      880
1468.61/1469.11	c 1468s |      19 |   840301 |   574882 |    25925     46 |      911 |      880
1471.01/1471.55	c 1471s |      19 |   840995 |   575482 |    25925     46 |      911 |      880
1473.51/1474.05	c 1473s |      19 |   841542 |   575982 |    25925     46 |      911 |      880
1475.71/1476.29	c 1476s |      19 |   842325 |   576582 |    25925     46 |      911 |      880
1478.11/1478.65	c 1478s |      19 |   843222 |   577282 |    25925     46 |      911 |      880
1480.41/1480.92	c 1480s |      19 |   843954 |   577882 |    25925     46 |      911 |      880
1482.71/1483.27	c 1483s |      19 |   844849 |   578582 |    25925     46 |      911 |      880
1484.81/1485.40	c 1485s |      19 |   845594 |   579182 |    25925     46 |      911 |      880
1486.91/1487.40	c 1487s |      19 |   846177 |   579682 |    25925     46 |      911 |      880
1488.91/1489.42	c 1489s |      19 |   846779 |   580182 |    25925     46 |      911 |      880
1491.01/1491.52	c 1491s |      19 |   847785 |   580882 |    25925     46 |      911 |      880
1493.11/1493.65	c 1493s |      19 |   848398 |   581382 |    25925     47 |      911 |      880
1495.20/1495.71	c 1495s |      19 |   849380 |   582182 |    25925     47 |      911 |      880
1497.20/1497.73	c 1497s |      19 |   850404 |   582982 |    25925     47 |      911 |      880
1499.21/1499.77	c 1499s |      19 |   851260 |   583682 |    25925     47 |      911 |      880
1501.20/1501.79	c 1501s |      19 |   852087 |   584382 |    25925     47 |      911 |      880
1503.51/1504.04	c 1503s |      19 |   852899 |   585082 |    25925     47 |      911 |      880
1505.60/1506.12	c 1505s |      19 |   853619 |   585682 |    25925     47 |      911 |      880
1507.60/1508.14	c 1507s |      19 |   854319 |   586282 |    25925     47 |      911 |      880
1509.70/1510.24	c 1509s |      19 |   855034 |   586882 |    25925     47 |      911 |      880
1511.90/1512.41	c 1512s |      19 |   856034 |   587682 |    25925     47 |      911 |      880
1514.10/1514.68	c 1514s |      19 |   856959 |   588482 |    25925     47 |      911 |      880
1516.40/1516.94	c 1516s |      19 |   857635 |   589082 |    25925     47 |      911 |      880
1518.50/1519.02	c 1518s |      19 |   858344 |   589682 |    25925     47 |      911 |      880
1520.70/1521.21	c 1520s |      19 |   859156 |   590382 |    25925     47 |      911 |      880
1523.00/1523.55	c 1523s |      19 |   859854 |   590982 |    25925     47 |      911 |      880
1525.20/1525.78	c 1525s |      19 |   860759 |   591682 |    25925     47 |      911 |      880
1527.60/1528.14	c 1527s |      19 |   861517 |   592282 |    25925     47 |      911 |      880
1529.80/1530.35	c 1530s |      19 |   862380 |   592982 |    25925     47 |      911 |      880
1532.11/1532.63	c 1532s |      19 |   863091 |   593582 |    25925     47 |      911 |      880
1534.10/1534.68	c 1534s |      19 |   863881 |   594182 |    25925     47 |      911 |      880
1536.30/1536.84	c 1536s |      19 |   864662 |   594782 |    25925     47 |      911 |      880
1538.40/1538.98	c 1538s |      19 |   865272 |   595282 |    25925     47 |      911 |      880
1540.80/1541.35	c 1541s |      19 |   865741 |   595682 |    25925     48 |      911 |      880
1542.90/1543.43	c 1543s |      19 |   866300 |   596182 |    25925     48 |      911 |      880
1545.20/1545.74	c 1545s |      19 |   867029 |   596782 |    25925     48 |      911 |      880
1547.40/1547.97	c 1547s |      19 |   868207 |   597682 |    25925     48 |      911 |      880
1549.50/1550.08	c 1549s |      19 |   869269 |   598482 |    25925     48 |      911 |      880
1551.60/1552.13	c 1551s |      19 |   869993 |   599082 |    25925     48 |      911 |      880
1553.59/1554.20	c 1553s |      19 |   870704 |   599682 |    25925     48 |      911 |      880
1555.79/1556.33	c 1556s |      19 |   871541 |   600382 |    25925     48 |      911 |      880
1557.79/1558.34	c 1558s |      19 |   872267 |   600982 |    25925     48 |      911 |      880
1559.99/1560.59	c 1560s |      19 |   873106 |   601682 |    25925     48 |      911 |      880
1562.29/1562.82	c 1562s |      19 |   873826 |   602282 |    25925     48 |      911 |      880
1564.39/1564.95	c 1564s |      19 |   874633 |   602882 |    25925     48 |      911 |      880
1566.69/1567.23	c 1566s |      19 |   875358 |   603482 |    25925     48 |      911 |      880
1568.89/1569.46	c 1569s |      19 |   876224 |   604182 |    25925     48 |      911 |      880
1571.09/1571.60	c 1571s |      19 |   876917 |   604782 |    25925     48 |      911 |      880
1573.09/1573.63	c 1573s |      19 |   877685 |   605382 |    25925     48 |      911 |      880
1575.29/1575.83	c 1575s |      19 |   878404 |   605982 |    25925     48 |      911 |      880
1577.49/1578.04	c 1577s |      19 |   879240 |   606682 |    25925     48 |      911 |      880
1579.69/1580.29	c 1580s |      19 |   879943 |   607282 |    25925     48 |      911 |      880
1581.99/1582.57	c 1582s |      19 |   880646 |   607882 |    25925     48 |      911 |      880
1584.29/1584.84	c 1584s |      19 |   881228 |   608382 |    25925     48 |      911 |      880
1586.29/1586.89	c 1586s |      19 |   881824 |   608882 |    25925     48 |      911 |      880
1588.39/1588.97	c 1588s |      19 |   882414 |   609382 |    25925     48 |      911 |      880
1590.79/1591.30	c 1591s |      19 |   883217 |   609982 |    25925     48 |      911 |      880
1592.89/1593.41	c 1593s |      19 |   883907 |   610482 |    25925     49 |      911 |      880
1595.09/1595.65	c 1595s |      19 |   884738 |   611182 |    25925     49 |      911 |      880
1597.39/1597.93	c 1597s |      19 |   885586 |   611882 |    25925     49 |      911 |      880
1599.69/1600.23	c 1599s |      19 |   886410 |   612582 |    25925     49 |      911 |      880
1601.89/1602.45	c 1602s |      19 |   887221 |   613282 |    25925     49 |      911 |      880
1604.19/1604.71	c 1604s |      19 |   887909 |   613882 |    25925     49 |      911 |      880
1606.49/1607.01	c 1606s |      19 |   888638 |   614482 |    25925     49 |      911 |      880
1608.79/1609.33	c 1609s |      19 |   889382 |   615082 |    25925     49 |      911 |      880
1610.89/1611.46	c 1611s |      19 |   890110 |   615682 |    25925     49 |      911 |      880
1613.28/1613.80	c 1613s |      19 |   890837 |   616282 |    25925     49 |      911 |      880
1615.69/1616.24	c 1615s |      19 |   891555 |   616882 |    25925     49 |      911 |      880
1617.89/1618.48	c 1618s |      19 |   892143 |   617382 |    25925     49 |      911 |      880
1620.19/1620.72	c 1620s |      19 |   892865 |   617982 |    25925     49 |      911 |      880
1622.48/1623.04	c 1622s |      19 |   893596 |   618582 |    25925     49 |      911 |      880
1624.49/1625.07	c 1624s |      19 |   894188 |   619082 |    25925     49 |      911 |      880
1626.58/1627.16	c 1626s |      19 |   894795 |   619582 |    25925     49 |      911 |      880
1628.58/1629.19	c 1628s |      19 |   895394 |   620082 |    25925     49 |      911 |      880
1630.68/1631.21	c 1630s |      19 |   896004 |   620582 |    25925     49 |      911 |      880
1632.78/1633.38	c 1633s |      19 |   896602 |   621082 |    25925     49 |      911 |      880
1634.88/1635.40	c 1635s |      19 |   897209 |   621582 |    25925     49 |      911 |      880
1636.98/1637.59	c 1637s |      19 |   897827 |   622082 |    25925     49 |      911 |      880
1639.08/1639.61	c 1639s |      19 |   898305 |   622482 |    25925     49 |      911 |      880
1641.38/1641.93	c 1641s |      19 |   899323 |   623182 |    25925     49 |      911 |      880
1643.58/1644.11	c 1643s |      19 |   900282 |   623882 |    25925     49 |      911 |      880
1645.68/1646.27	c 1646s |      19 |   901350 |   624582 |    25925     49 |      911 |      880
1647.88/1648.44	c 1648s |      19 |   902133 |   625182 |    25925     50 |      911 |      880
1649.89/1650.48	c 1650s |      19 |   903140 |   625982 |    25925     50 |      911 |      880
1652.18/1652.79	c 1652s |      19 |   904097 |   626782 |    25925     50 |      911 |      880
1654.28/1654.81	c 1654s |      19 |   904975 |   627482 |    25925     50 |      911 |      880
1656.48/1657.02	c 1656s |      19 |   905829 |   628182 |    25925     50 |      911 |      880
1658.58/1659.16	c 1658s |      19 |   906761 |   628882 |    25925     50 |      911 |      880
1660.78/1661.40	c 1661s |      19 |   907507 |   629482 |    25925     50 |      911 |      880
1662.88/1663.45	c 1663s |      19 |   908430 |   630182 |    25925     50 |      911 |      880
1664.97/1665.58	c 1665s |      19 |   909307 |   630882 |    25925     50 |      911 |      880
1667.38/1667.91	c 1667s |      19 |   910159 |   631582 |    25925     50 |      911 |      880
1669.47/1670.05	c 1669s |      19 |   910765 |   632082 |    25925     50 |      911 |      880
1671.47/1672.07	c 1671s |      19 |   911533 |   632682 |    25925     50 |      911 |      880
1673.57/1674.14	c 1673s |      19 |   912412 |   633382 |    25925     50 |      911 |      880
1675.77/1676.37	c 1676s |      19 |   913408 |   634182 |    25925     50 |      911 |      880
1677.97/1678.58	c 1678s |      19 |   914094 |   634782 |    25925     50 |      911 |      880
1680.27/1680.83	c 1680s |      19 |   914836 |   635382 |    25925     50 |      911 |      880
1682.47/1683.05	c 1682s |      19 |   915612 |   635982 |    25925     50 |      911 |      880
1684.57/1685.11	c 1684s |      19 |   916321 |   636582 |    25925     50 |      911 |      880
1686.77/1687.39	c 1687s |      19 |   917181 |   637282 |    25925     50 |      911 |      880
1688.97/1689.51	c 1689s |      19 |   917897 |   637882 |    25925     50 |      911 |      880
1690.97/1691.59	c 1691s |      19 |   918499 |   638382 |    25925     50 |      911 |      880
1693.27/1693.87	c 1693s |      19 |   919103 |   638882 |    25925     50 |      911 |      880
1695.47/1696.08	c 1695s |      19 |   919851 |   639482 |    25925     50 |      911 |      880
1697.77/1698.36	c 1698s |      19 |   920556 |   640082 |    25925     51 |      911 |      880
1699.97/1700.51	c 1700s |      19 |   921244 |   640682 |    25925     51 |      911 |      880
1702.07/1702.67	c 1702s |      19 |   921979 |   641282 |    25925     51 |      911 |      880
1704.17/1704.71	c 1704s |      19 |   922675 |   641882 |    25925     51 |      911 |      880
1706.47/1707.05	c 1706s |      19 |   923388 |   642482 |    25925     51 |      911 |      880
1708.57/1709.16	c 1708s |      19 |   924108 |   643082 |    25925     51 |      911 |      880
1710.96/1711.57	c 1711s |      19 |   924850 |   643682 |    25925     51 |      911 |      880
1713.16/1713.79	c 1713s |      19 |   925580 |   644282 |    25925     51 |      911 |      880
1715.26/1715.86	c 1715s |      19 |   926163 |   644782 |    25925     51 |      911 |      880
1717.26/1717.89	c 1717s |      19 |   926913 |   645382 |    25925     51 |      911 |      880
1719.36/1719.91	c 1719s |      19 |   927632 |   645982 |    25925     51 |      911 |      880
1721.47/1722.01	c 1721s |      19 |   928227 |   646482 |    25925     51 |      911 |      880
1723.67/1724.25	c 1723s |      19 |   928926 |   647082 |    25925     51 |      911 |      880
1725.87/1726.41	c 1726s |      19 |   929533 |   647582 |    25925     51 |      911 |      880
1728.27/1728.87	c 1728s |      19 |   930106 |   648082 |    25925     51 |      911 |      880
1730.57/1731.17	c 1730s |      19 |   930709 |   648582 |    25925     51 |      911 |      880
1732.87/1733.44	c 1733s |      19 |   931416 |   649182 |    25925     51 |      911 |      880
1735.27/1735.88	c 1735s |      19 |   931996 |   649682 |    25925     51 |      911 |      880
1737.57/1738.11	c 1737s |      19 |   932473 |   650082 |    25925     51 |      911 |      880
1739.57/1740.18	c 1739s |      19 |   932920 |   650482 |    25925     51 |      911 |      880
1741.87/1742.44	c 1742s |      19 |   933536 |   650982 |    25925     51 |      911 |      880
1743.87/1744.45	c 1744s |      19 |   933994 |   651382 |    25925     51 |      911 |      880
1746.07/1746.69	c 1746s |      19 |   934569 |   651882 |    25925     51 |      911 |      880
1748.47/1749.04	c 1748s |      19 |   935190 |   652382 |    25925     51 |      911 |      880
1750.47/1751.07	c 1750s |      19 |   935836 |   652882 |    25925     51 |      911 |      880
1752.77/1753.36	c 1753s |      19 |   936436 |   653382 |    25925     51 |      911 |      880
1754.97/1755.53	c 1755s |      19 |   937045 |   653882 |    25925     51 |      911 |      880
1757.37/1757.92	c 1757s |      19 |   937523 |   654282 |    25925     52 |      911 |      880
1759.57/1760.17	c 1759s |      19 |   938243 |   654882 |    25925     52 |      911 |      880
1761.87/1762.44	c 1762s |      19 |   939125 |   655582 |    25925     52 |      911 |      880
1764.36/1764.93	c 1764s |      19 |   939820 |   656182 |    25925     52 |      911 |      880
1766.47/1767.02	c 1766s |      19 |   940734 |   656882 |    25925     52 |      911 |      880
1768.67/1769.29	c 1769s |      19 |   941748 |   657682 |    25925     52 |      911 |      880
1770.77/1771.34	c 1771s |      19 |   942497 |   658282 |    25925     52 |      911 |      880
1772.76/1773.39	c 1773s |      19 |   943274 |   658882 |    25925     52 |      911 |      880
1774.76/1775.39	c 1775s |      19 |   944179 |   659582 |    25925     52 |      911 |      880
1777.06/1777.67	c 1777s |      19 |   945091 |   660282 |    25925     52 |      911 |      880
1779.16/1779.77	c 1779s |      19 |   945796 |   660882 |    25925     52 |      911 |      880
1781.46/1782.01	c 1781s |      19 |   946520 |   661482 |    25925     52 |      911 |      880
1783.76/1784.37	c 1784s |      19 |   947360 |   662182 |    28518     52 |      911 |      880
1786.17/1786.72	c 1786s |      19 |   948116 |   662782 |    28518     52 |      911 |      880
1788.16/1788.76	c 1788s |      19 |   948844 |   663382 |    28518     52 |      911 |      880
1790.57/1791.13	c 1790s |      19 |   949940 |   664082 |    28518     52 |      911 |      880
1792.56/1793.17	c 1792s |      19 |   950570 |   664582 |    28518     52 |      911 |      880
1794.76/1795.31	c 1795s |      19 |   951165 |   665082 |    28518     52 |      911 |      880
1796.86/1797.49	c 1797s |      19 |   951757 |   665582 |    28518     52 |      911 |      880
1799.16/1799.72	c 1799s |      19 |   952339 |   666082 |    28518     52 |      911 |      880

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

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

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


[startup+0 s]
/proc/loadavg: 2.32 2.29 2.25 3/179 24389
/proc/meminfo: memFree=29605748/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=780732 CPUtime=0 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 2919 0 0 0 0 0 0 0 20 0 4 0 30086323 799469568 3280 33554432000 4194304 16246674 140736770219040 140736770218464 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 195695 3288 441 2943 0 192589 0
[pid=24389/tid=24390] ppid=24386 vsize=797116 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 816246784 3347 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=802236 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 821489664 3364 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=806332 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30086323 825683968 3380 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.32 2.29 2.25 3/179 24389
/proc/meminfo: memFree=29605748/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 28275 0 0 0 6 3 0 0 20 0 4 0 30086323 1249447936 28573 33554432000 4194304 16246674 140736770219040 140736770218352 4221044 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 305041 28573 801 2943 0 301935 0
[pid=24389/tid=24390] ppid=24386 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1249447936 28573 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1249447936 28573 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1249447936 28573 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200597 s]
/proc/loadavg: 2.32 2.29 2.25 3/179 24389
/proc/meminfo: memFree=29605748/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 48482 0 0 0 13 6 0 0 20 0 4 0 30086323 1332285440 48780 33554432000 4194304 16246674 140736770219040 140736770218352 5740275 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 325265 48780 842 2943 0 322159 0
[pid=24389/tid=24390] ppid=24386 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1332285440 48780 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1332285440 48780 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1332285440 48780 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300457 s]
/proc/loadavg: 2.32 2.29 2.25 3/179 24389
/proc/meminfo: memFree=29605748/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 50930 0 0 0 23 6 0 0 20 0 4 0 30086323 1332285440 51228 33554432000 4194304 16246674 140736770219040 140736770218352 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 325265 51232 884 2943 0 322159 0
[pid=24389/tid=24390] ppid=24386 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1332285440 51233 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1332285440 51236 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1332285440 51240 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700295 s]
/proc/loadavg: 2.32 2.29 2.25 3/179 24389
/proc/meminfo: memFree=29605748/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 101726 0 0 0 56 13 0 0 20 0 4 0 30086323 1332285440 102025 33554432000 4194304 16246674 140736770219040 140736770200960 12478957 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 325265 102030 884 2943 0 322159 0
[pid=24389/tid=24390] ppid=24386 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1332285440 102033 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1332285440 102037 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1332285440 102040 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50038 s]
/proc/loadavg: 2.32 2.29 2.25 3/183 24393
/proc/meminfo: memFree=29005220/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 204613 0 0 0 121 28 0 0 20 0 4 0 30086323 1332285440 204911 33554432000 4194304 16246674 140736770219040 140736770200960 5600933 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 325265 204915 884 2943 0 322159 0
[pid=24389/tid=24390] ppid=24386 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1332285440 204917 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1332285440 204920 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1332285440 204924 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10039 s]
/proc/loadavg: 2.29 2.28 2.24 4/183 24393
/proc/meminfo: memFree=28528688/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 269264 0 0 0 273 36 0 0 20 0 4 0 30086323 1343819776 269562 33554432000 4194304 16246674 140736770219040 140736770200960 5531832 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 328081 269562 890 2943 0 324975 0
[pid=24389/tid=24390] ppid=24386 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1343819776 269562 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1343819776 269562 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1343819776 269562 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30039 s]
/proc/loadavg: 2.29 2.28 2.24 3/183 24393
/proc/meminfo: memFree=28527836/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 269268 0 0 0 593 36 0 0 20 0 4 0 30086323 1343819776 269566 33554432000 4194304 16246674 140736770219040 140736770200960 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 328081 269566 890 2943 0 324975 0
[pid=24389/tid=24390] ppid=24386 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1343819776 269566 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1343819776 269566 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1343819776 269566 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.25 2.27 2.24 3/183 24393
/proc/meminfo: memFree=28527736/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 269268 0 0 0 1233 36 0 0 20 0 4 0 30086323 1343819776 269566 33554432000 4194304 16246674 140736770219040 140736770200960 12474881 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 328081 269566 890 2943 0 324975 0
[pid=24389/tid=24390] ppid=24386 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1343819776 269566 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1343819776 269566 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1343819776 269566 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5004 s]
/proc/loadavg: 2.21 2.26 2.24 3/183 24393
/proc/meminfo: memFree=28528804/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 269269 0 0 0 2513 36 0 0 20 0 4 0 30086323 1343819776 269567 33554432000 4194304 16246674 140736770219040 140736770200960 5711576 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 328081 269567 891 2943 0 324975 0
[pid=24389/tid=24390] ppid=24386 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1343819776 269567 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1343819776 269567 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1343819776 269567 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.21 2.26 2.24 3/183 24442
/proc/meminfo: memFree=28549380/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 269270 0 0 0 5072 36 0 0 20 0 4 0 30086323 1343819776 269568 33554432000 4194304 16246674 140736770219040 140736770200960 5600312 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 328081 269568 892 2943 0 324975 0
[pid=24389/tid=24390] ppid=24386 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1343819776 269568 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1343819776 269568 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1343819776 269568 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.29 2.26 2.24 3/183 24443
/proc/meminfo: memFree=28540064/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1322564 CPUtime=102.27 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 271706 0 0 0 10191 36 0 0 20 0 4 0 30086323 1354305536 272004 33554432000 4194304 16246674 140736770219040 140736770218216 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 330641 272004 892 2943 0 327535 0
[pid=24389/tid=24390] ppid=24386 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1354305536 272004 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1354305536 272004 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1354305536 272004 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1322564


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

/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1357451264 272900 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1325636

[startup+1362.3 s]
/proc/loadavg: 2.36 2.26 2.19 3/184 24501
/proc/meminfo: memFree=28505252/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1325636 CPUtime=1361.83 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 273027 0 0 0 136141 42 0 0 20 0 4 0 30086323 1357451264 272900 33554432000 4194304 16246674 140736770219040 140736770200960 5824720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 331409 272900 892 2943 0 328303 0
[pid=24389/tid=24390] ppid=24386 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1357451264 272900 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1357451264 272900 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1357451264 272900 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1325636

[startup+1422.3 s]
/proc/loadavg: 2.28 2.26 2.19 3/182 24502
/proc/meminfo: memFree=28490948/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1338948 CPUtime=1421.81 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 276301 0 0 0 142139 42 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140736770200960 5661532 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 334737 276174 892 2943 0 331631 0
[pid=24389/tid=24390] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1338948

[startup+1482.3 s]
/proc/loadavg: 2.20 2.24 2.19 4/183 24504
/proc/meminfo: memFree=28487984/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1338948 CPUtime=1481.81 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 276301 0 0 0 148138 43 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140736770200960 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 334737 276174 892 2943 0 331631 0
[pid=24389/tid=24390] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1338948

[startup+1542.3 s]
/proc/loadavg: 2.22 2.24 2.18 3/183 24505
/proc/meminfo: memFree=28488576/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1338948 CPUtime=1541.8 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 276301 0 0 0 154137 43 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140736770200960 12482687 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 334737 276174 892 2943 0 331631 0
[pid=24389/tid=24390] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1338948

[startup+1602.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/183 24506
/proc/meminfo: memFree=28488052/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1338948 CPUtime=1601.79 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 276301 0 0 0 160136 43 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140736770200960 5828829 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 334737 276174 892 2943 0 331631 0
[pid=24389/tid=24390] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1338948

[startup+1662.3 s]
/proc/loadavg: 2.19 2.23 2.18 4/183 24507
/proc/meminfo: memFree=28488468/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1338948 CPUtime=1661.78 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 276301 0 0 0 166135 43 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140736770200960 13191293 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 334737 276174 892 2943 0 331631 0
[pid=24389/tid=24390] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1338948

[startup+1722.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 24508
/proc/meminfo: memFree=28488248/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1338948 CPUtime=1721.77 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 276301 0 0 0 172133 44 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140736770200960 5672213 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 334737 276174 892 2943 0 331631 0
[pid=24389/tid=24390] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1338948

[startup+1782.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/183 24510
/proc/meminfo: memFree=28487876/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1338948 CPUtime=1781.77 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 276301 0 0 0 178133 44 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140736770200960 5712756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 334737 276174 892 2943 0 331631 0
[pid=24389/tid=24390] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1338948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 24510
/proc/meminfo: memFree=28487780/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1338948 CPUtime=1800.06 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 276301 0 0 0 179962 44 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140736770200960 6010557 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 334737 276174 892 2943 0 331631 0
[pid=24389/tid=24390] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1338948

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

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

[startup+1800.6 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 24510
/proc/meminfo: memFree=28487780/32872528 swapFree=1085692/1157232
[pid=24389] ppid=24386 vsize=1338948 CPUtime=1800.06 cores=0,2,4,6
/proc/24389/stat : 24389 (toysat) R 24386 24389 21062 0 -1 4202496 276301 0 0 0 179962 44 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140736770200960 6010557 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24389/statm: 334737 276174 892 2943 0 331631 0
[pid=24389/tid=24390] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24390/stat : 24390 (toysat) S 24386 24389 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669758713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24389/tid=24391] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24391/stat : 24391 (toysat) S 24386 24389 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669748223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24389/tid=24392] ppid=24386 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24389/task/24392/stat : 24392 (toysat) S 24386 24389 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30086323 1371082752 276174 33554432000 4194304 16246674 140736770219040 140669737749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1338948

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.63
CPU system time (s): 0.441932
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1338948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.441932
maximum resident set size= 1104696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276301
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= 443
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93595 second user time and 8.5197 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 21:47:47
IDJOB=4116981
IDBENCH=109538
IDSOLVER=2542
FILE ID=node114/4116981-1466970467
RUNJOBID= node114-1466944456-21078
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= 64fa8a1431c520e4dd0067505386153e
RANDOM SEED=1129975504

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29606368 kB
Buffers:           46068 kB
Cached:           225024 kB
SwapCached:        38928 kB
Active:          1163060 kB
Inactive:         242672 kB
Active(anon):    1099516 kB
Inactive(anon):    37760 kB
Active(file):      63544 kB
Inactive(file):   204912 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16732 kB
Writeback:             0 kB
AnonPages:       2254804 kB
Mapped:            10660 kB
Shmem:                 0 kB
Slab:             567520 kB
SReclaimable:      11788 kB
SUnreclaim:       555732 kB
KernelStack:        1504 kB
PageTables:         8340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2398708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1163264 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= 71624 MiB
End job on node114 at 2016-06-26 22:17:48