Trace number 4116837

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-27T00:46:25+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-4116837-1466981185.opb"]
0.00/0.01	c use --random-gen="326625961 3913857827 258666635 3167290844 1623745543 409040134 223982333 4112626341 2848282550 2069238621 1686258200 1872991335 4137632201 3452875016 3430003803 991348286 609433348 1810335711 3544714896 2895374078 2355211874 1208911125 2637417549 3568263246 919816253 611894591 2683773702 196892000 1930944193 557261649 3773511816 1522905625 3232080758 3205343527 4193670094 2052246001 3326975793 2229360153 2141522448 3003841199 842308588 4137606505 171330985 3337484463 1150323407 3992425858 3902640621 2936273431 260796507 14655057 1515713552 1482269685 3159919720 809112974 434027934 1980859169 2251912574 3442741473 3141629964 653582999 2726297280 4215915582 2880291440 2067645024 24061952 1250455901 27788295 312668862 966548432 1386274206 3633933714 2358329292 2633070085 192258640 134904159 598878367 300639508 2189345213 1159616530 1945578275 3064690106 2810522352 2812050330 3952191957 1314224479 2988031205 3930311836 3112485135 639190634 308337555 1461548691 1795988472 1173521449 1327421640 814470524 2413063873 3154205617 3553535730 3490752380 2336825008 2213805381 335906151 1277571490 724204660 2556136386 1174314018 1757071065 3162378644 4057665678 3519773628 2103449498 2712100214 3347018962 4170722661 2763917633 197441598 361887278 3344648267 77726413 945457482 3023214783 2966274883 1257736279 2486592728 3627633657 1382853284 3571402518 3058917328 1639364191 2867420468 1087694529 3009987474 935193088 2507370929 2592170275 2773162498 1020651553 3657762652 369649600 2102454626 3516057110 3391669322 1048630138 1675989206 2415243813 4070609039 1644269319 2672684649 2312609682 3131154831 2242210416 720116065 787174824 335863129 2558150838 7112694 3463381809 913222631 961884437 3177184990 3746526624 1467221960 593121763 1393048646 4268438491 1500534166 4190257762 2096822824 3374588228 1784477034 620068012 2401920852 4247312464 1095252424 3163920183 3113211130 3883020227 2524146578 565143868 509135688 2765136110 4182773600 3233698647 355173730 3646489793 2337236156 2047052819 2153509701 2299528201 3736974159 3850811219 1715811591 56115042 2522605590 1682900381 1299945765 530903155 3601813194 3467390085 1211989605 1614083750 3016351345 262448793 4200437629 20152586 1317997404 1357370374 1898969996 2284007535 722653038 23591239 3470090399 3568415628 915393447 1175467523 3350653883 3162228388 3805228160 3310537169 660805047 2894497447 1575049745 335596758 525214664 3765415163 847313516 2576854474 984797571 799478588 3033389212 3814764343 146830311 50176276 690187240 333241357 2333690491 2243006304 109807932 398359023 122352997 1916051866 532414840 2496104875 2442975307 3806374218 683551698 521171767 312449333 578553415 3128061723 3131919421 3635900225 2389793087 2563153991 3012301837 2807645371 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9520
0.18/0.28	c Solving starts ...
0.18/0.28	c ============================[ Search Statistics ]============================
0.18/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.28	c =============================================================================
0.18/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      821 |        0
0.28/0.37	c  0.1s |       1 |     1717 |      100 |     4565      0 |      822 |      750
0.39/0.49	c  0.2s |       2 |     3546 |      250 |     5022      0 |      822 |      750
0.58/0.67	c  0.4s |       3 |     5674 |      475 |     5525      0 |      822 |      750
0.69/1.12	c  0.6s |       4 |     8643 |      813 |     6078      0 |      823 |      750
1.68/1.78	c  1.5s |       5 |    10085 |     1320 |     6686      0 |      823 |      750
2.09/2.19	c  1.9s |       6 |    15500 |     2081 |     8091      0 |      823 |      750
3.70/3.80	c  3.5s |       7 |    17889 |     3223 |     8901      0 |      823 |      750
5.29/5.39	c  5.1s |       8 |    22134 |     4936 |     9792      0 |      823 |      750
7.39/7.46	c  7.2s |       8 |    28359 |     7036 |     9792      0 |      823 |      750
7.99/8.03	c  7.8s |       9 |    28901 |     7506 |    10772      0 |      823 |      750
9.99/10.06	c  9.8s |       9 |    37088 |     9606 |    10772      0 |      823 |      750
12.09/12.18	c 11.9s |       9 |    39161 |    11006 |    10772      0 |      823 |      750
12.69/12.73	c 12.5s |      10 |    39625 |    11361 |    11850      0 |      823 |      750
14.69/14.79	c 14.5s |      10 |    48334 |    13661 |    11850      0 |      823 |      750
16.79/16.90	c 16.6s |      10 |    52600 |    15561 |    11850      1 |      823 |      750
18.89/18.99	c 18.7s |      10 |    54853 |    17061 |    13036      1 |      823 |      750
19.09/19.15	c 18.9s |      11 |    54950 |    17144 |    13036      1 |      823 |      750
21.08/21.17	c 20.9s |      11 |    60798 |    19244 |    13036      1 |      823 |      750
23.18/23.21	c 22.9s |      11 |    63985 |    21144 |    13036      1 |      823 |      750
25.18/25.23	c 25.0s |      11 |    65430 |    22344 |    13036      1 |      823 |      750
27.28/27.38	c 27.1s |      11 |    66687 |    23444 |    13036      1 |      823 |      750
29.38/29.43	c 29.1s |      11 |    67600 |    24244 |    13036      2 |      823 |      750
31.58/31.65	c 31.4s |      11 |    68754 |    25244 |    13036      2 |      823 |      750
32.68/32.77	c 32.5s |      12 |    69502 |    25819 |    14340      2 |      823 |      750
34.68/34.78	c 34.5s |      12 |    76837 |    28119 |    14340      2 |      823 |      750
36.79/36.83	c 36.6s |      12 |    81988 |    30419 |    14340      2 |      823 |      750
38.89/38.98	c 38.7s |      12 |    84248 |    32019 |    14340      2 |      823 |      750
41.09/41.11	c 40.8s |      12 |    86429 |    33519 |    14340      2 |      823 |      750
43.18/43.23	c 43.0s |      12 |    87787 |    34619 |    14340      3 |      823 |      750
45.28/45.40	c 45.1s |      12 |    89556 |    35919 |    14340      3 |      823 |      750
47.38/47.47	c 47.2s |      12 |    90984 |    37019 |    14340      3 |      823 |      750
49.48/49.55	c 49.3s |      12 |    92382 |    38119 |    14340      3 |      823 |      750
50.98/51.05	c 50.8s |      13 |    93292 |    38832 |    15775      3 |      823 |      750
53.08/53.13	c 52.9s |      13 |   101153 |    41032 |    15775      3 |      823 |      750
55.08/55.14	c 54.9s |      13 |   106408 |    43132 |    15775      3 |      823 |      750
57.08/57.17	c 56.9s |      13 |   109988 |    44832 |    15775      4 |      823 |      750
59.28/59.31	c 59.0s |      13 |   114512 |    46632 |    15775      4 |      823 |      750
61.27/61.33	c 61.1s |      13 |   117374 |    48032 |    15775      4 |      823 |      750
63.37/63.48	c 63.2s |      13 |   119101 |    49232 |    15775      4 |      823 |      750
65.57/65.66	c 65.4s |      13 |   120512 |    50332 |    15775      4 |      823 |      750
67.67/67.71	c 67.4s |      13 |   121832 |    51332 |    15775      4 |      823 |      750
69.79/69.88	c 69.6s |      13 |   122932 |    52232 |    15775      4 |      823 |      750
71.89/71.91	c 71.6s |      13 |   123944 |    53032 |    15775      4 |      823 |      750
73.88/73.98	c 73.7s |      13 |   124755 |    53732 |    15775      5 |      823 |      750
75.98/76.00	c 75.7s |      13 |   126056 |    54632 |    15775      5 |      823 |      750
78.18/78.24	c 78.0s |      13 |   127302 |    55532 |    15775      5 |      823 |      750
80.28/80.38	c 80.1s |      13 |   129019 |    56632 |    15775      5 |      823 |      750
82.38/82.40	c 82.1s |      13 |   130941 |    57732 |    15775      5 |      823 |      750
83.58/83.65	c 83.4s |      14 |   131815 |    58352 |    17353      5 |      823 |      750
85.68/85.70	c 85.4s |      14 |   139223 |    60152 |    17353      5 |      823 |      750
87.77/87.85	c 87.6s |      14 |   143474 |    61752 |    17353      5 |      823 |      750
89.77/89.88	c 89.6s |      14 |   144920 |    62952 |    17353      5 |      823 |      750
91.78/91.90	c 91.6s |      14 |   146308 |    64052 |    17353      5 |      823 |      750
93.88/93.98	c 93.7s |      14 |   147680 |    65152 |    17353      6 |      823 |      750
96.08/96.14	c 95.9s |      14 |   149093 |    66352 |    17353      6 |      823 |      750
98.07/98.16	c 97.9s |      14 |   154906 |    67752 |    17353      6 |      823 |      750
100.07/100.18	c 99.9s |      14 |   157834 |    69152 |    17353      6 |      823 |      750
102.17/102.24	c  101s |      14 |   159104 |    70152 |    17353      6 |      823 |      750
104.37/104.40	c  104s |      14 |   160159 |    71052 |    17353      6 |      823 |      750
106.57/106.63	c  106s |      14 |   161455 |    72152 |    17353      6 |      823 |      750
108.87/108.90	c  108s |      14 |   162352 |    72952 |    17353      6 |      823 |      750
110.97/111.09	c  110s |      14 |   163202 |    73652 |    17353      6 |      823 |      750
113.17/113.27	c  112s |      14 |   164265 |    74552 |    17353      6 |      823 |      750
115.27/115.38	c  115s |      14 |   166329 |    75652 |    17353      7 |      823 |      750
117.37/117.45	c  117s |      14 |   167350 |    76552 |    17353      7 |      823 |      750
119.47/119.51	c  119s |      14 |   168110 |    77252 |    17353      7 |      823 |      750
121.57/121.63	c  121s |      14 |   169257 |    78252 |    17353      7 |      823 |      750
123.87/123.90	c  123s |      14 |   170449 |    79252 |    17353      7 |      823 |      750
126.07/126.13	c  125s |      14 |   171398 |    80052 |    17353      7 |      823 |      750
128.08/128.17	c  127s |      14 |   172060 |    80652 |    17353      7 |      823 |      750
130.37/130.43	c  130s |      14 |   172964 |    81452 |    17353      7 |      823 |      750
132.57/132.69	c  132s |      14 |   173751 |    82152 |    17353      7 |      823 |      750
134.77/134.84	c  134s |      14 |   174415 |    82752 |    17353      7 |      823 |      750
137.17/137.27	c  136s |      14 |   175341 |    83552 |    17353      7 |      823 |      750
139.27/139.31	c  139s |      14 |   176123 |    84252 |    17353      7 |      823 |      750
141.47/141.50	c  141s |      14 |   176951 |    84952 |    17353      7 |      823 |      750
143.67/143.75	c  143s |      14 |   177679 |    85552 |    17353      8 |      823 |      750
146.07/146.18	c  145s |      14 |   178577 |    86352 |    17353      8 |      823 |      750
148.27/148.31	c  148s |      14 |   179281 |    86952 |    17353      8 |      823 |      750
150.17/150.27	c  149s |      15 |   180046 |    87632 |    19089      8 |      823 |      750
152.27/152.37	c  152s |      15 |   192629 |    90032 |    19089      8 |      823 |      750
154.37/154.41	c  154s |      15 |   194572 |    91532 |    19089      8 |      823 |      750
156.46/156.53	c  156s |      15 |   198049 |    93132 |    19089      8 |      823 |      750
158.56/158.63	c  158s |      15 |   199405 |    94332 |    19089      8 |      823 |      750
160.66/160.79	c  160s |      15 |   200601 |    95332 |    19089      8 |      823 |      750
162.76/162.81	c  162s |      15 |   201634 |    96232 |    19089      8 |      823 |      750
165.26/165.32	c  165s |      15 |   202706 |    97132 |    19089      9 |      823 |      750
167.36/167.49	c  167s |      15 |   204171 |    98232 |    19089      9 |      823 |      750
169.56/169.66	c  169s |      15 |   205137 |    99032 |    19089      9 |      823 |      750
171.76/171.87	c  171s |      15 |   206162 |    99932 |    19089      9 |      823 |      750
173.86/173.91	c  173s |      15 |   207149 |   100732 |    19089      9 |      823 |      750
175.86/175.92	c  175s |      15 |   208230 |   101632 |    19089      9 |      823 |      750
178.06/178.12	c  177s |      15 |   209146 |   102432 |    19089      9 |      823 |      750
180.06/180.13	c  179s |      15 |   210258 |   103332 |    19089      9 |      823 |      750
182.06/182.19	c  181s |      15 |   211247 |   104132 |    19089      9 |      823 |      750
184.26/184.34	c  184s |      15 |   212306 |   104932 |    19089      9 |      823 |      750
186.36/186.45	c  186s |      15 |   213148 |   105632 |    19089      9 |      823 |      750
188.46/188.54	c  188s |      15 |   214001 |   106332 |    19089      9 |      823 |      750
190.56/190.60	c  190s |      15 |   215074 |   107132 |    19089      9 |      823 |      750
192.56/192.69	c  192s |      15 |   216166 |   107932 |    19089      9 |      823 |      750
194.56/194.69	c  194s |      15 |   216927 |   108532 |    19089     10 |      823 |      750
196.66/196.73	c  196s |      15 |   217752 |   109232 |    19089     10 |      823 |      750
198.96/199.03	c  198s |      15 |   218690 |   110032 |    19089     10 |      823 |      750
201.06/201.18	c  200s |      15 |   219495 |   110732 |    19089     10 |      823 |      750
203.16/203.22	c  202s |      15 |   220181 |   111332 |    19089     10 |      823 |      750
205.25/205.36	c  205s |      15 |   221002 |   112032 |    19089     10 |      823 |      750
207.26/207.36	c  207s |      15 |   221794 |   112632 |    19089     10 |      823 |      750
209.25/209.37	c  209s |      15 |   222480 |   113232 |    19089     10 |      823 |      750
211.45/211.58	c  211s |      15 |   223253 |   113832 |    19089     10 |      823 |      750
213.45/213.59	c  213s |      15 |   223995 |   114432 |    19089     10 |      823 |      750
215.75/215.87	c  215s |      15 |   224901 |   115132 |    19089     10 |      823 |      750
217.95/218.03	c  217s |      15 |   225586 |   115732 |    19089     10 |      823 |      750
219.95/220.07	c  219s |      15 |   226297 |   116332 |    19089     10 |      823 |      750
222.15/222.26	c  221s |      15 |   227031 |   116932 |    19089     10 |      823 |      750
224.45/224.59	c  224s |      15 |   227717 |   117532 |    19089     10 |      823 |      750
226.75/226.80	c  226s |      15 |   228437 |   118132 |    19089     10 |      823 |      750
228.75/228.84	c  228s |      15 |   229030 |   118632 |    19089     10 |      823 |      750
230.86/230.92	c  230s |      15 |   229639 |   119132 |    19089     10 |      823 |      750
233.16/233.23	c  232s |      15 |   230198 |   119632 |    19089     11 |      823 |      750
235.16/235.24	c  234s |      15 |   231011 |   120332 |    19089     11 |      823 |      750
237.36/237.43	c  237s |      15 |   231874 |   121032 |    19089     11 |      823 |      750
239.46/239.52	c  239s |      15 |   232562 |   121632 |    19089     11 |      823 |      750
241.46/241.56	c  241s |      15 |   233294 |   122232 |    19089     11 |      823 |      750
243.56/243.64	c  243s |      15 |   234015 |   122832 |    19089     11 |      823 |      750
245.66/245.80	c  245s |      15 |   235392 |   123832 |    19089     11 |      823 |      750
247.96/248.07	c  247s |      15 |   236435 |   124732 |    19089     11 |      823 |      750
250.25/250.37	c  250s |      15 |   237408 |   125532 |    19089     11 |      823 |      750
252.55/252.61	c  252s |      15 |   238300 |   126232 |    19089     11 |      823 |      750
254.65/254.78	c  254s |      15 |   239136 |   126932 |    19089     11 |      823 |      750
256.85/256.94	c  256s |      15 |   239842 |   127532 |    19089     11 |      823 |      750
258.96/259.08	c  258s |      15 |   240502 |   128132 |    19089     11 |      823 |      750
261.25/261.33	c  261s |      15 |   241201 |   128732 |    19089     11 |      823 |      750
263.45/263.54	c  263s |      15 |   242064 |   129432 |    19089     11 |      823 |      750
265.46/265.60	c  265s |      15 |   242760 |   130032 |    19089     11 |      823 |      750
267.76/267.88	c  267s |      15 |   243459 |   130632 |    19089     11 |      823 |      750
269.86/269.96	c  269s |      15 |   244091 |   131132 |    20998     12 |      823 |      750
270.85/271.00	c  270s |      16 |   244609 |   131552 |    20998     12 |      823 |      750
272.95/273.04	c  272s |      16 |   256760 |   134252 |    20998     12 |      823 |      750
275.15/275.20	c  274s |      16 |   261184 |   136352 |    20998     12 |      823 |      750
277.35/277.43	c  277s |      16 |   263204 |   137752 |    20998     12 |      823 |      750
279.55/279.69	c  279s |      16 |   264472 |   138752 |    20998     12 |      823 |      750
281.65/281.79	c  281s |      16 |   265800 |   139852 |    20998     12 |      823 |      750
283.85/283.95	c  283s |      16 |   267005 |   140852 |    20998     12 |      823 |      750
285.95/286.01	c  285s |      16 |   268141 |   141752 |    20998     12 |      823 |      750
288.05/288.10	c  287s |      16 |   269103 |   142552 |    20998     12 |      823 |      750
290.14/290.25	c  289s |      16 |   270044 |   143352 |    20998     12 |      823 |      750
292.24/292.36	c  292s |      16 |   270915 |   144052 |    20998     13 |      823 |      750
294.34/294.45	c  294s |      16 |   276207 |   145752 |    20998     13 |      823 |      750
296.35/296.49	c  296s |      16 |   279023 |   147052 |    20998     13 |      823 |      750
298.55/298.61	c  298s |      16 |   280501 |   147952 |    20998     13 |      823 |      750
300.54/300.68	c  300s |      16 |   282486 |   149052 |    20998     13 |      823 |      750
302.64/302.73	c  302s |      16 |   284038 |   150052 |    20998     13 |      823 |      750
304.74/304.83	c  304s |      16 |   285201 |   150952 |    20998     13 |      823 |      750
306.94/307.00	c  306s |      16 |   286347 |   151852 |    20998     13 |      823 |      750
309.04/309.16	c  308s |      16 |   287725 |   152852 |    20998     13 |      823 |      750
311.24/311.35	c  311s |      16 |   289139 |   153852 |    20998     13 |      823 |      750
313.24/313.36	c  313s |      16 |   290023 |   154552 |    20998     13 |      823 |      750
315.34/315.48	c  315s |      16 |   291068 |   155352 |    20998     13 |      823 |      750
317.54/317.68	c  317s |      16 |   291932 |   156052 |    20998     13 |      823 |      750
319.64/319.70	c  319s |      16 |   292657 |   156652 |    20998     14 |      823 |      750
321.65/321.74	c  321s |      16 |   293492 |   157352 |    20998     14 |      823 |      750
323.75/323.86	c  323s |      16 |   294336 |   158052 |    20998     14 |      823 |      750
325.95/326.02	c  325s |      16 |   295320 |   158852 |    20998     14 |      823 |      750
328.04/328.16	c  327s |      16 |   296153 |   159552 |    20998     14 |      823 |      750
330.04/330.19	c  329s |      16 |   297207 |   160252 |    20998     14 |      823 |      750
332.24/332.32	c  332s |      16 |   298068 |   160952 |    20998     14 |      823 |      750
334.24/334.34	c  334s |      16 |   298796 |   161552 |    20998     14 |      823 |      750
336.24/336.35	c  336s |      16 |   299445 |   162052 |    20998     14 |      823 |      750
338.44/338.56	c  338s |      16 |   300169 |   162652 |    20998     14 |      823 |      750
340.54/340.67	c  340s |      16 |   300725 |   163152 |    20998     14 |      823 |      750
342.93/343.00	c  342s |      16 |   301593 |   163852 |    20998     14 |      823 |      750
345.23/345.32	c  345s |      16 |   302492 |   164552 |    20998     14 |      823 |      750
347.33/347.40	c  347s |      16 |   303067 |   165052 |    20998     14 |      823 |      750
349.43/349.56	c  349s |      16 |   303656 |   165552 |    20998     14 |      823 |      750
351.63/351.71	c  351s |      16 |   304248 |   166052 |    20998     14 |      823 |      750
353.73/353.83	c  353s |      16 |   305036 |   166652 |    20998     14 |      823 |      750
355.93/356.06	c  355s |      16 |   305651 |   167152 |    20998     14 |      823 |      750
358.03/358.12	c  357s |      16 |   306555 |   167552 |    20998     15 |      823 |      750
360.04/360.16	c  359s |      16 |   310844 |   169152 |    20998     15 |      823 |      750
362.13/362.22	c  361s |      16 |   312872 |   170352 |    20998     15 |      823 |      750
364.13/364.29	c  364s |      16 |   313996 |   171152 |    20998     15 |      823 |      750
366.23/366.39	c  366s |      16 |   314998 |   171952 |    20998     15 |      823 |      750
368.33/368.48	c  368s |      16 |   316025 |   172752 |    20998     15 |      823 |      750
370.43/370.57	c  370s |      16 |   316978 |   173552 |    20998     15 |      823 |      750
372.63/372.76	c  372s |      16 |   317958 |   174352 |    20998     15 |      823 |      750
374.83/374.92	c  374s |      16 |   318759 |   175052 |    20998     15 |      823 |      750
377.03/377.11	c  376s |      16 |   319725 |   175852 |    20998     15 |      823 |      750
379.13/379.28	c  379s |      16 |   320711 |   176652 |    20998     15 |      823 |      750
381.33/381.41	c  381s |      16 |   321523 |   177352 |    20998     15 |      823 |      750
383.33/383.43	c  383s |      16 |   322215 |   177952 |    20998     15 |      823 |      750
385.53/385.66	c  385s |      16 |   322889 |   178552 |    20998     15 |      823 |      750
387.93/388.00	c  387s |      16 |   323569 |   179152 |    20998     15 |      823 |      750
390.23/390.32	c  390s |      16 |   324238 |   179752 |    20998     15 |      823 |      750
392.33/392.46	c  392s |      16 |   324685 |   180152 |    20998     16 |      823 |      750
394.53/394.61	c  394s |      16 |   325504 |   180852 |    20998     16 |      823 |      750
396.62/396.74	c  396s |      16 |   326291 |   181552 |    20998     16 |      823 |      750
398.63/398.75	c  398s |      16 |   327564 |   182452 |    20998     16 |      823 |      750
400.83/400.91	c  400s |      16 |   328436 |   183152 |    20998     16 |      823 |      750
402.94/403.03	c  402s |      16 |   329087 |   183752 |    20998     16 |      823 |      750
405.14/405.23	c  404s |      16 |   329759 |   184352 |    20998     16 |      823 |      750
407.13/407.25	c  406s |      16 |   330458 |   184952 |    20998     16 |      823 |      750
409.13/409.29	c  409s |      16 |   331010 |   185452 |    20998     16 |      823 |      750
411.43/411.51	c  411s |      16 |   331677 |   186052 |    20998     16 |      823 |      750
413.63/413.74	c  413s |      16 |   332241 |   186552 |    20998     16 |      823 |      750
415.83/415.93	c  415s |      16 |   332927 |   187152 |    20998     16 |      823 |      750
418.03/418.14	c  417s |      16 |   333620 |   187752 |    20998     16 |      823 |      750
420.33/420.46	c  420s |      16 |   334305 |   188352 |    20998     16 |      823 |      750
422.53/422.64	c  422s |      16 |   334988 |   188952 |    20998     16 |      823 |      750
424.93/425.01	c  424s |      16 |   335664 |   189552 |    20998     16 |      823 |      750
427.33/427.40	c  427s |      16 |   336321 |   190152 |    20998     16 |      823 |      750
429.43/429.53	c  429s |      16 |   336866 |   190652 |    20998     16 |      823 |      750
431.63/431.71	c  431s |      16 |   337430 |   191152 |    20998     16 |      823 |      750
433.73/433.88	c  433s |      16 |   337980 |   191652 |    20998     16 |      823 |      750
435.93/436.00	c  435s |      16 |   338404 |   192052 |    20998     16 |      823 |      750
438.13/438.23	c  437s |      16 |   338828 |   192452 |    20998     17 |      823 |      750
440.12/440.29	c  440s |      16 |   339370 |   192952 |    20998     17 |      823 |      750
442.42/442.58	c  442s |      16 |   339934 |   193452 |    20998     17 |      823 |      750
444.62/444.77	c  444s |      16 |   340471 |   193952 |    20998     17 |      823 |      750
446.72/446.80	c  446s |      16 |   341534 |   194652 |    20998     17 |      823 |      750
448.72/448.85	c  448s |      16 |   342708 |   195452 |    20998     17 |      823 |      750
450.72/450.87	c  450s |      16 |   344065 |   196352 |    23098     17 |      823 |      750
452.82/452.95	c  452s |      16 |   345426 |   197252 |    23098     17 |      823 |      750
453.32/453.46	c  453s |      17 |   345638 |   197432 |    23098     17 |      823 |      750
455.42/455.54	c  455s |      17 |   353554 |   199632 |    23098     17 |      823 |      750
457.42/457.57	c  457s |      17 |   355684 |   200932 |    23098     17 |      823 |      750
459.52/459.65	c  459s |      17 |   357999 |   202332 |    23098     17 |      823 |      750
461.62/461.72	c  461s |      17 |   360260 |   203832 |    23098     17 |      823 |      750
463.62/463.73	c  463s |      17 |   361660 |   204932 |    23098     17 |      823 |      750
465.62/465.77	c  465s |      17 |   362843 |   205932 |    23098     17 |      823 |      750
467.71/467.89	c  467s |      17 |   363777 |   206732 |    23098     18 |      823 |      750
469.81/469.91	c  469s |      17 |   365116 |   207832 |    23098     18 |      823 |      750
471.91/472.01	c  471s |      17 |   366135 |   208732 |    23098     18 |      823 |      750
474.01/474.10	c  473s |      17 |   367017 |   209532 |    23098     18 |      823 |      750
476.21/476.30	c  476s |      17 |   367772 |   210232 |    23098     18 |      823 |      750
478.21/478.38	c  478s |      17 |   372721 |   211532 |    23098     18 |      823 |      750
480.21/480.39	c  480s |      17 |   376120 |   213132 |    23098     18 |      823 |      750
482.51/482.67	c  482s |      17 |   377312 |   214032 |    23098     18 |      823 |      750
484.71/484.80	c  484s |      17 |   378262 |   214832 |    23098     18 |      823 |      750
486.81/486.92	c  486s |      17 |   379253 |   215632 |    23098     18 |      823 |      750
488.91/489.03	c  488s |      17 |   381244 |   216832 |    23098     18 |      823 |      750
491.11/491.22	c  490s |      17 |   382809 |   217932 |    23098     18 |      823 |      750
493.31/493.46	c  493s |      17 |   384083 |   218932 |    23098     18 |      823 |      750
495.51/495.62	c  495s |      17 |   385008 |   219732 |    23098     18 |      823 |      750
497.62/497.77	c  497s |      17 |   385812 |   220432 |    23098     19 |      823 |      750
499.72/499.82	c  499s |      17 |   386768 |   221232 |    23098     19 |      823 |      750
501.81/501.92	c  501s |      17 |   387555 |   221932 |    23098     19 |      823 |      750
503.91/504.08	c  503s |      17 |   388333 |   222632 |    23098     19 |      823 |      750
506.01/506.17	c  505s |      17 |   389221 |   223432 |    23098     19 |      823 |      750
508.41/508.51	c  508s |      17 |   390116 |   224232 |    23098     19 |      823 |      750
510.61/510.78	c  510s |      17 |   390897 |   224932 |    23098     19 |      823 |      750
513.02/513.11	c  512s |      17 |   391666 |   225632 |    23098     19 |      823 |      750
515.31/515.48	c  515s |      17 |   392439 |   226332 |    23098     19 |      823 |      750
517.61/517.72	c  517s |      17 |   393198 |   227032 |    23098     19 |      823 |      750
519.71/519.86	c  519s |      17 |   393977 |   227732 |    23098     19 |      823 |      750
522.01/522.16	c  521s |      17 |   394756 |   228432 |    23098     19 |      823 |      750
524.41/524.51	c  524s |      17 |   395407 |   229032 |    23098     19 |      823 |      750
526.51/526.65	c  526s |      17 |   396058 |   229632 |    23098     19 |      823 |      750
528.51/528.67	c  528s |      17 |   396596 |   230132 |    23098     19 |      823 |      750
530.61/530.76	c  530s |      17 |   397127 |   230632 |    23098     19 |      823 |      750
532.81/532.95	c  532s |      17 |   397793 |   231232 |    23098     19 |      823 |      750
534.91/535.06	c  534s |      17 |   398352 |   231732 |    23098     19 |      823 |      750
537.21/537.36	c  537s |      17 |   399218 |   232432 |    23098     19 |      823 |      750
539.80/539.95	c  539s |      17 |   400049 |   233132 |    23098     20 |      823 |      750
542.00/542.12	c  541s |      17 |   400854 |   233832 |    23098     20 |      823 |      750
544.30/544.45	c  544s |      17 |   401634 |   234532 |    23098     20 |      823 |      750
546.60/546.75	c  546s |      17 |   402308 |   235132 |    23098     20 |      823 |      750
548.80/548.98	c  548s |      17 |   402973 |   235732 |    23098     20 |      823 |      750
551.00/551.15	c  550s |      17 |   403794 |   236432 |    23098     20 |      823 |      750
553.10/553.27	c  552s |      17 |   404450 |   237032 |    23098     20 |      823 |      750
555.20/555.39	c  555s |      17 |   405119 |   237632 |    23098     20 |      823 |      750
557.30/557.49	c  557s |      17 |   405793 |   238232 |    23098     20 |      823 |      750
559.40/559.57	c  559s |      17 |   406474 |   238832 |    23098     20 |      823 |      750
561.50/561.60	c  561s |      17 |   407018 |   239332 |    23098     20 |      823 |      750
563.51/563.63	c  563s |      17 |   407554 |   239832 |    23098     20 |      823 |      750
565.60/565.70	c  565s |      17 |   408103 |   240332 |    23098     20 |      823 |      750
567.80/567.91	c  567s |      17 |   408659 |   240832 |    23098     20 |      823 |      750
570.00/570.11	c  569s |      17 |   409202 |   241332 |    23098     20 |      823 |      750
572.10/572.20	c  571s |      17 |   409762 |   241832 |    23098     20 |      823 |      750
574.10/574.20	c  573s |      17 |   410335 |   242332 |    23098     20 |      823 |      750
576.20/576.37	c  576s |      17 |   410876 |   242832 |    23098     20 |      823 |      750
578.70/578.80	c  578s |      17 |   411414 |   243332 |    23098     20 |      823 |      750
580.80/580.98	c  580s |      17 |   412049 |   243832 |    23098     20 |      823 |      750
582.90/583.02	c  582s |      17 |   413360 |   244732 |    23098     20 |      823 |      750
585.00/585.18	c  584s |      17 |   414220 |   245532 |    23098     21 |      823 |      750
587.10/587.22	c  586s |      17 |   415556 |   246732 |    23098     21 |      823 |      750
589.20/589.33	c  589s |      17 |   416862 |   247932 |    23098     21 |      823 |      750
591.40/591.54	c  591s |      17 |   417815 |   248832 |    23098     21 |      823 |      750
593.50/593.64	c  593s |      17 |   418826 |   249732 |    23098     21 |      823 |      750
595.60/595.70	c  595s |      17 |   419801 |   250632 |    23098     21 |      823 |      750
597.71/597.82	c  597s |      17 |   420934 |   251632 |    23098     21 |      823 |      750
599.70/599.89	c  599s |      17 |   422053 |   252632 |    23098     21 |      823 |      750
602.01/602.13	c  601s |      17 |   423148 |   253632 |    23098     21 |      823 |      750
604.21/604.36	c  604s |      17 |   424131 |   254532 |    23098     21 |      823 |      750
606.41/606.58	c  606s |      17 |   425151 |   255432 |    23098     21 |      823 |      750
608.71/608.88	c  608s |      17 |   426038 |   256232 |    23098     21 |      823 |      750
610.70/610.90	c  610s |      17 |   426783 |   256932 |    23098     21 |      823 |      750
612.80/612.96	c  612s |      17 |   427421 |   257532 |    23098     21 |      823 |      750
614.80/614.96	c  614s |      17 |   428073 |   258132 |    23098     21 |      823 |      750
617.10/617.29	c  617s |      17 |   428709 |   258732 |    23098     22 |      823 |      750
619.20/619.32	c  619s |      17 |   429456 |   259432 |    23098     22 |      823 |      750
621.20/621.36	c  621s |      17 |   430337 |   260232 |    23098     22 |      823 |      750
623.50/623.60	c  623s |      17 |   431206 |   261032 |    23098     22 |      823 |      750
625.50/625.65	c  625s |      17 |   432123 |   261832 |    23098     22 |      823 |      750
627.70/627.87	c  627s |      17 |   432967 |   262632 |    23098     22 |      823 |      750
629.90/630.05	c  629s |      17 |   433871 |   263432 |    23098     22 |      823 |      750
631.99/632.15	c  631s |      17 |   434767 |   264232 |    23098     22 |      823 |      750
634.09/634.28	c  634s |      17 |   435531 |   264932 |    23098     22 |      823 |      750
636.20/636.36	c  636s |      17 |   436339 |   265632 |    23098     22 |      823 |      750
638.19/638.38	c  638s |      17 |   437138 |   266332 |    23098     22 |      823 |      750
640.39/640.58	c  640s |      17 |   437924 |   267032 |    23098     22 |      823 |      750
642.49/642.66	c  642s |      17 |   438564 |   267632 |    23098     22 |      823 |      750
644.59/644.74	c  644s |      17 |   439231 |   268232 |    23098     22 |      823 |      750
646.79/646.90	c  646s |      17 |   439916 |   268832 |    23098     22 |      823 |      750
648.99/649.15	c  648s |      17 |   440588 |   269432 |    23098     22 |      823 |      750
651.09/651.22	c  650s |      17 |   441307 |   270032 |    23098     22 |      823 |      750
653.29/653.40	c  653s |      17 |   442062 |   270732 |    23098     22 |      823 |      750
655.29/655.46	c  655s |      17 |   442753 |   271332 |    23098     23 |      823 |      750
657.49/657.63	c  657s |      17 |   443898 |   272332 |    23098     23 |      823 |      750
659.58/659.73	c  659s |      17 |   444909 |   273232 |    23098     23 |      823 |      750
661.58/661.76	c  661s |      17 |   446024 |   274132 |    23098     23 |      823 |      750
663.69/663.84	c  663s |      17 |   446911 |   274932 |    23098     23 |      823 |      750
665.98/666.11	c  665s |      17 |   447949 |   275832 |    23098     23 |      823 |      750
668.09/668.21	c  667s |      17 |   448850 |   276632 |    23098     23 |      823 |      750
670.19/670.32	c  670s |      17 |   449740 |   277432 |    23098     23 |      823 |      750
672.39/672.58	c  672s |      17 |   450686 |   278232 |    23098     23 |      823 |      750
674.59/674.70	c  674s |      17 |   451462 |   278932 |    23098     23 |      823 |      750
676.79/676.99	c  676s |      17 |   452222 |   279632 |    23098     23 |      823 |      750
679.08/679.22	c  678s |      17 |   453005 |   280332 |    23098     23 |      823 |      750
681.38/681.54	c  681s |      17 |   453752 |   281032 |    23098     23 |      823 |      750
683.38/683.57	c  683s |      17 |   454398 |   281632 |    23098     23 |      823 |      750
685.47/685.66	c  685s |      17 |   455056 |   282232 |    23098     23 |      823 |      750
687.78/687.97	c  687s |      17 |   455699 |   282832 |    23098     23 |      823 |      750
689.87/690.04	c  689s |      17 |   456370 |   283432 |    23098     23 |      823 |      750
692.07/692.29	c  692s |      17 |   456914 |   283932 |    23098     24 |      823 |      750
694.27/694.40	c  694s |      17 |   457675 |   284632 |    23098     24 |      823 |      750
696.37/696.52	c  696s |      17 |   458602 |   285432 |    23098     24 |      823 |      750
698.57/698.74	c  698s |      17 |   459353 |   286132 |    23098     24 |      823 |      750
700.77/700.96	c  700s |      17 |   460111 |   286832 |    23098     24 |      823 |      750
703.07/703.28	c  703s |      17 |   460867 |   287532 |    23098     24 |      823 |      750
705.37/705.55	c  705s |      17 |   461644 |   288232 |    23098     24 |      823 |      750
707.47/707.63	c  707s |      17 |   462270 |   288832 |    23098     24 |      823 |      750
709.77/709.92	c  709s |      17 |   462905 |   289432 |    23098     24 |      823 |      750
711.87/712.10	c  711s |      17 |   463525 |   290032 |    23098     24 |      823 |      750
714.27/714.45	c  714s |      17 |   464164 |   290632 |    23098     24 |      823 |      750
716.37/716.54	c  716s |      17 |   464795 |   291232 |    23098     24 |      823 |      750
718.67/718.89	c  718s |      17 |   465458 |   291832 |    23098     24 |      823 |      750
720.87/721.06	c  720s |      17 |   465994 |   292332 |    23098     24 |      823 |      750
723.07/723.23	c  722s |      17 |   466653 |   292932 |    23098     24 |      823 |      750
725.06/725.23	c  724s |      17 |   467193 |   293432 |    23098     24 |      823 |      750
727.06/727.24	c  726s |      17 |   467733 |   293932 |    23098     24 |      823 |      750
729.16/729.32	c  729s |      17 |   468276 |   294432 |    25408     24 |      823 |      750
731.46/731.69	c  731s |      17 |   468939 |   295032 |    25408     24 |      823 |      750
733.56/733.73	c  733s |      17 |   469495 |   295532 |    25408     24 |      823 |      750
735.65/735.88	c  735s |      17 |   470004 |   296032 |    25408     24 |      823 |      750
736.65/736.82	c  736s |      18 |   470229 |   296252 |    25408     24 |      823 |      750
738.65/738.83	c  738s |      18 |   476107 |   297952 |    25408     24 |      823 |      750
740.75/740.90	c  740s |      18 |   477744 |   299452 |    25408     24 |      823 |      750
742.76/742.91	c  742s |      18 |   478940 |   300552 |    25408     25 |      823 |      750
744.75/744.91	c  744s |      18 |   480332 |   301852 |    25408     25 |      823 |      750
746.85/747.05	c  746s |      18 |   481597 |   303052 |    25408     25 |      823 |      750
748.95/749.10	c  748s |      18 |   482640 |   304052 |    25408     25 |      823 |      750
750.95/751.17	c  750s |      18 |   485840 |   305752 |    25408     25 |      823 |      750
753.05/753.29	c  753s |      18 |   487452 |   306952 |    25408     25 |      823 |      750
755.15/755.30	c  755s |      18 |   489174 |   308152 |    25408     25 |      823 |      750
757.15/757.39	c  757s |      18 |   490997 |   309452 |    25408     25 |      823 |      750
759.25/759.49	c  759s |      18 |   492651 |   310652 |    25408     25 |      823 |      750
761.34/761.56	c  761s |      18 |   494207 |   311752 |    25408     25 |      823 |      750
763.44/763.66	c  763s |      18 |   496037 |   313052 |    25408     25 |      823 |      750
766.04/766.22	c  765s |      18 |   497716 |   314252 |    25408     26 |      823 |      750
768.05/768.30	c  768s |      18 |   498890 |   315152 |    25408     26 |      823 |      750
770.24/770.41	c  770s |      18 |   500523 |   316252 |    25408     26 |      823 |      750
772.44/772.66	c  772s |      18 |   501660 |   317152 |    25408     26 |      823 |      750
774.53/774.70	c  774s |      18 |   503366 |   318252 |    25408     26 |      823 |      750
776.63/776.87	c  776s |      18 |   505058 |   319352 |    25408     26 |      823 |      750
778.73/778.94	c  778s |      18 |   506249 |   320252 |    25408     26 |      823 |      750
780.83/781.06	c  780s |      18 |   507744 |   321252 |    25408     26 |      823 |      750
783.03/783.21	c  782s |      18 |   508948 |   322152 |    25408     26 |      823 |      750
785.03/785.25	c  784s |      18 |   510227 |   323052 |    25408     26 |      823 |      750
787.03/787.28	c  787s |      18 |   511073 |   323752 |    25408     26 |      823 |      750
789.24/789.43	c  789s |      18 |   512155 |   324552 |    25408     26 |      823 |      750
791.33/791.56	c  791s |      18 |   513225 |   325352 |    25408     26 |      823 |      750
793.63/793.81	c  793s |      18 |   514213 |   326152 |    25408     26 |      823 |      750
795.83/796.07	c  795s |      18 |   515065 |   326852 |    25408     26 |      823 |      750
797.93/798.11	c  797s |      18 |   515998 |   327552 |    25408     26 |      823 |      750
800.23/800.40	c  800s |      18 |   516813 |   328252 |    25408     26 |      823 |      750
802.33/802.51	c  802s |      18 |   517620 |   328852 |    25408     27 |      823 |      750
804.44/804.64	c  804s |      18 |   518967 |   329852 |    25408     27 |      823 |      750
806.43/806.70	c  806s |      18 |   520222 |   330752 |    25408     27 |      823 |      750
808.53/808.76	c  808s |      18 |   521424 |   331652 |    25408     27 |      823 |      750
810.63/810.80	c  810s |      18 |   522460 |   332452 |    25408     27 |      823 |      750
812.73/812.91	c  812s |      18 |   523325 |   333152 |    25408     27 |      823 |      750
814.72/814.92	c  814s |      18 |   524249 |   333852 |    25408     27 |      823 |      750
816.72/816.94	c  816s |      18 |   525187 |   334552 |    25408     27 |      823 |      750
818.92/819.17	c  818s |      18 |   526266 |   335352 |    25408     27 |      823 |      750
821.22/821.41	c  821s |      18 |   527316 |   336152 |    25408     27 |      823 |      750
823.32/823.52	c  823s |      18 |   528242 |   336852 |    25408     27 |      823 |      750
825.42/825.66	c  825s |      18 |   529123 |   337552 |    25408     27 |      823 |      750
827.62/827.88	c  827s |      18 |   530053 |   338252 |    25408     27 |      823 |      750
829.92/830.13	c  829s |      18 |   531039 |   339052 |    25408     27 |      823 |      750
832.02/832.28	c  832s |      18 |   531745 |   339652 |    25408     27 |      823 |      750
834.12/834.35	c  834s |      18 |   532523 |   340252 |    25408     27 |      823 |      750
836.32/836.52	c  836s |      18 |   533248 |   340852 |    25408     27 |      823 |      750
838.52/838.78	c  838s |      18 |   534121 |   341552 |    25408     27 |      823 |      750
840.62/840.90	c  840s |      18 |   534867 |   342152 |    25408     27 |      823 |      750
842.82/843.08	c  842s |      18 |   535732 |   342852 |    25408     27 |      823 |      750
844.91/845.10	c  844s |      18 |   536234 |   343252 |    25408     28 |      823 |      750
847.01/847.26	c  846s |      18 |   537247 |   344052 |    25408     28 |      823 |      750
849.21/849.48	c  849s |      18 |   538145 |   344752 |    25408     28 |      823 |      750
851.31/851.58	c  851s |      18 |   538953 |   345452 |    25408     28 |      823 |      750
853.61/853.84	c  853s |      18 |   539764 |   346152 |    25408     28 |      823 |      750
855.80/856.07	c  855s |      18 |   540611 |   346852 |    25408     28 |      823 |      750
857.80/858.09	c  857s |      18 |   541366 |   347452 |    25408     28 |      823 |      750
859.80/860.09	c  859s |      18 |   542066 |   348052 |    25408     28 |      823 |      750
862.10/862.30	c  862s |      18 |   542758 |   348652 |    25408     28 |      823 |      750
864.20/864.47	c  864s |      18 |   543480 |   349252 |    25408     28 |      823 |      750
866.50/866.79	c  866s |      18 |   544148 |   349852 |    25408     28 |      823 |      750
868.90/869.16	c  868s |      18 |   544977 |   350552 |    25408     28 |      823 |      750
871.00/871.21	c  870s |      18 |   545663 |   351152 |    25408     28 |      823 |      750
873.30/873.57	c  873s |      18 |   546340 |   351752 |    25408     28 |      823 |      750
875.49/875.79	c  875s |      18 |   547222 |   352452 |    25408     28 |      823 |      750
877.89/878.18	c  877s |      18 |   547903 |   353052 |    25408     28 |      823 |      750
880.09/880.30	c  880s |      18 |   548625 |   353652 |    25408     28 |      823 |      750
882.50/882.72	c  882s |      18 |   549321 |   354252 |    25408     28 |      823 |      750
884.89/885.11	c  884s |      18 |   549881 |   354752 |    25408     28 |      823 |      750
886.99/887.23	c  886s |      18 |   550478 |   355252 |    25408     28 |      823 |      750
889.29/889.54	c  889s |      18 |   551055 |   355752 |    25408     28 |      823 |      750
891.49/891.79	c  891s |      18 |   551650 |   356252 |    25408     28 |      823 |      750
893.89/894.14	c  893s |      18 |   552235 |   356752 |    25408     28 |      823 |      750
896.58/896.82	c  896s |      18 |   552976 |   357352 |    25408     29 |      823 |      750
898.89/899.11	c  898s |      18 |   553653 |   357952 |    25408     29 |      823 |      750
900.98/901.29	c  901s |      18 |   554496 |   358652 |    25408     29 |      823 |      750
903.18/903.42	c  903s |      18 |   555652 |   359552 |    25408     29 |      823 |      750
905.28/905.55	c  905s |      18 |   556484 |   360252 |    25408     29 |      823 |      750
907.38/907.61	c  907s |      18 |   557330 |   360952 |    25408     29 |      823 |      750
909.58/909.81	c  909s |      18 |   558300 |   361752 |    25408     29 |      823 |      750
911.68/911.93	c  911s |      18 |   559250 |   362552 |    25408     29 |      823 |      750
913.68/913.99	c  913s |      18 |   560107 |   363252 |    25408     29 |      823 |      750
915.98/916.23	c  915s |      18 |   560812 |   363852 |    25408     29 |      823 |      750
918.08/918.30	c  918s |      18 |   561395 |   364352 |    25408     29 |      823 |      750
920.28/920.53	c  920s |      18 |   562152 |   364952 |    25408     29 |      823 |      750
922.38/922.67	c  922s |      18 |   562896 |   365552 |    25408     29 |      823 |      750
924.58/924.86	c  924s |      18 |   563448 |   366052 |    25408     29 |      823 |      750
926.78/927.05	c  926s |      18 |   564044 |   366552 |    25408     29 |      823 |      750
928.88/929.16	c  928s |      18 |   564623 |   367052 |    25408     29 |      823 |      750
931.08/931.38	c  931s |      18 |   565184 |   367552 |    25408     29 |      823 |      750
933.18/933.40	c  933s |      18 |   565817 |   368052 |    25408     29 |      823 |      750
935.18/935.42	c  935s |      18 |   566409 |   368552 |    25408     29 |      823 |      750
937.38/937.69	c  937s |      18 |   567110 |   369152 |    25408     29 |      823 |      750
939.68/939.95	c  939s |      18 |   567845 |   369752 |    25408     29 |      823 |      750
941.88/942.10	c  941s |      18 |   568565 |   370352 |    25408     29 |      823 |      750
944.16/944.42	c  944s |      18 |   569280 |   370952 |    25408     29 |      823 |      750
946.27/946.54	c  946s |      18 |   569857 |   371452 |    25408     29 |      823 |      750
948.47/948.72	c  948s |      18 |   570310 |   371852 |    25408     30 |      823 |      750
950.46/950.75	c  950s |      18 |   571300 |   372652 |    25408     30 |      823 |      750
952.56/952.81	c  952s |      18 |   572140 |   373352 |    25408     30 |      823 |      750
954.66/954.94	c  954s |      18 |   572988 |   374052 |    25408     30 |      823 |      750
956.66/956.95	c  956s |      18 |   573671 |   374652 |    25408     30 |      823 |      750
958.76/959.05	c  958s |      18 |   574480 |   375352 |    25408     30 |      823 |      750
961.06/961.39	c  961s |      18 |   575289 |   376052 |    25408     30 |      823 |      750
963.16/963.48	c  963s |      18 |   576124 |   376752 |    25408     30 |      823 |      750
965.25/965.51	c  965s |      18 |   576979 |   377452 |    25408     30 |      823 |      750
967.45/967.70	c  967s |      18 |   577953 |   378252 |    25408     30 |      823 |      750
969.55/969.82	c  969s |      18 |   578785 |   378952 |    25408     30 |      823 |      750
971.65/971.98	c  971s |      18 |   579649 |   379652 |    25408     30 |      823 |      750
974.05/974.32	c  974s |      18 |   580498 |   380352 |    25408     30 |      823 |      750
976.04/976.35	c  976s |      18 |   581093 |   380852 |    25408     30 |      823 |      750
978.15/978.46	c  978s |      18 |   581815 |   381452 |    25408     30 |      823 |      750
980.44/980.71	c  980s |      18 |   582521 |   382052 |    25408     30 |      823 |      750
982.84/983.12	c  982s |      18 |   583234 |   382652 |    25408     30 |      823 |      750
984.84/985.12	c  984s |      18 |   583806 |   383152 |    25408     30 |      823 |      750
986.85/987.15	c  986s |      18 |   584347 |   383652 |    25408     30 |      823 |      750
989.24/989.52	c  989s |      18 |   585057 |   384252 |    25408     30 |      823 |      750
991.44/991.72	c  991s |      18 |   585753 |   384852 |    25408     30 |      823 |      750
993.64/993.90	c  993s |      18 |   586331 |   385352 |    25408     30 |      823 |      750
995.74/996.04	c  995s |      18 |   586894 |   385852 |    25408     30 |      823 |      750
998.03/998.34	c  998s |      18 |   587490 |   386352 |    25408     31 |      823 |      750
1000.04/1000.40	c 1000s |      18 |   588379 |   387052 |    25408     31 |      823 |      750
1002.24/1002.56	c 1002s |      18 |   589062 |   387652 |    25408     31 |      823 |      750
1004.53/1004.86	c 1004s |      18 |   589999 |   388452 |    25408     31 |      823 |      750
1006.73/1007.02	c 1006s |      18 |   590670 |   389052 |    25408     31 |      823 |      750
1008.72/1009.07	c 1008s |      18 |   591469 |   389652 |    25408     31 |      823 |      750
1010.82/1011.15	c 1010s |      18 |   592311 |   390352 |    25408     31 |      823 |      750
1012.82/1013.15	c 1012s |      18 |   593191 |   391052 |    25408     31 |      823 |      750
1015.12/1015.40	c 1015s |      18 |   594045 |   391752 |    25408     31 |      823 |      750
1017.22/1017.53	c 1017s |      18 |   594898 |   392452 |    25408     31 |      823 |      750
1019.32/1019.61	c 1019s |      18 |   595757 |   393152 |    25408     31 |      823 |      750
1021.52/1021.87	c 1021s |      18 |   596580 |   393852 |    25408     31 |      823 |      750
1023.72/1024.06	c 1023s |      18 |   597276 |   394452 |    25408     31 |      823 |      750
1025.81/1026.10	c 1025s |      18 |   598223 |   395252 |    25408     31 |      823 |      750
1027.91/1028.21	c 1027s |      18 |   599097 |   395952 |    25408     31 |      823 |      750
1030.01/1030.36	c 1030s |      18 |   599814 |   396552 |    25408     31 |      823 |      750
1032.21/1032.51	c 1032s |      18 |   600733 |   397252 |    25408     31 |      823 |      750
1034.21/1034.56	c 1034s |      18 |   601705 |   397952 |    25408     31 |      823 |      750
1036.31/1036.61	c 1036s |      18 |   602485 |   398552 |    25408     31 |      823 |      750
1038.61/1038.92	c 1038s |      18 |   603228 |   399152 |    25408     31 |      823 |      750
1041.00/1041.38	c 1041s |      18 |   603977 |   399752 |    25408     31 |      823 |      750
1043.10/1043.47	c 1043s |      18 |   604490 |   400152 |    25408     32 |      823 |      750
1045.21/1045.51	c 1045s |      18 |   605636 |   401052 |    25408     32 |      823 |      750
1047.20/1047.54	c 1047s |      18 |   606564 |   401852 |    25408     32 |      823 |      750
1049.30/1049.63	c 1049s |      18 |   607525 |   402652 |    25408     32 |      823 |      750
1051.40/1051.73	c 1051s |      18 |   608450 |   403352 |    25408     32 |      823 |      750
1053.40/1053.76	c 1053s |      18 |   609280 |   404052 |    25408     32 |      823 |      750
1055.59/1055.97	c 1055s |      18 |   610099 |   404752 |    25408     32 |      823 |      750
1057.90/1058.21	c 1057s |      18 |   611095 |   405552 |    25408     32 |      823 |      750
1060.20/1060.56	c 1060s |      18 |   612092 |   406352 |    25408     32 |      823 |      750
1062.60/1062.93	c 1062s |      18 |   613062 |   407152 |    25408     32 |      823 |      750
1064.60/1064.93	c 1064s |      18 |   613620 |   407652 |    25408     32 |      823 |      750
1066.80/1067.13	c 1066s |      18 |   614453 |   408352 |    25408     32 |      823 |      750
1068.90/1069.20	c 1068s |      18 |   615014 |   408852 |    25408     32 |      823 |      750
1071.00/1071.31	c 1071s |      18 |   615867 |   409552 |    25408     32 |      823 |      750
1072.99/1073.38	c 1073s |      18 |   616731 |   410252 |    25408     32 |      823 |      750
1074.99/1075.38	c 1075s |      18 |   617589 |   410952 |    25408     32 |      823 |      750
1077.19/1077.59	c 1077s |      18 |   618587 |   411752 |    25408     32 |      823 |      750
1079.49/1079.82	c 1079s |      18 |   619594 |   412552 |    25408     32 |      823 |      750
1081.50/1081.82	c 1081s |      18 |   620313 |   413152 |    25408     32 |      823 |      750
1083.79/1084.11	c 1083s |      18 |   621004 |   413752 |    25408     32 |      823 |      750
1085.79/1086.20	c 1085s |      18 |   621753 |   414352 |    25408     32 |      823 |      750
1087.99/1088.34	c 1088s |      18 |   622353 |   414852 |    25408     33 |      823 |      750
1090.19/1090.57	c 1090s |      18 |   623495 |   415752 |    25408     33 |      823 |      750
1092.49/1092.82	c 1092s |      18 |   624314 |   416452 |    25408     33 |      823 |      750
1094.58/1094.90	c 1094s |      18 |   625184 |   417152 |    25408     33 |      823 |      750
1096.57/1096.94	c 1096s |      18 |   625874 |   417752 |    25408     33 |      823 |      750
1098.57/1098.96	c 1098s |      18 |   626759 |   418452 |    25408     33 |      823 |      750
1100.57/1100.99	c 1100s |      18 |   627484 |   419052 |    25408     33 |      823 |      750
1102.77/1103.16	c 1102s |      18 |   628184 |   419652 |    25408     33 |      823 |      750
1105.07/1105.48	c 1105s |      18 |   629042 |   420352 |    25408     33 |      823 |      750
1107.17/1107.57	c 1107s |      18 |   629891 |   421052 |    25408     33 |      823 |      750
1109.57/1109.94	c 1109s |      18 |   630721 |   421752 |    25408     33 |      823 |      750
1111.77/1112.15	c 1111s |      18 |   631414 |   422352 |    25408     33 |      823 |      750
1113.97/1114.33	c 1114s |      18 |   632275 |   423052 |    25408     33 |      823 |      750
1116.06/1116.42	c 1116s |      18 |   632989 |   423652 |    25408     33 |      823 |      750
1118.36/1118.70	c 1118s |      18 |   633679 |   424252 |    25408     33 |      823 |      750
1120.56/1120.99	c 1120s |      18 |   634365 |   424852 |    25408     33 |      823 |      750
1122.76/1123.10	c 1122s |      18 |   634949 |   425352 |    25408     33 |      823 |      750
1125.06/1125.43	c 1125s |      18 |   635649 |   425952 |    25408     33 |      823 |      750
1127.26/1127.64	c 1127s |      18 |   636249 |   426452 |    25408     33 |      823 |      750
1129.36/1129.76	c 1129s |      18 |   636798 |   426952 |    25408     33 |      823 |      750
1131.36/1131.78	c 1131s |      18 |   637503 |   427552 |    25408     33 |      823 |      750
1133.45/1133.86	c 1133s |      18 |   638054 |   428052 |    25408     33 |      823 |      750
1135.55/1135.96	c 1135s |      18 |   638831 |   428652 |    25408     33 |      823 |      750
1137.65/1138.03	c 1137s |      18 |   639294 |   429052 |    25408     34 |      823 |      750
1139.85/1140.23	c 1139s |      18 |   640283 |   429852 |    25408     34 |      823 |      750
1142.05/1142.40	c 1142s |      18 |   641366 |   430752 |    25408     34 |      823 |      750
1144.05/1144.48	c 1144s |      18 |   642192 |   431452 |    25408     34 |      823 |      750
1146.14/1146.60	c 1146s |      18 |   643149 |   432252 |    25408     34 |      823 |      750
1148.45/1148.81	c 1148s |      18 |   644107 |   433052 |    25408     34 |      823 |      750
1150.65/1151.04	c 1150s |      18 |   645086 |   433852 |    25408     34 |      823 |      750
1152.85/1153.23	c 1152s |      18 |   646047 |   434652 |    25408     34 |      823 |      750
1154.94/1155.30	c 1155s |      18 |   646877 |   435352 |    25408     34 |      823 |      750
1156.94/1157.36	c 1157s |      18 |   647733 |   436052 |    25408     34 |      823 |      750
1159.24/1159.62	c 1159s |      18 |   648699 |   436852 |    25408     34 |      823 |      750
1161.34/1161.75	c 1161s |      18 |   649415 |   437452 |    25408     34 |      823 |      750
1163.53/1163.90	c 1163s |      18 |   650177 |   438052 |    25408     34 |      823 |      750
1165.63/1166.03	c 1165s |      18 |   650900 |   438652 |    25408     34 |      823 |      750
1167.83/1168.29	c 1168s |      18 |   651713 |   439352 |    25408     34 |      823 |      750
1169.93/1170.38	c 1170s |      18 |   652569 |   440052 |    25408     34 |      823 |      750
1172.03/1172.49	c 1172s |      18 |   653406 |   440752 |    25408     34 |      823 |      750
1174.12/1174.54	c 1174s |      18 |   654109 |   441352 |    27949     34 |      823 |      750
1176.42/1176.84	c 1176s |      18 |   654977 |   442052 |    27949     34 |      823 |      750
1178.42/1178.85	c 1178s |      18 |   655546 |   442552 |    27949     34 |      823 |      750
1180.52/1180.91	c 1180s |      18 |   656381 |   443252 |    27949     34 |      823 |      750
1182.72/1183.15	c 1182s |      18 |   657329 |   444052 |    27949     34 |      823 |      750
1184.42/1184.87	c 1184s |      19 |   657877 |   444482 |    27949     34 |      823 |      750
1186.51/1186.91	c 1186s |      19 |   660648 |   444882 |    27949     35 |      823 |      750
1188.61/1189.01	c 1188s |      19 |   664091 |   446782 |    27949     35 |      823 |      750
1190.72/1191.18	c 1190s |      19 |   666010 |   448082 |    27949     35 |      823 |      750
1192.82/1193.21	c 1192s |      19 |   668661 |   449482 |    27949     35 |      823 |      750
1194.82/1195.22	c 1194s |      19 |   671812 |   451082 |    27949     35 |      823 |      750
1196.92/1197.35	c 1197s |      19 |   673185 |   452182 |    27949     35 |      823 |      750
1198.91/1199.39	c 1199s |      19 |   674258 |   453082 |    27949     35 |      823 |      750
1201.11/1201.52	c 1201s |      19 |   675279 |   453982 |    27949     35 |      823 |      750
1203.31/1203.73	c 1203s |      19 |   676175 |   454782 |    27949     35 |      823 |      750
1205.41/1205.82	c 1205s |      19 |   676914 |   455482 |    27949     35 |      823 |      750
1207.51/1207.99	c 1207s |      19 |   677666 |   456182 |    27949     35 |      823 |      750
1209.81/1210.25	c 1209s |      19 |   678543 |   456982 |    27949     35 |      823 |      750
1211.91/1212.38	c 1212s |      19 |   679303 |   457682 |    27949     35 |      823 |      750
1214.20/1214.64	c 1214s |      19 |   680157 |   458482 |    27949     35 |      823 |      750
1216.40/1216.85	c 1216s |      19 |   680912 |   459182 |    27949     35 |      823 |      750
1218.50/1218.99	c 1218s |      19 |   681871 |   459982 |    27949     35 |      823 |      750
1220.70/1221.10	c 1220s |      19 |   682724 |   460682 |    27949     35 |      823 |      750
1222.80/1223.29	c 1223s |      19 |   683454 |   461282 |    27949     36 |      823 |      750
1224.90/1225.37	c 1225s |      19 |   684316 |   461982 |    27949     36 |      823 |      750
1226.90/1227.39	c 1227s |      19 |   685128 |   462682 |    27949     36 |      823 |      750
1229.10/1229.56	c 1229s |      19 |   686016 |   463382 |    27949     36 |      823 |      750
1231.10/1231.59	c 1231s |      19 |   687013 |   464182 |    27949     36 |      823 |      750
1233.20/1233.65	c 1233s |      19 |   687975 |   464982 |    27949     36 |      823 |      750
1235.19/1235.65	c 1235s |      19 |   688919 |   465782 |    27949     36 |      823 |      750
1237.19/1237.67	c 1237s |      19 |   689729 |   466482 |    27949     36 |      823 |      750
1239.19/1239.68	c 1239s |      19 |   690559 |   467182 |    27949     36 |      823 |      750
1241.49/1241.97	c 1241s |      19 |   691354 |   467882 |    27949     36 |      823 |      750
1243.69/1244.15	c 1243s |      19 |   692165 |   468582 |    27949     36 |      823 |      750
1245.89/1246.35	c 1246s |      19 |   692972 |   469282 |    27949     36 |      823 |      750
1248.19/1248.65	c 1248s |      19 |   693814 |   469982 |    27949     36 |      823 |      750
1250.39/1250.86	c 1250s |      19 |   694492 |   470582 |    27949     36 |      823 |      750
1252.79/1253.23	c 1252s |      19 |   695163 |   471182 |    27949     36 |      823 |      750
1254.79/1255.26	c 1254s |      19 |   695715 |   471682 |    27949     36 |      823 |      750
1256.88/1257.36	c 1257s |      19 |   697162 |   472482 |    27949     36 |      823 |      750
1259.08/1259.52	c 1259s |      19 |   698647 |   473382 |    27949     36 |      823 |      750
1261.18/1261.64	c 1261s |      19 |   699880 |   474282 |    27949     36 |      823 |      750
1263.48/1263.95	c 1263s |      19 |   700845 |   475082 |    27949     36 |      823 |      750
1265.58/1266.07	c 1265s |      19 |   701660 |   475782 |    27949     36 |      823 |      750
1268.48/1268.90	c 1268s |      19 |   702629 |   476582 |    27949     37 |      823 |      750
1270.68/1271.13	c 1270s |      19 |   703683 |   477482 |    27949     37 |      823 |      750
1272.69/1273.14	c 1272s |      19 |   704476 |   478182 |    27949     37 |      823 |      750
1274.88/1275.32	c 1275s |      19 |   705397 |   478982 |    27949     37 |      823 |      750
1277.08/1277.52	c 1277s |      19 |   706344 |   479782 |    27949     37 |      823 |      750
1279.18/1279.64	c 1279s |      19 |   707123 |   480482 |    27949     37 |      823 |      750
1281.18/1281.68	c 1281s |      19 |   707807 |   481082 |    27949     37 |      823 |      750
1283.37/1283.85	c 1283s |      19 |   708582 |   481782 |    27949     37 |      823 |      750
1285.57/1286.05	c 1285s |      19 |   709387 |   482482 |    27949     37 |      823 |      750
1287.57/1288.07	c 1287s |      19 |   710049 |   483082 |    27949     37 |      823 |      750
1289.77/1290.29	c 1290s |      19 |   711028 |   483882 |    27949     37 |      823 |      750
1291.97/1292.40	c 1292s |      19 |   711597 |   484382 |    27949     37 |      823 |      750
1293.97/1294.43	c 1294s |      19 |   712431 |   484982 |    27949     37 |      823 |      750
1295.97/1296.44	c 1296s |      19 |   713156 |   485582 |    27949     37 |      823 |      750
1298.17/1298.62	c 1298s |      19 |   713825 |   486182 |    27949     37 |      823 |      750
1300.57/1301.02	c 1300s |      19 |   714473 |   486782 |    27949     37 |      823 |      750
1302.86/1303.34	c 1303s |      19 |   715165 |   487382 |    27949     37 |      823 |      750
1304.96/1305.47	c 1305s |      19 |   715859 |   487982 |    27949     37 |      823 |      750
1307.26/1307.72	c 1307s |      19 |   716713 |   488682 |    27949     37 |      823 |      750
1309.36/1309.86	c 1309s |      19 |   717419 |   489282 |    27949     37 |      823 |      750
1311.56/1312.01	c 1311s |      19 |   718062 |   489882 |    27949     37 |      823 |      750
1313.76/1314.23	c 1313s |      19 |   718740 |   490482 |    27949     37 |      823 |      750
1315.86/1316.30	c 1316s |      19 |   719350 |   490982 |    27949     37 |      823 |      750
1317.96/1318.41	c 1318s |      19 |   719942 |   491482 |    27949     37 |      823 |      750
1320.16/1320.68	c 1320s |      19 |   720506 |   491982 |    27949     37 |      823 |      750
1322.36/1322.81	c 1322s |      19 |   720966 |   492382 |    27949     38 |      823 |      750
1324.56/1325.03	c 1324s |      19 |   721733 |   493082 |    27949     38 |      823 |      750
1326.56/1327.07	c 1326s |      19 |   722388 |   493682 |    27949     38 |      823 |      750
1328.66/1329.10	c 1328s |      19 |   723062 |   494282 |    27949     38 |      823 |      750
1330.97/1331.42	c 1331s |      19 |   723719 |   494882 |    27949     38 |      823 |      750
1333.17/1333.65	c 1333s |      19 |   724390 |   495482 |    27949     38 |      823 |      750
1335.26/1335.74	c 1335s |      19 |   724954 |   495982 |    27949     38 |      823 |      750
1337.36/1337.87	c 1337s |      19 |   725751 |   496682 |    27949     38 |      823 |      750
1339.36/1339.88	c 1339s |      19 |   726421 |   497282 |    27949     38 |      823 |      750
1341.66/1342.13	c 1341s |      19 |   727095 |   497882 |    27949     38 |      823 |      750
1343.66/1344.15	c 1343s |      19 |   727773 |   498482 |    27949     38 |      823 |      750
1345.86/1346.38	c 1346s |      19 |   728543 |   499182 |    27949     38 |      823 |      750
1348.06/1348.56	c 1348s |      19 |   729235 |   499782 |    27949     38 |      823 |      750
1350.16/1350.69	c 1350s |      19 |   729931 |   500382 |    27949     38 |      823 |      750
1352.56/1353.01	c 1352s |      19 |   730616 |   500982 |    27949     38 |      823 |      750
1354.56/1355.03	c 1354s |      19 |   731350 |   501582 |    27949     38 |      823 |      750
1356.96/1357.40	c 1357s |      19 |   732047 |   502182 |    27949     38 |      823 |      750
1359.06/1359.59	c 1359s |      19 |   732740 |   502782 |    27949     38 |      823 |      750
1361.26/1361.70	c 1361s |      19 |   733300 |   503282 |    27949     38 |      823 |      750
1363.56/1364.02	c 1363s |      19 |   734021 |   503882 |    27949     38 |      823 |      750
1365.96/1366.46	c 1366s |      19 |   734591 |   504382 |    27949     38 |      823 |      750
1368.16/1368.60	c 1368s |      19 |   735165 |   504882 |    27949     38 |      823 |      750
1370.26/1370.77	c 1370s |      19 |   735605 |   505282 |    27949     38 |      823 |      750
1372.36/1372.88	c 1372s |      19 |   736048 |   505682 |    27949     38 |      823 |      750
1374.46/1374.90	c 1374s |      19 |   736646 |   506182 |    27949     38 |      823 |      750
1376.76/1377.29	c 1377s |      19 |   737251 |   506682 |    27949     38 |      823 |      750
1379.36/1379.88	c 1379s |      19 |   737788 |   507182 |    27949     38 |      823 |      750
1382.36/1382.81	c 1382s |      19 |   738251 |   507582 |    27949     39 |      823 |      750
1384.66/1385.18	c 1384s |      19 |   738839 |   508082 |    27949     39 |      823 |      750
1386.86/1387.37	c 1387s |      19 |   739510 |   508682 |    27949     39 |      823 |      750
1389.15/1389.62	c 1389s |      19 |   740204 |   509282 |    27949     39 |      823 |      750
1391.15/1391.64	c 1391s |      19 |   740631 |   509682 |    27949     39 |      823 |      750
1393.35/1393.86	c 1393s |      19 |   741191 |   510182 |    27949     39 |      823 |      750
1395.45/1395.99	c 1395s |      19 |   741761 |   510682 |    27949     39 |      823 |      750
1397.65/1398.18	c 1397s |      19 |   742319 |   511182 |    27949     39 |      823 |      750
1400.05/1400.51	c 1400s |      19 |   742751 |   511582 |    27949     39 |      823 |      750
1402.25/1402.79	c 1402s |      19 |   743308 |   512082 |    27949     39 |      823 |      750
1404.45/1404.91	c 1404s |      19 |   743857 |   512582 |    27949     39 |      823 |      750
1406.55/1407.02	c 1406s |      19 |   744396 |   513082 |    27949     39 |      823 |      750
1409.06/1409.58	c 1409s |      19 |   744946 |   513582 |    27949     39 |      823 |      750
1411.26/1411.79	c 1411s |      19 |   745508 |   514082 |    27949     39 |      823 |      750
1413.35/1413.89	c 1413s |      19 |   746083 |   514582 |    27949     39 |      823 |      750
1415.76/1416.21	c 1415s |      19 |   746650 |   515082 |    27949     39 |      823 |      750
1417.75/1418.27	c 1417s |      19 |   747080 |   515482 |    27949     39 |      823 |      750
1420.06/1420.57	c 1420s |      19 |   747630 |   515982 |    27949     39 |      823 |      750
1422.35/1422.88	c 1422s |      19 |   748190 |   516482 |    27949     39 |      823 |      750
1424.85/1425.34	c 1425s |      19 |   748931 |   517082 |    27949     39 |      823 |      750
1427.15/1427.69	c 1427s |      19 |   749540 |   517582 |    27949     39 |      823 |      750
1429.55/1430.04	c 1429s |      19 |   750039 |   517982 |    27949     39 |      823 |      750
1431.75/1432.25	c 1431s |      19 |   750727 |   518582 |    27949     39 |      823 |      750
1433.74/1434.27	c 1433s |      19 |   751302 |   519082 |    27949     39 |      823 |      750
1435.84/1436.37	c 1436s |      19 |   751858 |   519582 |    27949     39 |      823 |      750
1438.14/1438.64	c 1438s |      19 |   752401 |   520082 |    27949     39 |      823 |      750
1440.44/1440.92	c 1440s |      19 |   752969 |   520582 |    27949     39 |      823 |      750
1442.54/1443.06	c 1442s |      19 |   753644 |   521082 |    27949     39 |      823 |      750
1444.74/1445.20	c 1444s |      19 |   754497 |   521682 |    27949     39 |      823 |      750
1446.84/1447.38	c 1447s |      19 |   755312 |   522282 |    27949     39 |      823 |      750
1449.04/1449.53	c 1449s |      19 |   755924 |   522782 |    27949     39 |      823 |      750
1451.64/1452.12	c 1451s |      19 |   756381 |   523182 |    27949     40 |      823 |      750
1453.94/1454.45	c 1454s |      19 |   757213 |   523882 |    27949     40 |      823 |      750
1456.25/1456.76	c 1456s |      19 |   757877 |   524482 |    27949     40 |      823 |      750
1458.75/1459.20	c 1458s |      19 |   758569 |   525082 |    27949     40 |      823 |      750
1461.04/1461.50	c 1461s |      19 |   759264 |   525682 |    27949     40 |      823 |      750
1463.14/1463.67	c 1463s |      19 |   759935 |   526282 |    27949     40 |      823 |      750
1465.54/1466.03	c 1465s |      19 |   760612 |   526882 |    27949     40 |      823 |      750
1467.74/1468.24	c 1467s |      19 |   761292 |   527482 |    27949     40 |      823 |      750
1469.84/1470.35	c 1470s |      19 |   761881 |   527982 |    27949     40 |      823 |      750
1471.85/1472.39	c 1472s |      19 |   762449 |   528482 |    27949     40 |      823 |      750
1474.05/1474.56	c 1474s |      19 |   763452 |   529182 |    27949     40 |      823 |      750
1476.15/1476.69	c 1476s |      19 |   764576 |   529982 |    27949     40 |      823 |      750
1478.45/1478.91	c 1478s |      19 |   765611 |   530782 |    27949     40 |      823 |      750
1480.65/1481.12	c 1480s |      19 |   766653 |   531582 |    27949     40 |      823 |      750
1482.94/1483.40	c 1483s |      19 |   767734 |   532382 |    27949     40 |      823 |      750
1485.14/1485.69	c 1485s |      19 |   768596 |   533082 |    27949     40 |      823 |      750
1487.24/1487.71	c 1487s |      19 |   769297 |   533682 |    27949     40 |      823 |      750
1489.54/1490.08	c 1489s |      19 |   770001 |   534282 |    27949     40 |      823 |      750
1491.54/1492.09	c 1491s |      19 |   770554 |   534782 |    27949     40 |      823 |      750
1493.74/1494.28	c 1494s |      19 |   771119 |   535282 |    27949     40 |      823 |      750
1495.83/1496.36	c 1496s |      19 |   771571 |   535682 |    27949     40 |      823 |      750
1498.24/1498.76	c 1498s |      19 |   772185 |   536182 |    27949     40 |      823 |      750
1500.53/1501.02	c 1500s |      19 |   772869 |   536782 |    27949     40 |      823 |      750
1502.64/1503.16	c 1502s |      19 |   773578 |   537382 |    27949     40 |      823 |      750
1504.93/1505.45	c 1505s |      19 |   774267 |   537982 |    27949     40 |      823 |      750
1507.23/1507.70	c 1507s |      19 |   774977 |   538582 |    27949     40 |      823 |      750
1509.24/1509.78	c 1509s |      19 |   775435 |   538982 |    27949     41 |      823 |      750
1511.63/1512.13	c 1511s |      19 |   776116 |   539582 |    27949     41 |      823 |      750
1513.73/1514.29	c 1514s |      19 |   776813 |   540182 |    27949     41 |      823 |      750
1516.13/1516.63	c 1516s |      19 |   777547 |   540782 |    27949     41 |      823 |      750
1518.33/1518.89	c 1518s |      19 |   778432 |   541482 |    27949     41 |      823 |      750
1520.63/1521.19	c 1520s |      19 |   779147 |   542082 |    27949     41 |      823 |      750
1522.83/1523.32	c 1523s |      19 |   779837 |   542682 |    27949     41 |      823 |      750
1524.93/1525.46	c 1525s |      19 |   780531 |   543282 |    27949     41 |      823 |      750
1527.33/1527.85	c 1527s |      19 |   781223 |   543882 |    27949     41 |      823 |      750
1529.53/1530.02	c 1529s |      19 |   781922 |   544482 |    27949     41 |      823 |      750
1531.93/1532.49	c 1532s |      19 |   782629 |   545082 |    27949     41 |      823 |      750
1534.23/1534.74	c 1534s |      19 |   783319 |   545682 |    27949     41 |      823 |      750
1536.43/1536.94	c 1536s |      19 |   783801 |   546082 |    27949     41 |      823 |      750
1538.73/1539.29	c 1539s |      19 |   784820 |   546882 |    27949     41 |      823 |      750
1540.93/1541.44	c 1541s |      19 |   786220 |   547682 |    27949     41 |      823 |      750
1543.03/1543.52	c 1543s |      19 |   787274 |   548382 |    27949     41 |      823 |      750
1545.13/1545.68	c 1545s |      19 |   788242 |   549082 |    27949     41 |      823 |      750
1547.33/1547.83	c 1547s |      19 |   789129 |   549782 |    27949     41 |      823 |      750
1549.43/1549.95	c 1549s |      19 |   789859 |   550382 |    27949     41 |      823 |      750
1551.53/1552.08	c 1551s |      19 |   790590 |   550982 |    27949     41 |      823 |      750
1553.83/1554.34	c 1554s |      19 |   791473 |   551682 |    27949     41 |      823 |      750
1556.03/1556.52	c 1556s |      19 |   792212 |   552282 |    27949     41 |      823 |      750
1558.23/1558.77	c 1558s |      19 |   793078 |   552982 |    27949     41 |      823 |      750
1560.53/1561.05	c 1560s |      19 |   793979 |   553682 |    27949     41 |      823 |      750
1562.93/1563.41	c 1563s |      19 |   794595 |   554182 |    27949     42 |      823 |      750
1564.93/1565.47	c 1565s |      19 |   795624 |   554982 |    27949     42 |      823 |      750
1567.03/1567.50	c 1567s |      19 |   796415 |   555682 |    27949     42 |      823 |      750
1569.13/1569.68	c 1569s |      19 |   797436 |   556482 |    27949     42 |      823 |      750
1571.33/1571.83	c 1571s |      19 |   798621 |   557382 |    27949     42 |      823 |      750
1573.53/1574.06	c 1573s |      19 |   799759 |   558282 |    27949     42 |      823 |      750
1575.83/1576.33	c 1576s |      19 |   800736 |   559082 |    27949     42 |      823 |      750
1577.83/1578.38	c 1578s |      19 |   801595 |   559782 |    27949     42 |      823 |      750
1579.93/1580.42	c 1580s |      19 |   802476 |   560482 |    27949     42 |      823 |      750
1582.13/1582.63	c 1582s |      19 |   803319 |   561182 |    27949     42 |      823 |      750
1584.23/1584.73	c 1584s |      19 |   804025 |   561782 |    27949     42 |      823 |      750
1586.23/1586.73	c 1586s |      19 |   804758 |   562382 |    27949     42 |      823 |      750
1588.33/1588.81	c 1588s |      19 |   805474 |   562982 |    27949     42 |      823 |      750
1590.53/1591.03	c 1590s |      19 |   806194 |   563582 |    27949     42 |      823 |      750
1592.62/1593.18	c 1592s |      19 |   806779 |   564082 |    27949     42 |      823 |      750
1594.82/1595.38	c 1595s |      19 |   807471 |   564682 |    27949     42 |      823 |      750
1597.13/1597.60	c 1597s |      19 |   808304 |   565382 |    27949     42 |      823 |      750
1599.43/1599.91	c 1599s |      19 |   809000 |   565982 |    27949     42 |      823 |      750
1601.53/1602.01	c 1601s |      19 |   809720 |   566582 |    27949     42 |      823 |      750
1603.52/1604.04	c 1603s |      19 |   810423 |   567182 |    27949     42 |      823 |      750
1605.52/1606.06	c 1605s |      19 |   811157 |   567782 |    27949     42 |      823 |      750
1607.82/1608.33	c 1608s |      19 |   811825 |   568382 |    27949     42 |      823 |      750
1609.92/1610.42	c 1610s |      19 |   812523 |   568982 |    27949     42 |      823 |      750
1612.12/1612.60	c 1612s |      19 |   813226 |   569582 |    27949     42 |      823 |      750
1614.12/1614.62	c 1614s |      19 |   813699 |   569982 |    27949     43 |      823 |      750
1616.12/1616.65	c 1616s |      19 |   814606 |   570682 |    27949     43 |      823 |      750
1618.42/1618.92	c 1618s |      19 |   815629 |   571482 |    27949     43 |      823 |      750
1620.62/1621.14	c 1620s |      19 |   816690 |   572282 |    27949     43 |      823 |      750
1622.82/1623.36	c 1623s |      19 |   817519 |   572982 |    27949     43 |      823 |      750
1624.92/1625.41	c 1625s |      19 |   818111 |   573482 |    27949     43 |      823 |      750
1627.02/1627.54	c 1627s |      19 |   819157 |   574282 |    27949     43 |      823 |      750
1629.22/1629.78	c 1629s |      19 |   820138 |   575082 |    27949     43 |      823 |      750
1631.32/1631.82	c 1631s |      19 |   820950 |   575782 |    27949     43 |      823 |      750
1633.42/1633.97	c 1633s |      19 |   821655 |   576382 |    27949     43 |      823 |      750
1635.62/1636.18	c 1635s |      19 |   822516 |   577082 |    27949     43 |      823 |      750
1637.92/1638.43	c 1638s |      19 |   823341 |   577782 |    27949     43 |      823 |      750
1639.92/1640.45	c 1640s |      19 |   824048 |   578382 |    27949     43 |      823 |      750
1642.12/1642.67	c 1642s |      19 |   824782 |   578982 |    27949     43 |      823 |      750
1644.22/1644.78	c 1644s |      19 |   825543 |   579582 |    27949     43 |      823 |      750
1646.31/1646.86	c 1646s |      19 |   826425 |   580282 |    27949     43 |      823 |      750
1648.41/1648.94	c 1648s |      19 |   827336 |   580982 |    27949     43 |      823 |      750
1650.51/1651.03	c 1650s |      19 |   828085 |   581582 |    27949     43 |      823 |      750
1652.91/1653.41	c 1653s |      19 |   828782 |   582182 |    27949     43 |      823 |      750
1655.21/1655.72	c 1655s |      19 |   829551 |   582782 |    27949     43 |      823 |      750
1657.31/1657.87	c 1657s |      19 |   830284 |   583382 |    27949     43 |      823 |      750
1659.71/1660.20	c 1659s |      19 |   831019 |   583982 |    27949     43 |      823 |      750
1662.02/1662.55	c 1662s |      19 |   831722 |   584582 |    27949     43 |      823 |      750
1664.32/1664.85	c 1664s |      19 |   832303 |   585082 |    27949     43 |      823 |      750
1666.42/1666.98	c 1666s |      19 |   832789 |   585482 |    27949     44 |      823 |      750
1668.72/1669.28	c 1669s |      19 |   833637 |   586182 |    27949     44 |      823 |      750
1670.92/1671.42	c 1671s |      19 |   834348 |   586782 |    27949     44 |      823 |      750
1672.91/1673.44	c 1673s |      19 |   835084 |   587382 |    27949     44 |      823 |      750
1675.11/1675.60	c 1675s |      19 |   835985 |   588082 |    27949     44 |      823 |      750
1677.41/1677.97	c 1677s |      19 |   836661 |   588682 |    27949     44 |      823 |      750
1679.71/1680.25	c 1679s |      19 |   837348 |   589282 |    27949     44 |      823 |      750
1681.91/1682.40	c 1682s |      19 |   838063 |   589882 |    27949     44 |      823 |      750
1683.91/1684.46	c 1684s |      19 |   839004 |   590582 |    27949     44 |      823 |      750
1686.21/1686.73	c 1686s |      19 |   840019 |   591382 |    27949     44 |      823 |      750
1688.30/1688.83	c 1688s |      19 |   840745 |   591982 |    27949     44 |      823 |      750
1690.40/1690.92	c 1690s |      19 |   841449 |   592582 |    27949     44 |      823 |      750
1692.50/1693.09	c 1692s |      19 |   842202 |   593182 |    27949     44 |      823 |      750
1694.70/1695.25	c 1694s |      19 |   842966 |   593782 |    27949     44 |      823 |      750
1696.80/1697.35	c 1697s |      19 |   843669 |   594382 |    27949     44 |      823 |      750
1699.00/1699.57	c 1699s |      19 |   844393 |   594982 |    27949     44 |      823 |      750
1701.10/1701.68	c 1701s |      19 |   845118 |   595582 |    27949     44 |      823 |      750
1703.50/1704.05	c 1703s |      19 |   845819 |   596182 |    27949     44 |      823 |      750
1705.50/1706.08	c 1705s |      19 |   846399 |   596682 |    27949     44 |      823 |      750
1707.51/1708.09	c 1707s |      19 |   846987 |   597182 |    27949     44 |      823 |      750
1709.91/1710.41	c 1710s |      19 |   847575 |   597682 |    27949     44 |      823 |      750
1712.21/1712.73	c 1712s |      19 |   848124 |   598182 |    27949     44 |      823 |      750
1714.61/1715.14	c 1714s |      19 |   848683 |   598682 |    27949     44 |      823 |      750
1716.71/1717.24	c 1716s |      19 |   849553 |   599282 |    27949     44 |      823 |      750
1718.91/1719.46	c 1719s |      19 |   850488 |   599982 |    27949     44 |      823 |      750
1721.31/1721.84	c 1721s |      19 |   851307 |   600582 |    27949     44 |      823 |      750
1723.51/1724.07	c 1723s |      19 |   851794 |   600982 |    27949     45 |      823 |      750
1725.60/1726.18	c 1725s |      19 |   852484 |   601582 |    27949     45 |      823 |      750
1727.90/1728.41	c 1728s |      19 |   853414 |   602282 |    27949     45 |      823 |      750
1730.00/1730.56	c 1730s |      19 |   854141 |   602882 |    27949     45 |      823 |      750
1732.10/1732.60	c 1732s |      19 |   855165 |   603682 |    27949     45 |      823 |      750
1734.30/1734.85	c 1734s |      19 |   856148 |   604482 |    27949     45 |      823 |      750
1736.40/1736.96	c 1736s |      19 |   856983 |   605182 |    27949     45 |      823 |      750
1738.70/1739.22	c 1738s |      19 |   857948 |   605982 |    27949     45 |      823 |      750
1741.00/1741.50	c 1741s |      19 |   858740 |   606682 |    27949     45 |      823 |      750
1743.30/1743.83	c 1743s |      19 |   859576 |   607382 |    27949     45 |      823 |      750
1745.61/1746.11	c 1745s |      19 |   860414 |   608082 |    27949     45 |      823 |      750
1747.70/1748.30	c 1748s |      19 |   861097 |   608682 |    27949     45 |      823 |      750
1749.80/1750.38	c 1750s |      19 |   861856 |   609282 |    27949     45 |      823 |      750
1752.10/1752.65	c 1752s |      19 |   862758 |   609982 |    27949     45 |      823 |      750
1754.41/1754.91	c 1754s |      19 |   863583 |   610682 |    27949     45 |      823 |      750
1756.50/1757.02	c 1756s |      19 |   864163 |   611182 |    27949     45 |      823 |      750
1758.60/1759.11	c 1758s |      19 |   864754 |   611682 |    27949     45 |      823 |      750
1761.00/1761.52	c 1761s |      19 |   865501 |   612282 |    27949     45 |      823 |      750
1763.10/1763.70	c 1763s |      19 |   866109 |   612782 |    27949     45 |      823 |      750
1765.40/1765.90	c 1765s |      19 |   866830 |   613382 |    27949     45 |      823 |      750
1767.70/1768.24	c 1767s |      19 |   867698 |   614082 |    27949     45 |      823 |      750
1769.80/1770.37	c 1770s |      19 |   868312 |   614582 |    27949     45 |      823 |      750
1771.89/1772.45	c 1772s |      19 |   868910 |   615082 |    27949     45 |      823 |      750
1773.99/1774.56	c 1774s |      19 |   869530 |   615582 |    27949     45 |      823 |      750
1776.19/1776.77	c 1776s |      19 |   870275 |   616182 |    27949     45 |      823 |      750
1778.49/1779.08	c 1778s |      19 |   870736 |   616582 |    27949     46 |      823 |      750
1780.80/1781.37	c 1781s |      19 |   871547 |   617282 |    27949     46 |      823 |      750
1782.89/1783.41	c 1783s |      19 |   872264 |   617882 |    27949     46 |      823 |      750
1784.99/1785.52	c 1785s |      19 |   872990 |   618482 |    27949     46 |      823 |      750
1787.09/1787.69	c 1787s |      19 |   873574 |   618982 |    27949     46 |      823 |      750
1789.29/1789.90	c 1789s |      19 |   874266 |   619582 |    27949     46 |      823 |      750
1791.80/1792.34	c 1792s |      19 |   874982 |   620182 |    27949     46 |      823 |      750
1794.19/1794.74	c 1794s |      19 |   875699 |   620782 |    27949     46 |      823 |      750
1796.30/1796.85	c 1796s |      19 |   876293 |   621282 |    27949     46 |      823 |      750
1798.59/1799.16	c 1798s |      19 |   876866 |   621782 |    27949     46 |      823 |      750

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

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.28 2.27 3/170 24724
/proc/meminfo: memFree=30313708/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=528828 CPUtime=0 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 1939 0 0 0 0 0 0 0 20 0 4 0 31157244 541519872 2300 33554432000 4194304 16246674 140737330102320 140737330101744 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 132975 2309 441 2943 0 129869 0
[pid=24724/tid=24729] ppid=24721 vsize=553404 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 566685696 2393 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=557500 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 570880000 2410 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=561596 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157245 575074304 2428 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100225 s]
/proc/loadavg: 2.23 2.28 2.27 3/170 24724
/proc/meminfo: memFree=30313708/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 28467 0 0 0 5 4 0 0 20 0 4 0 31157244 1249447936 28766 33554432000 4194304 16246674 140737330102320 140737330101632 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 305041 28766 801 2943 0 301935 0
[pid=24724/tid=24729] ppid=24721 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1249447936 28766 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1249447936 28766 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1249447936 28766 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.20052 s]
/proc/loadavg: 2.23 2.28 2.27 3/170 24724
/proc/meminfo: memFree=30313708/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1301060 CPUtime=0.18 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 48674 0 0 0 11 7 0 0 20 0 4 0 31157244 1332285440 48973 33554432000 4194304 16246674 140737330102320 140737330101632 13196294 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 325265 48973 842 2943 0 322159 0
[pid=24724/tid=24729] ppid=24721 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1332285440 48973 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1332285440 48973 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1332285440 48973 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1301060

[startup+0.30047 s]
/proc/loadavg: 2.23 2.28 2.27 3/170 24724
/proc/meminfo: memFree=30313708/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1301060 CPUtime=0.28 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 54410 0 0 0 20 8 0 0 20 0 4 0 31157244 1332285440 54710 33554432000 4194304 16246674 140737330102320 140737330084224 5598940 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 325265 54715 882 2943 0 322159 0
[pid=24724/tid=24729] ppid=24721 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1332285440 54718 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1332285440 54721 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1332285440 54724 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.700397 s]
/proc/loadavg: 2.23 2.28 2.27 3/170 24724
/proc/meminfo: memFree=30313708/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 102869 0 0 0 54 15 0 0 20 0 4 0 31157244 1332285440 103168 33554432000 4194304 16246674 140737330102320 140737330084224 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 325265 103174 882 2943 0 322159 0
[pid=24724/tid=24729] ppid=24721 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1332285440 103177 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1332285440 103180 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1332285440 103184 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.5004 s]
/proc/loadavg: 2.23 2.28 2.27 3/183 24741
/proc/meminfo: memFree=28645836/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1302084 CPUtime=1.49 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 208893 0 0 0 120 29 0 0 20 0 4 0 31157244 1333334016 209192 33554432000 4194304 16246674 140737330102320 140737330084224 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 325521 209194 882 2943 0 322415 0
[pid=24724/tid=24729] ppid=24721 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1333334016 209235 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1333334016 209239 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1333334016 209243 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10046 s]
/proc/loadavg: 2.23 2.28 2.27 3/183 24741
/proc/meminfo: memFree=28280408/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 265787 0 0 0 271 38 0 0 20 0 4 0 31157244 1344868352 266087 33554432000 4194304 16246674 140737330102320 140737330084224 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 328337 266101 888 2943 0 325231 0
[pid=24724/tid=24729] ppid=24721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1344868352 266104 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1344868352 266109 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1344868352 266112 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30035 s]
/proc/loadavg: 2.21 2.27 2.27 3/183 24741
/proc/meminfo: memFree=28155188/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 269523 0 0 0 590 39 0 0 20 0 4 0 31157244 1344868352 269822 33554432000 4194304 16246674 140737330102320 140737330084224 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 328337 269822 888 2943 0 325231 0
[pid=24724/tid=24729] ppid=24721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1344868352 269822 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1344868352 269822 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1344868352 269822 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7005 s]
/proc/loadavg: 2.28 2.29 2.27 3/183 24741
/proc/meminfo: memFree=28155512/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 269524 0 0 0 1230 39 0 0 20 0 4 0 31157244 1344868352 269823 33554432000 4194304 16246674 140737330102320 140737330084224 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 328337 269823 888 2943 0 325231 0
[pid=24724/tid=24729] ppid=24721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1344868352 269823 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1344868352 269823 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1344868352 269823 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5004 s]
/proc/loadavg: 2.23 2.28 2.27 3/183 24741
/proc/meminfo: memFree=28156612/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1313348 CPUtime=25.48 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 269527 0 0 0 2509 39 0 0 20 0 4 0 31157244 1344868352 269826 33554432000 4194304 16246674 140737330102320 140737330084224 12483532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 328337 269826 891 2943 0 325231 0
[pid=24724/tid=24729] ppid=24721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1344868352 269826 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1344868352 269826 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1344868352 269826 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1073 s]
/proc/loadavg: 2.28 2.28 2.27 4/183 24741
/proc/meminfo: memFree=28156500/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 269527 0 0 0 5069 39 0 0 20 0 4 0 31157244 1344868352 269826 33554432000 4194304 16246674 140737330102320 140737330101496 5530676 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 328337 269826 891 2943 0 325231 0
[pid=24724/tid=24729] ppid=24721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1344868352 269826 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1344868352 269826 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1344868352 269826 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.17 2.25 2.26 3/183 24742
/proc/meminfo: memFree=28151604/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1318468 CPUtime=102.27 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 270692 0 0 0 10187 40 0 0 20 0 4 0 31157244 1350111232 270991 33554432000 4194304 16246674 140737330102320 140737330085312 5712672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 329617 270991 891 2943 0 326511 0
[pid=24724/tid=24729] ppid=24721 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1350111232 270991 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1350111232 270991 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1350111232 270991 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1318468


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

/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1342020

[startup+1302.3 s]
/proc/loadavg: 2.45 2.33 2.28 3/183 24795
/proc/meminfo: memFree=28102704/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1342020 CPUtime=1301.87 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 277118 0 0 0 130140 47 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140737330084224 5546023 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 335505 276998 892 2943 0 332399 0
[pid=24724/tid=24729] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1342020

[startup+1362.31 s]
/proc/loadavg: 2.22 2.28 2.27 4/183 24797
/proc/meminfo: memFree=28102280/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1342020 CPUtime=1361.87 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 277122 0 0 0 136139 48 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140737330084224 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 335505 276998 892 2943 0 332399 0
[pid=24724/tid=24729] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1342020

[startup+1422.3 s]
/proc/loadavg: 2.16 2.25 2.26 3/184 24801
/proc/meminfo: memFree=28101624/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1342020 CPUtime=1421.85 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 277122 0 0 0 142137 48 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140737330084224 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 335505 276998 892 2943 0 332399 0
[pid=24724/tid=24729] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1342020

[startup+1482.3 s]
/proc/loadavg: 2.29 2.27 2.26 4/183 24802
/proc/meminfo: memFree=28102176/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1342020 CPUtime=1481.84 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 277122 0 0 0 148135 49 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140737330084224 5721686 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 335505 276998 892 2943 0 332399 0
[pid=24724/tid=24729] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1342020

[startup+1542.3 s]
/proc/loadavg: 2.28 2.26 2.26 3/183 24803
/proc/meminfo: memFree=28102336/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1342020 CPUtime=1541.83 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 277122 0 0 0 154133 50 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140737330084224 4220936 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 335505 276998 892 2943 0 332399 0
[pid=24724/tid=24729] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1342020

[startup+1602.3 s]
/proc/loadavg: 2.22 2.24 2.26 4/182 24804
/proc/meminfo: memFree=28102484/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1342020 CPUtime=1601.82 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 277122 0 0 0 160132 50 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140737330084224 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 335505 276998 892 2943 0 332399 0
[pid=24724/tid=24729] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1342020

[startup+1662.3 s]
/proc/loadavg: 2.29 2.26 2.26 3/182 24806
/proc/meminfo: memFree=28102772/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1342020 CPUtime=1661.81 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 277122 0 0 0 166131 50 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140737330084224 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 335505 276998 892 2943 0 332399 0
[pid=24724/tid=24729] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1342020

[startup+1722.3 s]
/proc/loadavg: 2.23 2.24 2.25 3/183 24808
/proc/meminfo: memFree=28101656/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1342020 CPUtime=1721.81 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 277122 0 0 0 172130 51 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140737330084224 5722668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 335505 276998 892 2943 0 332399 0
[pid=24724/tid=24729] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1342020

[startup+1782.3 s]
/proc/loadavg: 2.12 2.21 2.24 3/183 24809
/proc/meminfo: memFree=28101280/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1342020 CPUtime=1781.79 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 277122 0 0 0 178128 51 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140737330084224 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 335505 276998 892 2943 0 332399 0
[pid=24724/tid=24729] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1342020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.16 2.21 2.24 3/183 24809
/proc/meminfo: memFree=28101496/32872528 swapFree=1541156/1696500
[pid=24724] ppid=24721 vsize=1342020 CPUtime=1800.09 cores=0,2,4,6
/proc/24724/stat : 24724 (toysat) R 24721 24724 23447 0 -1 4202496 277122 0 0 0 179958 51 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140737330101496 5675473 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24724/statm: 335505 276998 892 2943 0 332399 0
[pid=24724/tid=24729] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24729/stat : 24729 (toysat) S 24721 24724 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157244 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136314547440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24724/tid=24730] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24730/stat : 24730 (toysat) S 24721 24724 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136304057584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24724/tid=24731] ppid=24721 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24724/task/24731/stat : 24731 (toysat) S 24721 24724 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31157245 1374228480 276998 33554432000 4194304 16246674 140737330102320 140136293584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1342020

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.59
CPU system time (s): 0.515921
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 1342020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.515921
maximum resident set size= 1107992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277122
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= 442
involuntary context switches= 1964

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69529 second user time and 6.81596 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-27 00:46:25
IDJOB=4116837
IDBENCH=109520
IDSOLVER=2542
FILE ID=node125/4116837-1466981185
RUNJOBID= node125-1466966776-23463
PBS_JOBID= 19976375
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= ef75d0fa559b60e210d6da0ea8998a08
RANDOM SEED=888413039

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30314088 kB
Buffers:           55016 kB
Cached:            99624 kB
SwapCached:         1736 kB
Active:            73232 kB
Inactive:          85228 kB
Active(anon):       4952 kB
Inactive(anon):      448 kB
Active(file):      68280 kB
Inactive(file):    84780 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             33396 kB
Writeback:             0 kB
AnonPages:       1789288 kB
Mapped:             7160 kB
Shmem:                 0 kB
Slab:             568540 kB
SReclaimable:      12456 kB
SUnreclaim:       556084 kB
KernelStack:        1520 kB
PageTables:         7396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1793352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node125 at 2016-06-27 01:16:26