Trace number 4265992

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 35.034199 35.090801

General information on the benchmark

NameBlackhole/Blackhole-m1-s04/
Blackhole-04-3-07.xml
MD5SUMb9d1641bf9ce43abb78b46afb69e9276
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.017926
Satisfiable
(Un)Satisfiability was proved
Number of variables32
Number of constraints27
Number of domains1
Minimum domain size16
Maximum domain size16
Distribution of domain sizes[{"size":16,"count":32}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":27},{"degree":3,"count":5}]
Minimum constraint arity1
Maximum constraint arity32
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":25},{"arity":32,"count":1}]
Number of extensional constraints15
Number of intensional constraints11
Distribution of constraint types[{"type":"extension","count":15},{"type":"intension","count":11},{"type":"channel","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.05	c Create channel(X,Y) constraint using 16 element constraint 
0.00/0.06	c intension y[2]<y[14]  using generic constraint 
0.00/0.06	c intension y[14]<y[5]  using generic constraint 
0.00/0.06	c intension y[7]<y[10]  using generic constraint 
0.00/0.06	c intension y[10]<y[8]  using generic constraint 
0.00/0.06	c intension y[3]<y[12]  using generic constraint 
0.00/0.06	c intension y[12]<y[11]  using generic constraint 
0.00/0.06	c intension y[1]<y[4]  using generic constraint 
0.00/0.06	c intension y[4]<y[15]  using generic constraint 
0.00/0.06	c intension y[6]<y[9]  using generic constraint 
0.00/0.06	c intension y[9]<y[13]  using generic constraint 
0.00/0.06	c SAT : Variables: 512 -- Clauses: 3872
0.00/0.06	c root propagations     : 90          
0.00/0.06	c restarts enabled, print stats at every restarts
0.00/0.06	c
0.00/0.06	c
0.00/0.06	c
0.00/0.06	c This is cosoco 1.12 --  
0.00/0.06	c
0.00/0.06	c command line: cosoco -lc -model -restarts -sat HOME/instance-4265992-1502583838.xml 
0.00/0.06	c ========================================[ Problem Statistics ]===========================================
0.00/0.06	c |                                                                                                       
0.00/0.06	c |  Parse time        :         0.00 s 
0.00/0.06	c |
0.00/0.06	c |               Variables: 32
0.00/0.06	c |            Domain Sizes: 16..16
0.00/0.06	c |
0.00/0.06	c |             Constraints: 42
0.00/0.06	c |                   Arity: 1..17  -- Unary: 1  -- Binary: 25
0.00/0.06	c | 
0.00/0.06	c |                   Types: 
0.00/0.06	c |                          (X - Y < k): 10
0.00/0.06	c |                          Element Constant: 16
0.00/0.06	c |                          Extension: 15  (nb tuples: 128..128) -- (shared: 14)
0.00/0.06	c |                          Intension: 1
0.00/0.06	c |                          
0.00/0.06	c =========================================================================================================
0.00/0.06	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.06	c 10             37             1572           507            32             5              19   22   18   
0.00/0.06	c 20             52             3175           2194           32             15             6   6   5      
0.00/0.06	c 30             81             4471           2918           32             21             9   13   10    
0.00/0.06	c 40             116            5578           3386           32             27             10   16   13   
0.00/0.06	c 50             146            6576           3895           32             37             13   15   13   
0.00/0.06	c 60             169            7383           4294           32             47             14   14   12   
0.00/0.06	c 70             185            8214           4731           32             57             7   7   6      
0.00/0.06	c 80             207            9331           5505           32             67             9   13   10    
0.00/0.06	c 90             226            10727          6788           32             77             10   10   9    
0.00/0.06	c 100            256            11838          7339           32             82             9   13   10    
0.00/0.06	c 101            268            12270          7583           32             83             12   12   6    
0.00/0.06	c 110            295            13454          8222           32             88             8   11   8     
0.00/0.06	c 120            328            14489          8669           32             96             11   15   13   
0.00/0.06	c 130            348            15604          9561           32             102            8   11   8     
0.00/0.06	c 140            368            16519          10050          32             106            7   9   6      
0.00/0.06	c 150            391            17821          11182          32             116            9   11   9     
0.00/0.06	c 160            417            18850          12185          32             126            8   8   7      
0.00/0.06	c 170            451            20295          12953          32             129            8   10   8     
0.00/0.06	c 180            468            21866          14505          32             139            8   8   7      
0.00/0.06	c 190            500            22970          14970          32             145            8   12   10    
0.00/0.06	c 200            523            24059          15732          32             155            11   13   11   
0.00/0.06	c 210            545            25217          16471          32             165            12   13   11   
0.00/0.06	c 211            560            25732          16768          32             166            15   15   7    
0.00/0.06	c 220            579            26375          17181          32             175            11   11   9    
0.00/0.06	c 230            608            27476          17924          32             182            10   14   11   
0.00/0.06	c 240            642            28826          18423          32             189            12   13   11   
0.00/0.06	c 250            662            29936          19378          32             199            11   11   10   
0.00/0.06	c 260            696            31109          19825          32             204            12   12   10   
0.00/0.06	c 270            726            32067          20417          32             206            14   14   12   
0.00/0.06	c 280            755            33210          21045          32             208            13   15   12   
0.00/0.06	c 290            789            34447          21942          32             215            10   10   9    
0.00/0.06	c 300            825            35705          22476          32             220            8   12   10    
0.00/0.06	c 310            859            36929          23172          32             225            12   12   10   
0.00/0.06	c 320            894            38180          23697          32             232            8   12   10    
0.00/0.06	c 330            929            39358          24243          32             237            12   12   10   
0.00/0.06	c 332            941            39818          24562          32             238            11   11   7    
0.00/0.06	c 340            971            40853          24983          32             243            12   12   10   
0.00/0.06	c 350            1002           41854          25592          32             246            14   14   12   
0.00/0.06	c 360            1030           43039          26324          32             250            13   14   12   
0.00/0.06	c 370            1058           44120          26828          32             256            11   15   11   
0.00/0.06	c 380            1089           45414          27707          32             261            11   13   10   
0.00/0.06	c 390            1123           46641          28408          32             266            11   11   10   
0.00/0.07	c 400            1162           48024          28963          32             269            8   12   10    
0.00/0.07	c 410            1180           49101          29894          32             279            9   9   8      
0.00/0.07	c 420            1210           50177          30351          32             282            8   12   10    
0.00/0.07	c 430            1245           51367          30887          32             287            12   12   10   
0.00/0.07	c 440            1269           52562          31647          32             293            10   14   10   
0.00/0.07	c 450            1302           53742          32097          32             297            12   12   10   
0.00/0.07	c 460            1338           54912          32571          32             304            12   12   10   
0.00/0.07	c 465            1354           55681          33072          32             309            12   12   10   
0.00/0.07	c 470            1375           56506          33417          32             311            12   12   10   
0.00/0.07	c 480            1408           57808          34312          32             321            12   13   11   
0.00/0.07	c 490            1435           58937          35009          32             322            11   11   10   
0.00/0.07	c 500            1466           60445          35950          32             332            11   11   10   
0.00/0.07	c 510            1500           61637          36391          32             337            12   12   10   
0.00/0.07	c 520            1529           62592          36956          32             340            14   14   12   
0.00/0.07	c 530            1549           63946          38023          32             350            10   11   9    
0.00/0.07	c 540            1590           65347          38557          32             353            15   15   13   
0.00/0.07	c 550            1614           66495          39413          32             358            11   11   10   
0.00/0.07	c 560            1650           67782          39949          32             363            8   12   10    
0.00/0.07	c 570            1679           69042          40665          32             367            11   15   12   
0.00/0.07	c 580            1715           70286          41344          32             376            12   15   13   
0.00/0.07	c 590            1739           71331          41985          32             382            11   12   10   
0.00/0.07	c 600            1773           72697          42535          32             384            11   11   10   
0.00/0.07	c 610            1795           73748          43235          32             394            12   13   11   
0.00/0.07	c 611            1808           74244          43522          32             395            13   13   6    
0.00/0.07	c 620            1836           75301          43953          32             403            11   12   10   
0.00/0.07	c 630            1870           76423          44402          32             404            11   11   10   
0.00/0.07	c 640            1901           77537          44887          32             411            10   14   11   
0.00/0.07	c 650            1930           78612          45473          32             416            14   15   12   
0.00/0.07	c 660            1953           79663          46190          32             422            11   14   11   
0.00/0.07	c 670            1988           80932          46716          32             425            8   12   10    
0.00/0.07	c 680            2021           81991          47170          32             431            11   11   10   
0.00/0.07	c 690            2052           83149          47632          32             441            9   11   9     
0.00/0.07	c 700            2085           84213          48081          32             442            11   11   10   
0.00/0.07	c 710            2115           85287          48726          32             447            11   11   10   
0.00/0.07	c 720            2148           86498          49174          32             451            12   12   10   
0.00/0.07	c 730            2180           87553          49625          32             457            11   11   10   
0.00/0.07	c 740            2213           88686          50196          32             464            8   12   10    
0.00/0.07	c 750            2246           89765          50634          32             469            11   11   10   
0.00/0.07	c 760            2280           91105          51259          32             473            11   15   10   
0.00/0.07	c 770            2312           92196          51785          32             481            12   12   10   
0.00/0.07	c 771            2324           92689          52047          32             482            12   12   6    
0.00/0.07	c 780            2353           93707          52543          32             489            11   11   9    
0.00/0.07	c 790            2386           94907          53121          32             492            8   12   10    
0.00/0.07	c 800            2418           95964          53577          32             497            11   11   10   
0.00/0.07	c 810            2450           97062          53996          32             501            12   12   10   
0.00/0.07	c 820            2482           98120          54441          32             505            11   11   10   
0.00/0.07	c 830            2515           99246          54861          32             509            12   12   10   
0.00/0.07	c 840            2550           100368         55377          32             511            11   11   10   
0.00/0.07	c 850            2584           101544         55913          32             513            8   12   10    
0.00/0.07	c 860            2607           102481         56393          32             523            12   14   11   
0.00/0.07	c 870            2634           103543         57051          32             532            11   14   11   
0.00/0.07	c 880            2665           104570         57494          32             535            11   11   10   
0.00/0.07	c 890            2698           105748         58055          32             540            8   12   10    
0.00/0.07	c 900            2730           106823         58509          32             544            11   11   10   
0.00/0.07	c 910            2764           107963         58930          32             549            12   12   10   
0.00/0.07	c 920            2796           109017         59362          32             553            11   11   10   
0.00/0.07	c 930            2829           110250         59952          32             561            8   12   10    
0.00/0.07	c 940            2861           111277         60378          32             565            11   11   10   
0.00/0.07	c 947            2887           112246         60783          32             571            12   12   10   
0.00/0.07	c 950            2902           112786         61086          32             574            11   11   8    
0.00/0.07	c 960            2932           113785         61572          32             576            11   11   10   
0.00/0.07	c 970            2967           115091         62095          32             582            8   12   10    
0.00/0.07	c 980            3001           116463         62949          32             590            11   14   11   
0.00/0.07	c 990            3024           117421         63433          32             600            12   14   11   
0.00/0.07	c 1000           3051           118469         64098          32             609            11   14   11   
0.00/0.07	c 1010           3081           119497         64542          32             611            11   11   10   
0.00/0.07	c 1020           3110           120439         64963          32             612            11   11   10   
0.00/0.07	c 1030           3143           121644         65429          32             617            12   12   10   
0.00/0.07	c 1040           3174           122673         65877          32             620            11   11   10   
0.00/0.07	c 1050           3203           123634         66306          32             630            11   11   10   
0.00/0.07	c 1060           3236           124835         66764          32             634            12   12   10   
0.00/0.07	c 1070           3267           125854         67205          32             637            11   11   10   
0.00/0.07	c 1080           3301           127057         67865          32             647            11   15   12   
0.00/0.07	c 1090           3331           128157         68383          32             650            9   13   10    
0.00/0.07	c 1100           3364           129455         69074          32             653            8   12   10    
0.00/0.07	c 1110           3401           130901         69704          32             660            12   14   12   
0.00/0.08	c 1120           3428           132025         70188          32             670            11   14   11   
0.00/0.08	c 1130           3459           133014         70600          32             673            11   11   10   
0.00/0.08	c 1140           3488           133970         71015          32             683            11   11   10   
0.00/0.08	c 1141           3500           134468         71274          32             684            12   12   6    
0.00/0.08	c 1150           3529           135454         71760          32             689            11   11   9    
0.00/0.08	c 1160           3561           136567         72185          32             692            12   12   10   
0.00/0.08	c 1170           3591           137567         72611          32             694            11   11   10   
0.00/0.08	c 1180           3623           138667         73029          32             697            12   12   10   
0.00/0.08	c 1190           3654           139700         73470          32             700            11   11   10   
0.00/0.08	c 1200           3683           140659         74028          32             705            11   14   12   
0.00/0.08	c 1210           3707           141837         74879          32             714            10   14   9    
0.00/0.08	c 1220           3739           142911         75334          32             717            12   12   10   
0.00/0.08	c 1230           3767           143818         75875          32             719            14   14   12   
0.00/0.08	c 1240           3794           144686         76505          32             724            14   14   12   
0.00/0.08	c 1250           3821           145553         77069          32             729            14   14   12   
0.00/0.08	c 1260           3844           146621         77565          32             739            11   14   10   
0.00/0.08	c 1270           3873           147614         78196          32             744            14   14   12   
0.00/0.08	c 1280           3905           148700         78610          32             747            12   12   10   
0.00/0.08	c 1290           3936           149865         79043          32             750            11   11   10   
0.00/0.08	c 1300           3964           150777         79635          32             754            14   14   12   
0.00/0.08	c 1310           3993           151739         80266          32             759            14   14   12   
0.00/0.08	c 1320           4020           152873         80703          32             762            12   14   11   
0.00/0.08	c 1330           4051           153881         81315          32             764            14   14   12   
0.00/0.08	c 1340           4086           155394         82248          32             770            9   14   11    
0.00/0.08	c 1350           4118           156555         82942          32             774            14   14   12   
0.00/0.08	c 1352           4133           157107         83271          32             775            14   14   9    
0.00/0.08	c 1360           4161           158050         83675          32             778            12   12   10   
0.00/0.08	c 1370           4192           159055         84254          32             781            14   14   12   
0.00/0.08	c 1380           4219           159913         84855          32             786            14   14   12   
0.00/0.08	c 1390           4248           160837         85455          32             789            14   14   12   
0.00/0.08	c 1400           4281           161916         85893          32             793            12   12   10   
0.00/0.08	c 1410           4316           163280         86598          32             798            8   12   10    
0.00/0.08	c 1420           4347           164429         87034          32             801            11   11   10   
0.00/0.08	c 1430           4376           165383         87609          32             804            14   14   12   
0.00/0.08	c 1440           4404           166283         88231          32             807            14   14   12   
0.00/0.08	c 1450           4437           167437         88666          32             811            12   12   10   
0.00/0.08	c 1460           4468           168578         89099          32             814            11   11   10   
0.00/0.08	c 1470           4497           169530         89703          32             819            14   14   12   
0.00/0.08	c 1480           4526           170487         90321          32             823            14   14   12   
0.00/0.08	c 1490           4562           172108         91322          32             828            10   14   11   
0.00/0.08	c 1500           4593           173216         91845          32             834            11   11   10   
0.00/0.08	c 1510           4626           174357         92270          32             838            12   12   10   
0.00/0.08	c 1520           4656           175380         92718          32             848            11   11   10   
0.00/0.08	c 1530           4689           176505         93138          32             852            12   12   10   
0.00/0.08	c 1540           4719           177538         93583          32             854            11   11   10   
0.00/0.08	c 1550           4753           178837         94262          32             860            8   12   10    
0.00/0.08	c 1560           4784           179889         94715          32             862            12   12   10   
0.00/0.08	c 1570           4814           181139         95217          32             866            9   12   9     
0.00/0.08	c 1580           4844           182227         95636          32             868            11   11   10   
0.00/0.08	c 1585           4862           182966         95983          32             869            8   11   8     
0.00/0.08	c 1590           4883           183721         96339          32             873            12   12   10   
0.00/0.08	c 1600           4913           184744         96953          32             877            14   14   12   
0.00/0.08	c 1610           4945           186025         97412          32             880            12   12   10   
0.00/0.08	c 1620           4974           187009         97999          32             883            14   14   12   
0.00/0.08	c 1630           5007           188121         98445          32             887            12   12   10   
0.00/0.08	c 1640           5036           189094         99074          32             890            14   14   12   
0.00/0.08	c 1650           5064           190099         99737          32             896            13   14   12   
0.00/0.08	c 1660           5090           190945         100134         32             900            12   17   13   
0.00/0.08	c 1670           5121           191725         100510         32             906            12   17   13   
0.00/0.08	c 1680           5156           192877         100988         32             911            11   14   11   
0.00/0.08	c 1690           5187           194219         101459         32             914            11   11   10   
0.00/0.08	c 1700           5216           195224         102045         32             917            14   14   12   
0.00/0.08	c 1710           5244           196122         102633         32             923            14   14   12   
0.00/0.08	c 1720           5267           197097         103112         32             933            12   14   11   
0.00/0.08	c 1730           5296           198196         103559         32             937            12   14   12   
0.00/0.08	c 1740           5328           199295         103998         32             941            11   11   10   
0.00/0.08	c 1750           5356           200226         104602         32             943            14   14   12   
0.00/0.08	c 1760           5384           201087         105161         32             949            14   14   12   
0.00/0.08	c 1770           5411           202159         105680         32             959            12   14   11   
0.00/0.08	c 1780           5443           203444         106260         32             962            9   14   11    
0.00/0.08	c 1790           5471           204486         106726         32             972            12   14   12   
0.00/0.08	c 1800           5503           205535         107163         32             976            11   11   10   
0.00/0.08	c 1810           5532           206493         107766         32             979            14   14   12   
0.00/0.08	c 1820           5565           207568         108194         32             983            12   12   10   
0.00/0.08	c 1830           5596           208600         108800         32             985            14   14   12   
0.00/0.08	c 1840           5627           209585         109475         32             989            14   14   12   
0.00/0.08	c 1841           5639           210060         109721         32             990            12   12   6    
0.00/0.08	c 1850           5659           210779         110121         32             999            12   12   10   
0.00/0.09	c 1860           5688           211737         110734         32             1002           14   14   12   
0.00/0.09	c 1870           5721           213000         111187         32             1006           12   12   10   
0.00/0.09	c 1880           5749           213938         111761         32             1008           14   14   12   
0.00/0.09	c 1890           5782           215158         112287         32             1015           12   13   11   
0.00/0.09	c 1900           5809           216029         112906         32             1020           14   14   12   
0.00/0.09	c 1910           5838           217013         113506         32             1023           14   14   12   
0.00/0.09	c 1920           5873           218337         114085         32             1027           12   14   11   
0.00/0.09	c 1930           5904           219408         114529         32             1037           12   12   10   
0.00/0.09	c 1940           5932           220352         115092         32             1041           14   14   12   
0.00/0.09	c 1950           5959           221221         115651         32             1046           14   14   12   
0.00/0.09	c 1960           5986           222210         116219         32             1048           12   14   11   
0.00/0.09	c 1970           6021           223215         116623         32             1054           15   17   14   
0.00/0.09	c 1980           6053           224281         117060         32             1058           11   11   10   
0.00/0.09	c 1990           6082           225316         117684         32             1062           14   14   12   
0.00/0.09	c 2000           6113           226394         118124         32             1072           12   12   10   
0.00/0.09	c 2010           6143           227441         118705         32             1076           14   15   12   
0.00/0.09	c 2020           6174           228564         119165         32             1086           12   12   10   
0.00/0.09	c 2030           6197           229523         119583         32             1096           14   14   12   
0.00/0.09	c 2040           6223           230508         120192         32             1105           12   13   11   
0.00/0.09	c 2050           6250           231659         120869         32             1109           11   11   10   
0.00/0.09	c 2060           6278           232740         121380         32             1116           13   13   11   
0.00/0.09	c 2070           6306           233984         122165         32             1118           11   11   10   
0.00/0.09	c 2080           6332           235183         122990         32             1124           11   13   10   
0.00/0.09	c 2090           6361           236424         123617         32             1128           12   12   10   
0.00/0.09	c 2100           6390           237593         124231         32             1138           10   20   10   
0.00/0.09	c 2110           6420           238625         124911         32             1145           9   14   11    
0.00/0.09	c 2120           6453           239596         125314         32             1151           20   20   18   
0.00/0.09	c 2122           6467           240166         125688         32             1153           10   10   6    
0.00/0.09	c 2130           6495           241214         126107         32             1156           12   12   10   
0.00/0.09	c 2140           6523           242476         126668         32             1163           11   13   10   
0.00/0.09	c 2150           6544           243266         127190         32             1174           11   11   10   
0.00/0.09	c 2160           6572           244178         127822         32             1179           14   14   12   
0.00/0.09	c 2170           6605           245272         128494         32             1183           13   14   12   
0.00/0.09	c 2180           6630           246206         128897         32             1192           13   13   11   
0.00/0.09	c 2190           6651           247084         129299         32             1193           11   12   10   
0.00/0.09	c 2200           6675           248172         130041         32             1202           11   14   10   
0.00/0.09	c 2210           6694           249251         130643         32             1212           10   10   9    
0.00/0.09	c 2220           6714           250314         131128         32             1222           11   11   10   
0.00/0.09	c 2230           6746           251384         131655         32             1225           12   14   12   
0.00/0.09	c 2240           6777           252488         132187         32             1232           11   11   10   
0.00/0.09	c 2250           6807           253463         132813         32             1235           14   14   12   
0.00/0.09	c 2260           6837           254539         133266         32             1245           11   11   10   
0.00/0.09	c 2270           6868           255532         133871         32             1248           14   14   12   
0.00/0.09	c 2280           6901           256714         134590         32             1253           10   10   9    
0.00/0.09	c 2290           6934           257906         135041         32             1257           12   12   10   
0.00/0.09	c 2300           6956           258846         135550         32             1265           10   13   9    
0.00/0.09	c 2310           6985           259821         136144         32             1271           14   14   12   
0.00/0.09	c 2320           7006           261021         136742         32             1281           10   12   9    
0.00/0.09	c 2330           7036           262088         137188         32             1291           11   11   10   
0.00/0.09	c 2340           7066           263064         137801         32             1295           14   14   12   
0.00/0.09	c 2350           7088           263968         138227         32             1299           11   13   10   
0.00/0.09	c 2360           7116           264922         138817         32             1303           14   14   12   
0.00/0.09	c 2370           7145           265977         139406         32             1307           14   14   12   
0.00/0.09	c 2380           7178           267147         139890         32             1314           12   12   10   
0.00/0.09	c 2390           7207           268150         140520         32             1319           14   14   12   
0.00/0.09	c 2400           7236           269057         141098         32             1322           14   14   12   
0.00/0.09	c 2410           7264           270003         141648         32             1325           14   14   12   
0.00/0.09	c 2420           7292           270962         142256         32             1327           14   14   12   
0.00/0.09	c 2430           7324           272077         142716         32             1332           12   12   10   
0.00/0.09	c 2431           7339           272619         143056         32             1334           14   14   7    
0.00/0.09	c 2440           7369           273824         143589         32             1342           12   14   11   
0.00/0.09	c 2450           7397           274770         144218         32             1347           14   14   12   
0.00/0.09	c 2460           7420           275656         144629         32             1357           14   14   12   
0.00/0.09	c 2470           7448           276594         145260         32             1361           14   14   12   
0.00/0.09	c 2480           7478           277549         145866         32             1363           14   14   12   
0.00/0.09	c 2490           7506           278468         146435         32             1366           14   14   12   
0.00/0.09	c 2500           7537           279461         147040         32             1369           14   14   12   
0.00/0.09	c 2510           7565           280388         147665         32             1371           14   14   12   
0.00/0.09	c 2520           7595           281352         148245         32             1375           14   14   12   
0.00/0.09	c 2530           7624           282427         148858         32             1376           14   15   12   
0.00/0.09	c 2540           7651           283303         149414         32             1377           14   14   12   
0.00/0.09	c 2550           7680           284236         150016         32             1380           14   14   12   
0.00/0.09	c 2560           7707           285096         150609         32             1385           14   14   12   
0.00/0.09	c 2570           7737           286566         151429         32             1390           14   15   13   
0.00/0.09	c 2580           7769           288073         152252         32             1394           14   15   12   
0.00/0.10	c 2590           7803           289695         153083         32             1399           14   15   13   
0.00/0.10	c 2600           7834           291119         153849         32             1403           14   15   12   
0.00/0.10	c 2610           7855           292329         154800         32             1413           11   12   10   
0.00/0.10	c 2620           7876           293228         155217         32             1417           10   12   9    
0.00/0.10	c 2630           7898           294145         155805         32             1425           11   11   10   
0.00/0.10	c 2640           7924           295225         156314         32             1434           14   15   12   
0.00/0.10	c 2650           7945           296120         156875         32             1439           11   11   10   
0.00/0.10	c 2660           7969           297064         157323         32             1445           14   14   12   
0.00/0.10	c 2670           7992           298020         157913         32             1447           11   11   10   
0.00/0.10	c 2680           8016           298962         158348         32             1450           14   14   12   
0.00/0.10	c 2690           8036           299707         158785         32             1460           11   11   10   
0.00/0.10	c 2700           8059           300600         159271         32             1461           12   14   11   
0.00/0.10	c 2710           8080           301482         159852         32             1470           11   11   10   
0.00/0.10	c 2720           8101           302636         160567         32             1480           11   12   10   
0.00/0.10	c 2730           8123           303589         161144         32             1487           11   11   10   
0.00/0.10	c 2740           8146           304486         161637         32             1497           12   14   11   
0.00/0.10	c 2750           8171           305741         162254         32             1507           11   12   10   
0.00/0.10	c 2760           8196           306706         162693         32             1510           14   14   12   
0.00/0.10	c 2770           8218           307845         163582         32             1520           10   13   9    
0.00/0.10	c 2771           8230           308408         163851         32             1521           12   12   6    
0.00/0.10	c 2780           8249           309072         164280         32             1530           11   11   9    
0.00/0.10	c 2790           8270           310046         164899         32             1540           11   12   10   
0.00/0.10	c 2800           8292           310981         165449         32             1543           11   11   10   
0.00/0.10	c 2810           8318           311936         166011         32             1546           11   14   10   
0.00/0.10	c 2820           8338           312686         166430         32             1556           11   11   10   
0.00/0.10	c 2830           8361           313566         166918         32             1557           12   14   11   
0.00/0.10	c 2840           8383           314487         167533         32             1567           11   11   10   
0.00/0.10	c 2850           8404           315658         168247         32             1577           11   12   10   
0.00/0.10	c 2860           8424           316387         168703         32             1587           11   11   10   
0.00/0.10	c 2870           8447           317307         169198         32             1597           12   14   11   
0.00/0.10	c 2880           8469           318221         169647         32             1606           9   12   8     
0.00/0.10	c 2890           8503           319463         170097         32             1611           12   12   10   
0.00/0.10	c 2900           8524           320343         170673         32             1618           11   11   10   
0.00/0.10	c 2910           8546           321500         171563         32             1628           10   13   9    
0.00/0.10	c 2920           8579           322774         172070         32             1633           8   12   9     
0.00/0.10	c 2930           8600           323670         172643         32             1641           11   11   10   
0.00/0.10	c 2940           8621           324680         173261         32             1651           11   12   10   
0.00/0.10	c 2950           8644           325639         173874         32             1656           11   11   10   
0.00/0.10	c 2960           8669           326576         174390         32             1659           11   14   10   
0.00/0.10	c 2970           8690           327364         174856         32             1670           11   11   10   
0.00/0.10	c 2980           8711           328502         175562         32             1680           11   12   10   
0.00/0.10	c 2990           8732           329421         176147         32             1688           11   11   10   
0.00/0.10	c 3000           8755           330303         176634         32             1689           12   14   11   
0.00/0.10	c 3010           8796           331641         177215         32             1693           8   11   9     
0.00/0.10	c 3020           8818           332579         177770         32             1698           11   11   10   
0.00/0.10	c 3030           8838           333308         178226         32             1708           11   11   10   
0.00/0.10	c 3040           8859           334224         178764         32             1710           11   11   10   
0.00/0.10	c 3050           8888           335296         179323         32             1715           11   14   11   
0.00/0.10	c 3060           8908           336082         179761         32             1725           11   11   10   
0.00/0.10	c 3070           8928           336809         180218         32             1735           11   11   10   
0.00/0.10	c 3080           8949           337748         180812         32             1744           11   11   10   
0.00/0.10	c 3090           8980           338910         181438         32             1749           11   14   11   
0.00/0.10	c 3100           9002           339851         182014         32             1755           11   11   10   
0.00/0.10	c 3110           9025           340747         182500         32             1756           12   14   11   
0.00/0.10	c 3120           9047           341660         183059         32             1759           11   11   10   
0.00/0.10	c 3130           9068           342833         183772         32             1769           11   12   10   
0.00/0.10	c 3140           9088           343565         184228         32             1779           11   11   10   
0.00/0.10	c 3142           9101           344087         184518         32             1781           12   12   8    
0.00/0.10	c 3150           9120           344918         185059         32             1787           11   11   9    
0.00/0.10	c 3160           9143           345857         185604         32             1789           10   14   10   
0.00/0.10	c 3170           9184           347166         186146         32             1794           11   11   10   
0.00/0.10	c 3180           9206           348067         186689         32             1797           12   12   10   
0.00/0.10	c 3190           9226           349217         187499         32             1807           11   11   10   
0.00/0.10	c 3200           9260           350449         188084         32             1813           6   11   7     
0.00/0.10	c 3210           9281           351363         188622         32             1816           11   11   10   
0.00/0.10	c 3220           9302           352282         189171         32             1826           11   12   10   
0.00/0.10	c 3230           9322           353012         189593         32             1836           11   11   10   
0.00/0.10	c 3240           9348           353928         190133         32             1841           9   15   10    
0.00/0.10	c 3250           9371           354894         190785         32             1851           11   11   10   
0.00/0.10	c 3260           9392           356058         191473         32             1861           11   12   10   
0.00/0.10	c 3270           9414           356986         192059         32             1868           11   11   10   
0.00/0.10	c 3280           9440           357907         192558         32             1871           10   15   11   
0.00/0.10	c 3290           9461           358824         193111         32             1875           11   11   10   
0.00/0.10	c 3300           9489           359829         193626         32             1876           11   15   11   
0.00/0.11	c 3310           9509           360724         194143         32             1877           11   11   10   
0.05/0.11	c 3320           9529           361452         194587         32             1887           11   11   10   
0.05/0.11	c 3330           9557           362465         195107         32             1888           11   15   11   
0.05/0.11	c 3340           9578           363385         195680         32             1896           11   11   10   
0.05/0.11	c 3350           9599           364527         196367         32             1906           11   12   10   
0.05/0.11	c 3360           9620           365464         196929         32             1911           11   11   10   
0.05/0.11	c 3370           9646           366373         197430         32             1914           10   15   11   
0.05/0.11	c 3380           9668           367315         197976         32             1916           11   11   10   
0.05/0.11	c 3390           9696           368284         198489         32             1917           11   15   11   
0.05/0.11	c 3400           9716           369052         198913         32             1927           11   11   10   
0.05/0.11	c 3410           9744           370028         199430         32             1928           11   15   11   
0.05/0.11	c 3420           9774           372144         201131         32             1929           11   11   10   
0.05/0.11	c 3430           9804           374357         203016         32             1934           11   11   10   
0.05/0.11	c 3440           9837           375689         203739         32             1941           14   14   12   
0.05/0.11	c 3450           9877           377834         204935         32             1951           10   13   11   
0.05/0.11	c 3460           9905           379018         205425         32             1953           11   12   10   
0.05/0.11	c 3470           9938           381357         207317         32             1958           11   11   10   
0.05/0.11	c 3480           9968           383577         209192         32             1963           11   11   10   
0.05/0.11	c 3490           10001          384902         209910         32             1969           14   14   12   
0.05/0.11	c 3500           10024          385775         210341         32             1979           13   14   11   
0.05/0.11	c 3510           10052          386943         210812         32             1984           10   12   10   
0.05/0.11	c 3520           10080          388144         211303         32             1986           11   12   10   
0.05/0.11	c 3530           10113          390482         213215         32             1992           11   11   10   
0.05/0.11	c 3540           10148          392009         214307         32             1995           10   14   10   
0.05/0.11	c 3550           10176          393236         214818         32             1997           11   12   10   
0.05/0.11	c 3551           10187          393800         215188         32             1998           11   11   5    
0.05/0.11	c 3560           10215          395832         216901         32             2001           11   11   9    
0.05/0.11	c 3570           10248          397113         217608         32             2006           14   14   12   
0.05/0.11	c 3580           10285          398873         218831         32             2011           10   14   11   
0.05/0.11	c 3590           10313          399841         219348         32             2012           11   15   11   
0.05/0.11	c 3600           10345          402144         221221         32             2017           11   11   10   
0.05/0.11	c 3610           10374          403459         222116         32             2019           13   13   11   
0.05/0.11	c 3620           10410          404968         222917         32             2020           14   14   12   
0.05/0.11	c 3630           10440          407184         224778         32             2024           11   11   10   
0.05/0.11	c 3640           10473          408476         225477         32             2028           14   14   12   
0.05/0.11	c 3650           10507          410322         226798         32             2036           13   13   11   
0.05/0.11	c 3660           10533          411227         227292         32             2037           12   15   11   
0.05/0.11	c 3670           10566          413559         229165         32             2038           11   11   10   
0.05/0.11	c 3680           10596          415830         231064         32             2041           11   11   10   
0.05/0.11	c 3690           10629          417105         231763         32             2044           14   14   12   
0.05/0.11	c 3700           10665          419016         233079         32             2049           13   13   11   
0.05/0.11	c 3710           10689          420363         233900         32             2050           11   15   10   
0.05/0.11	c 3720           10715          421335         234330         32             2060           10   12   10   
0.05/0.11	c 3730           10747          423667         236235         32             2065           11   11   10   
0.05/0.11	c 3740           10777          425009         237138         32             2068           13   13   11   
0.05/0.11	c 3750           10812          426496         237944         32             2072           14   14   12   
0.05/0.11	c 3760           10841          427836         238822         32             2076           13   13   11   
0.05/0.11	c 3770           10874          429905         240510         32             2080           12   12   10   
0.05/0.11	c 3780           10902          431186         241407         32             2083           13   13   11   
0.05/0.11	c 3790           10940          432723         242226         32             2085           14   14   12   
0.05/0.11	c 3800           10969          434069         243104         32             2089           13   13   11   
0.05/0.11	c 3810           11005          436200         244811         32             2091           12   12   10   
0.05/0.11	c 3820           11027          437069         245270         32             2101           13   13   11   
0.05/0.11	c 3830           11053          438036         245717         32             2106           8   10   7     
0.05/0.11	c 3840           11086          440128         247436         32             2110           12   12   10   
0.05/0.12	c 3850           11109          441085         247971         32             2118           11   14   10   
0.05/0.12	c 3860           11142          442377         248492         32             2125           8   12   9     
0.05/0.12	c 3870           11162          443209         248936         32             2135           11   11   10   
0.05/0.12	c 3880           11207          444609         249584         32             2139           11   15   12   
0.05/0.12	c 3890           11233          445906         250185         32             2148           11   12   10   
0.05/0.12	c 3900           11268          447400         250999         32             2153           14   14   12   
0.05/0.12	c 3910           11291          448341         251460         32             2158           12   14   11   
0.05/0.12	c 3920           11315          449419         251897         32             2159           8   13   9     
0.05/0.12	c 3930           11348          451499         253596         32             2164           12   12   10   
0.05/0.12	c 3940           11376          452680         254212         32             2166           12   14   12   
0.05/0.12	c 3950           11400          453629         254648         32             2167           8   11   7     
0.05/0.12	c 3960           11434          455744         256333         32             2172           12   12   10   
0.05/0.12	c 3970           11464          457886         258145         32             2174           11   11   10   
0.05/0.12	c 3980           11490          458965         258711         32             2184           13   13   11   
0.05/0.12	c 3990           11511          460143         259426         32             2194           11   12   10   
0.05/0.12	c 4000           11533          461158         260020         32             2203           11   11   10   
0.05/0.12	c 4001           11545          461646         260286         32             2204           12   12   6    
0.05/0.12	c 4010           11564          462443         260716         32             2213           11   11   9    
0.05/0.12	c 4020           11590          463388         261209         32             2214           12   15   11   
0.05/0.12	c 4030           11611          464392         261787         32             2222           11   11   10   
0.05/0.12	c 4040           11654          466003         262669         32             2224           11   15   12   
0.05/0.12	c 4050           11676          466919         263119         32             2233           9   12   8     
0.05/0.12	c 4060           11700          467887         263555         32             2235           8   11   7     
0.05/0.12	c 4070           11734          470010         265280         32             2240           12   12   10   
0.05/0.12	c 4080           11757          470930         265742         32             2245           12   14   11   
0.05/0.12	c 4090           11782          471958         266184         32             2251           8   11   7     
0.05/0.12	c 4100           11804          472965         266747         32             2257           11   11   10   
0.05/0.12	c 4110           11826          474333         267635         32             2259           10   12   10   
0.05/0.12	c 4120           11857          475408         268145         32             2266           7   12   8     
0.05/0.12	c 4130           11880          476803         269083         32             2267           11   11   10   
0.05/0.12	c 4140           11909          478917         270825         32             2268           11   11   10   
0.05/0.12	c 4150           11939          480260         271693         32             2272           12   14   11   
0.05/0.12	c 4160           11969          481555         272467         32             2279           12   14   12   
0.05/0.12	c 4170           12002          482522         272863         32             2282           21   21   19   
0.05/0.12	c 4180           12024          483768         273879         32             2291           10   13   9    
0.05/0.12	c 4190           12068          485047         274411         32             2295           9   12   10    
0.05/0.12	c 4200           12088          485860         274841         32             2305           11   11   10   
0.05/0.12	c 4210           12130          487369         275686         32             2308           11   15   12   
0.05/0.12	c 4220           12158          488555         276158         32             2313           10   12   10   
0.05/0.12	c 4230           12182          489527         276595         32             2315           8   11   7     
0.05/0.12	c 4240           12214          491589         278315         32             2318           12   12   10   
0.05/0.12	c 4250           12239          492872         279203         32             2327           10   14   10   
0.05/0.12	c 4260           12277          494168         279904         32             2332           13   15   12   
0.05/0.12	c 4270           12314          495297         280358         32             2337           12   21   15   
0.05/0.12	c 4280           12346          496477         280819         32             2342           9   12   10    
0.05/0.12	c 4290           12370          497464         281257         32             2344           8   11   7     
0.05/0.12	c 4300           12402          499512         282972         32             2347           12   12   10   
0.05/0.12	c 4310           12434          500544         283439         32             2348           14   14   12   
0.05/0.12	c 4320           12460          501638         284098         32             2357           13   13   11   
0.05/0.12	c 4330           12485          502679         284546         32             2361           8   11   7     
0.05/0.12	c 4340           12506          503667         285119         32             2370           11   11   10   
0.05/0.12	c 4350           12540          505077         285991         32             2374           13   15   12   
0.05/0.12	c 4360           12565          506177         286599         32             2381           13   13   11   
0.05/0.12	c 4370           12603          507390         287122         32             2387           11   11   10   
0.05/0.12	c 4380           12635          509413         288807         32             2390           12   12   10   
0.05/0.12	c 4390           12655          510601         289957         32             2400           11   11   10   
0.05/0.12	c 4400           12681          511505         290449         32             2401           12   15   11   
0.05/0.12	c 4410           12702          512512         291023         32             2408           11   11   10   
0.05/0.12	c 4420           12726          513856         291843         32             2409           11   15   10   
0.05/0.12	c 4430           12762          515093         292363         32             2413           11   11   10   
0.05/0.12	c 4440           12794          517110         294044         32             2416           12   12   10   
0.05/0.12	c 4450           12816          518523         295318         32             2424           11   12   10   
0.05/0.12	c 4460           12859          519867         295953         32             2427           11   15   12   
0.05/0.13	c 4470           12882          520824         296477         32             2437           12   14   11   
0.05/0.13	c 4480           12923          522134         297043         32             2440           11   11   10   
0.05/0.13	c 4490           12951          523116         297645         32             2445           14   14   12   
0.05/0.13	c 4493           12966          523767         297970         32             2448           13   13   9    
0.05/0.13	c 4500           12997          524814         298471         32             2451           6   11   8     
0.05/0.13	c 4510           13018          525814         299020         32             2456           11   11   10   
0.05/0.13	c 4520           13040          527182         299906         32             2458           10   12   10   
0.05/0.13	c 4530           13081          528541         300475         32             2462           8   11   9     
0.05/0.13	c 4540           13102          529537         301012         32             2465           11   11   10   
0.05/0.13	c 4550           13122          530692         301823         32             2475           11   11   10   
0.05/0.13	c 4560           13164          532044         302382         32             2477           11   11   10   
0.05/0.13	c 4570           13184          533002         302908         32             2478           11   11   10   
0.05/0.13	c 4580           13206          534430         304168         32             2483           11   12   10   
0.05/0.13	c 4590           13228          535790         305109         32             2491           10   12   9    
0.05/0.13	c 4600           13266          537019         305621         32             2497           11   11   10   
0.05/0.13	c 4610           13298          539108         307351         32             2503           12   12   10   
0.05/0.13	c 4620           13327          540392         308091         32             2505           12   14   11   
0.05/0.13	c 4630           13355          541417         308699         32             2509           14   14   12   
0.05/0.13	c 4640           13382          542678         309563         32             2511           13   13   11   
0.05/0.13	c 4650           13410          543675         310181         32             2514           14   14   12   
0.05/0.13	c 4660           13433          544593         310732         32             2523           13   13   11   
0.05/0.13	c 4670           13474          545879         311246         32             2527           11   11   10   
0.05/0.13	c 4680           13505          547970         312950         32             2529           12   12   10   
0.05/0.13	c 4690           13528          548913         313469         32             2535           12   14   11   
0.05/0.13	c 4700           13558          550013         313951         32             2537           8   11   8     
0.05/0.13	c 4710           13586          551007         314569         32             2539           14   14   12   
0.05/0.13	c 4720           13609          551933         315057         32             2542           12   14   11   
0.05/0.13	c 4730           13634          552934         315501         32             2544           8   11   7     
0.05/0.13	c 4740           13661          553862         316105         32             2545           14   14   12   
0.05/0.13	c 4750           13686          555261         317235         32             2555           11   14   10   
0.05/0.13	c 4760           13718          557387         318964         32             2558           12   12   10   
0.05/0.13	c 4770           13751          558883         319977         32             2566           14   14   12   
0.05/0.13	c 4780           13778          559811         320572         32             2571           14   14   12   
0.05/0.13	c 4790           13812          561362         321606         32             2574           14   14   12   
0.05/0.13	c 4800           13844          563465         323310         32             2577           12   12   10   
0.05/0.13	c 4810           13877          564948         324314         32             2583           14   14   12   
0.05/0.13	c 4820           13905          565882         324870         32             2588           14   14   12   
0.05/0.13	c 4830           13928          567035         325628         32             2593           10   14   10   
0.05/0.13	c 4840           13952          568023         326065         32             2594           8   11   7     
0.05/0.13	c 4850           13984          570114         327759         32             2597           12   12   10   
0.05/0.13	c 4860           14018          571669         328778         32             2602           14   14   12   
0.05/0.13	c 4870           14040          572601         329382         32             2612           12   12   10   
0.05/0.13	c 4880           14064          573922         330289         32             2616           9   15   9     
0.05/0.13	c 4890           14088          574932         330729         32             2620           8   11   7     
0.05/0.13	c 4900           14108          575728         331159         32             2630           11   11   10   
0.05/0.13	c 4910           14129          576906         331873         32             2640           11   12   10   
0.05/0.13	c 4920           14150          577882         332460         32             2649           11   11   10   
0.05/0.13	c 4930           14174          578813         332957         32             2659           12   15   11   
0.05/0.13	c 4940           14199          579883         333446         32             2668           10   14   10   
0.05/0.13	c 4950           14232          581153         334038         32             2674           6   11   7     
0.05/0.13	c 4960           14253          582140         334600         32             2681           11   11   10   
0.05/0.13	c 4970           14293          583533         335410         32             2685           11   15   11   
0.05/0.13	c 4980           14313          584536         335840         32             2694           7   11   6     
0.05/0.13	c 4990           14334          585520         336390         32             2699           11   11   10   
0.05/0.13	c 5035           14411          589047         338274         32             2708           9   15   11    
0.05/0.14	c 5631           15585          631771         352497         32             2717           7   14   9     
0.05/0.14	c 6286           16627          678799         382855         32             2770           10   15   12   
0.05/0.15	c 7006           18049          730649         404476         32             2805           8   15   13    
0.05/0.15	c 7798           19159          777210         426789         32             2843           9   15   13    
0.05/0.15	c 8669           20412          839500         464104         32             2863           8   15   12    
0.05/0.16	c 9627           21631          892427         485668         32             2884           10   15   11   
0.05/0.17	c 10680          23830          967190         510850         32             2898           8   12   10    
0.05/0.17	c 11838          25553          1059085        575237         32             2925           7   15   11    
0.05/0.18	c 13111          28293          1137230        599663         32             2952           10   14   12   
0.05/0.19	c 14511          31446          1246475        638687         32             2962           7   13   10    
0.05/0.20	c 16051          35278          1357954        674354         32             2978           11   12   11   
0.05/0.21	c 17745          38817          1479804        721566         32             3003           7   14   11    
0.15/0.22	c 19608          43426          1616473        765687         32             3039           9   15   11    
0.15/0.23	c 21657          47383          1734733        807536         32             3061           8   14   12    
0.15/0.24	c 23910          52972          1903362        862101         32             3086           10   12   11   
0.15/0.25	c 26388          56683          2013366        898085         32             3110           6   12   11    
0.15/0.26	c 29113          60750          2171887        955517         32             3154           7   13   11    
0.15/0.27	c 32110          67590          2397073        1039300        32             3181           5   15   11    
0.15/0.28	c 35406          71348          2547135        1098839        32             3212           5   15   13    
0.15/0.30	c 39031          77887          2774775        1188377        32             3231           6   13   11    
0.25/0.32	c 43018          83286          2993726        1275959        32             3248           8   13   11    
0.25/0.33	c 47403          90803          3245537        1369884        32             3267           8   15   12    
0.25/0.36	c 52226          102062         3588261        1503308        32             3304           6   15   13    
0.25/0.39	c 57531          112868         3918946        1616813        32             3332           8   15   11    
0.25/0.41	c 63366          120867         4260935        1778925        32             3384           7   15   11    
0.35/0.45	c 69784          134926         4691354        1928457        32             3416           8   15   11    
0.35/0.48	c 76843          147305         5109696        2075151        32             3445           6   15   13    
0.45/0.51	c 84607          164261         5608988        2236027        32             3464           9   15   11    
0.45/0.56	c 93147          184569         6242209        2471953        32             3497           6   15   12    
0.54/0.60	c 102541         200372         6876054        2682234        32             3507           5   14   9     
0.54/0.65	c 112874         216743         7455416        2897679        32             3540           7   15   13    
0.64/0.70	c 124240         240408         8236724        3158813        32             3559           7   13   11    
0.64/0.75	c 136742         261974         8923586        3397493        32             3590           8   15   12    
0.74/0.83	c 150494         294479         9964681        3789123        32             3621           6   15   12    
0.74/0.88	c 165621         320216         10692739       4025869        32             3646           6   15   12    
0.84/0.95	c 182260         349789         11630042       4353639        32             3673           9   15   12    
0.94/1.05	c 200562         392745         12913027       4859287        32             3698           6   15   14    
1.04/1.13	c 220694         423296         14044598       5239897        32             3736           8   14   11    
1.14/1.22	c 242839         460331         15251630       5667700        32             3763           8   15   12    
1.24/1.35	c 267198         508429         17008201       6446142        32             3798           7   15   13    
1.34/1.46	c 293992         552649         18441110       6950124        32             3822           9   15   12    
1.44/1.57	c 323465         597366         20029796       7515853        32             3852           7   15   13    
1.64/1.74	c 355885         658859         22313427       8515007        32             3881           7   15   13    
1.74/1.88	c 391547         713509         24160436       9167565        32             3930           9   15   13    
1.94/2.01	c 430775         766633         26093505       9888269        32             3955           7   15   13    
2.14/2.26	c 473925         840798         29288142       11350978       32             4002           6   15   12    
2.34/2.43	c 521390         908280         31671937       12222899       32             4032           8   15   13    
2.54/2.65	c 573601         999231         34694472       13322623       32             4062           6   15   13    
2.74/2.86	c 631033         1083920        37803967       14443223       32             4091           6   15   13    
2.94/3.09	c 694208         1174614        41017067       15617177       32             4128           7   15   13    
3.34/3.45	c 763700         1340740        45754579       17368236       32             4165           6   15   14    
3.64/3.76	c 840141         1457931        50360482       19061455       32             4187           6   14   11    
4.04/4.19	c 924226         1574676        55635131       21848710       32             4211           6   15   12    
4.44/4.52	c 1016719        1706785        60723204       23613320       32             4237           6   15   11    
4.84/4.94	c 1118461        1871529        66353491       25916771       32             4274           8   15   13    
5.44/5.53	c 1230377        2089735        73829193       29186167       32             4293           8   15   14    
5.84/5.93	c 1353484        2245923        79590017       31395019       32             4336           8   15   13    
6.34/6.47	c 1488901        2478145        87696406       34165235       32             4346           7   14   12    
7.14/7.28	c 1637859        2735329        98158144       38994007       32             4381           6   15   13    
7.74/7.87	c 1801712        2966524        107271281      42186132       32             4405           6   14   11    
8.34/8.48	c 1981950        3207915        116403137      45368026       32             4425           6   15   13    
8.94/9.09	c 2180211        3432408        124987397      48831419       32             4452           9   15   13    
10.24/10.39	c 2398298        3813535        141472766      56987689       32             4491           6   15   13    
11.74/11.86	c 2638193        4248471        159827564      66858601       32             4528           10   15   13   
13.14/13.22	c 2902077        4714773        177549873      75676363       32             4564           6   15   12    
14.64/14.74	c 3192349        5213784        197727174      85001068       32             4590           6   18   12    
15.84/15.97	c 3511648        5667412        215573872      91474524       32             4609           10   15   13   
17.44/17.56	c 3862876        6163698        235945704      101464321      32             4642           7   15   13    
20.14/20.23	c 4249226        6822957        267767236      120684845      32             4662           9   15   13    
27.14/27.26	c 4674211        8340211        341027946      159656049      32             4686           7   15   14    
30.34/30.47	c 5141694        9204001        378897678      182688252      32             4715           9   15   13    
34.74/34.80	c 5655925        10277875       428925818      213949184      32             4750           9   16   13    
34.94/35.09	c solution 1
34.94/35.09	
34.94/35.09	v <instantiation type='solution'>
34.94/35.09	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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] </list>
34.94/35.09	v <values>0 3 12 11 2 1 4 15 14 5 6 7 10 9 8 13 0 5 4 1 6 9 10 11 14 13 12 3 2 15 8 7 </values>
34.94/35.09	v </instantiation>
34.94/35.09	
34.94/35.09	c restarts              : 590         
34.94/35.09	c conflicts             : 5721471      (163326 /sec)
34.94/35.09	c decisions             : 10392903     (296678 /sec)
34.94/35.09	c propagations          : 215409525   (6149131 /sec)
34.94/35.09	c root propagations     : 90          
34.94/35.09	c filter calls          : 433054767      (12362083 /sec)
34.94/35.09	c useless filter calls  : 302466853      (69 %)
34.94/35.09	c
34.94/35.09	c clauses               : 8622
34.94/35.09	c SAT propagations      : 8773
34.94/35.09	c SAT conflicts         : 143 (0 learnts)
34.94/35.09	c Memory used           : 31.14 MB
34.94/35.09	c CPU time              : 35.0308 s
34.94/35.09	
34.94/35.09	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 (14757 MiB free)
  memory of node 1: 16384 MiB (15293 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265992-1502583838/watcher-4265992-1502583838 -o /tmp/evaluation-result-4265992-1502583838/solver-4265992-1502583838 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7149 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265992-1502583838.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
solver pid=12448, runsolver pid=12445
Current StackSize limit: 8192 KiB


[startup+0.10011 s]*
/proc/loadavg: 1.87 1.98 2.03 4/185 12449
/proc/meminfo: memFree=30771924/32770624 swapFree=67108860/67108860
[pid=12448] ppid=12445 vsize=31748 memory=4120 CPUtime=0.05 cores=1,3,5,7
/proc/12448/stat : 12448 (cosoco) R 12445 12448 7084 0 -1 4202496 1212 0 0 0 5 0 0 0 20 0 1 0 158036634 32509952 1030 18446744073709551615 4194304 5972588 140733501614592 140733501611240 140075543714912 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 22913024 140733501616580 140733501616680 140733501616680 140733501620174 0
/proc/12448/statm: 7937 1030 840 435 0 1300 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4120 KiB

[startup+0.210035 s]*
/proc/loadavg: 1.87 1.98 2.03 3/185 12449
/proc/meminfo: memFree=30771552/32770624 swapFree=67108860/67108860
[pid=12448] ppid=12445 vsize=31748 memory=4120 CPUtime=0.15 cores=1,3,5,7
/proc/12448/stat : 12448 (cosoco) R 12445 12448 7084 0 -1 4202496 1243 0 0 0 15 0 0 0 20 0 1 0 158036634 32509952 1030 18446744073709551615 4194304 5972588 140733501614592 140733501611240 4995544 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 22913024 140733501616580 140733501616680 140733501616680 140733501620174 0
/proc/12448/statm: 7937 1030 840 435 0 1300 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4120 KiB

[startup+0.308824 s]*
/proc/loadavg: 1.87 1.98 2.03 3/185 12449
/proc/meminfo: memFree=30771552/32770624 swapFree=67108860/67108860
[pid=12448] ppid=12445 vsize=31748 memory=4120 CPUtime=0.25 cores=1,3,5,7
/proc/12448/stat : 12448 (cosoco) R 12445 12448 7084 0 -1 4202496 1248 0 0 0 25 0 0 0 20 0 1 0 158036634 32509952 1030 18446744073709551615 4194304 5972588 140733501614592 140733501611240 4995408 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 22913024 140733501616580 140733501616680 140733501616680 140733501620174 0
/proc/12448/statm: 7937 1030 840 435 0 1300 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4120 KiB

[startup+0.700228 s]
/proc/loadavg: 1.87 1.98 2.03 3/185 12449
/proc/meminfo: memFree=30771636/32770624 swapFree=67108860/67108860
[pid=12448] ppid=12445 vsize=31884 memory=4384 CPUtime=0.64 cores=1,3,5,7
/proc/12448/stat : 12448 (cosoco) R 12445 12448 7084 0 -1 4202496 1264 0 0 0 64 0 0 0 20 0 1 0 158036634 32649216 1096 18446744073709551615 4194304 5972588 140733501614592 140733501611896 5328713 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 22913024 140733501616580 140733501616680 140733501616680 140733501620174 0
/proc/12448/statm: 7971 1096 840 435 0 1334 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 31884 KiB
Current children cumulated memory: 4384 KiB

[startup+1.50026 s]
/proc/loadavg: 1.87 1.98 2.03 3/185 12449
/proc/meminfo: memFree=30771636/32770624 swapFree=67108860/67108860
[pid=12448] ppid=12445 vsize=31884 memory=4384 CPUtime=1.44 cores=1,3,5,7
/proc/12448/stat : 12448 (cosoco) R 12445 12448 7084 0 -1 4202496 1268 0 0 0 144 0 0 0 20 0 1 0 158036634 32649216 1096 18446744073709551615 4194304 5972588 140733501614592 140733501611896 5323325 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 22913024 140733501616580 140733501616680 140733501616680 140733501620174 0
/proc/12448/statm: 7971 1096 840 435 0 1334 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 31884 KiB
Current children cumulated memory: 4384 KiB

[startup+3.109 s]
/proc/loadavg: 1.87 1.98 2.03 3/185 12449
/proc/meminfo: memFree=30771636/32770624 swapFree=67108860/67108860
[pid=12448] ppid=12445 vsize=31884 memory=4428 CPUtime=3.04 cores=1,3,5,7
/proc/12448/stat : 12448 (cosoco) R 12445 12448 7084 0 -1 4202496 1456 0 0 0 304 0 0 0 20 0 1 0 158036634 32649216 1107 18446744073709551615 4194304 5972588 140733501614592 140733501611896 5327752 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 22913024 140733501616580 140733501616680 140733501616680 140733501620174 0
/proc/12448/statm: 7971 1107 840 435 0 1334 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 31884 KiB
Current children cumulated memory: 4428 KiB

[startup+6.30021 s]
/proc/loadavg: 1.80 1.96 2.02 3/185 12449
/proc/meminfo: memFree=30771808/32770624 swapFree=67108860/67108860
[pid=12448] ppid=12445 vsize=31884 memory=4460 CPUtime=6.24 cores=1,3,5,7
/proc/12448/stat : 12448 (cosoco) R 12445 12448 7084 0 -1 4202496 1658 0 0 0 624 0 0 0 20 0 1 0 158036634 32649216 1115 18446744073709551615 4194304 5972588 140733501614592 140733501611896 4995479 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 22913024 140733501616580 140733501616680 140733501616680 140733501620174 0
/proc/12448/statm: 7971 1115 840 435 0 1334 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 31884 KiB
Current children cumulated memory: 4460 KiB

[startup+12.7002 s]
/proc/loadavg: 1.82 1.96 2.02 3/185 12449
/proc/meminfo: memFree=30771048/32770624 swapFree=67108860/67108860
[pid=12448] ppid=12445 vsize=31884 memory=4468 CPUtime=12.64 cores=1,3,5,7
/proc/12448/stat : 12448 (cosoco) R 12445 12448 7084 0 -1 4202496 1861 0 0 0 1264 0 0 0 20 0 1 0 158036634 32649216 1117 18446744073709551615 4194304 5972588 140733501614592 140733501611896 5099630 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 22913024 140733501616580 140733501616680 140733501616680 140733501620174 0
/proc/12448/statm: 7971 1117 840 435 0 1334 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 31884 KiB
Current children cumulated memory: 4468 KiB

[startup+25.5002 s]
/proc/loadavg: 1.86 1.96 2.02 3/185 12449
/proc/meminfo: memFree=30771412/32770624 swapFree=67108860/67108860
[pid=12448] ppid=12445 vsize=31884 memory=4512 CPUtime=25.44 cores=1,3,5,7
/proc/12448/stat : 12448 (cosoco) R 12445 12448 7084 0 -1 4202496 2237 0 0 0 2544 0 0 0 20 0 1 0 158036634 32649216 1128 18446744073709551615 4194304 5972588 140733501614592 140733501611896 5321336 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 22913024 140733501616580 140733501616680 140733501616680 140733501620174 0
/proc/12448/statm: 7971 1128 840 435 0 1334 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 31884 KiB
Current children cumulated memory: 4512 KiB

[startup+35.0907 s]
# the end of solver process 12448 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=35.0312 s, system=0.003018 s

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

[startup+25.6002 s]
/proc/loadavg: 1.86 1.96 2.02 3/185 12449
/proc/meminfo: memFree=30771412/32770624 swapFree=67108860/67108860
[pid=12448] ppid=12445 vsize=31884 memory=4512 CPUtime=25.54 cores=1,3,5,7
/proc/12448/stat : 12448 (cosoco) R 12445 12448 7084 0 -1 4202496 2237 0 0 0 2554 0 0 0 20 0 1 0 158036634 32649216 1128 18446744073709551615 4194304 5972588 140733501614592 140733501611896 4908860 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 22913024 140733501616580 140733501616680 140733501616680 140733501620174 0
/proc/12448/statm: 7971 1128 840 435 0 1334 0
Current children cumulated CPU time: 25.54 s
Current children cumulated vsize: 31884 KiB
Current children cumulated memory: 4512 KiB

[startup+32.0002 s]*
/proc/loadavg: 1.87 1.96 2.02 3/188 12463
/proc/meminfo: memFree=30766032/32770624 swapFree=67108860/67108860
[pid=12448] ppid=12445 vsize=31884 memory=4516 CPUtime=31.94 cores=1,3,5,7
/proc/12448/stat : 12448 (cosoco) R 12445 12448 7084 0 -1 4202496 2272 0 0 0 3194 0 0 0 20 0 1 0 158036634 32649216 1129 18446744073709551615 4194304 5972588 140733501614592 140733501611896 4995513 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 22913024 140733501616580 140733501616680 140733501616680 140733501620174 0
/proc/12448/statm: 7971 1129 840 435 0 1334 0
Current children cumulated CPU time: 31.94 s
Current children cumulated vsize: 31884 KiB
Current children cumulated memory: 4516 KiB

[startup+33.6002 s]
/proc/loadavg: 1.87 1.96 2.02 3/188 12463
/proc/meminfo: memFree=30765908/32770624 swapFree=67108860/67108860
[pid=12448] ppid=12445 vsize=31884 memory=4516 CPUtime=33.54 cores=1,3,5,7
/proc/12448/stat : 12448 (cosoco) R 12445 12448 7084 0 -1 4202496 2272 0 0 0 3354 0 0 0 20 0 1 0 158036634 32649216 1129 18446744073709551615 4194304 5972588 140733501614592 140733501611896 5240700 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 22913024 140733501616580 140733501616680 140733501616680 140733501620174 0
/proc/12448/statm: 7971 1129 840 435 0 1334 0
Current children cumulated CPU time: 33.54 s
Current children cumulated vsize: 31884 KiB
Current children cumulated memory: 4516 KiB

[startup+34.4002 s]
/proc/loadavg: 1.87 1.96 2.02 3/188 12463
/proc/meminfo: memFree=30765908/32770624 swapFree=67108860/67108860
[pid=12448] ppid=12445 vsize=31884 memory=4516 CPUtime=34.34 cores=1,3,5,7
/proc/12448/stat : 12448 (cosoco) R 12445 12448 7084 0 -1 4202496 2272 0 0 0 3434 0 0 0 20 0 1 0 158036634 32649216 1129 18446744073709551615 4194304 5972588 140733501614592 140733501611896 4909152 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 22913024 140733501616580 140733501616680 140733501616680 140733501620174 0
/proc/12448/statm: 7971 1129 840 435 0 1334 0
Current children cumulated CPU time: 34.34 s
Current children cumulated vsize: 31884 KiB
Current children cumulated memory: 4516 KiB

[startup+34.8002 s]
/proc/loadavg: 1.87 1.96 2.02 3/188 12463
/proc/meminfo: memFree=30765908/32770624 swapFree=67108860/67108860
[pid=12448] ppid=12445 vsize=31884 memory=4516 CPUtime=34.74 cores=1,3,5,7
/proc/12448/stat : 12448 (cosoco) R 12445 12448 7084 0 -1 4202496 2272 0 0 0 3474 0 0 0 20 0 1 0 158036634 32649216 1129 18446744073709551615 4194304 5972588 140733501614592 140733501611896 5240320 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 22913024 140733501616580 140733501616680 140733501616680 140733501620174 0
/proc/12448/statm: 7971 1129 840 435 0 1334 0
Current children cumulated CPU time: 34.74 s
Current children cumulated vsize: 31884 KiB
Current children cumulated memory: 4516 KiB

[startup+35.0002 s]*
/proc/loadavg: 1.88 1.96 2.02 3/188 12463
/proc/meminfo: memFree=30766432/32770624 swapFree=67108860/67108860
[pid=12448] ppid=12445 vsize=31884 memory=4516 CPUtime=34.94 cores=1,3,5,7
/proc/12448/stat : 12448 (cosoco) R 12445 12448 7084 0 -1 4202496 2274 0 0 0 3494 0 0 0 20 0 1 0 158036634 32649216 1129 18446744073709551615 4194304 5972588 140733501614592 140733501611896 5322414 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 22913024 140733501616580 140733501616680 140733501616680 140733501620174 0
/proc/12448/statm: 7971 1129 840 435 0 1334 0
Current children cumulated CPU time: 34.94 s
Current children cumulated vsize: 31884 KiB
Current children cumulated memory: 4516 KiB

Child status: 0
Real time (s): 35.0908
CPU time (s): 35.0342
CPU user time (s): 35.0312
CPU system time (s): 0.003018
CPU usage (%): 99.8389
Max. virtual memory (cumulated for all children) (KiB): 31884
Max. memory (cumulated for all children) (KiB): 4516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.0312
system time used= 0.003018
maximum resident set size= 4584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2311
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 11


# summary of solver processes directly reported to runsolver:
#   pid: 12448
#   total CPU time (s): 35.0342
#   total CPU user time (s): 35.0312
#   total CPU system time (s): 0.003018

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.147822 second user time and 0.29326 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-13 02:09:34
IDJOB=4265992
IDBENCH=134559
IDSOLVER=2655
FILE ID=node132/4265992-1502583838
RUNJOBID= node132-1502565147-7149
PBS_JOBID= 
Free space on /tmp= 62000 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s04/Blackhole-04-3-07.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265992-1502583838/watcher-4265992-1502583838 -o /tmp/evaluation-result-4265992-1502583838/solver-4265992-1502583838 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7149 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4265992-1502583838.xml

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

MD5SUM BENCH= b9d1641bf9ce43abb78b46afb69e9276
RANDOM SEED=1188290059

node132.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.74
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.74
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.74
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.74
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:        30772292 kB
MemAvailable:   31690240 kB
Buffers:          311740 kB
Cached:           914924 kB
SwapCached:            0 kB
Active:          1025624 kB
Inactive:         531880 kB
Active(anon):     331660 kB
Inactive(anon):    49012 kB
Active(file):     693964 kB
Inactive(file):   482868 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2444 kB
Writeback:             4 kB
AnonPages:        330204 kB
Mapped:            64784 kB
Shmem:             49852 kB
Slab:             141024 kB
SReclaimable:     113900 kB
SUnreclaim:        27124 kB
KernelStack:        3264 kB
PageTables:         5852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     627404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 62000 MiB
End job on node132 at 2017-08-13 02:10:09