Trace number 4121674

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 1196.08 1196.5

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n92-d3-i3-r1.cnf.gz-plain.pb.metafix.opb
MD5SUMa0bbd7d96f4dfdbbb7935f0526281499
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 benchmark27.9917
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables138
Total number of constraints368
Number of constraints which are clauses368
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:33:12+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-4121674-1467315192.opb"]
0.00/0.01	c use --random-gen="2824475952 4007993296 257606098 149012246 2464717619 900471903 1092084676 3688346042 2082277016 4156599710 3257672548 653861105 3913028310 3879059353 1277900443 4126371287 522841510 1334363054 669457270 2332513346 2998989329 4190327375 807063804 3460364701 628037694 3581116411 955672724 2249325406 3694533021 469064694 2097526228 2487404227 1310702648 3884916946 4233659757 4078296078 428018180 1399890695 1228237393 2325061021 3217747647 3639109721 1956796960 2048590825 2561425394 1435430343 1946225947 2998157604 819567804 2191239565 1616851523 2440559261 2327145040 639836606 1851352856 3460392238 856927763 839226677 3141462457 445963841 3191978222 1453203008 69636491 783067227 2263452147 6148322 193077957 1487864378 2344864386 1539083443 3543445526 3683868358 809866471 3713376423 1691869485 1220154888 4089373623 4048036745 1160064431 2112448666 3612920171 749487587 3547836705 3440302220 921758918 2449562283 3535330747 2799380037 3787928988 629191278 2865295852 3852591412 3761557155 2470670878 1585814835 2659275369 3969335900 1929469884 2180043030 4124322742 2326649949 3443684829 2178506106 3822131297 2218639251 1742237436 1793567098 3750779358 2552812585 650456302 3543615737 4288990658 890573113 651028629 3884506417 2804180458 1608077251 3712591413 893409054 879653347 2458360937 3089771563 1389060844 1156894584 1813563977 1709012616 85006678 1571559363 1921444313 4080862202 1195377605 1364799818 120156204 146351576 1647440229 3709775879 1239135403 568319608 3347556034 1998465446 3036658854 2737289956 479188791 387649571 2190076791 254889457 2460391384 3968505116 2151647570 1741056043 576409663 3323597328 3897425119 1756562396 3107786513 3262285841 4052133748 2616333880 2492792921 715981217 1576266015 2968208985 432870694 2025557564 2853208213 1193845488 1670702703 4167852445 4164532753 3130552598 1862218852 4062383413 121854448 1214920484 1779428014 2892435474 536080110 3108070378 264185021 1117199549 125346842 1706249200 4202848777 264884007 2494110151 3546408327 1529464288 1056589562 1674198572 4011550081 2834616515 1926264314 3527011380 775524333 1567387899 4209100507 4154839740 3314819932 2072185522 652121054 625297930 671902628 3154462284 4076408863 2493098294 2074189955 3602966426 1290928858 1925134608 3519619883 2341589734 1935499169 1261483519 813153461 978171837 2759475247 569665054 4011803130 1590234312 2256365524 872399679 3497867816 1295632134 3774361382 802238065 3899385227 291993064 3614250227 1595394503 3213173267 4100345108 2892992356 2015338462 332823773 453582014 3304257518 217961884 410507182 1508929278 641912545 1476868571 411580491 2269853989 2310163278 3261160644 1567277373 2172947642 1291904474 3943877659 4265213677 3689644878 570158397 3947937878 3182053322 3977583994 37915103 255 362436" option to reproduce the execution
0.00/0.01	c #vars 138
0.00/0.01	c #constraints 368
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      168      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      235 |      100 |      168      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      482 |      250 |      185      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      846 |      475 |      204      2 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1440 |      813 |      225      5 |        0 |        0
0.09/0.13	c  0.1s |       5 |     2241 |     1320 |      248      8 |        0 |        0
0.19/0.20	c  0.2s |       6 |     3430 |     2081 |      301     13 |        0 |        0
0.29/0.32	c  0.3s |       7 |     5131 |     3223 |      332     20 |        0 |        0
0.39/0.48	c  0.5s |       8 |     7431 |     4936 |      366     30 |        0 |        0
0.69/0.75	c  0.7s |       9 |    10432 |     7506 |      403     43 |        0 |        0
0.99/1.09	c  1.1s |      10 |    16051 |    11361 |      444     61 |        0 |        0
1.39/1.45	c  1.4s |      11 |    24813 |    17144 |      489     86 |        0 |        0
1.98/2.05	c  2.0s |      12 |    37355 |    25819 |      538    120 |        0 |        0
2.88/2.91	c  2.9s |      13 |    56801 |    38832 |      592    167 |        0 |        0
4.18/4.25	c  4.2s |      14 |    82677 |    58352 |      652    231 |        0 |        0
6.18/6.26	c  6.2s |      14 |   120767 |    86852 |      652    317 |        0 |        0
6.29/6.31	c  6.3s |      15 |   121828 |    87632 |      718    319 |        0 |        0
8.29/8.31	c  8.3s |      15 |   161761 |   117132 |      718    399 |        0 |        0
9.19/9.26	c  9.2s |      16 |   182188 |   131552 |      790    438 |        0 |        0
11.20/11.26	c 11.2s |      16 |   220604 |   159952 |      790    509 |        0 |        0
13.19/13.26	c 13.2s |      16 |   255791 |   187352 |      790    578 |        0 |        0
13.99/14.07	c 14.0s |      17 |   269572 |   197432 |      870    602 |        0 |        0
15.99/16.08	c 16.1s |      17 |   305560 |   223432 |      870    661 |        0 |        0
17.99/18.08	c 18.1s |      17 |   341382 |   249732 |      870    721 |        0 |        0
19.99/20.09	c 20.1s |      17 |   377671 |   276132 |      870    781 |        0 |        0
21.48/21.59	c 21.6s |      18 |   404216 |   296252 |      958    826 |        0 |        0
23.48/23.59	c 23.6s |      18 |   441157 |   323752 |      958    882 |        0 |        0
25.49/25.59	c 25.6s |      18 |   476931 |   350352 |      958    937 |        0 |        0
27.48/27.59	c 27.6s |      18 |   511732 |   376852 |      958    992 |        0 |        0
29.58/29.60	c 29.6s |      18 |   545326 |   402452 |      958   1045 |        0 |        0
31.59/31.60	c 31.6s |      18 |   579916 |   428552 |      958   1099 |        0 |        0
32.89/32.96	c 32.9s |      19 |   599684 |   444482 |     1054   1131 |        0 |        0
34.89/34.96	c 34.9s |      19 |   630774 |   467982 |     1054   1175 |        0 |        0
36.89/36.96	c 36.9s |      19 |   658200 |   490682 |     1054   1217 |        0 |        0
38.89/38.96	c 38.9s |      19 |   684871 |   511982 |     1054   1257 |        0 |        0
40.89/40.97	c 40.9s |      19 |   713109 |   534682 |     1054   1300 |        0 |        0
42.88/42.97	c 42.9s |      19 |   743863 |   558782 |     1054   1345 |        0 |        0
44.88/44.97	c 45.0s |      19 |   774736 |   582282 |     1054   1389 |        0 |        0
46.88/46.97	c 47.0s |      19 |   805117 |   605682 |     1054   1433 |        0 |        0
48.88/48.98	c 49.0s |      19 |   832232 |   628082 |     1054   1475 |        0 |        0
50.88/50.98	c 51.0s |      19 |   863102 |   651282 |     1054   1519 |        0 |        0
52.28/52.34	c 52.3s |      20 |   884202 |   666827 |     1160   1547 |        0 |        0
54.28/54.34	c 54.3s |      20 |   906049 |   686027 |     1160   1580 |        0 |        0
56.29/56.34	c 56.3s |      20 |   933473 |   708027 |     1160   1617 |        0 |        0
58.28/58.35	c 58.3s |      20 |   960236 |   729727 |     1160   1654 |        0 |        0
60.28/60.36	c 60.3s |      20 |   988680 |   752127 |     1160   1693 |        0 |        0
62.28/62.37	c 62.3s |      20 |  1021828 |   776227 |     1160   1734 |        0 |        0
64.28/64.37	c 64.4s |      20 |  1054758 |   801027 |     1160   1776 |        0 |        0
66.28/66.37	c 66.4s |      20 |  1091207 |   826327 |     1160   1819 |        0 |        0
68.28/68.38	c 68.4s |      20 |  1122100 |   849827 |     1160   1860 |        0 |        0
70.28/70.39	c 70.4s |      20 |  1153773 |   874427 |     1160   1902 |        0 |        0
72.27/72.39	c 72.4s |      20 |  1186032 |   898427 |     1160   1943 |        0 |        0
74.38/74.40	c 74.4s |      20 |  1220118 |   923527 |     1160   1986 |        0 |        0
76.38/76.40	c 76.4s |      20 |  1253536 |   948227 |     1160   2028 |        0 |        0
78.38/78.41	c 78.4s |      20 |  1288554 |   973127 |     1160   2071 |        0 |        0
80.39/80.41	c 80.4s |      20 |  1320580 |   996827 |     1276   2110 |        0 |        0
80.68/80.73	c 80.7s |      21 |  1325564 |  1000345 |     1276   2116 |        0 |        0
82.69/82.74	c 82.7s |      21 |  1357727 |  1024545 |     1276   2153 |        0 |        0
84.68/84.75	c 84.7s |      21 |  1388386 |  1046945 |     1276   2188 |        0 |        0
86.68/86.75	c 86.7s |      21 |  1417553 |  1069345 |     1276   2223 |        0 |        0
88.68/88.75	c 88.7s |      21 |  1448953 |  1093245 |     1276   2260 |        0 |        0
90.68/90.76	c 90.7s |      21 |  1478599 |  1116045 |     1276   2296 |        0 |        0
92.68/92.76	c 92.7s |      21 |  1507481 |  1138845 |     1276   2331 |        0 |        0
94.68/94.77	c 94.7s |      21 |  1539715 |  1162945 |     1276   2369 |        0 |        0
96.67/96.78	c 96.8s |      21 |  1571427 |  1186645 |     1276   2406 |        0 |        0
98.67/98.78	c 98.8s |      21 |  1603622 |  1209945 |     1276   2442 |        0 |        0
100.67/100.78	c  100s |      21 |  1635912 |  1232745 |     1276   2477 |        0 |        0
102.67/102.79	c  102s |      21 |  1668555 |  1255945 |     1276   2514 |        0 |        0
104.68/104.79	c  104s |      21 |  1699939 |  1278945 |     1276   2549 |        0 |        0
106.67/106.80	c  106s |      21 |  1731095 |  1301345 |     1276   2584 |        0 |        0
108.77/108.80	c  108s |      21 |  1762400 |  1324645 |     1276   2621 |        0 |        0
110.77/110.81	c  110s |      21 |  1792026 |  1347445 |     1276   2656 |        0 |        0
112.77/112.81	c  112s |      21 |  1821436 |  1370545 |     1276   2692 |        0 |        0
114.77/114.82	c  114s |      21 |  1852409 |  1394145 |     1276   2729 |        0 |        0
116.77/116.82	c  116s |      21 |  1883442 |  1417545 |     1276   2765 |        0 |        0
118.77/118.83	c  118s |      21 |  1916103 |  1441645 |     1276   2803 |        0 |        0
120.78/120.84	c  120s |      21 |  1949150 |  1465745 |     1276   2840 |        0 |        0
122.78/122.85	c  122s |      21 |  1979868 |  1488445 |     1276   2876 |        0 |        0
123.88/123.98	c  123s |      22 |  1996282 |  1500622 |     1404   2893 |        0 |        0
125.87/125.99	c  125s |      22 |  2027883 |  1523722 |     1404   2926 |        0 |        0
127.87/127.99	c  127s |      22 |  2056891 |  1546122 |     1404   2957 |        0 |        0
129.88/130.00	c  129s |      22 |  2084846 |  1566322 |     1404   2986 |        0 |        0
131.97/132.00	c  131s |      22 |  2109930 |  1586222 |     1404   3014 |        0 |        0
133.97/134.00	c  133s |      22 |  2139996 |  1609022 |     1404   3046 |        0 |        0
135.97/136.00	c  135s |      22 |  2169163 |  1630722 |     1404   3077 |        0 |        0
137.97/138.01	c  137s |      22 |  2196937 |  1652822 |     1404   3108 |        0 |        0
139.97/140.02	c  139s |      22 |  2229455 |  1676722 |     1404   3142 |        0 |        0
141.98/142.02	c  141s |      22 |  2262158 |  1700322 |     1404   3176 |        0 |        0
143.97/144.02	c  144s |      22 |  2291069 |  1723022 |     1404   3208 |        0 |        0
145.97/146.03	c  146s |      22 |  2321235 |  1745522 |     1404   3240 |        0 |        0
147.97/148.04	c  148s |      22 |  2351640 |  1768022 |     1404   3271 |        0 |        0
149.96/150.04	c  150s |      22 |  2382052 |  1791122 |     1404   3304 |        0 |        0
151.97/152.05	c  152s |      22 |  2413414 |  1813822 |     1404   3336 |        0 |        0
153.96/154.06	c  154s |      22 |  2438634 |  1834322 |     1404   3365 |        0 |        0
155.97/156.06	c  156s |      22 |  2469667 |  1856322 |     1404   3397 |        0 |        0
157.97/158.07	c  158s |      22 |  2501051 |  1880122 |     1404   3430 |        0 |        0
159.97/160.07	c  160s |      22 |  2533532 |  1903622 |     1404   3464 |        0 |        0
161.97/162.07	c  162s |      22 |  2565601 |  1926922 |     1404   3497 |        0 |        0
163.98/164.08	c  164s |      22 |  2598159 |  1950822 |     1404   3531 |        0 |        0
165.97/166.08	c  166s |      22 |  2628855 |  1974022 |     1404   3563 |        0 |        0
167.97/168.09	c  168s |      22 |  2661638 |  1998522 |     1404   3598 |        0 |        0
169.97/170.09	c  170s |      22 |  2694212 |  2023122 |     1404   3633 |        0 |        0
171.97/172.10	c  172s |      22 |  2725628 |  2047422 |     1404   3667 |        0 |        0
174.06/174.10	c  174s |      22 |  2758115 |  2071422 |     1404   3701 |        0 |        0
175.96/176.10	c  176s |      22 |  2787993 |  2094722 |     1404   3734 |        0 |        0
178.06/178.10	c  178s |      22 |  2819041 |  2117822 |     1404   3767 |        0 |        0
180.06/180.11	c  180s |      22 |  2850206 |  2141122 |     1404   3800 |        0 |        0
182.06/182.12	c  182s |      22 |  2876677 |  2162522 |     1404   3831 |        0 |        0
184.06/184.13	c  184s |      22 |  2905212 |  2184922 |     1404   3862 |        0 |        0
186.06/186.13	c  186s |      22 |  2937534 |  2208122 |     1404   3895 |        0 |        0
188.05/188.14	c  188s |      22 |  2968644 |  2230522 |     1404   3927 |        0 |        0
189.85/189.95	c  189s |      23 |  2996912 |  2251038 |     1545   3954 |        0 |        0
191.85/191.95	c  191s |      23 |  3025993 |  2271938 |     1545   3981 |        0 |        0
193.85/193.96	c  193s |      23 |  3052215 |  2292838 |     1545   4008 |        0 |        0
195.86/195.96	c  195s |      23 |  3081437 |  2315038 |     1545   4036 |        0 |        0
197.85/197.96	c  197s |      23 |  3112385 |  2337838 |     1545   4066 |        0 |        0
199.84/199.97	c  199s |      23 |  3142138 |  2359838 |     1545   4094 |        0 |        0
201.85/201.97	c  201s |      23 |  3169293 |  2380938 |     1545   4121 |        0 |        0
203.85/203.98	c  203s |      23 |  3201118 |  2404338 |     1545   4151 |        0 |        0
205.85/205.99	c  205s |      23 |  3231937 |  2427238 |     1545   4181 |        0 |        0
207.85/207.99	c  207s |      23 |  3258284 |  2447838 |     1545   4207 |        0 |        0
209.94/210.00	c  209s |      23 |  3288805 |  2470438 |     1545   4236 |        0 |        0
211.94/212.00	c  211s |      23 |  3318026 |  2492738 |     1545   4265 |        0 |        0
213.94/214.01	c  213s |      23 |  3344188 |  2512838 |     1545   4291 |        0 |        0
215.94/216.02	c  215s |      23 |  3369743 |  2532538 |     1545   4316 |        0 |        0
217.95/218.02	c  218s |      23 |  3396689 |  2553138 |     1545   4343 |        0 |        0
219.94/220.03	c  220s |      23 |  3425624 |  2575338 |     1545   4371 |        0 |        0
221.94/222.04	c  222s |      23 |  3451895 |  2596438 |     1545   4399 |        0 |        0
223.94/224.04	c  224s |      23 |  3477557 |  2617138 |     1545   4425 |        0 |        0
225.93/226.04	c  226s |      23 |  3503019 |  2637038 |     1545   4451 |        0 |        0
227.93/228.05	c  228s |      23 |  3527063 |  2657138 |     1545   4477 |        0 |        0
229.94/230.05	c  230s |      23 |  3555337 |  2677938 |     1545   4504 |        0 |        0
231.93/232.06	c  232s |      23 |  3582283 |  2697038 |     1545   4528 |        0 |        0
233.93/234.07	c  234s |      23 |  3612859 |  2719138 |     1545   4557 |        0 |        0
235.93/236.07	c  236s |      23 |  3643779 |  2741938 |     1545   4586 |        0 |        0
237.93/238.07	c  238s |      23 |  3672805 |  2763538 |     1545   4614 |        0 |        0
239.93/240.07	c  240s |      23 |  3702549 |  2785438 |     1545   4642 |        0 |        0
241.93/242.08	c  242s |      23 |  3733003 |  2807538 |     1545   4671 |        0 |        0
243.93/244.08	c  244s |      23 |  3763412 |  2830338 |     1545   4700 |        0 |        0
245.93/246.08	c  246s |      23 |  3795228 |  2853838 |     1545   4730 |        0 |        0
247.93/248.09	c  248s |      23 |  3825509 |  2877038 |     1545   4760 |        0 |        0
249.93/250.09	c  250s |      23 |  3856272 |  2899938 |     1545   4790 |        0 |        0
251.93/252.10	c  252s |      23 |  3885002 |  2922038 |     1545   4818 |        0 |        0
254.03/254.10	c  254s |      23 |  3916287 |  2945138 |     1545   4848 |        0 |        0
256.03/256.10	c  256s |      23 |  3948487 |  2968238 |     1545   4878 |        0 |        0
258.02/258.11	c  258s |      23 |  3979586 |  2991438 |     1545   4908 |        0 |        0
260.02/260.11	c  260s |      23 |  4013269 |  3015838 |     1545   4939 |        0 |        0
262.02/262.12	c  262s |      23 |  4044735 |  3039138 |     1545   4969 |        0 |        0
264.02/264.12	c  264s |      23 |  4076518 |  3062238 |     1545   4999 |        0 |        0
266.02/266.12	c  266s |      23 |  4106279 |  3084738 |     1545   5028 |        0 |        0
268.02/268.12	c  268s |      23 |  4134935 |  3106238 |     1545   5056 |        0 |        0
270.01/270.13	c  270s |      23 |  4167717 |  3129238 |     1545   5085 |        0 |        0
272.01/272.13	c  272s |      23 |  4196397 |  3150738 |     1545   5113 |        0 |        0
274.02/274.14	c  274s |      23 |  4224976 |  3172438 |     1545   5141 |        0 |        0
276.01/276.14	c  276s |      23 |  4255796 |  3194938 |     1545   5170 |        0 |        0
278.01/278.14	c  278s |      23 |  4287528 |  3218238 |     1545   5200 |        0 |        0
280.00/280.14	c  280s |      23 |  4317539 |  3241038 |     1545   5230 |        0 |        0
282.01/282.15	c  282s |      23 |  4348688 |  3263738 |     1545   5259 |        0 |        0
284.01/284.15	c  284s |      23 |  4378834 |  3284738 |     1545   5286 |        0 |        0
286.02/286.16	c  286s |      23 |  4410868 |  3307338 |     1545   5315 |        0 |        0
288.01/288.16	c  288s |      23 |  4440506 |  3330138 |     1545   5345 |        0 |        0
290.01/290.16	c  290s |      23 |  4471002 |  3353238 |     1700   5374 |        0 |        0
292.01/292.17	c  292s |      23 |  4502633 |  3376438 |     1700   5401 |        0 |        0
292.11/292.20	c  292s |      24 |  4502897 |  3376662 |     1700   5402 |        0 |        0
294.11/294.21	c  294s |      24 |  4533975 |  3399662 |     1700   5429 |        0 |        0
296.11/296.21	c  296s |      24 |  4564563 |  3422562 |     1700   5455 |        0 |        0
298.11/298.21	c  298s |      24 |  4596561 |  3445962 |     1700   5483 |        0 |        0
300.10/300.22	c  300s |      24 |  4624862 |  3467962 |     1700   5508 |        0 |        0
302.10/302.22	c  302s |      24 |  4656343 |  3490662 |     1700   5535 |        0 |        0
304.09/304.23	c  304s |      24 |  4689193 |  3514362 |     1700   5563 |        0 |        0
306.09/306.23	c  306s |      24 |  4719490 |  3536862 |     1700   5589 |        0 |        0
308.10/308.24	c  308s |      24 |  4749679 |  3559162 |     1700   5615 |        0 |        0
310.10/310.24	c  310s |      24 |  4777494 |  3579862 |     1700   5639 |        0 |        0
312.10/312.25	c  312s |      24 |  4806636 |  3601462 |     1700   5665 |        0 |        0
314.10/314.25	c  314s |      24 |  4836221 |  3623662 |     1700   5691 |        0 |        0
316.10/316.27	c  316s |      24 |  4867004 |  3645862 |     1700   5717 |        0 |        0
318.09/318.27	c  318s |      24 |  4896073 |  3667762 |     1700   5742 |        0 |        0
320.10/320.28	c  320s |      24 |  4926836 |  3690262 |     1700   5769 |        0 |        0
322.09/322.29	c  322s |      24 |  4959903 |  3714062 |     1700   5796 |        0 |        0
324.09/324.29	c  324s |      24 |  4989912 |  3737062 |     1700   5823 |        0 |        0
326.09/326.29	c  326s |      24 |  5018246 |  3757962 |     1700   5848 |        0 |        0
328.19/328.30	c  328s |      24 |  5048771 |  3780662 |     1700   5874 |        0 |        0
330.18/330.30	c  330s |      24 |  5078267 |  3802862 |     1700   5901 |        0 |        0
332.19/332.31	c  332s |      24 |  5110531 |  3826062 |     1700   5928 |        0 |        0
334.18/334.31	c  334s |      24 |  5139563 |  3848462 |     1700   5954 |        0 |        0
336.18/336.31	c  336s |      24 |  5167489 |  3869062 |     1700   5978 |        0 |        0
338.18/338.32	c  338s |      24 |  5197844 |  3891462 |     1700   6004 |        0 |        0
340.17/340.32	c  340s |      24 |  5227500 |  3913462 |     1700   6030 |        0 |        0
342.18/342.32	c  342s |      24 |  5257410 |  3936262 |     1700   6057 |        0 |        0
344.17/344.33	c  344s |      24 |  5287054 |  3958362 |     1700   6083 |        0 |        0
346.17/346.34	c  346s |      24 |  5316757 |  3981162 |     1700   6109 |        0 |        0
348.17/348.34	c  348s |      24 |  5346596 |  4003462 |     1700   6136 |        0 |        0
350.17/350.34	c  350s |      24 |  5372131 |  4023762 |     1700   6159 |        0 |        0
352.17/352.35	c  352s |      24 |  5402026 |  4045262 |     1700   6184 |        0 |        0
354.17/354.35	c  354s |      24 |  5430802 |  4067062 |     1700   6210 |        0 |        0
356.16/356.35	c  356s |      24 |  5461910 |  4090062 |     1700   6237 |        0 |        0
358.16/358.36	c  358s |      24 |  5491668 |  4112962 |     1700   6264 |        0 |        0
360.16/360.37	c  360s |      24 |  5521002 |  4134362 |     1700   6289 |        0 |        0
362.16/362.37	c  362s |      24 |  5552821 |  4156562 |     1700   6315 |        0 |        0
364.16/364.37	c  364s |      24 |  5582075 |  4178462 |     1700   6341 |        0 |        0
366.16/366.37	c  366s |      24 |  5610766 |  4199962 |     1700   6366 |        0 |        0
368.16/368.38	c  368s |      24 |  5637688 |  4221362 |     1700   6391 |        0 |        0
370.16/370.38	c  370s |      24 |  5666347 |  4242162 |     1700   6416 |        0 |        0
372.16/372.39	c  372s |      24 |  5694355 |  4262062 |     1700   6439 |        0 |        0
374.16/374.39	c  374s |      24 |  5719475 |  4281062 |     1700   6461 |        0 |        0
376.16/376.39	c  376s |      24 |  5746592 |  4301262 |     1700   6485 |        0 |        0
378.16/378.39	c  378s |      24 |  5774980 |  4321962 |     1700   6509 |        0 |        0
380.26/380.40	c  380s |      24 |  5802400 |  4342762 |     1700   6533 |        0 |        0
382.26/382.40	c  382s |      24 |  5833308 |  4365562 |     1700   6560 |        0 |        0
384.26/384.41	c  384s |      24 |  5864593 |  4388862 |     1700   6587 |        0 |        0
386.25/386.41	c  386s |      24 |  5892012 |  4410562 |     1700   6613 |        0 |        0
388.26/388.42	c  388s |      24 |  5920236 |  4432762 |     1700   6639 |        0 |        0
390.25/390.43	c  390s |      24 |  5949351 |  4454862 |     1700   6665 |        0 |        0
392.25/392.43	c  392s |      24 |  5978765 |  4477362 |     1700   6691 |        0 |        0
394.25/394.43	c  394s |      24 |  6008484 |  4500062 |     1700   6718 |        0 |        0
396.25/396.44	c  396s |      24 |  6040665 |  4523662 |     1700   6746 |        0 |        0
398.26/398.44	c  398s |      24 |  6068196 |  4545462 |     1700   6771 |        0 |        0
400.25/400.44	c  400s |      24 |  6097336 |  4566262 |     1700   6796 |        0 |        0
402.25/402.44	c  402s |      24 |  6125546 |  4587962 |     1700   6821 |        0 |        0
404.25/404.45	c  404s |      24 |  6154976 |  4609762 |     1700   6847 |        0 |        0
406.25/406.46	c  406s |      24 |  6182597 |  4631262 |     1700   6872 |        0 |        0
408.25/408.46	c  408s |      24 |  6208707 |  4651162 |     1700   6895 |        0 |        0
410.25/410.46	c  410s |      24 |  6236082 |  4671762 |     1700   6919 |        0 |        0
412.24/412.46	c  412s |      24 |  6263700 |  4693262 |     1700   6945 |        0 |        0
414.24/414.47	c  414s |      24 |  6291168 |  4714862 |     1700   6970 |        0 |        0
416.24/416.47	c  416s |      24 |  6322235 |  4737462 |     1700   6997 |        0 |        0
418.24/418.47	c  418s |      24 |  6355098 |  4761162 |     1700   7024 |        0 |        0
420.24/420.47	c  420s |      24 |  6387120 |  4784962 |     1700   7052 |        0 |        0
422.23/422.48	c  422s |      24 |  6414853 |  4805562 |     1700   7076 |        0 |        0
424.23/424.48	c  424s |      24 |  6444545 |  4828562 |     1700   7103 |        0 |        0
426.23/426.48	c  426s |      24 |  6471190 |  4849662 |     1700   7128 |        0 |        0
428.23/428.49	c  428s |      24 |  6498394 |  4871262 |     1700   7153 |        0 |        0
430.23/430.49	c  430s |      24 |  6527002 |  4893362 |     1700   7179 |        0 |        0
432.24/432.49	c  432s |      24 |  6557902 |  4916562 |     1700   7207 |        0 |        0
434.33/434.50	c  434s |      24 |  6584589 |  4937462 |     1700   7231 |        0 |        0
436.33/436.50	c  436s |      24 |  6613251 |  4959462 |     1700   7257 |        0 |        0
438.33/438.51	c  438s |      24 |  6643392 |  4981362 |     1700   7283 |        0 |        0
440.32/440.51	c  440s |      24 |  6670746 |  5002462 |     1700   7307 |        0 |        0
442.32/442.52	c  442s |      24 |  6699926 |  5023262 |     1700   7332 |        0 |        0
444.33/444.52	c  444s |      24 |  6726893 |  5044062 |     1871   7354 |        0 |        0
446.32/446.53	c  446s |      24 |  6755017 |  5064662 |     1871   7376 |        0 |        0
446.32/446.57	c  446s |      25 |  6755613 |  5065098 |     1871   7377 |        0 |        0
448.32/448.58	c  448s |      25 |  6782228 |  5085598 |     1871   7398 |        0 |        0
450.32/450.58	c  450s |      25 |  6810743 |  5105698 |     1871   7420 |        0 |        0
452.32/452.58	c  452s |      25 |  6834458 |  5124598 |     1871   7440 |        0 |        0
454.32/454.59	c  454s |      25 |  6861459 |  5144798 |     1871   7461 |        0 |        0
456.31/456.60	c  456s |      25 |  6889635 |  5166098 |     1871   7484 |        0 |        0
458.41/458.60	c  458s |      25 |  6917570 |  5187398 |     1871   7507 |        0 |        0
460.41/460.61	c  460s |      25 |  6945743 |  5209098 |     1871   7530 |        0 |        0
462.41/462.61	c  462s |      25 |  6971436 |  5228298 |     1871   7550 |        0 |        0
464.41/464.63	c  464s |      25 |  6997249 |  5248298 |     1871   7572 |        0 |        0
466.41/466.63	c  466s |      25 |  7026198 |  5269598 |     1871   7594 |        0 |        0
468.41/468.64	c  468s |      25 |  7055182 |  5291698 |     1871   7618 |        0 |        0
470.41/470.65	c  470s |      25 |  7082236 |  5312698 |     1871   7640 |        0 |        0
472.41/472.66	c  472s |      25 |  7107346 |  5331598 |     1871   7660 |        0 |        0
474.41/474.66	c  474s |      25 |  7134994 |  5351998 |     1871   7682 |        0 |        0
476.41/476.66	c  476s |      25 |  7164200 |  5373798 |     1871   7705 |        0 |        0
478.41/478.67	c  478s |      25 |  7192889 |  5395598 |     1871   7728 |        0 |        0
480.40/480.68	c  480s |      25 |  7221622 |  5417798 |     1871   7752 |        0 |        0
482.40/482.68	c  482s |      25 |  7249382 |  5439598 |     1871   7775 |        0 |        0
484.40/484.68	c  484s |      25 |  7278327 |  5461698 |     1871   7799 |        0 |        0
486.40/486.69	c  486s |      25 |  7307632 |  5483398 |     1871   7822 |        0 |        0
488.41/488.69	c  488s |      25 |  7340273 |  5507098 |     1871   7847 |        0 |        0
490.40/490.69	c  490s |      25 |  7372306 |  5530698 |     1871   7872 |        0 |        0
492.40/492.69	c  492s |      25 |  7402752 |  5552698 |     1871   7896 |        0 |        0
494.49/494.70	c  494s |      25 |  7432597 |  5575498 |     1871   7920 |        0 |        0
496.49/496.70	c  496s |      25 |  7459139 |  5595498 |     1871   7941 |        0 |        0
498.49/498.70	c  498s |      25 |  7487087 |  5616098 |     1871   7963 |        0 |        0
500.49/500.72	c  500s |      25 |  7515542 |  5637098 |     1871   7986 |        0 |        0
502.49/502.72	c  502s |      25 |  7541878 |  5655798 |     1871   8005 |        0 |        0
504.49/504.72	c  504s |      25 |  7565387 |  5674998 |     1871   8026 |        0 |        0
506.48/506.73	c  506s |      25 |  7588561 |  5693998 |     1871   8046 |        0 |        0
508.48/508.74	c  508s |      25 |  7612688 |  5712198 |     1871   8065 |        0 |        0
510.49/510.75	c  510s |      25 |  7640473 |  5732998 |     1871   8088 |        0 |        0
512.49/512.75	c  512s |      25 |  7669355 |  5754798 |     1871   8111 |        0 |        0
514.48/514.76	c  514s |      25 |  7696970 |  5776498 |     1871   8134 |        0 |        0
516.48/516.76	c  516s |      25 |  7725438 |  5797698 |     1871   8156 |        0 |        0
518.48/518.76	c  518s |      25 |  7750649 |  5816798 |     1871   8177 |        0 |        0
520.48/520.77	c  520s |      25 |  7774475 |  5835398 |     1871   8197 |        0 |        0
522.49/522.77	c  522s |      25 |  7802799 |  5855698 |     1871   8218 |        0 |        0
524.48/524.78	c  524s |      25 |  7831361 |  5876198 |     1871   8240 |        0 |        0
526.48/526.79	c  526s |      25 |  7860417 |  5897498 |     1871   8263 |        0 |        0
528.58/528.80	c  528s |      25 |  7886748 |  5918398 |     1871   8285 |        0 |        0
530.58/530.80	c  530s |      25 |  7913698 |  5938998 |     1871   8307 |        0 |        0
532.58/532.81	c  532s |      25 |  7941751 |  5959398 |     1871   8329 |        0 |        0
534.58/534.82	c  534s |      25 |  7967705 |  5980098 |     1871   8351 |        0 |        0
536.58/536.82	c  536s |      25 |  7994923 |  6000398 |     1871   8373 |        0 |        0
538.58/538.83	c  538s |      25 |  8020692 |  6020598 |     1871   8394 |        0 |        0
540.57/540.83	c  540s |      25 |  8046592 |  6040798 |     1871   8416 |        0 |        0
542.57/542.83	c  542s |      25 |  8071283 |  6060998 |     1871   8437 |        0 |        0
544.57/544.84	c  544s |      25 |  8097877 |  6080798 |     1871   8458 |        0 |        0
546.57/546.86	c  546s |      25 |  8124672 |  6100698 |     1871   8480 |        0 |        0
548.56/548.86	c  548s |      25 |  8150472 |  6121698 |     1871   8502 |        0 |        0
550.56/550.86	c  550s |      25 |  8178277 |  6142698 |     1871   8524 |        0 |        0
552.57/552.87	c  552s |      25 |  8207166 |  6163498 |     1871   8547 |        0 |        0
554.57/554.88	c  554s |      25 |  8236369 |  6185198 |     1871   8570 |        0 |        0
556.57/556.89	c  556s |      25 |  8264648 |  6206698 |     1871   8593 |        0 |        0
558.57/558.90	c  558s |      25 |  8292770 |  6228398 |     1871   8616 |        0 |        0
560.66/560.90	c  560s |      25 |  8318699 |  6248898 |     1871   8638 |        0 |        0
562.66/562.91	c  562s |      25 |  8347321 |  6269698 |     1871   8660 |        0 |        0
564.66/564.91	c  564s |      25 |  8375829 |  6290598 |     1871   8682 |        0 |        0
566.66/566.91	c  566s |      25 |  8404640 |  6311798 |     1871   8705 |        0 |        0
568.67/568.91	c  568s |      25 |  8432551 |  6333298 |     1871   8728 |        0 |        0
570.66/570.92	c  570s |      25 |  8462680 |  6355898 |     1871   8752 |        0 |        0
572.66/572.92	c  572s |      25 |  8491326 |  6377798 |     1871   8775 |        0 |        0
574.66/574.92	c  574s |      25 |  8520193 |  6399498 |     1871   8798 |        0 |        0
576.66/576.92	c  576s |      25 |  8549515 |  6421498 |     1871   8822 |        0 |        0
578.66/578.93	c  578s |      25 |  8580391 |  6443898 |     1871   8846 |        0 |        0
580.65/580.94	c  580s |      25 |  8608999 |  6465498 |     1871   8869 |        0 |        0
582.65/582.94	c  582s |      25 |  8633237 |  6485198 |     1871   8890 |        0 |        0
584.65/584.95	c  584s |      25 |  8659641 |  6505698 |     1871   8911 |        0 |        0
586.66/586.96	c  586s |      25 |  8689948 |  6528298 |     1871   8936 |        0 |        0
588.66/588.96	c  588s |      25 |  8719595 |  6549698 |     1871   8958 |        0 |        0
590.66/590.96	c  590s |      25 |  8750528 |  6572198 |     1871   8982 |        0 |        0
592.65/592.97	c  592s |      25 |  8781628 |  6594398 |     1871   9006 |        0 |        0
594.65/594.98	c  594s |      25 |  8812664 |  6617398 |     1871   9031 |        0 |        0
596.65/596.98	c  596s |      25 |  8842330 |  6638498 |     1871   9053 |        0 |        0
598.65/598.98	c  598s |      25 |  8871476 |  6659298 |     1871   9075 |        0 |        0
600.64/600.98	c  600s |      25 |  8899985 |  6678898 |     1871   9096 |        0 |        0
602.65/602.99	c  602s |      25 |  8929284 |  6700198 |     1871   9119 |        0 |        0
604.74/605.00	c  604s |      25 |  8958928 |  6722798 |     1871   9143 |        0 |        0
606.74/607.00	c  606s |      25 |  8990194 |  6745598 |     1871   9168 |        0 |        0
608.74/609.01	c  608s |      25 |  9019077 |  6767898 |     1871   9191 |        0 |        0
610.73/611.02	c  610s |      25 |  9044925 |  6788298 |     1871   9213 |        0 |        0
612.73/613.02	c  613s |      25 |  9072014 |  6809598 |     1871   9236 |        0 |        0
614.74/615.03	c  615s |      25 |  9104105 |  6832998 |     1871   9261 |        0 |        0
616.73/617.03	c  617s |      25 |  9135638 |  6856498 |     1871   9286 |        0 |        0
618.73/619.03	c  619s |      25 |  9166956 |  6879198 |     1871   9310 |        0 |        0
620.72/621.04	c  621s |      25 |  9194747 |  6900498 |     1871   9333 |        0 |        0
622.72/623.05	c  623s |      25 |  9227233 |  6924998 |     1871   9359 |        0 |        0
624.73/625.05	c  625s |      25 |  9258666 |  6948498 |     1871   9384 |        0 |        0
626.72/627.05	c  627s |      25 |  9289518 |  6972098 |     1871   9409 |        0 |        0
628.72/629.05	c  629s |      25 |  9318644 |  6994598 |     1871   9433 |        0 |        0
630.72/631.06	c  631s |      25 |  9348385 |  7017598 |     1871   9457 |        0 |        0
632.72/633.06	c  633s |      25 |  9380453 |  7041598 |     1871   9483 |        0 |        0
634.72/635.07	c  635s |      25 |  9411131 |  7064098 |     1871   9507 |        0 |        0
636.73/637.07	c  637s |      25 |  9443070 |  7086498 |     1871   9531 |        0 |        0
638.72/639.08	c  639s |      25 |  9473341 |  7108798 |     1871   9554 |        0 |        0
640.72/641.08	c  641s |      25 |  9502271 |  7130598 |     1871   9578 |        0 |        0
642.72/643.09	c  643s |      25 |  9528682 |  7150698 |     1871   9599 |        0 |        0
644.82/645.10	c  645s |      25 |  9558717 |  7173498 |     1871   9623 |        0 |        0
646.82/647.10	c  647s |      25 |  9591039 |  7196598 |     1871   9648 |        0 |        0
648.82/649.11	c  649s |      25 |  9623754 |  7220598 |     1871   9673 |        0 |        0
650.81/651.11	c  651s |      25 |  9652237 |  7241898 |     1871   9696 |        0 |        0
652.81/653.12	c  653s |      25 |  9675763 |  7261798 |     1871   9717 |        0 |        0
654.81/655.12	c  655s |      25 |  9702405 |  7282998 |     1871   9740 |        0 |        0
656.81/657.12	c  657s |      25 |  9731369 |  7305398 |     1871   9764 |        0 |        0
658.82/659.13	c  659s |      25 |  9761850 |  7328498 |     1871   9788 |        0 |        0
660.81/661.13	c  661s |      25 |  9794243 |  7352098 |     1871   9814 |        0 |        0
662.81/663.13	c  663s |      25 |  9822854 |  7374698 |     1871   9838 |        0 |        0
664.81/665.13	c  665s |      25 |  9850918 |  7396198 |     1871   9861 |        0 |        0
666.81/667.14	c  667s |      25 |  9880220 |  7418098 |     1871   9884 |        0 |        0
668.80/669.15	c  669s |      25 |  9910165 |  7439798 |     1871   9907 |        0 |        0
670.81/671.16	c  671s |      25 |  9937779 |  7460998 |     1871   9929 |        0 |        0
672.80/673.16	c  673s |      25 |  9966999 |  7482798 |     1871   9953 |        0 |        0
674.80/675.16	c  675s |      25 |  9995813 |  7504898 |     1871   9976 |        0 |        0
676.80/677.16	c  677s |      25 | 10026618 |  7527798 |     1871  10001 |        0 |        0
678.79/679.17	c  679s |      25 | 10055681 |  7550098 |     2059  10024 |        0 |        0
680.80/681.18	c  681s |      25 | 10083817 |  7571198 |     2059  10044 |        0 |        0
682.79/683.18	c  683s |      25 | 10106108 |  7590398 |     2059  10062 |        0 |        0
683.59/683.99	c  683s |      26 | 10116478 |  7597752 |     2059  10070 |        0 |        0
685.69/686.00	c  685s |      26 | 10142909 |  7617652 |     2059  10089 |        0 |        0
687.69/688.00	c  687s |      26 | 10173762 |  7639752 |     2059  10110 |        0 |        0
689.69/690.01	c  689s |      26 | 10203099 |  7661452 |     2059  10131 |        0 |        0
691.69/692.02	c  692s |      26 | 10230534 |  7682552 |     2059  10152 |        0 |        0
693.68/694.03	c  694s |      26 | 10257089 |  7703252 |     2059  10172 |        0 |        0
695.68/696.03	c  696s |      26 | 10283644 |  7723452 |     2059  10191 |        0 |        0
697.69/698.04	c  698s |      26 | 10308313 |  7743152 |     2059  10210 |        0 |        0
699.69/700.04	c  700s |      26 | 10335586 |  7763152 |     2059  10230 |        0 |        0
701.69/702.04	c  702s |      26 | 10362087 |  7783552 |     2059  10249 |        0 |        0
703.69/704.05	c  704s |      26 | 10389726 |  7804252 |     2059  10269 |        0 |        0
705.69/706.05	c  706s |      26 | 10418611 |  7825552 |     2059  10290 |        0 |        0
707.69/708.06	c  708s |      26 | 10445959 |  7846252 |     2059  10310 |        0 |        0
709.68/710.06	c  710s |      26 | 10474861 |  7867952 |     2059  10331 |        0 |        0
711.68/712.06	c  712s |      26 | 10503417 |  7889952 |     2059  10352 |        0 |        0
713.69/714.07	c  714s |      26 | 10532350 |  7911852 |     2059  10373 |        0 |        0
715.68/716.07	c  716s |      26 | 10561270 |  7933652 |     2059  10395 |        0 |        0
717.68/718.08	c  718s |      26 | 10589578 |  7955152 |     2059  10415 |        0 |        0
719.67/720.08	c  720s |      26 | 10617670 |  7976352 |     2059  10436 |        0 |        0
721.67/722.09	c  722s |      26 | 10645061 |  7997452 |     2059  10456 |        0 |        0
723.68/724.09	c  724s |      26 | 10672118 |  8018752 |     2059  10477 |        0 |        0
725.67/726.10	c  726s |      26 | 10700009 |  8040352 |     2059  10498 |        0 |        0
727.77/728.11	c  728s |      26 | 10726879 |  8061352 |     2059  10518 |        0 |        0
729.76/730.11	c  730s |      26 | 10753057 |  8081752 |     2059  10538 |        0 |        0
731.76/732.12	c  732s |      26 | 10780283 |  8102852 |     2059  10558 |        0 |        0
733.76/734.13	c  734s |      26 | 10806485 |  8123152 |     2059  10578 |        0 |        0
735.77/736.13	c  736s |      26 | 10834187 |  8144452 |     2059  10599 |        0 |        0
737.76/738.14	c  738s |      26 | 10863854 |  8166852 |     2059  10620 |        0 |        0
739.76/740.14	c  740s |      26 | 10893350 |  8188852 |     2059  10642 |        0 |        0
741.76/742.14	c  742s |      26 | 10921722 |  8210352 |     2059  10662 |        0 |        0
743.76/744.14	c  744s |      26 | 10949721 |  8231852 |     2059  10683 |        0 |        0
745.75/746.14	c  746s |      26 | 10975200 |  8252152 |     2059  10703 |        0 |        0
747.77/748.15	c  748s |      26 | 11004254 |  8274252 |     2059  10724 |        0 |        0
749.76/750.15	c  750s |      26 | 11033727 |  8296252 |     2059  10746 |        0 |        0
751.76/752.15	c  752s |      26 | 11060126 |  8316652 |     2059  10765 |        0 |        0
753.76/754.16	c  754s |      26 | 11086148 |  8336752 |     2059  10785 |        0 |        0
755.76/756.16	c  756s |      26 | 11114353 |  8358452 |     2059  10806 |        0 |        0
757.76/758.16	c  758s |      26 | 11136664 |  8376452 |     2059  10823 |        0 |        0
759.75/760.16	c  760s |      26 | 11161164 |  8395952 |     2059  10842 |        0 |        0
761.75/762.17	c  762s |      26 | 11187288 |  8416652 |     2059  10862 |        0 |        0
763.75/764.17	c  764s |      26 | 11214359 |  8437852 |     2059  10882 |        0 |        0
765.75/766.18	c  766s |      26 | 11242552 |  8459752 |     2059  10904 |        0 |        0
767.75/768.18	c  768s |      26 | 11269383 |  8480852 |     2059  10924 |        0 |        0
769.75/770.19	c  770s |      26 | 11294867 |  8500952 |     2059  10944 |        0 |        0
771.75/772.19	c  772s |      26 | 11323606 |  8522452 |     2059  10964 |        0 |        0
773.84/774.20	c  774s |      26 | 11352256 |  8543452 |     2059  10985 |        0 |        0
775.84/776.20	c  776s |      26 | 11380864 |  8564652 |     2059  11005 |        0 |        0
777.84/778.21	c  778s |      26 | 11406922 |  8585352 |     2059  11025 |        0 |        0
779.84/780.21	c  780s |      26 | 11434542 |  8606552 |     2059  11046 |        0 |        0
781.84/782.21	c  782s |      26 | 11463074 |  8628052 |     2059  11066 |        0 |        0
783.84/784.21	c  784s |      26 | 11488563 |  8648052 |     2059  11086 |        0 |        0
785.84/786.21	c  786s |      26 | 11514055 |  8668152 |     2059  11105 |        0 |        0
787.84/788.22	c  788s |      26 | 11540734 |  8687852 |     2059  11124 |        0 |        0
789.83/790.22	c  790s |      26 | 11567938 |  8708552 |     2059  11144 |        0 |        0
791.84/792.23	c  792s |      26 | 11595106 |  8728852 |     2059  11164 |        0 |        0
793.83/794.23	c  794s |      26 | 11623030 |  8748052 |     2059  11183 |        0 |        0
795.83/796.24	c  796s |      26 | 11649411 |  8768452 |     2059  11202 |        0 |        0
797.83/798.25	c  798s |      26 | 11673582 |  8788252 |     2059  11222 |        0 |        0
799.83/800.25	c  800s |      26 | 11700259 |  8808852 |     2059  11241 |        0 |        0
801.83/802.26	c  802s |      26 | 11726765 |  8829552 |     2059  11262 |        0 |        0
803.83/804.27	c  804s |      26 | 11753027 |  8849652 |     2059  11281 |        0 |        0
805.83/806.28	c  806s |      26 | 11776498 |  8869052 |     2059  11300 |        0 |        0
807.83/808.29	c  808s |      26 | 11799365 |  8887652 |     2059  11318 |        0 |        0
809.83/810.29	c  810s |      26 | 11824405 |  8907452 |     2059  11337 |        0 |        0
811.93/812.30	c  812s |      26 | 11856029 |  8929952 |     2059  11359 |        0 |        0
813.93/814.31	c  814s |      26 | 11886302 |  8951852 |     2059  11380 |        0 |        0
815.93/816.32	c  816s |      26 | 11916144 |  8973952 |     2059  11401 |        0 |        0
817.92/818.33	c  818s |      26 | 11945631 |  8996452 |     2059  11423 |        0 |        0
819.92/820.33	c  820s |      26 | 11976020 |  9019152 |     2059  11445 |        0 |        0
821.92/822.34	c  822s |      26 | 12006620 |  9041552 |     2059  11467 |        0 |        0
823.92/824.34	c  824s |      26 | 12036694 |  9063552 |     2059  11488 |        0 |        0
825.93/826.34	c  826s |      26 | 12066421 |  9085952 |     2059  11509 |        0 |        0
827.92/828.35	c  828s |      26 | 12095460 |  9107652 |     2059  11530 |        0 |        0
829.92/830.36	c  830s |      26 | 12126156 |  9130452 |     2059  11552 |        0 |        0
831.92/832.36	c  832s |      26 | 12154935 |  9152252 |     2059  11573 |        0 |        0
833.93/834.37	c  834s |      26 | 12181733 |  9173252 |     2059  11594 |        0 |        0
835.93/836.37	c  836s |      26 | 12210095 |  9194552 |     2059  11614 |        1 |        4
837.94/838.37	c  838s |      26 | 12235023 |  9214352 |     2059  11633 |        1 |        4
839.93/840.38	c  840s |      26 | 12260206 |  9232652 |     2059  11650 |        1 |        4
841.93/842.38	c  842s |      26 | 12287446 |  9253452 |     2059  11670 |        1 |        4
843.93/844.39	c  844s |      26 | 12312657 |  9273252 |     2059  11690 |        1 |        4
845.93/846.39	c  846s |      26 | 12337442 |  9292852 |     2059  11709 |        1 |        4
848.03/848.40	c  848s |      26 | 12363088 |  9312552 |     2059  11728 |        1 |        4
850.03/850.41	c  850s |      26 | 12388256 |  9331952 |     2059  11746 |        1 |        4
852.03/852.42	c  852s |      26 | 12412269 |  9348852 |     2059  11763 |        1 |        4
854.03/854.42	c  854s |      26 | 12436084 |  9366852 |     2059  11780 |        1 |        4
856.02/856.44	c  856s |      26 | 12454568 |  9382952 |     2059  11796 |        1 |        4
858.02/858.45	c  858s |      26 | 12471337 |  9398052 |     2059  11810 |        1 |        4
860.03/860.46	c  860s |      26 | 12492297 |  9414852 |     2059  11826 |        1 |        4
862.02/862.47	c  862s |      26 | 12512848 |  9430952 |     2059  11842 |        1 |        4
864.02/864.47	c  864s |      26 | 12536988 |  9449852 |     2059  11860 |        1 |        4
866.02/866.48	c  866s |      26 | 12561864 |  9468952 |     2059  11879 |        1 |        4
868.02/868.49	c  868s |      26 | 12589005 |  9489452 |     2059  11899 |        1 |        4
870.02/870.49	c  870s |      26 | 12615412 |  9509152 |     2059  11918 |        1 |        4
872.02/872.50	c  872s |      26 | 12641753 |  9528652 |     2059  11936 |        1 |        4
874.12/874.50	c  874s |      26 | 12665527 |  9548352 |     2059  11955 |        1 |        4
876.12/876.50	c  876s |      26 | 12690919 |  9568852 |     2059  11975 |        1 |        4
878.12/878.51	c  878s |      26 | 12717414 |  9589652 |     2059  11995 |        1 |        4
880.12/880.51	c  880s |      26 | 12745078 |  9611052 |     2059  12016 |        1 |        4
882.12/882.52	c  882s |      26 | 12769961 |  9630752 |     2059  12035 |        1 |        4
884.12/884.53	c  884s |      26 | 12798418 |  9651952 |     2059  12056 |        1 |        4
886.11/886.53	c  886s |      26 | 12824083 |  9672452 |     2059  12076 |        1 |        4
888.11/888.54	c  888s |      26 | 12850833 |  9692852 |     2059  12095 |        1 |        4
890.11/890.55	c  890s |      26 | 12874759 |  9712752 |     2059  12115 |        1 |        4
892.12/892.55	c  892s |      26 | 12901979 |  9733652 |     2059  12135 |        1 |        4
894.13/894.55	c  894s |      26 | 12929215 |  9753452 |     2059  12154 |        1 |        4
896.12/896.56	c  896s |      26 | 12955314 |  9773152 |     2059  12173 |        1 |        4
898.12/898.57	c  898s |      26 | 12982531 |  9793152 |     2059  12192 |        1 |        4
900.12/900.58	c  900s |      26 | 13008967 |  9813052 |     2059  12212 |        1 |        4
902.12/902.58	c  902s |      26 | 13036129 |  9833652 |     2059  12231 |        1 |        4
904.12/904.58	c  904s |      26 | 13064830 |  9855052 |     2059  12252 |        1 |        4
906.12/906.59	c  906s |      26 | 13093095 |  9876152 |     2059  12273 |        1 |        4
908.11/908.59	c  908s |      26 | 13120453 |  9897452 |     2059  12293 |        1 |        4
910.11/910.60	c  910s |      26 | 13148553 |  9918452 |     2059  12313 |        1 |        4
912.21/912.60	c  912s |      26 | 13177560 |  9940052 |     2059  12334 |        1 |        4
914.21/914.60	c  914s |      26 | 13206752 |  9961852 |     2059  12355 |        1 |        4
916.21/916.61	c  916s |      26 | 13235949 |  9983552 |     2059  12376 |        1 |        4
918.22/918.61	c  918s |      26 | 13264456 | 10004652 |     2059  12397 |        1 |        4
920.21/920.62	c  920s |      26 | 13292085 | 10025652 |     2059  12417 |        1 |        4
922.21/922.63	c  922s |      26 | 13321785 | 10047752 |     2059  12439 |        1 |        4
924.21/924.64	c  924s |      26 | 13350504 | 10069352 |     2059  12460 |        1 |        4
926.21/926.64	c  926s |      26 | 13378767 | 10089852 |     2059  12479 |        1 |        4
928.22/928.64	c  928s |      26 | 13407323 | 10110952 |     2059  12500 |        1 |        4
930.21/930.64	c  930s |      26 | 13436181 | 10132152 |     2059  12520 |        1 |        4
932.21/932.66	c  932s |      26 | 13462088 | 10152052 |     2059  12540 |        1 |        4
934.21/934.66	c  934s |      26 | 13489370 | 10173552 |     2059  12560 |        1 |        4
936.21/936.67	c  936s |      26 | 13517740 | 10194652 |     2059  12581 |        1 |        4
938.21/938.67	c  938s |      26 | 13545246 | 10215852 |     2059  12601 |        1 |        4
940.22/940.67	c  940s |      26 | 13574817 | 10237352 |     2059  12622 |        1 |        4
942.21/942.68	c  942s |      26 | 13605064 | 10259552 |     2059  12644 |        1 |        4
944.21/944.68	c  944s |      26 | 13633803 | 10281252 |     2059  12665 |        1 |        4
946.21/946.69	c  946s |      26 | 13663818 | 10303252 |     2059  12686 |        1 |        4
948.21/948.70	c  948s |      26 | 13692074 | 10324652 |     2059  12707 |        1 |        4
950.31/950.70	c  950s |      26 | 13717241 | 10344352 |     2059  12726 |        1 |        4
952.31/952.71	c  952s |      26 | 13743578 | 10362552 |     2059  12743 |        1 |        4
954.31/954.72	c  954s |      26 | 13771530 | 10381752 |     2059  12762 |        1 |        4
956.31/956.73	c  956s |      26 | 13796764 | 10400952 |     2059  12780 |        1 |        4
958.31/958.73	c  958s |      26 | 13821864 | 10420552 |     2059  12799 |        1 |        4
960.30/960.74	c  960s |      26 | 13845954 | 10439652 |     2059  12818 |        1 |        4
962.31/962.74	c  962s |      26 | 13872066 | 10459652 |     2059  12837 |        1 |        4
964.30/964.74	c  964s |      26 | 13898420 | 10478652 |     2059  12856 |        1 |        4
966.30/966.75	c  966s |      26 | 13924121 | 10497352 |     2059  12874 |        1 |        4
968.30/968.75	c  968s |      26 | 13951902 | 10517852 |     2059  12894 |        1 |        4
970.30/970.75	c  970s |      26 | 13980521 | 10539352 |     2059  12914 |        1 |        4
972.30/972.77	c  972s |      26 | 14008320 | 10560252 |     2059  12935 |        1 |        4
974.31/974.77	c  974s |      26 | 14035329 | 10580952 |     2059  12955 |        1 |        4
976.30/976.77	c  976s |      26 | 14062522 | 10601852 |     2059  12975 |        1 |        4
978.30/978.78	c  978s |      26 | 14089659 | 10621552 |     2059  12994 |        1 |        4
980.31/980.78	c  980s |      26 | 14117232 | 10643252 |     2059  13015 |        1 |        4
982.31/982.79	c  982s |      26 | 14143071 | 10663652 |     2059  13035 |        1 |        4
984.31/984.80	c  984s |      26 | 14169786 | 10684752 |     2059  13055 |        1 |        4
986.31/986.80	c  986s |      26 | 14196366 | 10704552 |     2059  13074 |        1 |        4
988.41/988.81	c  988s |      26 | 14220112 | 10723952 |     2059  13093 |        1 |        4
990.40/990.82	c  990s |      26 | 14242560 | 10742252 |     2059  13111 |        1 |        4
992.40/992.83	c  992s |      26 | 14265195 | 10761052 |     2059  13129 |        1 |        4
994.40/994.83	c  994s |      26 | 14292490 | 10781652 |     2059  13149 |        1 |        4
996.41/996.83	c  996s |      26 | 14318295 | 10801952 |     2059  13168 |        1 |        4
998.40/998.84	c  998s |      26 | 14346153 | 10822952 |     2059  13189 |        1 |        4
1000.40/1000.84	c 1000s |      26 | 14374817 | 10844152 |     2059  13209 |        1 |        4
1002.40/1002.84	c 1002s |      26 | 14405146 | 10865552 |     2059  13230 |        1 |        4
1004.40/1004.85	c 1004s |      26 | 14435961 | 10887552 |     2059  13251 |        1 |        4
1006.40/1006.85	c 1006s |      26 | 14465916 | 10910052 |     2059  13273 |        1 |        4
1008.40/1008.85	c 1008s |      26 | 14497249 | 10933152 |     2059  13295 |        1 |        4
1010.40/1010.86	c 1010s |      26 | 14526496 | 10955652 |     2059  13316 |        2 |        8
1012.40/1012.86	c 1012s |      26 | 14550651 | 10974752 |     2059  13334 |        2 |        8
1014.39/1014.86	c 1014s |      26 | 14576719 | 10994852 |     2059  13353 |        2 |        8
1016.39/1016.87	c 1016s |      26 | 14602611 | 11014752 |     2059  13373 |        2 |        8
1018.41/1018.87	c 1018s |      26 | 14624788 | 11033352 |     2059  13391 |        2 |        8
1020.40/1020.88	c 1020s |      26 | 14648334 | 11052052 |     2059  13409 |        2 |        8
1022.40/1022.88	c 1022s |      26 | 14670970 | 11070652 |     2059  13427 |        2 |        8
1024.40/1024.88	c 1024s |      26 | 14697013 | 11090452 |     2059  13446 |        2 |        8
1026.40/1026.89	c 1026s |      26 | 14724368 | 11111452 |     2059  13466 |        2 |        8
1028.50/1028.90	c 1028s |      26 | 14752293 | 11132552 |     2059  13486 |        2 |        8
1030.51/1030.91	c 1030s |      26 | 14776134 | 11152152 |     2059  13505 |        2 |        8
1032.50/1032.91	c 1032s |      26 | 14800452 | 11171952 |     2059  13524 |        2 |        8
1034.50/1034.92	c 1034s |      26 | 14823865 | 11190652 |     2059  13543 |        2 |        8
1036.50/1036.93	c 1036s |      26 | 14853105 | 11212552 |     2059  13564 |        2 |        8
1038.50/1038.93	c 1038s |      26 | 14882005 | 11234552 |     2059  13585 |        2 |        8
1040.49/1040.94	c 1040s |      26 | 14911138 | 11256452 |     2059  13606 |        2 |        8
1042.50/1042.94	c 1042s |      26 | 14940915 | 11278552 |     2059  13628 |        2 |        8
1044.49/1044.95	c 1044s |      26 | 14971249 | 11300852 |     2059  13649 |        2 |        8
1046.49/1046.95	c 1046s |      26 | 15000680 | 11322752 |     2265  13669 |        2 |        8
1048.49/1048.96	c 1048s |      26 | 15026269 | 11342752 |     2265  13687 |        2 |        8
1050.49/1050.96	c 1050s |      26 | 15054225 | 11363752 |     2265  13706 |        2 |        8
1052.50/1052.96	c 1052s |      26 | 15084626 | 11385952 |     2265  13725 |        2 |        8
1053.50/1053.94	c 1053s |      27 | 15099058 | 11396733 |     2265  13735 |        2 |        8
1055.49/1055.94	c 1055s |      27 | 15123117 | 11415233 |     2265  13751 |        2 |        8
1057.49/1057.95	c 1057s |      27 | 15144132 | 11432233 |     2265  13766 |        2 |        8
1059.49/1059.95	c 1059s |      27 | 15170747 | 11451333 |     2265  13782 |        2 |        8
1061.49/1061.95	c 1061s |      27 | 15195130 | 11470533 |     2265  13799 |        2 |        8
1063.50/1063.96	c 1063s |      27 | 15219799 | 11489433 |     2265  13816 |        2 |        8
1065.49/1065.97	c 1065s |      27 | 15245345 | 11508133 |     2265  13832 |        2 |        8
1067.49/1067.97	c 1067s |      27 | 15269519 | 11526933 |     2265  13849 |        2 |        8
1069.49/1069.98	c 1069s |      27 | 15296269 | 11546533 |     2265  13866 |        2 |        8
1071.49/1071.98	c 1071s |      27 | 15322700 | 11565233 |     2265  13883 |        2 |        8
1073.49/1073.98	c 1073s |      27 | 15347660 | 11584133 |     2265  13899 |        2 |        8
1075.50/1075.98	c 1075s |      27 | 15372842 | 11602933 |     2265  13916 |        2 |        8
1077.59/1078.00	c 1077s |      27 | 15398529 | 11622033 |     2265  13933 |        2 |        8
1079.59/1080.01	c 1079s |      27 | 15424091 | 11641433 |     2265  13950 |        2 |        8
1081.59/1082.03	c 1082s |      27 | 15450123 | 11660733 |     2265  13967 |        2 |        8
1083.59/1084.03	c 1084s |      27 | 15471138 | 11677533 |     2265  13981 |        2 |        8
1085.59/1086.04	c 1086s |      27 | 15494773 | 11695433 |     2265  13997 |        2 |        8
1087.60/1088.05	c 1088s |      27 | 15520013 | 11714333 |     2265  14014 |        2 |        8
1089.59/1090.06	c 1090s |      27 | 15546164 | 11734133 |     2265  14031 |        2 |        8
1091.59/1092.07	c 1092s |      27 | 15571971 | 11754033 |     2265  14049 |        2 |        8
1093.59/1094.07	c 1094s |      27 | 15599073 | 11774333 |     2265  14066 |        2 |        8
1095.58/1096.08	c 1096s |      27 | 15619282 | 11791333 |     2265  14081 |        2 |        8
1097.59/1098.09	c 1098s |      27 | 15643140 | 11810233 |     2265  14098 |        2 |        8
1099.58/1100.09	c 1100s |      27 | 15670388 | 11830933 |     2265  14116 |        2 |        8
1101.68/1102.10	c 1102s |      27 | 15697438 | 11851133 |     2265  14134 |        2 |        8
1103.68/1104.10	c 1104s |      27 | 15722630 | 11870633 |     2265  14151 |        2 |        8
1105.68/1106.11	c 1106s |      27 | 15747862 | 11890533 |     2265  14169 |        2 |        8
1107.68/1108.11	c 1108s |      27 | 15770975 | 11909033 |     2265  14185 |        2 |        8
1109.69/1110.12	c 1110s |      27 | 15797139 | 11928633 |     2265  14202 |        2 |        8
1111.68/1112.12	c 1112s |      27 | 15822162 | 11948433 |     2265  14219 |        2 |        8
1113.68/1114.13	c 1114s |      27 | 15847028 | 11967433 |     2265  14236 |        2 |        8
1115.68/1116.13	c 1116s |      27 | 15872029 | 11986733 |     2265  14253 |        2 |        8
1117.68/1118.14	c 1118s |      27 | 15897756 | 12006033 |     2265  14270 |        2 |        8
1119.68/1120.14	c 1120s |      27 | 15924988 | 12026233 |     2265  14288 |        2 |        8
1121.68/1122.15	c 1122s |      27 | 15952528 | 12047033 |     2265  14306 |        2 |        8
1123.68/1124.16	c 1124s |      27 | 15975345 | 12065633 |     2265  14323 |        2 |        8
1125.68/1126.17	c 1126s |      27 | 15999027 | 12083933 |     2265  14339 |        2 |        8
1127.68/1128.17	c 1128s |      27 | 16023433 | 12103333 |     2265  14356 |        2 |        8
1129.68/1130.17	c 1130s |      27 | 16046089 | 12121833 |     2265  14372 |        2 |        8
1131.68/1132.17	c 1132s |      27 | 16069346 | 12140333 |     2265  14388 |        2 |        8
1133.68/1134.18	c 1134s |      27 | 16093994 | 12158533 |     2265  14404 |        2 |        8
1135.68/1136.18	c 1136s |      27 | 16117302 | 12175933 |     2265  14419 |        2 |        8
1137.68/1138.18	c 1138s |      27 | 16141156 | 12193733 |     2265  14435 |        2 |        8
1139.68/1140.19	c 1140s |      27 | 16164759 | 12212833 |     2265  14452 |        2 |        8
1141.68/1142.19	c 1142s |      27 | 16190861 | 12233133 |     2265  14470 |        2 |        8
1143.69/1144.20	c 1144s |      27 | 16217239 | 12253133 |     2265  14487 |        2 |        8
1145.78/1146.21	c 1146s |      27 | 16244820 | 12273933 |     2265  14506 |        2 |        8
1147.78/1148.21	c 1148s |      27 | 16267869 | 12292133 |     2265  14522 |        2 |        8
1149.78/1150.21	c 1150s |      27 | 16293909 | 12311133 |     2265  14538 |        2 |        8
1151.78/1152.22	c 1152s |      27 | 16318424 | 12330133 |     2265  14555 |        2 |        8
1153.78/1154.22	c 1154s |      27 | 16347268 | 12351033 |     2265  14573 |        2 |        8
1155.78/1156.23	c 1156s |      27 | 16376445 | 12371533 |     2265  14591 |        2 |        8
1157.78/1158.23	c 1158s |      27 | 16404744 | 12392633 |     2265  14610 |        2 |        8
1159.77/1160.23	c 1160s |      27 | 16432208 | 12412833 |     2265  14627 |        3 |       12
1161.77/1162.23	c 1162s |      27 | 16459564 | 12433733 |     2265  14646 |        3 |       12
1163.77/1164.24	c 1164s |      27 | 16485882 | 12454433 |     2265  14664 |        3 |       12
1165.78/1166.24	c 1166s |      27 | 16513818 | 12475633 |     2265  14682 |        3 |       12
1167.77/1168.24	c 1168s |      27 | 16541113 | 12496733 |     2265  14701 |        3 |       12
1169.77/1170.25	c 1170s |      27 | 16569601 | 12517933 |     2265  14720 |        3 |       12
1171.77/1172.25	c 1172s |      27 | 16595078 | 12537233 |     2265  14737 |        3 |       12
1173.77/1174.26	c 1174s |      27 | 16620077 | 12556733 |     2265  14754 |        3 |       12
1175.77/1176.26	c 1176s |      27 | 16644512 | 12576633 |     2265  14771 |        3 |       12
1177.78/1178.26	c 1178s |      27 | 16668840 | 12596233 |     2265  14788 |        3 |       12
1179.77/1180.27	c 1180s |      27 | 16692786 | 12615433 |     2265  14805 |        3 |       12
1181.77/1182.27	c 1182s |      27 | 16717956 | 12635033 |     2265  14822 |        3 |       12
1183.78/1184.28	c 1184s |      27 | 16740703 | 12653933 |     2265  14839 |        3 |       12
1185.78/1186.28	c 1186s |      27 | 16767029 | 12673433 |     2265  14856 |        3 |       12
1187.78/1188.29	c 1188s |      27 | 16791849 | 12692333 |     2265  14873 |        3 |       12
1189.78/1190.29	c 1190s |      27 | 16817248 | 12712333 |     2265  14890 |        3 |       12
1191.87/1192.30	c 1192s |      27 | 16840145 | 12731433 |     2265  14906 |        6 |       24
1193.87/1194.31	c 1194s |      27 | 16868780 | 12752833 |     2265  14924 |        7 |       28
1195.87/1196.32	c 1196s |      27 | 16897459 | 12774933 |     2265  14941 |       11 |       44
1195.97/1196.49	c 1196s |      27 | 16900176 | 12777190 |     2265  14941 |       30 |       82
1195.97/1196.49	c #cpu_time = 1196.273s
1195.97/1196.49	c #wall_clock_time = 1196.469s
1195.97/1196.49	c #decision = 16900176
1195.97/1196.49	c #random_decision = 81441
1195.97/1196.49	c #conflict = 12777190
1195.97/1196.49	c #restart = 27
1195.97/1196.49	s UNSATISFIABLE
1195.97/1196.49	c total CPU time = 1196.293s
1195.97/1196.49	c total wall clock time = 1196.489s

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

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

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


[startup+0 s]
/proc/loadavg: 2.21 2.27 2.22 4/179 19714
/proc/meminfo: memFree=27561416/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=576956 CPUtime=0 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 2125 0 0 0 0 0 0 0 20 0 4 0 12480250 590802944 2487 33554432000 4194304 16246674 140737192221920 140737192221344 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 145007 2496 441 2943 0 141901 0
[pid=19714/tid=19715] ppid=19711 vsize=595388 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 609677312 2556 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=599484 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 613871616 2575 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=603580 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12480251 618065920 2591 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.21 2.27 2.22 4/179 19714
/proc/meminfo: memFree=27561416/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 24866 0 0 0 6 3 0 0 20 0 4 0 12480250 1247350784 25216 33554432000 4194304 16246674 140737192221920 140737192221344 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 304529 25226 708 2943 0 301423 0
[pid=19714/tid=19715] ppid=19711 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1247350784 25232 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1247350784 25240 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12480251 1247350784 25245 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200471 s]
/proc/loadavg: 2.21 2.27 2.22 4/179 19714
/proc/meminfo: memFree=27561416/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 47877 0 0 0 13 6 0 0 20 0 4 0 12480250 1247350784 48227 33554432000 4194304 16246674 140737192221920 140737192203840 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 304529 48239 708 2943 0 301423 0
[pid=19714/tid=19715] ppid=19711 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1247350784 48244 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1247350784 48252 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12480251 1247350784 48261 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300421 s]
/proc/loadavg: 2.21 2.27 2.22 4/179 19714
/proc/meminfo: memFree=27561416/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 70741 0 0 0 19 10 0 0 20 0 4 0 12480250 1247350784 71091 33554432000 4194304 16246674 140737192221920 140737192203840 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 304529 71102 708 2943 0 301423 0
[pid=19714/tid=19715] ppid=19711 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1247350784 71108 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1247350784 71117 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12480251 1247350784 71124 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700389 s]
/proc/loadavg: 2.21 2.27 2.22 4/179 19714
/proc/meminfo: memFree=27561416/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 161849 0 0 0 47 22 0 0 20 0 4 0 12480250 1247350784 162199 33554432000 4194304 16246674 140737192221920 140737192203840 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 304529 162205 708 2943 0 301423 0
[pid=19714/tid=19715] ppid=19711 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1247350784 162208 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1247350784 162212 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12480251 1247350784 162218 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.21 2.27 2.22 4/183 19718
/proc/meminfo: memFree=26578820/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 245598 0 0 0 115 34 0 0 20 0 4 0 12480250 1248399360 245928 33554432000 4194304 16246674 140737192221920 140737192203840 6045508 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 304785 245928 785 2943 0 301679 0
[pid=19714/tid=19715] ppid=19711 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1248399360 245928 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1248399360 245928 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1248399360 245928 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10043 s]
/proc/loadavg: 2.21 2.27 2.22 4/183 19718
/proc/meminfo: memFree=26491400/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 267424 0 0 0 271 37 0 0 20 0 4 0 12480250 1337528320 267754 33554432000 4194304 16246674 140737192221920 140737192203840 5572189 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 326545 267754 785 2943 0 323439 0
[pid=19714/tid=19715] ppid=19711 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1337528320 267754 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1337528320 267754 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1337528320 267754 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30039 s]
/proc/loadavg: 2.27 2.28 2.22 3/183 19718
/proc/meminfo: memFree=26491032/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 267450 0 0 0 591 38 0 0 20 0 4 0 12480250 1337528320 267780 33554432000 4194304 16246674 140737192221920 140737192204920 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 326545 267780 786 2943 0 323439 0
[pid=19714/tid=19715] ppid=19711 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1337528320 267780 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1337528320 267780 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1337528320 267780 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.33 2.29 2.23 3/183 19718
/proc/meminfo: memFree=26490324/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 267476 0 0 0 1231 38 0 0 20 0 4 0 12480250 1337528320 267806 33554432000 4194304 16246674 140737192221920 140737192203840 5677784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 326545 267806 788 2943 0 323439 0
[pid=19714/tid=19715] ppid=19711 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1337528320 267806 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1337528320 267806 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1337528320 267806 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5075 s]
/proc/loadavg: 2.26 2.27 2.22 3/183 19718
/proc/meminfo: memFree=26490128/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 267748 0 0 0 2511 38 0 0 20 0 4 0 12480250 1338576896 268078 33554432000 4194304 16246674 140737192221920 140737192203840 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 326801 268078 789 2943 0 323695 0
[pid=19714/tid=19715] ppid=19711 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1338576896 268078 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1338576896 268078 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1338576896 268078 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1004 s]
/proc/loadavg: 2.25 2.27 2.22 3/183 19718
/proc/meminfo: memFree=26489264/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 267825 0 0 0 5069 39 0 0 20 0 4 0 12480250 1338576896 268155 33554432000 4194304 16246674 140737192221920 140737192203840 6012244 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 326801 268155 789 2943 0 323695 0
[pid=19714/tid=19715] ppid=19711 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1338576896 268155 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1338576896 268155 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1338576896 268155 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.33 2.29 2.23 3/183 19719
/proc/meminfo: memFree=26488588/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 267825 0 0 0 10187 40 0 0 20 0 4 0 12480250 1338576896 268155 33554432000 4194304 16246674 140737192221920 140737192203840 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 326801 268155 789 2943 0 323695 0
[pid=19714/tid=19715] ppid=19711 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1338576896 268155 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1338576896 268155 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1338576896 268155 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 269523 0 0 0 100131 60 0 0 20 0 4 0 12480250 1343819776 269440 33554432000 4194304 16246674 140737192221920 140737192203840 12466733 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 328081 269440 791 2943 0 324975 0
[pid=19714/tid=19715] ppid=19711 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1343819776 269440 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1343819776 269440 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1343819776 269440 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 1312324

[startup+1062.3 s]
/proc/loadavg: 2.26 2.22 2.18 5/184 19842
/proc/meminfo: memFree=26497836/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1312324 CPUtime=1061.89 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 269523 0 0 0 106128 61 0 0 20 0 4 0 12480250 1343819776 269440 33554432000 4194304 16246674 140737192221920 140737192203840 5822592 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 328081 269440 791 2943 0 324975 0
[pid=19714/tid=19715] ppid=19711 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1343819776 269440 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1343819776 269440 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1343819776 269440 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 1312324

[startup+1122.3 s]
/proc/loadavg: 2.35 2.25 2.19 4/183 19843
/proc/meminfo: memFree=26497416/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1312324 CPUtime=1121.88 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 269523 0 0 0 112126 62 0 0 20 0 4 0 12480250 1343819776 269440 33554432000 4194304 16246674 140737192221920 140737192203840 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 328081 269440 791 2943 0 324975 0
[pid=19714/tid=19715] ppid=19711 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1343819776 269440 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1343819776 269440 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1343819776 269440 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 1312324

[startup+1182.3 s]
/proc/loadavg: 2.34 2.27 2.20 4/183 19844
/proc/meminfo: memFree=26494200/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1316420 CPUtime=1181.87 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 270372 0 0 0 118124 63 0 0 20 0 4 0 12480250 1348014080 270289 33554432000 4194304 16246674 140737192221920 140737192203840 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 329105 270289 791 2943 0 325999 0
[pid=19714/tid=19715] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270289 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270289 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270289 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 1316420

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

[startup+1184.1 s]
/proc/loadavg: 2.31 2.26 2.20 5/183 19844
/proc/meminfo: memFree=26494272/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1316420 CPUtime=1183.68 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 270372 0 0 0 118304 64 0 0 20 0 4 0 12480250 1348014080 270289 33554432000 4194304 16246674 140737192221920 140737192203840 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 329105 270289 791 2943 0 325999 0
[pid=19714/tid=19715] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270289 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270289 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270289 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1183.68
Current children cumulated vsize (KiB) 1316420

[startup+1190.5 s]
/proc/loadavg: 2.29 2.26 2.19 4/183 19844
/proc/meminfo: memFree=26494256/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1316420 CPUtime=1190.08 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 270400 0 0 0 118944 64 0 0 20 0 4 0 12480250 1348014080 270317 33554432000 4194304 16246674 140737192221920 140737192203840 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 329105 270317 791 2943 0 325999 0
[pid=19714/tid=19715] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270317 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270317 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270317 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1190.08
Current children cumulated vsize (KiB) 1316420

[startup+1193.71 s]
/proc/loadavg: 2.35 2.27 2.20 4/183 19844
/proc/meminfo: memFree=26493760/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1316420 CPUtime=1193.28 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 270547 0 0 0 119264 64 0 0 20 0 4 0 12480250 1348014080 270464 33554432000 4194304 16246674 140737192221920 140737192203840 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 329105 270464 791 2943 0 325999 0
[pid=19714/tid=19715] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270464 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270464 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270464 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1193.28
Current children cumulated vsize (KiB) 1316420

[startup+1195.3 s]
/proc/loadavg: 2.35 2.27 2.20 4/183 19844
/proc/meminfo: memFree=26493760/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1316420 CPUtime=1194.87 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 270547 0 0 0 119423 64 0 0 20 0 4 0 12480250 1348014080 270464 33554432000 4194304 16246674 140737192221920 140737192203840 5808568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 329105 270464 791 2943 0 325999 0
[pid=19714/tid=19715] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270464 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270464 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270464 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1194.87
Current children cumulated vsize (KiB) 1316420

[startup+1196.1 s]
/proc/loadavg: 2.35 2.27 2.20 4/183 19844
/proc/meminfo: memFree=26493636/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1316420 CPUtime=1195.67 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 270547 0 0 0 119503 64 0 0 20 0 4 0 12480250 1348014080 270464 33554432000 4194304 16246674 140737192221920 140737192203840 5827656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 329105 270464 791 2943 0 325999 0
[pid=19714/tid=19715] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270464 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270464 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270464 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1195.67
Current children cumulated vsize (KiB) 1316420

[startup+1196.3 s]
/proc/loadavg: 2.35 2.27 2.20 4/183 19844
/proc/meminfo: memFree=26493636/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1316420 CPUtime=1195.87 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 270547 0 0 0 119523 64 0 0 20 0 4 0 12480250 1348014080 270464 33554432000 4194304 16246674 140737192221920 140737192203840 13906983 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 329105 270464 791 2943 0 325999 0
[pid=19714/tid=19715] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270464 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270464 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270464 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1195.87
Current children cumulated vsize (KiB) 1316420

[startup+1196.4 s]
/proc/loadavg: 2.35 2.27 2.20 4/183 19844
/proc/meminfo: memFree=26493636/32872528 swapFree=1427768/1542232
[pid=19714] ppid=19711 vsize=1316420 CPUtime=1195.97 cores=0,2,4,6
/proc/19714/stat : 19714 (toysat) R 19711 19714 15544 0 -1 4202496 270547 0 0 0 119533 64 0 0 20 0 4 0 12480250 1348014080 270464 33554432000 4194304 16246674 140737192221920 140737192203840 5823611 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19714/statm: 329105 270464 791 2943 0 325999 0
[pid=19714/tid=19715] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19715/stat : 19715 (toysat) S 19711 19714 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270464 33554432000 4194304 16246674 140737192221920 139867902160112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19714/tid=19716] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19716/stat : 19716 (toysat) S 19711 19714 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270464 33554432000 4194304 16246674 140737192221920 139867891670256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19714/tid=19717] ppid=19711 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19714/task/19717/stat : 19717 (toysat) S 19711 19714 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12480251 1348014080 270464 33554432000 4194304 16246674 140737192221920 139867881196720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1195.97
Current children cumulated vsize (KiB) 1316420

Child status: 0
Real time (s): 1196.5
CPU time (s): 1196.08
CPU user time (s): 1195.43
CPU system time (s): 0.645901
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1195.43
system time used= 0.645901
maximum resident set size= 1081868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270552
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= 436
involuntary context switches= 1221

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.90325 second user time and 5.2802 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-30 21:33:12
IDJOB=4121674
IDBENCH=110602
IDSOLVER=2542
FILE ID=node116/4121674-1467315192
RUNJOBID= node116-1467310476-18420
PBS_JOBID= 20005287
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i3-r1.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-4121674-1467315192/watcher-4121674-1467315192 -o /tmp/evaluation-result-4121674-1467315192/solver-4121674-1467315192 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467310476-18420 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121674-1467315192.opb

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

MD5SUM BENCH= a0bbd7d96f4dfdbbb7935f0526281499
RANDOM SEED=1279476123

node116.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.426
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	: 5332.85
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.426
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.426
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.426
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.426
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.426
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.426
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.54
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.426
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:        27561796 kB
Buffers:          207412 kB
Cached:          1710868 kB
SwapCached:            0 kB
Active:          1443224 kB
Inactive:        1576748 kB
Active(anon):    1104268 kB
Inactive(anon):        0 kB
Active(file):     338956 kB
Inactive(file):  1576748 kB
Unevictable:     1542232 kB
Mlocked:         1427768 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16308 kB
Writeback:             0 kB
AnonPages:       2719828 kB
Mapped:            17116 kB
Shmem:               204 kB
Slab:             614276 kB
SReclaimable:      58380 kB
SUnreclaim:       555896 kB
KernelStack:        1520 kB
PageTables:         9612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2776060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1091584 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= 71692 MiB
End job on node116 at 2016-06-30 21:53:09