Trace number 4241941

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 73.6166 73.6247

General information on the benchmark

NameMarketSplit/MarketSplit-m1-gp/
MarketSplit-05.xml
MD5SUMea540cd06a6319d4cfbd19a531a1ad9c
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 benchmark0.56077999
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             39             200            196            0              8              13   25   17   
0.00/0.00	c 20             103            513            448            0              12             18   25   19   
0.00/0.01	c 30             154            753            651            0              15             18   25   19   
0.00/0.01	c 40             198            962            827            0              20             19   24   19   
0.00/0.01	c 50             241            1166           1011           0              23             14   25   19   
0.00/0.01	c 60             283            1365           1187           0              30             17   25   19   
0.00/0.01	c 70             335            1609           1396           0              32             16   25   19   
0.00/0.01	c 80             390            1863           1606           0              36             15   26   20   
0.00/0.01	c 90             462            2199           1879           0              44             13   25   19   
0.00/0.01	c 100            495            2371           2055           0              46             14   22   16   
0.00/0.01	c 101            513            2448           2093           0              47             18   18   9    
0.00/0.01	c 110            545            2608           2257           0              50             14   24   17   
0.00/0.01	c 120            601            2878           2480           0              55             17   25   19   
0.00/0.01	c 130            667            3179           2734           0              63             12   26   19   
0.00/0.01	c 140            711            3409           2930           0              64             18   26   20   
0.00/0.02	c 150            753            3624           3107           0              65             18   26   20   
0.00/0.02	c 160            792            3817           3298           0              75             14   26   17   
0.00/0.02	c 170            843            4059           3496           0              82             19   25   20   
0.00/0.02	c 180            884            4248           3691           0              89             15   25   18   
0.00/0.02	c 190            930            4465           3898           0              91             15   24   17   
0.00/0.02	c 200            976            4685           4111           0              97             13   24   17   
0.00/0.02	c 210            1015           4872           4327           0              101            14   23   15   
0.00/0.02	c 211            1028           4925           4360           0              102            13   13   6    
0.00/0.02	c 220            1081           5170           4565           0              106            15   25   19   
0.00/0.02	c 230            1125           5387           4773           0              112            16   24   17   
0.00/0.02	c 240            1171           5610           4987           0              115            12   23   17   
0.00/0.02	c 250            1212           5811           5185           0              117            15   24   17   
0.00/0.02	c 260            1271           6095           5431           0              124            14   24   19   
0.00/0.02	c 270            1332           6387           5662           0              128            21   24   20   
0.00/0.03	c 280            1380           6632           5864           0              133            14   24   18   
0.00/0.03	c 290            1414           6819           6048           0              142            11   22   15   
0.00/0.03	c 300            1454           7037           6231           0              145            13   23   18   
0.00/0.03	c 310            1497           7249           6417           0              153            17   23   18   
0.00/0.03	c 320            1548           7503           6612           0              156            20   25   20   
0.00/0.03	c 330            1628           7881           6901           0              162            14   25   20   
0.00/0.03	c 332            1644           7955           6953           0              164            14   15   9    
0.00/0.03	c 340            1685           8163           7118           0              165            18   24   19   
0.00/0.03	c 350            1734           8416           7353           0              170            12   23   17   
0.00/0.03	c 360            1795           8722           7607           0              177            12   25   19   
0.00/0.03	c 370            1829           8895           7803           0              180            12   23   16   
0.00/0.03	c 380            1880           9142           8018           0              182            19   26   20   
0.00/0.03	c 390            1946           9455           8257           0              186            20   25   20   
0.00/0.04	c 400            1982           9636           8451           0              191            13   23   16   
0.00/0.04	c 410            2027           9860           8671           0              195            12   22   16   
0.00/0.04	c 420            2064           10045          8873           0              199            13   23   16   
0.00/0.04	c 430            2119           10308          9090           0              202            20   24   20   
0.00/0.04	c 440            2169           10550          9304           0              210            13   24   17   
0.00/0.04	c 450            2212           10755          9501           0              215            17   24   18   
0.00/0.04	c 460            2268           11042          9737           0              217            16   24   19   
0.00/0.04	c 465            2307           11222          9879           0              219            21   23   18   
0.00/0.04	c 470            2336           11361          9992           0              223            11   25   15   
0.00/0.04	c 480            2388           11611          10228          0              228            12   25   18   
0.00/0.04	c 490            2430           11813          10426          0              234            14   23   16   
0.00/0.04	c 500            2488           12095          10673          0              238            12   25   19   
0.00/0.04	c 510            2532           12305          10858          0              240            16   24   18   
0.00/0.04	c 520            2581           12538          11051          0              243            20   24   20   
0.00/0.05	c 530            2618           12741          11235          0              244            17   24   18   
0.00/0.05	c 540            2678           13033          11469          0              252            16   26   19   
0.00/0.05	c 550            2724           13266          11663          0              254            16   25   19   
0.00/0.05	c 560            2777           13549          11882          0              257            19   25   20   
0.00/0.05	c 570            2816           13751          12072          0              261            14   24   18   
0.00/0.05	c 580            2858           13974          12271          0              266            15   23   17   
0.00/0.05	c 590            2908           14243          12475          0              271            14   24   18   
0.00/0.05	c 600            2958           14507          12679          0              274            18   22   18   
0.00/0.05	c 610            3012           14792          12900          0              281            13   22   17   
0.00/0.05	c 611            3023           14841          12927          0              282            11   11   5    
0.00/0.05	c 620            3068           15084          13106          0              284            16   23   18   
0.00/0.05	c 630            3121           15339          13321          0              288            14   25   20   
0.00/0.05	c 640            3184           15659          13569          0              294            12   25   19   
0.00/0.06	c 650            3238           15935          13781          0              301            16   24   19   
0.00/0.06	c 660            3291           16213          14006          0              304            19   24   19   
0.00/0.06	c 670            3323           16379          14185          0              306            13   23   16   
0.00/0.06	c 680            3377           16663          14433          0              311            12   22   17   
0.00/0.06	c 690            3423           16906          14642          0              314            14   25   19   
0.00/0.06	c 700            3466           17135          14861          0              320            12   22   16   
0.00/0.06	c 710            3516           17379          15066          0              328            15   24   18   
0.00/0.06	c 720            3574           17659          15287          0              335            19   26   20   
0.00/0.06	c 730            3617           17871          15477          0              337            19   24   19   
0.00/0.06	c 740            3655           18055          15666          0              340            15   22   16   
0.00/0.06	c 750            3702           18288          15878          0              343            14   26   19   
0.00/0.06	c 760            3743           18502          16076          0              348            15   24   17   
0.00/0.06	c 770            3783           18708          16280          0              352            15   24   17   
0.00/0.06	c 771            3796           18764          16312          0              353            13   13   6    
0.00/0.06	c 780            3835           18951          16480          0              358            17   24   18   
0.00/0.06	c 790            3875           19142          16669          0              365            16   23   17   
0.00/0.07	c 800            3922           19368          16869          0              368            17   24   19   
0.00/0.07	c 810            3968           19598          17070          0              370            18   24   19   
0.00/0.07	c 820            4021           19885          17302          0              374            18   24   19   
0.00/0.07	c 830            4068           20123          17504          0              378            18   25   19   
0.00/0.07	c 840            4105           20319          17665          0              385            15   24   18   
0.00/0.07	c 850            4161           20597          17889          0              391            14   24   19   
0.00/0.07	c 860            4196           20764          18059          0              395            15   24   17   
0.00/0.07	c 870            4262           21072          18294          0              398            19   26   21   
0.00/0.07	c 880            4304           21287          18471          0              399            19   25   20   
0.00/0.07	c 890            4367           21596          18708          0              402            20   26   21   
0.00/0.07	c 900            4435           21927          18972          0              407            17   25   20   
0.00/0.07	c 910            4492           22203          19184          0              410            20   26   20   
0.00/0.07	c 920            4533           22399          19357          0              414            18   24   18   
0.00/0.07	c 930            4587           22669          19577          0              420            14   24   19   
0.00/0.07	c 940            4649           22963          19805          0              424            21   26   21   
0.00/0.08	c 947            4689           23150          19954          0              430            17   25   18   
0.00/0.08	c 950            4711           23252          20020          0              433            18   20   14   
0.00/0.08	c 960            4756           23468          20201          0              436            18   25   19   
0.00/0.08	c 970            4795           23656          20384          0              440            17   23   17   
0.00/0.08	c 980            4838           23863          20599          0              441            14   24   17   
0.00/0.08	c 990            4883           24100          20825          0              443            15   23   17   
0.00/0.08	c 1000           4918           24279          21013          0              449            13   23   16   
0.00/0.08	c 1010           4969           24533          21221          0              456            11   23   17   
0.00/0.08	c 1020           5017           24765          21417          0              460            17   23   18   
0.00/0.08	c 1030           5057           24972          21614          0              469            13   23   16   
0.00/0.08	c 1040           5088           25124          21764          0              479            13   22   15   
0.00/0.08	c 1050           5131           25336          21966          0              481            16   23   18   
0.00/0.08	c 1060           5175           25559          22174          0              483            15   21   17   
0.00/0.08	c 1070           5222           25797          22374          0              489            13   24   18   
0.00/0.08	c 1080           5261           25974          22565          0              494            17   23   17   
0.00/0.08	c 1090           5308           26189          22766          0              501            15   26   19   
0.00/0.08	c 1100           5346           26377          22942          0              506            11   24   17   
0.00/0.09	c 1110           5397           26608          23137          0              513            12   26   19   
0.00/0.09	c 1120           5441           26831          23327          0              520            16   24   18   
0.00/0.09	c 1130           5478           27028          23488          0              526            14   21   17   
0.00/0.09	c 1140           5526           27296          23713          0              531            14   24   17   
0.00/0.09	c 1141           5548           27400          23769          0              532            22   22   11   
0.00/0.09	c 1150           5594           27633          23956          0              537            14   25   18   
0.00/0.09	c 1160           5641           27883          24171          0              541            17   23   18   
0.00/0.09	c 1170           5695           28163          24406          0              544            18   25   19   
0.00/0.09	c 1180           5758           28473          24627          0              548            22   25   21   
0.00/0.09	c 1190           5802           28708          24808          0              552            19   24   19   
0.00/0.09	c 1200           5852           28972          25021          0              561            14   24   18   
0.00/0.09	c 1210           5893           29193          25193          0              564            15   24   19   
0.00/0.09	c 1220           5936           29436          25377          0              568            17   22   17   
0.00/0.09	c 1230           5974           29644          25561          0              571            15   23   17   
0.00/0.09	c 1240           6013           29850          25725          0              575            18   24   19   
0.00/0.09	c 1250           6067           30132          25936          0              580            20   24   20   
0.00/0.09	c 1260           6108           30330          26098          0              582            19   26   20   
0.09/0.10	c 1270           6165           30602          26319          0              587            14   26   20   
0.09/0.10	c 1280           6204           30790          26482          0              588            17   26   19   
0.09/0.10	c 1290           6238           30962          26643          0              590            16   25   18   
0.09/0.10	c 1300           6281           31181          26814          0              596            17   24   19   
0.09/0.10	c 1310           6312           31347          26989          0              597            13   22   15   
0.09/0.10	c 1320           6367           31623          27220          0              605            14   24   18   
0.09/0.10	c 1330           6408           31838          27413          0              612            13   24   17   
0.09/0.10	c 1340           6450           32055          27616          0              621            13   25   16   
0.09/0.10	c 1350           6502           32299          27838          0              628            14   24   18   
0.09/0.10	c 1352           6517           32364          27890          0              630            12   14   8    
0.09/0.10	c 1360           6548           32521          28025          0              631            17   24   18   
0.09/0.10	c 1370           6592           32732          28205          0              636            17   25   19   
0.09/0.10	c 1380           6642           32983          28423          0              639            17   25   18   
0.09/0.10	c 1390           6686           33211          28641          0              640            14   25   17   
0.09/0.10	c 1400           6719           33379          28831          0              642            11   24   17   
0.09/0.10	c 1410           6783           33678          29072          0              647            14   25   19   
0.09/0.10	c 1420           6828           33909          29260          0              650            18   25   19   
0.09/0.10	c 1430           6875           34144          29454          0              653            17   25   19   
0.09/0.11	c 1440           6912           34327          29639          0              660            13   25   17   
0.09/0.11	c 1450           6963           34576          29838          0              664            20   24   19   
0.09/0.11	c 1460           7013           34838          30053          0              666            17   25   19   
0.09/0.11	c 1470           7062           35072          30252          0              672            17   25   19   
0.09/0.11	c 1480           7108           35295          30448          0              678            15   25   19   
0.09/0.11	c 1490           7154           35517          30662          0              683            14   24   18   
0.09/0.11	c 1500           7186           35685          30834          0              684            14   23   16   
0.09/0.11	c 1510           7226           35899          31026          0              689            15   24   17   
0.09/0.11	c 1520           7284           36178          31247          0              696            12   25   19   
0.09/0.11	c 1530           7327           36387          31415          0              702            17   26   20   
0.09/0.11	c 1540           7374           36608          31605          0              707            19   26   20   
0.09/0.11	c 1550           7420           36835          31801          0              709            16   25   19   
0.09/0.11	c 1560           7464           37073          32005          0              711            16   25   18   
0.09/0.11	c 1570           7502           37270          32201          0              718            12   24   16   
0.09/0.11	c 1580           7572           37613          32454          0              722            21   25   20   
0.09/0.11	c 1585           7603           37773          32565          0              725            15   22   16   
0.09/0.11	c 1590           7646           37980          32699          0              730            20   24   18   
0.09/0.12	c 1600           7701           38259          32918          0              735            16   24   19   
0.09/0.12	c 1610           7749           38479          33152          0              737            15   24   18   
0.09/0.12	c 1620           7791           38679          33360          0              740            16   24   18   
0.09/0.12	c 1630           7826           38856          33535          0              747            15   24   17   
0.09/0.12	c 1640           7869           39063          33731          0              749            15   26   19   
0.09/0.12	c 1650           7914           39291          33923          0              755            14   24   17   
0.09/0.12	c 1660           7961           39521          34138          0              761            16   25   18   
0.09/0.12	c 1670           8011           39756          34346          0              768            14   25   18   
0.09/0.12	c 1680           8052           39968          34525          0              777            16   24   18   
0.09/0.12	c 1690           8096           40196          34738          0              781            15   24   17   
0.09/0.12	c 1700           8135           40396          34926          0              788            15   25   17   
0.09/0.12	c 1710           8183           40633          35120          0              793            17   25   19   
0.09/0.12	c 1720           8227           40852          35296          0              797            13   25   19   
0.09/0.12	c 1730           8274           41084          35497          0              802            17   23   18   
0.09/0.12	c 1740           8314           41290          35687          0              806            13   26   18   
0.09/0.12	c 1750           8347           41465          35863          0              808            13   24   17   
0.09/0.12	c 1760           8402           41738          36078          0              810            18   25   20   
0.09/0.12	c 1770           8456           41993          36298          0              815            13   25   19   
0.09/0.12	c 1780           8500           42196          36476          0              821            18   25   19   
0.09/0.13	c 1790           8543           42414          36671          0              824            16   25   18   
0.09/0.13	c 1800           8590           42635          36858          0              828            19   26   19   
0.09/0.13	c 1810           8627           42819          37037          0              833            13   25   17   
0.09/0.13	c 1820           8675           43043          37261          0              835            17   24   19   
0.09/0.13	c 1830           8718           43259          37451          0              841            13   26   17   
0.09/0.13	c 1840           8763           43475          37654          0              848            14   25   18   
0.09/0.13	c 1841           8786           43568          37696          0              849            23   23   11   
0.09/0.13	c 1850           8834           43794          37877          0              853            20   25   20   
0.09/0.13	c 1860           8887           44053          38095          0              854            16   25   20   
0.09/0.13	c 1870           8949           44350          38331          0              862            17   25   19   
0.09/0.13	c 1880           8996           44616          38533          0              864            14   23   17   
0.09/0.13	c 1890           9047           44870          38751          0              868            13   24   19   
0.09/0.13	c 1900           9096           45101          38972          0              875            13   24   17   
0.09/0.13	c 1910           9137           45302          39169          0              883            15   23   17   
0.09/0.13	c 1920           9179           45503          39352          0              888            13   25   18   
0.09/0.13	c 1930           9239           45781          39567          0              893            14   26   20   
0.09/0.13	c 1940           9288           46008          39763          0              898            15   26   19   
0.09/0.13	c 1950           9341           46252          39969          0              901            18   26   20   
0.09/0.13	c 1960           9387           46465          40156          0              903            18   25   19   
0.09/0.14	c 1970           9438           46718          40370          0              911            14   25   18   
0.09/0.14	c 1980           9485           46935          40568          0              912            17   26   20   
0.09/0.14	c 1990           9526           47137          40767          0              922            14   25   17   
0.09/0.14	c 2000           9594           47453          41023          0              926            22   25   21   
0.09/0.14	c 2010           9640           47677          41216          0              927            17   26   20   
0.09/0.14	c 2020           9679           47891          41405          0              929            11   24   17   
0.09/0.14	c 2030           9722           48110          41581          0              936            16   26   19   
0.09/0.14	c 2040           9765           48337          41777          0              939            12   23   18   
0.09/0.14	c 2050           9812           48579          41980          0              946            15   24   18   
0.09/0.14	c 2060           9882           48921          42232          0              954            19   24   19   
0.09/0.14	c 2070           9943           49206          42461          0              960            13   25   19   
0.09/0.14	c 2080           9995           49449          42685          0              968            16   24   18   
0.09/0.14	c 2090           10035          49639          42865          0              976            13   25   17   
0.09/0.14	c 2100           10071          49815          43034          0              977            17   25   19   
0.09/0.14	c 2110           10118          50039          43217          0              979            18   26   20   
0.09/0.14	c 2120           10156          50233          43392          0              986            13   23   16   
0.09/0.14	c 2122           10172          50305          43443          0              988            14   15   9    
0.09/0.14	c 2130           10216          50506          43608          0              993            15   25   19   
0.09/0.14	c 2140           10266          50746          43826          0              999            13   23   18   
0.09/0.15	c 2150           10307          50948          44003          0              1001           18   26   20   
0.09/0.15	c 2160           10354          51200          44205          0              1004           17   25   19   
0.09/0.15	c 2170           10411          51483          44424          0              1009           20   25   20   
0.09/0.15	c 2180           10458          51719          44609          0              1014           20   24   20   
0.09/0.15	c 2190           10507          51966          44810          0              1018           15   25   19   
0.09/0.15	c 2200           10568          52283          45042          0              1022           21   24   20   
0.09/0.15	c 2210           10614          52526          45223          0              1029           17   24   19   
0.09/0.15	c 2220           10667          52784          45441          0              1036           12   24   18   
0.09/0.15	c 2230           10699          52942          45619          0              1044           13   23   16   
0.09/0.15	c 2240           10746          53168          45817          0              1048           15   24   19   
0.09/0.15	c 2250           10789          53375          46016          0              1054           14   23   17   
0.09/0.15	c 2260           10838          53614          46244          0              1061           12   23   17   
0.09/0.15	c 2270           10877          53808          46435          0              1064           12   21   16   
0.09/0.15	c 2280           10912          53977          46622          0              1071           13   22   16   
0.09/0.15	c 2290           10957          54198          46823          0              1078           14   24   17   
0.09/0.15	c 2300           11009          54458          47061          0              1081           16   23   18   
0.09/0.15	c 2310           11046          54638          47256          0              1091           13   24   16   
0.09/0.15	c 2320           11084          54831          47432          0              1093           17   25   18   
0.09/0.15	c 2330           11135          55083          47648          0              1096           15   24   19   
0.09/0.16	c 2340           11195          55362          47855          0              1101           21   26   21   
0.09/0.16	c 2350           11247          55616          48076          0              1109           13   25   17   
0.09/0.16	c 2360           11287          55812          48266          0              1117           12   23   17   
0.09/0.16	c 2370           11325          56001          48447          0              1126           14   25   17   
0.09/0.16	c 2380           11371          56222          48647          0              1130           13   24   18   
0.09/0.16	c 2390           11420          56472          48878          0              1132           15   24   18   
0.09/0.16	c 2400           11480          56762          49130          0              1136           17   25   19   
0.09/0.16	c 2410           11525          56970          49307          0              1141           19   24   19   
0.09/0.16	c 2420           11561          57174          49496          0              1142           15   25   17   
0.09/0.16	c 2430           11611          57419          49711          0              1146           14   25   19   
0.09/0.16	c 2431           11623          57471          49743          0              1147           12   12   6    
0.09/0.16	c 2440           11667          57683          49927          0              1149           19   24   19   
0.09/0.16	c 2450           11700          57847          50101          0              1157           14   24   17   
0.09/0.16	c 2460           11745          58074          50293          0              1164           15   24   18   
0.09/0.16	c 2470           11799          58352          50521          0              1167           17   24   18   
0.09/0.16	c 2480           11849          58600          50752          0              1171           11   24   17   
0.09/0.16	c 2490           11897          58847          50953          0              1177           13   26   19   
0.09/0.16	c 2500           11949          59109          51181          0              1178           15   25   19   
0.09/0.16	c 2510           11986          59299          51369          0              1181           14   24   17   
0.09/0.16	c 2520           12018          59478          51557          0              1183           11   23   15   
0.09/0.17	c 2530           12075          59758          51793          0              1185           20   25   20   
0.09/0.17	c 2540           12133          60043          52016          0              1192           17   25   20   
0.09/0.17	c 2550           12187          60319          52238          0              1196           12   23   18   
0.09/0.17	c 2560           12234          60546          52448          0              1200           13   25   19   
0.09/0.17	c 2570           12281          60791          52660          0              1202           16   24   18   
0.09/0.17	c 2580           12315          60966          52834          0              1203           16   25   18   
0.09/0.17	c 2590           12371          61233          53049          0              1209           19   25   20   
0.09/0.17	c 2600           12412          61438          53240          0              1217           12   23   18   
0.09/0.17	c 2610           12452          61636          53414          0              1221           18   25   19   
0.09/0.17	c 2620           12504          61889          53628          0              1226           19   24   19   
0.09/0.17	c 2630           12555          62126          53849          0              1234           13   25   18   
0.09/0.17	c 2640           12606          62379          54088          0              1240           11   25   17   
0.09/0.17	c 2650           12659          62635          54306          0              1249           12   26   17   
0.09/0.17	c 2660           12700          62844          54513          0              1250           14   25   17   
0.09/0.17	c 2670           12747          63073          54735          0              1254           11   22   16   
0.09/0.17	c 2680           12782          63252          54937          0              1255           14   24   17   
0.09/0.17	c 2690           12831          63487          55166          0              1264           12   24   16   
0.09/0.17	c 2700           12875          63715          55379          0              1269           16   23   16   
0.09/0.17	c 2710           12924          63956          55598          0              1277           13   24   17   
0.09/0.17	c 2720           12972          64219          55803          0              1282           14   23   18   
0.09/0.17	c 2730           13016          64455          56009          0              1285           15   23   17   
0.09/0.18	c 2740           13053          64650          56209          0              1287           14   24   17   
0.09/0.18	c 2750           13090          64837          56406          0              1294           12   22   15   
0.09/0.18	c 2760           13129          65028          56610          0              1298           13   22   16   
0.09/0.18	c 2770           13173          65256          56819          0              1302           11   22   16   
0.09/0.18	c 2771           13190          65331          56857          0              1303           17   17   8    
0.09/0.18	c 2780           13223          65498          57025          0              1312           12   22   14   
0.09/0.18	c 2790           13259          65698          57242          0              1314           12   21   14   
0.09/0.18	c 2800           13302          65917          57441          0              1317           12   24   18   
0.09/0.18	c 2810           13342          66116          57632          0              1326           14   23   17   
0.09/0.18	c 2820           13386          66333          57837          0              1329           12   24   18   
0.09/0.18	c 2830           13434          66577          58044          0              1335           14   24   18   
0.09/0.18	c 2840           13483          66807          58267          0              1341           15   24   18   
0.09/0.18	c 2850           13522          66999          58460          0              1342           15   24   18   
0.09/0.18	c 2860           13556          67164          58642          0              1343           15   24   17   
0.09/0.18	c 2870           13587          67307          58820          0              1353           12   22   15   
0.09/0.18	c 2880           13641          67576          59052          0              1357           11   24   19   
0.09/0.18	c 2890           13696          67852          59273          0              1362           20   24   20   
0.09/0.18	c 2900           13737          68059          59462          0              1365           16   25   18   
0.09/0.18	c 2910           13777          68255          59654          0              1372           15   23   17   
0.09/0.18	c 2920           13827          68498          59866          0              1377           12   23   18   
0.09/0.18	c 2930           13862          68685          60052          0              1378           14   24   17   
0.09/0.18	c 2940           13903          68916          60242          0              1386           12   23   17   
0.09/0.18	c 2950           13955          69180          60465          0              1391           18   25   19   
0.09/0.18	c 2960           14002          69425          60680          0              1395           13   25   18   
0.09/0.19	c 2970           14049          69655          60877          0              1399           18   25   19   
0.09/0.19	c 2980           14091          69862          61058          0              1401           20   25   20   
0.09/0.19	c 2990           14125          70036          61239          0              1411           14   25   17   
0.09/0.19	c 3000           14172          70267          61433          0              1417           14   24   18   
0.09/0.19	c 3010           14228          70525          61652          0              1421           20   24   20   
0.09/0.19	c 3020           14266          70709          61862          0              1422           14   25   17   
0.09/0.19	c 3030           14304          70890          62034          0              1425           16   25   18   
0.09/0.19	c 3040           14343          71075          62221          0              1428           14   24   17   
0.09/0.19	c 3050           14390          71300          62426          0              1431           16   23   18   
0.09/0.19	c 3060           14430          71495          62634          0              1436           15   23   16   
0.09/0.19	c 3070           14471          71688          62837          0              1439           14   23   17   
0.09/0.19	c 3080           14511          71883          63033          0              1449           13   24   16   
0.09/0.19	c 3090           14565          72144          63257          0              1455           13   24   18   
0.09/0.19	c 3100           14609          72368          63466          0              1459           13   23   17   
0.09/0.19	c 3110           14666          72647          63698          0              1463           17   24   18   
0.09/0.19	c 3120           14698          72800          63859          0              1473           13   23   16   
0.09/0.19	c 3130           14738          72999          64039          0              1482           12   24   17   
0.09/0.19	c 3140           14783          73226          64248          0              1490           11   24   17   
0.09/0.19	c 3142           14804          73323          64303          0              1492           14   20   11   
0.09/0.19	c 3150           14842          73515          64482          0              1497           12   23   16   
0.09/0.19	c 3160           14890          73750          64693          0              1506           14   25   18   
0.09/0.19	c 3170           14926          73947          64877          0              1507           15   23   17   
0.09/0.19	c 3180           14965          74138          65070          0              1511           15   24   17   
0.09/0.19	c 3190           15032          74469          65328          0              1518           12   25   19   
0.09/0.20	c 3200           15068          74656          65512          0              1525           13   24   16   
0.19/0.20	c 3210           15124          74916          65716          0              1528           22   26   21   
0.19/0.20	c 3220           15159          75082          65889          0              1531           15   24   17   
0.19/0.20	c 3230           15196          75258          66044          0              1537           17   25   19   
0.19/0.20	c 3240           15246          75487          66232          0              1541           14   24   19   
0.19/0.20	c 3250           15279          75644          66409          0              1542           15   24   17   
0.19/0.20	c 3260           15355          75992          66676          0              1549           13   26   20   
0.19/0.20	c 3270           15397          76209          66864          0              1552           15   22   17   
0.19/0.20	c 3280           15435          76402          67060          0              1553           15   26   18   
0.19/0.20	c 3290           15489          76655          67258          0              1560           20   26   21   
0.19/0.20	c 3300           15522          76831          67429          0              1563           14   24   17   
0.19/0.20	c 3310           15578          77089          67644          0              1567           15   25   20   
0.19/0.20	c 3320           15643          77393          67878          0              1570           20   26   21   
0.19/0.20	c 3330           15692          77621          68086          0              1575           14   25   19   
0.19/0.20	c 3340           15732          77813          68261          0              1583           16   25   19   
0.19/0.20	c 3350           15785          78065          68462          0              1587           20   25   20   
0.19/0.20	c 3360           15835          78307          68674          0              1592           13   24   18   
0.19/0.20	c 3370           15891          78558          68871          0              1598           18   27   21   
0.19/0.20	c 3380           15951          78847          69086          0              1603           19   25   20   
0.19/0.20	c 3390           15985          79016          69255          0              1604           15   25   18   
0.19/0.20	c 3400           16036          79257          69463          0              1611           14   25   19   
0.19/0.20	c 3410           16070          79425          69619          0              1612           15   25   18   
0.19/0.20	c 3420           16131          79714          69863          0              1619           13   24   18   
0.19/0.21	c 3430           16169          79896          70054          0              1626           14   23   17   
0.19/0.21	c 3440           16217          80129          70272          0              1632           12   24   17   
0.19/0.21	c 3450           16253          80304          70415          0              1640           16   24   18   
0.19/0.21	c 3460           16298          80524          70607          0              1642           20   24   20   
0.19/0.21	c 3470           16338          80715          70793          0              1647           18   23   18   
0.19/0.21	c 3480           16379          80923          70987          0              1651           17   23   18   
0.19/0.21	c 3490           16412          81085          71160          0              1652           15   24   17   
0.19/0.21	c 3500           16461          81324          71405          0              1654           12   22   15   
0.19/0.21	c 3510           16500          81508          71593          0              1656           16   24   18   
0.19/0.21	c 3520           16542          81715          71795          0              1662           13   25   17   
0.19/0.21	c 3530           16579          81908          71975          0              1666           14   24   17   
0.19/0.21	c 3540           16630          82165          72199          0              1670           13   25   19   
0.19/0.21	c 3550           16677          82393          72410          0              1678           14   24   18   
0.19/0.21	c 3551           16690          82451          72443          0              1679           13   13   6    
0.19/0.21	c 3560           16731          82656          72625          0              1681           17   23   18   
0.19/0.21	c 3570           16771          82856          72813          0              1687           11   24   17   
0.19/0.21	c 3580           16819          83114          73029          0              1689           16   23   18   
0.19/0.21	c 3590           16859          83320          73208          0              1692           16   23   17   
0.19/0.21	c 3600           16903          83529          73424          0              1698           14   24   17   
0.19/0.21	c 3610           16933          83682          73606          0              1708           12   21   15   
0.19/0.21	c 3620           16987          83945          73824          0              1711           19   24   20   
0.19/0.21	c 3630           17020          84114          74024          0              1713           14   22   16   
0.19/0.21	c 3640           17051          84274          74223          0              1714           13   22   15   
0.19/0.21	c 3650           17096          84506          74423          0              1717           12   23   18   
0.19/0.22	c 3660           17145          84757          74622          0              1721           13   24   17   
0.19/0.22	c 3670           17189          84976          74806          0              1726           16   24   19   
0.19/0.22	c 3680           17255          85295          75052          0              1732           16   25   20   
0.19/0.22	c 3690           17298          85531          75240          0              1740           12   25   17   
0.19/0.22	c 3700           17345          85780          75440          0              1742           17   24   19   
0.19/0.22	c 3710           17395          86019          75650          0              1748           17   25   19   
0.19/0.22	c 3720           17433          86215          75819          0              1754           12   25   18   
0.19/0.22	c 3730           17487          86493          76049          0              1758           13   25   18   
0.19/0.22	c 3740           17535          86733          76256          0              1764           15   25   18   
0.19/0.22	c 3750           17582          86950          76434          0              1772           16   26   19   
0.19/0.22	c 3760           17624          87158          76610          0              1777           14   25   19   
0.19/0.22	c 3770           17657          87322          76785          0              1782           14   24   17   
0.19/0.22	c 3780           17703          87539          76959          0              1787           20   26   20   
0.19/0.22	c 3790           17749          87754          77144          0              1789           18   24   19   
0.19/0.22	c 3800           17796          87982          77352          0              1795           14   25   18   
0.19/0.22	c 3810           17837          88177          77527          0              1803           16   25   19   
0.19/0.22	c 3820           17881          88391          77707          0              1809           19   24   19   
0.19/0.22	c 3830           17913          88550          77872          0              1819           14   23   16   
0.19/0.22	c 3840           17960          88785          78068          0              1825           15   25   19   
0.19/0.22	c 3850           17998          88984          78252          0              1830           14   23   17   
0.19/0.22	c 3860           18042          89203          78459          0              1831           15   24   18   
0.19/0.22	c 3870           18089          89439          78667          0              1833           15   24   17   
0.19/0.22	c 3880           18129          89643          78861          0              1840           12   24   17   
0.19/0.23	c 3890           18167          89843          79030          0              1845           16   23   18   
0.19/0.23	c 3900           18217          90108          79229          0              1847           17   24   19   
0.19/0.23	c 3910           18266          90357          79416          0              1851           19   23   19   
0.19/0.23	c 3920           18329          90661          79658          0              1856           16   25   20   
0.19/0.23	c 3930           18374          90885          79863          0              1862           15   25   18   
0.19/0.23	c 3940           18407          91049          80039          0              1871           14   24   17   
0.19/0.23	c 3950           18450          91253          80237          0              1878           13   26   18   
0.19/0.23	c 3960           18502          91504          80447          0              1884           17   25   19   
0.19/0.23	c 3970           18548          91740          80643          0              1887           14   25   20   
0.19/0.23	c 3980           18585          91933          80818          0              1889           12   26   18   
0.19/0.23	c 3990           18622          92117          81024          0              1890           13   21   16   
0.19/0.23	c 4000           18681          92398          81247          0              1892           19   26   21   
0.19/0.23	c 4001           18694          92453          81279          0              1893           13   13   6    
0.19/0.23	c 4010           18750          92739          81502          0              1895           20   25   20   
0.19/0.23	c 4020           18795          92964          81694          0              1897           16   25   18   
0.19/0.23	c 4030           18839          93196          81892          0              1899           17   24   18   
0.19/0.23	c 4040           18888          93444          82081          0              1907           17   25   19   
0.19/0.23	c 4050           18958          93779          82341          0              1912           20   26   20   
0.19/0.23	c 4060           19001          93979          82519          0              1919           17   26   19   
0.19/0.23	c 4070           19047          94208          82724          0              1921           17   26   19   
0.19/0.23	c 4080           19101          94471          82924          0              1924           21   25   20   
0.19/0.23	c 4090           19154          94731          83137          0              1931           14   25   18   
0.19/0.24	c 4100           19210          95017          83346          0              1936           18   26   21   
0.19/0.24	c 4110           19253          95235          83546          0              1940           12   25   18   
0.19/0.24	c 4120           19293          95427          83744          0              1943           13   25   17   
0.19/0.24	c 4130           19330          95618          83927          0              1945           13   24   18   
0.19/0.24	c 4140           19381          95861          84135          0              1947           18   25   20   
0.19/0.24	c 4150           19431          96113          84346          0              1950           18   24   19   
0.19/0.24	c 4160           19472          96328          84522          0              1957           17   23   18   
0.19/0.24	c 4170           19522          96589          84723          0              1960           18   24   19   
0.19/0.24	c 4180           19562          96802          84893          0              1968           15   24   18   
0.19/0.24	c 4190           19609          97043          85115          0              1975           13   24   17   
0.19/0.24	c 4200           19662          97292          85336          0              1977           14   26   19   
0.19/0.24	c 4210           19705          97521          85526          0              1984           15   24   18   
0.19/0.24	c 4220           19740          97704          85727          0              1988           12   23   16   
0.19/0.24	c 4230           19777          97897          85910          0              1991           14   22   17   
0.19/0.24	c 4240           19823          98131          86099          0              1997           16   24   19   
0.19/0.24	c 4250           19869          98360          86288          0              2001           16   24   19   
0.19/0.24	c 4260           19916          98603          86497          0              2007           15   24   18   
0.19/0.24	c 4270           19986          98946          86779          0              2013           11   23   18   
0.19/0.24	c 4280           20034          99173          87000          0              2021           12   24   17   
0.19/0.24	c 4290           20083          99407          87195          0              2027           16   26   19   
0.19/0.24	c 4300           20131          99643          87386          0              2030           18   23   18   
0.19/0.25	c 4310           20174          99854          87578          0              2033           14   23   18   
0.19/0.25	c 4320           20218          100080         87766          0              2035           18   24   19   
0.19/0.25	c 4330           20266          100320         87985          0              2044           12   24   17   
0.19/0.25	c 4340           20311          100558         88187          0              2048           15   24   17   
0.19/0.25	c 4350           20356          100772         88370          0              2056           17   25   19   
0.19/0.25	c 4360           20412          101040         88609          0              2058           13   26   19   
0.19/0.25	c 4370           20466          101301         88824          0              2063           14   24   19   
0.19/0.25	c 4380           20502          101484         89013          0              2071           13   24   16   
0.19/0.25	c 4390           20540          101672         89190          0              2081           14   25   17   
0.19/0.25	c 4400           20580          101879         89384          0              2082           15   24   18   
0.19/0.25	c 4410           20625          102107         89561          0              2089           16   25   19   
0.19/0.25	c 4420           20678          102366         89771          0              2098           17   25   19   
0.19/0.25	c 4430           20734          102651         89993          0              2101           21   24   20   
0.19/0.25	c 4440           20770          102823         90170          0              2109           15   24   17   
0.19/0.25	c 4450           20810          103034         90353          0              2112           18   24   18   
0.19/0.25	c 4460           20861          103266         90562          0              2118           14   27   19   
0.19/0.25	c 4470           20916          103546         90773          0              2122           13   25   19   
0.19/0.25	c 4480           20953          103718         90955          0              2126           17   23   17   
0.19/0.25	c 4490           21007          103997         91188          0              2132           12   24   18   
0.19/0.25	c 4493           21027          104083         91260          0              2135           16   18   12   
0.19/0.25	c 4500           21078          104319         91430          0              2138           21   25   20   
0.19/0.25	c 4510           21122          104541         91616          0              2143           19   25   19   
0.19/0.26	c 4520           21172          104774         91818          0              2145           21   25   21   
0.19/0.26	c 4530           21219          104998         92017          0              2149           17   25   18   
0.19/0.26	c 4540           21257          105195         92206          0              2153           15   24   17   
0.19/0.26	c 4550           21287          105376         92376          0              2163           11   21   14   
0.19/0.26	c 4560           21344          105644         92589          0              2170           18   26   20   
0.19/0.26	c 4570           21382          105831         92785          0              2179           13   25   16   
0.19/0.26	c 4580           21434          106089         92998          0              2184           18   24   19   
0.19/0.26	c 4590           21469          106269         93182          0              2188           13   22   15   
0.19/0.26	c 4600           21517          106505         93392          0              2190           16   26   18   
0.19/0.26	c 4610           21574          106777         93630          0              2195           12   26   19   
0.19/0.26	c 4620           21617          106982         93824          0              2202           17   24   18   
0.19/0.26	c 4630           21666          107213         94048          0              2207           12   23   18   
0.19/0.26	c 4640           21697          107372         94231          0              2213           11   22   15   
0.19/0.26	c 4650           21744          107592         94428          0              2215           18   25   20   
0.19/0.26	c 4660           21787          107801         94611          0              2220           15   26   19   
0.19/0.26	c 4670           21829          108000         94792          0              2227           12   26   19   
0.19/0.26	c 4680           21876          108221         95008          0              2231           16   25   17   
0.19/0.26	c 4690           21916          108423         95211          0              2235           14   24   17   
0.19/0.26	c 4700           21959          108632         95399          0              2238           17   25   19   
0.19/0.26	c 4710           22016          108899         95607          0              2243           16   26   20   
0.19/0.26	c 4720           22056          109099         95793          0              2248           16   25   19   
0.19/0.26	c 4730           22097          109323         95979          0              2253           15   25   17   
0.19/0.26	c 4740           22130          109503         96129          0              2263           13   24   16   
0.19/0.27	c 4750           22175          109738         96325          0              2268           15   26   18   
0.19/0.27	c 4760           22206          109905         96491          0              2274           12   22   15   
0.19/0.27	c 4770           22257          110146         96705          0              2277           16   24   18   
0.19/0.27	c 4780           22298          110352         96901          0              2287           14   25   17   
0.19/0.27	c 4790           22353          110605         97123          0              2293           18   25   19   
0.19/0.27	c 4800           22389          110788         97306          0              2299           14   23   17   
0.19/0.27	c 4810           22434          110998         97499          0              2304           15   25   19   
0.19/0.27	c 4820           22478          111203         97679          0              2310           19   24   19   
0.19/0.27	c 4830           22528          111458         97891          0              2315           13   24   18   
0.19/0.27	c 4840           22585          111727         98109          0              2319           21   25   21   
0.19/0.27	c 4850           22643          112008         98345          0              2325           14   25   20   
0.19/0.27	c 4860           22681          112205         98523          0              2330           11   23   17   
0.19/0.27	c 4870           22725          112427         98718          0              2336           17   22   18   
0.19/0.27	c 4880           22774          112664         98938          0              2340           16   24   17   
0.19/0.27	c 4890           22815          112868         99146          0              2346           12   24   16   
0.19/0.27	c 4900           22865          113102         99373          0              2348           17   24   19   
0.19/0.27	c 4910           22907          113302         99548          0              2353           12   24   18   
0.19/0.27	c 4920           22946          113489         99739          0              2355           14   22   16   
0.19/0.27	c 4930           23002          113752         99971          0              2359           12   25   19   
0.19/0.27	c 4940           23053          113998         100167         0              2360           17   25   20   
0.19/0.27	c 4950           23095          114195         100348         0              2364           17   25   18   
0.19/0.27	c 4960           23152          114462         100596         0              2368           14   25   19   
0.19/0.28	c 4970           23198          114688         100788         0              2371           16   27   20   
0.19/0.28	c 4980           23230          114880         100975         0              2372           13   21   15   
0.19/0.28	c 4990           23279          115111         101175         0              2378           14   25   19   
0.19/0.28	c 5035           23426          115935         101932         0              2382           15   26   21   
0.29/0.30	c 5631           25614          128768         113451         0              2392           10   27   21   
0.29/0.32	c 6286           27899          141672         125477         0              2400           12   27   21   
0.29/0.35	c 7006           30482          155845         138775         0              2411           12   27   22   
0.29/0.37	c 7798           33114          170921         153144         0              2420           12   26   21   
0.39/0.40	c 8669           36315          188289         169701         0              2428           13   26   21   
0.39/0.43	c 9627           39765          206996         187460         0              2439           11   27   22   
0.39/0.47	c 10680          43351          227469         207218         0              2442           12   26   21   
0.49/0.51	c 11838          47461          250062         228860         0              2452           13   27   22   
0.49/0.55	c 13111          51987          275411         252770         0              2460           12   26   22   
0.59/0.60	c 14511          57197          304291         279141         0              2466           11   27   22   
0.59/0.65	c 16051          62740          334246         308209         0              2475           12   27   21   
0.69/0.71	c 17745          68753          366893         339280         0              2486           12   27   22   
0.69/0.77	c 19608          75293          401616         373933         0              2497           10   27   21   
0.79/0.84	c 21657          82397          441419         411986         0              2507           10   26   21   
0.89/0.91	c 23910          90272          484464         454419         0              2514           11   26   21   
0.89/0.99	c 26388          98907          531041         499862         0              2524           10   26   22   
0.99/1.07	c 29113          108473         581147         549362         0              2533           12   27   22   
1.10/1.17	c 32110          119025         638019         604646         0              2544           10   27   22   
1.20/1.28	c 35406          130511         703599         666121         0              2555           11   27   22   
1.39/1.40	c 39031          142588         773489         732696         0              2564           11   27   21   
1.49/1.52	c 43018          156358         846070         804392         0              2576           13   27   22   
1.59/1.65	c 47403          171423         925988         883608         0              2582           13   27   22   
1.79/1.80	c 52226          188335         1016267        974503         0              2591           12   27   22   
1.89/1.97	c 57531          206010         1114303        1072771        0              2602           12   27   22   
2.09/2.16	c 63366          226138         1224690        1185277        0              2611           11   27   22   
2.30/2.36	c 69784          247764         1342714        1307770        0              2622           11   27   21   
2.49/2.58	c 76843          271840         1473323        1439720        0              2630           12   27   22   
2.79/2.83	c 84607          298547         1619734        1585575        0              2637           12   27   22   
3.09/3.11	c 93147          327721         1785292        1745796        0              2648           11   26   22   
3.40/3.43	c 102541         360488         1970905        1924533        0              2653           12   27   22   
3.69/3.76	c 112874         395974         2169448        2117052        0              2664           10   27   22   
4.09/4.15	c 124240         435031         2394730        2332334        0              2673           12   27   21   
4.50/4.56	c 136742         477740         2638356        2564088        0              2684           12   27   22   
4.99/5.00	c 150494         524920         2902366        2821033        0              2691           11   27   22   
5.39/5.50	c 165621         576819         3196340        3108178        0              2698           12   27   22   
5.99/6.05	c 182260         635103         3526768        3433171        0              2707           11   27   22   
6.60/6.67	c 200562         699605         3890108        3789668        0              2715           12   27   22   
7.29/7.32	c 220694         768972         4283398        4172877        0              2722           13   27   22   
7.99/8.07	c 242839         846620         4731206        4600600        0              2734           12   27   22   
8.80/8.89	c 267198         931682         5222751        5070623        0              2742           12   27   22   
9.79/9.82	c 293992         1024441        5768526        5591232        0              2753           11   27   22   
10.79/10.80	c 323465         1127076        6360938        6158183        0              2763           12   28   22   
11.79/11.89	c 355885         1240148        7015498        6788657        0              2774           11   27   22   
12.99/13.07	c 391547         1363668        7715314        7477154        0              2782           12   27   22   
14.30/14.37	c 430775         1498509        8487537        8238153        0              2791           13   27   22   
15.69/15.77	c 473925         1646955        9329423        9063397        0              2800           11   28   22   
17.29/17.30	c 521390         1810750        10241933       9968614        0              2811           12   28   22   
18.99/19.04	c 573601         1993467        11271743       10990707       0              2824           11   27   22   
20.90/20.94	c 631033         2193662        12401305       12099645       0              2835           10   28   22   
22.99/23.02	c 694208         2414521        13642504       13320063       0              2845           11   28   22   
25.30/25.33	c 763700         2656604        15032990       14669333       0              2859           7   27   22    
27.89/27.93	c 840141         2925847        16573985       16177626       0              2870           9   28   22    
30.80/30.83	c 924226         3223495        18309570       17834755       0              2877           11   27   22   
33.99/34.02	c 1016719        3548149        20198483       19674190       0              2887           8   27   22    
37.39/37.44	c 1118461        3906680        22252216       21695793       0              2894           11   28   22   
41.09/41.18	c 1230377        4294492        24476410       23892438       0              2903           10   28   22   
45.19/45.28	c 1353484        4724630        26935313       26294222       0              2915           10   27   22   
48.99/49.03	conflict 6lvl : 23 bt23-59:0(10)X54802
49.89/49.90	c 1488901        5203709        29708519       29004516       0              2926           12   27   22   
51.49/51.56	conflict 5lvl : 22 bt22-1:0(9)X54990
54.89/54.91	c 1637859        5725051        32719399       31946932       0              2936           8   27   22    
60.39/60.48	c 1801712        6302300        36070815       35238910       0              2948           10   28   22   
64.29/64.38	conflict 5lvl : 23 bt23-5:0(9)X55321
66.48/66.52	c 1981950        6933722        39691848       38853729       0              2959           12   27   22   
73.08/73.16	c 2180211        7634455        43675727       42867841       0              2969           13   28   23   
73.58/73.62	c solution 1
73.58/73.62	
73.58/73.62	v <instantiation type='solution'>
73.58/73.62	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>
73.58/73.62	v <values>1 0 0 0 1 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 1 </values>
73.58/73.62	v </instantiation>
73.58/73.62	
73.58/73.62	c restarts              : 580         
73.58/73.62	c conflicts             : 2193936      (29804 /sec)
73.58/73.62	c decisions             : 7682060      (104357 /sec)
73.58/73.62	c propagations          : 43143943    (586089 /sec)
73.58/73.62	c root propagations     : 0           
73.58/73.62	c filter calls          : 43947455       (597004 /sec)
73.58/73.62	c useless filter calls  : 36022028       (81 %)
73.58/73.62	c
73.58/73.62	c clauses               : 3029
73.58/73.62	c SAT propagations      : 2450
73.58/73.62	c SAT conflicts         : 3064 (3 learnts)
73.58/73.62	c Memory used           : 30.88 MB
73.58/73.62	c CPU time              : 73.6132 s
73.58/73.62	
73.58/73.62	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-4241941-1500652993/watcher-4241941-1500652993 -o /tmp/evaluation-result-4241941-1500652993/solver-4241941-1500652993 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500648178-9871 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241941-1500652993.xml 

pid=10985
running on 8 cores: 1,3,5,7,9,11,13,15

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.02 2.03 1.99 3/245 10988
/proc/meminfo: memFree=32030960/32770624 swapFree=5956/189352
[pid=10988] ppid=10985 vsize=31348 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 1035 0 0 0 1 0 0 0 20 0 1 0 568426 32100352 832 33554432000 4194304 5970956 140730374279520 140730374276856 5337412 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7837 832 740 434 0 1201 0

[startup+0.100151 s]
/proc/loadavg: 2.02 2.03 1.99 3/245 10988
/proc/meminfo: memFree=32030960/32770624 swapFree=5956/189352
[pid=10988] ppid=10985 vsize=31348 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 1054 0 0 0 9 0 0 0 20 0 1 0 568426 32100352 832 33554432000 4194304 5970956 140730374279520 140730374276856 139857807699040 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7837 832 740 434 0 1201 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31348

[startup+0.200278 s]
/proc/loadavg: 2.02 2.03 1.99 3/245 10988
/proc/meminfo: memFree=32030960/32770624 swapFree=5956/189352
[pid=10988] ppid=10985 vsize=31480 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 1087 0 0 0 19 0 0 0 20 0 1 0 568426 32235520 898 33554432000 4194304 5970956 140730374279520 140730374276856 139857807699040 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7870 898 779 434 0 1234 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31480

[startup+0.300263 s]
/proc/loadavg: 2.02 2.03 1.99 3/245 10988
/proc/meminfo: memFree=32030960/32770624 swapFree=5956/189352
[pid=10988] ppid=10985 vsize=31480 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 1121 0 0 0 29 0 0 0 20 0 1 0 568426 32235520 898 33554432000 4194304 5970956 140730374279520 140730374276856 5039141 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7870 898 779 434 0 1234 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31480

[startup+0.700207 s]
/proc/loadavg: 2.02 2.03 1.99 3/245 10988
/proc/meminfo: memFree=32030960/32770624 swapFree=5956/189352
[pid=10988] ppid=10985 vsize=31480 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 1122 0 0 0 69 0 0 0 20 0 1 0 568426 32235520 898 33554432000 4194304 5970956 140730374279520 140730374276856 5136786 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7870 898 779 434 0 1234 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31480

[startup+1.5002 s]
/proc/loadavg: 2.02 2.03 1.99 3/246 10989
/proc/meminfo: memFree=32030904/32770624 swapFree=5956/189352
[pid=10988] ppid=10985 vsize=31480 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 1124 0 0 0 149 0 0 0 20 0 1 0 568426 32235520 964 33554432000 4194304 5970956 140730374279520 140730374276856 5038183 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7870 964 779 434 0 1234 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31480

[startup+3.1002 s]
/proc/loadavg: 2.02 2.03 1.99 3/246 10989
/proc/meminfo: memFree=32030516/32770624 swapFree=5956/189352
[pid=10988] ppid=10985 vsize=31612 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 1247 0 0 0 309 0 0 0 20 0 1 0 568426 32370688 967 33554432000 4194304 5970956 140730374279520 140730374276856 5136560 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7903 967 779 434 0 1267 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31612

[startup+6.30021 s]
/proc/loadavg: 2.02 2.03 1.99 3/246 10989
/proc/meminfo: memFree=32029880/32770624 swapFree=5956/189352
[pid=10988] ppid=10985 vsize=31612 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 1376 0 0 0 629 0 0 0 20 0 1 0 568426 32370688 971 33554432000 4194304 5970956 140730374279520 140730374276856 5136577 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7903 971 779 434 0 1267 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31612

[startup+12.7002 s]
/proc/loadavg: 2.02 2.03 1.99 3/246 10989
/proc/meminfo: memFree=32028432/32770624 swapFree=5956/189352
[pid=10988] ppid=10985 vsize=31612 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 1504 0 0 0 1269 0 0 0 20 0 1 0 568426 32370688 975 33554432000 4194304 5970956 140730374279520 140730374276856 5136587 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7903 975 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.01 2.03 1.99 3/246 10989
/proc/meminfo: memFree=32028868/32770624 swapFree=5956/189480
[pid=10988] ppid=10985 vsize=31612 CPUtime=25.49 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 1771 0 0 0 2549 0 0 0 20 0 1 0 568426 32370688 982 33554432000 4194304 5970956 140730374279520 140730374276856 5038624 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7903 982 779 434 0 1267 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31612

[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 1.99 3/246 10989
/proc/meminfo: memFree=32028996/32770624 swapFree=5956/189496
[pid=10988] ppid=10985 vsize=31612 CPUtime=51.09 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 1918 0 0 0 5109 0 0 0 20 0 1 0 568426 32370688 987 33554432000 4194304 5970956 140730374279520 140730374276856 5039135 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7903 987 783 434 0 1267 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 31612

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

[startup+51.2003 s]
/proc/loadavg: 2.01 2.02 1.99 3/246 10989
/proc/meminfo: memFree=32028996/32770624 swapFree=5956/189496
[pid=10988] ppid=10985 vsize=31612 CPUtime=51.19 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 1918 0 0 0 5119 0 0 0 20 0 1 0 568426 32370688 987 33554432000 4194304 5970956 140730374279520 140730374276856 5038202 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7903 987 783 434 0 1267 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 31612

[startup+64.0002 s]
/proc/loadavg: 2.01 2.02 1.99 3/246 10990
/proc/meminfo: memFree=32029072/32770624 swapFree=5956/189528
[pid=10988] ppid=10985 vsize=31612 CPUtime=63.99 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 1923 0 0 0 6399 0 0 0 20 0 1 0 568426 32370688 987 33554432000 4194304 5970956 140730374279520 140730374276856 5039152 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7903 987 783 434 0 1267 0
Current children cumulated CPU time (s) 63.99
Current children cumulated vsize (KiB) 31612

[startup+70.4002 s]
/proc/loadavg: 2.01 2.02 1.99 3/246 10990
/proc/meminfo: memFree=32029072/32770624 swapFree=5956/189528
[pid=10988] ppid=10985 vsize=31612 CPUtime=70.39 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 2052 0 0 0 7039 0 0 0 20 0 1 0 568426 32370688 997 33554432000 4194304 5970956 140730374279520 140730374276856 5038183 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7903 997 783 434 0 1267 0
Current children cumulated CPU time (s) 70.39
Current children cumulated vsize (KiB) 31612

[startup+72.0002 s]
/proc/loadavg: 2.01 2.02 1.99 3/246 10990
/proc/meminfo: memFree=32029072/32770624 swapFree=5956/189528
[pid=10988] ppid=10985 vsize=31612 CPUtime=71.98 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 2054 0 0 0 7198 0 0 0 20 0 1 0 568426 32370688 997 33554432000 4194304 5970956 140730374279520 140730374276856 5136577 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7903 997 783 434 0 1267 0
Current children cumulated CPU time (s) 71.98
Current children cumulated vsize (KiB) 31612

[startup+72.8002 s]
/proc/loadavg: 2.01 2.02 1.99 3/246 10990
/proc/meminfo: memFree=32029072/32770624 swapFree=5956/189528
[pid=10988] ppid=10985 vsize=31612 CPUtime=72.78 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 2057 0 0 0 7278 0 0 0 20 0 1 0 568426 32370688 997 33554432000 4194304 5970956 140730374279520 140730374276856 4908315 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7903 997 783 434 0 1267 0
Current children cumulated CPU time (s) 72.78
Current children cumulated vsize (KiB) 31612

[startup+73.2002 s]
/proc/loadavg: 2.01 2.02 1.99 3/246 10990
/proc/meminfo: memFree=32029072/32770624 swapFree=5956/189528
[pid=10988] ppid=10985 vsize=31612 CPUtime=73.18 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 2067 0 0 0 7318 0 0 0 20 0 1 0 568426 32370688 997 33554432000 4194304 5970956 140730374279520 140730374276856 5136611 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7903 997 783 434 0 1267 0
Current children cumulated CPU time (s) 73.18
Current children cumulated vsize (KiB) 31612

[startup+73.6002 s]
/proc/loadavg: 2.01 2.02 1.99 3/246 10990
/proc/meminfo: memFree=32029072/32770624 swapFree=5956/189528
[pid=10988] ppid=10985 vsize=31612 CPUtime=73.58 cores=1,3,5,7,9,11,13,15
/proc/10988/stat : 10988 (cosoco) R 10985 10988 9838 0 -1 4202496 2067 0 0 0 7358 0 0 0 20 0 1 0 568426 32370688 997 33554432000 4194304 5970956 140730374279520 140730374276856 5038721 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 37113856 140730374284476 140730374284611 140730374284611 140730374287310 0
/proc/10988/statm: 7903 997 783 434 0 1267 0
Current children cumulated CPU time (s) 73.58
Current children cumulated vsize (KiB) 31612

Child status: 0
Real time (s): 73.6247
CPU time (s): 73.6166
CPU user time (s): 73.6135
CPU system time (s): 0.003016
CPU usage (%): 99.989
Max. virtual memory (cumulated for all children) (KiB): 31612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.6136
system time used= 0.003016
maximum resident set size= 4072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2109
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= 3707

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.227022 second user time and 0.36904 second system time

The end

Launcher Data 

Begin job on node114 at 2017-07-21 18:03:13
IDJOB=4241941
IDBENCH=133092
IDSOLVER=2621
FILE ID=node114/4241941-1500652993
RUNJOBID= node114-1500648178-9871
PBS_JOBID= 20623304
Free space on /tmp= 62008 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/MarketSplit/MarketSplit-m1-gp/MarketSplit-05.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241941-1500652993/watcher-4241941-1500652993 -o /tmp/evaluation-result-4241941-1500652993/solver-4241941-1500652993 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500648178-9871 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4241941-1500652993.xml

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

MD5SUM BENCH= ea540cd06a6319d4cfbd19a531a1ad9c
RANDOM SEED=156660722

node114.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.60
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.60
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		: 1600.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.60
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		: 1600.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.60
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		: 1600.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.60
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		: 1600.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		: 1600.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.60
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		: 1733.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		: 2668.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.60
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		: 1600.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.60
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		: 1600.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:        32030984 kB
MemAvailable:   32019072 kB
Buffers:           32544 kB
Cached:           266304 kB
SwapCached:            0 kB
Active:           167120 kB
Inactive:         197900 kB
Active(anon):      69820 kB
Inactive(anon):     8548 kB
Active(file):      97300 kB
Inactive(file):   189352 kB
Unevictable:        5956 kB
Mlocked:            5956 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2424 kB
Writeback:             0 kB
AnonPages:        224112 kB
Mapped:            30884 kB
Shmem:              8848 kB
Slab:              66900 kB
SReclaimable:      34540 kB
SUnreclaim:        32360 kB
KernelStack:        4304 kB
PageTables:         5480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     337928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 62008 MiB
End job on node114 at 2017-07-21 18:04:27