Trace number 4116581

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T18:18:19+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-4116581-1466957899.opb"]
0.00/0.01	c use --random-gen="2890458807 17637409 2080717765 974626795 578988892 4063406677 3655404394 4138407532 2290970639 780296927 4022803909 1094274842 3269003062 505870261 4281607096 703213953 1736989947 2929190884 178344534 2428914181 654053057 404359687 2941844586 102999368 3431729687 3444848972 2884701397 3777888759 2060159537 3174577574 4135698748 932287911 3261930071 3375769026 2145194597 3550306702 1702365023 4153325007 3339152353 3527930642 1214807272 494843529 4156623535 3666124270 899116322 3692011548 4287652063 646192992 3840005903 2123970223 290965693 629404087 589785905 1489829159 20713072 4161845297 12336834 3669521983 624126823 902680756 2691727683 2965443238 1300032440 3652249615 4171711504 1383012386 4254045011 3716169375 1306950942 2746548216 438772598 702129069 1161265425 2547706608 453054013 2075972093 992802128 3691946813 3394348012 3086900917 105379669 483387452 2090233227 1172651853 1796722110 2719449302 4066608535 3460086007 1150976448 1638435544 1348113466 2785131822 1037919018 3853275665 3529501143 2981861914 1807529500 1716239011 3417548472 3729070359 608940784 3339485824 4255851187 881380943 2167351767 1364969693 2498417488 822615389 218936629 4182956824 512604268 1606379075 1512225510 638736087 669798734 2873104346 2906696938 896513776 4289101997 590052844 1650986862 993920249 4272569864 3843140921 3301644638 828441442 2209192292 1622562472 1678750440 1032699004 1211141470 3932573927 2688305783 375621320 221359915 2274008863 1948387409 669332423 3580659155 2733639887 318992965 1014936104 3801311536 2576514350 2096265404 3215608132 1829167192 1483264976 1125036541 2176763612 3725734237 3753609602 2947920452 3787323632 140383959 3651870396 1515612136 353026611 3572536017 2636724639 1790984673 1644783156 2771837803 174153519 1379258589 500873864 2815604255 4176052801 3660177208 462503895 1471767433 3453670891 373251929 2242025845 4185667494 2002169102 2064816431 540820657 2828462810 2059788013 2361295108 1019044291 1775954921 67148755 3800340814 2071557380 3384478883 2677082116 941939547 783939808 1311786126 2762217735 1792627122 3814276148 1425644280 1350819885 699659909 3574982533 3581380416 3613017828 150911211 3846013453 390447969 3193572865 2463653512 1142480132 2125953287 2269726395 2748564915 1102233437 3983475959 4110127987 987430612 1512511167 2284539016 498830212 2357282944 367263057 2157562660 3391497882 490908174 357290550 2360569217 1237837895 360272695 2222901024 1396258750 4168337304 277475384 2813948947 3388858433 1271145628 3117615236 260669748 2949602878 1204887300 1585076513 2385331672 505022414 3467436453 2790055802 3057048679 2469895259 2990141264 407435402 1895228405 673291660 53263959 2949771202 2435965980 342930093 1741757680 4024173746 1056726567 3888914760 3131229251 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8672
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      630 |        0
0.29/0.34	c  0.1s |       1 |     1124 |      100 |     4234      0 |      631 |      350
0.39/0.46	c  0.2s |       2 |     3167 |      250 |     4658      0 |      632 |      350
0.59/0.60	c  0.3s |       3 |     5197 |      475 |     5124      0 |      632 |      350
0.89/0.99	c  0.7s |       4 |     6311 |      813 |     5637      0 |      632 |      350
1.29/1.30	c  1.0s |       5 |    10416 |     1320 |     6201      0 |      632 |      350
2.09/2.20	c  1.9s |       6 |    13120 |     2081 |     7505      0 |      632 |      350
2.99/3.05	c  2.8s |       7 |    17072 |     3223 |     8256      0 |      632 |      350
4.29/4.34	c  4.1s |       8 |    25697 |     4936 |     9082      0 |      632 |      350
6.39/6.45	c  6.2s |       8 |    29267 |     6536 |     9082      0 |      632 |      350
7.89/7.91	c  7.7s |       9 |    30544 |     7506 |     9991      0 |      632 |      350
9.90/9.95	c  9.7s |       9 |    35460 |     9406 |     9991      0 |      632 |      350
11.99/12.04	c 11.8s |       9 |    37435 |    10706 |     9991      0 |      632 |      350
12.89/12.92	c 12.7s |      10 |    39405 |    11361 |    10991      0 |      632 |      350
14.99/15.03	c 14.8s |      10 |    43569 |    13161 |    10991      0 |      632 |      350
17.09/17.11	c 16.9s |      10 |    45698 |    14461 |    10991      1 |      632 |      350
19.09/19.14	c 18.9s |      10 |    49639 |    16261 |    10991      1 |      632 |      350
20.19/20.22	c 20.0s |      11 |    51084 |    17144 |    12091      1 |      632 |      350
22.29/22.33	c 22.1s |      11 |    60114 |    19644 |    12091      1 |      632 |      350
24.39/24.45	c 24.2s |      11 |    62203 |    21244 |    12091      1 |      632 |      350
26.49/26.56	c 26.3s |      11 |    66122 |    22944 |    12091      2 |      632 |      350
28.59/28.64	c 28.4s |      11 |    71937 |    25044 |    12091      2 |      632 |      350
29.38/29.48	c 29.2s |      12 |    74222 |    25819 |    13301      2 |      632 |      350
31.58/31.63	c 31.4s |      12 |    77249 |    27419 |    13301      2 |      632 |      350
33.58/33.64	c 33.4s |      12 |    78924 |    28619 |    13301      2 |      632 |      350
35.68/35.75	c 35.5s |      12 |    80343 |    29719 |    13301      2 |      632 |      350
37.78/37.87	c 37.6s |      12 |    81392 |    30619 |    13301      2 |      632 |      350
39.98/40.01	c 39.8s |      12 |    83068 |    31819 |    13301      3 |      632 |      350
41.98/42.07	c 41.8s |      12 |    84834 |    33019 |    13301      3 |      632 |      350
43.99/44.08	c 43.8s |      12 |    87380 |    34519 |    13301      3 |      632 |      350
46.19/46.23	c 46.0s |      12 |    88962 |    35819 |    13301      3 |      632 |      350
48.18/48.28	c 48.0s |      12 |    91669 |    37119 |    13301      3 |      632 |      350
50.28/50.38	c 50.1s |      12 |    94600 |    38519 |    13301      3 |      632 |      350
50.98/51.00	c 50.7s |      13 |    95065 |    38832 |    14632      3 |      632 |      350
53.08/53.13	c 52.9s |      13 |   101818 |    40732 |    14632      4 |      632 |      350
55.18/55.24	c 55.0s |      13 |   104380 |    42532 |    14632      4 |      632 |      350
57.18/57.30	c 57.0s |      13 |   106030 |    43732 |    14632      4 |      632 |      350
59.28/59.36	c 59.1s |      13 |   107619 |    44932 |    14632      4 |      632 |      350
61.38/61.47	c 61.2s |      13 |   109184 |    46132 |    14632      4 |      632 |      350
63.58/63.63	c 63.4s |      13 |   110564 |    47232 |    14632      4 |      632 |      350
65.68/65.73	c 65.5s |      13 |   111821 |    48232 |    14632      4 |      632 |      350
67.67/67.79	c 67.5s |      13 |   112831 |    49032 |    14632      5 |      632 |      350
69.77/69.86	c 69.6s |      13 |   114228 |    50032 |    14632      5 |      632 |      350
71.97/72.07	c 71.8s |      13 |   115734 |    51132 |    14632      5 |      632 |      350
74.07/74.18	c 73.9s |      13 |   117060 |    52132 |    14632      5 |      632 |      350
76.17/76.23	c 76.0s |      13 |   118062 |    52932 |    14632      5 |      632 |      350
78.27/78.31	c 78.1s |      13 |   119064 |    53732 |    14632      5 |      632 |      350
80.28/80.33	c 80.1s |      13 |   120093 |    54532 |    14632      5 |      632 |      350
82.49/82.51	c 82.3s |      13 |   121334 |    55432 |    14632      5 |      632 |      350
84.48/84.53	c 84.3s |      13 |   122176 |    56132 |    14632      5 |      632 |      350
86.58/86.61	c 86.4s |      13 |   123050 |    56832 |    14632      5 |      632 |      350
88.58/88.69	c 88.4s |      13 |   123958 |    57532 |    14632      6 |      632 |      350
90.58/90.60	c 90.3s |      14 |   124973 |    58352 |    16096      6 |      632 |      350
92.58/92.68	c 92.4s |      14 |   131526 |    60452 |    16096      6 |      632 |      350
94.68/94.77	c 94.5s |      14 |   135567 |    62552 |    16096      6 |      632 |      350
96.78/96.86	c 96.6s |      14 |   138419 |    64352 |    16096      6 |      632 |      350
98.78/98.88	c 98.6s |      14 |   139980 |    65652 |    16096      6 |      632 |      350
100.98/101.01	c  100s |      14 |   141463 |    66952 |    16096      6 |      632 |      350
103.08/103.16	c  102s |      14 |   144681 |    68352 |    16096      7 |      632 |      350
105.18/105.24	c  104s |      14 |   146092 |    69552 |    16096      7 |      632 |      350
107.27/107.30	c  107s |      14 |   147409 |    70652 |    16096      7 |      632 |      350
109.27/109.35	c  109s |      14 |   148608 |    71652 |    16096      7 |      632 |      350
111.37/111.46	c  111s |      14 |   149626 |    72552 |    16096      7 |      632 |      350
113.47/113.52	c  113s |      14 |   150535 |    73352 |    16096      7 |      632 |      350
115.48/115.59	c  115s |      14 |   151539 |    74252 |    16096      7 |      632 |      350
117.57/117.69	c  117s |      14 |   152536 |    75152 |    16096      7 |      632 |      350
119.77/119.81	c  119s |      14 |   153411 |    75952 |    16096      7 |      632 |      350
121.87/121.99	c  121s |      14 |   154255 |    76752 |    16096      7 |      632 |      350
123.97/124.04	c  123s |      14 |   155009 |    77452 |    16096      8 |      632 |      350
126.17/126.22	c  125s |      14 |   155980 |    78352 |    16096      8 |      632 |      350
128.37/128.43	c  128s |      14 |   156952 |    79252 |    16096      8 |      632 |      350
130.57/130.60	c  130s |      14 |   158392 |    80252 |    16096      8 |      632 |      350
132.77/132.83	c  132s |      14 |   159732 |    81252 |    16096      8 |      632 |      350
134.87/134.97	c  134s |      14 |   160919 |    82152 |    16096      8 |      632 |      350
137.17/137.21	c  136s |      14 |   162116 |    83052 |    16096      8 |      632 |      350
139.16/139.26	c  139s |      14 |   163148 |    83852 |    16096      8 |      632 |      350
141.36/141.44	c  141s |      14 |   164407 |    84852 |    16096      8 |      632 |      350
143.46/143.59	c  143s |      14 |   165408 |    85652 |    16096      8 |      632 |      350
145.76/145.86	c  145s |      14 |   167000 |    86552 |    16096      9 |      632 |      350
147.56/147.69	c  147s |      15 |   168282 |    87632 |    17706      9 |      632 |      350
149.67/149.80	c  149s |      15 |   171845 |    89032 |    17706      9 |      632 |      350
151.77/151.84	c  151s |      15 |   173953 |    90432 |    17706      9 |      632 |      350
153.97/154.02	c  153s |      15 |   175296 |    91632 |    17706      9 |      632 |      350
155.97/156.02	c  155s |      15 |   176473 |    92732 |    17706      9 |      632 |      350
158.17/158.28	c  158s |      15 |   177756 |    93832 |    17706      9 |      632 |      350
160.26/160.35	c  160s |      15 |   178757 |    94732 |    17706      9 |      632 |      350
162.26/162.38	c  162s |      15 |   179811 |    95632 |    17706      9 |      632 |      350
164.46/164.57	c  164s |      15 |   180819 |    96532 |    17706      9 |      632 |      350
166.76/166.83	c  166s |      15 |   181721 |    97332 |    17706      9 |      632 |      350
168.96/169.01	c  168s |      15 |   182479 |    98032 |    17706     10 |      632 |      350
171.06/171.13	c  170s |      15 |   183296 |    98732 |    17706     10 |      632 |      350
173.36/173.46	c  173s |      15 |   184222 |    99532 |    17706     10 |      632 |      350
175.66/175.71	c  175s |      15 |   185115 |   100332 |    17706     10 |      632 |      350
177.76/177.84	c  177s |      15 |   185868 |   101032 |    17706     10 |      632 |      350
179.86/179.92	c  179s |      15 |   186521 |   101632 |    17706     10 |      632 |      350
181.86/181.94	c  181s |      15 |   187196 |   102232 |    17706     10 |      632 |      350
184.26/184.32	c  184s |      15 |   187979 |   102932 |    17706     10 |      632 |      350
186.66/186.70	c  186s |      15 |   188621 |   103532 |    17706     10 |      632 |      350
189.06/189.12	c  188s |      15 |   189128 |   104032 |    17706     10 |      632 |      350
191.37/191.48	c  191s |      15 |   189755 |   104632 |    17706     10 |      632 |      350
193.76/193.82	c  193s |      15 |   190415 |   105232 |    17706     10 |      632 |      350
195.96/196.05	c  195s |      15 |   190941 |   105732 |    17706     10 |      632 |      350
198.26/198.37	c  198s |      15 |   191465 |   106232 |    17706     10 |      632 |      350
200.56/200.61	c  200s |      15 |   192343 |   106932 |    17706     10 |      632 |      350
202.56/202.64	c  202s |      15 |   192898 |   107432 |    17706     10 |      632 |      350
204.67/204.74	c  204s |      15 |   193599 |   108032 |    17706     10 |      632 |      350
206.86/206.99	c  206s |      15 |   194161 |   108532 |    17706     11 |      632 |      350
208.96/209.07	c  208s |      15 |   194796 |   109132 |    17706     11 |      632 |      350
211.16/211.24	c  210s |      15 |   195509 |   109832 |    17706     11 |      632 |      350
213.46/213.58	c  213s |      15 |   196254 |   110532 |    17706     11 |      632 |      350
215.66/215.75	c  215s |      15 |   196885 |   111132 |    17706     11 |      632 |      350
217.86/217.97	c  217s |      15 |   197546 |   111732 |    17706     11 |      632 |      350
220.16/220.21	c  219s |      15 |   198166 |   112332 |    17706     11 |      632 |      350
222.36/222.45	c  222s |      15 |   198799 |   112932 |    17706     11 |      632 |      350
224.55/224.66	c  224s |      15 |   199421 |   113532 |    17706     11 |      632 |      350
226.66/226.74	c  226s |      15 |   200061 |   114132 |    17706     11 |      632 |      350
228.86/228.94	c  228s |      15 |   200572 |   114632 |    17706     11 |      632 |      350
231.06/231.19	c  230s |      15 |   201089 |   115132 |    17706     11 |      632 |      350
233.26/233.36	c  233s |      15 |   201612 |   115632 |    17706     11 |      632 |      350
235.36/235.41	c  235s |      15 |   202138 |   116132 |    17706     11 |      632 |      350
237.35/237.42	c  237s |      15 |   202672 |   116632 |    17706     11 |      632 |      350
239.65/239.70	c  239s |      15 |   203215 |   117132 |    17706     11 |      632 |      350
241.96/242.01	c  241s |      15 |   203735 |   117632 |    17706     11 |      632 |      350
244.16/244.27	c  244s |      15 |   204252 |   118132 |    17706     11 |      632 |      350
246.55/246.66	c  246s |      15 |   204770 |   118632 |    17706     11 |      632 |      350
248.95/249.04	c  248s |      15 |   205188 |   119032 |    17706     12 |      632 |      350
251.35/251.41	c  251s |      15 |   205817 |   119632 |    17706     12 |      632 |      350
253.75/253.83	c  253s |      15 |   206435 |   120232 |    17706     12 |      632 |      350
255.95/256.09	c  255s |      15 |   207077 |   120832 |    17706     12 |      632 |      350
258.15/258.27	c  258s |      15 |   207603 |   121332 |    17706     12 |      632 |      350
260.45/260.50	c  260s |      15 |   208117 |   121832 |    17706     12 |      632 |      350
262.55/262.62	c  262s |      15 |   208636 |   122332 |    17706     12 |      632 |      350
264.84/264.93	c  264s |      15 |   209301 |   122932 |    17706     12 |      632 |      350
267.25/267.33	c  267s |      15 |   209935 |   123532 |    17706     12 |      632 |      350
269.34/269.50	c  269s |      15 |   210459 |   124032 |    17706     12 |      632 |      350
271.54/271.66	c  271s |      15 |   210975 |   124532 |    17706     12 |      632 |      350
273.64/273.74	c  273s |      15 |   211493 |   125032 |    17706     12 |      632 |      350
275.75/275.80	c  275s |      15 |   211899 |   125432 |    17706     12 |      632 |      350
278.05/278.10	c  277s |      15 |   212548 |   126032 |    17706     12 |      632 |      350
280.35/280.45	c  280s |      15 |   213178 |   126632 |    17706     12 |      632 |      350
282.35/282.48	c  282s |      15 |   213710 |   127132 |    17706     12 |      632 |      350
284.45/284.58	c  284s |      15 |   214241 |   127632 |    17706     12 |      632 |      350
286.85/286.93	c  286s |      15 |   214773 |   128132 |    17706     12 |      632 |      350
289.15/289.27	c  289s |      15 |   215287 |   128632 |    17706     12 |      632 |      350
291.65/291.70	c  291s |      15 |   215800 |   129132 |    17706     12 |      632 |      350
293.75/293.87	c  293s |      15 |   216216 |   129532 |    17706     13 |      632 |      350
296.04/296.11	c  295s |      15 |   216845 |   130132 |    17706     13 |      632 |      350
298.05/298.15	c  297s |      15 |   217371 |   130632 |    17706     13 |      632 |      350
300.14/300.20	c  299s |      15 |   217893 |   131132 |    19477     13 |      632 |      350
301.74/301.86	c  301s |      16 |   218335 |   131552 |    19477     13 |      632 |      350
303.85/303.91	c  303s |      16 |   230493 |   133852 |    19477     13 |      632 |      350
305.85/305.92	c  305s |      16 |   233304 |   135452 |    19477     13 |      632 |      350
307.84/308.00	c  307s |      16 |   234748 |   136652 |    19477     13 |      632 |      350
309.94/310.08	c  309s |      16 |   236052 |   137852 |    19477     13 |      632 |      350
312.04/312.12	c  311s |      16 |   237102 |   138852 |    19477     13 |      632 |      350
314.14/314.22	c  313s |      16 |   238192 |   139852 |    19477     13 |      632 |      350
316.24/316.32	c  316s |      16 |   239145 |   140752 |    19477     13 |      632 |      350
318.44/318.52	c  318s |      16 |   239990 |   141552 |    19477     13 |      632 |      350
320.64/320.72	c  320s |      16 |   240723 |   142252 |    19477     14 |      632 |      350
322.74/322.87	c  322s |      16 |   241569 |   143052 |    19477     14 |      632 |      350
324.84/324.91	c  324s |      16 |   242421 |   143852 |    19477     14 |      632 |      350
327.04/327.12	c  326s |      16 |   243353 |   144752 |    19477     14 |      632 |      350
329.14/329.29	c  329s |      16 |   244181 |   145552 |    19477     14 |      632 |      350
331.24/331.35	c  331s |      16 |   245037 |   146352 |    19477     14 |      632 |      350
333.25/333.40	c  333s |      16 |   245765 |   147052 |    19477     14 |      632 |      350
335.45/335.53	c  335s |      16 |   246487 |   147752 |    19477     14 |      632 |      350
337.54/337.66	c  337s |      16 |   247207 |   148452 |    19477     14 |      632 |      350
339.74/339.80	c  339s |      16 |   247922 |   149152 |    19477     14 |      632 |      350
341.94/342.03	c  341s |      16 |   248644 |   149852 |    19477     14 |      632 |      350
344.14/344.22	c  343s |      16 |   249376 |   150552 |    19477     14 |      632 |      350
346.14/346.26	c  346s |      16 |   249997 |   151152 |    19477     14 |      632 |      350
348.44/348.57	c  348s |      16 |   250712 |   151852 |    19477     14 |      632 |      350
350.64/350.77	c  350s |      16 |   251348 |   152452 |    19477     14 |      632 |      350
352.94/353.06	c  352s |      16 |   251957 |   153052 |    19477     15 |      632 |      350
355.04/355.11	c  354s |      16 |   252677 |   153752 |    19477     15 |      632 |      350
357.24/357.36	c  357s |      16 |   253404 |   154452 |    19477     15 |      632 |      350
359.34/359.47	c  359s |      16 |   254121 |   155152 |    19477     15 |      632 |      350
361.54/361.67	c  361s |      16 |   254837 |   155852 |    19477     15 |      632 |      350
363.93/364.01	c  363s |      16 |   255552 |   156552 |    19477     15 |      632 |      350
366.03/366.14	c  365s |      16 |   256183 |   157152 |    19477     15 |      632 |      350
368.03/368.16	c  367s |      16 |   256788 |   157752 |    19477     15 |      632 |      350
370.13/370.23	c  369s |      16 |   257412 |   158352 |    19477     15 |      632 |      350
372.43/372.52	c  372s |      16 |   258013 |   158952 |    19477     15 |      632 |      350
374.53/374.62	c  374s |      16 |   258649 |   159552 |    19477     15 |      632 |      350
376.83/376.94	c  376s |      16 |   259252 |   160152 |    19477     15 |      632 |      350
379.13/379.24	c  378s |      16 |   259877 |   160752 |    19477     15 |      632 |      350
381.43/381.50	c  381s |      16 |   260511 |   161352 |    19477     15 |      632 |      350
383.53/383.67	c  383s |      16 |   261270 |   162052 |    19477     15 |      632 |      350
385.73/385.86	c  385s |      16 |   261991 |   162752 |    19477     15 |      632 |      350
388.13/388.20	c  387s |      16 |   262713 |   163452 |    19477     15 |      632 |      350
390.23/390.37	c  390s |      16 |   263343 |   164052 |    19477     15 |      632 |      350
392.43/392.56	c  392s |      16 |   263866 |   164552 |    19477     16 |      632 |      350
394.73/394.84	c  394s |      16 |   264699 |   165352 |    19477     16 |      632 |      350
396.83/396.93	c  396s |      16 |   265435 |   166052 |    19477     16 |      632 |      350
399.03/399.16	c  398s |      16 |   266169 |   166752 |    19477     16 |      632 |      350
401.13/401.25	c  400s |      16 |   266889 |   167452 |    19477     16 |      632 |      350
403.23/403.39	c  403s |      16 |   267646 |   168152 |    19477     16 |      632 |      350
405.53/405.61	c  405s |      16 |   268378 |   168852 |    19477     16 |      632 |      350
407.63/407.74	c  407s |      16 |   269010 |   169452 |    19477     16 |      632 |      350
409.63/409.77	c  409s |      16 |   269634 |   170052 |    19477     16 |      632 |      350
411.83/411.90	c  411s |      16 |   270272 |   170652 |    19477     16 |      632 |      350
413.83/413.97	c  413s |      16 |   270895 |   171252 |    19477     16 |      632 |      350
416.03/416.16	c  415s |      16 |   271521 |   171852 |    19477     16 |      632 |      350
418.33/418.44	c  418s |      16 |   272133 |   172452 |    19477     16 |      632 |      350
420.43/420.57	c  420s |      16 |   272903 |   173052 |    19477     16 |      632 |      350
422.72/422.84	c  422s |      16 |   273703 |   173752 |    19477     16 |      632 |      350
424.72/424.84	c  424s |      16 |   274352 |   174352 |    19477     16 |      632 |      350
426.83/426.96	c  426s |      16 |   274987 |   174952 |    19477     16 |      632 |      350
429.03/429.14	c  428s |      16 |   275649 |   175552 |    19477     16 |      632 |      350
431.02/431.20	c  430s |      16 |   276276 |   176152 |    19477     17 |      632 |      350
433.12/433.21	c  432s |      16 |   277155 |   176952 |    19477     17 |      632 |      350
435.22/435.37	c  435s |      16 |   278038 |   177752 |    19477     17 |      632 |      350
437.42/437.52	c  437s |      16 |   278957 |   178552 |    19477     17 |      632 |      350
439.62/439.73	c  439s |      16 |   279824 |   179352 |    19477     17 |      632 |      350
441.92/442.01	c  441s |      16 |   280761 |   180152 |    19477     17 |      632 |      350
444.12/444.25	c  443s |      16 |   281556 |   180852 |    19477     17 |      632 |      350
446.22/446.33	c  446s |      16 |   282209 |   181452 |    19477     17 |      632 |      350
448.52/448.60	c  448s |      16 |   282954 |   182152 |    19477     17 |      632 |      350
450.72/450.88	c  450s |      16 |   283701 |   182852 |    19477     17 |      632 |      350
452.82/452.97	c  452s |      16 |   284369 |   183452 |    19477     17 |      632 |      350
455.02/455.11	c  454s |      16 |   285000 |   184052 |    19477     17 |      632 |      350
457.12/457.29	c  457s |      16 |   285667 |   184652 |    19477     17 |      632 |      350
459.42/459.53	c  459s |      16 |   286314 |   185252 |    19477     17 |      632 |      350
461.72/461.86	c  461s |      16 |   286922 |   185852 |    19477     17 |      632 |      350
464.12/464.21	c  463s |      16 |   287544 |   186452 |    19477     17 |      632 |      350
466.22/466.30	c  466s |      16 |   288091 |   186952 |    19477     18 |      632 |      350
468.32/468.42	c  468s |      16 |   288970 |   187752 |    19477     18 |      632 |      350
470.42/470.59	c  470s |      16 |   289853 |   188552 |    19477     18 |      632 |      350
472.52/472.62	c  472s |      16 |   290776 |   189352 |    19477     18 |      632 |      350
474.51/474.63	c  474s |      16 |   291540 |   190052 |    19477     18 |      632 |      350
476.71/476.84	c  476s |      16 |   292426 |   190852 |    19477     18 |      632 |      350
478.91/479.02	c  478s |      16 |   293240 |   191552 |    19477     18 |      632 |      350
481.01/481.10	c  480s |      16 |   294023 |   192252 |    19477     18 |      632 |      350
483.21/483.32	c  483s |      16 |   294780 |   192952 |    19477     18 |      632 |      350
485.51/485.60	c  485s |      16 |   295561 |   193652 |    19477     18 |      632 |      350
487.61/487.79	c  487s |      16 |   296317 |   194352 |    19477     18 |      632 |      350
489.61/489.79	c  489s |      16 |   296963 |   194952 |    19477     18 |      632 |      350
491.81/491.93	c  491s |      16 |   297617 |   195552 |    19477     18 |      632 |      350
494.01/494.12	c  493s |      16 |   298257 |   196152 |    21425     18 |      632 |      350
496.21/496.36	c  496s |      16 |   298921 |   196752 |    21425     18 |      632 |      350
498.32/498.50	c  498s |      16 |   299559 |   197352 |    21425     18 |      632 |      350
498.61/498.77	c  498s |      17 |   299660 |   197432 |    21425     18 |      632 |      350
500.61/500.77	c  500s |      17 |   309076 |   199632 |    21425     18 |      632 |      350
502.62/502.78	c  502s |      17 |   311257 |   200832 |    21425     19 |      632 |      350
504.71/504.81	c  504s |      17 |   313150 |   202232 |    21425     19 |      632 |      350
506.81/506.92	c  506s |      17 |   314399 |   203232 |    21425     19 |      632 |      350
508.91/509.00	c  508s |      17 |   315257 |   203932 |    21425     19 |      632 |      350
511.11/511.24	c  510s |      17 |   316158 |   204732 |    21425     19 |      632 |      350
513.11/513.27	c  513s |      17 |   317485 |   205732 |    21425     19 |      632 |      350
515.31/515.46	c  515s |      17 |   318718 |   206732 |    21425     19 |      632 |      350
517.41/517.52	c  517s |      17 |   319898 |   207632 |    21425     19 |      632 |      350
519.51/519.66	c  519s |      17 |   321602 |   208832 |    21425     19 |      632 |      350
521.60/521.72	c  521s |      17 |   322589 |   209632 |    21425     19 |      632 |      350
523.80/523.91	c  523s |      17 |   324361 |   210832 |    21425     19 |      632 |      350
525.81/525.95	c  525s |      17 |   325556 |   211732 |    21425     19 |      632 |      350
528.30/528.40	c  528s |      17 |   326415 |   212432 |    21425     20 |      632 |      350
530.30/530.46	c  530s |      17 |   327290 |   213132 |    21425     20 |      632 |      350
532.50/532.63	c  532s |      17 |   328015 |   213732 |    21425     20 |      632 |      350
534.51/534.68	c  534s |      17 |   329258 |   214632 |    21425     20 |      632 |      350
536.72/536.90	c  536s |      17 |   330224 |   215432 |    21425     20 |      632 |      350
538.92/539.09	c  538s |      17 |   331116 |   216132 |    21425     20 |      632 |      350
541.12/541.24	c  540s |      17 |   332179 |   217032 |    21425     20 |      632 |      350
543.32/543.42	c  543s |      17 |   333174 |   217832 |    21425     20 |      632 |      350
545.41/545.51	c  545s |      17 |   333864 |   218432 |    21425     20 |      632 |      350
547.72/547.86	c  547s |      17 |   334695 |   219132 |    21425     20 |      632 |      350
550.02/550.17	c  549s |      17 |   335897 |   219932 |    21425     20 |      632 |      350
552.12/552.21	c  551s |      17 |   336801 |   220632 |    21425     20 |      632 |      350
554.21/554.38	c  554s |      17 |   338368 |   221632 |    21425     20 |      632 |      350
556.31/556.43	c  556s |      17 |   339217 |   222332 |    21425     20 |      632 |      350
558.41/558.54	c  558s |      17 |   340099 |   223032 |    21425     20 |      632 |      350
560.51/560.62	c  560s |      17 |   340844 |   223632 |    21425     20 |      632 |      350
562.61/562.72	c  562s |      17 |   341574 |   224232 |    21425     20 |      632 |      350
564.71/564.83	c  564s |      17 |   342168 |   224732 |    21425     21 |      632 |      350
566.80/566.97	c  566s |      17 |   343419 |   225632 |    21425     21 |      632 |      350
568.80/568.98	c  568s |      17 |   344354 |   226432 |    21425     21 |      632 |      350
570.91/571.09	c  570s |      17 |   345191 |   227132 |    21425     21 |      632 |      350
573.01/573.11	c  572s |      17 |   345998 |   227832 |    21425     21 |      632 |      350
575.10/575.23	c  574s |      17 |   346942 |   228532 |    21425     21 |      632 |      350
577.10/577.26	c  577s |      17 |   348043 |   229332 |    21425     21 |      632 |      350
579.30/579.43	c  579s |      17 |   349017 |   230132 |    21425     21 |      632 |      350
581.40/581.53	c  581s |      17 |   350421 |   231032 |    21425     21 |      632 |      350
583.40/583.54	c  583s |      17 |   351331 |   231732 |    21425     21 |      632 |      350
585.50/585.62	c  585s |      17 |   352208 |   232432 |    21425     21 |      632 |      350
587.60/587.71	c  587s |      17 |   353076 |   233132 |    21425     21 |      632 |      350
589.70/589.85	c  589s |      17 |   353935 |   233832 |    21425     21 |      632 |      350
591.90/592.06	c  591s |      17 |   354794 |   234532 |    21425     21 |      632 |      350
593.90/594.10	c  593s |      17 |   355485 |   235132 |    21425     21 |      632 |      350
596.00/596.11	c  595s |      17 |   356218 |   235732 |    21425     21 |      632 |      350
598.20/598.30	c  598s |      17 |   356970 |   236332 |    21425     21 |      632 |      350
600.29/600.42	c  600s |      17 |   358050 |   237132 |    21425     21 |      632 |      350
602.39/602.51	c  602s |      17 |   358793 |   237732 |    21425     22 |      632 |      350
604.49/604.69	c  604s |      17 |   360025 |   238632 |    21425     22 |      632 |      350
606.59/606.74	c  606s |      17 |   361057 |   239432 |    21425     22 |      632 |      350
608.69/608.81	c  608s |      17 |   361918 |   240132 |    21425     22 |      632 |      350
610.99/611.11	c  610s |      17 |   362746 |   240832 |    21425     22 |      632 |      350
612.99/613.13	c  612s |      17 |   363501 |   241432 |    21425     22 |      632 |      350
615.00/615.18	c  614s |      17 |   364233 |   242032 |    21425     22 |      632 |      350
617.20/617.37	c  617s |      17 |   365143 |   242732 |    21425     22 |      632 |      350
619.40/619.51	c  619s |      17 |   365896 |   243332 |    21425     22 |      632 |      350
621.50/621.68	c  621s |      17 |   366568 |   243932 |    21425     22 |      632 |      350
623.80/623.94	c  623s |      17 |   367265 |   244532 |    21425     22 |      632 |      350
626.10/626.23	c  625s |      17 |   367943 |   245132 |    21425     22 |      632 |      350
628.30/628.47	c  628s |      17 |   368623 |   245732 |    21425     22 |      632 |      350
630.40/630.56	c  630s |      17 |   369309 |   246332 |    21425     22 |      632 |      350
632.69/632.85	c  632s |      17 |   370001 |   246932 |    21425     22 |      632 |      350
634.79/634.97	c  634s |      17 |   370737 |   247532 |    21425     22 |      632 |      350
636.90/637.04	c  636s |      17 |   371280 |   248032 |    21425     22 |      632 |      350
638.89/639.07	c  638s |      17 |   371888 |   248532 |    21425     22 |      632 |      350
640.99/641.12	c  640s |      17 |   372451 |   249032 |    21425     22 |      632 |      350
642.99/643.15	c  642s |      17 |   373648 |   249732 |    21425     23 |      632 |      350
645.19/645.39	c  645s |      17 |   374725 |   250532 |    21425     23 |      632 |      350
647.59/647.70	c  647s |      17 |   375697 |   251332 |    21425     23 |      632 |      350
649.79/649.90	c  649s |      17 |   376549 |   252032 |    21425     23 |      632 |      350
651.89/652.01	c  651s |      17 |   377399 |   252732 |    21425     23 |      632 |      350
653.99/654.19	c  653s |      17 |   378496 |   253532 |    21425     23 |      632 |      350
656.39/656.51	c  656s |      17 |   379303 |   254232 |    21425     23 |      632 |      350
658.49/658.63	c  658s |      17 |   379989 |   254832 |    21425     23 |      632 |      350
660.49/660.63	c  660s |      17 |   380552 |   255332 |    21425     23 |      632 |      350
662.89/663.01	c  662s |      17 |   381227 |   255932 |    21425     23 |      632 |      350
664.99/665.11	c  664s |      17 |   381796 |   256432 |    21425     23 |      632 |      350
666.98/667.18	c  666s |      17 |   382355 |   256932 |    21425     23 |      632 |      350
669.28/669.40	c  669s |      17 |   383062 |   257532 |    21425     23 |      632 |      350
671.48/671.67	c  671s |      17 |   383813 |   258132 |    21425     23 |      632 |      350
673.58/673.77	c  673s |      17 |   384385 |   258632 |    21425     23 |      632 |      350
675.68/675.89	c  675s |      17 |   384964 |   259132 |    21425     23 |      632 |      350
677.78/677.98	c  677s |      17 |   385555 |   259632 |    21425     23 |      632 |      350
679.88/680.09	c  679s |      17 |   386162 |   260132 |    21425     23 |      632 |      350
682.28/682.49	c  682s |      17 |   386884 |   260732 |    21425     23 |      632 |      350
684.48/684.65	c  684s |      17 |   387460 |   261232 |    21425     23 |      632 |      350
686.58/686.74	c  686s |      17 |   387895 |   261632 |    21425     24 |      632 |      350
688.59/688.76	c  688s |      17 |   388774 |   262332 |    21425     24 |      632 |      350
690.79/690.93	c  690s |      17 |   389620 |   263032 |    21425     24 |      632 |      350
693.08/693.22	c  692s |      17 |   390662 |   263832 |    21425     24 |      632 |      350
695.09/695.25	c  694s |      17 |   391471 |   264532 |    21425     24 |      632 |      350
697.18/697.34	c  697s |      17 |   392404 |   265232 |    21425     24 |      632 |      350
699.28/699.47	c  699s |      17 |   393128 |   265832 |    21425     24 |      632 |      350
701.48/701.60	c  701s |      17 |   393851 |   266432 |    21425     24 |      632 |      350
703.59/703.75	c  703s |      17 |   394598 |   267032 |    21425     24 |      632 |      350
705.88/706.01	c  705s |      17 |   395279 |   267632 |    21425     24 |      632 |      350
707.88/708.07	c  707s |      17 |   395886 |   268132 |    21425     24 |      632 |      350
710.18/710.32	c  710s |      17 |   396608 |   268732 |    21425     24 |      632 |      350
712.38/712.57	c  712s |      17 |   397369 |   269332 |    21425     24 |      632 |      350
714.58/714.79	c  714s |      17 |   398480 |   270132 |    21425     24 |      632 |      350
716.68/716.88	c  716s |      17 |   399202 |   270732 |    21425     24 |      632 |      350
718.78/718.95	c  718s |      17 |   399968 |   271332 |    21425     24 |      632 |      350
721.08/721.24	c  720s |      17 |   400872 |   272032 |    21425     24 |      632 |      350
723.18/723.31	c  723s |      17 |   401453 |   272532 |    21425     24 |      632 |      350
725.48/725.64	c  725s |      17 |   402032 |   273032 |    21425     24 |      632 |      350
727.88/728.01	c  727s |      17 |   402593 |   273532 |    21425     24 |      632 |      350
730.08/730.30	c  730s |      17 |   403031 |   273932 |    21425     25 |      632 |      350
732.18/732.33	c  732s |      17 |   403774 |   274532 |    21425     25 |      632 |      350
734.48/734.61	c  734s |      17 |   404711 |   275332 |    21425     25 |      632 |      350
736.58/736.73	c  736s |      17 |   405502 |   276032 |    21425     25 |      632 |      350
738.67/738.89	c  738s |      17 |   406325 |   276732 |    21425     25 |      632 |      350
740.97/741.11	c  740s |      17 |   407292 |   277532 |    21425     25 |      632 |      350
743.17/743.33	c  743s |      17 |   408140 |   278232 |    21425     25 |      632 |      350
745.37/745.58	c  745s |      17 |   408787 |   278832 |    21425     25 |      632 |      350
747.57/747.75	c  747s |      17 |   409528 |   279432 |    21425     25 |      632 |      350
749.77/749.90	c  749s |      17 |   410283 |   280032 |    21425     25 |      632 |      350
751.77/751.91	c  751s |      17 |   411019 |   280632 |    21425     25 |      632 |      350
753.77/753.95	c  753s |      17 |   411787 |   281232 |    21425     25 |      632 |      350
755.87/756.03	c  755s |      17 |   412503 |   281832 |    21425     25 |      632 |      350
757.88/758.07	c  757s |      17 |   413179 |   282432 |    21425     25 |      632 |      350
760.17/760.36	c  760s |      17 |   413879 |   283032 |    21425     25 |      632 |      350
762.28/762.41	c  762s |      17 |   414605 |   283632 |    21425     25 |      632 |      350
764.48/764.66	c  764s |      17 |   415295 |   284232 |    21425     25 |      632 |      350
766.68/766.85	c  766s |      17 |   415989 |   284832 |    21425     25 |      632 |      350
769.07/769.26	c  769s |      17 |   416715 |   285432 |    21425     25 |      632 |      350
771.28/771.46	c  771s |      17 |   417285 |   285932 |    21425     25 |      632 |      350
773.48/773.64	c  773s |      17 |   418151 |   286532 |    21425     26 |      632 |      350
775.48/775.64	c  775s |      17 |   419409 |   287432 |    21425     26 |      632 |      350
777.77/777.93	c  777s |      17 |   420281 |   288132 |    21425     26 |      632 |      350
779.88/780.07	c  779s |      17 |   421117 |   288832 |    21425     26 |      632 |      350
782.08/782.27	c  782s |      17 |   421874 |   289532 |    21425     26 |      632 |      350
784.07/784.27	c  784s |      17 |   422745 |   290232 |    21425     26 |      632 |      350
786.48/786.63	c  786s |      17 |   423592 |   290932 |    21425     26 |      632 |      350
788.58/788.77	c  788s |      17 |   424309 |   291532 |    21425     26 |      632 |      350
790.67/790.84	c  790s |      17 |   425472 |   292332 |    21425     26 |      632 |      350
792.67/792.88	c  792s |      17 |   426128 |   292932 |    21425     26 |      632 |      350
794.87/795.00	c  794s |      17 |   426811 |   293532 |    21425     26 |      632 |      350
796.87/797.05	c  796s |      17 |   427583 |   294132 |    21425     26 |      632 |      350
799.17/799.30	c  799s |      17 |   428389 |   294832 |    23568     26 |      632 |      350
801.17/801.33	c  801s |      17 |   428933 |   295332 |    23568     26 |      632 |      350
803.47/803.61	c  803s |      17 |   430162 |   296232 |    23568     26 |      632 |      350
803.47/803.68	c  803s |      18 |   430191 |   296252 |    23568     26 |      632 |      350
805.57/805.70	c  805s |      18 |   437146 |   298052 |    23568     26 |      632 |      350
807.56/807.76	c  807s |      18 |   445384 |   300452 |    23568     27 |      632 |      350
809.57/809.79	c  809s |      18 |   452938 |   302752 |    23568     27 |      632 |      350
811.56/811.80	c  811s |      18 |   455633 |   304252 |    23568     27 |      632 |      350
813.76/813.96	c  813s |      18 |   458120 |   305652 |    23568     27 |      632 |      350
815.86/816.05	c  815s |      18 |   459322 |   306752 |    23568     27 |      632 |      350
817.96/818.15	c  817s |      18 |   460649 |   307852 |    23568     27 |      632 |      350
820.06/820.27	c  820s |      18 |   461690 |   308752 |    23568     27 |      632 |      350
822.26/822.47	c  822s |      18 |   462578 |   309552 |    23568     27 |      632 |      350
824.36/824.56	c  824s |      18 |   464722 |   310752 |    23568     27 |      632 |      350
826.56/826.72	c  826s |      18 |   467626 |   312152 |    23568     27 |      632 |      350
828.66/828.89	c  828s |      18 |   468774 |   313152 |    23568     27 |      632 |      350
830.76/830.97	c  830s |      18 |   469722 |   313952 |    23568     28 |      632 |      350
832.85/833.03	c  832s |      18 |   472103 |   315252 |    23568     28 |      632 |      350
834.95/835.11	c  834s |      18 |   474398 |   316552 |    23568     28 |      632 |      350
836.96/837.18	c  836s |      18 |   475633 |   317552 |    23568     28 |      632 |      350
839.16/839.36	c  839s |      18 |   476758 |   318452 |    23568     28 |      632 |      350
841.15/841.36	c  841s |      18 |   477704 |   319252 |    23568     28 |      632 |      350
843.35/843.53	c  843s |      18 |   478714 |   320052 |    23568     28 |      632 |      350
845.55/845.77	c  845s |      18 |   479826 |   320952 |    23568     28 |      632 |      350
847.65/847.85	c  847s |      18 |   480867 |   321752 |    23568     28 |      632 |      350
849.65/849.86	c  849s |      18 |   481666 |   322452 |    23568     28 |      632 |      350
851.65/851.89	c  851s |      18 |   482476 |   323152 |    23568     28 |      632 |      350
853.85/854.05	c  853s |      18 |   483307 |   323852 |    23568     28 |      632 |      350
855.95/856.17	c  855s |      18 |   484133 |   324552 |    23568     28 |      632 |      350
858.05/858.24	c  857s |      18 |   484801 |   325152 |    23568     28 |      632 |      350
860.25/860.47	c  860s |      18 |   485483 |   325752 |    23568     28 |      632 |      350
862.35/862.57	c  862s |      18 |   486167 |   326352 |    23568     28 |      632 |      350
864.45/864.64	c  864s |      18 |   486927 |   326952 |    23568     29 |      632 |      350
866.45/866.68	c  866s |      18 |   488308 |   327952 |    23568     29 |      632 |      350
868.55/868.70	c  868s |      18 |   489395 |   328852 |    23568     29 |      632 |      350
870.75/870.96	c  870s |      18 |   490485 |   329752 |    23568     29 |      632 |      350
872.85/873.06	c  872s |      18 |   491393 |   330552 |    23568     29 |      632 |      350
874.95/875.12	c  874s |      18 |   492795 |   331552 |    23568     29 |      632 |      350
876.95/877.13	c  876s |      18 |   493740 |   332352 |    23568     29 |      632 |      350
879.05/879.27	c  879s |      18 |   494941 |   333252 |    23568     29 |      632 |      350
881.25/881.45	c  881s |      18 |   496653 |   334352 |    23568     29 |      632 |      350
883.45/883.64	c  883s |      18 |   497906 |   335252 |    23568     29 |      632 |      350
885.65/885.83	c  885s |      18 |   498711 |   335952 |    23568     29 |      632 |      350
887.66/887.86	c  887s |      18 |   499602 |   336652 |    23568     29 |      632 |      350
889.85/890.01	c  889s |      18 |   500518 |   337352 |    23568     29 |      632 |      350
892.05/892.21	c  891s |      18 |   501780 |   338252 |    23568     29 |      632 |      350
894.15/894.37	c  894s |      18 |   502848 |   339052 |    23568     29 |      632 |      350
896.25/896.42	c  896s |      18 |   503716 |   339652 |    23568     30 |      632 |      350
898.25/898.47	c  898s |      18 |   505302 |   340752 |    23568     30 |      632 |      350
900.45/900.63	c  900s |      18 |   506509 |   341752 |    23568     30 |      632 |      350
902.54/902.70	c  902s |      18 |   507425 |   342552 |    23568     30 |      632 |      350
904.64/904.89	c  904s |      18 |   508323 |   343352 |    23568     30 |      632 |      350
906.94/907.12	c  906s |      18 |   509367 |   344252 |    23568     30 |      632 |      350
908.94/909.13	c  908s |      18 |   510174 |   344952 |    23568     30 |      632 |      350
911.14/911.34	c  911s |      18 |   511090 |   345752 |    23568     30 |      632 |      350
913.34/913.58	c  913s |      18 |   512044 |   346552 |    23568     30 |      632 |      350
915.54/915.76	c  915s |      18 |   512965 |   347352 |    23568     30 |      632 |      350
917.84/918.02	c  917s |      18 |   513877 |   348152 |    23568     30 |      632 |      350
920.04/920.27	c  920s |      18 |   514656 |   348852 |    23568     30 |      632 |      350
922.33/922.58	c  922s |      18 |   515461 |   349552 |    23568     30 |      632 |      350
924.53/924.73	c  924s |      18 |   516128 |   350152 |    23568     30 |      632 |      350
926.53/926.74	c  926s |      18 |   516822 |   350752 |    23568     30 |      632 |      350
928.63/928.87	c  928s |      18 |   517490 |   351352 |    23568     30 |      632 |      350
930.93/931.14	c  930s |      18 |   518302 |   352052 |    23568     30 |      632 |      350
933.23/933.42	c  933s |      18 |   519008 |   352652 |    23568     30 |      632 |      350
935.53/935.75	c  935s |      18 |   519557 |   353152 |    23568     31 |      632 |      350
937.73/937.94	c  937s |      18 |   520326 |   353852 |    23568     31 |      632 |      350
939.83/940.09	c  939s |      18 |   521065 |   354552 |    23568     31 |      632 |      350
942.12/942.32	c  942s |      18 |   521822 |   355252 |    23568     31 |      632 |      350
944.42/944.62	c  944s |      18 |   522466 |   355852 |    23568     31 |      632 |      350
946.43/946.64	c  946s |      18 |   523015 |   356352 |    23568     31 |      632 |      350
948.63/948.82	c  948s |      18 |   523678 |   356952 |    23568     31 |      632 |      350
950.83/951.00	c  950s |      18 |   524330 |   357552 |    23568     31 |      632 |      350
952.92/953.12	c  952s |      18 |   524872 |   358052 |    23568     31 |      632 |      350
954.92/955.14	c  954s |      18 |   525429 |   358552 |    23568     31 |      632 |      350
957.12/957.38	c  957s |      18 |   526124 |   359152 |    23568     31 |      632 |      350
959.32/959.55	c  959s |      18 |   526943 |   359852 |    23568     31 |      632 |      350
961.42/961.61	c  961s |      18 |   527823 |   360552 |    23568     31 |      632 |      350
963.62/963.84	c  963s |      18 |   528563 |   361152 |    23568     31 |      632 |      350
965.92/966.12	c  965s |      18 |   529253 |   361752 |    23568     31 |      632 |      350
968.22/968.40	c  968s |      18 |   529913 |   362352 |    23568     31 |      632 |      350
970.42/970.63	c  970s |      18 |   530598 |   362952 |    23568     31 |      632 |      350
972.62/972.81	c  972s |      18 |   531149 |   363452 |    23568     31 |      632 |      350
974.82/975.05	c  974s |      18 |   531721 |   363952 |    23568     31 |      632 |      350
977.22/977.47	c  977s |      18 |   532309 |   364452 |    23568     31 |      632 |      350
979.52/979.78	c  979s |      18 |   532885 |   364952 |    23568     31 |      632 |      350
981.72/981.93	c  981s |      18 |   533463 |   365452 |    23568     31 |      632 |      350
984.02/984.22	c  983s |      18 |   534160 |   366052 |    23568     31 |      632 |      350
986.72/986.91	c  986s |      18 |   534846 |   366652 |    23568     32 |      632 |      350
989.02/989.20	c  988s |      18 |   535503 |   367252 |    23568     32 |      632 |      350
991.02/991.29	c  991s |      18 |   536169 |   367852 |    23568     32 |      632 |      350
993.12/993.39	c  993s |      18 |   536972 |   368552 |    23568     32 |      632 |      350
995.71/995.92	c  995s |      18 |   537776 |   369252 |    23568     32 |      632 |      350
998.01/998.20	c  997s |      18 |   538443 |   369852 |    23568     32 |      632 |      350
1000.21/1000.48	c 1000s |      18 |   538990 |   370352 |    23568     32 |      632 |      350
1002.41/1002.62	c 1002s |      18 |   539543 |   370852 |    23568     32 |      632 |      350
1004.62/1004.82	c 1004s |      18 |   540094 |   371352 |    23568     32 |      632 |      350
1006.82/1007.08	c 1006s |      18 |   540639 |   371852 |    23568     32 |      632 |      350
1009.12/1009.37	c 1009s |      18 |   541197 |   372352 |    23568     32 |      632 |      350
1011.62/1011.81	c 1011s |      18 |   541746 |   372852 |    23568     32 |      632 |      350
1013.72/1013.95	c 1013s |      18 |   542396 |   373452 |    23568     32 |      632 |      350
1015.91/1016.12	c 1015s |      18 |   542985 |   373952 |    23568     32 |      632 |      350
1018.31/1018.52	c 1018s |      18 |   543524 |   374452 |    23568     32 |      632 |      350
1020.62/1020.81	c 1020s |      18 |   544065 |   374952 |    23568     32 |      632 |      350
1022.71/1022.91	c 1022s |      18 |   544654 |   375452 |    23568     32 |      632 |      350
1024.81/1025.09	c 1024s |      18 |   545232 |   375952 |    23568     32 |      632 |      350
1026.91/1027.10	c 1026s |      18 |   545781 |   376452 |    23568     32 |      632 |      350
1029.01/1029.27	c 1029s |      18 |   546342 |   376952 |    23568     32 |      632 |      350
1031.11/1031.30	c 1031s |      18 |   546669 |   377252 |    23568     32 |      632 |      350
1033.21/1033.42	c 1033s |      18 |   547110 |   377652 |    23568     32 |      632 |      350
1035.31/1035.50	c 1035s |      18 |   547722 |   378152 |    23568     32 |      632 |      350
1037.61/1037.84	c 1037s |      18 |   548399 |   378752 |    23568     32 |      632 |      350
1039.91/1040.10	c 1039s |      18 |   549167 |   379352 |    23568     32 |      632 |      350
1042.10/1042.33	c 1042s |      18 |   549634 |   379752 |    23568     33 |      632 |      350
1044.10/1044.37	c 1044s |      18 |   550323 |   380352 |    23568     33 |      632 |      350
1046.20/1046.45	c 1046s |      18 |   550977 |   380952 |    23568     33 |      632 |      350
1048.21/1048.46	c 1048s |      18 |   551747 |   381652 |    23568     33 |      632 |      350
1050.50/1050.75	c 1050s |      18 |   552507 |   382352 |    23568     33 |      632 |      350
1052.70/1052.92	c 1052s |      18 |   553173 |   382952 |    23568     33 |      632 |      350
1054.81/1055.07	c 1054s |      18 |   553815 |   383552 |    23568     33 |      632 |      350
1057.10/1057.30	c 1057s |      18 |   554549 |   384152 |    23568     33 |      632 |      350
1059.11/1059.37	c 1059s |      18 |   555095 |   384652 |    23568     33 |      632 |      350
1061.20/1061.44	c 1061s |      18 |   555789 |   385252 |    23568     33 |      632 |      350
1063.50/1063.77	c 1063s |      18 |   556423 |   385852 |    23568     33 |      632 |      350
1065.60/1065.88	c 1065s |      18 |   557302 |   386452 |    23568     33 |      632 |      350
1067.80/1068.07	c 1067s |      18 |   558579 |   387352 |    23568     33 |      632 |      350
1070.10/1070.38	c 1070s |      18 |   559659 |   388152 |    23568     33 |      632 |      350
1072.09/1072.39	c 1072s |      18 |   560663 |   388952 |    23568     33 |      632 |      350
1074.29/1074.58	c 1074s |      18 |   561642 |   389752 |    23568     33 |      632 |      350
1076.59/1076.88	c 1076s |      18 |   562546 |   390552 |    23568     33 |      632 |      350
1078.69/1078.96	c 1078s |      18 |   563344 |   391252 |    23568     33 |      632 |      350
1080.79/1081.07	c 1080s |      18 |   564205 |   391952 |    23568     33 |      632 |      350
1082.89/1083.14	c 1082s |      18 |   565056 |   392652 |    23568     33 |      632 |      350
1084.99/1085.27	c 1085s |      18 |   565644 |   393152 |    23568     34 |      632 |      350
1087.19/1087.48	c 1087s |      18 |   566576 |   393952 |    23568     34 |      632 |      350
1089.39/1089.64	c 1089s |      18 |   567467 |   394752 |    23568     34 |      632 |      350
1091.49/1091.72	c 1091s |      18 |   568489 |   395552 |    23568     34 |      632 |      350
1093.58/1093.81	c 1093s |      18 |   569392 |   396352 |    23568     34 |      632 |      350
1095.58/1095.86	c 1095s |      18 |   570154 |   397052 |    23568     34 |      632 |      350
1097.79/1098.02	c 1097s |      18 |   571043 |   397852 |    23568     34 |      632 |      350
1099.90/1100.18	c 1099s |      18 |   571832 |   398552 |    23568     34 |      632 |      350
1102.19/1102.46	c 1102s |      18 |   572585 |   399252 |    23568     34 |      632 |      350
1104.49/1104.74	c 1104s |      18 |   573357 |   399952 |    23568     34 |      632 |      350
1106.58/1106.87	c 1106s |      18 |   574001 |   400552 |    23568     34 |      632 |      350
1108.69/1108.96	c 1108s |      18 |   574731 |   401152 |    23568     34 |      632 |      350
1110.79/1111.09	c 1110s |      18 |   575388 |   401752 |    23568     34 |      632 |      350
1112.99/1113.23	c 1112s |      18 |   575936 |   402252 |    23568     34 |      632 |      350
1115.28/1115.54	c 1115s |      18 |   576596 |   402852 |    23568     34 |      632 |      350
1117.28/1117.55	c 1117s |      18 |   577141 |   403352 |    23568     34 |      632 |      350
1119.38/1119.62	c 1119s |      18 |   577678 |   403852 |    23568     34 |      632 |      350
1121.67/1121.93	c 1121s |      18 |   578367 |   404452 |    23568     34 |      632 |      350
1123.67/1123.94	c 1123s |      18 |   578921 |   404952 |    23568     34 |      632 |      350
1125.97/1126.22	c 1125s |      18 |   579456 |   405452 |    23568     34 |      632 |      350
1128.27/1128.51	c 1128s |      18 |   579996 |   405952 |    23568     34 |      632 |      350
1130.37/1130.69	c 1130s |      18 |   580542 |   406452 |    23568     34 |      632 |      350
1132.46/1132.70	c 1132s |      18 |   580972 |   406852 |    23568     35 |      632 |      350
1134.66/1134.97	c 1134s |      18 |   581739 |   407552 |    23568     35 |      632 |      350
1136.76/1137.02	c 1136s |      18 |   582379 |   408152 |    23568     35 |      632 |      350
1138.76/1139.07	c 1138s |      18 |   583015 |   408752 |    23568     35 |      632 |      350
1140.86/1141.13	c 1140s |      18 |   583737 |   409352 |    23568     35 |      632 |      350
1143.06/1143.34	c 1143s |      18 |   584516 |   410052 |    23568     35 |      632 |      350
1145.36/1145.62	c 1145s |      18 |   585294 |   410752 |    23568     35 |      632 |      350
1147.66/1147.91	c 1147s |      18 |   586062 |   411452 |    23568     35 |      632 |      350
1149.76/1150.09	c 1149s |      18 |   586716 |   412052 |    23568     35 |      632 |      350
1151.95/1152.22	c 1151s |      18 |   587256 |   412552 |    23568     35 |      632 |      350
1154.05/1154.34	c 1154s |      18 |   587809 |   413052 |    23568     35 |      632 |      350
1156.15/1156.40	c 1156s |      18 |   588351 |   413552 |    23568     35 |      632 |      350
1158.16/1158.43	c 1158s |      18 |   588901 |   414052 |    23568     35 |      632 |      350
1160.15/1160.47	c 1160s |      18 |   589445 |   414552 |    23568     35 |      632 |      350
1162.45/1162.80	c 1162s |      18 |   589980 |   415052 |    23568     35 |      632 |      350
1164.65/1164.93	c 1164s |      18 |   590521 |   415552 |    23568     35 |      632 |      350
1166.85/1167.20	c 1166s |      18 |   591059 |   416052 |    23568     35 |      632 |      350
1169.24/1169.56	c 1169s |      18 |   591704 |   416652 |    23568     35 |      632 |      350
1171.64/1171.92	c 1171s |      18 |   592251 |   417152 |    23568     35 |      632 |      350
1173.74/1174.06	c 1173s |      18 |   592792 |   417652 |    23568     35 |      632 |      350
1176.23/1176.50	c 1176s |      18 |   593339 |   418152 |    23568     35 |      632 |      350
1178.63/1178.91	c 1178s |      18 |   593875 |   418652 |    23568     35 |      632 |      350
1180.93/1181.28	c 1181s |      18 |   594402 |   419152 |    23568     35 |      632 |      350
1183.13/1183.46	c 1183s |      18 |   594945 |   419652 |    23568     35 |      632 |      350
1185.43/1185.78	c 1185s |      18 |   595380 |   420052 |    23568     36 |      632 |      350
1187.53/1187.81	c 1187s |      18 |   596017 |   420652 |    23568     36 |      632 |      350
1189.84/1190.13	c 1189s |      18 |   596552 |   421152 |    23568     36 |      632 |      350
1191.93/1192.21	c 1191s |      18 |   597205 |   421752 |    23568     36 |      632 |      350
1194.03/1194.37	c 1194s |      18 |   597849 |   422352 |    23568     36 |      632 |      350
1196.33/1196.68	c 1196s |      18 |   598527 |   422952 |    23568     36 |      632 |      350
1198.53/1198.80	c 1198s |      18 |   599202 |   423552 |    23568     36 |      632 |      350
1200.53/1200.86	c 1200s |      18 |   600029 |   424252 |    23568     36 |      632 |      350
1202.72/1203.05	c 1202s |      18 |   600912 |   425052 |    23568     36 |      632 |      350
1204.92/1205.27	c 1205s |      18 |   601731 |   425752 |    23568     36 |      632 |      350
1207.02/1207.39	c 1207s |      18 |   602517 |   426452 |    23568     36 |      632 |      350
1209.12/1209.47	c 1209s |      18 |   603214 |   427052 |    23568     36 |      632 |      350
1211.32/1211.60	c 1211s |      18 |   603906 |   427652 |    23568     36 |      632 |      350
1213.62/1213.91	c 1213s |      18 |   604726 |   428352 |    23568     36 |      632 |      350
1215.82/1216.11	c 1215s |      18 |   605434 |   428952 |    23568     36 |      632 |      350
1217.82/1218.17	c 1217s |      18 |   605987 |   429452 |    23568     36 |      632 |      350
1219.92/1220.24	c 1219s |      18 |   606547 |   429952 |    23568     36 |      632 |      350
1222.21/1222.53	c 1222s |      18 |   607180 |   430552 |    23568     36 |      632 |      350
1224.41/1224.75	c 1224s |      18 |   607701 |   431052 |    23568     36 |      632 |      350
1226.61/1226.92	c 1226s |      18 |   608267 |   431552 |    23568     36 |      632 |      350
1228.71/1229.08	c 1228s |      18 |   608828 |   432052 |    23568     36 |      632 |      350
1230.81/1231.11	c 1230s |      18 |   609362 |   432552 |    23568     36 |      632 |      350
1232.81/1233.11	c 1232s |      18 |   609905 |   433052 |    23568     36 |      632 |      350
1235.01/1235.33	c 1235s |      18 |   610446 |   433552 |    23568     37 |      632 |      350
1237.10/1237.42	c 1237s |      18 |   611215 |   434252 |    23568     37 |      632 |      350
1239.10/1239.49	c 1239s |      18 |   611870 |   434852 |    23568     37 |      632 |      350
1241.30/1241.64	c 1241s |      18 |   612514 |   435452 |    23568     37 |      632 |      350
1243.40/1243.72	c 1243s |      18 |   613165 |   436052 |    23568     37 |      632 |      350
1245.70/1246.01	c 1245s |      18 |   613934 |   436752 |    23568     37 |      632 |      350
1247.89/1248.23	c 1247s |      18 |   614597 |   437352 |    23568     37 |      632 |      350
1250.09/1250.43	c 1250s |      18 |   615249 |   437952 |    23568     37 |      632 |      350
1252.49/1252.80	c 1252s |      18 |   615933 |   438552 |    23568     37 |      632 |      350
1254.69/1255.07	c 1254s |      18 |   616760 |   439252 |    23568     37 |      632 |      350
1256.89/1257.22	c 1256s |      18 |   617451 |   439852 |    23568     37 |      632 |      350
1258.99/1259.30	c 1259s |      18 |   618107 |   440452 |    23568     37 |      632 |      350
1261.09/1261.41	c 1261s |      18 |   618761 |   441052 |    23568     37 |      632 |      350
1263.08/1263.41	c 1263s |      18 |   619292 |   441552 |    25925     37 |      632 |      350
1265.08/1265.45	c 1265s |      18 |   619825 |   442052 |    25925     37 |      632 |      350
1267.08/1267.45	c 1267s |      18 |   620401 |   442552 |    25925     37 |      632 |      350
1269.19/1269.57	c 1269s |      18 |   620992 |   443052 |    25925     37 |      632 |      350
1271.67/1272.00	c 1271s |      18 |   621658 |   443652 |    25925     37 |      632 |      350
1273.67/1274.05	c 1273s |      18 |   622210 |   444152 |    25925     37 |      632 |      350
1274.97/1275.39	c 1275s |      19 |   622583 |   444482 |    25925     37 |      632 |      350
1277.07/1277.45	c 1277s |      19 |   631561 |   446582 |    25925     37 |      632 |      350
1279.17/1279.50	c 1279s |      19 |   637853 |   448382 |    25925     38 |      632 |      350
1281.18/1281.54	c 1281s |      19 |   646038 |   450882 |    25925     38 |      632 |      350
1283.17/1283.57	c 1283s |      19 |   648872 |   452582 |    25925     38 |      632 |      350
1285.27/1285.67	c 1285s |      19 |   650936 |   453982 |    25925     38 |      632 |      350
1287.47/1287.84	c 1287s |      19 |   652426 |   455182 |    25925     38 |      632 |      350
1289.57/1289.97	c 1289s |      19 |   653594 |   456182 |    25925     38 |      632 |      350
1291.66/1292.07	c 1291s |      19 |   654786 |   457182 |    25925     38 |      632 |      350
1293.96/1294.30	c 1294s |      19 |   655934 |   458182 |    25925     38 |      632 |      350
1295.96/1296.36	c 1296s |      19 |   656823 |   458982 |    25925     38 |      632 |      350
1298.17/1298.56	c 1298s |      19 |   657968 |   459982 |    25925     38 |      632 |      350
1300.36/1300.75	c 1300s |      19 |   658911 |   460782 |    25925     38 |      632 |      350
1302.56/1302.96	c 1302s |      19 |   659684 |   461482 |    25925     38 |      632 |      350
1304.76/1305.13	c 1304s |      19 |   660499 |   462182 |    25925     38 |      632 |      350
1307.46/1307.87	c 1307s |      19 |   661271 |   462882 |    25925     39 |      632 |      350
1309.66/1310.01	c 1309s |      19 |   661923 |   463482 |    25925     39 |      632 |      350
1311.75/1312.11	c 1311s |      19 |   662584 |   464082 |    25925     39 |      632 |      350
1314.05/1314.40	c 1314s |      19 |   663400 |   464782 |    25925     39 |      632 |      350
1316.25/1316.60	c 1316s |      19 |   664206 |   465482 |    25925     39 |      632 |      350
1318.34/1318.79	c 1318s |      19 |   664893 |   466082 |    25925     39 |      632 |      350
1320.64/1321.08	c 1320s |      19 |   665552 |   466682 |    25925     39 |      632 |      350
1322.75/1323.18	c 1322s |      19 |   666239 |   467282 |    25925     39 |      632 |      350
1325.05/1325.45	c 1325s |      19 |   666920 |   467882 |    25925     39 |      632 |      350
1327.25/1327.65	c 1327s |      19 |   667590 |   468482 |    25925     39 |      632 |      350
1329.34/1329.77	c 1329s |      19 |   668348 |   469082 |    25925     39 |      632 |      350
1331.54/1331.97	c 1331s |      19 |   669811 |   470182 |    25925     39 |      632 |      350
1333.64/1334.06	c 1333s |      19 |   671024 |   471082 |    25925     39 |      632 |      350
1335.74/1336.16	c 1335s |      19 |   671979 |   471882 |    25925     39 |      632 |      350
1338.04/1338.43	c 1338s |      19 |   672923 |   472682 |    25925     39 |      632 |      350
1340.04/1340.49	c 1340s |      19 |   673907 |   473482 |    25925     39 |      632 |      350
1342.23/1342.67	c 1342s |      19 |   674881 |   474282 |    25925     39 |      632 |      350
1344.53/1344.90	c 1344s |      19 |   675679 |   474982 |    25925     39 |      632 |      350
1346.53/1346.99	c 1346s |      19 |   676484 |   475682 |    25925     39 |      632 |      350
1348.73/1349.15	c 1348s |      19 |   677328 |   476382 |    25925     39 |      632 |      350
1350.93/1351.36	c 1351s |      19 |   678135 |   477082 |    25925     39 |      632 |      350
1352.92/1353.39	c 1353s |      19 |   678687 |   477582 |    25925     40 |      632 |      350
1355.12/1355.55	c 1355s |      19 |   679613 |   478382 |    25925     40 |      632 |      350
1357.32/1357.73	c 1357s |      19 |   680521 |   479182 |    25925     40 |      632 |      350
1359.52/1359.98	c 1359s |      19 |   681393 |   479982 |    25925     40 |      632 |      350
1361.62/1362.07	c 1361s |      19 |   682171 |   480682 |    25925     40 |      632 |      350
1363.72/1364.15	c 1363s |      19 |   683111 |   481482 |    25925     40 |      632 |      350
1366.02/1366.41	c 1366s |      19 |   684067 |   482282 |    25925     40 |      632 |      350
1368.22/1368.67	c 1368s |      19 |   685097 |   483182 |    25925     40 |      632 |      350
1370.32/1370.75	c 1370s |      19 |   685889 |   483882 |    25925     40 |      632 |      350
1372.52/1372.98	c 1372s |      19 |   686569 |   484482 |    25925     40 |      632 |      350
1374.51/1374.98	c 1374s |      19 |   687246 |   485082 |    25925     40 |      632 |      350
1376.51/1376.99	c 1376s |      19 |   687931 |   485682 |    25925     40 |      632 |      350
1378.81/1379.24	c 1378s |      19 |   688724 |   486382 |    25925     40 |      632 |      350
1381.01/1381.41	c 1381s |      19 |   689540 |   487082 |    25925     40 |      632 |      350
1383.10/1383.58	c 1383s |      19 |   690235 |   487682 |    25925     40 |      632 |      350
1385.30/1385.70	c 1385s |      19 |   690782 |   488182 |    25925     40 |      632 |      350
1387.60/1388.01	c 1387s |      19 |   691436 |   488782 |    25925     40 |      632 |      350
1389.90/1390.32	c 1390s |      19 |   692228 |   489482 |    25925     40 |      632 |      350
1391.90/1392.34	c 1392s |      19 |   692896 |   490082 |    25925     40 |      632 |      350
1394.10/1394.56	c 1394s |      19 |   693586 |   490682 |    25925     40 |      632 |      350
1396.30/1396.79	c 1396s |      19 |   694296 |   491282 |    25925     40 |      632 |      350
1398.30/1398.79	c 1398s |      19 |   694996 |   491882 |    25925     40 |      632 |      350
1400.50/1400.90	c 1400s |      19 |   695693 |   492482 |    25925     41 |      632 |      350
1402.59/1403.03	c 1402s |      19 |   696457 |   493182 |    25925     41 |      632 |      350
1404.69/1405.15	c 1404s |      19 |   697229 |   493882 |    25925     41 |      632 |      350
1406.79/1407.28	c 1407s |      19 |   698054 |   494582 |    25925     41 |      632 |      350
1408.89/1409.39	c 1409s |      19 |   698857 |   495282 |    25925     41 |      632 |      350
1411.09/1411.53	c 1411s |      19 |   699663 |   495982 |    25925     41 |      632 |      350
1413.19/1413.65	c 1413s |      19 |   700498 |   496682 |    25925     41 |      632 |      350
1415.39/1415.83	c 1415s |      19 |   701330 |   497382 |    25925     41 |      632 |      350
1417.39/1417.89	c 1417s |      19 |   702009 |   497982 |    25925     41 |      632 |      350
1419.59/1420.05	c 1419s |      19 |   702665 |   498582 |    25925     41 |      632 |      350
1421.89/1422.31	c 1422s |      19 |   703322 |   499182 |    25925     41 |      632 |      350
1424.08/1424.52	c 1424s |      19 |   703985 |   499782 |    25925     41 |      632 |      350
1426.18/1426.65	c 1426s |      19 |   704836 |   500482 |    25925     41 |      632 |      350
1428.38/1428.81	c 1428s |      19 |   705668 |   501182 |    25925     41 |      632 |      350
1430.38/1430.85	c 1430s |      19 |   706323 |   501782 |    25925     41 |      632 |      350
1432.68/1433.12	c 1432s |      19 |   707129 |   502482 |    25925     41 |      632 |      350
1434.67/1435.17	c 1434s |      19 |   707831 |   503082 |    25925     41 |      632 |      350
1436.77/1437.20	c 1436s |      19 |   708510 |   503682 |    25925     41 |      632 |      350
1438.77/1439.27	c 1439s |      19 |   709209 |   504282 |    25925     41 |      632 |      350
1440.97/1441.45	c 1441s |      19 |   709888 |   504882 |    25925     41 |      632 |      350
1443.27/1443.77	c 1443s |      19 |   710547 |   505482 |    25925     41 |      632 |      350
1445.27/1445.79	c 1445s |      19 |   711274 |   506082 |    25925     41 |      632 |      350
1447.47/1447.93	c 1447s |      19 |   711709 |   506482 |    25925     42 |      632 |      350
1449.57/1450.06	c 1449s |      19 |   712655 |   507282 |    25925     42 |      632 |      350
1451.87/1452.33	c 1452s |      19 |   713589 |   508082 |    25925     42 |      632 |      350
1453.97/1454.40	c 1454s |      19 |   714385 |   508782 |    25925     42 |      632 |      350
1456.27/1456.75	c 1456s |      19 |   715165 |   509482 |    25925     42 |      632 |      350
1458.27/1458.78	c 1458s |      19 |   715829 |   510082 |    25925     42 |      632 |      350
1460.47/1460.92	c 1460s |      19 |   716493 |   510682 |    25925     42 |      632 |      350
1462.77/1463.20	c 1462s |      19 |   717289 |   511382 |    25925     42 |      632 |      350
1464.77/1465.24	c 1464s |      19 |   717949 |   511982 |    25925     42 |      632 |      350
1466.97/1467.43	c 1467s |      19 |   718625 |   512582 |    25925     42 |      632 |      350
1468.96/1469.49	c 1469s |      19 |   719322 |   513182 |    25925     42 |      632 |      350
1471.26/1471.76	c 1471s |      19 |   720152 |   513882 |    25925     42 |      632 |      350
1473.46/1473.91	c 1473s |      19 |   720828 |   514482 |    25925     42 |      632 |      350
1475.57/1476.06	c 1475s |      19 |   721515 |   515082 |    25925     42 |      632 |      350
1477.87/1478.33	c 1478s |      19 |   722189 |   515682 |    25925     42 |      632 |      350
1480.07/1480.57	c 1480s |      19 |   722848 |   516282 |    25925     42 |      632 |      350
1482.48/1482.91	c 1482s |      19 |   723506 |   516882 |    25925     42 |      632 |      350
1484.77/1485.22	c 1484s |      19 |   724187 |   517482 |    25925     42 |      632 |      350
1487.07/1487.56	c 1487s |      19 |   724872 |   518082 |    25925     42 |      632 |      350
1489.27/1489.76	c 1489s |      19 |   725552 |   518682 |    25925     42 |      632 |      350
1491.57/1492.03	c 1491s |      19 |   726222 |   519282 |    25925     42 |      632 |      350
1493.57/1494.10	c 1493s |      19 |   726791 |   519782 |    25925     42 |      632 |      350
1495.96/1496.48	c 1496s |      19 |   727472 |   520382 |    25925     42 |      632 |      350
1498.16/1498.62	c 1498s |      19 |   727935 |   520782 |    25925     43 |      632 |      350
1500.36/1500.84	c 1500s |      19 |   728713 |   521482 |    25925     43 |      632 |      350
1502.66/1503.12	c 1502s |      19 |   729480 |   522182 |    25925     43 |      632 |      350
1504.66/1505.14	c 1504s |      19 |   730143 |   522782 |    25925     43 |      632 |      350
1506.96/1507.43	c 1507s |      19 |   730927 |   523482 |    25925     43 |      632 |      350
1509.16/1509.65	c 1509s |      19 |   731710 |   524182 |    25925     43 |      632 |      350
1511.46/1511.93	c 1511s |      19 |   732379 |   524782 |    25925     43 |      632 |      350
1513.76/1514.27	c 1514s |      19 |   733055 |   525382 |    25925     43 |      632 |      350
1516.06/1516.54	c 1516s |      19 |   733863 |   526082 |    25925     43 |      632 |      350
1518.26/1518.71	c 1518s |      19 |   734542 |   526682 |    25925     43 |      632 |      350
1520.46/1520.92	c 1520s |      19 |   735206 |   527282 |    25925     43 |      632 |      350
1522.66/1523.15	c 1522s |      19 |   735873 |   527882 |    25925     43 |      632 |      350
1524.86/1525.30	c 1525s |      19 |   736531 |   528482 |    25925     43 |      632 |      350
1526.86/1527.30	c 1527s |      19 |   737084 |   528982 |    25925     43 |      632 |      350
1528.96/1529.41	c 1529s |      19 |   737745 |   529582 |    25925     43 |      632 |      350
1531.16/1531.69	c 1531s |      19 |   738570 |   530282 |    25925     43 |      632 |      350
1533.45/1533.93	c 1533s |      19 |   739431 |   530982 |    25925     43 |      632 |      350
1535.55/1536.01	c 1535s |      19 |   740110 |   531582 |    25925     43 |      632 |      350
1537.65/1538.14	c 1537s |      19 |   741015 |   532282 |    25925     43 |      632 |      350
1539.75/1540.25	c 1539s |      19 |   741900 |   532982 |    25925     43 |      632 |      350
1541.86/1542.38	c 1542s |      19 |   742621 |   533582 |    25925     43 |      632 |      350
1544.16/1544.69	c 1544s |      19 |   743318 |   534182 |    25925     43 |      632 |      350
1546.27/1546.75	c 1546s |      19 |   743982 |   534782 |    25925     43 |      632 |      350
1548.37/1548.82	c 1548s |      19 |   744445 |   535182 |    25925     44 |      632 |      350
1550.67/1551.12	c 1550s |      19 |   745435 |   535982 |    25925     44 |      632 |      350
1552.87/1553.31	c 1553s |      19 |   746420 |   536782 |    25925     44 |      632 |      350
1554.86/1555.36	c 1555s |      19 |   747263 |   537482 |    25925     44 |      632 |      350
1556.96/1557.40	c 1557s |      19 |   747917 |   538082 |    25925     44 |      632 |      350
1558.96/1559.45	c 1559s |      19 |   748598 |   538682 |    25925     44 |      632 |      350
1561.36/1561.80	c 1561s |      19 |   749374 |   539382 |    25925     44 |      632 |      350
1563.36/1563.84	c 1563s |      19 |   750021 |   539982 |    25925     44 |      632 |      350
1565.56/1566.00	c 1565s |      19 |   750696 |   540582 |    25925     44 |      632 |      350
1567.66/1568.18	c 1567s |      19 |   751502 |   541282 |    25925     44 |      632 |      350
1569.96/1570.46	c 1570s |      19 |   752328 |   541982 |    25925     44 |      632 |      350
1572.05/1572.59	c 1572s |      19 |   752983 |   542582 |    25925     44 |      632 |      350
1574.15/1574.60	c 1574s |      19 |   753684 |   543182 |    25925     44 |      632 |      350
1576.45/1576.90	c 1576s |      19 |   754354 |   543782 |    25925     44 |      632 |      350
1578.65/1579.19	c 1578s |      19 |   755014 |   544382 |    25925     44 |      632 |      350
1581.05/1581.52	c 1581s |      19 |   755677 |   544982 |    25925     44 |      632 |      350
1583.35/1583.81	c 1583s |      19 |   756387 |   545582 |    25925     44 |      632 |      350
1585.55/1586.02	c 1585s |      19 |   757063 |   546182 |    25925     44 |      632 |      350
1587.85/1588.39	c 1588s |      19 |   757732 |   546782 |    25925     44 |      632 |      350
1590.15/1590.68	c 1590s |      19 |   758411 |   547382 |    25925     44 |      632 |      350
1592.35/1592.87	c 1592s |      19 |   759109 |   547982 |    25925     44 |      632 |      350
1594.55/1595.08	c 1594s |      19 |   759796 |   548582 |    25925     44 |      632 |      350
1596.86/1597.38	c 1597s |      19 |   760368 |   549082 |    25925     44 |      632 |      350
1599.06/1599.57	c 1599s |      19 |   760928 |   549582 |    25925     44 |      632 |      350
1601.16/1601.66	c 1601s |      19 |   761393 |   549982 |    25925     45 |      632 |      350
1603.15/1603.67	c 1603s |      19 |   762107 |   550582 |    25925     45 |      632 |      350
1605.25/1605.77	c 1605s |      19 |   763033 |   551382 |    25925     45 |      632 |      350
1607.55/1608.09	c 1607s |      19 |   763959 |   552182 |    25925     45 |      632 |      350
1609.65/1610.12	c 1609s |      19 |   764642 |   552782 |    25925     45 |      632 |      350
1611.95/1612.45	c 1612s |      19 |   765424 |   553482 |    25925     45 |      632 |      350
1614.05/1614.58	c 1614s |      19 |   766266 |   554182 |    25925     45 |      632 |      350
1616.04/1616.60	c 1616s |      19 |   767074 |   554882 |    25925     45 |      632 |      350
1618.34/1618.89	c 1618s |      19 |   767890 |   555582 |    25925     45 |      632 |      350
1620.54/1621.05	c 1620s |      19 |   768684 |   556282 |    25925     45 |      632 |      350
1622.74/1623.24	c 1622s |      19 |   769492 |   556982 |    25925     45 |      632 |      350
1624.94/1625.47	c 1625s |      19 |   770175 |   557582 |    25925     45 |      632 |      350
1627.24/1627.77	c 1627s |      19 |   770986 |   558282 |    25925     45 |      632 |      350
1629.44/1629.99	c 1629s |      19 |   771777 |   558982 |    25925     45 |      632 |      350
1631.54/1632.08	c 1631s |      19 |   772437 |   559582 |    25925     45 |      632 |      350
1633.85/1634.37	c 1634s |      19 |   773150 |   560182 |    25925     45 |      632 |      350
1636.05/1636.54	c 1636s |      19 |   773689 |   560682 |    25925     45 |      632 |      350
1638.35/1638.86	c 1638s |      19 |   774387 |   561282 |    25925     45 |      632 |      350
1640.54/1641.04	c 1640s |      19 |   774939 |   561782 |    25925     45 |      632 |      350
1642.95/1643.45	c 1643s |      19 |   775605 |   562382 |    25925     45 |      632 |      350
1645.04/1645.51	c 1645s |      19 |   776174 |   562882 |    25925     45 |      632 |      350
1647.35/1647.90	c 1647s |      19 |   776859 |   563482 |    25925     45 |      632 |      350
1649.44/1649.92	c 1649s |      19 |   777411 |   563982 |    25925     45 |      632 |      350
1651.44/1651.96	c 1651s |      19 |   777866 |   564382 |    25925     46 |      632 |      350
1653.64/1654.12	c 1653s |      19 |   778543 |   564982 |    25925     46 |      632 |      350
1655.74/1656.26	c 1656s |      19 |   779194 |   565582 |    25925     46 |      632 |      350
1658.03/1658.50	c 1658s |      19 |   780090 |   566382 |    25925     46 |      632 |      350
1660.13/1660.69	c 1660s |      19 |   780873 |   567082 |    25925     46 |      632 |      350
1662.23/1662.72	c 1662s |      19 |   781539 |   567682 |    25925     46 |      632 |      350
1664.33/1664.83	c 1664s |      19 |   782214 |   568282 |    25925     46 |      632 |      350
1666.33/1666.83	c 1666s |      19 |   782773 |   568782 |    25925     46 |      632 |      350
1668.34/1668.85	c 1668s |      19 |   783448 |   569382 |    25925     46 |      632 |      350
1670.55/1671.09	c 1670s |      19 |   784145 |   569982 |    25925     46 |      632 |      350
1672.54/1673.09	c 1672s |      19 |   784685 |   570482 |    25925     46 |      632 |      350
1674.74/1675.28	c 1675s |      19 |   785251 |   570982 |    25925     46 |      632 |      350
1676.94/1677.46	c 1677s |      19 |   785905 |   571582 |    25925     46 |      632 |      350
1679.14/1679.67	c 1679s |      19 |   786600 |   572182 |    25925     46 |      632 |      350
1681.14/1681.68	c 1681s |      19 |   787157 |   572682 |    25925     46 |      632 |      350
1683.24/1683.75	c 1683s |      19 |   787710 |   573182 |    25925     46 |      632 |      350
1685.63/1686.12	c 1685s |      19 |   788367 |   573782 |    25925     46 |      632 |      350
1687.83/1688.40	c 1688s |      19 |   788912 |   574282 |    25925     46 |      632 |      350
1690.13/1690.61	c 1690s |      19 |   789442 |   574782 |    25925     46 |      632 |      350
1692.13/1692.64	c 1692s |      19 |   790010 |   575282 |    25925     46 |      632 |      350
1694.13/1694.65	c 1694s |      19 |   790570 |   575782 |    25925     46 |      632 |      350
1696.23/1696.78	c 1696s |      19 |   791127 |   576282 |    25925     46 |      632 |      350
1698.43/1698.91	c 1698s |      19 |   791703 |   576782 |    25925     46 |      632 |      350
1700.63/1701.11	c 1700s |      19 |   792248 |   577282 |    25925     46 |      632 |      350
1702.83/1703.34	c 1703s |      19 |   792794 |   577782 |    25925     46 |      632 |      350
1705.13/1705.63	c 1705s |      19 |   793497 |   578382 |    25925     46 |      632 |      350
1707.23/1707.75	c 1707s |      19 |   793953 |   578782 |    25925     47 |      632 |      350
1709.43/1709.92	c 1709s |      19 |   794609 |   579382 |    25925     47 |      632 |      350
1711.73/1712.27	c 1712s |      19 |   795260 |   579982 |    25925     47 |      632 |      350
1713.93/1714.49	c 1714s |      19 |   795931 |   580582 |    25925     47 |      632 |      350
1716.33/1716.82	c 1716s |      19 |   796588 |   581182 |    25925     47 |      632 |      350
1718.33/1718.82	c 1718s |      19 |   797141 |   581682 |    25925     47 |      632 |      350
1720.63/1721.13	c 1720s |      19 |   797986 |   582382 |    25925     47 |      632 |      350
1722.63/1723.20	c 1722s |      19 |   798660 |   582982 |    25925     47 |      632 |      350
1724.93/1725.49	c 1725s |      19 |   799451 |   583682 |    25925     47 |      632 |      350
1727.03/1727.58	c 1727s |      19 |   800151 |   584282 |    25925     47 |      632 |      350
1729.33/1729.81	c 1729s |      19 |   800828 |   584882 |    25925     47 |      632 |      350
1731.43/1731.92	c 1731s |      19 |   801490 |   585482 |    25925     47 |      632 |      350
1733.53/1734.04	c 1733s |      19 |   802167 |   586082 |    25925     47 |      632 |      350
1735.63/1736.17	c 1735s |      19 |   802843 |   586682 |    25925     47 |      632 |      350
1737.83/1738.38	c 1738s |      19 |   803529 |   587282 |    25925     47 |      632 |      350
1740.23/1740.73	c 1740s |      19 |   804191 |   587882 |    25925     47 |      632 |      350
1742.33/1742.82	c 1742s |      19 |   804741 |   588382 |    25925     47 |      632 |      350
1744.32/1744.89	c 1744s |      19 |   805291 |   588882 |    25925     47 |      632 |      350
1746.43/1746.92	c 1746s |      19 |   805830 |   589382 |    25925     47 |      632 |      350
1748.72/1749.24	c 1748s |      19 |   806519 |   589982 |    25925     47 |      632 |      350
1750.92/1751.49	c 1751s |      19 |   807179 |   590582 |    25925     47 |      632 |      350
1753.03/1753.59	c 1753s |      19 |   807732 |   591082 |    25925     47 |      632 |      350
1755.13/1755.68	c 1755s |      19 |   808303 |   591582 |    25925     47 |      632 |      350
1757.43/1757.94	c 1757s |      19 |   808869 |   592082 |    25925     47 |      632 |      350
1759.53/1760.06	c 1759s |      19 |   809423 |   592582 |    25925     47 |      632 |      350
1761.92/1762.49	c 1762s |      19 |   809857 |   592982 |    25925     48 |      632 |      350
1764.12/1764.63	c 1764s |      19 |   810509 |   593582 |    25925     48 |      632 |      350
1766.32/1766.84	c 1766s |      19 |   811169 |   594182 |    25925     48 |      632 |      350
1768.72/1769.22	c 1768s |      19 |   811803 |   594782 |    25925     48 |      632 |      350
1770.92/1771.45	c 1771s |      19 |   812479 |   595382 |    25925     48 |      632 |      350
1773.03/1773.57	c 1773s |      19 |   813150 |   595982 |    25925     48 |      632 |      350
1775.23/1775.72	c 1775s |      19 |   813822 |   596582 |    25925     48 |      632 |      350
1777.42/1777.93	c 1777s |      19 |   814498 |   597182 |    25925     48 |      632 |      350
1779.52/1780.00	c 1779s |      19 |   815200 |   597782 |    25925     48 |      632 |      350
1781.82/1782.32	c 1782s |      19 |   816168 |   598582 |    25925     48 |      632 |      350
1783.83/1784.35	c 1784s |      19 |   816860 |   599182 |    25925     48 |      632 |      350
1786.03/1786.58	c 1786s |      19 |   817640 |   599882 |    25925     48 |      632 |      350
1788.42/1788.93	c 1788s |      19 |   818400 |   600582 |    25925     48 |      632 |      350
1790.62/1791.11	c 1790s |      19 |   819211 |   601282 |    25925     48 |      632 |      350
1792.82/1793.33	c 1793s |      19 |   819876 |   601882 |    25925     48 |      632 |      350
1794.92/1795.47	c 1795s |      19 |   820543 |   602482 |    25925     48 |      632 |      350
1797.02/1797.55	c 1797s |      19 |   821227 |   603082 |    25925     48 |      632 |      350
1799.12/1799.62	c 1799s |      19 |   821863 |   603682 |    25925     48 |      632 |      350

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

pid=23323
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.24 2.21 2.18 3/179 23326
/proc/meminfo: memFree=29626344/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=694716 CPUtime=0 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 2584 0 0 0 0 0 0 0 20 0 4 0 28829549 711389184 2944 33554432000 4194304 16246674 140736853109088 140736853108512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23326/statm: 174191 2955 441 2943 0 171085 0
[pid=23326/tid=23327] ppid=23323 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 729214976 3014 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 733409280 3031 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=720316 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28829549 737603584 3047 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.24 2.21 2.18 3/179 23326
/proc/meminfo: memFree=29626344/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 28275 0 0 0 5 4 0 0 20 0 4 0 28829549 1249447936 28573 33554432000 4194304 16246674 140736853109088 140736853108400 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23326/statm: 305041 28573 801 2943 0 301935 0
[pid=23326/tid=23327] ppid=23323 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1249447936 28573 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1249447936 28573 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1249447936 28573 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200543 s]
/proc/loadavg: 2.24 2.21 2.18 3/179 23326
/proc/meminfo: memFree=29626344/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 48482 0 0 0 12 7 0 0 20 0 4 0 28829549 1332285440 48780 33554432000 4194304 16246674 140736853109088 140736853108400 6756226 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23326/statm: 325265 48780 842 2943 0 322159 0
[pid=23326/tid=23327] ppid=23323 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1332285440 48780 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1332285440 48780 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1332285440 48780 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300509 s]
/proc/loadavg: 2.24 2.21 2.18 3/179 23326
/proc/meminfo: memFree=29626344/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 50533 0 0 0 22 7 0 0 20 0 4 0 28829549 1332285440 50832 33554432000 4194304 16246674 140736853109088 140736853091008 13965592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23326/statm: 325265 50839 882 2943 0 322159 0
[pid=23326/tid=23327] ppid=23323 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1332285440 50845 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1332285440 50854 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1332285440 50862 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700419 s]
/proc/loadavg: 2.24 2.21 2.18 3/179 23326
/proc/meminfo: memFree=29626344/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 97759 0 0 0 54 15 0 0 20 0 4 0 28829549 1332285440 98057 33554432000 4194304 16246674 140736853109088 140736853091008 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23326/statm: 325265 98062 882 2943 0 322159 0
[pid=23326/tid=23327] ppid=23323 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1332285440 98070 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1332285440 98078 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1332285440 98084 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50042 s]
/proc/loadavg: 2.24 2.21 2.18 3/183 23330
/proc/meminfo: memFree=29016540/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 199922 0 0 0 121 28 0 0 20 0 4 0 28829549 1332285440 200221 33554432000 4194304 16246674 140736853109088 140736853091008 5722381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23326/statm: 325265 200228 882 2943 0 322159 0
[pid=23326/tid=23327] ppid=23323 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1332285440 200231 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1332285440 200234 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1332285440 200236 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10044 s]
/proc/loadavg: 2.22 2.20 2.18 3/183 23330
/proc/meminfo: memFree=28548680/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 269266 0 0 0 271 38 0 0 20 0 4 0 28829549 1343819776 269564 33554432000 4194304 16246674 140736853109088 140736853091008 13760144 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23326/statm: 328081 269564 888 2943 0 324975 0
[pid=23326/tid=23327] ppid=23323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1343819776 269564 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1343819776 269564 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1343819776 269564 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30043 s]
/proc/loadavg: 2.22 2.20 2.18 3/183 23330
/proc/meminfo: memFree=28548652/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 269266 0 0 0 591 38 0 0 20 0 4 0 28829549 1343819776 269564 33554432000 4194304 16246674 140736853109088 140736853091008 6842617 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23326/statm: 328081 269564 888 2943 0 324975 0
[pid=23326/tid=23327] ppid=23323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1343819776 269564 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1343819776 269564 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1343819776 269564 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 23330
/proc/meminfo: memFree=28548576/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 269268 0 0 0 1231 38 0 0 20 0 4 0 28829549 1343819776 269566 33554432000 4194304 16246674 140736853109088 140736853091008 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23326/statm: 328081 269566 890 2943 0 324975 0
[pid=23326/tid=23327] ppid=23323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1343819776 269566 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1343819776 269566 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1343819776 269566 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.16 2.19 2.18 3/183 23330
/proc/meminfo: memFree=28549308/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1312324 CPUtime=25.49 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 269269 0 0 0 2511 38 0 0 20 0 4 0 28829549 1343819776 269567 33554432000 4194304 16246674 140736853109088 140736853091008 5762696 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23326/statm: 328081 269567 890 2943 0 324975 0
[pid=23326/tid=23327] ppid=23323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1343819776 269567 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1343819776 269567 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1343819776 269567 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.16 2.19 2.18 4/183 23330
/proc/meminfo: memFree=28549312/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 269271 0 0 0 5070 38 0 0 20 0 4 0 28829549 1343819776 269569 33554432000 4194304 16246674 140736853109088 140736853091008 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23326/statm: 328081 269569 892 2943 0 324975 0
[pid=23326/tid=23327] ppid=23323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1343819776 269569 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1343819776 269569 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1343819776 269569 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.31 2.22 2.19 3/184 23334
/proc/meminfo: memFree=28547668/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1313348 CPUtime=102.28 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 269456 0 0 0 10189 39 0 0 20 0 4 0 28829549 1344868352 269754 33554432000 4194304 16246674 140736853109088 140736853091008 5673762 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23326/statm: 328337 269754 892 2943 0 325231 0
[pid=23326/tid=23327] ppid=23323 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1344868352 269754 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1344868352 269754 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1344868352 269754 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1335876

[startup+1362.3 s]
/proc/loadavg: 2.22 2.18 2.18 4/184 23414
/proc/meminfo: memFree=28534124/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1335876 CPUtime=1361.92 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 275442 0 0 0 136139 53 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 140736853091008 5711439 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23326/statm: 333969 275713 892 2943 0 330863 0
[pid=23326/tid=23327] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1335876

[startup+1422.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/183 23415
/proc/meminfo: memFree=28534028/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1335876 CPUtime=1421.89 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 275490 0 0 0 142135 54 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 140736853091008 5723304 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23326/statm: 333969 275713 892 2943 0 330863 0
[pid=23326/tid=23327] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1335876

[startup+1482.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/183 23417
/proc/meminfo: memFree=28528608/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1335876 CPUtime=1481.87 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 275494 0 0 0 148132 55 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 140736853108264 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23326/statm: 333969 275713 892 2943 0 330863 0
[pid=23326/tid=23327] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1335876

[startup+1542.31 s]
/proc/loadavg: 2.12 2.17 2.17 3/183 23418
/proc/meminfo: memFree=28528260/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1335876 CPUtime=1541.86 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 275494 0 0 0 154131 55 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 140736853091008 5827682 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23326/statm: 333969 275713 892 2943 0 330863 0
[pid=23326/tid=23327] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1335876

[startup+1602.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/182 23419
/proc/meminfo: memFree=28522296/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1335876 CPUtime=1601.85 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 275494 0 0 0 160128 57 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 140736853091008 5523192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23326/statm: 333969 275713 892 2943 0 330863 0
[pid=23326/tid=23327] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.11 2.16 2.17 3/183 23421
/proc/meminfo: memFree=28521128/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1335876 CPUtime=1661.83 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 275494 0 0 0 166125 58 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 140736853108264 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23326/statm: 333969 275713 892 2943 0 330863 0
[pid=23326/tid=23327] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1335876

[startup+1722.3 s]
/proc/loadavg: 2.15 2.16 2.17 3/183 23422
/proc/meminfo: memFree=28520920/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1335876 CPUtime=1721.83 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 275494 0 0 0 172123 60 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 140736853091008 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23326/statm: 333969 275713 892 2943 0 330863 0
[pid=23326/tid=23327] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.14 2.16 2.17 3/182 23423
/proc/meminfo: memFree=28520340/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1335876 CPUtime=1781.82 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 275494 0 0 0 178121 61 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 140736853091008 5711220 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23326/statm: 333969 275713 892 2943 0 330863 0
[pid=23326/tid=23327] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.18 2.16 2.17 3/183 23424
/proc/meminfo: memFree=28520588/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1335876 CPUtime=1800.02 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 275494 0 0 0 179941 61 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 140736853091008 5829044 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23326/statm: 333969 275713 892 2943 0 330863 0
[pid=23326/tid=23327] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1335876

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

[startup+1800.5 s]
/proc/loadavg: 2.18 2.16 2.17 3/183 23424
/proc/meminfo: memFree=28520588/32872528 swapFree=1085692/1157232
[pid=23326] ppid=23323 vsize=1335876 CPUtime=1800.02 cores=1,3,5,7
/proc/23326/stat : 23326 (toysat) R 23323 23326 21062 0 -1 4202496 275494 0 0 0 179941 61 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 140736853091008 5829044 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23326/statm: 333969 275713 892 2943 0 330863 0
[pid=23326/tid=23327] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23327/stat : 23327 (toysat) S 23323 23326 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939650972912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23326/tid=23328] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23328/stat : 23328 (toysat) S 23323 23326 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939563941104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23326/tid=23329] ppid=23323 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23326/task/23329/stat : 23329 (toysat) S 23323 23326 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28829549 1367937024 275713 33554432000 4194304 16246674 140736853109088 139939553467568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1335876

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.42
CPU system time (s): 0.614906
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1335876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.614906
maximum resident set size= 1102852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275494
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= 350
involuntary context switches= 2049

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34888 second user time and 9.43456 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 18:18:19
IDJOB=4116581
IDBENCH=109488
IDSOLVER=2542
FILE ID=node114/4116581-1466957899
RUNJOBID= node114-1466944456-21079
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= ada06cfabce70a25df94d8484f9bb09a
RANDOM SEED=891637124

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29626880 kB
Buffers:           26600 kB
Cached:           219912 kB
SwapCached:        38928 kB
Active:          1166476 kB
Inactive:         220508 kB
Active(anon):    1104952 kB
Inactive(anon):    37756 kB
Active(file):      61524 kB
Inactive(file):   182752 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061380 kB
Dirty:             16708 kB
Writeback:             0 kB
AnonPages:       2359820 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             566852 kB
SReclaimable:      10980 kB
SUnreclaim:       555872 kB
KernelStack:        1520 kB
PageTables:         8508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2403828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1267712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node114 at 2016-06-26 18:48:20