Trace number 4122738

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-02UNSAT 1319.69 1320.09

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-22.cnf.gz-extracted.pb.metafix.opb
MD5SUM48e4ca5eb96557b414df8aff2a396713
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.010998
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables89
Total number of constraints88
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)88
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
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-30T22:11:04+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-4122738-1467317463.opb"]
0.00/0.01	c use --random-gen="1406913213 1578155144 1673908184 3672753492 1692839561 2268502715 3939049330 471839109 3035288417 2933158370 3098704951 2928582317 167878784 791285071 3175248635 547316614 3119718215 1171565803 4210253932 854844279 2149675586 2097201694 2432564089 3074585727 3607275069 1808668294 1659200221 534912511 1076741684 3539108083 4170094093 3284297704 4159511784 81606462 3554527597 3910854743 212901794 4026283474 3853840568 367824673 3254329154 328980267 1154431726 594253205 1401337364 3638544021 2338159595 3683282614 2641770875 357097887 715503893 738416002 3120426298 687254889 3313614159 315740418 2178918686 3826048236 3686441493 488157646 381696590 234036110 485413701 1766819931 1709824766 2789558005 3087442949 3957948877 1549443140 896084616 2511685020 1815926396 536169021 4217078365 3301107709 2977092777 419679823 977620290 2397016176 1957337113 2423016465 14292346 2958644882 4133452483 1751525895 2216130551 3078398551 2372305005 3168937504 1480649457 2378952773 1896649017 2562100193 3305171574 518893544 113589351 1191943639 485909354 766545168 1282931763 4069445127 3975455937 206263204 1112125535 2222878274 2996206123 3044863809 154777695 329709041 1900655482 3937485267 950293372 28604580 1266151887 2798077592 1618265517 3153164043 4208520989 1667539987 1347154945 2340156361 4128435290 3292138681 668693605 4053227281 1681160473 506940688 2162559433 2436460324 4258536485 385536672 839101922 3130790488 2295831406 458725048 355043689 293300165 3654349843 4125038267 2904015099 3580499355 2500098679 2636384603 1447825634 4144561942 2687484152 3376339815 2510269714 1006910816 1377424937 2819875993 4142533632 370403004 3184321598 3099132696 1961001834 823744900 388747735 3649805634 2449553592 3509931846 1483148839 3417730347 809049985 3811754583 1778723768 3617156029 1908558018 124880577 889038939 3080735240 481737687 1091708542 3492917045 3717618369 3820903849 22089612 1598735102 2030372057 3827762133 3634701031 3977180551 2069380420 1675008148 1634262897 2952837279 2933346230 460145994 3609169307 3526388349 1054668216 2610165045 761468997 726533077 229871166 955914300 933761956 3259785415 1519611354 2367227152 2539975369 91581014 3338909209 2411194330 1424450714 3435636634 3347291390 3710806370 2616358801 2378791463 3906434930 2296159713 2147006214 3420356256 4029529899 1264086361 3643987228 2319593497 153683478 1603996939 2541835050 3201773784 2473542759 2091908527 3503333183 3353772053 3850398128 2865734156 2044392039 778423118 685802261 3997330009 2438342887 1675694419 859724138 3121343369 564979820 3392029877 981457808 1512000398 1967007976 2001000043 1778665297 530753507 2711129153 1842163989 1759431999 978250845 2742795730 2798417571 873167094 124195230 654656319 729422405 2072309097 2614579122 255 362436" option to reproduce the execution
0.00/0.01	c #vars 89
0.00/0.01	c #constraints 88
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       59      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      130 |      100 |       59      1 |        0 |        0
0.00/0.03	c  0.0s |       2 |      320 |      250 |       65      4 |        0 |        0
0.00/0.05	c  0.0s |       3 |      604 |      475 |       72      8 |        0 |        0
0.00/0.09	c  0.1s |       4 |      987 |      813 |       80     14 |        0 |        0
0.09/0.14	c  0.1s |       5 |     1587 |     1320 |       88     23 |        0 |        0
0.19/0.22	c  0.2s |       6 |     2594 |     2081 |      107     35 |        0 |        0
0.29/0.32	c  0.3s |       7 |     4239 |     3223 |      118     53 |        0 |        0
0.39/0.49	c  0.5s |       8 |     6556 |     4936 |      130     77 |        0 |        0
0.69/0.76	c  0.8s |       9 |    10279 |     7506 |      143    111 |        0 |        0
1.09/1.14	c  1.1s |      10 |    15253 |    11361 |      158    156 |        0 |        0
1.49/1.57	c  1.6s |      11 |    22455 |    17144 |      174    220 |        0 |        0
2.19/2.23	c  2.2s |      12 |    33490 |    25819 |      192    311 |        0 |        0
3.08/3.15	c  3.1s |      13 |    51820 |    38832 |      212    436 |        0 |        0
4.49/4.59	c  4.6s |      14 |    77691 |    58352 |      234    604 |        0 |        0
6.58/6.60	c  6.6s |      14 |   112040 |    85752 |      234    819 |        0 |        0
6.69/6.73	c  6.7s |      15 |   114366 |    87632 |      258    833 |        0 |        0
8.69/8.74	c  8.7s |      15 |   149287 |   114832 |      258   1029 |        0 |        0
9.89/9.95	c  9.9s |      16 |   171001 |   131552 |      284   1149 |        0 |        0
11.89/11.95	c 11.9s |      16 |   206558 |   159252 |      284   1331 |        0 |        0
13.89/13.96	c 13.9s |      16 |   241032 |   186252 |      284   1511 |        0 |        0
14.69/14.79	c 14.8s |      17 |   255000 |   197432 |      313   1585 |        0 |        0
16.69/16.79	c 16.8s |      17 |   291693 |   224932 |      313   1750 |        0 |        0
18.69/18.80	c 18.8s |      17 |   325137 |   251032 |      313   1909 |        0 |        0
20.69/20.80	c 20.8s |      17 |   359168 |   277532 |      313   2070 |        0 |        0
22.19/22.23	c 22.2s |      18 |   383350 |   296252 |      345   2181 |        0 |        0
24.18/24.23	c 24.2s |      18 |   416058 |   322452 |      345   2325 |        0 |        0
26.18/26.24	c 26.2s |      18 |   444085 |   346852 |      345   2460 |        0 |        0
28.18/28.24	c 28.2s |      18 |   477165 |   373452 |      345   2608 |        0 |        0
30.18/30.25	c 30.2s |      18 |   509333 |   399352 |      345   2751 |        0 |        0
32.18/32.25	c 32.2s |      18 |   543843 |   426052 |      345   2899 |        0 |        0
33.58/33.60	c 33.6s |      19 |   566908 |   444482 |      380   2999 |        0 |        0
35.58/35.60	c 35.6s |      19 |   599144 |   470682 |      380   3131 |        0 |        0
37.59/37.61	c 37.6s |      19 |   632047 |   496882 |      380   3264 |        0 |        0
39.58/39.61	c 39.6s |      19 |   667109 |   524082 |      380   3400 |        0 |        0
41.59/41.62	c 41.6s |      19 |   703878 |   550782 |      380   3535 |        0 |        0
43.59/43.62	c 43.6s |      19 |   736900 |   576282 |      380   3664 |        0 |        0
45.59/45.62	c 45.6s |      19 |   769993 |   601682 |      380   3792 |        0 |        0
47.59/47.63	c 47.6s |      19 |   802358 |   626982 |      380   3920 |        0 |        0
49.59/49.63	c 49.6s |      19 |   830750 |   650982 |      380   4041 |        0 |        0
50.88/50.92	c 50.9s |      20 |   850989 |   666827 |      419   4118 |        0 |        0
52.89/52.93	c 52.9s |      20 |   882975 |   692227 |      419   4234 |        0 |        0
54.88/54.93	c 54.9s |      20 |   918596 |   719027 |      419   4359 |        0 |        0
56.88/56.93	c 56.9s |      20 |   953959 |   745927 |      419   4482 |        0 |        0
58.88/58.94	c 58.9s |      20 |   986682 |   771527 |      419   4601 |        0 |        0
60.88/60.94	c 60.9s |      20 |  1021468 |   797827 |      419   4723 |        0 |        0
62.89/62.94	c 62.9s |      20 |  1057904 |   824527 |      419   4846 |        0 |        0
64.88/64.94	c 64.9s |      20 |  1093923 |   850927 |      419   4968 |        0 |        0
66.88/66.95	c 66.9s |      20 |  1131272 |   878527 |      419   5096 |        0 |        0
68.88/68.95	c 68.9s |      20 |  1164851 |   904327 |      419   5217 |        0 |        0
70.88/70.95	c 70.9s |      20 |  1200021 |   931327 |      419   5343 |        0 |        0
72.88/72.95	c 72.9s |      20 |  1235034 |   958327 |      419   5469 |        0 |        0
74.88/74.96	c 74.9s |      20 |  1267355 |   983727 |      419   5586 |        0 |        0
76.17/76.27	c 76.3s |      21 |  1288427 |  1000345 |      461   5659 |        0 |        0
78.18/78.28	c 78.3s |      21 |  1325787 |  1027945 |      461   5776 |        0 |        0
80.17/80.28	c 80.3s |      21 |  1362211 |  1055045 |      461   5890 |        0 |        0
82.17/82.28	c 82.3s |      21 |  1396437 |  1081445 |      461   6002 |        0 |        0
84.17/84.29	c 84.3s |      21 |  1433375 |  1108645 |      461   6117 |        0 |        0
86.17/86.29	c 86.3s |      21 |  1467172 |  1134945 |      461   6229 |        0 |        0
88.18/88.29	c 88.3s |      21 |  1502316 |  1161545 |      461   6341 |        0 |        0
90.17/90.29	c 90.3s |      21 |  1536713 |  1187845 |      461   6452 |        0 |        0
92.17/92.29	c 92.3s |      21 |  1573669 |  1215045 |      461   6567 |        0 |        0
94.28/94.30	c 94.3s |      21 |  1612399 |  1243145 |      461   6686 |        0 |        0
96.28/96.31	c 96.3s |      21 |  1645468 |  1268745 |      461   6793 |        0 |        0
98.28/98.31	c 98.3s |      21 |  1677865 |  1294145 |      461   6899 |        0 |        0
100.28/100.32	c  100s |      21 |  1709668 |  1319045 |      461   7004 |        0 |        0
102.28/102.32	c  102s |      21 |  1742744 |  1344545 |      461   7111 |        0 |        0
104.28/104.33	c  104s |      21 |  1775346 |  1369545 |      461   7216 |        0 |        0
106.27/106.33	c  106s |      21 |  1810822 |  1395945 |      461   7328 |        0 |        0
108.27/108.33	c  108s |      21 |  1844168 |  1421445 |      461   7437 |        0 |        0
110.27/110.33	c  110s |      21 |  1876333 |  1445645 |      461   7539 |        0 |        0
112.28/112.34	c  112s |      21 |  1910909 |  1471145 |      461   7646 |        0 |        0
114.27/114.34	c  114s |      21 |  1942721 |  1495645 |      508   7747 |        0 |        0
114.67/114.74	c  114s |      22 |  1949563 |  1500622 |      508   7766 |        0 |        0
116.68/116.74	c  116s |      22 |  1981374 |  1525722 |      508   7862 |        0 |        0
118.67/118.74	c  118s |      22 |  2015668 |  1551622 |      508   7962 |        0 |        0
120.67/120.74	c  120s |      22 |  2049035 |  1577722 |      508   8062 |        0 |        0
122.67/122.75	c  122s |      22 |  2082761 |  1603822 |      508   8162 |        0 |        0
124.67/124.75	c  124s |      22 |  2116382 |  1629722 |      508   8262 |        0 |        0
126.67/126.75	c  126s |      22 |  2149641 |  1655422 |      508   8360 |        0 |        0
128.67/128.75	c  128s |      22 |  2180692 |  1679722 |      508   8453 |        0 |        0
130.67/130.76	c  130s |      22 |  2209330 |  1703322 |      508   8542 |        0 |        0
132.66/132.76	c  132s |      22 |  2237111 |  1726222 |      508   8629 |        0 |        0
134.66/134.76	c  134s |      22 |  2266304 |  1750122 |      508   8721 |        0 |        0
136.66/136.76	c  136s |      22 |  2295214 |  1773522 |      508   8809 |        0 |        0
138.67/138.76	c  138s |      22 |  2324538 |  1796922 |      508   8897 |        0 |        0
140.66/140.77	c  140s |      22 |  2354173 |  1820822 |      508   8987 |        0 |        0
142.66/142.77	c  142s |      22 |  2384280 |  1845122 |      508   9080 |        0 |        0
144.66/144.77	c  144s |      22 |  2416678 |  1870222 |      508   9176 |        0 |        0
146.66/146.78	c  146s |      22 |  2447509 |  1894722 |      508   9270 |        0 |        0
148.67/148.78	c  148s |      22 |  2477843 |  1918922 |      508   9363 |        0 |        0
150.66/150.79	c  150s |      22 |  2510065 |  1943922 |      508   9459 |        0 |        0
152.66/152.79	c  152s |      22 |  2541261 |  1968622 |      508   9554 |        0 |        0
154.66/154.79	c  154s |      22 |  2573035 |  1993322 |      508   9649 |        0 |        0
156.77/156.80	c  156s |      22 |  2606226 |  2019122 |      508   9748 |        0 |        0
158.77/158.80	c  158s |      22 |  2636069 |  2043322 |      508   9840 |        0 |        0
160.77/160.81	c  160s |      22 |  2666737 |  2067122 |      508   9931 |        0 |        0
162.77/162.81	c  162s |      22 |  2696604 |  2091122 |      508  10022 |        0 |        0
164.77/164.82	c  164s |      22 |  2726550 |  2114922 |      508  10113 |        0 |        0
166.76/166.82	c  166s |      22 |  2757046 |  2138822 |      508  10205 |        0 |        0
168.76/168.82	c  168s |      22 |  2784608 |  2161222 |      508  10290 |        0 |        0
170.76/170.83	c  170s |      22 |  2813294 |  2184122 |      508  10378 |        0 |        0
172.77/172.84	c  172s |      22 |  2842538 |  2207822 |      508  10469 |        0 |        0
174.76/174.84	c  174s |      22 |  2870765 |  2230822 |      508  10556 |        0 |        0
176.67/176.72	c  176s |      23 |  2895779 |  2251038 |      559  10628 |        0 |        0
178.66/178.72	c  178s |      23 |  2926120 |  2274638 |      559  10710 |        0 |        0
180.66/180.73	c  180s |      23 |  2953651 |  2296838 |      559  10787 |        0 |        0
182.67/182.73	c  182s |      23 |  2980417 |  2318738 |      559  10863 |        0 |        0
184.66/184.74	c  184s |      23 |  3007016 |  2340538 |      559  10938 |        0 |        0
186.66/186.75	c  186s |      23 |  3031779 |  2361038 |      559  11010 |        0 |        0
188.66/188.75	c  188s |      23 |  3054776 |  2381238 |      559  11080 |        0 |        0
190.66/190.75	c  190s |      23 |  3080202 |  2402538 |      559  11154 |        0 |        0
192.67/192.76	c  192s |      23 |  3107762 |  2424938 |      559  11232 |        0 |        0
194.66/194.77	c  194s |      23 |  3130881 |  2444838 |      559  11301 |        0 |        0
196.66/196.77	c  196s |      23 |  3155959 |  2465138 |      559  11371 |        0 |        0
198.66/198.78	c  198s |      23 |  3180404 |  2485438 |      559  11442 |        0 |        0
200.65/200.78	c  200s |      23 |  3206447 |  2506738 |      559  11515 |        0 |        0
202.65/202.78	c  202s |      23 |  3234456 |  2529538 |      559  11595 |        0 |        0
204.66/204.79	c  204s |      23 |  3260238 |  2551038 |      559  11670 |        0 |        0
206.75/206.80	c  206s |      23 |  3288472 |  2573638 |      559  11749 |        0 |        0
208.75/208.80	c  208s |      23 |  3315116 |  2595638 |      559  11826 |        0 |        0
210.76/210.80	c  210s |      23 |  3343415 |  2618438 |      559  11905 |        0 |        0
212.76/212.81	c  212s |      23 |  3372123 |  2641438 |      559  11986 |        0 |        0
214.76/214.81	c  214s |      23 |  3400114 |  2664238 |      559  12065 |        0 |        0
216.77/216.82	c  216s |      23 |  3423919 |  2684438 |      559  12136 |        0 |        0
218.76/218.83	c  218s |      23 |  3446946 |  2704238 |      559  12204 |        0 |        0
220.76/220.83	c  220s |      23 |  3471583 |  2725338 |      559  12277 |        0 |        0
222.76/222.84	c  222s |      23 |  3494611 |  2745438 |      559  12347 |        0 |        0
224.76/224.85	c  224s |      23 |  3518434 |  2765738 |      559  12417 |        0 |        0
226.76/226.86	c  226s |      23 |  3543671 |  2786738 |      559  12490 |        0 |        0
228.76/228.86	c  228s |      23 |  3568043 |  2807338 |      559  12562 |        0 |        0
230.75/230.87	c  230s |      23 |  3593877 |  2828538 |      559  12635 |        0 |        0
232.75/232.87	c  232s |      23 |  3621568 |  2850438 |      559  12711 |        0 |        0
234.75/234.88	c  234s |      23 |  3649652 |  2872938 |      559  12790 |        0 |        0
236.75/236.88	c  236s |      23 |  3677268 |  2894838 |      559  12866 |        0 |        0
238.76/238.89	c  238s |      23 |  3706589 |  2917238 |      559  12944 |        0 |        0
240.75/240.90	c  240s |      23 |  3739088 |  2941738 |      559  13030 |        0 |        0
242.85/242.90	c  242s |      23 |  3770896 |  2966038 |      559  13115 |        0 |        0
244.85/244.91	c  244s |      23 |  3801476 |  2989638 |      559  13198 |        0 |        0
246.85/246.91	c  246s |      23 |  3833337 |  3013738 |      559  13283 |        0 |        0
248.85/248.91	c  248s |      23 |  3859763 |  3035538 |      559  13359 |        0 |        0
250.86/250.91	c  250s |      23 |  3886897 |  3057538 |      559  13436 |        0 |        0
252.85/252.92	c  252s |      23 |  3917354 |  3081138 |      559  13518 |        0 |        0
254.85/254.92	c  254s |      23 |  3949895 |  3105638 |      559  13604 |        0 |        0
256.85/256.93	c  256s |      23 |  3980909 |  3129138 |      559  13686 |        0 |        0
258.85/258.94	c  258s |      23 |  4007179 |  3150838 |      559  13762 |        0 |        0
260.86/260.95	c  260s |      23 |  4031162 |  3171338 |      559  13833 |        0 |        0
262.85/262.95	c  262s |      23 |  4057225 |  3192338 |      559  13906 |        0 |        0
264.85/264.96	c  264s |      23 |  4082972 |  3213738 |      559  13980 |        0 |        0
266.85/266.97	c  266s |      23 |  4107623 |  3234538 |      559  14053 |        0 |        0
268.85/268.98	c  268s |      23 |  4133708 |  3255838 |      559  14127 |        0 |        0
270.85/270.98	c  270s |      23 |  4158362 |  3276538 |      559  14200 |        0 |        0
272.85/272.98	c  272s |      23 |  4183443 |  3297738 |      559  14273 |        0 |        0
274.84/274.99	c  274s |      23 |  4209933 |  3319638 |      559  14350 |        0 |        0
276.84/276.99	c  276s |      23 |  4235452 |  3340538 |      559  14423 |        0 |        0
278.84/279.00	c  278s |      23 |  4261336 |  3361738 |      615  14493 |        0 |        0
280.34/280.42	c  280s |      24 |  4279530 |  3376662 |      615  14541 |        0 |        0
282.34/282.42	c  282s |      24 |  4306272 |  3397962 |      615  14608 |        0 |        0
284.35/284.43	c  284s |      24 |  4331971 |  3418762 |      615  14674 |        0 |        0
286.35/286.44	c  286s |      24 |  4357949 |  3439862 |      615  14741 |        0 |        0
288.35/288.44	c  288s |      24 |  4383745 |  3460962 |      615  14807 |        0 |        0
290.35/290.45	c  290s |      24 |  4413471 |  3483462 |      615  14879 |        0 |        0
292.35/292.45	c  292s |      24 |  4438463 |  3503662 |      615  14942 |        0 |        0
294.35/294.46	c  294s |      24 |  4463540 |  3524062 |      615  15007 |        0 |        0
296.35/296.46	c  296s |      24 |  4491871 |  3546062 |      615  15077 |        0 |        0
298.34/298.47	c  298s |      24 |  4519571 |  3567662 |      615  15146 |        0 |        0
300.35/300.47	c  300s |      24 |  4546846 |  3589762 |      615  15216 |        0 |        0
302.34/302.47	c  302s |      24 |  4577850 |  3613262 |      615  15291 |        0 |        0
304.34/304.48	c  304s |      24 |  4606836 |  3635762 |      615  15363 |        0 |        0
306.34/306.48	c  306s |      24 |  4631754 |  3656462 |      615  15428 |        0 |        0
308.34/308.49	c  308s |      24 |  4656267 |  3676962 |      615  15492 |        0 |        0
310.44/310.50	c  310s |      24 |  4680374 |  3697362 |      615  15556 |        0 |        0
312.34/312.50	c  312s |      24 |  4703155 |  3716662 |      615  15617 |        0 |        0
314.44/314.51	c  314s |      24 |  4729980 |  3737762 |      615  15683 |        0 |        0
316.44/316.51	c  316s |      24 |  4754548 |  3758162 |      615  15748 |        0 |        0
318.44/318.51	c  318s |      24 |  4781270 |  3779462 |      615  15815 |        0 |        0
320.44/320.51	c  320s |      24 |  4808772 |  3800962 |      615  15883 |        0 |        0
322.45/322.52	c  322s |      24 |  4838095 |  3823462 |      615  15955 |        0 |        0
324.44/324.52	c  324s |      24 |  4866710 |  3845662 |      615  16025 |        0 |        0
326.44/326.53	c  326s |      24 |  4896985 |  3868562 |      615  16097 |        0 |        0
328.44/328.53	c  328s |      24 |  4928892 |  3892562 |      615  16174 |        0 |        0
330.44/330.53	c  330s |      24 |  4960957 |  3915562 |      615  16247 |        0 |        0
332.44/332.54	c  332s |      24 |  4988629 |  3937162 |      615  16315 |        0 |        0
334.44/334.55	c  334s |      24 |  5015506 |  3958262 |      615  16382 |        0 |        0
336.43/336.55	c  336s |      24 |  5041322 |  3979362 |      615  16449 |        0 |        0
338.43/338.55	c  338s |      24 |  5066257 |  4000162 |      615  16515 |        0 |        0
340.43/340.56	c  340s |      24 |  5090359 |  4020862 |      615  16581 |        0 |        0
342.43/342.56	c  342s |      24 |  5117635 |  4042562 |      615  16650 |        0 |        0
344.44/344.56	c  344s |      24 |  5145371 |  4064562 |      615  16720 |        0 |        0
346.43/346.57	c  346s |      24 |  5173322 |  4086162 |      615  16789 |        0 |        0
348.42/348.57	c  348s |      24 |  5199577 |  4107962 |      615  16859 |        0 |        0
350.42/350.57	c  350s |      24 |  5226718 |  4130062 |      615  16929 |        0 |        0
352.42/352.57	c  352s |      24 |  5251791 |  4151262 |      615  16997 |        0 |        0
354.42/354.58	c  354s |      24 |  5278943 |  4173462 |      615  17067 |        0 |        0
356.43/356.58	c  356s |      24 |  5307062 |  4195762 |      615  17139 |        0 |        0
358.42/358.59	c  358s |      24 |  5332126 |  4216762 |      615  17206 |        0 |        0
360.42/360.59	c  360s |      24 |  5358231 |  4238262 |      615  17274 |        0 |        0
362.52/362.60	c  362s |      24 |  5382248 |  4258762 |      615  17340 |        0 |        0
364.52/364.60	c  364s |      24 |  5410472 |  4280862 |      615  17410 |        0 |        0
366.51/366.61	c  366s |      24 |  5434905 |  4301462 |      615  17476 |        0 |        0
368.53/368.62	c  368s |      24 |  5459872 |  4322462 |      615  17543 |        0 |        0
370.52/370.62	c  370s |      24 |  5486756 |  4344162 |      615  17613 |        0 |        0
372.52/372.63	c  372s |      24 |  5513612 |  4366162 |      615  17683 |        0 |        0
374.52/374.63	c  374s |      24 |  5541237 |  4388262 |      615  17753 |        0 |        0
376.52/376.64	c  376s |      24 |  5566797 |  4409762 |      615  17822 |        0 |        0
378.52/378.64	c  378s |      24 |  5593055 |  4431262 |      615  17891 |        0 |        0
380.52/380.65	c  380s |      24 |  5617845 |  4452062 |      615  17957 |        0 |        0
382.52/382.65	c  382s |      24 |  5642460 |  4472662 |      615  18022 |        0 |        0
384.51/384.65	c  384s |      24 |  5671076 |  4494962 |      615  18093 |        0 |        0
386.51/386.66	c  386s |      24 |  5701137 |  4518062 |      615  18167 |        0 |        0
388.51/388.66	c  388s |      24 |  5730775 |  4541262 |      615  18241 |        0 |        0
390.51/390.66	c  390s |      24 |  5756162 |  4562162 |      615  18308 |        0 |        0
392.51/392.66	c  392s |      24 |  5784490 |  4584562 |      615  18379 |        0 |        0
394.51/394.67	c  394s |      24 |  5814376 |  4607862 |      615  18454 |        0 |        0
396.51/396.67	c  396s |      24 |  5841195 |  4629462 |      615  18522 |        0 |        0
398.51/398.68	c  398s |      24 |  5865115 |  4649562 |      615  18586 |        0 |        0
400.51/400.68	c  400s |      24 |  5893045 |  4671762 |      615  18657 |        0 |        0
402.50/402.68	c  402s |      24 |  5919891 |  4693562 |      615  18727 |        0 |        0
404.50/404.69	c  404s |      24 |  5944750 |  4714262 |      615  18793 |        0 |        0
406.51/406.69	c  406s |      24 |  5973089 |  4736762 |      615  18865 |        0 |        0
408.51/408.69	c  408s |      24 |  6000801 |  4758862 |      615  18936 |        0 |        0
410.61/410.70	c  410s |      24 |  6028291 |  4780662 |      615  19005 |        0 |        0
412.62/412.71	c  412s |      24 |  6052201 |  4801262 |      615  19071 |        0 |        0
414.61/414.71	c  414s |      24 |  6077955 |  4822762 |      615  19140 |        0 |        0
416.60/416.71	c  416s |      24 |  6105022 |  4844662 |      615  19210 |        0 |        0
418.60/418.72	c  418s |      24 |  6130687 |  4865962 |      615  19279 |        0 |        0
420.60/420.72	c  420s |      24 |  6158385 |  4888262 |      615  19350 |        0 |        0
422.60/422.73	c  422s |      24 |  6187463 |  4910862 |      615  19423 |        0 |        0
424.61/424.74	c  424s |      24 |  6215616 |  4933162 |      615  19494 |        0 |        0
426.60/426.74	c  426s |      24 |  6242941 |  4955362 |      615  19564 |        0 |        0
428.59/428.74	c  428s |      24 |  6270084 |  4977562 |      615  19635 |        0 |        0
430.59/430.75	c  430s |      24 |  6296960 |  4999762 |      615  19706 |        0 |        0
432.59/432.75	c  432s |      24 |  6325246 |  5022162 |      615  19777 |        0 |        0
434.60/434.76	c  434s |      24 |  6350506 |  5042862 |      677  19839 |        0 |        0
436.59/436.76	c  436s |      24 |  6380376 |  5065062 |      677  19903 |        0 |        0
436.59/436.76	c  436s |      25 |  6380425 |  5065098 |      677  19903 |        0 |        0
438.59/438.77	c  438s |      25 |  6410234 |  5087198 |      677  19967 |        0 |        0
440.60/440.77	c  440s |      25 |  6438293 |  5109098 |      677  20030 |        0 |        0
442.59/442.78	c  442s |      25 |  6468815 |  5132198 |      677  20097 |        0 |        0
444.59/444.78	c  444s |      25 |  6497878 |  5154598 |      677  20162 |        0 |        0
446.60/446.79	c  446s |      25 |  6525041 |  5175998 |      677  20224 |        0 |        0
448.59/448.79	c  448s |      25 |  6552643 |  5197698 |      677  20287 |        0 |        0
450.59/450.79	c  450s |      25 |  6580515 |  5219298 |      677  20349 |        0 |        0
452.69/452.80	c  452s |      25 |  6609400 |  5241798 |      677  20414 |        0 |        0
454.68/454.80	c  454s |      25 |  6635868 |  5262998 |      677  20476 |        0 |        0
456.68/456.80	c  456s |      25 |  6663150 |  5283998 |      677  20537 |        0 |        0
458.69/458.81	c  458s |      25 |  6688259 |  5304398 |      677  20596 |        0 |        0
460.68/460.81	c  460s |      25 |  6711168 |  5323798 |      677  20652 |        0 |        0
462.68/462.82	c  462s |      25 |  6737963 |  5345198 |      677  20714 |        0 |        0
464.68/464.82	c  464s |      25 |  6766332 |  5367098 |      677  20778 |        0 |        0
466.68/466.82	c  466s |      25 |  6795232 |  5389798 |      677  20843 |        0 |        0
468.68/468.83	c  468s |      25 |  6825510 |  5412698 |      677  20909 |        0 |        0
470.68/470.83	c  470s |      25 |  6854538 |  5435198 |      677  20975 |        0 |        0
472.68/472.83	c  472s |      25 |  6882665 |  5457598 |      677  21039 |        0 |        0
474.67/474.84	c  474s |      25 |  6907969 |  5478698 |      677  21100 |        0 |        0
476.67/476.84	c  476s |      25 |  6936079 |  5500998 |      677  21165 |        0 |        0
478.68/478.85	c  478s |      25 |  6963892 |  5523698 |      677  21231 |        0 |        0
480.69/480.85	c  480s |      25 |  6989547 |  5544198 |      677  21290 |        0 |        0
482.68/482.85	c  482s |      25 |  7014783 |  5564898 |      677  21350 |        0 |        0
484.68/484.86	c  484s |      25 |  7038116 |  5584498 |      677  21407 |        0 |        0
486.68/486.86	c  486s |      25 |  7061547 |  5604098 |      677  21464 |        0 |        0
488.68/488.87	c  488s |      25 |  7087818 |  5625098 |      677  21525 |        0 |        0
490.68/490.87	c  490s |      25 |  7115286 |  5646898 |      677  21588 |        0 |        0
492.68/492.88	c  492s |      25 |  7144588 |  5669698 |      677  21654 |        0 |        0
494.67/494.88	c  494s |      25 |  7173054 |  5692198 |      677  21720 |        0 |        0
496.67/496.88	c  496s |      25 |  7202543 |  5714798 |      677  21786 |        0 |        0
498.67/498.88	c  498s |      25 |  7229338 |  5736298 |      677  21848 |        0 |        0
500.67/500.89	c  500s |      25 |  7252867 |  5756398 |      677  21906 |        0 |        0
502.68/502.89	c  502s |      25 |  7277827 |  5777198 |      677  21966 |        0 |        0
504.77/504.90	c  504s |      25 |  7303947 |  5798698 |      677  22029 |        0 |        0
506.77/506.91	c  506s |      25 |  7328648 |  5819598 |      677  22090 |        0 |        0
508.76/508.91	c  508s |      25 |  7353969 |  5840198 |      677  22149 |        0 |        0
510.76/510.92	c  510s |      25 |  7380635 |  5861798 |      677  22212 |        0 |        0
512.76/512.93	c  512s |      25 |  7409484 |  5883998 |      677  22277 |        0 |        0
514.77/514.94	c  514s |      25 |  7436495 |  5905898 |      677  22340 |        0 |        0
516.76/516.95	c  516s |      25 |  7466742 |  5929298 |      677  22408 |        0 |        0
518.76/518.95	c  518s |      25 |  7496715 |  5952398 |      677  22475 |        0 |        0
520.76/520.95	c  520s |      25 |  7526576 |  5975598 |      677  22542 |        0 |        0
522.76/522.95	c  522s |      25 |  7558000 |  5999398 |      677  22611 |        0 |        0
524.76/524.95	c  524s |      25 |  7585517 |  6021498 |      677  22676 |        0 |        0
526.75/526.96	c  526s |      25 |  7613876 |  6043698 |      677  22740 |        0 |        0
528.75/528.96	c  528s |      25 |  7642050 |  6065498 |      677  22804 |        0 |        0
530.75/530.96	c  530s |      25 |  7670860 |  6088198 |      677  22870 |        0 |        0
532.76/532.97	c  532s |      25 |  7696793 |  6109698 |      677  22932 |        0 |        0
534.76/534.97	c  534s |      25 |  7721276 |  6130498 |      677  22992 |        0 |        0
536.76/536.98	c  536s |      25 |  7747862 |  6152198 |      677  23055 |        0 |        0
538.75/538.98	c  538s |      25 |  7776501 |  6174998 |      677  23122 |        0 |        0
540.75/540.98	c  540s |      25 |  7805690 |  6198198 |      677  23189 |        0 |        0
542.75/542.98	c  542s |      25 |  7832025 |  6219798 |      677  23252 |        0 |        0
544.75/544.99	c  544s |      25 |  7858382 |  6241098 |      677  23313 |        0 |        0
546.75/546.99	c  546s |      25 |  7883304 |  6261398 |      677  23372 |        0 |        0
548.75/549.00	c  548s |      25 |  7910680 |  6283298 |      677  23436 |        0 |        0
550.85/551.01	c  550s |      25 |  7939959 |  6305598 |      677  23501 |        0 |        0
552.85/553.01	c  553s |      25 |  7968892 |  6328098 |      677  23566 |        0 |        0
554.85/555.02	c  555s |      25 |  7995098 |  6348998 |      677  23626 |        0 |        0
556.84/557.02	c  557s |      25 |  8022202 |  6370298 |      677  23688 |        0 |        0
558.85/559.03	c  559s |      25 |  8052092 |  6392798 |      677  23754 |        0 |        0
560.84/561.03	c  561s |      25 |  8079956 |  6414998 |      677  23818 |        0 |        0
562.84/563.03	c  563s |      25 |  8107861 |  6437798 |      677  23884 |        0 |        0
564.84/565.04	c  565s |      25 |  8137628 |  6461098 |      677  23952 |        0 |        0
566.84/567.04	c  567s |      25 |  8168320 |  6484998 |      677  24022 |        0 |        0
568.83/569.04	c  569s |      25 |  8196315 |  6507398 |      677  24087 |        0 |        0
570.84/571.05	c  571s |      25 |  8221406 |  6528298 |      677  24148 |        0 |        0
572.83/573.05	c  573s |      25 |  8248572 |  6550098 |      677  24212 |        0 |        0
574.83/575.06	c  575s |      25 |  8279371 |  6573798 |      677  24281 |        0 |        0
576.83/577.06	c  577s |      25 |  8309088 |  6596798 |      677  24347 |        0 |        0
578.83/579.07	c  579s |      25 |  8338658 |  6619298 |      677  24413 |        0 |        0
580.83/581.07	c  581s |      25 |  8367068 |  6641498 |      677  24477 |        0 |        0
582.83/583.08	c  583s |      25 |  8395238 |  6663598 |      677  24541 |        0 |        0
584.83/585.09	c  585s |      25 |  8424423 |  6686198 |      677  24607 |        0 |        0
586.92/587.10	c  587s |      25 |  8449768 |  6707298 |      677  24668 |        0 |        0
588.92/589.11	c  589s |      25 |  8474798 |  6727998 |      677  24728 |        0 |        0
590.93/591.11	c  591s |      25 |  8500668 |  6748998 |      677  24789 |        0 |        0
592.94/593.11	c  593s |      25 |  8527634 |  6770898 |      677  24853 |        0 |        0
594.93/595.12	c  595s |      25 |  8554344 |  6793098 |      677  24917 |        0 |        0
596.92/597.12	c  597s |      25 |  8582457 |  6815498 |      677  24982 |        0 |        0
598.92/599.12	c  599s |      25 |  8610283 |  6837598 |      677  25047 |        0 |        0
600.92/601.13	c  601s |      25 |  8640066 |  6860398 |      677  25113 |        0 |        0
602.92/603.13	c  603s |      25 |  8670011 |  6883498 |      677  25181 |        0 |        0
604.93/605.13	c  605s |      25 |  8699344 |  6906298 |      677  25247 |        0 |        0
606.92/607.14	c  607s |      25 |  8728980 |  6929698 |      677  25314 |        0 |        0
608.92/609.14	c  609s |      25 |  8756354 |  6952198 |      677  25379 |        0 |        0
610.92/611.14	c  611s |      25 |  8782897 |  6973898 |      677  25442 |        0 |        0
612.92/613.14	c  613s |      25 |  8810338 |  6996198 |      677  25506 |        0 |        0
614.92/615.15	c  615s |      25 |  8839896 |  7019298 |      677  25573 |        0 |        0
616.91/617.15	c  617s |      25 |  8869448 |  7042298 |      677  25639 |        0 |        0
618.91/619.15	c  619s |      25 |  8897421 |  7064698 |      677  25704 |        0 |        0
620.91/621.16	c  621s |      25 |  8925624 |  7087398 |      677  25770 |        0 |        0
622.91/623.17	c  623s |      25 |  8952392 |  7109198 |      677  25833 |        0 |        0
624.91/625.18	c  625s |      25 |  8978672 |  7130898 |      677  25896 |        0 |        0
626.91/627.18	c  627s |      25 |  9004443 |  7152298 |      677  25958 |        0 |        0
628.90/629.18	c  629s |      25 |  9032714 |  7174798 |      677  26023 |        0 |        0
630.90/631.19	c  631s |      25 |  9058022 |  7195798 |      677  26083 |        0 |        0
632.90/633.19	c  633s |      25 |  9085109 |  7217598 |      677  26146 |        0 |        0
635.00/635.20	c  635s |      25 |  9114493 |  7240398 |      677  26212 |        0 |        0
637.00/637.20	c  637s |      25 |  9140782 |  7261898 |      677  26274 |        0 |        0
639.01/639.21	c  639s |      25 |  9167717 |  7283898 |      677  26338 |        0 |        0
641.01/641.21	c  641s |      25 |  9195129 |  7305398 |      677  26400 |        0 |        0
643.01/643.21	c  643s |      25 |  9223322 |  7327898 |      677  26465 |        0 |        0
645.01/645.22	c  645s |      25 |  9250854 |  7349898 |      677  26529 |        0 |        0
647.00/647.22	c  647s |      25 |  9276692 |  7371298 |      677  26591 |        0 |        0
649.01/649.23	c  649s |      25 |  9305574 |  7393998 |      677  26657 |        0 |        0
651.00/651.24	c  651s |      25 |  9335435 |  7417198 |      677  26724 |        0 |        0
653.00/653.24	c  653s |      25 |  9363799 |  7439598 |      677  26789 |        0 |        0
655.00/655.24	c  655s |      25 |  9392734 |  7462198 |      677  26855 |        0 |        0
657.00/657.25	c  657s |      25 |  9421948 |  7485298 |      677  26922 |        0 |        0
658.99/659.25	c  659s |      25 |  9451681 |  7508498 |      677  26990 |        0 |        0
661.00/661.25	c  661s |      25 |  9484338 |  7533098 |      677  27062 |        0 |        0
662.99/663.25	c  663s |      25 |  9514754 |  7556398 |      745  27126 |        0 |        0
664.99/665.26	c  665s |      25 |  9545413 |  7579698 |      745  27188 |        0 |        0
666.60/666.83	c  666s |      26 |  9568479 |  7597752 |      745  27235 |        0 |        0
668.59/668.83	c  668s |      26 |  9600803 |  7621752 |      745  27299 |        0 |        0
670.59/670.84	c  670s |      26 |  9631713 |  7645652 |      745  27362 |        0 |        0
672.59/672.84	c  672s |      26 |  9666410 |  7670352 |      745  27427 |        0 |        0
674.59/674.84	c  674s |      26 |  9698610 |  7694452 |      745  27491 |        0 |        0
676.58/676.85	c  676s |      26 |  9728520 |  7716852 |      745  27550 |        0 |        0
678.59/678.85	c  678s |      26 |  9760012 |  7740152 |      745  27611 |        0 |        0
680.58/680.86	c  680s |      26 |  9790851 |  7763552 |      745  27673 |        0 |        0
682.58/682.86	c  682s |      26 |  9821876 |  7787052 |      745  27736 |        0 |        0
684.58/684.86	c  684s |      26 |  9855415 |  7811552 |      745  27801 |        0 |        0
686.57/686.87	c  686s |      26 |  9884131 |  7834152 |      745  27860 |        0 |        0
688.59/688.87	c  688s |      26 |  9913336 |  7857152 |      745  27922 |        0 |        0
690.58/690.88	c  690s |      26 |  9942320 |  7880452 |      745  27984 |        0 |        0
692.58/692.88	c  692s |      26 |  9974614 |  7904652 |      745  28048 |        0 |        0
694.58/694.89	c  694s |      26 | 10006398 |  7928252 |      745  28110 |        0 |        0
696.58/696.89	c  696s |      26 | 10038486 |  7952152 |      745  28173 |        0 |        0
698.57/698.89	c  698s |      26 | 10069259 |  7975652 |      745  28236 |        0 |        0
700.58/700.90	c  700s |      26 | 10098802 |  7998352 |      745  28296 |        0 |        0
702.67/702.91	c  702s |      26 | 10127837 |  8020752 |      745  28355 |        0 |        0
704.67/704.91	c  704s |      26 | 10155486 |  8042252 |      745  28412 |        0 |        0
706.67/706.91	c  706s |      26 | 10184250 |  8064952 |      745  28472 |        0 |        0
708.67/708.92	c  708s |      26 | 10210811 |  8086552 |      745  28529 |        0 |        0
710.67/710.92	c  710s |      26 | 10239318 |  8108652 |      745  28588 |        0 |        0
712.67/712.92	c  712s |      26 | 10269759 |  8131652 |      745  28649 |        0 |        0
714.67/714.92	c  714s |      26 | 10300693 |  8155052 |      745  28711 |        0 |        0
716.66/716.93	c  716s |      26 | 10332021 |  8178752 |      745  28774 |        0 |        0
718.66/718.94	c  718s |      26 | 10363603 |  8202652 |      745  28837 |        0 |        0
720.66/720.94	c  720s |      26 | 10390748 |  8224352 |      745  28895 |        0 |        0
722.67/722.94	c  722s |      26 | 10419146 |  8246652 |      745  28954 |        0 |        0
724.66/724.95	c  724s |      26 | 10450736 |  8270452 |      745  29017 |        0 |        0
726.66/726.95	c  726s |      26 | 10485774 |  8295552 |      745  29084 |        0 |        0
728.66/728.96	c  728s |      26 | 10517769 |  8319652 |      745  29148 |        0 |        0
730.66/730.96	c  730s |      26 | 10545576 |  8341952 |      745  29207 |        0 |        0
732.66/732.97	c  732s |      26 | 10571964 |  8363052 |      745  29262 |        0 |        0
734.67/734.97	c  734s |      26 | 10599489 |  8384852 |      745  29320 |        0 |        0
736.66/736.98	c  736s |      26 | 10625111 |  8406052 |      745  29376 |        0 |        0
738.66/738.98	c  738s |      26 | 10652400 |  8428052 |      745  29434 |        0 |        0
740.66/740.98	c  740s |      26 | 10678253 |  8449052 |      745  29489 |        0 |        0
742.66/742.99	c  742s |      26 | 10704673 |  8470252 |      745  29545 |        0 |        0
744.66/744.99	c  744s |      26 | 10731440 |  8491552 |      745  29601 |        0 |        0
746.65/746.99	c  746s |      26 | 10758580 |  8513452 |      745  29659 |        0 |        0
748.75/749.00	c  748s |      26 | 10785845 |  8535252 |      745  29717 |        0 |        0
750.75/751.01	c  750s |      26 | 10811935 |  8556952 |      745  29774 |        0 |        0
752.75/753.01	c  752s |      26 | 10841638 |  8580052 |      745  29835 |        0 |        0
754.75/755.02	c  755s |      26 | 10872571 |  8603952 |      745  29899 |        0 |        0
756.75/757.02	c  757s |      26 | 10904510 |  8627952 |      745  29962 |        0 |        0
758.74/759.03	c  759s |      26 | 10936018 |  8651552 |      745  30025 |        0 |        0
760.74/761.03	c  761s |      26 | 10964033 |  8673352 |      745  30083 |        0 |        0
762.74/763.04	c  763s |      26 | 10993280 |  8695952 |      745  30143 |        0 |        0
764.74/765.04	c  765s |      26 | 11019908 |  8717652 |      745  30200 |        0 |        0
766.74/767.04	c  767s |      26 | 11049279 |  8740452 |      745  30261 |        0 |        0
768.74/769.05	c  769s |      26 | 11081395 |  8764652 |      745  30325 |        0 |        0
770.73/771.05	c  771s |      26 | 11114491 |  8789252 |      745  30390 |        0 |        0
772.73/773.06	c  773s |      26 | 11144789 |  8812352 |      745  30452 |        0 |        0
774.73/775.07	c  775s |      26 | 11175121 |  8835452 |      745  30513 |        0 |        0
776.73/777.07	c  777s |      26 | 11207013 |  8859152 |      745  30576 |        0 |        0
778.74/779.08	c  779s |      26 | 11233464 |  8880552 |      745  30633 |        0 |        0
780.74/781.09	c  781s |      26 | 11261699 |  8902952 |      745  30692 |        0 |        0
782.74/783.09	c  783s |      26 | 11292673 |  8926952 |      745  30756 |        0 |        0
784.84/785.10	c  785s |      26 | 11319607 |  8949152 |      745  30815 |        0 |        0
786.83/787.10	c  787s |      26 | 11347535 |  8971252 |      745  30873 |        0 |        0
788.83/789.10	c  789s |      26 | 11374409 |  8992752 |      745  30930 |        0 |        0
790.84/791.11	c  791s |      26 | 11404025 |  9015652 |      745  30991 |        0 |        0
792.83/793.12	c  793s |      26 | 11432383 |  9038252 |      745  31051 |        0 |        0
794.83/795.12	c  795s |      26 | 11460598 |  9060852 |      745  31111 |        0 |        0
796.83/797.13	c  797s |      26 | 11490205 |  9084152 |      745  31173 |        0 |        0
798.83/799.13	c  799s |      26 | 11522846 |  9108652 |      745  31238 |        0 |        0
800.83/801.13	c  801s |      26 | 11549590 |  9130752 |      745  31297 |        0 |        0
802.83/803.13	c  803s |      26 | 11581863 |  9154552 |      745  31360 |        0 |        0
804.83/805.13	c  805s |      26 | 11610100 |  9177252 |      745  31421 |        0 |        0
806.82/807.14	c  807s |      26 | 11640384 |  9201052 |      745  31484 |        0 |        0
808.82/809.15	c  809s |      26 | 11671723 |  9224852 |      745  31547 |        0 |        0
810.82/811.15	c  811s |      26 | 11700971 |  9247252 |      745  31607 |        0 |        0
812.83/813.16	c  813s |      26 | 11733005 |  9271452 |      745  31671 |        0 |        0
814.82/815.16	c  815s |      26 | 11761902 |  9293952 |      745  31731 |        0 |        0
816.82/817.17	c  817s |      26 | 11793137 |  9317752 |      745  31794 |        0 |        0
818.82/819.17	c  819s |      26 | 11825007 |  9341752 |      745  31858 |        0 |        0
820.82/821.17	c  821s |      26 | 11856362 |  9365552 |      745  31922 |        0 |        0
822.82/823.17	c  823s |      26 | 11887986 |  9389552 |      745  31986 |        0 |        0
824.82/825.18	c  825s |      26 | 11920755 |  9414352 |      745  32052 |        0 |        0
826.81/827.18	c  827s |      26 | 11947761 |  9436252 |      745  32109 |        0 |        0
828.81/829.18	c  829s |      26 | 11974164 |  9457452 |      745  32165 |        0 |        0
830.81/831.18	c  831s |      26 | 12004126 |  9480552 |      745  32226 |        0 |        0
832.81/833.18	c  833s |      26 | 12031337 |  9502052 |      745  32282 |        0 |        0
834.82/835.19	c  835s |      26 | 12057694 |  9523252 |      745  32338 |        0 |        0
836.82/837.19	c  837s |      26 | 12085833 |  9545352 |      745  32396 |        0 |        0
838.82/839.19	c  839s |      26 | 12116999 |  9568952 |      745  32458 |        0 |        0
840.92/841.20	c  841s |      26 | 12145042 |  9591252 |      745  32517 |        0 |        0
842.91/843.21	c  843s |      26 | 12173830 |  9613952 |      745  32576 |        0 |        0
844.91/845.21	c  845s |      26 | 12202674 |  9636752 |      745  32637 |        0 |        0
846.92/847.22	c  847s |      26 | 12234052 |  9660552 |      745  32700 |        0 |        0
848.91/849.22	c  849s |      26 | 12265694 |  9684752 |      745  32764 |        0 |        0
850.91/851.22	c  851s |      26 | 12295578 |  9707952 |      745  32826 |        0 |        0
852.91/853.23	c  853s |      26 | 12325808 |  9731252 |      745  32888 |        0 |        0
854.91/855.24	c  855s |      26 | 12357330 |  9755452 |      745  32952 |        0 |        0
856.90/857.24	c  857s |      26 | 12386465 |  9778152 |      745  33012 |        0 |        0
858.91/859.25	c  859s |      26 | 12415291 |  9800752 |      745  33072 |        0 |        0
860.90/861.25	c  861s |      26 | 12445905 |  9823552 |      745  33132 |        0 |        0
862.90/863.26	c  863s |      26 | 12473872 |  9845752 |      745  33191 |        0 |        0
864.90/865.26	c  865s |      26 | 12501035 |  9867452 |      745  33248 |        0 |        0
866.90/867.26	c  867s |      26 | 12528591 |  9889452 |      745  33306 |        0 |        0
868.90/869.27	c  869s |      26 | 12556162 |  9911352 |      745  33364 |        0 |        0
870.90/871.27	c  871s |      26 | 12586904 |  9934352 |      745  33425 |        0 |        0
872.90/873.28	c  873s |      26 | 12618456 |  9957952 |      745  33487 |        0 |        0
874.89/875.28	c  875s |      26 | 12646767 |  9980452 |      745  33547 |        0 |        0
876.89/877.29	c  877s |      26 | 12676739 | 10003252 |      745  33607 |        0 |        0
878.89/879.29	c  879s |      26 | 12703385 | 10024652 |      745  33664 |        0 |        0
880.90/881.30	c  881s |      26 | 12729916 | 10046252 |      745  33721 |        0 |        0
882.99/883.30	c  883s |      26 | 12755330 | 10067252 |      745  33777 |        0 |        0
885.00/885.31	c  885s |      26 | 12781339 | 10088752 |      745  33834 |        0 |        0
886.99/887.31	c  887s |      26 | 12808668 | 10110652 |      745  33892 |        0 |        0
888.99/889.32	c  889s |      26 | 12837021 | 10132952 |      745  33951 |        0 |        0
890.99/891.32	c  891s |      26 | 12863555 | 10154352 |      745  34007 |        0 |        0
892.99/893.33	c  893s |      26 | 12890305 | 10176052 |      745  34064 |        0 |        0
894.99/895.33	c  895s |      26 | 12917547 | 10198052 |      745  34122 |        0 |        0
896.98/897.33	c  897s |      26 | 12946838 | 10220852 |      745  34181 |        0 |        0
898.98/899.34	c  899s |      26 | 12974334 | 10242952 |      745  34240 |        0 |        0
900.98/901.34	c  901s |      26 | 13000832 | 10264352 |      745  34296 |        0 |        0
902.99/903.35	c  903s |      26 | 13029668 | 10286652 |      745  34355 |        0 |        0
904.98/905.35	c  905s |      26 | 13055283 | 10307252 |      745  34409 |        0 |        0
906.98/907.35	c  907s |      26 | 13079886 | 10327652 |      745  34462 |        0 |        0
908.98/909.35	c  909s |      26 | 13106692 | 10348852 |      745  34518 |        0 |        0
910.98/911.36	c  911s |      26 | 13130880 | 10368852 |      745  34571 |        0 |        0
912.97/913.37	c  913s |      26 | 13159187 | 10390752 |      745  34629 |        0 |        0
914.98/915.37	c  915s |      26 | 13187739 | 10412952 |      745  34687 |        0 |        0
916.97/917.37	c  917s |      26 | 13214209 | 10434352 |      745  34744 |        0 |        0
918.97/919.38	c  919s |      26 | 13241150 | 10455952 |      745  34801 |        0 |        0
920.97/921.39	c  921s |      26 | 13269072 | 10478152 |      745  34859 |        0 |        0
922.97/923.39	c  923s |      26 | 13294597 | 10499052 |      745  34914 |        0 |        0
924.97/925.39	c  925s |      26 | 13320662 | 10520352 |      745  34970 |        0 |        0
926.97/927.40	c  927s |      26 | 13349192 | 10542652 |      745  35029 |        0 |        0
929.07/929.40	c  929s |      26 | 13376517 | 10564352 |      745  35087 |        0 |        0
931.07/931.40	c  931s |      26 | 13402491 | 10585652 |      745  35143 |        0 |        0
933.07/933.40	c  933s |      26 | 13434548 | 10609652 |      745  35206 |        0 |        0
935.07/935.41	c  935s |      26 | 13462466 | 10632052 |      745  35265 |        0 |        0
937.08/937.41	c  937s |      26 | 13490964 | 10654952 |      745  35326 |        0 |        0
939.07/939.41	c  939s |      26 | 13518873 | 10677352 |      745  35385 |        0 |        0
941.07/941.42	c  941s |      26 | 13544954 | 10698552 |      745  35441 |        0 |        0
943.07/943.42	c  943s |      26 | 13572029 | 10719952 |      745  35497 |        0 |        0
945.07/945.42	c  945s |      26 | 13600097 | 10741452 |      745  35554 |        0 |        0
947.06/947.43	c  947s |      26 | 13627684 | 10763452 |      745  35612 |        0 |        0
949.07/949.44	c  949s |      26 | 13653710 | 10784652 |      745  35668 |        0 |        0
951.06/951.44	c  951s |      26 | 13678735 | 10805052 |      745  35722 |        0 |        0
953.06/953.44	c  953s |      26 | 13703903 | 10825352 |      745  35775 |        0 |        0
955.06/955.45	c  955s |      26 | 13730284 | 10846652 |      745  35832 |        0 |        0
957.05/957.45	c  957s |      26 | 13761221 | 10870252 |      745  35894 |        0 |        0
959.06/959.45	c  959s |      26 | 13791060 | 10893552 |      745  35955 |        0 |        0
961.05/961.46	c  961s |      26 | 13820602 | 10916352 |      745  36016 |        0 |        0
963.05/963.46	c  963s |      26 | 13854411 | 10941152 |      745  36081 |        0 |        0
965.05/965.47	c  965s |      26 | 13885048 | 10964752 |      745  36143 |        0 |        0
967.05/967.47	c  967s |      26 | 13913189 | 10987452 |      745  36203 |        0 |        0
969.05/969.47	c  969s |      26 | 13943484 | 11010852 |      745  36264 |        0 |        0
971.05/971.48	c  971s |      26 | 13970718 | 11032552 |      745  36321 |        0 |        0
973.05/973.48	c  973s |      26 | 13998537 | 11054952 |      745  36380 |        0 |        0
975.05/975.49	c  975s |      26 | 14028765 | 11078452 |      745  36442 |        0 |        0
977.04/977.49	c  977s |      26 | 14058736 | 11101252 |      745  36501 |        1 |        0
979.04/979.49	c  979s |      26 | 14089992 | 11123952 |      745  36561 |        1 |        0
981.05/981.49	c  981s |      26 | 14114757 | 11144352 |      745  36614 |        1 |        0
983.04/983.50	c  983s |      26 | 14141278 | 11166052 |      745  36671 |        1 |        0
985.14/985.50	c  985s |      26 | 14165978 | 11186652 |      745  36726 |        1 |        0
987.14/987.51	c  987s |      26 | 14193681 | 11208252 |      745  36782 |        1 |        0
989.14/989.51	c  989s |      26 | 14224520 | 11231952 |      745  36845 |        1 |        0
991.14/991.52	c  991s |      26 | 14253237 | 11254752 |      745  36905 |        1 |        0
993.14/993.52	c  993s |      26 | 14283443 | 11277852 |      745  36966 |        1 |        0
995.14/995.52	c  995s |      26 | 14313601 | 11301052 |      745  37028 |        1 |        0
997.14/997.52	c  997s |      26 | 14342101 | 11323452 |      820  37085 |        1 |        0
999.14/999.53	c  999s |      26 | 14371028 | 11346252 |      820  37140 |        1 |        0
1001.14/1001.54	c 1001s |      26 | 14400649 | 11369252 |      820  37195 |        1 |        0
1003.14/1003.54	c 1003s |      26 | 14426906 | 11390652 |      820  37246 |        1 |        0
1003.74/1004.14	c 1004s |      27 | 14433902 | 11396733 |      820  37261 |        1 |        0
1005.74/1006.14	c 1006s |      27 | 14463570 | 11419533 |      820  37316 |        1 |        0
1007.74/1008.15	c 1008s |      27 | 14494090 | 11442433 |      820  37371 |        1 |        0
1009.74/1010.15	c 1010s |      27 | 14525331 | 11465633 |      820  37426 |        1 |        0
1011.74/1012.16	c 1012s |      27 | 14556653 | 11488933 |      820  37482 |        1 |        0
1013.74/1014.16	c 1014s |      27 | 14586059 | 11511433 |      820  37536 |        1 |        0
1015.74/1016.17	c 1016s |      27 | 14614595 | 11533733 |      820  37590 |        1 |        0
1017.74/1018.17	c 1018s |      27 | 14642836 | 11556433 |      820  37644 |        1 |        0
1019.74/1020.17	c 1020s |      27 | 14672562 | 11579533 |      820  37700 |        1 |        0
1021.74/1022.17	c 1022s |      27 | 14702939 | 11602533 |      820  37755 |        1 |        0
1023.73/1024.18	c 1024s |      27 | 14732113 | 11625033 |      820  37809 |        1 |        0
1025.73/1026.19	c 1026s |      27 | 14760608 | 11647533 |      820  37864 |        1 |        0
1027.73/1028.19	c 1028s |      27 | 14787522 | 11669433 |      820  37917 |        1 |        0
1029.83/1030.20	c 1030s |      27 | 14814117 | 11690933 |      820  37968 |        1 |        0
1031.83/1032.20	c 1032s |      27 | 14839368 | 11711733 |      820  38018 |        1 |        0
1033.84/1034.20	c 1034s |      27 | 14865784 | 11733033 |      820  38069 |        1 |        0
1035.83/1036.21	c 1036s |      27 | 14892323 | 11754533 |      820  38121 |        1 |        0
1037.83/1038.22	c 1038s |      27 | 14918268 | 11775633 |      820  38171 |        1 |        0
1039.83/1040.23	c 1040s |      27 | 14945863 | 11797233 |      820  38223 |        1 |        0
1041.83/1042.23	c 1042s |      27 | 14972886 | 11819033 |      820  38276 |        1 |        0
1043.83/1044.24	c 1044s |      27 | 15002150 | 11842133 |      820  38332 |        1 |        0
1045.84/1046.25	c 1046s |      27 | 15032293 | 11865233 |      820  38387 |        1 |        0
1047.84/1048.25	c 1048s |      27 | 15059187 | 11887133 |      820  38440 |        1 |        0
1049.84/1050.26	c 1050s |      27 | 15087679 | 11909333 |      820  38494 |        1 |        0
1051.84/1052.26	c 1052s |      27 | 15115191 | 11931133 |      820  38546 |        1 |        0
1053.84/1054.27	c 1054s |      27 | 15145639 | 11953833 |      820  38601 |        1 |        0
1055.84/1056.28	c 1056s |      27 | 15174086 | 11975933 |      820  38654 |        1 |        0
1057.84/1058.28	c 1058s |      27 | 15207364 | 12000233 |      820  38713 |        1 |        0
1059.83/1060.28	c 1060s |      27 | 15236829 | 12023333 |      820  38768 |        1 |        0
1061.83/1062.29	c 1062s |      27 | 15266172 | 12046333 |      820  38824 |        1 |        0
1063.83/1064.29	c 1064s |      27 | 15292273 | 12067633 |      820  38875 |        1 |        0
1065.93/1066.30	c 1066s |      27 | 15320549 | 12090433 |      820  38930 |        1 |        0
1067.84/1068.30	c 1068s |      27 | 15349704 | 12113033 |      820  38985 |        1 |        0
1069.93/1070.31	c 1070s |      27 | 15380345 | 12136333 |      820  39041 |        1 |        0
1071.93/1072.31	c 1072s |      27 | 15409916 | 12159633 |      820  39098 |        1 |        0
1073.93/1074.32	c 1074s |      27 | 15438004 | 12181033 |      820  39149 |        1 |        0
1075.93/1076.32	c 1076s |      27 | 15466309 | 12203033 |      820  39202 |        1 |        0
1077.93/1078.33	c 1078s |      27 | 15494538 | 12225333 |      820  39255 |        1 |        0
1079.94/1080.34	c 1080s |      27 | 15524047 | 12248133 |      820  39310 |        1 |        0
1081.93/1082.34	c 1082s |      27 | 15554479 | 12271633 |      820  39366 |        1 |        0
1083.93/1084.35	c 1084s |      27 | 15583825 | 12294333 |      820  39421 |        1 |        0
1085.93/1086.35	c 1086s |      27 | 15613052 | 12316433 |      820  39474 |        1 |        0
1087.93/1088.36	c 1088s |      27 | 15640126 | 12337433 |      820  39524 |        1 |        0
1089.93/1090.36	c 1090s |      27 | 15669264 | 12359533 |      820  39577 |        1 |        0
1091.93/1092.37	c 1092s |      27 | 15696157 | 12380833 |      820  39628 |        1 |        0
1093.93/1094.37	c 1094s |      27 | 15723231 | 12402233 |      820  39679 |        1 |        0
1095.93/1096.37	c 1096s |      27 | 15749628 | 12423533 |      820  39730 |        1 |        0
1097.92/1098.38	c 1098s |      27 | 15773369 | 12443733 |      820  39779 |        1 |        0
1099.92/1100.38	c 1100s |      27 | 15796571 | 12463733 |      820  39826 |        1 |        0
1101.93/1102.39	c 1102s |      27 | 15822737 | 12484833 |      820  39877 |        1 |        0
1103.92/1104.39	c 1104s |      27 | 15848444 | 12505633 |      820  39926 |        1 |        0
1105.92/1106.39	c 1106s |      27 | 15875918 | 12526833 |      820  39977 |        1 |        0
1108.02/1108.40	c 1108s |      27 | 15903856 | 12548433 |      820  40029 |        1 |        0
1110.02/1110.40	c 1110s |      27 | 15932479 | 12570433 |      820  40082 |        1 |        0
1112.02/1112.41	c 1112s |      27 | 15957274 | 12590633 |      820  40130 |        1 |        0
1114.02/1114.41	c 1114s |      27 | 15983082 | 12611033 |      820  40179 |        1 |        0
1116.02/1116.41	c 1116s |      27 | 16008977 | 12631633 |      820  40228 |        1 |        0
1118.02/1118.42	c 1118s |      27 | 16033465 | 12651433 |      820  40275 |        1 |        0
1120.02/1120.43	c 1120s |      27 | 16059648 | 12672233 |      820  40325 |        1 |        0
1122.03/1122.43	c 1122s |      27 | 16085486 | 12692933 |      820  40375 |        1 |        0
1124.03/1124.44	c 1124s |      27 | 16108510 | 12712233 |      820  40421 |        1 |        0
1126.02/1126.45	c 1126s |      27 | 16135130 | 12733233 |      820  40471 |        1 |        0
1128.02/1128.45	c 1128s |      27 | 16159163 | 12753433 |      820  40519 |        1 |        0
1130.02/1130.46	c 1130s |      27 | 16183779 | 12773733 |      820  40567 |        1 |        0
1132.02/1132.47	c 1132s |      27 | 16208075 | 12793733 |      820  40615 |        1 |        0
1134.02/1134.47	c 1134s |      27 | 16234371 | 12814633 |      820  40665 |        1 |        0
1136.03/1136.47	c 1136s |      27 | 16260008 | 12835133 |      820  40714 |        1 |        0
1138.02/1138.48	c 1138s |      27 | 16285345 | 12855733 |      820  40763 |        2 |        0
1140.02/1140.48	c 1140s |      27 | 16311731 | 12877133 |      820  40814 |        2 |        0
1142.02/1142.48	c 1142s |      27 | 16337857 | 12898133 |      820  40864 |        2 |        0
1144.02/1144.49	c 1144s |      27 | 16362439 | 12918633 |      820  40913 |        2 |        0
1146.02/1146.49	c 1146s |      27 | 16388405 | 12939433 |      820  40963 |        2 |        0
1148.02/1148.50	c 1148s |      27 | 16413342 | 12959733 |      820  41012 |        2 |        0
1150.12/1150.50	c 1150s |      27 | 16435785 | 12978733 |      820  41057 |        2 |        0
1152.11/1152.51	c 1152s |      27 | 16458950 | 12998133 |      820  41103 |        2 |        0
1154.11/1154.52	c 1154s |      27 | 16485005 | 13019033 |      820  41154 |        2 |        0
1156.11/1156.52	c 1156s |      27 | 16513636 | 13041633 |      820  41208 |        2 |        0
1158.12/1158.53	c 1158s |      27 | 16541116 | 13063533 |      820  41260 |        2 |        0
1160.11/1160.53	c 1160s |      27 | 16570404 | 13086233 |      820  41315 |        2 |        0
1162.11/1162.54	c 1162s |      27 | 16601279 | 13109433 |      820  41371 |        2 |        0
1164.11/1164.55	c 1164s |      27 | 16629858 | 13131833 |      820  41425 |        2 |        0
1166.11/1166.55	c 1166s |      27 | 16657506 | 13153333 |      820  41476 |        2 |        0
1168.11/1168.56	c 1168s |      27 | 16685354 | 13174833 |      820  41528 |        2 |        0
1170.12/1170.57	c 1170s |      27 | 16713172 | 13197233 |      820  41581 |        2 |        0
1172.11/1172.57	c 1172s |      27 | 16742765 | 13220333 |      820  41637 |        2 |        0
1174.12/1174.58	c 1174s |      27 | 16772364 | 13243433 |      820  41693 |        2 |        0
1176.12/1176.59	c 1176s |      27 | 16798458 | 13264733 |      820  41744 |        2 |        0
1178.12/1178.59	c 1178s |      27 | 16824415 | 13285633 |      820  41794 |        2 |        0
1180.22/1180.60	c 1180s |      27 | 16851691 | 13307133 |      820  41845 |        2 |        0
1182.22/1182.61	c 1182s |      27 | 16877961 | 13327833 |      820  41895 |        2 |        0
1184.22/1184.61	c 1184s |      27 | 16903078 | 13348433 |      820  41944 |        2 |        0
1186.22/1186.61	c 1186s |      27 | 16927070 | 13368533 |      820  41992 |        2 |        0
1188.22/1188.61	c 1188s |      27 | 16949775 | 13388233 |      820  42040 |        2 |        0
1190.21/1190.62	c 1190s |      27 | 16972788 | 13407733 |      820  42086 |        2 |        0
1192.22/1192.62	c 1192s |      27 | 16997235 | 13428333 |      820  42135 |        2 |        0
1194.21/1194.63	c 1194s |      27 | 17024214 | 13450033 |      820  42187 |        2 |        0
1196.21/1196.63	c 1196s |      27 | 17050243 | 13471233 |      820  42238 |        2 |        0
1198.21/1198.64	c 1198s |      27 | 17075377 | 13492033 |      820  42288 |        2 |        0
1200.21/1200.64	c 1200s |      27 | 17100405 | 13512633 |      820  42337 |        2 |        0
1202.21/1202.65	c 1202s |      27 | 17127019 | 13533933 |      820  42389 |        2 |        0
1204.21/1204.65	c 1204s |      27 | 17154382 | 13555833 |      820  42441 |        2 |        0
1206.21/1206.65	c 1206s |      27 | 17182361 | 13577733 |      820  42494 |        2 |        0
1208.21/1208.66	c 1208s |      27 | 17206115 | 13597633 |      820  42541 |        2 |        0
1210.21/1210.66	c 1210s |      27 | 17231956 | 13618933 |      820  42593 |        2 |        0
1212.20/1212.67	c 1212s |      27 | 17260697 | 13641533 |      820  42647 |        2 |        0
1214.21/1214.67	c 1214s |      27 | 17288944 | 13663933 |      820  42701 |        2 |        0
1216.20/1216.68	c 1216s |      27 | 17316401 | 13685733 |      820  42753 |        2 |        0
1218.20/1218.69	c 1218s |      27 | 17344592 | 13707833 |      820  42806 |        2 |        0
1220.21/1220.69	c 1220s |      27 | 17372008 | 13729733 |      820  42858 |        2 |        0
1222.21/1222.70	c 1222s |      27 | 17401381 | 13752533 |      820  42912 |        2 |        0
1224.31/1224.71	c 1224s |      27 | 17428818 | 13774433 |      820  42965 |        2 |        0
1226.32/1226.71	c 1226s |      27 | 17452404 | 13794833 |      820  43013 |        3 |        0
1228.31/1228.71	c 1228s |      27 | 17478510 | 13816433 |      820  43065 |        3 |        0
1230.31/1230.71	c 1230s |      27 | 17504226 | 13837833 |      820  43116 |        3 |        0
1232.31/1232.71	c 1232s |      27 | 17528776 | 13858033 |      820  43165 |        3 |        0
1234.31/1234.72	c 1234s |      27 | 17557436 | 13880433 |      820  43218 |        3 |        0
1236.31/1236.72	c 1236s |      27 | 17586074 | 13902933 |      820  43272 |        3 |        0
1238.31/1238.73	c 1238s |      27 | 17612688 | 13924533 |      820  43324 |        3 |        0
1240.30/1240.74	c 1240s |      27 | 17640742 | 13946533 |      820  43377 |        3 |        0
1242.30/1242.74	c 1242s |      27 | 17668007 | 13968333 |      820  43429 |        3 |        0
1244.30/1244.75	c 1244s |      27 | 17694281 | 13989833 |      820  43480 |        3 |        0
1246.30/1246.76	c 1246s |      27 | 17718288 | 14010533 |      820  43530 |        3 |        0
1248.31/1248.76	c 1248s |      27 | 17745033 | 14032433 |      820  43583 |        3 |        0
1250.30/1250.76	c 1250s |      27 | 17770363 | 14053433 |      820  43633 |        3 |        0
1252.30/1252.77	c 1252s |      27 | 17796354 | 14074433 |      820  43683 |        3 |        0
1254.30/1254.78	c 1254s |      27 | 17821594 | 14095233 |      820  43733 |        3 |        0
1256.30/1256.78	c 1256s |      27 | 17846898 | 14116133 |      820  43783 |        3 |        0
1258.30/1258.79	c 1258s |      27 | 17872516 | 14137533 |      820  43834 |        3 |        0
1260.30/1260.80	c 1260s |      27 | 17900068 | 14159533 |      820  43886 |        3 |        0
1262.40/1262.80	c 1262s |      27 | 17927330 | 14181433 |      820  43938 |        3 |        0
1264.40/1264.80	c 1264s |      27 | 17957568 | 14204233 |      820  43992 |        4 |        0
1266.39/1266.81	c 1266s |      27 | 17982921 | 14224733 |      820  44041 |        4 |        0
1268.39/1268.81	c 1268s |      27 | 18006904 | 14244933 |      820  44089 |        4 |        0
1270.39/1270.82	c 1270s |      27 | 18033148 | 14266233 |      820  44140 |        4 |        0
1272.40/1272.82	c 1272s |      27 | 18056914 | 14286033 |      820  44187 |        4 |        0
1274.39/1274.83	c 1274s |      27 | 18083757 | 14307533 |      820  44238 |        4 |        0
1276.39/1276.84	c 1276s |      27 | 18113382 | 14330233 |      820  44293 |        4 |        0
1278.40/1278.84	c 1278s |      27 | 18141892 | 14352933 |      820  44347 |        4 |        0
1280.40/1280.85	c 1280s |      27 | 18170620 | 14375833 |      820  44402 |        4 |        0
1282.41/1282.85	c 1282s |      27 | 18202667 | 14399933 |      820  44460 |        4 |        0
1284.40/1284.85	c 1284s |      27 | 18233009 | 14423433 |      820  44516 |        4 |        0
1286.40/1286.86	c 1286s |      27 | 18263353 | 14447133 |      820  44574 |        4 |        0
1288.40/1288.87	c 1288s |      27 | 18294930 | 14470733 |      820  44630 |        4 |        0
1290.40/1290.87	c 1290s |      27 | 18326110 | 14494733 |      820  44688 |        4 |        0
1292.40/1292.88	c 1292s |      27 | 18354648 | 14517633 |      820  44742 |        4 |        0
1294.41/1294.88	c 1294s |      27 | 18383538 | 14540533 |      820  44797 |        4 |        0
1296.40/1296.88	c 1296s |      27 | 18412858 | 14564033 |      820  44852 |        5 |        0
1298.40/1298.89	c 1298s |      27 | 18443133 | 14587533 |      820  44908 |        5 |        0
1300.40/1300.89	c 1300s |      27 | 18471599 | 14610333 |      820  44963 |        5 |        0
1302.50/1302.90	c 1302s |      27 | 18500803 | 14633333 |      820  45018 |        5 |        0
1304.49/1304.91	c 1304s |      27 | 18528295 | 14656033 |      820  45072 |        5 |        0
1306.50/1306.91	c 1306s |      27 | 18558726 | 14679733 |      820  45129 |        5 |        0
1308.49/1308.91	c 1308s |      27 | 18590881 | 14704033 |      820  45186 |        6 |        0
1310.49/1310.91	c 1310s |      27 | 18620542 | 14727133 |      820  45242 |        6 |        0
1312.49/1312.91	c 1312s |      27 | 18647808 | 14749433 |      820  45294 |        7 |        0
1314.49/1314.91	c 1314s |      27 | 18676683 | 14772433 |      820  45349 |        7 |        0
1316.49/1316.92	c 1316s |      27 | 18706221 | 14795933 |      820  45404 |        8 |        0
1318.50/1318.93	c 1318s |      27 | 18734070 | 14818833 |      820  45458 |        9 |        0
1319.60/1320.08	c 1320s |      27 | 18750300 | 14832013 |      820  45485 |       41 |       14
1319.60/1320.08	c #cpu_time = 1316.465s
1319.60/1320.08	c #wall_clock_time = 1320.069s
1319.60/1320.08	c #decision = 18750300
1319.60/1320.08	c #random_decision = 75484
1319.60/1320.08	c #conflict = 14832013
1319.60/1320.08	c #restart = 27
1319.60/1320.08	s UNSATISFIABLE
1319.60/1320.08	c total CPU time = 1316.479s
1319.60/1320.08	c total wall clock time = 1320.083s

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

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

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


[startup+0 s]
/proc/loadavg: 2.30 2.30 2.27 3/179 19968
/proc/meminfo: memFree=27269860/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 2816 0 0 0 0 0 0 0 20 0 4 0 12704873 771158016 2667 33554432000 4194304 16246674 140736294840368 140736294839792 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 188783 2676 441 2943 0 185677 0
[pid=19968/tid=19969] ppid=19965 vsize=770492 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 788983808 2735 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=774588 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 793178112 2752 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=779708 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704873 798420992 2769 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10015 s]
/proc/loadavg: 2.30 2.30 2.27 3/179 19968
/proc/meminfo: memFree=27269860/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 25068 0 0 0 6 3 0 0 20 0 4 0 12704873 1247350784 24907 33554432000 4194304 16246674 140736294840368 140736294839792 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 304529 24915 706 2943 0 301423 0
[pid=19968/tid=19969] ppid=19965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1247350784 24919 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1247350784 24924 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704873 1247350784 24930 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.2005 s]
/proc/loadavg: 2.30 2.30 2.27 3/179 19968
/proc/meminfo: memFree=27269860/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 48328 0 0 0 13 6 0 0 20 0 4 0 12704873 1247350784 48168 33554432000 4194304 16246674 140736294840368 140736294839792 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 304529 48178 706 2943 0 301423 0
[pid=19968/tid=19969] ppid=19965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1247350784 48185 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1247350784 48192 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704873 1247350784 48197 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300418 s]
/proc/loadavg: 2.30 2.30 2.27 3/179 19968
/proc/meminfo: memFree=27269860/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 71192 0 0 0 20 9 0 0 20 0 4 0 12704873 1247350784 71031 33554432000 4194304 16246674 140736294840368 140736294839792 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 304529 71042 706 2943 0 301423 0
[pid=19968/tid=19969] ppid=19965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1247350784 71048 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1247350784 71054 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704873 1247350784 71059 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700417 s]
/proc/loadavg: 2.30 2.30 2.27 3/179 19968
/proc/meminfo: memFree=27269860/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 161281 0 0 0 48 21 0 0 20 0 4 0 12704873 1247350784 161120 33554432000 4194304 16246674 140736294840368 140736294839792 5707789 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 304529 161134 707 2943 0 301423 0
[pid=19968/tid=19969] ppid=19965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1247350784 161142 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1247350784 161148 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12704873 1247350784 161153 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.30 2.30 2.27 3/183 19972
/proc/meminfo: memFree=26289608/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 245468 0 0 0 117 32 0 0 20 0 4 0 12704873 1247350784 245287 33554432000 4194304 16246674 140736294840368 140736294839680 5553704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 304529 245287 783 2943 0 301423 0
[pid=19968/tid=19969] ppid=19965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1247350784 245287 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1247350784 245287 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1247350784 245287 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10036 s]
/proc/loadavg: 2.35 2.31 2.28 3/183 19972
/proc/meminfo: memFree=26201320/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 267391 0 0 0 273 35 0 0 20 0 4 0 12704873 1337528320 267210 33554432000 4194304 16246674 140736294840368 140736294823368 5545984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 326545 267210 783 2943 0 323439 0
[pid=19968/tid=19969] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267210 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267210 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267210 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.35 2.31 2.28 3/183 19972
/proc/meminfo: memFree=26200656/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 267405 0 0 0 593 35 0 0 20 0 4 0 12704873 1337528320 267224 33554432000 4194304 16246674 140736294840368 140736294823368 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 326545 267224 783 2943 0 323439 0
[pid=19968/tid=19969] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267224 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267224 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267224 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.30 2.30 2.27 3/183 19972
/proc/meminfo: memFree=26200364/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 267406 0 0 0 1233 36 0 0 20 0 4 0 12704873 1337528320 267225 33554432000 4194304 16246674 140736294840368 140736294823368 5808149 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 326545 267225 783 2943 0 323439 0
[pid=19968/tid=19969] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267225 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267225 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267225 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5073 s]
/proc/loadavg: 2.25 2.29 2.27 4/183 19972
/proc/meminfo: memFree=26201008/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 267418 0 0 0 2513 36 0 0 20 0 4 0 12704873 1337528320 267237 33554432000 4194304 16246674 140736294840368 140736294823368 5546190 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 326545 267237 783 2943 0 323439 0
[pid=19968/tid=19969] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267237 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267237 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267237 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.28 2.30 2.27 3/183 19972
/proc/meminfo: memFree=26200104/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 267425 0 0 0 5071 37 0 0 20 0 4 0 12704873 1337528320 267244 33554432000 4194304 16246674 140736294840368 140736294823368 8224776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 326545 267244 785 2943 0 323439 0
[pid=19968/tid=19969] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267244 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267244 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267244 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.17 2.27 2.26 3/183 19973
/proc/meminfo: memFree=26200272/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 267450 0 0 0 10190 38 0 0 20 0 4 0 12704873 1337528320 267269 33554432000 4194304 16246674 140736294840368 140736294823368 6011672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 326545 267269 785 2943 0 323439 0
[pid=19968/tid=19969] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267269 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267269 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267269 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 267916 0 0 0 118131 61 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140736294823368 5823170 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 326545 267361 786 2943 0 323439 0
[pid=19968/tid=19969] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1306180

[startup+1242.3 s]
/proc/loadavg: 1.23 1.30 1.62 3/173 20033
/proc/meminfo: memFree=27288276/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1306180 CPUtime=1241.9 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 267916 0 0 0 124128 62 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140736294822272 13191685 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 326545 267361 786 2943 0 323439 0
[pid=19968/tid=19969] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1306180

[startup+1302.3 s]
/proc/loadavg: 1.21 1.28 1.59 2/173 20034
/proc/meminfo: memFree=27288340/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1306180 CPUtime=1301.9 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 267916 0 0 0 130127 63 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140736294822272 5723721 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 326545 267361 786 2943 0 323439 0
[pid=19968/tid=19969] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1306180

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

[startup+1305.7 s]
/proc/loadavg: 1.19 1.28 1.59 3/173 20034
/proc/meminfo: memFree=27288340/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1306180 CPUtime=1305.29 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 267916 0 0 0 130466 63 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140736294823368 5677392 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 326545 267361 786 2943 0 323439 0
[pid=19968/tid=19969] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1305.29
Current children cumulated vsize (KiB) 1306180

[startup+1312.1 s]
/proc/loadavg: 1.26 1.29 1.59 2/173 20034
/proc/meminfo: memFree=27288340/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1306180 CPUtime=1311.69 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 267916 0 0 0 131106 63 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140736294822272 5668720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 326545 267361 786 2943 0 323439 0
[pid=19968/tid=19969] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1311.69
Current children cumulated vsize (KiB) 1306180

[startup+1315.3 s]
/proc/loadavg: 1.24 1.28 1.59 2/173 20034
/proc/meminfo: memFree=27288340/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1306180 CPUtime=1314.89 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 267916 0 0 0 131426 63 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140736294822272 5707646 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 326545 267361 786 2943 0 323439 0
[pid=19968/tid=19969] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1314.89
Current children cumulated vsize (KiB) 1306180

[startup+1318.5 s]
/proc/loadavg: 1.22 1.28 1.58 2/173 20034
/proc/meminfo: memFree=27288340/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1306180 CPUtime=1318.1 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 267916 0 0 0 131746 64 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140736294823368 5667424 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 326545 267361 786 2943 0 323439 0
[pid=19968/tid=19969] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1318.1
Current children cumulated vsize (KiB) 1306180

[startup+1319.3 s]
/proc/loadavg: 1.22 1.28 1.58 2/173 20034
/proc/meminfo: memFree=27288340/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1306180 CPUtime=1318.9 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 267916 0 0 0 131826 64 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140736294822272 5824045 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 326545 267361 786 2943 0 323439 0
[pid=19968/tid=19969] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1318.9
Current children cumulated vsize (KiB) 1306180

[startup+1319.7 s]
/proc/loadavg: 1.22 1.28 1.58 2/173 20034
/proc/meminfo: memFree=27288340/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1306180 CPUtime=1319.3 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 267916 0 0 0 131866 64 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140736294822272 12483667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 326545 267361 786 2943 0 323439 0
[pid=19968/tid=19969] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1319.3
Current children cumulated vsize (KiB) 1306180

[startup+1319.9 s]
/proc/loadavg: 1.22 1.28 1.58 2/173 20034
/proc/meminfo: memFree=27288340/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1306180 CPUtime=1319.5 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 267916 0 0 0 131886 64 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140736294822272 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 326545 267361 786 2943 0 323439 0
[pid=19968/tid=19969] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1319.5
Current children cumulated vsize (KiB) 1306180

[startup+1320 s]
/proc/loadavg: 1.22 1.28 1.58 2/173 20034
/proc/meminfo: memFree=27288340/32872528 swapFree=1590004/1720820
[pid=19968] ppid=19965 vsize=1306180 CPUtime=1319.6 cores=0,2,4,6
/proc/19968/stat : 19968 (toysat) R 19965 19968 13693 0 -1 4202496 267916 0 0 0 131896 64 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140736294823368 13818309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19968/statm: 326545 267361 786 2943 0 323439 0
[pid=19968/tid=19969] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19969/stat : 19969 (toysat) S 19965 19968 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314812591344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19968/tid=19970] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19970/stat : 19970 (toysat) S 19965 19968 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314802101488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19968/tid=19971] ppid=19965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19968/task/19971/stat : 19971 (toysat) S 19965 19968 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12704873 1337528320 267361 33554432000 4194304 16246674 140736294840368 140314791627952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1319.6
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 1320.09
CPU time (s): 1319.69
CPU user time (s): 1319.04
CPU system time (s): 0.643902
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1319.04
system time used= 0.643902
maximum resident set size= 1069464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267922
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= 393
involuntary context switches= 1436

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72028 second user time and 5.59115 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-30 22:11:04
IDJOB=4122738
IDBENCH=111313
IDSOLVER=2542
FILE ID=node120/4122738-1467317463
RUNJOBID= node120-1467312316-18592
PBS_JOBID= 20005266
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-22.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122738-1467317463/watcher-4122738-1467317463 -o /tmp/evaluation-result-4122738-1467317463/solver-4122738-1467317463 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467312316-18592 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122738-1467317463.opb

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

MD5SUM BENCH= 48e4ca5eb96557b414df8aff2a396713
RANDOM SEED=1328290650

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27270404 kB
Buffers:          172012 kB
Cached:          1881564 kB
SwapCached:            0 kB
Active:          1368784 kB
Inactive:        1766312 kB
Active(anon):    1084076 kB
Inactive(anon):        0 kB
Active(file):     284708 kB
Inactive(file):  1766312 kB
Unevictable:     1720820 kB
Mlocked:         1590004 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16560 kB
Writeback:             0 kB
AnonPages:       2804236 kB
Mapped:            17128 kB
Shmem:               204 kB
Slab:             612332 kB
SReclaimable:      56208 kB
SUnreclaim:       556124 kB
KernelStack:        1472 kB
PageTables:         9732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2938384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 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 node120 at 2016-06-30 22:33:04