Trace number 4116413

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round23-9.opb
MD5SUM9d4f91b6c8c0bac3b279c8b87cf01cc5
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:42:43+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4116413-1466980962.opb"]
0.00/0.01	c use --random-gen="61809066 2544438911 2988593970 2048280363 2049964252 1116698162 69012299 3652815964 2823370362 893750919 187940055 247550691 2121490691 776254743 849967430 608935433 4117920469 3904017285 137020696 2593009840 400936571 1532802193 3560899877 3877923415 904765407 384157481 2285604952 3336203227 4126269388 412527936 3078500231 207349364 678878300 30738336 1234342515 1361830213 2111795153 2577299916 2758805646 1560767543 1283002782 665418433 1959627936 3252807673 2046281237 773444064 2605613779 3438085875 3754358456 1363054947 2905384349 2012650348 1601460257 1847439751 4252444209 3430757693 2568653709 672411925 2988349005 1117141687 2796576868 3970218685 400065780 3400103011 3681665396 2808800730 222457790 1405065580 255627057 2143655357 1913070622 825027919 1275293649 293478676 1464435786 2483894422 2411359846 1518706212 1928173054 1329759939 1667869733 3549132309 369736540 4063882119 863229619 2097857180 2619131992 4054084096 776370653 1748142720 4238654899 4023524553 1246004309 888499205 1940320202 2741158143 2959523399 3849012478 4041265108 3050894842 3011346140 723864663 2638033989 1426529823 1781530887 517440055 1037178035 4003683591 3636031352 4276870834 2875901219 2714070078 58078165 2414856464 3589519167 2279540089 169148617 1785651165 2446080573 2255504906 3567515943 3324391346 501140315 270873308 893051567 2925154758 1949066712 1475871426 2708503952 1333851015 3576864021 2532518498 666502949 366331383 331277260 2811669267 3562780037 1435857358 2172703527 548355434 2301740183 2335584248 2480803727 1443917435 3229085551 1611164947 511063275 2985930013 2263693532 1695414712 1282782693 2298010230 618533291 1592728182 506282674 2930411172 1342338895 3371359218 1455711720 103530704 3730618488 1284930605 738757527 3963107084 664728387 3104708351 685819374 2296050577 1610204141 3662973513 3822937199 2374964033 3829675451 3562340664 834323145 1482408733 3093512921 501207474 3758354640 3120547201 1255080820 3359715494 2655554063 3203220282 4253425443 3338096899 4112653129 1255627602 1073412907 1474054867 1734567218 287071314 825117431 1533050899 2346349399 1049205986 3749792722 2305909607 1646486575 797767740 2601623100 257444465 2235541873 963401147 515710265 2208556540 3952915606 1577638233 1264032575 1133040189 479197682 3400418458 4273725004 1135349992 576880620 2420401974 825960161 810105565 1090161335 2684994718 955577825 1210637855 1089722152 363326016 355656368 4125020500 1833921439 3487524124 2269697587 2998241414 2884394966 4273383031 2339292922 4039130651 659933829 1688088145 3271510468 372115825 4267048584 93405915 3142633729 753242700 1360232606 656938713 678449677 1990192001 1950467095 558351154 3511439065 823379860 2922456660 3134113037 3902615824 2828011930 4082800402 2373134701 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9520
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      816 |        0
0.29/0.37	c  0.1s |       1 |     1301 |      100 |     4565      0 |      817 |      772
0.39/0.49	c  0.2s |       2 |     3093 |      250 |     5022      0 |      819 |      772
0.59/0.64	c  0.4s |       3 |     4254 |      475 |     5525      0 |      819 |      772
0.99/1.06	c  0.8s |       4 |     5867 |      813 |     6078      0 |      819 |      772
1.49/1.58	c  1.3s |       5 |     9135 |     1320 |     6686      0 |      820 |      772
2.09/2.12	c  1.8s |       6 |    13923 |     2081 |     8091      0 |      820 |      772
3.19/3.30	c  3.0s |       7 |    17847 |     3223 |     8901      0 |      820 |      772
4.49/4.51	c  4.2s |       8 |    27489 |     4936 |     9792      0 |      820 |      772
6.49/6.56	c  6.3s |       8 |    34188 |     6936 |     9792      0 |      820 |      772
7.39/7.40	c  7.1s |       9 |    34927 |     7506 |    10772      0 |      820 |      772
9.39/9.40	c  9.1s |       9 |    45099 |     9906 |    10772      0 |      821 |      772
10.89/10.95	c 10.7s |      10 |    48249 |    11361 |    11850      0 |      821 |      772
12.89/12.96	c 12.7s |      10 |    52117 |    13861 |    11850      0 |      821 |      772
14.99/15.04	c 14.8s |      10 |    54385 |    15761 |    11850      1 |      821 |      772
16.69/16.71	c 16.4s |      11 |    56009 |    17144 |    13036      1 |      821 |      772
18.69/18.71	c 18.4s |      11 |    60543 |    19044 |    13036      1 |      821 |      772
20.68/20.72	c 20.4s |      11 |    61983 |    20444 |    13036      1 |      821 |      772
22.68/22.73	c 22.5s |      11 |    63209 |    21644 |    13036      1 |      821 |      772
24.78/24.83	c 24.5s |      11 |    64339 |    22744 |    13036      1 |      821 |      772
26.98/27.00	c 26.7s |      11 |    65360 |    23744 |    13036      1 |      821 |      772
28.98/29.09	c 28.8s |      11 |    66383 |    24744 |    13036      2 |      821 |      772
31.28/31.33	c 31.1s |      11 |    67406 |    25744 |    14340      2 |      821 |      772
31.48/31.52	c 31.2s |      12 |    67478 |    25819 |    14340      2 |      821 |      772
33.48/33.53	c 33.3s |      12 |    80456 |    28519 |    14340      2 |      821 |      772
35.48/35.56	c 35.3s |      12 |    82216 |    29919 |    14340      2 |      821 |      772
37.49/37.59	c 37.3s |      12 |    83585 |    31119 |    14340      2 |      821 |      772
39.69/39.74	c 39.5s |      12 |    84504 |    31919 |    14340      2 |      821 |      772
41.78/41.87	c 41.6s |      12 |    86135 |    33119 |    14340      2 |      821 |      772
43.98/44.03	c 43.8s |      12 |    87391 |    34119 |    14340      3 |      821 |      772
46.08/46.15	c 45.9s |      12 |    88557 |    35119 |    14340      3 |      821 |      772
48.27/48.32	c 48.0s |      12 |    89445 |    35919 |    14340      3 |      821 |      772
50.47/50.52	c 50.2s |      12 |    90667 |    36919 |    14340      3 |      821 |      772
52.57/52.63	c 52.4s |      12 |    91685 |    37819 |    14340      3 |      821 |      772
54.67/54.77	c 54.5s |      12 |    92704 |    38719 |    15775      3 |      821 |      772
54.98/55.07	c 54.8s |      13 |    92826 |    38832 |    15775      3 |      821 |      772
57.07/57.10	c 56.8s |      13 |    99200 |    40832 |    15775      3 |      821 |      772
59.17/59.21	c 58.9s |      13 |   101114 |    42432 |    15775      3 |      821 |      772
61.17/61.27	c 61.0s |      13 |   102499 |    43632 |    15775      4 |      821 |      772
63.27/63.35	c 63.1s |      13 |   103921 |    44832 |    15775      4 |      821 |      772
65.37/65.46	c 65.2s |      13 |   105266 |    46032 |    15775      4 |      821 |      772
67.47/67.59	c 67.3s |      13 |   106626 |    47232 |    15775      4 |      821 |      772
69.57/69.69	c 69.4s |      13 |   107773 |    48232 |    15775      4 |      821 |      772
71.67/71.72	c 71.4s |      13 |   108857 |    49132 |    15775      4 |      821 |      772
73.78/73.81	c 73.5s |      13 |   109858 |    50032 |    15775      4 |      821 |      772
75.77/75.90	c 75.6s |      13 |   110948 |    50932 |    15775      4 |      821 |      772
77.87/77.99	c 77.7s |      13 |   112011 |    51832 |    15775      4 |      821 |      772
79.97/80.08	c 79.8s |      13 |   112951 |    52632 |    15775      4 |      821 |      772
82.07/82.18	c 81.9s |      13 |   113885 |    53432 |    15775      5 |      821 |      772
84.27/84.38	c 84.1s |      13 |   114764 |    54232 |    15775      5 |      821 |      772
86.47/86.52	c 86.2s |      13 |   115537 |    54932 |    15775      5 |      821 |      772
88.57/88.66	c 88.4s |      13 |   116443 |    55732 |    15775      5 |      821 |      772
90.77/90.82	c 90.5s |      13 |   117343 |    56532 |    15775      5 |      821 |      772
92.77/92.88	c 92.6s |      13 |   118432 |    57432 |    15775      5 |      821 |      772
94.87/94.94	c 94.7s |      13 |   119366 |    58232 |    17353      5 |      821 |      772
95.17/95.27	c 95.0s |      14 |   119509 |    58352 |    17353      5 |      821 |      772
97.27/97.38	c 97.1s |      14 |   124542 |    59852 |    17353      5 |      821 |      772
99.37/99.50	c 99.2s |      14 |   125843 |    61052 |    17353      5 |      821 |      772
101.47/101.52	c  101s |      14 |   126996 |    62152 |    17353      5 |      821 |      772
103.57/103.61	c  103s |      14 |   128223 |    63252 |    17353      5 |      821 |      772
105.67/105.76	c  105s |      14 |   129159 |    64152 |    17353      6 |      821 |      772
107.77/107.90	c  107s |      14 |   130319 |    65252 |    17353      6 |      821 |      772
109.97/110.02	c  109s |      14 |   131372 |    66252 |    17353      6 |      821 |      772
112.06/112.16	c  111s |      14 |   132966 |    67552 |    17353      6 |      821 |      772
114.16/114.21	c  113s |      14 |   136792 |    68952 |    17353      6 |      821 |      772
116.16/116.29	c  116s |      14 |   139743 |    70752 |    17353      6 |      821 |      772
118.16/118.29	c  118s |      14 |   144133 |    72552 |    17353      6 |      821 |      772
120.36/120.41	c  120s |      14 |   146356 |    74152 |    17353      6 |      821 |      772
122.46/122.56	c  122s |      14 |   147848 |    75352 |    17353      7 |      821 |      772
124.66/124.71	c  124s |      14 |   149197 |    76452 |    17353      7 |      821 |      772
126.76/126.85	c  126s |      14 |   150536 |    77552 |    17353      7 |      821 |      772
128.85/128.96	c  128s |      14 |   151881 |    78652 |    17353      7 |      821 |      772
131.05/131.13	c  130s |      14 |   153256 |    79752 |    17353      7 |      821 |      772
133.06/133.16	c  132s |      14 |   154351 |    80652 |    17353      7 |      821 |      772
135.05/135.19	c  134s |      14 |   155448 |    81552 |    17353      7 |      821 |      772
137.15/137.22	c  136s |      14 |   156408 |    82352 |    17353      7 |      821 |      772
139.15/139.24	c  138s |      14 |   157343 |    83152 |    17353      7 |      821 |      772
141.15/141.29	c  141s |      14 |   158281 |    83952 |    17353      7 |      821 |      772
143.55/143.63	c  143s |      14 |   159215 |    84752 |    17353      8 |      821 |      772
145.65/145.77	c  145s |      14 |   160344 |    85652 |    17353      8 |      821 |      772
147.84/147.97	c  147s |      14 |   161274 |    86452 |    17353      8 |      821 |      772
150.14/150.20	c  149s |      14 |   162217 |    87252 |    19089      8 |      821 |      772
151.24/151.31	c  151s |      15 |   162641 |    87632 |    19089      8 |      821 |      772
153.24/153.32	c  153s |      15 |   170871 |    89832 |    19089      8 |      821 |      772
155.24/155.35	c  155s |      15 |   176393 |    92132 |    19089      8 |      821 |      772
157.34/157.43	c  157s |      15 |   178572 |    93632 |    19089      8 |      821 |      772
159.33/159.48	c  159s |      15 |   182904 |    95532 |    19089      8 |      821 |      772
161.43/161.57	c  161s |      15 |   185760 |    96932 |    19089      9 |      821 |      772
163.53/163.62	c  163s |      15 |   189127 |    98632 |    19089      9 |      821 |      772
165.63/165.76	c  165s |      15 |   191376 |   100032 |    19089      9 |      821 |      772
167.73/167.88	c  167s |      15 |   193840 |   101432 |    19089      9 |      821 |      772
169.93/170.00	c  169s |      15 |   195268 |   102432 |    19089      9 |      821 |      772
172.13/172.20	c  171s |      15 |   197655 |   103732 |    19089      9 |      821 |      772
174.33/174.45	c  174s |      15 |   199085 |   104732 |    19089      9 |      821 |      772
176.33/176.46	c  176s |      15 |   201342 |   105832 |    19089      9 |      821 |      772
178.42/178.56	c  178s |      15 |   203605 |   107032 |    19089      9 |      821 |      772
180.43/180.59	c  180s |      15 |   204703 |   107932 |    19089      9 |      821 |      772
182.72/182.82	c  182s |      15 |   205652 |   108732 |    19089     10 |      821 |      772
184.73/184.86	c  184s |      15 |   208045 |   109932 |    19089     10 |      821 |      772
186.82/186.97	c  186s |      15 |   209535 |   111032 |    19089     10 |      821 |      772
189.02/189.11	c  188s |      15 |   212052 |   112432 |    19089     10 |      821 |      772
191.12/191.21	c  190s |      15 |   214239 |   113732 |    19089     10 |      821 |      772
193.32/193.43	c  193s |      15 |   215969 |   114932 |    19089     10 |      821 |      772
195.42/195.55	c  195s |      15 |   217297 |   115932 |    19089     10 |      821 |      772
197.52/197.63	c  197s |      15 |   218476 |   116832 |    19089     10 |      821 |      772
199.52/199.64	c  199s |      15 |   219663 |   117732 |    19089     10 |      821 |      772
201.62/201.77	c  201s |      15 |   221120 |   118732 |    19089     10 |      821 |      772
203.82/203.93	c  203s |      15 |   222484 |   119632 |    19089     11 |      821 |      772
206.02/206.10	c  205s |      15 |   223741 |   120632 |    19089     11 |      821 |      772
208.12/208.21	c  207s |      15 |   224983 |   121632 |    19089     11 |      821 |      772
210.12/210.24	c  209s |      15 |   226289 |   122632 |    19089     11 |      821 |      772
212.32/212.46	c  212s |      15 |   227640 |   123632 |    19089     11 |      821 |      772
214.61/214.70	c  214s |      15 |   228563 |   124432 |    19089     11 |      821 |      772
216.72/216.87	c  216s |      15 |   229563 |   125232 |    19089     11 |      821 |      772
218.92/219.07	c  218s |      15 |   230586 |   126032 |    19089     11 |      821 |      772
221.12/221.29	c  221s |      15 |   231594 |   126832 |    19089     11 |      821 |      772
223.22/223.32	c  223s |      15 |   232443 |   127532 |    19089     11 |      821 |      772
225.42/225.56	c  225s |      15 |   233312 |   128232 |    19089     11 |      821 |      772
227.41/227.57	c  227s |      15 |   234076 |   128832 |    19089     11 |      821 |      772
229.61/229.72	c  229s |      15 |   234762 |   129432 |    19089     11 |      821 |      772
231.81/231.93	c  231s |      15 |   235653 |   130132 |    19089     11 |      821 |      772
234.11/234.21	c  233s |      15 |   236476 |   130832 |    20998     12 |      821 |      772
236.11/236.22	c  235s |      15 |   237304 |   131532 |    20998     12 |      821 |      772
236.21/236.30	c  236s |      16 |   237327 |   131552 |    20998     12 |      821 |      772
238.22/238.35	c  238s |      16 |   243308 |   133252 |    20998     12 |      821 |      772
240.22/240.35	c  240s |      16 |   245144 |   134952 |    20998     12 |      821 |      772
242.32/242.44	c  242s |      16 |   249839 |   136952 |    20998     12 |      821 |      772
244.31/244.45	c  244s |      16 |   251496 |   138252 |    20998     12 |      821 |      772
246.42/246.58	c  246s |      16 |   253114 |   139452 |    20998     12 |      821 |      772
248.52/248.65	c  248s |      16 |   254479 |   140552 |    20998     12 |      821 |      772
250.61/250.70	c  250s |      16 |   255860 |   141652 |    20998     12 |      821 |      772
252.71/252.89	c  252s |      16 |   257271 |   142852 |    20998     12 |      821 |      772
254.81/254.92	c  254s |      16 |   258175 |   143552 |    20998     13 |      821 |      772
256.91/257.06	c  256s |      16 |   260499 |   144652 |    20998     13 |      821 |      772
259.00/259.17	c  258s |      16 |   261982 |   145852 |    20998     13 |      821 |      772
261.20/261.38	c  261s |      16 |   263447 |   146952 |    20998     13 |      821 |      772
263.40/263.59	c  263s |      16 |   264455 |   147852 |    20998     13 |      821 |      772
265.60/265.75	c  265s |      16 |   266106 |   148952 |    20998     13 |      821 |      772
267.80/267.96	c  267s |      16 |   267317 |   149952 |    20998     13 |      821 |      772
269.90/270.02	c  269s |      16 |   268748 |   151052 |    20998     13 |      821 |      772
272.00/272.11	c  271s |      16 |   270023 |   152052 |    20998     13 |      821 |      772
274.00/274.16	c  273s |      16 |   271381 |   153052 |    20998     13 |      821 |      772
276.10/276.26	c  275s |      16 |   272513 |   153952 |    20998     13 |      821 |      772
278.09/278.30	c  278s |      16 |   273513 |   154652 |    20998     13 |      821 |      772
280.29/280.45	c  280s |      16 |   274729 |   155552 |    20998     14 |      821 |      772
282.49/282.61	c  282s |      16 |   275924 |   156552 |    20998     14 |      821 |      772
284.59/284.70	c  284s |      16 |   276976 |   157452 |    20998     14 |      821 |      772
286.69/286.84	c  286s |      16 |   277955 |   158252 |    20998     14 |      821 |      772
288.79/288.96	c  288s |      16 |   278860 |   158952 |    20998     14 |      821 |      772
290.99/291.17	c  290s |      16 |   279748 |   159652 |    20998     14 |      821 |      772
293.19/293.34	c  293s |      16 |   280599 |   160352 |    20998     14 |      821 |      772
295.39/295.58	c  295s |      16 |   281286 |   160952 |    20998     14 |      821 |      772
297.39/297.59	c  297s |      16 |   282238 |   161752 |    20998     14 |      821 |      772
299.59/299.73	c  299s |      16 |   283184 |   162552 |    20998     14 |      821 |      772
301.69/301.83	c  301s |      16 |   284223 |   163352 |    20998     14 |      821 |      772
303.88/304.07	c  303s |      16 |   285165 |   164152 |    20998     14 |      821 |      772
306.18/306.37	c  306s |      16 |   286146 |   164952 |    20998     14 |      821 |      772
308.18/308.39	c  308s |      16 |   286812 |   165552 |    20998     14 |      821 |      772
310.48/310.63	c  310s |      16 |   287666 |   166252 |    20998     14 |      821 |      772
312.88/313.02	c  312s |      16 |   288544 |   166952 |    20998     14 |      821 |      772
315.59/315.71	c  315s |      16 |   289245 |   167552 |    20998     15 |      821 |      772
317.89/318.02	c  317s |      16 |   290195 |   168352 |    20998     15 |      821 |      772
319.88/320.04	c  319s |      16 |   291033 |   169052 |    20998     15 |      821 |      772
321.88/322.04	c  321s |      16 |   291863 |   169752 |    20998     15 |      821 |      772
324.08/324.23	c  323s |      16 |   292818 |   170552 |    20998     15 |      821 |      772
326.18/326.38	c  326s |      16 |   293697 |   171252 |    20998     15 |      821 |      772
328.48/328.64	c  328s |      16 |   294749 |   172052 |    20998     15 |      821 |      772
330.68/330.87	c  330s |      16 |   295608 |   172752 |    20998     15 |      821 |      772
332.78/332.95	c  332s |      16 |   296160 |   173252 |    20998     15 |      821 |      772
334.87/335.07	c  334s |      16 |   296890 |   173852 |    20998     15 |      821 |      772
337.07/337.24	c  336s |      16 |   299436 |   174952 |    20998     15 |      821 |      772
339.17/339.34	c  339s |      16 |   300780 |   176152 |    20998     15 |      821 |      772
341.27/341.49	c  341s |      16 |   301986 |   177252 |    20998     15 |      821 |      772
343.47/343.66	c  343s |      16 |   303201 |   178352 |    20998     15 |      821 |      772
345.67/345.80	c  345s |      16 |   304448 |   179452 |    20998     15 |      821 |      772
347.66/347.88	c  347s |      16 |   305504 |   180352 |    20998     16 |      821 |      772
349.86/350.08	c  349s |      16 |   306497 |   181252 |    20998     16 |      821 |      772
351.97/352.17	c  351s |      16 |   307499 |   182152 |    20998     16 |      821 |      772
354.26/354.43	c  354s |      16 |   308515 |   183052 |    20998     16 |      821 |      772
356.27/356.48	c  356s |      16 |   309420 |   183852 |    20998     16 |      821 |      772
358.46/358.67	c  358s |      16 |   310447 |   184752 |    20998     16 |      821 |      772
360.46/360.68	c  360s |      16 |   311384 |   185552 |    20998     16 |      821 |      772
362.56/362.70	c  362s |      16 |   312261 |   186352 |    20998     16 |      821 |      772
364.56/364.79	c  364s |      16 |   313153 |   187152 |    20998     16 |      821 |      772
366.56/366.80	c  366s |      16 |   313933 |   187852 |    20998     16 |      821 |      772
368.75/368.96	c  368s |      16 |   314830 |   188652 |    20998     16 |      821 |      772
370.95/371.14	c  370s |      16 |   315628 |   189352 |    20998     16 |      821 |      772
373.05/373.24	c  372s |      16 |   316398 |   190052 |    20998     16 |      821 |      772
375.15/375.30	c  375s |      16 |   317040 |   190652 |    20998     16 |      821 |      772
377.36/377.53	c  377s |      16 |   317798 |   191352 |    20998     16 |      821 |      772
379.46/379.67	c  379s |      16 |   318838 |   192152 |    20998     17 |      821 |      772
381.66/381.89	c  381s |      16 |   319923 |   193052 |    20998     17 |      821 |      772
383.76/383.99	c  383s |      16 |   320783 |   193852 |    20998     17 |      821 |      772
386.06/386.26	c  385s |      16 |   321713 |   194652 |    20998     17 |      821 |      772
388.16/388.40	c  388s |      16 |   322475 |   195352 |    20998     17 |      821 |      772
390.25/390.46	c  390s |      16 |   323249 |   196052 |    20998     17 |      821 |      772
392.45/392.66	c  392s |      16 |   324028 |   196752 |    23098     17 |      821 |      772
394.45/394.62	c  394s |      17 |   324814 |   197432 |    23098     17 |      821 |      772
396.45/396.62	c  396s |      17 |   327422 |   199232 |    23098     17 |      821 |      772
398.44/398.67	c  398s |      17 |   334100 |   201432 |    23098     17 |      821 |      772
400.54/400.77	c  400s |      17 |   337263 |   203532 |    23098     17 |      821 |      772
402.64/402.81	c  402s |      17 |   338914 |   204932 |    23098     17 |      821 |      772
404.65/404.83	c  404s |      17 |   340488 |   206132 |    23098     18 |      821 |      772
406.85/407.06	c  406s |      17 |   342502 |   207532 |    23098     18 |      821 |      772
408.93/409.13	c  408s |      17 |   343870 |   208632 |    23098     18 |      821 |      772
411.13/411.38	c  411s |      17 |   345268 |   209832 |    23098     18 |      821 |      772
413.33/413.53	c  413s |      17 |   346709 |   211032 |    23098     18 |      821 |      772
415.33/415.54	c  415s |      17 |   348082 |   212132 |    23098     18 |      821 |      772
417.53/417.76	c  417s |      17 |   349281 |   213132 |    23098     18 |      821 |      772
419.73/419.99	c  419s |      17 |   350188 |   213932 |    23098     18 |      821 |      772
421.93/422.11	c  421s |      17 |   351239 |   214832 |    23098     18 |      821 |      772
423.93/424.14	c  423s |      17 |   352174 |   215632 |    23098     18 |      821 |      772
426.03/426.27	c  425s |      17 |   353120 |   216432 |    23098     18 |      821 |      772
428.22/428.42	c  428s |      17 |   353923 |   217132 |    23098     18 |      821 |      772
430.22/430.47	c  430s |      17 |   354748 |   217832 |    23098     18 |      821 |      772
432.52/432.71	c  432s |      17 |   355595 |   218632 |    23098     18 |      821 |      772
434.52/434.78	c  434s |      17 |   356284 |   219232 |    23098     19 |      821 |      772
436.53/436.80	c  436s |      17 |   357099 |   219932 |    23098     19 |      821 |      772
438.62/438.80	c  438s |      17 |   357899 |   220632 |    23098     19 |      821 |      772
440.72/440.97	c  440s |      17 |   358818 |   221432 |    23098     19 |      821 |      772
442.92/443.16	c  442s |      17 |   359800 |   222232 |    23098     19 |      821 |      772
444.92/445.17	c  444s |      17 |   360861 |   223132 |    23098     19 |      821 |      772
447.11/447.39	c  447s |      17 |   361920 |   224032 |    23098     19 |      821 |      772
449.21/449.47	c  449s |      17 |   362894 |   224832 |    23098     19 |      821 |      772
451.41/451.62	c  451s |      17 |   363895 |   225632 |    23098     19 |      821 |      772
453.71/453.97	c  453s |      17 |   364832 |   226432 |    23098     19 |      821 |      772
455.91/456.15	c  455s |      17 |   365634 |   227132 |    23098     19 |      821 |      772
458.21/458.46	c  458s |      17 |   366550 |   227932 |    23098     19 |      821 |      772
460.31/460.56	c  460s |      17 |   367424 |   228632 |    23098     19 |      821 |      772
462.30/462.57	c  462s |      17 |   368237 |   229332 |    23098     19 |      821 |      772
464.60/464.83	c  464s |      17 |   369033 |   230032 |    23098     19 |      821 |      772
466.80/467.09	c  466s |      17 |   369957 |   230832 |    23098     19 |      821 |      772
469.10/469.31	c  469s |      17 |   370797 |   231532 |    23098     19 |      821 |      772
471.30/471.57	c  471s |      17 |   371606 |   232232 |    23098     20 |      821 |      772
473.50/473.76	c  473s |      17 |   372499 |   233032 |    23098     20 |      821 |      772
475.70/475.90	c  475s |      17 |   373439 |   233832 |    23098     20 |      821 |      772
477.89/478.14	c  477s |      17 |   374260 |   234432 |    23098     20 |      821 |      772
480.09/480.32	c  480s |      17 |   375206 |   235232 |    23098     20 |      821 |      772
482.09/482.33	c  482s |      17 |   375982 |   235932 |    23098     20 |      821 |      772
484.29/484.53	c  484s |      17 |   377083 |   236832 |    23098     20 |      821 |      772
486.49/486.73	c  486s |      17 |   377985 |   237632 |    23098     20 |      821 |      772
488.49/488.78	c  488s |      17 |   378780 |   238332 |    23098     20 |      821 |      772
490.79/491.01	c  490s |      17 |   379758 |   239132 |    23098     20 |      821 |      772
492.78/493.05	c  492s |      17 |   380848 |   240032 |    23098     20 |      821 |      772
494.98/495.22	c  494s |      17 |   381645 |   240732 |    23098     20 |      821 |      772
497.28/497.54	c  497s |      17 |   382590 |   241532 |    23098     20 |      821 |      772
499.29/499.56	c  499s |      17 |   383405 |   242232 |    23098     20 |      821 |      772
501.58/501.80	c  501s |      17 |   384353 |   243032 |    23098     20 |      821 |      772
503.69/503.92	c  503s |      17 |   385163 |   243732 |    23098     20 |      821 |      772
505.89/506.18	c  505s |      17 |   386113 |   244532 |    23098     20 |      821 |      772
508.08/508.36	c  508s |      17 |   386837 |   245132 |    23098     21 |      821 |      772
510.28/510.52	c  510s |      17 |   387871 |   246032 |    23098     21 |      821 |      772
512.27/512.55	c  512s |      17 |   388762 |   246832 |    23098     21 |      821 |      772
514.47/514.75	c  514s |      17 |   389785 |   247732 |    23098     21 |      821 |      772
516.67/516.98	c  516s |      17 |   390652 |   248532 |    23098     21 |      821 |      772
518.87/519.18	c  518s |      17 |   391568 |   249332 |    23098     21 |      821 |      772
521.17/521.41	c  521s |      17 |   392612 |   250232 |    23098     21 |      821 |      772
523.37/523.63	c  523s |      17 |   393493 |   251032 |    23098     21 |      821 |      772
525.36/525.67	c  525s |      17 |   394287 |   251732 |    23098     21 |      821 |      772
527.66/527.95	c  527s |      17 |   395181 |   252532 |    23098     21 |      821 |      772
529.76/530.05	c  529s |      17 |   395968 |   253232 |    23098     21 |      821 |      772
532.06/532.33	c  532s |      17 |   396881 |   254032 |    23098     21 |      821 |      772
534.06/534.33	c  534s |      17 |   397528 |   254632 |    23098     21 |      821 |      772
536.36/536.61	c  536s |      17 |   398292 |   255332 |    23098     21 |      821 |      772
538.55/538.87	c  538s |      17 |   399134 |   256032 |    23098     21 |      821 |      772
540.76/541.07	c  540s |      17 |   399777 |   256632 |    23098     21 |      821 |      772
543.06/543.30	c  543s |      17 |   400422 |   257232 |    23098     21 |      821 |      772
545.37/545.62	c  545s |      17 |   401196 |   257932 |    23098     21 |      821 |      772
547.56/547.83	c  547s |      17 |   401873 |   258532 |    23098     22 |      821 |      772
549.76/550.02	c  549s |      17 |   402779 |   259332 |    23098     22 |      821 |      772
551.85/552.15	c  551s |      17 |   403685 |   260132 |    23098     22 |      821 |      772
553.95/554.25	c  553s |      17 |   404443 |   260832 |    23098     22 |      821 |      772
556.25/556.53	c  556s |      17 |   405327 |   261632 |    23098     22 |      821 |      772
558.45/558.76	c  558s |      17 |   406272 |   262432 |    23098     22 |      821 |      772
560.45/560.77	c  560s |      17 |   407229 |   263232 |    23098     22 |      821 |      772
562.55/562.88	c  562s |      17 |   408005 |   263932 |    23098     22 |      821 |      772
564.65/564.99	c  564s |      17 |   408793 |   264632 |    23098     22 |      821 |      772
566.95/567.28	c  567s |      17 |   409539 |   265332 |    23098     22 |      821 |      772
569.14/569.49	c  569s |      17 |   410348 |   266032 |    23098     22 |      821 |      772
571.34/571.68	c  571s |      17 |   411437 |   266932 |    23098     22 |      821 |      772
573.44/573.78	c  573s |      17 |   412430 |   267732 |    23098     22 |      821 |      772
575.74/576.07	c  575s |      17 |   413247 |   268432 |    23098     22 |      821 |      772
577.84/578.13	c  577s |      17 |   414276 |   269232 |    23098     22 |      821 |      772
579.93/580.30	c  580s |      17 |   414898 |   269832 |    23098     22 |      821 |      772
582.13/582.49	c  582s |      17 |   415565 |   270432 |    23098     22 |      821 |      772
584.83/585.10	c  584s |      17 |   416741 |   271332 |    23098     23 |      821 |      772
586.93/587.20	c  586s |      17 |   418140 |   272432 |    23098     23 |      821 |      772
588.93/589.27	c  588s |      17 |   419508 |   273532 |    23098     23 |      821 |      772
591.13/591.43	c  591s |      17 |   420723 |   274532 |    23098     23 |      821 |      772
593.23/593.56	c  593s |      17 |   421735 |   275432 |    23098     23 |      821 |      772
595.33/595.60	c  595s |      17 |   422835 |   276332 |    23098     23 |      821 |      772
597.32/597.69	c  597s |      17 |   424092 |   277332 |    23098     23 |      821 |      772
599.62/599.90	c  599s |      17 |   425124 |   278232 |    23098     23 |      821 |      772
601.82/602.16	c  601s |      17 |   426019 |   279032 |    23098     23 |      821 |      772
603.92/604.29	c  604s |      17 |   427072 |   279932 |    23098     23 |      821 |      772
606.22/606.56	c  606s |      17 |   428029 |   280732 |    23098     23 |      821 |      772
608.31/608.66	c  608s |      17 |   429118 |   281632 |    23098     23 |      821 |      772
610.61/610.90	c  610s |      17 |   430191 |   282532 |    23098     23 |      821 |      772
612.61/612.98	c  612s |      17 |   431156 |   283332 |    23098     23 |      821 |      772
614.81/615.15	c  614s |      17 |   432117 |   284132 |    23098     23 |      821 |      772
616.92/617.21	c  616s |      17 |   432968 |   284832 |    23098     24 |      821 |      772
619.11/619.43	c  619s |      17 |   434151 |   285832 |    23098     24 |      821 |      772
621.31/621.61	c  621s |      17 |   435352 |   286832 |    23098     24 |      821 |      772
623.41/623.76	c  623s |      17 |   436569 |   287832 |    23098     24 |      821 |      772
625.40/625.78	c  625s |      17 |   437810 |   288832 |    23098     24 |      821 |      772
627.50/627.80	c  627s |      17 |   438756 |   289632 |    23098     24 |      821 |      772
629.70/630.01	c  629s |      17 |   439817 |   290532 |    23098     24 |      821 |      772
631.70/632.03	c  631s |      17 |   440744 |   291332 |    23098     24 |      821 |      772
633.90/634.24	c  633s |      17 |   441632 |   292132 |    23098     24 |      821 |      772
635.90/636.25	c  635s |      17 |   442436 |   292832 |    23098     24 |      821 |      772
637.89/638.28	c  638s |      17 |   443224 |   293532 |    23098     24 |      821 |      772
639.90/640.29	c  640s |      17 |   444029 |   294232 |    25408     24 |      821 |      772
642.10/642.47	c  642s |      17 |   444971 |   295032 |    25408     24 |      821 |      772
644.30/644.65	c  644s |      17 |   445927 |   295832 |    25408     24 |      821 |      772
645.59/645.93	c  645s |      18 |   446450 |   296252 |    25408     24 |      821 |      772
647.59/647.96	c  647s |      18 |   452083 |   298052 |    25408     24 |      821 |      772
649.68/650.03	c  649s |      18 |   454453 |   299652 |    25408     25 |      821 |      772
651.68/652.03	c  651s |      18 |   456269 |   301252 |    25408     25 |      821 |      772
653.68/654.04	c  653s |      18 |   461773 |   303252 |    25408     25 |      821 |      772
655.68/656.05	c  655s |      18 |   463774 |   304752 |    25408     25 |      821 |      772
657.68/658.08	c  657s |      18 |   465198 |   305952 |    25408     25 |      821 |      772
659.88/660.29	c  660s |      18 |   466178 |   306852 |    25408     25 |      821 |      772
662.18/662.51	c  662s |      18 |   467162 |   307752 |    25408     25 |      821 |      772
664.18/664.54	c  664s |      18 |   468663 |   308852 |    25408     25 |      821 |      772
666.28/666.70	c  666s |      18 |   470081 |   309952 |    25408     25 |      821 |      772
668.47/668.87	c  668s |      18 |   471268 |   310952 |    25408     25 |      821 |      772
670.47/670.88	c  670s |      18 |   473785 |   312152 |    25408     25 |      821 |      772
672.67/673.05	c  672s |      18 |   476213 |   313552 |    25408     25 |      821 |      772
674.97/675.36	c  675s |      18 |   477406 |   314452 |    25408     26 |      821 |      772
677.16/677.55	c  677s |      18 |   479065 |   315652 |    25408     26 |      821 |      772
679.26/679.60	c  679s |      18 |   480519 |   316652 |    25408     26 |      821 |      772
681.36/681.73	c  681s |      18 |   481844 |   317652 |    25408     26 |      821 |      772
683.36/683.77	c  683s |      18 |   483152 |   318652 |    25408     26 |      821 |      772
685.56/685.96	c  685s |      18 |   484082 |   319452 |    25408     26 |      821 |      772
687.76/688.11	c  687s |      18 |   485172 |   320352 |    25408     26 |      821 |      772
689.86/690.29	c  690s |      18 |   486145 |   321152 |    25408     26 |      821 |      772
692.16/692.58	c  692s |      18 |   486941 |   321852 |    25408     26 |      821 |      772
694.36/694.73	c  694s |      18 |   487739 |   322552 |    25408     26 |      821 |      772
696.36/696.74	c  696s |      18 |   488411 |   323152 |    25408     26 |      821 |      772
698.56/698.90	c  698s |      18 |   489274 |   323852 |    25408     26 |      821 |      772
700.56/700.90	c  700s |      18 |   489964 |   324452 |    25408     26 |      821 |      772
702.76/703.18	c  702s |      18 |   490783 |   325152 |    25408     26 |      821 |      772
705.06/705.42	c  705s |      18 |   491621 |   325852 |    25408     26 |      821 |      772
707.26/707.65	c  707s |      18 |   492400 |   326552 |    25408     26 |      821 |      772
709.56/709.96	c  709s |      18 |   493203 |   327252 |    25408     26 |      821 |      772
711.75/712.14	c  711s |      18 |   493882 |   327852 |    25408     26 |      821 |      772
714.05/714.42	c  714s |      18 |   494564 |   328452 |    25408     26 |      821 |      772
716.25/716.62	c  716s |      18 |   495145 |   328952 |    25408     27 |      821 |      772
718.46/718.81	c  718s |      18 |   495970 |   329652 |    25408     27 |      821 |      772
720.66/721.07	c  720s |      18 |   496713 |   330352 |    25408     27 |      821 |      772
722.86/723.20	c  722s |      18 |   497491 |   331052 |    25408     27 |      821 |      772
724.96/725.39	c  725s |      18 |   498141 |   331652 |    25408     27 |      821 |      772
727.06/727.46	c  727s |      18 |   498799 |   332252 |    25408     27 |      821 |      772
729.16/729.59	c  729s |      18 |   499793 |   333052 |    25408     27 |      821 |      772
731.27/731.63	c  731s |      18 |   500865 |   333852 |    25408     27 |      821 |      772
733.47/733.85	c  733s |      18 |   501869 |   334652 |    25408     27 |      821 |      772
735.67/736.01	c  735s |      18 |   502867 |   335452 |    25408     27 |      821 |      772
737.87/738.22	c  737s |      18 |   503895 |   336252 |    25408     27 |      821 |      772
740.07/740.46	c  740s |      18 |   504997 |   337152 |    25408     27 |      821 |      772
742.36/742.76	c  742s |      18 |   505895 |   337952 |    25408     27 |      821 |      772
744.66/745.01	c  744s |      18 |   506827 |   338752 |    25408     27 |      821 |      772
746.96/747.32	c  747s |      18 |   507601 |   339452 |    25408     27 |      821 |      772
748.96/749.38	c  749s |      18 |   508299 |   340052 |    25408     27 |      821 |      772
751.06/751.42	c  751s |      18 |   508981 |   340652 |    25408     27 |      821 |      772
753.06/753.45	c  753s |      18 |   509666 |   341252 |    25408     27 |      821 |      772
755.26/755.66	c  755s |      18 |   510367 |   341852 |    25408     27 |      821 |      772
757.35/757.73	c  757s |      18 |   511059 |   342452 |    25408     27 |      821 |      772
759.65/760.08	c  759s |      18 |   511752 |   343052 |    25408     27 |      821 |      772
761.85/762.24	c  761s |      18 |   512304 |   343552 |    25408     28 |      821 |      772
763.95/764.32	c  764s |      18 |   513118 |   344252 |    25408     28 |      821 |      772
766.15/766.57	c  766s |      18 |   514039 |   345052 |    25408     28 |      821 |      772
768.25/768.63	c  768s |      18 |   514888 |   345752 |    25408     28 |      821 |      772
770.45/770.86	c  770s |      18 |   515680 |   346452 |    25408     28 |      821 |      772
772.75/773.18	c  772s |      18 |   516482 |   347152 |    25408     28 |      821 |      772
774.95/775.31	c  775s |      18 |   517159 |   347752 |    25408     28 |      821 |      772
777.05/777.41	c  777s |      18 |   517859 |   348352 |    25408     28 |      821 |      772
779.05/779.47	c  779s |      18 |   518577 |   348952 |    25408     28 |      821 |      772
781.35/781.71	c  781s |      18 |   519577 |   349752 |    25408     28 |      821 |      772
783.45/783.82	c  783s |      18 |   520380 |   350452 |    25408     28 |      821 |      772
785.55/785.93	c  785s |      18 |   521054 |   351052 |    25408     28 |      821 |      772
787.65/788.07	c  787s |      18 |   521745 |   351652 |    25408     28 |      821 |      772
789.95/790.33	c  790s |      18 |   522719 |   352452 |    25408     28 |      821 |      772
792.05/792.43	c  792s |      18 |   523411 |   353052 |    25408     28 |      821 |      772
794.05/794.49	c  794s |      18 |   524100 |   353652 |    25408     28 |      821 |      772
796.15/796.52	c  796s |      18 |   524807 |   354252 |    25408     28 |      821 |      772
798.15/798.56	c  798s |      18 |   525688 |   354952 |    25408     28 |      821 |      772
800.15/800.58	c  800s |      18 |   526432 |   355552 |    25408     28 |      821 |      772
802.54/802.95	c  802s |      18 |   527101 |   356152 |    25408     28 |      821 |      772
804.74/805.11	c  804s |      18 |   527789 |   356752 |    25408     28 |      821 |      772
807.64/808.03	c  807s |      18 |   528602 |   357452 |    25408     29 |      821 |      772
809.94/810.31	c  810s |      18 |   529527 |   358252 |    25408     29 |      821 |      772
811.94/812.34	c  812s |      18 |   530461 |   359052 |    25408     29 |      821 |      772
814.24/814.60	c  814s |      18 |   531395 |   359852 |    25408     29 |      821 |      772
816.44/816.84	c  816s |      18 |   532216 |   360552 |    25408     29 |      821 |      772
818.54/818.93	c  818s |      18 |   532906 |   361152 |    25408     29 |      821 |      772
820.74/821.14	c  820s |      18 |   533593 |   361752 |    25408     29 |      821 |      772
822.94/823.32	c  823s |      18 |   534429 |   362452 |    25408     29 |      821 |      772
825.24/825.61	c  825s |      18 |   535216 |   363152 |    25408     29 |      821 |      772
827.24/827.68	c  827s |      18 |   536036 |   363852 |    25408     29 |      821 |      772
829.34/829.72	c  829s |      18 |   536855 |   364552 |    25408     29 |      821 |      772
831.44/831.81	c  831s |      18 |   537517 |   365152 |    25408     29 |      821 |      772
833.64/834.02	c  833s |      18 |   538169 |   365752 |    25408     29 |      821 |      772
835.84/836.22	c  835s |      18 |   539003 |   366452 |    25408     29 |      821 |      772
837.94/838.36	c  838s |      18 |   539675 |   367052 |    25408     29 |      821 |      772
840.24/840.67	c  840s |      18 |   540426 |   367652 |    25408     29 |      821 |      772
842.44/842.88	c  842s |      18 |   541110 |   368252 |    25408     29 |      821 |      772
844.55/844.98	c  844s |      18 |   541644 |   368752 |    25408     29 |      821 |      772
846.65/847.01	c  846s |      18 |   542197 |   369252 |    25408     29 |      821 |      772
848.64/849.05	c  848s |      18 |   542754 |   369752 |    25408     29 |      821 |      772
850.74/851.19	c  850s |      18 |   543314 |   370252 |    25408     29 |      821 |      772
853.04/853.46	c  853s |      18 |   543867 |   370752 |    25408     29 |      821 |      772
855.24/855.62	c  855s |      18 |   544441 |   371252 |    25408     29 |      821 |      772
857.54/857.94	c  857s |      18 |   544894 |   371652 |    25408     30 |      821 |      772
859.74/860.13	c  859s |      18 |   545703 |   372352 |    25408     30 |      821 |      772
861.74/862.14	c  861s |      18 |   546492 |   373052 |    25408     30 |      821 |      772
863.94/864.34	c  864s |      18 |   547317 |   373752 |    25408     30 |      821 |      772
865.94/866.37	c  866s |      18 |   548098 |   374452 |    25408     30 |      821 |      772
868.04/868.40	c  868s |      18 |   548781 |   375052 |    25408     30 |      821 |      772
870.14/870.55	c  870s |      18 |   549576 |   375752 |    25408     30 |      821 |      772
872.24/872.67	c  872s |      18 |   550263 |   376352 |    25408     30 |      821 |      772
874.34/874.72	c  874s |      18 |   550814 |   376852 |    25408     30 |      821 |      772
876.34/876.74	c  876s |      18 |   551502 |   377452 |    25408     30 |      821 |      772
878.44/878.84	c  878s |      18 |   552171 |   378052 |    25408     30 |      821 |      772
880.54/880.91	c  880s |      18 |   552867 |   378652 |    25408     30 |      821 |      772
882.54/882.94	c  882s |      18 |   553427 |   379152 |    25408     30 |      821 |      772
884.94/885.30	c  885s |      18 |   554110 |   379752 |    25408     30 |      821 |      772
886.94/887.35	c  887s |      18 |   554798 |   380352 |    25408     30 |      821 |      772
889.13/889.59	c  889s |      18 |   555519 |   380952 |    25408     30 |      821 |      772
891.53/891.91	c  891s |      18 |   556068 |   381452 |    25408     30 |      821 |      772
893.94/894.32	c  894s |      18 |   556740 |   382052 |    25408     30 |      821 |      772
896.24/896.64	c  896s |      18 |   557284 |   382552 |    25408     30 |      821 |      772
898.53/898.99	c  898s |      18 |   557986 |   383152 |    25408     30 |      821 |      772
900.83/901.28	c  901s |      18 |   558666 |   383752 |    25408     30 |      821 |      772
902.93/903.38	c  903s |      18 |   559217 |   384252 |    25408     30 |      821 |      772
905.13/905.60	c  905s |      18 |   559769 |   384752 |    25408     30 |      821 |      772
907.24/907.69	c  907s |      18 |   560337 |   385252 |    25408     30 |      821 |      772
909.44/909.87	c  909s |      18 |   560887 |   385752 |    25408     30 |      821 |      772
911.73/912.18	c  911s |      18 |   561340 |   386152 |    25408     31 |      821 |      772
913.93/914.38	c  914s |      18 |   562028 |   386752 |    25408     31 |      821 |      772
915.94/916.40	c  916s |      18 |   562582 |   387252 |    25408     31 |      821 |      772
918.24/918.68	c  918s |      18 |   563236 |   387852 |    25408     31 |      821 |      772
920.53/920.95	c  920s |      18 |   563895 |   388452 |    25408     31 |      821 |      772
922.53/922.96	c  922s |      18 |   564509 |   388952 |    25408     31 |      821 |      772
924.73/925.18	c  924s |      18 |   565182 |   389552 |    25408     31 |      821 |      772
927.13/927.57	c  927s |      18 |   565997 |   390252 |    25408     31 |      821 |      772
929.33/929.72	c  929s |      18 |   566824 |   390952 |    25408     31 |      821 |      772
931.33/931.77	c  931s |      18 |   567521 |   391552 |    25408     31 |      821 |      772
933.53/933.99	c  933s |      18 |   568187 |   392152 |    25408     31 |      821 |      772
935.83/936.27	c  935s |      18 |   568842 |   392752 |    25408     31 |      821 |      772
938.03/938.49	c  938s |      18 |   569651 |   393452 |    25408     31 |      821 |      772
940.23/940.61	c  940s |      18 |   570334 |   394052 |    25408     31 |      821 |      772
942.33/942.74	c  942s |      18 |   570977 |   394652 |    25408     31 |      821 |      772
944.63/945.03	c  944s |      18 |   571655 |   395252 |    25408     31 |      821 |      772
946.92/947.35	c  947s |      18 |   572434 |   395952 |    25408     31 |      821 |      772
949.03/949.49	c  949s |      18 |   573111 |   396552 |    25408     31 |      821 |      772
951.52/951.97	c  951s |      18 |   573774 |   397152 |    25408     31 |      821 |      772
953.62/954.00	c  953s |      18 |   574326 |   397652 |    25408     31 |      821 |      772
955.72/956.13	c  955s |      18 |   575038 |   398252 |    25408     31 |      821 |      772
957.83/958.26	c  957s |      18 |   575460 |   398652 |    25408     31 |      821 |      772
960.03/960.46	c  960s |      18 |   576018 |   399152 |    25408     31 |      821 |      772
962.02/962.46	c  962s |      18 |   576456 |   399552 |    25408     31 |      821 |      772
964.02/964.48	c  964s |      18 |   577017 |   400052 |    25408     31 |      821 |      772
966.32/966.77	c  966s |      18 |   577487 |   400452 |    25408     32 |      821 |      772
968.32/968.77	c  968s |      18 |   578314 |   401152 |    25408     32 |      821 |      772
970.42/970.85	c  970s |      18 |   579016 |   401752 |    25408     32 |      821 |      772
972.72/973.15	c  972s |      18 |   579809 |   402452 |    25408     32 |      821 |      772
974.92/975.30	c  975s |      18 |   580383 |   402952 |    25408     32 |      821 |      772
977.02/977.45	c  977s |      18 |   581091 |   403552 |    25408     32 |      821 |      772
979.22/979.65	c  979s |      18 |   581925 |   404252 |    25408     32 |      821 |      772
981.31/981.72	c  981s |      18 |   582766 |   404952 |    25408     32 |      821 |      772
983.41/983.80	c  983s |      18 |   583447 |   405552 |    25408     32 |      821 |      772
985.61/986.02	c  985s |      18 |   584241 |   406252 |    25408     32 |      821 |      772
987.61/988.09	c  987s |      18 |   584912 |   406852 |    25408     32 |      821 |      772
989.81/990.21	c  989s |      18 |   585586 |   407452 |    25408     32 |      821 |      772
992.01/992.42	c  992s |      18 |   586381 |   408152 |    25408     32 |      821 |      772
994.12/994.56	c  994s |      18 |   587214 |   408852 |    25408     32 |      821 |      772
996.22/996.62	c  996s |      18 |   587929 |   409452 |    25408     32 |      821 |      772
998.31/998.79	c  998s |      18 |   588620 |   410052 |    25408     32 |      821 |      772
1000.62/1001.05	c 1000s |      18 |   589443 |   410752 |    25408     32 |      821 |      772
1002.71/1003.10	c 1002s |      18 |   590137 |   411352 |    25408     32 |      821 |      772
1004.91/1005.33	c 1005s |      18 |   590888 |   411952 |    25408     32 |      821 |      772
1007.22/1007.69	c 1007s |      18 |   591576 |   412552 |    25408     32 |      821 |      772
1009.42/1009.89	c 1009s |      18 |   592259 |   413152 |    25408     32 |      821 |      772
1011.62/1012.10	c 1011s |      18 |   592959 |   413752 |    25408     32 |      821 |      772
1014.02/1014.46	c 1014s |      18 |   593637 |   414352 |    25408     32 |      821 |      772
1016.12/1016.55	c 1016s |      18 |   594080 |   414752 |    25408     33 |      821 |      772
1018.32/1018.78	c 1018s |      18 |   594876 |   415452 |    25408     33 |      821 |      772
1020.52/1020.90	c 1020s |      18 |   595534 |   416052 |    25408     33 |      821 |      772
1022.72/1023.13	c 1022s |      18 |   596183 |   416652 |    25408     33 |      821 |      772
1024.92/1025.38	c 1025s |      18 |   597034 |   417352 |    25408     33 |      821 |      772
1026.91/1027.39	c 1027s |      18 |   597721 |   417952 |    25408     33 |      821 |      772
1029.22/1029.61	c 1029s |      18 |   598475 |   418652 |    25408     33 |      821 |      772
1031.21/1031.66	c 1031s |      18 |   599176 |   419252 |    25408     33 |      821 |      772
1033.31/1033.78	c 1033s |      18 |   599857 |   419852 |    25408     33 |      821 |      772
1035.51/1035.95	c 1035s |      18 |   600556 |   420452 |    25408     33 |      821 |      772
1037.81/1038.23	c 1037s |      18 |   601217 |   421052 |    25408     33 |      821 |      772
1040.01/1040.45	c 1040s |      18 |   601900 |   421652 |    25408     33 |      821 |      772
1042.01/1042.48	c 1042s |      18 |   602452 |   422152 |    25408     33 |      821 |      772
1044.31/1044.70	c 1044s |      18 |   602988 |   422652 |    25408     33 |      821 |      772
1046.31/1046.73	c 1046s |      18 |   603541 |   423152 |    25408     33 |      821 |      772
1048.41/1048.80	c 1048s |      18 |   604090 |   423652 |    25408     33 |      821 |      772
1050.51/1050.95	c 1050s |      18 |   604629 |   424152 |    25408     33 |      821 |      772
1052.91/1053.39	c 1053s |      18 |   605299 |   424752 |    25408     33 |      821 |      772
1055.30/1055.76	c 1055s |      18 |   605847 |   425252 |    25408     33 |      821 |      772
1057.50/1057.95	c 1057s |      18 |   606425 |   425752 |    25408     33 |      821 |      772
1059.60/1060.09	c 1059s |      18 |   606983 |   426252 |    25408     33 |      821 |      772
1061.90/1062.36	c 1062s |      18 |   607543 |   426752 |    25408     33 |      821 |      772
1064.20/1064.62	c 1064s |      18 |   608090 |   427252 |    25408     33 |      821 |      772
1066.50/1066.93	c 1066s |      18 |   608650 |   427752 |    25408     33 |      821 |      772
1068.81/1069.24	c 1068s |      18 |   609196 |   428252 |    25408     33 |      821 |      772
1070.90/1071.39	c 1071s |      18 |   609749 |   428752 |    25408     33 |      821 |      772
1073.10/1073.50	c 1073s |      18 |   610210 |   429152 |    25408     34 |      821 |      772
1075.20/1075.61	c 1075s |      18 |   610866 |   429752 |    25408     34 |      821 |      772
1077.30/1077.77	c 1077s |      18 |   611521 |   430352 |    25408     34 |      821 |      772
1079.60/1080.02	c 1079s |      18 |   612176 |   430952 |    25408     34 |      821 |      772
1081.71/1082.19	c 1081s |      18 |   612833 |   431552 |    25408     34 |      821 |      772
1084.11/1084.53	c 1084s |      18 |   613485 |   432152 |    25408     34 |      821 |      772
1086.41/1086.87	c 1086s |      18 |   614161 |   432752 |    25408     34 |      821 |      772
1088.71/1089.16	c 1088s |      18 |   614826 |   433352 |    25408     34 |      821 |      772
1091.00/1091.45	c 1091s |      18 |   615492 |   433952 |    25408     34 |      821 |      772
1093.30/1093.73	c 1093s |      18 |   616326 |   434652 |    25408     34 |      821 |      772
1095.40/1095.89	c 1095s |      18 |   617151 |   435352 |    25408     34 |      821 |      772
1097.70/1098.12	c 1097s |      18 |   617975 |   436052 |    25408     34 |      821 |      772
1099.90/1100.39	c 1100s |      18 |   618768 |   436752 |    25408     34 |      821 |      772
1102.10/1102.54	c 1102s |      18 |   619595 |   437452 |    25408     34 |      821 |      772
1104.11/1104.56	c 1104s |      18 |   620158 |   437952 |    25408     34 |      821 |      772
1106.50/1106.96	c 1106s |      18 |   620831 |   438552 |    25408     34 |      821 |      772
1108.80/1109.27	c 1108s |      18 |   621511 |   439152 |    25408     34 |      821 |      772
1110.90/1111.35	c 1111s |      18 |   622061 |   439652 |    25408     34 |      821 |      772
1113.30/1113.72	c 1113s |      18 |   622716 |   440252 |    25408     34 |      821 |      772
1115.40/1115.83	c 1115s |      18 |   623278 |   440752 |    25408     34 |      821 |      772
1117.50/1117.94	c 1117s |      18 |   623827 |   441252 |    25408     34 |      821 |      772
1119.70/1120.11	c 1119s |      18 |   624363 |   441752 |    27949     34 |      821 |      772
1121.80/1122.26	c 1121s |      18 |   624913 |   442252 |    27949     34 |      821 |      772
1123.90/1124.34	c 1124s |      18 |   625473 |   442752 |    27949     34 |      821 |      772
1126.10/1126.57	c 1126s |      18 |   625911 |   443152 |    27949     34 |      821 |      772
1128.40/1128.87	c 1128s |      18 |   626473 |   443652 |    27949     34 |      821 |      772
1130.80/1131.28	c 1131s |      18 |   627017 |   444152 |    27949     34 |      821 |      772
1132.30/1132.71	c 1132s |      19 |   627410 |   444482 |    27949     34 |      821 |      772
1134.30/1134.75	c 1134s |      19 |   631831 |   444982 |    27949     35 |      821 |      772
1136.30/1136.77	c 1136s |      19 |   645585 |   447382 |    27949     35 |      821 |      772
1138.30/1138.79	c 1138s |      19 |   649861 |   449582 |    27949     35 |      821 |      772
1140.49/1140.90	c 1140s |      19 |   652221 |   451182 |    27949     35 |      821 |      772
1142.50/1143.00	c 1142s |      19 |   654256 |   452682 |    27949     35 |      821 |      772
1144.70/1145.17	c 1144s |      19 |   656377 |   454182 |    27949     35 |      821 |      772
1146.90/1147.33	c 1147s |      19 |   657808 |   455382 |    27949     35 |      821 |      772
1148.89/1149.38	c 1149s |      19 |   659676 |   456682 |    27949     35 |      821 |      772
1150.99/1151.49	c 1151s |      19 |   661075 |   457782 |    27949     35 |      821 |      772
1153.19/1153.61	c 1153s |      19 |   662635 |   458982 |    27949     35 |      821 |      772
1155.29/1155.73	c 1155s |      19 |   664207 |   460182 |    27949     35 |      821 |      772
1157.29/1157.77	c 1157s |      19 |   665171 |   460982 |    27949     36 |      821 |      772
1159.49/1159.97	c 1159s |      19 |   666426 |   461982 |    27949     36 |      821 |      772
1161.69/1162.10	c 1161s |      19 |   667496 |   462882 |    27949     36 |      821 |      772
1163.79/1164.25	c 1163s |      19 |   668613 |   463782 |    27949     36 |      821 |      772
1165.89/1166.34	c 1166s |      19 |   669681 |   464682 |    27949     36 |      821 |      772
1168.09/1168.56	c 1168s |      19 |   670901 |   465682 |    27949     36 |      821 |      772
1170.19/1170.69	c 1170s |      19 |   671813 |   466482 |    27949     36 |      821 |      772
1172.39/1172.85	c 1172s |      19 |   672721 |   467282 |    27949     36 |      821 |      772
1174.50/1174.92	c 1174s |      19 |   673649 |   468082 |    27949     36 |      821 |      772
1176.70/1177.19	c 1176s |      19 |   674621 |   468882 |    27949     36 |      821 |      772
1178.99/1179.41	c 1179s |      19 |   675408 |   469582 |    27949     36 |      821 |      772
1181.19/1181.60	c 1181s |      19 |   676225 |   470282 |    27949     36 |      821 |      772
1183.30/1183.76	c 1183s |      19 |   677041 |   470982 |    27949     36 |      821 |      772
1185.29/1185.78	c 1185s |      19 |   677881 |   471682 |    27949     36 |      821 |      772
1187.49/1187.99	c 1187s |      19 |   678716 |   472382 |    27949     36 |      821 |      772
1189.69/1190.10	c 1189s |      19 |   679513 |   473082 |    27949     36 |      821 |      772
1191.69/1192.15	c 1191s |      19 |   680184 |   473682 |    27949     36 |      821 |      772
1193.99/1194.40	c 1194s |      19 |   680845 |   474282 |    27949     36 |      821 |      772
1195.99/1196.40	c 1196s |      19 |   681374 |   474782 |    27949     36 |      821 |      772
1198.08/1198.58	c 1198s |      19 |   682034 |   475382 |    27949     36 |      821 |      772
1200.48/1200.93	c 1200s |      19 |   682865 |   476082 |    27949     36 |      821 |      772
1202.78/1203.29	c 1203s |      19 |   683405 |   476582 |    27949     37 |      821 |      772
1204.98/1205.44	c 1205s |      19 |   684226 |   477282 |    27949     37 |      821 |      772
1206.98/1207.47	c 1207s |      19 |   685201 |   478082 |    27949     37 |      821 |      772
1209.08/1209.57	c 1209s |      19 |   686113 |   478882 |    27949     37 |      821 |      772
1211.18/1211.67	c 1211s |      19 |   686889 |   479582 |    27949     37 |      821 |      772
1213.28/1213.74	c 1213s |      19 |   687690 |   480282 |    27949     37 |      821 |      772
1215.28/1215.76	c 1215s |      19 |   688370 |   480882 |    27949     37 |      821 |      772
1217.39/1217.82	c 1217s |      19 |   689186 |   481582 |    27949     37 |      821 |      772
1219.59/1220.08	c 1219s |      19 |   689949 |   482282 |    27949     37 |      821 |      772
1221.88/1222.31	c 1222s |      19 |   690727 |   482982 |    27949     37 |      821 |      772
1223.89/1224.32	c 1224s |      19 |   691380 |   483582 |    27949     37 |      821 |      772
1226.09/1226.60	c 1226s |      19 |   692048 |   484182 |    27949     37 |      821 |      772
1228.48/1228.92	c 1228s |      19 |   692692 |   484782 |    27949     37 |      821 |      772
1230.68/1231.11	c 1230s |      19 |   693346 |   485382 |    27949     37 |      821 |      772
1232.88/1233.34	c 1233s |      19 |   694012 |   485982 |    27949     37 |      821 |      772
1235.08/1235.50	c 1235s |      19 |   694800 |   486682 |    27949     37 |      821 |      772
1237.28/1237.78	c 1237s |      19 |   695436 |   487282 |    27949     37 |      821 |      772
1239.58/1240.00	c 1239s |      19 |   696085 |   487882 |    27949     37 |      821 |      772
1241.59/1242.10	c 1241s |      19 |   696621 |   488382 |    27949     37 |      821 |      772
1243.88/1244.38	c 1244s |      19 |   697267 |   488982 |    27949     37 |      821 |      772
1246.28/1246.76	c 1246s |      19 |   697931 |   489582 |    27949     37 |      821 |      772
1248.48/1248.91	c 1248s |      19 |   698487 |   490082 |    27949     37 |      821 |      772
1250.78/1251.23	c 1250s |      19 |   699189 |   490682 |    27949     37 |      821 |      772
1252.98/1253.44	c 1253s |      19 |   699879 |   491282 |    27949     37 |      821 |      772
1255.28/1255.78	c 1255s |      19 |   700584 |   491882 |    27949     37 |      821 |      772
1257.68/1258.12	c 1257s |      19 |   701131 |   492382 |    27949     38 |      821 |      772
1259.98/1260.41	c 1260s |      19 |   701905 |   493082 |    27949     38 |      821 |      772
1262.28/1262.71	c 1262s |      19 |   702689 |   493782 |    27949     38 |      821 |      772
1264.27/1264.77	c 1264s |      19 |   703329 |   494382 |    27949     38 |      821 |      772
1266.27/1266.77	c 1266s |      19 |   704019 |   494982 |    27949     38 |      821 |      772
1268.67/1269.16	c 1268s |      19 |   704661 |   495582 |    27949     38 |      821 |      772
1271.07/1271.53	c 1271s |      19 |   705307 |   496182 |    27949     38 |      821 |      772
1273.17/1273.62	c 1273s |      19 |   705851 |   496682 |    27949     38 |      821 |      772
1275.17/1275.65	c 1275s |      19 |   706525 |   497282 |    27949     38 |      821 |      772
1277.27/1277.75	c 1277s |      19 |   707167 |   497882 |    27949     38 |      821 |      772
1279.27/1279.79	c 1279s |      19 |   707851 |   498482 |    27949     38 |      821 |      772
1281.57/1282.01	c 1281s |      19 |   708498 |   499082 |    27949     38 |      821 |      772
1283.77/1284.25	c 1283s |      19 |   709295 |   499782 |    27949     38 |      821 |      772
1285.97/1286.45	c 1286s |      19 |   709933 |   500382 |    27949     38 |      821 |      772
1288.07/1288.55	c 1288s |      19 |   710463 |   500882 |    27949     38 |      821 |      772
1290.17/1290.66	c 1290s |      19 |   710987 |   501382 |    27949     38 |      821 |      772
1292.57/1293.04	c 1292s |      19 |   711633 |   501982 |    27949     38 |      821 |      772
1294.87/1295.37	c 1295s |      19 |   712168 |   502482 |    27949     38 |      821 |      772
1297.27/1297.71	c 1297s |      19 |   712700 |   502982 |    27949     38 |      821 |      772
1299.67/1300.10	c 1299s |      19 |   713218 |   503482 |    27949     38 |      821 |      772
1301.67/1302.16	c 1301s |      19 |   713634 |   503882 |    27949     38 |      821 |      772
1304.07/1304.57	c 1304s |      19 |   714168 |   504382 |    27949     38 |      821 |      772
1306.17/1306.61	c 1306s |      19 |   714728 |   504882 |    27949     38 |      821 |      772
1308.37/1308.80	c 1308s |      19 |   715275 |   505382 |    27949     38 |      821 |      772
1310.57/1311.09	c 1310s |      19 |   715922 |   505982 |    27949     38 |      821 |      772
1312.67/1313.11	c 1312s |      19 |   716469 |   506482 |    27949     38 |      821 |      772
1314.67/1315.17	c 1314s |      19 |   716894 |   506882 |    27949     38 |      821 |      772
1316.97/1317.45	c 1317s |      19 |   717437 |   507382 |    27949     38 |      821 |      772
1319.27/1319.79	c 1319s |      19 |   717877 |   507782 |    27949     39 |      821 |      772
1321.67/1322.14	c 1321s |      19 |   718526 |   508382 |    27949     39 |      821 |      772
1323.66/1324.16	c 1323s |      19 |   719066 |   508882 |    27949     39 |      821 |      772
1325.86/1326.37	c 1326s |      19 |   719728 |   509482 |    27949     39 |      821 |      772
1327.96/1328.49	c 1328s |      19 |   720385 |   510082 |    27949     39 |      821 |      772
1330.26/1330.78	c 1330s |      19 |   721056 |   510682 |    27949     39 |      821 |      772
1332.46/1332.97	c 1332s |      19 |   721853 |   511382 |    27949     39 |      821 |      772
1334.56/1335.08	c 1334s |      19 |   722690 |   512082 |    27949     39 |      821 |      772
1336.66/1337.19	c 1336s |      19 |   723348 |   512682 |    27949     39 |      821 |      772
1338.76/1339.25	c 1338s |      19 |   724026 |   513282 |    27949     39 |      821 |      772
1340.76/1341.30	c 1341s |      19 |   724718 |   513882 |    27949     39 |      821 |      772
1343.06/1343.55	c 1343s |      19 |   725509 |   514582 |    27949     39 |      821 |      772
1345.16/1345.69	c 1345s |      19 |   726196 |   515182 |    27949     39 |      821 |      772
1347.56/1348.06	c 1347s |      19 |   726837 |   515782 |    27949     39 |      821 |      772
1349.76/1350.20	c 1349s |      19 |   727655 |   516482 |    27949     39 |      821 |      772
1351.96/1352.47	c 1352s |      19 |   728488 |   517182 |    27949     39 |      821 |      772
1354.06/1354.51	c 1354s |      19 |   729159 |   517782 |    27949     39 |      821 |      772
1356.26/1356.71	c 1356s |      19 |   730133 |   518582 |    27949     39 |      821 |      772
1358.36/1358.86	c 1358s |      19 |   730875 |   519182 |    27949     39 |      821 |      772
1360.66/1361.19	c 1360s |      19 |   731696 |   519882 |    27949     39 |      821 |      772
1363.06/1363.53	c 1363s |      19 |   732380 |   520482 |    27949     39 |      821 |      772
1365.16/1365.68	c 1365s |      19 |   732943 |   520982 |    27949     39 |      821 |      772
1367.56/1368.00	c 1367s |      19 |   733600 |   521582 |    27949     39 |      821 |      772
1369.86/1370.36	c 1370s |      19 |   734274 |   522182 |    27949     39 |      821 |      772
1371.96/1372.40	c 1372s |      19 |   734825 |   522682 |    27949     39 |      821 |      772
1374.16/1374.68	c 1374s |      19 |   735496 |   523282 |    27949     39 |      821 |      772
1376.35/1376.80	c 1376s |      19 |   736033 |   523782 |    27949     40 |      821 |      772
1378.35/1378.88	c 1378s |      19 |   736711 |   524382 |    27949     40 |      821 |      772
1380.55/1381.08	c 1380s |      19 |   737484 |   525082 |    27949     40 |      821 |      772
1382.85/1383.34	c 1383s |      19 |   738291 |   525782 |    27949     40 |      821 |      772
1384.95/1385.42	c 1385s |      19 |   738992 |   526382 |    27949     40 |      821 |      772
1387.05/1387.57	c 1387s |      19 |   739673 |   526982 |    27949     40 |      821 |      772
1389.25/1389.76	c 1389s |      19 |   740347 |   527582 |    27949     40 |      821 |      772
1391.65/1392.12	c 1391s |      19 |   741056 |   528182 |    27949     40 |      821 |      772
1393.65/1394.13	c 1393s |      19 |   741741 |   528782 |    27949     40 |      821 |      772
1395.85/1396.35	c 1396s |      19 |   742543 |   529482 |    27949     40 |      821 |      772
1398.05/1398.55	c 1398s |      19 |   743347 |   530182 |    27949     40 |      821 |      772
1400.35/1400.89	c 1400s |      19 |   744162 |   530882 |    27949     40 |      821 |      772
1402.45/1402.96	c 1402s |      19 |   744726 |   531382 |    27949     40 |      821 |      772
1404.75/1405.25	c 1404s |      19 |   745404 |   531982 |    27949     40 |      821 |      772
1407.05/1407.59	c 1407s |      19 |   746055 |   532582 |    27949     40 |      821 |      772
1409.35/1409.83	c 1409s |      19 |   746710 |   533182 |    27949     40 |      821 |      772
1411.75/1412.24	c 1411s |      19 |   747363 |   533782 |    27949     40 |      821 |      772
1413.75/1414.25	c 1413s |      19 |   747920 |   534282 |    27949     40 |      821 |      772
1416.05/1416.54	c 1416s |      19 |   748484 |   534782 |    27949     40 |      821 |      772
1418.35/1418.83	c 1418s |      19 |   749020 |   535282 |    27949     40 |      821 |      772
1420.45/1420.93	c 1420s |      19 |   749683 |   535882 |    27949     40 |      821 |      772
1422.45/1422.93	c 1422s |      19 |   750220 |   536382 |    27949     40 |      821 |      772
1424.75/1425.25	c 1424s |      19 |   750903 |   536982 |    27949     40 |      821 |      772
1427.05/1427.53	c 1427s |      19 |   751454 |   537482 |    27949     40 |      821 |      772
1429.05/1429.54	c 1429s |      19 |   752018 |   537982 |    27949     40 |      821 |      772
1431.25/1431.75	c 1431s |      19 |   752573 |   538482 |    27949     40 |      821 |      772
1433.75/1434.26	c 1433s |      19 |   753014 |   538882 |    27949     41 |      821 |      772
1436.04/1436.60	c 1436s |      19 |   753768 |   539582 |    27949     41 |      821 |      772
1438.14/1438.66	c 1438s |      19 |   754404 |   540182 |    27949     41 |      821 |      772
1440.55/1441.05	c 1440s |      19 |   755027 |   540782 |    27949     41 |      821 |      772
1442.75/1443.26	c 1442s |      19 |   755700 |   541382 |    27949     41 |      821 |      772
1444.84/1445.40	c 1445s |      19 |   756380 |   541982 |    27949     41 |      821 |      772
1447.25/1447.74	c 1447s |      19 |   757017 |   542582 |    27949     41 |      821 |      772
1449.54/1450.07	c 1449s |      19 |   757675 |   543182 |    27949     41 |      821 |      772
1451.84/1452.36	c 1452s |      19 |   758333 |   543782 |    27949     41 |      821 |      772
1454.14/1454.69	c 1454s |      19 |   758985 |   544382 |    27949     41 |      821 |      772
1456.34/1456.87	c 1456s |      19 |   759625 |   544982 |    27949     41 |      821 |      772
1458.64/1459.18	c 1458s |      19 |   760273 |   545582 |    27949     41 |      821 |      772
1460.84/1461.38	c 1461s |      19 |   760919 |   546182 |    27949     41 |      821 |      772
1463.34/1463.80	c 1463s |      19 |   761571 |   546782 |    27949     41 |      821 |      772
1465.64/1466.17	c 1465s |      19 |   762235 |   547382 |    27949     41 |      821 |      772
1467.74/1468.25	c 1467s |      19 |   762778 |   547882 |    27949     41 |      821 |      772
1470.04/1470.52	c 1470s |      19 |   763326 |   548382 |    27949     41 |      821 |      772
1472.14/1472.65	c 1472s |      19 |   763873 |   548882 |    27949     41 |      821 |      772
1474.44/1474.93	c 1474s |      19 |   764394 |   549382 |    27949     41 |      821 |      772
1476.44/1476.99	c 1476s |      19 |   764975 |   549882 |    27949     41 |      821 |      772
1478.54/1479.05	c 1478s |      19 |   765530 |   550382 |    27949     41 |      821 |      772
1480.64/1481.19	c 1480s |      19 |   766084 |   550882 |    27949     41 |      821 |      772
1482.95/1483.44	c 1483s |      19 |   766620 |   551382 |    27949     41 |      821 |      772
1485.25/1485.70	c 1485s |      19 |   767192 |   551882 |    27949     41 |      821 |      772
1487.24/1487.70	c 1487s |      19 |   767631 |   552282 |    27949     41 |      821 |      772
1489.64/1490.15	c 1489s |      19 |   768162 |   552782 |    27949     41 |      821 |      772
1491.84/1492.31	c 1492s |      19 |   768719 |   553282 |    27949     41 |      821 |      772
1494.14/1494.60	c 1494s |      19 |   769290 |   553782 |    27949     41 |      821 |      772
1496.54/1497.07	c 1496s |      19 |   769821 |   554282 |    27949     41 |      821 |      772
1498.74/1499.20	c 1498s |      19 |   770262 |   554682 |    27949     42 |      821 |      772
1500.74/1501.24	c 1500s |      19 |   770813 |   555182 |    27949     42 |      821 |      772
1503.04/1503.50	c 1503s |      19 |   771496 |   555782 |    27949     42 |      821 |      772
1505.14/1505.65	c 1505s |      19 |   772149 |   556382 |    27949     42 |      821 |      772
1507.44/1507.99	c 1507s |      19 |   772821 |   556982 |    27949     42 |      821 |      772
1509.85/1510.36	c 1510s |      19 |   773489 |   557582 |    27949     42 |      821 |      772
1511.84/1512.38	c 1512s |      19 |   774154 |   558182 |    27949     42 |      821 |      772
1513.94/1514.46	c 1514s |      19 |   774698 |   558682 |    27949     42 |      821 |      772
1516.04/1516.53	c 1516s |      19 |   775264 |   559182 |    27949     42 |      821 |      772
1518.34/1518.80	c 1518s |      19 |   775928 |   559782 |    27949     42 |      821 |      772
1520.54/1521.07	c 1520s |      19 |   776792 |   560482 |    27949     42 |      821 |      772
1522.84/1523.34	c 1523s |      19 |   777607 |   561182 |    27949     42 |      821 |      772
1525.04/1525.55	c 1525s |      19 |   778248 |   561782 |    27949     42 |      821 |      772
1527.24/1527.72	c 1527s |      19 |   778935 |   562382 |    27949     42 |      821 |      772
1529.54/1530.09	c 1529s |      19 |   779596 |   562982 |    27949     42 |      821 |      772
1531.74/1532.23	c 1531s |      19 |   780128 |   563482 |    27949     42 |      821 |      772
1533.73/1534.28	c 1534s |      19 |   780684 |   563982 |    27949     42 |      821 |      772
1536.03/1536.58	c 1536s |      19 |   781369 |   564582 |    27949     42 |      821 |      772
1538.13/1538.62	c 1538s |      19 |   781941 |   565082 |    27949     42 |      821 |      772
1540.13/1540.65	c 1540s |      19 |   782522 |   565582 |    27949     42 |      821 |      772
1542.33/1542.84	c 1542s |      19 |   783101 |   566082 |    27949     42 |      821 |      772
1544.43/1544.94	c 1544s |      19 |   783678 |   566582 |    27949     42 |      821 |      772
1546.73/1547.23	c 1546s |      19 |   784373 |   567182 |    27949     42 |      821 |      772
1548.83/1549.36	c 1549s |      19 |   785105 |   567782 |    27949     42 |      821 |      772
1551.03/1551.53	c 1551s |      19 |   785680 |   568282 |    27949     42 |      821 |      772
1553.23/1553.78	c 1553s |      19 |   786235 |   568782 |    27949     42 |      821 |      772
1555.33/1555.80	c 1555s |      19 |   786799 |   569282 |    27949     42 |      821 |      772
1557.73/1558.24	c 1557s |      19 |   787343 |   569782 |    27949     42 |      821 |      772
1560.23/1560.73	c 1560s |      19 |   787773 |   570182 |    27949     43 |      821 |      772
1562.33/1562.85	c 1562s |      19 |   788430 |   570782 |    27949     43 |      821 |      772
1564.73/1565.21	c 1564s |      19 |   789079 |   571382 |    27949     43 |      821 |      772
1566.93/1567.47	c 1567s |      19 |   789748 |   571982 |    27949     43 |      821 |      772
1569.13/1569.65	c 1569s |      19 |   790403 |   572582 |    27949     43 |      821 |      772
1571.23/1571.77	c 1571s |      19 |   791121 |   573182 |    27949     43 |      821 |      772
1573.53/1574.03	c 1573s |      19 |   791926 |   573882 |    27949     43 |      821 |      772
1575.62/1576.18	c 1575s |      19 |   792733 |   574582 |    27949     43 |      821 |      772
1577.82/1578.34	c 1578s |      19 |   793383 |   575182 |    27949     43 |      821 |      772
1579.92/1580.43	c 1580s |      19 |   794038 |   575782 |    27949     43 |      821 |      772
1582.02/1582.54	c 1582s |      19 |   794693 |   576382 |    27949     43 |      821 |      772
1584.12/1584.60	c 1584s |      19 |   795341 |   576982 |    27949     43 |      821 |      772
1586.42/1586.97	c 1586s |      19 |   795990 |   577582 |    27949     43 |      821 |      772
1588.52/1589.02	c 1588s |      19 |   796507 |   578082 |    27949     43 |      821 |      772
1590.62/1591.14	c 1590s |      19 |   797073 |   578582 |    27949     43 |      821 |      772
1592.72/1593.21	c 1592s |      19 |   797649 |   579082 |    27949     43 |      821 |      772
1595.02/1595.54	c 1595s |      19 |   798333 |   579682 |    27949     43 |      821 |      772
1597.22/1597.70	c 1597s |      19 |   798876 |   580182 |    27949     43 |      821 |      772
1599.42/1599.96	c 1599s |      19 |   799419 |   580682 |    27949     43 |      821 |      772
1601.82/1602.38	c 1602s |      19 |   800090 |   581282 |    27949     43 |      821 |      772
1604.32/1604.85	c 1604s |      19 |   800778 |   581882 |    27949     43 |      821 |      772
1606.52/1607.01	c 1606s |      19 |   801353 |   582382 |    27949     43 |      821 |      772
1608.62/1609.19	c 1608s |      19 |   801921 |   582882 |    27949     43 |      821 |      772
1610.82/1611.38	c 1611s |      19 |   802513 |   583382 |    27949     43 |      821 |      772
1612.82/1613.38	c 1613s |      19 |   803064 |   583882 |    27949     43 |      821 |      772
1614.92/1615.41	c 1615s |      19 |   803488 |   584282 |    27949     43 |      821 |      772
1617.02/1617.58	c 1617s |      19 |   804056 |   584782 |    27949     43 |      821 |      772
1619.32/1619.88	c 1619s |      19 |   804634 |   585282 |    27949     43 |      821 |      772
1622.22/1622.72	c 1622s |      19 |   805186 |   585782 |    27949     44 |      821 |      772
1624.32/1624.84	c 1624s |      19 |   805851 |   586382 |    27949     44 |      821 |      772
1626.42/1626.94	c 1626s |      19 |   806526 |   586982 |    27949     44 |      821 |      772
1628.62/1629.14	c 1628s |      19 |   807189 |   587582 |    27949     44 |      821 |      772
1630.71/1631.29	c 1631s |      19 |   807851 |   588182 |    27949     44 |      821 |      772
1632.81/1633.37	c 1633s |      19 |   808582 |   588782 |    27949     44 |      821 |      772
1634.91/1635.46	c 1635s |      19 |   809260 |   589382 |    27949     44 |      821 |      772
1637.11/1637.69	c 1637s |      19 |   809937 |   589982 |    27949     44 |      821 |      772
1639.51/1640.01	c 1639s |      19 |   810572 |   590582 |    27949     44 |      821 |      772
1641.61/1642.14	c 1641s |      19 |   811250 |   591182 |    27949     44 |      821 |      772
1643.91/1644.40	c 1644s |      19 |   811914 |   591782 |    27949     44 |      821 |      772
1646.01/1646.50	c 1646s |      19 |   812453 |   592282 |    27949     44 |      821 |      772
1648.21/1648.77	c 1648s |      19 |   812990 |   592782 |    27949     44 |      821 |      772
1650.62/1651.13	c 1650s |      19 |   813674 |   593382 |    27949     44 |      821 |      772
1652.61/1653.16	c 1652s |      19 |   814412 |   593982 |    27949     44 |      821 |      772
1654.81/1655.34	c 1655s |      19 |   815206 |   594682 |    27949     44 |      821 |      772
1657.01/1657.57	c 1657s |      19 |   816177 |   595482 |    27949     44 |      821 |      772
1659.11/1659.60	c 1659s |      19 |   816831 |   596082 |    27949     44 |      821 |      772
1661.21/1661.74	c 1661s |      19 |   817660 |   596782 |    27949     44 |      821 |      772
1663.31/1663.85	c 1663s |      19 |   818393 |   597382 |    27949     44 |      821 |      772
1665.41/1665.98	c 1665s |      19 |   819104 |   597982 |    27949     44 |      821 |      772
1667.61/1668.19	c 1667s |      19 |   819803 |   598582 |    27949     44 |      821 |      772
1670.11/1670.68	c 1670s |      19 |   820471 |   599182 |    27949     44 |      821 |      772
1672.31/1672.89	c 1672s |      19 |   821017 |   599682 |    27949     44 |      821 |      772
1674.61/1675.19	c 1674s |      19 |   821712 |   600282 |    27949     44 |      821 |      772
1677.01/1677.58	c 1677s |      19 |   822400 |   600882 |    27949     44 |      821 |      772
1679.41/1679.99	c 1679s |      19 |   822820 |   601282 |    27949     45 |      821 |      772
1681.81/1682.31	c 1682s |      19 |   823600 |   601982 |    27949     45 |      821 |      772
1683.91/1684.41	c 1684s |      19 |   824247 |   602582 |    27949     45 |      821 |      772
1686.21/1686.73	c 1686s |      19 |   825086 |   603282 |    27949     45 |      821 |      772
1688.21/1688.77	c 1688s |      19 |   825787 |   603882 |    27949     45 |      821 |      772
1690.51/1691.05	c 1690s |      19 |   826578 |   604582 |    27949     45 |      821 |      772
1692.61/1693.14	c 1692s |      19 |   827273 |   605182 |    27949     45 |      821 |      772
1694.91/1695.46	c 1695s |      19 |   828079 |   605882 |    27949     45 |      821 |      772
1697.11/1697.64	c 1697s |      19 |   828808 |   606482 |    27949     45 |      821 |      772
1699.31/1699.88	c 1699s |      19 |   829766 |   607282 |    27949     45 |      821 |      772
1701.41/1701.90	c 1701s |      19 |   830451 |   607882 |    27949     45 |      821 |      772
1703.52/1704.04	c 1703s |      19 |   831142 |   608482 |    27949     45 |      821 |      772
1705.62/1706.18	c 1705s |      19 |   831676 |   608982 |    27949     45 |      821 |      772
1707.82/1708.39	c 1708s |      19 |   832204 |   609482 |    27949     45 |      821 |      772
1710.12/1710.70	c 1710s |      19 |   832848 |   610082 |    27949     45 |      821 |      772
1712.32/1712.86	c 1712s |      19 |   833506 |   610682 |    27949     45 |      821 |      772
1714.71/1715.22	c 1714s |      19 |   834176 |   611282 |    27949     45 |      821 |      772
1716.81/1717.31	c 1717s |      19 |   834725 |   611782 |    27949     45 |      821 |      772
1719.01/1719.57	c 1719s |      19 |   835264 |   612282 |    27949     45 |      821 |      772
1721.41/1721.91	c 1721s |      19 |   835966 |   612882 |    27949     45 |      821 |      772
1723.51/1724.04	c 1723s |      19 |   836614 |   613482 |    27949     45 |      821 |      772
1725.81/1726.37	c 1726s |      19 |   837291 |   614082 |    27949     45 |      821 |      772
1727.81/1728.39	c 1728s |      19 |   837846 |   614582 |    27949     45 |      821 |      772
1729.81/1730.39	c 1730s |      19 |   838402 |   615082 |    27949     45 |      821 |      772
1732.01/1732.54	c 1732s |      19 |   838943 |   615582 |    27949     45 |      821 |      772
1734.11/1734.64	c 1734s |      19 |   839650 |   616182 |    27949     45 |      821 |      772
1736.21/1736.75	c 1736s |      19 |   840218 |   616682 |    27949     45 |      821 |      772
1738.40/1738.95	c 1738s |      19 |   840805 |   617182 |    27949     46 |      821 |      772
1740.40/1740.97	c 1740s |      19 |   841461 |   617782 |    27949     46 |      821 |      772
1742.60/1743.10	c 1742s |      19 |   842111 |   618382 |    27949     46 |      821 |      772
1744.80/1745.30	c 1745s |      19 |   842774 |   618982 |    27949     46 |      821 |      772
1746.80/1747.37	c 1747s |      19 |   843463 |   619582 |    27949     46 |      821 |      772
1749.10/1749.62	c 1749s |      19 |   844131 |   620182 |    27949     46 |      821 |      772
1751.10/1751.62	c 1751s |      19 |   844685 |   620682 |    27949     46 |      821 |      772
1753.40/1753.97	c 1753s |      19 |   845334 |   621282 |    27949     46 |      821 |      772
1755.50/1756.07	c 1755s |      19 |   846039 |   621882 |    27949     46 |      821 |      772
1757.80/1758.34	c 1758s |      19 |   846715 |   622482 |    27949     46 |      821 |      772
1759.80/1760.35	c 1760s |      19 |   847419 |   623082 |    27949     46 |      821 |      772
1761.90/1762.46	c 1762s |      19 |   848111 |   623682 |    27949     46 |      821 |      772
1764.10/1764.63	c 1764s |      19 |   848819 |   624282 |    27949     46 |      821 |      772
1766.40/1766.92	c 1766s |      19 |   849505 |   624882 |    27949     46 |      821 |      772
1768.70/1769.21	c 1768s |      19 |   850174 |   625482 |    27949     46 |      821 |      772
1771.00/1771.59	c 1771s |      19 |   850832 |   626082 |    27949     46 |      821 |      772
1773.30/1773.88	c 1773s |      19 |   851519 |   626682 |    27949     46 |      821 |      772
1775.40/1775.97	c 1775s |      19 |   852062 |   627182 |    27949     46 |      821 |      772
1777.50/1778.05	c 1777s |      19 |   852632 |   627682 |    27949     46 |      821 |      772
1779.90/1780.41	c 1780s |      19 |   853218 |   628182 |    27949     46 |      821 |      772
1782.10/1782.64	c 1782s |      19 |   853816 |   628682 |    27949     46 |      821 |      772
1784.30/1784.80	c 1784s |      19 |   854397 |   629182 |    27949     46 |      821 |      772
1786.50/1787.02	c 1786s |      19 |   854982 |   629682 |    27949     46 |      821 |      772
1788.70/1789.28	c 1789s |      19 |   855552 |   630182 |    27949     46 |      821 |      772
1790.80/1791.30	c 1791s |      19 |   856120 |   630682 |    27949     46 |      821 |      772
1793.20/1793.75	c 1793s |      19 |   856674 |   631182 |    27949     46 |      821 |      772
1795.70/1796.21	c 1795s |      19 |   857243 |   631682 |    27949     46 |      821 |      772
1798.00/1798.59	c 1798s |      19 |   857811 |   632182 |    27949     46 |      821 |      772

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

pid=24348
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: 1.95 2.07 2.07 4/171 24351
/proc/meminfo: memFree=31545196/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=711100 CPUtime=0 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 2653 0 0 0 0 0 0 0 20 0 4 0 31136269 728166400 3014 33554432000 4194304 16246674 140733702247328 140733702246752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 178543 3023 441 2943 0 175437 0
[pid=24351/tid=24352] ppid=24348 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 745992192 3082 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 750186496 3098 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 755429376 3117 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 1.95 2.07 2.07 4/171 24351
/proc/meminfo: memFree=31545196/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 28468 0 0 0 5 4 0 0 20 0 4 0 31136269 1249447936 28767 33554432000 4194304 16246674 140733702247328 140733702246640 4220936 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 305041 28767 801 2943 0 301935 0
[pid=24351/tid=24352] ppid=24348 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1249447936 28767 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1249447936 28767 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1249447936 28767 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200468 s]
/proc/loadavg: 1.95 2.07 2.07 4/171 24351
/proc/meminfo: memFree=31545196/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 48675 0 0 0 13 6 0 0 20 0 4 0 31136269 1332285440 48974 33554432000 4194304 16246674 140733702247328 140733702246640 6155320 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 325265 48974 842 2943 0 322159 0
[pid=24351/tid=24352] ppid=24348 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1332285440 48974 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1332285440 48974 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1332285440 48974 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300421 s]
/proc/loadavg: 1.95 2.07 2.07 4/171 24351
/proc/meminfo: memFree=31545196/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 54491 0 0 0 22 7 0 0 20 0 4 0 31136269 1332285440 54791 33554432000 4194304 16246674 140733702247328 140733702246640 5600933 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 325265 54795 882 2943 0 322159 0
[pid=24351/tid=24352] ppid=24348 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1332285440 54798 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1332285440 54801 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1332285440 54804 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700348 s]
/proc/loadavg: 1.95 2.07 2.07 4/171 24351
/proc/meminfo: memFree=31545196/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 102838 0 0 0 56 13 0 0 20 0 4 0 31136269 1332285440 103137 33554432000 4194304 16246674 140733702247328 140733702246640 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 325265 103142 882 2943 0 322159 0
[pid=24351/tid=24352] ppid=24348 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1332285440 103145 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1332285440 103148 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1332285440 103151 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50035 s]
/proc/loadavg: 1.95 2.07 2.07 3/183 24368
/proc/meminfo: memFree=30304828/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 208023 0 0 0 121 28 0 0 20 0 4 0 31136269 1332285440 208322 33554432000 4194304 16246674 140733702247328 140733702229248 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 325265 208325 882 2943 0 322159 0
[pid=24351/tid=24352] ppid=24348 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1332285440 208329 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1332285440 208333 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1332285440 208335 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10038 s]
/proc/loadavg: 1.95 2.07 2.07 3/183 24368
/proc/meminfo: memFree=29379152/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 269514 0 0 0 273 36 0 0 20 0 4 0 31136269 1344868352 269813 33554432000 4194304 16246674 140733702247328 140733702229248 5545988 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 328337 269813 888 2943 0 325231 0
[pid=24351/tid=24352] ppid=24348 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1344868352 269813 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1344868352 269813 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1344868352 269813 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.3004 s]
/proc/loadavg: 2.04 2.08 2.07 3/183 24368
/proc/meminfo: memFree=29377056/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 269524 0 0 0 593 36 0 0 20 0 4 0 31136269 1344868352 269823 33554432000 4194304 16246674 140733702247328 140733702229248 5723637 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 328337 269823 888 2943 0 325231 0
[pid=24351/tid=24352] ppid=24348 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1344868352 269823 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1344868352 269823 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1344868352 269823 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.03 2.08 2.07 3/183 24368
/proc/meminfo: memFree=29378060/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 269525 0 0 0 1233 36 0 0 20 0 4 0 31136269 1344868352 269824 33554432000 4194304 16246674 140733702247328 140733702229248 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 328337 269824 889 2943 0 325231 0
[pid=24351/tid=24352] ppid=24348 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1344868352 269824 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1344868352 269824 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1344868352 269824 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.02 2.08 2.07 3/183 24368
/proc/meminfo: memFree=29378844/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1313348 CPUtime=25.48 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 269527 0 0 0 2512 36 0 0 20 0 4 0 31136269 1344868352 269826 33554432000 4194304 16246674 140733702247328 140733702229248 5662329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 328337 269826 891 2943 0 325231 0
[pid=24351/tid=24352] ppid=24348 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1344868352 269826 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1344868352 269826 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1344868352 269826 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.09 2.09 2.08 3/183 24368
/proc/meminfo: memFree=29375596/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1316420 CPUtime=51.07 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 270148 0 0 0 5071 36 0 0 20 0 4 0 31136269 1348014080 270437 33554432000 4194304 16246674 140733702247328 140733702229248 12477752 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 329105 270437 892 2943 0 325999 0
[pid=24351/tid=24352] ppid=24348 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1348014080 270437 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1348014080 270437 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1348014080 270437 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.04 2.07 2.07 3/183 24369
/proc/meminfo: memFree=29362628/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1322564 CPUtime=102.27 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 271686 0 0 0 10190 37 0 0 20 0 4 0 31136269 1354305536 271962 33554432000 4194304 16246674 140733702247328 140733702229248 6011936 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 330641 271962 892 2943 0 327535 0
[pid=24351/tid=24352] ppid=24348 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1354305536 271962 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1354305536 271962 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1354305536 271962 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1322564


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

/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1340996

[startup+1302.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/183 24421
/proc/meminfo: memFree=29326048/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1340996 CPUtime=1301.87 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 276826 0 0 0 130143 44 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140733702245120 5523150 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 335249 276739 892 2943 0 332143 0
[pid=24351/tid=24352] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1340996

[startup+1362.3 s]
/proc/loadavg: 2.16 2.13 2.09 3/183 24422
/proc/meminfo: memFree=29325712/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1340996 CPUtime=1361.86 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 276826 0 0 0 136142 44 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140733702229248 13906985 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 335249 276739 892 2943 0 332143 0
[pid=24351/tid=24352] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1340996

[startup+1422.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 24423
/proc/meminfo: memFree=29326380/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1340996 CPUtime=1421.85 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 276826 0 0 0 142141 44 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140733702229248 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 335249 276739 892 2943 0 332143 0
[pid=24351/tid=24352] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1340996

[startup+1482.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 24425
/proc/meminfo: memFree=29326268/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1340996 CPUtime=1481.84 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 276826 0 0 0 148140 44 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140733702245120 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 335249 276739 892 2943 0 332143 0
[pid=24351/tid=24352] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1340996

[startup+1542.31 s]
/proc/loadavg: 2.15 2.12 2.09 3/183 24426
/proc/meminfo: memFree=29326392/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1340996 CPUtime=1541.84 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 276826 0 0 0 154139 45 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140733702229248 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 335249 276739 892 2943 0 332143 0
[pid=24351/tid=24352] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276739 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1340996

[startup+1602.3 s]
/proc/loadavg: 2.17 2.12 2.09 3/183 24427
/proc/meminfo: memFree=29324636/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1340996 CPUtime=1601.82 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 276827 0 0 0 160137 45 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140733702229248 5673507 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 335249 276995 892 2943 0 332143 0
[pid=24351/tid=24352] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1340996

[startup+1662.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/184 24431
/proc/meminfo: memFree=29324764/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1340996 CPUtime=1661.81 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 276827 0 0 0 166136 45 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140733702229248 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 335249 276995 892 2943 0 332143 0
[pid=24351/tid=24352] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1340996

[startup+1722.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/183 24432
/proc/meminfo: memFree=29325028/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1340996 CPUtime=1721.81 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 276827 0 0 0 172135 46 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140733702229248 5545796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 335249 276995 892 2943 0 332143 0
[pid=24351/tid=24352] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1340996

[startup+1782.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/183 24434
/proc/meminfo: memFree=29324780/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1340996 CPUtime=1781.8 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 276827 0 0 0 178134 46 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140733702229248 12874923 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 335249 276995 892 2943 0 332143 0
[pid=24351/tid=24352] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1340996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.08 2.11 2.09 4/183 24434
/proc/meminfo: memFree=29325276/32872528 swapFree=249752/274280
[pid=24351] ppid=24348 vsize=1340996 CPUtime=1800.09 cores=0,2,4,6
/proc/24351/stat : 24351 (toysat) R 24348 24351 24001 0 -1 4202496 276827 0 0 0 179963 46 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140733702229248 5808212 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24351/statm: 335249 276995 892 2943 0 332143 0
[pid=24351/tid=24352] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24352/stat : 24352 (toysat) S 24348 24351 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140656780487920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24351/tid=24353] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24353/stat : 24353 (toysat) S 24348 24351 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140656769998064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24351/tid=24354] ppid=24348 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24351/task/24354/stat : 24354 (toysat) S 24348 24351 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136269 1373179904 276995 33554432000 4194304 16246674 140733702247328 140656689278128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1340996

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24351 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.11
CPU user time (s): 1799.64
CPU system time (s): 0.464929
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 1340996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.464929
maximum resident set size= 1107980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276827
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= 405
involuntary context switches= 1862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54531 second user time and 6.97394 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-27 00:42:42
IDJOB=4116413
IDBENCH=109467
IDSOLVER=2542
FILE ID=node107/4116413-1466980962
RUNJOBID= node107-1466979161-24189
PBS_JOBID= 19976391
Free space on /tmp= 71672 MiB

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

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

MD5SUM BENCH= 9d4f91b6c8c0bac3b279c8b87cf01cc5
RANDOM SEED=1995181192

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31548056 kB
Buffers:           27388 kB
Cached:           310484 kB
SwapCached:         1976 kB
Active:            60208 kB
Inactive:         281336 kB
Active(anon):       5796 kB
Inactive(anon):      616 kB
Active(file):      54412 kB
Inactive(file):   280720 kB
Unevictable:      274280 kB
Mlocked:          249752 kB
SwapTotal:      67108856 kB
SwapFree:       67099120 kB
Dirty:             16712 kB
Writeback:             0 kB
AnonPages:        492868 kB
Mapped:             7204 kB
Shmem:                 0 kB
Slab:             574888 kB
SReclaimable:      18488 kB
SUnreclaim:       556400 kB
KernelStack:        1520 kB
PageTables:         4896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     375516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 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= 71656 MiB
End job on node107 at 2016-06-27 01:12:43