Trace number 4120290

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 1324.22 1324.7

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n84-d3-i2-r2.cnf.gz-plain.pb.metafix.opb
MD5SUMbacd93c99a4c884997cc7607aec955fe
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 benchmark20.9268
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables126
Total number of constraints336
Number of constraints which are clauses336
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-30T20:20:30+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-4120290-1467310830.opb"]
0.00/0.01	c use --random-gen="3498168390 3454226567 4148913152 3581242509 2347912703 1010740907 612158789 2902438064 3908446727 2435495713 1551547534 2404570857 1684495424 1505241873 2287187415 3284555254 3598344623 3651121593 841595002 2963070140 2240283810 2920984565 2450500319 2489311147 2834868547 425738011 4259408560 3100958608 2223835563 3701176372 1901535932 3803278296 2287702454 693962602 3270390163 3365981341 3022701297 2766924042 3442020096 1633234808 1335879408 1650202884 2048424273 4160221324 2763595004 2136609769 3666627941 2564589387 1327709152 1225578165 351205411 1760876188 2009822239 327002927 2470399527 3533392754 3272750420 2554739053 3185088222 498487548 2256250127 887998061 1069026251 11005134 4152747080 4011072131 1265431382 3332817087 163423812 4065147295 1230316074 3566565599 865676360 4168309808 1832205094 583777276 713527570 2520362448 2796088549 2647622529 3885816925 303640201 2948492559 3449167924 2007241418 2802985040 4221739861 136948245 4205085123 1141777976 2095016798 1651951039 565280960 798788459 2878350972 2701543450 4011922971 2662937453 1911364301 2362125671 3346767630 3581934279 2906200048 1219500768 2953179155 1240763698 380989742 4056777162 2162123753 1643999485 3938267571 698810591 2547630396 2052063010 908327695 3721548231 511001912 51568578 3646284141 3262246329 3478026628 3443060925 1518979621 1428214679 210774932 3607896813 76345413 2244539056 4232958721 665537961 1311490602 755341548 3049549925 1482285666 3347368982 3909667394 3254763253 3314630104 2396891005 971863550 2143026349 1339939352 2590942971 644119733 1680605658 4131735296 1245943040 3443895910 1228793783 1904868568 1982583140 490658878 1837518863 285945258 3560761213 4166699466 1856588657 2636671132 2725797319 2204830599 3031451908 2030144409 3848313748 288322930 1453614501 1637184820 4224507411 1591674049 1015126920 2664207437 1554897923 4006598485 1845239516 2340915392 472697652 747311971 2869862898 968992770 2862608269 552888178 3642799089 343172391 698744833 103772477 3217923089 2273367867 3720166901 3566892133 1454202982 1808331295 1726391327 3198449668 3596481300 899221349 3464660050 3305260987 3637988162 585507390 527089716 3518649873 2037832056 2843585480 2884156164 1325018283 3171565894 2882503890 3619795535 942331613 954101098 3092140953 1803572680 1802893094 679264106 1914001541 1720192818 1775186028 512120696 1806872270 2039109638 178301423 1508489714 1719002894 2158498911 1889041833 1617555723 628876001 4005167219 3589964580 2736420076 3535473597 171595034 3098737616 3971038342 3105415443 3234892109 958386863 3671583919 3829605091 1354421370 2588262868 1876491185 508363378 3923784184 46121368 2294783243 631757343 4237011116 3823229054 3210497778 4092944421 4228911834 4003279461 225207538 938875169 4036982561 3927836254 255 362436" option to reproduce the execution
0.00/0.01	c #vars 126
0.00/0.01	c #constraints 336
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 |      154      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      139 |      100 |      154      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      383 |      250 |      170      0 |        0 |        0
0.00/0.07	c  0.1s |       3 |      701 |      475 |      188      2 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1225 |      813 |      207      5 |        0 |        0
0.09/0.15	c  0.1s |       5 |     1966 |     1320 |      228      8 |        0 |        0
0.19/0.22	c  0.2s |       6 |     2921 |     2081 |      277     14 |        0 |        0
0.29/0.34	c  0.3s |       7 |     4290 |     3223 |      305     21 |        0 |        0
0.39/0.49	c  0.5s |       8 |     6892 |     4936 |      336     31 |        0 |        0
0.69/0.70	c  0.7s |       9 |    10676 |     7506 |      370     45 |        0 |        0
0.99/1.04	c  1.0s |      10 |    16324 |    11361 |      408     65 |        0 |        0
1.29/1.39	c  1.4s |      11 |    24673 |    17144 |      449     92 |        0 |        0
1.89/1.94	c  1.9s |      12 |    36971 |    25819 |      494    129 |        0 |        0
2.89/2.91	c  2.9s |      13 |    55414 |    38832 |      544    180 |        0 |        0
4.09/4.17	c  4.1s |      14 |    80822 |    58352 |      599    250 |        0 |        0
6.09/6.13	c  6.1s |      15 |   122382 |    87632 |      659    345 |        0 |        0
8.09/8.13	c  8.1s |      15 |   159599 |   114432 |      659    424 |        0 |        0
9.29/9.39	c  9.4s |      16 |   180682 |   131552 |      725    475 |        0 |        0
11.39/11.40	c 11.4s |      16 |   215776 |   158852 |      725    549 |        0 |        0
13.38/13.40	c 13.4s |      16 |   257215 |   188152 |      725    628 |        0 |        0
13.98/14.02	c 14.0s |      17 |   270061 |   197432 |      798    653 |        0 |        0
15.98/16.03	c 16.0s |      17 |   308902 |   225832 |      798    723 |        0 |        0
17.98/18.03	c 18.0s |      17 |   351722 |   255732 |      798    797 |        0 |        0
19.98/20.04	c 20.0s |      17 |   396449 |   286832 |      798    874 |        0 |        0
20.59/20.62	c 20.6s |      18 |   409251 |   296252 |      878    897 |        0 |        0
22.59/22.63	c 22.6s |      18 |   448806 |   325452 |      878    962 |        0 |        0
24.59/24.63	c 24.6s |      18 |   491247 |   354952 |      878   1029 |        0 |        0
26.58/26.64	c 26.6s |      18 |   533905 |   385752 |      878   1098 |        0 |        0
28.59/28.64	c 28.6s |      18 |   574616 |   414852 |      878   1164 |        0 |        0
30.58/30.64	c 30.6s |      18 |   616936 |   444252 |      966   1230 |        0 |        0
30.58/30.66	c 30.6s |      19 |   617251 |   444482 |      966   1230 |        0 |        0
32.58/32.66	c 32.6s |      19 |   647679 |   467882 |      966   1278 |        0 |        0
34.58/34.66	c 34.6s |      19 |   682746 |   493682 |      966   1331 |        0 |        0
36.58/36.67	c 36.7s |      19 |   717367 |   518882 |      966   1383 |        0 |        0
38.59/38.67	c 38.7s |      19 |   754293 |   545582 |      966   1437 |        0 |        0
40.58/40.68	c 40.7s |      19 |   787752 |   571082 |      966   1490 |        0 |        0
42.59/42.69	c 42.7s |      19 |   821573 |   596382 |      966   1541 |        0 |        0
44.59/44.69	c 44.7s |      19 |   859216 |   623482 |      966   1597 |        0 |        0
46.58/46.69	c 46.7s |      19 |   888777 |   647882 |      966   1647 |        0 |        0
48.28/48.34	c 48.3s |      20 |   911142 |   666827 |     1063   1685 |        0 |        0
50.28/50.34	c 50.3s |      20 |   942667 |   692027 |     1063   1732 |        0 |        0
52.28/52.34	c 52.3s |      20 |   978378 |   718927 |     1063   1782 |        0 |        0
54.28/54.35	c 54.3s |      20 |  1012809 |   744327 |     1063   1830 |        0 |        0
56.28/56.35	c 56.3s |      20 |  1047672 |   770927 |     1063   1879 |        0 |        0
58.28/58.35	c 58.3s |      20 |  1083444 |   797527 |     1063   1929 |        0 |        0
60.27/60.36	c 60.3s |      20 |  1119613 |   824127 |     1063   1979 |        0 |        0
62.27/62.36	c 62.3s |      20 |  1156639 |   850827 |     1063   2029 |        0 |        0
64.27/64.37	c 64.4s |      20 |  1192317 |   877827 |     1063   2079 |        0 |        0
66.27/66.37	c 66.4s |      20 |  1228330 |   904227 |     1063   2128 |        0 |        0
68.29/68.38	c 68.4s |      20 |  1261122 |   930227 |     1063   2177 |        0 |        0
70.28/70.38	c 70.4s |      20 |  1296702 |   956027 |     1063   2225 |        0 |        0
72.28/72.39	c 72.4s |      20 |  1333759 |   981927 |     1063   2274 |        0 |        0
73.69/73.79	c 73.8s |      21 |  1357064 |  1000345 |     1170   2307 |        0 |        0
75.78/75.80	c 75.8s |      21 |  1395258 |  1027545 |     1170   2353 |        0 |        0
77.78/77.80	c 77.8s |      21 |  1432841 |  1054545 |     1170   2399 |        0 |        0
79.78/79.80	c 79.8s |      21 |  1468805 |  1080845 |     1170   2444 |        0 |        0
81.78/81.81	c 81.8s |      21 |  1501177 |  1105745 |     1170   2486 |        0 |        0
83.78/83.81	c 83.8s |      21 |  1533670 |  1128545 |     1170   2525 |        0 |        0
85.78/85.81	c 85.8s |      21 |  1566398 |  1151545 |     1170   2564 |        0 |        0
87.77/87.81	c 87.8s |      21 |  1603530 |  1178645 |     1170   2610 |        0 |        0
89.77/89.82	c 89.8s |      21 |  1638455 |  1204045 |     1170   2653 |        0 |        0
91.77/91.82	c 91.8s |      21 |  1675265 |  1229845 |     1170   2697 |        0 |        0
93.77/93.83	c 93.8s |      21 |  1711596 |  1256145 |     1170   2741 |        0 |        0
95.78/95.83	c 95.8s |      21 |  1747155 |  1282145 |     1170   2786 |        0 |        0
97.77/97.83	c 97.8s |      21 |  1787337 |  1309545 |     1170   2832 |        0 |        0
99.77/99.83	c 99.8s |      21 |  1825075 |  1336645 |     1170   2878 |        0 |        0
101.77/101.84	c  101s |      21 |  1863475 |  1364345 |     1170   2926 |        0 |        0
103.77/103.84	c  103s |      21 |  1900326 |  1391045 |     1170   2971 |        0 |        0
105.77/105.85	c  105s |      21 |  1936068 |  1417445 |     1170   3016 |        0 |        0
107.78/107.85	c  107s |      21 |  1973880 |  1444045 |     1170   3061 |        0 |        0
109.77/109.85	c  109s |      21 |  2012120 |  1471345 |     1170   3107 |        0 |        0
111.77/111.86	c  111s |      21 |  2050933 |  1498145 |     1287   3152 |        0 |        0
111.97/112.05	c  112s |      22 |  2054430 |  1500622 |     1287   3155 |        0 |        0
113.97/114.05	c  114s |      22 |  2089015 |  1526822 |     1287   3196 |        0 |        0
115.98/116.06	c  116s |      22 |  2125005 |  1552722 |     1287   3236 |        0 |        0
117.97/118.06	c  118s |      22 |  2160388 |  1577822 |     1287   3274 |        0 |        0
119.98/120.06	c  120s |      22 |  2192931 |  1601622 |     1287   3311 |        0 |        0
121.97/122.07	c  122s |      22 |  2228350 |  1627822 |     1287   3352 |        0 |        0
123.97/124.07	c  124s |      22 |  2263701 |  1654022 |     1287   3392 |        0 |        0
125.97/126.08	c  126s |      22 |  2297395 |  1679222 |     1287   3431 |        0 |        0
127.97/128.08	c  128s |      22 |  2331534 |  1704622 |     1287   3470 |        0 |        0
129.97/130.09	c  130s |      22 |  2368229 |  1730922 |     1287   3511 |        0 |        0
131.98/132.09	c  132s |      22 |  2401915 |  1755922 |     1287   3549 |        0 |        0
134.07/134.10	c  134s |      22 |  2438721 |  1782522 |     1287   3590 |        0 |        0
136.07/136.10	c  136s |      22 |  2473334 |  1807822 |     1287   3630 |        0 |        0
138.07/138.11	c  138s |      22 |  2507877 |  1832722 |     1287   3668 |        0 |        0
140.07/140.11	c  140s |      22 |  2536120 |  1855122 |     1287   3703 |        0 |        0
142.07/142.11	c  142s |      22 |  2569334 |  1879722 |     1287   3741 |        0 |        0
144.07/144.12	c  144s |      22 |  2604791 |  1905222 |     1287   3780 |        0 |        0
146.07/146.13	c  146s |      22 |  2636690 |  1929522 |     1287   3818 |        0 |        0
148.06/148.13	c  148s |      22 |  2670896 |  1955122 |     1287   3857 |        0 |        0
150.06/150.13	c  150s |      22 |  2705149 |  1979622 |     1287   3895 |        0 |        0
152.06/152.13	c  152s |      22 |  2736960 |  2003522 |     1287   3932 |        0 |        0
154.07/154.13	c  154s |      22 |  2771146 |  2028522 |     1287   3971 |        0 |        0
156.06/156.14	c  156s |      22 |  2804184 |  2053022 |     1287   4009 |        0 |        0
158.06/158.15	c  158s |      22 |  2838592 |  2077722 |     1287   4047 |        0 |        0
160.06/160.15	c  160s |      22 |  2871876 |  2102622 |     1287   4085 |        0 |        0
162.06/162.16	c  162s |      22 |  2908867 |  2128222 |     1287   4125 |        0 |        0
164.06/164.16	c  164s |      22 |  2943909 |  2153622 |     1287   4164 |        0 |        0
166.07/166.16	c  166s |      22 |  2981361 |  2179222 |     1287   4204 |        0 |        0
168.06/168.16	c  168s |      22 |  3016795 |  2204022 |     1287   4242 |        0 |        0
170.06/170.17	c  170s |      22 |  3052858 |  2229622 |     1287   4282 |        0 |        0
171.76/171.89	c  171s |      23 |  3082709 |  2251038 |     1416   4313 |        0 |        0
173.76/173.89	c  173s |      23 |  3114572 |  2274538 |     1416   4345 |        0 |        0
175.76/175.89	c  175s |      23 |  3146643 |  2298338 |     1416   4379 |        0 |        0
177.86/177.90	c  177s |      23 |  3179670 |  2322238 |     1416   4412 |        0 |        0
179.86/179.90	c  179s |      23 |  3212126 |  2346238 |     1416   4446 |        0 |        0
181.86/181.90	c  181s |      23 |  3246006 |  2371238 |     1416   4481 |        0 |        0
183.87/183.90	c  183s |      23 |  3277686 |  2395138 |     1416   4515 |        0 |        0
185.87/185.91	c  185s |      23 |  3310817 |  2419338 |     1416   4549 |        0 |        0
187.86/187.91	c  187s |      23 |  3340963 |  2442338 |     1416   4581 |        0 |        0
189.86/189.92	c  189s |      23 |  3374189 |  2466838 |     1416   4616 |        0 |        0
191.86/191.92	c  191s |      23 |  3406739 |  2490938 |     1416   4650 |        0 |        0
193.86/193.93	c  193s |      23 |  3437008 |  2514138 |     1416   4682 |        0 |        0
195.87/195.93	c  195s |      23 |  3470467 |  2538938 |     1416   4717 |        0 |        0
197.86/197.94	c  197s |      23 |  3504148 |  2563238 |     1416   4751 |        0 |        0
199.86/199.94	c  199s |      23 |  3538448 |  2588038 |     1416   4786 |        0 |        0
201.86/201.95	c  201s |      23 |  3568682 |  2611238 |     1416   4819 |        0 |        0
203.86/203.95	c  203s |      23 |  3600131 |  2635238 |     1416   4853 |        0 |        0
205.86/205.96	c  205s |      23 |  3631449 |  2658338 |     1416   4886 |        0 |        0
207.86/207.97	c  207s |      23 |  3660095 |  2680338 |     1416   4916 |        0 |        0
209.86/209.97	c  209s |      23 |  3690306 |  2703138 |     1416   4948 |        0 |        0
211.86/211.98	c  211s |      23 |  3719035 |  2724538 |     1416   4978 |        0 |        0
213.86/213.98	c  213s |      23 |  3748308 |  2746638 |     1416   5009 |        0 |        0
215.86/215.99	c  215s |      23 |  3779742 |  2770638 |     1416   5043 |        0 |        0
217.86/217.99	c  217s |      23 |  3810551 |  2793938 |     1416   5076 |        0 |        0
219.85/219.99	c  219s |      23 |  3841206 |  2817538 |     1416   5109 |        0 |        0
221.95/222.00	c  221s |      23 |  3874853 |  2841938 |     1416   5143 |        0 |        0
223.95/224.00	c  223s |      23 |  3908227 |  2866538 |     1416   5178 |        0 |        0
225.95/226.01	c  225s |      23 |  3942338 |  2891038 |     1416   5213 |        0 |        0
227.95/228.01	c  227s |      23 |  3972352 |  2914038 |     1416   5245 |        0 |        0
229.96/230.01	c  229s |      23 |  4005204 |  2938638 |     1416   5280 |        0 |        0
231.95/232.02	c  232s |      23 |  4035303 |  2962138 |     1416   5313 |        0 |        0
233.95/234.02	c  234s |      23 |  4066196 |  2985838 |     1416   5346 |        0 |        0
235.95/236.03	c  236s |      23 |  4097615 |  3008738 |     1416   5378 |        0 |        0
237.95/238.03	c  238s |      23 |  4130359 |  3032738 |     1416   5412 |        0 |        0
239.96/240.04	c  240s |      23 |  4161978 |  3056838 |     1416   5446 |        0 |        0
241.96/242.05	c  242s |      23 |  4192993 |  3080438 |     1416   5479 |        0 |        0
243.95/244.05	c  244s |      23 |  4223279 |  3103538 |     1416   5512 |        0 |        0
245.95/246.05	c  246s |      23 |  4254131 |  3127338 |     1416   5545 |        0 |        0
247.95/248.05	c  248s |      23 |  4284703 |  3150638 |     1416   5578 |        0 |        0
249.95/250.07	c  250s |      23 |  4311106 |  3172438 |     1416   5609 |        0 |        0
251.96/252.07	c  252s |      23 |  4339672 |  3194838 |     1416   5640 |        0 |        0
253.95/254.07	c  254s |      23 |  4371920 |  3219038 |     1416   5674 |        0 |        0
255.95/256.07	c  256s |      23 |  4403981 |  3243838 |     1416   5709 |        0 |        0
257.95/258.08	c  258s |      23 |  4435215 |  3267138 |     1416   5742 |        0 |        0
259.94/260.08	c  260s |      23 |  4467538 |  3291738 |     1416   5777 |        0 |        0
261.95/262.09	c  262s |      23 |  4500114 |  3315938 |     1416   5811 |        0 |        0
263.95/264.09	c  264s |      23 |  4530203 |  3338938 |     1416   5843 |        0 |        0
266.04/266.10	c  266s |      23 |  4560725 |  3360938 |     1558   5873 |        0 |        0
267.35/267.43	c  267s |      24 |  4582686 |  3376662 |     1558   5893 |        0 |        0
269.35/269.43	c  269s |      24 |  4610434 |  3398162 |     1558   5920 |        0 |        0
271.35/271.44	c  271s |      24 |  4639641 |  3420462 |     1558   5949 |        0 |        0
273.35/273.44	c  273s |      24 |  4669851 |  3442562 |     1558   5977 |        0 |        0
275.35/275.45	c  275s |      24 |  4699529 |  3465262 |     1558   6006 |        0 |        0
277.35/277.45	c  277s |      24 |  4731279 |  3488662 |     1558   6036 |        0 |        0
279.35/279.46	c  279s |      24 |  4761433 |  3511262 |     1558   6065 |        0 |        0
281.35/281.46	c  281s |      24 |  4793367 |  3534462 |     1558   6094 |        0 |        0
283.35/283.47	c  283s |      24 |  4824018 |  3556762 |     1558   6123 |        0 |        0
285.35/285.47	c  285s |      24 |  4856546 |  3579962 |     1558   6152 |        0 |        0
287.35/287.47	c  287s |      24 |  4889168 |  3604362 |     1558   6183 |        0 |        0
289.35/289.48	c  289s |      24 |  4923066 |  3628462 |     1558   6214 |        0 |        0
291.34/291.48	c  291s |      24 |  4955901 |  3652262 |     1558   6245 |        0 |        0
293.34/293.48	c  293s |      24 |  4987082 |  3675462 |     1558   6274 |        0 |        0
295.34/295.49	c  295s |      24 |  5018336 |  3699062 |     1558   6304 |        0 |        0
297.44/297.50	c  297s |      24 |  5047256 |  3720862 |     1558   6332 |        0 |        0
299.44/299.50	c  299s |      24 |  5075218 |  3741462 |     1558   6359 |        0 |        0
301.45/301.51	c  301s |      24 |  5105796 |  3764462 |     1558   6388 |        0 |        0
303.44/303.51	c  303s |      24 |  5134503 |  3785962 |     1558   6415 |        0 |        0
305.44/305.52	c  305s |      24 |  5164289 |  3808762 |     1558   6445 |        0 |        0
307.44/307.52	c  307s |      24 |  5194088 |  3831362 |     1558   6474 |        0 |        0
309.44/309.52	c  309s |      24 |  5226352 |  3854962 |     1558   6504 |        0 |        0
311.44/311.53	c  311s |      24 |  5258785 |  3878862 |     1558   6534 |        0 |        0
313.44/313.54	c  313s |      24 |  5290106 |  3901862 |     1558   6564 |        0 |        0
315.44/315.54	c  315s |      24 |  5322442 |  3926262 |     1558   6595 |        0 |        0
317.44/317.54	c  317s |      24 |  5355288 |  3950362 |     1558   6626 |        0 |        0
319.44/319.55	c  319s |      24 |  5390298 |  3975362 |     1558   6658 |        0 |        0
321.44/321.56	c  321s |      24 |  5420614 |  3997762 |     1558   6686 |        0 |        0
323.45/323.56	c  323s |      24 |  5451621 |  4020862 |     1558   6716 |        0 |        0
325.44/325.57	c  325s |      24 |  5485030 |  4045162 |     1558   6747 |        0 |        0
327.44/327.57	c  327s |      24 |  5518582 |  4069062 |     1558   6777 |        0 |        0
329.44/329.58	c  329s |      24 |  5550448 |  4093362 |     1558   6808 |        0 |        0
331.44/331.58	c  331s |      24 |  5584845 |  4117862 |     1558   6840 |        0 |        0
333.44/333.58	c  333s |      24 |  5615856 |  4141662 |     1558   6870 |        0 |        0
335.45/335.58	c  335s |      24 |  5645014 |  4163762 |     1558   6898 |        0 |        0
337.44/337.59	c  337s |      24 |  5678363 |  4187462 |     1558   6929 |        0 |        0
339.44/339.59	c  339s |      24 |  5711600 |  4211462 |     1558   6959 |        0 |        0
341.44/341.59	c  341s |      24 |  5746150 |  4235462 |     1558   6990 |        0 |        0
343.54/343.60	c  343s |      24 |  5777392 |  4257562 |     1558   7018 |        0 |        0
345.53/345.61	c  345s |      24 |  5809184 |  4281562 |     1558   7049 |        0 |        0
347.54/347.61	c  347s |      24 |  5845040 |  4306462 |     1558   7081 |        0 |        0
349.53/349.61	c  349s |      24 |  5877987 |  4329762 |     1558   7111 |        0 |        0
351.53/351.62	c  351s |      24 |  5912229 |  4354362 |     1558   7142 |        0 |        0
353.53/353.62	c  353s |      24 |  5944650 |  4378362 |     1558   7173 |        0 |        0
355.53/355.62	c  355s |      24 |  5975352 |  4401462 |     1558   7202 |        0 |        0
357.54/357.63	c  357s |      24 |  6007562 |  4425562 |     1558   7233 |        0 |        0
359.54/359.63	c  359s |      24 |  6039634 |  4449362 |     1558   7264 |        0 |        0
361.54/361.63	c  361s |      24 |  6070780 |  4472862 |     1558   7294 |        0 |        0
363.54/363.64	c  363s |      24 |  6102674 |  4496462 |     1558   7324 |        0 |        0
365.54/365.64	c  365s |      24 |  6134230 |  4519462 |     1558   7353 |        0 |        0
367.54/367.65	c  367s |      24 |  6169387 |  4544062 |     1558   7385 |        0 |        0
369.54/369.65	c  369s |      24 |  6202567 |  4568562 |     1558   7416 |        0 |        0
371.54/371.65	c  371s |      24 |  6232656 |  4591762 |     1558   7446 |        0 |        0
373.54/373.66	c  373s |      24 |  6264333 |  4615262 |     1558   7476 |        0 |        0
375.53/375.66	c  375s |      24 |  6296281 |  4639162 |     1558   7507 |        0 |        0
377.53/377.67	c  377s |      24 |  6328572 |  4663962 |     1558   7538 |        0 |        0
379.54/379.68	c  379s |      24 |  6358240 |  4686062 |     1558   7567 |        0 |        0
381.53/381.69	c  381s |      24 |  6389213 |  4709462 |     1558   7597 |        0 |        0
383.53/383.69	c  383s |      24 |  6420915 |  4733162 |     1558   7627 |        0 |        0
385.53/385.69	c  385s |      24 |  6453408 |  4756962 |     1558   7657 |        0 |        0
387.63/387.70	c  387s |      24 |  6482053 |  4779062 |     1558   7686 |        0 |        0
389.63/389.70	c  389s |      24 |  6510990 |  4800662 |     1558   7713 |        0 |        0
391.53/391.70	c  391s |      24 |  6539496 |  4821462 |     1558   7740 |        0 |        0
393.63/393.70	c  393s |      24 |  6568718 |  4842762 |     1558   7767 |        0 |        0
395.63/395.71	c  395s |      24 |  6599463 |  4865562 |     1558   7796 |        0 |        0
397.63/397.72	c  397s |      24 |  6629828 |  4888262 |     1558   7826 |        0 |        0
399.62/399.72	c  399s |      24 |  6660170 |  4910662 |     1558   7854 |        0 |        0
401.62/401.72	c  401s |      24 |  6694565 |  4935762 |     1558   7886 |        0 |        0
403.64/403.73	c  403s |      24 |  6725587 |  4959062 |     1558   7916 |        0 |        0
405.63/405.73	c  405s |      24 |  6755145 |  4981962 |     1558   7946 |        0 |        0
407.63/407.74	c  407s |      24 |  6787353 |  5005962 |     1558   7977 |        0 |        0
409.62/409.75	c  409s |      24 |  6819955 |  5028962 |     1714   8006 |        0 |        0
411.62/411.75	c  411s |      24 |  6850365 |  5050762 |     1714   8031 |        0 |        0
412.92/413.07	c  413s |      25 |  6869350 |  5065098 |     1714   8048 |        0 |        0
414.92/415.07	c  415s |      25 |  6896223 |  5085398 |     1714   8071 |        0 |        0
416.93/417.08	c  417s |      25 |  6922065 |  5104998 |     1714   8094 |        0 |        0
418.92/419.09	c  419s |      25 |  6946530 |  5123498 |     1714   8115 |        0 |        0
421.02/421.10	c  421s |      25 |  6968376 |  5141198 |     1714   8135 |        0 |        0
423.02/423.10	c  423s |      25 |  6992299 |  5160298 |     1714   8157 |        0 |        0
425.02/425.11	c  425s |      25 |  7015391 |  5179098 |     1714   8179 |        0 |        0
427.02/427.11	c  427s |      25 |  7036418 |  5196298 |     1714   8199 |        0 |        0
429.02/429.12	c  429s |      25 |  7059518 |  5214298 |     1714   8220 |        0 |        0
431.01/431.13	c  431s |      25 |  7081207 |  5231998 |     1714   8240 |        0 |        0
433.01/433.13	c  433s |      25 |  7105693 |  5249798 |     1714   8261 |        0 |        0
435.01/435.14	c  435s |      25 |  7131999 |  5268898 |     1714   8283 |        0 |        0
437.01/437.14	c  437s |      25 |  7158537 |  5288498 |     1714   8306 |        0 |        0
439.01/439.14	c  439s |      25 |  7183812 |  5307798 |     1714   8328 |        0 |        0
441.02/441.15	c  441s |      25 |  7211191 |  5327198 |     1714   8351 |        0 |        0
443.01/443.15	c  443s |      25 |  7239636 |  5346898 |     1714   8373 |        0 |        0
445.01/445.16	c  445s |      25 |  7265285 |  5365598 |     1714   8395 |        0 |        0
447.01/447.16	c  447s |      25 |  7292035 |  5385098 |     1714   8418 |        0 |        0
449.01/449.17	c  449s |      25 |  7318998 |  5404698 |     1714   8440 |        0 |        0
451.02/451.18	c  451s |      25 |  7345671 |  5423898 |     1714   8463 |        0 |        0
453.01/453.19	c  453s |      25 |  7370660 |  5442398 |     1714   8484 |        0 |        0
455.11/455.20	c  455s |      25 |  7391913 |  5459298 |     1714   8504 |        0 |        0
457.11/457.20	c  457s |      25 |  7412934 |  5475698 |     1714   8523 |        0 |        0
459.10/459.21	c  459s |      25 |  7435982 |  5493398 |     1714   8543 |        0 |        0
461.10/461.21	c  461s |      25 |  7456578 |  5510698 |     1714   8563 |        0 |        0
463.10/463.22	c  463s |      25 |  7480376 |  5529498 |     1714   8585 |        0 |        0
465.10/465.23	c  465s |      25 |  7505508 |  5548398 |     1714   8607 |        0 |        0
467.10/467.23	c  467s |      25 |  7530028 |  5567398 |     1714   8629 |        0 |        0
469.09/469.24	c  469s |      25 |  7557281 |  5587798 |     1714   8653 |        0 |        0
471.09/471.24	c  471s |      25 |  7584961 |  5608698 |     1714   8677 |        0 |        0
473.09/473.24	c  473s |      25 |  7611504 |  5628798 |     1714   8700 |        0 |        0
475.10/475.24	c  475s |      25 |  7638281 |  5648998 |     1714   8724 |        0 |        0
477.09/477.25	c  477s |      25 |  7663283 |  5668398 |     1714   8746 |        0 |        0
479.09/479.25	c  479s |      25 |  7690594 |  5688498 |     1714   8770 |        0 |        0
481.09/481.25	c  481s |      25 |  7721335 |  5710398 |     1714   8795 |        0 |        0
483.09/483.26	c  483s |      25 |  7751140 |  5732298 |     1714   8821 |        0 |        0
485.09/485.26	c  485s |      25 |  7779883 |  5754198 |     1714   8846 |        0 |        0
487.09/487.27	c  487s |      25 |  7807510 |  5775298 |     1714   8870 |        0 |        0
489.08/489.27	c  489s |      25 |  7836583 |  5796898 |     1714   8896 |        0 |        0
491.08/491.27	c  491s |      25 |  7865518 |  5818998 |     1714   8921 |        0 |        0
493.08/493.27	c  493s |      25 |  7897184 |  5841898 |     1714   8948 |        0 |        0
495.08/495.28	c  495s |      25 |  7924706 |  5862698 |     1714   8972 |        0 |        0
497.08/497.28	c  497s |      25 |  7952686 |  5883998 |     1714   8997 |        0 |        0
499.07/499.28	c  499s |      25 |  7981041 |  5905698 |     1714   9022 |        0 |        0
501.07/501.29	c  501s |      25 |  8011323 |  5928198 |     1714   9048 |        0 |        0
503.07/503.29	c  503s |      25 |  8040342 |  5950298 |     1714   9074 |        0 |        0
505.08/505.29	c  505s |      25 |  8070647 |  5972398 |     1714   9099 |        0 |        0
507.09/507.29	c  507s |      25 |  8099128 |  5993998 |     1714   9124 |        0 |        0
509.08/509.30	c  509s |      25 |  8129032 |  6016298 |     1714   9150 |        0 |        0
511.18/511.31	c  511s |      25 |  8159046 |  6038398 |     1714   9176 |        0 |        0
513.18/513.31	c  513s |      25 |  8187692 |  6060298 |     1714   9201 |        0 |        0
515.18/515.32	c  515s |      25 |  8214542 |  6081598 |     1714   9226 |        0 |        0
517.18/517.32	c  517s |      25 |  8242579 |  6103298 |     1714   9252 |        0 |        0
519.18/519.33	c  519s |      25 |  8272271 |  6124998 |     1714   9277 |        0 |        0
521.17/521.33	c  521s |      25 |  8302925 |  6146998 |     1714   9302 |        0 |        0
523.17/523.34	c  523s |      25 |  8331480 |  6168098 |     1714   9327 |        0 |        0
525.17/525.34	c  525s |      25 |  8362588 |  6190798 |     1714   9353 |        0 |        0
527.16/527.34	c  527s |      25 |  8392758 |  6212798 |     1714   9379 |        0 |        0
529.16/529.35	c  529s |      25 |  8422761 |  6234898 |     1714   9404 |        0 |        0
531.16/531.35	c  531s |      25 |  8447772 |  6253898 |     1714   9426 |        0 |        0
533.17/533.36	c  533s |      25 |  8475639 |  6274198 |     1714   9450 |        0 |        0
535.16/535.36	c  535s |      25 |  8506899 |  6297198 |     1714   9477 |        0 |        0
537.16/537.36	c  537s |      25 |  8535221 |  6318698 |     1714   9502 |        0 |        0
539.16/539.36	c  539s |      25 |  8565584 |  6340098 |     1714   9527 |        0 |        0
541.16/541.36	c  541s |      25 |  8595587 |  6361898 |     1714   9552 |        0 |        0
543.16/543.37	c  543s |      25 |  8625995 |  6384298 |     1714   9578 |        0 |        0
545.16/545.37	c  545s |      25 |  8652279 |  6404998 |     1714   9602 |        0 |        0
547.16/547.37	c  547s |      25 |  8679165 |  6425798 |     1714   9626 |        0 |        0
549.15/549.38	c  549s |      25 |  8706777 |  6446598 |     1714   9651 |        0 |        0
551.15/551.39	c  551s |      25 |  8737078 |  6468698 |     1714   9676 |        0 |        0
553.16/553.39	c  553s |      25 |  8766328 |  6490698 |     1714   9702 |        0 |        0
555.25/555.40	c  555s |      25 |  8794799 |  6512298 |     1714   9727 |        0 |        0
557.25/557.40	c  557s |      25 |  8824502 |  6534298 |     1714   9753 |        0 |        0
559.25/559.41	c  559s |      25 |  8853798 |  6556598 |     1714   9779 |        0 |        0
561.24/561.41	c  561s |      25 |  8881999 |  6577898 |     1714   9803 |        0 |        0
563.24/563.42	c  563s |      25 |  8912252 |  6600198 |     1714   9829 |        0 |        0
565.25/565.43	c  565s |      25 |  8940646 |  6621898 |     1714   9854 |        0 |        0
567.24/567.43	c  567s |      25 |  8969262 |  6643598 |     1714   9880 |        0 |        0
569.24/569.44	c  569s |      25 |  8994877 |  6663698 |     1714   9903 |        0 |        0
571.24/571.44	c  571s |      25 |  9025882 |  6686098 |     1714   9929 |        0 |        0
573.24/573.45	c  573s |      25 |  9055216 |  6708198 |     1714   9955 |        0 |        0
575.24/575.45	c  575s |      25 |  9085259 |  6730298 |     1714   9981 |        0 |        0
577.24/577.46	c  577s |      25 |  9113940 |  6752198 |     1714  10006 |        0 |        0
579.24/579.46	c  579s |      25 |  9141105 |  6773298 |     1714  10031 |        0 |        0
581.24/581.47	c  581s |      25 |  9170961 |  6794998 |     1714  10056 |        0 |        0
583.24/583.47	c  583s |      25 |  9199011 |  6816698 |     1714  10081 |        0 |        0
585.24/585.48	c  585s |      25 |  9227977 |  6838798 |     1714  10107 |        0 |        0
587.24/587.48	c  587s |      25 |  9257368 |  6860898 |     1714  10133 |        0 |        0
589.23/589.48	c  589s |      25 |  9287443 |  6882698 |     1714  10158 |        0 |        0
591.23/591.49	c  591s |      25 |  9309942 |  6899298 |     1714  10177 |        0 |        0
593.23/593.49	c  593s |      25 |  9336583 |  6918898 |     1714  10200 |        0 |        0
595.23/595.49	c  595s |      25 |  9367773 |  6940998 |     1714  10226 |        0 |        0
597.23/597.49	c  597s |      25 |  9397091 |  6962498 |     1714  10251 |        0 |        0
599.22/599.50	c  599s |      25 |  9425631 |  6984398 |     1714  10276 |        0 |        0
601.32/601.51	c  601s |      25 |  9453664 |  7005498 |     1714  10301 |        0 |        0
603.32/603.51	c  603s |      25 |  9482662 |  7026698 |     1714  10325 |        0 |        0
605.32/605.51	c  605s |      25 |  9510901 |  7047798 |     1714  10350 |        0 |        0
607.32/607.52	c  607s |      25 |  9537662 |  7068198 |     1714  10373 |        0 |        0
609.33/609.53	c  609s |      25 |  9565018 |  7088898 |     1714  10397 |        0 |        0
611.32/611.53	c  611s |      25 |  9593320 |  7109898 |     1714  10422 |        0 |        0
613.32/613.54	c  613s |      25 |  9622326 |  7131598 |     1714  10447 |        0 |        0
615.31/615.55	c  615s |      25 |  9651007 |  7152998 |     1714  10472 |        0 |        0
617.31/617.56	c  617s |      25 |  9679486 |  7173798 |     1714  10496 |        0 |        0
619.31/619.56	c  619s |      25 |  9707973 |  7194498 |     1714  10520 |        0 |        0
621.31/621.57	c  621s |      25 |  9736360 |  7216098 |     1714  10545 |        0 |        0
623.32/623.57	c  623s |      25 |  9763454 |  7235998 |     1714  10569 |        0 |        0
625.32/625.58	c  625s |      25 |  9793530 |  7257998 |     1714  10594 |        0 |        0
627.31/627.58	c  627s |      25 |  9822056 |  7279198 |     1714  10619 |        0 |        0
629.31/629.59	c  629s |      25 |  9849599 |  7299998 |     1714  10643 |        0 |        0
631.32/631.59	c  631s |      25 |  9878414 |  7321698 |     1714  10668 |        0 |        0
633.31/633.59	c  633s |      25 |  9908494 |  7343598 |     1714  10694 |        0 |        0
635.31/635.59	c  635s |      25 |  9937505 |  7365098 |     1714  10719 |        0 |        0
637.41/637.60	c  637s |      25 |  9965589 |  7386298 |     1714  10743 |        0 |        0
639.40/639.60	c  639s |      25 |  9994440 |  7407298 |     1714  10768 |        0 |        0
641.40/641.61	c  641s |      25 | 10022800 |  7428498 |     1714  10793 |        0 |        0
643.41/643.61	c  643s |      25 | 10051665 |  7449898 |     1714  10817 |        0 |        0
645.40/645.62	c  645s |      25 | 10079421 |  7471098 |     1714  10842 |        0 |        0
647.40/647.62	c  647s |      25 | 10105553 |  7491698 |     1714  10866 |        0 |        0
649.40/649.62	c  649s |      25 | 10133960 |  7513198 |     1714  10891 |        0 |        0
651.40/651.62	c  651s |      25 | 10160634 |  7534398 |     1714  10916 |        0 |        0
653.40/653.62	c  653s |      25 | 10183050 |  7553098 |     1886  10936 |        0 |        0
655.40/655.63	c  655s |      25 | 10207571 |  7572398 |     1886  10957 |        0 |        0
657.40/657.63	c  657s |      25 | 10233610 |  7591298 |     1886  10977 |        0 |        0
657.99/658.29	c  658s |      26 | 10241505 |  7597752 |     1886  10984 |        0 |        0
659.99/660.29	c  660s |      26 | 10268718 |  7617952 |     1886  11005 |        0 |        0
662.00/662.29	c  662s |      26 | 10297298 |  7639452 |     1886  11028 |        0 |        0
663.99/664.29	c  664s |      26 | 10324031 |  7659852 |     1886  11049 |        0 |        0
665.99/666.30	c  666s |      26 | 10351604 |  7680352 |     1886  11071 |        0 |        0
668.08/668.31	c  668s |      26 | 10378577 |  7700752 |     1886  11092 |        0 |        0
670.09/670.31	c  670s |      26 | 10404868 |  7720052 |     1886  11113 |        0 |        0
672.09/672.31	c  672s |      26 | 10432616 |  7740552 |     1886  11134 |        0 |        0
674.10/674.33	c  674s |      26 | 10459960 |  7760752 |     1886  11156 |        0 |        0
676.09/676.33	c  676s |      26 | 10489120 |  7782252 |     1886  11178 |        0 |        0
678.09/678.34	c  678s |      26 | 10515842 |  7803252 |     1886  11200 |        0 |        0
680.09/680.35	c  680s |      26 | 10544818 |  7824352 |     1886  11223 |        0 |        0
682.09/682.35	c  682s |      26 | 10573394 |  7845452 |     1886  11245 |        0 |        0
684.09/684.35	c  684s |      26 | 10602277 |  7866752 |     1886  11267 |        0 |        0
686.09/686.35	c  686s |      26 | 10629815 |  7888452 |     1886  11290 |        0 |        0
688.08/688.36	c  688s |      26 | 10658923 |  7910452 |     1886  11314 |        0 |        0
690.08/690.36	c  690s |      26 | 10687770 |  7932152 |     1886  11337 |        0 |        0
692.08/692.37	c  692s |      26 | 10714271 |  7952852 |     1886  11358 |        0 |        0
694.08/694.37	c  694s |      26 | 10741675 |  7973352 |     1886  11380 |        0 |        0
696.08/696.38	c  696s |      26 | 10769719 |  7993752 |     1886  11402 |        0 |        0
698.07/698.39	c  698s |      26 | 10800475 |  8016452 |     1886  11426 |        0 |        0
700.07/700.39	c  700s |      26 | 10832048 |  8039252 |     1886  11450 |        0 |        0
702.07/702.39	c  702s |      26 | 10864071 |  8062752 |     1886  11474 |        0 |        0
704.07/704.39	c  704s |      26 | 10889552 |  8081952 |     1886  11495 |        0 |        0
706.17/706.40	c  706s |      26 | 10919881 |  8104352 |     1886  11519 |        0 |        0
708.17/708.42	c  708s |      26 | 10947381 |  8125252 |     1886  11541 |        0 |        0
710.16/710.42	c  710s |      26 | 10977124 |  8147252 |     1886  11564 |        0 |        0
712.16/712.42	c  712s |      26 | 11008823 |  8169852 |     1886  11588 |        0 |        0
714.16/714.42	c  714s |      26 | 11038416 |  8191252 |     1886  11610 |        0 |        0
716.16/716.43	c  716s |      26 | 11065922 |  8212352 |     1886  11633 |        0 |        0
718.16/718.44	c  718s |      26 | 11093669 |  8233252 |     1886  11655 |        0 |        0
720.15/720.45	c  720s |      26 | 11121195 |  8254052 |     1886  11677 |        0 |        0
722.15/722.46	c  722s |      26 | 11148866 |  8274752 |     1886  11698 |        0 |        0
724.15/724.46	c  724s |      26 | 11176858 |  8295952 |     1886  11721 |        0 |        0
726.15/726.46	c  726s |      26 | 11204584 |  8317352 |     1886  11743 |        0 |        0
728.15/728.47	c  728s |      26 | 11235244 |  8340052 |     1886  11767 |        0 |        0
730.15/730.47	c  730s |      26 | 11265805 |  8362352 |     1886  11791 |        0 |        0
732.15/732.47	c  732s |      26 | 11293020 |  8382452 |     1886  11812 |        0 |        0
734.15/734.48	c  734s |      26 | 11321219 |  8403952 |     1886  11835 |        0 |        0
736.15/736.49	c  736s |      26 | 11347115 |  8424552 |     1886  11857 |        0 |        0
738.14/738.49	c  738s |      26 | 11372758 |  8445152 |     1886  11879 |        0 |        0
740.24/740.50	c  740s |      26 | 11398537 |  8465152 |     1886  11900 |        0 |        0
742.15/742.50	c  742s |      26 | 11427551 |  8486352 |     1886  11922 |        0 |        0
744.25/744.50	c  744s |      26 | 11456452 |  8507852 |     1886  11945 |        0 |        0
746.25/746.51	c  746s |      26 | 11485903 |  8529252 |     1886  11967 |        0 |        0
748.25/748.51	c  748s |      26 | 11516306 |  8551152 |     1886  11991 |        0 |        0
750.24/750.51	c  750s |      26 | 11544378 |  8572252 |     1886  12013 |        0 |        0
752.25/752.52	c  752s |      26 | 11573046 |  8593452 |     1886  12035 |        0 |        0
754.24/754.52	c  754s |      26 | 11602829 |  8616052 |     1886  12059 |        0 |        0
756.24/756.53	c  756s |      26 | 11630768 |  8637552 |     1886  12082 |        0 |        0
758.24/758.53	c  758s |      26 | 11660372 |  8659552 |     1886  12105 |        0 |        0
760.24/760.54	c  760s |      26 | 11690608 |  8681752 |     1886  12129 |        0 |        0
762.24/762.54	c  762s |      26 | 11717624 |  8701952 |     1886  12150 |        0 |        0
764.24/764.54	c  764s |      26 | 11748385 |  8724152 |     1886  12174 |        0 |        0
766.23/766.55	c  766s |      26 | 11776166 |  8744752 |     1886  12195 |        0 |        0
768.23/768.56	c  768s |      26 | 11806022 |  8766952 |     1886  12219 |        0 |        0
770.23/770.56	c  770s |      26 | 11835500 |  8788252 |     1886  12241 |        0 |        0
772.23/772.57	c  772s |      26 | 11863993 |  8809652 |     1886  12264 |        0 |        0
774.23/774.58	c  774s |      26 | 11893819 |  8830652 |     1886  12286 |        0 |        0
776.22/776.58	c  776s |      26 | 11919544 |  8848952 |     1886  12306 |        0 |        0
778.22/778.58	c  778s |      26 | 11946113 |  8868052 |     1886  12326 |        0 |        0
780.22/780.58	c  780s |      26 | 11972760 |  8887452 |     1886  12346 |        0 |        0
782.22/782.59	c  782s |      26 | 11999491 |  8907452 |     1886  12367 |        0 |        0
784.32/784.60	c  784s |      26 | 12025900 |  8927252 |     1886  12388 |        0 |        0
786.32/786.60	c  786s |      26 | 12052744 |  8947252 |     1886  12409 |        0 |        0
788.31/788.61	c  788s |      26 | 12079002 |  8966952 |     1886  12430 |        0 |        0
790.31/790.61	c  790s |      26 | 12104774 |  8986052 |     1886  12450 |        0 |        0
792.32/792.61	c  792s |      26 | 12132043 |  9005852 |     1886  12471 |        0 |        0
794.32/794.62	c  794s |      26 | 12157781 |  9025252 |     1886  12492 |        0 |        0
796.32/796.62	c  796s |      26 | 12183422 |  9044752 |     1886  12512 |        0 |        0
798.32/798.63	c  798s |      26 | 12209207 |  9064252 |     1886  12533 |        0 |        0
800.31/800.63	c  800s |      26 | 12233492 |  9082952 |     1886  12553 |        0 |        0
802.31/802.64	c  802s |      26 | 12257931 |  9101552 |     1886  12572 |        0 |        0
804.31/804.64	c  804s |      26 | 12281684 |  9118552 |     1886  12590 |        0 |        0
806.31/806.65	c  806s |      26 | 12303986 |  9135652 |     1886  12608 |        0 |        0
808.31/808.65	c  808s |      26 | 12326997 |  9153752 |     1886  12627 |        0 |        0
810.30/810.66	c  810s |      26 | 12352480 |  9173752 |     1886  12648 |        0 |        0
812.30/812.66	c  812s |      26 | 12379425 |  9194052 |     1886  12670 |        0 |        0
814.30/814.66	c  814s |      26 | 12405951 |  9213852 |     1886  12691 |        0 |        0
816.30/816.67	c  816s |      26 | 12432143 |  9234152 |     1886  12712 |        0 |        0
818.30/818.67	c  818s |      26 | 12456476 |  9253152 |     1886  12732 |        0 |        0
820.31/820.68	c  820s |      26 | 12484283 |  9273552 |     1886  12754 |        0 |        0
822.30/822.69	c  822s |      26 | 12511508 |  9294652 |     1886  12776 |        0 |        0
824.30/824.69	c  824s |      26 | 12538314 |  9314852 |     1886  12797 |        0 |        0
826.30/826.70	c  826s |      26 | 12565272 |  9335052 |     1886  12819 |        0 |        0
828.39/828.70	c  828s |      26 | 12592162 |  9355852 |     1886  12841 |        0 |        0
830.39/830.71	c  830s |      26 | 12619135 |  9376652 |     1886  12863 |        0 |        0
832.40/832.72	c  832s |      26 | 12647715 |  9398152 |     1886  12885 |        0 |        0
834.39/834.72	c  834s |      26 | 12675105 |  9418552 |     1886  12907 |        0 |        0
836.39/836.72	c  836s |      26 | 12698229 |  9437052 |     1886  12926 |        0 |        0
838.38/838.72	c  838s |      26 | 12723206 |  9456652 |     1886  12947 |        0 |        0
840.39/840.72	c  840s |      26 | 12747265 |  9475652 |     1886  12967 |        0 |        0
842.40/842.74	c  842s |      26 | 12767510 |  9492952 |     1886  12985 |        0 |        0
844.39/844.74	c  844s |      26 | 12789126 |  9510952 |     1886  13004 |        0 |        0
846.39/846.75	c  846s |      26 | 12811700 |  9529052 |     1886  13024 |        0 |        0
848.38/848.75	c  848s |      26 | 12837383 |  9549452 |     1886  13045 |        0 |        0
850.38/850.76	c  850s |      26 | 12864712 |  9569952 |     1886  13067 |        0 |        0
852.38/852.76	c  852s |      26 | 12893941 |  9590952 |     1886  13089 |        0 |        0
854.39/854.77	c  854s |      26 | 12923482 |  9612252 |     1886  13111 |        0 |        0
856.38/856.77	c  856s |      26 | 12950609 |  9632852 |     1886  13133 |        0 |        0
858.37/858.77	c  858s |      26 | 12976540 |  9652152 |     1886  13154 |        0 |        0
860.37/860.77	c  860s |      26 | 13001466 |  9670852 |     1886  13173 |        0 |        0
862.37/862.78	c  862s |      26 | 13029057 |  9691552 |     1886  13195 |        0 |        0
864.38/864.79	c  864s |      26 | 13055124 |  9711352 |     1886  13216 |        0 |        0
866.37/866.79	c  866s |      26 | 13084086 |  9732452 |     1886  13238 |        0 |        0
868.47/868.80	c  868s |      26 | 13111479 |  9752752 |     1886  13260 |        0 |        0
870.46/870.80	c  870s |      26 | 13139031 |  9773252 |     1886  13281 |        0 |        0
872.46/872.81	c  872s |      26 | 13162887 |  9792552 |     1886  13302 |        0 |        0
874.46/874.81	c  874s |      26 | 13192326 |  9813952 |     1886  13324 |        0 |        0
876.47/876.81	c  876s |      26 | 13221255 |  9835352 |     1886  13347 |        0 |        0
878.46/878.81	c  878s |      26 | 13250308 |  9856352 |     1886  13369 |        0 |        0
880.46/880.82	c  880s |      26 | 13276232 |  9877252 |     1886  13391 |        0 |        0
882.47/882.82	c  882s |      26 | 13304140 |  9898152 |     1886  13414 |        0 |        0
884.47/884.83	c  884s |      26 | 13328089 |  9917152 |     1886  13434 |        0 |        0
886.47/886.83	c  886s |      26 | 13350955 |  9935852 |     1886  13453 |        0 |        0
888.47/888.84	c  888s |      26 | 13374332 |  9954752 |     1886  13473 |        0 |        0
890.46/890.84	c  890s |      26 | 13400094 |  9974852 |     1886  13495 |        0 |        0
892.46/892.85	c  892s |      26 | 13426685 |  9995152 |     1886  13516 |        0 |        0
894.46/894.86	c  894s |      26 | 13456378 | 10017052 |     1886  13539 |        0 |        0
896.45/896.86	c  896s |      26 | 13482356 | 10036352 |     1886  13560 |        0 |        0
898.45/898.86	c  898s |      26 | 13509766 | 10057552 |     1886  13582 |        0 |        0
900.45/900.87	c  900s |      26 | 13538349 | 10079052 |     1886  13605 |        0 |        0
902.44/902.88	c  902s |      26 | 13564955 | 10099952 |     1886  13627 |        0 |        0
904.44/904.88	c  904s |      26 | 13590842 | 10120552 |     1886  13649 |        0 |        0
906.44/906.89	c  906s |      26 | 13618603 | 10141752 |     1886  13671 |        0 |        0
908.55/908.90	c  908s |      26 | 13643608 | 10161652 |     1886  13692 |        0 |        0
910.55/910.91	c  910s |      26 | 13671194 | 10182652 |     1886  13715 |        0 |        0
912.54/912.92	c  912s |      26 | 13698548 | 10202752 |     1886  13736 |        0 |        0
914.55/914.92	c  914s |      26 | 13725529 | 10222352 |     1886  13756 |        0 |        0
916.54/916.92	c  916s |      26 | 13752456 | 10241852 |     1886  13777 |        0 |        0
918.54/918.93	c  918s |      26 | 13776851 | 10260652 |     1886  13797 |        0 |        0
920.54/920.93	c  920s |      26 | 13800678 | 10279252 |     1886  13816 |        0 |        0
922.54/922.94	c  922s |      26 | 13828921 | 10299252 |     1886  13838 |        0 |        0
924.53/924.95	c  924s |      26 | 13857794 | 10320552 |     1886  13860 |        0 |        0
926.53/926.95	c  926s |      26 | 13887436 | 10342152 |     1886  13883 |        0 |        0
928.52/928.95	c  928s |      26 | 13914813 | 10361252 |     1886  13903 |        0 |        0
930.52/930.96	c  930s |      26 | 13940270 | 10380552 |     1886  13923 |        0 |        0
932.53/932.96	c  932s |      26 | 13968384 | 10401152 |     1886  13945 |        0 |        0
934.52/934.96	c  934s |      26 | 13996805 | 10422652 |     1886  13968 |        0 |        0
936.53/936.97	c  936s |      26 | 14021817 | 10442452 |     1886  13989 |        0 |        0
938.52/938.98	c  938s |      26 | 14048809 | 10462152 |     1886  14010 |        0 |        0
940.52/940.99	c  940s |      26 | 14077846 | 10483252 |     1886  14032 |        0 |        0
942.52/942.99	c  942s |      26 | 14107622 | 10505352 |     1886  14055 |        0 |        0
944.53/944.99	c  944s |      26 | 14135784 | 10526952 |     1886  14078 |        0 |        0
946.62/947.00	c  946s |      26 | 14165399 | 10549052 |     1886  14101 |        0 |        0
948.61/949.00	c  948s |      26 | 14193084 | 10569952 |     1886  14123 |        0 |        0
950.61/951.00	c  950s |      26 | 14217151 | 10588652 |     1886  14143 |        0 |        0
952.61/953.01	c  952s |      26 | 14241476 | 10607152 |     1886  14163 |        0 |        0
954.61/955.01	c  954s |      26 | 14265221 | 10625252 |     1886  14182 |        0 |        0
956.62/957.01	c  956s |      26 | 14291500 | 10645752 |     1886  14203 |        0 |        0
958.60/959.01	c  958s |      26 | 14320491 | 10666752 |     1886  14226 |        0 |        0
960.60/961.02	c  961s |      26 | 14349724 | 10688252 |     1886  14248 |        0 |        0
962.60/963.05	c  963s |      26 | 14376867 | 10709152 |     1886  14271 |        0 |        0
964.60/965.05	c  965s |      26 | 14401780 | 10728252 |     1886  14291 |        0 |        0
966.61/967.06	c  967s |      26 | 14428688 | 10749052 |     1886  14313 |        0 |        0
968.60/969.07	c  969s |      26 | 14456648 | 10769652 |     1886  14335 |        0 |        0
970.60/971.07	c  971s |      26 | 14483187 | 10789952 |     1886  14356 |        0 |        0
972.60/973.08	c  973s |      26 | 14509995 | 10810352 |     1886  14378 |        0 |        0
974.60/975.09	c  975s |      26 | 14533722 | 10829352 |     1886  14398 |        0 |        0
976.70/977.10	c  977s |      26 | 14558650 | 10848252 |     1886  14418 |        0 |        0
978.70/979.11	c  979s |      26 | 14585672 | 10868252 |     1886  14439 |        0 |        0
980.69/981.11	c  981s |      26 | 14612224 | 10888952 |     1886  14460 |        0 |        0
982.69/983.11	c  983s |      26 | 14635223 | 10907152 |     1886  14480 |        0 |        0
984.69/985.12	c  985s |      26 | 14662528 | 10927052 |     1886  14501 |        0 |        0
986.69/987.13	c  987s |      26 | 14687973 | 10947052 |     1886  14522 |        0 |        0
988.68/989.13	c  989s |      26 | 14711482 | 10965352 |     1886  14541 |        0 |        0
990.69/991.13	c  991s |      26 | 14736158 | 10983852 |     1886  14561 |        0 |        0
992.68/993.13	c  993s |      26 | 14761109 | 11002752 |     1886  14581 |        0 |        0
994.68/995.14	c  995s |      26 | 14786138 | 11021952 |     1886  14601 |        0 |        0
996.69/997.15	c  997s |      26 | 14811279 | 11041752 |     1886  14622 |        0 |        0
998.69/999.16	c  999s |      26 | 14836206 | 11061352 |     1886  14643 |        0 |        0
1000.69/1001.16	c 1001s |      26 | 14861721 | 11081052 |     1886  14663 |        0 |        0
1002.69/1003.17	c 1003s |      26 | 14885482 | 11100652 |     1886  14684 |        0 |        0
1004.68/1005.17	c 1005s |      26 | 14911677 | 11120852 |     1886  14705 |        0 |        0
1006.68/1007.18	c 1007s |      26 | 14936860 | 11140252 |     1886  14726 |        0 |        0
1008.68/1009.18	c 1009s |      26 | 14963684 | 11160552 |     1886  14747 |        0 |        0
1010.68/1011.19	c 1011s |      26 | 14991577 | 11181452 |     1886  14769 |        0 |        0
1012.68/1013.20	c 1013s |      26 | 15017064 | 11201952 |     1886  14791 |        0 |        0
1014.77/1015.20	c 1015s |      26 | 15044758 | 11223252 |     1886  14814 |        0 |        0
1016.77/1017.20	c 1017s |      26 | 15070594 | 11243452 |     1886  14835 |        0 |        0
1018.77/1019.21	c 1019s |      26 | 15096306 | 11263552 |     1886  14856 |        0 |        0
1020.77/1021.21	c 1021s |      26 | 15123177 | 11284052 |     1886  14878 |        0 |        0
1022.77/1023.22	c 1023s |      26 | 15150805 | 11304852 |     1886  14900 |        0 |        0
1024.77/1025.22	c 1025s |      26 | 15176571 | 11325152 |     2075  14920 |        0 |        0
1026.76/1027.23	c 1027s |      26 | 15201109 | 11343452 |     2075  14938 |        0 |        0
1028.76/1029.23	c 1029s |      26 | 15225855 | 11362452 |     2075  14956 |        0 |        0
1030.76/1031.24	c 1031s |      26 | 15249011 | 11381352 |     2075  14974 |        0 |        0
1032.26/1032.72	c 1032s |      27 | 15268981 | 11396733 |     2075  14989 |        0 |        0
1034.26/1034.73	c 1034s |      27 | 15296425 | 11416933 |     2075  15008 |        0 |        0
1036.26/1036.74	c 1036s |      27 | 15322654 | 11436633 |     2075  15027 |        0 |        0
1038.25/1038.74	c 1038s |      27 | 15347797 | 11455933 |     2075  15045 |        0 |        0
1040.26/1040.75	c 1040s |      27 | 15373534 | 11475833 |     2075  15065 |        0 |        0
1042.25/1042.75	c 1042s |      27 | 15400998 | 11495633 |     2075  15084 |        0 |        0
1044.25/1044.76	c 1044s |      27 | 15425828 | 11515033 |     2075  15102 |        0 |        0
1046.26/1046.76	c 1046s |      27 | 15452257 | 11535133 |     2075  15122 |        0 |        0
1048.26/1048.77	c 1048s |      27 | 15478596 | 11554933 |     2075  15141 |        0 |        0
1050.26/1050.78	c 1050s |      27 | 15505396 | 11575333 |     2075  15160 |        0 |        0
1052.26/1052.78	c 1052s |      27 | 15531295 | 11595333 |     2075  15179 |        0 |        0
1054.25/1054.79	c 1054s |      27 | 15554305 | 11614333 |     2075  15198 |        0 |        0
1056.25/1056.79	c 1056s |      27 | 15579184 | 11633833 |     2075  15216 |        0 |        0
1058.35/1058.80	c 1058s |      27 | 15605604 | 11654033 |     2075  15236 |        0 |        0
1060.35/1060.80	c 1060s |      27 | 15630147 | 11673433 |     2075  15254 |        0 |        0
1062.35/1062.81	c 1062s |      27 | 15654441 | 11692433 |     2075  15273 |        0 |        0
1064.35/1064.81	c 1064s |      27 | 15680593 | 11712233 |     2075  15292 |        0 |        0
1066.35/1066.82	c 1066s |      27 | 15703711 | 11731333 |     2075  15310 |        0 |        0
1068.35/1068.82	c 1068s |      27 | 15726474 | 11749133 |     2075  15327 |        0 |        0
1070.35/1070.83	c 1070s |      27 | 15752499 | 11768533 |     2075  15346 |        0 |        0
1072.35/1072.84	c 1072s |      27 | 15778968 | 11788133 |     2075  15365 |        0 |        0
1074.35/1074.84	c 1074s |      27 | 15803789 | 11807633 |     2075  15383 |        0 |        0
1076.35/1076.84	c 1076s |      27 | 15830266 | 11827233 |     2075  15402 |        0 |        0
1078.35/1078.84	c 1078s |      27 | 15856200 | 11847233 |     2075  15421 |        0 |        0
1080.34/1080.85	c 1080s |      27 | 15881960 | 11867033 |     2075  15440 |        0 |        0
1082.34/1082.85	c 1082s |      27 | 15907595 | 11886833 |     2075  15459 |        0 |        0
1084.34/1084.86	c 1084s |      27 | 15931422 | 11906033 |     2075  15478 |        0 |        0
1086.35/1086.86	c 1086s |      27 | 15955238 | 11923833 |     2075  15495 |        0 |        0
1088.34/1088.86	c 1088s |      27 | 15979454 | 11942233 |     2075  15513 |        0 |        0
1090.34/1090.87	c 1090s |      27 | 16004318 | 11961933 |     2075  15531 |        0 |        0
1092.34/1092.87	c 1092s |      27 | 16029961 | 11981733 |     2075  15550 |        0 |        0
1094.34/1094.88	c 1094s |      27 | 16051588 | 11999733 |     2075  15568 |        0 |        0
1096.35/1096.89	c 1096s |      27 | 16072934 | 12017033 |     2075  15584 |        0 |        0
1098.34/1098.90	c 1098s |      27 | 16094306 | 12033933 |     2075  15600 |        0 |        0
1100.44/1100.91	c 1100s |      27 | 16116173 | 12051233 |     2075  15617 |        0 |        0
1102.44/1102.91	c 1102s |      27 | 16139599 | 12069633 |     2075  15635 |        0 |        0
1104.44/1104.92	c 1104s |      27 | 16163888 | 12088033 |     2075  15652 |        0 |        0
1106.44/1106.92	c 1106s |      27 | 16188268 | 12106333 |     2075  15670 |        0 |        0
1108.45/1108.93	c 1108s |      27 | 16212641 | 12125033 |     2075  15688 |        0 |        0
1110.45/1110.93	c 1110s |      27 | 16237068 | 12144133 |     2075  15706 |        0 |        0
1112.44/1112.94	c 1112s |      27 | 16260699 | 12162533 |     2075  15724 |        0 |        0
1114.44/1114.94	c 1114s |      27 | 16284857 | 12181433 |     2075  15742 |        0 |        0
1116.44/1116.95	c 1116s |      27 | 16310403 | 12200733 |     2075  15761 |        0 |        0
1118.44/1118.96	c 1118s |      27 | 16335299 | 12219133 |     2075  15778 |        0 |        0
1120.45/1120.96	c 1120s |      27 | 16357603 | 12236233 |     2075  15795 |        0 |        0
1122.44/1122.97	c 1122s |      27 | 16382668 | 12255633 |     2075  15813 |        0 |        0
1124.44/1124.97	c 1124s |      27 | 16408498 | 12275533 |     2075  15833 |        0 |        0
1126.44/1126.97	c 1126s |      27 | 16434361 | 12295733 |     2075  15852 |        0 |        0
1128.44/1128.98	c 1128s |      27 | 16461944 | 12315933 |     2075  15871 |        0 |        0
1130.45/1130.99	c 1130s |      27 | 16487974 | 12336233 |     2075  15891 |        0 |        0
1132.44/1132.99	c 1132s |      27 | 16513828 | 12355533 |     2075  15909 |        0 |        0
1134.44/1134.99	c 1134s |      27 | 16537870 | 12374433 |     2075  15928 |        0 |        0
1136.54/1137.00	c 1136s |      27 | 16563360 | 12393733 |     2075  15946 |        0 |        0
1138.54/1139.00	c 1138s |      27 | 16589460 | 12413533 |     2075  15965 |        0 |        0
1140.54/1141.01	c 1140s |      27 | 16613721 | 12432533 |     2075  15983 |        0 |        0
1142.54/1143.02	c 1142s |      27 | 16641221 | 12452633 |     2075  16003 |        0 |        0
1144.54/1145.02	c 1145s |      27 | 16668622 | 12473433 |     2075  16023 |        0 |        0
1146.53/1147.02	c 1147s |      27 | 16695401 | 12494033 |     2075  16042 |        0 |        0
1148.53/1149.03	c 1149s |      27 | 16719666 | 12512833 |     2075  16060 |        0 |        0
1150.53/1151.04	c 1151s |      27 | 16744423 | 12532133 |     2075  16079 |        0 |        0
1152.53/1153.04	c 1153s |      27 | 16769465 | 12551933 |     2075  16098 |        0 |        0
1154.54/1155.04	c 1155s |      27 | 16796240 | 12572233 |     2075  16117 |        0 |        0
1156.53/1157.04	c 1157s |      27 | 16823265 | 12592333 |     2075  16137 |        0 |        0
1158.53/1159.05	c 1159s |      27 | 16847378 | 12611233 |     2075  16155 |        0 |        0
1160.53/1161.06	c 1161s |      27 | 16874769 | 12632133 |     2075  16175 |        0 |        0
1162.53/1163.06	c 1163s |      27 | 16902641 | 12653333 |     2075  16195 |        0 |        0
1164.54/1165.07	c 1165s |      27 | 16928529 | 12672933 |     2075  16213 |        1 |        4
1166.53/1167.08	c 1167s |      27 | 16954117 | 12692533 |     2075  16232 |        1 |        4
1168.53/1169.10	c 1169s |      27 | 16976077 | 12710333 |     2075  16249 |        1 |        4
1170.63/1171.10	c 1171s |      27 | 17000918 | 12729433 |     2075  16267 |        1 |        4
1172.63/1173.11	c 1173s |      27 | 17029160 | 12750133 |     2075  16287 |        1 |        4
1174.63/1175.11	c 1175s |      27 | 17055203 | 12770233 |     2075  16306 |        1 |        4
1176.64/1177.11	c 1177s |      27 | 17083266 | 12791133 |     2075  16326 |        1 |        4
1178.63/1179.12	c 1179s |      27 | 17111037 | 12811733 |     2075  16346 |        1 |        4
1180.63/1181.12	c 1181s |      27 | 17138157 | 12831633 |     2075  16365 |        1 |        4
1182.63/1183.13	c 1183s |      27 | 17164906 | 12851733 |     2075  16384 |        1 |        4
1184.63/1185.14	c 1185s |      27 | 17189733 | 12871433 |     2075  16403 |        1 |        4
1186.63/1187.14	c 1187s |      27 | 17216945 | 12891533 |     2075  16423 |        1 |        4
1188.64/1189.15	c 1189s |      27 | 17243438 | 12912133 |     2075  16443 |        1 |        4
1190.63/1191.16	c 1191s |      27 | 17267876 | 12931533 |     2075  16461 |        1 |        4
1192.63/1193.17	c 1193s |      27 | 17294278 | 12951733 |     2075  16481 |        1 |        4
1194.63/1195.17	c 1195s |      27 | 17321840 | 12972333 |     2075  16500 |        1 |        4
1196.63/1197.17	c 1197s |      27 | 17347953 | 12992133 |     2075  16519 |        1 |        4
1198.63/1199.17	c 1199s |      27 | 17373350 | 13011533 |     2075  16538 |        1 |        4
1200.62/1201.18	c 1201s |      27 | 17400493 | 13031533 |     2075  16557 |        1 |        4
1202.62/1203.18	c 1203s |      27 | 17426343 | 13050733 |     2075  16576 |        1 |        4
1204.62/1205.18	c 1205s |      27 | 17453288 | 13070433 |     2075  16595 |        1 |        4
1206.62/1207.18	c 1207s |      27 | 17479804 | 13090733 |     2075  16614 |        1 |        4
1208.63/1209.19	c 1209s |      27 | 17508885 | 13111833 |     2075  16634 |        1 |        4
1210.64/1211.20	c 1211s |      27 | 17534026 | 13131233 |     2075  16653 |        1 |        4
1212.73/1213.20	c 1213s |      27 | 17558953 | 13150033 |     2075  16671 |        1 |        4
1214.73/1215.21	c 1215s |      27 | 17584267 | 13169133 |     2075  16689 |        1 |        4
1216.73/1217.22	c 1217s |      27 | 17611108 | 13188733 |     2075  16708 |        1 |        4
1218.73/1219.22	c 1219s |      27 | 17639319 | 13209833 |     2075  16728 |        1 |        4
1220.73/1221.22	c 1221s |      27 | 17666121 | 13229633 |     2075  16747 |        1 |        4
1222.73/1223.23	c 1223s |      27 | 17688778 | 13248133 |     2075  16765 |        1 |        4
1224.73/1225.23	c 1225s |      27 | 17716265 | 13268633 |     2075  16785 |        1 |        4
1226.73/1227.24	c 1227s |      27 | 17744694 | 13289333 |     2075  16805 |        1 |        4
1228.73/1229.24	c 1229s |      27 | 17771621 | 13310233 |     2075  16825 |        1 |        4
1230.72/1231.25	c 1231s |      27 | 17798928 | 13331433 |     2075  16844 |        2 |        8
1232.73/1233.26	c 1233s |      27 | 17822245 | 13349633 |     2075  16861 |        2 |        8
1234.72/1235.27	c 1235s |      27 | 17845640 | 13367533 |     2075  16879 |        2 |        8
1236.72/1237.27	c 1237s |      27 | 17870858 | 13385933 |     2075  16896 |        2 |        8
1238.72/1239.27	c 1239s |      27 | 17894707 | 13404133 |     2075  16914 |        2 |        8
1240.72/1241.28	c 1241s |      27 | 17920880 | 13423133 |     2075  16932 |        2 |        8
1242.72/1243.28	c 1243s |      27 | 17944500 | 13441033 |     2075  16949 |        2 |        8
1244.73/1245.29	c 1245s |      27 | 17969383 | 13459533 |     2075  16967 |        2 |        8
1246.72/1247.29	c 1247s |      27 | 17994881 | 13478533 |     2075  16985 |        2 |        8
1248.82/1249.30	c 1249s |      27 | 18020103 | 13497633 |     2075  17003 |        2 |        8
1250.82/1251.30	c 1251s |      27 | 18045427 | 13517133 |     2075  17022 |        2 |        8
1252.82/1253.30	c 1253s |      27 | 18071521 | 13537033 |     2075  17041 |        2 |        8
1254.82/1255.31	c 1255s |      27 | 18098661 | 13557033 |     2075  17060 |        2 |        8
1256.82/1257.31	c 1257s |      27 | 18124238 | 13576833 |     2075  17079 |        2 |        8
1258.82/1259.31	c 1259s |      27 | 18146456 | 13594933 |     2075  17097 |        2 |        8
1260.82/1261.32	c 1261s |      27 | 18170520 | 13614433 |     2075  17116 |        2 |        8
1262.82/1263.33	c 1263s |      27 | 18195352 | 13633533 |     2075  17134 |        2 |        8
1264.81/1265.33	c 1265s |      27 | 18220832 | 13652733 |     2075  17152 |        2 |        8
1266.82/1267.34	c 1267s |      27 | 18246601 | 13672833 |     2075  17172 |        2 |        8
1268.81/1269.35	c 1269s |      27 | 18272151 | 13692033 |     2075  17190 |        2 |        8
1270.81/1271.35	c 1271s |      27 | 18296764 | 13711033 |     2075  17208 |        2 |        8
1272.81/1273.36	c 1273s |      27 | 18321467 | 13730033 |     2075  17227 |        2 |        8
1274.81/1275.36	c 1275s |      27 | 18347452 | 13749433 |     2075  17245 |        2 |        8
1276.81/1277.37	c 1277s |      27 | 18373091 | 13768733 |     2075  17264 |        2 |        8
1278.83/1279.37	c 1279s |      27 | 18396884 | 13787533 |     2075  17282 |        2 |        8
1280.82/1281.38	c 1281s |      27 | 18420154 | 13806433 |     2075  17300 |        2 |        8
1282.82/1283.39	c 1283s |      27 | 18444434 | 13825433 |     2075  17318 |        2 |        8
1284.82/1285.39	c 1285s |      27 | 18469492 | 13845133 |     2075  17335 |        3 |       12
1286.92/1287.40	c 1287s |      27 | 18494836 | 13864333 |     2075  17354 |        3 |       12
1288.92/1289.40	c 1289s |      27 | 18518657 | 13883133 |     2075  17372 |        3 |       12
1290.92/1291.41	c 1291s |      27 | 18543656 | 13903233 |     2075  17391 |        3 |       12
1292.92/1293.41	c 1293s |      27 | 18568331 | 13922333 |     2075  17409 |        3 |       12
1294.92/1295.41	c 1295s |      27 | 18592507 | 13941833 |     2075  17428 |        3 |       12
1296.91/1297.41	c 1297s |      27 | 18617040 | 13961633 |     2075  17447 |        3 |       12
1298.91/1299.42	c 1299s |      27 | 18641926 | 13981333 |     2075  17466 |        3 |       12
1300.92/1301.43	c 1301s |      27 | 18668834 | 14001933 |     2075  17486 |        3 |       12
1302.91/1303.45	c 1303s |      27 | 18695963 | 14021733 |     2075  17505 |        3 |       12
1304.91/1305.45	c 1305s |      27 | 18723091 | 14041933 |     2075  17524 |        3 |       12
1306.91/1307.45	c 1307s |      27 | 18749207 | 14062433 |     2075  17544 |        3 |       12
1308.91/1309.45	c 1309s |      27 | 18778712 | 14082733 |     2075  17562 |        4 |       16
1310.91/1311.46	c 1311s |      27 | 18807772 | 14103133 |     2075  17581 |        4 |       16
1312.91/1313.47	c 1313s |      27 | 18835775 | 14124033 |     2075  17601 |        4 |       16
1314.91/1315.47	c 1315s |      27 | 18863518 | 14144533 |     2075  17621 |        4 |       16
1316.91/1317.48	c 1317s |      27 | 18891277 | 14165433 |     2075  17640 |        5 |       20
1318.91/1319.48	c 1319s |      27 | 18920114 | 14186733 |     2075  17660 |        5 |       20
1320.91/1321.49	c 1321s |      27 | 18949275 | 14208233 |     2075  17679 |        7 |       28
1322.91/1323.49	c 1323s |      27 | 18973760 | 14228133 |     2075  17698 |        7 |       28
1324.11/1324.69	c 1324s |      27 | 18990058 | 14240849 |     2075  17708 |       27 |       90
1324.11/1324.69	c #cpu_time = 1324.424s
1324.11/1324.69	c #wall_clock_time = 1324.675s
1324.11/1324.69	c #decision = 18990058
1324.11/1324.69	c #random_decision = 91782
1324.11/1324.69	c #conflict = 14240849
1324.11/1324.69	c #restart = 27
1324.11/1324.69	s UNSATISFIABLE
1324.11/1324.69	c total CPU time = 1324.444s
1324.11/1324.69	c total wall clock time = 1324.694s

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

pid=16747
running on 4 cores: 1,3,5,7

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.24 2.19 2.10 3/179 16750
/proc/meminfo: memFree=28016188/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=709188 CPUtime=0 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 2643 0 0 0 0 0 0 0 20 0 4 0 12043826 726208512 3004 33554432000 4194304 16246674 140736398203488 140736398202912 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 178065 3015 442 2943 0 174959 0
[pid=16750/tid=16751] ppid=16747 vsize=727620 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 745082880 3076 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=731716 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 749277184 3093 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=736836 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12043826 754520064 3110 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100157 s]
/proc/loadavg: 2.24 2.19 2.10 3/179 16750
/proc/meminfo: memFree=28016188/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 25881 0 0 0 6 3 0 0 20 0 4 0 12043826 1247350784 26231 33554432000 4194304 16246674 140736398203488 140736398202912 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 304529 26243 708 2943 0 301423 0
[pid=16750/tid=16751] ppid=16747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1247350784 26249 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1247350784 26255 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12043826 1247350784 26264 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20059 s]
/proc/loadavg: 2.24 2.19 2.10 3/179 16750
/proc/meminfo: memFree=28016188/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 49965 0 0 0 13 6 0 0 20 0 4 0 12043826 1247350784 50315 33554432000 4194304 16246674 140736398203488 140736398202912 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 304529 50326 708 2943 0 301423 0
[pid=16750/tid=16751] ppid=16747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1247350784 50334 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1247350784 50343 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12043826 1247350784 50349 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300473 s]
/proc/loadavg: 2.24 2.19 2.10 3/179 16750
/proc/meminfo: memFree=28016188/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 73950 0 0 0 19 10 0 0 20 0 4 0 12043826 1247350784 74300 33554432000 4194304 16246674 140736398203488 140736398202912 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 304529 74312 708 2943 0 301423 0
[pid=16750/tid=16751] ppid=16747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1247350784 74318 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1247350784 74329 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12043826 1247350784 74334 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700416 s]
/proc/loadavg: 2.24 2.19 2.10 3/179 16750
/proc/meminfo: memFree=28016188/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 167504 0 0 0 47 22 0 0 20 0 4 0 12043826 1247350784 167855 33554432000 4194304 16246674 140736398203488 140736398186488 5523709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 304529 167867 709 2943 0 301423 0
[pid=16750/tid=16751] ppid=16747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1247350784 167875 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1247350784 167882 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12043826 1247350784 167888 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.22 2.19 2.10 3/183 16754
/proc/meminfo: memFree=27032516/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 245595 0 0 0 118 31 0 0 20 0 4 0 12043826 1248399360 245925 33554432000 4194304 16246674 140736398203488 140736398186488 5673642 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 304785 245925 786 2943 0 301679 0
[pid=16750/tid=16751] ppid=16747 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1248399360 245925 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1248399360 245925 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12043826 1248399360 245925 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10044 s]
/proc/loadavg: 2.22 2.19 2.10 3/183 16754
/proc/meminfo: memFree=26945716/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 267394 0 0 0 275 34 0 0 20 0 4 0 12043826 1337528320 267724 33554432000 4194304 16246674 140736398203488 140736398186488 5823607 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 326545 267724 786 2943 0 323439 0
[pid=16750/tid=16751] ppid=16747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1337528320 267724 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1337528320 267724 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12043826 1337528320 267724 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.22 2.19 2.10 4/184 16755
/proc/meminfo: memFree=26945412/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 267435 0 0 0 595 34 0 0 20 0 4 0 12043826 1337528320 267765 33554432000 4194304 16246674 140736398203488 140736398186488 6020857 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 326545 267765 786 2943 0 323439 0
[pid=16750/tid=16751] ppid=16747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1337528320 267765 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1337528320 267765 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12043826 1337528320 267765 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.26 2.20 2.10 4/184 16755
/proc/meminfo: memFree=26944724/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 267548 0 0 0 1234 34 0 0 20 0 4 0 12043826 1337528320 267878 33554432000 4194304 16246674 140736398203488 140736398186488 13965680 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 326545 267878 787 2943 0 323439 0
[pid=16750/tid=16751] ppid=16747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1337528320 267878 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1337528320 267878 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12043826 1337528320 267878 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.22 2.19 2.10 3/184 16755
/proc/meminfo: memFree=26944912/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 267548 0 0 0 2514 35 0 0 20 0 4 0 12043826 1337528320 267878 33554432000 4194304 16246674 140736398203488 140736398186488 13818358 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 326545 267878 787 2943 0 323439 0
[pid=16750/tid=16751] ppid=16747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1337528320 267878 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1337528320 267878 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12043826 1337528320 267878 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.28 2.21 2.11 4/183 16755
/proc/meminfo: memFree=26944004/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 267824 0 0 0 5072 36 0 0 20 0 4 0 12043826 1338576896 268154 33554432000 4194304 16246674 140736398203488 140736398186488 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 326801 268154 787 2943 0 323695 0
[pid=16750/tid=16751] ppid=16747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1338576896 268154 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1338576896 268154 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12043826 1338576896 268154 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.29 2.22 2.11 4/183 16756
/proc/meminfo: memFree=26943304/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 267826 0 0 0 10191 37 0 0 20 0 4 0 12043826 1338576896 268156 33554432000 4194304 16246674 140736398203488 140736398185408 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 326801 268156 789 2943 0 323695 0
[pid=16750/tid=16751] ppid=16747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1338576896 268156 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1338576896 268156 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12043826 1338576896 268156 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

Current children cumulated vsize (KiB) 1312324

[startup+1182.3 s]
/proc/loadavg: 2.24 2.22 2.15 4/184 17076
/proc/meminfo: memFree=26934768/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1312324 CPUtime=1181.83 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 269528 0 0 0 118122 61 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140736398186488 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 328081 269440 790 2943 0 324975 0
[pid=16750/tid=16751] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 1312324

[startup+1242.3 s]
/proc/loadavg: 2.26 2.22 2.16 3/183 17078
/proc/meminfo: memFree=26934508/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1312324 CPUtime=1241.82 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 269528 0 0 0 124120 62 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140736398186488 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 328081 269440 790 2943 0 324975 0
[pid=16750/tid=16751] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1312324

[startup+1302.3 s]
/proc/loadavg: 2.14 2.20 2.15 3/183 17079
/proc/meminfo: memFree=26933980/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1312324 CPUtime=1301.81 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 269528 0 0 0 130118 63 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140736398185408 6073179 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 328081 269440 790 2943 0 324975 0
[pid=16750/tid=16751] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1312324

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

[startup+1305.6 s]
/proc/loadavg: 2.14 2.20 2.15 3/183 17079
/proc/meminfo: memFree=26933980/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1312324 CPUtime=1305.11 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 269528 0 0 0 130448 63 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140736398186488 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 328081 269440 790 2943 0 324975 0
[pid=16750/tid=16751] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1305.11
Current children cumulated vsize (KiB) 1312324

[startup+1318.4 s]
/proc/loadavg: 2.19 2.20 2.15 4/183 17079
/proc/meminfo: memFree=26934088/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1312324 CPUtime=1317.91 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 269528 0 0 0 131728 63 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140736398186488 5523192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 328081 269440 790 2943 0 324975 0
[pid=16750/tid=16751] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1317.91
Current children cumulated vsize (KiB) 1312324

[startup+1321.6 s]
/proc/loadavg: 2.18 2.20 2.15 3/183 17079
/proc/meminfo: memFree=26933948/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1312324 CPUtime=1321.11 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 269528 0 0 0 132048 63 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140736398186488 5677884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 328081 269440 790 2943 0 324975 0
[pid=16750/tid=16751] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1321.11
Current children cumulated vsize (KiB) 1312324

[startup+1323.2 s]
/proc/loadavg: 2.18 2.20 2.15 3/183 17079
/proc/meminfo: memFree=26933948/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1312324 CPUtime=1322.71 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 269528 0 0 0 132208 63 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140736398186488 6079709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 328081 269440 790 2943 0 324975 0
[pid=16750/tid=16751] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1322.71
Current children cumulated vsize (KiB) 1312324

[startup+1324 s]
/proc/loadavg: 2.18 2.20 2.15 3/183 17079
/proc/meminfo: memFree=26933948/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1312324 CPUtime=1323.51 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 269528 0 0 0 132288 63 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140736398186488 5677273 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 328081 269440 790 2943 0 324975 0
[pid=16750/tid=16751] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1323.51
Current children cumulated vsize (KiB) 1312324

[startup+1324.4 s]
/proc/loadavg: 2.18 2.20 2.15 3/183 17079
/proc/meminfo: memFree=26933948/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1312324 CPUtime=1323.91 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 269528 0 0 0 132328 63 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140736398186488 6042849 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 328081 269440 790 2943 0 324975 0
[pid=16750/tid=16751] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1323.91
Current children cumulated vsize (KiB) 1312324

[startup+1324.6 s]
/proc/loadavg: 2.18 2.20 2.15 3/183 17079
/proc/meminfo: memFree=26933948/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=1312324 CPUtime=1324.11 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202496 269528 0 0 0 132348 63 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140736398186488 5822240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 328081 269440 790 2943 0 324975 0
[pid=16750/tid=16751] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16751/stat : 16751 (toysat) S 16747 16750 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054234115312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16750/tid=16752] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16752/stat : 16752 (toysat) S 16747 16750 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054223625456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16750/tid=16753] ppid=16747 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16750/task/16753/stat : 16753 (toysat) S 16747 16750 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12043826 1343819776 269440 33554432000 4194304 16246674 140736398203488 140054213151920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1324.11
Current children cumulated vsize (KiB) 1312324

[startup+1324.7 s]
/proc/loadavg: 2.18 2.20 2.15 3/183 17079
/proc/meminfo: memFree=26933948/32872528 swapFree=1254912/1391860
[pid=16750] ppid=16747 vsize=0 CPUtime=1324.21 cores=1,3,5,7
/proc/16750/stat : 16750 (toysat) R 16747 16750 16091 0 -1 4202500 269533 0 0 0 132357 64 0 0 20 0 1 0 12043826 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16750/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1324.21
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1324.7
CPU time (s): 1324.22
CPU user time (s): 1323.58
CPU system time (s): 0.642902
CPU usage (%): 99.9636
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1323.58
system time used= 0.642902
maximum resident set size= 1077772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269533
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 442
involuntary context switches= 1350

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.40303 second user time and 13.8859 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-30 20:20:30
IDJOB=4120290
IDBENCH=109865
IDSOLVER=2542
FILE ID=node119/4120290-1467310830
RUNJOBID= node119-1467308805-16108
PBS_JOBID= 20005280
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i2-r2.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-4120290-1467310830/watcher-4120290-1467310830 -o /tmp/evaluation-result-4120290-1467310830/solver-4120290-1467310830 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16108 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120290-1467310830.opb

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

MD5SUM BENCH= bacd93c99a4c884997cc7607aec955fe
RANDOM SEED=1408914053

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.444
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:        28016708 kB
Buffers:          198584 kB
Cached:          1430940 kB
SwapCached:            0 kB
Active:          1343776 kB
Inactive:        1373836 kB
Active(anon):    1084712 kB
Inactive(anon):     5936 kB
Active(file):     259064 kB
Inactive(file):  1367900 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16672 kB
Writeback:             0 kB
AnonPages:       2479748 kB
Mapped:            17080 kB
Shmem:               204 kB
Slab:             611756 kB
SReclaimable:      55828 kB
SUnreclaim:       555928 kB
KernelStack:        1488 kB
PageTables:         9072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2613532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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= 71700 MiB
End job on node119 at 2016-06-30 20:42:35