Trace number 4122346

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 1269.33 1269.74

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n24-d4-i1.cnf.gz-plain.pb.metafix.opb
MD5SUM1ae2225652fcf7a6a91e552282c81dc6
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 benchmark609.877
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables97
Total number of constraints204
Number of constraints which are clauses204
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-30T21:54:40+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-4122346-1467316480.opb"]
0.00/0.01	c use --random-gen="1469167680 2341790595 899593274 1352219482 483896798 3929953483 1821150020 3483373253 1817385887 634415951 3576666770 1418887696 1004193343 1289002731 1408077851 3974921955 828128326 2771665281 4071784368 4147555320 1598270097 1810401532 1770519890 1530753753 3521107700 1453536878 2092413443 2782577181 2912072595 4130694277 1602273174 220944287 2480662104 3650424731 1599339214 982282166 3207563917 2888121641 2607236450 717193506 225627261 3246017497 3200980462 537381748 1995459522 43397113 256738290 3247268751 3327748633 548792242 3472331349 1087820690 3080036817 984492840 251688663 28496170 846389481 1672763435 833321690 2078042373 2962906026 2080837600 3652221039 732475592 2605079102 4233262590 2583269825 3999358770 2918665109 1900504296 1295210370 2816343654 950037794 1364103829 795908449 4022810274 1114889319 2860422153 732852757 1570303254 1445852649 3670952047 409313484 1419696154 878461539 2917998912 4001164949 972915070 1096357797 3380159018 2667971086 1662962793 3854117653 1073717908 687711381 1949775262 3090617393 3404025819 1774406575 3196134682 2251851509 798833205 1600426569 2791070054 1514895417 241926709 757241759 4214623807 1036374618 3966313249 4201741399 3587046927 722856509 740303765 2679016071 1559876750 4235113563 3369571430 832267219 80498936 3017268619 2545285744 313956033 3884412218 3479358391 1225861862 2009617548 3689501002 3164751754 1904126848 3282384311 588492923 1931307209 508456190 3746482657 1905505357 562870447 1295794072 1731972877 4168108384 2849781485 2418990474 678276100 1014401642 3024849239 4243083921 3920422072 3179242805 3004126024 366330796 1871233661 216734322 2653680205 548256345 1952293422 1373593000 1936479610 1178066786 469861320 388582372 1533662284 3393995869 3765369237 3488610361 302787115 2810469205 3039119631 3995529590 1765892684 4132105088 1417873885 3399669271 479050924 2542145204 2371742038 528302584 254202582 1662456893 1547359695 1678412841 3500652451 426592554 4267243580 2097704387 778858547 1334197246 97087725 91383102 2392307331 4145687666 271631587 318204195 597212617 2501103600 2357739561 1519264579 3284091735 1692518924 4286752161 3785619772 2776728528 2589119324 1337625389 581185957 1895548717 2342902043 1269271110 571806638 3167790628 3192976228 1329307704 259018137 1961598222 57825101 2191385865 1930191242 2346244817 32547408 4107920825 491535416 832587253 2238143090 1978987924 2686440753 3422175760 2506461920 2370012445 3579800668 816890792 3716439570 4088608623 621929990 2717751283 1512055273 2088050002 2544773205 2857721853 2518559446 865704911 541276685 1408430228 3970570834 1053512044 715005281 882631261 3064616198 769867294 1263172598 1636104005 349059958 783242883 1706851910 2004547350 1856718470 239821765 1072049644 255 362436" option to reproduce the execution
0.00/0.01	c #vars 97
0.00/0.01	c #constraints 204
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 |      100      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      129 |      100 |      100      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      333 |      250 |      111      2 |        0 |        0
0.00/0.06	c  0.0s |       3 |      711 |      475 |      123      5 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1182 |      813 |      136      8 |        0 |        0
0.09/0.14	c  0.1s |       5 |     1930 |     1320 |      150     14 |        0 |        0
0.19/0.23	c  0.2s |       6 |     2872 |     2081 |      182     22 |        0 |        0
0.29/0.34	c  0.3s |       7 |     4677 |     3223 |      201     34 |        0 |        0
0.49/0.53	c  0.5s |       8 |     6880 |     4936 |      222     49 |        0 |        0
0.69/0.79	c  0.8s |       9 |    10936 |     7506 |      245     70 |        0 |        0
1.10/1.14	c  1.1s |      10 |    16067 |    11361 |      270     99 |        0 |        0
1.59/1.63	c  1.6s |      11 |    23174 |    17144 |      297    139 |        0 |        0
2.30/2.35	c  2.3s |      12 |    34824 |    25819 |      327    193 |        0 |        0
3.30/3.37	c  3.4s |      13 |    52806 |    38832 |      360    268 |        0 |        0
4.89/4.91	c  4.9s |      14 |    78350 |    58352 |      397    371 |        0 |        0
6.89/6.91	c  6.9s |      14 |   112160 |    83452 |      397    492 |        0 |        0
7.19/7.27	c  7.3s |      15 |   117317 |    87632 |      437    512 |        0 |        0
9.19/9.27	c  9.3s |      15 |   144501 |   110432 |      437    611 |        0 |        0
11.00/11.07	c 11.1s |      16 |   171180 |   131552 |      481    704 |        0 |        0
12.99/13.08	c 13.1s |      16 |   202054 |   155552 |      481    800 |        0 |        0
14.99/15.08	c 15.1s |      16 |   230325 |   178652 |      481    893 |        0 |        0
16.60/16.63	c 16.6s |      17 |   253552 |   197432 |      530    968 |        0 |        0
18.59/18.64	c 18.6s |      17 |   287637 |   222232 |      530   1059 |        0 |        0
20.59/20.64	c 20.6s |      17 |   318875 |   246432 |      530   1148 |        0 |        0
22.58/22.65	c 22.6s |      17 |   353009 |   271632 |      530   1240 |        0 |        0
24.58/24.65	c 24.6s |      17 |   382800 |   295232 |      583   1326 |        0 |        0
24.68/24.74	c 24.7s |      18 |   384172 |   296252 |      583   1330 |        0 |        0
26.68/26.74	c 26.7s |      18 |   416321 |   320152 |      583   1409 |        0 |        0
28.69/28.75	c 28.7s |      18 |   444721 |   343352 |      583   1487 |        0 |        0
30.69/30.76	c 30.7s |      18 |   473105 |   366552 |      583   1564 |        0 |        0
32.69/32.76	c 32.7s |      18 |   501688 |   389552 |      583   1641 |        0 |        0
34.69/34.77	c 34.8s |      18 |   527899 |   411152 |      583   1713 |        0 |        0
36.69/36.77	c 36.8s |      18 |   558317 |   435252 |      583   1794 |        0 |        0
37.59/37.62	c 37.6s |      19 |   569340 |   444482 |      642   1824 |        0 |        0
39.59/39.63	c 39.6s |      19 |   600713 |   468382 |      642   1896 |        0 |        0
41.58/41.63	c 41.6s |      19 |   632597 |   491782 |      642   1967 |        0 |        0
43.58/43.63	c 43.6s |      19 |   663267 |   514982 |      642   2038 |        0 |        0
45.58/45.64	c 45.6s |      19 |   692902 |   537582 |      642   2107 |        0 |        0
47.58/47.64	c 47.6s |      19 |   717370 |   558482 |      642   2170 |        0 |        0
49.59/49.64	c 49.6s |      19 |   745480 |   580882 |      642   2239 |        0 |        0
51.58/51.64	c 51.6s |      19 |   774172 |   603982 |      642   2309 |        0 |        0
53.58/53.65	c 53.6s |      19 |   801727 |   626082 |      642   2377 |        0 |        0
55.58/55.65	c 55.6s |      19 |   833643 |   650082 |      642   2450 |        0 |        0
57.08/57.14	c 57.1s |      20 |   854690 |   666827 |      707   2500 |        0 |        0
59.08/59.15	c 59.1s |      20 |   887016 |   690027 |      707   2564 |        0 |        0
61.08/61.15	c 61.1s |      20 |   917737 |   712527 |      707   2625 |        0 |        0
63.08/63.16	c 63.1s |      20 |   948509 |   735227 |      707   2689 |        0 |        0
65.08/65.17	c 65.2s |      20 |   975310 |   756427 |      707   2747 |        0 |        0
67.08/67.17	c 67.2s |      20 |  1000995 |   777027 |      707   2804 |        0 |        0
69.08/69.18	c 69.2s |      20 |  1026429 |   797627 |      707   2861 |        0 |        0
71.07/71.19	c 71.2s |      20 |  1051337 |   817827 |      707   2917 |        0 |        0
73.07/73.19	c 73.2s |      20 |  1075903 |   837627 |      707   2971 |        0 |        0
75.07/75.19	c 75.2s |      20 |  1101542 |   857727 |      707   3027 |        0 |        0
77.17/77.20	c 77.2s |      20 |  1127740 |   878527 |      707   3085 |        0 |        0
79.19/79.21	c 79.2s |      20 |  1156041 |   899827 |      707   3144 |        0 |        0
81.18/81.21	c 81.2s |      20 |  1178989 |   919227 |      707   3198 |        0 |        0
83.18/83.22	c 83.2s |      20 |  1200316 |   937727 |      707   3249 |        0 |        0
85.18/85.22	c 85.2s |      20 |  1227667 |   959227 |      707   3308 |        0 |        0
87.17/87.23	c 87.2s |      20 |  1254798 |   980727 |      707   3368 |        0 |        0
88.97/89.06	c 89.0s |      21 |  1280374 |  1000345 |      778   3420 |        0 |        0
90.97/91.07	c 91.1s |      21 |  1305786 |  1021045 |      778   3472 |        0 |        0
92.97/93.07	c 93.1s |      21 |  1331432 |  1041945 |      778   3525 |        0 |        0
94.97/95.07	c 95.1s |      21 |  1357316 |  1062845 |      778   3578 |        0 |        0
96.97/97.08	c 97.1s |      21 |  1385029 |  1084645 |      778   3633 |        0 |        0
98.98/99.08	c 99.1s |      21 |  1410903 |  1105545 |      778   3685 |        0 |        0
100.97/101.09	c  101s |      21 |  1437044 |  1126645 |      778   3739 |        0 |        0
103.07/103.10	c  103s |      21 |  1462678 |  1147545 |      778   3791 |        0 |        0
105.07/105.10	c  105s |      21 |  1486377 |  1167445 |      778   3842 |        0 |        0
107.07/107.10	c  107s |      21 |  1510567 |  1187345 |      778   3892 |        0 |        0
109.07/109.11	c  109s |      21 |  1536591 |  1208645 |      778   3946 |        0 |        0
111.08/111.11	c  111s |      21 |  1560209 |  1228945 |      778   3997 |        0 |        0
113.07/113.12	c  113s |      21 |  1586220 |  1250345 |      778   4051 |        0 |        0
115.08/115.12	c  115s |      21 |  1614189 |  1271845 |      778   4105 |        0 |        0
117.07/117.12	c  117s |      21 |  1641201 |  1293045 |      778   4159 |        0 |        0
119.07/119.13	c  119s |      21 |  1666666 |  1313245 |      778   4210 |        0 |        0
121.08/121.14	c  121s |      21 |  1688825 |  1332345 |      778   4258 |        0 |        0
123.07/123.14	c  123s |      21 |  1714935 |  1353545 |      778   4312 |        0 |        0
125.07/125.15	c  125s |      21 |  1739499 |  1373945 |      778   4364 |        0 |        0
127.07/127.15	c  127s |      21 |  1767535 |  1395545 |      778   4419 |        0 |        0
129.07/129.16	c  129s |      21 |  1793775 |  1416345 |      778   4472 |        0 |        0
131.07/131.16	c  131s |      21 |  1818044 |  1436445 |      778   4522 |        0 |        0
133.08/133.17	c  133s |      21 |  1841286 |  1455745 |      778   4571 |        0 |        0
135.07/135.18	c  135s |      21 |  1866100 |  1475545 |      778   4621 |        0 |        0
137.07/137.19	c  137s |      21 |  1889456 |  1494945 |      856   4668 |        0 |        0
137.67/137.78	c  137s |      22 |  1896027 |  1500622 |      856   4681 |        0 |        0
139.67/139.78	c  139s |      22 |  1918797 |  1519422 |      856   4724 |        0 |        0
141.67/141.79	c  141s |      22 |  1941100 |  1538222 |      856   4768 |        0 |        0
143.77/143.80	c  143s |      22 |  1962472 |  1556622 |      856   4810 |        0 |        0
145.76/145.80	c  145s |      22 |  1985275 |  1575422 |      856   4853 |        0 |        0
147.76/147.80	c  147s |      22 |  2009385 |  1594822 |      856   4898 |        0 |        0
149.76/149.80	c  149s |      22 |  2033466 |  1614422 |      856   4943 |        0 |        0
151.77/151.81	c  151s |      22 |  2059201 |  1634522 |      856   4989 |        0 |        0
153.77/153.82	c  153s |      22 |  2085675 |  1655022 |      856   5036 |        0 |        0
155.77/155.83	c  155s |      22 |  2112549 |  1675522 |      856   5084 |        0 |        0
157.77/157.84	c  157s |      22 |  2139115 |  1695822 |      856   5131 |        0 |        0
159.77/159.85	c  159s |      22 |  2168441 |  1717522 |      856   5180 |        0 |        0
161.77/161.85	c  161s |      22 |  2196232 |  1738322 |      856   5228 |        0 |        0
163.77/163.86	c  163s |      22 |  2224300 |  1759922 |      856   5278 |        0 |        0
165.76/165.86	c  165s |      22 |  2249677 |  1779922 |      856   5324 |        0 |        0
167.76/167.87	c  167s |      22 |  2275363 |  1800222 |      856   5371 |        0 |        0
169.76/169.88	c  169s |      22 |  2301397 |  1820622 |      856   5418 |        0 |        0
171.76/171.88	c  171s |      22 |  2331442 |  1842022 |      856   5468 |        0 |        0
173.77/173.88	c  173s |      22 |  2359762 |  1862822 |      856   5516 |        0 |        0
175.76/175.88	c  175s |      22 |  2384990 |  1882522 |      856   5561 |        0 |        0
177.76/177.89	c  177s |      22 |  2411617 |  1903822 |      856   5611 |        0 |        0
179.76/179.89	c  179s |      22 |  2440003 |  1925522 |      856   5661 |        0 |        0
181.76/181.89	c  181s |      22 |  2465383 |  1946022 |      856   5708 |        0 |        0
183.86/183.90	c  183s |      22 |  2491218 |  1966722 |      856   5756 |        0 |        0
185.86/185.90	c  185s |      22 |  2514146 |  1986022 |      856   5800 |        0 |        0
187.86/187.90	c  187s |      22 |  2538215 |  2006022 |      856   5846 |        0 |        0
189.86/189.91	c  189s |      22 |  2562391 |  2026122 |      856   5893 |        0 |        0
191.86/191.91	c  191s |      22 |  2590367 |  2047322 |      856   5941 |        0 |        0
193.86/193.91	c  193s |      22 |  2621137 |  2069722 |      856   5993 |        0 |        0
195.87/195.91	c  195s |      22 |  2651003 |  2092322 |      856   6046 |        0 |        0
197.86/197.92	c  197s |      22 |  2678898 |  2113622 |      856   6095 |        0 |        0
199.86/199.93	c  199s |      22 |  2704572 |  2134022 |      856   6142 |        0 |        0
201.86/201.93	c  201s |      22 |  2729355 |  2154122 |      856   6188 |        0 |        0
203.86/203.93	c  203s |      22 |  2754121 |  2174322 |      856   6235 |        0 |        0
205.86/205.93	c  205s |      22 |  2779263 |  2195122 |      856   6283 |        0 |        0
207.86/207.93	c  207s |      22 |  2803493 |  2214922 |      856   6329 |        0 |        0
209.86/209.94	c  209s |      22 |  2830010 |  2235522 |      942   6376 |        0 |        0
211.35/211.47	c  211s |      23 |  2849944 |  2251038 |      942   6409 |        0 |        0
213.36/213.47	c  213s |      23 |  2875452 |  2271138 |      942   6451 |        0 |        0
215.35/215.48	c  215s |      23 |  2902270 |  2291738 |      942   6494 |        0 |        0
217.35/217.49	c  217s |      23 |  2925686 |  2311138 |      942   6534 |        0 |        0
219.35/219.49	c  219s |      23 |  2952042 |  2331338 |      942   6576 |        0 |        0
221.45/221.50	c  221s |      23 |  2978543 |  2351738 |      942   6619 |        0 |        0
223.45/223.51	c  223s |      23 |  3001932 |  2371038 |      942   6660 |        0 |        0
225.47/225.51	c  225s |      23 |  3028068 |  2391038 |      942   6702 |        0 |        0
227.46/227.52	c  227s |      23 |  3053263 |  2410738 |      942   6743 |        0 |        0
229.46/229.52	c  229s |      23 |  3077682 |  2430138 |      942   6783 |        0 |        0
231.46/231.53	c  231s |      23 |  3099243 |  2448338 |      942   6821 |        0 |        0
233.46/233.53	c  233s |      23 |  3123300 |  2467838 |      942   6862 |        0 |        0
235.46/235.53	c  235s |      23 |  3146454 |  2486938 |      942   6902 |        0 |        0
237.45/237.54	c  237s |      23 |  3169203 |  2505538 |      942   6941 |        0 |        0
239.45/239.55	c  239s |      23 |  3190554 |  2523538 |      942   6978 |        0 |        0
241.45/241.56	c  241s |      23 |  3211263 |  2541038 |      942   7015 |        0 |        0
243.45/243.56	c  243s |      23 |  3231424 |  2558138 |      942   7050 |        0 |        0
245.45/245.57	c  245s |      23 |  3253190 |  2576538 |      942   7089 |        0 |        0
247.46/247.57	c  247s |      23 |  3275727 |  2595038 |      942   7127 |        0 |        0
249.45/249.58	c  249s |      23 |  3299742 |  2614138 |      942   7167 |        0 |        0
251.45/251.59	c  251s |      23 |  3321280 |  2632638 |      942   7206 |        0 |        0
253.45/253.59	c  253s |      23 |  3342514 |  2650738 |      942   7243 |        0 |        0
255.55/255.60	c  255s |      23 |  3362497 |  2667938 |      942   7279 |        0 |        0
257.55/257.61	c  257s |      23 |  3385674 |  2686438 |      942   7318 |        0 |        0
259.55/259.61	c  259s |      23 |  3409528 |  2705438 |      942   7357 |        0 |        0
261.55/261.62	c  261s |      23 |  3432275 |  2724038 |      942   7396 |        0 |        0
263.55/263.62	c  263s |      23 |  3454795 |  2742338 |      942   7435 |        0 |        0
265.55/265.63	c  265s |      23 |  3476556 |  2760238 |      942   7472 |        0 |        0
267.54/267.63	c  267s |      23 |  3499684 |  2779038 |      942   7511 |        0 |        0
269.55/269.63	c  269s |      23 |  3523269 |  2798438 |      942   7552 |        0 |        0
271.54/271.64	c  271s |      23 |  3547983 |  2818238 |      942   7594 |        0 |        0
273.54/273.64	c  273s |      23 |  3574743 |  2838338 |      942   7636 |        0 |        0
275.54/275.65	c  275s |      23 |  3598320 |  2857538 |      942   7676 |        0 |        0
277.54/277.66	c  277s |      23 |  3621215 |  2876638 |      942   7716 |        0 |        0
279.54/279.66	c  279s |      23 |  3642063 |  2894438 |      942   7753 |        0 |        0
281.56/281.66	c  281s |      23 |  3663889 |  2912938 |      942   7792 |        0 |        0
283.55/283.66	c  283s |      23 |  3686133 |  2931438 |      942   7831 |        0 |        0
285.55/285.67	c  285s |      23 |  3707911 |  2949738 |      942   7869 |        0 |        0
287.55/287.67	c  287s |      23 |  3728522 |  2967238 |      942   7906 |        0 |        0
289.55/289.68	c  289s |      23 |  3749575 |  2984938 |      942   7943 |        0 |        0
291.55/291.69	c  291s |      23 |  3769404 |  3001838 |      942   7978 |        0 |        0
293.55/293.70	c  293s |      23 |  3790251 |  3019038 |      942   8015 |        0 |        0
295.65/295.70	c  295s |      23 |  3811157 |  3036438 |      942   8051 |        0 |        0
297.64/297.71	c  297s |      23 |  3830529 |  3053238 |      942   8086 |        0 |        0
299.64/299.71	c  299s |      23 |  3850250 |  3070338 |      942   8122 |        0 |        0
301.64/301.72	c  301s |      23 |  3871757 |  3088538 |      942   8160 |        0 |        0
303.65/303.73	c  303s |      23 |  3894840 |  3107338 |      942   8199 |        0 |        0
305.64/305.73	c  305s |      23 |  3917755 |  3125938 |      942   8238 |        0 |        0
307.64/307.74	c  307s |      23 |  3941459 |  3145338 |      942   8279 |        0 |        0
309.64/309.75	c  309s |      23 |  3964140 |  3164138 |      942   8319 |        0 |        0
311.64/311.76	c  311s |      23 |  3988127 |  3183438 |      942   8359 |        0 |        0
313.64/313.76	c  313s |      23 |  4011530 |  3202538 |      942   8399 |        0 |        0
315.65/315.77	c  315s |      23 |  4035416 |  3221738 |      942   8440 |        0 |        0
317.64/317.78	c  317s |      23 |  4059616 |  3241038 |      942   8480 |        0 |        0
319.64/319.78	c  319s |      23 |  4083605 |  3260338 |      942   8521 |        0 |        0
321.64/321.78	c  321s |      23 |  4107511 |  3279638 |      942   8562 |        0 |        0
323.64/323.79	c  323s |      23 |  4129519 |  3298138 |      942   8600 |        0 |        0
325.74/325.80	c  325s |      23 |  4152620 |  3317138 |      942   8641 |        0 |        0
327.75/327.81	c  327s |      23 |  4178133 |  3336738 |      942   8682 |        0 |        0
329.74/329.82	c  329s |      23 |  4207375 |  3358138 |     1037   8725 |        0 |        0
331.44/331.57	c  331s |      24 |  4233415 |  3376662 |     1037   8761 |        0 |        0
333.44/333.58	c  333s |      24 |  4260576 |  3397262 |     1037   8800 |        0 |        0
335.44/335.58	c  335s |      24 |  4288468 |  3417562 |     1037   8839 |        0 |        0
337.43/337.59	c  337s |      24 |  4313534 |  3437062 |     1037   8876 |        0 |        0
339.43/339.59	c  339s |      24 |  4339602 |  3456762 |     1037   8914 |        0 |        0
341.53/341.60	c  341s |      24 |  4365179 |  3476562 |     1037   8951 |        0 |        0
343.54/343.60	c  343s |      24 |  4390425 |  3495862 |     1037   8988 |        0 |        0
345.54/345.61	c  345s |      24 |  4415678 |  3515462 |     1037   9026 |        0 |        0
347.55/347.61	c  347s |      24 |  4440662 |  3534762 |     1037   9063 |        0 |        0
349.54/349.62	c  349s |      24 |  4463216 |  3553162 |     1037   9098 |        0 |        0
351.54/351.62	c  351s |      24 |  4486160 |  3572062 |     1037   9134 |        0 |        0
353.54/353.62	c  353s |      24 |  4510312 |  3591362 |     1037   9170 |        0 |        0
355.54/355.63	c  355s |      24 |  4537301 |  3611862 |     1037   9210 |        0 |        0
357.55/357.63	c  357s |      24 |  4560276 |  3630162 |     1037   9244 |        0 |        0
359.54/359.64	c  359s |      24 |  4584913 |  3649362 |     1037   9281 |        0 |        0
361.54/361.65	c  361s |      24 |  4609987 |  3669062 |     1037   9318 |        0 |        0
363.54/363.65	c  363s |      24 |  4632378 |  3687362 |     1037   9353 |        0 |        0
365.54/365.67	c  365s |      24 |  4658078 |  3707362 |     1037   9392 |        0 |        0
367.54/367.67	c  367s |      24 |  4681465 |  3725662 |     1037   9427 |        0 |        0
369.54/369.68	c  369s |      24 |  4705777 |  3744562 |     1037   9463 |        0 |        0
371.53/371.68	c  371s |      24 |  4728438 |  3762962 |     1037   9498 |        0 |        0
373.53/373.68	c  373s |      24 |  4752921 |  3782262 |     1037   9534 |        0 |        0
375.53/375.69	c  375s |      24 |  4776574 |  3801262 |     1037   9571 |        0 |        0
377.53/377.69	c  377s |      24 |  4798272 |  3819062 |     1037   9604 |        0 |        0
379.63/379.70	c  379s |      24 |  4819644 |  3836662 |     1037   9638 |        0 |        0
381.53/381.70	c  381s |      24 |  4842404 |  3855062 |     1037   9673 |        0 |        0
383.63/383.71	c  383s |      24 |  4864958 |  3873162 |     1037   9708 |        0 |        0
385.63/385.72	c  385s |      24 |  4886811 |  3890962 |     1037   9741 |        0 |        0
387.63/387.73	c  387s |      24 |  4910267 |  3909362 |     1037   9777 |        0 |        0
389.63/389.73	c  389s |      24 |  4929775 |  3925962 |     1037   9808 |        0 |        0
391.63/391.74	c  391s |      24 |  4954556 |  3945062 |     1037   9845 |        0 |        0
393.63/393.74	c  393s |      24 |  4977623 |  3963462 |     1037   9880 |        0 |        0
395.62/395.75	c  395s |      24 |  4999621 |  3981162 |     1037   9913 |        0 |        0
397.62/397.76	c  397s |      24 |  5021136 |  3999162 |     1037   9948 |        0 |        0
399.62/399.76	c  399s |      24 |  5043976 |  4017062 |     1037   9982 |        0 |        0
401.62/401.77	c  401s |      24 |  5063703 |  4033662 |     1037  10014 |        0 |        0
403.63/403.78	c  403s |      24 |  5084582 |  4050962 |     1037  10047 |        0 |        0
405.62/405.79	c  405s |      24 |  5109445 |  4070162 |     1037  10083 |        0 |        0
407.62/407.79	c  407s |      24 |  5131674 |  4088062 |     1037  10117 |        0 |        0
409.63/409.79	c  409s |      24 |  5156799 |  4107262 |     1037  10154 |        0 |        0
411.73/411.80	c  411s |      24 |  5181039 |  4126062 |     1037  10190 |        0 |        0
413.73/413.81	c  413s |      24 |  5203056 |  4144262 |     1037  10225 |        0 |        0
415.74/415.82	c  415s |      24 |  5227074 |  4163462 |     1037  10262 |        0 |        0
417.73/417.82	c  417s |      24 |  5249751 |  4182462 |     1037  10298 |        0 |        0
419.73/419.82	c  419s |      24 |  5274427 |  4201862 |     1037  10335 |        0 |        0
421.73/421.82	c  421s |      24 |  5299332 |  4221962 |     1037  10374 |        0 |        0
423.73/423.83	c  423s |      24 |  5324840 |  4241862 |     1037  10412 |        0 |        0
425.73/425.83	c  425s |      24 |  5348734 |  4260762 |     1037  10448 |        0 |        0
427.73/427.83	c  427s |      24 |  5375122 |  4281362 |     1037  10487 |        0 |        0
429.72/429.84	c  429s |      24 |  5399303 |  4301362 |     1037  10525 |        0 |        0
431.72/431.84	c  431s |      24 |  5423772 |  4320862 |     1037  10563 |        0 |        0
433.72/433.85	c  433s |      24 |  5448383 |  4340162 |     1037  10600 |        0 |        0
435.72/435.86	c  435s |      24 |  5471465 |  4358862 |     1037  10635 |        0 |        0
437.73/437.86	c  437s |      24 |  5497243 |  4378662 |     1037  10673 |        0 |        0
439.72/439.87	c  439s |      24 |  5521289 |  4397662 |     1037  10710 |        0 |        0
441.72/441.87	c  441s |      24 |  5546678 |  4417362 |     1037  10747 |        0 |        0
443.72/443.88	c  443s |      24 |  5572114 |  4437062 |     1037  10785 |        0 |        0
445.72/445.88	c  445s |      24 |  5599661 |  4457762 |     1037  10825 |        0 |        0
447.73/447.89	c  447s |      24 |  5623076 |  4476362 |     1037  10861 |        0 |        0
449.72/449.90	c  449s |      24 |  5649889 |  4496162 |     1037  10898 |        0 |        0
451.82/451.91	c  451s |      24 |  5676768 |  4516162 |     1037  10937 |        0 |        0
453.82/453.91	c  453s |      24 |  5702174 |  4535962 |     1037  10975 |        0 |        0
455.82/455.92	c  455s |      24 |  5725952 |  4555162 |     1037  11011 |        0 |        0
457.82/457.92	c  457s |      24 |  5749972 |  4574062 |     1037  11047 |        0 |        0
459.83/459.93	c  459s |      24 |  5774157 |  4592962 |     1037  11084 |        0 |        0
461.82/461.94	c  461s |      24 |  5796070 |  4611062 |     1037  11118 |        0 |        0
463.82/463.95	c  463s |      24 |  5822267 |  4630862 |     1037  11156 |        0 |        0
465.82/465.96	c  465s |      24 |  5846506 |  4649662 |     1037  11192 |        0 |        0
467.82/467.96	c  467s |      24 |  5871596 |  4669262 |     1037  11230 |        0 |        0
469.82/469.96	c  469s |      24 |  5898260 |  4689562 |     1037  11269 |        0 |        0
471.82/471.96	c  471s |      24 |  5924723 |  4709762 |     1037  11308 |        0 |        0
473.82/473.97	c  473s |      24 |  5950295 |  4729762 |     1037  11346 |        0 |        0
475.81/475.98	c  475s |      24 |  5973901 |  4748562 |     1037  11381 |        0 |        0
477.81/477.99	c  477s |      24 |  5996739 |  4766462 |     1037  11415 |        0 |        0
479.81/479.99	c  479s |      24 |  6016972 |  4783362 |     1037  11447 |        0 |        0
481.82/481.99	c  481s |      24 |  6037639 |  4800562 |     1037  11480 |        0 |        0
483.81/483.99	c  483s |      24 |  6058925 |  4817962 |     1037  11513 |        0 |        0
485.82/485.99	c  485s |      24 |  6079431 |  4834762 |     1037  11545 |        0 |        0
487.91/488.01	c  487s |      24 |  6102001 |  4852962 |     1037  11579 |        0 |        0
489.91/490.02	c  490s |      24 |  6121187 |  4869462 |     1037  11611 |        0 |        0
491.91/492.03	c  492s |      24 |  6139582 |  4885462 |     1037  11641 |        0 |        0
493.92/494.03	c  494s |      24 |  6160862 |  4902962 |     1037  11674 |        0 |        0
495.91/496.04	c  496s |      24 |  6183330 |  4921062 |     1037  11709 |        0 |        0
497.91/498.04	c  498s |      24 |  6209760 |  4941362 |     1037  11747 |        0 |        0
499.90/500.05	c  500s |      24 |  6231975 |  4959862 |     1037  11782 |        0 |        0
501.90/502.05	c  502s |      24 |  6253647 |  4977962 |     1037  11817 |        0 |        0
503.91/504.06	c  504s |      24 |  6277718 |  4997062 |     1037  11854 |        0 |        0
505.92/506.06	c  506s |      24 |  6303834 |  5016662 |     1037  11891 |        0 |        0
507.91/508.06	c  508s |      24 |  6327673 |  5035562 |     1141  11926 |        0 |        0
509.91/510.07	c  510s |      24 |  6352290 |  5054762 |     1141  11959 |        0 |        0
511.11/511.20	c  511s |      25 |  6364775 |  5065098 |     1141  11977 |        0 |        0
513.11/513.20	c  513s |      25 |  6391122 |  5084998 |     1141  12011 |        0 |        0
515.11/515.21	c  515s |      25 |  6415108 |  5103698 |     1141  12044 |        0 |        0
517.10/517.21	c  517s |      25 |  6437042 |  5121398 |     1141  12074 |        0 |        0
519.11/519.22	c  519s |      25 |  6459242 |  5139198 |     1141  12105 |        0 |        0
521.10/521.23	c  521s |      25 |  6484343 |  5158098 |     1141  12138 |        0 |        0
523.10/523.23	c  523s |      25 |  6505935 |  5175798 |     1141  12169 |        0 |        0
525.10/525.24	c  525s |      25 |  6528940 |  5194398 |     1141  12201 |        0 |        0
527.10/527.24	c  527s |      25 |  6551427 |  5212498 |     1141  12232 |        0 |        0
529.10/529.25	c  529s |      25 |  6575012 |  5231498 |     1141  12265 |        0 |        0
531.09/531.25	c  531s |      25 |  6600384 |  5251298 |     1141  12300 |        0 |        0
533.09/533.26	c  533s |      25 |  6624082 |  5270598 |     1141  12333 |        0 |        0
535.09/535.26	c  535s |      25 |  6647195 |  5289098 |     1141  12365 |        0 |        0
537.09/537.27	c  537s |      25 |  6669445 |  5307198 |     1141  12397 |        0 |        0
539.09/539.28	c  539s |      25 |  6693924 |  5326698 |     1141  12430 |        0 |        0
541.10/541.30	c  541s |      25 |  6715466 |  5344698 |     1141  12462 |        0 |        0
543.19/543.30	c  543s |      25 |  6736300 |  5362198 |     1141  12492 |        0 |        0
545.19/545.31	c  545s |      25 |  6757075 |  5379698 |     1141  12522 |        0 |        0
547.18/547.31	c  547s |      25 |  6777156 |  5396698 |     1141  12552 |        0 |        0
549.18/549.32	c  549s |      25 |  6798223 |  5414298 |     1141  12582 |        0 |        0
551.18/551.33	c  551s |      25 |  6822215 |  5432898 |     1141  12614 |        0 |        0
553.19/553.34	c  553s |      25 |  6845963 |  5451598 |     1141  12647 |        0 |        0
555.18/555.35	c  555s |      25 |  6871011 |  5470698 |     1141  12680 |        0 |        0
557.18/557.36	c  557s |      25 |  6894943 |  5489598 |     1141  12713 |        0 |        0
559.18/559.36	c  559s |      25 |  6915338 |  5506998 |     1141  12743 |        0 |        0
561.18/561.37	c  561s |      25 |  6939188 |  5525898 |     1141  12776 |        0 |        0
563.18/563.37	c  563s |      25 |  6963520 |  5545098 |     1141  12809 |        0 |        0
565.18/565.38	c  565s |      25 |  6983625 |  5562298 |     1141  12839 |        0 |        0
567.17/567.39	c  567s |      25 |  7004842 |  5579898 |     1141  12870 |        0 |        0
569.27/569.40	c  569s |      25 |  7024736 |  5597098 |     1141  12900 |        0 |        0
571.28/571.40	c  571s |      25 |  7045307 |  5614498 |     1141  12930 |        0 |        0
573.28/573.40	c  573s |      25 |  7067599 |  5632498 |     1141  12961 |        0 |        0
575.29/575.41	c  575s |      25 |  7090137 |  5650998 |     1141  12993 |        0 |        0
577.28/577.42	c  577s |      25 |  7112196 |  5669098 |     1141  13025 |        0 |        0
579.28/579.42	c  579s |      25 |  7133353 |  5686798 |     1141  13056 |        0 |        0
581.27/581.42	c  581s |      25 |  7154985 |  5704598 |     1141  13086 |        0 |        0
583.27/583.43	c  583s |      25 |  7176298 |  5722298 |     1141  13117 |        0 |        0
585.27/585.43	c  585s |      25 |  7198590 |  5740598 |     1141  13149 |        0 |        0
587.28/587.43	c  587s |      25 |  7221385 |  5759098 |     1141  13181 |        0 |        0
589.27/589.44	c  589s |      25 |  7242688 |  5776998 |     1141  13212 |        0 |        0
591.27/591.44	c  591s |      25 |  7263614 |  5794498 |     1141  13243 |        0 |        0
593.27/593.45	c  593s |      25 |  7282854 |  5811298 |     1141  13272 |        0 |        0
595.27/595.45	c  595s |      25 |  7303095 |  5828698 |     1141  13302 |        0 |        0
597.27/597.46	c  597s |      25 |  7325125 |  5846998 |     1141  13333 |        0 |        0
599.27/599.47	c  599s |      25 |  7347084 |  5865398 |     1141  13365 |        0 |        0
601.27/601.48	c  601s |      25 |  7369762 |  5883398 |     1141  13396 |        0 |        0
603.27/603.48	c  603s |      25 |  7391689 |  5901098 |     1141  13427 |        0 |        0
605.26/605.49	c  605s |      25 |  7411637 |  5917898 |     1141  13456 |        0 |        0
607.26/607.49	c  607s |      25 |  7431820 |  5934698 |     1141  13486 |        0 |        0
609.36/609.50	c  609s |      25 |  7456121 |  5953198 |     1141  13518 |        0 |        0
611.36/611.51	c  611s |      25 |  7476793 |  5970298 |     1141  13547 |        0 |        0
613.36/613.52	c  613s |      25 |  7497468 |  5987498 |     1141  13577 |        0 |        0
615.36/615.52	c  615s |      25 |  7516745 |  6003998 |     1141  13605 |        0 |        0
617.35/617.53	c  617s |      25 |  7535490 |  6020198 |     1141  13633 |        0 |        0
619.35/619.54	c  619s |      25 |  7554634 |  6036598 |     1141  13661 |        0 |        0
621.36/621.54	c  621s |      25 |  7573477 |  6052798 |     1141  13689 |        0 |        0
623.35/623.55	c  623s |      25 |  7592170 |  6068898 |     1141  13717 |        0 |        0
625.35/625.56	c  625s |      25 |  7611247 |  6085198 |     1141  13745 |        0 |        0
627.35/627.56	c  627s |      25 |  7635035 |  6103698 |     1141  13777 |        0 |        0
629.35/629.57	c  629s |      25 |  7658216 |  6122098 |     1141  13809 |        0 |        0
631.35/631.58	c  631s |      25 |  7678366 |  6139298 |     1141  13839 |        0 |        0
633.35/633.58	c  633s |      25 |  7699016 |  6156998 |     1141  13870 |        0 |        0
635.35/635.59	c  635s |      25 |  7721122 |  6175298 |     1141  13901 |        0 |        0
637.34/637.59	c  637s |      25 |  7742830 |  6193098 |     1141  13932 |        0 |        0
639.34/639.59	c  639s |      25 |  7762868 |  6210298 |     1141  13962 |        0 |        0
641.44/641.60	c  641s |      25 |  7782709 |  6227398 |     1141  13991 |        0 |        0
643.45/643.61	c  643s |      25 |  7802461 |  6244598 |     1141  14021 |        0 |        0
645.44/645.61	c  645s |      25 |  7822740 |  6262298 |     1141  14052 |        0 |        0
647.43/647.62	c  647s |      25 |  7843396 |  6280098 |     1141  14083 |        0 |        0
649.43/649.63	c  649s |      25 |  7865280 |  6298098 |     1141  14114 |        0 |        0
651.43/651.63	c  651s |      25 |  7888273 |  6316798 |     1141  14146 |        0 |        0
653.43/653.64	c  653s |      25 |  7913695 |  6336598 |     1141  14181 |        0 |        0
655.44/655.64	c  655s |      25 |  7937359 |  6355698 |     1141  14214 |        0 |        0
657.43/657.65	c  657s |      25 |  7960115 |  6374498 |     1141  14246 |        0 |        0
659.43/659.66	c  659s |      25 |  7981211 |  6391998 |     1141  14277 |        0 |        0
661.43/661.66	c  661s |      25 |  8003544 |  6410298 |     1141  14308 |        0 |        0
663.43/663.67	c  663s |      25 |  8024676 |  6427998 |     1141  14339 |        0 |        0
665.43/665.67	c  665s |      25 |  8045877 |  6445398 |     1141  14369 |        0 |        0
667.43/667.67	c  667s |      25 |  8068302 |  6463398 |     1141  14401 |        0 |        0
669.43/669.67	c  669s |      25 |  8089552 |  6481098 |     1141  14431 |        0 |        0
671.43/671.68	c  671s |      25 |  8109129 |  6497898 |     1141  14460 |        0 |        0
673.43/673.68	c  673s |      25 |  8127566 |  6513998 |     1141  14488 |        0 |        0
675.43/675.69	c  675s |      25 |  8147072 |  6530898 |     1141  14518 |        0 |        0
677.43/677.70	c  677s |      25 |  8167394 |  6547998 |     1141  14547 |        0 |        0
679.52/679.71	c  679s |      25 |  8188363 |  6565798 |     1141  14578 |        0 |        0
681.52/681.71	c  681s |      25 |  8210587 |  6583998 |     1141  14610 |        0 |        0
683.52/683.72	c  683s |      25 |  8234214 |  6602798 |     1141  14642 |        0 |        0
685.52/685.72	c  685s |      25 |  8257451 |  6621398 |     1141  14675 |        0 |        0
687.51/687.73	c  687s |      25 |  8281511 |  6640598 |     1141  14708 |        0 |        0
689.52/689.73	c  689s |      25 |  8303051 |  6658298 |     1141  14739 |        0 |        0
691.51/691.74	c  691s |      25 |  8326052 |  6677198 |     1141  14771 |        0 |        0
693.52/693.75	c  693s |      25 |  8348567 |  6695698 |     1141  14804 |        0 |        0
695.52/695.75	c  695s |      25 |  8370071 |  6713498 |     1141  14834 |        0 |        0
697.52/697.76	c  697s |      25 |  8390683 |  6730798 |     1141  14864 |        0 |        0
699.52/699.76	c  699s |      25 |  8411366 |  6748098 |     1141  14894 |        0 |        0
701.52/701.77	c  701s |      25 |  8431184 |  6765298 |     1141  14924 |        0 |        0
703.51/703.77	c  703s |      25 |  8450607 |  6782198 |     1141  14953 |        0 |        0
705.51/705.78	c  705s |      25 |  8472801 |  6800398 |     1141  14985 |        0 |        0
707.51/707.78	c  707s |      25 |  8495174 |  6818598 |     1141  15016 |        0 |        0
709.51/709.79	c  709s |      25 |  8516312 |  6836198 |     1141  15047 |        0 |        0
711.51/711.79	c  711s |      25 |  8539329 |  6854698 |     1141  15079 |        0 |        0
713.61/713.81	c  713s |      25 |  8560958 |  6872798 |     1141  15110 |        0 |        0
715.61/715.82	c  715s |      25 |  8583005 |  6890898 |     1141  15142 |        0 |        0
717.60/717.83	c  717s |      25 |  8606193 |  6909298 |     1141  15174 |        0 |        0
719.60/719.83	c  719s |      25 |  8629830 |  6927798 |     1141  15206 |        0 |        0
721.60/721.83	c  721s |      25 |  8650997 |  6944998 |     1141  15235 |        0 |        0
723.61/723.84	c  723s |      25 |  8672082 |  6962198 |     1141  15265 |        0 |        0
725.60/725.85	c  725s |      25 |  8691470 |  6978898 |     1141  15294 |        0 |        0
727.59/727.85	c  727s |      25 |  8711078 |  6995798 |     1141  15323 |        0 |        0
729.59/729.86	c  729s |      25 |  8729822 |  7011998 |     1141  15351 |        0 |        0
731.60/731.87	c  731s |      25 |  8749241 |  7028698 |     1141  15381 |        0 |        0
733.61/733.87	c  733s |      25 |  8771155 |  7046498 |     1141  15411 |        0 |        0
735.60/735.87	c  735s |      25 |  8793237 |  7064498 |     1141  15443 |        0 |        0
737.59/737.88	c  737s |      25 |  8813674 |  7081598 |     1141  15472 |        0 |        0
739.59/739.88	c  739s |      25 |  8833602 |  7098398 |     1141  15501 |        0 |        0
741.59/741.89	c  741s |      25 |  8853426 |  7114998 |     1141  15530 |        0 |        0
743.59/743.89	c  743s |      25 |  8874052 |  7131998 |     1141  15559 |        0 |        0
745.60/745.90	c  745s |      25 |  8896097 |  7149698 |     1141  15590 |        0 |        0
747.69/747.91	c  747s |      25 |  8920026 |  7168598 |     1141  15623 |        0 |        0
749.69/749.92	c  749s |      25 |  8939898 |  7185598 |     1141  15652 |        0 |        0
751.69/751.93	c  751s |      25 |  8960398 |  7202498 |     1141  15681 |        0 |        0
753.69/753.94	c  753s |      25 |  8982318 |  7220198 |     1141  15712 |        0 |        0
755.69/755.94	c  755s |      25 |  9002720 |  7237498 |     1141  15742 |        0 |        0
757.69/757.95	c  757s |      25 |  9023476 |  7254998 |     1141  15772 |        0 |        0
759.68/759.96	c  759s |      25 |  9044301 |  7272498 |     1141  15802 |        0 |        0
761.68/761.96	c  761s |      25 |  9064583 |  7289898 |     1141  15832 |        0 |        0
763.68/763.97	c  763s |      25 |  9088103 |  7308798 |     1141  15865 |        0 |        0
765.68/765.97	c  765s |      25 |  9111793 |  7327998 |     1141  15899 |        0 |        0
767.68/767.98	c  767s |      25 |  9138787 |  7348398 |     1141  15934 |        0 |        0
769.68/769.98	c  769s |      25 |  9163725 |  7367798 |     1141  15967 |        0 |        0
771.67/771.99	c  771s |      25 |  9187577 |  7387198 |     1141  16001 |        0 |        0
773.67/773.99	c  773s |      25 |  9209372 |  7405798 |     1141  16033 |        0 |        0
775.77/776.00	c  775s |      25 |  9232085 |  7424398 |     1141  16066 |        0 |        0
777.78/778.00	c  777s |      25 |  9253288 |  7442298 |     1141  16097 |        0 |        0
779.68/780.00	c  779s |      25 |  9277178 |  7460698 |     1141  16128 |        0 |        0
781.78/782.01	c  781s |      25 |  9299957 |  7479198 |     1141  16161 |        0 |        0
783.78/784.01	c  783s |      25 |  9322082 |  7497498 |     1141  16192 |        0 |        0
785.77/786.02	c  786s |      25 |  9342819 |  7514898 |     1141  16222 |        0 |        0
787.77/788.02	c  788s |      25 |  9363181 |  7531998 |     1141  16252 |        0 |        0
789.77/790.02	c  790s |      25 |  9384111 |  7549498 |     1256  16281 |        0 |        0
791.77/792.03	c  792s |      25 |  9406400 |  7567498 |     1256  16310 |        0 |        0
793.77/794.04	c  794s |      25 |  9428324 |  7585398 |     1256  16338 |        0 |        0
795.17/795.44	c  795s |      26 |  9443324 |  7597752 |     1256  16357 |        0 |        0
797.16/797.45	c  797s |      26 |  9466908 |  7616052 |     1256  16386 |        0 |        0
799.16/799.45	c  799s |      26 |  9489411 |  7634052 |     1256  16415 |        0 |        0
801.16/801.46	c  801s |      26 |  9512317 |  7652752 |     1256  16444 |        0 |        0
803.16/803.47	c  803s |      26 |  9533923 |  7670952 |     1256  16473 |        0 |        0
805.16/805.48	c  805s |      26 |  9555812 |  7689052 |     1256  16501 |        0 |        0
807.16/807.48	c  807s |      26 |  9578929 |  7707752 |     1256  16531 |        0 |        0
809.16/809.49	c  809s |      26 |  9600536 |  7725352 |     1256  16558 |        0 |        0
811.15/811.49	c  811s |      26 |  9621028 |  7742652 |     1256  16586 |        0 |        0
813.15/813.49	c  813s |      26 |  9643146 |  7760952 |     1256  16615 |        0 |        0
815.25/815.50	c  815s |      26 |  9667843 |  7780252 |     1256  16645 |        0 |        0
817.25/817.50	c  817s |      26 |  9691475 |  7799252 |     1256  16675 |        0 |        0
819.26/819.50	c  819s |      26 |  9714808 |  7817552 |     1256  16704 |        0 |        0
821.25/821.51	c  821s |      26 |  9737322 |  7836052 |     1256  16733 |        0 |        0
823.25/823.52	c  823s |      26 |  9758355 |  7853752 |     1256  16761 |        0 |        0
825.26/825.52	c  825s |      26 |  9779011 |  7871352 |     1256  16789 |        0 |        0
827.25/827.53	c  827s |      26 |  9800015 |  7889352 |     1256  16817 |        0 |        0
829.26/829.53	c  829s |      26 |  9821979 |  7907252 |     1256  16846 |        0 |        0
831.25/831.54	c  831s |      26 |  9844271 |  7925652 |     1256  16875 |        0 |        0
833.25/833.55	c  833s |      26 |  9866551 |  7943652 |     1256  16903 |        0 |        0
835.25/835.55	c  835s |      26 |  9889223 |  7962352 |     1256  16933 |        0 |        0
837.24/837.56	c  837s |      26 |  9912997 |  7981152 |     1256  16962 |        0 |        0
839.24/839.56	c  839s |      26 |  9935018 |  7998952 |     1256  16991 |        0 |        0
841.25/841.57	c  841s |      26 |  9957706 |  8017252 |     1256  17020 |        0 |        0
843.24/843.57	c  843s |      26 |  9980936 |  8035852 |     1256  17049 |        0 |        0
845.24/845.57	c  845s |      26 | 10002510 |  8053652 |     1256  17077 |        0 |        0
847.24/847.58	c  847s |      26 | 10024846 |  8071852 |     1256  17106 |        0 |        0
849.24/849.58	c  849s |      26 | 10047428 |  8089752 |     1256  17134 |        0 |        0
851.24/851.59	c  851s |      26 | 10068338 |  8106852 |     1256  17161 |        0 |        0
853.24/853.59	c  853s |      26 | 10088084 |  8123852 |     1256  17188 |        0 |        0
855.24/855.60	c  855s |      26 | 10109197 |  8141252 |     1256  17215 |        0 |        0
857.33/857.60	c  857s |      26 | 10133685 |  8160052 |     1256  17245 |        0 |        0
859.33/859.61	c  859s |      26 | 10156401 |  8178752 |     1256  17275 |        0 |        0
861.33/861.62	c  861s |      26 | 10178231 |  8196952 |     1256  17303 |        0 |        0
863.33/863.63	c  863s |      26 | 10199014 |  8214452 |     1256  17331 |        0 |        0
865.33/865.63	c  865s |      26 | 10220060 |  8232352 |     1256  17359 |        0 |        0
867.32/867.64	c  867s |      26 | 10242133 |  8250652 |     1256  17388 |        0 |        0
869.32/869.64	c  869s |      26 | 10262443 |  8268052 |     1256  17416 |        0 |        0
871.32/871.65	c  871s |      26 | 10282397 |  8285152 |     1256  17442 |        0 |        0
873.32/873.65	c  873s |      26 | 10302937 |  8302252 |     1256  17469 |        0 |        0
875.33/875.65	c  875s |      26 | 10324184 |  8319952 |     1256  17497 |        0 |        0
877.32/877.66	c  877s |      26 | 10347051 |  8338752 |     1256  17527 |        0 |        0
879.32/879.67	c  879s |      26 | 10369439 |  8357152 |     1256  17556 |        0 |        0
881.32/881.67	c  881s |      26 | 10392740 |  8375852 |     1256  17586 |        0 |        0
883.32/883.67	c  883s |      26 | 10414581 |  8394052 |     1256  17615 |        0 |        0
885.32/885.67	c  885s |      26 | 10438170 |  8413352 |     1256  17645 |        0 |        0
887.31/887.68	c  887s |      26 | 10461504 |  8432152 |     1256  17675 |        0 |        0
889.31/889.68	c  889s |      26 | 10483738 |  8450852 |     1256  17705 |        0 |        0
891.31/891.69	c  891s |      26 | 10503804 |  8467952 |     1256  17731 |        0 |        0
893.41/893.70	c  893s |      26 | 10525428 |  8485852 |     1256  17760 |        0 |        0
895.41/895.71	c  895s |      26 | 10548398 |  8504552 |     1256  17789 |        0 |        0
897.41/897.71	c  897s |      26 | 10570484 |  8522652 |     1256  17818 |        0 |        0
899.41/899.72	c  899s |      26 | 10591329 |  8540152 |     1256  17846 |        0 |        0
901.41/901.73	c  901s |      26 | 10612470 |  8557852 |     1256  17874 |        0 |        0
903.41/903.73	c  903s |      26 | 10634559 |  8576152 |     1256  17903 |        0 |        0
905.41/905.74	c  905s |      26 | 10657987 |  8595352 |     1256  17933 |        0 |        0
907.40/907.74	c  907s |      26 | 10681385 |  8614252 |     1256  17963 |        0 |        0
909.41/909.76	c  909s |      26 | 10703497 |  8632852 |     1256  17992 |        0 |        0
911.40/911.76	c  911s |      26 | 10724519 |  8650752 |     1256  18021 |        0 |        0
913.40/913.76	c  913s |      26 | 10745251 |  8668652 |     1256  18049 |        0 |        0
915.41/915.77	c  915s |      26 | 10766583 |  8686752 |     1256  18078 |        0 |        0
917.40/917.78	c  917s |      26 | 10790047 |  8704952 |     1256  18106 |        0 |        0
919.41/919.79	c  919s |      26 | 10813317 |  8723352 |     1256  18135 |        0 |        0
921.40/921.79	c  921s |      26 | 10837261 |  8742152 |     1256  18165 |        0 |        0
923.40/923.79	c  923s |      26 | 10858981 |  8760252 |     1256  18193 |        0 |        0
925.40/925.79	c  925s |      26 | 10882617 |  8778652 |     1256  18222 |        0 |        0
927.50/927.80	c  927s |      26 | 10906047 |  8797152 |     1256  18251 |        0 |        0
929.50/929.80	c  929s |      26 | 10930075 |  8815752 |     1256  18280 |        0 |        0
931.50/931.80	c  931s |      26 | 10952964 |  8834052 |     1256  18309 |        0 |        0
933.50/933.82	c  933s |      26 | 10974684 |  8851852 |     1256  18337 |        0 |        0
935.49/935.82	c  935s |      26 | 10997868 |  8870352 |     1256  18366 |        0 |        0
937.49/937.83	c  937s |      26 | 11022652 |  8889752 |     1256  18397 |        0 |        0
939.49/939.83	c  939s |      26 | 11046159 |  8908852 |     1256  18427 |        0 |        0
941.49/941.84	c  941s |      26 | 11070597 |  8927952 |     1256  18457 |        0 |        0
943.50/943.85	c  943s |      26 | 11093939 |  8946252 |     1256  18486 |        0 |        0
945.49/945.85	c  945s |      26 | 11116521 |  8963752 |     1256  18514 |        0 |        0
947.49/947.86	c  947s |      26 | 11138006 |  8980852 |     1256  18541 |        0 |        0
949.48/949.87	c  949s |      26 | 11158175 |  8997852 |     1256  18567 |        0 |        0
951.48/951.87	c  951s |      26 | 11181113 |  9016452 |     1256  18597 |        0 |        0
953.49/953.88	c  953s |      26 | 11204780 |  9035152 |     1256  18626 |        0 |        0
955.48/955.88	c  955s |      26 | 11228513 |  9053752 |     1256  18656 |        0 |        0
957.49/957.89	c  957s |      26 | 11249631 |  9071352 |     1256  18684 |        0 |        0
959.59/959.90	c  959s |      26 | 11271472 |  9089552 |     1256  18712 |        0 |        0
961.59/961.90	c  961s |      26 | 11293516 |  9107552 |     1256  18740 |        0 |        0
963.59/963.91	c  963s |      26 | 11314192 |  9124952 |     1256  18768 |        0 |        0
965.59/965.92	c  965s |      26 | 11335449 |  9142852 |     1256  18796 |        0 |        0
967.58/967.92	c  967s |      26 | 11356738 |  9160452 |     1256  18824 |        0 |        0
969.58/969.94	c  969s |      26 | 11378837 |  9178752 |     1256  18853 |        0 |        0
971.58/971.94	c  971s |      26 | 11401422 |  9197652 |     1256  18882 |        0 |        0
973.58/973.95	c  973s |      26 | 11425587 |  9216952 |     1256  18913 |        0 |        0
975.58/975.95	c  975s |      26 | 11449629 |  9236252 |     1256  18943 |        0 |        0
977.58/977.97	c  977s |      26 | 11474818 |  9255452 |     1256  18974 |        0 |        0
979.58/979.97	c  979s |      26 | 11498153 |  9273952 |     1256  19003 |        0 |        0
981.58/981.98	c  981s |      26 | 11520160 |  9291952 |     1256  19031 |        0 |        0
983.57/983.99	c  983s |      26 | 11542554 |  9310052 |     1256  19060 |        0 |        0
985.67/986.00	c  985s |      26 | 11563755 |  9327752 |     1256  19087 |        0 |        0
987.67/988.01	c  987s |      26 | 11583456 |  9344452 |     1256  19114 |        0 |        0
989.68/990.02	c  990s |      26 | 11606621 |  9362652 |     1256  19143 |        0 |        0
991.67/992.02	c  992s |      26 | 11630343 |  9381252 |     1256  19172 |        0 |        0
993.67/994.03	c  994s |      26 | 11653618 |  9399652 |     1256  19201 |        0 |        0
995.67/996.04	c  996s |      26 | 11674629 |  9417052 |     1256  19228 |        0 |        0
997.67/998.05	c  998s |      26 | 11698888 |  9436452 |     1256  19259 |        0 |        0
999.67/1000.05	c 1000s |      26 | 11719895 |  9454152 |     1256  19286 |        0 |        0
1001.66/1002.06	c 1002s |      26 | 11740691 |  9471852 |     1256  19314 |        0 |        0
1003.66/1004.06	c 1004s |      26 | 11762149 |  9489952 |     1256  19343 |        0 |        0
1005.66/1006.07	c 1006s |      26 | 11784128 |  9508552 |     1256  19372 |        0 |        0
1007.66/1008.07	c 1008s |      26 | 11804135 |  9525852 |     1256  19398 |        1 |        3
1009.66/1010.08	c 1010s |      26 | 11823973 |  9542952 |     1256  19425 |        1 |        3
1011.66/1012.08	c 1012s |      26 | 11844657 |  9560552 |     1256  19453 |        1 |        3
1013.65/1014.09	c 1014s |      26 | 11867255 |  9578952 |     1256  19482 |        1 |        3
1015.65/1016.09	c 1016s |      26 | 11890172 |  9597852 |     1256  19511 |        1 |        3
1017.75/1018.10	c 1018s |      26 | 11912101 |  9615852 |     1256  19540 |        1 |        3
1019.75/1020.11	c 1020s |      26 | 11935735 |  9634952 |     1256  19570 |        1 |        3
1021.76/1022.11	c 1022s |      26 | 11956818 |  9652552 |     1256  19598 |        1 |        3
1023.77/1024.11	c 1024s |      26 | 11979951 |  9671352 |     1256  19627 |        1 |        3
1025.76/1026.13	c 1026s |      26 | 12003682 |  9690452 |     1256  19657 |        1 |        3
1027.75/1028.13	c 1028s |      26 | 12027348 |  9709352 |     1256  19687 |        1 |        3
1029.75/1030.14	c 1030s |      26 | 12050976 |  9728352 |     1256  19717 |        1 |        3
1031.75/1032.14	c 1032s |      26 | 12075078 |  9747652 |     1256  19748 |        1 |        3
1033.76/1034.15	c 1034s |      26 | 12096266 |  9765552 |     1256  19776 |        1 |        3
1035.75/1036.16	c 1036s |      26 | 12118829 |  9784052 |     1256  19805 |        1 |        3
1037.75/1038.17	c 1038s |      26 | 12140879 |  9802352 |     1256  19834 |        1 |        3
1039.75/1040.17	c 1040s |      26 | 12163553 |  9820752 |     1256  19863 |        1 |        3
1041.75/1042.18	c 1042s |      26 | 12184614 |  9838452 |     1256  19891 |        1 |        3
1043.75/1044.19	c 1044s |      26 | 12203317 |  9854852 |     1256  19917 |        1 |        3
1045.75/1046.19	c 1046s |      26 | 12222894 |  9871452 |     1256  19943 |        1 |        3
1047.74/1048.19	c 1048s |      26 | 12242366 |  9888052 |     1256  19969 |        1 |        3
1049.84/1050.20	c 1050s |      26 | 12263469 |  9905252 |     1256  19996 |        1 |        3
1051.84/1052.21	c 1052s |      26 | 12284362 |  9922652 |     1256  20024 |        1 |        3
1053.84/1054.21	c 1054s |      26 | 12307157 |  9941052 |     1256  20053 |        1 |        3
1055.84/1056.21	c 1056s |      26 | 12332090 |  9960452 |     1256  20083 |        1 |        3
1057.84/1058.22	c 1058s |      26 | 12355939 |  9979452 |     1256  20113 |        1 |        3
1059.83/1060.22	c 1060s |      26 | 12379952 |  9998552 |     1256  20143 |        1 |        3
1061.83/1062.22	c 1062s |      26 | 12403102 | 10017652 |     1256  20174 |        1 |        3
1063.83/1064.23	c 1064s |      26 | 12426215 | 10036352 |     1256  20203 |        1 |        3
1065.83/1066.23	c 1066s |      26 | 12449619 | 10055152 |     1256  20233 |        1 |        3
1067.83/1068.23	c 1068s |      26 | 12471193 | 10073152 |     1256  20261 |        1 |        3
1069.83/1070.24	c 1070s |      26 | 12495378 | 10092152 |     1256  20291 |        1 |        3
1071.83/1072.24	c 1072s |      26 | 12518550 | 10110852 |     1256  20321 |        1 |        3
1073.82/1074.25	c 1074s |      26 | 12543160 | 10130152 |     1256  20351 |        1 |        3
1075.82/1076.26	c 1076s |      26 | 12566535 | 10149052 |     1256  20381 |        1 |        3
1077.82/1078.27	c 1078s |      26 | 12588045 | 10167052 |     1256  20409 |        1 |        3
1079.83/1080.28	c 1080s |      26 | 12609376 | 10185352 |     1256  20438 |        1 |        3
1081.82/1082.28	c 1082s |      26 | 12633045 | 10204652 |     1256  20469 |        1 |        3
1083.82/1084.28	c 1084s |      26 | 12657130 | 10224052 |     1256  20499 |        1 |        3
1085.82/1086.30	c 1086s |      26 | 12682541 | 10243852 |     1256  20530 |        1 |        3
1087.92/1088.30	c 1088s |      26 | 12704545 | 10262052 |     1256  20559 |        1 |        3
1089.91/1090.31	c 1090s |      26 | 12726702 | 10280552 |     1256  20588 |        1 |        3
1091.92/1092.31	c 1092s |      26 | 12750737 | 10300052 |     1256  20619 |        1 |        3
1093.91/1094.31	c 1094s |      26 | 12773472 | 10318752 |     1256  20648 |        1 |        3
1095.91/1096.32	c 1096s |      26 | 12797719 | 10338352 |     1256  20679 |        1 |        3
1097.91/1098.32	c 1098s |      26 | 12821729 | 10357952 |     1256  20710 |        1 |        3
1099.91/1100.33	c 1100s |      26 | 12846892 | 10377952 |     1256  20742 |        1 |        3
1101.92/1102.33	c 1102s |      26 | 12871374 | 10397852 |     1256  20773 |        1 |        3
1103.91/1104.33	c 1104s |      26 | 12894708 | 10417052 |     1256  20803 |        1 |        3
1105.91/1106.34	c 1106s |      26 | 12917842 | 10435952 |     1256  20832 |        2 |        6
1107.90/1108.34	c 1108s |      26 | 12941148 | 10454752 |     1256  20862 |        2 |        6
1109.90/1110.35	c 1110s |      26 | 12965156 | 10473652 |     1256  20892 |        2 |        6
1111.90/1112.35	c 1112s |      26 | 12987826 | 10491452 |     1256  20920 |        2 |        6
1113.91/1114.36	c 1114s |      26 | 13011500 | 10509952 |     1256  20949 |        2 |        6
1115.90/1116.37	c 1116s |      26 | 13031052 | 10526852 |     1256  20975 |        2 |        6
1117.90/1118.37	c 1118s |      26 | 13051834 | 10544452 |     1256  21003 |        2 |        6
1119.91/1120.37	c 1120s |      26 | 13072249 | 10561552 |     1256  21030 |        2 |        6
1121.91/1122.38	c 1122s |      26 | 13095127 | 10579752 |     1256  21059 |        2 |        6
1123.91/1124.38	c 1124s |      26 | 13115130 | 10596952 |     1256  21086 |        2 |        6
1125.91/1126.39	c 1126s |      26 | 13136697 | 10614952 |     1256  21114 |        2 |        6
1127.91/1128.39	c 1128s |      26 | 13158458 | 10632852 |     1256  21142 |        2 |        6
1129.91/1130.39	c 1130s |      26 | 13181137 | 10651252 |     1256  21171 |        2 |        6
1131.91/1132.39	c 1132s |      26 | 13200691 | 10668252 |     1256  21198 |        2 |        6
1133.90/1134.39	c 1134s |      26 | 13220694 | 10685252 |     1256  21225 |        2 |        6
1135.91/1136.39	c 1136s |      26 | 13240672 | 10702452 |     1256  21252 |        2 |        6
1138.00/1138.40	c 1138s |      26 | 13262834 | 10720252 |     1256  21280 |        2 |        6
1140.00/1140.41	c 1140s |      26 | 13283584 | 10737452 |     1256  21307 |        2 |        6
1142.00/1142.42	c 1142s |      26 | 13306061 | 10755352 |     1256  21336 |        2 |        6
1144.00/1144.42	c 1144s |      26 | 13330397 | 10773452 |     1256  21364 |        2 |        6
1146.00/1146.43	c 1146s |      26 | 13354871 | 10791952 |     1256  21393 |        2 |        6
1148.01/1148.43	c 1148s |      26 | 13379892 | 10810952 |     1256  21423 |        2 |        6
1150.00/1150.43	c 1150s |      26 | 13403010 | 10829652 |     1256  21453 |        2 |        6
1152.00/1152.44	c 1152s |      26 | 13424971 | 10847752 |     1256  21481 |        2 |        6
1154.00/1154.44	c 1154s |      26 | 13445832 | 10865252 |     1256  21509 |        2 |        6
1156.00/1156.45	c 1156s |      26 | 13468925 | 10883452 |     1256  21537 |        2 |        6
1158.01/1158.45	c 1158s |      26 | 13489798 | 10901152 |     1256  21565 |        2 |        6
1160.00/1160.47	c 1160s |      26 | 13510321 | 10918352 |     1256  21592 |        2 |        6
1162.00/1162.47	c 1162s |      26 | 13531571 | 10936052 |     1256  21620 |        2 |        6
1164.00/1164.48	c 1164s |      26 | 13551430 | 10952852 |     1256  21647 |        2 |        6
1166.00/1166.49	c 1166s |      26 | 13572305 | 10970152 |     1256  21674 |        2 |        6
1168.00/1168.49	c 1168s |      26 | 13591492 | 10986552 |     1256  21700 |        2 |        6
1170.01/1170.50	c 1170s |      26 | 13612800 | 11003952 |     1256  21727 |        2 |        6
1172.10/1172.52	c 1172s |      26 | 13632399 | 11020652 |     1256  21754 |        2 |        6
1174.10/1174.52	c 1174s |      26 | 13653016 | 11037952 |     1256  21781 |        2 |        6
1176.10/1176.53	c 1176s |      26 | 13674532 | 11055552 |     1256  21809 |        2 |        6
1178.10/1178.53	c 1178s |      26 | 13695625 | 11073252 |     1256  21836 |        2 |        6
1180.10/1180.54	c 1180s |      26 | 13714864 | 11089752 |     1256  21862 |        2 |        6
1182.10/1182.55	c 1182s |      26 | 13734149 | 11106452 |     1256  21889 |        2 |        6
1184.10/1184.56	c 1184s |      26 | 13754599 | 11123752 |     1256  21916 |        2 |        6
1186.09/1186.56	c 1186s |      26 | 13774317 | 11140652 |     1256  21942 |        2 |        6
1188.09/1188.57	c 1188s |      26 | 13795575 | 11158252 |     1256  21970 |        2 |        6
1190.09/1190.57	c 1190s |      26 | 13816396 | 11175552 |     1256  21997 |        2 |        6
1192.10/1192.58	c 1192s |      26 | 13836386 | 11192352 |     1256  22023 |        2 |        6
1194.09/1194.58	c 1194s |      26 | 13858457 | 11210452 |     1256  22052 |        2 |        6
1196.09/1196.58	c 1196s |      26 | 13880495 | 11228452 |     1256  22080 |        2 |        6
1198.09/1198.59	c 1198s |      26 | 13904688 | 11247152 |     1256  22109 |        3 |        9
1200.09/1200.59	c 1200s |      26 | 13926580 | 11265052 |     1256  22138 |        3 |        9
1202.19/1202.60	c 1202s |      26 | 13948586 | 11283152 |     1256  22166 |        3 |        9
1204.10/1204.60	c 1204s |      26 | 13971851 | 11302152 |     1256  22196 |        3 |        9
1206.19/1206.61	c 1206s |      26 | 13994216 | 11320552 |     1382  22224 |        3 |        9
1208.19/1208.61	c 1208s |      26 | 14017448 | 11339152 |     1382  22251 |        3 |        9
1210.19/1210.62	c 1210s |      26 | 14039868 | 11357252 |     1382  22277 |        3 |        9
1212.19/1212.62	c 1212s |      26 | 14061234 | 11374652 |     1382  22302 |        3 |        9
1214.19/1214.63	c 1214s |      26 | 14083433 | 11392452 |     1382  22327 |        3 |        9
1214.69/1215.11	c 1215s |      27 | 14088807 | 11396733 |     1382  22334 |        3 |        9
1216.69/1217.11	c 1217s |      27 | 14110191 | 11414233 |     1382  22359 |        3 |        9
1218.68/1219.12	c 1219s |      27 | 14130513 | 11431433 |     1382  22383 |        3 |        9
1220.69/1221.13	c 1221s |      27 | 14151689 | 11448933 |     1382  22408 |        3 |        9
1222.68/1223.14	c 1223s |      27 | 14171931 | 11465833 |     1382  22432 |        3 |        9
1224.69/1225.14	c 1225s |      27 | 14189918 | 11481433 |     1382  22455 |        3 |        9
1226.69/1227.15	c 1227s |      27 | 14211735 | 11499033 |     1382  22480 |        3 |        9
1228.69/1229.15	c 1229s |      27 | 14233028 | 11516533 |     1382  22505 |        3 |        9
1230.69/1231.16	c 1231s |      27 | 14253133 | 11533433 |     1382  22529 |        3 |        9
1232.70/1233.16	c 1233s |      27 | 14274469 | 11550833 |     1382  22554 |        3 |        9
1234.69/1235.16	c 1235s |      27 | 14295888 | 11568233 |     1382  22579 |        3 |        9
1236.69/1237.17	c 1237s |      27 | 14318028 | 11586133 |     1382  22605 |        3 |        9
1238.69/1239.17	c 1239s |      27 | 14341922 | 11604933 |     1382  22632 |        3 |        9
1240.69/1241.17	c 1241s |      27 | 14363565 | 11622833 |     1382  22657 |        3 |        9
1242.69/1243.18	c 1243s |      27 | 14385441 | 11640633 |     1382  22683 |        3 |        9
1244.69/1245.19	c 1245s |      27 | 14407260 | 11658633 |     1382  22708 |        3 |        9
1246.79/1247.20	c 1247s |      27 | 14429801 | 11676833 |     1382  22735 |        3 |        9
1248.79/1249.21	c 1249s |      27 | 14450330 | 11694133 |     1382  22759 |        3 |        9
1250.78/1251.22	c 1251s |      27 | 14470551 | 11711433 |     1382  22784 |        3 |        9
1252.78/1253.23	c 1253s |      27 | 14491069 | 11728533 |     1382  22808 |        3 |        9
1254.79/1255.23	c 1255s |      27 | 14511555 | 11745633 |     1382  22833 |        3 |        9
1256.78/1257.23	c 1257s |      27 | 14532783 | 11763233 |     1382  22858 |        3 |        9
1258.78/1259.24	c 1259s |      27 | 14553674 | 11780733 |     1382  22882 |        6 |       21
1260.78/1261.25	c 1261s |      27 | 14576200 | 11799233 |     1382  22908 |        6 |       21
1262.78/1263.26	c 1263s |      27 | 14600652 | 11818833 |     1382  22936 |        6 |       21
1264.78/1265.26	c 1265s |      27 | 14624773 | 11838233 |     1382  22963 |        7 |       24
1266.79/1267.26	c 1267s |      27 | 14645597 | 11856133 |     1382  22989 |        7 |       24
1268.78/1269.27	c 1269s |      27 | 14668514 | 11874933 |     1382  23014 |       10 |       33
1269.28/1269.73	c 1269s |      27 | 14673472 | 11879310 |     1382  23018 |       69 |      116
1269.28/1269.73	c #cpu_time = 1266.208s
1269.28/1269.73	c #wall_clock_time = 1269.720s
1269.28/1269.73	c #decision = 14673472
1269.28/1269.73	c #random_decision = 61356
1269.28/1269.73	c #conflict = 11879310
1269.28/1269.73	c #restart = 27
1269.28/1269.73	s UNSATISFIABLE
1269.28/1269.73	c total CPU time = 1266.224s
1269.28/1269.73	c total wall clock time = 1269.737s

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

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

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


[startup+0 s]
/proc/loadavg: 1.05 1.18 1.54 4/175 28149
/proc/meminfo: memFree=29404348/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=793020 CPUtime=0 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 2969 0 0 0 0 0 0 0 20 0 4 0 12603052 812052480 3331 33554432000 4194304 16246674 140736384265632 140736384265056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 198767 3339 441 2943 0 195661 0
[pid=28149/tid=28150] ppid=28143 vsize=810428 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 829878272 3398 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=814524 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 834072576 3415 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=819644 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12603052 839315456 3432 33554432000 4194304 16246674 140736384265632 139903237082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 1.05 1.18 1.54 4/175 28149
/proc/meminfo: memFree=29404348/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 26040 0 0 0 5 4 0 0 20 0 4 0 12603052 1247350784 26390 33554432000 4194304 16246674 140736384265632 140736384265056 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 304529 26398 707 2943 0 301423 0
[pid=28149/tid=28150] ppid=28143 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 26404 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 26412 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 26418 33554432000 4194304 16246674 140736384265632 139903237082288 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.200463 s]
/proc/loadavg: 1.05 1.18 1.54 4/175 28149
/proc/meminfo: memFree=29404348/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 49656 0 0 0 12 7 0 0 20 0 4 0 12603052 1247350784 50006 33554432000 4194304 16246674 140736384265632 140736384247552 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 304529 50014 707 2943 0 301423 0
[pid=28149/tid=28150] ppid=28143 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 50021 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 50030 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 50036 33554432000 4194304 16246674 140736384265632 139903237082288 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.300446 s]
/proc/loadavg: 1.05 1.18 1.54 4/175 28149
/proc/meminfo: memFree=29404348/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 73099 0 0 0 18 11 0 0 20 0 4 0 12603052 1247350784 73449 33554432000 4194304 16246674 140736384265632 140736384247552 13191389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 304529 73457 708 2943 0 301423 0
[pid=28149/tid=28150] ppid=28143 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 73465 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 73474 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 73482 33554432000 4194304 16246674 140736384265632 139903237082288 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.700377 s]
/proc/loadavg: 1.05 1.18 1.54 4/175 28149
/proc/meminfo: memFree=29404348/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 167178 0 0 0 46 23 0 0 20 0 4 0 12603052 1247350784 167529 33554432000 4194304 16246674 140736384265632 140736384247552 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 304529 167540 708 2943 0 301423 0
[pid=28149/tid=28150] ppid=28143 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 167546 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 167552 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 167559 33554432000 4194304 16246674 140736384265632 139903237082288 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.50038 s]
/proc/loadavg: 1.05 1.18 1.54 4/183 28157
/proc/meminfo: memFree=27439028/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 245492 0 0 0 115 34 0 0 20 0 4 0 12603052 1247350784 245822 33554432000 4194304 16246674 140736384265632 140736384247552 6842417 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 304529 245822 784 2943 0 301423 0
[pid=28149/tid=28150] ppid=28143 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 245822 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 245822 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 245822 33554432000 4194304 16246674 140736384265632 139903237082288 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.10034 s]
/proc/loadavg: 1.05 1.18 1.54 4/183 28157
/proc/meminfo: memFree=27264196/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 267379 0 0 0 272 37 0 0 20 0 4 0 12603052 1337528320 267709 33554432000 4194304 16246674 140736384265632 140736384247552 5661211 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 326545 267709 785 2943 0 323439 0
[pid=28149/tid=28150] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267709 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267709 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267709 33554432000 4194304 16246674 140736384265632 139903237082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30038 s]
/proc/loadavg: 1.13 1.20 1.54 4/183 28157
/proc/meminfo: memFree=27262404/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 267402 0 0 0 592 37 0 0 20 0 4 0 12603052 1337528320 267732 33554432000 4194304 16246674 140736384265632 140736384247552 5823013 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 326545 267732 785 2943 0 323439 0
[pid=28149/tid=28150] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267732 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267732 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267732 33554432000 4194304 16246674 140736384265632 139903237082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.20 1.21 1.54 4/183 28157
/proc/meminfo: memFree=27261360/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 267411 0 0 0 1232 37 0 0 20 0 4 0 12603052 1337528320 267741 33554432000 4194304 16246674 140736384265632 140736384247552 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 326545 267741 785 2943 0 323439 0
[pid=28149/tid=28150] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267741 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267741 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267741 33554432000 4194304 16246674 140736384265632 139903237082288 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.5004 s]
/proc/loadavg: 1.37 1.25 1.55 4/183 28157
/proc/meminfo: memFree=27262900/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 267432 0 0 0 2511 37 0 0 20 0 4 0 12603052 1337528320 267762 33554432000 4194304 16246674 140736384265632 140736384247552 6021376 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 326545 267762 786 2943 0 323439 0
[pid=28149/tid=28150] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267762 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267762 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267762 33554432000 4194304 16246674 140736384265632 139903237082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.72 1.34 1.57 4/183 28157
/proc/meminfo: memFree=27262412/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 267432 0 0 0 5070 38 0 0 20 0 4 0 12603052 1337528320 267762 33554432000 4194304 16246674 140736384265632 140736384247552 5523315 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 326545 267762 786 2943 0 323439 0
[pid=28149/tid=28150] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267762 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267762 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267762 33554432000 4194304 16246674 140736384265632 139903237082288 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.12 1.50 1.61 4/183 28159
/proc/meminfo: memFree=27261828/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 267522 0 0 0 10189 39 0 0 20 0 4 0 12603052 1337528320 267852 33554432000 4194304 16246674 140736384265632 140736384247552 5723776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 326545 267852 789 2943 0 323439 0
[pid=28149/tid=28150] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267852 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267852 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267852 33554432000 4194304 16246674 140736384265632 139903237082288 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/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 268200 0 0 0 112133 58 0 0 20 0 4 0 12603052 1338576896 268116 33554432000 4194304 16246674 140736384265632 140736384247552 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 326801 268116 789 2943 0 323695 0
[pid=28149/tid=28150] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268116 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268116 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268116 33554432000 4194304 16246674 140736384265632 139903237082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 1307204

[startup+1182.3 s]
/proc/loadavg: 2.14 2.15 1.99 4/183 28208
/proc/meminfo: memFree=27253984/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1307204 CPUtime=1181.9 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 268213 0 0 0 118132 58 0 0 20 0 4 0 12603052 1338576896 268129 33554432000 4194304 16246674 140736384265632 140736384247552 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 326801 268129 789 2943 0 323695 0
[pid=28149/tid=28150] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268129 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268129 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268129 33554432000 4194304 16246674 140736384265632 139903237082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1307204

[startup+1242.3 s]
/proc/loadavg: 2.16 2.16 2.00 5/183 28209
/proc/meminfo: memFree=27253164/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1307204 CPUtime=1241.89 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 268224 0 0 0 124130 59 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 140736384247552 6020936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 326801 268140 789 2943 0 323695 0
[pid=28149/tid=28150] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903237082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1307204

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

[startup+1254.4 s]
/proc/loadavg: 2.21 2.18 2.00 4/183 28209
/proc/meminfo: memFree=27253524/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1307204 CPUtime=1253.98 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 268224 0 0 0 125339 59 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 140736384247552 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 326801 268140 789 2943 0 323695 0
[pid=28149/tid=28150] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903237082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1253.98
Current children cumulated vsize (KiB) 1307204

[startup+1260.8 s]
/proc/loadavg: 2.18 2.17 2.00 4/183 28209
/proc/meminfo: memFree=27253760/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1307204 CPUtime=1260.38 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 268224 0 0 0 125979 59 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 140736384247552 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 326801 268140 789 2943 0 323695 0
[pid=28149/tid=28150] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903237082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1260.38
Current children cumulated vsize (KiB) 1307204

[startup+1264.01 s]
/proc/loadavg: 2.18 2.17 2.00 4/183 28210
/proc/meminfo: memFree=27253504/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1307204 CPUtime=1263.59 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 268224 0 0 0 126300 59 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 140736384247552 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 326801 268140 789 2943 0 323695 0
[pid=28149/tid=28150] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903237082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1263.59
Current children cumulated vsize (KiB) 1307204

[startup+1267.2 s]
/proc/loadavg: 2.16 2.17 2.00 4/183 28210
/proc/meminfo: memFree=27253504/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1307204 CPUtime=1266.79 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 268224 0 0 0 126620 59 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 140736384247552 6845993 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 326801 268140 789 2943 0 323695 0
[pid=28149/tid=28150] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903237082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1266.79
Current children cumulated vsize (KiB) 1307204

[startup+1268.8 s]
/proc/loadavg: 2.16 2.17 2.00 4/183 28210
/proc/meminfo: memFree=27253504/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1307204 CPUtime=1268.38 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 268224 0 0 0 126779 59 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 140736384247552 13193432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 326801 268140 789 2943 0 323695 0
[pid=28149/tid=28150] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903237082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1268.38
Current children cumulated vsize (KiB) 1307204

[startup+1269.2 s]
/proc/loadavg: 2.16 2.17 2.00 4/183 28210
/proc/meminfo: memFree=27253504/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1307204 CPUtime=1268.78 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 268224 0 0 0 126819 59 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 140736384248632 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 326801 268140 789 2943 0 323695 0
[pid=28149/tid=28150] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903237082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1268.78
Current children cumulated vsize (KiB) 1307204

[startup+1269.6 s]
/proc/loadavg: 2.16 2.17 2.00 4/183 28210
/proc/meminfo: memFree=27253504/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1307204 CPUtime=1269.18 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 268224 0 0 0 126859 59 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 140736384248632 6842400 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 326801 268140 789 2943 0 323695 0
[pid=28149/tid=28150] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903237082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1269.18
Current children cumulated vsize (KiB) 1307204

[startup+1269.7 s]
/proc/loadavg: 2.16 2.17 2.00 4/183 28210
/proc/meminfo: memFree=27253504/32872528 swapFree=1270788/1434308
[pid=28149] ppid=28143 vsize=1307204 CPUtime=1269.28 cores=0,2,4,6
/proc/28149/stat : 28149 (toysat) R 28143 28149 23125 0 -1 4202496 268224 0 0 0 126869 59 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 140736384248632 13808416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28149/statm: 326801 268140 789 2943 0 323695 0
[pid=28149/tid=28150] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28150/stat : 28150 (toysat) S 28143 28149 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903258045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28149/tid=28151] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28151/stat : 28151 (toysat) S 28143 28149 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903247555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28149/tid=28152] ppid=28143 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28149/task/28152/stat : 28152 (toysat) S 28143 28149 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268140 33554432000 4194304 16246674 140736384265632 139903237082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1269.28
Current children cumulated vsize (KiB) 1307204

Child status: 0
Real time (s): 1269.74
CPU time (s): 1269.33
CPU user time (s): 1268.73
CPU system time (s): 0.598908
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1268.73
system time used= 0.598908
maximum resident set size= 1072572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268229
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= 437
involuntary context switches= 1436

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.06253 second user time and 5.06723 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-30 21:54:40
IDJOB=4122346
IDBENCH=111073
IDSOLVER=2542
FILE ID=node130/4122346-1467316480
RUNJOBID= node130-1467316479-28119
PBS_JOBID= 20005254
Free space on /tmp= 71664 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n24-d4-i1.cnf.gz-plain.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-4122346-1467316480/watcher-4122346-1467316480 -o /tmp/evaluation-result-4122346-1467316480/solver-4122346-1467316480 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467316479-28119 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122346-1467316480.opb

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

MD5SUM BENCH= 1ae2225652fcf7a6a91e552282c81dc6
RANDOM SEED=1063160930

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.813
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.813
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:        29406444 kB
Buffers:          148844 kB
Cached:          1119696 kB
SwapCached:            0 kB
Active:           337904 kB
Inactive:         947516 kB
Active(anon):      14952 kB
Inactive(anon):     4904 kB
Active(file):     322952 kB
Inactive(file):   942612 kB
Unevictable:     1434308 kB
Mlocked:         1270788 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32600 kB
Writeback:             0 kB
AnonPages:       1471548 kB
Mapped:            13956 kB
Shmem:               204 kB
Slab:             612928 kB
SReclaimable:      57096 kB
SUnreclaim:       555832 kB
KernelStack:        1408 kB
PageTables:         7368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1536892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 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= 71636 MiB
End job on node130 at 2016-06-30 22:15:50