Trace number 4117181

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.01 1800.51

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-27T00:09:42+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-4117181-1466978982.opb"]
0.00/0.01	c use --random-gen="1854147608 1957776730 3648096182 1494011523 4239231658 757870895 2409387563 286695363 234893104 2266613266 1896424816 2098864313 1372745839 3883771487 2984432111 760382665 2569775269 607813913 4093835380 1893030268 1721628478 1163669568 658449058 2582867413 2481102240 2571560904 179115065 487539548 1956673942 593339055 2785765469 2471246489 1232264067 2720308368 2131959798 1095019616 3907196777 1963245664 2376277984 1271252875 2496998559 2549730933 3490275570 2737744126 3988761374 1388919879 3933999061 217378655 1929670679 2916337969 116336696 2859077376 990906246 1183353049 3426897706 2718954129 3113123424 374945390 2718061010 4228313659 921897286 476633155 2188467321 1501373525 1265126008 611508875 341799591 1180419562 1158273563 617180232 457032805 3429839057 46760430 3181740403 1795383854 417006522 163465984 2953465796 1417356864 3578539792 1904380783 3305820197 3020585261 937311721 3106841473 1898481702 595780387 1544399351 112014489 850014294 2790014682 4162639567 304590412 3179105069 124943787 397368030 2403748797 283423219 3898505582 3821771911 4042675063 82509280 1178351064 3134872598 230926575 3100700199 2850136516 749925809 3907304650 3576349826 322018482 645286893 3814288834 93026149 2839930284 1473983891 2539445021 1791452141 871691403 1103655429 3292781239 882576326 1308197870 779027692 726464183 667215953 2858306536 193922132 2506020914 1243794421 3272626838 2253478262 2724668471 143818236 219298935 3724258023 3647849805 1314642253 81718667 7701769 2665492447 3538345006 3971418375 1243894323 1697452354 677627486 2246348837 33548954 1798625950 2971852146 2337928451 426428873 3196603614 1395573691 1547794806 3358254502 3899247737 2297192387 2973220045 1396848888 1799830736 2258828653 4017209567 1737992422 2177484304 3187175167 1140253231 4133237948 3712164489 3340688487 2406272706 764315989 4152353307 3771079578 164995515 594369747 3660545077 2180594037 1436060876 4187814569 65252744 213969856 2865430732 1404229845 2731659960 1907282668 2256664085 3226526083 847061548 1205390534 462376263 1939392395 3787879053 3602071501 649670130 287977906 190009524 1080584836 3985518155 3229494752 910988570 4044829496 3324825577 3779011827 3619985760 2782611629 2745100200 2725394665 2123166674 1572158669 2815207541 2496139144 2035134945 4092577814 1747310972 187150451 1965402765 3962414297 1675824292 3121724658 4266605559 577448212 2298364686 210702834 1840145736 678103922 2201196961 1770729792 1076306357 53892212 3867066279 1475673649 1675901639 2497860726 3625480787 2429518640 3919078952 2242350099 1561334014 3457075692 22019106 2852549181 2628758029 804971926 2220252128 4143199043 4161372372 1914797886 240510301 4030963996 2193099955 3394933007 3074114543 2166169514 2966012826 258549737 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9488
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.39	c  0.0s |       0 |        0 |        0 |     4565      0 |      699 |        0
0.19/0.39	c  0.1s |       1 |      482 |      100 |     4565      0 |      699 |      578
0.19/0.44	c  0.2s |       2 |     2079 |      250 |     5022      0 |      699 |      578
0.59/0.62	c  0.3s |       3 |     5035 |      475 |     5525      0 |      700 |      578
0.84/0.89	c  0.6s |       4 |     6809 |      813 |     6078      0 |      700 |      578
1.49/1.53	c  1.3s |       5 |     8726 |     1320 |     6686      0 |      700 |      578
2.19/2.23	c  2.0s |       6 |    12310 |     2081 |     8091      0 |      700 |      578
3.19/3.20	c  2.9s |       7 |    17010 |     3223 |     8901      0 |      701 |      578
5.09/5.14	c  4.9s |       8 |    20278 |     4936 |     9792      0 |      701 |      578
7.09/7.16	c  6.9s |       8 |    25726 |     6736 |     9792      0 |      701 |      578
8.39/8.42	c  8.1s |       9 |    26587 |     7506 |    10772      0 |      701 |      578
10.39/10.44	c 10.2s |       9 |    31625 |    10106 |    10772      0 |      701 |      578
10.99/11.05	c 10.8s |      10 |    38079 |    11361 |    11850      0 |      701 |      578
13.09/13.15	c 12.9s |      10 |    43994 |    13461 |    11850      0 |      701 |      578
15.09/15.19	c 14.9s |      10 |    45910 |    15061 |    11850      0 |      701 |      578
17.19/17.22	c 16.9s |      10 |    47512 |    16361 |    11850      1 |      701 |      578
18.39/18.43	c 18.2s |      11 |    48772 |    17144 |    13036      1 |      701 |      578
20.39/20.45	c 20.2s |      11 |    56718 |    19544 |    13036      1 |      701 |      578
22.49/22.52	c 22.2s |      11 |    59340 |    21244 |    13036      1 |      701 |      578
24.69/24.72	c 24.4s |      11 |    61316 |    22644 |    13036      1 |      701 |      578
26.79/26.85	c 26.6s |      11 |    62544 |    23544 |    13036      1 |      701 |      578
28.79/28.85	c 28.6s |      11 |    63946 |    24544 |    13036      2 |      701 |      578
30.99/31.08	c 30.8s |      11 |    65191 |    25544 |    13036      2 |      701 |      578
31.69/31.72	c 31.4s |      12 |    65548 |    25819 |    14340      2 |      701 |      578
33.69/33.75	c 33.5s |      12 |    77214 |    28319 |    14340      2 |      701 |      578
35.69/35.76	c 35.5s |      12 |    83390 |    30419 |    14340      2 |      701 |      578
37.88/37.95	c 37.7s |      12 |    88124 |    32319 |    14340      3 |      701 |      578
39.98/40.03	c 39.8s |      12 |    93740 |    34519 |    14340      3 |      701 |      578
41.99/42.04	c 41.8s |      12 |    95301 |    35919 |    14340      3 |      701 |      578
43.98/44.05	c 43.8s |      12 |    96742 |    37119 |    14340      3 |      701 |      578
46.08/46.17	c 45.9s |      12 |    98042 |    38219 |    14340      3 |      701 |      578
47.39/47.43	c 47.2s |      13 |    98793 |    38832 |    15775      3 |      701 |      578
49.38/49.45	c 49.2s |      13 |   104781 |    40832 |    15775      3 |      701 |      578
51.38/51.46	c 51.2s |      13 |   108967 |    42832 |    15775      3 |      701 |      578
53.48/53.50	c 53.2s |      13 |   111544 |    44432 |    15775      4 |      701 |      578
55.48/55.54	c 55.3s |      13 |   113521 |    45932 |    15775      4 |      701 |      578
57.58/57.62	c 57.3s |      13 |   115332 |    47332 |    15775      4 |      701 |      578
59.59/59.67	c 59.4s |      13 |   117037 |    48632 |    15775      4 |      701 |      578
61.69/61.76	c 61.5s |      13 |   118532 |    49732 |    15775      4 |      701 |      578
63.89/63.91	c 63.6s |      13 |   120037 |    50932 |    15775      4 |      701 |      578
65.88/65.94	c 65.7s |      13 |   121273 |    51932 |    15775      4 |      701 |      578
68.28/68.32	c 68.0s |      13 |   122510 |    52932 |    15775      5 |      701 |      578
70.28/70.38	c 70.1s |      13 |   123990 |    54032 |    15775      5 |      701 |      578
72.38/72.44	c 72.2s |      13 |   126063 |    55332 |    15775      5 |      701 |      578
74.48/74.59	c 74.3s |      13 |   128308 |    56832 |    15775      5 |      701 |      578
76.58/76.69	c 76.4s |      13 |   129487 |    57832 |    15775      5 |      701 |      578
77.68/77.70	c 77.4s |      14 |   130099 |    58352 |    17353      5 |      701 |      578
79.67/79.75	c 79.5s |      14 |   133018 |    60152 |    17353      5 |      701 |      578
81.67/81.79	c 81.5s |      14 |   135022 |    61752 |    17353      5 |      701 |      578
83.78/83.87	c 83.6s |      14 |   137323 |    63452 |    17353      5 |      701 |      578
85.77/85.87	c 85.6s |      14 |   138462 |    64452 |    17353      6 |      701 |      578
87.87/87.99	c 87.7s |      14 |   139759 |    65652 |    17353      6 |      701 |      578
89.97/90.04	c 89.8s |      14 |   140957 |    66752 |    17353      6 |      701 |      578
92.07/92.16	c 91.9s |      14 |   142122 |    67852 |    17353      6 |      701 |      578
94.27/94.37	c 94.1s |      14 |   143190 |    68852 |    17353      6 |      701 |      578
96.37/96.49	c 96.2s |      14 |   144170 |    69752 |    17353      6 |      701 |      578
98.47/98.56	c 98.3s |      14 |   145156 |    70652 |    17353      6 |      701 |      578
100.57/100.60	c  100s |      14 |   146003 |    71452 |    17353      6 |      701 |      578
102.67/102.71	c  102s |      14 |   146834 |    72252 |    17353      6 |      701 |      578
104.87/104.91	c  104s |      14 |   147927 |    73152 |    17353      6 |      701 |      578
106.97/107.00	c  106s |      14 |   149107 |    74152 |    17353      6 |      701 |      578
109.08/109.12	c  108s |      14 |   149871 |    74852 |    17353      7 |      701 |      578
111.18/111.28	c  111s |      14 |   151122 |    75952 |    17353      7 |      701 |      578
113.47/113.50	c  113s |      14 |   152212 |    76952 |    17353      7 |      701 |      578
115.67/115.77	c  115s |      14 |   153209 |    77852 |    17353      7 |      701 |      578
117.77/117.88	c  117s |      14 |   154081 |    78652 |    17353      7 |      701 |      578
119.87/119.95	c  119s |      14 |   154841 |    79352 |    17353      7 |      701 |      578
122.07/122.17	c  121s |      14 |   155766 |    80152 |    17353      7 |      701 |      578
124.07/124.19	c  123s |      14 |   156712 |    80952 |    17353      7 |      701 |      578
126.17/126.28	c  126s |      14 |   157596 |    81752 |    17353      7 |      701 |      578
128.27/128.39	c  128s |      14 |   158358 |    82452 |    17353      7 |      701 |      578
130.57/130.60	c  130s |      14 |   159112 |    83152 |    17353      7 |      701 |      578
132.76/132.89	c  132s |      14 |   159877 |    83852 |    17353      7 |      701 |      578
134.86/134.92	c  134s |      14 |   160652 |    84552 |    17353      7 |      701 |      578
137.16/137.21	c  136s |      14 |   161310 |    85152 |    17353      8 |      701 |      578
139.17/139.21	c  138s |      14 |   163105 |    86352 |    17353      8 |      701 |      578
141.27/141.35	c  141s |      14 |   164474 |    87452 |    19089      8 |      701 |      578
141.67/141.74	c  141s |      15 |   164676 |    87632 |    19089      8 |      701 |      578
143.76/143.82	c  143s |      15 |   174277 |    89932 |    19089      8 |      701 |      578
145.76/145.87	c  145s |      15 |   176816 |    91632 |    19089      8 |      701 |      578
147.86/147.99	c  147s |      15 |   179499 |    93232 |    19089      8 |      701 |      578
149.96/150.04	c  149s |      15 |   181025 |    94432 |    19089      8 |      701 |      578
152.06/152.14	c  151s |      15 |   182864 |    95632 |    19089      8 |      701 |      578
154.07/154.15	c  153s |      15 |   185246 |    97032 |    19089      8 |      701 |      578
156.06/156.17	c  155s |      15 |   186585 |    98032 |    19089      9 |      701 |      578
158.16/158.25	c  157s |      15 |   188034 |    99132 |    19089      9 |      701 |      578
160.26/160.38	c  160s |      15 |   189380 |   100132 |    19089      9 |      701 |      578
162.46/162.51	c  162s |      15 |   190617 |   101132 |    19089      9 |      701 |      578
164.46/164.57	c  164s |      15 |   191942 |   102132 |    19089      9 |      701 |      578
166.76/166.81	c  166s |      15 |   193168 |   103132 |    19089      9 |      701 |      578
168.86/168.97	c  168s |      15 |   194272 |   104032 |    19089      9 |      701 |      578
171.06/171.10	c  170s |      15 |   195342 |   104932 |    19089      9 |      701 |      578
173.16/173.25	c  172s |      15 |   196425 |   105832 |    19089      9 |      701 |      578
175.46/175.52	c  175s |      15 |   197358 |   106632 |    19089      9 |      701 |      578
177.66/177.72	c  177s |      15 |   198291 |   107432 |    19089      9 |      701 |      578
179.86/179.94	c  179s |      15 |   199211 |   108232 |    19089      9 |      701 |      578
181.96/182.06	c  181s |      15 |   200088 |   108932 |    19089     10 |      701 |      578
184.16/184.22	c  183s |      15 |   201170 |   109832 |    19089     10 |      701 |      578
186.46/186.52	c  186s |      15 |   202234 |   110732 |    19089     10 |      701 |      578
188.56/188.61	c  188s |      15 |   203172 |   111532 |    19089     10 |      701 |      578
190.56/190.67	c  190s |      15 |   204113 |   112332 |    19089     10 |      701 |      578
192.66/192.77	c  192s |      15 |   204966 |   113032 |    19089     10 |      701 |      578
194.66/194.79	c  194s |      15 |   205740 |   113732 |    19089     10 |      701 |      578
196.76/196.81	c  196s |      15 |   206412 |   114332 |    19089     10 |      701 |      578
198.85/198.92	c  198s |      15 |   207265 |   115032 |    19089     10 |      701 |      578
200.95/201.02	c  200s |      15 |   207943 |   115632 |    19089     10 |      701 |      578
203.15/203.24	c  202s |      15 |   208772 |   116332 |    19089     10 |      701 |      578
205.15/205.26	c  204s |      15 |   209435 |   116932 |    19089     10 |      701 |      578
207.46/207.58	c  207s |      15 |   210244 |   117632 |    19089     10 |      701 |      578
209.66/209.77	c  209s |      15 |   210906 |   118232 |    19089     10 |      701 |      578
211.86/211.92	c  211s |      15 |   211585 |   118832 |    19089     10 |      701 |      578
213.86/213.94	c  213s |      15 |   212279 |   119432 |    19089     10 |      701 |      578
215.96/216.05	c  215s |      15 |   212972 |   120032 |    19089     11 |      701 |      578
218.06/218.15	c  217s |      15 |   213889 |   120832 |    19089     11 |      701 |      578
220.26/220.32	c  220s |      15 |   214683 |   121532 |    19089     11 |      701 |      578
222.27/222.33	c  222s |      15 |   215492 |   122232 |    19089     11 |      701 |      578
224.56/224.65	c  224s |      15 |   216298 |   122932 |    19089     11 |      701 |      578
226.76/226.82	c  226s |      15 |   217091 |   123632 |    19089     11 |      701 |      578
228.86/229.00	c  228s |      15 |   217731 |   124232 |    19089     11 |      701 |      578
230.96/231.07	c  230s |      15 |   218399 |   124832 |    19089     11 |      701 |      578
233.16/233.29	c  233s |      15 |   219061 |   125432 |    19089     11 |      701 |      578
235.36/235.40	c  235s |      15 |   219708 |   126032 |    19089     11 |      701 |      578
237.55/237.63	c  237s |      15 |   220502 |   126732 |    19089     11 |      701 |      578
239.86/239.92	c  239s |      15 |   221151 |   127332 |    19089     11 |      701 |      578
241.85/241.96	c  241s |      15 |   221841 |   127932 |    19089     11 |      701 |      578
244.05/244.13	c  243s |      15 |   222501 |   128532 |    19089     11 |      701 |      578
246.46/246.51	c  246s |      15 |   223153 |   129132 |    19089     11 |      701 |      578
248.55/248.60	c  248s |      15 |   223714 |   129632 |    19089     11 |      701 |      578
250.55/250.69	c  250s |      15 |   224230 |   130132 |    19089     11 |      701 |      578
252.75/252.85	c  252s |      15 |   224758 |   130632 |    19089     11 |      701 |      578
254.95/255.05	c  254s |      15 |   225291 |   131132 |    20998     11 |      701 |      578
256.65/256.79	c  256s |      16 |   225750 |   131552 |    20998     11 |      701 |      578
258.75/258.83	c  258s |      16 |   230283 |   132652 |    20998     12 |      701 |      578
260.85/260.90	c  260s |      16 |   231812 |   134052 |    20998     12 |      701 |      578
262.85/262.91	c  262s |      16 |   233067 |   135252 |    20998     12 |      701 |      578
264.95/265.08	c  264s |      16 |   234457 |   136552 |    20998     12 |      701 |      578
267.15/267.24	c  266s |      16 |   235730 |   137752 |    20998     12 |      701 |      578
269.35/269.45	c  269s |      16 |   236757 |   138752 |    20998     12 |      701 |      578
271.45/271.57	c  271s |      16 |   237704 |   139652 |    20998     12 |      701 |      578
273.55/273.60	c  273s |      16 |   238538 |   140452 |    20998     12 |      701 |      578
275.75/275.80	c  275s |      16 |   239466 |   141352 |    20998     12 |      701 |      578
277.84/277.95	c  277s |      16 |   240301 |   142152 |    20998     12 |      701 |      578
280.04/280.17	c  279s |      16 |   241028 |   142852 |    20998     12 |      701 |      578
282.14/282.23	c  281s |      16 |   241763 |   143552 |    20998     12 |      701 |      578
284.24/284.34	c  284s |      16 |   242610 |   144352 |    20998     12 |      701 |      578
286.34/286.47	c  286s |      16 |   243228 |   144952 |    20998     13 |      701 |      578
288.54/288.63	c  288s |      16 |   243946 |   145652 |    20998     13 |      701 |      578
290.64/290.74	c  290s |      16 |   244670 |   146352 |    20998     13 |      701 |      578
292.75/292.88	c  292s |      16 |   245398 |   147052 |    20998     13 |      701 |      578
295.04/295.12	c  294s |      16 |   246149 |   147752 |    20998     13 |      701 |      578
297.05/297.12	c  296s |      16 |   246792 |   148352 |    20998     13 |      701 |      578
299.25/299.34	c  299s |      16 |   247563 |   149052 |    20998     13 |      701 |      578
301.45/301.58	c  301s |      16 |   248188 |   149652 |    20998     13 |      701 |      578
303.65/303.79	c  303s |      16 |   248852 |   150252 |    20998     13 |      701 |      578
305.74/305.83	c  305s |      16 |   249364 |   150752 |    20998     13 |      701 |      578
308.05/308.13	c  307s |      16 |   249995 |   151352 |    20998     13 |      701 |      578
310.04/310.17	c  309s |      16 |   250522 |   151852 |    20998     13 |      701 |      578
312.04/312.18	c  311s |      16 |   251162 |   152452 |    20998     13 |      701 |      578
314.14/314.24	c  313s |      16 |   251782 |   153052 |    20998     13 |      701 |      578
316.34/316.40	c  316s |      16 |   252294 |   153552 |    20998     13 |      701 |      578
318.54/318.70	c  318s |      16 |   252921 |   154152 |    20998     13 |      701 |      578
320.74/320.88	c  320s |      16 |   253437 |   154652 |    20998     13 |      701 |      578
322.84/322.94	c  322s |      16 |   253970 |   155152 |    20998     13 |      701 |      578
325.04/325.16	c  324s |      16 |   254485 |   155652 |    20998     13 |      701 |      578
327.24/327.39	c  327s |      16 |   255006 |   156152 |    20998     13 |      701 |      578
329.64/329.74	c  329s |      16 |   255530 |   156652 |    20998     13 |      701 |      578
331.84/331.93	c  331s |      16 |   256060 |   157152 |    20998     14 |      701 |      578
333.94/334.03	c  333s |      16 |   256799 |   157852 |    20998     14 |      701 |      578
336.14/336.26	c  335s |      16 |   257521 |   158552 |    20998     14 |      701 |      578
338.24/338.33	c  338s |      16 |   258416 |   159252 |    20998     14 |      701 |      578
340.44/340.59	c  340s |      16 |   259329 |   160052 |    20998     14 |      701 |      578
342.63/342.75	c  342s |      16 |   260389 |   160852 |    20998     14 |      701 |      578
344.73/344.84	c  344s |      16 |   261223 |   161552 |    20998     14 |      701 |      578
346.73/346.87	c  346s |      16 |   262182 |   162352 |    20998     14 |      701 |      578
348.74/348.88	c  348s |      16 |   263012 |   163052 |    20998     14 |      701 |      578
350.83/350.90	c  350s |      16 |   263792 |   163752 |    20998     14 |      701 |      578
353.03/353.11	c  352s |      16 |   264646 |   164452 |    20998     14 |      701 |      578
355.23/355.38	c  355s |      16 |   265408 |   165152 |    20998     14 |      701 |      578
357.54/357.65	c  357s |      16 |   266154 |   165852 |    20998     14 |      701 |      578
359.74/359.90	c  359s |      16 |   267088 |   166552 |    20998     14 |      701 |      578
361.83/361.96	c  361s |      16 |   267897 |   167252 |    20998     14 |      701 |      578
364.14/364.21	c  363s |      16 |   268780 |   167952 |    20998     14 |      701 |      578
366.34/366.42	c  366s |      16 |   269419 |   168552 |    20998     14 |      701 |      578
368.33/368.46	c  368s |      16 |   269961 |   169052 |    20998     15 |      701 |      578
370.43/370.50	c  370s |      16 |   270732 |   169752 |    20998     15 |      701 |      578
372.53/372.66	c  372s |      16 |   271481 |   170452 |    20998     15 |      701 |      578
374.63/374.78	c  374s |      16 |   272396 |   171252 |    20998     15 |      701 |      578
376.63/376.80	c  376s |      16 |   273035 |   171852 |    20998     15 |      701 |      578
378.83/378.94	c  378s |      16 |   273662 |   172452 |    20998     15 |      701 |      578
381.13/381.26	c  380s |      16 |   274290 |   173052 |    20998     15 |      701 |      578
383.23/383.30	c  383s |      16 |   274907 |   173652 |    20998     15 |      701 |      578
385.33/385.40	c  385s |      16 |   275628 |   174352 |    20998     15 |      701 |      578
387.34/387.42	c  387s |      16 |   276257 |   174952 |    20998     15 |      701 |      578
389.53/389.61	c  389s |      16 |   277083 |   175652 |    20998     15 |      701 |      578
391.73/391.88	c  391s |      16 |   277871 |   176352 |    20998     15 |      701 |      578
394.13/394.24	c  393s |      16 |   278658 |   177052 |    20998     15 |      701 |      578
396.13/396.28	c  396s |      16 |   279180 |   177552 |    20998     15 |      701 |      578
398.23/398.39	c  398s |      16 |   279704 |   178052 |    20998     15 |      701 |      578
400.53/400.68	c  400s |      16 |   280343 |   178652 |    20998     15 |      701 |      578
402.53/402.70	c  402s |      16 |   280890 |   179152 |    20998     15 |      701 |      578
404.83/404.95	c  404s |      16 |   281404 |   179652 |    20998     15 |      701 |      578
407.23/407.35	c  407s |      16 |   281923 |   180152 |    20998     15 |      701 |      578
409.72/409.81	c  409s |      16 |   282438 |   180652 |    20998     15 |      701 |      578
411.82/411.97	c  411s |      16 |   282887 |   181052 |    20998     16 |      701 |      578
414.12/414.27	c  413s |      16 |   283657 |   181752 |    20998     16 |      701 |      578
416.42/416.55	c  416s |      16 |   284309 |   182352 |    20998     16 |      701 |      578
418.72/418.86	c  418s |      16 |   284963 |   182952 |    20998     16 |      701 |      578
420.92/421.07	c  420s |      16 |   285732 |   183652 |    20998     16 |      701 |      578
423.22/423.38	c  423s |      16 |   286484 |   184352 |    20998     16 |      701 |      578
425.42/425.56	c  425s |      16 |   287130 |   184952 |    20998     16 |      701 |      578
427.82/427.99	c  427s |      16 |   287765 |   185552 |    20998     16 |      701 |      578
429.92/430.01	c  429s |      16 |   288430 |   186152 |    20998     16 |      701 |      578
432.22/432.30	c  432s |      16 |   289078 |   186752 |    20998     16 |      701 |      578
434.22/434.38	c  434s |      16 |   289602 |   187252 |    20998     16 |      701 |      578
436.52/436.63	c  436s |      16 |   290141 |   187752 |    20998     16 |      701 |      578
438.72/438.89	c  438s |      16 |   290666 |   188252 |    20998     16 |      701 |      578
441.13/441.27	c  440s |      16 |   291194 |   188752 |    20998     16 |      701 |      578
443.52/443.60	c  443s |      16 |   291716 |   189252 |    20998     16 |      701 |      578
445.92/446.01	c  445s |      16 |   292239 |   189752 |    20998     16 |      701 |      578
448.12/448.27	c  447s |      16 |   292759 |   190252 |    20998     16 |      701 |      578
450.52/450.64	c  450s |      16 |   293302 |   190752 |    20998     16 |      701 |      578
452.82/452.95	c  452s |      16 |   293835 |   191252 |    20998     16 |      701 |      578
454.82/454.99	c  454s |      16 |   294276 |   191652 |    20998     16 |      701 |      578
456.92/457.04	c  456s |      16 |   294714 |   192052 |    20998     16 |      701 |      578
459.42/459.55	c  459s |      16 |   295239 |   192552 |    20998     16 |      701 |      578
461.41/461.56	c  461s |      16 |   295659 |   192952 |    20998     16 |      701 |      578
463.51/463.67	c  463s |      16 |   296001 |   193252 |    20998     17 |      701 |      578
465.71/465.86	c  465s |      16 |   296677 |   193852 |    20998     17 |      701 |      578
467.71/467.88	c  467s |      16 |   297204 |   194352 |    20998     17 |      701 |      578
470.01/470.19	c  469s |      16 |   297863 |   194952 |    20998     17 |      701 |      578
472.03/472.20	c  471s |      16 |   298402 |   195452 |    20998     17 |      701 |      578
474.32/474.48	c  474s |      16 |   299038 |   196052 |    20998     17 |      701 |      578
476.62/476.77	c  476s |      16 |   299695 |   196652 |    23098     17 |      701 |      578
478.72/478.84	c  478s |      16 |   300230 |   197152 |    23098     17 |      701 |      578
479.73/479.84	c  479s |      17 |   300532 |   197432 |    23098     17 |      701 |      578
481.72/481.85	c  481s |      17 |   307697 |   199632 |    23098     17 |      701 |      578
483.72/483.86	c  483s |      17 |   311857 |   201632 |    23098     17 |      701 |      578
485.82/485.99	c  485s |      17 |   314720 |   203232 |    23098     17 |      701 |      578
487.92/488.09	c  487s |      17 |   317300 |   204832 |    23098     17 |      701 |      578
490.02/490.17	c  489s |      17 |   319253 |   206132 |    23098     17 |      701 |      578
492.32/492.44	c  492s |      17 |   320697 |   207232 |    23098     18 |      701 |      578
494.52/494.62	c  494s |      17 |   322272 |   208432 |    23098     18 |      701 |      578
496.62/496.73	c  496s |      17 |   323455 |   209332 |    23098     18 |      701 |      578
498.62/498.74	c  498s |      17 |   325380 |   210532 |    23098     18 |      701 |      578
500.71/500.80	c  500s |      17 |   327269 |   211732 |    23098     18 |      701 |      578
502.72/502.83	c  502s |      17 |   328919 |   212832 |    23098     18 |      701 |      578
504.92/505.10	c  504s |      17 |   330559 |   213932 |    23098     18 |      701 |      578
507.22/507.38	c  507s |      17 |   332594 |   215132 |    23098     18 |      701 |      578
509.42/509.59	c  509s |      17 |   334412 |   216232 |    23098     18 |      701 |      578
511.62/511.71	c  511s |      17 |   335904 |   217232 |    23098     18 |      701 |      578
513.61/513.80	c  513s |      17 |   337163 |   218132 |    23098     18 |      701 |      578
515.92/516.05	c  515s |      17 |   338486 |   219032 |    23098     18 |      701 |      578
518.01/518.10	c  517s |      17 |   339443 |   219732 |    23098     18 |      701 |      578
520.01/520.17	c  519s |      17 |   340918 |   220632 |    23098     19 |      701 |      578
522.11/522.28	c  522s |      17 |   342339 |   221632 |    23098     19 |      701 |      578
524.21/524.31	c  524s |      17 |   343756 |   222532 |    23098     19 |      701 |      578
526.21/526.36	c  526s |      17 |   345616 |   223732 |    23098     19 |      701 |      578
528.41/528.53	c  528s |      17 |   347436 |   224932 |    23098     19 |      701 |      578
530.41/530.55	c  530s |      17 |   349089 |   226032 |    23098     19 |      701 |      578
532.51/532.69	c  532s |      17 |   350420 |   227032 |    23098     19 |      701 |      578
534.61/534.79	c  534s |      17 |   351859 |   228032 |    23098     19 |      701 |      578
536.70/536.85	c  536s |      17 |   353040 |   228932 |    23098     19 |      701 |      578
538.70/538.89	c  538s |      17 |   354135 |   229832 |    23098     19 |      701 |      578
540.80/540.94	c  540s |      17 |   355232 |   230632 |    23098     19 |      701 |      578
543.00/543.10	c  542s |      17 |   356408 |   231432 |    23098     19 |      701 |      578
545.00/545.18	c  544s |      17 |   357456 |   232232 |    23098     19 |      701 |      578
547.20/547.37	c  547s |      17 |   358506 |   233032 |    23098     20 |      701 |      578
549.41/549.58	c  549s |      17 |   359720 |   233932 |    23098     20 |      701 |      578
551.51/551.63	c  551s |      17 |   360607 |   234632 |    23098     20 |      701 |      578
553.81/553.91	c  553s |      17 |   361469 |   235332 |    23098     20 |      701 |      578
555.81/555.95	c  555s |      17 |   362212 |   235932 |    23098     20 |      701 |      578
557.91/558.09	c  557s |      17 |   362951 |   236532 |    23098     20 |      701 |      578
560.11/560.24	c  559s |      17 |   364013 |   237332 |    23098     20 |      701 |      578
562.11/562.26	c  561s |      17 |   365005 |   238132 |    23098     20 |      701 |      578
564.31/564.41	c  564s |      17 |   365921 |   238832 |    23098     20 |      701 |      578
566.30/566.41	c  566s |      17 |   366787 |   239532 |    23098     20 |      701 |      578
568.50/568.60	c  568s |      17 |   367845 |   240332 |    23098     20 |      701 |      578
570.70/570.80	c  570s |      17 |   368893 |   241132 |    23098     20 |      701 |      578
572.90/573.05	c  572s |      17 |   369684 |   241732 |    23098     20 |      701 |      578
575.10/575.21	c  574s |      17 |   370650 |   242532 |    23098     20 |      701 |      578
577.40/577.55	c  577s |      17 |   371459 |   243232 |    23098     20 |      701 |      578
579.50/579.63	c  579s |      17 |   372377 |   243932 |    23098     20 |      701 |      578
581.50/581.65	c  581s |      17 |   373197 |   244532 |    23098     20 |      701 |      578
583.80/583.92	c  583s |      17 |   374067 |   245232 |    23098     20 |      701 |      578
586.10/586.22	c  585s |      17 |   374662 |   245732 |    23098     20 |      701 |      578
588.60/588.75	c  588s |      17 |   375128 |   246132 |    23098     20 |      701 |      578
590.99/591.18	c  590s |      17 |   375606 |   246532 |    23098     21 |      701 |      578
593.19/593.34	c  593s |      17 |   376080 |   246932 |    23098     21 |      701 |      578
595.39/595.52	c  595s |      17 |   376581 |   247332 |    23098     21 |      701 |      578
597.49/597.66	c  597s |      17 |   377507 |   248032 |    23098     21 |      701 |      578
599.69/599.87	c  599s |      17 |   378567 |   248832 |    23098     21 |      701 |      578
601.89/602.08	c  601s |      17 |   379591 |   249632 |    23098     21 |      701 |      578
604.08/604.23	c  603s |      17 |   380473 |   250332 |    23098     21 |      701 |      578
606.48/606.60	c  606s |      17 |   381458 |   251132 |    23098     21 |      701 |      578
608.58/608.71	c  608s |      17 |   382337 |   251832 |    23098     21 |      701 |      578
610.69/610.81	c  610s |      17 |   383188 |   252532 |    23098     21 |      701 |      578
612.99/613.14	c  612s |      17 |   384026 |   253232 |    23098     21 |      701 |      578
615.19/615.33	c  615s |      17 |   384945 |   253932 |    23098     21 |      701 |      578
617.20/617.36	c  617s |      17 |   385687 |   254532 |    23098     21 |      701 |      578
619.49/619.63	c  619s |      17 |   386590 |   255232 |    23098     21 |      701 |      578
621.79/621.97	c  621s |      17 |   387437 |   255932 |    23098     21 |      701 |      578
623.79/623.98	c  623s |      17 |   388220 |   256532 |    23098     21 |      701 |      578
626.09/626.24	c  625s |      17 |   389075 |   257232 |    23098     21 |      701 |      578
628.19/628.31	c  628s |      17 |   389687 |   257732 |    23098     21 |      701 |      578
630.49/630.65	c  630s |      17 |   390439 |   258332 |    23098     21 |      701 |      578
632.59/632.72	c  632s |      17 |   391222 |   258932 |    23098     21 |      701 |      578
634.58/634.74	c  634s |      17 |   391915 |   259432 |    23098     22 |      701 |      578
636.68/636.80	c  636s |      17 |   392809 |   260132 |    23098     22 |      701 |      578
638.88/639.03	c  638s |      17 |   393736 |   260832 |    23098     22 |      701 |      578
640.98/641.10	c  640s |      17 |   394819 |   261632 |    23098     22 |      701 |      578
643.08/643.21	c  642s |      17 |   395912 |   262532 |    23098     22 |      701 |      578
645.08/645.23	c  644s |      17 |   397127 |   263432 |    23098     22 |      701 |      578
647.28/647.46	c  647s |      17 |   398429 |   264432 |    23098     22 |      701 |      578
649.28/649.47	c  649s |      17 |   399288 |   265132 |    23098     22 |      701 |      578
651.38/651.53	c  651s |      17 |   400149 |   265832 |    23098     22 |      701 |      578
653.67/653.86	c  653s |      17 |   400992 |   266532 |    23098     22 |      701 |      578
655.77/655.98	c  655s |      17 |   401730 |   267132 |    23098     22 |      701 |      578
657.97/658.15	c  657s |      17 |   402590 |   267832 |    23098     22 |      701 |      578
660.27/660.42	c  660s |      17 |   403444 |   268532 |    23098     22 |      701 |      578
662.37/662.53	c  662s |      17 |   404129 |   269132 |    23098     22 |      701 |      578
664.66/664.83	c  664s |      17 |   404873 |   269732 |    23098     22 |      701 |      578
666.96/667.19	c  666s |      17 |   405753 |   270432 |    23098     22 |      701 |      578
669.26/669.47	c  669s |      17 |   406514 |   271032 |    23098     22 |      701 |      578
671.66/671.81	c  671s |      17 |   407276 |   271632 |    23098     22 |      701 |      578
674.37/674.54	c  674s |      17 |   407885 |   272132 |    23098     23 |      701 |      578
676.47/676.63	c  676s |      17 |   408789 |   272832 |    23098     23 |      701 |      578
678.56/678.76	c  678s |      17 |   409578 |   273432 |    23098     23 |      701 |      578
680.76/680.92	c  680s |      17 |   410978 |   274432 |    23098     23 |      701 |      578
682.96/683.20	c  682s |      17 |   411953 |   275232 |    23098     23 |      701 |      578
685.27/685.47	c  685s |      17 |   412893 |   276032 |    23098     23 |      701 |      578
687.27/687.47	c  687s |      17 |   413727 |   276732 |    23098     23 |      701 |      578
689.47/689.65	c  689s |      17 |   414755 |   277532 |    23098     23 |      701 |      578
691.67/691.80	c  691s |      17 |   415929 |   278432 |    23098     23 |      701 |      578
693.77/693.99	c  693s |      17 |   416947 |   279232 |    23098     23 |      701 |      578
695.87/696.09	c  695s |      17 |   417991 |   280032 |    23098     23 |      701 |      578
698.06/698.22	c  697s |      17 |   419005 |   280832 |    23098     23 |      701 |      578
700.16/700.35	c  700s |      17 |   419896 |   281532 |    23098     23 |      701 |      578
702.26/702.45	c  702s |      17 |   420730 |   282132 |    23098     23 |      701 |      578
704.46/704.64	c  704s |      17 |   421634 |   282832 |    23098     23 |      701 |      578
706.76/706.90	c  706s |      17 |   422325 |   283432 |    23098     23 |      701 |      578
708.76/708.95	c  708s |      17 |   423012 |   284032 |    23098     23 |      701 |      578
710.96/711.11	c  710s |      17 |   423903 |   284732 |    23098     23 |      701 |      578
713.16/713.31	c  713s |      17 |   424479 |   285232 |    23098     24 |      701 |      578
715.16/715.37	c  715s |      17 |   425467 |   286032 |    23098     24 |      701 |      578
717.36/717.52	c  717s |      17 |   426493 |   286832 |    23098     24 |      701 |      578
719.66/719.87	c  719s |      17 |   427387 |   287532 |    23098     24 |      701 |      578
721.96/722.15	c  721s |      17 |   428435 |   288332 |    23098     24 |      701 |      578
724.26/724.41	c  724s |      17 |   429139 |   288932 |    23098     24 |      701 |      578
726.36/726.50	c  726s |      17 |   429919 |   289532 |    23098     24 |      701 |      578
728.36/728.59	c  728s |      17 |   430664 |   290132 |    23098     24 |      701 |      578
730.66/730.89	c  730s |      17 |   431569 |   290832 |    23098     24 |      701 |      578
732.96/733.11	c  732s |      17 |   432432 |   291532 |    23098     24 |      701 |      578
735.35/735.52	c  735s |      17 |   433236 |   292232 |    23098     24 |      701 |      578
737.65/737.84	c  737s |      17 |   433866 |   292732 |    23098     24 |      701 |      578
739.85/740.05	c  739s |      17 |   434503 |   293232 |    23098     24 |      701 |      578
741.95/742.14	c  741s |      17 |   434979 |   293632 |    23098     24 |      701 |      578
744.14/744.37	c  744s |      17 |   435456 |   294032 |    23098     24 |      701 |      578
746.34/746.57	c  746s |      17 |   436218 |   294632 |    25408     24 |      701 |      578
748.74/748.91	c  748s |      17 |   436912 |   295232 |    25408     24 |      701 |      578
750.84/751.01	c  750s |      17 |   437494 |   295732 |    25408     24 |      701 |      578
752.84/753.04	c  752s |      18 |   438133 |   296252 |    25408     24 |      701 |      578
754.84/755.09	c  754s |      18 |   442605 |   297452 |    25408     24 |      701 |      578
756.94/757.20	c  756s |      18 |   444500 |   298952 |    25408     24 |      701 |      578
759.14/759.36	c  759s |      18 |   445847 |   299952 |    25408     24 |      701 |      578
761.25/761.40	c  761s |      18 |   448409 |   301252 |    25408     25 |      701 |      578
763.24/763.41	c  763s |      18 |   452709 |   303352 |    25408     25 |      701 |      578
765.23/765.49	c  765s |      18 |   456227 |   305352 |    25408     25 |      701 |      578
767.33/767.55	c  767s |      18 |   459427 |   307052 |    25408     25 |      701 |      578
769.43/769.64	c  769s |      18 |   461220 |   308552 |    25408     25 |      701 |      578
771.43/771.68	c  771s |      18 |   462589 |   309752 |    25408     25 |      701 |      578
773.63/773.80	c  773s |      18 |   464414 |   311052 |    25408     25 |      701 |      578
775.73/775.94	c  775s |      18 |   465996 |   312252 |    25408     25 |      701 |      578
777.83/778.05	c  777s |      18 |   467297 |   313352 |    25408     25 |      701 |      578
779.93/780.15	c  779s |      18 |   468457 |   314352 |    25408     25 |      701 |      578
782.03/782.25	c  781s |      18 |   469245 |   315052 |    25408     26 |      701 |      578
784.02/784.28	c  784s |      18 |   470040 |   315752 |    25408     26 |      701 |      578
786.32/786.55	c  786s |      18 |   471050 |   316652 |    25408     26 |      701 |      578
788.52/788.71	c  788s |      18 |   472086 |   317552 |    25408     26 |      701 |      578
790.52/790.78	c  790s |      18 |   473060 |   318352 |    25408     26 |      701 |      578
792.62/792.87	c  792s |      18 |   473952 |   319152 |    25408     26 |      701 |      578
794.72/794.92	c  794s |      18 |   474771 |   319852 |    25408     26 |      701 |      578
796.92/797.13	c  796s |      18 |   475870 |   320752 |    25408     26 |      701 |      578
799.02/799.28	c  799s |      18 |   476842 |   321552 |    25408     26 |      701 |      578
801.32/801.57	c  801s |      18 |   477754 |   322352 |    25408     26 |      701 |      578
803.42/803.66	c  803s |      18 |   478586 |   323052 |    25408     26 |      701 |      578
805.62/805.88	c  805s |      18 |   479235 |   323652 |    25408     26 |      701 |      578
807.82/808.06	c  807s |      18 |   479921 |   324252 |    25408     26 |      701 |      578
810.11/810.32	c  810s |      18 |   480770 |   324952 |    25408     26 |      701 |      578
812.21/812.49	c  812s |      18 |   481463 |   325552 |    25408     26 |      701 |      578
814.51/814.70	c  814s |      18 |   482349 |   326252 |    25408     26 |      701 |      578
816.61/816.86	c  816s |      18 |   483038 |   326852 |    25408     26 |      701 |      578
818.91/819.11	c  818s |      18 |   483735 |   327452 |    25408     26 |      701 |      578
821.21/821.43	c  821s |      18 |   484446 |   328052 |    25408     26 |      701 |      578
823.41/823.62	c  823s |      18 |   485123 |   328652 |    25408     26 |      701 |      578
825.51/825.78	c  825s |      18 |   485865 |   329252 |    25408     26 |      701 |      578
827.81/828.07	c  827s |      18 |   486708 |   329952 |    25408     27 |      701 |      578
829.81/830.09	c  829s |      18 |   487637 |   330752 |    25408     27 |      701 |      578
831.91/832.10	c  831s |      18 |   488628 |   331552 |    25408     27 |      701 |      578
833.91/834.16	c  833s |      18 |   489648 |   332352 |    25408     27 |      701 |      578
836.11/836.39	c  836s |      18 |   490472 |   333052 |    25408     27 |      701 |      578
838.21/838.43	c  838s |      18 |   491156 |   333652 |    25408     27 |      701 |      578
840.51/840.73	c  840s |      18 |   491987 |   334352 |    25408     27 |      701 |      578
842.61/842.83	c  842s |      18 |   492659 |   334952 |    25408     27 |      701 |      578
844.71/844.92	c  844s |      18 |   493311 |   335552 |    25408     27 |      701 |      578
846.81/847.06	c  846s |      18 |   493971 |   336152 |    25408     27 |      701 |      578
848.91/849.19	c  848s |      18 |   494633 |   336752 |    25408     27 |      701 |      578
851.01/851.24	c  850s |      18 |   495170 |   337252 |    25408     27 |      701 |      578
853.21/853.47	c  853s |      18 |   495849 |   337852 |    25408     27 |      701 |      578
855.60/855.81	c  855s |      18 |   496502 |   338452 |    25408     27 |      701 |      578
857.70/857.98	c  857s |      18 |   497049 |   338952 |    25408     27 |      701 |      578
860.00/860.24	c  859s |      18 |   497733 |   339552 |    25408     27 |      701 |      578
862.10/862.32	c  862s |      18 |   498421 |   340152 |    25408     27 |      701 |      578
864.20/864.46	c  864s |      18 |   498963 |   340652 |    25408     27 |      701 |      578
866.20/866.47	c  866s |      18 |   499652 |   341252 |    25408     27 |      701 |      578
868.50/868.70	c  868s |      18 |   500224 |   341752 |    25408     27 |      701 |      578
870.80/871.06	c  870s |      18 |   500789 |   342252 |    25408     27 |      701 |      578
873.10/873.30	c  873s |      18 |   501482 |   342852 |    25408     27 |      701 |      578
875.39/875.62	c  875s |      18 |   502061 |   343352 |    25408     27 |      701 |      578
877.70/877.96	c  877s |      18 |   502495 |   343752 |    25408     28 |      701 |      578
880.00/880.27	c  879s |      18 |   503396 |   344552 |    25408     28 |      701 |      578
882.10/882.37	c  882s |      18 |   504223 |   345252 |    25408     28 |      701 |      578
884.29/884.53	c  884s |      18 |   505047 |   345952 |    25408     28 |      701 |      578
886.59/886.82	c  886s |      18 |   506027 |   346752 |    25408     28 |      701 |      578
888.69/888.95	c  888s |      18 |   506717 |   347352 |    25408     28 |      701 |      578
890.69/890.98	c  890s |      18 |   507424 |   347952 |    25408     28 |      701 |      578
892.89/893.13	c  892s |      18 |   508229 |   348652 |    25408     28 |      701 |      578
894.88/895.19	c  894s |      18 |   508895 |   349252 |    25408     28 |      701 |      578
896.98/897.20	c  896s |      18 |   509611 |   349852 |    25408     28 |      701 |      578
898.98/899.24	c  898s |      18 |   510308 |   350452 |    25408     28 |      701 |      578
901.38/901.62	c  901s |      18 |   511139 |   351152 |    25408     28 |      701 |      578
903.48/903.73	c  903s |      18 |   511841 |   351752 |    25408     28 |      701 |      578
905.58/905.83	c  905s |      18 |   512557 |   352352 |    25408     28 |      701 |      578
907.78/908.06	c  907s |      18 |   513994 |   353252 |    25408     28 |      701 |      578
909.87/910.15	c  909s |      18 |   517544 |   354452 |    25408     28 |      701 |      578
911.97/912.21	c  911s |      18 |   520461 |   355552 |    25408     28 |      701 |      578
914.08/914.31	c  914s |      18 |   521799 |   356652 |    25408     28 |      701 |      578
916.57/916.85	c  916s |      18 |   523341 |   357752 |    25408     29 |      701 |      578
918.57/918.88	c  918s |      18 |   524984 |   359152 |    25408     29 |      701 |      578
920.58/920.88	c  920s |      18 |   526753 |   360452 |    25408     29 |      701 |      578
922.67/922.91	c  922s |      18 |   528239 |   361752 |    25408     29 |      701 |      578
924.66/924.97	c  924s |      18 |   529849 |   363052 |    25408     29 |      701 |      578
926.76/927.06	c  926s |      18 |   531257 |   364152 |    25408     29 |      701 |      578
928.86/929.17	c  928s |      18 |   532932 |   365452 |    25408     29 |      701 |      578
930.96/931.29	c  931s |      18 |   534905 |   366752 |    25408     29 |      701 |      578
933.16/933.48	c  933s |      18 |   536394 |   367952 |    25408     29 |      701 |      578
935.25/935.54	c  935s |      18 |   537955 |   369052 |    25408     29 |      701 |      578
937.36/937.66	c  937s |      18 |   539419 |   370152 |    25408     29 |      701 |      578
939.46/939.76	c  939s |      18 |   540615 |   371052 |    25408     29 |      701 |      578
941.66/941.95	c  941s |      18 |   541953 |   372052 |    25408     29 |      701 |      578
943.76/944.08	c  943s |      18 |   542939 |   372852 |    25408     30 |      701 |      578
946.06/946.31	c  946s |      18 |   544185 |   373852 |    25408     30 |      701 |      578
948.16/948.43	c  948s |      18 |   545464 |   374852 |    25408     30 |      701 |      578
950.26/950.59	c  950s |      18 |   546874 |   375952 |    25408     30 |      701 |      578
952.35/952.63	c  952s |      18 |   548538 |   377252 |    25408     30 |      701 |      578
954.35/954.64	c  954s |      18 |   550233 |   378552 |    25408     30 |      701 |      578
956.45/956.70	c  956s |      18 |   551673 |   379752 |    25408     30 |      701 |      578
958.45/958.75	c  958s |      18 |   552811 |   380752 |    25408     30 |      701 |      578
960.55/960.81	c  960s |      18 |   553869 |   381652 |    25408     30 |      701 |      578
962.55/962.83	c  962s |      18 |   554901 |   382552 |    25408     30 |      701 |      578
964.65/964.94	c  964s |      18 |   555914 |   383452 |    25408     30 |      701 |      578
966.64/966.95	c  966s |      18 |   556815 |   384252 |    25408     30 |      701 |      578
968.84/969.17	c  968s |      18 |   557824 |   385152 |    25408     30 |      701 |      578
970.94/971.27	c  970s |      18 |   558593 |   385852 |    25408     30 |      701 |      578
973.14/973.48	c  973s |      18 |   559505 |   386652 |    25408     30 |      701 |      578
975.43/975.73	c  975s |      18 |   560320 |   387352 |    25408     31 |      701 |      578
977.63/977.97	c  977s |      18 |   561181 |   388152 |    25408     31 |      701 |      578
979.73/980.00	c  979s |      18 |   562123 |   388952 |    25408     31 |      701 |      578
981.83/982.18	c  981s |      18 |   563002 |   389752 |    25408     31 |      701 |      578
984.03/984.32	c  984s |      18 |   563745 |   390452 |    25408     31 |      701 |      578
986.13/986.41	c  986s |      18 |   564543 |   391152 |    25408     31 |      701 |      578
988.43/988.75	c  988s |      18 |   565314 |   391852 |    25408     31 |      701 |      578
990.73/991.00	c  990s |      18 |   565983 |   392452 |    25408     31 |      701 |      578
992.73/993.03	c  992s |      18 |   566636 |   393052 |    25408     31 |      701 |      578
994.92/995.26	c  994s |      18 |   567540 |   393852 |    25408     31 |      701 |      578
996.92/997.28	c  997s |      18 |   568197 |   394452 |    25408     31 |      701 |      578
999.12/999.43	c  999s |      18 |   568847 |   395052 |    25408     31 |      701 |      578
1001.22/1001.53	c 1001s |      18 |   569503 |   395652 |    25408     31 |      701 |      578
1003.22/1003.58	c 1003s |      18 |   570178 |   396252 |    25408     31 |      701 |      578
1005.32/1005.61	c 1005s |      18 |   570842 |   396852 |    25408     31 |      701 |      578
1007.51/1007.89	c 1007s |      18 |   571502 |   397452 |    25408     31 |      701 |      578
1009.71/1010.06	c 1009s |      18 |   572133 |   398052 |    25408     31 |      701 |      578
1012.01/1012.30	c 1012s |      18 |   572790 |   398652 |    25408     31 |      701 |      578
1014.21/1014.54	c 1014s |      18 |   573461 |   399252 |    25408     31 |      701 |      578
1016.51/1016.85	c 1016s |      18 |   574131 |   399852 |    25408     31 |      701 |      578
1018.61/1018.91	c 1018s |      18 |   574671 |   400352 |    25408     31 |      701 |      578
1020.81/1021.10	c 1020s |      18 |   575213 |   400852 |    25408     31 |      701 |      578
1023.41/1023.73	c 1023s |      18 |   575749 |   401352 |    25408     32 |      701 |      578
1025.60/1025.95	c 1025s |      18 |   576525 |   402052 |    25408     32 |      701 |      578
1027.80/1028.16	c 1027s |      18 |   577147 |   402652 |    25408     32 |      701 |      578
1030.10/1030.48	c 1030s |      18 |   577764 |   403252 |    25408     32 |      701 |      578
1032.30/1032.66	c 1032s |      18 |   578551 |   403952 |    25408     32 |      701 |      578
1034.39/1034.73	c 1034s |      18 |   579183 |   404552 |    25408     32 |      701 |      578
1036.49/1036.87	c 1036s |      18 |   579830 |   405152 |    25408     32 |      701 |      578
1038.79/1039.17	c 1038s |      18 |   580472 |   405752 |    25408     32 |      701 |      578
1041.09/1041.45	c 1041s |      18 |   581122 |   406352 |    25408     32 |      701 |      578
1043.49/1043.80	c 1043s |      18 |   581756 |   406952 |    25408     32 |      701 |      578
1045.48/1045.88	c 1045s |      18 |   582291 |   407452 |    25408     32 |      701 |      578
1047.88/1048.23	c 1047s |      18 |   582941 |   408052 |    25408     32 |      701 |      578
1049.98/1050.36	c 1050s |      18 |   583470 |   408552 |    25408     32 |      701 |      578
1052.08/1052.43	c 1052s |      18 |   584004 |   409052 |    25408     32 |      701 |      578
1054.37/1054.79	c 1054s |      18 |   584647 |   409652 |    25408     32 |      701 |      578
1056.47/1056.84	c 1056s |      18 |   585183 |   410152 |    25408     32 |      701 |      578
1058.57/1058.96	c 1058s |      18 |   585712 |   410652 |    25408     32 |      701 |      578
1060.77/1061.15	c 1060s |      18 |   586248 |   411152 |    25408     32 |      701 |      578
1063.07/1063.47	c 1063s |      18 |   586795 |   411652 |    25408     32 |      701 |      578
1065.17/1065.56	c 1065s |      18 |   587333 |   412152 |    25408     32 |      701 |      578
1067.27/1067.69	c 1067s |      18 |   587873 |   412652 |    25408     32 |      701 |      578
1069.57/1069.91	c 1069s |      18 |   588397 |   413152 |    25408     32 |      701 |      578
1071.77/1072.14	c 1071s |      18 |   588941 |   413652 |    25408     32 |      701 |      578
1074.06/1074.46	c 1074s |      18 |   589484 |   414152 |    25408     32 |      701 |      578
1076.36/1076.74	c 1076s |      18 |   590017 |   414652 |    25408     32 |      701 |      578
1078.77/1079.16	c 1078s |      18 |   590574 |   415152 |    25408     32 |      701 |      578
1081.17/1081.52	c 1081s |      18 |   591118 |   415652 |    25408     32 |      701 |      578
1083.27/1083.69	c 1083s |      18 |   591544 |   416052 |    25408     33 |      701 |      578
1085.57/1085.90	c 1085s |      18 |   592186 |   416652 |    25408     33 |      701 |      578
1087.56/1087.91	c 1087s |      18 |   592836 |   417252 |    25408     33 |      701 |      578
1089.66/1090.01	c 1089s |      18 |   593595 |   417952 |    25408     33 |      701 |      578
1091.76/1092.14	c 1091s |      18 |   594387 |   418652 |    25408     33 |      701 |      578
1093.95/1094.38	c 1094s |      18 |   595129 |   419352 |    25408     33 |      701 |      578
1096.15/1096.55	c 1096s |      18 |   595892 |   420052 |    25408     33 |      701 |      578
1098.25/1098.64	c 1098s |      18 |   596553 |   420652 |    25408     33 |      701 |      578
1100.35/1100.77	c 1100s |      18 |   597181 |   421252 |    25408     33 |      701 |      578
1102.65/1103.06	c 1102s |      18 |   597824 |   421852 |    25408     33 |      701 |      578
1104.74/1105.17	c 1104s |      18 |   598465 |   422452 |    25408     33 |      701 |      578
1106.94/1107.30	c 1107s |      18 |   599110 |   423052 |    25408     33 |      701 |      578
1109.04/1109.41	c 1109s |      18 |   599767 |   423652 |    25408     33 |      701 |      578
1111.24/1111.69	c 1111s |      18 |   600400 |   424252 |    25408     33 |      701 |      578
1113.44/1113.86	c 1113s |      18 |   601046 |   424852 |    25408     33 |      701 |      578
1115.64/1116.08	c 1115s |      18 |   601694 |   425452 |    25408     33 |      701 |      578
1117.84/1118.25	c 1117s |      18 |   602370 |   426052 |    25408     33 |      701 |      578
1119.84/1120.26	c 1119s |      18 |   602887 |   426552 |    25408     33 |      701 |      578
1122.14/1122.57	c 1122s |      18 |   603544 |   427152 |    25408     33 |      701 |      578
1124.53/1124.99	c 1124s |      18 |   604180 |   427752 |    25408     33 |      701 |      578
1126.73/1127.19	c 1126s |      18 |   604722 |   428252 |    25408     33 |      701 |      578
1129.13/1129.52	c 1129s |      18 |   605241 |   428752 |    25408     33 |      701 |      578
1131.33/1131.73	c 1131s |      18 |   605785 |   429252 |    25408     33 |      701 |      578
1133.63/1134.05	c 1133s |      18 |   606318 |   429752 |    25408     33 |      701 |      578
1136.13/1136.55	c 1136s |      18 |   606738 |   430152 |    25408     34 |      701 |      578
1138.42/1138.83	c 1138s |      18 |   607391 |   430752 |    25408     34 |      701 |      578
1140.43/1140.90	c 1140s |      18 |   608027 |   431352 |    25408     34 |      701 |      578
1142.63/1143.03	c 1142s |      18 |   608657 |   431952 |    25408     34 |      701 |      578
1144.82/1145.22	c 1144s |      18 |   609280 |   432552 |    25408     34 |      701 |      578
1147.02/1147.49	c 1147s |      18 |   609909 |   433152 |    25408     34 |      701 |      578
1149.22/1149.62	c 1149s |      18 |   610545 |   433752 |    25408     34 |      701 |      578
1151.42/1151.87	c 1151s |      18 |   611205 |   434352 |    25408     34 |      701 |      578
1153.81/1154.22	c 1153s |      18 |   611839 |   434952 |    25408     34 |      701 |      578
1156.01/1156.47	c 1156s |      18 |   612483 |   435552 |    25408     34 |      701 |      578
1158.41/1158.88	c 1158s |      18 |   613106 |   436152 |    25408     34 |      701 |      578
1160.61/1161.06	c 1160s |      18 |   613629 |   436652 |    25408     34 |      701 |      578
1162.91/1163.35	c 1163s |      18 |   614300 |   437252 |    25408     34 |      701 |      578
1165.00/1165.42	c 1165s |      18 |   615017 |   437852 |    25408     34 |      701 |      578
1167.30/1167.70	c 1167s |      18 |   615672 |   438452 |    25408     34 |      701 |      578
1169.60/1170.00	c 1169s |      18 |   616309 |   439052 |    25408     34 |      701 |      578
1171.90/1172.36	c 1172s |      18 |   616948 |   439652 |    25408     34 |      701 |      578
1174.29/1174.78	c 1174s |      18 |   617599 |   440252 |    25408     34 |      701 |      578
1176.39/1176.82	c 1176s |      18 |   618134 |   440752 |    25408     34 |      701 |      578
1178.39/1178.86	c 1178s |      18 |   618871 |   441352 |    27949     34 |      701 |      578
1180.39/1180.88	c 1180s |      18 |   619585 |   441952 |    27949     34 |      701 |      578
1182.49/1182.91	c 1182s |      18 |   620237 |   442552 |    27949     34 |      701 |      578
1184.69/1185.12	c 1184s |      18 |   620877 |   443152 |    27949     34 |      701 |      578
1186.79/1187.21	c 1186s |      18 |   621528 |   443752 |    27949     34 |      701 |      578
1188.90/1189.36	c 1189s |      18 |   622215 |   444352 |    27949     34 |      701 |      578
1189.29/1189.78	c 1189s |      19 |   622347 |   444482 |    27949     34 |      701 |      578
1191.39/1191.82	c 1191s |      19 |   627748 |   445582 |    27949     35 |      701 |      578
1193.49/1193.91	c 1193s |      19 |   629809 |   447182 |    27949     35 |      701 |      578
1195.49/1195.93	c 1195s |      19 |   641852 |   449782 |    27949     35 |      701 |      578
1197.59/1198.01	c 1197s |      19 |   653652 |   452582 |    27949     35 |      701 |      578
1199.68/1200.13	c 1199s |      19 |   655353 |   454082 |    27949     35 |      701 |      578
1201.78/1202.28	c 1202s |      19 |   658157 |   455682 |    27949     35 |      701 |      578
1203.88/1204.33	c 1204s |      19 |   659676 |   456782 |    27949     35 |      701 |      578
1206.18/1206.61	c 1206s |      19 |   660924 |   457782 |    27949     35 |      701 |      578
1208.28/1208.74	c 1208s |      19 |   661993 |   458682 |    27949     35 |      701 |      578
1210.38/1210.85	c 1210s |      19 |   663092 |   459582 |    27949     35 |      701 |      578
1212.48/1212.93	c 1212s |      19 |   664056 |   460382 |    27949     35 |      701 |      578
1214.48/1214.98	c 1214s |      19 |   664918 |   461082 |    27949     35 |      701 |      578
1216.78/1217.23	c 1216s |      19 |   665656 |   461682 |    27949     36 |      701 |      578
1218.78/1219.29	c 1219s |      19 |   668689 |   462882 |    27949     36 |      701 |      578
1220.98/1221.42	c 1221s |      19 |   670608 |   464282 |    27949     36 |      701 |      578
1223.18/1223.60	c 1223s |      19 |   672121 |   465482 |    27949     36 |      701 |      578
1225.38/1225.83	c 1225s |      19 |   673302 |   466482 |    27949     36 |      701 |      578
1227.48/1227.95	c 1227s |      19 |   674668 |   467582 |    27949     36 |      701 |      578
1229.68/1230.10	c 1229s |      19 |   676170 |   468682 |    27949     36 |      701 |      578
1231.68/1232.11	c 1231s |      19 |   677398 |   469682 |    27949     36 |      701 |      578
1233.78/1234.25	c 1233s |      19 |   678411 |   470482 |    27949     36 |      701 |      578
1235.88/1236.35	c 1236s |      19 |   679510 |   471382 |    27949     36 |      701 |      578
1237.98/1238.45	c 1238s |      19 |   680475 |   472182 |    27949     36 |      701 |      578
1240.08/1240.57	c 1240s |      19 |   681273 |   472882 |    27949     36 |      701 |      578
1242.08/1242.57	c 1242s |      19 |   682130 |   473582 |    27949     36 |      701 |      578
1244.38/1244.81	c 1244s |      19 |   683111 |   474382 |    27949     36 |      701 |      578
1246.68/1247.13	c 1246s |      19 |   684030 |   475182 |    27949     36 |      701 |      578
1248.68/1249.18	c 1248s |      19 |   684872 |   475882 |    27949     36 |      701 |      578
1250.87/1251.31	c 1251s |      19 |   685712 |   476582 |    27949     36 |      701 |      578
1252.97/1253.46	c 1253s |      19 |   686263 |   477082 |    27949     37 |      701 |      578
1255.07/1255.54	c 1255s |      19 |   687050 |   477782 |    27949     37 |      701 |      578
1257.08/1257.58	c 1257s |      19 |   687914 |   478482 |    27949     37 |      701 |      578
1259.28/1259.79	c 1259s |      19 |   689078 |   479382 |    27949     37 |      701 |      578
1261.57/1262.06	c 1261s |      19 |   690197 |   480282 |    27949     37 |      701 |      578
1263.68/1264.13	c 1263s |      19 |   690996 |   480982 |    27949     37 |      701 |      578
1265.78/1266.26	c 1265s |      19 |   691802 |   481682 |    27949     37 |      701 |      578
1267.99/1268.41	c 1268s |      19 |   692608 |   482382 |    27949     37 |      701 |      578
1269.98/1270.46	c 1270s |      19 |   693262 |   482982 |    27949     37 |      701 |      578
1272.08/1272.58	c 1272s |      19 |   694173 |   483682 |    27949     37 |      701 |      578
1274.28/1274.73	c 1274s |      19 |   695020 |   484382 |    27949     37 |      701 |      578
1276.48/1276.90	c 1276s |      19 |   695723 |   484982 |    27949     37 |      701 |      578
1278.78/1279.21	c 1278s |      19 |   696385 |   485582 |    27949     37 |      701 |      578
1280.88/1281.31	c 1281s |      19 |   698131 |   486582 |    27949     37 |      701 |      578
1282.98/1283.47	c 1283s |      19 |   699625 |   487582 |    27949     37 |      701 |      578
1285.18/1285.68	c 1285s |      19 |   700920 |   488482 |    27949     37 |      701 |      578
1287.28/1287.75	c 1287s |      19 |   703286 |   489582 |    27949     37 |      701 |      578
1289.58/1290.02	c 1289s |      19 |   705108 |   490682 |    27949     37 |      701 |      578
1291.78/1292.23	c 1291s |      19 |   706134 |   491482 |    27949     37 |      701 |      578
1293.77/1294.26	c 1293s |      19 |   707177 |   492282 |    27949     37 |      701 |      578
1295.97/1296.40	c 1296s |      19 |   708144 |   492982 |    27949     38 |      701 |      578
1298.17/1298.66	c 1298s |      19 |   709102 |   493782 |    27949     38 |      701 |      578
1300.17/1300.67	c 1300s |      19 |   710023 |   494482 |    27949     38 |      701 |      578
1302.18/1302.69	c 1302s |      19 |   711064 |   495282 |    27949     38 |      701 |      578
1304.17/1304.70	c 1304s |      19 |   711980 |   495982 |    27949     38 |      701 |      578
1306.27/1306.78	c 1306s |      19 |   712904 |   496682 |    27949     38 |      701 |      578
1308.37/1308.86	c 1308s |      19 |   713796 |   497382 |    27949     38 |      701 |      578
1310.47/1310.97	c 1310s |      19 |   714903 |   498182 |    27949     38 |      701 |      578
1312.57/1313.05	c 1312s |      19 |   716139 |   499082 |    27949     38 |      701 |      578
1314.67/1315.18	c 1314s |      19 |   717098 |   499882 |    27949     38 |      701 |      578
1316.87/1317.38	c 1317s |      19 |   717932 |   500582 |    27949     38 |      701 |      578
1319.07/1319.55	c 1319s |      19 |   718691 |   501182 |    27949     38 |      701 |      578
1321.17/1321.67	c 1321s |      19 |   720053 |   502082 |    27949     38 |      701 |      578
1323.16/1323.69	c 1323s |      19 |   721148 |   502882 |    27949     38 |      701 |      578
1325.27/1325.76	c 1325s |      19 |   722052 |   503582 |    27949     38 |      701 |      578
1327.47/1327.98	c 1327s |      19 |   722905 |   504282 |    27949     38 |      701 |      578
1329.67/1330.17	c 1329s |      19 |   723812 |   504982 |    27949     38 |      701 |      578
1332.06/1332.50	c 1332s |      19 |   724662 |   505682 |    27949     38 |      701 |      578
1334.16/1334.70	c 1334s |      19 |   725576 |   506382 |    27949     38 |      701 |      578
1336.36/1336.81	c 1336s |      19 |   726334 |   506982 |    27949     38 |      701 |      578
1338.37/1338.83	c 1338s |      19 |   727066 |   507582 |    27949     38 |      701 |      578
1340.57/1341.09	c 1340s |      19 |   727672 |   508082 |    27949     39 |      701 |      578
1342.77/1343.26	c 1342s |      19 |   728563 |   508782 |    27949     39 |      701 |      578
1344.98/1345.46	c 1345s |      19 |   729368 |   509482 |    27949     39 |      701 |      578
1347.07/1347.55	c 1347s |      19 |   730494 |   510182 |    27949     39 |      701 |      578
1349.27/1349.78	c 1349s |      19 |   732071 |   511382 |    27949     39 |      701 |      578
1351.47/1351.96	c 1351s |      19 |   733484 |   512382 |    27949     39 |      701 |      578
1353.67/1354.12	c 1353s |      19 |   734869 |   513482 |    27949     39 |      701 |      578
1355.67/1356.18	c 1355s |      19 |   736062 |   514382 |    27949     39 |      701 |      578
1357.77/1358.23	c 1357s |      19 |   737042 |   515182 |    27949     39 |      701 |      578
1359.87/1360.31	c 1360s |      19 |   737909 |   515882 |    27949     39 |      701 |      578
1362.17/1362.68	c 1362s |      19 |   738719 |   516582 |    27949     39 |      701 |      578
1364.27/1364.73	c 1364s |      19 |   739536 |   517282 |    27949     39 |      701 |      578
1366.57/1367.01	c 1366s |      19 |   740364 |   517982 |    27949     39 |      701 |      578
1368.86/1369.33	c 1369s |      19 |   741048 |   518582 |    27949     39 |      701 |      578
1371.06/1371.57	c 1371s |      19 |   741845 |   519282 |    27949     39 |      701 |      578
1373.06/1373.58	c 1373s |      19 |   742541 |   519882 |    27949     39 |      701 |      578
1375.16/1375.68	c 1375s |      19 |   743331 |   520582 |    27949     39 |      701 |      578
1377.26/1377.75	c 1377s |      19 |   744000 |   521182 |    27949     39 |      701 |      578
1379.56/1380.09	c 1379s |      19 |   744812 |   521882 |    27949     39 |      701 |      578
1381.86/1382.39	c 1382s |      19 |   745504 |   522482 |    27949     39 |      701 |      578
1384.06/1384.50	c 1384s |      19 |   746200 |   523082 |    27949     39 |      701 |      578
1386.66/1387.20	c 1386s |      19 |   746899 |   523682 |    27949     40 |      701 |      578
1389.07/1389.50	c 1389s |      19 |   747675 |   524382 |    27949     40 |      701 |      578
1391.06/1391.59	c 1391s |      19 |   748340 |   524982 |    27949     40 |      701 |      578
1393.16/1393.67	c 1393s |      19 |   749152 |   525682 |    27949     40 |      701 |      578
1395.16/1395.69	c 1395s |      19 |   750159 |   526482 |    27949     40 |      701 |      578
1397.26/1397.78	c 1397s |      19 |   751113 |   527282 |    27949     40 |      701 |      578
1399.36/1399.89	c 1399s |      19 |   751897 |   527982 |    27949     40 |      701 |      578
1401.66/1402.17	c 1401s |      19 |   752662 |   528682 |    27949     40 |      701 |      578
1403.96/1404.41	c 1404s |      19 |   753432 |   529382 |    27949     40 |      701 |      578
1405.96/1406.47	c 1406s |      19 |   754128 |   529982 |    27949     40 |      701 |      578
1408.06/1408.52	c 1408s |      19 |   754779 |   530582 |    27949     40 |      701 |      578
1410.16/1410.64	c 1410s |      19 |   755499 |   531182 |    27949     40 |      701 |      578
1412.26/1412.75	c 1412s |      19 |   756351 |   531882 |    27949     40 |      701 |      578
1414.36/1414.89	c 1414s |      19 |   757015 |   532482 |    27949     40 |      701 |      578
1416.36/1416.89	c 1416s |      19 |   757713 |   533082 |    27949     40 |      701 |      578
1418.46/1418.96	c 1418s |      19 |   758460 |   533682 |    27949     40 |      701 |      578
1420.76/1421.24	c 1420s |      19 |   759338 |   534382 |    27949     40 |      701 |      578
1422.86/1423.39	c 1423s |      19 |   760032 |   534982 |    27949     40 |      701 |      578
1425.16/1425.64	c 1425s |      19 |   760597 |   535482 |    27949     40 |      701 |      578
1427.26/1427.72	c 1427s |      19 |   761174 |   535982 |    27949     40 |      701 |      578
1429.25/1429.79	c 1429s |      19 |   761747 |   536482 |    27949     40 |      701 |      578
1431.65/1432.16	c 1431s |      19 |   762443 |   537082 |    27949     40 |      701 |      578
1433.95/1434.40	c 1434s |      19 |   763013 |   537582 |    27949     40 |      701 |      578
1436.15/1436.65	c 1436s |      19 |   763580 |   538082 |    27949     40 |      701 |      578
1438.35/1438.87	c 1438s |      19 |   764116 |   538582 |    27949     40 |      701 |      578
1440.45/1440.94	c 1440s |      19 |   764687 |   539082 |    27949     40 |      701 |      578
1442.86/1443.34	c 1443s |      19 |   765126 |   539482 |    27949     41 |      701 |      578
1444.95/1445.41	c 1445s |      19 |   765783 |   540082 |    27949     41 |      701 |      578
1447.26/1447.76	c 1447s |      19 |   766568 |   540782 |    27949     41 |      701 |      578
1449.65/1450.18	c 1449s |      19 |   767340 |   541482 |    27949     41 |      701 |      578
1451.85/1452.31	c 1452s |      19 |   767987 |   542082 |    27949     41 |      701 |      578
1454.05/1454.54	c 1454s |      19 |   768659 |   542682 |    27949     41 |      701 |      578
1456.06/1456.57	c 1456s |      19 |   769357 |   543282 |    27949     41 |      701 |      578
1458.36/1458.89	c 1458s |      19 |   770010 |   543882 |    27949     41 |      701 |      578
1460.65/1461.16	c 1460s |      19 |   770673 |   544482 |    27949     41 |      701 |      578
1462.65/1463.17	c 1462s |      19 |   771223 |   544982 |    27949     41 |      701 |      578
1464.85/1465.33	c 1465s |      19 |   771782 |   545482 |    27949     41 |      701 |      578
1466.95/1467.44	c 1467s |      19 |   773969 |   546682 |    27949     41 |      701 |      578
1468.95/1469.46	c 1469s |      19 |   775211 |   547582 |    27949     41 |      701 |      578
1471.15/1471.63	c 1471s |      19 |   776646 |   548582 |    27949     41 |      701 |      578
1473.15/1473.66	c 1473s |      19 |   777697 |   549382 |    27949     41 |      701 |      578
1475.24/1475.70	c 1475s |      19 |   778604 |   550082 |    27949     41 |      701 |      578
1477.34/1477.83	c 1477s |      19 |   779629 |   550882 |    27949     41 |      701 |      578
1479.44/1479.94	c 1479s |      19 |   780586 |   551582 |    27949     41 |      701 |      578
1481.74/1482.20	c 1481s |      19 |   781469 |   552282 |    27949     41 |      701 |      578
1483.94/1484.48	c 1484s |      19 |   782618 |   553082 |    27949     41 |      701 |      578
1486.04/1486.55	c 1486s |      19 |   783386 |   553682 |    27949     41 |      701 |      578
1488.14/1488.64	c 1488s |      19 |   784211 |   554282 |    27949     41 |      701 |      578
1490.25/1490.79	c 1490s |      19 |   784712 |   554682 |    27949     42 |      701 |      578
1492.45/1492.97	c 1492s |      19 |   785858 |   555582 |    27949     42 |      701 |      578
1494.65/1495.12	c 1494s |      19 |   786785 |   556282 |    27949     42 |      701 |      578
1496.75/1497.21	c 1496s |      19 |   787672 |   556982 |    27949     42 |      701 |      578
1498.74/1499.26	c 1498s |      19 |   788580 |   557682 |    27949     42 |      701 |      578
1500.94/1501.49	c 1501s |      19 |   789438 |   558382 |    27949     42 |      701 |      578
1503.04/1503.59	c 1503s |      19 |   790345 |   559082 |    27949     42 |      701 |      578
1505.24/1505.78	c 1505s |      19 |   791212 |   559782 |    27949     42 |      701 |      578
1507.44/1507.97	c 1507s |      19 |   792340 |   560582 |    27949     42 |      701 |      578
1509.64/1510.11	c 1509s |      19 |   793332 |   561382 |    27949     42 |      701 |      578
1511.74/1512.27	c 1511s |      19 |   794169 |   562082 |    27949     42 |      701 |      578
1513.83/1514.38	c 1514s |      19 |   795442 |   562982 |    27949     42 |      701 |      578
1516.13/1516.64	c 1516s |      19 |   796291 |   563682 |    27949     42 |      701 |      578
1518.44/1518.98	c 1518s |      19 |   797148 |   564382 |    27949     42 |      701 |      578
1520.74/1521.26	c 1520s |      19 |   798025 |   565082 |    27949     42 |      701 |      578
1523.04/1523.54	c 1523s |      19 |   798894 |   565782 |    27949     42 |      701 |      578
1525.14/1525.64	c 1525s |      19 |   799582 |   566382 |    27949     42 |      701 |      578
1527.24/1527.79	c 1527s |      19 |   800301 |   566982 |    27949     42 |      701 |      578
1529.34/1529.88	c 1529s |      19 |   800856 |   567482 |    27949     42 |      701 |      578
1531.44/1531.98	c 1531s |      19 |   801612 |   568082 |    27949     42 |      701 |      578
1533.54/1534.04	c 1533s |      19 |   802187 |   568582 |    27949     42 |      701 |      578
1535.74/1536.27	c 1536s |      19 |   802902 |   569182 |    27949     42 |      701 |      578
1537.94/1538.42	c 1538s |      19 |   803652 |   569782 |    27949     42 |      701 |      578
1539.94/1540.46	c 1540s |      19 |   804078 |   570182 |    27949     43 |      701 |      578
1542.34/1542.80	c 1542s |      19 |   804754 |   570782 |    27949     43 |      701 |      578
1544.84/1545.31	c 1545s |      19 |   805450 |   571382 |    27949     43 |      701 |      578
1546.83/1547.38	c 1547s |      19 |   806136 |   571982 |    27949     43 |      701 |      578
1549.03/1549.50	c 1549s |      19 |   806955 |   572682 |    27949     43 |      701 |      578
1551.33/1551.83	c 1551s |      19 |   807815 |   573382 |    27949     43 |      701 |      578
1553.63/1554.10	c 1553s |      19 |   808654 |   574082 |    27949     43 |      701 |      578
1555.73/1556.25	c 1555s |      19 |   809357 |   574682 |    27949     43 |      701 |      578
1557.73/1558.25	c 1557s |      19 |   810094 |   575282 |    27949     43 |      701 |      578
1559.83/1560.34	c 1560s |      19 |   810947 |   575982 |    27949     43 |      701 |      578
1562.03/1562.53	c 1562s |      19 |   811629 |   576582 |    27949     43 |      701 |      578
1564.13/1564.67	c 1564s |      19 |   812423 |   577282 |    27949     43 |      701 |      578
1566.13/1566.69	c 1566s |      19 |   813122 |   577882 |    27949     43 |      701 |      578
1568.53/1569.01	c 1568s |      19 |   813862 |   578482 |    27949     43 |      701 |      578
1570.83/1571.38	c 1571s |      19 |   814592 |   579082 |    27949     43 |      701 |      578
1573.13/1573.66	c 1573s |      19 |   815251 |   579682 |    27949     43 |      701 |      578
1575.13/1575.67	c 1575s |      19 |   815693 |   580082 |    27949     43 |      701 |      578
1577.43/1577.91	c 1577s |      19 |   816294 |   580582 |    27949     43 |      701 |      578
1579.62/1580.11	c 1579s |      19 |   817013 |   581182 |    27949     43 |      701 |      578
1581.72/1582.28	c 1582s |      19 |   817598 |   581682 |    27949     43 |      701 |      578
1583.82/1584.34	c 1584s |      19 |   818202 |   582182 |    27949     43 |      701 |      578
1586.12/1586.69	c 1586s |      19 |   818911 |   582782 |    27949     43 |      701 |      578
1588.53/1589.09	c 1588s |      19 |   819650 |   583382 |    27949     43 |      701 |      578
1590.83/1591.39	c 1591s |      19 |   820218 |   583882 |    27949     43 |      701 |      578
1593.03/1593.54	c 1593s |      19 |   820818 |   584382 |    27949     43 |      701 |      578
1595.23/1595.77	c 1595s |      19 |   821531 |   584982 |    27949     43 |      701 |      578
1597.43/1597.99	c 1597s |      19 |   822224 |   585582 |    27949     43 |      701 |      578
1599.63/1600.16	c 1599s |      19 |   822688 |   585982 |    27949     44 |      701 |      578
1601.83/1602.32	c 1602s |      19 |   823390 |   586582 |    27949     44 |      701 |      578
1604.03/1604.52	c 1604s |      19 |   824090 |   587182 |    27949     44 |      701 |      578
1606.03/1606.56	c 1606s |      19 |   825092 |   587882 |    27949     44 |      701 |      578
1608.23/1608.71	c 1608s |      19 |   825943 |   588582 |    27949     44 |      701 |      578
1610.43/1610.91	c 1610s |      19 |   826759 |   589282 |    27949     44 |      701 |      578
1612.53/1613.01	c 1612s |      19 |   827776 |   590082 |    27949     44 |      701 |      578
1614.63/1615.12	c 1614s |      19 |   828762 |   590882 |    27949     44 |      701 |      578
1616.83/1617.33	c 1617s |      19 |   829545 |   591582 |    27949     44 |      701 |      578
1619.02/1619.52	c 1619s |      19 |   830661 |   592382 |    27949     44 |      701 |      578
1621.13/1621.61	c 1621s |      19 |   831522 |   593082 |    27949     44 |      701 |      578
1623.42/1623.92	c 1623s |      19 |   832344 |   593782 |    27949     44 |      701 |      578
1625.62/1626.16	c 1625s |      19 |   833146 |   594482 |    27949     44 |      701 |      578
1627.92/1628.45	c 1628s |      19 |   833947 |   595182 |    27949     44 |      701 |      578
1630.02/1630.56	c 1630s |      19 |   834693 |   595782 |    27949     44 |      701 |      578
1632.22/1632.78	c 1632s |      19 |   835653 |   596582 |    27949     44 |      701 |      578
1634.52/1635.06	c 1634s |      19 |   836545 |   597282 |    27949     44 |      701 |      578
1636.72/1637.23	c 1636s |      19 |   837411 |   597982 |    27949     44 |      701 |      578
1638.82/1639.37	c 1639s |      19 |   838121 |   598582 |    27949     44 |      701 |      578
1640.93/1641.48	c 1641s |      19 |   838840 |   599182 |    27949     44 |      701 |      578
1643.32/1643.85	c 1643s |      19 |   839554 |   599782 |    27949     44 |      701 |      578
1645.82/1646.30	c 1646s |      19 |   840224 |   600382 |    27949     44 |      701 |      578
1648.02/1648.55	c 1648s |      19 |   840778 |   600882 |    27949     44 |      701 |      578
1650.12/1650.63	c 1650s |      19 |   841235 |   601282 |    27949     45 |      701 |      578
1652.12/1652.69	c 1652s |      19 |   841915 |   601882 |    27949     45 |      701 |      578
1654.42/1654.94	c 1654s |      19 |   842698 |   602582 |    27949     45 |      701 |      578
1656.52/1657.01	c 1656s |      19 |   843439 |   603182 |    27949     45 |      701 |      578
1658.61/1659.14	c 1658s |      19 |   844162 |   603782 |    27949     45 |      701 |      578
1660.81/1661.35	c 1661s |      19 |   844971 |   604482 |    27949     45 |      701 |      578
1662.92/1663.41	c 1663s |      19 |   845672 |   605082 |    27949     45 |      701 |      578
1665.02/1665.55	c 1665s |      19 |   846375 |   605682 |    27949     45 |      701 |      578
1667.11/1667.68	c 1667s |      19 |   847083 |   606282 |    27949     45 |      701 |      578
1669.21/1669.77	c 1669s |      19 |   847940 |   606982 |    27949     45 |      701 |      578
1671.41/1671.96	c 1671s |      19 |   848991 |   607782 |    27949     45 |      701 |      578
1673.51/1674.09	c 1673s |      19 |   850017 |   608582 |    27949     45 |      701 |      578
1675.81/1676.34	c 1676s |      19 |   851062 |   609382 |    27949     45 |      701 |      578
1677.81/1678.38	c 1678s |      19 |   851928 |   610082 |    27949     45 |      701 |      578
1680.11/1680.63	c 1680s |      19 |   852756 |   610782 |    27949     45 |      701 |      578
1682.41/1682.90	c 1682s |      19 |   853729 |   611582 |    27949     45 |      701 |      578
1684.51/1685.09	c 1684s |      19 |   854372 |   612182 |    27949     45 |      701 |      578
1686.81/1687.36	c 1687s |      19 |   855067 |   612782 |    27949     45 |      701 |      578
1689.11/1689.66	c 1689s |      19 |   855758 |   613382 |    27949     45 |      701 |      578
1691.21/1691.74	c 1691s |      19 |   856503 |   613982 |    27949     45 |      701 |      578
1693.41/1693.94	c 1693s |      19 |   857190 |   614582 |    27949     45 |      701 |      578
1695.61/1696.16	c 1695s |      19 |   857900 |   615182 |    27949     45 |      701 |      578
1697.91/1698.48	c 1698s |      19 |   858616 |   615782 |    27949     45 |      701 |      578
1700.01/1700.52	c 1700s |      19 |   859373 |   616382 |    27949     45 |      701 |      578
1702.11/1702.67	c 1702s |      19 |   859996 |   616882 |    27949     46 |      701 |      578
1704.30/1704.80	c 1704s |      19 |   860966 |   617682 |    27949     46 |      701 |      578
1706.30/1706.87	c 1706s |      19 |   861793 |   618382 |    27949     46 |      701 |      578
1708.50/1709.06	c 1708s |      19 |   862623 |   619082 |    27949     46 |      701 |      578
1710.50/1711.08	c 1710s |      19 |   863450 |   619782 |    27949     46 |      701 |      578
1712.80/1713.34	c 1713s |      19 |   864264 |   620482 |    27949     46 |      701 |      578
1714.90/1715.43	c 1715s |      19 |   865054 |   621182 |    27949     46 |      701 |      578
1717.00/1717.55	c 1717s |      19 |   865765 |   621782 |    27949     46 |      701 |      578
1719.01/1719.57	c 1719s |      19 |   866464 |   622382 |    27949     46 |      701 |      578
1721.12/1721.61	c 1721s |      19 |   867017 |   622882 |    27949     46 |      701 |      578
1723.32/1723.90	c 1723s |      19 |   867835 |   623582 |    27949     46 |      701 |      578
1725.41/1725.98	c 1725s |      19 |   868556 |   624182 |    27949     46 |      701 |      578
1727.61/1728.17	c 1727s |      19 |   869247 |   624782 |    27949     46 |      701 |      578
1730.02/1730.56	c 1730s |      19 |   870047 |   625482 |    27949     46 |      701 |      578
1732.31/1732.85	c 1732s |      19 |   870771 |   626082 |    27949     46 |      701 |      578
1734.61/1735.11	c 1734s |      19 |   871464 |   626682 |    27949     46 |      701 |      578
1736.62/1737.14	c 1736s |      19 |   872200 |   627282 |    27949     46 |      701 |      578
1738.71/1739.29	c 1739s |      19 |   872906 |   627882 |    27949     46 |      701 |      578
1740.91/1741.45	c 1741s |      19 |   873583 |   628482 |    27949     46 |      701 |      578
1743.01/1743.57	c 1743s |      19 |   874126 |   628982 |    27949     46 |      701 |      578
1745.31/1745.87	c 1745s |      19 |   874794 |   629582 |    27949     46 |      701 |      578
1747.71/1748.24	c 1747s |      19 |   875377 |   630082 |    27949     46 |      701 |      578
1749.91/1750.48	c 1750s |      19 |   876066 |   630682 |    27949     46 |      701 |      578
1752.01/1752.55	c 1752s |      19 |   876687 |   631182 |    27949     46 |      701 |      578
1754.00/1754.57	c 1754s |      19 |   877257 |   631682 |    27949     46 |      701 |      578
1756.10/1756.61	c 1756s |      19 |   877743 |   632082 |    27949     47 |      701 |      578
1758.30/1758.84	c 1758s |      19 |   878578 |   632782 |    27949     47 |      701 |      578
1760.30/1760.88	c 1760s |      19 |   879299 |   633382 |    27949     47 |      701 |      578
1762.40/1762.93	c 1762s |      19 |   879976 |   633982 |    27949     47 |      701 |      578
1764.50/1765.08	c 1764s |      19 |   880640 |   634582 |    27949     47 |      701 |      578
1766.90/1767.40	c 1767s |      19 |   881325 |   635182 |    27949     47 |      701 |      578
1769.00/1769.53	c 1769s |      19 |   882046 |   635782 |    27949     47 |      701 |      578
1771.00/1771.57	c 1771s |      19 |   882721 |   636382 |    27949     47 |      701 |      578
1773.10/1773.65	c 1773s |      19 |   883280 |   636882 |    27949     47 |      701 |      578
1775.20/1775.74	c 1775s |      19 |   883838 |   637382 |    27949     47 |      701 |      578
1777.31/1777.88	c 1777s |      19 |   884386 |   637882 |    27949     47 |      701 |      578
1779.41/1779.99	c 1779s |      19 |   884976 |   638382 |    27949     47 |      701 |      578
1781.50/1782.08	c 1781s |      19 |   885548 |   638882 |    27949     47 |      701 |      578
1783.81/1784.32	c 1784s |      19 |   886277 |   639482 |    27949     47 |      701 |      578
1786.01/1786.60	c 1786s |      19 |   886976 |   640082 |    27949     47 |      701 |      578
1788.21/1788.77	c 1788s |      19 |   887566 |   640582 |    27949     47 |      701 |      578
1790.30/1790.87	c 1790s |      19 |   888144 |   641082 |    27949     47 |      701 |      578
1792.60/1793.18	c 1792s |      19 |   888690 |   641582 |    27949     47 |      701 |      578
1794.90/1795.42	c 1795s |      19 |   889292 |   642082 |    27949     47 |      701 |      578
1796.90/1797.44	c 1797s |      19 |   889881 |   642582 |    27949     47 |      701 |      578
1799.10/1799.66	c 1799s |      19 |   890829 |   643282 |    27949     47 |      701 |      578

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

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.13 2.09 2/171 23071
/proc/meminfo: memFree=30770524/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=819644 CPUtime=0 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 3078 0 0 0 0 0 0 0 20 0 4 0 30937909 839315456 2928 33554432000 4194304 16246674 140736314054384 140736314053808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 205679 2937 441 2943 0 202573 0
[pid=23071/tid=23072] ppid=23068 vsize=837052 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 857141248 2996 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=841148 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 861335552 3012 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=845244 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30937909 865529856 3028 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.15 2.13 2.09 2/171 23071
/proc/meminfo: memFree=30770524/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 28473 0 0 0 5 4 0 0 20 0 4 0 30937909 1249447936 28260 33554432000 4194304 16246674 140736314054384 140736314053696 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 305041 28260 801 2943 0 301935 0
[pid=23071/tid=23072] ppid=23068 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1249447936 28260 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1249447936 28260 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1249447936 28260 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200541 s]
/proc/loadavg: 2.15 2.13 2.09 2/171 23071
/proc/meminfo: memFree=30770524/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 48680 0 0 0 13 6 0 0 20 0 4 0 30937909 1332285440 48467 33554432000 4194304 16246674 140736314054384 140736314053696 13008204 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 325265 48467 844 2943 0 322159 0
[pid=23071/tid=23072] ppid=23068 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1332285440 48467 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1332285440 48467 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1332285440 48467 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.493904 s]
/proc/loadavg: 2.15 2.13 2.09 2/171 23071
/proc/meminfo: memFree=30770524/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1301060 CPUtime=0.48 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 79131 0 0 0 37 11 0 0 20 0 4 0 30937909 1332285440 78919 33554432000 4194304 16246674 140736314054384 140736314053696 5677277 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 325265 78924 884 2943 0 322159 0
[pid=23071/tid=23072] ppid=23068 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1332285440 78927 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1332285440 78929 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1332285440 78932 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 1301060

[startup+0.700403 s]
/proc/loadavg: 2.15 2.13 2.09 2/171 23071
/proc/meminfo: memFree=30770524/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 102842 0 0 0 54 15 0 0 20 0 4 0 30937909 1332285440 102630 33554432000 4194304 16246674 140736314054384 140736314036288 13780501 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 325265 102635 884 2943 0 322159 0
[pid=23071/tid=23072] ppid=23068 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1332285440 102639 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1332285440 102642 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1332285440 102645 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.5004 s]
/proc/loadavg: 2.15 2.13 2.09 3/183 23088
/proc/meminfo: memFree=29454236/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 208145 0 0 0 120 29 0 0 20 0 4 0 30937909 1332285440 207932 33554432000 4194304 16246674 140736314054384 140736314036288 5662075 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 325265 207938 884 2943 0 322159 0
[pid=23071/tid=23072] ppid=23068 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1332285440 207941 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1332285440 207944 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1332285440 207947 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 2.15 2.13 2.09 3/183 23088
/proc/meminfo: memFree=28608432/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 269529 0 0 0 272 37 0 0 20 0 4 0 30937909 1344868352 269316 33554432000 4194304 16246674 140736314054384 140736314036288 5712672 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 328337 269316 890 2943 0 325231 0
[pid=23071/tid=23072] ppid=23068 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1344868352 269316 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1344868352 269316 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1344868352 269316 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30041 s]
/proc/loadavg: 2.14 2.13 2.09 4/183 23088
/proc/meminfo: memFree=28608048/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 269529 0 0 0 592 37 0 0 20 0 4 0 30937909 1344868352 269316 33554432000 4194304 16246674 140736314054384 140736314036288 6046269 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 328337 269316 890 2943 0 325231 0
[pid=23071/tid=23072] ppid=23068 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1344868352 269316 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1344868352 269316 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1344868352 269316 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.13 2.12 2.09 3/183 23088
/proc/meminfo: memFree=28608340/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 269529 0 0 0 1232 37 0 0 20 0 4 0 30937909 1344868352 269316 33554432000 4194304 16246674 140736314054384 140736314036288 12483624 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 328337 269316 890 2943 0 325231 0
[pid=23071/tid=23072] ppid=23068 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1344868352 269316 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1344868352 269316 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1344868352 269316 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5075 s]
/proc/loadavg: 2.10 2.12 2.09 3/184 23091
/proc/meminfo: memFree=28609528/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1313348 CPUtime=25.5 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 269531 0 0 0 2513 37 0 0 20 0 4 0 30937909 1344868352 269318 33554432000 4194304 16246674 140736314054384 140736314036288 5722712 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 328337 269318 892 2943 0 325231 0
[pid=23071/tid=23072] ppid=23068 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1344868352 269318 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1344868352 269318 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1344868352 269318 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1313348

[startup+51.1004 s]
/proc/loadavg: 2.14 2.12 2.09 4/184 23091
/proc/meminfo: memFree=28609920/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1314372 CPUtime=51.08 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 269560 0 0 0 5071 37 0 0 20 0 4 0 30937909 1345916928 269347 33554432000 4194304 16246674 140736314054384 140736314036288 13759557 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 328593 269347 892 2943 0 325487 0
[pid=23071/tid=23072] ppid=23068 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1345916928 269347 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1345916928 269347 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1345916928 269347 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/183 23092
/proc/meminfo: memFree=28605028/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1314372 CPUtime=102.27 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 269560 0 0 0 10190 37 0 0 20 0 4 0 30937909 1345916928 269347 33554432000 4194304 16246674 140736314054384 140736314036288 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 328593 269347 892 2943 0 325487 0
[pid=23071/tid=23072] ppid=23068 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1345916928 269347 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1345916928 269347 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1345916928 269347 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1314372


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

/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1340996

[startup+1302.3 s]
/proc/loadavg: 2.18 2.13 2.09 3/183 23122
/proc/meminfo: memFree=28550600/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1340996 CPUtime=1301.87 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 276799 0 0 0 130140 47 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140736314036288 12477724 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 335249 276486 892 2943 0 332143 0
[pid=23071/tid=23072] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1340996

[startup+1362.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/183 23123
/proc/meminfo: memFree=28550836/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1340996 CPUtime=1361.87 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 276799 0 0 0 136139 48 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140736314053560 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 335249 276486 892 2943 0 332143 0
[pid=23071/tid=23072] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1340996

[startup+1422.3 s]
/proc/loadavg: 2.17 2.12 2.09 3/183 23124
/proc/meminfo: memFree=28550504/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1340996 CPUtime=1421.86 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 276799 0 0 0 142138 48 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140736314036288 5673612 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 335249 276486 892 2943 0 332143 0
[pid=23071/tid=23072] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1340996

[startup+1482.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/183 23126
/proc/meminfo: memFree=28550404/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1340996 CPUtime=1481.84 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 276799 0 0 0 148136 48 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140736314036288 5823682 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 335249 276486 892 2943 0 332143 0
[pid=23071/tid=23072] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1340996

[startup+1542.3 s]
/proc/loadavg: 2.17 2.12 2.09 3/183 23127
/proc/meminfo: memFree=28550556/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1340996 CPUtime=1541.84 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 276799 0 0 0 154135 49 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140736314036288 5823682 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 335249 276486 892 2943 0 332143 0
[pid=23071/tid=23072] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1340996

[startup+1602.3 s]
/proc/loadavg: 2.16 2.13 2.09 3/183 23128
/proc/meminfo: memFree=28550712/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1340996 CPUtime=1601.83 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 276799 0 0 0 160133 50 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140736314036288 13774516 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 335249 276486 892 2943 0 332143 0
[pid=23071/tid=23072] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1340996

[startup+1662.31 s]
/proc/loadavg: 2.29 2.16 2.10 3/183 23129
/proc/meminfo: memFree=28550740/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1340996 CPUtime=1661.82 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 276799 0 0 0 166132 50 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140736314036288 12477961 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 335249 276486 892 2943 0 332143 0
[pid=23071/tid=23072] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1340996

[startup+1722.3 s]
/proc/loadavg: 2.22 2.16 2.10 3/183 23130
/proc/meminfo: memFree=28551024/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1340996 CPUtime=1721.81 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 276799 0 0 0 172130 51 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140736314053480 5717462 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 335249 276486 892 2943 0 332143 0
[pid=23071/tid=23072] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1340996

[startup+1782.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 23132
/proc/meminfo: memFree=28550060/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1340996 CPUtime=1781.8 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 276799 0 0 0 178129 51 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140736314036288 5712760 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 335249 276486 892 2943 0 332143 0
[pid=23071/tid=23072] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1340996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.14 2.15 2.10 3/183 23132
/proc/meminfo: memFree=28550276/32872528 swapFree=870628/942168
[pid=23071] ppid=23068 vsize=1340996 CPUtime=1800 cores=1,3,5,7
/proc/23071/stat : 23071 (toysat) R 23068 23071 22716 0 -1 4202496 276799 0 0 0 179949 51 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140736314053480 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23071/statm: 335249 276486 892 2943 0 332143 0
[pid=23071/tid=23072] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23072/stat : 23072 (toysat) S 23068 23071 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613713374448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23071/tid=23073] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23073/stat : 23073 (toysat) S 23068 23071 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613702884592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23071/tid=23074] ppid=23068 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/23071/task/23074/stat : 23074 (toysat) S 23068 23071 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937909 1373179904 276486 33554432000 4194304 16246674 140736314054384 140613692411056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1340996

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.5
CPU system time (s): 0.513921
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 1340996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.513921
maximum resident set size= 1105944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 371
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.17421 second user time and 7.00193 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-27 00:09:42
IDJOB=4117181
IDBENCH=109563
IDSOLVER=2542
FILE ID=node113/4117181-1466978982
RUNJOBID= node113-1466975380-22733
PBS_JOBID= 19976383
Free space on /tmp= 71684 MiB

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

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

MD5SUM BENCH= b752b20925aa43c560ab8ccadf705a6b
RANDOM SEED=1484009898

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30778352 kB
Buffers:           58400 kB
Cached:           341780 kB
SwapCached:        18844 kB
Active:            71760 kB
Inactive:         349504 kB
Active(anon):       3644 kB
Inactive(anon):    20016 kB
Active(file):      68116 kB
Inactive(file):   329488 kB
Unevictable:      942168 kB
Mlocked:          870628 kB
SwapTotal:      67108856 kB
SwapFree:       67082244 kB
Dirty:             17124 kB
Writeback:             0 kB
AnonPages:        945784 kB
Mapped:             8324 kB
Shmem:                 0 kB
Slab:             597432 kB
SReclaimable:      41432 kB
SUnreclaim:       556000 kB
KernelStack:        1424 kB
PageTables:         5112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1039364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 71668 MiB
End job on node113 at 2016-06-27 00:39:43