Trace number 4241949

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
R1: cosoco-sat 1.1SAT 33.8952 33.8965

General information on the benchmark

NameMarketSplit/MarketSplit-m1-gp/
MarketSplit-03.xml
MD5SUM179d2a128a53b26e9bde33d3c842c186
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.0598898
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints4
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":30}]
Minimum variable degree4
Maximum variable degree4
Distribution of variable degrees[{"degree":4,"count":30}]
Minimum constraint arity30
Maximum constraint arity30
Distribution of constraint arities[{"arity":30,"count":4}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":4}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c SAT : Variables: 60 -- Clauses: 60
0.00/0.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 1.0 --  
0.00/0.00	c
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 30
0.00/0.00	c |            Domain Sizes: 2..2
0.00/0.00	c |
0.00/0.00	c |             Constraints: 4
0.00/0.00	c |                   Arity: 30..30
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Sum: 4
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.00	c 10             55             276            181            0              5              20   27   22   
0.00/0.00	c 20             106            534            363            0              7              21   27   22   
0.00/0.00	c 30             159            789            562            0              9              21   27   22   
0.00/0.00	c 40             199            992            734            0              13             15   27   18   
0.00/0.00	c 50             245            1215           937            0              23             13   26   17   
0.00/0.00	c 60             317            1551           1205           0              27             19   25   20   
0.00/0.01	c 70             350            1717           1360           0              37             15   24   17   
0.00/0.01	c 80             415            2019           1586           0              41             23   26   22   
0.00/0.01	c 90             464            2262           1774           0              44             19   26   21   
0.00/0.01	c 100            512            2497           1955           0              48             20   27   21   
0.00/0.01	c 101            538            2607           2016           0              49             26   26   13   
0.00/0.01	c 110            573            2789           2202           0              58             13   25   15   
0.00/0.01	c 120            624            3032           2420           0              64             13   26   18   
0.00/0.01	c 130            674            3288           2629           0              68             16   27   20   
0.00/0.01	c 140            728            3574           2833           0              72             19   25   20   
0.00/0.01	c 150            781            3833           3031           0              79             12   26   20   
0.00/0.01	c 160            830            4085           3221           0              82             19   25   20   
0.00/0.01	c 170            878            4334           3408           0              84             19   25   20   
0.00/0.01	c 180            917            4535           3571           0              91             13   25   19   
0.00/0.01	c 190            961            4772           3782           0              92             13   25   17   
0.00/0.01	c 200            1012           5018           3989           0              96             16   25   19   
0.00/0.01	c 210            1044           5179           4181           0              104            12   23   15   
0.00/0.01	c 211            1062           5255           4220           0              105            18   18   9    
0.00/0.02	c 220            1107           5461           4413           0              109            12   27   19   
0.00/0.02	c 230            1156           5703           4631           0              111            17   25   19   
0.00/0.02	c 240            1202           5913           4811           0              115            18   24   19   
0.00/0.02	c 250            1242           6096           5005           0              121            14   25   17   
0.00/0.02	c 260            1291           6336           5201           0              124            20   24   20   
0.00/0.02	c 270            1340           6579           5426           0              129            11   24   17   
0.00/0.02	c 280            1390           6815           5640           0              135            12   24   17   
0.00/0.02	c 290            1434           7026           5848           0              142            12   23   17   
0.00/0.02	c 300            1485           7274           6060           0              148            15   25   19   
0.00/0.02	c 310            1545           7571           6288           0              152            14   25   19   
0.00/0.02	c 320            1597           7832           6491           0              157            19   25   20   
0.00/0.02	c 330            1640           8050           6667           0              159            16   24   19   
0.00/0.02	c 332            1670           8188           6745           0              161            21   22   14   
0.00/0.02	c 340            1719           8420           6921           0              166            21   24   20   
0.00/0.02	c 350            1774           8677           7150           0              172            13   25   19   
0.00/0.02	c 360            1832           8960           7360           0              175            19   25   20   
0.00/0.03	c 370            1883           9207           7573           0              179            16   24   19   
0.00/0.03	c 380            1939           9478           7783           0              181            19   24   20   
0.00/0.03	c 390            1987           9718           7987           0              189            17   24   18   
0.00/0.03	c 400            2023           9892           8162           0              197            14   23   17   
0.00/0.03	c 410            2063           10080          8385           0              201            14   23   16   
0.00/0.03	c 420            2111           10300          8603           0              206            13   23   18   
0.00/0.03	c 430            2160           10535          8806           0              209            17   23   18   
0.00/0.03	c 440            2217           10792          9024           0              214            17   25   19   
0.00/0.03	c 450            2269           11040          9224           0              217            20   24   19   
0.00/0.03	c 460            2305           11222          9432           0              218            13   22   16   
0.00/0.03	c 465            2334           11357          9533           0              220            12   25   17   
0.00/0.03	c 470            2361           11491          9617           0              222            17   23   17   
0.00/0.03	c 480            2404           11705          9801           0              225            14   26   19   
0.00/0.03	c 490            2439           11895          9977           0              232            13   23   16   
0.00/0.03	c 500            2475           12088          10145          0              241            15   25   18   
0.00/0.03	c 510            2526           12335          10366          0              246            13   23   18   
0.00/0.03	c 520            2571           12562          10578          0              251            12   23   17   
0.00/0.04	c 530            2615           12795          10782          0              252            16   24   18   
0.00/0.04	c 540            2668           13069          11015          0              256            15   25   18   
0.00/0.04	c 550            2723           13350          11231          0              259            11   25   20   
0.00/0.04	c 560            2781           13635          11453          0              262            20   25   20   
0.00/0.04	c 570            2825           13865          11641          0              265            18   24   19   
0.00/0.04	c 580            2877           14123          11835          0              268            16   26   21   
0.00/0.04	c 590            2930           14369          12024          0              274            17   26   20   
0.00/0.04	c 600            2974           14600          12217          0              277            18   24   19   
0.00/0.04	c 610            3032           14879          12455          0              285            12   25   18   
0.00/0.04	c 611            3044           14930          12485          0              286            12   12   6    
0.00/0.04	c 620            3082           15129          12650          0              291            15   24   18   
0.00/0.04	c 630            3129           15372          12862          0              297            15   24   18   
0.00/0.04	c 640            3180           15599          13075          0              302            14   26   19   
0.00/0.04	c 650            3223           15805          13261          0              310            12   24   18   
0.00/0.04	c 660            3262           15997          13446          0              318            13   25   17   
0.00/0.04	c 670            3313           16236          13663          0              320            17   25   19   
0.00/0.04	c 680            3352           16418          13855          0              327            13   24   17   
0.00/0.05	c 690            3400           16650          14062          0              331            16   24   18   
0.00/0.05	c 700            3460           16936          14276          0              333            18   26   21   
0.00/0.05	c 710            3509           17165          14480          0              337            19   25   20   
0.00/0.05	c 720            3560           17402          14682          0              344            17   25   19   
0.00/0.05	c 730            3609           17625          14906          0              350            13   25   18   
0.00/0.05	c 740            3658           17863          15104          0              353            18   24   19   
0.00/0.05	c 750            3713           18122          15318          0              358            14   26   20   
0.00/0.05	c 760            3758           18330          15520          0              360            15   26   18   
0.00/0.05	c 770            3803           18553          15710          0              366            15   26   17   
0.00/0.05	c 771            3820           18623          15742          0              367            17   17   8    
0.00/0.05	c 780            3860           18837          15898          0              368            19   25   20   
0.00/0.05	c 790            3899           19021          16080          0              377            15   26   18   
0.00/0.05	c 800            3943           19233          16274          0              386            15   25   18   
0.00/0.05	c 810            3992           19464          16510          0              390            13   23   17   
0.00/0.05	c 820            4033           19654          16696          0              393            17   24   18   
0.00/0.05	c 830            4073           19837          16883          0              394            17   25   19   
0.00/0.05	c 840            4122           20061          17091          0              400            14   25   19   
0.00/0.05	c 850            4187           20357          17335          0              407            20   25   20   
0.00/0.06	c 860            4245           20626          17580          0              415            12   26   18   
0.00/0.06	c 870            4294           20861          17770          0              419            13   25   19   
0.00/0.06	c 880            4356           21149          18002          0              423            21   24   20   
0.00/0.06	c 890            4407           21393          18202          0              424            19   26   21   
0.00/0.06	c 900            4451           21615          18374          0              431            17   26   19   
0.00/0.06	c 910            4495           21845          18551          0              433            19   26   20   
0.00/0.06	c 920            4540           22075          18748          0              435            17   25   19   
0.00/0.06	c 930            4590           22322          18951          0              440            17   24   19   
0.00/0.06	c 940            4643           22580          19166          0              444            12   24   19   
0.00/0.06	c 947            4696           22821          19334          0              447            22   26   21   
0.00/0.06	c 950            4725           22952          19416          0              448            23   25   18   
0.00/0.06	c 960            4789           23255          19643          0              455            19   26   21   
0.00/0.06	c 970            4833           23473          19818          0              459            19   27   21   
0.00/0.06	c 980            4877           23688          19986          0              464            19   26   20   
0.00/0.06	c 990            4928           23939          20186          0              468            18   27   20   
0.00/0.06	c 1000           4982           24196          20401          0              472            13   26   20   
0.00/0.06	c 1010           5028           24408          20607          0              480            15   26   18   
0.00/0.06	c 1020           5061           24570          20787          0              484            13   24   17   
0.00/0.07	c 1030           5102           24756          20976          0              490            12   25   18   
0.00/0.07	c 1040           5136           24918          21154          0              498            14   25   17   
0.00/0.07	c 1050           5167           25072          21349          0              502            12   22   15   
0.00/0.07	c 1060           5204           25246          21533          0              509            13   25   17   
0.00/0.07	c 1070           5252           25480          21754          0              518            13   25   17   
0.00/0.07	c 1080           5295           25690          21929          0              523            19   24   19   
0.00/0.07	c 1090           5349           25936          22137          0              529            13   26   19   
0.00/0.07	c 1100           5401           26185          22332          0              532            20   24   19   
0.00/0.07	c 1110           5435           26349          22505          0              533            16   25   18   
0.00/0.07	c 1120           5480           26586          22709          0              535            16   25   18   
0.00/0.07	c 1130           5527           26833          22891          0              538            19   26   20   
0.00/0.07	c 1140           5575           27080          23076          0              545            18   25   19   
0.00/0.07	c 1141           5596           27172          23110          0              546            21   21   10   
0.00/0.07	c 1150           5643           27399          23285          0              547            21   27   22   
0.00/0.07	c 1160           5689           27620          23480          0              552            17   26   20   
0.00/0.07	c 1170           5739           27843          23672          0              557            17   25   20   
0.00/0.07	c 1180           5778           28040          23828          0              562            19   25   20   
0.00/0.07	c 1190           5830           28289          24039          0              568            15   25   19   
0.00/0.07	c 1200           5889           28568          24250          0              573            21   26   21   
0.00/0.07	c 1210           5939           28805          24450          0              575            16   25   20   
0.00/0.08	c 1220           5985           29043          24649          0              582            14   26   18   
0.00/0.08	c 1230           6041           29308          24851          0              587            17   26   21   
0.00/0.08	c 1240           6084           29523          25028          0              592            17   25   19   
0.00/0.08	c 1250           6126           29741          25205          0              596            17   25   19   
0.00/0.08	c 1260           6178           29986          25387          0              600            20   27   21   
0.00/0.08	c 1270           6239           30282          25610          0              606            16   26   21   
0.00/0.08	c 1280           6281           30491          25810          0              613            12   25   17   
0.00/0.08	c 1290           6324           30709          25961          0              618            18   25   20   
0.00/0.08	c 1300           6383           31004          26176          0              621            21   26   21   
0.00/0.08	c 1310           6429           31227          26351          0              624            19   26   20   
0.00/0.08	c 1320           6476           31468          26562          0              629            14   25   18   
0.00/0.08	c 1330           6527           31733          26776          0              632            15   26   18   
0.00/0.08	c 1340           6580           31991          26967          0              639            17   24   20   
0.00/0.08	c 1350           6621           32194          27151          0              641            18   24   19   
0.00/0.08	c 1352           6643           32290          27203          0              643            20   21   13   
0.00/0.08	c 1360           6671           32435          27348          0              651            14   21   15   
0.00/0.08	c 1370           6725           32690          27558          0              655            16   26   20   
0.00/0.08	c 1380           6772           32918          27733          0              657            21   27   21   
0.00/0.08	c 1390           6824           33174          27918          0              660            21   26   21   
0.00/0.09	c 1400           6863           33369          28120          0              668            12   24   16   
0.00/0.09	c 1410           6904           33575          28286          0              672            16   22   17   
0.00/0.09	c 1420           6949           33817          28498          0              673            15   24   18   
0.00/0.09	c 1430           6996           34051          28698          0              680            15   24   18   
0.00/0.09	c 1440           7053           34334          28936          0              682            18   26   20   
0.00/0.09	c 1450           7094           34526          29118          0              683            17   26   20   
0.00/0.09	c 1460           7145           34765          29318          0              685            19   26   20   
0.00/0.09	c 1470           7189           34973          29522          0              686            15   26   18   
0.00/0.09	c 1480           7244           35221          29736          0              691            20   24   20   
0.00/0.09	c 1490           7285           35417          29922          0              696            16   25   18   
0.00/0.09	c 1500           7347           35698          30184          0              703            15   24   18   
0.00/0.09	c 1510           7387           35906          30350          0              711            15   24   18   
0.00/0.09	c 1520           7424           36112          30535          0              715            14   23   16   
0.00/0.09	c 1530           7476           36348          30742          0              721            16   26   19   
0.00/0.09	c 1540           7520           36549          30918          0              727            19   24   19   
0.00/0.09	c 1550           7568           36795          31111          0              730            16   26   20   
0.00/0.09	c 1560           7612           37008          31299          0              732            16   25   19   
0.00/0.09	c 1570           7660           37259          31507          0              738            17   24   19   
0.00/0.09	c 1580           7714           37518          31702          0              741            20   25   21   
0.00/0.10	c 1585           7751           37679          31837          0              746            12   24   16   
0.09/0.10	c 1590           7778           37807          31939          0              749            16   23   16   
0.09/0.10	c 1600           7837           38112          32173          0              756            18   25   19   
0.09/0.10	c 1610           7892           38379          32398          0              757            16   25   20   
0.09/0.10	c 1620           7935           38613          32588          0              763            15   26   18   
0.09/0.10	c 1630           7990           38879          32802          0              770            17   25   20   
0.09/0.10	c 1640           8042           39114          33008          0              777            17   26   19   
0.09/0.10	c 1650           8104           39412          33245          0              780            21   26   21   
0.09/0.10	c 1660           8151           39642          33436          0              784            13   24   19   
0.09/0.10	c 1670           8203           39893          33684          0              791            12   22   17   
0.09/0.10	c 1680           8248           40119          33901          0              796            14   25   17   
0.09/0.10	c 1690           8286           40303          34091          0              801            17   22   17   
0.09/0.10	c 1700           8329           40512          34282          0              810            12   25   18   
0.09/0.10	c 1710           8372           40707          34469          0              816            18   24   19   
0.09/0.10	c 1720           8418           40926          34665          0              819            14   27   19   
0.09/0.10	c 1730           8467           41168          34886          0              827            13   24   17   
0.09/0.10	c 1740           8520           41434          35086          0              829            22   26   22   
0.09/0.10	c 1750           8575           41700          35317          0              835            14   26   19   
0.09/0.10	c 1760           8626           41951          35504          0              838            22   26   22   
0.09/0.11	c 1770           8678           42205          35703          0              841            22   26   21   
0.09/0.11	c 1780           8728           42452          35911          0              847            15   25   19   
0.09/0.11	c 1790           8782           42710          36121          0              853            15   25   19   
0.09/0.11	c 1800           8831           42946          36295          0              856            22   26   21   
0.09/0.11	c 1810           8886           43221          36499          0              862            16   25   20   
0.09/0.11	c 1820           8936           43468          36686          0              869            18   25   19   
0.09/0.11	c 1830           8981           43676          36869          0              875            17   26   20   
0.09/0.11	c 1840           9020           43864          37054          0              880            15   24   17   
0.09/0.11	c 1841           9031           43914          37086          0              881            11   11   5    
0.09/0.11	c 1850           9080           44146          37286          0              885            14   24   19   
0.09/0.11	c 1860           9122           44345          37458          0              891            14   25   19   
0.09/0.11	c 1870           9162           44536          37619          0              893            16   24   18   
0.09/0.11	c 1880           9205           44741          37772          0              899            20   26   20   
0.09/0.11	c 1890           9271           45037          37995          0              903            23   27   22   
0.09/0.11	c 1900           9327           45296          38195          0              907            14   26   21   
0.09/0.11	c 1910           9384           45551          38385          0              910            20   27   21   
0.09/0.11	c 1920           9436           45808          38578          0              914            22   25   21   
0.09/0.11	c 1930           9489           46059          38769          0              916            21   26   22   
0.09/0.11	c 1940           9543           46306          38974          0              921            15   26   20   
0.09/0.11	c 1950           9598           46570          39161          0              925            21   26   22   
0.09/0.11	c 1960           9650           46804          39363          0              929            14   25   19   
0.09/0.11	c 1970           9697           47040          39553          0              937            16   25   19   
0.09/0.11	c 1980           9745           47272          39735          0              940            19   25   20   
0.09/0.12	c 1990           9812           47590          39985          0              945            14   26   20   
0.09/0.12	c 2000           9855           47808          40151          0              950            16   26   19   
0.09/0.12	c 2010           9894           48014          40323          0              959            13   24   17   
0.09/0.12	c 2020           9940           48257          40503          0              962            19   25   20   
0.09/0.12	c 2030           9986           48497          40685          0              965            13   26   20   
0.09/0.12	c 2040           10037          48753          40888          0              970            18   23   19   
0.09/0.12	c 2050           10090          49037          41122          0              976            13   23   17   
0.09/0.12	c 2060           10129          49245          41287          0              978            15   24   19   
0.09/0.12	c 2070           10177          49488          41474          0              981            15   26   21   
0.09/0.12	c 2080           10232          49746          41682          0              986            16   26   20   
0.09/0.12	c 2090           10295          50064          41922          0              991            19   24   20   
0.09/0.12	c 2100           10342          50285          42118          0              998            16   26   18   
0.09/0.12	c 2110           10387          50523          42320          0              1001           16   22   16   
0.09/0.12	c 2120           10424          50706          42522          0              1005           13   21   16   
0.09/0.12	c 2122           10437          50764          42577          0              1007           11   12   7    
0.09/0.12	c 2130           10475          50936          42713          0              1014           18   25   19   
0.09/0.12	c 2140           10513          51111          42899          0              1015           16   25   18   
0.09/0.12	c 2150           10553          51293          43077          0              1019           16   27   19   
0.09/0.12	c 2160           10588          51461          43253          0              1022           12   24   17   
0.09/0.12	c 2170           10642          51707          43472          0              1026           17   26   19   
0.09/0.12	c 2180           10684          51905          43644          0              1032           15   26   20   
0.09/0.12	c 2190           10741          52157          43859          0              1040           19   25   20   
0.09/0.12	c 2200           10785          52389          44034          0              1045           19   25   20   
0.09/0.12	c 2210           10827          52593          44210          0              1048           20   26   20   
0.09/0.13	c 2220           10873          52821          44381          0              1052           19   26   21   
0.09/0.13	c 2230           10911          52998          44572          0              1062           13   26   16   
0.09/0.13	c 2240           10954          53200          44767          0              1065           14   24   19   
0.09/0.13	c 2250           11001          53425          44961          0              1067           19   26   21   
0.09/0.13	c 2260           11056          53681          45186          0              1071           13   25   20   
0.09/0.13	c 2270           11103          53896          45390          0              1073           16   25   18   
0.09/0.13	c 2280           11158          54150          45615          0              1077           13   26   19   
0.09/0.13	c 2290           11195          54330          45811          0              1078           14   26   18   
0.09/0.13	c 2300           11237          54518          45986          0              1083           12   26   19   
0.09/0.13	c 2310           11282          54733          46182          0              1088           12   25   18   
0.09/0.13	c 2320           11326          54940          46374          0              1098           13   25   17   
0.09/0.13	c 2330           11384          55207          46597          0              1103           19   26   20   
0.09/0.13	c 2340           11423          55385          46775          0              1107           14   25   18   
0.09/0.13	c 2350           11460          55561          46930          0              1111           16   26   19   
0.09/0.13	c 2360           11508          55793          47097          0              1116           21   26   21   
0.09/0.13	c 2370           11573          56094          47314          0              1118           22   27   22   
0.09/0.13	c 2380           11623          56344          47496          0              1121           21   26   21   
0.09/0.13	c 2390           11681          56608          47704          0              1125           21   26   21   
0.09/0.13	c 2400           11727          56828          47904          0              1132           13   25   18   
0.09/0.13	c 2410           11798          57141          48156          0              1140           19   26   21   
0.09/0.13	c 2420           11843          57361          48345          0              1146           16   24   19   
0.09/0.13	c 2430           11882          57538          48517          0              1147           18   25   20   
0.09/0.13	c 2431           11904          57631          48557          0              1148           22   22   11   
0.09/0.13	c 2440           11938          57797          48705          0              1152           11   26   18   
0.09/0.14	c 2450           11995          58050          48916          0              1156           18   27   20   
0.09/0.14	c 2460           12055          58333          49143          0              1161           16   25   20   
0.09/0.14	c 2470           12115          58623          49388          0              1164           15   25   19   
0.09/0.14	c 2480           12165          58864          49586          0              1167           16   24   18   
0.09/0.14	c 2490           12207          59069          49764          0              1173           13   25   18   
0.09/0.14	c 2500           12256          59302          49973          0              1174           15   26   19   
0.09/0.14	c 2510           12309          59582          50180          0              1178           19   25   20   
0.09/0.14	c 2520           12362          59859          50397          0              1179           18   25   20   
0.09/0.14	c 2530           12399          60044          50561          0              1188           15   25   18   
0.09/0.14	c 2540           12439          60253          50777          0              1193           13   24   16   
0.09/0.14	c 2550           12489          60492          50973          0              1197           17   25   20   
0.09/0.14	c 2560           12539          60744          51186          0              1200           17   25   19   
0.09/0.14	c 2570           12588          60985          51389          0              1207           14   25   18   
0.09/0.14	c 2580           12637          61248          51590          0              1210           21   26   20   
0.09/0.14	c 2590           12690          61528          51803          0              1215           15   25   19   
0.09/0.14	c 2600           12732          61734          51991          0              1221           16   25   18   
0.09/0.14	c 2610           12793          62025          52231          0              1228           19   25   19   
0.09/0.14	c 2620           12847          62277          52440          0              1231           18   24   19   
0.09/0.14	c 2630           12903          62543          52660          0              1237           17   25   20   
0.09/0.14	c 2640           12960          62814          52858          0              1240           15   25   20   
0.09/0.14	c 2650           13013          63070          53052          0              1244           14   24   19   
0.09/0.15	c 2660           13069          63327          53277          0              1250           16   24   19   
0.09/0.15	c 2670           13117          63556          53497          0              1255           15   23   18   
0.09/0.15	c 2680           13163          63766          53705          0              1259           15   23   18   
0.09/0.15	c 2690           13218          64028          53943          0              1263           12   24   18   
0.09/0.15	c 2700           13268          64270          54178          0              1268           11   25   17   
0.09/0.15	c 2710           13308          64457          54360          0              1273           16   26   18   
0.09/0.15	c 2720           13353          64676          54547          0              1276           17   24   18   
0.09/0.15	c 2730           13411          64944          54748          0              1280           19   26   20   
0.09/0.15	c 2740           13443          65114          54917          0              1282           13   23   16   
0.09/0.15	c 2750           13500          65402          55128          0              1287           19   26   20   
0.09/0.15	c 2760           13552          65683          55366          0              1292           17   25   19   
0.09/0.15	c 2770           13600          65947          55560          0              1297           18   25   20   
0.09/0.15	c 2771           13624          66049          55604          0              1298           24   24   12   
0.09/0.15	c 2780           13673          66292          55779          0              1303           18   24   19   
0.09/0.15	c 2790           13712          66489          55945          0              1306           17   24   18   
0.09/0.15	c 2800           13756          66712          56110          0              1310           18   24   19   
0.09/0.15	c 2810           13804          66957          56281          0              1314           20   24   20   
0.09/0.15	c 2820           13850          67169          56481          0              1317           14   25   19   
0.09/0.15	c 2830           13888          67361          56642          0              1324           17   25   19   
0.09/0.15	c 2840           13932          67564          56830          0              1326           16   24   18   
0.09/0.15	c 2850           13976          67770          57012          0              1329           18   25   19   
0.09/0.15	c 2860           14021          67983          57205          0              1330           17   25   20   
0.09/0.15	c 2870           14059          68174          57407          0              1337           13   24   17   
0.09/0.15	c 2880           14102          68378          57586          0              1339           15   26   19   
0.09/0.16	c 2890           14139          68552          57762          0              1342           15   25   18   
0.09/0.16	c 2900           14182          68752          57936          0              1344           20   25   20   
0.09/0.16	c 2910           14231          68978          58122          0              1348           16   25   20   
0.09/0.16	c 2920           14288          69249          58330          0              1354           19   26   21   
0.09/0.16	c 2930           14327          69434          58525          0              1355           15   26   18   
0.09/0.16	c 2940           14379          69698          58708          0              1359           22   27   21   
0.09/0.16	c 2950           14419          69910          58870          0              1360           18   25   20   
0.09/0.16	c 2960           14463          70125          59043          0              1364           13   26   20   
0.09/0.16	c 2970           14505          70338          59229          0              1367           15   24   18   
0.09/0.16	c 2980           14548          70548          59424          0              1370           15   25   19   
0.09/0.16	c 2990           14601          70821          59623          0              1376           17   26   20   
0.09/0.16	c 3000           14651          71082          59835          0              1378           20   27   21   
0.09/0.16	c 3010           14715          71399          60080          0              1386           14   25   19   
0.09/0.16	c 3020           14759          71631          60283          0              1388           15   25   17   
0.09/0.16	c 3030           14805          71848          60465          0              1394           16   26   20   
0.09/0.16	c 3040           14858          72098          60652          0              1398           20   27   20   
0.09/0.16	c 3050           14899          72294          60840          0              1407           14   23   18   
0.09/0.16	c 3060           14950          72535          61017          0              1411           20   27   22   
0.09/0.16	c 3070           15001          72775          61206          0              1415           20   26   20   
0.09/0.16	c 3080           15056          73036          61415          0              1416           17   26   21   
0.09/0.16	c 3090           15109          73278          61636          0              1420           12   25   19   
0.09/0.16	c 3100           15158          73507          61836          0              1424           17   24   19   
0.09/0.17	c 3110           15217          73778          62063          0              1428           12   26   20   
0.09/0.17	c 3120           15259          73982          62263          0              1433           13   24   18   
0.09/0.17	c 3130           15311          74226          62486          0              1439           13   25   19   
0.09/0.17	c 3140           15355          74451          62675          0              1443           16   23   19   
0.09/0.17	c 3142           15375          74542          62730          0              1445           18   19   12   
0.09/0.17	c 3150           15413          74742          62918          0              1451           12   23   15   
0.09/0.17	c 3160           15460          75009          63105          0              1454           18   24   18   
0.09/0.17	c 3170           15497          75213          63296          0              1458           13   24   17   
0.09/0.17	c 3180           15541          75445          63486          0              1464           16   24   18   
0.09/0.17	c 3190           15585          75657          63667          0              1468           17   24   18   
0.09/0.17	c 3200           15628          75875          63826          0              1474           18   25   19   
0.09/0.17	c 3210           15661          76053          63984          0              1484           14   24   16   
0.09/0.17	c 3220           15714          76305          64182          0              1491           19   25   19   
0.09/0.17	c 3230           15757          76510          64377          0              1497           15   25   18   
0.09/0.17	c 3240           15811          76766          64610          0              1500           19   24   19   
0.09/0.17	c 3250           15855          76972          64804          0              1503           18   24   19   
0.09/0.17	c 3260           15909          77219          65020          0              1508           13   27   19   
0.09/0.17	c 3270           15981          77547          65295          0              1518           12   26   18   
0.09/0.17	c 3280           16034          77788          65499          0              1521           18   25   20   
0.09/0.17	c 3290           16103          78102          65736          0              1527           20   26   21   
0.09/0.17	c 3300           16147          78323          65953          0              1533           11   22   16   
0.09/0.17	c 3310           16193          78556          66144          0              1534           16   24   19   
0.09/0.17	c 3320           16235          78760          66334          0              1537           12   25   18   
0.09/0.18	c 3330           16273          78947          66520          0              1538           16   25   18   
0.09/0.18	c 3340           16347          79287          66790          0              1545           16   26   20   
0.09/0.18	c 3350           16402          79554          66995          0              1548           20   25   20   
0.09/0.18	c 3360           16455          79812          67198          0              1555           17   25   19   
0.09/0.18	c 3370           16505          80056          67396          0              1557           19   24   20   
0.09/0.18	c 3380           16572          80362          67644          0              1566           13   27   19   
0.09/0.18	c 3390           16623          80607          67835          0              1568           21   26   21   
0.09/0.18	c 3400           16670          80835          68018          0              1571           13   26   20   
0.09/0.18	c 3410           16716          81067          68187          0              1577           16   27   20   
0.09/0.18	c 3420           16754          81272          68362          0              1580           15   24   18   
0.09/0.18	c 3430           16816          81591          68590          0              1583           19   26   20   
0.09/0.18	c 3440           16880          81921          68845          0              1591           12   26   19   
0.09/0.18	c 3450           16922          82130          69037          0              1592           17   25   19   
0.09/0.18	c 3460           16970          82359          69255          0              1595           13   24   16   
0.09/0.18	c 3470           17012          82560          69448          0              1597           16   25   18   
0.09/0.18	c 3480           17051          82743          69619          0              1604           16   25   19   
0.09/0.18	c 3490           17120          83058          69867          0              1611           14   25   19   
0.09/0.18	c 3500           17161          83256          70058          0              1613           13   24   18   
0.09/0.18	c 3510           17216          83509          70270          0              1618           18   25   20   
0.09/0.18	c 3520           17264          83723          70465          0              1625           16   25   19   
0.09/0.18	c 3530           17302          83901          70665          0              1626           15   24   18   
0.09/0.19	c 3540           17361          84168          70898          0              1631           18   24   19   
0.09/0.19	c 3550           17415          84446          71120          0              1636           18   25   19   
0.09/0.19	c 3551           17431          84519          71152          0              1637           16   16   8    
0.09/0.19	c 3560           17481          84769          71356          0              1638           17   26   20   
0.09/0.19	c 3570           17533          85026          71554          0              1641           21   26   21   
0.09/0.19	c 3580           17580          85261          71748          0              1643           18   25   20   
0.09/0.19	c 3590           17621          85459          71924          0              1650           15   25   18   
0.09/0.19	c 3600           17670          85698          72108          0              1653           21   26   21   
0.09/0.19	c 3610           17725          85973          72321          0              1660           15   25   19   
0.09/0.19	c 3620           17772          86203          72500          0              1662           20   25   20   
0.09/0.19	c 3630           17826          86460          72682          0              1667           23   26   22   
0.09/0.19	c 3640           17870          86665          72867          0              1669           19   25   20   
0.09/0.19	c 3650           17932          86966          73091          0              1673           17   25   21   
0.09/0.19	c 3660           17977          87165          73278          0              1675           20   25   20   
0.09/0.19	c 3670           18021          87362          73461          0              1679           17   25   20   
0.09/0.19	c 3680           18067          87575          73653          0              1680           16   27   19   
0.09/0.19	c 3690           18111          87777          73833          0              1689           15   26   19   
0.09/0.19	c 3700           18149          87959          74008          0              1692           12   25   18   
0.09/0.19	c 3710           18191          88176          74191          0              1696           14   23   18   
0.09/0.19	c 3720           18238          88405          74378          0              1700           18   26   19   
0.09/0.19	c 3730           18278          88610          74580          0              1702           15   22   17   
0.09/0.19	c 3740           18335          88907          74793          0              1708           20   25   20   
0.09/0.19	c 3750           18383          89149          74976          0              1711           21   25   21   
0.09/0.20	c 3760           18428          89384          75168          0              1714           14   25   19   
0.19/0.20	c 3770           18490          89681          75411          0              1721           14   26   19   
0.19/0.20	c 3780           18543          89964          75623          0              1723           18   25   19   
0.19/0.20	c 3790           18577          90154          75794          0              1725           14   23   16   
0.19/0.20	c 3800           18641          90474          76053          0              1730           11   25   20   
0.19/0.20	c 3810           18690          90718          76243          0              1735           19   26   20   
0.19/0.20	c 3820           18754          91024          76504          0              1740           18   26   20   
0.19/0.20	c 3830           18802          91247          76725          0              1745           16   24   18   
0.19/0.20	c 3840           18866          91536          76975          0              1750           12   25   19   
0.19/0.20	c 3850           18911          91752          77197          0              1755           12   23   17   
0.19/0.20	c 3860           18951          91936          77396          0              1758           15   24   18   
0.19/0.20	c 3870           18996          92151          77616          0              1764           13   22   17   
0.19/0.20	c 3880           19045          92382          77826          0              1767           17   25   18   
0.19/0.20	c 3890           19080          92549          78016          0              1768           15   26   17   
0.19/0.20	c 3900           19143          92838          78259          0              1775           14   26   19   
0.19/0.20	c 3910           19193          93072          78467          0              1777           20   27   21   
0.19/0.20	c 3920           19250          93330          78677          0              1783           20   26   20   
0.19/0.20	c 3930           19302          93569          78879          0              1788           16   26   20   
0.19/0.20	c 3940           19352          93819          79084          0              1794           15   26   18   
0.19/0.20	c 3950           19404          94102          79318          0              1796           13   23   18   
0.19/0.21	c 3960           19457          94370          79555          0              1802           12   27   17   
0.19/0.21	c 3970           19494          94567          79762          0              1803           13   22   16   
0.19/0.21	c 3980           19540          94812          79946          0              1806           18   24   19   
0.19/0.21	c 3990           19582          95031          80142          0              1808           18   24   19   
0.19/0.21	c 4000           19624          95243          80328          0              1817           16   23   18   
0.19/0.21	c 4001           19644          95332          80367          0              1818           20   20   10   
0.19/0.21	c 4010           19682          95502          80534          0              1824           12   26   17   
0.19/0.21	c 4020           19727          95704          80722          0              1832           16   26   18   
0.19/0.21	c 4030           19768          95886          80912          0              1835           17   24   19   
0.19/0.21	c 4040           19819          96114          81116          0              1840           18   24   19   
0.19/0.21	c 4050           19873          96374          81349          0              1843           20   24   19   
0.19/0.21	c 4060           19915          96577          81546          0              1847           12   24   18   
0.19/0.21	c 4070           19960          96812          81740          0              1850           18   24   19   
0.19/0.21	c 4080           20002          97003          81933          0              1859           13   25   17   
0.19/0.21	c 4090           20044          97203          82116          0              1862           12   25   19   
0.19/0.21	c 4100           20076          97376          82282          0              1872           14   23   16   
0.19/0.21	c 4110           20120          97586          82451          0              1877           20   25   20   
0.19/0.21	c 4120           20156          97752          82625          0              1880           15   24   17   
0.19/0.21	c 4130           20189          97899          82790          0              1890           15   24   17   
0.19/0.21	c 4140           20245          98153          83017          0              1897           16   25   19   
0.19/0.21	c 4150           20292          98363          83226          0              1900           12   25   18   
0.19/0.21	c 4160           20339          98582          83434          0              1904           14   23   18   
0.19/0.21	c 4170           20394          98844          83660          0              1908           17   24   19   
0.19/0.21	c 4180           20436          99050          83883          0              1909           12   22   16   
0.19/0.21	c 4190           20476          99236          84089          0              1914           14   22   17   
0.19/0.22	c 4200           20520          99462          84305          0              1916           12   21   15   
0.19/0.22	c 4210           20560          99652          84503          0              1922           11   21   15   
0.19/0.22	c 4220           20616          99917          84745          0              1927           11   22   17   
0.19/0.22	c 4230           20655          100116         84927          0              1931           16   22   17   
0.19/0.22	c 4240           20696          100314         85140          0              1934           14   20   16   
0.19/0.22	c 4250           20743          100553         85328          0              1937           12   25   18   
0.19/0.22	c 4260           20784          100768         85521          0              1941           12   23   17   
0.19/0.22	c 4270           20823          100982         85712          0              1946           15   24   17   
0.19/0.22	c 4280           20866          101204         85915          0              1953           15   23   17   
0.19/0.22	c 4290           20914          101448         86107          0              1957           13   26   19   
0.19/0.22	c 4300           20969          101707         86294          0              1961           21   25   20   
0.19/0.22	c 4310           21034          102007         86507          0              1965           22   26   22   
0.19/0.22	c 4320           21078          102227         86675          0              1968           18   25   19   
0.19/0.22	c 4330           21129          102484         86889          0              1970           16   26   19   
0.19/0.22	c 4340           21183          102724         87085          0              1973           20   26   20   
0.19/0.22	c 4350           21235          102959         87288          0              1978           14   27   20   
0.19/0.22	c 4360           21283          103171         87459          0              1982           20   27   21   
0.19/0.22	c 4370           21340          103455         87672          0              1985           18   25   20   
0.19/0.22	c 4380           21379          103645         87868          0              1991           13   24   17   
0.19/0.22	c 4390           21424          103854         88055          0              1995           16   27   19   
0.19/0.22	c 4400           21473          104097         88243          0              2000           14   26   18   
0.19/0.23	c 4410           21519          104315         88429          0              2005           15   26   19   
0.19/0.23	c 4420           21577          104582         88662          0              2013           14   25   19   
0.19/0.23	c 4430           21629          104829         88861          0              2017           12   26   20   
0.19/0.23	c 4440           21684          105088         89074          0              2022           17   26   19   
0.19/0.23	c 4450           21729          105311         89253          0              2028           18   26   20   
0.19/0.23	c 4460           21770          105510         89438          0              2034           17   23   18   
0.19/0.23	c 4470           21813          105727         89609          0              2036           18   26   20   
0.19/0.23	c 4480           21855          105928         89780          0              2041           17   26   20   
0.19/0.23	c 4490           21917          106233         90011          0              2044           20   26   21   
0.19/0.23	c 4493           21937          106323         90079          0              2047           13   18   12   
0.19/0.23	c 4500           21974          106505         90210          0              2051           20   24   19   
0.19/0.23	c 4510           22012          106698         90390          0              2057           13   24   17   
0.19/0.23	c 4520           22072          107009         90634          0              2061           12   26   20   
0.19/0.23	c 4530           22123          107267         90847          0              2062           17   26   20   
0.19/0.23	c 4540           22169          107490         91035          0              2068           17   26   20   
0.19/0.23	c 4550           22215          107715         91208          0              2074           18   25   20   
0.19/0.23	c 4560           22264          107967         91444          0              2079           15   24   18   
0.19/0.23	c 4570           22324          108252         91669          0              2083           19   25   20   
0.19/0.23	c 4580           22369          108467         91861          0              2091           16   25   19   
0.19/0.23	c 4590           22407          108649         92031          0              2092           18   26   20   
0.19/0.23	c 4600           22467          108935         92254          0              2097           18   25   20   
0.19/0.23	c 4610           22519          109193         92449          0              2099           20   25   20   
0.19/0.24	c 4620           22566          109421         92664          0              2106           13   24   17   
0.19/0.24	c 4630           22615          109701         92879          0              2110           19   23   19   
0.19/0.24	c 4640           22672          109992         93088          0              2113           19   25   20   
0.19/0.24	c 4650           22718          110233         93302          0              2115           14   22   17   
0.19/0.24	c 4660           22754          110422         93474          0              2116           16   24   18   
0.19/0.24	c 4670           22797          110640         93634          0              2121           18   26   20   
0.19/0.24	c 4680           22852          110905         93831          0              2123           21   27   21   
0.19/0.24	c 4690           22902          111159         94020          0              2130           17   26   20   
0.19/0.24	c 4700           22954          111419         94206          0              2135           20   25   21   
0.19/0.24	c 4710           23002          111642         94399          0              2138           19   24   20   
0.19/0.24	c 4720           23049          111858         94601          0              2142           16   25   19   
0.19/0.24	c 4730           23101          112103         94808          0              2147           19   24   19   
0.19/0.24	c 4740           23151          112344         95021          0              2153           16   24   18   
0.19/0.24	c 4750           23190          112535         95207          0              2155           18   22   18   
0.19/0.24	c 4760           23235          112755         95405          0              2157           18   23   18   
0.19/0.24	c 4770           23279          112976         95604          0              2165           14   23   16   
0.19/0.24	c 4780           23329          113221         95817          0              2168           17   22   17   
0.19/0.24	c 4790           23378          113459         96045          0              2171           16   22   17   
0.19/0.24	c 4800           23434          113752         96281          0              2174           16   22   17   
0.19/0.24	c 4810           23471          113939         96462          0              2179           14   23   16   
0.19/0.24	c 4820           23539          114287         96724          0              2184           21   26   21   
0.19/0.25	c 4830           23603          114599         96947          0              2187           19   27   21   
0.19/0.25	c 4840           23666          114906         97192          0              2192           16   25   19   
0.19/0.25	c 4850           23721          115180         97430          0              2200           13   23   17   
0.19/0.25	c 4860           23773          115446         97645          0              2202           17   26   19   
0.19/0.25	c 4870           23823          115707         97841          0              2204           17   25   19   
0.19/0.25	c 4880           23868          115941         98057          0              2209           15   24   17   
0.19/0.25	c 4890           23922          116215         98260          0              2212           20   26   20   
0.19/0.25	c 4900           23980          116499         98486          0              2215           18   25   20   
0.19/0.25	c 4910           24024          116724         98681          0              2221           17   25   18   
0.19/0.25	c 4920           24074          116970         98888          0              2223           19   25   20   
0.19/0.25	c 4930           24127          117240         99101          0              2229           14   26   18   
0.19/0.25	c 4940           24161          117430         99267          0              2231           14   23   16   
0.19/0.25	c 4950           24209          117673         99482          0              2241           13   26   17   
0.19/0.25	c 4960           24251          117882         99656          0              2244           15   23   18   
0.19/0.25	c 4970           24288          118073         99845          0              2250           12   23   16   
0.19/0.25	c 4980           24329          118293         100043         0              2256           14   25   17   
0.19/0.25	c 4990           24374          118533         100248         0              2262           15   23   16   
0.19/0.25	c 5035           24513          119276         101031         0              2267           11   26   20   
0.19/0.27	c 5631           26557          130322         111750         0              2269           12   27   22   
0.29/0.30	c 6286           29045          144044         124377         0              2276           10   27   21   
0.29/0.32	c 7006           31590          157566         137385         0              2289           11   27   22   
0.29/0.35	c 7798           34551          173842         152494         0              2298           12   27   22   
0.29/0.37	c 8669           37527          189689         167594         0              2307           12   28   23   
0.39/0.41	c 9627           41135          209303         186164         0              2316           12   27   22   
0.39/0.44	c 10680          44946          229842         205834         0              2326           13   27   22   
0.39/0.48	c 11838          49016          251978         226722         0              2335           11   28   22   
0.49/0.52	c 13111          53424          277267         250871         0              2343           11   26   21   
0.49/0.56	c 14511          58173          302214         275801         0              2351           14   27   22   
0.59/0.61	c 16051          63694          331578         304496         0              2353           13   27   22   
0.59/0.67	c 17745          69795          365501         335745         0              2358           13   27   22   
0.69/0.73	c 19608          76149          400638         369275         0              2366           13   27   22   
0.69/0.79	c 21657          83493          438963         407634         0              2376           11   27   22   
0.79/0.86	c 23910          91423          480320         448168         0              2386           13   27   22   
0.89/0.94	c 26388          100076         526771         493524         0              2391           13   27   21   
0.99/1.03	c 29113          109544         578092         543122         0              2404           12   28   22   
1.10/1.12	c 32110          120275         635553         598534         0              2411           9   27   22    
1.20/1.23	c 35406          132153         700284         659520         0              2423           12   28   22   
1.29/1.36	c 39031          145467         775353         728017         0              2433           9   27   22    
1.39/1.50	c 43018          160018         858494         804515         0              2438           10   27   22   
1.59/1.63	c 47403          175381         943181         885806         0              2446           13   27   22   
1.79/1.81	c 52226          193092         1045677        980615         0              2455           13   27   22   
1.89/1.99	c 57531          212425         1154961        1081221        0              2460           11   27   22   
2.09/2.19	c 63366          233799         1276271        1194878        0              2471           11   27   22   
2.39/2.42	c 69784          257715         1411404        1318865        0              2482           10   27   22   
2.59/2.66	c 76843          283376         1555571        1452661        0              2491           11   27   22   
2.89/2.91	c 84607          310535         1707012        1593952        0              2499           13   27   22   
3.09/3.19	c 93147          340321         1872997        1752693        0              2506           12   27   22   
3.40/3.48	c 102541         372572         2051508        1922616        0              2514           13   27   22   
3.79/3.82	c 112874         408741         2252775        2114556        0              2524           12   27   22   
4.09/4.18	c 124240         447994         2469743        2326430        0              2533           14   27   22   
4.50/4.58	c 136742         491933         2708437        2562058        0              2546           13   28   22   
4.99/5.01	c 150494         539333         2968019        2815971        0              2554           13   28   22   
5.39/5.50	c 165621         592457         3259158        3108761        0              2564           10   28   22   
5.99/6.07	c 182260         652166         3600072        3427801        0              2575           11   28   22   
6.60/6.69	c 200562         718212         3974581        3778693        0              2586           11   28   22   
7.29/7.39	c 220694         790681         4395347        4167684        0              2598           10   27   22   
8.09/8.15	c 242839         869977         4849545        4593400        0              2610           10   28   22   
8.90/8.96	c 267198         955057         5324235        5058517        0              2617           12   27   22   
9.79/9.83	c 293992         1048247        5847763        5563351        0              2625           11   28   22   
9.79/9.83	conflict 7lvl : 14 bt12-59:0(12)X51221
10.79/10.82	c 323465         1153045        6437374        6135774        0              2637           12   27   22   
11.89/11.93	c 355885         1270338        7096448        6759860        0              2644           11   28   22   
12.99/13.09	c 391547         1396208        7792535        7439640        0              2655           11   28   22   
14.40/14.43	c 430775         1535292        8582256        8203445        0              2664           11   28   22   
15.89/15.91	c 473925         1689809        9462793        9044678        0              2673           11   28   22   
17.49/17.53	c 521390         1858909        10420580       9985181        0              2683           10   27   22   
19.29/19.32	c 573601         2045081        11487523       11010287       0              2692           10   27   22   
21.19/21.21	c 631033         2249239        12637701       12133911       0              2702           12   28   23   
23.29/23.39	c 694208         2474943        13944184       13380640       0              2712           12   27   22   
25.79/25.81	c 763700         2726164        15388751       14750179       0              2725           10   28   22   
28.39/28.46	c 840141         3002649        16982964       16244990       0              2736           11   28   22   
31.29/31.39	c 924226         3305481        18747861       17916135       0              2745           10   28   22   
33.79/33.89	c solution 1
33.79/33.89	
33.79/33.89	v <instantiation type='solution'>
33.79/33.89	v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] </list>
33.79/33.89	v <values>1 0 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 1 1 0 </values>
33.79/33.89	v </instantiation>
33.79/33.89	
33.79/33.89	c restarts              : 571         
33.79/33.89	c conflicts             : 994799       (29354 /sec)
33.79/33.89	c decisions             : 3563527      (105150 /sec)
33.79/33.89	c propagations          : 19326870    (570283 /sec)
33.79/33.89	c root propagations     : 0           
33.79/33.89	c filter calls          : 20243654       (597335 /sec)
33.79/33.89	c useless filter calls  : 16795987       (82 %)
33.79/33.89	c
33.79/33.89	c clauses               : 2805
33.79/33.89	c SAT propagations      : 252
33.79/33.89	c SAT conflicts         : 194 (1 learnts)
33.79/33.89	c Memory used           : 30.88 MB
33.79/33.89	c CPU time              : 33.8899 s
33.79/33.89	
33.79/33.89	s SATISFIABLE

Verifier Data 

OK

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-4241949-1500653003/watcher-4241949-1500653003 -o /tmp/evaluation-result-4241949-1500653003/solver-4241949-1500653003 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500648174-2489 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241949-1500653003.xml 

pid=3198
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.13 2.06 2.00 3/242 3201
/proc/meminfo: memFree=32022532/32770624 swapFree=6268/209232
[pid=3201] ppid=3198 vsize=31348 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3201/stat : 3201 (cosoco) R 3198 3201 2456 0 -1 4202496 1035 0 0 0 0 0 0 0 20 0 1 0 568739 32100352 832 33554432000 4194304 5970956 140726865158944 140726865156280 139886002355296 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12230656 140726865163452 140726865163587 140726865163587 140726865166286 0
/proc/3201/statm: 7837 832 740 434 0 1201 0

[startup+0.100161 s]
/proc/loadavg: 2.13 2.06 2.00 3/242 3201
/proc/meminfo: memFree=32022532/32770624 swapFree=6268/209232
[pid=3201] ppid=3198 vsize=31480 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/3201/stat : 3201 (cosoco) R 3198 3201 2456 0 -1 4202496 1060 0 0 0 9 0 0 0 20 0 1 0 568739 32235520 898 33554432000 4194304 5970956 140726865158944 140726865156280 139886002355296 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12230656 140726865163452 140726865163587 140726865163587 140726865166286 0
/proc/3201/statm: 7870 898 779 434 0 1234 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31480

[startup+0.200317 s]
/proc/loadavg: 2.13 2.06 2.00 3/242 3201
/proc/meminfo: memFree=32022532/32770624 swapFree=6268/209232
[pid=3201] ppid=3198 vsize=31480 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/3201/stat : 3201 (cosoco) R 3198 3201 2456 0 -1 4202496 1093 0 0 0 19 0 0 0 20 0 1 0 568739 32235520 898 33554432000 4194304 5970956 140726865158944 140726865156280 139886002355296 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12230656 140726865163452 140726865163587 140726865163587 140726865166286 0
/proc/3201/statm: 7870 898 779 434 0 1234 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31480

[startup+0.300318 s]
/proc/loadavg: 2.13 2.06 2.00 3/242 3201
/proc/meminfo: memFree=32022532/32770624 swapFree=6268/209232
[pid=3201] ppid=3198 vsize=31480 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/3201/stat : 3201 (cosoco) R 3198 3201 2456 0 -1 4202496 1114 0 0 0 29 0 0 0 20 0 1 0 568739 32235520 898 33554432000 4194304 5970956 140726865158944 140726865156280 5136577 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12230656 140726865163452 140726865163587 140726865163587 140726865166286 0
/proc/3201/statm: 7870 898 779 434 0 1234 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31480

[startup+0.700272 s]
/proc/loadavg: 2.13 2.06 2.00 3/242 3201
/proc/meminfo: memFree=32022532/32770624 swapFree=6268/209232
[pid=3201] ppid=3198 vsize=31480 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/3201/stat : 3201 (cosoco) R 3198 3201 2456 0 -1 4202496 1119 0 0 0 69 0 0 0 20 0 1 0 568739 32235520 898 33554432000 4194304 5970956 140726865158944 140726865156280 5098954 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12230656 140726865163452 140726865163587 140726865163587 140726865166286 0
/proc/3201/statm: 7870 898 779 434 0 1234 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31480

[startup+1.50028 s]
/proc/loadavg: 2.13 2.06 2.00 3/243 3202
/proc/meminfo: memFree=32021628/32770624 swapFree=6268/209344
[pid=3201] ppid=3198 vsize=31480 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/3201/stat : 3201 (cosoco) R 3198 3201 2456 0 -1 4202496 1121 0 0 0 149 0 0 0 20 0 1 0 568739 32235520 898 33554432000 4194304 5970956 140726865158944 140726865156280 139886002355296 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12230656 140726865163452 140726865163587 140726865163587 140726865166286 0
/proc/3201/statm: 7870 898 779 434 0 1234 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31480

[startup+3.10028 s]
/proc/loadavg: 2.13 2.06 2.00 3/243 3202
/proc/meminfo: memFree=32021256/32770624 swapFree=6268/209344
[pid=3201] ppid=3198 vsize=31612 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/3201/stat : 3201 (cosoco) R 3198 3201 2456 0 -1 4202496 1246 0 0 0 309 0 0 0 20 0 1 0 568739 32370688 966 33554432000 4194304 5970956 140726865158944 140726865156280 5136795 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12230656 140726865163452 140726865163587 140726865163587 140726865166286 0
/proc/3201/statm: 7903 966 779 434 0 1267 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31612

[startup+6.30028 s]
/proc/loadavg: 2.12 2.05 2.00 3/243 3202
/proc/meminfo: memFree=32020932/32770624 swapFree=6268/209344
[pid=3201] ppid=3198 vsize=31612 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/3201/stat : 3201 (cosoco) R 3198 3201 2456 0 -1 4202496 1370 0 0 0 629 0 0 0 20 0 1 0 568739 32370688 967 33554432000 4194304 5970956 140726865158944 140726865156280 5038548 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12230656 140726865163452 140726865163587 140726865163587 140726865166286 0
/proc/3201/statm: 7903 967 779 434 0 1267 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31612

[startup+12.7003 s]
/proc/loadavg: 2.11 2.05 2.00 3/243 3202
/proc/meminfo: memFree=32020320/32770624 swapFree=6268/209344
[pid=3201] ppid=3198 vsize=31612 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/3201/stat : 3201 (cosoco) R 3198 3201 2456 0 -1 4202496 1498 0 0 0 1269 0 0 0 20 0 1 0 568739 32370688 969 33554432000 4194304 5970956 140726865158944 140726865156280 5038183 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12230656 140726865163452 140726865163587 140726865163587 140726865166286 0
/proc/3201/statm: 7903 969 779 434 0 1267 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31612

[startup+25.5003 s]
/proc/loadavg: 2.09 2.05 2.00 3/243 3202
/proc/meminfo: memFree=32020676/32770624 swapFree=6268/209340
[pid=3201] ppid=3198 vsize=31612 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/3201/stat : 3201 (cosoco) R 3198 3201 2456 0 -1 4202496 1756 0 0 0 2549 0 0 0 20 0 1 0 568739 32370688 980 33554432000 4194304 5970956 140726865158944 140726865156280 5038217 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12230656 140726865163452 140726865163587 140726865163587 140726865166286 0
/proc/3201/statm: 7903 980 782 434 0 1267 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31612

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

[startup+25.6003 s]
/proc/loadavg: 2.09 2.05 2.00 3/243 3202
/proc/meminfo: memFree=32020676/32770624 swapFree=6268/209340
[pid=3201] ppid=3198 vsize=31612 CPUtime=25.59 cores=0,2,4,6,8,10,12,14
/proc/3201/stat : 3201 (cosoco) R 3198 3201 2456 0 -1 4202496 1756 0 0 0 2559 0 0 0 20 0 1 0 568739 32370688 980 33554432000 4194304 5970956 140726865158944 140726865156280 5038211 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12230656 140726865163452 140726865163587 140726865163587 140726865166286 0
/proc/3201/statm: 7903 980 782 434 0 1267 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 31612

[startup+28.8003 s]
/proc/loadavg: 2.09 2.05 2.00 3/243 3202
/proc/meminfo: memFree=32020676/32770624 swapFree=6268/209340
[pid=3201] ppid=3198 vsize=31612 CPUtime=28.79 cores=0,2,4,6,8,10,12,14
/proc/3201/stat : 3201 (cosoco) R 3198 3201 2456 0 -1 4202496 1760 0 0 0 2879 0 0 0 20 0 1 0 568739 32370688 980 33554432000 4194304 5970956 140726865158944 140726865156280 5136634 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12230656 140726865163452 140726865163587 140726865163587 140726865166286 0
/proc/3201/statm: 7903 980 782 434 0 1267 0
Current children cumulated CPU time (s) 28.79
Current children cumulated vsize (KiB) 31612

[startup+32.0075 s]
/proc/loadavg: 2.08 2.05 2.00 3/243 3202
/proc/meminfo: memFree=32020676/32770624 swapFree=6268/209340
[pid=3201] ppid=3198 vsize=31612 CPUtime=32 cores=0,2,4,6,8,10,12,14
/proc/3201/stat : 3201 (cosoco) R 3198 3201 2456 0 -1 4202496 1761 0 0 0 3200 0 0 0 20 0 1 0 568739 32370688 980 33554432000 4194304 5970956 140726865158944 140726865156280 5136803 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12230656 140726865163452 140726865163587 140726865163587 140726865166286 0
/proc/3201/statm: 7903 980 782 434 0 1267 0
Current children cumulated CPU time (s) 32
Current children cumulated vsize (KiB) 31612

[startup+32.8003 s]
/proc/loadavg: 2.08 2.05 2.00 3/243 3202
/proc/meminfo: memFree=32020676/32770624 swapFree=6268/209340
[pid=3201] ppid=3198 vsize=31612 CPUtime=32.79 cores=0,2,4,6,8,10,12,14
/proc/3201/stat : 3201 (cosoco) R 3198 3201 2456 0 -1 4202496 1764 0 0 0 3279 0 0 0 20 0 1 0 568739 32370688 980 33554432000 4194304 5970956 140726865158944 140726865156280 5136629 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12230656 140726865163452 140726865163587 140726865163587 140726865166286 0
/proc/3201/statm: 7903 980 782 434 0 1267 0
Current children cumulated CPU time (s) 32.79
Current children cumulated vsize (KiB) 31612

[startup+33.6003 s]
/proc/loadavg: 2.08 2.05 2.00 3/243 3202
/proc/meminfo: memFree=32020676/32770624 swapFree=6268/209340
[pid=3201] ppid=3198 vsize=31612 CPUtime=33.59 cores=0,2,4,6,8,10,12,14
/proc/3201/stat : 3201 (cosoco) R 3198 3201 2456 0 -1 4202496 1764 0 0 0 3359 0 0 0 20 0 1 0 568739 32370688 980 33554432000 4194304 5970956 140726865158944 140726865156280 5136560 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12230656 140726865163452 140726865163587 140726865163587 140726865166286 0
/proc/3201/statm: 7903 980 782 434 0 1267 0
Current children cumulated CPU time (s) 33.59
Current children cumulated vsize (KiB) 31612

[startup+33.8003 s]
/proc/loadavg: 2.08 2.05 2.00 3/243 3202
/proc/meminfo: memFree=32020676/32770624 swapFree=6268/209340
[pid=3201] ppid=3198 vsize=31612 CPUtime=33.79 cores=0,2,4,6,8,10,12,14
/proc/3201/stat : 3201 (cosoco) R 3198 3201 2456 0 -1 4202496 1764 0 0 0 3379 0 0 0 20 0 1 0 568739 32370688 980 33554432000 4194304 5970956 140726865158944 140726865156280 5038350 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12230656 140726865163452 140726865163587 140726865163587 140726865166286 0
/proc/3201/statm: 7903 980 782 434 0 1267 0
Current children cumulated CPU time (s) 33.79
Current children cumulated vsize (KiB) 31612

Child status: 0
Real time (s): 33.8965
CPU time (s): 33.8952
CPU user time (s): 33.8902
CPU system time (s): 0.004999
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 31612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.8902
system time used= 0.004999
maximum resident set size= 4016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1807
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= 6
involuntary context switches= 1707

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.141757 second user time and 0.151793 second system time

The end

Launcher Data 

Begin job on node123 at 2017-07-21 18:03:23
IDJOB=4241949
IDBENCH=133094
IDSOLVER=2621
FILE ID=node123/4241949-1500653003
RUNJOBID= node123-1500648174-2489
PBS_JOBID= 20623297
Free space on /tmp= 62008 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/MarketSplit/MarketSplit-m1-gp/MarketSplit-03.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241949-1500653003/watcher-4241949-1500653003 -o /tmp/evaluation-result-4241949-1500653003/solver-4241949-1500653003 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500648174-2489 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4241949-1500653003.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 179d2a128a53b26e9bde33d3c842c186
RANDOM SEED=71899087

node123.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
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
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
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
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
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
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
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
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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 sep 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 nopl 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 dtherm 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	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm 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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm 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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm 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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm 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:       32770624 kB
MemFree:        32022208 kB
MemAvailable:   32003776 kB
Buffers:           30176 kB
Cached:           264268 kB
SwapCached:            0 kB
Active:           157360 kB
Inactive:         217848 kB
Active(anon):      83992 kB
Inactive(anon):     8616 kB
Active(file):      73368 kB
Inactive(file):   209232 kB
Unevictable:        6268 kB
Mlocked:            6268 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2620 kB
Writeback:             0 kB
AnonPages:        129616 kB
Mapped:            29652 kB
Shmem:              8840 kB
Slab:              60912 kB
SReclaimable:      29608 kB
SUnreclaim:        31304 kB
KernelStack:        4256 kB
PageTables:         5052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     356208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62008 MiB
End job on node123 at 2017-07-21 18:03:57