Trace number 4266180

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
cosoco-sat 1.12SAT 16.5658 16.567699

General information on the benchmark

NameMarketSplit/MarketSplit-m1-gp/
MarketSplit-09.xml
MD5SUMdabf91d1abe3f942053f99cb79a60185
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 benchmark13.3883
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 degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":29}]
Minimum constraint arity29
Maximum constraint arity30
Distribution of constraint arities[{"arity":29,"count":1},{"arity":30,"count":3}]
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.12 --  
0.00/0.00	c
0.00/0.00	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266180-1502581057.xml 
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: 29..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             48             231            201            0              5              17   24   19   
0.00/0.00	c 20             87             429            375            0              14             11   25   17   
0.00/0.00	c 30             124            610            542            0              21             16   24   18   
0.00/0.00	c 40             168            822            696            0              25             19   26   20   
0.00/0.00	c 50             212            1043           876            0              29             18   23   18   
0.00/0.00	c 60             249            1245           1046           0              34             15   23   17   
0.00/0.00	c 70             290            1469           1214           0              43             15   25   18   
0.00/0.00	c 80             333            1698           1390           0              45             14   24   16   
0.00/0.00	c 90             385            1934           1590           0              48             17   25   20   
0.00/0.00	c 100            434            2177           1785           0              51             19   23   19   
0.00/0.00	c 101            448            2238           1812           0              52             14   14   7    
0.00/0.00	c 110            496            2469           1993           0              56             14   23   18   
0.00/0.01	c 120            531            2651           2161           0              62             12   23   17   
0.00/0.01	c 130            568            2829           2319           0              70             15   24   18   
0.00/0.01	c 140            635            3151           2596           0              75             21   26   21   
0.00/0.01	c 150            698            3440           2833           0              79             19   26   20   
0.00/0.01	c 160            754            3704           3052           0              82             20   26   20   
0.00/0.01	c 170            804            3937           3278           0              89             13   25   18   
0.00/0.01	c 180            858            4194           3481           0              92             19   24   19   
0.00/0.01	c 190            894            4383           3668           0              97             15   22   16   
0.00/0.01	c 200            931            4561           3854           0              103            12   23   16   
0.00/0.01	c 210            974            4768           4033           0              110            12   24   18   
0.00/0.01	c 211            994            4855           4071           0              111            20   20   10   
0.00/0.01	c 220            1028           5023           4225           0              118            16   24   18   
0.00/0.01	c 230            1061           5187           4403           0              119            14   24   16   
0.00/0.01	c 240            1100           5384           4586           0              122            15   25   18   
0.00/0.01	c 250            1137           5564           4768           0              126            13   24   17   
0.00/0.01	c 260            1175           5751           4934           0              127            17   25   19   
0.00/0.01	c 270            1235           6015           5161           0              132            21   24   20   
0.00/0.01	c 280            1282           6232           5363           0              134            16   26   18   
0.00/0.01	c 290            1326           6438           5558           0              139            14   25   17   
0.00/0.01	c 300            1368           6633           5750           0              142            13   23   18   
0.00/0.01	c 310            1404           6810           5920           0              147            14   23   17   
0.00/0.01	c 320            1442           7023           6126           0              149            13   24   15   
0.00/0.01	c 330            1505           7321           6372           0              155            12   25   19   
0.00/0.01	c 332            1526           7413           6427           0              157            12   20   10   
0.00/0.01	c 340            1561           7585           6581           0              160            16   23   17   
0.00/0.01	c 350            1611           7832           6791           0              164            14   24   18   
0.00/0.02	c 360            1648           8027           6963           0              169            14   24   17   
0.00/0.02	c 370            1693           8235           7154           0              174            13   25   17   
0.00/0.02	c 380            1730           8421           7313           0              180            10   23   17   
0.00/0.02	c 390            1775           8642           7523           0              183            11   24   18   
0.00/0.02	c 400            1810           8821           7695           0              186            11   23   17   
0.00/0.02	c 410            1867           9097           7931           0              193            13   24   18   
0.00/0.02	c 420            1903           9271           8129           0              198            13   22   15   
0.00/0.02	c 430            1959           9530           8339           0              202            16   25   20   
0.00/0.02	c 440            2002           9724           8498           0              203            20   26   21   
0.00/0.02	c 450            2049           9941           8678           0              209            13   25   20   
0.00/0.02	c 460            2102           10209          8910           0              213            17   22   18   
0.00/0.02	c 465            2134           10357          9028           0              214            20   24   18   
0.00/0.02	c 470            2167           10513          9141           0              216            17   24   18   
0.00/0.02	c 480            2209           10732          9327           0              223            15   23   17   
0.00/0.02	c 490            2253           10931          9504           0              225            17   24   19   
0.00/0.02	c 500            2304           11165          9723           0              232            12   25   18   
0.00/0.02	c 510            2341           11353          9909           0              233            18   24   19   
0.00/0.02	c 520            2394           11614          10113          0              238            12   24   18   
0.00/0.02	c 530            2436           11811          10287          0              245            17   24   19   
0.00/0.02	c 540            2478           12005          10449          0              249            18   24   19   
0.00/0.02	c 550            2519           12199          10626          0              251            15   25   18   
0.00/0.02	c 560            2584           12489          10857          0              259            15   25   20   
0.00/0.02	c 570            2640           12747          11068          0              263            20   25   19   
0.00/0.02	c 580            2696           13007          11292          0              266            19   24   19   
0.00/0.03	c 590            2741           13228          11508          0              268            15   24   17   
0.00/0.03	c 600            2776           13414          11690          0              275            13   23   16   
0.00/0.03	c 610            2818           13616          11876          0              279            12   24   18   
0.00/0.03	c 611            2831           13672          11908          0              280            13   13   6    
0.00/0.03	c 620            2870           13860          12073          0              283            11   24   17   
0.00/0.03	c 630            2932           14150          12308          0              290            12   24   19   
0.00/0.03	c 640            2985           14405          12518          0              293            16   25   18   
0.00/0.03	c 650            3036           14651          12741          0              298            12   24   18   
0.00/0.03	c 660            3087           14905          12946          0              302            18   23   18   
0.00/0.03	c 670            3139           15152          13145          0              307            14   24   19   
0.00/0.03	c 680            3177           15347          13336          0              313            13   23   17   
0.00/0.03	c 690            3248           15685          13613          0              314            13   24   18   
0.00/0.03	c 700            3281           15865          13774          0              323            13   24   16   
0.00/0.03	c 710            3314           16036          13945          0              325            13   24   17   
0.00/0.03	c 720            3356           16243          14131          0              334            14   25   17   
0.00/0.03	c 730            3402           16458          14328          0              336            18   26   19   
0.00/0.03	c 740            3441           16651          14508          0              339            16   23   17   
0.00/0.03	c 750            3494           16898          14704          0              342            17   24   19   
0.00/0.03	c 760            3537           17107          14901          0              348            12   24   17   
0.00/0.03	c 770            3607           17436          15164          0              355            17   25   19   
0.00/0.03	c 771            3619           17487          15197          0              356            12   12   6    
0.00/0.03	c 780            3662           17696          15385          0              363            16   24   17   
0.00/0.03	c 790            3711           17932          15578          0              367            18   25   19   
0.00/0.03	c 800            3749           18123          15760          0              371            14   24   17   
0.00/0.03	c 810            3795           18342          15959          0              378            13   23   17   
0.00/0.04	c 820            3830           18524          16159          0              387            12   23   15   
0.00/0.04	c 830            3865           18705          16343          0              391            14   23   17   
0.00/0.04	c 840            3917           18957          16552          0              394            18   26   19   
0.00/0.04	c 850            3957           19149          16723          0              399            17   25   19   
0.00/0.04	c 860            4010           19409          16950          0              402            18   24   19   
0.00/0.04	c 870            4074           19714          17203          0              406            21   26   20   
0.00/0.04	c 880            4129           19965          17427          0              408            19   25   21   
0.00/0.04	c 890            4178           20191          17639          0              415            13   25   18   
0.00/0.04	c 900            4234           20447          17852          0              418            18   25   20   
0.00/0.04	c 910            4287           20701          18071          0              421            17   25   19   
0.00/0.04	c 920            4330           20912          18261          0              426            17   25   19   
0.00/0.04	c 930            4386           21175          18468          0              429            18   24   20   
0.00/0.04	c 940            4432           21385          18658          0              434            17   25   20   
0.00/0.04	c 947            4469           21561          18812          0              440            15   24   17   
0.00/0.04	c 950            4496           21680          18901          0              443            14   25   13   
0.00/0.04	c 960            4536           21875          19069          0              448            18   24   18   
0.00/0.04	c 970            4581           22087          19246          0              449            19   26   20   
0.00/0.04	c 980            4633           22335          19439          0              455            18   26   20   
0.00/0.04	c 990            4694           22628          19666          0              459            18   24   19   
0.00/0.04	c 1000           4748           22874          19860          0              463            20   24   20   
0.00/0.04	c 1010           4792           23074          20019          0              469            17   25   19   
0.00/0.04	c 1020           4827           23253          20207          0              473            12   23   16   
0.00/0.04	c 1030           4864           23441          20367          0              482            15   23   17   
0.00/0.04	c 1040           4915           23685          20550          0              489            16   25   19   
0.00/0.05	c 1050           4959           23885          20726          0              490            17   25   19   
0.00/0.05	c 1060           5008           24113          20907          0              493            20   24   20   
0.00/0.05	c 1070           5051           24316          21114          0              495            15   23   17   
0.00/0.05	c 1080           5084           24486          21300          0              498            12   24   16   
0.00/0.05	c 1090           5135           24740          21529          0              505            13   23   17   
0.00/0.05	c 1100           5175           24944          21724          0              507            17   23   17   
0.00/0.05	c 1110           5207           25114          21915          0              508            13   21   15   
0.00/0.05	c 1120           5256           25355          22127          0              515            15   24   17   
0.00/0.05	c 1130           5309           25612          22350          0              518            18   24   19   
0.00/0.05	c 1140           5361           25869          22582          0              521            16   25   18   
0.00/0.05	c 1141           5376           25935          22612          0              522            15   15   7    
0.00/0.05	c 1150           5412           26114          22791          0              528            15   22   16   
0.00/0.05	c 1160           5457           26330          22980          0              533            15   24   18   
0.00/0.05	c 1170           5487           26492          23169          0              537            12   21   15   
0.00/0.05	c 1180           5527           26686          23362          0              542            14   25   18   
0.00/0.05	c 1190           5566           26880          23533          0              551            14   25   18   
0.00/0.05	c 1200           5603           27063          23691          0              555            15   25   18   
0.00/0.05	c 1210           5647           27280          23868          0              562            12   25   18   
0.00/0.05	c 1220           5700           27531          24066          0              565            19   24   19   
0.00/0.05	c 1230           5747           27745          24241          0              570            17   24   19   
0.00/0.05	c 1240           5796           27989          24437          0              572            15   24   18   
0.00/0.05	c 1250           5848           28250          24631          0              577            12   23   18   
0.00/0.05	c 1260           5892           28478          24825          0              586            11   23   16   
0.00/0.05	c 1270           5947           28764          25070          0              590            13   23   17   
0.00/0.06	c 1280           5996           29003          25270          0              595            16   23   18   
0.00/0.06	c 1290           6050           29270          25493          0              601            11   23   18   
0.00/0.06	c 1300           6097           29504          25707          0              602            14   24   18   
0.00/0.06	c 1310           6147           29760          25925          0              604            17   23   19   
0.00/0.06	c 1320           6190           29965          26123          0              609            11   24   17   
0.00/0.06	c 1330           6238           30197          26342          0              612            14   24   18   
0.00/0.06	c 1340           6290           30446          26568          0              618            14   25   17   
0.00/0.06	c 1350           6334           30657          26774          0              621            16   24   17   
0.00/0.06	c 1352           6357           30759          26829          0              623            17   22   13   
0.00/0.06	c 1360           6407           30992          27011          0              627            19   23   18   
0.00/0.06	c 1370           6459           31250          27220          0              631            18   24   19   
0.00/0.06	c 1380           6506           31477          27415          0              638            15   25   18   
0.00/0.06	c 1390           6564           31747          27661          0              641            17   24   19   
0.00/0.06	c 1400           6624           32017          27892          0              645            14   24   19   
0.00/0.06	c 1410           6670           32255          28095          0              646            20   25   20   
0.00/0.06	c 1420           6721           32506          28307          0              651            18   23   19   
0.00/0.06	c 1430           6787           32811          28582          0              655            17   24   19   
0.00/0.06	c 1440           6840           33068          28805          0              660            13   25   18   
0.00/0.06	c 1450           6885           33305          29006          0              668            15   24   18   
0.00/0.06	c 1460           6932           33528          29194          0              675            12   24   18   
0.00/0.06	c 1470           6985           33774          29396          0              678            19   24   19   
0.00/0.06	c 1480           7023           33973          29587          0              685            12   23   15   
0.00/0.06	c 1490           7058           34174          29757          0              689            14   20   15   
0.00/0.07	c 1500           7093           34353          29942          0              694            12   22   15   
0.00/0.07	c 1510           7134           34570          30142          0              696            13   22   15   
0.00/0.07	c 1520           7179           34786          30336          0              701            12   24   18   
0.00/0.07	c 1530           7225           35002          30528          0              707            16   24   19   
0.00/0.07	c 1540           7268           35216          30699          0              709            16   24   18   
0.00/0.07	c 1550           7311           35457          30920          0              713            15   21   16   
0.00/0.07	c 1560           7340           35619          31116          0              715            11   20   14   
0.00/0.07	c 1570           7385           35844          31300          0              717            17   26   19   
0.00/0.07	c 1580           7426           36047          31478          0              724            13   26   18   
0.00/0.07	c 1585           7449           36158          31572          0              729            15   19   14   
0.00/0.07	c 1590           7471           36270          31668          0              734            14   18   13   
0.00/0.07	c 1600           7515           36492          31833          0              741            16   25   19   
0.00/0.07	c 1610           7564           36728          32052          0              748            12   24   17   
0.00/0.07	c 1620           7614           36973          32250          0              754            13   25   18   
0.00/0.07	c 1630           7652           37180          32430          0              758            16   22   16   
0.00/0.07	c 1640           7711           37461          32670          0              762            18   24   19   
0.00/0.07	c 1650           7752           37664          32847          0              769            17   22   18   
0.00/0.07	c 1660           7793           37855          33012          0              771            20   25   20   
0.00/0.07	c 1670           7846           38106          33211          0              773            17   24   19   
0.00/0.07	c 1680           7893           38332          33393          0              778            18   24   19   
0.00/0.07	c 1690           7943           38579          33604          0              785            13   25   18   
0.00/0.07	c 1700           7993           38808          33778          0              788            19   25   20   
0.00/0.07	c 1710           8043           39044          33960          0              793            20   24   20   
0.00/0.07	c 1720           8084           39233          34112          0              795            21   26   21   
0.00/0.08	c 1730           8129           39447          34291          0              799            13   25   20   
0.00/0.08	c 1740           8170           39644          34440          0              803            20   25   20   
0.00/0.08	c 1750           8214           39851          34597          0              808            14   26   19   
0.00/0.08	c 1760           8263           40073          34794          0              812            13   25   19   
0.00/0.08	c 1770           8307           40286          34979          0              813            20   25   20   
0.00/0.08	c 1780           8347           40487          35176          0              816            15   22   16   
0.00/0.08	c 1790           8396           40723          35363          0              818            18   25   19   
0.00/0.08	c 1800           8442           40943          35555          0              820            15   22   17   
0.00/0.08	c 1810           8481           41123          35728          0              827            15   22   17   
0.00/0.08	c 1820           8531           41357          35945          0              831            13   23   18   
0.00/0.08	c 1830           8581           41588          36141          0              839            16   25   19   
0.00/0.08	c 1840           8613           41742          36305          0              843            12   23   16   
0.00/0.08	c 1841           8629           41809          36342          0              844            16   16   8    
0.00/0.08	c 1850           8658           41974          36487          0              853            13   21   15   
0.00/0.08	c 1860           8702           42200          36684          0              856            15   24   17   
0.00/0.08	c 1870           8745           42427          36882          0              860            13   23   17   
0.00/0.08	c 1880           8790           42653          37079          0              861            15   23   18   
0.00/0.08	c 1890           8832           42852          37269          0              863            18   23   18   
0.00/0.08	c 1900           8869           43051          37446          0              865            14   23   16   
0.00/0.08	c 1910           8912           43272          37662          0              868            11   23   16   
0.00/0.08	c 1920           8950           43467          37856          0              873            13   22   16   
0.00/0.08	c 1930           8983           43641          38037          0              878            12   20   14   
0.00/0.08	c 1940           9019           43835          38198          0              887            11   23   15   
0.00/0.08	c 1950           9054           44021          38374          0              893            11   23   16   
0.00/0.08	c 1960           9091           44206          38546          0              900            11   23   16   
0.00/0.08	c 1970           9127           44390          38725          0              902            13   23   17   
0.00/0.09	c 1980           9177           44630          38943          0              906            16   23   17   
0.00/0.09	c 1990           9230           44888          39159          0              912            11   22   18   
0.00/0.09	c 2000           9290           45174          39410          0              916            20   23   19   
0.00/0.09	c 2010           9325           45345          39584          0              922            12   22   15   
0.00/0.09	c 2020           9366           45554          39766          0              926            16   23   18   
0.00/0.09	c 2030           9412           45777          39965          0              931            15   25   19   
0.00/0.09	c 2040           9455           45985          40176          0              935            12   25   16   
0.00/0.09	c 2050           9505           46224          40385          0              943            14   24   17   
0.00/0.09	c 2060           9553           46469          40593          0              948            18   25   18   
0.00/0.09	c 2070           9594           46672          40756          0              956            16   25   19   
0.00/0.09	c 2080           9635           46880          40941          0              959            12   24   17   
0.00/0.09	c 2090           9689           47136          41146          0              963            19   25   20   
0.00/0.09	c 2100           9730           47362          41336          0              965            12   22   17   
0.00/0.09	c 2110           9782           47617          41544          0              970            14   24   19   
0.00/0.09	c 2120           9829           47854          41723          0              975            18   26   19   
0.00/0.09	c 2122           9855           47970          41783          0              976            24   25   16   
0.00/0.09	c 2130           9892           48147          41913          0              980            18   25   20   
0.00/0.09	c 2140           9945           48388          42101          0              984            20   26   20   
0.00/0.09	c 2150           10016          48722          42366          0              985            16   26   21   
0.00/0.09	c 2160           10052          48903          42534          0              988            15   23   17   
0.00/0.09	c 2170           10098          49118          42731          0              996            15   23   18   
0.00/0.09	c 2180           10142          49337          42954          0              1001           14   24   16   
0.00/0.09	c 2190           10178          49517          43143          0              1006           13   24   17   
0.00/0.10	c 2200           10220          49721          43326          0              1014           15   23   18   
0.00/0.10	c 2210           10259          49929          43517          0              1019           16   23   17   
0.00/0.10	c 2220           10299          50132          43701          0              1022           14   24   18   
0.00/0.10	c 2230           10355          50393          43915          0              1025           17   25   20   
0.00/0.10	c 2240           10400          50617          44099          0              1030           16   25   19   
0.00/0.10	c 2250           10452          50872          44320          0              1038           15   24   18   
0.00/0.10	c 2260           10508          51139          44544          0              1041           19   26   20   
0.00/0.10	c 2270           10547          51341          44725          0              1047           12   23   17   
0.00/0.10	c 2280           10591          51555          44916          0              1049           18   23   19   
0.00/0.10	c 2290           10658          51861          45147          0              1055           21   26   21   
0.00/0.10	c 2300           10698          52059          45322          0              1062           13   24   18   
0.00/0.10	c 2310           10739          52266          45523          0              1067           13   24   17   
0.00/0.10	c 2320           10797          52539          45759          0              1072           14   24   18   
0.00/0.10	c 2330           10863          52844          46005          0              1076           20   25   20   
0.00/0.10	c 2340           10902          53027          46172          0              1082           16   25   19   
0.00/0.10	c 2350           10948          53242          46335          0              1089           17   27   21   
0.00/0.10	c 2360           11001          53492          46540          0              1092           19   25   19   
0.00/0.10	c 2370           11032          53656          46712          0              1093           14   22   16   
0.00/0.10	c 2380           11072          53851          46878          0              1095           17   25   19   
0.00/0.10	c 2390           11111          54040          47060          0              1100           14   22   17   
0.00/0.10	c 2400           11159          54269          47246          0              1105           13   25   18   
0.00/0.10	c 2410           11214          54537          47472          0              1107           15   25   18   
0.10/0.11	c 2420           11253          54734          47645          0              1110           14   25   18   
0.10/0.11	c 2430           11285          54907          47836          0              1111           14   23   16   
0.10/0.11	c 2431           11298          54965          47867          0              1112           13   13   6    
0.10/0.11	c 2440           11332          55154          48037          0              1115           14   22   16   
0.10/0.11	c 2450           11369          55349          48203          0              1121           16   24   18   
0.10/0.11	c 2460           11415          55569          48392          0              1126           16   26   19   
0.10/0.11	c 2470           11461          55805          48607          0              1130           11   22   16   
0.10/0.11	c 2480           11502          56002          48782          0              1135           18   24   19   
0.10/0.11	c 2490           11547          56219          49002          0              1140           14   25   18   
0.10/0.11	c 2500           11591          56426          49191          0              1143           11   25   18   
0.10/0.11	c 2510           11631          56614          49358          0              1149           18   26   20   
0.10/0.11	c 2520           11670          56827          49544          0              1155           13   24   17   
0.10/0.11	c 2530           11701          57001          49706          0              1165           13   22   15   
0.10/0.11	c 2540           11744          57200          49892          0              1168           16   23   18   
0.10/0.11	c 2550           11802          57492          50136          0              1172           13   24   19   
0.10/0.11	c 2560           11852          57739          50335          0              1178           18   23   18   
0.10/0.11	c 2570           11907          58013          50569          0              1187           15   25   18   
0.10/0.11	c 2580           11974          58331          50804          0              1192           20   24   20   
0.10/0.11	c 2590           12017          58539          50994          0              1195           12   24   18   
0.10/0.11	c 2600           12059          58736          51160          0              1200           18   23   18   
0.10/0.11	c 2610           12106          58950          51346          0              1207           15   25   18   
0.10/0.11	c 2620           12147          59136          51510          0              1212           17   26   18   
0.10/0.11	c 2630           12180          59296          51674          0              1222           13   24   16   
0.10/0.11	c 2640           12237          59561          51885          0              1225           19   25   20   
0.10/0.11	c 2650           12288          59804          52082          0              1228           20   25   20   
0.10/0.12	c 2660           12323          59988          52263          0              1231           15   23   17   
0.10/0.12	c 2670           12384          60270          52487          0              1238           17   26   20   
0.10/0.12	c 2680           12439          60527          52687          0              1245           16   26   20   
0.10/0.12	c 2690           12485          60740          52871          0              1251           16   26   20   
0.10/0.12	c 2700           12547          61033          53108          0              1260           15   27   19   
0.10/0.12	c 2710           12597          61276          53321          0              1263           17   25   18   
0.10/0.12	c 2720           12650          61525          53523          0              1268           18   26   19   
0.10/0.12	c 2730           12699          61765          53722          0              1272           18   23   19   
0.10/0.12	c 2740           12738          61955          53891          0              1277           18   25   20   
0.10/0.12	c 2750           12782          62168          54064          0              1279           21   26   21   
0.10/0.12	c 2760           12828          62380          54257          0              1284           14   24   18   
0.10/0.12	c 2770           12866          62558          54447          0              1289           15   22   16   
0.10/0.12	c 2771           12884          62635          54483          0              1290           18   18   9    
0.10/0.12	c 2780           12927          62842          54652          0              1294           15   23   18   
0.10/0.12	c 2790           12974          63067          54868          0              1302           13   25   17   
0.10/0.12	c 2800           13017          63277          55084          0              1306           12   24   16   
0.10/0.12	c 2810           13059          63482          55284          0              1313           14   24   17   
0.10/0.12	c 2820           13108          63710          55478          0              1315           19   24   20   
0.10/0.12	c 2830           13162          63976          55709          0              1324           15   24   18   
0.10/0.12	c 2840           13210          64201          55905          0              1330           15   25   19   
0.10/0.12	c 2850           13257          64431          56089          0              1335           15   24   18   
0.10/0.12	c 2860           13300          64641          56258          0              1338           17   26   20   
0.10/0.12	c 2870           13338          64829          56424          0              1342           18   25   19   
0.10/0.13	c 2880           13384          65064          56623          0              1343           19   25   20   
0.10/0.13	c 2890           13422          65275          56813          0              1348           16   21   16   
0.10/0.13	c 2900           13457          65465          56979          0              1352           15   24   17   
0.10/0.13	c 2910           13497          65679          57155          0              1358           15   25   18   
0.10/0.13	c 2920           13532          65861          57316          0              1366           13   23   17   
0.10/0.13	c 2930           13578          66086          57532          0              1374           13   24   17   
0.10/0.13	c 2940           13621          66301          57710          0              1382           14   25   18   
0.10/0.13	c 2950           13657          66493          57875          0              1388           14   24   17   
0.10/0.13	c 2960           13691          66684          58040          0              1394           14   23   17   
0.10/0.13	c 2970           13732          66898          58226          0              1399           12   24   17   
0.10/0.13	c 2980           13771          67100          58410          0              1407           13   24   17   
0.10/0.13	c 2990           13812          67290          58586          0              1411           14   23   18   
0.10/0.13	c 3000           13853          67487          58783          0              1415           14   23   18   
0.10/0.13	c 3010           13907          67742          59003          0              1419           16   26   19   
0.10/0.13	c 3020           13950          67965          59219          0              1422           15   24   17   
0.10/0.13	c 3030           14001          68210          59429          0              1427           14   24   18   
0.10/0.13	c 3040           14055          68469          59653          0              1429           18   25   19   
0.10/0.13	c 3050           14095          68676          59829          0              1433           13   24   18   
0.10/0.13	c 3060           14143          68894          60005          0              1437           20   26   21   
0.10/0.13	c 3070           14197          69149          60207          0              1440           21   25   21   
0.10/0.13	c 3080           14238          69350          60399          0              1442           15   24   17   
0.10/0.13	c 3090           14292          69600          60621          0              1449           16   25   18   
0.10/0.13	c 3100           14330          69795          60790          0              1454           13   25   17   
0.10/0.13	c 3110           14362          69951          60952          0              1464           13   23   16   
0.10/0.14	c 3120           14403          70164          61130          0              1467           15   22   17   
0.10/0.14	c 3130           14449          70402          61334          0              1471           16   24   18   
0.10/0.14	c 3140           14486          70596          61522          0              1472           15   24   18   
0.10/0.14	c 3142           14503          70676          61573          0              1474           15   16   10   
0.10/0.14	c 3150           14539          70852          61725          0              1477           17   23   17   
0.10/0.14	c 3160           14580          71057          61915          0              1479           16   24   18   
0.10/0.14	c 3170           14616          71245          62091          0              1481           15   24   17   
0.10/0.14	c 3180           14661          71468          62296          0              1486           12   24   17   
0.10/0.14	c 3190           14699          71665          62507          0              1492           12   22   16   
0.10/0.14	c 3200           14747          71900          62718          0              1499           15   23   17   
0.10/0.14	c 3210           14783          72082          62891          0              1505           16   22   17   
0.10/0.14	c 3220           14860          72452          63180          0              1510           19   24   19   
0.10/0.14	c 3230           14907          72693          63408          0              1513           14   25   17   
0.10/0.14	c 3240           14957          72932          63602          0              1517           13   24   18   
0.10/0.14	c 3250           15000          73138          63778          0              1523           18   24   19   
0.10/0.14	c 3260           15033          73292          63948          0              1533           13   24   16   
0.10/0.14	c 3270           15074          73487          64103          0              1535           20   25   20   
0.10/0.14	c 3280           15115          73683          64276          0              1542           15   24   17   
0.10/0.14	c 3290           15157          73888          64466          0              1551           14   24   17   
0.10/0.14	c 3300           15198          74073          64636          0              1561           13   23   16   
0.10/0.14	c 3310           15238          74264          64811          0              1568           15   23   17   
0.10/0.14	c 3320           15275          74459          65001          0              1571           14   21   16   
0.10/0.14	c 3330           15323          74703          65206          0              1574           16   22   17   
0.10/0.14	c 3340           15359          74884          65375          0              1578           12   24   17   
0.10/0.15	c 3350           15406          75106          65577          0              1585           12   24   17   
0.10/0.15	c 3360           15446          75293          65740          0              1587           18   24   19   
0.10/0.15	c 3370           15506          75584          65977          0              1589           21   24   20   
0.10/0.15	c 3380           15553          75804          66171          0              1594           14   25   18   
0.10/0.15	c 3390           15597          76021          66376          0              1599           14   23   17   
0.10/0.15	c 3400           15654          76292          66582          0              1603           20   24   20   
0.10/0.15	c 3410           15703          76527          66796          0              1604           18   23   19   
0.10/0.15	c 3420           15751          76767          67006          0              1608           15   23   19   
0.10/0.15	c 3430           15806          77025          67219          0              1612           18   23   19   
0.10/0.15	c 3440           15852          77249          67433          0              1616           14   25   17   
0.10/0.15	c 3450           15897          77468          67609          0              1618           19   24   19   
0.10/0.15	c 3460           15936          77673          67790          0              1626           14   22   16   
0.10/0.15	c 3470           15984          77923          67994          0              1627           12   23   16   
0.10/0.15	c 3480           16024          78137          68166          0              1633           16   22   17   
0.10/0.15	c 3490           16065          78336          68339          0              1637           16   22   17   
0.10/0.15	c 3500           16095          78493          68498          0              1647           12   21   15   
0.10/0.15	c 3510           16144          78731          68724          0              1651           11   22   16   
0.10/0.15	c 3520           16189          78953          68923          0              1655           11   21   16   
0.10/0.15	c 3530           16220          79127          69097          0              1656           13   22   15   
0.10/0.15	c 3540           16259          79321          69283          0              1661           16   21   16   
0.10/0.15	c 3550           16309          79568          69484          0              1665           12   25   18   
0.10/0.15	c 3551           16322          79625          69510          0              1666           13   13   6    
0.10/0.15	c 3560           16381          79905          69746          0              1672           17   24   18   
0.10/0.16	c 3570           16444          80196          69998          0              1678           19   22   18   
0.10/0.16	c 3580           16484          80401          70176          0              1681           15   23   18   
0.10/0.16	c 3590           16526          80619          70357          0              1685           17   25   19   
0.10/0.16	c 3600           16588          80925          70602          0              1689           17   26   19   
0.10/0.16	c 3610           16625          81123          70796          0              1690           15   24   17   
0.10/0.16	c 3620           16684          81393          71011          0              1692           18   25   20   
0.10/0.16	c 3630           16738          81645          71224          0              1694           18   25   20   
0.10/0.16	c 3640           16788          81885          71433          0              1701           17   25   19   
0.10/0.16	c 3650           16835          82105          71627          0              1707           18   26   19   
0.10/0.16	c 3660           16893          82374          71845          0              1709           17   26   20   
0.10/0.16	c 3670           16938          82580          72019          0              1714           20   25   20   
0.10/0.16	c 3680           16981          82786          72189          0              1717           18   25   19   
0.10/0.16	c 3690           17021          82986          72365          0              1722           17   24   18   
0.10/0.16	c 3700           17069          83218          72565          0              1726           15   25   19   
0.10/0.16	c 3710           17111          83420          72746          0              1729           13   24   18   
0.10/0.16	c 3720           17165          83664          72943          0              1735           20   25   20   
0.10/0.16	c 3730           17209          83880          73129          0              1738           15   24   19   
0.10/0.16	c 3740           17250          84072          73293          0              1746           16   26   19   
0.10/0.16	c 3750           17296          84296          73494          0              1753           18   24   19   
0.10/0.16	c 3760           17339          84534          73678          0              1754           15   25   18   
0.10/0.16	c 3770           17372          84709          73848          0              1755           15   24   17   
0.10/0.16	c 3780           17427          84968          74048          0              1760           19   26   19   
0.10/0.16	c 3790           17470          85172          74254          0              1765           12   24   17   
0.10/0.17	c 3800           17512          85370          74443          0              1767           14   23   19   
0.10/0.17	c 3810           17552          85565          74640          0              1772           14   24   17   
0.10/0.17	c 3820           17608          85833          74870          0              1778           13   26   18   
0.10/0.17	c 3830           17653          86055          75077          0              1785           13   24   17   
0.10/0.17	c 3840           17707          86304          75298          0              1793           14   24   19   
0.10/0.17	c 3850           17776          86634          75548          0              1797           19   25   20   
0.10/0.17	c 3860           17831          86898          75765          0              1801           14   24   19   
0.10/0.17	c 3870           17883          87155          75974          0              1805           17   23   19   
0.10/0.17	c 3880           17925          87356          76160          0              1814           14   25   18   
0.10/0.17	c 3890           17961          87553          76337          0              1818           12   22   16   
0.10/0.17	c 3900           18008          87775          76519          0              1823           19   24   19   
0.10/0.17	c 3910           18045          87961          76682          0              1831           15   24   18   
0.10/0.17	c 3920           18092          88192          76878          0              1833           19   24   20   
0.10/0.17	c 3930           18132          88393          77068          0              1837           15   24   18   
0.10/0.17	c 3940           18170          88576          77247          0              1847           14   25   17   
0.10/0.17	c 3950           18213          88784          77421          0              1851           15   23   18   
0.10/0.17	c 3960           18250          88968          77591          0              1852           18   25   19   
0.10/0.17	c 3970           18303          89224          77814          0              1858           16   25   19   
0.10/0.17	c 3980           18355          89475          78006          0              1863           18   25   20   
0.10/0.17	c 3990           18392          89654          78161          0              1868           18   24   19   
0.10/0.17	c 4000           18444          89900          78364          0              1871           20   24   20   
0.10/0.17	c 4001           18458          89960          78398          0              1872           14   14   7    
0.10/0.17	c 4010           18503          90175          78570          0              1879           15   25   18   
0.10/0.18	c 4020           18539          90349          78729          0              1887           11   24   17   
0.10/0.18	c 4030           18593          90602          78933          0              1891           12   24   18   
0.10/0.18	c 4040           18632          90812          79112          0              1899           14   22   16   
0.10/0.18	c 4050           18664          91006          79288          0              1900           13   23   16   
0.10/0.18	c 4060           18732          91323          79535          0              1905           11   23   18   
0.10/0.18	c 4070           18775          91536          79706          0              1909           17   23   18   
0.10/0.18	c 4080           18830          91798          79933          0              1918           15   23   18   
0.10/0.18	c 4090           18879          92034          80132          0              1920           15   23   18   
0.10/0.18	c 4100           18937          92314          80344          0              1927           18   25   19   
0.10/0.18	c 4110           18978          92509          80521          0              1932           16   24   18   
0.10/0.18	c 4120           19014          92682          80684          0              1937           17   23   18   
0.10/0.18	c 4130           19067          92936          80897          0              1943           17   25   19   
0.10/0.18	c 4140           19116          93171          81104          0              1945           14   25   20   
0.10/0.18	c 4150           19159          93402          81281          0              1952           17   23   18   
0.10/0.18	c 4160           19198          93594          81451          0              1956           16   24   19   
0.10/0.18	c 4170           19254          93878          81677          0              1963           14   23   18   
0.10/0.18	c 4180           19312          94172          81909          0              1967           15   25   18   
0.10/0.18	c 4190           19360          94407          82111          0              1971           17   26   19   
0.10/0.18	c 4200           19405          94627          82302          0              1977           18   24   19   
0.10/0.18	c 4210           19446          94840          82499          0              1982           13   23   17   
0.10/0.18	c 4220           19490          95060          82684          0              1983           18   25   20   
0.10/0.19	c 4230           19538          95288          82924          0              1984           13   24   17   
0.10/0.19	c 4240           19585          95532          83140          0              1991           16   22   18   
0.10/0.19	c 4250           19636          95770          83363          0              1994           17   24   19   
0.10/0.19	c 4260           19688          96015          83572          0              2001           15   26   19   
0.10/0.19	c 4270           19743          96268          83803          0              2008           15   24   19   
0.10/0.19	c 4280           19787          96491          84004          0              2010           16   22   17   
0.10/0.19	c 4290           19838          96731          84219          0              2018           15   24   18   
0.10/0.19	c 4300           19891          96989          84437          0              2022           16   22   18   
0.10/0.19	c 4310           19950          97271          84679          0              2027           14   24   19   
0.10/0.19	c 4320           19985          97440          84869          0              2031           12   22   15   
0.10/0.19	c 4330           20030          97664          85070          0              2033           16   26   19   
0.10/0.19	c 4340           20073          97867          85242          0              2038           17   24   19   
0.10/0.19	c 4350           20129          98130          85464          0              2044           17   22   18   
0.10/0.19	c 4360           20182          98370          85697          0              2048           11   24   18   
0.10/0.19	c 4370           20244          98666          85948          0              2054           15   25   19   
0.10/0.19	c 4380           20294          98914          86184          0              2063           12   23   16   
0.10/0.19	c 4390           20347          99171          86423          0              2068           12   23   17   
0.10/0.19	c 4400           20401          99431          86662          0              2072           13   26   19   
0.10/0.19	c 4410           20455          99692          86883          0              2074           16   23   18   
0.10/0.19	c 4420           20499          99903          87072          0              2075           17   25   19   
0.10/0.19	c 4430           20551          100164         87291          0              2077           16   25   18   
0.10/0.20	c 4440           20590          100354         87468          0              2083           12   23   17   
0.10/0.20	c 4450           20633          100562         87656          0              2085           16   23   18   
0.10/0.20	c 4460           20679          100790         87860          0              2089           17   24   18   
0.10/0.20	c 4470           20726          101016         88057          0              2090           17   24   19   
0.10/0.20	c 4480           20763          101210         88244          0              2091           14   24   17   
0.10/0.20	c 4490           20794          101370         88415          0              2101           11   22   14   
0.10/0.20	c 4493           20820          101493         88495          0              2104           16   24   14   
0.10/0.20	c 4500           20849          101646         88627          0              2106           11   23   16   
0.10/0.20	c 4510           20894          101865         88821          0              2111           13   23   17   
0.10/0.20	c 4520           20935          102059         89012          0              2115           12   23   17   
0.10/0.20	c 4530           20974          102253         89200          0              2116           14   23   17   
0.10/0.20	c 4540           21029          102522         89420          0              2119           19   26   20   
0.10/0.20	c 4550           21063          102700         89592          0              2123           13   23   16   
0.10/0.20	c 4560           21099          102887         89784          0              2126           14   23   16   
0.10/0.20	c 4570           21131          103053         89960          0              2127           14   23   16   
0.10/0.20	c 4580           21182          103291         90177          0              2131           17   24   18   
0.10/0.20	c 4590           21219          103481         90359          0              2139           12   24   16   
0.10/0.20	c 4600           21260          103709         90560          0              2143           10   21   15   
0.10/0.20	c 4610           21290          103883         90737          0              2144           12   21   15   
0.10/0.20	c 4620           21345          104149         90975          0              2147           17   25   18   
0.10/0.20	c 4630           21388          104365         91190          0              2154           12   23   16   
0.10/0.20	c 4640           21442          104618         91399          0              2162           12   25   18   
0.10/0.20	c 4650           21478          104786         91562          0              2169           13   24   17   
0.10/0.20	c 4660           21524          105014         91770          0              2172           13   23   16   
0.10/0.21	c 4670           21565          105215         91956          0              2176           14   22   17   
0.10/0.21	c 4680           21602          105389         92114          0              2182           12   22   16   
0.10/0.21	c 4690           21661          105673         92360          0              2185           17   24   19   
0.10/0.21	c 4700           21700          105868         92559          0              2189           14   23   16   
0.10/0.21	c 4710           21747          106093         92751          0              2193           16   25   19   
0.10/0.21	c 4720           21809          106390         92985          0              2198           12   25   18   
0.10/0.21	c 4730           21852          106598         93170          0              2203           13   25   18   
0.10/0.21	c 4740           21895          106827         93359          0              2205           15   24   17   
0.10/0.21	c 4750           21943          107054         93543          0              2209           15   25   19   
0.10/0.21	c 4760           22005          107348         93759          0              2215           14   25   20   
0.10/0.21	c 4770           22049          107577         93957          0              2216           16   24   19   
0.10/0.21	c 4780           22082          107751         94120          0              2225           14   24   17   
0.10/0.21	c 4790           22130          107988         94331          0              2232           12   23   16   
0.10/0.21	c 4800           22166          108176         94498          0              2236           10   23   16   
0.10/0.21	c 4810           22207          108395         94670          0              2240           15   22   16   
0.10/0.21	c 4820           22271          108694         94898          0              2245           19   24   19   
0.10/0.21	c 4830           22319          108919         95105          0              2248           12   25   19   
0.10/0.21	c 4840           22359          109116         95283          0              2253           16   24   18   
0.10/0.21	c 4850           22397          109302         95468          0              2259           13   24   17   
0.21/0.21	c 4860           22438          109494         95649          0              2264           17   24   18   
0.21/0.21	c 4870           22485          109729         95853          0              2266           16   23   18   
0.21/0.21	c 4880           22532          109956         96049          0              2270           16   24   18   
0.21/0.22	c 4890           22580          110181         96258          0              2271           15   24   18   
0.21/0.22	c 4900           22612          110345         96435          0              2274           12   23   16   
0.21/0.22	c 4910           22654          110542         96602          0              2279           17   24   19   
0.21/0.22	c 4920           22698          110759         96798          0              2282           17   23   18   
0.21/0.22	c 4930           22733          110931         96988          0              2289           13   22   16   
0.21/0.22	c 4940           22785          111165         97204          0              2298           15   25   18   
0.21/0.22	c 4950           22834          111400         97412          0              2306           12   24   17   
0.21/0.22	c 4960           22867          111570         97580          0              2316           13   24   16   
0.21/0.22	c 4970           22900          111740         97762          0              2318           14   22   16   
0.21/0.22	c 4980           22954          111994         98004          0              2322           16   22   17   
0.21/0.22	c 4990           22990          112176         98188          0              2327           13   22   15   
0.21/0.22	c 5035           23166          113059         99064          0              2331           11   25   19   
0.21/0.24	c 5631           25197          123314         109680         0              2339           12   26   20   
0.21/0.26	c 6286           27511          135032         121713         0              2348           13   26   21   
0.21/0.28	c 7006           29971          147530         134284         0              2356           12   26   21   
0.21/0.31	c 7798           32666          161234         148824         0              2362           11   26   21   
0.31/0.33	c 8669           35836          177555         165443         0              2374           10   26   21   
0.31/0.36	c 9627           39231          195062         183347         0              2383           11   26   21   
0.31/0.40	c 10680          42870          213909         202495         0              2394           12   27   21   
0.41/0.43	c 11838          46863          234668         223231         0              2405           11   27   22   
0.41/0.47	c 13111          51375          257593         246803         0              2417           10   27   21   
0.51/0.51	c 14511          56247          282571         271414         0              2428           13   26   22   
0.51/0.56	c 16051          61440          311025         298405         0              2437           11   26   21   
0.60/0.62	c 17745          67040          342766         328403         0              2444           12   25   21   
0.60/0.68	c 19608          73534          379044         362946         0              2454           12   25   20   
0.69/0.75	c 21657          80592          416791         399549         0              2458           12   26   21   
0.79/0.82	c 23910          88182          457824         439196         0              2467           13   26   21   
0.89/0.90	c 26388          96749          503510         484180         0              2478           11   26   21   
0.89/0.99	c 29113          106093         553502         537143         0              2490           9   26   20    
1.00/1.08	c 32110          116257         607912         593949         0              2496           11   26   21   
1.00/1.08	conflict 7lvl : 8 bt8-31:0(8)X47792
1.10/1.19	 -> -31:X(8)c 35406          127779         670557         657973         0              2507           11   26   21   
1.29/1.30	c 39031          140163         735792         725329         0              2515           12   26   21   
1.29/1.31	conflict 6lvl : 9 bt8-51:0(9)X48075
1.39/1.43	 -> -51:X(9)c 43018          154095         810323         801960         0              2521           11   26   21   
1.49/1.57	c 47403          169147         888156         882475         0              2528           11   26   21   
1.69/1.72	c 52226          185535         975458         971037         0              2539           12   26   21   
1.79/1.89	c 57531          203642         1074404        1071533        0              2548           12   27   21   
2.00/2.06	c 63366          223282         1174949        1174529        0              2559           13   27   22   
2.19/2.25	c 69784          245044         1287607        1290951        0              2569           10   27   22   
2.39/2.47	c 76843          269584         1416698        1424451        0              2577           11   26   21   
2.69/2.71	c 84607          296878         1558480        1570080        0              2588           11   27   22   
2.69/2.71	conflict 10lvl : 14 bt14-31:0(12)X49264
2.89/2.98	 -> -31:X(12)c 93147          326674         1713600        1728401        0              2598           12   28   22   
3.19/3.28	c 102541         360403         1891376        1911743        0              2605           10   27   21   
3.59/3.61	c 112874         396405         2083596        2105228        0              2617           10   27   21   
3.89/3.97	c 124240         435582         2292905        2313087        0              2628           11   27   21   
4.29/4.36	c 136742         478658         2519205        2548617        0              2634           11   28   21   
4.79/4.80	c 150494         526774         2775992        2809731        0              2641           11   27   21   
5.19/5.27	c 165621         578440         3053094        3084879        0              2650           12   26   22   
5.69/5.79	c 182260         635352         3364009        3391312        0              2660           11   27   21   
6.29/6.38	c 200562         698248         3706224        3737953        0              2670           12   26   21   
7.00/7.04	c 220694         768381         4094493        4120536        0              2679           11   27   21   
7.69/7.75	c 242839         845365         4511086        4535932        0              2688           11   26   21   
8.49/8.53	c 267198         929511         4962494        4992875        0              2698           10   27   21   
9.29/9.36	c 293992         1020751        5451102        5495822        0              2710           11   27   21   
10.19/10.29	c 323465         1121469        5989881        6058137        0              2720           10   27   21   
10.19/10.29	conflict 6lvl : 10 bt10-17:0(9)X51296
11.29/11.33	 -> -17:X(9)c 355885         1235694        6596809        6688109        0              2732           10   27   22   
12.39/12.49	c 391547         1359842        7261516        7376602        0              2740           11   27   21   
13.69/13.77	c 430775         1497955        8004779        8134592        0              2752           10   27   21   
15.10/15.15	c 473925         1649046        8816100        8963522        0              2762           12   27   22   
16.49/16.56	c solution 1
16.49/16.56	
16.49/16.56	v <instantiation type='solution'>
16.49/16.56	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>
16.49/16.56	v <values>0 1 0 0 1 1 0 1 1 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 </values>
16.49/16.56	v </instantiation>
16.49/16.56	
16.49/16.56	c restarts              : 564         
16.49/16.56	c conflicts             : 518128       (31283 /sec)
16.49/16.56	c decisions             : 1802049      (108802 /sec)
16.49/16.56	c propagations          : 9800522     (591726 /sec)
16.49/16.56	c root propagations     : 0           
16.49/16.56	c filter calls          : 9643216        (582228 /sec)
16.49/16.56	c useless filter calls  : 7847333        (81 %)
16.49/16.56	c
16.49/16.56	c clauses               : 2822
16.49/16.56	c SAT propagations      : 117
16.49/16.56	c SAT conflicts         : 9 (4 learnts)
16.49/16.56	c Memory used           : 30.88 MB
16.49/16.56	c CPU time              : 16.5626 s
16.49/16.56	
16.49/16.56	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14252 MiB free)
  memory of node 1: 16384 MiB (14249 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266180-1502581057/watcher-4266180-1502581057 -o /tmp/evaluation-result-4266180-1502581057/solver-4266180-1502581057 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502567255-24473 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266180-1502581057.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=26255, runsolver pid=26252

[startup+0.10013 s]*
/proc/loadavg: 2.25 2.07 2.06 3/188 26256
/proc/meminfo: memFree=29185684/32770624 swapFree=67108860/67108860
[pid=26255] ppid=26252 vsize=31484 memory=3588 CPUtime=0.1 cores=1,3,5,7
/proc/26255/stat : 26255 (cosoco) R 26252 26255 24389 0 -1 4202496 1076 0 0 0 10 0 0 0 20 0 1 0 91193857 32239616 897 33554432000 4194304 5972588 140729960128368 140729960125016 140021950901344 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 34816000 140729960129722 140729960129822 140729960129822 140729960132558 0
/proc/26255/statm: 7871 897 782 435 0 1234 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31484 KiB
Current children cumulated memory: 3588 KiB

[startup+0.209685 s]*
/proc/loadavg: 2.25 2.07 2.06 3/188 26256
/proc/meminfo: memFree=29185260/32770624 swapFree=67108860/67108860
[pid=26255] ppid=26252 vsize=31484 memory=3588 CPUtime=0.21 cores=1,3,5,7
/proc/26255/stat : 26255 (cosoco) R 26252 26255 24389 0 -1 4202496 1115 0 0 0 21 0 0 0 20 0 1 0 91193857 32239616 897 33554432000 4194304 5972588 140729960128368 140729960125672 140021950901344 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 34816000 140729960129722 140729960129822 140729960129822 140729960132558 0
/proc/26255/statm: 7871 897 782 435 0 1234 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31484 KiB
Current children cumulated memory: 3588 KiB

[startup+0.309119 s]*
/proc/loadavg: 2.25 2.07 2.06 3/188 26256
/proc/meminfo: memFree=29185260/32770624 swapFree=67108860/67108860
[pid=26255] ppid=26252 vsize=31484 memory=3588 CPUtime=0.31 cores=1,3,5,7
/proc/26255/stat : 26255 (cosoco) R 26252 26255 24389 0 -1 4202496 1119 0 0 0 31 0 0 0 20 0 1 0 91193857 32239616 897 33554432000 4194304 5972588 140729960128368 140729960125672 5039922 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 34816000 140729960129722 140729960129822 140729960129822 140729960132558 0
/proc/26255/statm: 7871 897 782 435 0 1234 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31484 KiB
Current children cumulated memory: 3588 KiB

[startup+0.700269 s]
/proc/loadavg: 2.25 2.07 2.06 3/188 26256
/proc/meminfo: memFree=29185260/32770624 swapFree=67108860/67108860
[pid=26255] ppid=26252 vsize=31484 memory=3588 CPUtime=0.69 cores=1,3,5,7
/proc/26255/stat : 26255 (cosoco) R 26252 26255 24389 0 -1 4202496 1123 0 0 0 69 0 0 0 20 0 1 0 91193857 32239616 897 33554432000 4194304 5972588 140729960128368 140729960125672 5039757 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 34816000 140729960129722 140729960129822 140729960129822 140729960132558 0
/proc/26255/statm: 7871 897 782 435 0 1234 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31484 KiB
Current children cumulated memory: 3588 KiB

[startup+1.50027 s]
/proc/loadavg: 2.25 2.07 2.06 3/188 26256
/proc/meminfo: memFree=29185260/32770624 swapFree=67108860/67108860
[pid=26255] ppid=26252 vsize=31484 memory=3852 CPUtime=1.49 cores=1,3,5,7
/proc/26255/stat : 26255 (cosoco) R 26252 26255 24389 0 -1 4202496 1127 0 0 0 149 0 0 0 20 0 1 0 91193857 32239616 963 33554432000 4194304 5972588 140729960128368 140729960125768 5039139 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 34816000 140729960129722 140729960129822 140729960129822 140729960132558 0
/proc/26255/statm: 7871 963 785 435 0 1234 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31484 KiB
Current children cumulated memory: 3852 KiB

[startup+3.10892 s]
/proc/loadavg: 2.25 2.07 2.06 3/188 26256
/proc/meminfo: memFree=29184892/32770624 swapFree=67108860/67108860
[pid=26255] ppid=26252 vsize=31484 memory=3864 CPUtime=3.1 cores=1,3,5,7
/proc/26255/stat : 26255 (cosoco) R 26252 26255 24389 0 -1 4202496 1251 0 0 0 310 0 0 0 20 0 1 0 91193857 32239616 966 33554432000 4194304 5972588 140729960128368 140729960125672 5139490 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 34816000 140729960129722 140729960129822 140729960129822 140729960132558 0
/proc/26255/statm: 7871 966 785 435 0 1234 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 31484 KiB
Current children cumulated memory: 3864 KiB

[startup+6.30032 s]
/proc/loadavg: 2.23 2.06 2.06 3/188 26256
/proc/meminfo: memFree=29184952/32770624 swapFree=67108860/67108860
[pid=26255] ppid=26252 vsize=31484 memory=3884 CPUtime=6.29 cores=1,3,5,7
/proc/26255/stat : 26255 (cosoco) R 26252 26255 24389 0 -1 4202496 1373 0 0 0 629 0 0 0 20 0 1 0 91193857 32239616 971 33554432000 4194304 5972588 140729960128368 140729960125672 5139274 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 34816000 140729960129722 140729960129822 140729960129822 140729960132558 0
/proc/26255/statm: 7871 971 787 435 0 1234 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 31484 KiB
Current children cumulated memory: 3884 KiB

[startup+12.7003 s]
/proc/loadavg: 2.21 2.06 2.06 3/188 26256
/proc/meminfo: memFree=29185076/32770624 swapFree=67108860/67108860
[pid=26255] ppid=26252 vsize=31616 memory=3888 CPUtime=12.69 cores=1,3,5,7
/proc/26255/stat : 26255 (cosoco) R 26252 26255 24389 0 -1 4202496 1498 0 0 0 1269 0 0 0 20 0 1 0 91193857 32374784 972 33554432000 4194304 5972588 140729960128368 140729960125672 5328036 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 34816000 140729960129722 140729960129822 140729960129822 140729960132558 0
/proc/26255/statm: 7904 972 787 435 0 1267 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3888 KiB

[startup+16.5676 s]
# the end of solver process 26255 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=16.5628 s, system=0.002999 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.8003 s]
/proc/loadavg: 2.21 2.06 2.06 3/188 26256
/proc/meminfo: memFree=29185076/32770624 swapFree=67108860/67108860
[pid=26255] ppid=26252 vsize=31616 memory=3888 CPUtime=12.79 cores=1,3,5,7
/proc/26255/stat : 26255 (cosoco) R 26252 26255 24389 0 -1 4202496 1498 0 0 0 1279 0 0 0 20 0 1 0 91193857 32374784 972 33554432000 4194304 5972588 140729960128368 140729960125672 5039159 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 34816000 140729960129722 140729960129822 140729960129822 140729960132558 0
/proc/26255/statm: 7904 972 787 435 0 1267 0
Current children cumulated CPU time: 12.79 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3888 KiB

[startup+14.4002 s]
/proc/loadavg: 2.19 2.06 2.06 3/188 26256
/proc/meminfo: memFree=29185076/32770624 swapFree=67108860/67108860
[pid=26255] ppid=26252 vsize=31616 memory=3900 CPUtime=14.39 cores=1,3,5,7
/proc/26255/stat : 26255 (cosoco) R 26252 26255 24389 0 -1 4202496 1622 0 0 0 1439 0 0 0 20 0 1 0 91193857 32374784 975 33554432000 4194304 5972588 140729960128368 140729960125672 5139324 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 34816000 140729960129722 140729960129822 140729960129822 140729960132558 0
/proc/26255/statm: 7904 975 787 435 0 1267 0
Current children cumulated CPU time: 14.39 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3900 KiB

[startup+15.2003 s]
/proc/loadavg: 2.19 2.06 2.06 3/188 26256
/proc/meminfo: memFree=29185076/32770624 swapFree=67108860/67108860
[pid=26255] ppid=26252 vsize=31616 memory=3900 CPUtime=15.19 cores=1,3,5,7
/proc/26255/stat : 26255 (cosoco) R 26252 26255 24389 0 -1 4202496 1624 0 0 0 1519 0 0 0 20 0 1 0 91193857 32374784 975 33554432000 4194304 5972588 140729960128368 140729960125672 5094405 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 34816000 140729960129722 140729960129822 140729960129822 140729960132558 0
/proc/26255/statm: 7904 975 787 435 0 1267 0
Current children cumulated CPU time: 15.19 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3900 KiB

[startup+16.0002 s]*
/proc/loadavg: 2.19 2.06 2.06 3/188 26256
/proc/meminfo: memFree=29184952/32770624 swapFree=67108860/67108860
[pid=26255] ppid=26252 vsize=31616 memory=3900 CPUtime=16 cores=1,3,5,7
/proc/26255/stat : 26255 (cosoco) R 26252 26255 24389 0 -1 4202496 1624 0 0 0 1600 0 0 0 20 0 1 0 91193857 32374784 975 33554432000 4194304 5972588 140729960128368 140729960125672 5312257 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 34816000 140729960129722 140729960129822 140729960129822 140729960132558 0
/proc/26255/statm: 7904 975 787 435 0 1267 0
Current children cumulated CPU time: 16 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3900 KiB

[startup+16.4003 s]
/proc/loadavg: 2.19 2.06 2.06 3/188 26256
/proc/meminfo: memFree=29184952/32770624 swapFree=67108860/67108860
[pid=26255] ppid=26252 vsize=31616 memory=3900 CPUtime=16.39 cores=1,3,5,7
/proc/26255/stat : 26255 (cosoco) R 26252 26255 24389 0 -1 4202496 1624 0 0 0 1639 0 0 0 20 0 1 0 91193857 32374784 975 33554432000 4194304 5972588 140729960128368 140729960125672 5139501 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 34816000 140729960129722 140729960129822 140729960129822 140729960132558 0
/proc/26255/statm: 7904 975 787 435 0 1267 0
Current children cumulated CPU time: 16.39 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3900 KiB

[startup+16.5002 s]
/proc/loadavg: 2.19 2.06 2.06 3/188 26256
/proc/meminfo: memFree=29184952/32770624 swapFree=67108860/67108860
[pid=26255] ppid=26252 vsize=31616 memory=3900 CPUtime=16.49 cores=1,3,5,7
/proc/26255/stat : 26255 (cosoco) R 26252 26255 24389 0 -1 4202496 1624 0 0 0 1649 0 0 0 20 0 1 0 91193857 32374784 975 33554432000 4194304 5972588 140729960128368 140729960125672 4909191 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 34816000 140729960129722 140729960129822 140729960129822 140729960132558 0
/proc/26255/statm: 7904 975 787 435 0 1267 0
Current children cumulated CPU time: 16.49 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3900 KiB

Child status: 0
Real time (s): 16.5677
CPU time (s): 16.5658
CPU user time (s): 16.5628
CPU system time (s): 0.002999
CPU usage (%): 99.9889
Max. virtual memory (cumulated for all children) (KiB): 31616
Max. memory (cumulated for all children) (KiB): 3900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.5628
system time used= 0.002999
maximum resident set size= 3984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1663
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= 10
involuntary context switches= 18


# summary of solver processes directly reported to runsolver:
#   pid: 26255
#   total CPU time (s): 16.5658
#   total CPU user time (s): 16.5628
#   total CPU system time (s): 0.002999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.094992 second user time and 0.155114 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-13 01:23:19
IDJOB=4266180
IDBENCH=133095
IDSOLVER=2655
FILE ID=node107/4266180-1502581057
RUNJOBID= node107-1502567255-24473
PBS_JOBID= 20628284
Free space on /tmp= 61660 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/MarketSplit/MarketSplit-m1-gp/MarketSplit-09.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266180-1502581057/watcher-4266180-1502581057 -o /tmp/evaluation-result-4266180-1502581057/solver-4266180-1502581057 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502567255-24473 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4266180-1502581057.xml

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

MD5SUM BENCH= dabf91d1abe3f942053f99cb79a60185
RANDOM SEED=1079839519

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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.84
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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.84
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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.84
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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.84
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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:        29186724 kB
MemAvailable:   31821736 kB
Buffers:          128228 kB
Cached:          2800100 kB
SwapCached:            0 kB
Active:           615672 kB
Inactive:        2542108 kB
Active(anon):     232400 kB
Inactive(anon):    24972 kB
Active(file):     383272 kB
Inactive(file):  2517136 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2508 kB
Writeback:             0 kB
AnonPages:        122612 kB
Mapped:            44588 kB
Shmem:             25228 kB
Slab:             125804 kB
SReclaimable:     100876 kB
SUnreclaim:        24928 kB
KernelStack:        3584 kB
PageTables:         5588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     549064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61656 MiB
End job on node107 at 2017-08-13 01:23:36