Trace number 4241945

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: cosoco-sat 1.1SAT 26.3999 26.4058

General information on the benchmark

NameMarketSplit/MarketSplit-m1-gp/
MarketSplit-08.xml
MD5SUMc33b611f783ff62a93dcb2ff1216bc06
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.042851999
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints4
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":30}]
Minimum variable degree4
Maximum variable degree4
Distribution of variable degrees[{"degree":4,"count":30}]
Minimum constraint arity30
Maximum constraint arity30
Distribution of constraint arities[{"arity":30,"count":4}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":4}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c SAT : Variables: 60 -- Clauses: 60
0.00/0.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 1.0 --  
0.00/0.00	c
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 30
0.00/0.00	c |            Domain Sizes: 2..2
0.00/0.00	c |
0.00/0.00	c |             Constraints: 4
0.00/0.00	c |                   Arity: 30..30
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Sum: 4
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.00	c 10             42             205            159            0              3              20   27   21   
0.00/0.00	c 20             87             424            344            0              6              14   27   19   
0.00/0.00	c 30             139            665            539            0              11             15   27   20   
0.00/0.00	c 40             184            877            720            0              12             18   27   21   
0.00/0.00	c 50             222            1056           896            0              16             14   26   18   
0.00/0.00	c 60             261            1237           1066           0              23             16   25   19   
0.00/0.01	c 70             296            1402           1234           0              29             12   26   18   
0.00/0.01	c 80             338            1599           1416           0              35             18   23   18   
0.00/0.01	c 90             378            1792           1609           0              40             14   26   17   
0.00/0.01	c 100            413            1962           1786           0              42             13   24   17   
0.00/0.01	c 101            425            2014           1811           0              43             12   12   6    
0.00/0.01	c 110            466            2205           1986           0              50             12   25   17   
0.00/0.01	c 120            513            2428           2195           0              55             12   25   18   
0.00/0.01	c 130            564            2672           2415           0              60             12   23   18   
0.00/0.01	c 140            621            2937           2646           0              67             12   25   18   
0.00/0.01	c 150            654            3095           2814           0              77             12   24   17   
0.00/0.01	c 160            699            3320           3011           0              79             18   25   19   
0.00/0.01	c 170            745            3550           3211           0              83             17   24   18   
0.00/0.01	c 180            788            3769           3410           0              90             16   24   18   
0.00/0.01	c 190            849            4062           3681           0              95             14   23   18   
0.00/0.01	c 200            908            4334           3931           0              103            11   24   18   
0.00/0.01	c 210            963            4598           4152           0              108            15   24   19   
0.00/0.01	c 211            988            4716           4208           0              109            25   25   12   
0.00/0.01	c 220            1033           4930           4379           0              111            21   25   20   
0.00/0.02	c 230            1077           5167           4578           0              112            17   25   19   
0.00/0.02	c 240            1136           5448           4797           0              120            17   27   20   
0.00/0.02	c 250            1202           5753           5043           0              126            13   26   19   
0.00/0.02	c 260            1252           5997           5272           0              136            13   26   17   
0.00/0.02	c 270            1308           6267           5500           0              144            13   26   18   
0.00/0.02	c 280            1352           6472           5680           0              150            19   25   20   
0.00/0.02	c 290            1393           6674           5862           0              156            17   23   19   
0.00/0.02	c 300            1448           6928           6070           0              159            21   25   20   
0.00/0.02	c 310            1514           7236           6294           0              163            22   25   21   
0.00/0.02	c 320            1571           7501           6524           0              170            15   25   19   
0.00/0.02	c 330            1618           7724           6714           0              179            15   26   18   
0.00/0.02	c 332            1633           7789           6766           0              181            13   14   9    
0.00/0.02	c 340            1668           7953           6917           0              185            13   25   17   
0.00/0.02	c 350            1715           8174           7112           0              189            16   26   19   
0.00/0.02	c 360            1755           8371           7291           0              197            14   25   17   
0.00/0.02	c 370            1796           8579           7486           0              202            13   25   18   
0.00/0.02	c 380            1850           8830           7709           0              205            17   26   19   
0.00/0.03	c 390            1920           9174           7966           0              209            19   25   20   
0.00/0.03	c 400            1972           9421           8160           0              213            16   26   21   
0.00/0.03	c 410            2017           9645           8330           0              216            22   26   21   
0.00/0.03	c 420            2061           9858           8532           0              224            13   23   16   
0.00/0.03	c 430            2103           10062          8719           0              231            16   24   18   
0.00/0.03	c 440            2159           10320          8929           0              240            18   26   20   
0.00/0.03	c 450            2192           10488          9089           0              250            13   24   17   
0.00/0.03	c 460            2242           10728          9285           0              254            20   24   20   
0.00/0.03	c 465            2271           10869          9373           0              258            20   25   18   
0.00/0.03	c 470            2302           11014          9483           0              263            17   23   16   
0.00/0.03	c 480            2377           11368          9770           0              269            11   24   20   
0.00/0.03	c 490            2437           11646          10015          0              273            12   25   19   
0.00/0.03	c 500            2498           11963          10255          0              278            16   24   20   
0.00/0.03	c 510            2548           12202          10455          0              281            17   24   19   
0.00/0.03	c 520            2600           12448          10655          0              284            18   25   19   
0.00/0.03	c 530            2638           12638          10834          0              287            17   24   18   
0.00/0.04	c 540            2685           12871          11065          0              289            13   23   17   
0.00/0.04	c 550            2730           13095          11267          0              294            17   23   18   
0.00/0.04	c 560            2777           13318          11484          0              297            12   26   18   
0.00/0.04	c 570            2812           13483          11661          0              301            16   24   18   
0.00/0.04	c 580            2849           13663          11850          0              308            12   24   16   
0.00/0.04	c 590            2894           13868          12047          0              310            18   25   19   
0.00/0.04	c 600            2935           14076          12228          0              313            18   25   19   
0.00/0.04	c 610            2979           14289          12423          0              315            18   24   19   
0.00/0.04	c 611            2993           14348          12456          0              316            14   14   7    
0.00/0.04	c 620            3038           14554          12639          0              321            19   24   19   
0.00/0.04	c 630            3074           14730          12803          0              325            17   24   18   
0.00/0.04	c 640            3116           14942          12999          0              333            13   25   17   
0.00/0.04	c 650            3154           15122          13183          0              339            13   24   17   
0.00/0.04	c 660            3218           15418          13428          0              344            13   25   20   
0.00/0.04	c 670            3281           15708          13665          0              350            15   25   20   
0.00/0.04	c 680            3341           15982          13901          0              355            12   25   19   
0.00/0.04	c 690            3373           16143          14073          0              365            14   23   16   
0.00/0.04	c 700            3411           16328          14235          0              372            16   26   19   
0.00/0.04	c 710            3461           16569          14434          0              375            18   28   20   
0.00/0.05	c 720            3502           16777          14605          0              380            18   25   20   
0.00/0.05	c 730            3539           16970          14787          0              388            14   24   17   
0.00/0.05	c 740            3574           17168          14961          0              397            14   26   17   
0.00/0.05	c 750            3620           17393          15155          0              401            14   24   19   
0.00/0.05	c 760            3660           17619          15351          0              406            13   23   17   
0.00/0.05	c 770            3734           17960          15599          0              412            22   27   21   
0.00/0.05	c 771            3756           18054          15640          0              413            22   22   11   
0.00/0.05	c 780            3798           18255          15821          0              415            17   24   18   
0.00/0.05	c 790            3845           18479          16044          0              424            12   24   16   
0.00/0.05	c 800            3890           18689          16251          0              429            16   23   18   
0.00/0.05	c 810            3927           18869          16414          0              430            18   24   19   
0.00/0.05	c 820            3959           19030          16579          0              439            13   23   16   
0.00/0.05	c 830            3993           19205          16735          0              440            16   25   18   
0.00/0.05	c 840            4031           19389          16906          0              446            17   23   18   
0.00/0.05	c 850            4064           19551          17074          0              448            15   24   17   
0.00/0.05	c 860            4112           19783          17277          0              454            17   25   18   
0.00/0.05	c 870            4160           20011          17478          0              458            16   26   19   
0.00/0.05	c 880            4197           20194          17651          0              461            15   25   18   
0.00/0.05	c 890            4239           20430          17837          0              465            15   23   18   
0.00/0.06	c 900            4280           20646          18022          0              468            16   24   19   
0.00/0.06	c 910            4336           20937          18260          0              475            15   26   18   
0.00/0.06	c 920            4397           21223          18495          0              482            17   25   20   
0.00/0.06	c 930            4445           21465          18692          0              485            14   26   19   
0.00/0.06	c 940            4501           21747          18906          0              488            20   27   20   
0.00/0.06	c 947            4533           21896          19048          0              494            14   26   16   
0.00/0.06	c 950            4551           21976          19117          0              497            14   16   11   
0.00/0.06	c 960            4592           22171          19293          0              503            18   24   19   
0.00/0.06	c 970            4643           22408          19492          0              507            14   27   20   
0.00/0.06	c 980            4681           22583          19668          0              513            14   25   18   
0.00/0.06	c 990            4737           22842          19867          0              517            20   25   21   
0.00/0.06	c 1000           4787           23087          20077          0              519            18   24   20   
0.00/0.06	c 1010           4842           23349          20281          0              523            20   25   20   
0.00/0.06	c 1020           4890           23582          20464          0              524            21   26   21   
0.00/0.06	c 1030           4935           23795          20633          0              528            19   25   20   
0.00/0.06	c 1040           4990           24043          20838          0              537            15   27   19   
0.00/0.06	c 1050           5049           24310          21048          0              543            16   26   21   
0.00/0.06	c 1060           5103           24564          21234          0              549            14   26   20   
0.00/0.06	c 1070           5144           24767          21401          0              555            12   26   19   
0.00/0.07	c 1080           5201           25049          21602          0              558            13   27   21   
0.00/0.07	c 1090           5241           25263          21789          0              566            14   24   17   
0.00/0.07	c 1100           5285           25479          21977          0              568            19   25   20   
0.00/0.07	c 1110           5333           25710          22172          0              577            17   26   19   
0.00/0.07	c 1120           5379           25938          22381          0              579            16   26   18   
0.00/0.07	c 1130           5421           26149          22556          0              584            17   26   19   
0.00/0.07	c 1140           5462           26367          22734          0              592            14   27   18   
0.00/0.07	c 1141           5477           26434          22768          0              593            15   15   7    
0.00/0.07	c 1150           5519           26650          22928          0              598            15   27   20   
0.00/0.07	c 1160           5558           26839          23080          0              605            18   26   20   
0.00/0.07	c 1170           5605           27063          23286          0              613            14   26   18   
0.00/0.07	c 1180           5648           27274          23470          0              615            16   25   19   
0.00/0.07	c 1190           5691           27479          23648          0              621            19   24   19   
0.00/0.07	c 1200           5740           27719          23852          0              627            16   25   19   
0.00/0.07	c 1210           5781           27913          24024          0              630            19   26   20   
0.00/0.07	c 1220           5839           28187          24275          0              635            17   24   18   
0.00/0.07	c 1230           5881           28387          24473          0              644            14   23   16   
0.00/0.07	c 1240           5921           28574          24670          0              647            16   23   17   
0.00/0.07	c 1250           5960           28765          24862          0              649            14   24   17   
0.00/0.07	c 1260           6007           28980          25049          0              652            17   25   19   
0.00/0.08	c 1270           6060           29229          25241          0              659            17   27   20   
0.00/0.08	c 1280           6111           29463          25429          0              667            18   25   19   
0.00/0.08	c 1290           6144           29616          25610          0              677            12   24   15   
0.00/0.08	c 1300           6184           29803          25785          0              680            17   25   18   
0.00/0.08	c 1310           6241           30057          25983          0              683            22   25   21   
0.00/0.08	c 1320           6284           30260          26177          0              690            13   26   18   
0.00/0.08	c 1330           6340           30519          26405          0              693            19   25   20   
0.00/0.08	c 1340           6372           30679          26566          0              703            14   23   16   
0.00/0.08	c 1350           6417           30903          26760          0              709            16   25   19   
0.00/0.08	c 1352           6443           31016          26828          0              710            24   25   16   
0.00/0.08	c 1360           6483           31199          26998          0              713            17   24   17   
0.00/0.08	c 1370           6524           31411          27198          0              720            11   25   17   
0.00/0.08	c 1380           6569           31635          27415          0              730            12   24   16   
0.00/0.08	c 1390           6609           31829          27610          0              737            12   25   18   
0.00/0.08	c 1400           6655           32075          27822          0              739            13   25   18   
0.00/0.08	c 1410           6731           32436          28118          0              748            16   25   20   
0.00/0.08	c 1420           6787           32715          28366          0              750            15   26   18   
0.00/0.08	c 1430           6830           32917          28557          0              755            12   23   18   
0.00/0.08	c 1440           6880           33158          28799          0              759            13   23   17   
0.00/0.09	c 1450           6920           33352          28993          0              762            15   23   17   
0.00/0.09	c 1460           6950           33500          29169          0              772            12   21   15   
0.00/0.09	c 1470           6995           33720          29384          0              779            12   22   16   
0.00/0.09	c 1480           7025           33867          29556          0              789            12   21   15   
0.00/0.09	c 1490           7055           34009          29736          0              799            12   21   15   
0.00/0.09	c 1500           7095           34200          29933          0              802            16   24   17   
0.00/0.09	c 1510           7136           34394          30105          0              804            16   24   18   
0.00/0.09	c 1520           7181           34610          30309          0              807            13   24   18   
0.00/0.09	c 1530           7225           34818          30502          0              810            16   25   19   
0.00/0.09	c 1540           7264           35025          30672          0              816            14   23   17   
0.00/0.09	c 1550           7308           35247          30854          0              822            16   25   19   
0.00/0.09	c 1560           7357           35498          31045          0              826            18   25   19   
0.00/0.09	c 1570           7412           35767          31256          0              831            15   26   19   
0.00/0.09	c 1580           7461           36031          31485          0              835            11   24   18   
0.00/0.09	c 1585           7511           36260          31646          0              838            22   24   19   
0.00/0.09	c 1590           7553           36455          31799          0              841            16   23   17   
0.00/0.09	c 1600           7597           36669          31996          0              843            18   24   18   
0.00/0.09	c 1610           7657           36965          32237          0              850            13   25   18   
0.00/0.09	c 1620           7695           37157          32441          0              853            11   22   16   
0.00/0.09	c 1630           7737           37361          32642          0              859            11   22   17   
0.00/0.10	c 1640           7792           37624          32872          0              867            12   25   17   
0.09/0.10	c 1650           7835           37838          33088          0              872            14   23   16   
0.09/0.10	c 1660           7880           38071          33300          0              882            12   25   16   
0.09/0.10	c 1670           7925           38307          33485          0              889            12   25   18   
0.09/0.10	c 1680           7966           38503          33647          0              893            18   24   18   
0.09/0.10	c 1690           8010           38709          33847          0              897            16   25   18   
0.09/0.10	c 1700           8051           38900          34028          0              903            18   22   18   
0.09/0.10	c 1710           8107           39150          34252          0              906            19   25   20   
0.09/0.10	c 1720           8141           39310          34414          0              911            16   25   18   
0.09/0.10	c 1730           8193           39557          34610          0              916            19   24   19   
0.09/0.10	c 1740           8233           39761          34794          0              918            14   25   18   
0.09/0.10	c 1750           8287           40015          35021          0              928            13   26   17   
0.09/0.10	c 1760           8343           40274          35251          0              932            17   25   18   
0.09/0.10	c 1770           8378           40446          35461          0              938            12   21   15   
0.09/0.10	c 1780           8411           40609          35639          0              940            12   24   17   
0.09/0.10	c 1790           8450           40793          35846          0              946            13   24   17   
0.09/0.10	c 1800           8485           40968          36018          0              949            14   24   17   
0.09/0.10	c 1810           8525           41171          36204          0              955            13   25   18   
0.09/0.10	c 1820           8586           41466          36437          0              960            19   25   20   
0.09/0.10	c 1830           8629           41705          36647          0              964            13   24   17   
0.09/0.10	c 1840           8689           41996          36884          0              970            16   26   19   
0.09/0.10	c 1841           8707           42079          36921          0              971            18   18   9    
0.09/0.11	c 1850           8757           42313          37118          0              975            17   24   19   
0.09/0.11	c 1860           8795           42498          37293          0              977            11   24   17   
0.09/0.11	c 1870           8834           42701          37481          0              980            12   24   18   
0.09/0.11	c 1880           8875           42909          37677          0              982            16   24   18   
0.09/0.11	c 1890           8933           43179          37911          0              987            13   25   19   
0.09/0.11	c 1900           8967           43349          38101          0              990            13   22   16   
0.09/0.11	c 1910           9014           43584          38338          0              997            11   23   16   
0.09/0.11	c 1920           9061           43812          38563          0              1002           13   22   16   
0.09/0.11	c 1930           9117           44069          38779          0              1006           18   23   19   
0.09/0.11	c 1940           9157           44270          38964          0              1007           17   24   19   
0.09/0.11	c 1950           9202           44522          39174          0              1012           17   24   18   
0.09/0.11	c 1960           9249           44781          39378          0              1018           12   24   17   
0.09/0.11	c 1970           9297           45025          39594          0              1025           11   24   17   
0.09/0.11	c 1980           9350           45310          39829          0              1029           13   24   17   
0.09/0.11	c 1990           9387           45519          39998          0              1036           14   22   16   
0.09/0.11	c 2000           9442           45794          40222          0              1043           14   23   17   
0.09/0.11	c 2010           9484           46000          40397          0              1048           16   22   17   
0.09/0.11	c 2020           9526           46211          40579          0              1053           18   23   18   
0.09/0.11	c 2030           9573           46442          40778          0              1057           17   24   19   
0.09/0.11	c 2040           9629           46717          40993          0              1060           16   25   19   
0.09/0.12	c 2050           9661           46892          41173          0              1061           14   23   16   
0.09/0.12	c 2060           9699           47081          41339          0              1068           17   23   18   
0.09/0.12	c 2070           9754           47362          41585          0              1076           12   24   17   
0.09/0.12	c 2080           9796           47590          41785          0              1077           15   25   18   
0.09/0.12	c 2090           9855           47888          42030          0              1081           12   26   18   
0.09/0.12	c 2100           9913           48185          42269          0              1087           16   25   19   
0.09/0.12	c 2110           9955           48396          42468          0              1092           15   23   17   
0.09/0.12	c 2120           9998           48611          42669          0              1094           16   23   18   
0.09/0.12	c 2122           10022          48726          42731          0              1095           22   23   15   
0.09/0.12	c 2130           10072          48957          42914          0              1098           18   25   18   
0.09/0.12	c 2140           10125          49231          43140          0              1105           13   24   18   
0.09/0.12	c 2150           10158          49386          43319          0              1107           13   24   17   
0.09/0.12	c 2160           10211          49647          43547          0              1114           13   25   18   
0.09/0.12	c 2170           10251          49839          43728          0              1120           16   24   18   
0.09/0.12	c 2180           10302          50084          43928          0              1125           13   24   19   
0.09/0.12	c 2190           10334          50236          44085          0              1135           14   23   16   
0.09/0.12	c 2200           10385          50478          44291          0              1140           13   25   19   
0.09/0.12	c 2210           10425          50681          44482          0              1145           12   24   18   
0.09/0.12	c 2220           10466          50892          44667          0              1148           16   23   18   
0.09/0.12	c 2230           10513          51113          44866          0              1156           15   24   18   
0.09/0.12	c 2240           10556          51323          45075          0              1166           12   25   16   
0.09/0.12	c 2250           10608          51568          45290          0              1170           12   25   17   
0.09/0.12	c 2260           10657          51797          45468          0              1175           19   24   19   
0.09/0.13	c 2270           10703          52006          45648          0              1182           17   25   20   
0.09/0.13	c 2280           10739          52183          45822          0              1191           12   23   15   
0.09/0.13	c 2290           10790          52434          46042          0              1193           20   24   20   
0.09/0.13	c 2300           10839          52673          46258          0              1195           19   24   20   
0.09/0.13	c 2310           10896          52951          46500          0              1201           12   23   18   
0.09/0.13	c 2320           10930          53144          46646          0              1207           15   23   17   
0.09/0.13	c 2330           10963          53323          46813          0              1214           14   24   17   
0.09/0.13	c 2340           11000          53529          46968          0              1216           15   24   18   
0.09/0.13	c 2350           11040          53727          47150          0              1224           11   25   17   
0.09/0.13	c 2360           11079          53939          47338          0              1228           15   23   17   
0.09/0.13	c 2370           11125          54174          47532          0              1234           17   25   19   
0.09/0.13	c 2380           11170          54392          47724          0              1236           17   25   19   
0.09/0.13	c 2390           11214          54601          47931          0              1244           13   27   17   
0.09/0.13	c 2400           11257          54808          48132          0              1247           13   24   18   
0.09/0.13	c 2410           11300          55011          48319          0              1252           18   25   18   
0.09/0.13	c 2420           11345          55229          48528          0              1257           17   24   18   
0.09/0.13	c 2430           11403          55504          48751          0              1261           17   25   19   
0.09/0.13	c 2431           11420          55575          48788          0              1262           17   17   8    
0.09/0.13	c 2440           11457          55748          48946          0              1264           16   25   18   
0.09/0.13	c 2450           11507          55990          49153          0              1268           17   24   19   
0.09/0.13	c 2460           11539          56151          49338          0              1270           12   23   16   
0.09/0.13	c 2470           11588          56396          49519          0              1274           18   26   21   
0.09/0.13	c 2480           11652          56702          49772          0              1281           11   25   19   
0.09/0.13	c 2490           11697          56928          49958          0              1282           18   25   20   
0.09/0.14	c 2500           11741          57165          50143          0              1289           17   25   19   
0.09/0.14	c 2510           11787          57400          50328          0              1298           15   27   19   
0.09/0.14	c 2520           11823          57586          50503          0              1308           14   24   17   
0.09/0.14	c 2530           11868          57805          50704          0              1310           19   24   19   
0.09/0.14	c 2540           11901          57967          50879          0              1312           13   24   17   
0.09/0.14	c 2550           11940          58157          51070          0              1320           14   24   17   
0.09/0.14	c 2560           11986          58381          51267          0              1325           18   24   18   
0.09/0.14	c 2570           12041          58650          51497          0              1333           16   25   18   
0.09/0.14	c 2580           12078          58837          51690          0              1335           14   22   16   
0.09/0.14	c 2590           12124          59067          51907          0              1341           12   23   16   
0.09/0.14	c 2600           12165          59263          52091          0              1344           16   24   19   
0.09/0.14	c 2610           12210          59484          52287          0              1345           17   25   19   
0.09/0.14	c 2620           12252          59695          52466          0              1351           16   25   18   
0.09/0.14	c 2630           12316          59996          52715          0              1355           20   24   20   
0.09/0.14	c 2640           12361          60224          52927          0              1362           13   24   17   
0.09/0.14	c 2650           12415          60482          53149          0              1366           14   24   19   
0.09/0.14	c 2660           12454          60669          53327          0              1373           15   24   18   
0.09/0.14	c 2670           12497          60888          53503          0              1382           17   25   19   
0.09/0.14	c 2680           12545          61117          53674          0              1389           18   26   21   
0.09/0.14	c 2690           12586          61323          53878          0              1398           13   24   16   
0.09/0.14	c 2700           12627          61535          54063          0              1400           16   25   19   
0.09/0.14	c 2710           12685          61810          54274          0              1403           19   26   21   
0.09/0.14	c 2720           12742          62104          54517          0              1405           15   25   18   
0.09/0.15	c 2730           12787          62312          54687          0              1411           16   27   20   
0.09/0.15	c 2740           12835          62534          54874          0              1417           17   26   20   
0.09/0.15	c 2750           12883          62750          55076          0              1421           14   26   19   
0.09/0.15	c 2760           12930          62969          55268          0              1430           12   26   18   
0.09/0.15	c 2770           12982          63211          55461          0              1433           19   27   20   
0.09/0.15	c 2771           12994          63270          55493          0              1434           12   12   6    
0.09/0.15	c 2780           13042          63505          55681          0              1440           14   26   19   
0.09/0.15	c 2790           13085          63717          55864          0              1446           15   26   19   
0.09/0.15	c 2800           13121          63909          56030          0              1452           16   24   18   
0.09/0.15	c 2810           13162          64109          56210          0              1460           13   27   18   
0.09/0.15	c 2820           13207          64336          56387          0              1461           18   27   21   
0.09/0.15	c 2830           13254          64561          56576          0              1463           20   26   21   
0.09/0.15	c 2840           13302          64787          56765          0              1466           13   26   20   
0.09/0.15	c 2850           13355          65033          56968          0              1473           17   27   20   
0.09/0.15	c 2860           13411          65293          57175          0              1477           13   25   19   
0.09/0.15	c 2870           13455          65500          57351          0              1481           13   25   19   
0.09/0.15	c 2880           13511          65764          57559          0              1484           21   26   21   
0.09/0.15	c 2890           13550          65949          57749          0              1489           15   24   17   
0.09/0.15	c 2900           13595          66171          57940          0              1493           11   26   19   
0.09/0.15	c 2910           13647          66428          58147          0              1497           18   26   20   
0.09/0.15	c 2920           13695          66652          58369          0              1503           15   25   17   
0.09/0.15	c 2930           13742          66874          58534          0              1510           19   26   21   
0.09/0.15	c 2940           13813          67199          58787          0              1516           14   25   20   
0.09/0.15	c 2950           13858          67420          58966          0              1521           16   27   20   
0.09/0.16	c 2960           13916          67688          59180          0              1526           19   28   20   
0.09/0.16	c 2970           13960          67898          59368          0              1533           12   26   19   
0.09/0.16	c 2980           14012          68150          59552          0              1539           19   26   21   
0.09/0.16	c 2990           14074          68441          59788          0              1545           13   25   20   
0.09/0.16	c 3000           14119          68656          59965          0              1547           20   25   20   
0.09/0.16	c 3010           14173          68931          60182          0              1551           12   26   18   
0.09/0.16	c 3020           14206          69096          60341          0              1561           15   24   17   
0.09/0.16	c 3030           14263          69354          60540          0              1566           21   26   21   
0.09/0.16	c 3040           14301          69536          60732          0              1571           14   24   17   
0.09/0.16	c 3050           14343          69741          60924          0              1580           14   26   17   
0.09/0.16	c 3060           14388          69953          61114          0              1587           16   25   19   
0.09/0.16	c 3070           14422          70112          61292          0              1594           12   25   16   
0.09/0.16	c 3080           14472          70346          61517          0              1600           13   25   18   
0.09/0.16	c 3090           14502          70502          61695          0              1608           12   21   15   
0.09/0.16	c 3100           14540          70686          61888          0              1614           14   22   16   
0.09/0.16	c 3110           14578          70865          62066          0              1621           16   23   18   
0.09/0.16	c 3120           14630          71098          62285          0              1628           12   27   18   
0.09/0.16	c 3130           14668          71273          62450          0              1635           15   25   18   
0.09/0.16	c 3140           14711          71484          62640          0              1638           11   24   17   
0.09/0.16	c 3142           14733          71580          62718          0              1640           12   21   11   
0.09/0.16	c 3150           14775          71783          62912          0              1647           12   21   16   
0.09/0.16	c 3160           14813          71963          63104          0              1653           12   22   16   
0.09/0.16	c 3170           14866          72212          63322          0              1656           20   24   19   
0.09/0.16	c 3180           14909          72419          63527          0              1657           14   25   17   
0.09/0.17	c 3190           14947          72601          63703          0              1661           16   24   18   
0.09/0.17	c 3200           14983          72774          63866          0              1666           16   24   18   
0.09/0.17	c 3210           15029          72999          64080          0              1668           14   23   17   
0.09/0.17	c 3220           15071          73196          64259          0              1672           17   23   18   
0.09/0.17	c 3230           15127          73463          64478          0              1675           18   24   19   
0.09/0.17	c 3240           15166          73647          64641          0              1681           16   25   19   
0.09/0.17	c 3250           15205          73833          64808          0              1685           17   24   19   
0.09/0.17	c 3260           15242          74005          64986          0              1689           13   25   18   
0.09/0.17	c 3270           15287          74211          65171          0              1693           12   24   18   
0.09/0.17	c 3280           15328          74403          65350          0              1697           13   23   18   
0.09/0.17	c 3290           15376          74625          65540          0              1701           16   25   19   
0.09/0.17	c 3300           15421          74828          65730          0              1703           17   26   19   
0.09/0.17	c 3310           15492          75166          66013          0              1707           21   25   20   
0.09/0.17	c 3320           15538          75372          66210          0              1712           17   26   18   
0.09/0.17	c 3330           15583          75585          66386          0              1720           13   25   18   
0.09/0.17	c 3340           15645          75887          66644          0              1728           13   26   18   
0.09/0.17	c 3350           15692          76124          66848          0              1730           16   26   19   
0.09/0.17	c 3360           15737          76326          67043          0              1735           13   26   18   
0.09/0.17	c 3370           15782          76533          67232          0              1740           14   26   19   
0.09/0.17	c 3380           15836          76768          67428          0              1749           14   26   20   
0.09/0.17	c 3390           15872          76950          67600          0              1757           14   25   17   
0.09/0.17	c 3400           15916          77179          67796          0              1763           15   24   18   
0.09/0.17	c 3410           15961          77402          68000          0              1764           17   25   19   
0.09/0.18	c 3420           16020          77677          68218          0              1767           19   26   21   
0.09/0.18	c 3430           16074          77925          68416          0              1771           15   26   21   
0.09/0.18	c 3440           16126          78168          68599          0              1774           21   25   21   
0.09/0.18	c 3450           16190          78464          68833          0              1780           13   26   20   
0.09/0.18	c 3460           16236          78684          69032          0              1790           12   26   17   
0.09/0.18	c 3470           16280          78891          69211          0              1797           12   26   19   
0.09/0.18	c 3480           16315          79058          69375          0              1800           13   26   18   
0.09/0.18	c 3490           16372          79317          69571          0              1803           20   26   21   
0.09/0.18	c 3500           16413          79517          69754          0              1804           17   26   20   
0.09/0.18	c 3510           16463          79745          69942          0              1809           19   25   20   
0.09/0.18	c 3520           16520          80026          70157          0              1811           18   25   20   
0.09/0.18	c 3530           16573          80274          70389          0              1815           13   24   18   
0.09/0.18	c 3540           16613          80470          70569          0              1818           16   24   18   
0.09/0.18	c 3550           16656          80672          70750          0              1822           18   24   19   
0.09/0.18	c 3551           16680          80772          70793          0              1823           24   24   12   
0.09/0.18	c 3560           16712          80926          70952          0              1832           14   24   16   
0.09/0.18	c 3570           16745          81084          71117          0              1842           14   24   16   
0.09/0.18	c 3580           16777          81242          71288          0              1852           14   23   16   
0.09/0.18	c 3590           16831          81490          71481          0              1859           16   26   20   
0.09/0.18	c 3600           16887          81754          71704          0              1862           18   25   20   
0.09/0.18	c 3610           16940          82008          71916          0              1865           13   26   20   
0.09/0.18	c 3620           16988          82230          72103          0              1870           14   27   19   
0.09/0.18	c 3630           17028          82439          72291          0              1873           14   25   18   
0.09/0.18	c 3640           17078          82679          72486          0              1877           14   25   20   
0.09/0.19	c 3650           17133          82942          72690          0              1880           18   26   20   
0.09/0.19	c 3660           17180          83163          72881          0              1883           14   27   20   
0.09/0.19	c 3670           17237          83428          73067          0              1889           22   27   22   
0.09/0.19	c 3680           17290          83689          73277          0              1893           17   26   20   
0.09/0.19	c 3690           17344          83959          73497          0              1896           16   26   19   
0.09/0.19	c 3700           17391          84178          73678          0              1898           21   26   21   
0.09/0.19	c 3710           17424          84335          73848          0              1899           15   24   17   
0.09/0.19	c 3720           17486          84621          74067          0              1906           14   26   20   
0.09/0.19	c 3730           17547          84912          74310          0              1907           16   26   20   
0.09/0.19	c 3740           17593          85135          74494          0              1914           13   25   19   
0.09/0.19	c 3750           17627          85293          74668          0              1915           16   25   18   
0.09/0.19	c 3760           17669          85486          74829          0              1916           19   28   21   
0.09/0.19	c 3770           17710          85677          74998          0              1920           18   26   19   
0.09/0.19	c 3780           17763          85921          75183          0              1923           19   27   21   
0.09/0.19	c 3790           17822          86186          75393          0              1930           13   27   20   
0.09/0.19	c 3800           17880          86442          75602          0              1934           14   27   21   
0.09/0.19	c 3810           17922          86644          75780          0              1935           17   26   20   
0.09/0.19	c 3820           17965          86844          75971          0              1940           13   25   18   
0.09/0.19	c 3830           18012          87063          76153          0              1942           20   26   21   
0.09/0.19	c 3840           18063          87301          76350          0              1946           18   25   20   
0.09/0.19	c 3850           18114          87546          76549          0              1950           18   26   20   
0.09/0.19	c 3860           18158          87769          76736          0              1955           17   25   18   
0.09/0.19	c 3870           18200          87966          76910          0              1962           14   25   19   
0.09/0.20	c 3880           18253          88222          77133          0              1964           17   24   19   
0.19/0.20	c 3890           18305          88473          77327          0              1968           18   25   20   
0.19/0.20	c 3900           18351          88708          77516          0              1973           15   25   19   
0.19/0.20	c 3910           18407          88977          77716          0              1979           22   25   21   
0.19/0.20	c 3920           18462          89231          77931          0              1985           14   26   20   
0.19/0.20	c 3930           18502          89443          78108          0              1988           17   25   18   
0.19/0.20	c 3940           18550          89671          78289          0              1992           16   26   20   
0.19/0.20	c 3950           18602          89919          78491          0              1998           13   26   19   
0.19/0.20	c 3960           18648          90142          78676          0              2002           20   24   19   
0.19/0.20	c 3970           18681          90309          78847          0              2003           15   24   17   
0.19/0.20	c 3980           18738          90626          79083          0              2005           18   25   20   
0.19/0.20	c 3990           18779          90837          79290          0              2009           12   24   16   
0.19/0.20	c 4000           18837          91121          79512          0              2016           18   25   20   
0.19/0.20	c 4001           18863          91237          79565          0              2017           26   26   13   
0.19/0.20	c 4010           18901          91418          79753          0              2025           14   22   16   
0.19/0.20	c 4020           18941          91610          79959          0              2033           12   23   16   
0.19/0.20	c 4030           18991          91847          80180          0              2038           11   22   17   
0.19/0.20	c 4040           19031          92037          80376          0              2047           12   24   16   
0.19/0.20	c 4050           19087          92305          80608          0              2050           18   24   18   
0.19/0.20	c 4060           19122          92474          80788          0              2052           14   23   16   
0.19/0.20	c 4070           19161          92664          80975          0              2056           15   21   16   
0.19/0.20	c 4080           19210          92891          81178          0              2059           16   24   18   
0.19/0.21	c 4090           19249          93084          81382          0              2061           14   22   16   
0.19/0.21	c 4100           19290          93272          81575          0              2065           16   22   17   
0.19/0.21	c 4110           19329          93460          81766          0              2069           15   24   17   
0.19/0.21	c 4120           19370          93677          81972          0              2077           11   25   17   
0.19/0.21	c 4130           19428          93950          82192          0              2085           17   27   19   
0.19/0.21	c 4140           19473          94157          82385          0              2087           19   24   19   
0.19/0.21	c 4150           19514          94371          82572          0              2096           14   24   17   
0.19/0.21	c 4160           19580          94681          82808          0              2101           19   25   20   
0.19/0.21	c 4170           19624          94906          82988          0              2104           12   27   20   
0.19/0.21	c 4180           19668          95117          83166          0              2108           13   26   19   
0.19/0.21	c 4190           19730          95406          83391          0              2111           20   27   22   
0.19/0.21	c 4200           19765          95582          83551          0              2112           17   26   19   
0.19/0.21	c 4210           19830          95886          83783          0              2116           19   25   20   
0.19/0.21	c 4220           19871          96095          83959          0              2120           18   24   18   
0.19/0.21	c 4230           19922          96333          84150          0              2125           19   25   20   
0.19/0.21	c 4240           19954          96501          84333          0              2126           14   23   16   
0.19/0.21	c 4250           20006          96745          84528          0              2132           16   27   20   
0.19/0.21	c 4260           20054          96965          84716          0              2133           17   27   20   
0.19/0.21	c 4270           20107          97212          84905          0              2138           16   27   21   
0.19/0.21	c 4280           20150          97410          85086          0              2146           16   25   18   
0.19/0.21	c 4290           20197          97650          85292          0              2155           13   24   17   
0.19/0.21	c 4300           20260          97945          85529          0              2159           20   27   20   
0.19/0.21	c 4310           20301          98130          85692          0              2166           16   26   19   
0.19/0.22	c 4320           20341          98331          85888          0              2176           13   24   16   
0.19/0.22	c 4330           20379          98509          86080          0              2181           14   24   17   
0.19/0.22	c 4340           20432          98755          86310          0              2187           13   25   18   
0.19/0.22	c 4350           20486          99002          86520          0              2195           12   26   19   
0.19/0.22	c 4360           20524          99190          86699          0              2202           14   25   17   
0.19/0.22	c 4370           20556          99345          86863          0              2212           14   23   16   
0.19/0.22	c 4380           20598          99546          87060          0              2215           14   24   18   
0.19/0.22	c 4390           20645          99759          87271          0              2218           15   23   17   
0.19/0.22	c 4400           20687          99952          87461          0              2220           16   24   18   
0.19/0.22	c 4410           20729          100158         87671          0              2223           15   23   16   
0.19/0.22	c 4420           20779          100411         87892          0              2227           12   24   17   
0.19/0.22	c 4430           20811          100580         88079          0              2228           14   23   16   
0.19/0.22	c 4440           20852          100779         88246          0              2233           13   26   19   
0.19/0.22	c 4450           20910          101040         88452          0              2237           15   27   21   
0.19/0.22	c 4460           20954          101245         88627          0              2241           13   26   19   
0.19/0.22	c 4470           21012          101510         88845          0              2246           14   28   20   
0.19/0.22	c 4480           21062          101762         89013          0              2250           22   27   22   
0.19/0.22	c 4490           21111          102003         89189          0              2254           19   26   22   
0.19/0.22	c 4493           21134          102101         89254          0              2257           19   21   15   
0.19/0.22	c 4500           21165          102243         89377          0              2258           19   25   19   
0.19/0.22	c 4510           21213          102489         89576          0              2260           18   26   20   
0.19/0.22	c 4520           21275          102784         89804          0              2263           20   25   21   
0.19/0.22	c 4530           21315          102973         89981          0              2273           15   25   18   
0.19/0.22	c 4540           21356          103180         90160          0              2275           15   25   20   
0.19/0.23	c 4550           21399          103387         90367          0              2276           14   25   17   
0.19/0.23	c 4560           21441          103577         90537          0              2281           19   24   19   
0.19/0.23	c 4570           21494          103817         90724          0              2283           21   26   21   
0.19/0.23	c 4580           21528          103975         90894          0              2284           16   25   18   
0.19/0.23	c 4590           21583          104225         91086          0              2289           14   27   21   
0.19/0.23	c 4600           21617          104385         91234          0              2299           16   25   18   
0.19/0.23	c 4610           21660          104597         91416          0              2302           14   27   19   
0.19/0.23	c 4620           21703          104822         91601          0              2308           14   24   18   
0.19/0.23	c 4630           21758          105109         91830          0              2311           18   26   20   
0.19/0.23	c 4640           21801          105324         91996          0              2315           19   25   20   
0.19/0.23	c 4650           21854          105577         92200          0              2320           20   26   21   
0.19/0.23	c 4660           21894          105771         92386          0              2326           16   24   18   
0.19/0.23	c 4670           21948          106055         92622          0              2332           16   25   18   
0.19/0.23	c 4680           22024          106423         92904          0              2338           12   25   20   
0.19/0.23	c 4690           22074          106665         93113          0              2345           17   25   19   
0.19/0.23	c 4700           22142          106975         93355          0              2349           19   26   21   
0.19/0.23	c 4710           22199          107230         93563          0              2356           18   26   20   
0.19/0.23	c 4720           22252          107476         93763          0              2362           15   27   20   
0.19/0.23	c 4730           22292          107679         93948          0              2369           14   25   18   
0.19/0.23	c 4740           22333          107867         94121          0              2370           18   25   20   
0.19/0.23	c 4750           22376          108075         94310          0              2373           15   26   19   
0.19/0.23	c 4760           22415          108263         94493          0              2380           13   26   17   
0.19/0.24	c 4770           22471          108529         94718          0              2388           13   25   18   
0.19/0.24	c 4780           22509          108711         94893          0              2396           14   25   17   
0.19/0.24	c 4790           22548          108927         95086          0              2399           11   26   17   
0.19/0.24	c 4800           22595          109163         95288          0              2402           14   25   19   
0.19/0.24	c 4810           22637          109361         95457          0              2408           13   24   18   
0.19/0.24	c 4820           22685          109602         95672          0              2412           12   24   18   
0.19/0.24	c 4830           22754          109925         95915          0              2416           19   26   21   
0.19/0.24	c 4840           22810          110190         96121          0              2423           20   26   21   
0.19/0.24	c 4850           22848          110367         96284          0              2429           13   25   19   
0.19/0.24	c 4860           22887          110557         96482          0              2430           16   23   18   
0.19/0.24	c 4870           22932          110772         96684          0              2434           13   26   19   
0.19/0.24	c 4880           22992          111056         96926          0              2442           12   26   18   
0.19/0.24	c 4890           23035          111257         97117          0              2444           18   24   19   
0.19/0.24	c 4900           23071          111433         97279          0              2450           15   24   17   
0.19/0.24	c 4910           23102          111587         97461          0              2451           13   22   15   
0.19/0.24	c 4920           23145          111786         97648          0              2452           16   25   19   
0.19/0.24	c 4930           23191          112003         97844          0              2461           14   23   17   
0.19/0.24	c 4940           23244          112253         98054          0              2462           17   26   21   
0.19/0.24	c 4950           23284          112440         98246          0              2469           15   23   17   
0.19/0.24	c 4960           23329          112656         98420          0              2471           20   25   20   
0.19/0.24	c 4970           23367          112833         98598          0              2478           13   25   17   
0.19/0.24	c 4980           23424          113098         98803          0              2482           21   25   20   
0.19/0.24	c 4990           23461          113276         98976          0              2486           15   24   17   
0.19/0.25	c 5035           23594          114053         99736          0              2493           10   25   19   
0.19/0.27	c 5631           25751          125681         110478         0              2502           14   27   22   
0.19/0.29	c 6286           28011          138113         121964         0              2514           11   27   22   
0.29/0.31	c 7006           30520          151538         134938         0              2521           11   28   22   
0.29/0.33	c 7798           33294          165943         149252         0              2530           13   27   22   
0.29/0.36	c 8669           36413          182649         165320         0              2538           12   28   22   
0.29/0.39	c 9627           39807          200851         182433         0              2546           13   27   22   
0.39/0.43	c 10680          43457          220004         201251         0              2555           11   27   22   
0.39/0.46	c 11838          47389          240525         221162         0              2567           12   27   22   
0.49/0.50	c 13111          51901          264202         243730         0              2578           12   27   22   
0.49/0.54	c 14511          56797          290706         268250         0              2590           11   28   23   
0.49/0.59	c 16051          62104          320599         296179         0              2602           9   27   22    
0.59/0.65	c 17745          67936          352683         325829         0              2612           12   28   23   
0.69/0.71	c 19608          74675          389821         359384         0              2624           9   27   23    
0.69/0.78	c 21657          81546          430165         396558         0              2633           9   27   21    
0.79/0.85	c 23910          89503          473510         436666         0              2642           12   28   23   
0.89/0.93	c 26388          98295          521423         481323         0              2654           12   28   22   
0.99/1.01	c 29113          107987         571879         529447         0              2660           13   27   23   
0.99/1.10	c 32110          118195         626390         583417         0              2669           12   27   22   
1.10/1.20	c 35406          129630         687429         644295         0              2680           12   27   22   
1.29/1.32	c 39031          141774         753673         713364         0              2688           10   28   21   
1.39/1.43	c 43018          155078         824119         784414         0              2700           13   27   22   
1.49/1.56	c 47403          169537         901226         863268         0              2704           12   27   22   
1.69/1.71	c 52226          185323         986402         949546         0              2713           12   27   22   
1.79/1.87	c 57531          203406         1085232        1045330        0              2724           13   27   22   
1.99/2.04	c 63366          222827         1190940        1147939        0              2732           12   28   22   
2.20/2.24	c 69784          244574         1309918        1263418        0              2740           12   28   22   
2.39/2.44	c 76843          268571         1437630        1388495        0              2748           13   28   23   
2.59/2.68	c 84607          294651         1579238        1524588        0              2759           12   28   23   
2.89/2.93	c 93147          323768         1734098        1676361        0              2766           12   28   22   
3.19/3.22	c 102541         355710         1904170        1843606        0              2775           12   28   22   
3.49/3.52	c 112874         390804         2088983        2024630        0              2786           13   28   23   
3.89/3.90	c 124240         429414         2312902        2234491        0              2795           10   28   22   
4.29/4.32	c 136742         472024         2564241        2465652        0              2807           10   28   22   
4.69/4.76	c 150494         519150         2832565        2717394        0              2815           12   28   23   
5.19/5.24	c 165621         570016         3117889        2993603        0              2826           10   27   22   
5.69/5.76	c 182260         626862         3435282        3302564        0              2832           12   28   22   
6.29/6.36	c 200562         689890         3794235        3643000        0              2843           12   27   23   
6.99/7.03	c 220694         760231         4201614        4023991        0              2853           11   28   22   
7.70/7.78	c 242839         839143         4656484        4447940        0              2861           12   28   23   
8.59/8.60	c 267198         924396         5156472        4910235        0              2871           11   28   22   
9.39/9.46	c 293992         1017775        5678685        5402523        0              2882           12   28   23   
10.39/10.40	c 323465         1120227        6248101        5956196        0              2892           8   28   22    
11.39/11.40	c 355885         1232163        6861630        6555782        0              2903           11   28   23   
12.39/12.49	c 391547         1355366        7546386        7210670        0              2912           13   28   23   
13.69/13.75	c 430775         1492425        8319373        7954964        0              2917           13   28   23   
14.99/15.07	c 473925         1642266        9143850        8753275        0              2928           13   28   23   
16.49/16.59	c 521390         1804931        10073314       9632092        0              2938           11   28   23   
18.29/18.36	c 573601         1986037        11126055       10638760       0              2946           11   28   22   
20.19/20.27	c 631033         2185443        12285666       11743544       0              2957           10   28   22   
22.19/22.29	c 694208         2402447        13511675       12935983       0              2967           11   28   22   
24.49/24.51	c 763700         2641145        14864394       14247646       0              2975           11   28   23   
26.29/26.40	c solution 1
26.29/26.40	
26.29/26.40	v <instantiation type='solution'>
26.29/26.40	v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] </list>
26.29/26.40	v <values>0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 </values>
26.29/26.40	v </instantiation>
26.29/26.40	
26.29/26.40	c restarts              : 569         
26.29/26.40	c conflicts             : 823492       (31198 /sec)
26.29/26.40	c decisions             : 2846089      (107824 /sec)
26.29/26.40	c propagations          : 15380892    (582706 /sec)
26.29/26.40	c root propagations     : 0           
26.29/26.40	c filter calls          : 16022153       (607000 /sec)
26.29/26.40	c useless filter calls  : 13346602       (83 %)
26.29/26.40	c
26.29/26.40	c clauses               : 3035
26.29/26.40	c SAT propagations      : 123
26.29/26.40	c SAT conflicts         : 3 (0 learnts)
26.29/26.40	c Memory used           : 30.88 MB
26.29/26.40	c CPU time              : 26.3956 s
26.29/26.40	
26.29/26.40	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241945-1500652993/watcher-4241945-1500652993 -o /tmp/evaluation-result-4241945-1500652993/solver-4241945-1500652993 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500648175-2494 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241945-1500652993.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.22 2.06 2.00 3/243 3493
/proc/meminfo: memFree=32032776/32770624 swapFree=6096/209408
[pid=3493] ppid=3490 vsize=31348 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3493/stat : 3493 (cosoco) R 3490 3493 2461 0 -1 4202496 1038 0 0 0 0 0 0 0 20 0 1 0 567660 32100352 832 33554432000 4194304 5970956 140723529204240 140723529200888 140413449874528 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 19808256 140723529209020 140723529209155 140723529209155 140723529211854 0
/proc/3493/statm: 7837 832 740 434 0 1201 0

[startup+0.100139 s]
/proc/loadavg: 2.22 2.06 2.00 3/243 3493
/proc/meminfo: memFree=32032776/32770624 swapFree=6096/209408
[pid=3493] ppid=3490 vsize=31480 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/3493/stat : 3493 (cosoco) R 3490 3493 2461 0 -1 4202496 1064 0 0 0 9 0 0 0 20 0 1 0 567660 32235520 898 33554432000 4194304 5970956 140723529204240 140723529201576 140413449874528 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 19808256 140723529209020 140723529209155 140723529209155 140723529211854 0
/proc/3493/statm: 7870 898 781 434 0 1234 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31480

[startup+0.200257 s]
/proc/loadavg: 2.22 2.06 2.00 3/243 3493
/proc/meminfo: memFree=32032776/32770624 swapFree=6096/209408
[pid=3493] ppid=3490 vsize=31480 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3493/stat : 3493 (cosoco) R 3490 3493 2461 0 -1 4202496 1105 0 0 0 19 0 0 0 20 0 1 0 567660 32235520 898 33554432000 4194304 5970956 140723529204240 140723529201576 140413449874528 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 19808256 140723529209020 140723529209155 140723529209155 140723529211854 0
/proc/3493/statm: 7870 898 781 434 0 1234 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31480

[startup+0.300253 s]
/proc/loadavg: 2.22 2.06 2.00 3/243 3493
/proc/meminfo: memFree=32032776/32770624 swapFree=6096/209408
[pid=3493] ppid=3490 vsize=31480 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/3493/stat : 3493 (cosoco) R 3490 3493 2461 0 -1 4202496 1127 0 0 0 29 0 0 0 20 0 1 0 567660 32235520 964 33554432000 4194304 5970956 140723529204240 140723529201576 5038354 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 19808256 140723529209020 140723529209155 140723529209155 140723529211854 0
/proc/3493/statm: 7870 964 781 434 0 1234 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31480

[startup+0.700207 s]
/proc/loadavg: 2.22 2.06 2.00 3/243 3493
/proc/meminfo: memFree=32032776/32770624 swapFree=6096/209408
[pid=3493] ppid=3490 vsize=31616 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/3493/stat : 3493 (cosoco) R 3490 3493 2461 0 -1 4202496 1131 0 0 0 69 0 0 0 20 0 1 0 567660 32374784 964 33554432000 4194304 5970956 140723529204240 140723529201096 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 19808256 140723529209020 140723529209155 140723529209155 140723529211854 0
/proc/3493/statm: 7904 964 781 434 0 1268 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31616

[startup+1.5002 s]
/proc/loadavg: 2.22 2.06 2.00 3/244 3494
/proc/meminfo: memFree=32032568/32770624 swapFree=6096/209404
[pid=3493] ppid=3490 vsize=31616 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/3493/stat : 3493 (cosoco) R 3490 3493 2461 0 -1 4202496 1132 0 0 0 149 0 0 0 20 0 1 0 567660 32374784 964 33554432000 4194304 5970956 140723529204240 140723529201576 5136629 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 19808256 140723529209020 140723529209155 140723529209155 140723529211854 0
/proc/3493/statm: 7904 964 781 434 0 1268 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31616

[startup+3.10021 s]
/proc/loadavg: 2.22 2.06 2.00 3/244 3494
/proc/meminfo: memFree=32031964/32770624 swapFree=6096/209400
[pid=3493] ppid=3490 vsize=31616 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/3493/stat : 3493 (cosoco) R 3490 3493 2461 0 -1 4202496 1258 0 0 0 309 0 0 0 20 0 1 0 567660 32374784 974 33554432000 4194304 5970956 140723529204240 140723529201576 5337906 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 19808256 140723529209020 140723529209155 140723529209155 140723529211854 0
/proc/3493/statm: 7904 974 781 434 0 1268 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31616

[startup+6.3002 s]
/proc/loadavg: 2.20 2.06 2.00 3/244 3494
/proc/meminfo: memFree=32032024/32770624 swapFree=6096/209420
[pid=3493] ppid=3490 vsize=31616 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/3493/stat : 3493 (cosoco) R 3490 3493 2461 0 -1 4202496 1386 0 0 0 629 0 0 0 20 0 1 0 567660 32374784 975 33554432000 4194304 5970956 140723529204240 140723529201576 5136625 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 19808256 140723529209020 140723529209155 140723529209155 140723529211854 0
/proc/3493/statm: 7904 975 781 434 0 1268 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31616

[startup+12.7002 s]
/proc/loadavg: 2.26 2.08 2.00 3/244 3494
/proc/meminfo: memFree=32031056/32770624 swapFree=6096/209428
[pid=3493] ppid=3490 vsize=31616 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/3493/stat : 3493 (cosoco) R 3490 3493 2461 0 -1 4202496 1525 0 0 0 1269 0 0 0 20 0 1 0 567660 32374784 980 33554432000 4194304 5970956 140723529204240 140723529201576 5136570 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 19808256 140723529209020 140723529209155 140723529209155 140723529211854 0
/proc/3493/statm: 7904 980 781 434 0 1268 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31616

[startup+25.5003 s]
/proc/loadavg: 2.20 2.07 2.00 3/244 3494
/proc/meminfo: memFree=32030564/32770624 swapFree=6096/209444
[pid=3493] ppid=3490 vsize=31616 CPUtime=25.49 cores=1,3,5,7,9,11,13,15
/proc/3493/stat : 3493 (cosoco) R 3490 3493 2461 0 -1 4202496 1798 0 0 0 2549 0 0 0 20 0 1 0 567660 32374784 984 33554432000 4194304 5970956 140723529204240 140723529201576 5038354 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 19808256 140723529209020 140723529209155 140723529209155 140723529211854 0
/proc/3493/statm: 7904 984 781 434 0 1268 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31616

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

[startup+25.6003 s]
/proc/loadavg: 2.20 2.07 2.00 3/244 3494
/proc/meminfo: memFree=32030564/32770624 swapFree=6096/209444
[pid=3493] ppid=3490 vsize=31616 CPUtime=25.59 cores=1,3,5,7,9,11,13,15
/proc/3493/stat : 3493 (cosoco) R 3490 3493 2461 0 -1 4202496 1798 0 0 0 2559 0 0 0 20 0 1 0 567660 32374784 984 33554432000 4194304 5970956 140723529204240 140723529201576 5038388 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 19808256 140723529209020 140723529209155 140723529209155 140723529211854 0
/proc/3493/statm: 7904 984 781 434 0 1268 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 31616

[startup+26.0002 s]
/proc/loadavg: 2.20 2.07 2.00 3/244 3494
/proc/meminfo: memFree=32030564/32770624 swapFree=6096/209444
[pid=3493] ppid=3490 vsize=31616 CPUtime=25.99 cores=1,3,5,7,9,11,13,15
/proc/3493/stat : 3493 (cosoco) R 3490 3493 2461 0 -1 4202496 1804 0 0 0 2599 0 0 0 20 0 1 0 567660 32374784 984 33554432000 4194304 5970956 140723529204240 140723529201576 5136587 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 19808256 140723529209020 140723529209155 140723529209155 140723529211854 0
/proc/3493/statm: 7904 984 781 434 0 1268 0
Current children cumulated CPU time (s) 25.99
Current children cumulated vsize (KiB) 31616

[startup+26.2002 s]
/proc/loadavg: 2.20 2.07 2.00 3/244 3494
/proc/meminfo: memFree=32030564/32770624 swapFree=6096/209444
[pid=3493] ppid=3490 vsize=31616 CPUtime=26.19 cores=1,3,5,7,9,11,13,15
/proc/3493/stat : 3493 (cosoco) R 3490 3493 2461 0 -1 4202496 1804 0 0 0 2619 0 0 0 20 0 1 0 567660 32374784 984 33554432000 4194304 5970956 140723529204240 140723529201576 5040624 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 19808256 140723529209020 140723529209155 140723529209155 140723529211854 0
/proc/3493/statm: 7904 984 781 434 0 1268 0
Current children cumulated CPU time (s) 26.19
Current children cumulated vsize (KiB) 31616

[startup+26.3002 s]
/proc/loadavg: 2.20 2.07 2.00 3/244 3494
/proc/meminfo: memFree=32030564/32770624 swapFree=6096/209444
[pid=3493] ppid=3490 vsize=31616 CPUtime=26.29 cores=1,3,5,7,9,11,13,15
/proc/3493/stat : 3493 (cosoco) R 3490 3493 2461 0 -1 4202496 1804 0 0 0 2629 0 0 0 20 0 1 0 567660 32374784 984 33554432000 4194304 5970956 140723529204240 140723529201576 5136560 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 19808256 140723529209020 140723529209155 140723529209155 140723529211854 0
/proc/3493/statm: 7904 984 781 434 0 1268 0
Current children cumulated CPU time (s) 26.29
Current children cumulated vsize (KiB) 31616

Child status: 0
Real time (s): 26.4058
CPU time (s): 26.3999
CPU user time (s): 26.3959
CPU system time (s): 0.004011
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 31616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.3959
system time used= 0.004011
maximum resident set size= 4044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1846
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= 5
involuntary context switches= 1328

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.095471 second user time and 0.145777 second system time

The end

Launcher Data 

Begin job on node121 at 2017-07-21 18:03:13
IDJOB=4241945
IDBENCH=133093
IDSOLVER=2621
FILE ID=node121/4241945-1500652993
RUNJOBID= node121-1500648175-2494
PBS_JOBID= 20623298
Free space on /tmp= 61984 MiB

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

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

MD5SUM BENCH= c33b611f783ff62a93dcb2ff1216bc06
RANDOM SEED=1954809878

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32033188 kB
MemAvailable:   32015616 kB
Buffers:           29404 kB
Cached:           265388 kB
SwapCached:            0 kB
Active:           149416 kB
Inactive:         217952 kB
Active(anon):      75564 kB
Inactive(anon):     8544 kB
Active(file):      73852 kB
Inactive(file):   209408 kB
Unevictable:        6096 kB
Mlocked:            6096 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2452 kB
Writeback:            56 kB
AnonPages:         83060 kB
Mapped:            29260 kB
Shmem:              8840 kB
Slab:              61768 kB
SReclaimable:      30008 kB
SUnreclaim:        31760 kB
KernelStack:        4544 kB
PageTables:         5016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61980 MiB
End job on node121 at 2017-07-21 18:03:39